(-2 + -2)*-2. Let o be 2/(-15) - (-6714)/(-270). Is w > o?
True
Let w = -42.393 + 40.38. Let t = w - 0.387. Let b be (-2)/(-9) - (-1)/36. Which is greater: t or b?
b
Let y = 1533.3 + -1534. Which is greater: y or -167?
y
Let w(r) = 2*r - 7. Let b be w(-5). Let c = b - 1. Suppose 2*g + 33 = -5. Which is smaller: c or g?
g
Let i(b) = -2*b - 1. Let s be i(-1). Let t = 20576/5 + -61733/15. Is t != s?
True
Let d(i) = -331*i - 6912. Let x be d(-21). Which is greater: x or 35?
x
Let j = 2531 + -2530. Which is smaller: j or 2997?
j
Suppose -3*h = 3*r + 6, -2*r + 447 = -h + 451. Is h != -2/48881?
True
Let k be (20/(-2) - -4)/((-4)/294). Suppose 3*w - 2*w = -4*j + 429, -4*j + 3*w = -k. Suppose 5*v - j = 2*v. Is v bigger than 37?
False
Let y be -1*((-3)/3 + -4). Suppose b = -3*b + 5*j + 132, 4*j - 206 = -y*b. Let t be (-6)/(-12) - 15/b. Which is bigger: t or -1?
t
Let m = -294 + 298. Suppose 176 = -2*y - 2*y. Let j be 8/y - 0/2. Is m greater than or equal to j?
True
Let d = -278 + 272. Let r = -0.82 - -1.22. Is d >= r?
False
Let g = -79480 + 993738444/12503. Which is bigger: g or 0?
g
Let q be (0/2)/(3 - 2). Let s be (299 - 313) + (19440/(-231))/(-6). Is q greater than s?
False
Let a = -80.9097 - -0.0097. Let l = 81 + a. Is 45 at most l?
False
Let t = -9130 + 9214. Let f(x) = -80*x**2 - 4*x + 5. Let o(g) = 81*g**2 + 3*g - 4. Let v(j) = 3*f(j) + 4*o(j). Let q be v(1). Which is smaller: q or t?
q
Let m = -12738147695009/1594260780 - 4133/3095652. Let s = 7990 + m. Is 0 less than or equal to s?
False
Let a(n) = -n**2 + 15*n + 31. Let i be a(14). Let h be 30/i - (-5)/(30/(-124)). Let m be 35/10*2/h. Is m != 0?
True
Let t = -1249 - -1194. Suppose -3*o - 56 = -2*o. Which is smaller: t or o?
o
Let w be ((-11040)/(-176))/((-189)/(-132)). Which is smaller: 44 or w?
w
Suppose 4*o - i = -146, o + 3*i - 8 = -51. Let h = -28 - o. Suppose 10*n = h*n - 1. Which is bigger: n or 2/29?
2/29
Let n be (-14)/(-4)*23/((-805)/(-60)). Suppose -42 = n*o + 114. Let f = 0 + -0.1. Which is smaller: f or o?
o
Suppose -160 = 29*t - 15. Let j be 398/t + (8/5)/(-4). Is -80 at most as big as j?
True
Let x = 0.157 + 22.243. Let b = -18 + x. Let k = 3391 - 10171/3. Which is greater: k or b?
b
Let a = 13/71 + 205/1207. Suppose -s - 15 = -6*s. Suppose 4 - 1 = s*t. Which is bigger: t or a?
t
Let z = 54 + -50. Suppose -2*h - 5*s = -3, -2*h = -h + z*s. Let p be h/10*-2 + (-688)/(-760). Which is smaller: 0 or p?
0
Suppose 3*v = -5*s - 1680, 25*v - 671 = 2*s + 26*v. Is s < -329?
True
Let g(x) = 504*x**2 - x + 9. Let b be g(3). Suppose 252 = 10*u + b. Let p = u - -4283/10. Which is bigger: p or -1?
p
Let q be 12/5*(-20)/2. Let s = -318580/13041 - -1/1863. Does q = s?
False
Suppose -2*b + 4*l + 4 = 0, -b - l - 4*l = -9. Suppose 2*q - b*q + 98 = 0. Suppose d - 49 = -j - 0*j, 5*d - 4*j = 236. Are q and d nonequal?
True
Suppose -c = r - 1977, 9845 = 566*r - 561*r - 5*c. Is r less than or equal to 1972?
False
Suppose 1356*m = 1363*m + 168. Is -31 at most as big as m?
True
Let w(s) = -s**3 - 6*s**2 - 3*s - 18. Let c be w(-6). Suppose 5*y + c*y - 110 = 0. Let z = y - 1. Is -2 at least as big as z?
False
Let c = -23595 - -23629. Let o(l) = -l + 31. Let w be o(0). Are c and w nonequal?
True
Let v(m) = 59*m - 450. Let p be v(6). Is -102 less than or equal to p?
True
Let g = -242 - -95. Let z = -146.9 - g. Is z less than -11?
False
Suppose -144 = 2*p + y + 61, p - 5*y + 75 = 0. Let b be (p + 134)*(0 + 1/(-2)). Which is greater: -128/7 or b?
b
Let q(f) = 5*f - 7. Let g be q(0). Let z be g/(-1) - 3 - (-1825)/(-475). Is z at least as big as 3?
False
Let c = 0.9 + 0.1. Let o = -7.64 - -14.44. Is o <= c?
False
Let t(w) = 21*w**2 - 73*w - 27. Let h be t(4). Which is smaller: 81 or h?
h
Let t = -524 + 524.11. Let r = 11 + -11.09. Let v = t - r. Which is smaller: v or -7?
-7
Let i = -731 + 448. Let f = 363 + i. Which is smaller: 78 or f?
78
Let b = 3483 + -3465. Do -84 and b have different values?
True
Let q = -0.182 - -0.342. Is q at most 1?
True
Let m = 0.0726 - 0.3956. Let k = 2.323 + m. Which is greater: 74 or k?
74
Let d(l) = l**3 - 43*l**2 + 310*l - 38. Let v be d(9). Does v = -0.00015?
False
Suppose 4*a - 2*o + 45 = 181, 5*a - 170 = -2*o. Let m be (-2)/(-1) - (-111)/3. Let b = m - a. Which is greater: 4 or b?
b
Suppose 5*u - 4*s = -94, 4*u + 218*s = 209*s - 63. Let h be ((-4)/(-12))/(2/6). Is h < u?
False
Let f = -20 - -20. Suppose f = -0*d - 2*d + 124. Let b = 44 - d. Which is smaller: -2/7 or b?
b
Suppose -q = -0*q + 5. Let k be (0 + -2)/(7/q - -1). Is 60/11 less than or equal to k?
False
Let s = -0.54 + 0.16. Let q = 85.62 + -83. Let r = s - q. Which is bigger: -6 or r?
r
Let o = -2178/5 - -437. Suppose 237 + 6 = -n. Let r = n - -244. Is r >= o?
False
Let b = 1130721327/7628 + -148233. Is b < 0?
False
Suppose 0 = -k - 2. Let y(j) = 2*j - 47 + j**2 - 45 - 46 - 2*j**3 + 140 - 3*j**2. Let o be y(k). Is o at least 7?
False
Let y(m) = -15*m + 4. Let b be y(-3). Let h = -387 + 222. Let f = 214 + h. Does f = b?
True
Let o = -32 + 69. Let y = -41.234 + 1.234. Let x = y + o. Is x != 6?
True
Suppose 4*a + 0*i = 2*i + 42, 4*a - 52 = 4*i. Suppose -5*s + a = 2*t, -4*t = -3*t - 4*s - 4. Suppose -t*b = -0*b - 36. Does -1 = b?
False
Suppose -2*o = k - 74, 933*k + o = 929*k + 303. Is k equal to 22?
False
Let f(j) = -j**3 - 17*j**2 - 16*j - 3. Let k be f(-16). Let a = -251894/165333 + -2/7873. Which is greater: a or k?
a
Let t be (0 - 12) + 7 + -774. Let g be ((-41)/t)/((-2)/(-4)). Is g != 1.2?
True
Suppose 57*z - 585 = 5*g + 59*z, -2*g = z + 233. Suppose -3*f - 233 = 2*l, 2*f - 120 = 7*l - 6*l. Does g = l?
False
Let x = -5522/533615 - 1/5617. Let p(f) = -f**2 - 5*f + 6. Let z be p(-6). Which is greater: z or x?
z
Suppose -4*f = h + 1, -45*h + 50*h - 10 = -5*f. Is f less than 3/58?
True
Suppose -30 = -11*q - 151. Let d(h) = 4*h - 31. Let z be d(q). Let c = 78 + z. Which is smaller: -4 or c?
-4
Let x(d) = -6*d + 50. Let u be x(8). Which is smaller: 269 or u?
u
Let g = 59.62 + -60. Let i = 0.28 + g. Let s = -101 + 103. Is s greater than or equal to i?
True
Suppose 3*x - 2*x + 2*t = 135, -474 = -4*x + 3*t. Which is smaller: x or 858/7?
858/7
Let b(t) = -t**3 - t**2 - t + 1. Let x(g) = -4*g**3 + 6*g**2 - 26*g - 15. Let h(l) = -3*b(l) + x(l). Let c be h(6). Is -0.2 bigger than c?
True
Let h(t) = t**3 + 5*t**2 - t - 2. Suppose 4*b + 0*b - 3*g = 2, 3*b + 2*g = -7. Let y be (-6)/3 - (-3)/b. Let s be h(y). Is 6 greater than s?
True
Let y = 34 - 38. Let k be (-10)/(-32)*y*-2*2. Let r be k/(-6) - (1 - (-6)/(-9)). Which is bigger: -1 or r?
-1
Suppose 8*k = 3*k + 4*u + 368, -5*u = 10. Let h be ((-240)/9 - 0)*6. Let q be h/k + 4/(-6). Which is smaller: q or -2?
q
Let c be (21/3)/(0 + 1). Suppose -3*g - 2*s = -c, -7*g = -2*g - s - 3. Let z = 4/309123 - -309043/6182460. Is z smaller than g?
True
Suppose -2*i + 36 = -4*h, -3*i + 65 - 21 = -4*h. Suppose -4*c = -i + 12. Let u be 2*1/24*(-3)/12. Which is smaller: c or u?
c
Let w be 135977/60 + (12/16)/(-3). Let n = w + -13097/6. Let d = n - 84. Is d at least as big as -1?
True
Let u(m) = 21*m - 1721. Let z be u(-32). Are z and -2393 equal?
True
Suppose 66*r - 318 = 78. Which is bigger: 196/43 or r?
r
Let v(s) = -7*s**2 + 3*s - 15. Let m be v(7). Let l = 297 + m. Does l = -40?
True
Let x be (-2 + 42/27)/((-18)/6534). Let l = -161 + x. Suppose j = -3*j. Which is smaller: l or j?
j
Suppose -d = -4 - 60. Suppose 3*l - 6*y = 219, 320*l = 321*l - 5*y - 88. Which is smaller: l or d?
l
Let a be -15 + -11 + 10 + 2591. Which is smaller: a or 2581?
a
Let j = 0.1 - -0.9. Let k(p) be the second derivative of -p**4/12 - p**3/2 - p**2 + 34*p. Let m be k(3). Which is smaller: m or j?
m
Let p = 6586 - 5671. Is 916 at most as big as p?
False
Let f(z) = 4*z**2 + 60*z + 202. Let h be f(-11). Suppose 7*y - 28 = 3*y. Suppose v - 18 = y. Which is greater: v or h?
h
Suppose 0 = -k + 165 - 39. Let m be 28/k - (-2 - (-86)/(-18)). Is m equal to 7?
True
Let d be -2 + (-14922)/7456 + (-14 - -15). Let p = d + 44/233. Is p greater than -4?
True
Let i = -105 - -42. Let y = i + -30. Let c = -94 - y. Is c equal to -26?
False
Suppose 232*j - 228*j = -2*f - 22396, -11214 = 2*j + 3*f. Is j < -5593?
True
Let j = -3389 - -3388. Is j at most 321?
True
Suppose y - 5*n + 1 = 31, -4*y + 5*n + 45 = 0. Let l = y - 4. Let z = 787 - 