t b be z(23). Let n be b/(-100)*(-10)/38. Which is greater: -1 or n?
n
Let t = 2488 + -2450.1. Which is bigger: 2 or t?
t
Let l be 36/30*(-6060)/18. Let q = l + 148. Which is smaller: q or -257?
-257
Let u = 131 + 680. Let z = -810.95 + u. Is z greater than -21?
True
Let j(y) = -108*y + 4. Let l be j(1). Let f be (-6672)/l + (-2)/13. Let w = f - 70. Is -2 less than w?
False
Let q = -126 + 134. Let k be (5 - 52/q)/(2/(-4)). Which is smaller: -1 or k?
-1
Suppose -249*x - t + 2315 = -250*x, 2*x = -t - 4645. Which is bigger: x or -6962/3?
x
Let u(h) = -5*h**2 - h + 1. Let i be u(1). Let w be (-2 - -6) + -1 + i. Let c be (w/4)/(5/120). Which is greater: -11 or c?
-11
Let u = -0.07549 + -0.46451. Which is greater: u or 0?
0
Let c(b) = -2*b**2 + 59*b + 222. Let z be c(22). Is z > 3870/7?
False
Let k(n) = n**2 - 5*n - 7. Let a be k(6). Suppose 25*g = 29*g - 824. Let u = g - 207. Is u smaller than a?
False
Let a = 1183 - 1183. Let i = -72 + 104. Let q be (10/i)/(1/4). Which is greater: q or a?
q
Let s = 11075 + -11810. Which is bigger: -726 or s?
-726
Let v be 4/(-12) - (-157)/3. Let c(o) = 140*o + 1451. Let t be c(-10). Is t less than v?
True
Suppose 4*c = 30*c + 910. Let o be 1/(c/203) - -3. Which is smaller: o or -2?
o
Let y be 0/(-1) - (-4)/(-770). Let w = -8517 + 8516. Which is greater: y or w?
y
Let v(u) = -580*u**2 + 1304*u - 2. Let t be v(5). Which is bigger: t or -7983?
t
Let l = -26.91 - -27.21. Is -1624 > l?
False
Suppose -f = -2 - 1. Suppose b = -3, 12 = -o + f*o - 4*b. Let m be (-4)/1 - -2 - (-760)/368. Which is greater: m or o?
m
Suppose -2*z - 70 = -w - 64, 5*z - 15 = -5*w. Which is bigger: -40/27 or z?
z
Suppose 0 = -2*c + 4*x - 860, -5*c + 323 = -5*x + 2463. Let f be 0 - c/12*5. Does 178 = f?
False
Suppose -9*i + 15*i - 1699 = z, -285 = -i + 2*z. Is i <= 280?
False
Let t be (19 - (-330)/(-11)) + 138/12. Let s be 1 - (-3)/((-138)/22). Let k = 325/138 - s. Is k at most t?
False
Suppose 936 = -0*b + 4*b. Suppose 5*p - 4*i - 238 = 0, 5*p - 3*i + i = b. Suppose 24 = 2*g + 4*q, 0*g + 4*q = 3*g - p. Which is bigger: 15 or g?
15
Let q = 309 + -543. Let u be q*1 + 4/(4/(-3)). Let m be (-4)/14 + (-3)/63*u. Which is greater: m or 7?
m
Let m = -359.219 + 359. Let z = m - -0.409. Which is smaller: 1/4 or z?
z
Let w be (240*(2 + -4))/(-1). Suppose -1252 = 16*b - 3*b - 7505. Which is smaller: b or w?
w
Suppose -20 + 3 = -m. Suppose 2705*l + 297 = 2804*l. Are l and m equal?
False
Let s be ((-95154)/4)/((-183)/(-122)). Which is smaller: s or -15860?
-15860
Let r be 7*(-46)/(-966)*5388/((-6)/(-3)). Is r <= 896?
False
Let r(q) = q**3 + 8*q**2 + 7*q + 8. Let h be r(-7). Suppose 0 = -3*k - w - h, 3*k - k - 18 = 4*w. Let p be (-270)/300*8/(-18). Which is greater: k or p?
p
Let d be -7 + 3 + 10 + -1. Suppose 15 = -d*k, -3*w - 2*k + 7*k - 270 = 0. Is -93 less than w?
False
Let h = -3704 - -3648. Let d(y) = y**2 - 7*y + 2. Let x be d(7). Which is smaller: x or h?
h
Suppose -608 = 3*i + 13*i. Let c be 51/8 - (-228)/i. Which is smaller: c or 3?
c
Let g = -957 + 966. Suppose g*o + 505 = 7*o - 5*b, 4*b = -o - 251. Which is smaller: o or -254?
o
Let a(v) = 14*v + 56. Let q = -98 - -107. Let f be 45/(-6)*6/q. Let y be a(f). Which is smaller: y or -12?
y
Let b = 19183 - 19253. Is -766/11 < b?
False
Suppose -4*j + 2*l + 20 = -3*j, -l - 49 = -2*j. Suppose r = -4*y + 5 + 25, 0 = 4*y - r - j. Let b be 54/7 - ((-23)/y - -3). Which is greater: 5 or b?
b
Suppose -3*q + 583 = 586. Let y be (-11 + 477/45)*q*40. Which is smaller: y or 87/5?
y
Let i be (-3)/((-315)/(-300)*10). Is i less than or equal to 429.8?
True
Suppose -18*t - 1632 = 16*t. Let b be 0/1 + (192 - -2). Suppose -5*f - b = 46. Are t and f equal?
True
Let o = 165/4 - 905/22. Let g be (0 - (-4)/12)/((-1)/3). Let i be (1 - 2) + (g - (-5 + 4)). Which is greater: o or i?
o
Let w(x) = x**3 - 6*x**2 - 3*x + 6. Let c be w(6). Let s(i) = 8*i**2 + 2*i - 1. Let g be s(1). Let y be (-6)/4*c/g. Which is bigger: y or 15/7?
15/7
Let o(z) = -15*z - 361. Let x be o(-24). Are x and -1/3082 equal?
False
Let n(t) = -3*t**2 - 248*t - 1380. Let h be n(-6). Which is bigger: -42/55 or h?
h
Let d(a) = 17 - 9 - a - 5. Let x be d(0). Let o be (0 - x) + -1 + (-34)/(-4). Does o = 4?
False
Let x be 3/2*(-12)/(-7). Let u(d) = d**3 - 7*d**2 + 407*d - 2408. Let t be u(6). Which is smaller: x or t?
t
Let t = 137608/1305 - 952/9. Which is bigger: t or -1?
t
Suppose 2*r - 3 + 35 = 0. Let h be (-1)/((-811)/(-2)*r/16). Is -1 > h?
False
Let o be 15224/(-68) - 18/153. Do o and -222 have the same value?
False
Let g(m) = 470*m - 391. Let b be g(0). Is -395 less than or equal to b?
True
Let x = 39785 - 357629/9. Let a be (96 + 6/(-3))/2. Which is bigger: x or a?
x
Let g(z) = -2*z**2 - 9*z - 9. Let n be g(-7). Let f = 46 + n. Let b = 14 + -9. Is f at most b?
True
Let h = 473 + -474. Let p be 4 + (-2249)/247 + 4*1. Is h greater than p?
True
Let a(r) = -r**2 - 27*r - 36. Let i be a(-11). Suppose 131*w - 252 = i*w. Do w and -20 have the same value?
False
Suppose -423*g = -849*g + 411*g - 159840. Are g and -10658 equal?
False
Let l be (13 - -4 - 8)*(1 + -2). Let c be ((-3)/l)/((-3)/(18/(-614))). Is c != 0?
True
Suppose 5*o + 2*r = -24 + 3, 0 = 5*o + 3*r + 24. Let t be (-1 - (-28)/40)/o. Suppose -k = -5*k. Is k less than t?
True
Let l = 17857 + -17857. Which is bigger: 2/32365 or l?
2/32365
Let y = 598851/32 + -18714. Which is greater: 27 or y?
27
Let c be (-1)/(-1) - -2*(-27)/(-6). Suppose -9*x + 10 = 5*b - 4*x, 0 = 3*b - x + c. Is -5/3 greater than b?
True
Let v = 8805 - 8806. Which is bigger: v or 4/873?
4/873
Let f be -7 + (5 + 1669/11)*7/(-28). Which is greater: -47 or f?
f
Let a = 6 + 0. Let o = 5 - a. Let z = -699 + 704. Which is greater: o or z?
z
Let p be 2 - 78258*(272/626040)/17. Which is smaller: p or 1?
p
Suppose -s - 12 = -3. Let j(w) = -w**3 - 6*w**2 + 12*w - 1. Let i be j(s). Let g be 14/((-14)/35 + i/10). Is 1 greater than g?
False
Let n = -41002 + 40599. Which is smaller: 0.4 or n?
n
Let x = -158.186 - -158. Let q = 0.196 + x. Are q and 14 unequal?
True
Let v = 4724 + -1540021/326. Which is smaller: 2/5 or v?
v
Let d be (-7 + (-1390)/(-30))/(5/3). Suppose -83 = -7*b + 78. Which is smaller: d or b?
b
Let h = -3718 - -3723. Which is bigger: -371 or h?
h
Let o = -0.539 + -251.461. Let v = o + 252.1. Is 8 greater than v?
True
Let j = -8.4 + 3.4. Let s = j + 88. Let f = 97 - s. Is f greater than or equal to 3?
True
Let p = 275 + -316. Let o be (-404)/10 + (-46)/(-115). Is o < p?
False
Suppose u + 39 = 4*u. Let i = -16 + u. Suppose 15*k + 105 = -6*k. Is k smaller than i?
True
Let f(i) = -74*i + 86. Let u be f(1). Is u != -22?
True
Suppose -j = 2*u - 9, 2*j - j - 2*u = 5. Let c be (13 - 13) + j*-2. Let s be (-715)/22 + 18 - 1/2. Which is smaller: c or s?
s
Let t = -191 + 73. Let m = t + 92.5. Let r = m - -26. Is -2/3 bigger than r?
False
Let z(h) = h**3 - 6*h**2 - 5*h + 3. Let r be z(4). Let v = 628 - 677. Do r and v have the same value?
True
Let s be (-5 - (0 + 1))*(-34)/16. Suppose 5*x + 60 = 3*n + 2*n, 0 = 2*n + 3*x - 29. Which is bigger: n or s?
n
Let d = 0.13077 + -0.13077. Is d less than -6.08?
False
Let j(o) = -7*o + 55. Let v be j(21). Let y = 195 + v. Is 104 greater than or equal to y?
True
Let m = -970.4 - -972. Let b = 3.4 + m. Which is bigger: b or 1/10?
b
Suppose 3*z - 2*a = -880, 17*z = 20*z - a + 884. Is 16 at most as big as z?
False
Suppose 2337*g = 2324*g + 195. Let l(f) = 0*f - 3*f + 4 + 8. Let n be l(g). Which is smaller: n or -34?
-34
Let b be 1600/96*(6/20)/((-45)/(-20)). Are b and 1 equal?
False
Let m = -39708 + 10204939/257. Which is greater: 1 or m?
1
Let j(b) = -21*b + 1. Let t be j(1). Suppose -6*o = c - 7*o - 21, -3*c - 2*o = -58. Let n = c + t. Which is smaller: n or -0.15?
-0.15
Let a = -0.4 + -0.6. Let r be (6/4)/((-20)/60*-9). Which is smaller: r or a?
a
Let f(r) = 2*r**2 + 7*r + 9. Let b be f(-2). Suppose -14 = -v + 4*c - b*c, 0 = -v - c + 24. Is v at least as big as 13?
True
Let c = -44.25 - -0.15. Which is smaller: -0.2 or c?
c
Let o = 140.3 + -111. Let v = o - 29. Let x be (-132)/34 - 12/(-3). Which is smaller: v or x?
x
Let y = 703 - -3. Let b = 705.9 - y. Is b less than -259?
False
Let c(y) = 12*y**2 + 13 + 9*y**3 + 13*y - y - 8*y**3. Let n be c(-11). Does 2 = n?
True
Let r = -962 - -959.61. Let m = 4.81 - r