, -4*x + 3*x + 12 = 4*c. Which is greater: c or 1/2?
c
Let s(a) = -2*a**3 - 2*a**2 + a + 2. Let d be s(2). Which is smaller: -19 or d?
d
Suppose 2*i + t = 5, -4*i + 0*t + 14 = -2*t. Suppose 0*s = s + 4*g - 10, -4*s = -i*g + 36. Which is smaller: s or -5?
s
Let t = 66 - 463/7. Let c(i) = i**3 - 2*i**2 - 2*i - 4. Let j be c(3). Which is smaller: j or t?
j
Let v = 34 + -43. Which is smaller: 0.4 or v?
v
Let y = -15 - -9. Let b = -5 - y. Which is smaller: b or -1/2?
-1/2
Suppose -3*c = 4*a - 5*c - 230, 190 = 3*a - 5*c. Let q = a + 14. Let w = 482/7 - q. Is -1 >= w?
False
Let u = -11712580 - -85900060233/7334. Let g = u - 3/386. Let l = g - -5/114. Is 0 < l?
False
Let o = 9 - 33. Let r be 18/10 + o/30. Which is smaller: 2 or r?
r
Let k = 4 + -4. Let w be ((-10)/8)/1 - -1. Are w and k nonequal?
True
Let p = 28 - 22. Does p = 5?
False
Suppose -9 = -4*q - 1. Suppose q = i - 0. Suppose 4*l = -4*n + 10 + 14, 2*n = l + 3. Which is smaller: i or n?
i
Suppose -6*p = -p. Is 2/73 less than or equal to p?
False
Let g(l) = l**3 - 2*l. Let h be g(2). Suppose 13 = h*w - 7. Which is smaller: 4 or w?
4
Suppose b = -5*t - 21, 4*b = 2*t + 5 - 1. Which is smaller: b or -3/5?
b
Let c(o) = -o**3 - 3*o**2 + 4*o - 5. Let i be c(-4). Which is bigger: 0 or i?
0
Let f be 2*(28 + -1)*2/(-4). Is f less than or equal to -28?
False
Let d be (5/20)/(333/4). Let v = 3665/666 - d. Let p = v - 6. Is p > -1?
True
Let q(t) = t**3 - 4*t**2 - 5*t - 3. Let v be q(5). Let h = -10 + 12. Do v and h have the same value?
False
Suppose 10 = -4*m - 3*q + 3, -4*m - 13 = q. Let u be (-16)/(-90) + m/10. Let i be (-1)/(-4) - (-1)/(-4). Is i <= u?
False
Suppose 4*y = 3*y. Suppose y*f + 1 = -f. Which is smaller: 2/9 or f?
f
Let k = 2 - -3. Suppose -6 = -4*q + f + 9, k = 5*f. Is 3 < q?
True
Let c = 447 - 3571/8. Let o be -1 - ((-3)/1)/1. Which is greater: c or o?
o
Let b = 0.4 - -15.6. Which is smaller: 1 or b?
1
Let p = 4 - 3. Let h = -470 + 480. Which is smaller: h or p?
p
Let k = -3.97 - -4. Are k and 1 non-equal?
True
Suppose o - 4 = 0, 6*f = 2*f + 4*o - 12. Let i be 11/7*1 - f. Which is smaller: i or 1?
i
Let p = -33/91 + 2/7. Let z(d) = d**2 + 14*d + 16. Let h be z(-13). Suppose 0 = -x - 7*b + 2*b - 24, h*b = 2*x - 17. Which is smaller: x or p?
p
Let d be (-4921)/1653 - (-3 + 0). Which is greater: 0 or d?
d
Suppose -m + 54 - 62 = 0. Is m < -2/5?
True
Suppose -3*a - 2*c = 15, c - 20 = 4*a - 2*c. Let r be (3/(-6))/(5/40). Is a at least r?
False
Suppose 0 = -3*v + 4*v. Which is smaller: 2/59 or v?
v
Suppose 0 = 4*o - 0 + 4, -5*s = -o + 19. Let j be (-3)/9*0/s. Suppose -r + 0 - 2 = j. Which is bigger: -3 or r?
r
Suppose -18 = -i + 4*i. Let s = 9 + i. Is s less than or equal to 3?
True
Let x = -0.041 - -0.841. Which is smaller: x or 0.1?
0.1
Let n be (-42)/(-4) + (-6)/4. Let o be 6/n*3 + -1. Suppose -2 = -3*j + o. Which is greater: j or 2/9?
j
Let k be (13/(-3))/((-13)/(-39)). Is k at least -13?
True
Suppose -20*l + 19*l = -71. Which is smaller: l or 73?
l
Suppose -5*a - 6 = 4*x, 2 = -5*a - x + 8. Suppose 5*m + a*v = -16, 4*m - 3*v + 11 = -4*v. Let c = -5 - m. Is -4 at most as big as c?
True
Let x(j) = -9*j**2. Let y be x(-2). Is y bigger than -36?
False
Suppose 2*l - 2 = 2, -3*q - 5*l = 2. Let s be 4/(-14) + (-30)/42. Do s and q have different values?
True
Let n = -5.4 + 8.4. Is 2/5 not equal to n?
True
Let b = -2585/9 - -285. Let c = -14/9 - b. Is c >= 3?
False
Let g(h) = -h**2 + 5*h + 6. Suppose 3*b + 2*b + 10 = 0. Let w(u) = -2*u + 2. Let v be w(b). Let j be g(v). Is j greater than or equal to 2?
False
Let j be -3*((-16)/12)/2. Let g be j/(0 - (0 + -1)). Which is bigger: 4/7 or g?
g
Let m = -56 - -59. Is -0.2 < m?
True
Let u = 6 + -2. Suppose 5*z - 21 = z - 5*v, u*z - 3*v - 13 = 0. Is z at most as big as 4?
True
Let j be (2 + -1 + -2)/((-1)/(-5)). Which is greater: j or -4?
-4
Let n = -39 - -40. Is 1/12 > n?
False
Let v be (-2)/3*(-6)/20. Let y = -88 - -84. Which is smaller: v or y?
y
Let s = 36 - 37. Is -7 > s?
False
Let q = 0.05 - 5.05. Let y = q - -7. Let p = 436/3 - 146. Is y at most as big as p?
False
Let z be 8/57*(-27)/(-18). Is z at most as big as 0?
False
Let k(i) = -3*i**2 + 2*i - 1. Let n be k(1). Is -2 bigger than n?
False
Let k(s) = -6*s**3 + s**2 + s - 1. Let m be k(1). Let o be 20/(-125)*m/2. Are -1 and o nonequal?
True
Let f = -1.2 + 0.2. Let c = 15.7 + -15. Let o = 0.3 + c. Are f and o non-equal?
True
Suppose -a + 17 = -0*a - 3*s, a - s = 9. Suppose -3*g + a*g = 0. Let o = -30/17 + 133/85. Which is greater: g or o?
g
Let m(y) = y + 1. Let f be m(4). Suppose -4*b = 2*k + 28 + 16, f*k - 22 = 2*b. Let w = 15 + b. Which is bigger: 5 or w?
5
Let v(l) = 4*l + 3. Let x be v(-4). Does -9 = x?
False
Let v be -1*(-4 + 3/1). Is 5/3 less than or equal to v?
False
Let l be 16/24 + 11/(-3). Let p be (l/(-6))/(2/20). Suppose p*o + 14 + 11 = 0. Is o smaller than -6?
False
Suppose 0 = 2*n + 2 + 2. Let g be ((-14)/5)/((-2)/10). Suppose 5*a = -20, g = z - 6*z - a. Is z greater than n?
False
Let z = -23957/380 - -28/95. Let j = z + 63. Let w = -30 + 28. Is w > j?
False
Let d = -3 - -33. Is d smaller than 29?
False
Suppose -2*w + 2*i = -4, 0 = 5*w - 4*i - 0*i - 5. Which is bigger: w or 1?
1
Let x be (-8 - -5)*8/(-6). Suppose 0 = x*o - 0*o - 24. Let l(a) = -a**3 + 6*a**2 - a + 4. Let g be l(o). Which is bigger: 1/4 or g?
1/4
Let h = 2 + -3. Let v be h + 1 - (-2)/3. Suppose -b + 5 = 3*n - 3, b = -5*n + 10. Is v greater than n?
False
Let j(g) = -6*g + 79. Let q be j(13). Which is smaller: 1/13 or q?
1/13
Suppose -3*s - x = 1, s + 3 = -2*s - 3*x. Let o(j) = j + 2. Let t be o(s). Is t at least as big as -0.4?
True
Let x = 0.72 + -0.8. Let l = x - -2.08. Is 2/7 bigger than l?
False
Let h = 6 - 2. Suppose h*v - 3*g = 21, -3*v + 3*g + 7 + 11 = 0. Which is greater: 4 or v?
4
Suppose -12*c + 5*c + 63 = 0. Is c smaller than 46/5?
True
Let p(m) = -2*m + 1. Let z be p(-1). Suppose z = -l - 2. Is -4 at least as big as l?
True
Let m be 0 + -2 + 1 + 6. Suppose 5*w + 0*w + 25 = 0. Let a = w + m. Is a > 1/3?
False
Let j = -110 - -115. Is j at most 5?
True
Let p = -185/6 - -929/30. Is p not equal to 0?
True
Let d = 0.04 - 0.14. Let y = 68 + -59. Which is smaller: y or d?
d
Let i = 0 - 1. Let m(s) = s**3 - 5*s**2 - s + 6. Let u be m(5). Which is greater: i or u?
u
Let o = 146.96 + -147. Which is smaller: 2/5 or o?
o
Let z = -3 - -9. Let p = 5 + 1. Is z bigger than p?
False
Let w be 1/3 - (-10)/6. Suppose -12 = 2*l - 4*z, -z = -l + 4*z - 18. Suppose l*v = 4*x - 8, x - 2*x + 1 = -v. Is x equal to w?
False
Let w be 2/11 + 175/(-55). Is -4 at least as big as w?
False
Suppose 4*v - 41 = 5*u, -5*v + 48 = -4*u - 1. Suppose 5 = 2*o - s, 4*s + v = 3*o + s. Let k be (0/2 - 1) + 4. Are k and o equal?
False
Let t = -0.054 - 1.946. Let c(a) = -a**3 + 3*a**2 - 3*a + 1. Let z be c(2). Is t greater than or equal to z?
False
Let x = 13 - 11. Which is greater: -1/3 or x?
x
Suppose -d - 2 = -a - 11, 4*d = 3*a + 22. Let v = -21 - -7. Does a = v?
True
Let q be 7*1 - (1 + 2). Suppose -4*r = 4*f - 4, -q*r + 8*r - 5*f + 5 = 0. Is 1/3 equal to r?
False
Suppose 34*n = 32*n + 4. Suppose u = -5*x + 2*u - 3, 2*x - 6 = 4*u. Is n greater than x?
True
Suppose -5*b - 3*v = 1 - 6, -3 = -b - v. Let w be -2 - (b - 1 - 2). Suppose 0 = z + w*z. Is z <= -2/13?
False
Let f = -111 - -107.95. Let z = f + 0.05. Let a = -0.3 + 0.2. Which is greater: a or z?
a
Let k = -92 - -90. Is -23/7 smaller than k?
True
Let w = -75/4 - -915/52. Let q = 95/26 + w. Suppose -a = -l + 3, -a - 2*a - 5*l = -31. Does a = q?
False
Let x be ((-15)/2830)/((-4)/((-48)/9)). Which is smaller: x or 0?
x
Let y be -1 + 2 - (-5)/(-3). Let x be (-1)/((-7)/14*(-2)/1). Which is greater: y or x?
y
Let a = 1.8 - 2. Which is smaller: a or 0.7?
a
Let m(r) = -r**2 - 7*r + 5. Let q be m(-7). Suppose -a + 5*o + 20 = 0, q*a + 4 = -2*o - 4. Is a >= 2/7?
False
Let v = 6 + -2. Suppose 5*j - 3*j + 4*a = -v, -4*j = -a - 1. Which is bigger: -2/7 or j?
j
Let r = -8.4 - 0.6. Let p = r - -8. Which is bigger: -2/23 or p?
-2/23
Suppose 4*h + 3*y + 6 + 17 = 0, h + 3 = 2*y. Is -12 greater than or equal to h?
False
Let t = 31/9 + -29/9. Is t greater than -1?
True
Suppose -3*x + 15 = 0, 5*g - 2*x = 10 - 0. Let n = -5 - -9. Suppose n*j = j + 12. Is j greater than g?
False
Let t = -0.2 + 4.2. Let a = 143/3 - 48. I