: 0 or d?
0
Let m(l) = l**2 - 8*l - 16. Let g be m(8). Is -15 less than g?
False
Let o = 5 + -2. Suppose 7*v - 4 = 3*v. Let w = v - -1. Which is greater: o or w?
o
Let w be (-13)/(-3) - 6/(-9). Suppose -2*t - 25 = w*d, -4*t - 8 = -5*d - 33. Suppose b - 5*m + 1 = t, 0*b + 4 = -4*b - 4*m. Which is smaller: b or 1?
b
Let f(u) = -u**3 + 5*u**2 + 7*u + 1. Let g be f(6). Let j(t) = -t**2 + 7*t - 6. Let q be j(g). Let v = 41 - 48. Is v bigger than q?
False
Let d(l) = 5*l + 0*l + l + 6 + 1. Let a(v) = -v - 1. Let w(u) = -28*a(u) - 4*d(u). Let p be w(-1). Are p and -5 non-equal?
True
Let f be (-4)/((-12)/15) - 3. Suppose -2*x + 8 = o - 3*o, f*x = -5*o + 8. Does x = 3?
False
Let j(d) = 3*d**2 - 8*d + 10. Let q(s) = 4*s**2 - 12*s + 15. Let c(i) = -7*j(i) + 5*q(i). Let g be c(-5). Which is smaller: g or -2?
-2
Suppose 0*v = -v. Let x = v + 0. Let y be ((-4)/12)/(8/6). Which is bigger: y or x?
x
Let n = -0.242 + 0.042. Are n and -0.07 unequal?
True
Let d = -24 + 25. Is -2 >= d?
False
Suppose -3*l + 7 = -8. Let z be 16/l - 1/5. Which is bigger: z or 1/2?
z
Let m = -1.55 - -0.05. Let g = 0.5 - m. Suppose -6*v + 2*v = 4*h + 12, -2*h = v + 2. Is h <= g?
True
Let a(v) = v - 9. Let k be a(7). Let y be 2/3*(-51)/k. Suppose 2*q + y = 5*q - 5*p, 0 = 3*q + 3*p - 9. Is q < 2?
False
Let v = -0.23 - -0.03. Let i = -0.2 - 0. Let n = v - i. Which is greater: 0.2 or n?
0.2
Suppose -3*o - 3*v = -7*o + 20, 0 = o + v + 2. Suppose -w - 6 = 5*c, -2*w - 3 = 3*w - o*c. Is w greater than -1/5?
False
Let b = -31 + 35. Which is smaller: b or 0?
0
Let a be 1 + (-2 - -1)*3. Let p be 2/(-2*a/(-4)). Which is smaller: p or 1?
p
Let r = -1067/5 + 213. Which is smaller: 0.1 or r?
r
Let l be (-17)/(-40) - (-2)/10. Which is smaller: 0 or l?
0
Let p = 12497/4329 + 1/481. Which is smaller: 4 or p?
p
Let m = -23 - -21.7. Let u = -0.3 - m. Let l = -1 - u. Which is smaller: 0.2 or l?
l
Let t = 12 - 7. Let h = t + -7. Let p = 0.7 - 0.4. Do h and p have different values?
True
Let i = 0 + -3. Let x be -2 - i/1*1. Let c(t) = -t - 8. Let b be c(-7). Is x greater than b?
True
Let g = -750 - -63001/84. Is g >= -1?
True
Let t = -33 + 34. Is -5/3 less than or equal to t?
True
Let s be 35/(-11) + (-6)/(-33). Let t be ((-75)/(-24) - 3)*s. Is -1 at least as big as t?
False
Let y(m) = m**3 - 6*m**2 - 1. Let u = -9 - -15. Let n be y(u). Which is bigger: 2/5 or n?
2/5
Let i be 0*(0 + 4/(-8)). Let q = i + 3. Which is greater: q or 1?
q
Let n = 3.2 - 3. Let r be 1/(-4) - 13/20*-1. Which is smaller: r or n?
n
Suppose -3*d + 7 = 4. Which is smaller: d or 2/31?
2/31
Suppose -28 = 2*n - 4*y, 0*n = -4*n + 3*y - 36. Let w be n - (6/(-1))/2. Is -3 not equal to w?
False
Suppose -4*x - 8 = 5*t + 7, 12 = 2*x - 4*t. Suppose x = 2*i - 0 + 12. Is -6 equal to i?
True
Let j(h) = -h**3 - 9*h**2 - 20*h - 3. Let m be j(-6). Let c be (-72)/7 + 2/7. Let k = c + m. Does -1 = k?
True
Let f = -41 - -43. Is 3 bigger than f?
True
Let h(n) be the second derivative of n**3/6 - 3*n**2 + n. Let o be h(7). Let t be o/(-3) - (-144)/27. Which is smaller: 6 or t?
t
Let j(x) = 38*x**2 - 12*x + 6. Let t be j(2). Which is bigger: 2/3 or t?
t
Let g = -7 + 1. Let i be (g/(-4) + -1)*-2. Which is smaller: 0.3 or i?
i
Let h = -4.3 + 5. Let o = 14 - 13.3. Let y = o - h. Is y less than 3?
True
Let s = 24 + -23. Which is greater: -54 or s?
s
Let p = 14 + -7. Is p less than 1?
False
Let y be (-1)/(2 - 1) + 2. Suppose -4*z + 2*b = 2 + 8, 4*z = -b - y. Is 1/24 bigger than z?
True
Suppose -4*b + 7 = -25. Let a be b/(-2)*(-1)/(-2). Let c be 2/(-1)*1/2. Which is bigger: a or c?
c
Let y(o) = o**2 + 2*o - 2. Let x be y(-3). Let f be (2/(-8))/((-30)/24). Which is smaller: x or f?
f
Suppose -6*d - 1 = 11. Is -15/8 at least d?
True
Let w(g) = g**2 + 5*g + 2. Let f be w(-7). Suppose -32 = 5*u + z - 0*z, 4*u + f = 4*z. Which is greater: u or -4?
-4
Let s = -14 + 14. Which is greater: s or 2/11?
2/11
Suppose 2*y - 8 = 7*y - 4*x, y - 6 = -3*x. Let r be (y - 6/5)*-3. Let f = 4 - r. Is f at least -1?
True
Let s = 24 + 0. Let z = 17 - s. Which is smaller: -0.1 or z?
z
Let k = -0.1 + -0.2. Let t = 5 + -5.4. Let x = k - t. Are x and 1/3 non-equal?
True
Let h(v) = -v**2 + 5*v - 4. Let p be h(4). Is p > -1?
True
Let q = 0 - 1. Is 4 > q?
True
Suppose 4*l + 0*l + 5*d = -11, -l + 4*d - 29 = 0. Let m be (0 + 1)/(l/54). Is -7 at most m?
True
Let n be 3 + 5*(-1)/((-5)/(-4)). Which is smaller: 4/91 or n?
n
Suppose -3*h + 31 = -41. Suppose 0*i = 2*i + 3*w - h, -3*i + w = -47. Let u be ((-3)/i)/(6/(-10)). Which is greater: u or 5?
5
Suppose -5 = -13*v + 8. Let q = 4/175 - -38/525. Is v > q?
True
Suppose m = -3 + 8. Suppose -m = 3*z + 4. Let i = z - 1. Are i and -2 equal?
False
Let j be 1/((-10)/(-4))*15. Let a(b) = b - 7. Let r be a(j). Which is smaller: r or -2/13?
r
Let x = -222 - -109. Let d = -1245/11 - x. Which is smaller: 1 or d?
d
Let m = -0.7 - 0.3. Suppose 21 = -2*h - 2*f + 7*f, -f + 3 = -h. Suppose -4*p = h*g + 3*g - 23, -8 = 2*p - 4*g. Is m greater than or equal to p?
False
Suppose 4*m - 2 - 6 = 0. Let t be (-23)/(-70) + m/(-5). Are t and -1 equal?
False
Let n be 2 + -1 + (-290)/270. Are 0 and n unequal?
True
Let v = -21 - -24. Let i(x) = 2*x + 1. Let c be i(1). Is c smaller than v?
False
Let s be ((-1)/(-26))/(1/4). Suppose 3*v = 2*v + 4. Suppose 4 = -2*d + g - 1, -5*d = -v*g + 20. Which is smaller: s or d?
d
Let r = 148 - 2219/15. Is -1 < r?
True
Let o(y) = -y**3 - 6*y**2 + 6*y - 7. Let v be o(-7). Suppose v*r = -r + 2. Is r < 2?
False
Let s = -39 + 38. Is s greater than or equal to 2?
False
Let z(s) = -2*s - 1. Let h be z(-2). Let a be -2*3/(-12)*6. Is a greater than h?
False
Suppose 5*f = 2 + 13. Suppose 0 = 4*k - 9*k + f*p + 20, -4*p - 19 = k. Is 4/7 at most k?
True
Let q = -5.67 - -6. Let x = 0.07 + q. Suppose -5*r - 3 = -2*z, 5*r - 4*r - 5*z + 19 = 0. Is x less than r?
True
Let t(s) = -s**2 - 19. Let b be t(0). Suppose -c - 2*c = 57. Do b and c have the same value?
True
Suppose -3*f + 3 = -3*p, 0 = -2*p + 2*f + 2*f - 12. Suppose x = 3 - p. Let o = 1 - x. Is 4 bigger than o?
True
Let r = 17 + -20. Are -3 and r equal?
True
Let z = 137 - 291. Let h = z + 1074/7. Is 0 less than h?
False
Let c = -24/1505 - 3/43. Is -1 smaller than c?
True
Suppose 16*u - 11*u + 75 = 0. Which is greater: u or 1?
1
Let y = 0.038 + -7.138. Let k = y + 1.1. Let r = -5.5 - k. Which is greater: -1/4 or r?
r
Let u be 2 - (-2 + (1 - -3)). Suppose -4*q - 4*w = 0, -3*q + 3*w = 2*q + 24. Which is bigger: u or q?
u
Suppose 0 = 2*w + 3*w + 25. Let a = w + 1. Suppose 2 = -x - 0. Is a less than or equal to x?
True
Let c = -0.5 - 2.5. Let u = 2.5 + c. Suppose -b + 4 = 3*b. Is u <= b?
True
Suppose -52 = 3*q + q. Let y = -20 - q. Let p = y + 6. Do p and -1 have different values?
False
Let v be 22/4 - 6/12. Let i be ((-3)/(-2))/(2/4). Suppose 2*r - v = -i*r. Is r smaller than 1?
False
Let g(v) = -v**2 + 12*v - 13. Let u be g(11). Is -10/11 at least u?
True
Let j(m) = -4*m - 6. Let y be j(-4). Are 10 and y equal?
True
Suppose 10 = 7*u + 38. Is u at most as big as -10?
False
Let m = -0.2 + 0.1. Let s = 8 + -8.06. Let k = s + -1.94. Is m < k?
False
Let t(g) = -2*g - 20. Let z(r) = r + 10. Let o(p) = 3*t(p) + 7*z(p). Let i be o(-8). Is -0.4 < i?
True
Suppose 13 - 4 = -2*m - 3*n, m = 4*n + 12. Suppose m = 2*b + 10 - 0. Let j = 8 - 12. Is b > j?
False
Let y = -7.5 - -8.5. Suppose 5*b - 21 = -o, -5*b = -4*o - 24 - 17. Does y = o?
False
Suppose -5*m + 16 = -4*m. Is m less than or equal to 16?
True
Suppose 3*t + 2*t = -20. Let b(g) = -g. Let l(r) = -7*r - 3. Let q(o) = 6*b(o) - l(o). Let f be q(-7). Are t and f equal?
True
Suppose 5*r = -7*n + 4*n + 7, -3*n = -4*r - 16. Suppose 2*j + n = j. Let k = -4 - j. Is k less than 2/11?
True
Let g = -9.5 + -1.5. Let a = g - -18. Which is smaller: 1 or a?
1
Let i(m) = -m - 1. Let v be i(2). Let j be (-1 - 0) + (1 - v). Let q be (j/(-10))/((-18)/15). Is q bigger than -1?
True
Suppose 4*n - 2*r = -23 - 23, -2*r = 3*n + 24. Let z be 2/n - 6/70. Let m = -0.25 - -0.3. Is m not equal to z?
True
Suppose 0 = -4*n + 19 + 5. Let k = 4 - n. Which is greater: 2 or k?
2
Suppose -2*g - 13 = -3*w, 5*w = -4*g + 7*g + 22. Let f be (-1 - -1)/(9 - 6). Is f <= w?
True
Suppose 3 = -0*c + 3*c. Let q = 46 + -32. Suppose -5*s = -0*s + o - q, -2*s - 2*o + 4 = 0. Does c = s?
False
Suppose -5*c = d +