*b, 0 = -4*q + 4*b - 4. Are f and q unequal?
True
Suppose 8 = 5*n + a - 5*a, 2*n + 5*a + 10 = 0. Let k = 18 + -8. Let j be 1*2*2/k. Which is smaller: n or j?
n
Let b be 2/19 - (-6 + 10290/1729). Let j(t) = -t**3 + 3*t**2 - 2*t. Let x be j(2). Is x less than b?
True
Suppose 285 = 5*a - 670. Suppose a = -6*o + 23. Let g = -17 - o. Is g smaller than 11?
False
Let j be 10/15*18/(-4). Let c be (-2 + -4)*7*j. Let s be (-26)/c + (-10)/45. Is s greater than or equal to 0?
False
Let x = -77 - -75. Is -135 less than or equal to x?
True
Suppose -1293*s + 1289*s + 48 = 0. Suppose 15 = 2*t - 9. Is t greater than or equal to s?
True
Let z be (-4)/10 + (-1324)/(-10). Let x be ((-12)/z)/(1/3). Which is smaller: x or -1?
-1
Suppose -23*a + 17*a = -12. Suppose -5*c - 57 = -4*m, 0*c - a*c + 5*m - 16 = 0. Is c at most as big as -13?
True
Let r(h) = -h**3 - 2*h**2 + 16*h - 5. Let s be r(-7). Let q = s + -125. Which is greater: 2 or q?
q
Suppose -4*m + 3*m + 2 = 0. Suppose -2*c + 1 = -q, -3*c - m*q - q - 3 = 0. Which is greater: c or 2/3?
2/3
Let x = 1.66 - 0.96. Suppose 4*u + 3*g = 75, 3*u - 4*g = 2*u + 14. Let t = u - 89/5. Which is greater: t or x?
x
Let a be 14*(13/(-2) - -5 - -2). Suppose -12 - 9 = -3*v. Let t = a - v. Which is smaller: t or 2/19?
t
Suppose -20 = 4*d, -m - 2*d = -0*d + 20. Let q(r) = r**3 + 11*r**2 + 11*r + 4. Let s be q(m). Which is greater: 1/3 or s?
1/3
Let r be (-4)/(-310)*(-150)/100. Is -1 at least as big as r?
False
Suppose 0*h = 2*h - 8. Suppose 0 - 4 = -h*g. Let p be 16/(-18)*(-17631)/13060. Which is smaller: p or g?
g
Let y = -221.0463 - -0.0463. Which is greater: y or -1?
-1
Let a be (-40 - (-3555)/90)/((-26)/(-8)). Let z = 0.04 - 2.04. Which is smaller: z or a?
z
Let b = 218 + -17220/79. Is b less than 0?
False
Let t(q) = 2*q**2 - 5*q + 8. Let l be t(3). Is 19 at least l?
True
Let n = 40 + -18. Let w be -1*(-46)/(-5)*((-1484)/56 + 24). Which is greater: w or n?
w
Let d = -6 - -19. Let n = -651/2 + 326. Which is greater: n or d?
d
Let t(j) = j**3 + 6*j**2 - 2*j + 15. Let u(o) = -o - 14. Let q be u(-7). Let s be t(q). Is s at least -20?
True
Let a be -42*((-20)/(-25))/((-21)/(-45)). Is a bigger than -73?
True
Suppose 4*n = 17*n - 13. Let y be 219/46*6/603. Let a = 9/67 - y. Which is smaller: a or n?
a
Suppose -v - v = 0. Suppose v = 2*o + o. Let z be (2/(-4))/(2/1). Which is bigger: o or z?
o
Let s = 25 - 12. Suppose s*z - 18*z - 65 = 0. Which is smaller: -11 or z?
z
Let v be (22 + -8)/((-26)/(-4)*1). Let z(u) = -u**2 - 9*u - 7. Let i be z(-8). Is v at least i?
True
Let c be (-8 - 0) + 16 - (4 - -1). Let q = 21 + -15. Suppose 4 = -4*m, -q*z + 2*z - 2*m + 10 = 0. Does c = z?
True
Let a = -191.06 + 191. Let t = 41.16 + -38.1. Let s = a + t. Which is greater: s or 0?
s
Let g(b) = b**2 - 2*b - 5. Let h be g(4). Suppose 0 = 2*t - 6*t + 52. Let y be t - (-12)/(-3) - 3. Which is smaller: h or y?
h
Suppose -x + 7058 = x + 2*g, 3*x - 5*g - 10579 = 0. Let d be -1 + x/11 - 0. Let o = d - 320. Which is smaller: o or 0?
o
Let o = 125 - 123. Which is bigger: -37 or o?
o
Let y = -7 - -7. Let x = 0.3 - 0.28. Which is smaller: y or x?
y
Let y = 0.025 + -22.025. Let f = -1.1 + 16.1. Let k = f + y. Which is greater: k or 0?
0
Let l be (-2)/(-24)*(60/(-8) + 0). Is -2 equal to l?
False
Suppose 17 = 4*r - n, -r - n - 2*n = -1. Suppose -2*l - 4 = r. Suppose 0*t - 10 = 5*t + 5*p, -3*p + 3 = 0. Is t at most l?
False
Suppose -6*a = 11*a - 629. Suppose -u - 2*t + 26 = -12, -u + 3*t + 38 = 0. Is u at least as big as a?
True
Let u = 10/7 - -61/21. Let h = 19 + -29. Let g be 8/1*(-5)/h. Is g smaller than u?
True
Suppose -7 - 5 = 3*l. Let c be (l + 5)*(1 + -8). Do c and -8 have the same value?
False
Let q = -11 - -14. Let x be 3/(-12)*(345 + 1). Let s = x - -266/3. Which is greater: s or q?
q
Let g = 11 + -9.4. Let t = g + 0. Let z = -0.9 + t. Which is greater: z or 0.2?
z
Let x = -26 - -8. Is -86/5 greater than x?
True
Suppose 0 = m + 2*x - 4, 8 = m + 3*m + 4*x. Suppose 2*l - 4*l - 4*z = 0, 3*l + 2*z = -12. Let r be (l/(-24))/((-22)/8). Does m = r?
False
Let s be (-2)/7 - 2/(-7). Let k be 416/(-80) + 2/10. Let p be (4/k)/(5 + -15). Which is smaller: s or p?
s
Let z be ((9/4)/3)/(40/384). Which is smaller: 7 or z?
7
Let l(v) = 27*v + 3. Let j be l(3). Let b = -84 + j. Which is bigger: b or 3/11?
3/11
Let k = -14848 - -14850. Let t = -16.033 - -16. Which is smaller: k or t?
t
Let u = 26 + -26. Let w = 1.39 - 1.3. Which is smaller: u or w?
u
Let u be (-21)/3*(-4)/(-1 + 3). Let o = -20 + u. Is -4 at least o?
True
Let c be (-45)/51 - (-18)/(-153). Is -4/9 at least c?
True
Let k be (70/21)/((-4)/(-6)). Suppose -c - m - 2*m + 10 = 0, 3*c - k*m = 2. Let a be c - (172/24 - 3). Which is smaller: 2/9 or a?
a
Suppose -v + 0 = -4. Let c = -5 + 33. Let b = c + -22. Is v smaller than b?
True
Let b = 28 - 23. Suppose j + 5*v - 17 = 0, 0*j - b*v - 27 = -j. Suppose -j = 2*l + 20. Is -21 less than or equal to l?
True
Suppose -4*s - 16 = -64. Let k be 0 + 66/6 - (-2)/8. Is k greater than or equal to s?
False
Let j = 38 + -31. Suppose 5 - j = -2*p. Is 3/2 greater than or equal to p?
True
Let q = 9 - 1.8. Let l = 7.3 - q. Which is smaller: -0.054 or l?
-0.054
Suppose -350 = -6*g + g. Suppose -5*i + g = 30. Let t(h) = -h - 1. Let l be t(i). Which is bigger: -10 or l?
l
Let c be (218/4)/(3*(-13)/1950). Is -2724 less than c?
False
Let m = 50.02 + -50. Let y = 5.02 - m. Is y at most as big as -3/7?
False
Let f be 3/(-27) + 235/9. Which is bigger: f or 69?
69
Suppose -o - 6 = -2*s + 6*s, 0 = 5*s - 5*o - 5. Let g(l) = 2*l - 4. Let m be g(-3). Let v be (16/100)/((-4)/m). Which is bigger: s or v?
v
Let o be (-2)/(-8) - (-9)/(144/44). Suppose 0 = -4*h + 10 + 10. Suppose -p = -4*c - 48, -o*p - h - 20 = c. Does -13 = c?
True
Let u = 38.9 + -56. Let g = -0.0378 - 16.9622. Let z = g - u. Which is greater: 9 or z?
9
Let x = 187 + -175. Suppose c + 3 = -o, c + 4 = -3*o + 3. Which is bigger: x or c?
x
Let z be 12/15*(-15)/(-186). Does z = 0?
False
Let x be 20/(-184 - -4) + 2391/(-108). Suppose -5*a - 79 = 4*u, 2*u + 3*a = -12 - 27. Is x at least as big as u?
False
Let n(d) = d**3 + 8*d**2 - d + 18. Let w be n(-9). Which is bigger: -53 or w?
-53
Let r be 5/(-3)*(-156)/130. Is r greater than 2?
False
Let l = -1.968 - -0.118. Which is smaller: -1/2 or l?
l
Let h = -0.79 - -47.79. Let l = h + -44. Does l = 0.1?
False
Suppose -a + 16 = 5*w - 12, -3*a + 8 = -4*w. Suppose -a*r + 34 = 2. Is r < 19/5?
False
Let q = -6 + 9. Let u = 80 - 76.2. Let f = u + -4.1. Which is smaller: f or q?
f
Let n(a) = a. Let y be n(1). Let g be (-2)/62*(y/(-1) + 3). Which is smaller: 0 or g?
g
Let q be ((-3 + -1)/(-4))/1 - -4. Let f be 4 + (-2)/1 - (q - 5). Let c(o) = -o**2 - 6*o + 3. Let u be c(-6). Is f smaller than u?
True
Let k = -3.43 + 0.73. Let t = k + 2.7. Is t < -0.028?
False
Let t = -324 - -133. Let g be t/7 + 10/35. Let i be g/48*12/9. Is -2 > i?
False
Let s(u) = u**3 - 11*u**2 + 2*u - 9. Let n be s(11). Is 41/3 less than n?
False
Let l be 4*1*(-24 + 25). Suppose -56 = 2*n + l*i - 0, 0 = -n + 4*i - 4. Is n at least -20?
True
Let h be (-1 - -2)/(9/153). Let z(y) = y**3 - 17*y**2 - y + 17. Let b be z(h). Which is bigger: -3/13 or b?
b
Suppose -75*t + 71*t = -28. Suppose 27 = 5*f - 2*f. Do t and f have the same value?
False
Let p be 322956/584 + -2 + 2. Let s = -553 + p. Let j = s - -275/2482. Do j and 0 have different values?
True
Let r = 33 - 28. Let q(b) = -4*b + 20. Let u be q(r). Is -1 <= u?
True
Let i = 94.9 + -95. Which is smaller: i or -911?
-911
Let p = -597 + 755. Is 161 > p?
True
Let o = -728 + 727.9. Is -306 at least as big as o?
False
Let g = 2/13991 - 3302/69955. Is 1 greater than g?
True
Let d be 8/(-978)*(-43 + 7). Let o = d - -3419/11084. Let h = o - -5/34. Are h and 1 unequal?
True
Let o = -20 + 21. Suppose o = -m + 3. Suppose -5*k = 5*t + 15, -2*k + m*t + 13 = 3*k. Which is smaller: 2 or k?
k
Let p = -65 - -38. Let c(f) = f**3 + 5*f**2 - 6*f + 8. Let g be c(-6). Let y be p/21 + g/28. Which is bigger: 5 or y?
5
Let f = -136/23 - -18314/3105. Let o = -120 + 121. Which is bigger: o or f?
o
Let u = 1756 + -1604. Is 150 bigger than u?
False
Let d = -0.27 + -2.93. Let j = d - -3.3. Let m = -9 - -17. Which is smaller: m or j?
j
Suppose -2*y - 3*y - 50 = 0. Let p(a) = a**2 + a - 4. Let m be p(2). Let w be 6