113155 + s. Let c = 1095 - f. Is 1 at most as big as c?
False
Let s be (-204)/(-5) - (16/(-20))/4. Which is smaller: s or 55?
s
Let w(r) = -2*r**3 + 4*r**2 - 4*r + 2. Let n be w(2). Let x = 1950 + -1957. Is x less than n?
True
Let d = -52 - -116. Suppose -d = -b - 15. Let t = b + -197/4. Which is greater: t or 0?
0
Let z = -277.8 + 401.5. Let b = 124 - z. Which is smaller: 87 or b?
b
Suppose -140*i - 30 = -135*i. Let s be (26 - (-3)/i*4) + 2. Which is smaller: s or 27?
s
Let f be (3 - 3) + (-1)/294. Suppose 120*t - 1 = 2*k + 121*t, 5*t = 5. Is f less than k?
False
Let r = 22.19 - 14.19. Is r <= 0.095?
False
Let d(a) = -2 + 3 + 3 - 2*a + 4. Let m be d(4). Let q be 1 - m - 1 - 689/(-13). Does 52 = q?
False
Let d = -555913/7 + 81585. Is d equal to 2169?
False
Let u(c) = -c**3 + 58*c**2 - 97*c - 839. Let z be u(56). Which is bigger: -2/17551 or z?
z
Let o(u) be the first derivative of u**2/2 - 9*u + 11. Let p be o(10). Let k = 61 - 56. Is k at least p?
True
Let u = 3366224 - 37053670/11. Let z = u - -2289. Does 1 = z?
False
Suppose j - 1 = 0, -5*l = -3*l + 4*j - 12. Let y be (l/(-48))/((-7)/(-63)). Is -92 smaller than y?
True
Let f be (-1)/3 + (-118)/6. Let q be (38*(-5)/40)/((-20)/(-80)). Let a = q - f. Is a smaller than -3/4?
False
Let q be (-1081)/(-138) + 2/12. Let j be 26/q + (-10)/((-10)/(-3)). Is j greater than 37?
False
Let j = 5769/3556 - 11/127. Is j <= 0?
False
Let o(n) = n**3 - 17*n**2 - 17*n - 21. Let x be o(18). Let y = x + 2. Let r be (57/38)/(y/(-10)). Is 14 != r?
True
Suppose -1314 = -7*w - 28*w + 17*w. Which is smaller: w or 60?
60
Let l be (5 - 36/6) + 1/1. Let s(u) = -32*u**2 + u. Let i be s(-1). Let h be (-24)/(-2055)*i - (-4)/10. Is h >= l?
True
Suppose g - 4 = -13. Suppose 185*z + 581 = 102*z. Is g >= z?
False
Let g = 76 - 76.23. Let i = g - -112.23. Let a = -110 + i. Which is smaller: 11 or a?
a
Let w(q) = -q**2 + 10*q - 12. Let h be w(8). Let t be (67/(-4) + h/16)*2. Let i be (12/(-16))/(t/1). Is 0 > i?
False
Let t = 20 + -20. Suppose -k - 71 - 166 = t. Let p = k - -18013/76. Is p > -1?
True
Suppose 0 = -4*h + 24 + 4. Suppose 0 = 15*t + 53 + h. Which is bigger: -6 or t?
t
Let g = 0.07 + 0.23. Let o = -0.091 + 3.811. Let j = o - -4.28. Is g less than or equal to j?
True
Let z be 1 - (6*1236/(-56) - 20/35). Are z and 1 equal?
False
Let a(i) = 18*i - 9. Let c be a(1). Suppose 3*l + 176 = 4*h, -c = 5*l + 11. Which is greater: h or 43?
43
Let r(c) = -543*c + 1085. Let h be r(2). Is -4/5193 != h?
True
Let m = -308/29 + 23611/2204. Which is bigger: 1 or m?
1
Let z be (2 - (-14222)/4) + 21*5/70. Is 3558 at most z?
True
Let l be (-29640)/576*-4 - (-5)/(-6). Which is greater: l or 195?
l
Let n = -222 - -193.8. Let b = n + 28. Suppose 150 = -7*r + 52. Is r >= b?
False
Let a be 2/3*3783/26. Let u be 3 + a/116*(-28 - -24). Let p(q) = -q + 16. Let b be p(16). Which is smaller: b or u?
u
Let g = 4308/7 - 1641334/2667. Let z be 0 - ((-2 - -2) + 1). Which is bigger: z or g?
g
Let n = 220 - 220.22. Let d = -7.22 - n. Which is smaller: 11 or d?
d
Let k(x) = 25*x**2 + 4*x + 3. Let s be k(-2). Suppose 4*t - s = -5*v, v + t + 120 = 6*v. Suppose v = -d + 30. Which is smaller: d or 4?
4
Let u(o) = -32*o - 705. Let b be u(-22). Which is smaller: -693 or b?
-693
Suppose -q - 2*p = 0, -5*q = 4*p + 1 - 7. Suppose z = -5*d - 27, d + q*d = 3*z + 63. Let g be 3/(-1)*z/(-36). Which is greater: g or -1?
-1
Suppose 13*b - 15*b = 10. Suppose -2*h + 0*h - 4 = 0. Let c be (6*b/(-450))/(h/(-6)). Which is smaller: -0.3 or c?
-0.3
Suppose -702 = -9455*t + 9468*t. Is t >= -1115/21?
False
Let l = -1853 + 1859. Which is greater: -45 or l?
l
Let j = -2574 + 2569. Let o = -18 - -11. Let y = 7.3 + o. Is j bigger than y?
False
Let r be ((-2088)/(-290))/(4/(-10)). Let p be (-36)/(-216) - (-3)/r*-215. Is 2 equal to p?
False
Let i(d) = -61*d**3 + d. Let w be i(-1). Suppose -13*t + 196 + 371 = -174. Are t and w nonequal?
True
Suppose -1 - 2 = 3*z. Let k be -1*(-2 - (-16)/(-4)). Let b be 1 + k + -1 - 27652/4619. Which is smaller: b or z?
z
Let i(n) be the second derivative of -n**4/2 - 3*n**2/2 + 4*n + 32. Let k be i(1). Which is smaller: k or 6?
k
Let h = -22786 + 250631/11. Let d(k) = 2*k + 1. Let l be d(2). Suppose 5*a - 3*g - 4 = 1, l*a + g = -15. Is a at least h?
False
Let o = -3.3 - 40.5. Let j = -44 - o. Which is smaller: j or -8.1?
-8.1
Let h = 85 - -9. Suppose 40 = 2*z - 5*r - h, -3*z = -3*r - 210. Let f be -1 + (z/20)/3. Which is smaller: 1 or f?
f
Suppose 2*p - 26 = 2*n, 4*p + 15 + 5 = 0. Suppose 2*h + 76 = -4*g, -5*h = -113*g + 108*g - 80. Are n and g equal?
True
Let a(p) = -121 - 3*p**2 - 3*p**2 - p**3 + p + 2*p**2 + 104. Let t be a(-5). Which is smaller: t or 1?
1
Suppose -7*d = -3*d - 80. Suppose -5*v = 5 - d. Suppose a = 4*a - v. Is 2 >= a?
True
Let n = -41 + 41. Let j be (-346595)/215 - 4/1. Let l = -1616 - j. Which is bigger: n or l?
l
Let g(x) = x**3 - 40*x**2 + 367*x + 29. Let m be g(13). Which is bigger: 253 or m?
253
Suppose -3*s + 3*q = -261, -3*s - 3*q + 2*q = -269. Let y = -994 - -1083. Is y bigger than s?
False
Let p = -98 + 92. Let n be (2/p)/(27/(-162)). Suppose n - 3 = -s. Do -1/194 and s have different values?
True
Suppose 0 = 5*n - 5*h + 116840, -4*h + 56752 = -5*n - 60089. Is n smaller than -23369?
False
Let t = 0.14241 - 283.54241. Which is greater: t or -0.3?
-0.3
Suppose -26*j = -27*j - 97. Let y = j + 84. Let m = y + 7. Which is bigger: m or -8?
m
Let k = 47 - 28. Suppose -126 = -3*u + 2*y + 110, -5*y + 353 = 4*u. Let h = 100 - u. Is k != h?
True
Let l = 3542 - 3541. Which is smaller: -16/127 or l?
-16/127
Suppose -5*n - 57 = 2*m, 19*m - 16*m - 12 = 0. Which is bigger: n or -182/15?
-182/15
Let p be -1 + (1 - (-2)/7). Let t = -121564.11 - -121562. Which is greater: p or t?
p
Let y(t) = -15*t**2 - 165*t + 15. Let v be y(-11). Let h(g) = 2*g - 2. Let c be h(2). Suppose c*p + 5 = r, v = p - 2*p - 2*r. Is p less than or equal to -9?
False
Let y(m) = -183*m**3 - m**2 + 30*m + 86. Let i be y(-3). Does 4928 = i?
True
Let s(z) = z**3 + 5*z**2 - 8*z - 7. Let l be s(-6). Suppose -l*d = 5*y - 4*d + 725, y + 149 = -d. Do -145 and y have different values?
True
Suppose 3*s + 5*x - 15 = 0, 2*s + 10*x - 15 = 5*x. Is s bigger than 40/183?
False
Suppose 4*b - 3851 = 3*v, -3*v - 1283 = -2*v - 2*b. Is v smaller than -1285?
False
Let w = -164 + 144. Let h = 20.4 + w. Which is bigger: 4 or h?
4
Let a be ((-2)/(-7))/(-2 - 44/(-14)). Is 1253 at most as big as a?
False
Let k(p) = -p**2 - 3*p + 12. Let s be (-1 + 5/((-45)/(-12)))*0. Let z be k(s). Is z less than or equal to 14?
True
Let s = -368 + 9209/25. Let x = s + -13/175. Suppose -k - 11 = 2*k + 4*m, -2*k + 8 = -5*m. Is k at least x?
False
Suppose 3*o - 21 = 18. Suppose w - v = -5*v + o, -5*w + 5*v = -140. Suppose 136*k + 260 = 146*k. Is w bigger than k?
False
Let n(g) = 2*g**2 - 8. Let q be n(5). Suppose 4*z - 58 = -q. Suppose -a = -2*s - 5, 0 = 2*a + s - 3*s - z. Is a smaller than 2/85?
True
Suppose 0 = -2*q + 18*u - 13*u + 45, -u - 9 = -3*q. Which is smaller: q or 5/4466?
q
Suppose -5*z + 499 = -5*m - 181, 5 = 5*m. Let a = -82 + 218. Which is smaller: a or z?
a
Let n be 2 - ((-477)/6 + 2 + (-35)/(-10)). Which is smaller: 996/13 or n?
n
Let a = -70492 - -70501. Let u(l) = -l + 20. Let z be u(0). Which is smaller: a or z?
a
Let g(f) = -f**2 + 17*f - 18. Let a be g(16). Let q be ((-10)/(-5))/((0 - -1)*a). Is q at most as big as 2/221?
True
Suppose -35*f + 40*f + 320 = 0. Let y = f - -80. Which is smaller: 15 or y?
15
Let u = 7 - 48. Let d = 24 + u. Let f be (-2)/20*(37 - d). Which is bigger: f or -6?
f
Let r(t) = -49*t + 1226. Let y be r(25). Is 57/25 at least y?
True
Let g = -35.67 - -35. Let p = -3317.15 + 3318. Let v = g + p. Is v less than -1?
False
Let o = -3222 - -4442. Is o greater than 1221?
False
Let c = -51 + 58. Let d = 47 + -39.9. Let g = d - c. Which is smaller: g or -30?
-30
Let w(d) = -10*d - 130. Let f be w(-12). Let x be (-17)/(4/f + (-7)/(-105)). Which is bigger: x or 53?
53
Let t = -110.954 - 8.046. Which is greater: 40 or t?
40
Let u = -5545 - -5544.63. Which is bigger: 6/29 or u?
6/29
Let c be 11236/282888*-14 - 1. Let t = 2/3929 + c. Suppose 2*m + 15 = 3*f, 15 = -m + f + 3*f. Are t and m equal?
False
Let l be (9 - 1220/(-30))*-9. Let b = l - -448. Is 2/751 at least as big as b?
Fals