ich is greater: q or -6/209?
q
Suppose -s = -u + 6, -54*s - 5*u + 20 = -58*s. Which is bigger: s or 155/4?
155/4
Let a = 8.11 + -2.11. Do a and 212 have different values?
True
Suppose 0 = -1834*p + 2026*p + 4608. Which is smaller: p or 19?
p
Let t(j) = -j**2 - 6*j + 15. Let a be t(-8). Let l be 2/(-15)*(-2 - -12) + a. Let s(h) = h**3 - 5*h**2 - 8*h + 9. Let w be s(6). Which is smaller: l or w?
w
Let p be (-310)/(-22) - 6/66. Let w be 9/(p/(-30)*1). Which is smaller: -18 or w?
w
Let k = 184519/7 - 26359. Is 38/21 >= k?
True
Suppose -100*r + 10*r + 336 = -6*r. Are r and -599 unequal?
True
Let i be (82/(-779))/(6/(-57)). Which is greater: i or 1/739?
i
Suppose -4*u + 896 = 5*y, 5*u - 201 = -3*y + 932. Which is smaller: u or 234?
u
Suppose 667 = 1436*p - 1437*p - 5*c, 5*c + 2668 = -4*p. Which is greater: p or -672?
p
Let d = -67 + 87. Suppose -d*t + 6*t + 1190 = 0. Which is smaller: 84 or t?
84
Let o = 906476/429 - 2113. Let u = 52594477 - 180504249775/3432. Let q = u + o. Is -1 greater than q?
True
Let q be (-30)/(-12)*24/(-15). Let y be q/(-11) - (-4350)/319. Which is greater: y or -5?
y
Suppose 342 + 54 = -99*q. Which is smaller: q or 218?
q
Suppose -240192 = 57*q + 519*q. Which is greater: q or -4596/11?
q
Let p = -0.17 + 0.07. Let c be (-4 - (-30573)/(-84)) + 1. Let a = -367 - c. Is a less than or equal to p?
False
Let g be (-18)/(-10) - (0 + 0). Suppose 20*h - 33 - 27 = 0. Suppose 6*u - 3 = 7*u, 4*k = h*u + 17. Is k equal to g?
False
Let w(q) = -21*q + 1710. Let v be w(77). Is 94 < v?
False
Let o = 28 - 24. Suppose 0 = -13*w + 12*w - o. Let j be w - (2 + (-609)/102). Is j equal to -1?
False
Suppose -4*w = -4*m - 56, -3*m = 6*w - 4*w - 38. Suppose -w = a + 3*a. Let o be (1*2/14)/((-4)/a). Is o <= -16/7?
False
Let m(u) = -6*u - 2. Let y be m(-3). Let l be 4 + (-651)/(-2 + -1). Suppose -237 + l = -c. Is c > y?
False
Suppose 0 = -2*r - 2, -3*r + 2 - 1 = l. Let z(o) be the second derivative of o**4/6 - 6*o**2 - 2*o. Let i be z(l). Is -0.2 at least as big as i?
False
Let g(s) = s**2 + 5*s + 48. Let q be g(-14). Let m = q + -2437/14. Which is greater: 2/5 or m?
2/5
Let d = -22.6 + 22.45. Let c = -0.007 - d. Which is smaller: c or -0.1?
-0.1
Let w = -92.8 - -369. Let j = w + -286. Which is bigger: j or 1/4?
1/4
Suppose -419*k = -418*k - 5. Suppose 0 = 4*c + 3*h + 3, -8*c + 4*c - 5*h = k. Which is smaller: c or -82?
-82
Let s(h) = 2*h**3 - 3 - h**3 + 0*h**3. Let t be s(-3). Let p = -33 - t. Is -3 <= p?
True
Let b = 48.3 - 44. Let t = 0.0792 - 4.9792. Let j = t + b. Which is greater: j or -0.2?
-0.2
Let i be 16/4 + (-24)/(80/10). Is 2/1859 < i?
True
Let k = 0.0075 + -0.3075. Let c(o) = o**3 - 3*o**2 + 3. Let i be c(3). Suppose 3*n - g - 31 = g, 3*g = i*n - 36. Are k and n equal?
False
Let z = 17244.098 - 17272. Let j = z - 0.098. Is 0.3 at least j?
True
Let d = 2089 - 127427/61. Let v = -6 + 14. Suppose 0 = -2*w + 5*a - 10, -4*a + v = 2*w. Which is smaller: d or w?
w
Let k = 4713 + -51842/11. Let z(g) = 2*g - 17. Let a(o) = -o + 8. Let x(t) = -5*a(t) - 3*z(t). Let q be x(11). Which is smaller: k or q?
q
Let w = 0.21914 + -0.31914. Which is smaller: w or 1/2528?
w
Let a = 3785 + -3783. Is 19.8 at least a?
True
Suppose -j - j = 4*o - 52, 5*j - 2*o = 70. Suppose -6 = -19*h + j*h. Suppose -2*w - k + 3 = 0, -4 = 2*w - h*k + 8. Is 1 bigger than w?
True
Let j = -74/141 + 34411/282. Let b = j + -121. Which is smaller: 0.104 or b?
0.104
Let x be 315/(-6)*(-4 - 2). Let h be ((-12)/48 - x/(-12))*1. Are 26 and h unequal?
False
Let b(j) = -42*j - 31. Let w be b(-1). Suppose 2*p - 14 = -4*s, -2*p - 4*s + w = 3*p. Let a = 3 - 2. Which is greater: a or p?
a
Let s(h) = -2*h - 7. Suppose -3*l + 8*l = -10, 2*b + 3*l = -20. Let z be s(b). Let c = 25 + -20. Which is smaller: c or z?
c
Let w be (-20 - 4040/(-250))/((-99)/110). Let f(s) = -s**3 - s**2 - s + 4. Let i be f(0). Which is smaller: w or i?
i
Let q = -166 + 108. Let z = -27 - -54. Suppose -263 = 5*h + z. Is q bigger than h?
False
Let g = -38 + 41. Let t be (0/4)/g - (-537)/(-9). Let n = t + 417/7. Which is smaller: n or 0?
n
Let c(o) = -211 + 90 + 106 - 16*o + o**2. Let y be 68/(-8)*(-3 + 1). Let v be c(y). Is -8 equal to v?
False
Suppose 232*y = -327*y - 167141. Is y greater than 0.24?
False
Let t = -3608 + 3581. Let v(b) = -5*b + 9. Let f be 21/(-6)*-2*1. Let a be v(f). Which is smaller: t or a?
t
Let b(h) = -13 + 2 + 4 + 3*h - 18. Let c be b(10). Let j be (c/1)/(104/(-16)). Is -2 greater than j?
False
Let u be (-1 - 2) + (-1)/(2/(-118)). Let v be 644*7/u*6. Is v <= 483?
True
Suppose 4*p - a + 157 = 953, 5*a + 796 = 4*p. Let c = -994/5 + p. Let j(w) = w + 3. Let x be j(-3). Which is smaller: c or x?
x
Suppose 7*x = -117 + 110. Let r be (0 + x/(-405))*9/15. Is r bigger than 0?
True
Let u(v) = 2*v + 21. Let x be u(-12). Let s be -2*(20/8 + x). Let n be ((-12)/(-328) + 0)/((-9)/(-12)). Are n and s equal?
False
Let t be (-3)/(450/(-145) + 3). Let x(m) = -3*m**2 + 84*m + 28. Let w be x(t). Let y be (59/2)/((-2)/4). Is y less than or equal to w?
True
Let w = -16531/123687 - -32/243. Suppose -2*t - 10 = n - 7*t, 3*n = -4*t + 8. Is n at least as big as w?
True
Let g be 30/9*(-10 - (-1672)/160). Is g equal to 175/8?
False
Let s be -1*(-2)/(-2)*-3 + -3. Let f be (0 + 1 + s)*2 + -34. Let r be ((-2)/f)/((-10)/180). Which is greater: -2 or r?
r
Let q be 3/(-4)*(-48)/36. Which is smaller: 1/182 or q?
1/182
Let r = -64.868 - 0.132. Let m = -3.46 + 3.45. Is m > r?
True
Let g = 914 - 3535/4. Suppose z = -11 - 19. Let y = g + z. Which is bigger: y or 0.2?
y
Let j = -1.691 - 65.069. Let x = j + -2.24. Which is smaller: x or 0?
x
Suppose -38 = 26*r - 64. Let w = -1921 - -34591/18. Which is smaller: w or r?
w
Let j = -1351.5 - -1351.654. Let k(b) = -b**3 + 2*b**2 + 2*b + 1. Let t be k(-1). Which is smaller: j or t?
j
Let b = 27.2 + -5.2. Let m = -0.685 + 0.065. Let s = m - 0.38. Are b and s non-equal?
True
Let x(h) = -h + 25. Let w be x(15). Let s be 8/w*-5 - (-133)/31. Is s <= 0?
False
Let c = 11134 - 10782.6. Which is bigger: c or 1/5?
c
Suppose 0 = -s + 5*w - 1053, 21*w = 2*s + 22*w + 2172. Is -1083 equal to s?
True
Let l be 5/(-10)*((-66405)/(-87) + 3). Let q = l + 383. Suppose 0 = 3*f - 0*f. Is q bigger than f?
False
Let w(c) be the first derivative of -c**4/4 - 5*c**3/3 - 3*c**2/2 - 22. Let z be w(-4). Let n be (-1)/(-3) + z/(-60). Do -1/2 and n have different values?
True
Suppose 0 = 3*o + 2*y - 143, -3*o - 5*y = -118 - 28. Suppose 0 = -18*n + o + 115. Is -0.7 <= n?
True
Suppose -p - 2*b - 1 + 6 = 0, 0 = 4*p - b + 16. Let x be 135/(-75) - p/1. Are x and 4 equal?
False
Let f = -506 + 294. Let y = -222 - f. Suppose -s - 9 = -5*q + 2*q, 5*s = 3*q - 57. Is y at most s?
False
Let t = -6813 - -6813.094. Which is bigger: 29 or t?
29
Let s be (-8)/(-28) + 5014005/1239. Let t = s + -4047. Do 2/3 and t have the same value?
False
Let w(u) = -2*u + 2. Let g be w(-2). Let t be (0 - 2)*3/g. Let p be (-4)/2 + (-448)/(-217). Which is greater: t or p?
p
Let z = -369325609/973040 + -5826/12163. Let h be 0 - 381 - (1 + -2). Let q = z - h. Is 1 != q?
True
Let v be (-3)/(6/(-5))*2. Let c be (-6)/(-456)*(v + 1). Let t(f) = f**3 - 11*f**2 + 34*f - 20. Let p be t(5). Which is greater: p or c?
c
Suppose 5*u + 2 + 5 = 3*s, -6*s - 3*u = 12. Do 6/3067 and s have different values?
True
Let s = -724.2 - -725.2. Is 72.9 smaller than s?
False
Let a = 4.7 - 1.7. Let m = 7.1 + -7.026. Let k = -0.526 - m. Which is bigger: a or k?
a
Suppose -33*n = 36*n + 5451. Is 0.24 greater than n?
True
Let j be ((-34)/(-6) + -1)*3. Let w = 18 + 42. Let z = w + -46. Are j and z equal?
True
Suppose q - 4*p - p - 18 = 0, 0 = 2*q + 5*p - 21. Let u(o) = 10*o - 5*o**2 - 2*o**2 + 11*o - 5*o + 6*o**2 - 7. Let d be u(q). Is d not equal to 33?
True
Let z(x) = -x**3 - x**2 + 2*x + 2. Let h(i) = 6*i**2 + 2*i - 1. Let t be h(1). Suppose 3 - t = 4*o. Let n be z(o). Is -1/15 at most as big as n?
True
Let s be (-68)/96 + (-2 - (-130)/15 - 6). Let n be 0/(-2) - (0 + -2). Let a be 0/(-2 + (n - -3)). Which is smaller: s or a?
s
Let m(k) = -5*k + 55. Let v(a) = a**3 + 24*a**2 + 24*a + 34. Let i be v(-23). Let h be m(i). Is h smaller than 1.5?
True
Let i(b) = 4*b**2 + 1. Let y be i(-1). Let d be 595/91 - (4/1 - 3). Is y != d?
True
Let l = -184 + -73. Let v = -293 - l. Which is bigger: -34 