?
False
Suppose -m = -6*m + 10. Suppose 0 = -n - m - 1. Is n greater than -1?
False
Let u be (-30)/(-21) + (-6)/14. Is 2/7 != u?
True
Suppose -4*f = 5*k - 16, 0*f + 8 = -4*f + k. Is f smaller than 2/9?
True
Let o be 2/3 + (-77)/21. Let c = o - -5. Is 1 greater than or equal to c?
False
Suppose 5*k = 2*z + 14, -z - 4*k = -2*k - 11. Suppose -3*d + d = -8. Suppose s + 2 = d. Is z greater than or equal to s?
True
Let o be 16/(-168)*14/(-10). Is o greater than or equal to 0?
True
Let g(x) = -5*x**2 - 1. Let v be g(-1). Let l(c) = -c - 5. Let o be l(v). Let b = 73 - 805/11. Is o > b?
True
Let y be (-2)/(-11) - (-192)/(-572). Which is smaller: 0 or y?
y
Let h be 252/81 + 1 + -4. Do h and 0 have the same value?
False
Let s = -9 - 12. Is -1/3 at most s?
False
Let p be 3/(-4) - (-15)/20. Suppose p = s + c - 4, -1 + 6 = 2*s + c. Which is bigger: -1/10 or s?
s
Let s(h) = -h + 9. Let q be s(5). Suppose -5*c = -q*c - 2*t + 11, 7 = 3*c + 2*t. Is c greater than or equal to -2/11?
False
Let q(v) be the second derivative of v**3/3 - v**2 + 2*v. Let d be q(3). Which is greater: d or 3?
d
Let q = -1 + 4. Suppose -3*r = q*c - 9, -3*c = -2*r - 10 - 4. Suppose 5 = -3*j + 14. Which is smaller: j or c?
j
Suppose 0 = 3*k + 2*k. Suppose -3*r - 2*j - 142 = 0, r + 3*j = 6*r + 243. Let c be 36/r*(-8)/15. Which is smaller: c or k?
k
Let o be 24/(-40) - (-236)/10. Which is greater: o or 24?
24
Let i be -2 - (0/(-1) - 1). Let d = -23/30 + 1/6. Is d at least i?
True
Let c(i) = i**3 - i**2 + 16. Let u be c(0). Which is smaller: 15 or u?
15
Let g = 14 + -5. Let m be 25/g - (-2)/9. Which is greater: 2 or m?
m
Let k = 6 - 4.5. Let u = -0.8 - -0.3. Let w = k - u. Which is bigger: w or -1?
w
Let f = 17.2 + -17. Which is smaller: 0 or f?
0
Let n = 0.6 - 5.6. Let g = -4.8 - n. Is 2 smaller than g?
False
Suppose 4*h + 0*b - 2*b + 32 = 0, -3*h - 33 = 3*b. Which is smaller: h or -7?
h
Let l be ((-28)/8)/(-7)*-69. Let g = l + 349/10. Which is greater: 0 or g?
g
Let m(i) = -i**3 + 10*i**2 + 25*i - 8. Let r be m(12). Let p = 6 - 0. Let t = -1 + p. Is t at most as big as r?
False
Let c(a) = -a - 4. Let h be c(-3). Let s(u) = u**2 + 5*u + 5. Let r be s(-5). Let k be ((-3)/r + 1)*5. Is k equal to h?
False
Let r(u) = -7*u - 7. Let j(a) = 3*a + 3. Let h(o) = -5*j(o) - 2*r(o). Let p be (-2)/(1 + -3)*-1. Let z be h(p). Are z and 0 non-equal?
False
Let s be 9/18 + 3/(-2) - -2. Is s at least as big as 6?
False
Let c = -1 + 2. Suppose -4 + c = -2*b + v, 3*v + 5 = 5*b. Suppose -b = -4*t - 3*j, j - 5*j = 4*t - 4. Is t > 1?
False
Let z be 8/6 + (-1 - 4/(-6)). Which is smaller: 4/15 or z?
4/15
Let d be 1 + 0 + -13 + 15. Is d smaller than 1?
False
Suppose 5*p - 15 = 0, -2*i + 4*p - 10 = -0. Let y = -29.9 - -32. Let o = y - 2. Is i <= o?
False
Suppose 3*u - 2 + 5 = 0. Let t = u + -1. Which is smaller: t or -1?
t
Let u = 5 + -3. Let z(o) = -3*o**2 + 2*o - 1. Let h be z(2). Let p = 8 + h. Is u equal to p?
False
Let w be -44 - -7 - (15/(-3) - -1). Do -33 and w have the same value?
True
Let n(o) = 3*o**2. Let b be n(2). Suppose l + 4*d = 17, 0 = -l + 5*d - b + 2. Which is smaller: l or 6?
l
Let l = -1 - 1. Let s(n) = n**2 - 6*n - 4. Let d be s(6). Let h = l - d. Is 1/2 greater than h?
False
Let o be 1 + 0 + -1 + -5. Suppose 0*l + 3*l + 4*q + 14 = 0, -2*l - 7 = 5*q. Which is smaller: o or l?
l
Suppose -12 = -3*s - 4*l - 3, -3*s + 5*l + 36 = 0. Suppose s = -3*z - 2*z + 3*p, 13 = z + 3*p. Which is smaller: z or 2/3?
2/3
Let d be (-1432)/70 + (-2)/5. Let k = -1300/63 - d. Let z = 1.7 + -1.4. Is z at least k?
True
Let t(m) = -2*m - 6. Let d be t(-3). Let p(f) = -f**3 - 5*f**2 - f - 3. Let r be p(-5). Let n be r + 2/(2 + d). Are n and 3 nonequal?
False
Let i = -311 - -313. Let x be 0 + 2/2 - 5. Does x = i?
False
Let v = -182 + 181. Is -2/69 at least v?
True
Let o = -32805/4 - -8302. Let m = o + -100. Let n = 0 - -0.1. Is n <= m?
True
Suppose -2*u = -0 - 6. Let t be 0/u*2/6. Which is bigger: 2/9 or t?
2/9
Let j(w) = 247*w. Let t be j(1). Let p = t + -2719/11. Which is greater: p or 0?
0
Let f be (33/27 - 1) + 0. Which is smaller: -1 or f?
-1
Let t = -7 - -7.5. Is 2/5 greater than or equal to t?
False
Let t = 380 + -12542/33. Is t greater than 0?
False
Suppose 4*q - 26 = 2*h, -2*q + 3*q + 3*h - 17 = 0. Let p = -93 + 66. Let y be q/p*(-9)/12. Is y at most 0?
False
Let t(h) = 2*h + 4. Let j be t(-3). Let r = j - -1. Is r >= -1?
True
Let a = -6.1 - -5.1. Which is smaller: a or -4?
-4
Let c = 0.8 + 0.2. Let q(i) = i**2 + 6*i + 5. Let l be q(-4). Which is smaller: l or c?
l
Let f = -253/20 + 72/5. Is 2 smaller than f?
False
Suppose 10 + 6 = -4*y. Let k = 4 + -8. Let c = y - k. Are -4/3 and c equal?
False
Let m(n) = -n**2 + 5*n - 3. Let l be m(4). Suppose -2*x + 0*x = 5*u - 15, 2*u = 6. Suppose x = -3*c + 6*c + 3*z, -3*c + z - 4 = 0. Is c at least l?
False
Let q = -8726/203 + 1275389/4060. Let m = 271 - q. Which is smaller: 1 or m?
m
Let n be (-12)/(-10)*(-20)/(-3). Let w be (-3)/(-12) - 20/n. Is w < -2?
True
Suppose 3*p = 6*p. Let o(d) = d**2 + 4*d + 11. Let u be o(-6). Suppose 0*s + s - 20 = 5*i, i + u = 4*s. Do p and s have the same value?
False
Let g = -0.32 + -0.17. Let x = g + -0.21. Which is greater: x or -2?
x
Let w be (-1060)/(-504)*(-6)/(-20). Let p = 1/28 + w. Which is bigger: p or 3/7?
p
Let o(t) = -t**3 - 3*t**2 - t + 2. Suppose 0*s - 5*l = s - 18, -3*s = 4*l - 10. Let i be o(s). Is 2 at most as big as i?
False
Let d be (0*1/3)/1. Suppose d = 5*l - 5*v, 4*v = -0*l - l + 10. Do l and 2 have different values?
False
Suppose 5*u + y - 75 = 3*y, 83 = 4*u + 3*y. Let o = -169/10 + u. Suppose 0 = -4*c - 2*t + 4, -3*c = -7*c - 3*t + 8. Which is bigger: c or o?
o
Let c be 1*(-4)/(-6)*6/(-92). Is c at least as big as 0?
False
Suppose 3*w + y = -4*y + 18, 2*y - 10 = -4*w. Suppose -3*l + 2*o = l - 6, w = -l - 2*o. Let f = 3 + -2. Is f at least as big as l?
True
Suppose r = -m - 1, -4*m - 9 = -3*m + 3*r. Suppose -n + m*n = -12. Which is greater: n or -7?
n
Suppose 0 = -5*o - 10 - 0, -4*o = -2*t + 14. Suppose -2*j + 5 = t*j. Let k be 2*3/6*j. Which is greater: 3/5 or k?
k
Let b = 0.2 - 0.3. Let h = -0.417 - -0.267. Is b less than h?
False
Let w = 5956227794/27259 + -218505. Let g = w + -39062138/245331. Let f = g + 159. Which is smaller: 1 or f?
f
Let w be -2 + (3 - (1 - 0)). Suppose w = -3*d - q - 1, d + q + 4 = 1. Which is smaller: -1/4 or d?
-1/4
Suppose -2*f = -10*f. Do 1/87 and f have the same value?
False
Let p be (-2)/1*(-16)/104. Which is bigger: p or 2/9?
p
Let k = -17/297 - -4/27. Let r be (1/2)/((-5)/(-110)). Suppose 9*g = r*g. Is k greater than or equal to g?
True
Let l = 0.06 + 0.94. Let k = 1 + l. Which is smaller: k or -1?
-1
Suppose -10 = 3*w + 5*k, 3*w - 19 - 1 = k. Suppose -2*z - w + 3 = 0. Which is bigger: -2/7 or z?
-2/7
Let j be (3 - -1)/((-2)/(-1)). Let v be (4 - (3 + 0)) + 2. Which is smaller: j or v?
j
Let z = -2.17 + 1.08. Let x = -0.09 - z. Is 4 at least as big as x?
True
Let j = 0 + 2. Let f = 10 - 6. Suppose 6 = f*z - j*z. Are 3 and z non-equal?
False
Let z = 0.38 + -0.38. Suppose 3*h - 1 - 5 = 0. Let o be -1 + (1 - (h + 1)). Is o > z?
False
Let o = -5.1 - -5. Which is smaller: 1.8 or o?
o
Suppose 3*p = u - 2*p - 14, 4*p = -3*u + 4. Suppose 2*l = -4*z - u, 2*l + 16 = -l + 4*z. Let o = l - -3. Does o = 1/6?
False
Suppose 0 = 5*w - 8 - 2. Which is smaller: 12/5 or w?
w
Let n = -81 - -100. Let t = 10 + -7. Suppose 4*q + 2*l = -t*l + n, 4*q - l = 1. Which is bigger: 2/3 or q?
q
Suppose m - 4*c + 4 = -m, 0 = -m + 4*c - 4. Let v(j) = 19*j**3 - 2*j**2 - 2*j - 1. Let n be v(-1). Let y be m - -2 - (-28)/n. Which is bigger: 0 or y?
y
Suppose -3*u = -2*d + 3, 3*u = 3 - 12. Is d smaller than 1?
True
Let j(s) = -s - 1. Let d be j(-2). Let k be 20/6 - (-8)/12. Suppose 0*n = -4*n + k. Are n and d equal?
True
Let t = 49 + -35. Which is smaller: 15 or t?
t
Let r = -108 + 107. Let t = -4181/8 + 522. Is r equal to t?
False
Let v be 2/(-7) + (-390)/(-42). Is v < 10?
True
Let u be 1/(-2)*(-280)/25. Which is bigger: u or 6?
6
Let z(x) = -x**3 + 3*x**2 + 2*x - 3. Let j be z(3). Suppose 0 = -4*a + c - 2 + 12, -14 = -3*a + 4*c. Is j > a?
True
Let c = 0.8 + -0.87. Let d = 0.08 - 0.11. Let o = d + c. Are 2 and o equal?
False
Let j = -12 - -7. Let i = -0.2 + 4.2. Let o = i + j. Is o >= -2/9?
False
Let o be -1 + (-134)/(-