False
Let c = -0.839 - 0.261. Is c at least as big as -3?
True
Suppose 0 = -6*u + 13*u - 651. Let f(g) = 2*g**2 + 15*g - 16. Let z be f(-12). Is z < u?
True
Suppose -6 = 3*l, 4*r + 4*l + 8 = r. Let c be 1*((-4)/4 - -5). Let t be 2/c*(r - 2). Which is smaller: t or 1/4?
t
Let s = -11.57 - 25.43. Which is smaller: s or 8?
s
Let h = 16 - -31. Suppose 0 = -f - h + 75. Is 29 at most as big as f?
False
Let o be 65/(-13) + -5 + 1/4. Does o = -10?
False
Let a be (-2)/6 + (4/3 - -2). Which is greater: a or 7?
7
Suppose 0 = -2*h - 1 + 11. Suppose h*l = -3*q + 22 - 5, 4*l - 12 = -2*q. Which is smaller: -2/15 or l?
-2/15
Suppose 0 = p - 0 + 6. Let c be ((-24)/7 - -3)*p. Suppose 4*w - 8 = 5*f, 3*f = -5*w - 0 + 10. Are w and c nonequal?
True
Suppose 4 = s - 5*s. Let r(m) = m**3 - 5*m**2 + 3*m + 5. Let z be r(4). Let c be (-3)/(-3)*(2 - z). Is c at least s?
True
Suppose -14*i - 12121 - 4105 = 0. Which is smaller: -1158 or i?
i
Suppose m - 2 = g, -5*m + m + g = 4. Let w be ((-4)/290)/(m/5). Which is bigger: w or -1?
w
Let a(v) = v**3 - 9*v**2 + 10*v - 5. Let b be a(8). Let f = -55 - -24. Let k = 43 + f. Which is bigger: k or b?
k
Let m(i) = -2*i**2 - i - 1. Let x be m(-4). Let a be (2086/(-72) - 2/(-9)) + 2/8. Which is bigger: x or a?
a
Let n = -4837 - -4817. Let k be (-18)/4*(4 - 0). Which is smaller: k or n?
n
Let w = -90.835 + 91. Let m = w + -0.248. Which is bigger: 0 or m?
0
Let n = 55 - 383/7. Is 124 at most as big as n?
False
Let l(t) = t**2 + 18*t - 88. Let g be l(4). Which is greater: 3/217 or g?
3/217
Let w = 89 - 1419/16. Which is smaller: 5 or w?
w
Suppose 0 = a - 5*g - 4, -7*a - 5*g = -10*a + 12. Suppose 2*i = -3*i + 5. Are i and a equal?
False
Let w be -1 - -2 - 264/44. Let n = -11 - -7. Is w > n?
False
Let z(o) = -o**2 - o + 14. Let d be z(0). Let m = -917 - -915. Let i be m/(-4) - 15/d. Which is bigger: i or 0?
0
Suppose -7*t + 95 = -80. Let f = 30 + t. Is 56 greater than or equal to f?
True
Let m(r) = -r + 17. Let h be m(16). Suppose -4*d - 51 = -4*g - d, 2*d = 3*g - 39. Let w = -15 + g. Which is greater: h or w?
h
Let f = 5 + -5.01. Let t = -0.51 - f. Let l = 12.1 + -12. Is t at least as big as l?
False
Let j = 3541 + -92087/26. Which is greater: -1 or j?
j
Let q = 59/88 - 13/44. Is q < -34?
False
Let o = -68.135 + 0.135. Let v = 68.02 + o. Is v >= -0.05?
True
Let v be (-1)/3 + 9592/120. Let p = -79 + v. Which is bigger: -1 or p?
p
Let p be 34/3*(-6)/(-4). Let z = -19 + p. Let r be 2 + z - (-1)/(-2). Is r bigger than 0.4?
False
Suppose -3*z = 5*o - 2, -4*o = -112*z + 116*z. Let x be 1 - ((-454)/(-150) + -2). Which is smaller: x or o?
x
Let f = 169 + -96. Suppose 0 = 4*a + 3*m - 0*m - 114, -3*a + 4*m + f = 0. Is a < 28?
True
Let q = 1.7 + -0.7. Let s = q + -1.2. Let z = s - -3.2. Is 0 smaller than z?
True
Let r = -39 + 49. Suppose -4*u = 3*a - r, -a = -3*a + 4. Let q be 1/((u - 3)/12). Which is smaller: -5 or q?
q
Let w = -376 - -376. Which is smaller: w or 2/2475?
w
Suppose 0 = 5*c - 26 + 6. Let g be 84/16 + (-3)/(-4). Let u(o) = o**3 - 7*o**2 + 6*o + 3. Let k be u(g). Which is smaller: c or k?
k
Let x be -6*2*2/8. Let p(y) = -y - 1. Let t be p(x). Let c be ((-2)/(-18))/(1/t). Is c smaller than 0?
False
Suppose z - 82*f - 2 = -79*f, 3*z - f + 2 = 0. Suppose r = -3*r + 4. Let m be (r + -3)*(-1)/25. Is z greater than m?
False
Let i = 693 - 2435/4. Which is greater: 83 or i?
i
Let j = 177 + -217. Let x be 336/j + 8 + 6/(-10). Suppose 6*s - 2*s + 2*t = -2, 0 = 3*s + 4*t + 14. Which is smaller: x or s?
x
Let a = -1871/12 - -156. Suppose 0 = x - 2*x + 3*n - 13, 0 = 2*x + 2*n - 6. Let z be (-9)/6 + x/(-2). Is z < a?
True
Let v be 2 - (6/(-2))/(-3). Suppose 13*k = k + 72. Suppose w = 5*w - 5*x + 8, -2*w = -3*x + k. Are v and w unequal?
True
Let u = 28821581/6215 + -3526/565. Let n = u - 4635. Is n >= -5?
True
Let h = -98 - -96.57. Let u = -0.37 + h. Is u less than or equal to -0.1?
True
Suppose -11 = r + 2*k, 0*r - 3*k = 3*r + 21. Suppose -4*z + 3*z = 3. Are z and r equal?
True
Let r(d) = -d**3 + 8*d**2 + 10*d + 9. Let q be r(9). Let n be (-26)/q + 3 + -2. Is -1 less than or equal to n?
True
Let h be 3/(-77)*572/99. Let i = h + -2/33. Which is smaller: i or -0.43?
-0.43
Let u = 24 - 24. Let w(b) = -b + 8. Let g be w(7). Let s be (-2)/24 + g/3. Are s and u unequal?
True
Let h be 3978/(-195) - (2 + 1). Is -24 not equal to h?
True
Suppose 9*p + 84 = -105. Let k be (2/6)/(1 - p/(-4)). Which is bigger: -1 or k?
k
Let q(p) = -p - 4 - 1 + 1 - 1. Let m be q(-4). Suppose 0*y - 3*y - 3 = 0. Is m less than y?
False
Suppose v + 0*v - 2*c = 8, -c = -5*v + 13. Suppose -v*f + f = 27. Is -27 < f?
False
Let j be (82/6 + 11)*21/20. Is 27 smaller than j?
False
Suppose v = -5*m + 14 + 4, 0 = m - 3*v - 10. Suppose -2*w = -9 + 1, w - 8 = -m*j. Let z be (1/34)/((-2)/8). Which is smaller: j or z?
z
Let l be (-7)/((-294)/(-444)) + 7. Is -4 not equal to l?
True
Let o be (-2 - 2)/(15/(-105)). Is 27 at most o?
True
Suppose -2*m = -2*a - 14 - 2, -3*a + 6 = 3*m. Let c be (-3)/((-10)/6 + 2). Let k = c - -5. Which is smaller: k or a?
k
Let g = 30 + 1. Suppose -42 = g*w - 29*w. Does w = -21?
True
Let r = -25 - -14. Suppose 47 = -4*d - 3*j + 4*j, -3*d + 4*j - 32 = 0. Let y = r - d. Which is bigger: y or 3?
3
Suppose 3*p + 3*y + 6 = 0, -p - 8 = 3*p + 2*y. Let c be (2/1)/((-1)/p). Suppose -3*n + 14 = -4. Which is smaller: n or c?
c
Let s be 7/(28/(-20)) + (-2687)/(-537). Are s and 1 nonequal?
True
Let b(d) = -4*d**2 - 2*d + 1. Let z be b(-4). Let m be z/5 - (2 + (4 - 3)). Is m bigger than -16?
True
Suppose 17 = -2*r - 3*d, 3*r + 4*d + 14 = -9. Let x be r*(6/4)/((-3)/2). Is x less than -5/3?
False
Let p = 2.3 + 0.1. Is 0.2 at most as big as p?
True
Let l = 34 + -33. Suppose -3*w = f + 15 + 15, 0 = 5*f - 3*w + 168. Is f <= l?
True
Let c = 51/13 + -48/13. Suppose -18 - 94 = -4*t. Suppose 3*m - 5*y + 0 + t = 0, -3*m - 13 = -2*y. Is m equal to c?
False
Let x = -12 + 1. Suppose n - 20 = 2*k, 9*n + 5*k = 4*n + 130. Let o = n + x. Is o != 14?
True
Let m be 3*4/(-12)*69. Let g be 1 + 3 - m/(-15). Let d = 0 + 0. Is g < d?
True
Let k = 119 - 190. Is -74 bigger than k?
False
Suppose j - 4 = -l - 0, 5*l + 4*j - 16 = 0. Let w = 7 - 5. Suppose 0 = -a + 6*a - 5*f + 25, -w*a + 2 = f. Is l less than or equal to a?
False
Let l be (-2)/14 + (-110)/14. Suppose 4*d + 0*o + 5*o + 48 = 0, -4*d - 3*o - 40 = 0. Which is greater: l or d?
d
Let o be 1261/4996 - 10/40. Let f = -31204/8743 - o. Are f and -4 equal?
False
Let x = 0.01 - -6.99. Let v = -4/29 - 13/116. Which is smaller: v or x?
v
Let b(l) = 5*l**2 + 7*l + 20. Let t(r) = 9*r**2 + 14*r + 39. Let c(s) = -11*b(s) + 6*t(s). Let x be c(8). Are 6 and x equal?
True
Suppose -2*a + 17 + 9 = 0. Let u be 0 + -1 + 16 - 2. Is a >= u?
True
Suppose -296 = -4*x + 5*h, -x - 146 = -3*x + 2*h. Let c = 147/2 - x. Suppose -3*n = n - 20. Which is bigger: n or c?
n
Let r = -11 + 12. Let i be r/1*(-15)/750. Which is greater: -1 or i?
i
Suppose -19*b = 659 - 640. Suppose -2*d = 5*x - 0 + 2, 0 = -x - d - 1. Is x > b?
True
Let q(o) = -2*o**3 + 29*o**2 - 18*o - 20. Let b be q(14). Is -78 less than or equal to b?
True
Let f(k) = k**3 + 2*k**2 - 5*k - 5. Suppose 4*j + 15 = -3*h, j - h - 4*h - 2 = 0. Let x be f(j). Which is greater: -1 or x?
x
Suppose -10*f + 0*f = -200. Let m be (-66)/1695*21 + 16/f. Is 0 > m?
True
Let h = 0.95 + 0.05. Let t = 123 - 133. Are t and h nonequal?
True
Let g be (6087/(-8))/((-63)/(-14)). Let p = g - -169. Which is greater: -1/3 or p?
p
Let i(m) = 32*m + 913. Let g be i(-26). Is 566/7 greater than g?
False
Let b = 340779/143 + -2383. Let f = 27/572 - b. Is f equal to 0?
False
Let k = 99.42 - -0.58. Let z = -106.3 + k. Which is bigger: 0 or z?
0
Suppose -1 = 5*h - 21. Suppose f + 28 - 5 = -h*r, 2*f = 10. Let a(s) = s**2 + 8*s + 5. Let w be a(r). Is w at most -3?
False
Suppose 5*z - 2*k - 90 = 2*k, -5*z + 3*k + 90 = 0. Suppose -13*a - 8 = z. Which is greater: a or -22/13?
-22/13
Suppose -1 = -t, -2*u + 3*t + 0*t + 3 = 0. Let v = 4 + u. Which is bigger: 8 or v?
8
Let x = -0.2 - -0.4. Let i = -27.03 - -27. Let z = i - -0.23. Is z != x?
False
Let r be ((-6)/(-28))/(4/(-168)*-12). Let d = 0.1 + -0.1. Let u = d - -1. Are u and r nonequal?
True
Let k = 7 - 15. Let m(l) = l**2 - 9*l + 29. Let a be m(6). Suppose -3*r - a = 13. Does k = r?
True
Suppose -24*c +