+ -3003670/823. Let k = x + -2839. Which is smaller: k or 1?
k
Let z(f) = 22*f - 392. Let b be z(18). Suppose 5*a - 3*a - 18 = -2*s, 3*a = 2*s + 22. Is a greater than or equal to b?
True
Let u = 236507/19516 - 1133/164. Let h be (-18)/(-4)*456/323. Let x = u - h. Which is bigger: x or -1?
-1
Let j = -0.224 + -115.776. Which is greater: j or -2?
-2
Suppose 18452 - 172739 = 93*c. Does c = -1659?
True
Let y = -89.9 - -85. Let s = 1.1 - y. Let i = 5.6 - s. Is i at least as big as 2?
False
Let q = -0.64 - -18.34. Let u = 20.54 - q. Let s = u + 0.16. Which is smaller: 1 or s?
1
Let m be (-6)/(-3)*(1 - 0). Let k(i) = i**3 - 6*i**2 + 2*i - 8. Let g be k(6). Let z(c) = c**3 - 5*c**2 + 4*c + 2. Let a be z(g). Is a at most m?
True
Let b be ((-2)/(-10))/(2 - (-9)/(-5)). Let k = -1056/437 - -58/23. Is b smaller than k?
False
Let g = -0.3 + 0.4. Let o = -8699/110 + 789/10. Is o greater than g?
False
Let m = 10016 + -2493980/249. Which is greater: 1 or m?
1
Let w be (32/5)/((-21)/15). Is -4 less than or equal to w?
False
Suppose -4*z = 16*m - 72, -35*z + 2*m + 12 = -32*z. Suppose 5 = -2*o - 1. Let l = 3 - o. Is z greater than l?
False
Let z = 63599/129 - 493. Suppose -x - 19 = v - 5*x, -15 = -3*x. Are v and z equal?
False
Suppose -2*m + 23 = -5*n, -2 = -4*m - 4*n + 2. Suppose -m*w - 5*y + 8 = 0, 2*y = 5*w - 2*y + 31. Let b be (-3 - w) + (7 - 3). Is b <= 4?
True
Let y be (36/(-24))/(2/(-8)). Suppose -16*n - 4 = -14*n - 2*m, 0 = -3*m + 12. Which is smaller: y or n?
n
Let o(z) = -6*z - 255. Let u be o(-41). Are 2 and u equal?
False
Let x = 1062/11 - 96. Which is bigger: 3/25 or x?
x
Let w = -22 - -16. Let t be (6/9)/(6/(-9)). Are t and w equal?
False
Suppose -5*t - 9 = -5*l - t, 3*l = -5*t - 2. Let v be (-1 + (-2)/(-2))/l. Is 0 less than v?
False
Let l = -0.03 - -0.08. Let z = -2514/5 + 503. Which is smaller: l or z?
l
Let v be (-1330)/60 - (-6)/36. Which is bigger: v or -45?
v
Let q = 31 + -19. Let k = q - 4. Which is smaller: 1/4 or k?
1/4
Let r be 3/(-18)*(252/24 + -12). Which is smaller: r or 79?
r
Let t = -25 - -16. Let w = t - -9.06. Let u = w - 1.06. Is -16 < u?
True
Let a(s) = -2*s**2 - 27*s - 113. Let q be a(-12). Which is smaller: -76 or q?
q
Let i = 7 - 2. Suppose -4*c + 2 = 3*w, -2*c + 2 = i*w - 6. Suppose -4*a - 2 - 4 = -w*n, -3*n + 6 = -3*a. Is a != -2?
True
Suppose -80 = 5*f - 10*f. Let q = 9 - f. Let n be -2 - 2 - (q + 5). Is -4 at most as big as n?
True
Let p = -227.11 + 2.11. Is p greater than 1/3?
False
Let x be (-12)/(-2)*(-79)/474. Which is smaller: -3 or x?
-3
Suppose -42*m + 21*m = 43*m. Which is greater: m or 1/28?
1/28
Suppose -31*t = -1276 + 17427. Is -521 bigger than t?
False
Let x(c) = c**2 + 7*c + 10. Let a be x(-5). Let n be -2*4/(-8) + a. Which is greater: n or 14/9?
14/9
Let f = 8 + -5. Let z = 0.4 - -5.6. Let d = f - z. Which is greater: 3 or d?
3
Suppose -2*v = 14*u - 12*u - 6, 5*v - 5*u + 25 = 0. Let z be 423/(-834)*-2 + -1. Which is bigger: v or z?
z
Let z(o) = -o**2 - 7*o - 5. Let m be z(-4). Let c be m/4 + 1/4. Let u be -4 + c + 14/6. Do 2/3 and u have different values?
True
Let u be 0 + (-86)/(-6) - (-34)/51. Suppose -u = 4*y - 7. Are 0.15 and y non-equal?
True
Let g = -311/693 + 2/99. Let o be (-289)/119 - (-3 + 0/1). Is o less than g?
False
Let p = 21 + -25. Let q = p + -30. Let n = q + 34.1. Does n = 0?
False
Suppose 5*k - 29 = 2*a, -k + 8 = k + a. Suppose p + 6 = 2*x, 0 = k*p + 2*x - 39 + 9. Suppose p*n = 3*j + 5, -4*n - 9 = j - 2*j. Is j > -8?
True
Let t be (-66)/14 - (-9 + 4) - 474/(-7). Let p = -26/5 - -68/15. Is t less than or equal to p?
False
Let z be (54/243)/(1/(-3)). Is z less than 8/101?
True
Let j be (-8469)/(-51) - 5/85. Is j <= -1/3?
False
Suppose -16 = 2*z + 2*z. Suppose 12*f = -13*f - 50. Which is bigger: z or f?
f
Let y = 93 + -107. Which is greater: y or -128/9?
y
Let a = 120529 - 840296/7. Let l = a - 488. Let x be (2 + -2)/(1 - -1). Are l and x nonequal?
True
Let d = 383.3 + -383. Let s = -0.2 + 0.9. Which is bigger: d or s?
s
Let y = 0.8 - -4. Let h = y + -4.9. Do h and -0.5 have the same value?
False
Let i = -1253 - -1820. Is 566 < i?
True
Let f be 2494/(-258) + 2/(-6). Which is bigger: -30 or f?
f
Let l = 0.0062 - 15.0062. Which is smaller: l or -0.04?
l
Let j be 2 + (-4 - 0) - -9. Let a(m) = -6*m + 16. Let s be a(j). Which is greater: -25 or s?
-25
Suppose -14 - 1 = 3*h, 4*h = -5*b + 105. Let v = 19 - b. Is -4 less than or equal to v?
False
Suppose m + 12 = 3*m. Suppose -5*s - 7 = 3. Let u = s + m. Is 6 bigger than u?
True
Let r = 1016 - 68074/67. Let k = 143 + -95. Let j = k + -49. Is j <= r?
True
Let i = -19 + 7. Let s = -14 - i. Which is smaller: s or 4?
s
Let r be (-54)/4*(-40)/(-150)*-5. Let n = 2 + 15. Do r and n have the same value?
False
Let u = 11 - -1. Suppose 8*q - u*q = 0. Is q at most as big as -2/5?
False
Suppose 12*u = -b + 11*u + 66, 174 = 3*b - 3*u. Is b != 62?
False
Suppose 3*h - 6 = 5*h. Let j be 12/66 - (-192)/33. Let z be 22*(h/j - 0). Is z less than -9?
True
Suppose -4*h + 10 - 34 = 4*q, -3*q + 4*h = -17. Which is greater: q or 4/431?
4/431
Let z(w) = 2*w - 13. Let s be z(8). Suppose -4*b - s = 5. Is b at most -2?
True
Let d = -4.536 - -2217.536. Which is bigger: d or -0.1?
d
Suppose u + 2*y = 6*u - 60, 2*y + 18 = 2*u. Suppose -o - u = -3*o. Suppose -2*j - 2 = 0, -o*j = -2*l - 3*j + 20. Is 8 less than l?
False
Suppose 2*j - 6 = -2*w + w, 3*j - 10 = -w. Let t be (w/2)/((-3)/2 + 2). Which is greater: t or -4?
t
Suppose 0 = 4*x - 2*x - 24. Suppose 0 = x*z + 54 + 18. Suppose -v - 1 = 3. Is v at most as big as z?
False
Let u(h) = -32*h - 529. Let q be u(29). Is -1457 at least q?
True
Suppose 0 = -5*g + 3*u - 10, u = -g - u - 2. Let k = 40.4455 - -0.5545. Which is bigger: k or g?
k
Suppose -f + 5*f - 20 = 0. Suppose 4*k - f - 1 = -5*w, -3*k + 12 = 0. Let n be -5 + 9 + w + 0. Which is greater: 1 or n?
n
Suppose 3*r - r = 6. Suppose -5*c + 3 = 4*j, r = -3*c - 0*c. Suppose 2 = -j*w, 5*w - 3*w + 10 = 4*s. Is -2 greater than s?
False
Let y(v) = v**2 - 2*v + 6. Let u be y(5). Let o be 10/(-12) - u/(-14). Do -16 and o have the same value?
False
Suppose -14 - 10 = -8*h. Let f be -2 - (-2)/(-2)*-2. Suppose f = -h*s + 6*s. Do 2 and s have the same value?
False
Suppose 66*q - 67*q = 0. Let v = -936111/301 + 3110. Let a = -2698/3311 + v. Is q equal to a?
False
Let y be 3 + (-12 - 6/(-2)). Let a(w) = -w - 4. Let z be a(-6). Let c be 0 + ((-14)/z - 0). Which is bigger: y or c?
y
Let i(a) be the second derivative of a**4/12 + 2*a**3 + 11*a**2/2 - 6*a. Let c be i(-11). Suppose 4*y - y - 6 = c. Are 1/2 and y unequal?
True
Let i = 3485/3894 + 5/354. Suppose 3*v - 15 = -5*k - 2*v, v - 3 = 0. Suppose 12*y + 2 - 14 = k. Is i at most y?
True
Let j(f) = -8*f**2 + 62*f + 15. Let b be j(8). Is -18/35 != b?
True
Let z(f) = f**3 - 9*f**2 - 10*f + 4. Let v be z(10). Suppose v*w - 10 = -6. Let m = 93 - 115. Is w <= m?
False
Let o = -14 - -15. Let k be 2/o - (3 + -5). Let h be k/(3/((-9)/6)). Is h != -1?
True
Let g(y) = 243*y + 135. Let k be g(6). Which is smaller: 1594 or k?
k
Let s = -1.436 - 0.274. Let o = -0.09 + s. Let q = o - -2. Do q and 0.2 have the same value?
True
Let j = 194 + -194. Which is smaller: j or -1?
-1
Let i(w) = 1 - w + 0 + 4. Let h be i(4). Suppose -3*s = -2*k - 4, -s = -0*s - 3*k + h. Do s and 2/11 have different values?
True
Let j = 30.7 + -31. Let m = 8.015 + -0.015. Which is greater: j or m?
m
Suppose -4*j - 7 = 9. Let v(f) = -f**2 + 6*f - 15. Let a be v(3). Is j less than a?
False
Suppose 3 = 3*k - 2*c, 9 = 2*k - 0*c + c. Suppose k*o = o. Let p = 1351/5 + -271. Is o smaller than p?
False
Let t = 49/2 + -433/18. Let o = 4 - 2. Suppose -3*u = 3*r + 1 + o, 4*u = 3*r - 4. Which is smaller: r or t?
r
Suppose 3*i = -2*b + 314 + 35, -5*i = 4*b - 695. Is b at most 168?
False
Let b = 148/3 - 50. Let g(i) = 2*i**3 + 9*i**2 - 3*i + 16. Let a be g(-5). Which is smaller: b or a?
b
Let o = 79.4 - 1.4. Let h = 78 - o. Is -33 <= h?
True
Let d = 0.15 + -0.3. Let n be (-7 - 440/(-32)) + -7. Is d != n?
True
Let t = -35/17 + 517/119. Does 1 = t?
False
Let l be (1/25)/(2/15). Suppose -o - n = -23, -o - 3*n = 4*o - 115. Let m be (o/(-8) + 3)*8. Is l at least m?
False
Let o(a) = 9*a - 1. Let r be o(2). Let i = r - 11. Suppose m - 5 = -3*f, 4*f - 4*m - m = -i. Are f and 2 unequal?
True
Let t be 0*7/14