f - 35. Is -12 bigger than y?
True
Let i = -480 - -479.9987. Let v = -0.3987 + i. Let k = 12.2 + -13. Which is smaller: k or v?
k
Let z be (-9)/6 + 2 + (-238)/28. Let x(f) = -7*f - 49. Let v be x(-6). Which is smaller: v or z?
z
Suppose 49*j = 47*j + f - 51, -4*j - f = 99. Which is bigger: -56 or j?
j
Let p be -2*1*(-147035)/(-600) + 28/(-210). Is 2 greater than or equal to p?
True
Let p(i) = 2*i**2 + 4*i + 2. Let s be p(-2). Suppose 4*m - 3*n + s*n - 1 = 0, -5*n = 3*m + 28. Which is bigger: -3 or m?
m
Let f be (-1)/(-2) + (-13)/(-104)*4. Is 9/551 > f?
False
Let k be (-3)/6*(2 + -4). Let y = 0.0268 - 5.2068. Let w = -5 - y. Is k >= w?
True
Let o be (-2)/7 - (-4 - 502455/(-135527)). Which is smaller: o or 1?
o
Let b = 1386 - 1324.1. Let q = 62 - b. Let w = -73/468 - 11/36. Is w > q?
False
Let q(k) = 2*k**3 - 9*k**2 + 3*k - 6. Let s be q(6). Suppose 13*l = 9*l - s. Let d be 248/90 + (-4)/l. Are 4 and d non-equal?
True
Let g = -27.0896 + -1.9104. Let c = 648.9 + -613. Let j = c + g. Are -1 and j nonequal?
True
Let h be 122/2196 - 325/7146. Is h not equal to -1?
True
Suppose 11*b - 2*b = 2*b. Suppose -2*p + 68 = 4*k, -3*p + 100 = -0*p + 4*k. Suppose -p*r + 34*r + 10 = b. Which is bigger: r or -3?
-3
Let q(p) = p + 1. Let g(n) = -7*n + 34. Let j(z) = g(z) + 5*q(z). Let v be j(19). Is 11/15 bigger than v?
False
Let s = -193.09 - -293.09. Which is smaller: s or -10?
-10
Let j be (8/(-2) - -1)/(-1). Let o be -14 + 7 + 777/77. Is o >= j?
True
Let c be 0 + (-142)/144 + 1. Suppose 0 = -61*t + 58*t - 2*z + 202, 4*z + 190 = 3*t. Suppose -t*f - 51 = 15. Which is smaller: f or c?
f
Let a be 0*(-3)/4*(-16)/(-24). Suppose -4*s = -4, a = 40*q - 35*q - 3*s + 23. Which is bigger: -19 or q?
q
Let s(q) be the third derivative of q**5/60 + 11*q**4/24 + 25*q**3/6 - 59*q**2. Let y be s(-8). Let o = 895/209 - 90/19. Which is smaller: y or o?
o
Let r(n) = 160*n**2 + 1. Let w be r(-1). Let x = -25 + w. Which is bigger: 134 or x?
x
Let f(v) be the first derivative of v**3/3 + 11*v**2/2 - 7*v + 15. Let o be f(-11). Let t be (-2 - o/3)/((-2)/(-12)). Which is bigger: t or 5/6?
t
Let f = -37.033 + 37. Let r = 11342.033 - 11349. Let u = r + f. Which is bigger: 0.7 or u?
0.7
Let p = 14090 + -14388. Let k(a) = 2*a**3 + 9*a**2 + 8*a + 2. Let i be k(-7). Are p and i nonequal?
True
Let f = 18 - 15. Let p be (-58)/210 - ((-30)/9 + f). Let y(d) = -d - 4. Let t be y(-5). Is t greater than p?
True
Let x = -5 + 4.66. Let h = x - -18.34. Let d = -51 - -52. Which is smaller: h or d?
d
Suppose -5*u = 4 - 34. Let b(r) = r**3 - 3*r**2 - 15*r - 7. Let f be b(u). Is 2 equal to f?
False
Suppose 5*p + 16 = -4*i, 4*p + 39 = 7. Which is smaller: -98 or i?
-98
Let m = -79 + 106. Let l(x) = 9*x**2 - 13*x + 16. Let a be l(2). Which is greater: a or m?
m
Let n = -7576/3 + 2518. Let i = 30 - 15. Let y be 36/i*(-20)/6. Is n greater than y?
True
Let m be (-20)/(-6)*18/30. Suppose 20 = 5*u, 3*d + 5 = -m*u + u. Let h be ((-4)/(-30))/(12/36). Is h greater than or equal to d?
True
Let f = -77 - -140. Suppose 229 = 4*t - 5*a, -6*t = -9*t - 5*a + 198. Is t at most f?
True
Let g(t) = 4238*t - 23. Let p be g(2). Is 8452 > p?
False
Let x = -113 - -113.0914. Let o = -0.2914 + x. Is -1.2 != o?
True
Suppose 3*y + 8 = o + o, -5*y - 3*o + 12 = 0. Let x be 2395/569531 + (-6)/(-87). Which is smaller: y or x?
y
Suppose 0 = -4*p + j + 722, -2*p + 15*j + 358 = 16*j. Let s be (40/p)/((-8)/18). Let o = -459/2 + 225. Which is smaller: s or o?
o
Let y be 3 - -1 - (-6)/((-30)/(-25)). Let w be 13 - y - (125/43 + 1). Let u = -17 + 16. Is u at most as big as w?
True
Let b(r) = -2*r**3 - 137*r**2 + 289*r + 36. Let c be b(-71). Which is bigger: 4723 or c?
4723
Let d be (76/56 + 2/(-4))/(49/(-10633)). Does -172 = d?
False
Let a be (-135)/(-81)*3930/25. Which is smaller: 2 or a?
2
Let y = -0.7 - -1. Let c = y + -1.3. Let n be (-2230)/34200*-9 + (-9)/15. Which is bigger: n or c?
n
Let y = 15.68 + 7.82. Are y and -5 equal?
False
Let r = 0.17 + -5.87. Let g = 6.7 + r. Is -29 > g?
False
Suppose -3*j = 75 + 96. Let h = -40 - j. Let r = 13 - h. Which is smaller: -7 or r?
-7
Let b = -39659 - -39708. Is b bigger than 141?
False
Let a = 44166 + -44163. Suppose 4*l = -2*h - 4, 4*h - l = 2*h - 4. Let y = -2 - h. Which is smaller: a or y?
y
Suppose 84*q + 28*q = 44*q. Is -37/970 equal to q?
False
Let r be (2*(-3)/1410)/((-5)/(-10)). Let v be (-6)/(-27) - (-6)/(-27). Which is greater: r or v?
v
Let l(d) = d**3 + 9*d**2 - 34*d + 20. Suppose -2*z - 28 = -4*m, 5*m = -z - 5 - 2. Let s be l(z). Which is greater: s or 13?
13
Let g = 3 - 2. Let n = -5.29 + -461.71. Let b = -467.7 - n. Do g and b have the same value?
False
Let l = -333 + 482. Let u = -146 + l. Are u and 40/19 unequal?
True
Let y = -10181 + 10177.637. Which is greater: y or -1?
-1
Let r = -127808 - -896863/7. Let b(a) = 316*a**3 - a**2 - 21*a - 20. Let l be b(-1). Let k = l + r. Which is smaller: k or -2?
-2
Let q = -13723521/667 + 20575. Which is smaller: 0 or q?
0
Let j = -17579/3 - -22549/6. Let x = 2028 + j. Does x = -74?
False
Suppose 41*d + 48 = 44*d. Let j be (-4)/(-28) + d/84. Which is bigger: j or 84?
84
Suppose z + w = 5*w + 368, 4*w - 1552 = -4*z. Let t = z + -589. Which is greater: -204 or t?
-204
Suppose -2*i - 4 = 0, 2*u + 12*i - 11*i = 1494. Let w = u + -760. Is 0.05 at least w?
True
Let a(l) = -24*l - 620. Let n be a(-26). Which is smaller: n or -1227?
-1227
Let d = -10.4 - -78.4. Let g = 72 - d. Which is greater: -1/43 or g?
g
Suppose -3*t + 16029 = -5*p, 5*t + 2*p + 4121 = 30898. Is 5354 smaller than t?
False
Let h = -3987 + 4002. Which is bigger: h or -69?
h
Let d be 1336/14 - ((-266)/(-49) - 5). Is d bigger than -6/5?
True
Let z = -0.0353 + -0.0555. Is 0.2 at most z?
False
Let c = -293753 + 293584. Let j be (-2)/(-4) + 337/(-2). Is c equal to j?
False
Let h(y) = y**3 + 7*y**2 + 7*y + 5. Let o be h(-6). Let i be 300/50*(-3)/((-9)/2). Suppose 24*u - i = 28*u. Is u less than o?
False
Let k = -0.21 + -43.79. Let w = 44.1 + k. Let y = 160.28 + -160. Which is smaller: w or y?
w
Let r(v) = 18*v + 362. Let d be r(-21). Are 0.17 and d equal?
False
Let z = 10480.3 - 10481. Which is smaller: z or -233?
-233
Let n = 3011 - 3559. Which is smaller: -1 or n?
n
Let q = -198 - -514. Suppose -5*n - 5 = 0, -3*n - q = 5*z + 162. Is -96 bigger than z?
False
Suppose 4*p = 38 - 6. Let w = 315 + -154. Let n = w - 152. Is n bigger than p?
True
Suppose 4*f - 5*x = 15, -6*f - 4*x = -2*f - 60. Suppose -3*y - 22 = 4*g, 0 = -g - 0*g - 3*y - f. Let d = g - 20. Is d at most as big as -24?
True
Let r(w) = 63*w**2 + 7*w + 12. Let c be r(-2). Let l = c + -1007/4. Is -2/9 less than l?
False
Let b = -0.038722 + -124.961278. Let k = -125/3 + 42. Is b bigger than k?
False
Let z = 74744/3295 + 340/659. Let x be (-608)/(-28) + 4/14. Do x and z have the same value?
False
Suppose -23*r + 237 - 713 = 53. Which is smaller: -20 or r?
r
Let s = -122.6 - 10.4. Let h = s + 32. Let r = h + 105.8. Which is smaller: -0.2 or r?
-0.2
Let u(y) = -2*y**2 + 100 + 11*y**2 + 15*y + y**3 - 91. Let o be u(-7). Let a be (-4)/12*(-3)/(o/(-2)). Are -2 and a equal?
False
Let a(c) = c**3 - 6*c**2 - 3*c + 8. Let i be a(5). Let g = i + 11. Let f be ((-9)/g)/(9/3). Is 1 >= f?
True
Suppose -4*w = m + 310, -2*w + 3*w + 1550 = -5*m. Let i = 144 + m. Which is smaller: i or -164?
i
Let r = -10 + 1. Let p be (0/(4 + r))/2. Is -1 <= p?
True
Let c(l) = -l**2 - 4*l. Let m be c(0). Suppose -2280 = 5*g - d, g + 456 = -m*g + 5*d. Are -456 and g nonequal?
False
Suppose -6*h - 50 = -h. Let l be 4/h*195/(-24). Let z = -115 + 117. Is z at most l?
True
Let y = 0.048 - 2.368. Let q = -0.18 + y. Let v = 3.5 + q. Which is smaller: -0.02 or v?
-0.02
Let t = 0.052 + 0.198. Let g = 93 + -92.51. Let a = t - g. Is a >= -1?
True
Suppose 4*z - 24 = -4*q, -18 = -162*q + 164*q - 4*z. Which is greater: q or 22/157?
q
Let v be 18/(-9) - (-4 + 1). Let g be (-33)/(-12) + v/4. Suppose 2*u - 28 = -g*h - 71, -2*h + 3*u = 46. Is h at most -17?
True
Let y = 23 - 43. Let d(v) = -5*v - 5*v - v**2 + 4 - 9*v. Let k be d(y). Is -17 bigger than k?
False
Let i be 300/105*7/2. Let n be (-50)/8 + 2/8. Let k be (-6)/i*4/n. Which is smaller: -1 or k?
-1
Let i = 49 + -40. Let z(x) = 3 + i - 15 - 28*x + 11*x. Let q be z(-1). Is q bigger than -0.1?
True
Suppose -5*t + 5*z - 25 = 0, 4