/l). Which is bigger: -0.1 or u?
u
Suppose -8 = 3*c - 11. Let k be (c + -2 + 1)/(-5 + 6). Let w = -1/139 - 1373/2363. Is w smaller than k?
True
Suppose -t + 4 = -u, -14*u - 10 = 5*t - 9*u. Let l be -6 + t/(7/42). Let z be 4/(-10) + 0 + 0. Are z and l unequal?
True
Let g(c) be the second derivative of 5*c**4/4 + 5*c**3/6 - 5*c**2/2 + 16*c. Let p be g(2). Let k be 78/p - 2/(1 + 1). Does k = -1?
False
Suppose 364 - 2188 = 19*o. Let y = -364 - o. Is y >= -269?
True
Let f be (84/(-63) - -12)*-10*321/(-18). Which is bigger: f or 1902?
f
Let n = -1229/1450 - -24/29. Suppose v = 3*j - 68, -2*j - v - 44 = -4*j. Suppose 0 = 4*z + 5*h + 29, 4*h + h + j = z. Which is smaller: z or n?
z
Let j = 29118.9 - 29119. Which is greater: 0.8549 or j?
0.8549
Suppose 5*o - 353 = 61*i - 64*i, -o + 4 = 0. Is i at most as big as 51?
False
Let x(a) = a**2 - 41*a + 672. Let n be x(24). Is 264 bigger than n?
False
Let l = -7177997738/21113 + 339980. Is -1 at least as big as l?
False
Let z(g) = -60*g**2 + g + 1. Let d be z(-2). Let w = -224 - d. Does w = 19?
False
Let w = -5290 - -5286. Is w at least as big as 31.7?
False
Let b = -3/3673 - -3685/14692. Let x = -1 + 2. Is x less than or equal to b?
False
Let k(m) be the third derivative of 13*m**4/24 - 5*m**3/2 + 23*m**2. Let r be k(2). Suppose 5*t - 2*u = -18, 4*u + r = -2*t + u. Which is smaller: t or -27/8?
t
Let w = -138 + 138. Suppose -18*k - 14*k + 960 = w. Is 30 at most k?
True
Suppose -5*x - 86 = -2*k, -2*x + 6*k - 47 = k. Let b = -4746 + 4750. Let s be (-2)/4 - b/x. Is 18/7 >= s?
True
Suppose -93 = 5*y - 118. Suppose -10 = -0*z - 3*z + 2*s, -y*z + 3*s = -15. Is -4/73 >= z?
False
Suppose -16*q - 6*q - 2*q = 2064. Is q smaller than -86?
False
Let d(y) = -1724*y**2 + 215*y - 627. Let h be d(3). Which is greater: -15499 or h?
h
Let x(c) = -4*c**2 + 2*c - 3. Let l be x(-3). Let o = -0.0383 - 268.9617. Let j = 268.9 + o. Is j > l?
True
Suppose -5*f + 4*a = -0*a - 75, 2*f + 2*a - 30 = 0. Suppose g - 1 = 4*m - 3*m, 5*m + f = -5*g. Let t(d) = -50*d**3 - d. Let l be t(g). Is l < 50?
False
Let v(y) = -y**2 - 82*y - 1016. Let k be v(-39). Is 664 greater than or equal to k?
True
Suppose 5*s = -3*m - 751, 7*m = -2*s + 6*m - 301. Let j = s - -272. Does j = 121?
False
Let o = -2819513367999/4435 - -635741453. Let d = o + 27/5. Do 0 and d have the same value?
False
Let w be 190432/(-66)*(-6)/(-26). Let a = w - -103975/247. Let v = -245 - a. Is 2/7 not equal to v?
True
Suppose -5*x + 2*n = 0, 6*n - 21 = -3*x + 3*n. Suppose -11*f - 4 = -24 - 24. Suppose x*w - f*w = 0. Is -7 smaller than w?
True
Let c = -30 - -1085. Suppose 6*l + b + 1585 = 3*l, -c = 2*l - b. Which is greater: -527 or l?
-527
Let i = -43 + 42.9965. Let n = i - -41.3035. Let y = n - 41. Which is bigger: y or 1?
1
Let r = 2.45 - 0.95. Let c = 18.5 + r. Let k = c + -22. Is 3/5 smaller than k?
False
Suppose 0 = -283*w + 265*w + 208044. Is 11558 < w?
False
Suppose -32078 = -16*q + 389*q. Is -938/11 greater than q?
True
Suppose 5*r = -5*b + 5295, -22*r + b = -20*r - 2121. Is 1056 >= r?
False
Let f be (-1)/(-4) + 559/20. Suppose 0 = 3*p + b + 205 - 294, b + 46 = 2*p. Which is smaller: f or p?
p
Let m(u) = -860*u**3 - u**2 - u - 1. Let c be m(-1). Let q = 25759135 + -1493980007/58. Let s = c - q. Which is bigger: 0 or s?
0
Suppose 0 = 2*h - 5*h + 33. Suppose -3*v + 46 = -h. Let b(m) = 8*m - 5. Let x be b(3). Is v smaller than x?
False
Let p be 3 - (0 + 4 - 2). Let x be p + 3*2*(-4)/(-8). Suppose 72 - 108 = -x*o. Are o and 3 unequal?
True
Suppose -21*o = 75414 - 18567. Let r = o + 35141/13. Which is smaller: r or -4?
-4
Let z = -0.06 - -0.36. Let w be 12/(-20) + (-1134)/10. Let b = 334/3 + w. Is b at most as big as z?
True
Suppose 5*i - 3*j + 2*j - 3 = 0, i = 2*j - 3. Let d(l) = 21*l + 7. Let m be d(i). Suppose -7*h + 154 = m. Which is bigger: 19 or h?
19
Let m = 15475752997/705 + -21951427. Let w = m + 64/15. Suppose 5*b = 3*o + 3, 2*b - 4*b + 2*o = -2. Which is smaller: w or b?
w
Let r be ((-30)/105)/(1 + (-15)/14). Let w be ((-41)/2 + -1)/(2/r). Which is smaller: w or -47?
-47
Let j = -12615 - -12601. Which is smaller: -2.98 or j?
j
Let t be (24/(-42))/(2/(-7)). Suppose -t*s = -0*s + 60. Let c = -667 + 639. Is s equal to c?
False
Let b = -16.6 - -16.822. Let v = 28.778 + b. Which is bigger: -2 or v?
v
Let v = 536 - 536. Which is smaller: v or -1/771?
-1/771
Suppose 5*z = 4*h + 38, 3*h - 22 = -z - h. Suppose -9*v + z = 37. Let g be (10/v)/(3 + (-130)/45). Is g < 1?
True
Let l = -15210 - -15320. Which is bigger: l or 29?
l
Let c be (-3)/(-12) + (-26505)/20. Let a = 5135/4 + c. Let t = 41 + a. Which is greater: 24 or t?
24
Suppose -132 = -4*k - 2*q, 3*q = -5*k - 2*q + 155. Let v = k - 31. Suppose -5*p + v*j - 23 = 15, -4*p - j = 22. Is p at least -13/2?
True
Let a = 42 - 42. Suppose a = z - 2*z + 2*z. Let d be (-1)/1 + (z - -21). Is d greater than 20?
False
Let w = -12557/12 + 419/12. Are -1011 and w nonequal?
True
Let q be (99/27)/((-209)/(-57)). Which is smaller: -20/1389 or q?
-20/1389
Let d(z) = -3*z + 1. Let m be d(-1). Let b(v) = -7 - 653*v**3 - 8*v + 1309*v**3 - 655*v**3. Let f be b(m). Do 27 and f have the same value?
False
Let w(x) = -3*x**2 + 7*x - 5. Let m be w(4). Let z(f) = 6*f + 94. Let k be z(m). Is k greater than -58?
True
Let a = 4557 - 5438. Which is smaller: a or -878?
a
Let w = 0.04742 - 0.24742. Are w and 22/21 nonequal?
True
Let t be 2*-2 - (626 + -622). Suppose 3*y - 21 = 3*z, 3*y - 30 = -2*y + 4*z. Suppose -y*a + 25 = -7*a. Which is bigger: t or a?
a
Suppose 0 = 3*w - 25*w - 12782. Let s = -19175/33 - w. Is -1 greater than or equal to s?
False
Suppose 4*l + 8073 = 3*m, -7*l = 9*m - 7*m + 14135. Is l < -2020?
False
Let r = -81.95 - 1.05. Let f = 82.85 + r. Let l = f - -0.25. Which is greater: 50/3 or l?
50/3
Let m be (-2)/(-44)*(-30)/3810. Which is smaller: m or 1?
m
Let n(c) = -31*c**2 - 84*c + 266. Let t(q) = 11*q**2 + 28*q - 89. Let u(h) = 6*n(h) + 17*t(h). Let v be u(3). Is v > -10?
True
Suppose 4*z - 15 = 1. Suppose -9*j + 6*j + 5 = 2*y, 2*y - 6 = -z*j. Is j less than -1/23?
False
Suppose -404 = 10*u + 196. Let p be u/(-5)*(3 + 24/(-9)). Suppose -6*d + 4*d + p = 0. Is -41 less than or equal to d?
True
Suppose -14*m + 12*m = -49*m - 485087. Is -10321 bigger than m?
False
Let l(w) = w**2 - 35. Let d be l(6). Let t be (-3 - -15)*(-8)/540. Which is bigger: d or t?
d
Suppose -3*k - 6 = 2*i, 3*k - 1 = -i - 7. Suppose i = 14*t - 9*t + 85. Let l be (-8 - -10) + (-1 - t). Is 35/2 > l?
False
Let g(s) = s**3 + s - 11. Let m be g(0). Let r = -50 - -50. Suppose r = 15*y - 3*y + 108. Is y not equal to m?
True
Let u = 1.08 + -2.08. Let i = 132 - 129.6. Which is bigger: u or i?
i
Let z(p) = 2*p**2 + 8*p - 9. Let i be z(-11). Let w = -35 + i. Is 110 less than w?
False
Let d = 1364917/14490 + -5942/63. Let g = 604 - 18121/30. Let w = d - g. Are w and 0 non-equal?
True
Let d = -35 - -58. Let n be (1 + 16/80)/(3/50). Which is smaller: n or d?
n
Suppose -5*i - 4*c = -224, 0 = -i + 4*i - 2*c - 130. Suppose -4 = 8*k - i. Suppose -17 = k*z + 38. Is z <= -7?
True
Let i = -239 - -255. Let a be (-1992)/56 - i/(-28). Which is greater: 1 or a?
1
Let g = 0.188 - -0.012. Let c = g - 11.2. Let t = c - -5. Is t > 2?
False
Let p(h) = 2*h**2 + 233*h + 162. Let d be p(-115). Is -219 <= d?
True
Let f = -19727 - -18312. Is -1415 at most as big as f?
True
Let r = -0.048987 - 127.951013. Let a be ((-6)/9)/(4/(-6)). Is r at most a?
True
Let o = 8.956 + -9. Let u = o + 0.664. Let n = -0.42 + u. Which is bigger: n or 13?
13
Let b = -28462 - -27971. Is -7 != b?
True
Let a be 4/82 + 454572/738. Is a greater than or equal to 618?
False
Let s = 34/18553 + 2657114/7922131. Is s less than or equal to -1?
False
Let f(r) = -21830*r + 414606. Let z be f(19). Let x be (-4)/(-14) - (-2272)/(-14). Which is smaller: z or x?
z
Suppose 4*p - 6*n - 32 = -0*p, 0 = -4*p + 3*n + 14. Do p and 2/2109 have the same value?
False
Let o be -1*(-1 + 6) - -7. Suppose u = 2*h - 6, u + o*u = h - 13. Let g be (-4)/50 + -4 + 4. Which is bigger: g or h?
h
Let i = 0.0101 + -547.0101. Let f = i + 547. Is -56 not equal to f?
True
Suppose -2*b - 110 = -3*k, b = 5*b - 2*k + 220. Let q = -277/5 - b. Let a be (-6)/9 + 1 + (-477)/(-27). Are q and a unequal?
True
Let s = 6.05 - 6.1022. Let q = 0.1222 + s. Is q bigger than 26?
F