pose -2 = 2*a - 4. Let t be (a - 0)/((-104)/(-16)). Is m greater than or equal to t?
False
Let m = 271 + -8945/33. Let h = m - 19/231. Which is smaller: h or 0?
h
Let h be (3/6)/(15/(-8)). Suppose -4*g + 6 = -2. Suppose -1 = f + 5*c, f + f + g = c. Does h = f?
False
Let r = -0.55 - -2.55. Which is smaller: -0.123 or r?
-0.123
Suppose -2*k - 2*k - 3*j = -5, -5*k = -2*j - 12. Let f(o) = 19*o + 4. Let n(i) = -6*i - 1. Let x(u) = k*f(u) + 7*n(u). Let z be x(-1). Which is bigger: 3 or z?
z
Let g = -0.579 + 6.579. Which is greater: g or -18/7?
g
Let d be (-260)/(-3) + (3 - 1). Let a = 88 - d. Is a > 1/21?
False
Let y = -0.52 + 2.34. Let h = -0.18 - y. Let j = -2 - h. Which is smaller: -3 or j?
-3
Let l = -2.13 + 2.13. Is -143 < l?
True
Let v(k) = -2*k**2 - 21*k + 65. Let z be v(3). Which is bigger: z or -22?
z
Let f be (-15)/(-165) + (-1)/(11/67). Is f at most -83/14?
True
Let r = -140 + 162. Which is smaller: r or 238/11?
238/11
Let g = 3/4328 - -1328681/21640. Let z be 61 - ((-1)/(-1) + -1). Let r = z - g. Which is greater: r or 1?
1
Let x be (-1)/20*(-3)/(-24). Which is smaller: -1 or x?
-1
Let j = 6 - 4. Suppose 0 = -j*k - 8, 3*l + 13 = -0*l - k. Let s(y) = -y**3 - 4*y**2 + 3*y + 5. Let x be s(l). Is x greater than -12?
False
Let f = -18 + 18. Suppose g + 0*g - 8 = f. Suppose 0 = -5*i + 3*c - g*c + 10, -8 = 4*c. Is i less than or equal to 2?
False
Let p = -2 + 2. Let z = -2118 - -8473/4. Is p at most as big as z?
True
Suppose 31 - 5 = 2*r - l, 2*r + 2*l = 26. Suppose 5*x - r = 12. Let m be -9 + 11 + x/(-4). Which is bigger: m or 3?
3
Let s(z) = z - 3. Let l be s(8). Suppose -5*t - 4*c + 79 = 0, -l*c + 21 = 3*t - 29. Suppose 3*h - t = -0*h. Is h equal to 4?
False
Let b(w) = -w**2 - 12*w - 2. Let x be b(-9). Suppose 2*m - 50 = 2*f, -2*m + 41*f - 43*f + 50 = 0. Is x <= m?
True
Suppose -6*g + 19 = -17. Suppose 12*t = 9*t + g. Suppose -2*l - l + 9 = 0. Is t at least l?
False
Let z be ((-6)/15 + 0)*-30 + -3. Suppose -h - 5 + z = 0. Does 4 = h?
True
Let w = 832 + -832. Is w at most -2/1019?
False
Let s = 23 + -21. Suppose -i + 9 = s. Let u be 2/(-3)*-12*1. Which is smaller: i or u?
i
Let q be 4/(-8) - (21/(-6) - -1). Let v(c) = -9*c - 4. Let a be v(q). Which is bigger: a or -21?
-21
Let q = 3 + -3.48. Let z = -10.78 + 11. Let h = z - q. Are h and 0.1 equal?
False
Let b = -0.292 + 14.192. Let i = b - 14. Let t be (-16)/240 + 1/9. Which is greater: t or i?
t
Let k = 0.018 + -0.018. Are k and 0.33 non-equal?
True
Let t = -237 - -236. Which is bigger: -2/19 or t?
-2/19
Let g = -1217.8 + 1218. Let m = -0.6 + 0.1. Let k = m + 0.2. Which is smaller: k or g?
k
Let l be (-2)/(-5) + (-1)/4. Suppose 60*c - 60 + 120 = 0. Is c at most l?
True
Let p(i) = 2*i**2 - 21*i - 61. Let s be p(12). Which is smaller: -280/11 or s?
-280/11
Let v = 15 - -17. Let k be 0 - (1/(-2) + 8/v). Which is smaller: 0.1 or k?
0.1
Suppose -65 = 14*u - 9*u. Let a be 128/u - (-58)/(-377). Is a not equal to -1?
True
Let c = -114 + 129. Which is smaller: c or -5?
-5
Let s be -1 + 8/(-7200)*-895. Does -1 = s?
False
Let v = -1/391 + -383/3128. Suppose -4*s + 0*s = 0. Which is smaller: v or s?
v
Let v be (-2)/9 + -73833*(-2)/136944. Let l = v + 6/317. Are 1 and l equal?
False
Suppose 0 = -3*v + 7*v - 4. Let q = 7 - 6. Let g be q*-2 + 108/42. Which is bigger: v or g?
v
Let w = -0.61 - -0.48. Which is bigger: 0.04 or w?
0.04
Let u = -262 + 262. Let q be (2/(-3))/(2/(-6)). Let d be q - (-1 - (u - 0)). Are 1 and d nonequal?
True
Suppose -3*g - 6 = -i + 5, 0 = -2*i - g + 8. Which is greater: i or -0.01?
i
Let k = -83.138 - -0.138. Let t = k - -83.039. Is -0.1 less than or equal to t?
True
Let i be 1*6/45*15. Let v be 3/(-2)*32/(-78). Does v = i?
False
Let m = -0.368 - -0.268. Which is greater: -3 or m?
m
Suppose -3*t - 2*o - 8 = 0, 3 = 4*t - 2*t + 3*o. Let m = -0.556 + 0.156. Which is smaller: m or t?
t
Let o = 2 + 1. Suppose o*m + 5 = -5*w + 19, 5*m = -2*w - 2. Let a be 0*(m + 1 + 2). Are a and -5/4 unequal?
True
Let j = 2.9 - 3. Let o = -0.01 - -19.01. Let z = o + -22. Which is smaller: z or j?
z
Suppose z = 6*z - 15. Suppose 2*o - 19 = -c - 3, -2*o + 32 = z*c. Let q = 1 + c. Are 9 and q nonequal?
False
Let f = -6.3 - 4.7. Which is bigger: 0.6 or f?
0.6
Suppose 2 = -4*r + 6*r - 3*u, 0 = -r + 5*u + 1. Suppose 0 = -4*d - p - r + 27, 0 = 3*d + 3*p - 24. Is d < 8?
True
Let u(l) = -18*l**2 + 19*l - 9. Let f be u(-4). Are f and -372 non-equal?
True
Let b be (9 + (-160)/(-28))*1. Which is greater: b or 16?
16
Let i = 430012477/4175 + -102997. Is i > 0?
True
Let l be (-2)/7 + 768/42. Suppose 0 = 5*o - 57 - l. Suppose o*r = 11*r + 12. Is r not equal to 8?
True
Let s be 1/2*(4/1 + -2). Let d be (-1554)/(-10) - 3/(-5). Let h be ((-8)/d)/((-5)/(-3)). Which is smaller: h or s?
h
Let o(z) = -29*z - 157. Let u be o(-15). Is u at most as big as 277?
False
Let h be -7 + 67 + 8/(-4). Which is greater: h or 75?
75
Suppose 3*h = -6 + 3. Let d be h*4*1/(-5). Let o(q) = q**2 + 6*q + 6. Let b be o(-5). Are d and b equal?
False
Let p(q) = -6*q - 1. Let y be p(-1). Suppose y*x = 31 - 1. Let h(t) = 2*t**3 - 13*t**2 + 6*t - 5. Let o be h(x). Which is smaller: -3 or o?
o
Let a = -0.619 - -0.319. Which is smaller: a or -0.02?
a
Suppose 13 = 4*d - 3. Suppose -2*a + 10 = -q - 5*a, -q - 9 = d*a. Let p(m) = -m**3 - 4*m**2 + 27*m - 53. Let n be p(-8). Is q greater than n?
False
Let g = 69029/130 - 531. Do -1 and g have different values?
True
Let f = -0.0426 + 0.1426. Which is bigger: f or 19?
19
Suppose -4*g + 19 = s, 5*g - 5 + 0 = 5*s. Let w be 3 + 156/(-27) + 2. Let b = w + 77/18. Which is greater: s or b?
b
Suppose -5*h + 10 + 65 = 0. Let q = 15 + -1. Let k = q - h. Is -10/9 bigger than k?
False
Let z = 436053/7 + -62119. Let p = 174 - z. Which is smaller: 0 or p?
p
Suppose r + 2*n = -2*n + 14, 2*r + 5*n - 13 = 0. Let y be (-12 - (-12)/(-8)) + 9. Are r and y non-equal?
True
Let j(c) be the second derivative of -c**4/12 - c**3/2 + c**2/2 - 14*c. Let p be j(2). Which is smaller: -8 or p?
p
Let h(p) = -2*p + 5. Let w be h(-4). Let d = 44 + -51. Let s(z) = -z**3 - 7*z**2 - 4*z - 15. Let g be s(d). Is g < w?
False
Let c be (-6 + (-310)/(-55))/(2/(-329)). Let f = 60 - c. Which is smaller: 0 or f?
0
Let n be (-72)/168*7/(-1). Which is bigger: n or -52?
n
Let h = 87 + -3. Let f be (h/280)/(25/(-4) - -1). Is 0 bigger than f?
True
Let l(r) = 4*r + 105. Let n be l(-21). Which is greater: 19 or n?
n
Let a(z) = 3*z - 18. Let v(w) = -4*w + 18. Let j(h) = 5*a(h) + 4*v(h). Let n be j(-12). Let m(o) = o**3 + 6*o**2 - 4. Let s be m(n). Which is bigger: s or -9/2?
s
Suppose 5*q - 25 = -4*w - 0, 5*q + 5 = 2*w. Let d be (q - 48/51)/1. Suppose 3*i - 4*l + 6 + 9 = 0, -i - 4*l + 11 = 0. Which is greater: d or i?
d
Suppose -6*t + 2 = 14. Which is bigger: t or -6/11?
-6/11
Let u(j) = -24*j - 1. Let i be u(2). Let v = -47 - i. Is 2 < v?
False
Let p be 40/(-180) - -1174*(-2)/(-36). Let o = -4 + 9. Suppose -o*z - 3*f + p = 0, 4*z = z - 5*f + 55. Is 12 < z?
False
Let v = 1605 - 1620. Are -19 and v non-equal?
True
Suppose 144 = -3*t + 6*t. Let v be ((-3)/(-17))/(t/(-32)). Is 2 at least as big as v?
True
Let a = -44.968 + 45. Let j = -1.532 + a. Which is smaller: j or -2/3?
j
Let i = 9 - 17. Let g be (36/200)/(2/i). Let d = 176/175 + g. Which is smaller: d or -5?
-5
Let t(w) = 7*w - 36. Let x be t(5). Which is smaller: 12/359 or x?
x
Let h be (-4 + 7)/(2/4 + 1). Suppose -4*l + 28 = -h*l. Is 14 not equal to l?
False
Let v = -342 - -6500/19. Is -1 <= v?
True
Let l be (9/12)/((-2)/48). Let t be l/36 - (-1)/(-2). Let b be t/(0 + 5/(-25)). Is -1/3 at least b?
False
Let m = 66 + -76. Let q = 41/86 + 1/43. Which is smaller: q or m?
m
Suppose -7 = -3*x + 356. Which is smaller: 120 or x?
120
Suppose -4 = z - 4*n + 21, -3*n - 24 = 4*z. Let o be (-36)/12 + 8 + -1. Suppose 5*h = -2*g - 30, 17 = -o*g - 4*h - 31. Is z smaller than g?
False
Let m(b) = 1. Let g(y) = y + 10. Let p(d) = g(d) - 2*m(d). Let k be p(-8). Suppose k = 32*h - 31*h - 1. Do h and -1/7 have the same value?
False
Suppose 18*u = -29*u + 9*u. Which is greater: u or 402?
402
Let q(i) = -i**3 - 8*i**2 - 11*i - 9. Let n be q(-6). Which is bigger: n or -14?
-14
Let g be (-4)/(-14) - 1432/14. Let f be ((-30)/40)/(g/16). Is f greater than or equal to -1?
True
Let o = -38.4 + 9.4. Is o at least 4?
False
Let j =