ose -52*w - 41*w = 3627. Let o be 116/(-3) - (-1)/(-3). Is o at most w?
True
Let i = -45 + 46.12. Let y = 0.02 - i. Let b = 1.2 + y. Is b smaller than 0?
False
Suppose -2*v = -4*k - 62, -5*k + 13 = 3. Let d = v + -10. Let l = 25 - d. Which is greater: l or 0.04?
0.04
Let k(b) = b**2 - 7*b - 6. Let q be k(8). Suppose q*m = -0*m. Suppose -4*h - 2 = -3*t, 2*h - 4*t + 9 - 3 = m. Which is greater: -1/3 or h?
h
Suppose 2*o - 3 = 49. Suppose 3*z - 43 - o = 0. Is 23 smaller than z?
False
Let u = 644 + -247. Let h = u + -2387/6. Which is greater: 0 or h?
0
Suppose i + 3 = 3*q, 1 = -13*q + 14*q - i. Are q and 1/191 non-equal?
True
Let j = 5 - 28. Let b = j + 61. Suppose 4*y = 3*z - z - b, -z - y = -13. Is z < 16?
True
Let v be 2*-2 + 2673/341. Let i = v - -2221/124. Which is smaller: i or 21?
21
Let k be -2 - (-4 + (-2 - -4)). Let d = 5881/4102 - 3/586. Which is smaller: d or k?
k
Let b = 273.7 + -297. Let a = -23 - b. Is 6 bigger than a?
True
Let r be 86/(-104) + (-24)/(-32). Let m = r + -1/156. Which is smaller: m or 0?
m
Suppose 0*o - 5*m - 2 = 2*o, -2 = -o - m. Suppose f + 4 = -2*n + n, o*n = -f + 8. Is f less than -7?
True
Let n = 0.253 + 106.747. Let j = n - 116.9. Let q = 10 + j. Is q not equal to -7?
True
Suppose -5*q - 335 = 155. Is -98 smaller than q?
False
Let r = -17 + 41. Let z = r - 10. Let v = -17 - -32. Is v bigger than z?
True
Suppose 4*d + 0*d - 24 = 0. Let a = d - 12. Let y = 7 + a. Which is greater: 2 or y?
2
Suppose -834 = -9*m + 5*m + i, -2*m - i = -414. Which is greater: m or 210?
210
Let m be (-1 + 2)/(1 - 0). Suppose 3*v + i + 21 + m = 0, -3*v + 5*i = 52. Let f be -10 - (-3)/(-6)*-4. Is v at least as big as f?
False
Suppose 85*v - 2090 = 63*v. Is v at least as big as 97?
False
Let u be ((-132)/(-55))/(9/(-20)). Suppose -1 = -4*z - 17. Are z and u nonequal?
True
Let q(k) = -2*k - 3. Let y be q(-2). Let d be ((5 - y)/(-2))/(-6). Let g be (472/32 + -14)/(51/16). Is g <= d?
True
Let v = 30 + -26. Let n = -4 + v. Suppose 0 = 5*z + 25 - n. Which is smaller: -7 or z?
-7
Suppose -5*w = -0 + 5. Let m = 1/27 - 46/27. Is m at most w?
True
Let z = -4 - -11. Suppose -3*m - 24 = -3*f, 5*f - 17 - 9 = -2*m. Suppose 0 = -u + f. Is z != u?
True
Let x be (-2912)/126 - 1*(-6)/9. Do -21 and x have different values?
True
Let p = 286 - 286. Let u = 0.3 + -0.2. Do p and u have different values?
True
Let q = -269 + 155. Suppose 2 - 4 = m. Let y be (m/q)/((-3)/9). Which is smaller: 1 or y?
y
Let u be 12/18 + 2450/(-174)*34. Let v = u + 478. Do v and 0 have the same value?
False
Let k(x) = -x**3 - 15*x**2 - 9*x + 52. Let y be k(-14). Are -222/13 and y non-equal?
True
Let c = -11.76 + 11.8. Which is bigger: 2 or c?
2
Let v(l) = l**3 - 24*l**2 + 44*l + 27. Let m be v(22). Is 26 bigger than m?
False
Let r = 38 - 37.925. Let z = 0.225 + r. Let n = 0.1 - 0.2. Which is bigger: z or n?
z
Let v be ((-6)/(-44))/(2/4). Let r(f) = f - 10. Let u be r(-6). Let j be (-2 - -1)/(u - -17). Is j at least as big as v?
False
Suppose -8*q = 9*q - 3*q. Which is greater: q or 3?
3
Let f(s) = -2*s - 58. Let b be f(-25). Let k = 0 - -3. Let w = -3 - k. Is b greater than w?
False
Let i(s) = -23 + 48*s + 22*s**2 - 3*s**3 + 5*s**3 - 50*s. Let r be i(-11). Is r at least -2/37?
False
Let w = -60 + 64. Let f(k) = k**3 - 4*k**2 - 3*k + 6. Let q be f(w). Which is smaller: q or -1?
q
Let h = -0.241 - -0.141. Let r = 0.06 + 0.34. Let c = r + -0.38. Which is bigger: c or h?
c
Let t = 1367102033141/9545 + -143227033. Let h = 26/83 - t. Let x = h - 212/1035. Is x at most -1?
False
Let u = 594.5 - 594. Which is smaller: u or -0.01?
-0.01
Let a(c) = 5*c**3 - 2*c**2 + c + 1. Let d be a(1). Suppose 0 = -d*y + 18 + 17. Is 70/9 >= y?
True
Let q = -71 + 47. Let s = 23 + -46. Which is greater: s or q?
s
Let m(n) be the second derivative of n**5/60 - n**4/4 + 5*n**3/6 - n**2 + n. Let h(a) be the first derivative of m(a). Let t be h(5). Is 0 less than t?
False
Let k = 85 + -125. Is k bigger than -39?
False
Let m be ((-1)/(-58)*-1)/(0 + (-3)/12). Suppose 0 = -2*r + 1 + 1. Is m bigger than r?
False
Suppose -226 = a - 224. Suppose 2*k + 0*k + 112 = 0. Let h be ((-3)/a)/(14/k). Which is greater: -2 or h?
-2
Let f = -24849/35 - -710. Are f and 0 non-equal?
True
Suppose -27*q - 32 = -31*q - 2*g, 0 = -7*q + g + 47. Suppose 0*d = 5*d - 160. Let h be d/6*(-3)/(-2). Which is bigger: q or h?
h
Let h = -247/36 + -203/12. Is h >= -23?
False
Let j = 147.8 + -147.7. Is -0.38 at least as big as j?
False
Let v(m) = -m**2 + 5. Let a be v(-2). Which is smaller: 80 or a?
a
Let l = 29 - 45. Let g = -17 - l. Is g <= 1/7?
True
Let f = -48/5 - -431/35. Suppose d = 5*n - 23, -3*n + 4*d + 50 = 26. Is n at least as big as f?
True
Let h(j) = -5*j + 61. Let m be h(7). Let l = m - 28. Let n(o) = o + 7. Let f be n(-7). Which is smaller: f or l?
l
Suppose -22*w + 38934 = 41*w. Is w greater than 619?
False
Let q be (-3)/(-6)*0/1. Let s = q + -3. Let p be (-6 - 25/(0 + -5)) + 0. Is p at most as big as s?
False
Suppose g + 4*g = 0. Let o = 21 + -15. Suppose -2*n + o = 2*r, 0*n = 4*r + 2*n - 8. Is r at most as big as g?
False
Let w = 0.481 - 0.281. Are 112 and w non-equal?
True
Let n(v) = -v**3 - 24*v**2 + 54*v + 51. Let j be n(-26). Is j at most as big as 2/2781?
True
Let j = -451/2 + 2053/10. Let s = j + 19. Suppose 3*u + 3*c - 11 = -2, -u = -c + 3. Which is greater: s or u?
u
Suppose 0 = -3*t - 8 - 43. Let m = t - -18. Is m smaller than 3/16?
False
Let q = -7 + 9. Suppose q*g + 0*g = 0. Suppose -4*a + 2*i = 18, 0*a - 5*i + 35 = -5*a. Which is smaller: a or g?
a
Let l = -131 + 130. Let b be 664/32 + -8 - l*1. Do 15 and b have different values?
True
Let o = -27205 - -135451/5. Which is bigger: -115 or o?
o
Let h = 14 - 10. Let y be (-1)/h - 15/(-12). Suppose -4 = -4*q + p, -3*q + 4*p - 2*p = 2. Does q = y?
False
Suppose -19*c - 2 = -20*c. Let k be ((-1320)/(-115))/6 - c. Suppose -2*a = -1 - 1. Is a equal to k?
False
Suppose j = 6*j + 20. Let k be 66/9 - (j - -2*1). Is 10 at most k?
False
Let j = -247 - -248. Which is bigger: -11 or j?
j
Let v be (8/(-15))/(105/(-784)) + -4. Is v at least as big as 1?
False
Suppose -15 = -3*j - 2*j. Suppose -4*w + 5 = 2*q - 3, j*q = 3*w - 6. Let p be (-13)/4 + 3 + 0. Is p less than q?
True
Suppose -3*x = -7*x + 36. Let v(j) = 2*j - 11. Let c be v(7). Suppose 2*l = -r - c*l + 33, 0 = -r + 4*l - 12. Does r = x?
False
Let h(f) = 19*f**2 - f + 1. Let j be h(1). Let u(m) = m**3 - 26*m**2 + 4. Let b be u(26). Let s be (20*b)/5 + 3. Is j less than s?
False
Suppose i - 5*x - 9 = 2*i, 3*i + 3*x = 21. Suppose -i*b - 12 = -14*b. Let m = 0 + -0.3. Is b at least as big as m?
True
Let n = 17 + -17. Suppose c - 6*c + u = 18, n = 3*u + 6. Let o be -2 + c/24*-8. Is o <= 0.1?
True
Suppose -54 - 213 = 3*o. Suppose 0 = -1242*n + 1239*n + 12, -4*m - 2*n = 344. Which is smaller: o or m?
o
Suppose 7*m + 93 - 86 = 0. Which is smaller: -4/161 or m?
m
Suppose 41*h = -o + 40*h - 467, -12 = -4*h. Which is smaller: o or -471?
-471
Let y = 0.763 + -0.963. Are y and -27.7 equal?
False
Let x be (-935)/357 - (2 + -5). Which is bigger: x or 0?
x
Suppose 3 = 2*m - 13. Let n be (9 - 4)/5*6 - (-24 - -20). Which is smaller: m or n?
m
Let f = 4 + -11. Suppose 3*b + 36 = 141. Suppose -h + i = 12, -4*h - 18 = -5*i + b. Is h greater than or equal to f?
True
Let d = -43 - -58. Suppose -9*q = -d*q - 138. Is q less than -23?
False
Let g(i) = -i**2 + 10*i + 4. Let c be g(10). Let w be (c + 4/(-4))/(-1). Let z be (-4)/(-6)*(0 + -3). Which is smaller: w or z?
w
Let w = -12.8 - -13.8. Which is greater: -1/2 or w?
w
Suppose 5*b + 346 = 3*d, d - 68 = b - 0*d. Which is smaller: -141/2 or b?
b
Suppose l - 145 - 230 = 0. Are 374 and l equal?
False
Let f be (-6)/(-130)*(-2)/15. Which is smaller: f or 1/3?
f
Let v = 0.1 - 0.2. Let c be (-4)/(6/(-9)*6/(-58)). Let b = c + 49. Is v > b?
True
Let z = 2.39 - 2.29. Which is bigger: z or -21?
z
Suppose 0 = 54*o + 60 - 6. Is -8/577 equal to o?
False
Let n = -7113835 + 4716471574/663. Let b = n + 26/17. Do 1 and b have the same value?
False
Let x = 9776 - 9643.09. Let l = x + -132. Is -2/7 equal to l?
False
Let m = 0.3 - 11.3. Let a = m - -11.1. Is 0.5 less than a?
False
Let x be 628/(-30) - 13/(-39). Let i = x + 574/15. Is i at most 19?
True
Suppose 5*g = -4*g - 549. Is -60 greater than or equal to g?
True
Let s