er than 36?
False
Let m = 3.3004 + -0.0704. Let w = -3.07 + m. Which is bigger: 13 or w?
13
Suppose -529 = 5*t - 5*h - 164, 4*t + 2*h + 310 = 0. Do -1 and t have the same value?
False
Suppose -x = -4, 3*a - 208 - 615 = 2*x. Is 277 > a?
False
Suppose -355*u + 5510 = -165*u. Which is greater: 22 or u?
u
Let c be ((-12)/(-10410)*40)/(-1). Do -1 and c have different values?
True
Let m = 8239 + -8277. Is -37 <= m?
False
Let k(j) = -7*j**2 + 18*j + 10. Let g(c) = c**2 - 3*c + 1. Let i(f) = -6*g(f) - k(f). Let s be i(-4). Which is smaller: 24/101 or s?
s
Let v be (-63)/(-12) - 5 - (-2362)/(-9440). Let j = 691/80240 - v. Is 0 less than j?
True
Let p be 4 - 7 - (-1 + 9102559459046/(-6010679417925)). Let c = 2/673465481 - p. Let l = c - 2/357. Which is smaller: l or 0?
0
Suppose -3*g - 31 = 5*y, 0*g - 9 = g + 3*y. Let j(d) = -22 - d**3 - 19 + 16*d**2 - 28 + 18*d + 41. Let h be j(17). Which is greater: g or h?
h
Suppose -2*z + z = -28. Suppose -k + 3*p + 8 = 0, 6*p - 3*p = -5*k - 14. Let x be -2 - z/(-20) - 0/k. Is 8 less than x?
False
Let y(k) = -52*k**2 + 24*k + 3. Let c be y(-3). Which is smaller: c or -538?
-538
Let a(h) = 95*h - 214. Let i be a(4). Suppose i*b = 174*b - 16. Which is greater: 9/17 or b?
b
Let o be 11 + 2/(-4)*(1 - 3). Let p be (-1 + -2)*(-4)/o. Suppose -q + p = -0*q. Is q at most 3?
True
Let t(z) = -24*z**3 - 11*z**2 - 49*z - 6. Let h be t(-3). Is 2755/4 not equal to h?
True
Let j = -445 - -373. Let u be 1000/j + 3 + 6. Which is smaller: -5 or u?
-5
Let i(v) = -10*v + 3*v + 0 - 1. Suppose 16*s = 2*s - 56. Let w be i(s). Which is bigger: 28 or w?
28
Let l = -40/899 + 5015/11687. Do -56 and l have the same value?
False
Let r(t) = 2*t - 30. Let i be r(16). Suppose 6*g = -i + 8. Let k be -2*(-5)/10 - g. Which is bigger: k or -3/17?
k
Let h = 11 + -5. Suppose 0 = 5*n + c + 21, h*c + 13 = -5*n + 3*c. Suppose -3*q + b = 94 - 97, 25 = -10*q + b. Which is greater: q or n?
q
Let y = -6834 + 6829. Which is smaller: y or -492/103?
y
Let g be ((-1154)/8)/(1/(-8)*-10). Let u = g - -115. Which is bigger: 17.9 or u?
17.9
Let b be 834*-1 - ((-12)/9 + 306/(-54)). Which is smaller: -832 or b?
-832
Let b = 7937 + -7834. Which is bigger: b or -21/11?
b
Let w = 1249 + -1340. Is w smaller than -0.1?
True
Suppose -l = q + l - 52, 3*l + 9 = 0. Suppose 4*u - q = 174. Let g be (-462)/(-8) - 4/(-16). Is g <= u?
True
Let i(b) = b**3 + 4*b + 1. Let n be i(0). Suppose 2*v + 3*k - n = 0, -8*k = 4*v - 10*k + 6. Which is smaller: 4/11 or v?
v
Let k = -459 - -69. Let y = 385 + k. Which is smaller: y or -0.02?
y
Suppose 28*v + 21*v + 45*v - 188 = 0. Is -48/29 >= v?
False
Suppose -6*v = -8*v. Suppose -2*a - a - 1 = 2*l, v = l + 2. Suppose -5*s - a = 14. Which is smaller: -2 or s?
s
Let r = 2838079/4 + -7105113/10. Let c = 991 + r. Is -1 smaller than c?
True
Let s = -5286 + 5286.8. Let h be 4/22 - (-844)/(-44). Let j = h - -96/5. Is s equal to j?
False
Let u = -3000 - -3000. Let v = -2/5711 + 57168/165619. Are v and u nonequal?
True
Let d(l) = 48*l**2 - 243*l - 20. Let o(p) = -32*p**2 + 162*p + 12. Let k(y) = 5*d(y) + 8*o(y). Let g be k(5). Let f = 16 - 48. Which is smaller: g or f?
f
Let k(w) = 5*w + 318. Let z be k(-30). Which is greater: 165 or z?
z
Let k be 5 - ((-1125)/(-4945)*22 + 0). Is k at most as big as -1?
False
Let o = 1.59 + -1.49. Let d = -420 + 441. Is o bigger than d?
False
Suppose -4*j = -45*j + 15*j - 7644. Which is bigger: j or -303?
j
Suppose c + g = -30 + 34, 3*g - 12 = -4*c. Which is bigger: 76.59 or c?
76.59
Let v(w) = -2*w**2 - 44*w + 6. Let k be v(-22). Suppose k*l - 90 = 636. Is 120 < l?
True
Suppose -t = -0 - 1. Let s be ((-25)/50)/((-2)/(-48)). Let l = -5 - s. Is l equal to t?
False
Let s = 18.8232 - 0.8232. Which is bigger: -452 or s?
s
Let v be (-6)/9 + 70/42 - (-1 + -22). Let c = -24 - -44. Which is smaller: c or v?
c
Let n be (140/8)/(-7) + (-1221)/(-762). Which is greater: n or 0?
0
Let d be (6/(-30))/((-1)/73). Suppose 0 = 40*g - 39*g - 81. Let m be (-19)/(-38) - g/(-6). Is m != d?
True
Let a be (-30)/(-120)*273/(-2). Let m = a + 143/4. Suppose 0 = 2*j - 5*g - 12, j - 10 = -j + 4*g. Which is greater: j or m?
m
Let m = -965 - -972. Let i = 22 - 15. Let g = -7.3 + i. Is m >= g?
True
Let r = 2 - 6. Let k be 8085/(-3168) - (-8)/(-12). Let q = k + 23/32. Are q and r equal?
False
Let k(j) = 7*j + j**3 - j + 23 + 9*j**2 + 30 - 42. Let y be k(-5). Is 82 at least as big as y?
True
Suppose -q - 2*q + 5*f = 19, 4*q = -4*f - 36. Let p(t) = t**3 + 7*t**2 - 6*t + 16. Let n be p(q). Suppose -4*a + n*a = 0. Which is smaller: a or -1/16?
-1/16
Let q = -21.801 + 21.621. Let k = 39 + -24. Is k > q?
True
Let p = 0.1018 - 7.3018. Let y = -0.046 - -0.346. Which is bigger: p or y?
y
Let y = -576 + 576.2. Let i be ((-3)/165)/((-14)/685). Let n = i - -3/154. Which is greater: y or n?
n
Let k = 84 + -24. Let b(a) = 5*a**2 + 13*a - 60. Let r be b(4). Let l = k - r. Is -12 greater than l?
False
Let t = -0.218 - 1.402. Let z = t + 1.67. Let r(h) = -h**2 + 2. Let f be r(2). Is f less than z?
True
Suppose 15*x = 20*x + 2*s - 8, -4*s = x + 2. Suppose 34*c = x*c + 1600. Is c less than 50?
False
Let q be (-37497)/5603*(3/(-3) - 555/(-549)). Which is smaller: q or -1?
-1
Let z = 125 - 91. Let o = -34 + z. Let t be (o - (4 + 1)) + (-36)/(-12). Which is greater: t or 1?
1
Let m = -43 + 54. Suppose -u + u = m*u. Are 4/15 and u unequal?
True
Suppose -155*q + 15 = -140*q. Is -23/15 greater than q?
False
Let h = 224 + -37. Let s = h - 202. Let l(f) = -f**3 - 5*f**2 + 4*f + 10. Let i be l(-5). Is s at least as big as i?
False
Let g = -1814 + 1850.16. Let w = 0.085 - 36.085. Let c = g + w. Is c at most as big as -3/5?
False
Suppose 0 = 45*o - 16*o + 29. Let u be (6/(-3))/((-2)/417). Let c be o/(-7) + 4*u/84. Which is smaller: 22 or c?
c
Let z be 3820/90*(-4 - 26/(-8)) + -5. Is z less than 1?
True
Let l(b) = 437*b - 4*b**2 - 2 - 438*b + 2*b**2 + 3*b**3. Let w be l(2). Suppose 10*a + 18 = w*a. Is 0 equal to a?
False
Suppose 148*w - 77*w = 69*w. Which is smaller: w or -2/17?
-2/17
Suppose 88*t + 16 = 96*t. Let i be t/(-22) + (7 + -13 - -5). Let k be 0 - (1 - 0/2). Does i = k?
False
Let n = -559/60 - -3137/30. Is -21 <= n?
True
Let u(f) = -f**3 + 9*f**2 - 6*f - 15. Let n be u(8). Let p be n - (8/6 - 1261/156). Is 9 less than or equal to p?
False
Let n be 0 - 2 - ((6 - 5) + -123). Let b = 93 - n. Is b greater than -25?
False
Let r(w) be the second derivative of -w**5/10 - 2*w**4 + 13*w**3/3 - w**2/2 - 64*w. Let i be r(-13). Which is smaller: i or -1/4?
i
Let u = -255374/9 + 28264. Which is smaller: -112 or u?
-112
Suppose 15*b - 4*g + 4 = 16*b, 0 = -4*b + 4*g + 16. Is b bigger than 62?
False
Let z = 430 - 429.74. Let p = 19.74 + z. Which is bigger: p or -0.03?
p
Let w = -599.35 - -829.4. Let z = w - 230. Is z <= 1?
True
Suppose 2*j + 60 = 6*j. Let a be ((-2)/(-12))/(5/j). Let x(v) = v**2 - 12*v - 12. Let u be x(13). Which is bigger: a or u?
u
Let r be 24/7578*6/2. Let m = -36092 + 36093. Which is greater: m or r?
m
Suppose 44*d - 299 - 52 - 89 = 0. Which is bigger: d or -704?
d
Let z be 3/12 - 266/1096. Let f = 286581394/405410537 - -40/422743. Let b = f + z. Which is smaller: 0.1 or b?
0.1
Let v(r) = -3*r**2 - 23*r - 1179. Let y be v(-42). Does y = 0.2?
False
Let x be ((-2)/(-4))/(1/(-12)). Let t be ((-4)/6)/(26/x). Let h = 11793 - 11792. Which is smaller: h or t?
t
Let j(p) = p**3 + 26*p**2 - 55*p + 24. Let y be j(-28). Let v(h) = h**2 - 4*h - 33. Let i be v(y). Let q = -11.4 - -0.4. Which is smaller: q or i?
q
Let a = 289615/141 + -2054. Let q be 2/(-1) + -5 + 63. Suppose q*h - 4 = 52*h. Is a not equal to h?
True
Suppose -5*x = -25, -2*q + 5*x - 1 = -2. Let t = 17 - 27. Let m = 20 + t. Which is smaller: m or q?
m
Suppose 3*o + 5*n - 107 = 108, -4*o + 4*n = -276. Let k = o + -77. Let p be (-37)/(-19) - (-12)/(1 + k). Which is smaller: 1 or p?
p
Let j = 1219 - 1379. Is j <= -157?
True
Let b(n) = -7*n - 14. Let t be b(-5). Suppose 10*g - 11*g = -7. Let p(z) = z**2 - 5*z + 8. Let l be p(g). Are l and t nonequal?
True
Let o(q) be the first derivative of -7*q**2 + 55*q - 203. Let h be o(-19). Is h != 0?
True
Suppose 6*y - 9*y - 24 = 0. Let b be ((-2346)/8)/(-23)*y/(-2). Suppose -r - 3*z = -37, 17 = -4*z + 1. Which is bigger: r or b?
b
Let g(v) = v**2 + 6*v - 4. Let m be g(6). Suppos