Which is smaller: -852 or g?
g
Let q be 4/6*-3*(2 + 1). Let i(c) = -c**3 - 6*c**2 + 3*c + 21. Let k be i(q). Suppose -w + 1 = -3. Is w at least as big as k?
True
Suppose 10 - 4 = 3*f. Suppose a - 1 = c, 3*a - f*a + 5 = -2*c. Which is greater: a or 1/228?
1/228
Let p = 24.98 + -20.98. Is p greater than 123?
False
Let l = -50337123/250 + 201349. Let f = 1/125 - l. Which is smaller: -1.1 or f?
-1.1
Let w = -5716 + 5715. Is 12137 smaller than w?
False
Let w be (49/(-14))/(2 + 30/(-16)). Let n be w/84*(-2)/(-3). Is 2/7 less than or equal to n?
False
Let d = -1536 - -1090.5. Let t = d - -445. Is t not equal to -17/5?
True
Let l = 24193.6 + -24195. Do -848 and l have the same value?
False
Let n = 28 - 13. Let h be ((-4)/8)/(((-5)/(-8))/5). Let g be 25/5 - -5 - h. Which is smaller: g or n?
g
Let i be 14/(-175) + 1077/25 - (-3 - -6). Which is bigger: 742/19 or i?
i
Suppose 6*u + 124 + 212 = 0. Let i be u*(4 + -1 - 20/(-8)). Is i at least as big as -309?
True
Let b(v) be the third derivative of v**4/4 - 3*v**3 - 2*v**2 + 6*v. Let t be b(-7). Are t and -60 nonequal?
False
Suppose -82*l - 9 = -91*l. Let n = 379/18 + -18065/846. Which is bigger: l or n?
l
Suppose -492 = -55*q + 51*q. Is q less than or equal to 123?
True
Let k = 1753/3 - 10667/15. Let b = k + 1232/15. Do b and -46 have the same value?
False
Suppose -3*o - 2*v - 5 = -1, -4*o + 2*v + 4 = 0. Which is greater: o or -3?
o
Suppose 80*x + 47921 = 9979 - 89978. Which is smaller: x or -1608?
-1608
Suppose -5*r - 5*h = -45, h = -1122*r + 1125*r - 55. Which is smaller: 9 or r?
9
Let p(h) = -h**3 + 25*h**2 - h + 29. Let w be p(25). Suppose -2 - 2 = o - d, 0 = -2*o + w*d - 16. Let j be (5 - 2)*(10 + 1). Is o greater than j?
False
Let c be ((-16)/64*414)/((-1)/2). Let m = 213 - c. Is 52/11 at least as big as m?
False
Let q = -761/330 + 139/66. Is -135 at most as big as q?
True
Let o = -215 - -245. Suppose o*a - 459 = 21*a. Which is smaller: a or 52?
a
Let p = 16018.01 - 16018. Which is greater: p or 0.654?
0.654
Suppose -2*k - 2*k + 23 = -i, 5*k - 40 = 5*i. Let d be 2 + (-13 + 26 - 12). Which is smaller: d or k?
d
Suppose -g = r + 2, 2*g = -5*r + 3 - 1. Let s be (-7)/(-238)*g/(3 + 1). Which is greater: 6 or s?
6
Suppose -17*k - 1856 = -15*k + 4*n, 0 = -2*k - n - 1874. Which is bigger: -939 or k?
-939
Let v = -922652/89 + 10367. Is 1/3 < v?
False
Suppose -86*z - 97*z = 1185474. Which is bigger: -6479 or z?
z
Let d = 371 - 322. Let w be ((-604)/16)/(d/56). Is -44 less than w?
True
Let u(a) = -5*a**2 - 61*a - 3. Let j be u(-6). Is 911/5 greater than j?
False
Let d = 7.106 + -7.006. Which is greater: d or -474?
d
Let b(c) be the second derivative of c**5/20 + 5*c**4/4 - 17*c**3/6 + 3*c**2 + 7*c. Let q be b(-16). Let y be (7/14)/(q/12). Is 0 bigger than y?
False
Let m be (-72536)/(-26) - (440/(-55) - 204/(-26)). Are 2789 and m equal?
False
Suppose 0 = -3*g - j + 6, 36*g = 41*g - 4*j + 7. Does 2/6267 = g?
False
Let i be (-6 - 44/(-4))/((-9)/(-201)). Let a be (-1114)/(-10) - (10 - (-336)/(-35)). Is a equal to i?
False
Let n(c) = 8343*c - 1605. Let i be n(1). Is 6737 >= i?
False
Let i = -6861 + 9259. Which is smaller: i or 2397?
2397
Suppose 0 = 14*o - 5*o + 10*o + 19*o. Which is smaller: o or -22/15?
-22/15
Let z = -2233 + 2233.05. Let b = -17 + 22. Which is greater: b or z?
b
Let i = -0.219 - 0.028. Let p = 10.247 + i. Is p at least as big as -0.8?
True
Let b(f) = -f**2 + f + 17. Let h be b(-4). Let z be (1/h)/((-3)/(-387)). Let i = 27 + z. Are -18 and i unequal?
True
Let c be 1 + -1 + 1 - 0. Suppose -24*y + 41 = 65. Is c not equal to y?
True
Suppose 2*k + i - 334 - 2171 = 0, -k + 2*i = -1250. Let o = k + -149027/119. Let z = o - 43/17. Which is greater: z or -2?
-2
Let p = 7.6 + -0.7. Let y = -2.1 - p. Let x = -8.9 - y. Are -18 and x nonequal?
True
Let c = 117.06812 + -0.06812. Which is bigger: c or 0.7?
c
Let m be 1/1*-5*1. Let f = -7 - m. Let q = 3 + f. Which is smaller: q or 1/145?
1/145
Let s(h) = h - 6. Let o be s(9). Let x be (16/(-28))/(o/(-21)). Let v be (-1 + 3)/(x/8). Is v at most 6?
True
Let b = 25421 + -1424075/56. Let x = 69/8 + b. Let a = 331 - 351. Is x less than or equal to a?
False
Suppose -3*r + 387 = -3*i, -i - 159 = -2*r + 102. Suppose 5*u = 4*u - r. Let p = -131 - u. Which is bigger: p or 8?
8
Let d(b) be the second derivative of -13*b**3/6 - 127*b**2/2 - 10*b - 1. Let j be d(-6). Which is smaller: j or -1?
j
Let t = -4.5047 + -0.4953. Which is smaller: t or -2/465?
t
Suppose -27*u = 261 - 774. Suppose 3*s + u = -3*h + 1, -h - 26 = 5*s. Is h >= -7/4?
True
Let c be (2/26)/(-1*(-237)/18). Let l = 171539/5135 - c. Which is greater: l or 32?
l
Let m be 463*(-1)/461 + 1. Let f be 12/(-72)*0/(-18). Which is smaller: f or m?
m
Let h = -0.62 - -0.52. Is 20/651 greater than h?
True
Let r be (-1 + (-18)/(-7))/(2052/2394). Is r > -17?
True
Let h = 40 + -23. Let q be (-4 - -2)/(6/192). Let a = q + 79. Which is bigger: h or a?
h
Let l be -3 - ((-8)/(-4))/(8/(-12)). Suppose -28 = -4*n + 2*s, 3*s - 4 = -4*n + 4. Suppose 3*t + 6*u - 2*u = l, u = n*t. Is t at most as big as -3/10?
False
Let c = -3927863947 + 1524010169937/388. Let x = c - -10737/4. Which is bigger: x or 1?
1
Let s = 3840 - 2625. Let b = s + -26725/22. Is b not equal to 0?
True
Suppose 3*w - 3*i - 18 = 0, -5*w + 0*w - 5*i + 20 = 0. Suppose 4*p - w*p = 23*p. Which is smaller: 1/9 or p?
p
Let n(l) = l**3 - 16*l**2 + 17*l + 47. Let s be n(23). Which is bigger: 4140 or s?
s
Let p be (-43)/((-3913)/(-42))*35/10. Which is smaller: -2 or p?
-2
Let z = 599/2268 + -8/567. Is z at least as big as -3.43?
True
Let u(j) = -j**3 + 3*j**2 + 9*j - 27. Let v be u(3). Which is smaller: -62 or v?
-62
Let x = -441/67 + 32201/2948. Which is smaller: x or 5?
x
Suppose -4292 = 16*t - 4308. Is t greater than 5/2066?
True
Let f = 22343/2 - 10888. Suppose 0 = 67*l - 66*l + 278. Let s = l + f. Is s smaller than 5?
False
Let d be 1/(-3) + (-2)/3. Let p be (26/(-6) + 3)/((-24)/846). Let o be (1/p)/(-1*(-2 + 3)). Is o <= d?
False
Let l = -3 + 3.24. Let k = l - 0. Suppose -3*w - 3*x + 6 = -0*x, 0 = 2*w - x + 2. Is w at most as big as k?
True
Let t = -4761.1 + 4758. Which is smaller: t or 3/10?
t
Let c = -4541285859 - -8042617709963/1771. Let f = c - 910/253. Let v = f - 264. Which is greater: v or -12?
v
Let j = -369095/138288692 + 9/3436. Is j greater than or equal to 0?
False
Let a = 8469 + -9075. Are a and -617 equal?
False
Let y = -244 - -3658/15. Which is smaller: y or -50?
-50
Let t = -242123 + 2181845/9. Is 305 < t?
False
Let b = 16191.9664 - 16204. Let v = b + 0.0336. Let j = 3 - 3.03. Which is smaller: j or v?
v
Let b = 1/558 - -553/2790. Which is bigger: b or -17/71?
b
Let h = -10789/4410 + 22/9. Let j be 1/(-7) + ((-582)/42 - -10 - -3). Which is smaller: h or j?
j
Let w be (36/(-20))/(17/85)*2/(-44). Do 0 and w have the same value?
False
Let d = -4.42 - -5.04. Is d at least as big as -2/9?
True
Let l be 3/12 - 538/8. Let s(v) = -1608*v + 16008. Let c be s(10). Do l and c have the same value?
False
Let r be ((-7)/84*15)/(2/(-80)). Let d be (2/6)/(65/r). Do d and 0 have the same value?
False
Let m be 886/(81/36 - (-1)/(-4)) + 4. Is 455 not equal to m?
True
Let h be 17/(-2) + 8 + 11/2. Suppose 6 = 2*o, h*o = 7*q - 9*q - 51. Does q = -21?
False
Let g = -3034/5285 + 2/755. Suppose 0 = 2*i + 4*r - 8, 4*i - 12 + 32 = 4*r. Let l be 20/(-35)*i/(-4). Which is smaller: g or l?
g
Let o = -3208 + 3239.1. Which is bigger: -9 or o?
o
Let o = 35629/1355 - 263/10. Which is smaller: o or 0?
o
Let l = -42.2 + 1.2. Let j = -22 - l. Let g = j - 18.8. Are g and 1.4 equal?
False
Let f = -129348/35 - -3696. Let l = 418/1015 - f. Are l and -1/5 non-equal?
True
Let h = -11 + 6. Let f(n) be the first derivative of -5*n**2/2 - 98*n - 100. Let v be f(-20). Is v greater than h?
True
Let s = 0 + 1. Suppose -n - 1 = s. Let x = -298012 + 298010. Are x and n unequal?
False
Let s(k) = -4*k. Let z be s(-1). Let f(d) = -14*d - 41. Let u(r) = r + 1. Let y(b) = f(b) + u(b). Let w be y(z). Is -92 at least as big as w?
True
Let c = 30 + -32. Let j be 322/(-588) - c/(-12). Are j and 0 equal?
False
Suppose 5 - 2 = 3*z. Let w = 40003/495 - 727/9. Is w >= z?
False
Let o = 66.509 - 66.8. Let g = o + -0.709. Are g and -158 unequal?
True
Let c be (2/(-12))/((-369)/(-18568806)). Let z = c + 8387. Is 1 