Let z = -4 - -19. Suppose 2*n + s = z, 0*n + n + s = 5. Let y be q(n). Is y < -10?
False
Let f = -339.217 + 339.2. Does f = -2?
False
Suppose 3*k = 4*j - 10, -j - 4 - 2 = -5*k. Let f(i) = -2*i - 2. Let s be f(j). Let l = -946 - -936. Are l and s equal?
True
Suppose x - 5*g + 113 = 2*x, 2*g = 6. Suppose -4*h - 3*a = 352, 0 = -h - 2*a + 5 - x. Is -596/7 <= h?
True
Suppose -4*m + 0*j - 3*j = -291, -357 = -5*m + 3*j. Suppose -78*x + 360 = -m*x. Which is greater: x or 61?
61
Let h = 40 - 40. Suppose -5*a = 4*m - h*m - 353, m = 5*a + 107. Suppose d + 68 = 4*n - 0*d, 0 = -4*n - 5*d + m. Which is bigger: 17 or n?
n
Let b = -123 + 122.919. Let p = -3316.9 + 3316.7. Which is greater: p or b?
b
Suppose 3*a + 4*t = -4473, 32*a + 3*t = 34*a + 3016. Which is greater: -1 or a?
-1
Let w = -903 + 907. Is w greater than 202/39?
False
Suppose 136607 + 23233 = 5*w. Suppose w = -8*u + 62*u. Which is smaller: u or 591?
591
Let w(k) = k**3 - 17*k**2 - 3*k + 51. Let n be w(17). Suppose -3*u - 12 = -0*u. Let o be 2/u + 15/6. Is o at most as big as n?
False
Let m = 9.284 + -9.324. Which is smaller: m or 0.08?
m
Let u be (2676/90)/(-11*(10/25)/2). Which is smaller: -15 or u?
-15
Let b be 72/(-6) - (1 - -1). Let l = -1794 + 1783. Is b not equal to l?
True
Let o(z) = 164*z**2 - 7*z + 2. Let y be o(3). Let f = y - 53913/37. Which is bigger: f or 0?
0
Let t = 16734 + -385524/23. Is t less than -28?
False
Let b(n) = n**2 - 10*n - 7. Let w be b(13). Suppose -4*v = f + 13 + 3, 3*f - 4*v = 0. Let q be (-24)/w + (-3)/f. Which is bigger: -4/7 or q?
q
Let v(j) = -17*j + 8. Let g be v(-5). Let u = -43 - -134. Which is smaller: g or u?
u
Let a(m) = 14*m - 39. Let s be a(3). Suppose 26*g = 23*g + s. Is g at least as big as -2/245?
True
Let h = -85 + 63. Let d = -476 + 475.9. Is d > h?
True
Let n = 11.77 + -5.11. Let r = n + 6.34. Is -1/4 <= r?
True
Let i be 28/3 - (-1)/(-3). Let f(l) = -l**2 + 8*l - 2. Let c be f(i). Suppose -5*m + 23 = 83. Which is smaller: c or m?
m
Suppose -2*g = 2, -3*l + 4*g - 1 = 1. Let m = 590 + -888. Let x = 296 + m. Is x smaller than l?
False
Let k(j) = 13*j + 8. Let f be k(-6). Let c be 1/((-2)/(1*-150)). Let y = f + c. Which is smaller: 4 or y?
4
Let j = -4200 + 104986/25. Let k = -83 - -83. Are j and k equal?
False
Suppose -4*b = 14 - 26, -a - 4*b = -15. Is a not equal to 188/105?
True
Let n be (-6)/8*(2 + (-40)/28). Let o = 5.265 - -0.035. Let k = -0.3 + o. Is k equal to n?
False
Suppose 4*b + 7*y - 24 = 11*y, 4*b - 45 = -3*y. Suppose 2*g + 3 = g, 0 = c + 5*g + b. Let n be (-30)/(-2900)*(c + -1). Is n less than 0?
False
Let y be 988/780 + (-6)/10. Which is greater: y or 92/9?
92/9
Let h = -3142.4 - -3142.7. Let w = -3 - -1. Let f be (-1 - (0 - -3))*w. Do h and f have the same value?
False
Let o(j) = -j**2 + 11*j + 18. Let s be o(12). Suppose 16 = -s*f + 10*f. Suppose f*y - 2*c + c = -56, -y + 4*c = -1. Is -15 greater than or equal to y?
True
Let n = 92 - 90. Let g be 2/2 + (n - 7) + 5. Is -2/11 bigger than g?
False
Let x(p) = -67*p**2 + 14. Let o be x(2). Let b = -250 - o. Which is smaller: b or 5?
b
Let i be -12 + 297/11 + -14. Is i not equal to -1/8109?
True
Let w = -0.082 - -453.082. Let o = 1036711/4 - 259178. Do o and w have different values?
True
Let m = -30985 + 217393/7. Let u = 1081/21 - m. Is u less than or equal to -19?
True
Suppose 772596 = 439*l + 310329. Is l != 5266/5?
True
Suppose -201*x - 75 - 329 = 203*x. Which is smaller: -22.29 or x?
-22.29
Let w = -479 + 633. Which is smaller: w or 151?
151
Suppose 0 = 3*r + 5*n - n + 12, -12 = r + 4*n. Let v(b) = 2*b**3 + 2*b**2 - 5*b + 1. Let s be v(r). Which is bigger: s or 338?
338
Let s be 4/(-10) + (-4452)/(-105). Suppose 0 = -4*q - 5*y - 20, -s + 4 = 5*q + 3*y. Is 6/5 != q?
True
Let r = 1895 + 1773. Which is smaller: r or 3669?
r
Let n be ((-222)/(-259) + 398/(-105))/(57/10). Is n greater than or equal to -2?
True
Let d = -24.0384 + 0.1384. Which is bigger: 3/7 or d?
3/7
Let k(i) = -i**3 - 36*i**2 + 32. Let a be k(-36). Suppose 5*x - b + a = 3*b, -2*x - 3*b = 22. Which is smaller: -14 or x?
-14
Let b = 15.129 - 15.829. Which is smaller: b or 70/17?
b
Let t = 9209/305885 - -1/2335. Do t and 0 have the same value?
False
Suppose -3*x = -20 - 43. Let f = -25456/5 + 5113. Which is bigger: x or f?
f
Let y be (3/(-12))/((-9)/(-6642)*9). Let d be (-363)/18 - 6/(-36). Is y bigger than d?
False
Let b(w) = -285*w + 379. Let m be b(2). Is -191 at least m?
True
Let i = -262 + 314. Suppose 5*b + 27 = 2. Let u be 50/i*(-4)/b. Which is smaller: 2 or u?
u
Let w = -82362162844/2977616565 + 1003766/36585. Let j = 1/1661 - w. Is j at least as big as -1?
True
Let h be (-3028311)/187 - 4/(-34). Let o = -16199 - h. Is o <= -5?
False
Let s(q) = -q**3 - 3*q**2 + 3*q + 4. Let w be s(-1). Let r = 6 + -4. Suppose -c = 1 - r. Is c at least w?
True
Suppose q - 2*u = -225, 2*q + 5*u + 248 + 130 = 0. Which is smaller: q or -6?
q
Let i be 6/21*(-105)/(-10). Let j be ((-549)/27 - -9)*i/(-2). Let d(c) = -c**2 - c + 15. Let u be d(0). Which is smaller: u or j?
u
Let f(g) be the second derivative of g**4/12 + 7*g**3/6 - g**2 + 3*g. Let a be f(-5). Let y = -25587 + 25576. Is a at least y?
False
Let n = 13420953/661 + -20304. Is n less than 0?
False
Let w be (-2)/(-9) - 79/72. Let u = -44 - 3.8. Let j = -48 - u. Are w and j unequal?
True
Suppose 0 = 6*n + 26 - 50. Let u be ((-81)/(-21) - n)*-27. Let p(d) = -d**3 + 22*d**2 + 22*d + 26. Let q be p(23). Is q bigger than u?
False
Let g be (-233)/2 + 9/6. Let w = 117 + g. Which is smaller: 21/8 or w?
w
Suppose -5*a - w - 3 = 0, -2*w = -a - w - 3. Let s = 14 + -10. Let o be (-30)/8*s/(-140). Which is bigger: a or o?
o
Suppose b - 4 = 3*f, -26*b + 25*b = f. Let r be (-2)/(-2) - 3 - -5. Suppose 2*m + r = -17. Are m and b non-equal?
True
Let g(w) = w**2 - 5*w - 16. Let j be g(7). Let m(p) = p**2 + 5*p - 130. Let n be m(9). Is j bigger than n?
True
Let m(j) = -14*j + 14. Let y be m(-6). Let v = -201/2 + y. Let d(z) = -12*z + 10. Let x be d(1). Which is smaller: v or x?
v
Let a = -738/5 - -843524/5715. Is -1 less than or equal to a?
True
Let z = -23 - -21. Let h be 10/(-24) + z/(-3). Which is greater: 1 or h?
1
Suppose -4*i - i + 15 = 0. Suppose 4*p = -8, -i*a - 6 + 34 = -2*p. Suppose 2*x - 4 = g - 6, 3*x + 4*g = a. Is x >= 1/42?
False
Suppose a + 72 = 4*l, -2*l + 14 = 3*a - 22. Let f be (l/54)/((2 + -4)/(-222)). Which is smaller: f or 40?
f
Let g be 1/((-1950)/6034) - -3. Let v = 1/39 - g. Let u = v - 46/175. Is u at least -1?
True
Let o = -0.1 - -1.1. Let d = -509 - -123. Let w = 407 + d. Which is smaller: w or o?
o
Let q = 934 + -861.8. Which is greater: q or -1?
q
Suppose -4*w - 3*f = -1233, 101*w + f - 1533 = 96*w. Which is greater: 291 or w?
w
Let u(j) = j**3 - 32*j**2 + 33*j - 60. Let s be u(31). Suppose 0 = 2*n + 10, -4*n - 190 = -s*r - 2*n. Is r at most as big as 89?
False
Let a = 2 + 2. Let c be 990/(-5)*1/(-2). Let j be (-4)/(-22) - (-411)/c. Is j <= a?
False
Let g = 98 + -80. Suppose 0*c = g*c - 90. Suppose v = 2*a - 7 + 20, 0 = 5*v - c*a - 50. Which is greater: 51/8 or v?
v
Let w = -279.8 + 280.0713. Let b = w + 0.1287. Let o = -203/4 - -51. Which is smaller: b or o?
o
Suppose 3*x = 69*f - 64*f - 14, 2 = 2*f. Which is smaller: x or 1837?
x
Let f = 11741 + -11741.64. Let n = -14 + 14.1. Which is smaller: f or n?
f
Suppose 367*o - 382*o - 3705 = 0. Suppose 4*z - 204 + 1192 = 0. Is o < z?
False
Suppose -4*t + 2 = 2*q - 3*t, -5*q - t + 2 = 0. Suppose a - 1 = 4, q = 4*m + 5*a - 41. Suppose 0 = m*w - 90 - 66. Which is greater: w or 38?
w
Let w be (-5 + (-12)/(-2))/(25/(-4)). Let y(d) = d**2 + 11*d + 8. Let q be y(-7). Let m be (-15)/q - 1/(-4). Which is smaller: w or m?
w
Let y be (-8)/(-4) - 5/(35/(-77)). Let l be (16 + -1)/((-4)/(-8)). Let m be (l/18)/((-1)/(-9)). Which is greater: m or y?
m
Let i be (1/144)/(15/(-10)). Suppose -4*t - 5*k = 245 - 225, -3*k = -5*t + 12. Which is smaller: t or i?
i
Let o = -133.003 + 0.003. Let z = o + 128. Which is greater: -1.5 or z?
-1.5
Let w = -150.79 - -152. Let f = w - -0.7. Let l = f - 2. Which is greater: l or 2?
2
Let a = -71 + 73. Let w(l) = 4*l**2 + 5*l**a - 3 + 43*l - 9*l**2 - 2*l**2. Let p be w(22). Is -24 at most as big as p?
False
Let k be (-80025)/363 - 115/(-253). Let i = -475 - -255. Are i and k unequal?
False
Let o = -48 + 46. 