v. Let m = 1 + -0.5. Is j greater than or equal to m?
False
Let w = 202 + -202.1. Suppose -12 - 16 = 4*r. Which is bigger: w or r?
w
Let j = 286/5 + -57. Let v = 3.2 + -2.1. Let i = -0.9 + v. Do j and i have the same value?
True
Let x(a) = -25*a**2 + 5*a + 6. Let m be x(-2). Which is smaller: -98 or m?
m
Suppose 0 = -3*z - 0*z + 2*g - 36, 4*g = 3*z + 42. Which is bigger: z or -7?
-7
Let l(v) = v**3 + 5*v**2 + 8*v. Let z be l(-4). Is -6 > z?
True
Suppose 5*t = 14 + 16. Let q = 8 - t. Suppose 0*x + q*x = -5*v + 21, 4*x - 36 = -4*v. Which is smaller: 0.1 or x?
0.1
Suppose -6*k - 6 = -3*k. Let u be (k*(-1 + 0))/2. Which is bigger: 2/15 or u?
u
Suppose 0 = d - 4*d - 30. Let r be d/(-30) - 70/(-6). Let p = -16 + r. Which is bigger: -5 or p?
p
Let c be (-245)/(-10)*4/2. Suppose -c = -d + 8*d. Which is smaller: -8 or d?
-8
Let k(z) = -z**3 - z - 1. Let f be k(0). Let g = -1996/27675 + -2/1025. Does g = f?
False
Suppose -4*g = -0*g - 8. Suppose -2*u - 25 = -3*c - g*c, 0 = -3*c + u + 15. Let j(y) = y**3 - 5*y**2 - 6. Let o be j(c). Which is smaller: o or -3?
o
Suppose 2*v - 3 = -v, 0 = 3*d + 5*v + 1. Let x be 24*(-3)/18*-3. Let o = x + -13. Are d and o equal?
False
Let d = -0.09 - -1.19. Let h = -1.25 - -0.05. Let m = d + h. Are -1/8 and m nonequal?
True
Suppose -31 + 147 = -4*a. Let t = 50 + a. Suppose -6 = -d - 3*n, -2*d = 2*d - 3*n + t. Which is smaller: d or -2?
d
Let j = -1.57 + 1.37. Let q be (5 + 0)*30/(-25). Which is smaller: q or j?
q
Let i(u) = 20*u + 32. Let y(a) = -7*a - 11. Let c(q) = -6*i(q) - 17*y(q). Let o be c(-5). Let s be (-15)/(-60) - 53/244. Which is smaller: s or o?
o
Suppose 4*k - 2*k = 4. Let g(x) = -5 + 9*x + x**k - x - 5. Let s be g(-9). Which is smaller: s or -3?
-3
Suppose 3*o = 5*n - 38, 0 = o + 3*o + 5*n + 74. Let t(w) = w + 20. Let s be t(o). Let h = 6 - s. Is h less than or equal to 2?
True
Let r = 13 + -3. Let x be 51/(-7)*20/(-15). Let m = x - r. Is m equal to -3?
False
Let m be (10 - 11)/(4/324*-1). Are 71 and m nonequal?
True
Let y(m) = -m**2 - 3*m + 5. Let k be y(-4). Let u be 1*-2*k/(-2). Suppose 7*g + 22 = 1. Which is smaller: u or g?
g
Let s be (-18)/(-8)*40/30. Let i = 19.93 - 20.1. Which is greater: s or i?
s
Suppose 2*s + 2*q - 17 = s, 5*q = s - 17. Suppose s - 25 = 2*v. Does -8 = v?
False
Let r be (-4)/(-14) + 52/14. Let u(i) = -i**3 + 8*i**2 - 17*i + 4. Let b be u(4). Does b = r?
False
Let m = 90 + -49. Let v be (72/10 + 10 + -9)*5. Do m and v have different values?
False
Let k(q) = -4*q - 32. Suppose -27 = -5*l + 8*l. Let b be k(l). Let p(s) = s**3 - s**2 - s + 1. Let d be p(0). Which is smaller: d or b?
d
Let o be ((-30)/21)/(-5) + (-24)/(-14). Let i = 9.04 + -0.04. Let p = i - 3. Which is bigger: p or o?
p
Suppose 14*d - 12*d = -2*r - 466, 0 = -2*r - 5*d - 469. Does -232 = r?
True
Let w = -56 - -51. Let g be ((-15)/(-10)*-4)/(w*2). Is g less than or equal to -7?
False
Suppose 10*i - 1661 - 1139 = 0. Which is greater: 278 or i?
i
Let i be ((-104)/(-10))/(171/1470). Let q = i + -280/19. Let n = -74 + q. Which is smaller: n or -8?
-8
Let m = 18927 + -18929. Let w = 0 + 0. Is w equal to m?
False
Let f be (1/(-3) - -1) + (-1456)/132. Is -11 != f?
True
Suppose 2*l + 3*l + 10 = 0. Let f = 5 - l. Suppose -2*x + 2*v = 20, -f*x + 3*x = 5*v + 4. Which is bigger: x or -8?
x
Let y(s) = s**3 - 7*s**2 - 11*s - 20. Let b be y(10). Suppose -4*m - b = m. Which is greater: m or -33?
-33
Let b(p) = -6*p**2 - p - 7. Let m be b(-2). Is m greater than -36?
True
Let b = -15 + 5. Let c = b - -2. Let z = -12 - c. Which is greater: -2 or z?
-2
Suppose 824*l + 39634 = 805*l. Which is bigger: l or -2085?
-2085
Let l be -3 + -15*(-10)/42. Let z be (4/(-5))/(12/360). Let q = 26 + z. Which is greater: l or q?
q
Let r(q) = q**3 - 7*q**2 + 2*q - 13. Let v be r(7). Let p = 5389/546 - 69/7. Is p not equal to v?
True
Let n = 3700 + -77732/21. Is n not equal to -2?
True
Let i(j) = 12*j - 12. Let s be i(-5). Let w be 6/(-8) - 30/s. Is w equal to 1?
False
Let z be 3/4 - 1 - 2938/(-104). Let o = z - 31. Which is greater: -21/10 or o?
-21/10
Let p be -6*(-3)/261 - (-1293)/(-667). Is -3 < p?
True
Let b be 5/(-6) + 1 - 0. Let l(y) = -8*y**3 - 2*y**2 + 2*y + 1. Let n be l(2). Let a = -68 - n. Which is greater: a or b?
b
Let y(w) = -4*w - 119. Let b be y(-30). Are b and -2/105 non-equal?
True
Let j = 67/6 + -21/2. Suppose -3*f + 2 = -1. Which is smaller: f or j?
j
Let r = -56.6 - -62. Let c = 0.4 - r. Are 3 and c unequal?
True
Let g = 5 - 3.3. Let u = g + -1.8. Which is greater: u or 1/21?
1/21
Let u = 7 - 1. Let y = -0.091 + -0.019. Let h = y + 0.21. Which is bigger: u or h?
u
Let s(x) = x**2 - 1 - 3 - 6*x - 8*x. Suppose -165 + 555 = 26*l. Let q be s(l). Is q >= 11?
True
Let w = -1647 + 1655.97. Let i = -1.57 + 1.6. Let l = i + w. Are l and 2 unequal?
True
Let z be -4 + (1 - -4) + 3. Let q be (-4 - -2)/(2 - z). Let d = 3 - 2. Is q at most as big as d?
True
Let d = 255847/32248 - 230/29. Is d smaller than 1?
True
Let w = 1/249 - 8219/498. Which is smaller: -17 or w?
-17
Suppose -2*k = -7*k - 20. Let h be ((-36)/(-24))/((-2)/k). Which is smaller: h or 5/3?
5/3
Let a(m) be the first derivative of -m**4/4 - 4*m**3/3 + m**2 - m - 3. Let t be (8/6 + -2)/(6/45). Let u be a(t). Is u greater than 15?
False
Suppose -3*a - 2*h + 22 = 0, a - 14 = -4*h + 2*h. Let u = 0 + a. Suppose -3 = -u*n + 5. Which is smaller: n or -1.4?
-1.4
Let k = 127 - 145. Which is bigger: -7 or k?
-7
Let w(o) = o**2 + o - 24. Let u be w(0). Suppose -4*v + 240 = -14*v. Do u and v have different values?
False
Suppose -2*p - 24 + 79 = m, 0 = 2*p - 3*m - 75. Suppose 8*v + p = 13*v. Suppose 0 = -v*c + 2*c. Is -3/16 bigger than c?
False
Suppose -3*x - 5*i - 991 = -206, -3*i = 4*x + 1032. Let b = x - -3313/13. Is b >= -1?
True
Let x = -2924/10185 - -2/1455. Is -2207 <= x?
True
Let n(c) = -25*c + 44. Let d be n(2). Which is greater: -44/9 or d?
-44/9
Let g = 365/492 - -1/123. Suppose -2*c + n + 7 = 0, 0 = 5*c + 4*n - 0*n - 11. Which is smaller: g or c?
g
Let o be (-56)/14 + (1029/38)/7. Which is greater: o or 0?
0
Let b be 9036/33 + (-10)/(-55). Let w = b - 1377/5. Let o be 1 + (-3)/(3/2). Which is bigger: w or o?
o
Let y(m) = 226*m**2 - 10*m - 10. Let d be y(-1). Which is greater: d or 451/2?
d
Suppose i = -0*i. Let c be (1 + i)/(2/14). Suppose m + 5*x = -9, -5*m + c*x = 2*x + 45. Which is bigger: m or -8?
-8
Let z = -4/41 - -102/205. Is -0.0892 equal to z?
False
Let z be 54/40 + (-15)/(-60). Which is bigger: -2 or z?
z
Let o = 158.02 - 158. Let g = o + -3.02. Is g at most as big as 1/6?
True
Let r be 20/((-10)/2) - -14. Is r at least as big as 9?
True
Let n(b) = -b**3 - 45*b**2 + 71*b + 1151. Let v be n(-46). Let h = 1.9 + -2. Let c = h - 0. Which is smaller: c or v?
c
Let r be 45/39 - 1 - (-37)/13. Let n be (r/(-12))/(6/2). Which is smaller: 0 or n?
n
Let q = -0.089 + -0.161. Let k = q + 0.45. Is -33 at most k?
True
Let n = -4.4 + -15.6. Let h = n - -21. Which is smaller: -2/17 or h?
-2/17
Suppose -6*z - 10 = -8*z. Let s be z/(-5) + 9/(-21). Are s and -2 unequal?
True
Let p = 947/571 + 2152949/10849. Let k = p - 200. Let d be -2*2/(-8)*-2. Which is bigger: d or k?
k
Let z be ((-102)/190)/((-13)/(520/16)). Which is smaller: z or 1?
1
Suppose -2*y - 10*y = 156. Is -13 less than y?
False
Let y be 0/(-5 - (-7 + 3)). Which is bigger: y or 19/5?
19/5
Suppose -d - 32 = 7*d. Let y be ((-42)/d)/7*2/1. Is 3 smaller than y?
False
Let h be 43/(-3)*3*-1. Let r be (261/145)/(6/20) - -38. Does r = h?
False
Suppose -3*s - 18 = -q, 8 = -q - 3*s - 4. Suppose -h + q*k - 2*k = -8, -8 = -3*h - k. Let b be ((-6)/9)/(-1)*6. Is h bigger than b?
False
Suppose -t + 46 = -4*k, -5*t - 2*k = -10*t + 176. Is 35 less than t?
False
Let q = -261 - -201. Is -1 less than q?
False
Let k be (6/(-8))/((75/40)/(-5)). Is k less than -26?
False
Suppose 2*m = a - 10, -2*a + 7*m = 5*m - 10. Let o = -75/16 + 873/176. Which is bigger: a or o?
o
Let q(k) = -2*k**3 + 2*k**2 - 4*k + 2. Let m be q(1). Is -2/29 bigger than m?
True
Suppose -2*z - 123 = -0*c - c, 5*z = -2*c - 303. Let k = 95 + z. Which is smaller: k or 35?
k
Let o(s) = -s**3 + 6*s**2 - 2*s + 5. Let u be o(5). Let c = 33 - u. Suppose 0 = 3*k - 8*k + 65. Is k >= c?
True
Let m be 108/8 - (-2)/4. Suppose 19*z - 35 = m*z. Suppose 0 = y - h - z - 2, 5 = -5*h. Which is greater: