c?
s
Suppose 4*h = w - 0*w + 27, -h = 5*w + 30. Which is greater: -15/2 or w?
w
Suppose -3*x + 9 = -5*f - 2*x, -5*f - 17 = -3*x. Which is bigger: -3 or f?
f
Let f = -5 + -9.2. Let c = f - -14. Which is smaller: c or -1?
-1
Let q be 2*(-28)/(-24)*3. Suppose -q*t = -2*m - 2*t - 3, 37 = -3*m + t. Is m not equal to -14?
False
Let m(j) = j**3 - 7*j**2 + 6*j - 5. Let u be m(6). Let y = 0 + -4. Let k = y - u. Is 0 bigger than k?
False
Let i(m) = m**3 + 21*m**2 - 2*m - 49. Let t be i(-21). Which is greater: t or -4?
-4
Suppose 5*t + 45 = 15. Let c be t + (3 - 1) - -1. Suppose -8 = 2*i - 0*i. Which is greater: i or c?
c
Let f(j) = -j**3 - 10*j**2 - 9*j - 10. Let v be f(-9). Let m be (v/4)/(9 - 7). Which is bigger: m or 0?
0
Let x be (-378)/(-24) + 3/(-4). Is x > 13?
True
Let u = 178/135 + -14/27. Which is smaller: u or -0.2?
-0.2
Let h = -19 + 11. Let f = -9 - h. Let m = -5.06 - -0.06. Are f and m non-equal?
True
Let h be 39/(-33) + 1 + 30/165. Let i = 5351/15 + -357. Is h != i?
True
Let h = -6 - -16. Let v = -8 + h. Is v at least 0.6?
True
Let z(s) = 2*s**3 + 14*s**2 + s + 8. Let h be z(-7). Let q be (-4)/6*3/(-5). Is q <= h?
True
Suppose 5*p - 4*c - 16 = 0, -5*p + 5*c = 3*c - 8. Let l = 335 + -3013/9. Which is bigger: l or p?
l
Let a be ((-8)/24)/((-4)/54). Is 5 != a?
True
Let d = -10 + 12. Let w(t) = -t**2 + 6*t - 3. Let i be w(5). Is d less than or equal to i?
True
Let d = 12 - 8. Suppose k - 3*k + 6 = 0. Suppose -8 = b - k*b. Is d < b?
False
Let u be (1 + -1)/((-18)/(-9)). Let k(n) = n**2 + n. Let z be k(u). Is -2/7 less than or equal to z?
True
Let r be (-30)/8 - ((-20)/5 - -1). Is -2 > r?
False
Suppose 0*w = -3*w - 6. Let b = 8 + -2. Suppose 0 = 5*m + b + 9. Which is smaller: w or m?
m
Suppose -2*p = -4*n - 6, -5*n + 3*p - 3 = 2*p. Which is smaller: n or 4?
n
Let c = -52 - -51. Is -15/11 greater than c?
False
Suppose 5*i - 12 - 12 = -3*n, -8 = -n + 4*i. Suppose 0 = 3*a + 3 - 24. Let j = n - a. Which is greater: 2/9 or j?
j
Let j = 0.07 + 3.93. Let c = -4.1 + j. Is -2/11 at least c?
False
Suppose -14 = -5*d + 6. Let o(x) = x**2 - 11*x + 21. Let p be o(9). Which is bigger: p or d?
d
Let c be 400/(-10) - (1 - 0). Let j be c/(-13) - (-27)/(-9). Is j >= -1/2?
True
Let r(o) = o**2 - 2*o - 1. Let s(x) = x + 6. Let d be s(-3). Let z be r(d). Suppose -2 = 4*f + 2*b, 4*b - 16 = -0*f + z*f. Which is smaller: -3/5 or f?
f
Let f = -49 - -221. Let q be f/(-220) - (-9)/15. Is q smaller than 1?
True
Let z(w) = w**3 + 17*w**2 - 16*w + 26. Let y be z(-18). Which is greater: y or -12?
y
Let x(b) = -2*b - 13. Let l be x(-9). Let g(m) = -m**3 + 4*m**2 + 6*m + 4. Let h be g(l). Let q be (4/6)/((-6)/h). Is 0 bigger than q?
True
Let c = -3 - 1. Let z be -3*3/((-9)/13). Let j = -18 + z. Is c greater than or equal to j?
True
Let x be (15 - 13)/((-10)/(-8)). Does x = 2?
False
Let j = 0 + 0.1. Let t = -443/13 + 34. Which is smaller: j or t?
t
Let c(n) = n + 4. Let l be c(0). Suppose 0 = h - 1 - l. Which is bigger: h or 4?
h
Let f be (-1)/(-3) - (-335)/3. Let d be (-10)/f - (-4)/(-14). Which is smaller: d or 1?
d
Let c = 10.7 - 10. Let k = -0.5 + c. Let x = 7 - 5. Is x less than or equal to k?
False
Let k be (4/(-10))/(84/(-65)). Let n = 10/21 - k. Let u = 10 - 9. Is u smaller than n?
False
Suppose -3*l - 4*i = -56, -58 = -4*l - 3*i + 5. Let n = 2/353 - -28932/2471. Let a = n - l. Which is smaller: a or 0.2?
a
Let l(o) = -o**2 + 7*o + 9. Let g be l(9). Let p be (4/6)/((-6)/g). Which is smaller: p or 4/9?
4/9
Let v = -13 - -17. Which is bigger: v or 3?
v
Let y = 2 + 0. Suppose -2*u - 24 = -5*u. Let z = -5 + u. Are z and y equal?
False
Let w be 1/((-4)/88)*(-1)/1. Is w less than 23?
True
Let o(r) = -r**2 + 8*r - 14. Let y be o(6). Is y greater than or equal to -0.94?
False
Suppose 0 = 4*v - v - 3. Let k be 2/(-14) + (-16)/(-14). Is v not equal to k?
False
Let v(d) = d**2 - 20*d + 35. Let p be v(18). Let t = 1 + -1. Is p less than or equal to t?
True
Let f = 31 - 24. Are f and 8 equal?
False
Suppose 12*x = 7*x - 10. Is x <= -2?
True
Let d be (-6)/(-4) + (-3)/(-6). Let p = d - 1. Let b be (-5)/20 - p/(-4). Which is greater: 1/3 or b?
1/3
Let j(o) = 3*o + 3. Let y be j(-1). Is y not equal to -1/59?
True
Let v = -0.26 + 1.36. Let h = -0.1 + v. Let t = h - 2. Is -2/5 >= t?
True
Let d = -64 - -194/3. Suppose -2*p - 4 = -r, -5*p - 4*r - 1 = 22. Which is smaller: d or p?
p
Let f(d) = -d - 3. Let w be f(-6). Let m be 3/9*w*-1. Let r = 13 - 8. Which is smaller: r or m?
m
Let m = -2 - -1. Let y(s) = -s**2 + 6*s + 2 - 6*s - 5*s. Let j be y(-6). Is m > j?
True
Let b = 11.2 - 11. Is b at least as big as 3/8?
False
Let x = 2116/63 - 232/7. Do x and 0 have the same value?
False
Let n = -0.42 - -0.02. Let s = 0.4 + -3.4. Let a = -2.9 - s. Which is smaller: a or n?
n
Let g be -3 - (101 + (-4)/2). Which is smaller: g or -103?
-103
Suppose 4 + 5 = -c - 2*j, -23 = -3*c + 4*j. Let i = 2720/7 - 387. Let n = 95/56 - i. Which is greater: c or n?
c
Suppose 14 = -5*i - 2*n + 6, -i = 2*n + 8. Suppose j + 0*j + 2 = i. Which is greater: j or 1?
1
Let p = -14 - -19. Is 6 >= p?
True
Let u(s) = s + 7. Let d be u(-6). Let p be -6*d*(-1)/1. Let z = p + -10. Does -4 = z?
True
Let w = 5.9 + -5.4. Let u = 0 - -0.2. Let v = u - 0.3. Is v != w?
True
Let y = -3.6 - -1.8. Let b = y - -2.1. Is b >= -6?
True
Let g be (-2)/9 + 2/9. Let q = 3 - g. Let i be ((-2)/q)/((-1)/(-3)). Which is bigger: i or 0?
0
Let p be (-1)/(-1 - 0/(-1)). Let w be (-1 - p)*5/(-10). Suppose 4*h - 24 = -5*d - 8, -4*d = h - 4. Which is greater: h or w?
h
Suppose -2 - 7 = g. Suppose 0 = -4*h + 2*h - 4*k - 12, 4*h - 4*k + 48 = 0. Is h equal to g?
False
Let r = -68/111 + -2/37. Is r greater than or equal to -6/11?
False
Let c = -58 - -83. Let x = c + -223/9. Which is bigger: -0.1 or x?
x
Let w = -10 + 18. Let a be 58/8 - -2 - (-10)/(-40). Which is bigger: w or a?
a
Let s = -0.05 + 0. Let v = s - 0.25. Let k = -1.7 + v. Is k less than 3/5?
True
Suppose -2*i - 5 = v, -3*v + i + i = -9. Let j be 18/(-105)*(v - -4). Which is smaller: -1 or j?
-1
Let w = 497 + -6955/14. Does w = 1?
False
Let l be (-3)/3*0/1. Let p be 0 + (4/(-15))/(-2). Is p not equal to l?
True
Let n = -3 - -2.7. Let m = -149/630 - -1/70. Which is greater: m or n?
m
Let i(b) = -6*b - 10 - 10 + 17. Let v be i(-4). Which is greater: -1/3 or v?
v
Let l(g) = -3*g + g + 3*g - 4. Let a be l(3). Is a smaller than 0.1?
True
Let m = 356/7 + -3958/77. Which is bigger: -0.3 or m?
-0.3
Let v = -12 + 9. Let w = 14/11 - 39/22. Is w != v?
True
Suppose 5*x + 5*r = -10, -x + 4*r + 11 = -6*x. Let p(d) = -d**2 + 3. Let c be p(x). Let n = c + -2. Does n = -8?
True
Suppose -4*y = -7*y - 6. Let c(n) = 2*n**3 - n. Let g be c(-1). Is g <= y?
False
Let v be 2/(-4)*2*-5. Let p(t) = 0 + t**3 + v*t**2 + 4 + 2 + 7*t. Let c be p(-4). Which is smaller: 2/5 or c?
c
Let w = 0.07 + -0.77. Let s = 0.6 + w. Is s smaller than 0.1?
True
Let z be ((-3)/(-5))/(5/25). Let o = -3 + z. Suppose -s + 2*s = o. Is -2/3 <= s?
True
Let a be 1/(-1)*(-52 - 2). Let v = -164/3 + a. Let u be (2/(-4) - 0)*0. Is v less than or equal to u?
True
Suppose -w - c + 5 = 0, 0 = -w + 2*c + 2*c - 15. Is 0.09 at least as big as w?
False
Let t(p) = -p**2 - 4*p + 2. Let i be t(-4). Suppose 4*h = -i*w + 4, 0*w = 2*h + 2*w - 6. Which is smaller: -8/5 or h?
-8/5
Let g = -12 - -9. Let k be g/90*(3 - 7). Is k not equal to 1?
True
Let h = 18 - 13. Let f = h + -8. Let j be (-2)/(-4)*(-18 - -12). Is j less than or equal to f?
True
Let c = 0.1 + 3.9. Let m = 32 - 26. Let i = m - c. Are 0.1 and i nonequal?
True
Let g = -0.28 - -0.28. Is g at most -5?
False
Let m be (-52)/(-12) + 4/6. Which is bigger: m or 10?
10
Let z be 6/27 + 34/9. Suppose -2*o + 12 - z = 0. Let n be 7/3 + o/6. Is n equal to 2?
False
Let w be (0 - 11/3) + 12 + -9. Which is smaller: w or -9/5?
-9/5
Let k be (168/(-77))/(-1 + 3). Suppose 0*d - 5*d = 3*y - 17, -d = -4*y - 8. Do k and y have the same value?
False
Let m = 0.1 + -0.3. Let w = -0.8 + m. Let j = -1 - w. Are j and 1/3 equal?
False
Let m = 24 - 22. Which is smaller: m or -1?
-1
Let d = 6.9 + -7. Let p = 19.64 + -20. Let k = 0.06 + p. Is d != k?
True
Let d(x) = 8*x + 14. Let z be d(-3). Is -2 at least z?
True
Let b(f) = -6*f**3 - 1 - f**2 + 0 + 7*f**3 + 2*f. Let r be b(1). Let x(w) = w**3 - 9*w**2 + 8*w - 1. Let s be x(8). Are r and 