reater than a?
True
Let u be 8/(-6) + (-2)/(-2). Let b = -22 - -54. Suppose 28*r - b*r - 8 = 0. Is r <= u?
True
Suppose -20*j + 16*j = 12. Let o = -119 - -176. Let r be o/21*-1 + 1. Which is greater: j or r?
r
Suppose -10*k - 15827 = 39*k. Which is greater: k or -322?
-322
Let x(z) be the second derivative of -z**5/20 - z**4/2 + 7*z**3/6 - 5*z**2/2 - 6*z. Let r be x(-7). Which is bigger: r or -4?
-4
Let z be (5 + -5)/(1*-2). Suppose -1 = 3*o - 13. Let u be (o - 896/150) + 2. Does u = z?
False
Let u(p) = 5*p**3 - 2*p**2 - 2*p + 4. Let o be u(2). Let d be (-1)/4 - (-200)/o. Suppose j - d*j = 0. Is j bigger than 2/9?
False
Let y(u) = -5*u - 18. Let z be y(-4). Suppose -z*c = -c. Which is greater: c or 4/35?
4/35
Let x be 3/(-18) - (-5)/5. Let y = 1/2 - x. Is y equal to 0?
False
Let i = 30 + -12. Let a = 61 - 42. Which is smaller: i or a?
i
Let i be (50/3)/((56/6)/(-2)). Let n = -5 + 1. Is n at least as big as i?
False
Let j = 18/163 + -1955/1467. Which is smaller: j or -1?
j
Let i be 1246/(-695) + (-369)/(-205). Which is smaller: 0 or i?
0
Let n be (-72)/(-10) - 20/100. Let h(s) = 12*s - 79. Let m be h(n). Let o = -2 - -5. Is m bigger than o?
True
Suppose 5*h + c - 31 = -3*c, 2*h - c = 2. Suppose 5*z - h*f = -9, -3*z + 7*z - 3*f = -9. Let u be 8 + (-2 - z)/(-2). Is 9 at least u?
True
Let t = -714 + 700. Is -95/7 less than or equal to t?
False
Let t be (3/(-1692))/(7/14). Is t bigger than 1?
False
Let d = 10511/3 + -3407. Are 97 and d non-equal?
True
Suppose -5*h = -290 + 105. Is h less than 41?
True
Suppose d + 0*d + 3*y = 12, -2*y + 8 = -2*d. Suppose -4*v + d*v + 41 = -3*b, 0 = -2*b + 2*v - 28. Which is smaller: -16 or b?
-16
Let a be 14/12 + 2/(-4). Let x(m) be the third derivative of -m**4/24 - m**3/3 - 12*m**2. Let h be x(-4). Which is smaller: h or a?
a
Let n(c) = 2*c - 9. Let o = 11 + -5. Let g be n(o). Let d be (-46)/2 + (-1078)/(-44). Which is greater: g or d?
g
Let b = -87 - -18. Let s = 45 + b. Let k = -186.9 + 187. Is s bigger than k?
False
Let d = -2580 + 2580. Let r = 65/2 + -25. Let m = 7 - r. Which is greater: m or d?
d
Suppose -7*a + 0*a = -14. Let r be -9 - -8 - (a - 3). Which is smaller: r or 14/11?
r
Suppose 0 = 2*g + 9 + 19. Let f = -1.017 - -0.817. Does f = g?
False
Suppose 2*o - 3*o - 1 = 3*u, 0 = 2*o + 2. Let q = 3.7 + -7.1. Let m = q + 4.4. Which is bigger: m or u?
m
Suppose 0 = -o + 2*a + 5, -o - 2*a - 7 = 2*a. Are 6/193 and o equal?
False
Let h = -280 - -277. Let f = 32 + -127/4. Which is smaller: h or f?
h
Let g(v) = 56*v + 728. Let d be g(-13). Is -0.003 less than d?
True
Let t be (36/60)/((-2)/(-10)). Suppose -s + 8 = 3. Suppose -s*l = -t*l. Is 6/5 smaller than l?
False
Suppose 5 = -s + 3. Let i be (5/(-1))/20 + 6/(-8). Is s at least as big as i?
False
Let p = -39 - -19. Let y = -0.0266 - 20.0734. Let m = y - p. Which is greater: 7 or m?
7
Let x(m) = m**3 - 15*m**2 - m + 17. Let f be x(15). Which is smaller: f or -7/18?
-7/18
Let i = 8 + -26. Let z be (40/12)/((-4)/i). Let k = z - 21. Which is greater: k or -4?
-4
Let i = 81 + -61. Suppose -8*a + i = -13*a. Is a at most as big as 15?
True
Let c be 2/((2 - 1)/((-5)/(-10))). Is -1/155 bigger than c?
False
Let w(m) = -m**3 - 12*m**2 + m + 12. Let a be w(-12). Let b = 12 - 14. Which is bigger: a or b?
a
Let d = -308 + 321. Is d not equal to 88/7?
True
Suppose 8*a - 704 = 4*p + 4*a, 4*a = p + 173. Let c = 98 + p. Is c less than -79?
False
Let i be (-968)/4356 - ((-217)/360)/(-1). Which is greater: 0 or i?
0
Let n(d) = -d**2 + 18*d - 71. Let a be n(5). Which is bigger: -33 or a?
a
Suppose 819 = -5*f + 4*f. Let b = -6563/8 - f. Is b bigger than 0?
False
Let q = -1/380 - 11/380. Is 1 != q?
True
Let n be -2 - (-45)/10 - (-221)/(-2). Which is smaller: n or -109?
-109
Let k = 88 + -527/6. Let p = -3 + 4. Which is smaller: k or p?
k
Let p be (-9)/108 - 3/(18/1). Which is bigger: 0.03 or p?
0.03
Let x be 24/6 + 38/(-10). Is 19 greater than x?
True
Let z = -403 - -1541/4. Are -17 and z non-equal?
True
Let q = -11680/13 - -898. Are 0 and q nonequal?
True
Suppose -z - 185 = 3*r, 0 = r - 7*z + 5*z + 57. Which is greater: -64 or r?
r
Let k be (-16)/(-6) - 3/(-9). Let c = -2 + k. Let h = 30 + -29.6. Is c <= h?
False
Let y = -1.24 - -1.34. Are y and -40 non-equal?
True
Let l be -3 + 7 - (-1950)/(-489). Which is bigger: l or -1?
l
Suppose -4*w + 146 = -2*d, -w + 2*d - 3 + 38 = 0. Which is greater: w or -3?
w
Let l(a) = -30*a + 7. Let y(r) = r - 1. Let j(t) = l(t) + 2*y(t). Let o be j(1). Is -23 not equal to o?
False
Let y(f) = 51*f - 5. Let d be y(2). Let j = d - 91. Is 8 less than j?
False
Suppose -2*z = 4*i + 66, 5*z + 20 - 5 = 0. Let b(d) = d**2 + 19*d - 40. Let c be b(i). Which is smaller: c or -99?
c
Let w = 892 + -5393/6. Which is smaller: w or -7?
-7
Let t be (-14 - -2)*68*4/(-24). Let x be (3 - 2)/((-17)/2311). Let w = t + x. Is w <= 0?
False
Let q(i) = 2*i. Let s be q(1). Suppose 4*v - 3*n - 3 = 0, 4*v - 5*n = v - 6. Suppose 0 = -3*l - 2*w + v, 0 = 2*l + w - 0 - 3. Is l <= s?
False
Let j(v) = v - 1. Suppose -2*o = 3*o + 45. Let m be j(o). Do m and -11 have the same value?
False
Let i = -2 + 2. Let h = 0.05 + i. Let u = -3.07 - -2.07. Is u >= h?
False
Suppose -15*n = -27 - 78. Is n > 5?
True
Suppose -3*m + 3*r - 108 = 0, m + 2*m - r = -104. Let c = m + 7. Let z be -2 + 1/(c/(-52)). Which is smaller: z or 1?
z
Let l(m) = m**3 - 23*m**2 - 52*m + 49. Let p be l(25). Let k be ((-3)/102)/((-7)/(-196)). Are p and k equal?
False
Let t = 87295/4 - 22028. Is -204 < t?
False
Let k = 212 - 169. Which is bigger: 46 or k?
46
Suppose -3*f - 1 = 4*k - 0, k = -3*f + 2. Do 2/107 and f have different values?
True
Let f = 159 + -159.38. Let z = -0.32 + 0.3. Let u = f + z. Does -2/3 = u?
False
Suppose -y = 2 - 5, -4*a - y = 17. Suppose -3*z + 3 = n, -2*z = 5*n + 2*z - 59. Let r be (n/9)/a*0. Which is smaller: r or 1?
r
Let g be -2 + -1 + 17/5. Suppose -5*p + 5*u - 5 = -20, 4 = 2*p - u. Which is smaller: g or p?
g
Suppose 0 = 21*h - 44*h + 46. Let f = 9/17 + -1021/34. Let i = -28 - f. Is h bigger than i?
True
Let g be (0 - -3)*2/(-3). Let v = 331 + -319. Is g != v?
True
Let l(n) = -n**3 - 12*n**2 + n + 12. Let o be l(-12). Let p be (16/(-84))/((-9)/(-7)). Is o < p?
False
Let d = -1.63 - -0.13. Let c = d - 24.5. Let b be (-14)/30 - (-2)/(-10). Which is greater: c or b?
b
Let i = 674.3 + -626.3. Let g = 0.3 - 0.2. Do g and i have the same value?
False
Let b(k) = -k**3 - 2*k**2 - 3*k + 210. Let h be b(0). Which is smaller: 209 or h?
209
Suppose -3*c + 134 = -5*y, y = -4*c + 73 + 121. Is 48 equal to c?
True
Let x(a) = -a**3 - 9*a**2 - 5*a + 7. Let r be x(-7). Let q be (-3)/(-2)*r/(-4). Is 23 not equal to q?
True
Suppose -j = -6*j - 3*z - 207, -83 = 2*j + z. Let b be -43 + 0/1 + 2. Are j and b equal?
False
Let v(o) = o**2 + 17*o - 8. Let i(t) = 3*t - 3. Let x be i(-5). Let b be v(x). Is 9 smaller than b?
True
Let a(l) = l**2 + 23*l - 10. Let q be a(-23). Let d be (-29)/(-29) + q/7. Which is smaller: d or 2/3?
d
Let j(a) = -a**2 + 9360. Let u be j(0). Let o be 37408/u + 2*-2. Let m = -7042/6435 - o. Is m at least as big as -1?
False
Suppose 30 = 4*v - v. Suppose 3*s + 0 - 15 = 0. Let i = 16 - s. Which is smaller: i or v?
v
Suppose -3*z + g - 1306 + 523 = 0, -g = -z - 259. Is z less than -262?
False
Let w = 354 + -343. Which is bigger: 74/7 or w?
w
Let r = 79/12160 - 17/128. Is 1 smaller than r?
False
Suppose 3*j - 6 + 24 = 0. Let w = -153 + 157. Suppose -3*g = w*n - 1, 3*n + 7 + 1 = -4*g. Which is greater: j or g?
g
Let h = -135 + 134. Which is greater: -1/530 or h?
-1/530
Suppose -k - 19 = -4. Let l be 5/(-2)*(-10)/k*-9. Let j = -5 - -21. Which is smaller: j or l?
l
Let f be 0 + -2 + -10*(-14)/28. Are 65/17 and f equal?
False
Suppose 0 = -3*h + 3*m + 561 + 21, -2*m = 2*h - 368. Which is greater: h or 188?
h
Let z(f) = -f**3 + 6*f**2 + 2. Let t = -4 - -3. Let g = t - -7. Let j be z(g). Which is greater: j or 1?
j
Let s = 14.85 + 0.15. Let h = s - 2. Let k = h - 13. Is k >= 16?
False
Let k(q) = 23*q + 159. Let j be k(-20). Is j less than -300?
True
Let w = 3 + -1. Suppose w*b + 2*m - 4 = 0, -b + 4 = 3*m - 0. Suppose -4*c = 13 - 5. Is c at least as big as b?
False
Let k(a) = a**2 + 8. Let x be k(0). Let m(q) = -q + 4. Let w be m(0). Suppose w*h + 8 = 40. Is x <= h?
True
Let a be 4/2 + (1 - 1). Let u(k) =