uppose 130*s - 534 = 132*s. Is s greater than -266?
False
Let y = -2526 - -103560/41. Which is greater: 0 or y?
0
Let i = 134 - -265. Which is bigger: 400 or i?
400
Let n = 13324882/45655 - -191/1985. Suppose -c = 1 - 293. Let l = n - c. Is l > -1?
True
Suppose 2*i = 19 - 11. Suppose i*u = u - 15. Let h = -3 - u. Is h bigger than 2/3?
True
Let h = -50 + 50. Is h > 6/143?
False
Let w = 33.02 - 0.02. Let g = 34 - w. Is 0.01 > g?
False
Suppose y + 3*s + 137 - 156 = 0, 0 = -2*y + 4*s - 2. Suppose f = -j + 13, 0*j + 5*j + 4*f = 64. Is j at least y?
True
Let d be (32/20)/((-2)/(-10)). Suppose j + j - 1082 = 4*y, -4*j + 2144 = -4*y. Let t be d/28 + j/(-21). Do -24 and t have different values?
True
Let q(n) = -n**3 + 13*n**2 + 4*n - 54. Let g be q(13). Let o(p) = p - 7. Let j be o(7). Suppose -2*t - t + 3 = j. Which is smaller: g or t?
g
Let y(a) = a**3 - 7*a**2 + a - 9. Let j be y(7). Let l = -2066 - -2068. Is j > l?
False
Let s be (9 - 2)/(1/5). Suppose -3*l - 3*y + 102 = 0, -y = -2 + 3. Is s greater than l?
False
Suppose -50*n - 150 = -40*n. Let u(h) = -h**2 + 2*h - 3. Let v be u(5). Is v greater than n?
False
Suppose -26*g - 330 = -32*g. Which is smaller: 271/5 or g?
271/5
Suppose -2*q - l + 5 + 6 = 0, 0 = 4*q - 5*l - 29. Suppose q*b + 71 - 5 = 0. Which is smaller: b or -12?
-12
Let y be (-20)/5 + 2262/567. Is 0 at least y?
True
Let a = -0.1 + 0.1. Let y = 89 + -89.2. Let b = y - 2.8. Which is smaller: b or a?
b
Let g be 3*-2*30/(-18). Suppose 3*x = -2*x - 40. Let z = 2 - x. Is z at least as big as g?
True
Let x(f) = -6*f + 3. Let k be x(2). Suppose -322*h - 36 = -318*h. Is k greater than h?
False
Let q(y) = 94*y**3 + 2 - 95*y**3 + 13*y**2 + 0. Let d be q(13). Which is bigger: d or 0?
d
Let r = -1677 - -1661. Which is smaller: -19 or r?
-19
Suppose -108*m = -1410 + 222. Is 12 less than m?
False
Let a = 20.052 - 0.052. Let g = 14 - a. Which is bigger: g or 2/3?
2/3
Suppose -73*y = -68*y - 20. Are 18/5 and y unequal?
True
Let p = -39 - -145/4. Is p greater than or equal to 2/3?
False
Let u be (770/70)/(28/2 + 0). Which is bigger: 1 or u?
1
Let u = 24.3 - 24. Let p = -4 - -13. Let o be (-3)/(p/4) - 0. Is u equal to o?
False
Suppose 0 = 3*l - 3*r + 15, 337*l + 4*r + 1 = 334*l. Let i(n) = n + 1. Let o be i(-1). Is l greater than o?
False
Suppose 14*m - 26 = 2. Suppose -2*h - m*h + 2*h = 0. Let z be 1*-2 - 58/(-26). Which is smaller: z or h?
h
Let y(q) = -q + 4. Let t be y(3). Suppose o - f - f = -t, 0 = -5*o - 5*f - 5. Let b be 8/(-20)*(-5)/(-23). Which is greater: b or o?
b
Suppose 4*f + 15 = f - 3*v, -f - 4*v = -4. Let m(d) = d**3 + 8*d**2 + d + 8. Let w be m(f). Do w and 0.7 have the same value?
False
Let u = 814 - 813.95. Which is bigger: u or 16?
16
Suppose 0 = 5*b + 5 - 5. Do 6/19 and b have different values?
True
Let r be 3/(-9)*-3 - 12. Let m = -11 - r. Let l be -1 - 1 - (-1 - m). Is l less than or equal to -2/23?
True
Suppose -3*k = -c + 89 - 84, 0 = 4*c + k - 33. Is -0.03 != c?
True
Let j be (-1 - 0)*1/((-4)/(-60)). Let u = j + 2. Is 2 greater than u?
True
Suppose 3*g = -3490230 - 2054742. Let w be g/2256 - 3/4. Let t = w - -820. Which is smaller: t or -1?
-1
Let g(f) = -3*f + 60. Let r be g(27). Let u be (2*1/6)/(r/(-2394)). Is u at least 39?
False
Let l = 7 + -15. Let g = l - -15. Is g less than 5?
False
Let w(l) = -19*l - 127. Let k be w(-7). Is 0 < k?
True
Let o = -20099/31 + 3945967/6138. Let f = o - 2/99. Which is greater: -5 or f?
-5
Let c be ((-3)/6)/(3 + 7/(-2)). Do -3 and c have different values?
True
Let j be ((26/8)/(-13))/(2/(-72)). Suppose -3 = -4*z + 1. Which is smaller: j or z?
z
Suppose -47*p + 9 = -56*p. Are p and -2/89 non-equal?
True
Let z be 2/(-7) - 316/(-126). Let l(d) = 38*d + 2. Let s be l(4). Let c be 28/s - (-40)/22. Which is bigger: c or z?
z
Let c(m) = m - 7. Let n be c(9). Suppose -i = -n*i + 1. Let q be 4*(-1)/2*i. Is -5/4 > q?
True
Let y be 1 + 0 + -2 + 5. Suppose -2*s = -y*s. Suppose s = -11*a + 7*a - 8. Are -7/3 and a unequal?
True
Suppose -5*z + 4*h = 29, -5*h = -5*z + 1 - 31. Let d be 3/z + 0 - 532/(-920). Is d not equal to 1?
True
Let t(v) = -v**2 - 6*v + 1. Let z be t(-6). Let i(a) be the first derivative of -a**4/4 + a**3 + a**2/2 - 3*a + 2. Let j be i(3). Which is bigger: z or j?
z
Let l = -8 + 11. Let x = l + -4. Let n = -0.281 + 0.281. Do x and n have the same value?
False
Suppose 3*w + 3 = 4*q - 1, 2*q = -w + 2. Suppose -z = 4*z + 10. Let j be 1/z*(-6)/(-7). Is q less than j?
False
Suppose 2*q + 89 = 175. Which is greater: 302/7 or q?
302/7
Let f = -38.18 - -24.18. Let l be 1 + -3 + 24/10. Which is smaller: l or f?
f
Let t = 7 + 1. Let o be 11 + ((-198)/45 - -5)*-5. Are t and o unequal?
False
Let b = 178 + -4082/23. Which is smaller: 1 or b?
b
Let t = 0.98 + 0.02. Let p be (-51)/6 + (-3)/(-6). Let w = p + -2. Is w > t?
False
Let d = -230 - -186. Which is bigger: d or -46?
d
Let s be -3 + 1 + (-12)/(-7). Let a = 52 - 73. Which is greater: s or a?
s
Let v = -497929/28 - -17786. Let p = -18/7 + v. Let t(d) = d**3 + 2*d**2 - 2*d + 2. Let r be t(-3). Which is bigger: r or p?
p
Let c(z) = 0 - 1 - 2 + z. Let w be c(6). Suppose x = -w*x. Which is smaller: x or -3/8?
-3/8
Let c = -78 - -78. Let i = 2/71 - -47/852. Do i and c have different values?
True
Let d(j) = -3*j**3 - 15*j - 11. Let u be d(5). Which is greater: u or -463?
u
Let t be (3 - (-7)/(-2))*0. Suppose -4*v - 5*z - 501 = -6*v, t = -2*z - 10. Let l = 2616/11 - v. Is l less than 1?
True
Let a(l) = 2*l**2 + 3*l + 1. Let p be a(-4). Let k = 8783 + -8763. Which is bigger: k or p?
p
Let r = -218 + 217.69. Is -33 less than or equal to r?
True
Suppose -2*g - 7 = -1. Let f be (-2)/g - 19/33. Suppose 5*i - 2*o = -12, 2*i = 5*o - 180 + 150. Is f at most as big as i?
False
Let y(k) be the first derivative of -k**4/2 + 7*k**3 - 9*k**2/2 + 5*k - 21. Let w be y(10). Does w = 13?
False
Let v = 3.74 - 1.85. Let l = v - 1.69. Let b = -0.2 - -0.24. Is b > l?
False
Suppose -4*c + 11 = -1. Let s be 4/(-18) + (-11)/(-9). Suppose s = w - 1. Which is bigger: c or w?
c
Suppose -3*q + 247 = -4*i - 210, -3*q - 5*i = -448. Which is greater: q or 152?
152
Let f(k) = -k**3 - 29*k**2 - 60*k - 151. Let v be f(-27). Let q(z) = z**3 - z**2 - 4*z + 4. Let l be q(3). Is v >= l?
True
Let x be (-15)/20*(-1 - 11). Let y = 15 - x. Suppose -y = -3*c - 24. Is c >= -7?
True
Let k(v) = 2*v - 10. Let l be k(6). Let n(r) = 2*r**3 - 3*r**2 + r. Let d be n(l). Let g be (-6)/9*d/12. Is 1 less than g?
False
Suppose g - 4*h - 179 = 0, -2*h - 121 + 819 = 4*g. Let f be 282/(-5) + (-7)/(g/(-10)). Are -56 and f unequal?
False
Let g = 12566/45 + -838/3. Let c = g + 79/45. Suppose -335 = -7*b - 328. Which is smaller: c or b?
b
Let k(h) = -h**3 - 5*h**2 + 3*h + 41. Let z be k(-6). Do 61 and z have the same value?
False
Let h = 36 - 56. Let d be (-252)/(-882) + 32/(-14). Let y be ((-1)/d)/((-2)/h). Is y != 1?
True
Suppose 0 = -281*a + 273*a - 480. Is a greater than -57?
False
Let f be 2/(-9) - 158/18. Let r(p) = 4*p**2 - 69*p + 7. Let i be r(17). Let q = f - i. Is q at least as big as 2?
False
Let j = 0.3 + -0.2. Let o = 0.08 - -18.92. Let t = -16 + o. Is j at least as big as t?
False
Let d be 11/(-20) - 1/4. Let b(y) = -3*y - 24. Let q be b(-8). Suppose -3*x - 5*o - 6 = q, 0*x - 6 = 3*x - 4*o. Is d equal to x?
False
Let n be (-96)/((-2)/((-24)/(-9))). Let u = -382/3 + n. Suppose 3*j - 12 + 0 = 0. Which is bigger: j or u?
j
Let c = 0 - -7. Let j be 1 + (c - (-12)/(-4)). Suppose a - v = 3, -2*v - 9 + 45 = j*a. Which is smaller: a or 2?
2
Let f = 1356/7 - 194. Which is smaller: 9 or f?
f
Let x be (-7758)/19395 - 27/48*(-6)/10. Suppose 7 - 31 = -3*f + 3*g, -32 = -3*f + 5*g. Suppose -f*v = -v - 3. Which is smaller: v or x?
x
Suppose 7*j + 1717 = 443. Is -180 at least j?
True
Let a(g) = -g**3 + 19*g**2 - 19*g + 15. Let h be a(18). Is -60/17 < h?
True
Suppose y = 3 - 17. Let i = 16 + y. Suppose -i = -u - u. Which is smaller: u or 6/11?
6/11
Let i be 5/((-10)/(-8)) + 16. Let c = 24 - i. Suppose 0 = -c*o + n + 24, 3*n - 5 - 8 = -5*o. Are 5 and o non-equal?
False
Suppose 28 = 4*t + 108. Let i be -3 + t/(-6) - (-3)/(-63). Which is greater: -2/9 or i?
i
Let s(t) = t**3 + 12*t**2 - t - 6. Let q be s(-12). Let x(j) = j**3 - 5*j**2 - 5*j + 2. Let n be x(6). Suppose -n = -4*a - 4*g, -5*g - 32 = -a - a. Is a > q?
Fa