er than i?
False
Let x be (-3)/(-5) + (-6 - -5). Suppose 4*m = -16, 3*m = -3*i + 4*m + 13. Suppose -3 = 3*k + 2*a + i, 2*a = k - 6. Are x and k non-equal?
True
Let r be (-969)/(-9207) + -2 + (-51)/(-27). Is r not equal to -1?
True
Let r be 2 - -3*(-8)/24. Which is smaller: 2/903 or r?
2/903
Let o(i) = 3*i**2 - i + 1. Let s be o(1). Let a be 5/s*(-1 + 13). Suppose 4*z + a = -12. Which is smaller: z or -9?
-9
Let b(l) = 43*l**2 - 3*l. Let m be b(1). Suppose 0 = u - m + 40. Which is smaller: -4/9 or u?
-4/9
Let m be 5/5*1*9. Which is bigger: 8 or m?
m
Let q = -92 + 125. Is q less than or equal to -3?
False
Let s(j) = -11*j - 36. Let c be s(-11). Let t be ((-83)/3 + -1)*-3. Is c >= t?
False
Let l = -0.238 - -0.038. Let r(f) = -2 + 5 - 2 + f + 9. Let t be r(-10). Which is smaller: l or t?
l
Let v = 7 + -13. Let x = -12 - -47. Let s be (0 - 7/x) + 1/5. Which is greater: v or s?
s
Suppose -4*y - 20 = -2*s, 8*y - 3*y + 25 = 5*s. Does 7/12 = s?
False
Suppose -7*b = -10*b - 12. Let t be ((-1)/(-2))/(6/(-52)). Are b and t unequal?
True
Suppose -3*v = -4*v - 3. Let z be (-1)/(4 + v + 4). Let n = -0.04 + 0.44. Which is smaller: z or n?
z
Let q(y) = y + 9. Let m be q(-5). Suppose 4 = m*a - 24. Suppose 0*d + 3*d - 15 = 0. Which is smaller: d or a?
d
Let u = -39 + 46.1. Let o = u - 9. Let d = 2.1 + o. Is 10 at least as big as d?
True
Let c be ((-120)/16)/(-5)*32/(-666). Which is bigger: c or 1?
1
Let m(b) = 13*b + 1. Let z be m(-1). Let y be (z/24)/(1/(-10)). Let p be 0 + 0 - (-10 + y). Which is bigger: 6 or p?
6
Let m(k) = 10*k**3. Let h be m(-1). Suppose -2*o = 2*p - 6*o - 10, -2*p - 2*o = 14. Let y be (12/(-9))/(-2) + 28/p. Is y greater than h?
True
Let d = 2067 + -2066. Which is smaller: d or 3/95?
3/95
Let h be -11 + (2 - 3*(-2)/(-6)). Let a be h/5 - (-39)/24. Which is greater: 0 or a?
0
Suppose -3*c - 4 = -c. Let o(u) = u**2 - 3*u - 2 + 6*u + 0. Let q be o(-2). Is q greater than or equal to c?
False
Let j be 0*((-12)/4)/(-3). Suppose j = l + 1 + 4. Let k be 10/45 - l/(-9). Is 1 at most as big as k?
False
Let z be 1/5 - (-68)/10. Let p(u) = u**2 - 2*u - 3. Let t be p(-3). Suppose 5*a = t + 18. Is a >= z?
False
Let q = 0 + -22. Suppose 0 = -5*m + 16 - 6. Suppose 0 = -7*f - m*f - 198. Is f at most q?
True
Let c = 29 - 46. Is -25 bigger than c?
False
Suppose 9 = 3*k, -k + 9 = -2*s + 4*k. Let y be (-2 - 0)*(-2 + (12 - s)). Is y less than 0.3?
True
Let g be (-24)/(-8) + 24*-1. Let l = g + 22. Let a = -89 + 709/8. Which is bigger: l or a?
l
Let a = -756 + 3025/4. Are a and 133 equal?
False
Suppose 3*w - 12 = 3. Suppose l - 4 = 2*b - 11, w*l + 3*b - 17 = 0. Which is greater: -1/20 or l?
l
Let k be 6/(-6)*4*55/16. Let f = k - -14. Is 0.35 >= f?
True
Let s = 4048/9 - 450. Which is smaller: s or 77?
s
Let m = -181.4 - -179.7. Which is bigger: 0.2 or m?
0.2
Let f = 5 + -8. Suppose 4*y - 3*h = h + 20, -2*y + h = -15. Let a be (-1)/(15/y*(-2)/(-6)). Is f smaller than a?
True
Let n(o) = o**3 - 26*o**2 - 2*o + 9. Let t be n(26). Is t at most as big as -42?
True
Let d = 161887/6 - 26911. Which is smaller: d or 69?
69
Suppose -3*v + 1 + 2 = 0. Let f be (v*(1 - (1 + -1)))/(-1). Which is smaller: f or -2/45?
f
Suppose -5*c - 5*y - 65 = 0, 0*y - 4*y = -8. Let z be c/(-3)*4/210. Which is greater: -1 or z?
z
Suppose -4*o + 3*d = 12, -5*o - 7*d + 16 = -3*d. Let q(j) = -10*j - 87. Let v be q(o). Is v less than -88?
False
Let a(b) = -b**2 - b + 18. Let c be a(-6). Is -10 != c?
True
Let t = -4 - -14. Suppose 4 = -t*g + 11*g. Is -10 < g?
True
Let j be 0 + 4 - (4 - 3). Suppose 0 = -2*l + 3*l - 4*a - 89, 4*l = j*a + 408. Let n = l - 1679/16. Which is smaller: 0 or n?
0
Let w = 599 + -925. Which is greater: w or -324?
-324
Let w be 1/(3 + 74/(-24)). Suppose 0 = -4*n - 4*c + 120, 0 = -2*n - 2*n + 4*c + 144. Let l be (-3)/w + n/(-36). Is l at least 2/3?
False
Let l be (-109 - -5) + (3 - 2). Let x be 18/(-30) + l/(-5). Are 21 and x nonequal?
True
Let f(v) = 3*v**2 + 28*v + 32. Let p be f(-7). Which is smaller: 1 or p?
p
Let p(j) = -j**2 + 19*j - 18. Let o be p(1). Which is smaller: o or 2/83?
o
Let u = -7/3 + 113/51. Suppose 11 - 17 = -3*p. Let a be p + -7 + 2 - -3. Which is greater: a or u?
a
Suppose 0 = -8*t - 94 + 6. Which is smaller: -19/2 or t?
t
Let j(o) be the first derivative of o**3/3 - 9*o**2/2 + 3*o + 6. Let a be j(5). Let y be 20/25*(-1 + -19). Is y smaller than a?
False
Let l be (-890)/580 - 4*(-1)/2. Is l bigger than -1?
True
Let k be ((-24)/(-140)*7)/((-34)/5). Which is smaller: -14 or k?
-14
Let x = 653/2110 - 2/211. Let s = -388 + 1936/5. Let u = s + x. Which is greater: 0 or u?
0
Let q be (-80)/(4 + ((-464)/(-28))/(-4)). Let t be 2/(-3) - q/(-63). Is t at most 9?
True
Let p be (-2)/(-2) - (-42)/22. Let w = -19075 + 19079. Which is smaller: w or p?
p
Let z be -3*(-3)/(-9) - 411. Let x = 1249/3 + z. Is 5 smaller than x?
False
Suppose 5*t - c - 2 = c, -t = 4*c + 4. Let g be 28/(-2)*2/(-166). Let o = g + -212/2241. Is o not equal to t?
True
Suppose -160 - 290 = -9*a. Suppose 0 = -59*g + a*g. Let t = -4/15 + 1/60. Which is smaller: t or g?
t
Let c be (0 - -1)/(865 - -18). Is c >= 1?
False
Let z = 13.2 - 6.2. Is z at most -0.5?
False
Suppose 0 = -3*v + 2*h - 7*h + 240, 5*v + 3*h = 400. Which is bigger: v or 81?
81
Let d = -442 + 432.95. Let p = -0.05 - d. Let z = 9 - p. Which is smaller: -8 or z?
-8
Let z = 0.3 + -11.3. Let m = -20 - z. Which is greater: 0.2 or m?
0.2
Let b = -13 + 14.2. Let i = b + -1.1. Is i at least 40/9?
False
Let x = 291 - 443. Let m = x - -152.11. Which is greater: m or 0.09?
m
Let g = 338 + -346. Is -26/3 less than or equal to g?
True
Let o be -1*(0 + 3 + -1). Let p = 2 + -3. Let h = o - p. Which is smaller: h or 2?
h
Let t(r) = r**2 - 3*r - 6. Suppose -3*f + 3 = y - f, 2*y - 7 = -3*f. Let h be t(y). Suppose -h*k = k - 20. Which is smaller: k or 3?
3
Let t be 2 + 2 + 4*20/(-16). Are t and 68 equal?
False
Let a be (-2)/(-3) + (-149)/(-15). Suppose 6 = t + b - 8, -50 = -5*t + 5*b. Which is bigger: a or t?
t
Let g(x) = -x**2 - 2*x - 2. Let m be g(-2). Suppose -o = -8*o - 308. Let y be (-11)/o + 47/(-28). Which is bigger: y or m?
y
Let z = 12 - 13. Is z less than or equal to -1/238?
True
Let t = -150 + 153. Which is smaller: t or -0.11?
-0.11
Let i(u) = -u**2 - 15*u + 23. Let w be i(-16). Let v be w + -1 + 6 + -3. Suppose -5*j + 30 = -2*q - 0*q, 0 = -2*j - 5*q + 41. Is v at most j?
False
Let t = 0.05 - -0.95. Let w(d) = d**3 + 21*d**2 + 20*d - 14. Let s be w(-20). Let c be 0 + 0 - s/49. Which is bigger: c or t?
t
Let l be 1*(591/10 + 1/(-10)). Which is bigger: 465/8 or l?
l
Let i be 3*(2 + 20/(-15)). Suppose -5*z - 180 = 5*g, i*g - 139 = 6*g + 3*z. Which is greater: g or -30?
-30
Suppose 0 = -3*f - 3*z - 2*z + 28, 4*f = 4*z - 16. Is 5/67 bigger than f?
False
Let b = 1.205 - 0.205. Is 5/14 smaller than b?
True
Suppose -5*f = -3*p + 3, f = -f + 4*p + 10. Let q = 204 - -15. Let k = -889/4 + q. Is f equal to k?
False
Suppose -19266 = -15*s + 72*s. Which is greater: -337 or s?
-337
Let v(h) = -4 + 2 + 1 - h + 0. Let j be v(-2). Is 25 bigger than j?
True
Let t = -11 + 15. Let f be (-3 + -1)*(-7)/14. Suppose 0 = a - f - 3. Which is smaller: a or t?
t
Suppose -3*c = -c + 50. Suppose -2*y - 8 = -2, 116 = -5*z + 3*y. Is c < z?
False
Let l = 27 + -17. Let t = 0.04 - -10.96. Let u = l - t. Which is bigger: u or -0.1?
-0.1
Let q(h) = -4*h**3 - h**2 + 3*h + 6. Let s(k) = k**3 + k**2 - 1. Let b(r) = q(r) + 5*s(r). Let d be b(-2). Let o be 21/(-18) + 3/d. Which is greater: o or -1?
o
Let w(o) = o**3 - 17*o**2 + 3*o - 52. Let u be w(17). Which is greater: 12/25 or u?
12/25
Suppose 15*p - 16*p - 230 = 22*p. Suppose 7*u - 40 = 3*u. Let a be 1 + (0 - 0) - u. Which is smaller: a or p?
p
Let m be 4/(-5)*(-7)/(-4). Let n(f) = f**2 + 7*f - 30. Suppose -q - q - 2 = 2*r, -5*r + 23 = -2*q. Let v be n(r). Is v at least as big as m?
True
Let w = 277 - 211. Are w and 63 equal?
False
Let u be (0 - 1)*(-23 + 8/(-2)). Suppose 5*o - 3*l - 133 = 0, l + 0*l - 4 = 0. Do u and o have the same value?
False
Suppose 5*c = -0*c. Suppose c = 7*g - 2*g - 50. Let q = 7 - g. Which is smaller: q or -4?
-4
Suppose 2*y - y - 4 = 0. Suppose y*i = -3*a - 7, -2*i + 4*a + 0 + 2 = 0. Which is bigger: 0 or i?
0
Let x = -0.0196 + -2.9804. Which is smaller: x or 2?
x
Suppose -b + 2 = -2*n - 1, 5*b = -3*n +