 2*d = 2*t - 0*t + 56. Which is smaller: c or d?
c
Suppose 0 = -5*w - 4*v + 225, 9*w - 59 = 8*w + 2*v. Let u = 129 - 82. Which is bigger: u or w?
w
Let q = 7544 - 7969.7. Let i = q + 426. Is i greater than 0.3?
False
Let f be 20 - 0 - 124260/(-420). Which is smaller: 317 or f?
f
Let p = -200 + 200.12. Let k = p - 0.05. Is 13 at most k?
False
Suppose 2*s = 5*c + 3895, -s = -4*s + 2*c + 5815. Is s smaller than 1935?
False
Let h(d) = -97*d**2 - 2330*d - 48. Let a be h(-24). Which is greater: a or -4/28435?
a
Let n = -921 + 919. Is n != -1251?
True
Let f be (-1 - -5) + -2 - -28. Suppose -27*w = -22*w + f. Let o be (-3)/(-5) - (-532)/(-70). Which is smaller: o or w?
o
Let c = -226 + 142. Let u be -2 - ((-48)/2)/(c/(-56)). Is 19 greater than or equal to u?
True
Suppose -11*r + 8*r = 5*m + 1066, 0 = -m + 4*r - 181. Is m greater than -1043/5?
False
Let x(c) = 3*c**3 - 21*c**2 + 8*c - 10. Let l be x(6). Let k be (6/(-42))/((-10)/l). Is 2/101 less than k?
False
Suppose 599*s + 86139 = 650*s. Which is smaller: 1688 or s?
1688
Let t(a) = -3*a + 58*a - 3 - 21*a. Let g be t(2). Let z = -65 + g. Is 3/31 equal to z?
False
Suppose -k = -2*c, 10*k + 3*c + 35 = 8*k. Is -50 < k?
True
Let b = -158 - -131.2. Let n = -0.02 - 25.98. Let c = n - b. Which is smaller: c or -0.1?
-0.1
Suppose -6*u - u - 112 = 0. Suppose -3*c + 4*c = -20. Let n be (c/4)/(4/12). Is n bigger than u?
True
Suppose 59*m + 4485 - 252 = -74. Which is bigger: 41 or m?
41
Suppose -3*b = -4*m - 48, -10 - 6 = -b - m. Let n = 120 - 76. Let z = b - n. Is -29 greater than z?
False
Let g(j) = -j. Let b be g(0). Let i = 302 + -292. Let y be i - 427/50 - 6/4. Is y smaller than b?
True
Let m(z) be the third derivative of -13*z**4/24 + z**3/6 + 2*z**2 + 5. Let f be 12/(-18) + (-10)/(-6). Let c be m(f). Which is greater: -11 or c?
-11
Let b be (-8)/(-12)*138/10. Let z = 13314 + -13305. Which is smaller: z or b?
z
Let m(d) = -d**2 - d + 4. Let q be m(0). Let g be -1 - (-12)/3 - q. Let a = 965.4 - 963. Which is smaller: g or a?
g
Let p be ((-864)/30)/(-9) - (-8)/10. Let s(o) = o**2 + 2*o - 20. Let m be s(p). Suppose -5*a + m = 2*i, 3*a = 5*a + 4*i - 8. Is a at least as big as -5/41?
True
Let g = -9 + 11. Suppose 4*p - g*p = 0. Let n(q) = -q**2 + 8*q + 49. Let l be n(12). Is p bigger than l?
False
Let j be 9 + -20 - -1466 - -14. Is 1469 at least as big as j?
True
Suppose -227 = -16*w + 43*w - 254*w. Which is smaller: -2/14399 or w?
-2/14399
Let n be (-4)/(-2010)*84636 - 5. Let g = -817/5 + n. Which is greater: -1 or g?
g
Let c = -589117/85 + 6931. Is 0 > c?
False
Let j = 69/100 - 11/25. Let h(q) = -q**3 - 7*q**2 - 8*q. Let k be h(-7). Let f = k + -43. Which is bigger: j or f?
f
Let s(k) = -k**2 - 8*k + 11. Let i be s(-8). Suppose -i + 29 = -l. Let g = 15024/5 + -3022. Which is greater: g or l?
g
Suppose -2*h + 2*l + l = -18, -2*l + 1 = 3*h. Suppose h*o - 14 = 4*o. Let k be 14/(-10) + o/(-35). Is 6/23 at most k?
False
Let q = 7958 + -15937/2. Which is smaller: q or 103?
q
Let i(y) = -429*y**3 - 3*y**2 + 16*y - 33. Let m be i(2). Which is smaller: -3444 or m?
m
Let r be (-2 + 9/6)*2*127. Let f = 132 + r. Which is smaller: f or 6?
f
Suppose -639 - 5599 = -34*u + 4846. Which is greater: 331 or u?
331
Let a = 1134.3 - 1070. Let u = -68 + a. Let j = 0.3 - u. Which is smaller: j or -0.2?
-0.2
Suppose 0*i = -4*i - 3*f + 79, -4*i + f = -75. Let t be -1 + (-2)/(i/(-5) - -4). Let d be (-7)/t - (-6)/(7 - 13). Which is greater: 0 or d?
0
Suppose 5*l - 195 = -4*x, -156 + 0 = -4*l + 4*x. Suppose -5*i + 4*w - 183 = 0, 2*i - 46*w + 43*w + 69 = 0. Let c = l + i. Which is smaller: c or 1/35?
c
Let z be -2 + -2 + 3 + 5. Suppose -64 = -c - z*u, -3*u - 99 = -c - 0*u. Let t be (c/(-18))/(2/30). Which is greater: t or -71?
t
Let b = 0.0694 + -61.1694. Let l = -61.3 - b. Is 89 >= l?
True
Suppose 407500 = -277*p + 152*p. Which is smaller: -3262 or p?
-3262
Let p = 33.46 + -33.26. Is -3518 at most as big as p?
True
Let v(b) = -29*b + 325. Let z be v(14). Which is bigger: z or -69?
-69
Let w be (8 - (10/2 - -7))*-25. Suppose 5*q = 2*q + 2*b + 303, -5*q + 5*b = -505. Which is smaller: q or w?
w
Let t(o) = o**3 - 4*o**2 - 10*o - 12. Let y be t(6). Suppose -20 = -y*m + 2*m. Let a = 12 + m. Is 3 < a?
False
Suppose 0*d + 1 = d. Suppose -4*o - 4*j = 4620, -4*o + 4*j - 1388 = 3216. Let l = -58801/51 - o. Is l not equal to d?
True
Let u = 582 - 24. Let y = u + -546. Suppose 3*o = 20 + 13. Which is bigger: y or o?
y
Let z = -543 + 543. Suppose z = -0*y - 0*y - 4*y. Let a be ((-1 + 0)*-1)/(-1). Which is bigger: y or a?
y
Suppose 0 = 3*z - z - 150. Let x = z - 77. Let a be (2/(8 + x))/((-8)/24). Is a at most 1?
True
Let n(r) = r**2 - 4*r - 1. Let b be n(4). Suppose 2*o = 2*i - 814, -3*o = -8*o - 25. Let w = -399 + i. Which is bigger: w or b?
w
Let f(l) = 2*l - 31. Let o be f(17). Suppose -d = -5*b + 2, o*d + 13 = -4*b + 7. Which is greater: b or 5/4?
5/4
Let r = 3.71 + -5.71. Which is greater: r or 0.15?
0.15
Let d be -1 + 9 - 17640/(-24). Let k = d - 23030/31. Suppose -o + 6 - 5 = 0. Is o less than k?
False
Let t(a) = 237*a**3 + a**2 - 2*a + 1. Let m be t(1). Suppose -5*s = 4*j - m, -4*j = -3*s - 189 - 72. Let w = -17284 - -17347. Is j at most as big as w?
True
Let h(c) = -c**3 - 20*c**2 - 36*c - 6. Let k be h(-18). Let n be (3/k)/((-4)/16). Do 18/11 and n have different values?
True
Let i = -310 + 455. Let v = i + -145.1. Let z = -9.8 - -9. Which is smaller: v or z?
z
Let y = 0.17699 - 0.19699. Which is smaller: 6/475 or y?
y
Let h be (-29)/87 + (28/3 - 0). Let o(g) = g**3 - 7*g**2 - 8*g - 20. Let r be o(h). Is 69 greater than r?
False
Suppose 0 = -10*h + 7432 + 1723 - 1245. Which is bigger: h or 794?
794
Suppose 106*v - 20 = -126. Is v at least as big as 34/401?
False
Let g = -26 + 27. Let c be -1 - (-2 - -2 - -7). Let f be c/(-60) - (-176)/1380. Which is smaller: g or f?
f
Suppose -w - 18 + 68 = 0. Let p be (-20)/(-8)*102/5. Let x = w - p. Which is smaller: x or 3/23?
x
Let b = 13359/5 + -2672. Which is bigger: -458 or b?
b
Let y be (-271)/(-2)*8/28. Suppose 47*x = 985 + 848. Let j = y - x. Which is smaller: j or -1?
-1
Suppose 0 = -3*x - 9, -3*u - x - 6 = 2*x. Suppose -7*d + 3 = -11. Which is smaller: d or u?
u
Let s = 28/41 + -2/123. Let f = -5699.6 + 5634.6. Is f greater than s?
False
Suppose -4*v - 3*a = -13 + 78, -4*v - 2*a = 62. Let w = 62 + -111. Let q be -1 + (-144)/14 - 14/w. Are q and v nonequal?
True
Suppose 19*h + 14*h = 18*h + 15. Are 1/1934 and h non-equal?
True
Let l be (-7)/2*(-20 + 26). Let i(n) = -3*n - 85. Let h be i(l). Are 1 and h non-equal?
True
Let i(k) = -6*k + 30. Let h(g) = -2*g + 10. Let m(r) = -8*h(r) + 3*i(r). Let d be m(5). Let l = 1/26 + 41/286. Is l >= d?
True
Let s(u) = 52*u**2 - 10*u - 3. Suppose -5*n = -4*w - 3*n - 12, -w + 5*n = 12. Let a be s(w). Which is smaller: a or 224?
224
Suppose -2 = 2*h + 2*i, 2*h - h + 4*i - 5 = 0. Let s be (4 - 3 - 4) + 1 + 0. Let t be -1*((-1)/s - -3). Which is bigger: h or t?
h
Suppose 10*f = -39*f. Is f not equal to 6/2057?
True
Suppose 4*w + 0 = -36. Let o be 7/((-14)/12)*(-6)/w. Let q(k) = k**3 + 2*k**2 - 14*k. Let d be q(o). Which is bigger: d or 23?
d
Let d be -5*(-4520)/(-50) - -17. Do -435 and d have different values?
False
Let o(n) = n**3 + 8*n**2 - 2*n - 14. Let z be o(-8). Let m(f) = -686*f + 0*f**z + 7 + 685*f - f**2. Let x be m(-5). Is -10 equal to x?
False
Suppose 0 = n - 23*n + 572. Let l be (-3 - 32/(-4)) + (-134)/n. Do -43 and l have different values?
True
Suppose -4*n + 3*o = -81, -6*n = -n + 3*o - 108. Suppose -189*j + 173*j = 9920. Let y = 641 + j. Is n at most as big as y?
True
Let b(l) = l**3 - 6*l**2. Let i be b(6). Let u = -70 + 73. Suppose i*o + u*o - 18 = 0. Which is smaller: 32/5 or o?
o
Let y be 9/15 + (-10044)/15. Let d = 6963245/22 + -317180. Let g = d - y. Which is bigger: 0 or g?
g
Suppose v + 28 = 2*n, -3*n + 2*v = v - 40. Suppose 5*b - 28 = n. Let s be 74/18 - (b - 5). Is s less than 2?
True
Let s be -9 + -3 + -17 + (-4389)/(-143). Suppose 6 = 4*x + 2. Is s at most as big as x?
False
Let o(f) = -f**2 - f + 8. Suppose 48 = -115*v + 131*v. Let q be o(v). Are -37/9 and q non-equal?
True
Let t = 591 + -171. Let i = t + -627. Let o be (6/i)/(2/3). Is o at least as big as 1?
False
Let q = -6959 - -6949. Is q greater than 913?
False
Suppose -4*j - 92