se 1 + t = -2*c. Is c >= -0.4?
False
Let h = -165447/908 - 9/227. Is h < -183?
False
Let k = -8772 - -8817. Is k at least as big as -16?
True
Suppose 4*m - 29 = 3*m + 3*l, -3*l = 15. Let q be ((-4)/m)/(-9*(-9)/567). Which is greater: -29 or q?
q
Let y be ((-120)/(2 - 1))/((-198)/(-36)). Let k = y + 3098/143. Suppose -11 = -x + 2*m, 2*x + 13 = 5*x - 2*m. Is k bigger than x?
False
Let t = 1449/55 - 296641/11220. Which is greater: t or -1?
t
Let p be 4/22 + ((-64365)/(-77))/(-5). Which is bigger: p or -0.02?
-0.02
Suppose 3*t + b + 3076 = 6*t, -b = -4*t + 4102. Which is smaller: t or 5132/5?
t
Let g(w) be the first derivative of w**4/2 + 2*w**3 + 3*w + 9. Let d be g(-3). Let a = 2 + d. Which is bigger: 4 or a?
a
Let g = -18.09 + 18. Let z = g - 0.41. Let h = 13 - 13.2. Are h and z equal?
False
Let g(u) = -u**3 + 5*u**2 + 3*u + 12. Let b be g(8). Let s = -75 - b. Let f = s + -80. Is f > -6/37?
True
Suppose 0 = -83*m + 103*m - 1580. Which is bigger: 38 or m?
m
Let u = 251292526/2145 - 1522611/13. Let k = 315/11 - u. Which is smaller: -0.2 or k?
-0.2
Let w be -3 - (-2 - (-2 + -1)). Let k = -1475/14 - -106. Let m = -13/14 + k. Which is bigger: w or m?
m
Let l be (-1335)/7 - (-4)/(-14). Suppose 2*s - 204 = -2*d - 570, -4*d + 408 = -2*s. Which is bigger: s or l?
s
Let w = 143.01 + -141.2. Let z be 2/((-2 - -1)*3). Is w smaller than z?
False
Suppose 3394*n = 3419*n - 138850. Do 5554 and n have the same value?
True
Suppose -140*k = 3*v - 135*k + 293, -5*v + 5*k - 395 = 0. Which is smaller: -2/137 or v?
v
Let j(d) = -d**3 + 7*d**2 + 2*d - 28. Let g be j(4). Let w be 4/g - 848/6132. Which is bigger: w or 1?
1
Let z = -41095/2 + 1068473/52. Suppose 0 = 5*t + 5*p, 0 = t - 6*t + p + 18. Is t > z?
True
Let q(i) = i**3 - 16*i**2 - 20*i + 1. Let k be q(17). Let o be (20/6)/(10/(-15)) + k. Let x be ((-6)/9)/(1/81). Which is greater: x or o?
x
Let y = -32821/116 + 1129/4. Is 0 >= y?
True
Let b = 65493 - 65480. Let i = -6 + 30. Suppose -2*n - s + 0 - 1 = 0, 2*n - 4*s = i. Is b greater than n?
True
Let g = 20.03 + -20.03. Is 15.5 < g?
False
Let k(b) = 4*b**2 - 51*b - 4. Let a be k(13). Let h(w) = -w. Let v be h(1). Let i be a + 9 + v/((-1)/(-3)). Do -1 and i have the same value?
False
Let k(v) = -3*v + 29. Let h be k(8). Suppose 3*i - 9 = 2*q + 1, 0 = h*q + 3*i + 4. Let c = -9 + 9. Which is smaller: q or c?
q
Let x be (3/(-3))/(1/(-7)). Let v be (x - 8) + (15054/(-3591))/(-2). Let p = v + 2/133. Which is greater: p or 2?
2
Suppose -4*z + 4*g - 8 = 0, -8 = 5*z + 4*g + 2. Let q(f) = -10*f**3 - 4*f**2 - 4*f - 1. Let p be q(z). Which is greater: p or 72?
72
Let n = 984 - 975. Suppose u - 4*d = 20, -5 = -2*d - 13. Suppose 0 = -3*v - 4*z - 7, 3 + n = -u*v - 4*z. Is v bigger than 0.1?
False
Suppose -7 + 83 = 16*o - 20. Are 517 and o non-equal?
True
Let j = -2858 + 54252/19. Which is greater: j or -4?
j
Let a = 9.67 + -21.67. Is a at least as big as -7?
False
Let b = -330 + 331. Let o be (-2)/6*(8 - (-4234)/(-530)). Is o < b?
True
Suppose 0 = -2*f + 4*x + 12, -4*f - x = 4*x - 50. Let d be 3 + -1 + (-9 - -7) + -1. Let i be (d - 6/f)/(6/(-135)). Is 35 greater than i?
False
Let y(t) = -t**2 - 4*t - 6. Let w be y(-4). Let r(a) = 12655*a**2 - 9 + 2 - a - 12649*a**2 + a**3. Let c be r(w). Which is smaller: 3/11 or c?
c
Let s = -69 + 70. Let z be 6/(-1 - -3) - (-68)/426*-18. Which is smaller: s or z?
z
Let u be 7/42 + 84978/(-523885). Let h = -1/7226 - u. Which is greater: h or 1?
1
Let l(b) = -21*b**3 + 54*b - 112. Let i be l(2). Is -173 smaller than i?
True
Let f be ((-268)/(-201))/((-4812)/(-81)). Which is greater: -1 or f?
f
Suppose -2*t + 6*t = 2*r - 22, -5*r - 5*t = -10. Suppose 5*k + 5*l = 2*k - 28, -r*l - 10 = 0. Suppose 0 = -6*f + 3*f - 6. Are k and f nonequal?
True
Let s = 945 - 1175. Let r = -0.68 - 151.32. Let x = r - s. Is x less than or equal to 0?
False
Let s be 6/322*2/((-1248)/710). Let x = s + 1/56. Let w = 1145/15249 - x. Is w equal to 1?
False
Let j(s) = 3*s + 22. Let i be j(-14). Let x be (4/i)/(1/(-25)). Suppose -h - 6 = x*h. Which is smaller: h or -3/13?
h
Let f = 157 - 346. Let k = 187.87 + f. Is -2 greater than or equal to k?
False
Suppose 39*c = 13695 - 13734. Which is smaller: -1962 or c?
-1962
Let a(c) = -c**3 + 94*c**2 + 80*c + 1578. Let k be a(95). Which is smaller: k or 74?
74
Suppose 4*t = -2*m - 20, -2*t - 9 - 5 = 3*m. Let f be (-69)/42 - 2/t. Let u = 46.438 + -46.638. Is u bigger than f?
True
Let m(l) = l**3 - 7*l**2 + 7*l - 5. Let u be m(4). Let r = u + 36. Let q be r/(-33) + (1 - 0). Is 0 greater than q?
False
Let r = -72131/32 + 2255. Which is smaller: r or 2?
r
Let g = 9 - 7. Suppose -g*i = -2*u - i + 4, 5*i = 4*u - 2. Suppose t + 7*t = -u*t. Which is greater: -3/11 or t?
t
Let g be 57/15 - (-2288)/(-260). Which is greater: g or -356/99?
-356/99
Suppose 4*d = -2*d + 474. Let f be (-14 - (8 + (-8 - -2)))*-5. Is d at most f?
True
Let l = -1302 + 1301. Is 2167 at least as big as l?
True
Suppose 8*n + 48 = -8*n. Let y be n/((-12)/10) - (0 - -2). Is y at most 0?
False
Let r = -23163/8 - -2896. Which is smaller: r or -18?
-18
Let w be ((-3 + 2)*-30 + 4)*(-49 - -38). Suppose 4*i - 2*p = 3*p - 1517, p = 5*i + 1870. Which is smaller: w or i?
w
Let z = 0.12 + -2.42. Let q = 39.3 + z. Is -0.1 != q?
True
Let n(j) = -j**2 + 6*j. Let m be n(6). Let f(d) = -10*d - 101. Let b be f(-15). Let y be 3*(b/9 - 5). Which is smaller: y or m?
m
Suppose 4*j + 352 = 84. Let s = -72 - j. Which is smaller: s or 2?
s
Let c(u) = -u + 2. Suppose -3*i + 5*j = -2 - 2, 3*i + 5*j = 14. Suppose -6 = i*m + 3*o, 5*o + 26 = 2*m - 5. Let w be c(m). Which is greater: w or 1/4?
1/4
Suppose 1131*o - 1101*o + 68310 = 0. Are -2280 and o equal?
False
Let g be 1 - 32 - (1 - 5). Let b be g/297 + (-4)/22. Let w = -85 - -84.8. Which is smaller: w or b?
b
Let a = 92294 + -92296. Let u = 64 + -122. Which is smaller: u or a?
u
Let q(u) = -402*u - 6160. Let o be q(-16). Is 149 at most o?
True
Suppose -3*r - 4*t = -7*r - 20220, -3*r - t = 15165. Let d = 662201/131 + r. Is d at most as big as 1?
True
Suppose 0 = -y - 0*y - 4*y. Let r = -8507 - -3819641/449. Which is greater: y or r?
y
Let s(p) = 3 + 1 + 1026*p**2 - 1027*p**2 - p. Let d be 1/(4/(-24)) + 4. Let a be s(d). Which is greater: a or 5/6?
a
Suppose -1254 = 59*v - 1785. Is 8 less than v?
True
Suppose 29 - 1849 = -65*y. Which is greater: y or 123?
123
Let x = -560 + 820. Suppose -8*p = 2*p - x. Is p smaller than 27?
True
Let d be ((-64)/(-48))/(392/(-84)). Which is greater: 16312 or d?
16312
Let w be 1 + (-193)/(-2) - 5/(-10). Let n be ((-5)/12)/5*(-104)/(-65). Does w = n?
False
Let h = -15.91 + 16.11. Is h at least as big as 0.0084?
True
Suppose 6 = 3*g - 42. Let k be g/10*(10 + -30). Let d = -13 - k. Is d not equal to 18?
True
Let n(c) = -c**2 - 111*c - 3008. Let u be n(-47). Is u less than or equal to 4/1439?
True
Let h = -32 - 19. Let j be 1*2/(-10)*(h + 41). Which is bigger: j or 13/5?
13/5
Let c(t) = -1438*t + 24431. Let h be c(17). Suppose -4*a + b - 47 = 17, 38 = -2*a + 2*b. Is h > a?
False
Let i be (-2732)/(-20415) + (-260)/1950. Which is greater: -1 or i?
i
Suppose 0 = 3*a - s - 49, 5*a - s - 3*s = 77. Suppose -2398 = a*x + 1529. Is x > -231?
False
Suppose 29*c = -0*c - 2088. Let w be (1 + 1)/((-4)/142). Is w bigger than c?
True
Let t = -30 - -31. Let y be 0 + t + 6*(-2)/(-3). Suppose -y*z + 8 = -z. Which is smaller: 14/9 or z?
14/9
Let m be (-5)/(-3) + 36 + (-535)/15. Which is smaller: m or 47/92?
47/92
Suppose 0 = 4*x - 5*j - 485, -192 = -5*x + 2*j + 410. Suppose 0 = -5*h - h + x. Which is smaller: 2/3 or h?
2/3
Let u(r) = -215*r**2 - 13*r + 32. Let o be u(3). Let z be (-28 + 32)/(o*1). Which is smaller: z or -1?
-1
Let l be (6/(-18) + (-782)/(-1941))*(-57)/(-95). Which is bigger: l or 1?
1
Let u(j) = -j**2 + 14*j - 18. Let a be u(12). Let n be (36/(-54))/((-2)/a + 1). Let c be (n + -8)*6/18 + 6. Which is greater: -0.1 or c?
c
Suppose 13 + 60 = k. Let o = k - 75. Let a be ((-4)/o + -1)/16. Is -1 at most as big as a?
True
Let w(v) = 12*v + 75. Let f be w(-5). Suppose -1480 = -f*z - 22*z. Are z and 38 nonequal?
True
Suppose -6*f - 6 - 6 = 0. Let y be (f/(-3))/((-75)/27 + 3). Suppose -4*a + y = -5*n + 1, -2*a - 2 = -4*n. Is n at most as big as -5?
False
Suppose 35 + 0 = 3*d - s, 2*s - 14 = -d. Suppose 3*f = 7*f + p - d, 5*f + 5*