t a = -1 - 0. Let g = -495/13 - -18745/494. Let t = g + 29/76. Which is smaller: a or t?
a
Let v = 257.846 + -258. Which is bigger: v or 0.1?
0.1
Suppose -2*m + 7 = y, -3*m - 4*y + 9 = -y. Let g(j) = -8*j + 4. Let f be g(m). Is f not equal to -82/3?
True
Let s = -1.449 - -3.449. Are s and -489 nonequal?
True
Let x = -1460 + -528. Is -1988 greater than or equal to x?
True
Let d = -315/126262 - 19852402529/9722174. Let b = -1512 + -530. Let j = b - d. Is j <= -1?
False
Let o be 9/12 - 7155/20 - 3. Is o less than -359?
True
Let y = 551 + -531. Which is smaller: y or 14?
14
Let u be 3/12*(-23 - -24). Which is greater: 7 or u?
7
Let m = 704 - 701. Which is greater: m or 38?
38
Suppose -4*j + 135 - 56 = 5*k, 0 = 5*j + k - 83. Suppose 3*g - j = -5*x, -4*g + 2 = 5*x - 8*g. Suppose 4*z - x*z - 2 = 0. Is z equal to 2/27?
False
Let g = -32 - -46. Suppose 37*x - 35*x = g. Is 7 greater than x?
False
Let f = -21 + 10. Let q = -21 - f. Which is greater: q or -8?
-8
Suppose 4 = j, -3*j - 12 = -2*c - 242. Which is greater: -107 or c?
-107
Let z = -9 - -11. Suppose -4*l + k = 19, -3*l - 35 = z*l - 5*k. Suppose 2*j = -4*j - 24. Is j > l?
False
Let o(h) = h**3 - 7*h**2 - 17*h + 9. Let q be o(9). Does q = -13?
False
Let c be 33/(-88)*17/(-3) + -2. Suppose 5*f = -3*x - 8, 2*x - 8 = -0*x. Let z = f + 3. Is c < z?
False
Let t be -4*2/((-8)/3). Let j(z) = 3*z + 1. Let y be j(0). Suppose 2 + 4 = 3*u - 3*a, t*a - y = -4*u. Do u and 1/2 have the same value?
False
Suppose 0 = 15*v - 4*v - 33. Which is greater: -2 or v?
v
Let y = 437/2925 + 1/225. Let w be (-1)/(-4) - 3/12. Let h = w + 1. Is h less than y?
False
Let b be ((-15)/(-10))/((-3)/(-4)). Let w be (-5384)/(-12)*b/(-12). Let s = -75 - w. Which is greater: s or -0.3?
s
Let i = -1195 - -1194.9. Which is smaller: i or -19?
-19
Let s = -0.468 - -0.47. Which is bigger: 1/4 or s?
1/4
Let p(l) = -2*l**2 - l - 1. Let v be p(-1). Let r(j) be the first derivative of j**2/2 + 4*j - 10. Let i be r(v). Which is bigger: i or 3?
3
Let u be (-1)/4 + (-1 - 35/(-28)). Let r = -12 + 7. Let b = r - -3. Which is bigger: b or u?
u
Let p = 48 - 233. Is -1/3 >= p?
True
Let o(l) = 11*l - 114. Let s be o(10). Suppose 0 = 4*f + 20 - 4. Is f at least s?
True
Let i be (-9)/18 - 5/(-2). Suppose 4 = -q - q, i*g = -4*q - 8. Does g = -2?
False
Let z be 16/(-524)*(-18)/(-90). Is 1 less than or equal to z?
False
Let r(c) = -12*c**2 - 310*c + 76. Let i be r(-26). Let l = -28 - -53. Which is smaller: i or l?
i
Let j = 2 + -4. Let f = 3 + j. Let w be 2 + -1 + -4 + 8/2. Is w < f?
False
Suppose 2*q + 20 = -10. Suppose 23 - 19 = -4*c. Let s be (1/c)/(q/(-9)). Which is smaller: s or -5?
-5
Suppose 0 = 20*j - 22*j - 156. Which is greater: j or -77?
-77
Let n be 0 + -1 + (-31)/(-33). Let c(k) = -10*k - 1. Let d(o) = o**3 + 29*o**2 + 28*o. Let g be d(-28). Let x be c(g). Which is smaller: n or x?
x
Let v be 16*(-2 + 0)*1. Let x(n) = 5*n**2 + 2*n - 1. Let q be x(2). Let a = v + q. Which is smaller: a or -8?
a
Suppose 2*i - 4*y = 0, -3*i - 3*y = 2*y - 22. Suppose -4 + 12 = -i*d. Do 3 and d have the same value?
False
Let t be ((-3)/(-12))/((-6)/8). Let l(w) = -2*w + 2*w - 3*w. Let d be l(0). Which is smaller: d or t?
t
Let l be 17/(-3) - 1/3. Let s be (7 + 20/(-5))*2/l. Is s greater than or equal to -12/11?
True
Let s be -3 + 0 + 5 - 2. Suppose 3*k = 2*x + 4, k - 6*x + 2*x - 18 = s. Are k and 2/19 equal?
False
Let p be 1 - 0 - (-4 + -3). Let h = -3 + p. Let r be h/(15/2) - 4. Is r < -4?
False
Let j = -5 + 16/3. Let z be (3/27)/(7/(-42)). Do z and j have the same value?
False
Let i = 1496 + -1495.8. Which is smaller: -2.68 or i?
-2.68
Let h be 1/4 + -1 + 0. Suppose 0 = 2*i + 4*i + 204. Let o = i + 34. Is o greater than or equal to h?
True
Let k be 6/(-4) + -62 + 62. Which is bigger: -17/10 or k?
k
Let h be (14/6)/(20/(-30)). Let t be (-91)/7*(0 + -1). Let y = 9 - t. Is y at least as big as h?
False
Let x = 1 - -23. Suppose 2*n - 6*n = -x. Let y(u) = -u**3 - 32*u**2 + 31*u - 58. Let d be y(-33). Which is smaller: d or n?
n
Let u(d) = d**2 + 9*d - 1. Suppose 0 = 5*a + 39 + 6. Let b be u(a). Let k = -6.3 + 0.3. Does k = b?
False
Let g = -13 + 19. Let y be (-14)/(-3) - 4/g. Let u = 6 - y. Which is smaller: 3/2 or u?
3/2
Let x = 3 + -4. Let z = x + 8. Let a = -0.012 - -1.012. Is a greater than z?
False
Let d = -352 + 343. Which is smaller: d or -13?
-13
Let j = 43 - 43.02. Let a = -402 - -1208/3. Is a less than j?
False
Let p be 0 - (1/(-1) - 0). Let r(n) = -n + 13. Let q be r(11). Suppose -l + 11 = q*t - 5*t, -t + 5 = 4*l. Is l != p?
True
Let s be ((-2)/147)/(7/105). Let o = s - -488/1911. Is 0 less than o?
True
Let q = -3 - -4. Which is bigger: -118 or q?
q
Let j = 54 + -38. Let o = j + -8. Let b(v) = -v**2 + 6*v + 9. Let g be b(o). Which is smaller: g or -8?
-8
Suppose y + c = 36, y - c - 34 = -0*c. Is 34 bigger than y?
False
Let k = -0.96 + 39.96. Let f = -35 + k. Is f >= 0.2?
True
Let x = 3151 - 1969373/625. Are -1 and x equal?
False
Let t be 1/4 + 28/80. Suppose 0 = -z - 3 - 8. Let u = z - -9. Which is greater: u or t?
t
Suppose 2*r = -12*m + 10*m + 24, -2*m + 40 = 4*r. Let w = 7 - 13. Let s = -6.2 - w. Is s smaller than r?
True
Let x be (-5)/(-20) - (-154)/(-8). Let y = 9 + x. Is -11 greater than y?
False
Let f be (-1)/10 + (-176)/(-160). Do f and 27/19 have different values?
True
Let x be (1/(-4))/(-1*511/56). Let a = 314/803 - x. Suppose -p = -0*p + 5*k + 9, 2*p = 5*k + 12. Which is smaller: a or p?
a
Let n(s) = s**2 - 21*s - 46. Let i be n(23). Which is greater: -1/49 or i?
i
Let t = 62/9 + -983/144. Suppose 12*c = 282 - 246. Which is smaller: c or t?
t
Let n(v) = -v**3 + 6*v**2 + 16*v + 10. Let b be n(8). Let o be -1*(b/32 + 0). Which is smaller: -1 or o?
-1
Let m(g) = 11*g - 1. Let d be m(2). Let h be 8*(d/6 + -4). Let o be 1/((-4)/34) - h. Is o > -5?
True
Let a be ((-16)/(-22))/((-54)/9). Let h = a + 1/33. Suppose z + 0*z = 1. Is z at most h?
False
Suppose 4*k = 2*u + 34, 0 = u - 5*k + 29 - 9. Suppose 0 = 3*v - 0*v + 54. Is u < v?
False
Let b(y) = y**3 + 5*y**2 - 8*y - 6. Let k be b(-7). Let r = 95/2 + k. Let c = 0.6 - 17.6. Is c not equal to r?
True
Let j = 5.8 + -5.8. Does -0.0132 = j?
False
Let r(k) = -k**3 + 14*k**2 - 13*k - 12. Suppose -x = -g + 6*g - 15, 2*g = 4*x + 6. Suppose b - 7 - 6 = x. Let o be r(b). Which is smaller: -1 or o?
o
Let m = -0.5 - 0.5. Let p(t) = 1. Let z(x) = -x - 12. Let b(d) = p(d) - z(d). Let s be b(-10). Is s not equal to m?
True
Let n(l) = 3*l**2 + 3*l - 4. Let p be n(-4). Let j be (-6 - -1) + 6 + -40 + 6. Let w = p + j. Which is greater: -1/3 or w?
-1/3
Let f = 3/2027 - -28261/79053. Are f and -1 non-equal?
True
Suppose -t + 2 = -2*c, 2*t - 7*t = 4*c + 32. Let f be (32/39)/(-8)*c. Which is smaller: f or 1?
f
Let s = -8331332/381 + 21867. Is s at least 0?
False
Let a = -9 + 8.89. Let c = 64/5 - 13. Is a less than or equal to c?
False
Suppose 136 - 88 = -2*v. Which is greater: v or -27?
v
Let m = -1 + 6. Suppose -5*v - 20 = -c, 4*v = -0*v + 3*c - 5. Let s = m + v. Is s equal to 1?
False
Let i = -660695/6574 + 4/3287. Is i bigger than -101?
True
Suppose 0 = -2*m + 17 + 43. Suppose 0 = -21*u + m*u. Is u > -11/21?
True
Let d = -120 + 120. Suppose d = 4*y - 4, 2*s + 11 = 3*s + y. Is 10 greater than s?
False
Suppose -8*p + 3*p = 5*w - 35, -5*w = -4*p - 71. Let d be -12 + w - (1 - -1 - 6). Which is greater: d or 13/7?
d
Let y be (-3 + 0)/(-15)*-2. Suppose -3*h + 6*h - 13 = 4*x, 3*h - 38 = -x. Let u = -12 + h. Which is bigger: u or y?
y
Let z = -70 - -69. Let u = -2.6 + 3. Is z <= u?
True
Suppose -x - 930 = -7*x. Let c = x - 929/6. Which is greater: c or 16?
16
Let m(w) = -16*w**2 + 8*w - 23. Let u be m(4). Is -247 less than or equal to u?
True
Let f be (-15)/14*(-237)/40. Let w = f + -44/7. Let t = 43/80 + w. Is t <= -1/4?
False
Let w(z) = -48*z + 85. Let y be w(2). Is -76/7 not equal to y?
True
Let y be (208/69 - 3)/((-3)/(-6)). Let h = 125/1932 - y. Is h at most -1?
False
Let h(l) = 4*l**2 - 9*l - 2. Let w be h(0). Which is bigger: -18 or w?
w
Suppose -6*w + 5 = -7. Let v = w - 1. Does v = -2/27?
False
Let c(k) = -k**3 + 3*k**2 + 3*k - 5. Suppose 2*d - 5*h + 20 = 0, -d - 4 - 7 = -3*h. Let v = d + 9. Let x be c(v). Is -8 > x?
True
Let i = -0.053 + -1.947. Let o = 19.7 - 19.71. Is o at least i?
True
Let i = 1 + -7. Let k be (-