 -2*t - 20, 0*c + 5*c - 110 = 5*t. Which is smaller: t or -94/5?
-94/5
Suppose -8*v - 52 = -4*v. Let i = 17 + v. Suppose i*l = 4*x + 8, -5*x - 5*l = 18 + 12. Which is smaller: x or 0.1?
x
Let f be (-11310)/(-7) + (-16)/(-56). Let n be f/26 - (-4)/(-26). Let k = n - 557/9. Which is smaller: k or -1?
-1
Let h = 1369 - 9585/7. Are -46.1 and h equal?
False
Let o = -19 + -152. Let w be o/(-19)*4/(-3). Which is bigger: w or -8?
-8
Suppose 3*f + 303 = 591. Which is smaller: 95 or f?
95
Let x(k) = -3*k + 20. Suppose 18*w - 24*w + 42 = 0. Let f be x(w). Which is bigger: 8 or f?
8
Let k = 26.045 + -26. Let y = k + -0.245. Which is greater: y or 4?
4
Let y be (-3)/(4 + -1) - 15. Let s = y + 24. Let a(x) = -2*x + 23. Let i be a(s). Is 5 smaller than i?
True
Let m(h) = 27*h - 244. Let g be m(9). Let d = -5.96 + 6. Is d >= g?
True
Let w be (32/4 + -8)/(-5). Is 111 at most as big as w?
False
Let j be 4/12 + 294/9 + -1. Suppose -j - 4 = -2*n. Is 19 at least as big as n?
True
Suppose 4*r + 312 = 10*r. Suppose 0 = 3*u - r - 17. Which is greater: 22 or u?
u
Let p(h) = 25*h + 11. Let z(s) = -12*s - 5. Let o(x) = 6*p(x) + 13*z(x). Let k be o(7). Let d = -124/3 - k. Which is greater: d or 1.1?
1.1
Let r = 187 - 491. Which is smaller: r or -302?
r
Let x = -2.5 - -1.9. Let k = x + 1.6. Which is bigger: k or 1/4?
k
Let p be -8*(-6)/4 - (-10)/(-5). Let f be ((-8)/10)/((-12)/p). Which is bigger: f or 0.3?
f
Let n = 10.92 + -11. Let j = n - 11.92. Let h = -11 - j. Does h = -5?
False
Let q = 493189/6 + -81828. Let i = -1000 + 629. Let r = i + q. Which is smaller: r or -1?
-1
Suppose -h + 0*j + 121 = 3*j, 2*h - 202 = 2*j. Let c = -106 + h. Which is smaller: c or 2/259?
c
Let y be ((-140)/(-11))/(18/3 - 5). Let z = 1499/110 - y. Is 1 at most as big as z?
False
Let k(v) = -5*v**2 + 6*v - 3 - 2 + 3 - v**3 - 2. Let x be k(-7). Let n = -258/5 + x. Do -1 and n have the same value?
False
Let f be (-81)/7 - (-3)/(-7). Which is greater: -24 or f?
f
Suppose 4*v - 1 + 17 = 0. Let t be -42 + 35 + 13 + 0 + -5. Which is smaller: v or t?
v
Let o be -107 - (8 + (5 - 7)). Which is smaller: -115 or o?
-115
Let h be (9/6 + -2)*(-2 - -250). Is -3 != h?
True
Let w = -163.1 + 178. Let h = w + -17. Let l = -1.2 - h. Which is greater: l or 0?
l
Let f = -172 + 296. Is 0.1 less than f?
True
Let y be (-26)/(-65) + (-249)/260. Let l = 4/13 + y. Is l greater than 2/7?
False
Suppose 0 = -5*k - 5*t + t - 31, t = -4. Let p(n) = 2*n - 2. Let d be p(-2). Which is greater: d or k?
k
Let b(j) = -j**3 + 11*j**2 - 15*j + 24. Let f be b(9). Suppose -285*i + f = -282*i. Is i bigger than 17?
False
Let b be (-253)/(-5) - (-12)/30. Which is greater: b or 53?
53
Let u = -0.075 - 0.065. Let n = 0.4 - 0.5. Is u at least n?
False
Let j be (73/(-2))/((-295)/(-118)). Is j at least -15?
True
Suppose -137*p = -200*p - 3402. Which is bigger: -331/6 or p?
p
Let u be (66 - 2 - -2)/((-2)/(-5)). Let g be u/(-55) - (1 - (-1 - -9)). Is g not equal to -1?
True
Suppose 2*x + 2 = 4*k - 20, -4*k = 5*x - 57. Is k bigger than 54/7?
True
Let w be (-14)/(-35)*-1*(-1 + 11). Let u = 1 + 4. Let v = 7 - u. Which is bigger: w or v?
v
Let l = -0.24 + 0.69. Let b = -3.45 - l. Is 1 > b?
True
Let h be (7/(-7))/((-66)/(-12)). Which is greater: 56 or h?
56
Let q be 4/(-22) - (-1495)/55. Suppose -q = 4*c - 31. Which is bigger: 1/4 or c?
c
Suppose 0 = -37*x + 34*x - 6. Which is smaller: x or -2/3?
x
Let m = -0.26 + 4.66. Let z = m + 1.6. Let n = -14 + z. Is n bigger than 2/7?
False
Let o = 953 + -953. Is -1/394 bigger than o?
False
Let k be (-2)/4 + (-1)/(-2). Let i = -30.04 - -22. Let m = -8 - i. Which is bigger: k or m?
m
Let x = 3 + 0. Let d = -447 - -437. Which is smaller: x or d?
d
Let p be 76/(-35) - (-16 + 6 - -8). Which is bigger: p or -0.2?
p
Suppose -3*m = -20 - 13. Let s be (-51)/6 - 2*(-6)/24. Let v = s + m. Is 0.1 >= v?
False
Let j = 182 + -913/5. Suppose -2*z - 2*c - 6 = -0*z, -c = -3*z - 17. Which is smaller: z or j?
z
Let l be 88/(-630)*40/18. Let i = l + 2/81. Let t be 64/3 - 4/12. Is t != i?
True
Let y = 843 - 405. Let a = 13381/4 + -2910. Let c = y - a. Which is greater: c or 3?
3
Let c = 0.05 - 0.05. Let t be 8/12*207/6. Which is greater: c or t?
t
Suppose y = -3*y + h + 91, -2*y - h + 41 = 0. Let t = 26 - y. Which is greater: t or 3?
t
Let b = 61 - 54. Is b > 49/8?
True
Let s(x) = 10*x**3 + 3*x**2 - 5*x + 2. Let n be s(1). Which is smaller: -0.3 or n?
-0.3
Let z = 0.117 + -0.317. Suppose 2*j - 1 = 15. Which is bigger: j or z?
j
Let y be (-2236)/(-14) + -1*(-20)/70. Is y at most 152?
False
Let i = 51 - -51. Is i != 102?
False
Let y = -52/9577 - -6/157. Let n be (-14)/(-6) - 2/6. Suppose 0 = 11*g + n*g + 13. Is g <= y?
True
Suppose j + 20 = -u, -3*j = -2*u - u + 84. Let r be ((-2)/(-2))/((22/j)/11). Which is bigger: -15 or r?
r
Let z = -35 + 45. Let m(s) = 11 + 4*s + 0 - 5*s. Let u be m(z). Is 1/6 != u?
True
Let a = -0.09 + 1.79. Let o be ((-50)/8)/5*(-164)/41. Which is smaller: a or o?
a
Suppose -38*m = 2424 - 6718. Is m at least 112?
True
Let z = -27.028 + 0.028. Let g = 27.1 + z. Let w = 0.44 - 0.04. Which is bigger: g or w?
w
Let g = 4 - 134. Let w = g - -198. Let k be ((-2)/(-4))/(w/(-48)). Is k less than or equal to 0?
True
Suppose 5*k = -29 - 6. Let g be 2 - (k/6)/((-4)/8). Is g at most 6?
True
Let b = -40 + 46. Suppose -6*n - b = -18. Suppose -2 = n*j, 0*q + q + 5*j = -8. Is 1 greater than q?
True
Suppose 5*g - 24 = -4*f - 0*f, -g + f + 12 = 0. Suppose 0 = 2*v - 4*v + g. Let d be (-6)/(-45) + (v - 4). Which is greater: 1 or d?
1
Suppose 3*n - 2*z = -0*n - 8, -n - 3*z = -12. Suppose -w + 3*h - 10 = n, -2 - 13 = w - 4*h. Suppose y + 4*j - w = -1, 3*y + 36 = 4*j. Are -7 and y equal?
False
Let g = -0.509 - -0.48. Let l = 0.071 - g. Is l greater than 22?
False
Let k be 280/90 + (-6)/2. Which is smaller: 0 or k?
0
Let o = -49 - -69. Let s = o - 21. Which is smaller: s or -2.4?
-2.4
Let m be (-144)/30*-5 + -26 + 16. Suppose 0 = -5*t + 10 - 0. Suppose -t*g + 4*g = 30. Is m at most g?
True
Let b = 0.99 - 16.19. Let c = -13.2 - b. Which is smaller: -20 or c?
-20
Let h = -1.1 + 4.1. Let j be (1090/78)/5 + -2. Let b = 6/13 - j. Is b smaller than h?
True
Let p = -0.29 - -0.26. Let a = -0.03 - -8.03. Let v = a - 6. Which is greater: p or v?
v
Let w = 2.502 - 0.502. Is -133 bigger than w?
False
Let g be (-10)/8 + 1/4. Let l = -1243/2884 + 1/412. Which is greater: l or g?
l
Let r be (-18)/(-4)*(-4)/3. Let i = -6/11 + -518/99. Let s = i - r. Is 0.2 smaller than s?
True
Let k(b) = b**2 - 2*b + 3. Let t be k(2). Suppose 0 = -0*m - 3*m + t*z, -m = -4*z + 9. Do m and 9/4 have different values?
True
Let w = 495 + -503. Which is smaller: w or -25/3?
-25/3
Let k = 0.05 - -6.95. Let j = 1.937 + 0.063. Let b = j - k. Which is smaller: b or -0.1?
b
Let t be 49 - (1 + -2 - -2). Suppose 4*w + i - t = -4, -11 = -w - 3*i. Is w at least 12?
False
Let i = 80.8 + 14.2. Which is smaller: -0.2 or i?
-0.2
Let g = 585 - 629. Which is smaller: -3/7 or g?
g
Let m = 452 + -488. Is m at most as big as 6?
True
Let c(d) = -5*d**2 + 11*d + 5. Let r be c(4). Let w be (-4)/1 - (r + (-15)/5). Are 32 and w non-equal?
True
Let f = -347 - -347.1. Which is smaller: -1/2 or f?
-1/2
Let u = 129.85 - -1.15. Let v = u - 132. Which is bigger: v or -1/16?
-1/16
Let h(y) = y + 1. Let u(k) be the first derivative of k**2 - 15*k + 3. Let n(x) = 4*h(x) - u(x). Let t be n(-8). Is 5 greater than t?
True
Let i(k) = k**3 - 3*k**2 - 3*k - 8. Let p = -49 - -53. Let r be i(p). Does r = -4?
True
Suppose -s - 3 = -2*k, 31*k - 15 = 33*k + 5*s. Is -2/241 greater than or equal to k?
False
Let p be ((-204)/(-10))/(((-8)/5)/(-4)). Let d = p - 53. Which is smaller: d or -11/5?
-11/5
Let x(a) = a - 5. Let z be (-4 - (-4 + 2)) + -5. Let f(v) = -3*v + 15. Let q(c) = z*x(c) - 2*f(c). Let j be q(6). Does -2/13 = j?
False
Let n = 150 - 87. Let v = -92 + n. Do -2 and v have different values?
True
Suppose 5*m - 10 = 4*m. Let f be (-12)/(-30)*m - (-358)/(-90). Suppose 3*r + 3*y + 6 = -3, -4*r = -2*y - 12. Which is greater: r or f?
r
Let f = -1712.02 - -1712. Which is smaller: 0.2 or f?
f
Let j = 101 - 106. Let o be -1 + j/(-15) + 348/513. Which is smaller: 0 or o?
0
Let h(a) = 3*a + 38. Let j be h(-19). Let l(i) = 5*i. Let c be l(9). Let z = c - 63. Do z and j have the same value?
False
Let r be 0 + 1 +