 - -152.2. Is m greater than q?
True
Suppose 3*u - u = 0. Let x = -2 + u. Let c be 8/(-12) - (-3 - x). Is -1 > c?
False
Suppose -u = -4*u. Which is bigger: 1/4 or u?
1/4
Let a = 2096 + -266190/127. Are 1 and a nonequal?
True
Let q(d) = 2*d**3 - 5*d**2 + d - 4. Let r be q(3). Are r and 55/7 non-equal?
True
Let m be (2 + -1)/(11/(-11)). Let i be m/((-9)/(-3) + -2). Is -2/5 <= i?
False
Suppose 3*b + p = -61, -5*b + p + p = 120. Let t be (48/4)/(42/(-76)). Let o = b - t. Is o at least 1/3?
False
Let b = 23 - 16. Suppose -17 = w - 4*o, -2*o + 3 + b = 0. Let y be 1/w + (-2)/6. Is 1 at most as big as y?
False
Let o = 25 - 28.9. Let r = 4 + o. Is 1/5 != r?
True
Let d = 0.1 - -0.1. Let n = -0.4 + 0.4. Let p = d - n. Are p and -0.1 equal?
False
Let s = 27 + -19. Let l = 39 - 41. Which is smaller: s or l?
l
Suppose n - 3*n + 54 = 0. Let u be (-7)/(-18) - 9/n. Which is smaller: u or 0?
0
Suppose 0 = 2*t - 3*x - 0*x + 8, 0 = -4*t + 2*x - 16. Let g(w) = w - 1. Let p be g(-5). Is t equal to p?
False
Suppose 0 = -0*k + 3*k + 3. Suppose -v = 2*v - 9. Suppose -m + 2 = 3*g, -g + v*g + 4 = -2*m. Does k = m?
False
Let v(j) = j + 6. Let o be v(-2). Which is greater: o or 16/5?
o
Let m(b) = 4*b**2 + 2*b + 1. Let s be m(-1). Suppose -5*i = g + g + 3, s*g = 3*i - 15. Is i equal to 1/3?
False
Let v be (3/(-2))/(15/(-440)). Is 44 at least v?
True
Suppose 8 = -3*x - 7. Let d = x - -3. Let o = -3.4 + 1.4. Is d at least o?
True
Suppose -25 = -5*l, 398 = 3*v - 5*l - 441. Let r be 6/10 + v/20. Is r at least 15?
True
Let p = -1/1160 + 2409/103240. Is 1 greater than or equal to p?
True
Let n = 8 - 7. Let c be (-8)/(-6)*21/182. Which is smaller: c or n?
c
Let u(s) = 5*s + 2. Let h be u(2). Suppose -5*p - h = -2*p. Let j(r) = r - 1. Let c be j(p). Is -4 at most as big as c?
False
Suppose 0 = -2*c + 5*c. Suppose 3*f = 6 - c. Suppose -j - 3*o = 0, -4*o = j - f*o. Which is smaller: -2 or j?
-2
Let m = 10 + -5. Let w be (-2)/m - 12/20. Is 0 greater than or equal to w?
True
Let d = -30 + 30.5. Which is smaller: d or 4?
d
Suppose -2*v - 18 = -3*n, 3*n + 0*n - 12 = v. Is v != -13/2?
True
Let y = -13 - -14. Suppose -y = c + 8. Is c not equal to -10?
True
Let a(x) = -x - 1. Let d(n) = n**2 - n. Let s(g) = -a(g) + 2*d(g). Let i be s(1). Let w be 1 + (-111)/39 + i. Which is smaller: w or 0?
0
Suppose 2*h + 3*h - 5 = 0. Let y(r) = r**3 + 2*r**2 - 3*r - 3. Let o be y(-2). Do o and h have different values?
True
Let q be 4*(168/80)/(-3). Let f be -4 + 0*2/4. Which is bigger: q or f?
q
Let d = 3.34 - 0.24. Let k = 3 - d. Which is bigger: 2/9 or k?
2/9
Let d = -0.7 + 0.7. Let p = 2.4 + -0.4. Is d > p?
False
Suppose -x + 2*a + 3*a + 16 = 0, 3*x = -5*a - 12. Is x less than -3/14?
False
Let x(o) = -4*o + 3. Let c be x(2). Let l = c - -7. Suppose l*b = 3*b. Do b and 3/7 have the same value?
False
Let i = 12/11 + -47/33. Let z = -21 + 103/5. Is i less than or equal to z?
False
Suppose 0 = 2*c + 2*c + 76. Is -19 at least c?
True
Let z(d) = d**3 - 3*d**2 - 3*d - 2. Let a be z(4). Suppose -3*v + 2 = -4. Do a and v have the same value?
True
Let n = 194 - 1356/7. Is n less than -1/4?
False
Let u(c) = -c - 9. Let k be u(-8). Let x = k - -2. Suppose -2*n - x = -n. Are -1 and n equal?
True
Let r be 25 + 1 + 0 + -1. Let p = r + -45. Let n be 8/15 - (-4)/p. Is 0.3 greater than or equal to n?
False
Suppose -60 = 3*b + 2*b. Let v be 26/b + (11 - 10). Is 0 less than or equal to v?
False
Let k(f) = f - 5. Let x be k(5). Let i be (-6)/21 + 64/231. Let p = -914/1155 + i. Which is bigger: x or p?
x
Let l = -164 - -381. Let b = 219.01 - l. Let p = -2 + b. Is p at most as big as -1/2?
False
Suppose 0*y + 5*x + 10 = -3*y, 5*x = 3*y - 10. Let d = -11 - -10. Which is smaller: d or y?
d
Let z = -5 + 7. Suppose -z*x + 4*x = 2*a + 4, 0 = 2*x - 3*a - 6. Which is smaller: 2/9 or x?
x
Let r = 45/23 + -2. Is -1 bigger than r?
False
Let t be 14/(-6) + (-14)/(-21). Let h(u) = -u**2 - 3*u - 1. Let a be h(-3). Is t <= a?
True
Let h(d) = -d - 1. Let p be h(-3). Suppose p = -3*i + 5*i. Which is smaller: 1/6 or i?
1/6
Let k = -4 - -8. Let w(j) = -j**2 + 6*j - 6. Let p be w(k). Let c be (-10)/(-12) - 1/p. Which is smaller: c or -1?
-1
Let m = 0.2 - 0. Let j = -17.1 + 17. Which is bigger: m or j?
m
Let v = -17/5 - -39/10. Let q = -4 + 1. Let m = -2 - q. Do v and m have the same value?
False
Let s be (1 - 2)*-1*3. Let u = 15 + -13. Suppose -u*h + 6*f - s*f + 3 = 0, 5*f = -2*h - 5. Which is smaller: h or 1?
h
Let x = 0.07 + -19.07. Is x less than or equal to 2/3?
True
Let p(o) = o - 10. Suppose 148 = 3*j + 1. Suppose 5*r - 3*c = j, 3*r - 2*r + c - 5 = 0. Let v be p(r). Which is smaller: v or -3/5?
v
Let g be 1/3 - (-13)/(-57). Which is smaller: -1 or g?
-1
Suppose 2*c = 15 - 1. Let m(r) = r**3 - 8*r**2 + 7*r. Let d be m(c). Do -3/17 and d have different values?
True
Suppose 3*f - 5 = -2. Which is bigger: -2/59 or f?
f
Suppose 4*u + 11 - 3 = 0. Is 2 bigger than u?
True
Let a = 132/3535 + 2/101. Is a < 1?
True
Suppose 2*u + 1 = -h, -3*u - 4*h = -0*u - 11. Let f be u*2/(-3) + -3. Which is bigger: f or 1/6?
1/6
Suppose -2*i + 6*i + 2*b = -142, 109 = -3*i - b. Which is smaller: -36 or i?
i
Let o = -121 + 1329/11. Suppose -5*s + t + 75 = 0, 2*s + 5*t = -s + 45. Let c = 16 - s. Which is smaller: o or c?
o
Suppose -1 = -3*f - 4. Which is smaller: 4/19 or f?
f
Let p be 1/2 + 1/4. Suppose 4 + 4 = 4*k. Suppose n = k*n. Is p less than n?
False
Let w = -803/7 + 115. Let o = -12 - -14. Which is bigger: w or o?
o
Suppose 3*g = g + 36. Suppose 5*y = -v - 0*v - 12, 0 = -4*v + 2*y + g. Is 1 <= v?
True
Let s(d) be the second derivative of d**5/20 + 5*d**4/6 - d**3/6 - 5*d**2 + 5*d. Let k be s(-10). Which is bigger: 1/3 or k?
1/3
Let v = 20 - 21. Which is bigger: v or -16?
v
Let s = 4 + 0.5. Let x = s - 4. Let u = 0.5 - x. Is u less than -1?
False
Let b be (-9)/52*(-9)/((-189)/56). Let d(c) = -c**3 - 4*c**2 - 4*c - 4. Let t be d(-3). Which is bigger: t or b?
b
Let v(b) = b**3 - 2*b. Let u be v(2). Let m be -6*(0 - (-17)/u). Let q = m - -26. Is 2 bigger than q?
True
Let t(k) = -k + 16. Let q be t(-11). Which is smaller: 29 or q?
q
Let f be (18/(-45))/(2/10). Let y be (-1)/(-6)*(-3)/2. Which is smaller: f or y?
f
Suppose s - 4*s + 3*p - 414 = 0, -p = -3*s - 420. Let z = -275/2 - s. Which is bigger: 4 or z?
4
Let b = -11 - -16. Suppose 2*u + 1 + b = 0. Is u bigger than -3?
False
Let b(h) = -h**2 + 5*h. Let v be b(5). Suppose -5*p = 2*k + 23, 3*p + 5*k - 3*k + 13 = v. Is -3 at most p?
False
Suppose k = 3*k - 2. Which is smaller: 4/15 or k?
4/15
Suppose 4*o + o + 85 = 0. Let x = o + 15. Is x <= 1?
True
Let u = 19 - 17. Suppose -u*j + 0*r = -r + 4, -j - 4*r + 7 = 0. Is j at least as big as 0.14?
False
Suppose -50 = -4*g - g. Which is bigger: g or 8?
g
Suppose 4*t = 5*t - 7. Let k = t + -5. Is 3 bigger than k?
True
Let j = -1.4 + 1.3. Let g = 0.16 + 0.04. Let k = g - 0.1. Which is greater: k or j?
k
Let i be (-38)/3*(-1 - -4). Let a be -2 - (3 + 188/i). Does -1 = a?
False
Let v = 5 - 9. Let i = v + 3.91. Which is greater: 1 or i?
1
Suppose 51 = 2*o + 65. Is o greater than -7?
False
Let n be 44/(-10) - (-12)/3. Is n less than 4/3?
True
Let r(v) = -2*v - 1. Let x be r(2). Let f(a) = -a**2 - 4*a - 1. Let h be f(-3). Suppose -h = -4*k - 18. Are k and x nonequal?
True
Let b = -8 - -5. Let k be (6/(-5))/(b/10). Let w = 0.008 + -0.008. Which is smaller: k or w?
w
Let v = 16/41 + -761/164. Is v at most as big as 2/7?
True
Suppose 4103 = -5*d - 1552. Let t = d + 610. Let z = 9901/19 + t. Is z >= 0?
True
Suppose -h + 3*h - 10 = -2*k, 0 = 4*k - 2*h + 10. Which is greater: k or 3/26?
3/26
Let u = 6 - 8. Suppose 2*i - 7*i + 10 = 0. Suppose -y + 3*y + i = 0. Which is smaller: y or u?
u
Suppose 0*i = 2*i - 2*v - 4, 6 = 5*i - 4*v. Which is smaller: i or -12/11?
i
Let v be -1 - (4/2 + -7). Suppose 4*f = 4*q + 8, -v*f + 7*q = 4*q - 3. Let y be (-3)/(-30)*6*(-5)/2. Which is bigger: f or y?
y
Suppose 2*h = 3*h. Suppose 0 = -h*a - 6*a + 12. Which is smaller: a or -2/7?
-2/7
Let m = 12.4 + -12.22. Which is smaller: m or -3?
-3
Let y = 36694.03 - 36513. Let x = 178 - y. Let j = x + 0.03. Is 0 less than j?
False
Suppose 9 = -3*l - 3*v, 4*l - 4*v + 5 = 25. Suppose 0 + 5 = 3*c + 5*d, 3*c + l = d. Which is smaller: c or -0.3?
-0.3
Suppose 268 - 68 = 5*f. Suppose 4*q - 4*k = -8*k, 5*k = 5