. Let p be u(-5). Let z be -49*2/4*(3 + -7). Let v = z - 106. Which is smaller: p or v?
p
Let v(i) = -i**2 + 35*i + 559. Let r be v(51). Is -253 equal to r?
False
Let s = 0.08 - 3.08. Let m = 2.8 + s. Suppose -4*x + 198 - 190 = -2*y, -5*y = -5*x - 5. Is x >= m?
True
Let k = -52167821461 + 41001873123283429/785961. Let p = k - -2/4203. Which is greater: 0 or p?
0
Let j be ((-2 - -5) + -6)*42/(-9). Suppose 0 = j*o - 340 - 458. Let c(v) = -v**3 - 4*v**2 - 7*v - 3. Let s be c(-5). Is o at most s?
True
Suppose 529 + 659 = -44*v. Let i be 2/1 + 1 + -1. Suppose -4*d = -i*d + 52. Is d less than v?
False
Suppose 22*s - 2427 = -579. Is s not equal to 86?
True
Let j be (1533/767 - 2)/(-1). Let n be 7*6/84*-14 - (-318)/53. Are n and j equal?
False
Suppose -2546*m + 2515*m = -155. Which is bigger: m or 107/19?
107/19
Let b be 108/126 + 39/(-70) + (-131965)/550. Which is greater: -241 or b?
b
Suppose 10*k - 4*y - 19 = 7*k, 5*k - 5*y - 35 = 0. Let j(h) = h + 7. Let c be j(3). Which is smaller: c or k?
k
Suppose -54*q = -51*q - i + 5528, 2*i = -2*q - 3688. Which is smaller: q or -1842?
q
Let a be (-278)/(-556) + (-21)/34. Let n(b) = -b**2 - 2*b. Let z be n(-1). Are a and z equal?
False
Let i(q) = 2*q + 22. Let j(v) = -v**3 + 28. Let l be j(0). Let b = l - 41. Let k be i(b). Is k < -4?
False
Let v = -208 + 200. Suppose -21 - 18 = -13*t. Which is smaller: t or v?
v
Let g = 632 - 17066/27. Let f = -0.702 + -0.048. Let i = 2.75 + f. Which is bigger: i or g?
i
Let s(d) = -2*d**2 - 4*d - 12. Let f be s(6). Let v be (-4186)/36 - (-24)/f. Let y = v + 589/6. Is y at most as big as -17?
True
Let g = -42 - -22. Let c = -202151 - -1010648/5. Which is greater: c or g?
g
Suppose -7*w + 17 + 18 = 0. Suppose -d + 5 = 0, w*k - 3*d = 2*d - 90. Let o(i) = i**3 + 12*i**2 - 15*i - 32. Let b be o(k). Is b greater than -3?
False
Let j(k) = 21*k**2 - 4*k + 4. Let s be j(1). Let q be s/(-16)*-4 + -5. Is q at least as big as -0.6?
True
Let w be -64*((-2)/(-10))/((-46)/575). Let z = w - 145. Which is bigger: z or 104/7?
z
Suppose -6*v = -4*v - 4*v. Suppose 290*k - 281*k = v. Do k and -1/29 have different values?
True
Suppose 14*d - 13*d + 101 = 0. Let w = d + 101. Suppose -g = -w*g + 5*a - 9, 5*a - 36 = -4*g. Is 49/5 at most g?
False
Let n be (-2)/6 - (-8)/15. Let b be (3 - 14/7) + 1220 + 4. Let k = b + -1225. Which is smaller: k or n?
k
Let b(p) = 4*p + 40. Let j be ((-60)/50)/(2/20). Let q be b(j). Is q at most as big as -9?
False
Let n = -70753 - -71616.03. Let k = -867 + n. Let f = k + 0.97. Is -1 less than or equal to f?
False
Suppose 0 = -9*t - 18 + 54. Suppose -3*l + x - 6 = t*x, -8 = 5*l + 3*x. Let f = -929/747 + 11/83. Is l at least as big as f?
True
Let w be -4 + 8/(-52) + (-94912)/(-24752). Which is smaller: -1 or w?
-1
Let g = 116.257 + -0.257. Let m = g - 57. Which is smaller: 0 or m?
0
Let t = 53.7987 - -0.0013. Let p = -51.8 + t. Is 1/8 != p?
True
Let a(g) = -54*g + 57. Let h(l) = 81*l - 85. Let j(n) = -7*a(n) - 5*h(n). Let u be j(1). Is -57 at least u?
False
Suppose -1 + 115 = 2*o. Let d(q) = -3*q**2 + 27*q - 3. Let a be d(5). Is o smaller than a?
False
Let l be (-346541)/22477 - 2/13. Which is greater: 1/4 or l?
1/4
Let v(k) = k**3 + 46*k**2 + 201*k - 19. Let t be v(-5). Is 25/502 at most t?
True
Suppose -2*u - 2*g = -6*g + 7478, 0 = -7*g - 28. Is u >= -3747?
True
Let y = 1663787/25025 - 1662/25. Is y greater than or equal to 1?
False
Let t = -664 - -668. Let n be t/((-4)/(-7)) + -6. Do -30 and n have different values?
True
Let t(a) = 12*a**3 - a**2 - 2*a - 2. Let f be t(-1). Let l = f + 17. Suppose -13 = m + l*w, 2*m - w - 4 = 3*m. Which is smaller: m or -1/20?
m
Let l be (-243)/(-75) - (2 + -2 + 3). Let i = -21 - -19. Which is bigger: l or i?
l
Let i(n) = -10*n + 7. Let t be i(1). Let j be (-2)/t + (-7820)/48. Let l = j - -163. Is 0 greater than or equal to l?
False
Let b = -464.654 - -242.46. Let t = b - -222. Let o = t - 0.006. Are -0.05 and o nonequal?
True
Let p be 11885/(-9)*(-37)/185 + (-7)/63. Is p greater than or equal to 1858/7?
False
Let i = 0.45 + -0.11. Let c = -503.68 - -503.58. Is c < i?
True
Let l = 14.52 + -13.8063. Let a = 0.0137 - l. Which is smaller: -3.9 or a?
-3.9
Let u be 2 + (-120)/(-18) - (-2)/(-3). Let m(n) = 4*n - 27. Let z be m(u). Suppose z*p + 0*p = 235. Do p and 47 have different values?
False
Let g(s) = s**2 - s - 30. Let k be g(-5). Let n be (11/33)/((-1)/(-9)). Let r be 8/(-36) + 2/n. Which is smaller: k or r?
k
Let m(n) be the second derivative of 2*n**3/3 + 14*n. Let x(i) = -2*i. Let b(l) = 2*m(l) + 3*x(l). Let k be b(0). Is 4 greater than or equal to k?
True
Let y(w) = -w**3 + 15*w**2 + 14*w + 25. Let g be y(13). Is 543 > g?
False
Let w be 10 - 3 - (4 - (-4 + 6)). Suppose 240 = -w*k + 105. Let d = k - -38. Which is greater: 9 or d?
d
Suppose 0 = -c - 1, 4*b - 25 = -5*c - 74. Suppose -2*h = 1 + 13. Are b and h equal?
False
Suppose 4*l - 3*o + 4*o - 116 = 0, 0 = -2*o + 8. Let h be 1 - 24/l - 30/(-35). Is 8 greater than or equal to h?
True
Let t = 64.5 - 148. Let k = t + -9.5. Let v = k - -93. Which is smaller: v or 0.06?
v
Let k = -1107 + 1107.0547. Let p = -0.1477 + k. Is 1/3 at least p?
True
Let q = 0.1371 - -2.8629. Is 5/201 >= q?
False
Let q(b) = 3*b**2 + 84*b - 4. Suppose 4*o + z - 87 = 7*o, 0 = 3*o - 5*z + 99. Let r be q(o). Which is bigger: r or -3?
-3
Let j = 16478 + -16483. Which is smaller: 131/18 or j?
j
Let y(q) = -2*q**2 - 56*q + 50. Let m be y(-29). Let x be 4 + (-6 + -7 - m). Which is greater: x or 3/44?
3/44
Let f = -40667/53364270 - -2/37847. Let r = f - -13/658. Let g = -38 - -37. Which is bigger: g or r?
r
Let t(c) = -8*c - 2. Let s be ((-1)/2)/1 + (-171)/18. Let a be t(s). Let h be (16/(-8))/((-4)/a)*-1. Which is smaller: -37 or h?
h
Let z = -5400 - -5401. Suppose -6 = -w - 1. Which is greater: z or w?
w
Let n be (2 - (-108)/(-30))*10. Let d be (21/9 - 3)*(-12)/n. Is -82 < d?
True
Let j(t) = 47*t - 7. Let z be j(-4). Let h = 196 + z. Let q(n) = -n**2 - 8*n - 8. Let c be q(-6). Is h greater than or equal to c?
False
Let l = -25 - -107. Suppose -l = -2*y - w - 2*w, -4*y + w = -150. Let m = 31 - y. Which is bigger: m or -10?
m
Suppose 2 = -47*o - 26*o + 2. Which is smaller: o or 1/88?
o
Let m be (989/46 + -26)/((-3)/8198). Does m = 12298?
False
Let f(i) = i**3 - 42*i**2 + 91*i - 50. Let n be f(40). Is 394 bigger than n?
True
Suppose -4*n - 2*l = 1840, -2*n + 3*l - 125 = 803. Which is smaller: -4 or n?
n
Let g = -0.3 + 0.2. Let y(p) = -9*p + 20. Let o be y(2). Let x be (o/3)/(-2)*6/12. Which is bigger: x or g?
g
Let w be -1 + (-6 - (-90)/10). Suppose 3*k - 41 = -2*u, w*u + 47*k - 51 = 46*k. Which is smaller: 53/2 or u?
53/2
Suppose 0 = -3*c + 2*r - 14, 0 = c + 3*r - 4 + 27. Suppose -4*g = 5*s + 1167, -2*g = -s + g - 222. Let k = s + 226. Which is smaller: k or c?
c
Let j be (-4)/(102/(-18) - -7) - (2 + 1). Is -220/39 <= j?
False
Let m = 3315 + -4565. Which is greater: -1249 or m?
-1249
Let w = 13 + -13. Suppose w = -3*u - 0*u + 3. Let i = 3355/708 - -2/177. Which is greater: u or i?
i
Suppose 5*h + 5*m = -0*h - 35, 4*m = 4*h + 20. Let p be (0 - (h + 6))/1. Which is smaller: -16.9 or p?
-16.9
Let f(i) = 314 + i + 3*i - 267. Let l be f(-11). Which is smaller: 7 or l?
l
Let a be (1786/846)/((-2)/(-6)). Let p be ((-28)/(-18))/(2/6). Let d = p - a. Which is smaller: -3 or d?
-3
Suppose 1331 + 2448 = -18*b + 485. Is b less than -186?
False
Suppose -648 - 116 = 5*p - 2*m, -762 = 5*p - m. Let l be (-2)/(-4) - 301/2. Do p and l have different values?
True
Let h = -204 - -203. Let k be 4*h + 11850/1343. Is k > 4?
True
Let b(v) = v**2 + 45*v - 2. Let w be b(-45). Let y(u) = -u**2 - 10*u + 1. Let o be y(w). Let t = -17/86 - -4093/258. Is t smaller than o?
True
Suppose 0 = 2*r - 2*f - 38, 3*f - 2 = r - 17. Suppose 0 = -r*s - 10 + 10. Let o be -2 - 11/(-32)*6. Is s at least o?
False
Let r = -34.295 + 31.3. Let g = -15 - -15.005. Let o = r - g. Which is smaller: o or -0.07?
o
Suppose 239 = 4*q - k, 4531*q - 4*k - 71 = 4530*q. Is 475/8 at most q?
False
Let y be (1739/(-14))/((-2)/(-4)). Let t be 1779/(-7) + 5 - 1/(-7). Let w = t - y. Is w at most as big as -2?
False
Suppose -3*j = 4*a - 48, a - 2*j - 4 = -3. Suppose -n + 5*g - a = 0, 0 = -4*n + 3*g - 6*g + 10. Is 3/22 at most as big as n?
True
Let a = -11672235/21703 - -5916/11.