be m(-8). Let q = u + -23/4. Is -0.04 >= q?
False
Let a be 3 + (4 + -3 - -46). Let r = a + -50. Which is bigger: r or 2/53?
2/53
Let d be 6/(-9)*(135/6)/5. Let g be 45/(-18) + d/2. Is -2 greater than g?
True
Let c = -3444.9 + 3445. Let n be 8/10*(-1)/(-8). Does c = n?
True
Let u be (-22 + 24)*6/4 - 28. Is u <= 2/5?
True
Let s = 63 - 33. Let d = s + -30.14. Let f = d - 1.86. Which is smaller: 3 or f?
f
Let v(u) = u**3 - 2*u**2 + u - 1. Let b be v(2). Let s be -3*(b + (-5 - -3)). Suppose -a = -s*a. Which is smaller: a or -3/5?
-3/5
Let l(k) be the second derivative of k**5/20 - 5*k**4/12 - 2*k**3/3 - k**2 + 4*k. Let d be l(6). Suppose -2*b = -3*y - 2 - 0, 0 = 5*b + d. Is -6 greater than y?
False
Let q be -4 + 3 + 5 + 1. Is -11 less than q?
True
Let w = -253 - -177. Let v be (10/(-28) - 0)*w/95. Is -1 less than or equal to v?
True
Suppose -4*z + 4*v = 16, 4*v = -3*z - 1 + 3. Let g = 6 + z. Suppose 5*d - 8 = 2*t - 0, -2*d - 16 = g*t. Is d at most as big as 11?
True
Suppose -4*b = -d - 32 - 207, b = d + 59. Suppose 0 = 10*q - b. Which is smaller: 9 or q?
q
Let n = 428 - 428.17. Do n and 0.3 have different values?
True
Let j = -5987/16 + 374. Let v = j + 25/48. Which is smaller: v or 7?
v
Let i be (-25)/20*(0 - 1)*44. Suppose -g = -3*t - 8, 5*g - 3*t = i + 33. Do g and 2 have the same value?
False
Let z(l) = 6*l**2 + 18*l - 8*l**2 + 12*l - 8. Let s be z(15). Which is smaller: s or -10?
-10
Let b be 0 + -3 + 1 + 2. Suppose -o + b*o + 20 = 0. Does o = 19?
False
Let g = 0.7 + -0.46. Let y = -0.172 + -0.828. Which is smaller: g or y?
y
Suppose 0 = -11*c - 5829 - 8229. Let y = c + 95848/75. Is -1 < y?
True
Let h(b) = b**2 + 11*b - 5. Suppose 116 - 46 = -7*l. Let t be h(l). Suppose 4*x + x = 5*c + 70, -3*c - 3*x = 48. Is c >= t?
True
Suppose -9*a = -2*a - 42. Suppose -3*t - 9 = -a*t. Let q(r) = -r + 6. Let j be q(5). Is t > j?
True
Suppose 0 = -j + 4*n + 19 + 8, 4*n + 38 = 2*j. Let h = 14 - 7. Suppose 2*c - j + h = 0. Which is smaller: 4/5 or c?
4/5
Let h be (-1)/(-2)*((-45)/5 + 9). Which is bigger: -5/13 or h?
h
Let t = 142 + -141.973. Which is greater: 2/3 or t?
2/3
Let d = -631 - -559. Is d smaller than -72?
False
Let h be 16608/9884 + -2 + (-58)/(-203). Are 0 and h equal?
False
Let c(f) = 3*f + 3. Let j be c(2). Let d be (-2)/(-10) + (-95)/(-25). Suppose d*m + 27 = 7*m. Is m at most j?
True
Let n be 10/2 - (8 + (6 - 7)). Let y(o) = -o**3 - o**2 + 4*o. Let g be y(-3). Let x be (-1068)/3420 - n/g. Which is greater: 1 or x?
1
Let z(l) = 2*l - 6. Let c be z(2). Let y be c/10 + (-176)/20. Is -11 <= y?
True
Suppose -3*n + 2 + 1 = 0. Let j be 2 - (n/(-1) + 0). Let w be 0/(8/(-12)*j). Which is smaller: -13 or w?
-13
Let h(o) = o**2 - 3*o - 41. Let i be h(-5). Are i and 2/271 equal?
False
Let p = -172/295 + -60/59. Is p greater than -1/5?
False
Let v = -129633/61 - -2125. Which is bigger: -1 or v?
v
Let g(q) = 5*q + 48. Let o be g(13). Which is smaller: o or -0.2?
-0.2
Let v(y) = -y**2 + 6*y - 5. Let p be v(5). Suppose 5*o - o = p. Suppose 5*j + o = -20. Which is bigger: 1/4 or j?
1/4
Suppose 0 = -2*k + 4*y + 13 - 1, -5*k - 4*y = 26. Let p be 3 - ((-252)/(-52) + k). Which is smaller: -5 or p?
-5
Let f = 1562144/2205 + -730/441. Let r = f - 709. Is r less than or equal to -1?
True
Let m(c) = c**2 + 7*c + 12. Let x be m(-3). Let d = 5 + 6. Which is greater: x or d?
d
Let p be 113/20 + (-48)/(-80) + -6. Is -39 > p?
False
Let g be 1/4*(-2 + 1). Let z(u) = u**2 + 2*u - 4. Let b be z(-4). Suppose b*k + k = -5. Which is smaller: g or k?
k
Let s be (-1)/(((-10)/55)/(-2)). Which is greater: s or -13?
s
Let y be (-2*1)/2 - (-13 - 12). Let m be (y/(-9) - -3)/(3/(-9)). Let z be 1/4*2 - 1. Which is smaller: z or m?
m
Let z = -575 - -559. Which is bigger: z or -19?
z
Let t = 61.092 - 0.092. Which is smaller: t or -1/2?
-1/2
Let l = 0.231 + -17.231. Which is bigger: -1 or l?
-1
Let h = 12 - 1286. Which is smaller: -1275 or h?
-1275
Suppose 3*o - 11 = 2*o - 2*t, -3*o = -2*t - 1. Suppose 0 = -o*q + 3*x + 9, 7*x + 3 = -5*q + 3*x. Is 8 smaller than q?
False
Let z be (-1 - (-2)/(-10))/(72/468). Let o(s) = -s**3 + 9*s**2 - 8*s - 8. Let t be o(8). Which is smaller: z or t?
t
Let r = -1356 - -1282. Which is greater: r or -11?
-11
Suppose 5*r = 26*r. Let m be 49/(-126) + (-1)/6. Which is smaller: r or m?
m
Let b = -0.143 + -68.857. Let k = b + 70. Which is smaller: -2/3 or k?
-2/3
Let f be 82/(-24) + 2 + (-162)/72. Suppose -4*q - 4 = 8. Are q and f nonequal?
True
Suppose 43*f + 44*f = 86*f. Are -3/1045 and f non-equal?
True
Let q be (2 + -1)/(17/51)*-77. Is -230 less than or equal to q?
False
Let w be -1 - -2 - (-1 - 2 - 0). Suppose 0 = 4*r - g + 5, r + w*g - 20 = -0*r. Which is greater: r or -2?
r
Suppose -5 = -2*m + m. Let f(w) = w**3 + 14*w**2 + 23*w - 5. Suppose 24 = -2*a + 3*r, 3*r = -2*a - 8 - 16. Let n be f(a). Which is smaller: n or m?
m
Let r = 795774 - 833971037/1048. Let y = 2/131 + r. Suppose 3*o - 12 = -3*k, -5*k + 1 = -2*o - 26. Which is smaller: y or o?
o
Let l be (-4)/((-14832)/(-10748)) - -3. Let g = l + 1/103. Which is smaller: g or 0?
0
Suppose 3*r + 1 + 1 = x, 4*x = -r + 73. Let m = x + -28. Is m bigger than -11?
False
Let t(u) = u**2 - 5*u - 3. Let b be t(6). Suppose b*j = 2*j. Let p = -15 - -13. Do j and p have different values?
True
Let j = 344 - 344. Which is greater: j or -4/11?
j
Let r = -675.2 + 677. Which is bigger: r or 1/25?
r
Let i be ((-2)/(-5))/1*-5. Let c = i + 2. Let z = -4/117 - 101/468. Which is smaller: z or c?
z
Let r = 291 + -323.3. Let x = -34 - r. Let d = -2 - x. Which is greater: -1 or d?
d
Let y = 197 + -197. Which is smaller: -6/223 or y?
-6/223
Suppose 0 = m + 2*z, 17 = 4*m + 4*z + 5. Let l be 45/(-18)*m/(-5). Let k be l/(-65)*(-1)/(-3). Is k less than or equal to 1?
True
Let x(k) = -k**3 + 245*k + 0*k**3 - 5*k**2 - 244*k. Suppose -2*b - 8 = -0*b + 2*g, 2*g = 2*b + 12. Let h be x(b). Are h and -4 nonequal?
True
Let j be -2 + -15 + -2 + 2. Let v be (-3 - -20)/(-5 + 3 + 1). Is j <= v?
True
Let o(h) = h + 27. Let x be o(-25). Suppose 2 = l, 0 = 3*n - n + 3*l - x. Suppose 0*s - 2*s + 12 = -a, 2*a = -s + 1. Is a greater than n?
False
Let u be 1 + (35/5 - 17). Which is smaller: -11 or u?
-11
Suppose 3*c - c = 4. Let m = 3 - c. Let a be ((30/(-6))/(-5))/7. Which is bigger: a or m?
m
Let l be -1*(-94)/1 - (-8 - -7). Is -1/9 < l?
True
Let z(m) = -5*m**2 + 6*m - 10. Let p(s) = 14*s**2 - 18*s + 29. Let j(f) = 4*p(f) + 11*z(f). Let u be j(5). Let l = 176/5 - 35. Do u and l have the same value?
False
Suppose -4*h - 24 = -2*k - 0*h, 0 = h + 5. Suppose -k*y + 93 + 65 = 0. Is 78 >= y?
False
Let z = 1 + -1. Let p = 2/1697 + -3532/117093. Which is greater: p or z?
z
Let b(h) = -h**2 + 5*h. Let p be b(5). Let w be (-3)/(12/30 + 3/5). Which is smaller: p or w?
w
Let t = -64.4 + 62.4. Let k = 0.6 + 10.4. Which is bigger: t or k?
k
Let h = -19.7 + 19.9. Which is smaller: h or 0.32?
h
Let t(d) = 12*d**3 - d**2 - d + 1. Let q be t(-1). Suppose 4*u + 5*i = 2*i - 36, -52 = 4*u - i. Is u at least as big as q?
False
Let l = -2 - 34. Let a = -36.1 - l. Is -11 smaller than a?
True
Let v = 680.1 - 684. Which is bigger: v or 2?
2
Let n = -0.2 + 0. Let v = n + 0.1. Let a = -1101 - -1104. Is v <= a?
True
Let b be 1/((-1 + -1)/(-1 - 9)). Let y be (b + -3)*1/(-74). Is y > 1?
False
Let p be (-1)/(-6) - 428/(-24). Let y be 9/p - (-2 + 1). Suppose 4*v - 4 = -0. Is v equal to y?
False
Suppose 5*o = 1692 - 4542. Let q = o + 5135/9. Which is smaller: q or 2?
q
Let s(y) = -y**3 + 11*y**2 - 9*y - 12. Let z be s(10). Suppose -2*w = -5*r - 9, 0*r - 3 = 4*r - 3*w. Let p be (z/r)/((-10)/(-75)). Is p less than 5?
False
Suppose 5*s + 3 = -7. Let l be s/6*(6 + -6). Suppose -5*i + 10 = -l*i. Is i <= 1?
False
Let c = -0.0758 + 0.1758. Is c not equal to 3/50?
True
Suppose g - 8 = -4*j - 5, 5*g + 6 = j. Let f be 2 - 5 - 843/(-279). Which is bigger: f or g?
f
Let n be 1/(-4)*28 + -77*1. Which is greater: -73 or n?
-73
Suppose 0 = 5*b + z + z + 28, 5*z = 5. Let q be (-6)/(-117)*b/4. Let p be 4/18 - 4/18. Is p greater than q?
True
Let q = 57 - 57. Which is bigger: q or -167?
q
Let b = -14 - -15. Let z be (0/(b - -2))/2. Let h = 6 + z. Which is smaller: 5 or h?
5
Let l(p) = -p**2 + 5*p - 1. Suppose 0 = -3*t + 4*t - 1. Let s(b) = 4*b**3 - b + 1. Let v be s(t). Let n be l(v). Is n != 2?
True
L