et c = -19208/33 - -582. Let w be (1 + -4)*(-2)/(-6). Let k be ((-3)/(-9) + 3/(-9))/w. Which is smaller: k or c?
c
Let t be 87188/3621 + 56/(-12). Which is greater: 18 or t?
t
Let m(i) be the second derivative of -i**4/12 + 17*i**3/6 - 14*i**2 - 73*i. Let b be m(16). Let w = 1 + -13. Is b bigger than w?
False
Let a(g) = 8*g**3 + 3*g**2 - 4. Let j be a(2). Let z = -68 + j. Let q = 516 + -3588/7. Which is smaller: q or z?
q
Let d be 7/(-105)*(7 + 11) - -1. Which is bigger: 16 or d?
16
Let v be 2160/(-4)*14/(-28). Is v not equal to 268?
True
Let m(l) = 147*l - 382. Let k be m(-5). Is -1119 equal to k?
False
Suppose 2*f - 7 = -i, -2*i = 2*f + i - 1. Suppose -6*o - f = -7*o. Is 45/8 equal to o?
False
Let y = -23 + 23. Let b be (24/4820 - y)*-10. Let t = -937/13978 - b. Do t and -1 have different values?
True
Let g be (8/(-14))/(-1) + -82 + 81. Suppose -t - 1 - 7 = 0. Let h = -7 - t. Which is smaller: h or g?
g
Suppose 5*u - 1819 = 3*j, -34*u + 5*j = -37*u + 1105. Let g be ((-21)/(-6) + -3)*5/u. Let b = 5 + -4. Is g >= b?
False
Let q(d) = -d**3 + 33*d**2 + 68*d - 1157. Let g be q(34). Is g >= -17/356?
False
Let b = 28601509/1678 + -17045. Is b < 1?
True
Suppose 3*o + 12 = -3*h, 5*h - 12 + 22 = 5*o. Which is greater: o or 2/51965?
2/51965
Let l be (4 - 5)*(6 - 8)*-964. Is l <= -1929?
False
Let u = -3 - -15. Let a(w) be the third derivative of -w**4/8 + 19*w**3/6 + 17*w**2 + 2. Let x be a(u). Which is bigger: -16 or x?
-16
Let t = -37342920301/7280 - -5129522. Let o = 2/1365 - t. Which is smaller: 0 or o?
0
Let x be ((-2)/(-3))/((-6)/9). Let i be 8 + (15/(-20))/(x/(-4)). Suppose 0 = a + i*d + 5 + 9, 3*d = -9. Which is greater: a or 7?
7
Let g = 69 + -68. Let r = -81728/55 - -1486. Is g at most as big as r?
False
Let n = 0.2 + 0. Let x = -1.403 - -1.533. Let w = x - n. Which is bigger: w or -0.3?
w
Let d be 97/194*(-8)/14. Which is smaller: d or 3/157?
d
Let s(w) = 159*w - 534. Let t be s(4). Which is bigger: 409/4 or t?
409/4
Let k = 11278 + -11232. Which is smaller: 0.64 or k?
0.64
Suppose -3*c - 6*c = -234. Suppose -3*g + 480 = 4*h - 2*g, -3*h = -g - 353. Suppose 6*k = 31 + h. Is c at most as big as k?
False
Let i be (-8*(-2)/(-20))/(2/35). Let t(h) = -h**3 - 15*h**2 - 18*h - 57. Let v be t(i). Which is smaller: 3/38 or v?
v
Let u = 23.687 - 0.287. Let k = -18.4 + u. Do k and -6 have different values?
True
Suppose -20 = -4*s, -4*b + 16857 = 5*s - 10720. Suppose -34*f - b = -13*f. Is -329 >= f?
False
Suppose 3*l = -2*s + 105, 0 = -s - 3*s + 3*l + 219. Suppose -5*v + 3*v - s = 0. Let m be (v/6)/((-3)/(-5)). Which is smaller: -8 or m?
-8
Let x be -1 + 6/(-33) + 1. Let w = -260.8 + -62.2. Let q = w + 321. Which is bigger: q or x?
x
Suppose -2*m + 3*z - 2 = 3*m, 5*z = 3*m - 18. Is -70 > m?
False
Let m be 4/(-10) - (-1 - (-265)/25). Let i = m - -102/13. Which is smaller: -3 or i?
-3
Let o(z) = -304*z + 912. Let f be o(3). Is f less than -23/32?
False
Let d = -379 + 26529/70. Suppose -198 = -3*q - 3*q. Let r be ((-5)/15)/(11/q). Are d and r equal?
False
Let d = 34199 - 34200. Which is greater: d or -2/15347?
-2/15347
Suppose 0 = -4*f - n - 17 - 24, -n = -3. Let q be (-2)/8 + f + (-924)/(-48). Is q greater than or equal to 8?
True
Suppose 5*c - 46 = -u, u + 10 = 4*c - 25. Let k be (-74 - -81) + ((-21)/6)/((-3)/6). Which is smaller: c or k?
c
Let x be 92*(30/(-24))/5. Let y(u) = 5*u**2 + 111*u + 27. Let r be y(x). Which is greater: 117 or r?
r
Suppose 16*k + 24*k = -80. Let c(d) = 4*d**3 + 2*d**2. Let a be c(1). Which is smaller: k or a?
k
Let h be 24675/(-1375) + (-48)/(-88). Which is greater: h or -41?
h
Let g be (522/870)/((-3)/(-770)). Which is greater: 2302/15 or g?
g
Let b = -42 - -73. Let t = -158.6 - -125.6. Let g = t + b. Is g at least 5?
False
Suppose 3*k + 25 = -4*i, 5*i - 5*k = -25 + 55. Let v be (2/4)/((-2)/212). Is v smaller than i?
True
Let m = -3079 + 3085. Which is greater: m or 174/35?
m
Let x = -1574 + 1652. Do x and 75 have the same value?
False
Let n be (-4604)/(-6360) + (1 - (-21)/(-15)). Let b = n - -1/106. Suppose -15 - 5 = -4*c, 25 = 5*a + 4*c. Which is greater: a or b?
a
Let a be 49/7 - (0 - (-13 + 5)). Which is smaller: a or -77/85?
a
Let w(q) = -163*q - 52. Let o be w(-1). Let h be 370/o*(-3)/(-2) - 4. Which is greater: 2/1589 or h?
h
Let a be 1/3 + 1/3 - (-6681)/(-9954). Is -1 at least as big as a?
False
Let j = 246.2515 + -3.1545. Let o = j - 243. Let b = o + -13.097. Which is bigger: b or 3?
3
Let g = -4.1 - -27.1. Let x = 2 + -25. Let m = g + x. Which is bigger: 0.49 or m?
0.49
Let w be 2/(-3 + 1 + 0). Let s be 189/54*4/56 - (-125)/(-84). Is s smaller than w?
True
Let v be -18 - (-11 + 0) - 15441/18. Is -864 less than v?
False
Let d = 148 + -378. Let n = d - -370. Is n bigger than 0.2?
True
Let j = 76 - 343. Suppose -1192 + 1203 = -11*y. Which is greater: y or j?
y
Suppose r = -a + 23, 209 = -4*a - 3*r + 299. Is a bigger than 239/11?
False
Let g(q) = 4*q**3 + 3*q**2 - 2*q + 7. Let k be g(-4). Let x = k + 12. Let c = 1081/6 + x. Is c greater than 0?
False
Let y be 2/6 + (-26)/42. Let v = 137 - 97. Suppose 39 = n + v. Which is bigger: y or n?
y
Suppose -4*q - 62 = -q - 2*c, 0 = -3*c - 15. Let d be 6/225 + ((-25784)/(-600) - 47). Do q and d have different values?
True
Let o = 19 - 11. Suppose 0 = -o*q + q + 42. Let j be (-6 + 0)/((-27)/q). Are j and 0 unequal?
True
Suppose -3*s - 51 = 3*x, 3*x - 4*s - 4 = -76. Let l = -89 - -90. Let f(o) = -18*o - 2. Let a be f(l). Is a bigger than x?
False
Let c = 0.368 + -1.128. Let v = c + 1.76. Let m = 6.28 - 6. Is m greater than or equal to v?
False
Let q = -34 + -20. Let i = q - -55.22. Let m = -1.12 + i. Is 0.2 != m?
True
Let z = 1.21 - 1.1444. Let k = 65.9344 + z. Which is smaller: k or 0?
0
Let t be (30128/(-71285))/(-1*2/5). Which is smaller: t or 1?
1
Let w be -2*(-169)/26 + -730. Are -5010/7 and w nonequal?
True
Let l be -5 + (2 - 0) + 0. Let u be 1/(3*l/(-657)). Let g be -252*(-48)/(-2352)*(-3)/(6/28). Is u at least as big as g?
True
Let i = -3.0423 - -0.0423. Is i != 0.0796?
True
Let l = -777/2 - -3883/10. Is l <= 123?
True
Let h = 47 + -67. Let g = h - -5. Let l = -17978 - -17961. Is g < l?
False
Let g be 567/(-6)*(-14 + 6)*-24. Is g equal to -18145?
False
Let q be (-254484)/(-99) - (-36)/(-66). Is 7708/3 greater than q?
False
Suppose 13*p + 4420 = -0*p. Let b be (-1 + 0 + -1)/(p/646). Which is smaller: b or 3?
3
Let d = 1160 + -1239. Does -96 = d?
False
Suppose 3*q + 22 = q. Let k = -17507 + 17485. Which is greater: k or q?
q
Let o = 22.98 + 0.02. Let s = 31 - 2. Let g = o - s. Which is smaller: -1 or g?
g
Let p = -117539455/1028 - -114338. Do -1 and p have the same value?
False
Let s be ((209104/(-3432))/14)/((-282)/(-3)). Let y = s - 18/611. Is 1 less than or equal to y?
False
Let v = 1557 + -1556. Is 11/25 <= v?
True
Suppose -y - 2*y + 90 = 0. Suppose 3*d = 4*d + y. Let v be (-116)/d + (-10 - -6). Do 0 and v have the same value?
False
Suppose -62*z - 45*z - 335 + 14 = 0. Let u be (-2)/(-6) + 113/(-33). Which is bigger: u or z?
z
Let j = 10843 + -10840. Is j smaller than 647?
True
Let i be ((-3)/(-18) + (-32)/48)*(-7 + 7). Is 1/37966 bigger than i?
True
Let h be (-52334)/1337 + (-2)/(-14). Let l be h + 0 + 6 + 6 + -7. Let n(f) = -9*f + 3. Let d be n(4). Is l < d?
True
Let s(k) = 2*k + 10. Suppose -3 = 2*c + 3. Let p be 1/(c/9) - 2. Let q be s(p). Which is greater: -8 or q?
q
Let u = -0.04 + 3.04. Suppose 0 = 109*x - 166*x - 3420. Let j be (-5 - 355/(-70))/(3/x). Does j = u?
False
Let b = 6154 + -5775. Is b != 11?
True
Let d = 572.1 - 1596.1. Is d equal to -2?
False
Let b = 3182 - 493218/155. Which is greater: b or -1/4?
b
Let i(u) = 198*u + 604. Let t be i(-21). Which is smaller: t or -3555?
-3555
Suppose 10*l = -4*y + 13*l - 276, -5*y - 2*l = 322. Suppose 13 = o + 81. Which is smaller: y or o?
o
Suppose 7707 + 5077 = -272*m + 264*m. Which is smaller: m or -1597?
m
Suppose 48 = v + v. Let i be (3/v)/(7/(-12)). Let n(g) = -9*g + 37. Let z be n(4). Which is smaller: i or z?
i
Let d = -274 + 716. Let q be (2/4 - 2)/((-13)/d). Which is greater: q or 49?
q
Let s(r) = r**2 + 6*r + 35. Let p be (-1 - -78)/(-7) + 3. Let z be s(p). Which is greater: 103/2 or z?
103/2
Let c(v) = -9*v**3 - 9*v + 5 - 13*v**3 - 6*v**2 + 24*v**3. Let u be c(4). Which is smaller: -4 or u?
-4
Let z = 28235