0 - (-21)/5. Suppose 2*a = 2*f, -k*a - 3 = -15. Let m be 0/(1 - (1 - 1)). Which is bigger: f or m?
f
Let h = -300 + 183. Is h less than or equal to -116?
True
Let q(g) = g**3 + 2*g**2 - 6*g + 1. Let c be q(-3). Is c > -4?
True
Let q = -134 + 22. Let b be (q/(-12))/7 + 172/(-3). Which is smaller: -1 or b?
b
Let j(s) = 2*s**2 + 2*s**3 + s**2 - 4*s**2 - 2*s + 1. Let x be j(2). Suppose -d + 2*d = -x. Are -10 and d equal?
False
Let i = -89 - -90. Is i at most 5/59?
False
Let d be (-4)/6*(-5)/(-26). Let l = d + 58/13. Do l and 5 have different values?
True
Suppose 2 = -z - 1. Let y be (z + (-10)/(-6))*-3. Which is smaller: 2 or y?
2
Let t = -6260 - -4006. Is t smaller than -2254?
False
Let v = -508 + 508. Is -441 at most as big as v?
True
Let f = -77/5 - 409/15. Which is smaller: -44 or f?
-44
Let l be 4/3*(3 - 0). Let b(m) = -m**2 - 5*m + 8. Let w be b(-6). Suppose w*h - 2 = d, 3*h = h + l*d + 8. Which is greater: h or 1/2?
1/2
Let p(h) = -h**3 - 14*h**2 + 73*h + 17. Let x be p(-18). Which is greater: 3/982 or x?
3/982
Let x be 34891/223665 + -1 + 22/26. Is x less than or equal to 1?
True
Let d = -11 - -15. Let f = -2609 + 28729/11. Is f bigger than d?
False
Let i be ((1 + -2)*0)/2. Suppose -23*n + 24*n + 1 = i. Is 1/12 <= n?
False
Let f = -10.4 - -10. Let k = f - 2.6. Let y = -2.9 - k. Which is smaller: y or 2/11?
y
Let d(o) = -2*o**3 + o**2 + 3*o + 2. Let r be d(-1). Which is smaller: -0.2 or r?
-0.2
Let y = -42 - -41.2. Let a = 0.7 + y. Does a = -2.7?
False
Suppose 408*u = 404*u - 52. Is -10 at least u?
True
Let w be 144/(-96) + (-27)/6. Let f = 6 - 11. Which is bigger: f or w?
f
Let y(r) be the first derivative of r**3 - 15*r**2 - r - 25. Let t be y(10). Is t > 1/7?
False
Let b(w) = -18*w - 197. Let k be b(-11). Is k at most -2/1161?
False
Let q be (-5)/20 - 39/(-12). Suppose -2*g + 95 = 3*g - 5*w, q*g + 5*w = 65. Let d = g + -26. Are d and -8 equal?
False
Let g(c) = c**2 - 3*c + 4. Let j be g(3). Suppose -33*p + j = -37*p. Suppose 4*o = -2 - 6. Are p and o equal?
False
Let o = 140 - 142. Which is greater: o or 33?
33
Let c = 0.0888 + -0.0588. Is c less than -3/14?
False
Let n = -130 + 129.8. Are n and -108/5 nonequal?
True
Let s = 3148/11 - 286. Suppose -2*l + 14 = -4*x, -3*x = -3*l + 22 - 4. Is x less than or equal to s?
True
Let z(i) = -i + 6. Let s be z(5). Do s and -2/315 have the same value?
False
Let t = -535 - 659. Do -1195 and t have the same value?
False
Let f(h) = -h**3 - 41*h**2 - h - 47. Let y be f(-41). Is -107/18 less than or equal to y?
False
Suppose -12 = 4*o, 4*c - 2*o - 172 - 1214 = 0. Is c less than 346?
True
Let t = 4.7 - 5. Let x = 447 + -453. Is t bigger than x?
True
Suppose 0 = -7*c + 243 - 47. Let j = c + -31. Which is smaller: -2 or j?
j
Let t(q) = -9*q - 7. Let r(y) = 5*y + 4. Let k(c) = c - 2. Let a be k(-9). Let m(s) = a*r(s) - 6*t(s). Let h be m(-3). Is h <= 1?
True
Suppose 5*n - n + 24 = 0. Let w(m) = 4*m**2 + 10*m + 6. Let o(r) = 5*r**2 + 11*r + 7. Let j(s) = -3*o(s) + 4*w(s). Let c be j(n). Which is smaller: -2 or c?
c
Let o be (5 - (-9 - -4)) + -13. Let q(t) = 2*t + 4. Let v be q(-6). Let a be ((-10)/v + -2)*4. Is o < a?
False
Suppose -29 = -5*l + 216. Suppose 2*j = 56 + 40. Which is smaller: l or j?
j
Let o be 7 - ((-4)/2 + (-715)/(-77)). Which is smaller: 1/519 or o?
o
Let w be (2/4)/(9/54). Suppose w*c + 3*c = 0. Are 3/19 and c nonequal?
True
Let l = 8 - 3. Let r be l/((-15)/(-78))*1. Is r equal to 26?
True
Suppose q - 49 = 5*s - 0, -4*s + 3*q = 37. Which is bigger: s or -93/10?
-93/10
Let m be (-4*(-1)/2)/((-20)/310). Let h = m + 72. Are 39 and h equal?
False
Let v = 1078 - 1167. Is -88 greater than v?
True
Let t = 6.53 + -10.84. Let n = -0.31 - t. Let a = -3.8 + n. Is a < 2?
True
Let z(y) = -54*y**2 + 5*y + 3. Let l be z(-1). Is -221/4 bigger than l?
True
Suppose -31 + 10 = -r. Let p be 1 - 3 - r/(-10). Suppose 8*n - 3*n = 0. Is n <= p?
True
Let q(y) = -y**2 - 8*y + 10. Let l be q(-9). Let z be 352/48 + (1 - l/3). Is z bigger than 7?
True
Let c = -1.5 + 86.5. Let s = -70 + c. Which is bigger: -3 or s?
s
Let x be (-2)/5 - (-102)/5. Let k(f) = -f**3 - 24*f**2 - 26*f - 48. Let j be k(-23). Do x and j have the same value?
False
Let m = 371989592 + -98205038879/264. Let x = 2425/3 - m. Does 0 = x?
False
Let d = -846 - -343477/406. Which is greater: -1 or d?
d
Let q be -2 - (-2 + 10)/(-2). Let s = -1.1 + 4. Let i = 0.1 + s. Are q and i equal?
False
Let z(r) = -11*r**3 - r - 1. Let s be z(-1). Suppose 2*q + 55 = -s. Which is greater: q or -32?
-32
Let b(r) = 2*r**3 + 5*r - 279. Let p be b(0). Which is bigger: -277 or p?
-277
Let c(s) = -3*s - 4. Let r be c(-6). Let j = 13 - r. Suppose 0 = 2*n + 4*z - 4, z = -0*z + 2. Is j >= n?
True
Let l = 487 - 523. Is l at most -38?
False
Let s be 42/(-4) - (-10)/20. Let j be 2/s - 252/(-35). Let w be (0 - (0 + 1)) + 7. Is j greater than w?
True
Let a = 46 - 2. Let l(c) = -19*c**2 - 101*c + 14. Let z be l(-5). Is a > z?
False
Let o(r) = 381*r**2 + 7*r - 6. Let x be o(1). Is x less than or equal to 382?
True
Let p(a) = -a + 15. Let i be p(18). Let u = 113 + -115. Which is bigger: i or u?
u
Let l = -8 + 5. Let h be 5/15 + 5/3. Suppose 0*q = q + h. Which is smaller: l or q?
l
Suppose -4*n + 23 = 7. Let a be (4/(-5))/(n/6). Let u = -6 - -4. Is a less than u?
False
Let j(d) = -4*d + 27. Let a be j(10). Let y = 23 + a. Is 10 smaller than y?
False
Suppose -z - 5*v + 26 = 3, 0 = -v + 4. Is 8 equal to z?
False
Let v(i) = -55*i**3 - 3*i**2 - 3*i - 1. Let w be v(-2). Let a be 703544/1624 - (-4)/(-14). Let p = w - a. Is 0 at most p?
True
Let x = 1.78 + -1.6. Let k = 1403 - 1402. Is x <= k?
True
Suppose 0 = -2*z - 5*f + 18, -z + 3*z - 24 = -2*f. Suppose y = -3 - z. Let l = y + 17. Which is smaller: l or -2?
-2
Let l = 122 - 145. Suppose 126 = -2*y - 4*y. Are l and y non-equal?
True
Suppose 10*n = 12*n - 58. Suppose 0 = -4*r - 3*c - 8 + n, -5 = 5*c. Suppose -2*p + 4*p - 18 = -5*y, -5*y + 3*p = 2. Which is smaller: y or r?
y
Let z = -10.9 - -11. Which is bigger: 60 or z?
60
Suppose -t = -b + t + 8, b = -2*t. Which is smaller: b or -2/261?
-2/261
Suppose l = -0*l. Suppose 5*t - 3*t = 6. Let s(n) = n**2 - 2*n - 2. Let x be s(t). Is l less than x?
True
Let z be (8/(-100))/(12/(-45)*3). Is z at least -1/15?
True
Let k = -91 - -94. Suppose k*h - 5*z + 0 = 6, h = 2*z + 2. Which is greater: 9/4 or h?
9/4
Let o be 1/(54/176 - (-2)/(-11)). Let r be o/(-18)*(3 - 15/4). Let g be (-2)/(-4)*(-8 - 0). Is r >= g?
True
Let w = -300 + 420. Is w at most as big as 122?
True
Suppose -2*y = 2*b + y - 21, 3*b = -4*y + 31. Let c be (-30)/b*(-1)/5. Suppose r = -r. Which is bigger: c or r?
c
Let m be (-22)/(-6 - (-4 + 0)). Is m < 76/7?
False
Suppose 0 = 6*s - 5*s - 3*r - 5, -2*s - 35 = 3*r. Let b = s + 9. Let m be (40/(-12))/(-2) - 3. Is m at least as big as b?
False
Suppose 63*w - 67*w = -3*a - 21, -3*a - 12 = -3*w. Let z be (-61)/(-6) - (-1)/(-6). Is z at least as big as w?
True
Let p be 143/2 - -2 - 7/(-14). Suppose -53 - 90 = 4*x - v, -2*v = 2*x + p. Are x and -37 nonequal?
True
Let p be (-7362)/(-27)*3/2. Let t = -1032 + p. Let m be t/252 + (-1)/(-4). Which is smaller: m or -3?
-3
Let a(w) = -40*w**3 + w**2 - 16*w + 14. Let f be a(1). Let m be (-6)/2 + 3 - -2. Which is bigger: f or m?
m
Let l(i) = -28*i**3 - 2*i**2 - 2*i - 1. Let w be l(-1). Which is smaller: 236/9 or w?
236/9
Let r = -12 + 14. Let t(a) = 2*a + 1. Let n be t(3). Let i = n - r. Is i at most 6?
True
Let q = 4 + 6. Let g(p) be the third derivative of p**4/4 + 5*p**3/6 - 21*p**2. Let v be g(-1). Which is greater: q or v?
q
Suppose 3*z = 3*v, 3*z - 2*v - 2 = -1. Let f = 722 + -790.4. Let o = -68 - f. Which is bigger: o or z?
z
Let c = -2910 + 2885. Is -11 at least c?
True
Suppose 17*s + 1745 = -635. Is -140 less than or equal to s?
True
Suppose -3*j - 75 = -3*y, -3 = 5*y + 2*j - 149. Suppose -2*i + y = 4*k, 0*i - i - k = -10. Let z = -16 + i. Is z at most -10?
True
Let t be 2/((24/(-44))/3). Suppose -2*b = 2*b. Let r be (b/2)/(-2) - 9. Which is greater: t or r?
r
Let d = 409 - 347. Which is smaller: -2 or d?
-2
Let o = -139 - -133. Suppose -2*q - a - 14 + 3 = 0, 0 = -q + 4*a - 1. Let k(y) = -y**3 - 6*y**2 - 5*y - 6. Let x be k(q). Is x >= o?
True
Let q be (2/(-56))/((-21)/12). Let l(n) = -n + 10. Let s be l(11). Which is smaller: q or s?
s
Supp