 4, -6 = -2*a. Which is bigger: x or v?
x
Suppose -3*o + 8 = -4. Let v = -3 + o. Are v and 1 non-equal?
False
Let i = 6 + -15. Let l = 8.9 + i. Which is greater: l or -2?
l
Let u = 113 - 107. Which is smaller: -14 or u?
-14
Let t = 8818/136899 + -2/2173. Let w = t - 2/7. Which is smaller: w or 1?
w
Let q = -1 + 1. Let l(t) = -t**3 + 2*t**2 - 3*t. Let j be l(2). Let m be j - -5 - (-2)/10. Is q at most m?
False
Suppose 2*b = -5*x + 2*x + 6, -x = 0. Let q be 2/5 - 6/(-10). Suppose -p - o + 7 = -5*p, -q = -p + b*o. Is -1 less than p?
False
Suppose 2 = -3*r + 5*d, -r = 3*r + 4*d - 40. Which is smaller: r or 13/2?
r
Let p be 6 + (2 - (4 + -2)). Let x = 17/3 - p. Which is bigger: x or -2?
x
Let u(y) = -5*y + 1. Let c be u(3). Let o = -10 - c. Suppose a + 3 = o. Is a < 2?
True
Let f = -3/80 - -587/720. Which is greater: 1 or f?
1
Let c(x) = 2*x**3 + 2*x**2 - 2*x - 2. Let y be c(2). Which is smaller: y or 19?
y
Suppose 0*b - 12 = 4*c + 4*b, 2*c = b + 9. Suppose -3*l = -10 - c. Suppose 0 = -4*y - 3*j + 17, -y + 2*j = l*y - 4. Is 2 smaller than y?
False
Let c = 1.66 - -1.34. Let m = -0.3 - 0.7. Let f = 1.2 + m. Which is smaller: c or f?
f
Let g = -31463/35 - -899. Is g <= -1?
False
Let b(o) = -o**2 - 4*o - 3. Let x be b(-1). Which is smaller: x or -1/61?
-1/61
Let g(t) = t**2 + 10*t - 12. Let k be g(-11). Are k and 2/23 non-equal?
True
Let o(k) = k - 16. Let r be o(11). Which is smaller: r or -6?
-6
Suppose 0 = -5*i - 15. Which is bigger: -4 or i?
i
Suppose 4*p = 3*d + 121, -4*d + 14 + 2 = p. Let o be p/((-1)/(2/(-4))). Which is smaller: 15 or o?
o
Let v = 2.7 + -3.7. Which is bigger: v or 7?
7
Suppose 2*x + 10 = d, -d - 28 = -5*d + 5*x. Suppose 6 + 3 = 3*h, 5*m + 9 = -d*h. Is m less than or equal to 1?
True
Let r = -101 - -106.1. Let o = r - 5. Which is smaller: o or -2?
-2
Let n = -0.03 + -6.97. Let o = n + 4. Let m = o - -3.2. Is 1/2 bigger than m?
True
Let u be 15 - 3*(-6)/(-9). Is u not equal to -2/7?
True
Suppose 2*f - 5*d = -2*f - 9, -3 = 2*f - 3*d. Let a be (-1 - -1)*f/12. Let l = -19/14 - -6/7. Is a <= l?
False
Let o(i) = i**2 + 14*i + 23. Let d be o(-17). Is 73 bigger than d?
False
Let p = 31/28 + -1745/1652. Which is greater: p or 0?
p
Let z(i) = i**3 - 3*i**2 - 4*i - 4. Let g be z(4). Let a = -7 + g. Is a at most as big as -11?
True
Let u(c) = c + 1. Let k be u(-6). Let s be (-6)/9*3*k. Let r be (12/s - 1)/1. Which is smaller: -1 or r?
-1
Let n be 27/(-63) - (-4)/(-7) - 13. Which is smaller: -15 or n?
-15
Suppose 5*h = -3 + 28. Suppose 0*y + y = 0. Suppose 2*q - 3*c - c = 0, y = 5*q - h*c - 5. Which is greater: 1 or q?
q
Let v be (-2)/(-2)*(-1 + -7). Is -10 greater than v?
False
Suppose 5*w + 3 = 73. Suppose -5*q = w - 59. Let h = -6 + q. Do h and 3 have different values?
False
Let b(f) = f**2 - 6*f - 1. Let g be b(5). Suppose 3*k + 5*p = -16, k = 4*p + 9 - 3. Is k != g?
True
Let w(j) = -j**2 - 4*j - 2. Let q be w(-4). Which is bigger: 4 or q?
4
Let m(i) = i**3 - i**2 - i + 6. Let s be m(0). Let j(k) = 7*k - 3*k**2 + 2*k**2 - 5 + 4*k**2 - 4*k**2. Let t be j(s). Is t < 2/7?
False
Suppose -h - h - 27 = 5*x, -x = -5*h. Let n = 1 + 1. Let q = n + x. Which is bigger: q or -2?
-2
Let u = 0 + 0. Suppose -2*c - 4*d - 1 = -3, 3*d = -4*c - 6. Let w be 3/(36/32) + c. Are w and u equal?
False
Let c(g) = -g**3 - 9*g**2 - 9*g - 7. Let m(i) = -i**3 + 5*i**2 + 4*i + 4. Let x be m(6). Let a be c(x). Suppose -2*s + a = 3. Is -1 bigger than s?
False
Let x be 2/4*2/4. Which is bigger: x or -1?
x
Suppose -b + 4*b = 0. Let k(c) = -3*c**2 + 2*c**2 - c + 2*c**2 + 1. Let z be k(0). Which is smaller: b or z?
b
Let j = 0.19 + -0.06. Let l = j + 0.87. Which is smaller: l or 0.3?
0.3
Let p(x) = -2*x**3 - 2*x**2 - 2*x - 1. Let f be p(-1). Let t be f - -1 - 64/31. Which is smaller: -1 or t?
-1
Let v = 233 - 2093/9. Is 0 at least as big as v?
False
Suppose -o + 3*m + 43 = -0*o, 2*o - 36 = -4*m. Suppose 7 = 5*c - 3*i + o, 4*c = -3*i - 33. Do c and -4 have different values?
True
Suppose c - 102 = 7*c. Which is bigger: c or -16?
-16
Let z = 1 + 0. Suppose 5*c - 3*s - 55 = 0, -4*s = -3*c + c + 36. Suppose 15*h = 11*h + c. Is z <= h?
True
Suppose 29 = 4*n + i, 5*i = -3*n + 5*n + 13. Let f be n/(-4) + 216/16. Let h = -6 + f. Which is greater: 4 or h?
h
Let w(r) = -r**2 - 4*r + 7. Let t be w(-5). Suppose 4*c - t - 6 = 0. Does c = 5?
False
Let x(o) = -15*o**2. Let u be x(-1). Let q be (-9)/u + 6/(-10). Do q and 6/11 have different values?
True
Suppose o = 6*o - 15. Is 3 at least as big as o?
True
Let h = -880/497 - -4/71. Let j = 2 + h. Are j and -1/2 non-equal?
True
Let q be 3/12 - 9/12. Is q > -1?
True
Let w = -6 + 1. Suppose -f = -2*f - 4. Is f greater than or equal to w?
True
Suppose -4*d - 2*h = 4, 2*d + h = 4*h - 10. Is d at most as big as -1?
True
Suppose -2*n + 4*t = 3*t, -5*n + 5*t = -5. Are -6/19 and n equal?
False
Let g(l) = -l**2 + 5*l + 13. Let m(i) = -i**2 + 4*i + 14. Let q(p) = -5*g(p) + 4*m(p). Let c be q(10). Let w be (-1 - -4 - 2)*c. Is w != 2?
True
Suppose -19 + 115 = -4*h. Let t be 3/h*2 + 0. Which is smaller: -1 or t?
-1
Let g(v) = -v**2 + 2*v + 5. Let b be g(5). Is b != -11?
True
Suppose -14 = -5*o - 2*z, 2*o = -5*z - 0*z + 14. Suppose 8 - o = t. Let c = -25/4 + t. Is c equal to 1?
False
Let p = -45.4 + 45. Is p not equal to 3?
True
Let z be 0 + -1 + 1*5. Suppose -3 + 6 = q. Which is smaller: q or z?
q
Let a = -9 + 32. Which is greater: a or 24?
24
Let s = 3 + 0. Suppose -2*a = s*g + 34, -44 = 2*g + 2*g + 4*a. Which is greater: g or -13?
g
Suppose -x - 11 = x - n, 0 = 3*x - 3*n + 15. Let s be (42/(-55))/(x/4). Let b = s - 10/11. Which is greater: -0.1 or b?
-0.1
Let i(j) = j**3 - 4*j**2 + 1. Let y be -10 + (0/(-2))/2. Let f be 16/y*(-5)/2. Let v be i(f). Which is smaller: v or 2?
v
Suppose 4 + 1 = 5*p. Suppose 2*r - 2 + 0 = 0. Let k be (1 - (-1 + r))/p. Is 0 > k?
False
Suppose -2*v - 4 = 2*c, -2*v = -6*v - 20. Suppose 3*s = 26 + 7. Suppose 3*h + c = y - s, -4*y + 24 = -4*h. Is -1 at most h?
False
Let g = 37.72 + -38. Is g > 0.1?
False
Let c = -3.4 - -3.3. Let x be ((-4)/(-35))/((-1)/5). Is x >= c?
False
Let f be (2 - -1) + -11 - 0. Which is smaller: -9 or f?
-9
Suppose 4*u + 52 = 4*a, -u = 2*a + 6 - 2. Which is smaller: u or -11?
-11
Let v = 1.7 - 1.6. Let l = -0.05 + 0.06. Let q = 0.01 - l. Is v < q?
False
Let n = -3 + 11. Let d = n - 6. Which is smaller: -0.3 or d?
-0.3
Let n(c) = -c**2 + 8*c - 7. Let b be n(6). Suppose -5*o - b*y - 20 = 0, -5*o - y - 24 = -8. Does -3 = o?
True
Let l(z) = z - 8. Let i be l(6). Suppose -5*k + m = 0, -k - 7*m = -2*m + 26. Let r = -2 - k. Which is bigger: r or i?
r
Let t be (-6)/12 + (-264)/70. Let u = t - -32/7. Is u greater than or equal to -1?
True
Suppose d - 2 = 3*w, w - 4*w - 1 = -2*d. Is -2/7 smaller than d?
False
Suppose -4*h + 17 + 11 = 0. Let n = 30 + -22. Which is bigger: h or n?
n
Let f be (1 + -3)/(18/411). Let n = f - -46. Is -3 bigger than n?
False
Let u = -16.1 + 16. Which is greater: u or -2/43?
-2/43
Let x = 17 - 13. Suppose -3*j - 2*z - x = 2, -2*j - z - 3 = 0. Which is smaller: -1/4 or j?
-1/4
Let h = 17 + -10. Let q = h - 15. Is q > 1?
False
Suppose -5*t = 14 + 1. Let l(r) = r + 1 + 3 + 0. Let z be l(t). Is z less than -3?
False
Let f = -17/2 - -9. Let x = -1 + f. Let b = -33 - -32. Which is bigger: b or x?
x
Let i(y) = -2*y**3 - 19*y**2 - 14*y - 19. Let b(x) = 3*x**3 + 28*x**2 + 21*x + 28. Let w(d) = -5*b(d) - 7*i(d). Let n be w(-6). Is n bigger than -3/10?
False
Let d(v) = v**3 - v**2 + v - 5. Let f be d(0). Let g be (-10)/f + 0 + 1. Suppose g*u - 17 = 5*q, q = 3*u + u. Do u and 2/7 have the same value?
False
Let n be (-9)/6*88/(-3). Let o be (n/12 + -3)*3. Which is smaller: 0.4 or o?
0.4
Suppose -4*j + 6 = -58. Let s = -18 + j. Which is greater: s or -2/3?
-2/3
Let j be ((-1)/3 + 0)*0. Let t(r) = r**2 - 4*r + 4. Let l be t(3). Let m be 2/12*(-4)/l. Is m greater than or equal to j?
False
Suppose 2*q + 15 = 5*q. Let h(y) = y - 5. Let z be h(q). Is z less than 10/9?
True
Let a = -0.04 + 0.04. Let k = 0 - a. Let b be (3/48)/(2/(-4)). Is k at most as big as b?
False
Let p(m) = -m - 3. Let x be p(0). Let h = x - -5. Let t(o) = o - 2. Let i be t(h). Which is bigger: i or -2/3?
i
Let d be (-5)/(-1)*(-3 + 1). Let a be 2/d - 44/(-20). Which is bigger: a or 0?
a
Suppose -18*l + 2 = -20*l. Are l and 2/17 equal?