49 - -210. Is f > o?
False
Let r = 6 - 52. Is -46 at most as big as r?
True
Let d = 236.7 + -237. Which is smaller: d or -0.18?
d
Suppose 4*v - 3*v = 2*g + 135, g + 66 = v. Which is bigger: g or -70?
g
Suppose 33*w - 37*w + 3 = o, -3 = -o. Which is greater: -12/17 or w?
w
Let k = 5 + -10. Let b be (-11 + 24 - 1)*(-2)/28. Do b and k have different values?
True
Let u = 0.12 - 2.62. Let h = 2.379 - -0.021. Let y = u + h. Which is smaller: 3 or y?
y
Suppose -3*n = -22 - 26. Suppose -8*o - 24 = -n*o. Is 2/7 greater than or equal to o?
False
Let n = 0.25 + -0.191. Let l = -0.359 + n. Which is bigger: l or -5?
l
Let i = 2.7 - -0.3. Let h = -219 + 219.6. Is i less than h?
False
Let p(l) = 3*l**2 + 16*l - 25. Let q(u) = u**2 + 8*u - 13. Let o(r) = -3*p(r) + 7*q(r). Let y be o(3). Is -10 bigger than y?
False
Let d = -4/25 - 13/75. Is d at most as big as 5/14?
True
Let z(h) = h**3 + 5*h**2 + 3*h - 5. Let l be z(-4). Let j be (-2 + 2)/(-4 - l). Suppose 2*t - 4*t - 8 = j. Which is smaller: -3 or t?
t
Let f = 30 + -45. Let r be (f/(-3))/(2 + -1). Suppose -41 - 4 = -r*n. Is n > 8?
True
Let s be ((-6)/7)/(-3) + 858/(-3150). Is 4 smaller than s?
False
Let h = -0.419 + -0.031. Let b = 1.55 - h. Which is greater: -18 or b?
b
Let h be (-16)/(-14)*(8 + -1). Suppose -h*r + 7 = -r. Which is greater: r or 4?
4
Let g = 0.484 + -2.484. Do g and 238 have the same value?
False
Let t be ((550/3)/(-11))/((-2)/(-66)). Is -549 greater than t?
True
Let s(q) = q**3 - 4*q**2 - 4*q + 6. Let h be 84/18 - 6/9. Let l be s(h). Let m be (-5)/(-25) - 18/l. Is m greater than 1/2?
True
Suppose 127 = 10*f + 587. Let a be (f/(-6))/(21/(-378)). Is -138 at most as big as a?
True
Let x be 234*(0/5 - 12/(-18)). Which is greater: x or 158?
158
Suppose 0 = 4*h + 4*n - 8, h + 0*n - 8 = 5*n. Let t be (h/(-22))/((-6)/8). Is t != -6/13?
True
Let x(m) = -6*m + 11. Let y be x(2). Do 2/1321 and y have the same value?
False
Suppose 2*u - 3*u - 2*z + 5 = 0, -u = 3*z - 7. Let w = -7 - -14. Suppose 4*d - w = 2*r + 3*r, -12 = -4*d. Are u and r unequal?
False
Let y be (-1 - -2 - -4) + -4 + 2. Let n be y/15*(-5)/6. Which is bigger: -1 or n?
n
Let f = 3 + -4. Suppose 15*c - 16 = 13*c. Let u be (-5)/(-220)*c/(-3). Which is bigger: f or u?
u
Let y = -0.85 - -0.15. Let j = -10 + 6. Let l = j + 1. Is y at least l?
True
Let o = -8 + 10. Suppose -r + 18 = o*r. Let b(f) = f**2 + 6. Let q be b(0). Is q > r?
False
Let w = -0.3 - -0.32. Let k = -3.002 - -3.002. Is k smaller than w?
True
Suppose 10*x = a + 8*x - 7, 8 = -a - 3*x. Let d = 27 - 15. Which is smaller: a or d?
a
Suppose 2*b - 30 = m, 33 = b + 4*m + 9. Let k be b/(-10) - 4/10. Let o be 4/3 - 52/21. Is o at most k?
False
Let m = 4556 + -4563. Let n(b) = -b**3 + b**2 - 3*b + 1. Let p be n(2). Is p at most as big as m?
True
Suppose 303 = d + 3. Suppose -6*s + d = -0*s. Suppose 1 = a, 4*g - a + 3*a = -s. Is -11 greater than g?
True
Let h = -883.2 - -883. Do -317 and h have the same value?
False
Let n(d) = 3*d**2 - 6*d - 30. Let r be n(0). Is r at least -32?
True
Let g = -6297/14 + 450. Suppose 6 = j + 2*j. Suppose 5*r = -5*u - 5, -4*u = -2*u + 4*r + j. Which is bigger: u or g?
g
Let o = -914/7 + 7249/56. Which is greater: o or 0.1?
0.1
Let r be 106/(3 + -1 + 0). Let c be (-15)/5 - 171/6*-2. Which is bigger: c or r?
c
Suppose 2*v + 66 = -v. Let g = v + 23. Let l(p) = -p**3 + 2*p**2. Let a be l(g). Which is bigger: -1/4 or a?
a
Let x = 1793 + -1797. Is 1 < x?
False
Suppose 3*h + 140 = 23. Which is greater: -38 or h?
-38
Let n(j) = -2*j**2 - j + 1. Let s be n(2). Suppose -2*h + 2*a = 12, -5*h - 4*a - 54 = -a. Let x be 45/(-36) + h/(-6). Which is bigger: x or s?
x
Let v(m) = m**3 - 5*m**2 + 16*m - 23. Let q be v(5). Is q != 55?
True
Suppose 130 = -5*s + 4*j, -4*j = -6*j + 10. Which is smaller: s or -18?
s
Suppose p = -7*j + 5*j + 5, -5*p + 25 = -4*j. Which is smaller: 3.35 or j?
j
Let s = -1079 - -1168. Which is smaller: 92 or s?
s
Suppose 58 + 530 = 4*w. Suppose -4*o + 261 = -w. Suppose -3*b - 33 + o = 0. Is 22 less than or equal to b?
True
Let b(r) = 57*r + 5. Let y be b(5). Let x = y - 11021/38. Are 1 and x unequal?
True
Let t = 0.01 + -0.027. Is -10 at least as big as t?
False
Let y = -5/958 - -3127/323804. Is y > 1?
False
Suppose -2 = n - 4. Suppose 2*b + 5*w - 3 = 0, w + 22 = n*b + 1. Which is smaller: b or 11?
b
Suppose -2*m = 4*d - 26, -4*m + 0*d + 4*d + 40 = 0. Let y = m - 7. Suppose 0 = 5*b - 5*w + 2 - 22, -b = -5*w + y. Which is smaller: b or 4?
4
Let y = -306.153 - -306. Let v = 103.847 - y. Is v not equal to 0?
True
Suppose 717 = 2*s - l, -3*l + 195 = -5*s + 1985. Which is bigger: 362 or s?
362
Let i be (2/(-8))/((-3)/10). Let q be (1/(-4))/(14/(-336)). Suppose -8 = -t + 2*t - 2*m, 0 = -2*t + 2*m - q. Which is smaller: i or t?
i
Let x be -3 - (-3 - 3/1056). Is -1 less than x?
True
Let m = -4/103 - -266/1545. Which is bigger: m or -0.39?
m
Suppose b - 119 = 4*d, -5*b + 0*d + 545 = 5*d. Which is bigger: b or 110?
b
Suppose 12 = 4*b - 2*l, 0 = 6*b - b - 5*l - 5. Suppose -b*y + 5*o - 2 = -22, -3*y = 3*o + 18. Is y greater than or equal to 6?
False
Let l = -2.869 - 4.131. Which is smaller: l or -12?
-12
Let v(k) = k**3 - 2*k**2 + 1. Let r be v(0). Is r < 5/17?
False
Let o = 642 - 643. Is o greater than -187?
True
Let i = -250 + 145. Is i smaller than -2/3?
True
Let n = -92 - -91. Which is smaller: n or 6/89?
n
Suppose 0 = 4*q + 27 + 17. Let m = q - -29. Which is smaller: m or 17?
17
Let p = 49.67 + -50. Let d = -2045 + 2044.87. Let h = p - d. Is h bigger than 8?
False
Let h = 3443 - 13843/4. Which is greater: h or -19?
h
Let t be -3*(8/28)/((-3)/(-21)). Let z be ((-26)/7 - t/(-21))/15. Which is greater: 0 or z?
0
Let o = 114 - 219. Are -105 and o non-equal?
False
Let p be (-4)/(-26) + (-7)/(-6552)*-4616 - -5. Suppose 0*x - 4*g = 2*x + 4, 3*x = -2*g - 10. Is p >= x?
True
Suppose -4*m + 6 = 46. Let c(z) = -z**3 + 17. Let o be c(0). Let t = o - 26. Are m and t nonequal?
True
Suppose 23*t - 4 = 21*t. Is 11/8 <= t?
True
Let u = -0.0602 + 0.0405. Is 1 smaller than u?
False
Let w be -10*17*736/230. Which is greater: w or -545?
w
Let n be -3 + (13 - 1 - 4). Suppose -3*m = q + 10, -n*q + 2*m - 14 = -m. Which is bigger: -5 or q?
q
Let h = 14 - 5. Suppose 4*x - 6*x = 4*g - 24, 0 = x - 5*g + h. Suppose -2*d + 2 = 2*d + 3*v, 4*v = -d - x. Does 6/5 = d?
False
Suppose c + 11*c - 60 = 0. Which is greater: c or -0.1?
c
Let h(m) = m**2 + 4. Let s be h(3). Let p = 237 - 225. Are s and p nonequal?
True
Let i be (-177)/9 - ((-16)/(-12) - 1). Is i at least as big as 1/9?
False
Let y = 0.03629 - 103.05629. Let m = y + 103. Which is smaller: 3 or m?
m
Let s(w) = 40*w**3 - w**2 - 3*w - 2. Let m be s(-1). Let f be ((-5)/4)/(5/m). Let a be 1/f*6 - 1. Is -1 not equal to a?
True
Suppose 2*o + 8*o = -60. Is o not equal to -75/13?
True
Let f = -67160/51 - -1317. Which is bigger: f or 0?
f
Suppose -2*c + c = a + 23, -c - 53 = -5*a. Which is greater: c or -7?
-7
Let s be (-5 - -3)*1007/(-38). Which is bigger: 478/9 or s?
478/9
Suppose 41*t - 4205 = -1171. Is t <= 74?
True
Suppose 26 = 8*c - 6. Suppose -u = -c*u + 51. Which is smaller: 18 or u?
u
Let t = 2535 + -2405. Are t and 0.2 equal?
False
Let l(w) = w**2 - 6*w + 8. Let s be l(3). Which is bigger: -7/10 or s?
-7/10
Let x(j) = -j**2 - 6*j - 2. Suppose 0 = 4*m - m + 18. Let o be x(m). Let s = -2 - o. Which is greater: s or -0.1?
s
Let k be (2/(-3))/((-1495)/(-39)). Do 1 and k have the same value?
False
Suppose -150 = -8*q + 5*q. Is q greater than 53?
False
Suppose 0 = 11*d - 4*d - 49. Let k be 2/(-10) - (d + -7). Is -0.5 != k?
True
Let k(b) be the second derivative of b**3/3 - 11*b**2 + 2*b. Let p be k(11). Suppose -3*n - w = 0, -n - n + w = p. Are 2/5 and n equal?
False
Suppose -34*u = -37*u + 2*a - 108, 0 = -4*a + 12. Which is greater: -30 or u?
-30
Let l = -2163114/361 + 5992. Is -2 at least l?
False
Let r = -579.6 + 534. Let v = r + 46. Which is bigger: -4/7 or v?
v
Let o(u) = u - 8*u**2 + 14 + 0*u**3 + 9*u**3 - 8*u**3 - 3*u. Let y be o(8). Which is greater: -9/10 or y?
-9/10
Let x = 102 - 101. Let w = -4553/13 + 350. Which is greater: w or x?
x
Let t = -162 + 78. Let q = t + 89. Which is greater: q or 4?
q
Let t = 1596 - 1464. Are 133 and t unequal?
True
Let f = -150.94 + 151. Is f > 0?
True
Let g(l) = l**2 + l - 13. Let z be g(-8