2959. Let r = -2248/17085 + w. Is 0 not equal to r?
True
Let o = 0 + 0.4. Is o less than or equal to -2?
False
Let b = -4 + 4.2. Let r = b + 0. Suppose -3*j + 11 = -5*o, -3*j + 6 = -0*j. Which is greater: r or o?
r
Let a be (-15)/102*2*(-84)/(-14). Which is smaller: -2 or a?
-2
Let l = 2 - 7. Let s(h) = -h**3 + 6*h**2 + 7*h - 4. Let o be s(7). Is o at most l?
False
Let y = 15.13 - 15. Let q = -0.57 - y. Let l = q - -1.7. Is l < -2/7?
False
Let s be ((-2)/(-4))/((-1)/(-10)). Suppose f + s*c + 21 = c, -c = 2*f + 7. Let h be 16 + -12 + 51/(-12). Is f at least as big as h?
False
Let d(r) = 2*r - 7. Let z be d(5). Suppose -5*t = h - z*h - 13, -2*h = -3*t + 7. Let f be (-2)/6*1*1. Which is greater: f or h?
h
Let g(y) = -y**3 + 16*y**2 - 14*y - 11. Let n be g(15). Which is bigger: 10/3 or n?
n
Let i = -10998/25 + 440. Suppose 5*g - h - 6 = 0, 3*h + 1 = -2*g - 0. Which is bigger: g or i?
g
Let d = 15 + -16. Let j = -2 - d. Which is smaller: 11/3 or j?
j
Let i = 0.4 - 1.4. Which is greater: i or -2/17?
-2/17
Let j(v) = v**2 - v. Let l be j(1). Suppose -4*s + l + 4 = 0. Let m be (-1 - -2)*(2 + -1). Are m and s equal?
True
Let f = 12 - 0. Let b be 14/f + 5/(-30). Which is bigger: 3 or b?
3
Let s(z) = 2*z**2 + z + 1. Let l be s(-1). Let q be 4 + -3*(-12)/(-9). Suppose 3*f + c = -l*f - 40, -3*c - 15 = q. Do -7 and f have different values?
False
Suppose -3*r - g - 1 = 0, -3*g + 1 - 4 = -3*r. Suppose r*l - 25 = -5*l + 2*i, 5*l - 4*i - 25 = 0. Suppose -2*z - 5 + 1 = -2*m, -l*z - 10 = m. Is 0 less than m?
False
Let z be 2/3*24/(-16). Is z bigger than 1/3?
False
Let n(t) = 3*t - 3. Let j be n(2). Suppose -j*c + 5 - 11 = 0. Is 2 bigger than c?
True
Let k(q) = 2*q**3 + q**2 - q. Let y be k(1). Let b = -1 + y. Let i be (2 + (-36)/15)/2. Which is smaller: b or i?
i
Let d = -10 + 8. Suppose -7*t + 2*t = 5*i + 25, i - 7 = 2*t. Is d at least i?
False
Let q = -133 + 2795/21. Let z = -16 + 16. Which is smaller: q or z?
z
Let m = 3 + -3. Let k be ((-1)/(-3)*m)/2. Is -1 at least as big as k?
False
Let o = 22 + -24. Is 16 at least o?
True
Let w = -0.1 - 0.1. Let y = 49 - 34. Suppose -y = t - 4*l - 6, 5*l - 6 = -4*t. Is w > t?
True
Let i be 66/8 + (-9)/(-12). Is 9 equal to i?
True
Let s = -3/115 - -487/1035. Let t = -1/9 + s. Are 7/4 and t equal?
False
Let g(o) = o + 1. Let a be (-1 + 1)/(4/4). Let d be g(a). Which is greater: 1/3 or d?
d
Suppose 8*u - 47 - 9 = 0. Does 8 = u?
False
Let p(l) = -l**2 - 8*l - 3. Let a be p(-8). Let s = 4 + a. Let g(y) = y + 1. Let w be g(1). Which is smaller: w or s?
s
Let y(z) = 2*z - 4. Let s be y(4). Suppose s*x + x = 10. Is x greater than -4/5?
True
Let p = -34.13 + 3.73. Let c = p + 38.36. Let k = c - 8. Which is smaller: -0.1 or k?
-0.1
Suppose 0 = y + 1 - 2. Let n be 2 + -1 + (-2)/(-4). Which is smaller: n or y?
y
Let z be (-1)/(-1) + -6 + 3. Is -1 >= z?
True
Let k = 12178/21 + -580. Is k >= -1?
True
Let w be (-6)/(-27) - (-32)/18. Let c be (-5)/(-10) + -5 + 5. Which is greater: w or c?
w
Let y = 8 - 7.98. Let c = 0.9 + y. Let s = c - -0.08. Is s bigger than 1?
False
Let q(h) = h**2 - 2. Let g be q(-3). Suppose -4*a - 19 = -g. Do -2 and a have the same value?
False
Let j = 58 - 86. Is -28 <= j?
True
Let r = 4 - -1. Suppose -g - 3*s - 10 = 0, -4*g + 8 = -r*g - 2*s. Which is bigger: g or -2?
-2
Let w = 105 + -1367/13. Which is greater: 1 or w?
1
Let q = -1.3 - -0.3. Let t = 10.6 + -10.7. Are t and q unequal?
True
Let s(d) = -2*d**2 - d + 3*d**2 + 3 - 2. Let c(u) = -u**2 - 11*u - 10. Let q be c(-10). Let n be s(q). Is n >= 3/8?
True
Let v = -1 + 0. Let c = v - 0. Is c at most 4?
True
Let q be (1 - -1)/((-3)/(-24)). Suppose -3*r = f - 16, -5*r + 14 + q = 5*f. Let b = 0 - f. Is b at most -0.1?
True
Let d be 2/4 + (-116)/8. Let u be (-2)/7 + 80/d. Are u and 2/5 non-equal?
True
Let s(q) = q**2 - 10*q + 5. Let t be s(10). Suppose 3*o - 4*b = -11, -4 = -t*o + 2*o + b. Let v(h) = h**3 - 2*h**2 + 3*h - 3. Let j be v(2). Is o > j?
False
Let p = -14.1 - -14. Is -2/23 greater than p?
True
Let s be (2/6)/(2/(-6)). Is -1/64 smaller than s?
False
Suppose -c + 42 = 3*r, 3*r - 6*r + 5*c = -60. Suppose 4*k + r = 87. Is 19 at most as big as k?
False
Let h = 109 + -129. Which is bigger: -18 or h?
-18
Suppose -30 = -2*l - 0*l. Let y = -11 + l. Is 5 not equal to y?
True
Let c = -0.01 + -0.09. Is c at least as big as -0.8?
True
Let a(r) = 8*r**3 + r**2 + 2*r + 1. Let x be a(-1). Let d be (-14)/56 + (-2)/x. Which is bigger: d or 3/7?
3/7
Let y be (1/(-2))/((-2)/(-88)*2). Are -16 and y nonequal?
True
Suppose 5*k + 3*l - 5 = -l, 5*k + 2*l = -5. Let f be (k/(-9))/(6/44). Which is smaller: f or 2?
2
Let d(n) = -n + 5. Let j be d(4). Let c = 2/3 + -71/102. Let w = -31/102 + c. Is w < j?
True
Let a be (0/(-2))/(1 - -1). Let t = -2.1 + 7.1. Which is greater: a or t?
t
Let i = -0.06 - -0.56. Let h = -0.6 + i. Which is bigger: 3 or h?
3
Let z = -29 + 28.87. Is -0.1 <= z?
False
Let m(a) = a**3 - 5*a**2 - 8*a + 6. Suppose 4*y + 0 = l - 6, 5*l - 2*y - 30 = 0. Let b be m(l). Which is smaller: -4 or b?
b
Let u = -29 - -30. Which is bigger: u or -2/151?
u
Let k(m) = m**3 - 6*m**2 + 7*m - 4. Suppose -4*y + 2*b = -28, -4*y - b = 5 - 21. Let z be k(y). Which is greater: z or 7?
7
Let c = -4/9 - -17/18. Suppose -20 = 5*v - 5*h, 2*v - 4*h = 5*v + 40. Let b(g) = g**2 + 7*g - 10. Let y be b(v). Which is greater: y or c?
c
Let d = 0.3 - 19.3. Which is smaller: -2/3 or d?
d
Suppose -6 = -72*w + 73*w. Is -26/5 greater than or equal to w?
True
Let p be ((-15)/1)/(12/(-16)). Let u = p - 17. Let f be ((-3)/(-2))/((-1)/(-2)). Is f at most u?
True
Let q(y) = -y**3 - y**2 + 7*y + 2. Let i be q(-3). Is -4/43 less than i?
False
Let r = 369/44 - 84/11. Suppose 12 = -4*q - 0*o + 3*o, 5*o = -q - 3. Let s = 3 + q. Which is smaller: s or r?
s
Let r = -8 + 15. Let y(m) = -m**3 + 6*m**2 + 8*m - 10. Let a be y(r). Are a and -1 equal?
False
Let b be 10/3*352/240. Are 4 and b equal?
False
Suppose 3*r = 8*r. Suppose 4*y - 2*d - 16 = 0, -y + d = -r*y - 4. Suppose 40 = 49*f - 9. Which is greater: y or f?
y
Let d = 0.6 - 0.63. Let k = -0.17 + d. Is -1/2 at least as big as k?
False
Suppose -3 = -c - 2*j, 0 = c + 3*j + 2*j. Suppose c*y - 7 - 13 = 0. Let p be 6*2/(-6)*-2. Does p = y?
True
Suppose 4*z = 5*c - 22 + 9, -2*c = z. Let i be 2/7 + (-132)/(-28). Suppose i = -2*p + 3. Is z bigger than p?
False
Let v(z) = 2*z**2 + z - 4. Let j be v(3). Suppose p - 3*o - j = 0, 3*p + 5*o + 17 = -p. Let d = 0 + 2. Is d bigger than p?
False
Let f = 1402/9 - 156. Is 1/2 greater than f?
True
Let d be (-24)/21*(-2)/(-8). Which is greater: d or 0?
0
Let z = 3 - 1. Let u = z + -1. Does 2/5 = u?
False
Let v = -32 + 35. Which is greater: 6 or v?
6
Let a = 11.09 - 11. Let m = 0.13 - a. Let k = 0.14 - m. Which is greater: 3 or k?
3
Suppose 3*v - 3*q = v - 8, -q + 12 = -3*v. Suppose -12*i = -7*i + 20. Let g = v - i. Is g >= 3?
False
Let v(k) = 99*k**3 - k**2 + 3*k + 5. Let a be v(-1). Is a <= -97?
True
Let p be (-138)/(-9)*2/48. Let g be 0 + -2 + 11/4. Let l = g - p. Is l smaller than 1?
True
Let t = 17481/10 + -1746. Let p = t - 37/20. Let z = -173 - -1209/7. Is p at most z?
False
Suppose h + 0*h = 0. Suppose h = -2*a - 0*a + 12. Let q be (-4)/a*2/4. Is q >= 0?
False
Let i = -37 - -37. Does i = 6/7?
False
Let r = -1.238 - -0.098. Let a = 1.1 + r. Is a > 0?
False
Suppose 3*a - 6*a - 15 = 3*n, 3*n - 9 = 3*a. Let y be (-54)/(-56) - (0 - n). Let l = y - 11/84. Which is smaller: -1 or l?
-1
Let j = 1.55 + -1.55. Let p be (6/(-5))/(3/(-40)). Which is greater: j or p?
p
Let l = -0.2 + 0.2. Let r = 8.1 - 13.2. Let q = -5 - r. Is q smaller than l?
False
Suppose -5*i - 2*u = -16, 5*u - 3 = -i - 9. Suppose 5 = -w - i*w. Which is smaller: w or 1?
w
Let y be (1 + -4)*1 + 7. Suppose 0 = -u + 3*d - 12 - 0, -3*u = y*d + 10. Is -5 greater than or equal to u?
True
Suppose 0*r + 5*r = 5. Is 7/4 less than r?
False
Let g be (-2)/(-12) + 34/12. Let d = 13 - g. Is d less than 11?
True
Let w be 2/2 - (-2)/(-3). Let s = 59/2 + -299/10. Which is greater: w or s?
w
Let l be ((-6)/(-18))/((-2)/(-12)). Suppose 21 = l*p - 5*h, -2*p - h = -0*p + 9. Is -1/2 <= p?
False
Let n = -5 + 9. Suppose -8 = -j + 5*j + n*z, -5*j + z = -14. Let q be ((-1)/3)/(j/(-30)). Which is smaller: 4 or q?
4
Let l(z) = z**3 + 7*z**2 - 9*z - 9. Let m be l(-8). Suppose 8 = -4*y - 0*y.