 = o - 5*v + 40. Are -40 and o unequal?
False
Suppose -2*k - 4*l + 3*l = 19, 0 = -l + 1. Let m be 5*6/k*1 - -4. Is m smaller than -16?
False
Let f = 6728 + -1782918/265. Which is smaller: f or -1?
-1
Let l = 9473/95 + -497/5. Do l and 2.7 have the same value?
False
Let t = 7 - 5. Let r be -4*(-4 + t) - -1. Let a be 3/r - (-8)/3. Which is greater: a or 16/7?
a
Suppose -19*j - 689 = -24. Is j greater than -388/11?
True
Suppose 9*v + 53 = -1. Let j be ((-4)/3)/(v/(-36)). Is j equal to -9?
False
Suppose 2*w + 42 = -5*o + 5*w, 4*o - 4*w = -40. Let v be o/(-1 + 5/2). Let k be (1/6)/(4/6). Which is smaller: k or v?
v
Let y be (-5 - 1)/(11 - 9) + 3. Suppose y = 5*n - 11 + 1. Which is smaller: -1 or n?
-1
Let u be -9 + 170/20 + 1730/(-4). Which is greater: -432 or u?
-432
Let j = 2.1 - 0.7. Let f = -4.6 - j. Is 0 at most as big as f?
False
Let q = 1572 - 860. Which is smaller: q or 713?
q
Let v = -1 - -2. Let q(k) = -k**3 - 10*k**2 - 3*k - 5. Let h be q(-10). Suppose -2*f - 3*f + h = 0. Which is smaller: f or v?
v
Let p be (-1)/6 + -3 + (-20)/(-120). Which is greater: p or -10?
p
Let m = 14253/248 - 161/62. Let h = -55 + m. Is 2 smaller than h?
False
Let g = 1/74 - 211/10138. Which is smaller: 1 or g?
g
Let p = 0.05 + -0.06. Let a = 188.9 + -189. Is a less than p?
True
Let t = -30237 + 32716437/1082. Is t greater than 1?
False
Let k be 0/2*(-2)/2. Let j = k - -1. Let u be 33/7 - (14 + -10). Do u and j have different values?
True
Let d = 1737 - 1734. Suppose 4*s = 2*c - s + 107, 5*c = -3*s - 190. Let u be c/(-21) - (-6)/(-21). Which is greater: u or d?
d
Let b = 1.8874 - -0.0126. Is b greater than 2/7?
True
Suppose a + d + 10 = 0, 3*a - 3*d + 3 + 3 = 0. Let r be (a - -9)*(-24)/(-63). Is r at most 2?
True
Let t be 10/(-15) + (-22)/3. Let v = t + 11. Suppose 3*z = -0 + v. Is 1 less than z?
False
Suppose j - 2*j + 211 = -3*g, 2*j = -4*g - 298. Is g at least -73?
True
Suppose -3*a - 232 + 298 = 0. Is a bigger than 14?
True
Let g = -2251.9 - -2252. Is g at most 276?
True
Suppose 4 = 5*s + 3*m + 37, 2*s = -2*m - 14. Which is greater: s or 3?
3
Let p = 12754/3 + -4289. Let j = p - -38. Is j not equal to -1?
True
Suppose c + 3*v = -0*c - 19, -3*v + 46 = -4*c. Which is greater: c or -10?
-10
Suppose -5*n - n - 42 = 0. Let x(q) = q**3 + 9*q**2 + 14*q + 3. Let v be x(n). Suppose f - 2*h - 27 = 3*h, -v*f - 2*h = 4. Which is smaller: f or 0?
0
Let r(d) = -d**3 - 7*d**2 + 16*d - 23. Let x be r(-9). Which is smaller: x or -36?
-36
Let v be (2/172)/(3/(-6)). Let g = -104 + 227. Let u = g + -123. Is v >= u?
False
Let n = -2.2 - -6.7. Let z = n - 4.62. Which is smaller: 1/4 or z?
z
Suppose 39 = -5*s + 469. Let b be s/(-140) - (-1)/2. Let d = 11/35 + b. Does d = 1/4?
False
Suppose 2*r + 32*r = -15096. Which is smaller: r or -443?
r
Let j be (-1300)/7 - (2 + 1 - 3). Let y = j + 186. Let o = 40 - 119/3. Is o smaller than y?
False
Let x = 0.235 - -0.015. Let j = x + 0.05. Is -9 >= j?
False
Suppose 16*v + 9*v = 7*v. Which is smaller: 34 or v?
v
Suppose 0 = 11*q - 16 - 6. Suppose -7 = q*a - 13. Is 12/5 != a?
True
Suppose 0 = -2*f + 3*f - 14. Suppose 2*d - 10 = -f. Let g = 103/117 - 10/13. Which is bigger: d or g?
g
Suppose -14*u - 20*u = -3*u. Is u at least as big as -4/393?
True
Let c = 331 + -337.14. Let i = c - -6. Let r = i + 0.16. Does -3 = r?
False
Let d = -99 + 1187/12. Let c = 6 + -2. Let n = c - 5. Which is smaller: n or d?
n
Suppose s - 8 + 4 = 0. Let y(z) = z**2 + 2*z + 4. Let v be y(0). Is s < v?
False
Let k be 15 - 22 - (-1 + 8). Which is smaller: 1 or k?
k
Let x = 597 - 2969/5. Suppose -g - 2*g + 6 = 0. Which is bigger: g or x?
x
Let g = -40/3 + 13. Let q = -0.25 + -0.54. Let d = q + -1.21. Is g bigger than d?
True
Let m(v) = -68*v - 14. Let r be m(-5). Is 326 less than or equal to r?
True
Let p = -262 + 253. Is -5 smaller than p?
False
Let h = 16.93 - -0.07. Let o = -16.8 + h. Which is greater: o or 0?
o
Suppose 5*n + 1540 = -6*o + o, -5*o + 916 = -3*n. Is -307 at most as big as n?
True
Let x(u) = 2*u - 4. Let k be x(6). Let p = -35 + 42. Which is bigger: p or k?
k
Let f(d) = -d**3 - 9*d**2 - 8*d - 2. Let y be f(-8). Let t be 0/(1 + y) - 4. Let z(a) = a**3 + 6*a**2 + 7*a + 5. Let b be z(t). Is 9 <= b?
True
Let w = 154.4 - 171. Let l = w - -15. Is l at least as big as -2?
True
Let c = -72 + 79.2. Suppose 200*x = 197*x. Is x less than or equal to c?
True
Let w(u) = -6*u - 1. Let p = 0 + 2. Suppose -p*k = b - 3, -5*k = -5*b - 4*k + 4. Let x be w(b). Are -8 and x unequal?
True
Suppose -6*a - 590 = -1904. Which is smaller: 220 or a?
a
Let p be 12/2 + (-2340)/(-26). Is 96 equal to p?
True
Suppose -19*j - 4*w + 20 = -21*j, -4*w + 20 = 3*j. Are j and -1/48 non-equal?
True
Let c(i) = i**3 - 2*i**2 - 10*i + 6. Let w be c(4). Which is greater: 0.151 or w?
0.151
Let c(y) = -y**2 - 2*y + 1. Suppose -4*v - 5*h + 3 = 0, -3 = -3*h + 6. Let s be c(v). Suppose b - 4*b = 9. Which is smaller: b or s?
b
Suppose -13 - 7 = -4*b. Suppose 0 = 5*f - x + 1, -12*f + 10*f + 2 = 2*x. Suppose -4*t - i + 0 - 12 = 0, f = -b*t + 5*i - 15. Is -9/5 greater than t?
True
Let w(o) be the third derivative of o**5/60 - 7*o**4/6 + 41*o**3/6 - 11*o**2. Let c be w(26). Which is smaller: -98/9 or c?
c
Suppose -4*m + 3*m + 3 = 0. Suppose m = 5*k - 6*k. Suppose -5*s + 8 = -9*s. Which is smaller: k or s?
k
Suppose -11*j - 80 = -9*j. Which is smaller: j or -36?
j
Let f(s) = -5*s**2 + 14*s - 5. Let g be f(-4). Do -141 and g have the same value?
True
Let o be 4/14 + 12/(-42). Let u be o + (-148)/(-8) + (-1)/2. Is 18 at least u?
True
Let i = -209.7 - -210. Which is smaller: i or -1/2?
-1/2
Suppose 3*n = -7 + 19, f - n = -4. Let o(s) = s**3 + 15*s**2 + 2*s - 9. Let i be o(-15). Let j = 45 + i. Is j at least as big as f?
True
Let z(s) = s**2 + s - 31. Let b = 29 + -29. Let v be z(b). Let d = 21 + v. Which is smaller: d or -11?
-11
Suppose -2578 = -10*u - 168. Which is smaller: u or 2/13?
2/13
Let r = 152 - 80. Suppose r*y - 66*y - 48 = 0. Is 9 >= y?
True
Let r = 8.8 - 10. Let l = r - 8.8. Let q = 10.1 + l. Is q greater than -11?
True
Let b be 40/150*55*3. Is b bigger than 46?
False
Let y be 8/(-36) + (-267)/135. Is y greater than -0.3?
False
Let y be (16/(-6))/((-2)/3). Let t be (-20)/(-8)*(0 - -2). Suppose 7*j = t*j + 12. Is y > j?
False
Suppose 28 = -h + r, -r + 10 = -3*r. Let x be -2 + -1 + (-93)/h. Which is greater: 0.5 or x?
0.5
Let v be 64/6 - (-12)/36. Let f be (v/15)/(14/42) - 2. Let a = 187/3 - 63. Is a >= f?
False
Let n = 144 - 88. Suppose 23 = -3*x + n. Which is smaller: x or 9?
9
Let o = -155 + 92. Let l = o + 97. Does 34 = l?
True
Let q = 4 + 55. Let d = q - 59.1. Is d <= -1/8?
False
Let j be -24 - -26 - 16/(3 + 1). Which is bigger: 92/7 or j?
92/7
Let s = 3.106 - -0.294. Is s <= 1/10?
False
Let x(f) = -f**2 + 64. Let d be x(0). Suppose 0 = 5*u + d + 1. Let m be u*((-2)/(-2) - 2). Is m < 14?
True
Suppose -4*z = 74 + 66. Let m = z + 32. Suppose 5*u + 9 + 3 = n, -5*n - 24 = 3*u. Is m less than n?
False
Let f be (-16)/15 + 10/15. Let a = 48 + -25. Let s = 23 - a. Which is greater: s or f?
s
Let p = 52/49 + 1082/49. Which is greater: p or 24?
24
Let z(n) = n**3 - 8*n**2 + 10*n - 9. Let j be z(5). Is -36 less than j?
True
Let l = 15 + -15. Let z be (40/(-690))/((-4)/6). Which is smaller: z or l?
l
Let l = 425 - 426. Let n = -5 - -5. Which is bigger: l or n?
n
Let f be (-50)/156 + 2/(-60)*-5. Let n = -31/117 - f. Let q be (-1)/(-4) - (-1)/(-4). Which is bigger: q or n?
q
Suppose -6*u + 6 = 24. Let h be (0 + -3)/u + 13/(-5). Is h smaller than -3?
False
Let v = -0.144 + 0.124. Do v and 0.4 have the same value?
False
Suppose 0 = 2*j - 5*v + 17, 7*v - 3*v - 12 = 2*j. Suppose o + 2*p = -j - 5, 2*o = -5*p - 23. Which is greater: 2/5 or o?
o
Let b = -2693 + 212744/79. Which is bigger: -1/2 or b?
b
Let v be 2*5 - (1 + -1). Let z = -80 - -151. Let c = z + -62. Which is smaller: c or v?
c
Let g = -8 - 54. Let w be (-1)/((-8)/g) - 2/8. Is -8 smaller than w?
False
Let v be (21/12)/(1/4). Suppose -4*p + v + 1 = 0. Suppose 0 = -p*g - 3*f - 3, -3*g + 6 = f. Is 1 greater than g?
False
Suppose -4 = -q - 0, 0 = -2*j + 2*q - 10. Let t be j/3 - (-20)/6. Let m be t/(-2)*(-32)/(-504). Which is greater: 1 or m?
1
Let r = -17 + 21. Let y be ((-119)/(-252) - (-4)/(-18))*-3. Is y smaller than r?
True
Suppose y = 9*y - 56. Suppos