 52 = j + 3*a, -70 = -2*j + g*a + 16. Let n be j/16 + 68/(-17). Does n = 0?
False
Let w = 13/45 - -1/9. Let v = -6 + 4. Let r = v + 2. Which is greater: r or w?
w
Suppose 2*x = 4*w - 86, -6*x - 5*w = -3*x + 162. Which is smaller: x or -48?
x
Let b(x) = -x**3 - 8*x**2 - 12*x + 17. Let j be b(-5). Is -1 smaller than j?
True
Suppose m = 2, -4*z - m - 2*m = -26. Suppose 3*l + 11 = z. Which is bigger: -1 or l?
-1
Let w = 0 - -1. Let v be 40/(-24) + 2/3. Let d be v - ((-2 - 0) + 0). Is w at most as big as d?
True
Let b be (2/(-4))/((-2961)/(-282)). Let m = 6 + -6. Is b smaller than m?
True
Suppose 0 = -6*v + 4*v - 10. Let m = v + 4. Is -11 not equal to m?
True
Let c = -629 - -729. Which is greater: 104 or c?
104
Suppose -x = 2*j + 10, -j + 12*x - 15 = 15*x. Which is smaller: 7/2 or j?
j
Let y = -112 - -114. Let p be (21/14)/1*(-8 - y). Which is smaller: -2 or p?
p
Let c = -70377/76 + 926. Which is greater: -1 or c?
c
Let p = -136 + 226. Let t = p - 91. Is t > 5/6?
False
Let v(u) be the first derivative of -u**4/24 - 4*u**3/3 + 3*u**2/2 - 1. Let i(h) be the second derivative of v(h). Let r be i(-7). Is r <= -1/3?
True
Let y be (-7)/35 - (-2)/35. Which is bigger: -1 or y?
y
Suppose -d - 13 = -17. Let r(z) = -z**2 - 12*z + 2. Let w be r(-12). Suppose -5*c + 5 = f, -f + 1 - w = 2*c. Which is smaller: c or d?
c
Let m = 0.4 - 2.4. Let l = 31 - 19. Let o = 15 - l. Is o at most as big as m?
False
Suppose 8 = 2*b, 2*a = -4*b + 2*b. Let f be (a - (-20 + 4)) + -4. Do 0.1 and f have the same value?
False
Suppose r + 2*p + 357 = -4*r, -2*r - 144 = 2*p. Let f = -105 - r. Are f and -34 equal?
True
Let v = 492 + -414. Do v and 76 have different values?
True
Let w be 80/(-24)*(-8 + 2 - 0). Suppose 7*h = -w + 55. Is 5 not equal to h?
False
Suppose 8 = -2*g, 7 = -5*l - 2*g - g. Let k be 4 - (604/120 - l). Are 1 and k equal?
False
Let v = 0.1 - 0.2. Let s(i) be the second derivative of i**3/3 - i**2/2 + 10*i. Let x be s(5). Is v not equal to x?
True
Let d be 1386/(-3312) + (-6)/(-16). Let l = -4 - -2. Let q be 2 + -5 + (-4)/l. Is d less than or equal to q?
False
Let z = -1509 + 1508.98. Is z at least as big as 193?
False
Let a = -1 + 1. Let j = 1936 - 50333/26. Is j greater than or equal to a?
True
Let g = 24 + -30. Let b = -2 - 2. Is g != b?
True
Suppose 2*s = -3*s. Let z be (1 + -3)*-1*-195. Let j be (13/z)/((-2)/(-4)). Are s and j equal?
False
Let o(y) = -46*y + 51. Let b be o(-3). Is b != 189?
False
Let c be (-4)/26 - (-1780)/(-260). Suppose -4*n + n - 27 = 0. Is c not equal to n?
True
Suppose 5*g - 92 = -17. Let i be 249/g - 2/(-5). Let s = i - 69/4. Is -0.7 at least s?
False
Suppose -5*o - 2190 = -4*z, -z - 889 = 2*o - 0*z. Let r = 2202/5 + o. Are -3 and r nonequal?
True
Let w = 109 + -125. Is w less than -21?
False
Let g be 12*4/8 + -2. Suppose q - 5*i + 1 = 0, g*i - 2 = -4*q + 90. Is 16 at most as big as q?
True
Suppose 4*c = 5*c. Let t be 0*2/(2 + c). Let f = 8521/70 + -850/7. Which is bigger: f or t?
f
Suppose 0 = b - 4*t + 20, -4*b + 6 - 31 = -5*t. Let a = 221/30 + -49/6. Which is smaller: b or a?
a
Let c = -33.169 + 33. Let m = 0.031 - c. Suppose 2*a = 2*n - 6, 3*n - 15 = 2*a - 6. Which is smaller: m or n?
m
Let f be -3 + 0 + 3*1. Suppose 4*b + 6 - 14 = f. Let l be b + (-1 - (-4 + 4)). Which is bigger: l or -3?
l
Let f = 0.68 - 0.68. Let z be (-79 - -71)*(-2)/(-1 - 1). Is z != f?
True
Let c = -950/5029 - -8/47. Suppose 0*i = -i + 3, -2*i + 2 = 4*p. Is c at most p?
False
Let f(r) be the first derivative of -2*r**3/3 - 2*r**2 + 2*r - 14. Let i be f(-5). Which is greater: i or -30?
i
Suppose -50*g - 22*g + 2575 = 31*g. Let j be ((-4)/6)/(1/(-36)). Is g bigger than j?
True
Suppose -5*o - 5 = -4*o. Let x = o - -5. Suppose 0 = -c + 4*f - 4, -c + 5 + x = 5*f. Which is smaller: 4 or c?
c
Let m = 515.1 - 515. Which is smaller: m or 21/20?
m
Let p(h) = 1. Let s(a) = -2*a + 5. Let b(o) = 4*p(o) - s(o). Let d be b(1). Let j = 11/131 - 164/393. Which is bigger: d or j?
d
Suppose -w + 4*w = 234. Suppose 6*l = 9*l + w. Let s = l + 22. Which is smaller: s or 0?
s
Let f = -19 + 24. Let u(x) = -x**3 + 4*x**2 - 3*x - 19. Let i be u(f). Is -58 bigger than i?
True
Let x = -3246 + 3129. Which is smaller: -109 or x?
x
Let d be ((-440)/(-780))/((-1)/(-3)). Suppose -3*i - 2 = -5. Is i equal to d?
False
Let t = 2 - -2. Suppose -n + 3*n - t*u + 1082 = 0, -3*u = 0. Let z = n + 15691/29. Is 0 != z?
True
Let o = 648/18277 + 2/373. Suppose -5*w + 1 + 14 = 0. Suppose -w - 6 = -9*d. Which is greater: o or d?
d
Let d(i) = 52*i + 14. Let j be d(0). Is 14 less than j?
False
Let z = -5.82 + -0.78. Let n = -33 + 26. Let q = n - z. Which is greater: -2 or q?
q
Let j = -1086 - -1082.63. Which is smaller: 1 or j?
j
Let p be 158/395 - (0 - (-6)/(-10)). Is p at most as big as 53?
True
Let i be ((-1)/(-1))/(2 - (-954)/(-4)). Let r = -2353/2838 + i. Are r and 0 unequal?
True
Suppose 126 = -3*y + 5*y. Suppose -2*d + 5*g - 2*g = 136, 0 = d + g + y. Is d bigger than -64?
False
Let s = -422 + 422. Are s and 2/441 equal?
False
Let c be 3/6*(-18 - -6). Let x be 130/(-154) + 1 + c/14. Let p(b) = b**2 + 4*b + 3. Let y be p(-3). Which is smaller: y or x?
x
Let r = -0.26 + 0.06. Let j = -1 + 1. Let a = j - r. Which is smaller: 1 or a?
a
Let f = 1123/5 - 223. Let u(d) = -2*d + 4. Let b be u(0). Suppose -l + 15 = b*l. Is l at least f?
True
Let l(y) = 2*y + 6. Let m(i) = -i**2. Let w be m(0). Let a be l(w). Let p be (2 + -1)/(a/(-4)). Is p less than or equal to 0?
True
Let d be -2*1/(12/(-247)). Let s = d + -41. Suppose -20 = 4*h, k - 3*h = 20 - 5. Is s bigger than k?
True
Let g(u) = -u**2 + 15*u - 45. Let j be g(12). Do -4 and j have different values?
True
Let r be (-4)/22 + (-72)/(-33). Suppose -10 = 3*p + h - 25, r*h = 5*p - 14. Let q = -5 + p. Are q and -2 non-equal?
True
Let a = -82 + 49. Suppose 2*i + 11 = -0*i - 5*j, -1 = i + j. Let b be (i/1)/((-6)/a). Which is smaller: b or 9?
9
Let z be (-40)/160*1*12. Are -7/2 and z equal?
False
Let v = -0.083 + -0.517. Let i = v + 0.8. Which is bigger: -3/2 or i?
i
Let a = -1147/6 - -192. Is a at least as big as 10?
False
Let y = -31 + 30. Let k be -3*((-8)/(-6))/1. Let a be (-1)/5 - k/10. Which is greater: y or a?
a
Let y = -71 + 74. Suppose -y*t - 32 = p - 3*p, 0 = -3*t - 5*p - 4. Is -8 at most t?
True
Suppose -67 - 41 = 4*p. Which is greater: p or -22?
-22
Suppose 10 = 5*o, -i - 4 = 3*o - 10. Suppose 0 = d - 2*a - 4, -5*d + d + 5*a + 25 = 0. Let s be 1/d*20/24. Which is greater: s or i?
s
Suppose y - 3*o - 149 = 0, 503 = 3*y + 25*o - 20*o. Is 161 <= y?
True
Let y = -2640 - -2610. Which is bigger: y or 0.35?
0.35
Let q = -131 + 132. Is q greater than 13/9?
False
Let a = 17/92 + 3/46. Suppose -5*g + h - 78 = -0*g, 5*g + 81 = 2*h. Let m be 2/60*g/6. Is m > a?
False
Let u(q) = 2*q**3 - q**2 - q + 1. Let x be u(2). Suppose 0 = -3*y - n + x, -3*n - 2 = -n. Suppose j - 1 = y*k - 2, -4*j = -2*k + 18. Which is greater: 1 or k?
1
Let w = -450 - -441. Let c be 4/8 + (-38)/4. Is c > w?
False
Let s(y) = 7*y**2 - 4*y - 37. Let o be s(-5). Is o <= 160?
True
Let k be (-8)/6*33/(-11). Let l be (k - 7)/(0 + 1). Which is bigger: l or -11/4?
-11/4
Suppose j + 7*a - 12*a = 59, -5*a = 2*j - 88. Is 46 < j?
True
Let m be (0 - -2)*(-1)/11. Suppose -13*d = 2*d + 14*d - 4*d. Which is bigger: d or m?
d
Let g(m) = 0*m - 4*m**2 - 3*m**2 + m**3 - 7 + 12*m + 0. Let q be g(5). Let x be (-2)/(-12)*(q + 3). Does x = 2/13?
False
Suppose -r + f = 3*f + 11, 2*f = -8. Let n(o) = -o - 7. Let q be n(-8). Suppose 0 = -2*m + 3*m + q. Which is smaller: r or m?
r
Let q = -48.5 - -44.5. Is q smaller than 55?
True
Let y(f) be the third derivative of f**5/60 + f**4/24 - f**3/2 - 12*f**2. Let l be y(-3). Let q = -0.5 + 0.3. Is l smaller than q?
False
Suppose 192*z = 168*z - 216. Which is greater: z or -139/14?
z
Suppose -3*w + 2*a + 3*a = 19, -13 = 2*w - 3*a. Let v be 1/(w/(-732))*-1. Let r = -102 - v. Is r < -12?
False
Let o(j) = j**2 + 12*j + 3. Let f be o(-12). Suppose -2*w = -3*t - 18, -t + 7 = -f*w - 5*t. Suppose w*v - 3 = -6. Do v and 1 have the same value?
False
Suppose 4*r + 225 = -227. Is r > 1?
False
Let b = -5 + 37. Suppose -o - 2*i = -b, 0 = o + o - 2*i - 76. Let s = o + -36. Is s < -2?
False
Let v = -201 + 327. Suppose 78*g - 71*g = v. Are g and 19 non-equal?
True
Let o = -5 - -10. Let n = -10.4 