 29*s - 10. Let p be l(8). Suppose 3*u - 2*f - p - 39 = 0, -46 = -2*u - 3*f. Which is smaller: 25 or u?
u
Let m = -586 - -189. Let i = m + 406.5. Is 1/6 equal to i?
False
Let r(w) = -2*w + 2. Let d(j) be the third derivative of -j**3/3 - 17*j**2 + 2*j. Let q(m) = -22*d(m) - 2*r(m). Let b be q(-9). Is b smaller than -2?
False
Let k(x) be the first derivative of -x**4/4 + 16*x**3/3 + 10*x**2 - 42*x - 44. Let w be k(17). Is w > 11?
False
Let u(i) = i**3 + 47*i**2 - 100*i - 149. Let j be u(-49). Which is bigger: 0.1 or j?
0.1
Let u = -7292 + 7293. Which is smaller: u or -0.05763?
-0.05763
Suppose -3*v = 0, -4*o + v = 52 - 48. Is 1/2694 < o?
False
Let i(b) = -b**3 - 11*b**2 + 13*b + 16. Let p be i(-12). Suppose -9 = -p*s + 27. Suppose 111 = -s*y + 30. Which is smaller: y or -35/4?
y
Let j = 447 - 450.12. Let y = -2.88 + j. Is 2/13 smaller than y?
False
Let c = -11.2 + 96.2. Let a = c + -90. Is 7 >= a?
True
Let x be 6*(0 + (0 - 3)). Let a be (-4)/x + 1452/27 + -3. Let w = -51 + a. Do -18/13 and w have different values?
True
Suppose 1028 - 192 = -11*j. Let s = 105 + j. Let a = -37 + s. Is -8 less than a?
False
Let c = -125.3 + 43.9. Let r = c - -92. Let k = r - 10.5. Which is bigger: 1/27 or k?
k
Suppose 10*v = 12*v - 6. Suppose f = 2*g + 3, 22*f - 23*f + v*g - 1 = 0. Let c(o) = -o**3 + 8*o**2 - 6*o + 3. Let z be c(7). Is z less than f?
True
Let r = -615 + 630. Let g be 63*r/36*4. Are g and 105 non-equal?
False
Let y(h) = -49*h**3 + 4*h**2 - 5*h + 1. Let q(x) = 48*x**3 - 3*x**2 + 4*x - 1. Let r(o) = -5*q(o) - 4*y(o). Let m be r(-1). Is 45 smaller than m?
False
Suppose 129*x - 20044 = 3*l + 130*x, -3*l = 2*x + 20042. Is l != -6682?
False
Let q = 2064 - 1432. Is q > 633?
False
Let m = -136 + 144. Let r be (-1 + 5 + -4)/1. Suppose 0 = -r*a + 4*a - 4. Which is smaller: m or a?
a
Let v(s) = 3*s**2 + 13*s - 22. Let n be ((-72)/10)/(-3) - 78/195. Let r be v(n). Are 8 and r equal?
False
Let z = 6.38 - 6.48. Is -1552 != z?
True
Let l = 0.8 + -1. Let y = -254 + 181. Let t = y - -74.2. Which is greater: t or l?
t
Let a(l) = -l**3 + 13*l**2 - 11*l - 13. Suppose 11*m = -25 + 157. Let s be a(m). Let z be s/4*(-24)/111. Which is bigger: -2/5 or z?
z
Let h = -276054247/289754 + -249/12598. Let t = 953 + h. Is t > -1?
True
Let o(z) = 16*z**3 + 5*z**2 + 23*z + 45. Let g be o(-2). Is 6 <= g?
False
Suppose -598 = -23*a - 3*a. Suppose 0 = a*j + 714 + 183. Are j and 6 nonequal?
True
Let z be 10 - (7 + 804/7). Is -3 at least z?
True
Let k = -319.486 - -319.586. Suppose 2*r = -3*r + 25. Suppose 0 = -5*q - r - 5. Is q at most as big as k?
True
Let u = -27309 + 191540/7. Suppose r + 60 = 2*k, -r = 2*k + 3*k + 39. Let n = u + r. Which is bigger: 2/5 or n?
2/5
Let u(x) be the third derivative of -x**4/24 + 4*x**3/3 - x**2. Let a = 3184 + -3191. Let j be u(a). Which is bigger: 17 or j?
17
Let l = 146 - 154. Let a be -1*(l - -3 - 15477/(-3091)). Which is smaller: a or 0?
a
Suppose 0 = -v - 2*t, v + 2 = -12*t + 8*t. Let x be v/4*(-12)/1. Are -20/3 and x equal?
False
Let n = 1.299 + 7.491. Which is greater: 1 or n?
n
Let y = 7050 + -7063. Which is smaller: y or 1.3?
y
Let v = -15.223 + 2.223. Which is greater: v or 0.033?
0.033
Let u = -17856345/1358 - -13149. Which is smaller: -1 or u?
-1
Suppose 3*q - 183 = 3*o, o - 3*o + 5*q = 134. Let x be 3*(-3)/(-9)*o. Is -57 smaller than x?
False
Let n = -148 + 153. Suppose -7*b = -n*b + 7*b. Is -1/24 at least as big as b?
False
Let a = 81 - 74. Suppose -2*f - a*f + 396 = 0. Let i = f + -39. Which is smaller: 4 or i?
4
Let g be 438/((-4)/20*-5) - -5. Let z = 499 - g. Which is greater: 58 or z?
58
Suppose -2*u - 1 - 5 = 0. Let g = -1.1514 + 1.1354. Which is greater: u or g?
g
Let t = 5803 + -226282/39. Let d = -3/13 + t. Let h = 312.051 + -312. Are h and d equal?
False
Suppose -14 = -2*u + 23*o - 26*o, 40 = 5*u + 5*o. Which is bigger: 765 or u?
765
Let o = -49.987 + 50. Let m = o - -0.187. Is m at most as big as -0.088?
False
Let r(m) = 5*m**2 - 61*m - 304. Let b be r(16). Which is smaller: b or -10/1063?
-10/1063
Let v = 2963 + -2978. Which is smaller: v or 1/18?
v
Let q be ((-6)/(-900)*-1)/((-2)/(-362)). Let p = 26/25 + q. Does -1 = p?
False
Suppose 3*m = -2*i + 10, 2*m - 5*i + 151 - 126 = 0. Is -16/273 >= m?
False
Let k(z) = 28*z + 880. Let a be k(0). Suppose -368*s - a = -358*s. Is s > 1?
False
Let k be (-20)/(-6)*(-6)/(-16)*(-20)/8. Let q = 17 + -13. Suppose -4*s + 3*t + q = 0, 2*s = 4*s + 4*t + 20. Which is greater: s or k?
s
Suppose -45 = 54*p - 59*p, -5*w + 3*p = 22. Is w smaller than 6/1417?
False
Let q = -3748 + 3748.2. Suppose -40 = -f + 3*f. Let g be 2/f*(-10)/8. Which is bigger: g or q?
q
Let d = -446869/16 + 27955. Are 27 and d equal?
False
Suppose -4*m - 6 = -2*x, -6*x + 31 = -x - 2*m. Suppose 2 = 2*l, 5*l - x = -z + 2*l. Does z = 1/2?
False
Let p(f) = 4*f**2 + f - 1. Let y be 352/(-3) + (-2)/(-6). Let h = -117 - y. Let r be p(h). Is -1/11 < r?
False
Let j = -3174881/93 - -34137. Let d = j - -26/31. Which is smaller: 2/115 or d?
d
Let q = 0 + -4. Let a = -239710 - -239700. Are q and a non-equal?
True
Let a = 5462 + -4916.7. Let j = 545 - a. Let h be (1 - 0) + (-3)/5. Does j = h?
False
Let q(o) = -o**2 - 9*o + 4. Let m be q(-5). Let w be (-9)/m - (-153)/216. Is 13/6 <= w?
False
Let p(w) = -2*w**3 - 5*w**2 + 2*w - 70. Let d be p(-7). Is 355 smaller than d?
True
Let i = -67397 + 67424.063. Let o = i - 0.063. Let l = -85 + 85. Is o at most as big as l?
False
Let g = -19.3137 - -19.508. Which is smaller: 0 or g?
0
Let c = 0.07 + -0.14. Let q = -1450 + 1513.9. Let h = q + -64. Is h <= c?
True
Let y = 0.04 + -0.04. Let d = 30 - 29.54. Let p = d + 0.54. Which is smaller: p or y?
y
Suppose 91*d = 100*d. Suppose 4*g + 19*g - 46 = d. Are 30/47 and g equal?
False
Suppose 7*n + 2494 = 27*n + 9*n. Do n and 46 have the same value?
False
Suppose -5*u - 2*k + 83077 = 0, 0 = -7*u + 6*u + 4*k + 16633. Do u and 16617 have the same value?
True
Let m be (-3 - (-35)/11) + (-7942)/(-242). Suppose 3*f = 5*p + 114, f + 2*f - p - 102 = 0. Is f equal to m?
True
Suppose -11*f + 72*f = -88877. Is f at least -1459?
True
Let r be (-216)/4224*52 - 14/(-4). Which is bigger: r or 1?
1
Suppose 2*o - 5*q - 105 = 5*o, -6 = 2*q. Let b be (-18)/o*((-4)/42)/(-1). Let p be -3 - ((-9)/1)/3. Does p = b?
False
Let v = 333.1 - 333.1655. Which is bigger: 1 or v?
1
Suppose 9 = -2*b + 31. Let w be (-34)/187 + (-9)/b. Let p be (-1)/(4/(w - 3)). Is p less than or equal to 4/7?
False
Let w be 4/(-55)*(-555)/(-74). Let d be 12/(-10)*(-5)/2. Let c be (4/(-6))/(2/d). Which is greater: c or w?
w
Let u = 6444 + -5763. Which is bigger: 684 or u?
684
Suppose 0 = -6*n + 17*n - 77. Suppose -n = 17*s - 24. Which is smaller: s or -1/27?
-1/27
Suppose -16*t = 108 - 12. Let z be t/(-90)*-471 - (-4)/10. Let r(k) = k**3 - 5*k**2 - 5*k + 6. Let i be r(4). Which is smaller: z or i?
z
Let c = -247 - -235. Let v(a) = a**2 + 7*a - 3. Let l be v(-6). Let w be c/l - (2 + -1). Which is bigger: 1/25 or w?
w
Let x(q) = -q**2 + 13*q - 4. Let a be x(5). Suppose 4*n + 4 = a. Suppose 2*r + n - 6 = 0. Is r greater than or equal to 2/23?
False
Suppose -16 = -0*w + 2*w. Let y(s) = -3*s + 8. Let t(b) = -17*b + 42. Let x(r) = 4*t(r) - 22*y(r). Let n be x(w). Which is bigger: n or 12?
12
Let i = 31.6 + -3.6. Let y = -20.72 + i. Let o = y + 0.72. Does o = 2/3?
False
Suppose -412 = 6*m - 400. Let d = 1415/4 - 89147/252. Let k = d + -3/14. Is m at least as big as k?
False
Let b(q) = -17*q + 27. Let m(y) = -17*y - 12. Let i be m(-1). Let a(h) = -16*h + 29. Let v(r) = i*a(r) - 4*b(r). Let c be v(7). Which is smaller: -49 or c?
-49
Let a = 7828/4505 - 28/17. Which is bigger: -1 or a?
a
Suppose 52 = z + z. Let w = 0.047 - 3.897. Let u = -4.85 - w. Does z = u?
False
Let s be (-20 - 3)/((-2)/(-2)). Let w = 19 + -14. Let n be -24 + 1 + 0*w/(-5). Is n at least as big as s?
True
Let z = 22 + -14.8. Let b = z + -21.2. Is 1 > b?
True
Let p = 68 + -66. Suppose -p*t + 8*t + 12 = 0. Let a be (0 - (-2 - t))/1. Which is smaller: a or 64?
a
Let p = 2330.7 - 599.7. Is 0 > p?
False
Let s = -39260/570111 - 2/19659. Let b = -2 + 4. Let q = b + -2. Are q and s nonequal?
True
Suppose -f - 5*a + 7 + 0 = 0, 2*f - 27 = 3*a. Let q(x) = -x**3 + 12*x**2 - 2*x + 22. Let b be q(f). Let i be b/8 - (-297)/(-12). Is i not equal to -26?
True
Let