 is greater: -136 or w?
w
Suppose -22*a = -59 + 81. Which is smaller: a or -2/3953?
a
Let n be 1 - (0 + (23 - -2)). Suppose 140*q - 1080 = 185*q. Is n > q?
False
Let x be ((-4)/(-12))/(4/1164). Which is smaller: 98 or x?
x
Let g = 349 - 350. Which is bigger: g or 3/31?
3/31
Let p = 19.8 + -20.8. Which is bigger: p or -29?
p
Let j be (3/(-9))/(2/(-6)). Let k = -34225/8 - -4280. Which is smaller: j or k?
j
Let w = -9723/1426 + 208/31. Let g = w + -35/1794. Is 0 less than g?
False
Let f = -0.09 + -1.91. Let j = 17/5 - 3. Which is greater: j or f?
j
Let b = -142 - -141.9. Is -2/513 at most b?
False
Let s = 567 - 601.1. Let b = -34 - s. Does 3/22 = b?
False
Let k be (3/5)/(693/(-770)). Which is smaller: k or 838?
k
Suppose 93 = 2*v - 207. Let c = -31 + 21. Let b be 4/(-6) - c/v. Do -1 and b have different values?
True
Let v be 34*(-3)/(-252) + (-12)/21. Suppose -2*t = 3*t - 5. Suppose 0 = -3*s + 2 + t. Which is smaller: v or s?
v
Let l be 1*(-2)/(-756)*2. Which is bigger: l or 1?
1
Let a = -9 - -6. Let d be (-255)/(-35)*1/a. Which is bigger: d or -1?
-1
Let f(m) = -2*m**2 - 15*m + 66. Let v be f(-13). Which is smaller: v or -1/5?
v
Suppose -n = -2*n + 14. Let s = 1563 + -1556. Is n greater than s?
True
Let d = -5.31 + 5.01. Is d at most as big as -3.6?
False
Let m be 4386/357 + (-1)/((-14)/(-4)). Let a be (-40)/(-225)*(-10)/m. Is 0 at most as big as a?
False
Let i(q) = -q**3 + 11*q**2 + 24*q - 17. Let z be i(13). Suppose y - 4*u + 56 = 0, 4*y - 2*u = 3*y - 50. Which is greater: y or z?
z
Suppose -z + 4*z = -2*s - 20, -5*z + 3*s - 27 = 0. Is z at least -74/11?
True
Let b be ((-4)/(-1010))/((-546)/(-1170)). Which is bigger: -1 or b?
b
Suppose 0*l - 21*l - 273 = 0. Is l bigger than -6/11?
False
Let z = -0.9 - -10.9. Let g = 0.9 + -1.6. Let j = g - -0.9. Is z at most j?
False
Let a = 0.05 - 1.05. Let s(t) = t**2 - t + 1. Let f(k) = -6*k**2 + 5*k - 4. Let d(l) = f(l) + 5*s(l). Let u be d(0). Which is bigger: a or u?
u
Suppose 0 = -22*l - 14*l + 36. Which is greater: l or 2/213?
l
Let c = -27.88 + 31.68. Which is greater: -2 or c?
c
Suppose 2 = -3*q + 8. Let k be 0 + 2/q*-38. Let f = k - -188/5. Which is smaller: f or 1?
f
Suppose 3*c = -5*h + 24, -5*h = -3*c + c - 9. Suppose 2 = s - h. Suppose -3*n - 5*y + 0*y = s, 5*y + 5 = 0. Which is smaller: 11 or n?
n
Let v(r) = 4*r**3 - 26*r**2 - 3*r**3 + 28*r**2. Let c be v(-3). Is -8 greater than c?
True
Let i(x) = -x - 7. Let t(j) = j. Let r(u) = -i(u) - 3*t(u). Let p be r(5). Let z be ((-48)/(-36))/(2/(-6)). Is z bigger than p?
False
Suppose -27*g = -26*g - 4. Suppose g*t = -2*h - 282, -204 = 3*t - 2*h + 5*h. Which is greater: t or -74?
t
Let l = -8 + -4. Suppose 0 = 5*n + 2*r - 19, -4*n - 7 + 18 = 3*r. Let g be (n + 45/(-20))/((-2)/8). Is g > l?
True
Let u(j) be the third derivative of -j**5/60 - 5*j**4/12 + 7*j**3/6 - 31*j**2. Let z = -8 + -2. Let q be u(z). Is q equal to 8?
False
Let q be (114/(-15))/((-21)/105). Which is smaller: q or 44?
q
Suppose 8*q = 3*q. Suppose q = n - 3*n - 12. Suppose 3*r + 17 = -4. Is n <= r?
False
Suppose -4*i + 5*h + 123 = -0*i, 5*h = 25. Let l = i - 184/5. Are l and -1 non-equal?
True
Let i(h) = -h**3 - 13*h**2 - 13*h - 13. Suppose -11 = -w - 2. Let a = w + -21. Let s be i(a). Which is smaller: s or -1/6?
s
Let a be (-122)/(-8)*(91/(-7) + 1). Is -1 less than a?
False
Suppose -4*l = -l + 12, 0 = 4*t - 5*l - 48. Suppose 4*y - t = 17. Suppose -y = 3*z - 2*d, 15 = z - 0*z + 5*d. Is z less than 1?
True
Suppose -12*a = 3*a - 3180. Which is greater: 211 or a?
a
Let c = 15 + -52. Which is smaller: -33 or c?
c
Let f = 894/385 + 6/77. Let w(x) = x**2 + 1. Let d be w(-1). Which is smaller: d or f?
d
Let d be -10 - 2/(12/(-18)) - -241. Are d and 704/3 nonequal?
True
Let q = 21028/575 + -936/25. Is -1 >= q?
False
Let g(f) = 2*f**3 - 20*f**2 - 23*f + 6. Let c be g(11). Which is bigger: -25 or c?
c
Let s be 132/(-2 - 1) - 0. Is s at least as big as -41?
False
Suppose -2*f + 11 = 13. Let c(r) = r**2 + r + 1. Let m be c(f). Is m < 1/13?
False
Let w(u) = u**2 - 8*u + 2. Let v be w(7). Let t = 12 - 9. Suppose 0 = 2*c + 1 - 9, -17 = m - t*c. Is v smaller than m?
False
Let k = -7.96 - -8.02. Which is smaller: k or 0.071?
k
Suppose 96 = -3*u + 3*k + 12, 3 = -3*k. Is -31 at least u?
False
Let w = -2.88 + 1.88. Is w > -1?
False
Suppose -3*p + 2*p + 4*l = 32, -3*p + 2*l - 46 = 0. Let q be ((-5)/p)/((-8)/(-7572)). Let j = 395 - q. Is 0 greater than or equal to j?
False
Let a = 103 - 123. Are a and -20 non-equal?
False
Suppose -5*u = -4*r - 10, -u + 6 - 23 = 3*r. Let z(s) = s + 14. Let f be z(-10). Suppose -f*v = 11 + 13. Is v at most as big as r?
True
Let h = -15 + 25. Let d = -14 - -20. Suppose h*l - 8*l = -d. Which is bigger: -2 or l?
-2
Suppose -2 = -5*o + 8, -5*d + 18 = 4*o. Let f be ((-55)/44)/(d/8). Let w(m) = -m - 11. Let z be w(-3). Is f > z?
True
Let i(k) = -k**3 + 4*k**2 - 4*k + 6. Let b be i(3). Let v be 3 - (-2*18)/b. Is 15 less than or equal to v?
True
Let w = -546 - -544. Is -4 <= w?
True
Let s be 104/2795*(-3 - (35 - -2)). Which is bigger: s or -2?
s
Let j = 53/459 - 2/459. Let l = -373/90 - -40/9. Is j > l?
False
Suppose -6*m + 8*m - 60 = 0. Let c be (1 + 9/(-5))/(4/m). Which is smaller: c or -5?
c
Let r(x) be the first derivative of -x**4/4 + x**3/3 + 3*x**2/2 + 3*x - 2. Let y be r(3). Let w = 1298 - 1307. Is w > y?
False
Let a be (-200)/33*1 + 6 + 0. Which is smaller: 28 or a?
a
Suppose -y = -l - 0 - 3, 0 = 2*l + y - 3. Suppose l = 2*s + s + 3*s. Let q be 2/(-27) + (2 - 2). Is q at most as big as s?
True
Let n = -889/34 - -53/2. Which is bigger: n or -1?
n
Suppose -10*l + 149 + 221 = 0. Suppose 5*q - 2*q = a - l, -q - 7 = -3*a. Are -15 and q non-equal?
True
Suppose 5*p + 2*q + 2*q - 12 = 0, 0 = -p - q + 2. Suppose p*j + 9 + 51 = 0. Which is smaller: -13 or j?
j
Let o(l) = -l**2 - 7*l - 2. Let r be (16/(-4) - -3)*5. Let g be o(r). Suppose g = 4*y - 16. Are y and 7 equal?
False
Let u(t) = 6*t**2 + 96*t + 344. Let n be u(-6). Let i be (-3)/(-9) + (-58)/3. Which is smaller: i or n?
i
Let s(d) = -d**3 + 8*d**2 - 3*d - 29. Let p be s(7). Which is bigger: -2/107 or p?
-2/107
Let x = 0.38 + 41.62. Let m = 44 - x. Which is greater: m or -0.2?
m
Let r be 1/(45/27) - 8/(-20). Is 807 bigger than r?
True
Let f be (-4 - (-1905)/(-21)) + 4. Let r = -91 - f. Do -0.1 and r have different values?
True
Let a(j) = -2*j + 8. Let y be a(6). Let m be (6/(-352))/((-1)/y). Let v = 161/220 - m. Is 1 at most as big as v?
False
Suppose 5*r - 5*k - 55 = 0, k + 2*k - 72 = -4*r. Suppose r = 7*b - 12*b. Is -2 greater than or equal to b?
True
Let b be -2*(729/6)/(-9). Let g = b - 28. Is g >= -2/5?
False
Let h = -77 + 53. Let f = -20 - h. Let b be 9 - (0 - (-8)/f). Which is smaller: b or 9?
b
Let x(v) be the second derivative of v**4/6 + 8*v**3/3 + 8*v**2 + 46*v. Let w be x(-7). Is w less than 6/11?
False
Let f = -439/6 - -73. Suppose 0 = -t - 3 + 4. Which is smaller: f or t?
f
Let h be (39/18*2)/((-25)/8325). Which is smaller: -1442 or h?
h
Suppose -2*r - 4 + 5 = -5*g, -g - 1 = 0. Let i be (4 + 0)/(4 - 2). Suppose 8 = -i*d - 0. Is r greater than or equal to d?
True
Let f be 6/8 - (-73)/4. Let k = -16 + f. Suppose k - 7 = h. Which is bigger: h or 3?
3
Suppose 0 = 3*v - 5*j - 158, -4*v + 62 + 137 = 5*j. Suppose p - v = 3*n - 7*n, 20 = 5*n. Let f be (-5)/(-4)*14/p. Is 2 equal to f?
False
Let i be ((-12)/229050*-10)/(12/30). Is 1 less than i?
False
Suppose c + 8 = -3*c, 0 = -5*h + 4*c - 122. Which is smaller: h or -25?
h
Let f = -1.3 - -27.3. Let n = f + -25.7. Is n smaller than -1/2?
False
Let u = -0.0577 - -23.0577. Is 4 smaller than u?
True
Let j = 0.299 - 0.109. Which is greater: j or -0.01?
j
Let s be 8208/(-5180) - -2 - 2/5. Let n = s + -853/4921. Which is bigger: n or 1?
1
Let q = 61 - 79. Let i = q + 18. Which is smaller: i or -2/15?
-2/15
Let n = -1483 - -1484. Which is smaller: -4/841 or n?
-4/841
Let b(q) = -6*q**2 + 3*q - 2. Let n be (-6)/10 + 64/40. Let k be b(n). Let l(j) = j**3 + 5*j**2 + 4*j - 4. Let w be l(-4). Are k and w equal?
False
Suppose 4*l - 42 = l. Let f = 27/2 - l. Let d(p) = -p**2 + p - 1. Let b be d(1). Is b less than f?
True
Let c = -338 - -339. Is 2/559 greater than or equal to c?
False
Let a = 938 + -12202/13. Is -2/7 > a?
True
Let x be -2*1/20*(-3 - -7). Let t = -2 + 1.6. Let o = 0.6 