ue
Let m(r) = -7*r**2 - 67*r. Let w be m(-9). Let a = -13 + 49. Are w and a nonequal?
False
Suppose -n - 2*n - 25020 = 0. Let f = n - -83151/10. Let y = -112/5 - f. Is y != -0.1?
True
Let d be (-6)/(-12)*(1 - -3). Let v = -0.36 - 1.64. Which is smaller: d or v?
v
Suppose -2168 = -7*d + 6*d. Let y be d/336 - -4*(-2)/28. Which is greater: y or 7?
7
Suppose 0 = -6*t - 8 - 22. Which is smaller: -15 or t?
-15
Let o = -27351/5 - -5421. Let n = o + 49. Is n greater than 2/7?
False
Let a = 0.23 + -0.11. Let y = a + 0.08. Which is smaller: 2 or y?
y
Let x = 68.98 + -69.1. Which is smaller: -64/3 or x?
-64/3
Let l(c) be the first derivative of c**2 + 7*c + 5. Let i be l(-3). Let j(h) = -h**3 + 2*h**2 + 2*h - 1. Let t be j(2). Which is greater: i or t?
t
Let z = 2259 - 2257. Which is bigger: -39.1 or z?
z
Suppose 0 = 2*d + 2*g + 12, g = -4 + 1. Let w = d - -8. Let q = -659 - -663. Is w <= q?
False
Let b = -125 - -123.61. Let v = b - -1.39. Let z = 0.5 + 0. Is v greater than z?
False
Let q = -2 - -2. Let h = 63/29 - -14/87. Is h less than q?
False
Let q be (-33)/3*(0 - -2). Let c(z) = -12*z + 6. Let l be c(4). Let n be 1/((-2)/l)*(-8)/8. Which is smaller: q or n?
q
Let k = -11 - -16. Suppose k*l - l - 36 = 0. Let d = l - 6. Which is smaller: 2 or d?
2
Let y(g) = 8*g**2 + 5*g - 6. Let o be y(1). Which is smaller: o or 5?
5
Let l = 2233/13 + -172. Suppose s + 8 = 2*s - 2*n, 0 = s + 5*n + 20. Let i(j) = j**2 + 1. Let y be i(s). Does y = l?
False
Let y(w) = 35*w**2 + 35*w + 142. Let j be y(-6). Which is greater: 1193 or j?
1193
Let i(n) = 10*n + 64. Let z be i(-5). Is 85/6 < z?
False
Let t be (8/384)/(30/8 - 3). Is 1 at least t?
True
Let t = 19 - 23. Suppose -4*x - 8 = 4*n, -7*n = 3*x - 3*n + 10. Let z be (-3 - -1)*x/4. Is t not equal to z?
True
Let s = 31.6 - -160.4. Are -1 and s unequal?
True
Let n be (-1)/2*(-27 - -27). Is n smaller than 37/29?
True
Let n = 183 + -182.96. Which is smaller: 15 or n?
n
Suppose 5760 = 4*t + 4*c, -4*t = 7*c - 8*c - 5750. Which is smaller: t or 1439?
t
Let t(p) = p**3 + 11*p**2 + 29*p + 1. Let b be t(-7). Is b > 151?
False
Let n be 3*(-125)/(-50)*1/(-60). Is 56 at most as big as n?
False
Let v be (2*2)/(42/(-840)). Which is greater: v or -79?
-79
Let j be (1 + 0)/(5 - 1). Let f = -2.9 + 1.7. Which is smaller: j or f?
f
Suppose 0 = 2*j + 25*t - 24*t + 3, -5*j - t = 0. Is 8/189 at least j?
False
Let r be 5*(1036/805)/4. Is 2 at most r?
False
Let b be (-18)/(-9)*(-1 - -2). Suppose 0 = 2*m + 5*s - 3*s + 4, -4*m = b*s. Suppose d = -3*y + 8, -3*y - m*d + 13 + 0 = 0. Is y equal to 4/15?
False
Suppose 13*i = -395 + 1188. Which is smaller: 63 or i?
i
Suppose 9 = -4*r + 1. Let m be 24/r + (-1 - -4). Which is greater: m or -11?
m
Suppose 2*d + 12 = -d. Let k be 181/d + 3/12. Let b be k/100 + (-2)/8. Which is greater: -1 or b?
b
Let l be ((-189)/56)/(15/(-20)). Which is smaller: l or -2?
-2
Let v = 0.385 - -0.615. Is 0.0195 at least as big as v?
False
Suppose 7*m + 3 - 10 = 0. Suppose -2*g - 5 = f - 0*f, -5*f - 2*g - m = 0. Are f and -1/28 non-equal?
True
Let r(k) = -k**2 + 5*k - 3. Let b be r(3). Let l(g) = -2*g + 12. Let q be l(3). Suppose -3 = -3*d + q. Is d equal to b?
True
Let u = -41/3 + 79/6. Which is greater: u or 9/7?
9/7
Let d(i) be the second derivative of -i**4/6 - 3*i**3 - 4*i**2 + 32*i. Let n be d(-10). Is n <= -26?
True
Suppose -k = -2*m - 3, k + 6 = 3*k - 2*m. Suppose 4*t = k*t - 6. Let l = -184 + 180. Is t < l?
True
Suppose -4*u = 3*c - 7 - 15, -2*u - c + 10 = 0. Let s(l) = l + 2. Let w be s(u). Let b = w + -5. Which is smaller: b or -4/11?
-4/11
Let i = -0.045 + -21.955. Let u = i + 24. Suppose w + 2*a = -3*a - 5, 0 = 5*w - 5*a - 35. Is w less than u?
False
Let i be (-6)/(-14) - (-165)/(-287). Is 1 at most i?
False
Let a(b) = 7*b**2 - 13*b - 7. Let t(r) = -4*r**2 + 6*r + 4. Let j(m) = 3*a(m) + 5*t(m). Let y be j(9). Is y equal to -1?
True
Suppose 3*g + 2*g = 35. Let x = g - 4. Suppose -5*k = j + 21, -33 = -2*j - 2*k + 7*k. Which is bigger: x or j?
j
Let o(m) be the second derivative of m**5/120 - m**4/12 + m**3/3 - 2*m. Let j(h) be the second derivative of o(h). Let t be j(0). Which is bigger: t or -10/9?
-10/9
Let v be -2 + 132/69 - ((-30)/(-69))/(-5). Let t = 30 + -220/7. Which is smaller: t or v?
t
Let t = 3105455 - 93155143/30. Let j = -1837/6 + t. Which is greater: j or -24?
j
Let z = 40 + -45. Suppose -13 = -m - 5*r, 4*m + 8 = 2*r - 7*r. Is m < z?
True
Let d = 88/21 - 13/3. Which is greater: 2/9 or d?
2/9
Let o be 39/138 - (-2 + 0). Let w = 5/23 + o. Which is smaller: 0 or w?
0
Let t = -32 + 36. Let g be 0/(0 - (t - 3)). Let m be (2/(-10))/((-22)/5). Which is greater: m or g?
m
Suppose 5*a = -4*c - 41, -5 = 5*c + 3*a - 6*a. Let f be c*(0 - 92/(-16)). Let g = f + 24. Is 18/11 < g?
False
Let w(n) = -n**3 + 22*n**2 - 16*n + 3. Let q be w(21). Which is smaller: 217/2 or q?
q
Let w be (2/(-3))/(4/6). Let o be w*1*5/((-5)/1). Which is greater: 2/93 or o?
o
Let d = 2.53 + -0.33. Let t be (-3)/12 + 1/2. Do t and d have different values?
True
Suppose -3*b = -2*b - 5. Suppose -2*d + 42 = 3*d - 3*u, -3*d + b*u + 38 = 0. Suppose -2 + d = 4*j. Which is bigger: j or 1/18?
j
Let q(b) = 3*b + 2*b**2 - b - b**2 + 2*b**3 - 3*b**3. Let s be q(-1). Which is smaller: s or 4/17?
s
Suppose 120 = -8*y - 248. Let s = y - -33. Is s greater than -69/5?
True
Suppose -4*g + 6 = -u - 7*g, 6 = u - g. Let m be -1*u/30*-4. Is m >= 0?
True
Let j = -0.05 + 2.05. Let x(c) = -c**2 + 5*c + 75. Let t be x(12). Which is smaller: t or j?
t
Let x = -464 + 6499/14. Let h be (-13 + 13)*(-2)/4. Is h != x?
True
Let i = -1.0342 - -0.0642. Is -2/7 greater than i?
True
Let q = 5.82 - 4.22. Is q less than -1.7?
False
Let v(c) = 9*c + 107. Let a be v(-11). Which is greater: 3 or a?
a
Let v be 5 - (0 - (-3 - -1)). Suppose -4*a + v = -a. Suppose -a = l, 5*b - 3 = -0*b + 3*l. Is -2 > b?
False
Let w = -236 + 175. Is -59 greater than w?
True
Let u be (-11 + 5 + 1)*(-152)/10. Suppose -4*a + u = 2*v, 0 = v - 4*v - a + 119. Is -1 less than or equal to v?
True
Let g(s) = s**3 + 5*s**2 + 2. Let i be g(-5). Let d be (-1 - 0)*(-3 - (3 - 6)). Suppose 0*t - 25 = 2*o - 5*t, o + i*t - 10 = d. Is o != -4/5?
True
Suppose 5*q + 3 = -2. Let w(t) = -5*t - 45. Let u be w(-9). Let o be (u - (-4)/36)*2. Are q and o nonequal?
True
Let g(w) = -w + 7. Suppose 619 = -5*x + 164. Let d be 74/7 - 39/x. Let p be g(d). Is p smaller than -4?
False
Suppose 4 = j - 3*v, v - 4 = 2*j - 2. Let k be j/4*-2 + -2. Which is smaller: -4/17 or k?
k
Suppose 225*a + 9660 = 235*a. Which is bigger: 965 or a?
a
Let u = -79 - -78.38. Let p = u - -0.66. Is p bigger than 2?
False
Suppose 0 = 4*w - 5*w - 68. Let k be (-47)/(-92) - (-17)/w. Which is greater: k or 1?
1
Suppose 38*g + 1284 = 32*g. Are g and -215 equal?
False
Let l = 0 + 5. Suppose l*n + 5*x = -50, x - 2*x - 2 = 0. Which is greater: n or -7?
-7
Suppose 1 - 3 = -2*r. Let h be (9/(-12))/(6/(-16)). Which is smaller: r or h?
r
Let j = -5.68 - -6. Let q = -0.42 + j. Which is bigger: q or 5/3?
5/3
Suppose 241*p - 1 = 242*p. Which is smaller: -2/493 or p?
p
Let q = 4547/299 - 196/13. Let r = -61/115 + q. Let w = 1 + 0. Which is smaller: w or r?
r
Let h be (-2)/(-4 + (-44)/(-10)). Suppose 4*c + 0*n = 5*n - 29, -3*c + 5*n - 28 = 0. Let z be c/h + (-18)/(-10). Which is smaller: z or 6/5?
6/5
Suppose 14*w + w = 480. Let f = w - 32. Which is smaller: 1/127 or f?
f
Let v be (224/(-21))/(((-70)/6)/5). Is 5 smaller than v?
False
Let x = 50.9 + -52. Let s = -53 + 53. Which is greater: s or x?
s
Let s(i) = -i**3 - 5*i**2 - 10*i - 7. Let o be s(-2). Let j be (-2)/(-8) - 1228/3520. Let p = j + 2/55. Which is bigger: o or p?
o
Let n be 6*(124/8 - 3). Suppose -25*d = -28*d - n. Are -25 and d nonequal?
False
Let t be 1/(-2)*3*2. Suppose -46*i + 14*i = 32. Is t less than or equal to i?
True
Suppose -3*d - 5*j + 23 = -0*j, 4*d + 8 = 3*j. Let c be (d/3)/((-2)/(0 - -114)). Is -18 at least c?
True
Suppose 0 = -2*t - m + 51, -16*t = -17*t - 4*m + 29. Which is smaller: t or 32?
t
Let u be (-15)/(-9) + 4*(-3)/12. Is 334 > u?
True
Suppose -35*s = -38*s. Which is bigger: s or -115?
s
Let p = 1088091/131 + -8306. Which is greater: 0 or p?
p
Let c be 1*-3 + (-47898)/(-11088). Let q = c - 23/56. Is q not equal to 1?
True
Let d = -39160 + 352933/9. Let a = -55 + d. Let v be (7 - (-920)/