9 = 0. Let n be b/(3/4) - 1. Let z be (1/n)/((-4)/(-3)). Which is bigger: z or 5/2?
5/2
Let a(y) = 2*y**2 + 27*y + 12. Let k be a(-5). Is k at most -73?
True
Let r be -5 - ((-8 - -3) + (-42)/(-7)). Let g(d) = -d + 5. Let c be g(8). Is r <= c?
True
Let u(q) = 59*q - 457. Let b be u(0). Is b at least as big as -457?
True
Suppose 6*g + 1361 = 293. Which is smaller: -179 or g?
-179
Let b(i) = i**2 - i. Suppose -9 = -8*a + 23. Suppose -a*u + 20 = -8*u. Let v be b(u). Which is greater: v or 29?
v
Let j(m) = -m**2 + 3*m - 2. Let w be j(2). Suppose o - 27 + 7 = w. Which is smaller: 0 or o?
0
Let u be 10*((-18)/5 - -4). Let y be u/34 - 180/85. Which is smaller: -1 or y?
y
Let u be (-2)/(-12)*206/(-2). Let w = u - -49/3. Suppose b + 0*b - a = -4, 0 = -4*b + 2*a - 8. Which is smaller: b or w?
w
Let o = -18.81 + 15.81. Which is greater: -50 or o?
o
Let x = 1045/3 - 341. Is x > 1/3?
True
Suppose -15 = 2*m - 5*m, -s + 2*m = 9. Let l(f) = -f**3 + 9*f**2 - 9*f + 11. Let q be l(8). Which is smaller: q or s?
s
Let u = 0.3 + -0.6. Let r = -34.9 - 8.1. Let h = 42.8 + r. Which is greater: u or h?
h
Let p = 39.889 - 40. Is p at most -0.2?
False
Let w be (-10)/(-25) - (-307)/(-5). Let b = 37 + w. Which is smaller: b or -25?
-25
Let n be (-1 + (-52)/8)*4/5. Let u be (-6)/2 - 1 - 3. Is n at most u?
False
Suppose -10*d + 1026 = -2054. Which is greater: 307 or d?
d
Let l(w) = -w**3. Let s be l(-1). Let z be ((-90)/24)/((-35)/28). Is s less than z?
True
Let l be 3 - 7/(28/(-36)). Which is greater: l or 20?
20
Let z be -2*2/(-4) - 3. Let g be ((-2)/3)/(z/(-6)). Which is bigger: -10/11 or g?
-10/11
Let d = 428 + -426.01. Let g = 32 + -31.99. Let i = g + d. Which is smaller: i or -1?
-1
Suppose -3*a + 13 = -5*b, 3*a + 0*b + b = 1. Which is greater: a or 19/14?
19/14
Let w be (-34)/(-153) - 43/(-9). Suppose -41 = w*i - 16. Suppose -2 + 3 = -k. Do k and i have the same value?
False
Suppose 5*w - 20 = g - 1, -w = -5. Suppose g = 6*v + 42. Is -3 smaller than v?
False
Let y = 24 - 27.2. Let h = 4.5 + y. Let a = 1.6 - h. Is 2/7 greater than a?
False
Suppose 0*x - 7 = x. Let r be (-82)/10 + (-3)/(-15). Is x greater than or equal to r?
True
Let g be 5/(100/(-96))*15. Let m be 84/g*(-2)/(-42). Is -1 less than m?
True
Let g = -0.4 + 0.35. Let j = -45.05 + 45. Let l = g - j. Which is smaller: 2 or l?
l
Suppose 5*j - 22 = 3*q, 2*j + 6*q = 2*q - 12. Suppose -19 - 19 = -5*k - j*b, 2*k - 5*b = -8. Do k and 4 have the same value?
False
Suppose -c = 2*m - 102, 204 = 4*m - 15*c + 10*c. Which is greater: m or 1?
m
Let h = -33 - -18. Let z = h - -18. Are 5/3 and z equal?
False
Suppose -2*u + 32 = 2*u. Suppose -3*a - u*a - 77 = 0. Which is greater: -5 or a?
-5
Let p = -2.042 + 0.942. Which is smaller: -5/3 or p?
-5/3
Let m = 2208 + -3200. Let c be m/5940 + (-2)/(-11). Is -1/2 smaller than c?
True
Let b = 0 + -0.2. Let o be 4/6 - (-20)/6. Let d = 9 - o. Which is greater: b or d?
d
Let t(d) = 5*d - 9. Let i be t(2). Suppose i = -q - 9. Is -7 at most as big as q?
False
Suppose -6*p = -21*p. Suppose 4*z + 0*z - o - 73 = p, o = -5*z + 98. Which is bigger: 18 or z?
z
Suppose 0 = -6*d + 4*d + 2. Let r be (-76)/2622*(2 + 5*-1). Which is smaller: r or d?
r
Suppose 324 - 88 = 2*w. Let j = 1300/11 - w. Let a = -7 + 5. Are a and j unequal?
True
Suppose 0 = 3*k + 9*k. Which is smaller: 3/20 or k?
k
Let o(y) = 6*y + 0*y + 10 - y**2 - 1. Let i be o(7). Let t = 33/14 + -13/7. Is i greater than t?
True
Let g(h) = h**3 + 2*h**2 - 3*h - 3. Let m be g(-3). Let c = 72 - 76. Are m and c non-equal?
True
Let v = 597/70 + -91/10. Is v at most 2?
True
Suppose 3*q = 35 + 16. Let u be 4/(6 - 2)*67. Let t = -51 + u. Is t smaller than q?
True
Let p(s) = -s**3 + 3*s**2 + s - 1. Let f be p(3). Suppose -w + f*w = -1. Let b be 2 + w - -2 - -2. Which is bigger: b or 3?
b
Let t = -0.0346 + 0.0346. Is t not equal to 16/9?
True
Let n = 29 - -31. Let i = n + -61. Is -2 > i?
False
Let b = -998 - -6982/7. Is -1 bigger than b?
False
Let i = 2 + -1.5. Let j = i + 0.5. Let x = -0.67 + 2.67. Is x greater than or equal to j?
True
Let p = 347.16 - 347. Let d = 9/20 + -1/5. Which is smaller: d or p?
p
Let p = 2 - -3. Suppose 2 = -d, -2*g = p*d + 3 + 3. Let n = -87.96 + 87.96. Which is smaller: n or g?
n
Let d = -12151/7 + 1744. Which is smaller: d or 9?
d
Let d be 8 + -3 + -1 + 4. Suppose -2*l + 23 = d*p - 3*p, 11 = -3*p + 5*l. Suppose p*r + 8 = r. Which is smaller: -3 or r?
r
Let k = 785 + -7015/9. Let b = 26 + -19. Which is smaller: b or k?
k
Suppose 2*p = -5*v + 7*p + 30, -4*p = -3*v + 20. Suppose -200 = -4*g - v. Is g < 49?
False
Suppose -5*x = -0*a + 4*a - 91, 92 = 5*a - x. Let o = a - 17. Suppose 2 = -g - m + 13, o*m - 35 = -3*g. Which is smaller: g or 12?
12
Let s be (2 - (9 - 4))*9. Let u = 30 + s. Is -4/3 >= u?
False
Let b = 0 + 14. Let x be (-140)/(-6) + b/21. Suppose -z = -2*z + 2*h - 11, -x = -z - 5*h. Which is greater: z or 0.8?
0.8
Let v(p) = -13*p**2 - 11*p - 5. Let c be v(-3). Let o = -177/2 - c. Are o and -0.07 non-equal?
True
Let r = -348 + 344. Let n = -0.9 - -1. Is r not equal to n?
True
Suppose -2 - 2 = -2*m. Let n be (-2 + -1)/(-2 - -1). Suppose -x + m = -n*x. Does 1 = x?
False
Suppose -9191*g + 9196*g = -5. Let i = 732 + -18304/25. Which is greater: g or i?
i
Let q = 6 + -7. Let p be 5 - 6/(2484/2066). Is p smaller than q?
False
Let k be 0 + -2*(-5 + 390/66). Is k greater than 3?
False
Let w = -31 - -15. Is -129/8 greater than w?
False
Let t be (-1)/((-9)/12 + -1). Which is greater: -1.6 or t?
t
Suppose -5*b = 7 - 22. Suppose b*v - 4 = v. Suppose -v*h - 56 = -6*h. Is 15 not equal to h?
True
Let p = -5.4 - -7.4. Suppose -3*d = 17 - 80. Is d >= p?
True
Let f be (2*2)/1 + 7680/(-1904). Is -1 at most as big as f?
True
Let a = 169.1 - 168. Is 12 at least a?
True
Let u(r) = r**3 - 6*r**2 - 17*r + 13. Let s be u(8). Suppose -2*o = q - 6*o, s*o = -q. Is q smaller than 1/40?
True
Let s = -13.66 + -14.5. Let a = s - -0.16. Let m = a + 32. Which is greater: m or 0.1?
m
Let x(d) = d**3 - d**2 - 4*d - 1. Let m be x(3). Suppose -23 = 14*s + 19. Let i = m + s. Is i >= 2?
True
Let w(i) = 8*i**3 + 3*i**2 + 4*i + 5. Let o(y) = y**3 + y**2 + y + 1. Let c(t) = -4*o(t) + w(t). Let g be c(1). Let q = -16/7 + 39/14. Which is greater: g or q?
g
Let u = -0.037 - 4.963. Let a = -4.1 + 4. Let i = a - 0. Which is smaller: u or i?
u
Let x = -268.2 + 276. Is x at most 4?
False
Let x = -9 - -47. Let t be 1 - x - (3 + (2 - 4)). Which is bigger: t or 1?
1
Let q = 2626 - 7982/3. Let v = q - -34. Let u = -0.1 - -0.6. Is v bigger than u?
False
Let u = 47 - 40. Let m = 6 - u. Is m at least -11?
True
Let u = 49.6 + -50.6. Is u >= -19?
True
Suppose -1 = 3*j - 4. Suppose -2*n + u = -4*n + 8, 4*n - 22 = -5*u. Suppose -4*l + 17 = -3*h, 8*h + 20 = n*h + 5*l. Is j greater than h?
False
Let k be ((-469)/637 - 5)/((-6)/28). Which is bigger: 27 or k?
27
Let i(n) = -6*n - 6*n - 4 + 9*n + 8*n - 2*n**3 + 8*n**2. Let b be i(6). Which is smaller: -119 or b?
-119
Let m = -2283/616795 - -2/1405. Which is smaller: m or 1?
m
Let g = 15.9 - 9.2. Let f = g + -7. Is f equal to -4?
False
Let x = 4 + -8. Suppose 5*v = -4*u - 22 - 3, -20 = 4*v - 2*u. Which is bigger: x or v?
x
Let x be -2 + 8 + 6/((-9)/3). Suppose -5*g - 16 = -5*p + x, -5*g = 20. Is p equal to -1/17?
False
Suppose 3*m + 71 = 269. Is 336/5 < m?
False
Let a = 30 - 27. Suppose -3*s + 4 - 1 = -z, s = -5*z + 1. Which is greater: s or a?
a
Let i(c) = c + 8. Let j be i(-5). Suppose -v - 1 + j = 0. Let x = v + -4. Is x less than -4?
False
Let p = 894 - 618. Which is bigger: 275 or p?
p
Let f = -24.48 + 7.48. Are f and -12 equal?
False
Let q be (-1630)/(-45) + 4/(-18). Let z be 9/(q/16) + -3. Are -2/35 and z equal?
False
Let j = 111 + -552/5. Let y(q) = -q - 2. Suppose 4*h - 2*n = 28, 0 = -5*h + 2*n - 3*n + 21. Let i be y(h). Which is bigger: i or j?
j
Let u be (-14)/(-21)*(5 - 2). Suppose 3*t - 9 = -0. Are u and t unequal?
True
Let n = -29 - -20. Let z = n + -24. Let w = 31 + z. Is w at most -1?
True
Suppose 7*w = -w + 24. Suppose -1 = -2*u - w. Is -0.4 bigger than u?
True
Let p = -421 + 398. Which is smaller: -8 or p?
p
Suppose 5*y - 31 = -26. Let q = -2 + y. Which is smaller: q or -2?
-2
Suppose 4*z = 12, -5*q + 3*z = -1 - 5. Let v be ((-6)/40)/(q/2). Is 0 at least as big as v?
True
Let w be 125/25 - 82/14. Does w