vative of -a**3/3 + a**2/2 + 3*a - 17. Let n be d(3). Are -0.3 and n unequal?
True
Let x be (-1 - (7 + (-485)/165)) + 5/1. Let l = -0.06 - 0.14. Is l <= x?
True
Let x = -2200 - -2199.51. Which is smaller: 4.3 or x?
x
Let h be 4 - (-2 + 1 + 0). Suppose -47*a = -42*a - 135. Let z be 34*(-1)/(-9) + 6/a. Which is bigger: h or z?
h
Let l be (27/14 + -2)*2/11. Let f(j) be the third derivative of -j**5/60 + 19*j**4/24 - 3*j**3 + 2*j**2 + 7*j. Let p be f(18). Do p and l have the same value?
False
Let t = 40407 - 40204.93. Let c = t - 202. Which is greater: -1/3 or c?
c
Suppose k = -5*g - 14, g = -3*g + 5*k + 12. Let h be (-1)/2 + (-44 - -44). Is g equal to h?
False
Let r = -3906 + 4286. Is r smaller than 379?
False
Let g = 14 + 106. Let y = -2001 - -4003/2. Are g and y equal?
False
Let l = -1074/73 + 1322949/89936. Is l >= 0?
False
Suppose -27*t + 865 = -28*t. Let o = -4343/5 - t. Do -3 and o have the same value?
False
Let a be -2 + 0 - (-6638)/62. Let l(n) = n - 112. Let i be l(7). Let f = i + a. Are 1 and f nonequal?
True
Let m = -5738 - -24878. Is m equal to 1?
False
Let c = -24 + 0. Let b(h) = -291*h + 1727. Let w be b(6). Which is smaller: c or w?
c
Let s(f) = -f**2 + 11*f + 25. Let u(i) = 4*i - 1 - i**3 + 2*i + 6*i - 12*i**2. Let r be u(-13). Let j be s(r). Which is smaller: j or 15?
j
Let k = -32177 + 31854. Is -332 >= k?
False
Let u = 31 + -111. Let z = u - -89. Which is smaller: z or 1/8?
1/8
Let z = 466 + -722. Let r = z + 256. Which is bigger: r or 7/26?
7/26
Let l = 291 + -305. Let u(n) = -4*n - 38. Let i be u(l). Are i and 19 unequal?
True
Suppose -845 = -5*q + u + 315, -u - 464 = -2*q. Suppose 0 = 16*k - 20*k - q. Suppose 5*f = 2*z - 0*z - 284, z = 5*f + 287. Are f and k equal?
True
Let a(n) = -65*n + 42. Let t be a(9). Let j = t - -524. Is -59/3 <= j?
True
Suppose -5*g - 3*c = -27, 5*g - 57 = -8*c + 10*c. Which is smaller: g or 20?
g
Let o be ((-2678)/15 - -2) + (-19)/(-95). Is -175 at most o?
False
Let m = 3072 + -3069. Let o = -129 - -131. Is m at least as big as o?
True
Suppose -8*i + 10 = -6*i. Suppose -13*q + i*q - 472 = 0. Is -58 at least as big as q?
True
Let f = -15667 + 6804. Which is greater: f or -8864?
f
Suppose -13*k + 420 = -34*k. Let a = k - -21. Which is greater: a or 1/299?
a
Suppose -g - 4*q + 8*q + 99 = 0, 2*g + 5*q - 172 = 0. Suppose g = 11*a - 415. Which is greater: 48 or a?
48
Suppose 5*u - 6 = -27*a + 26*a, -3*u + 2*a + 14 = 0. Suppose b = u*q, 17*b + 5*q = 21*b. Let j be (1/5)/(6/5). Is b > j?
False
Suppose -50 = -52*p + 2. Which is greater: -4/343 or p?
p
Suppose 3*x - 6 = 3*o, 4 = -o + 4*x - 7. Let g be (-3366)/(-678) + 1/(-2)*10. Which is smaller: g or o?
g
Let b = 0.8 + -160.6. Let m = -159 - b. Which is smaller: m or -4/3?
-4/3
Let h(z) = 3*z**2 + 2*z**3 - 8 + 5 + 1. Let w be h(-3). Suppose -510 = 80*f - 63*f. Is w <= f?
False
Let a = 1/93048 - -10116385/31016. Is a != 325?
True
Let p(r) = -r**3 - r**2 + 1. Suppose -3*n + 31 = -0*d - d, 2*d - 5*n + 63 = 0. Let o = d + 36. Let u be p(o). Is -31/3 equal to u?
False
Suppose 26 = -4*f - 0*f - l, -4*f - 38 = -5*l. Let q = -446 - -449. Suppose -m = -q*a + 21, 2*m - 2 = a - 24. Is f at least m?
True
Let o = 3.425 + -3.43. Which is bigger: o or 22?
22
Let m(p) = -38*p + 36*p + 5 - 3*p**2 + 21*p. Let a be m(7). Which is smaller: a or -68/7?
-68/7
Let i be (3*(-76)/1998)/((-24)/(-25587)). Let t = -365/3 - i. Which is smaller: 2/3 or t?
t
Suppose -15*d + 217 = -128. Suppose 19 = y + n, 3*n - 85 = -3*y + 7*n. Is d at least as big as y?
True
Let k(c) = -c**2 + 29*c - 25. Let r be k(15). Let j = 161 - r. Is -32 <= j?
True
Let p be 51/6*(20 + -52). Suppose 0 = -3*n - 0*l - 4*l + 20, 5*n + l = 22. Let i be (-9 + 5)*n/p. Which is bigger: -1 or i?
i
Let p be (483/46 - 11) + (-33)/6. Is p > 39?
False
Let m be (-20)/(-4) - (0 - -1)*1. Suppose m*q - 2*d = 44, d + 2 = q + 5*d. Suppose 0*i + i = 4*j - 38, 2*i = 5*j - 46. Is j at least q?
True
Let z = 9.433 + -9.92. Let s = -0.387 - z. Let g be (14/20)/((-2)/4). Is g >= s?
False
Suppose 0 = 116*k - 91*k + 45925. Let y = k - -7437/4. Is 22 equal to y?
False
Let f(z) = 106*z**2 - 3*z. Let j(c) = c**3 - 6*c**2 - c + 4. Let a be j(6). Let p be f(a). Which is bigger: 0 or p?
p
Let u = 0.45 - -6.55. Let t = 0.1192 + 0.0608. Which is smaller: u or t?
t
Let q = -4458 - -4458. Is q at least 4/1529?
False
Let b(f) = f**3 - 9*f**2 + 9*f - 9. Let a be b(8). Let t = 3781 - 26475/7. Is t at least as big as a?
False
Suppose 45*b + 29 = 50*b - 3*t, 0 = -4*b - 3*t + 7. Suppose -60 = b*w + v, -30 = w + 3*v + v. Is w < -17?
False
Let r(s) = 8*s - 422. Let w be r(24). Let m be -5*192/w - 4. Which is smaller: m or 3?
m
Let c be (-2)/1*1532/(-8). Let n = c + -373. Which is smaller: 18 or n?
n
Let k be (-7)/3 - (-14 + (-38)/(-3)). Which is greater: k or -107/81?
k
Let z be (-4)/12*3*-3. Suppose 4*s = -m + 4*m - 21, -6 = -5*m - 3*s. Suppose -4*w + 8 = 4*a - 2*a, z = -3*w + m*a. Which is smaller: -4/73 or w?
-4/73
Let w(t) = -t**3 + 24*t**2 + 65*t + 19. Let p be w(27). Which is smaller: -411 or p?
p
Let m = 0.6 + -4.6. Let x = 0.04932 - 3.18232. Let v = x - -0.133. Which is smaller: v or m?
m
Let y = -40 - -76. Suppose -10*h + y = -6*h. Let f(l) = l + 7. Let u be f(10). Is u > h?
True
Suppose 0 = 2*z - 0 + 2. Let a be 126/56*(-4)/z. Suppose -5 = a*v - 14*v. Is v at least 1/7?
True
Let r = 17.104 + -17. Let s = r + -0.165. Let v = s + -0.039. Is v at most 9?
True
Let h be (4 + -4)*5/5. Suppose -r - 1 = -0. Let q = 0 - r. Is q less than or equal to h?
False
Let o be 8/(-2)*17/238. Let l = 86.4 - 65. Let z = l - 21. Is o greater than z?
False
Let b = 1 + -1. Let z be 18/21 - (-3 + ((-21695)/(-4445) - 1)). Is b < z?
False
Let s = -1.309 - -2.309. Is s equal to -122/7?
False
Suppose -808 - 987 = -5*u. Let p = 409 - u. Is p greater than 0.1?
True
Let i = 9878 - 9721. Which is bigger: i or -1/4?
i
Let y = -18 - -15. Let a = -38 + 41. Let n be 8/18*-6 + a. Is y bigger than n?
False
Let f be 4 - (6/(-18))/((-2)/(-258)). Let x(q) = 3*q**2 - q - 2. Let m be x(-4). Do f and m have the same value?
False
Let h = 21692 + -14403. Which is smaller: 0 or h?
0
Let y = 95 - 95. Let u(n) = -10*n. Let v be u(y). Are 5 and v equal?
False
Let l = -412.6 + 415.6. Are 466 and l non-equal?
True
Suppose -542*a + 46*a - 496 = 0. Which is smaller: 1/33595 or a?
a
Let s(x) = 3*x**2 - 9*x + 38. Let g(u) = u**2 + 2*u + 1. Let d(j) = -2*g(j) + s(j). Let i be d(4). Do i and 21/17 have the same value?
False
Let j = 1273048/373 - 3413. Suppose 32 = 8*k - 117*k + 141*k. Is j smaller than k?
True
Let s = 852 - 859. Let q be (0 + -3)*33/9. Which is smaller: q or s?
q
Let o be (-2 - -2)/(-2) - -7. Let j(p) = 3*p**2 - 45*p + 9. Let r be j(15). Suppose -2*m - 5*c = -12, -3*m + c = -r - 9. Which is greater: o or m?
o
Let r = 703/195 + -46/13. Let z = -628 - -627.8. Which is smaller: z or r?
z
Let l = 27197/68030 + 3/13606. Is 1224 equal to l?
False
Let r be (0 - 1)/((-41)/(-2)). Let p(i) = 3*i**2 - 24*i - 2. Let c be p(9). Suppose -3*x - 6*w - 20 = -2*w, 0 = -5*x + 5*w + c. Is r equal to x?
False
Suppose -3*r = -7*r. Let w be 1665/(-1098) - 33/(-22). Is r < w?
False
Let k = 9004 - 9121. Which is smaller: -588/5 or k?
-588/5
Let n be 0 + (-1938)/(-4995) - (-28)/(-70). Let h = -1106/333 + n. Do h and -0.2 have the same value?
False
Let q(i) = -14*i**2 + 9*i. Let t(r) = -5*r**2 + 3*r - 1. Let p(g) = -4*q(g) + 11*t(g). Let n be 46/8 + (-3)/(-12). Let a be p(n). Which is smaller: 0 or a?
0
Let c = 146883/21083 + -202/29. Is c at most -1?
False
Let h = 0.1 - 4.1. Let q = 717.379 + -718. Let g = q + -0.379. Is h < g?
True
Suppose -58*i + 56*i = -72. Suppose -16 = 20*y - i*y. Which is smaller: -2 or y?
-2
Let t(d) = 4*d**3 - d**2 + 2*d - 1. Let f(u) = 2*u**2 - 3*u + 2. Let i be f(1). Let j be t(i). Suppose -h = 2*b + j, 2*b + 2 = 3*h - 2. Are 2/13 and h nonequal?
True
Suppose 5*d = -3*y + 7*d + 622, 0 = 4*y + 4*d - 856. Suppose -36*c + 33*c + y = 0. Suppose 10*h = 20 - c. Which is greater: -4 or h?
-4
Let m be (348/72)/(1/6). Suppose 25*q + 24 = m*q. Suppose -q*z + 26 = 8. Is -1 > z?
False
Let t(y) be the second derivative of 1/3*y**3 + 11*y**2 - 7*y + 0. Let i be t(-13). Which is bigger: i or -24/5?
i
Suppose -10*w - 18299 - 13401 = 0. Is w greater than or equal to -3170?
True
Let t be (18/15)/(3/(-20