ave different values?
True
Let u(a) = -8*a**3 + 16*a**2 + 2*a + 2. Let o be u(-3). Let w = 95 - o. Which is smaller: -260 or w?
w
Let m = -193230 - -1208846883/6256. Which is greater: m or 1?
1
Let n(l) = 22*l**3 + 9*l**2 - 7*l - 24. Let p be n(-4). Is p < -1260?
False
Let b be (-102)/136*(0 + (-1665474)/(-423)). Let h = b + 2953. Which is greater: -1 or h?
h
Let u(w) = -54*w + 54. Let a be u(1). Suppose o - c + 7 = a, -4*c = 4*o - 2*o - 16. Is 234 bigger than o?
True
Suppose -t + 2880 = -37*t. Is -394/5 less than or equal to t?
False
Suppose 3*z + 33 = -24. Let s(f) be the second derivative of f**4/12 + 5*f**3/6 - 17*f**2/2 - 27*f. Let b be s(-4). Which is greater: z or b?
z
Suppose 0 = r - w + 14 - 2, 4*r - 5*w + 47 = 0. Let d(i) = -i**3 - 12*i**2 + 32*i + 28. Let z be d(r). Is z equal to -217?
False
Let q = 817 + -441. Let n = q + -160. Is 217 bigger than n?
True
Suppose 15*y - 20*y = 0. Suppose -u + 7 - 3 = y. Suppose -3*f - 3*i = 36, -5*f - u = -4*i + 29. Is -10 bigger than f?
False
Suppose -2*y + 4*p = -1750, 5*y + 123*p - 118*p - 4420 = 0. Which is smaller: 882 or y?
y
Let t = -29 + 136. Let b be 1 - (t/3)/(2/3). Let x = -52 - b. Is 2 < x?
False
Suppose -22*x - 2*z = -20*x - 2116, 3*x - 2*z = 3164. Which is smaller: 5277/5 or x?
5277/5
Let x be (-7*(-10)/210)/((-5)/111). Let t = x + 522/55. Which is smaller: 1 or t?
1
Let z = 68 - 95. Let w = 30 - 133. Let n = 102.9 + w. Is z < n?
True
Suppose -4 = -2*c, 2*k = 8*c - 4*c + 46. Let o = -22 + k. Suppose -z + 5 = j, 2*j - o*z + 2 = -4*z. Is j greater than or equal to 20/9?
False
Suppose 0 = 2*y + 3*o + 9, -2*y + 46 = -5*y + 2*o. Let t be 3 + ((-1)/y)/((-70)/2180). Let f = 1/14 - t. Is f greater than 1?
False
Let n = -2901 + 6803. Is 3901 <= n?
True
Let n = 468 - 470. Which is greater: -1/927 or n?
-1/927
Suppose 4*i - 2*n = 22, 6 + 9 = -5*n. Suppose y + 4 = -i*c, 5*c - 4*y = -0*c - 26. Are -29 and c non-equal?
True
Let g = -0.1 + 0. Let z(t) = 21*t + 51. Let w be z(2). Let k = 458/5 - w. Is g bigger than k?
True
Let c = -5645 - -5956. Which is smaller: 312 or c?
c
Let b = 1973 + -2001.33. Let k = b - -0.33. Let i = 2/67 + 124/335. Is k less than i?
True
Let j be 1*(-12)/8 - 100/40. Let y be 63/126 - (-10)/j. Which is greater: -13/4 or y?
y
Let q be (25/(-4) - -1)*(14 + -18). Let p be (-310)/(-15) - 1/(-3). Suppose 5*u - q + 6 = -2*m, p = 5*m - 4*u. Do -1 and m have different values?
True
Let q = -149.04 - -152. Let m = -6.04 - q. Which is greater: m or -0.6?
-0.6
Let a = 857 + -856.7986. Let x = a + -0.0014. Which is smaller: -1/44 or x?
-1/44
Let l = -49531 + 27535. Which is smaller: -21997 or l?
-21997
Let n = -145.8 - -134. Let v = n - -4.8. Let p = -44 - v. Is p at most -0.1?
True
Suppose -8 = 2*j - 26. Suppose 17 = 5*l - 2*o, -4*l + 8 = 3*o + o. Suppose -i - 20 = -3*p, -l - 1 = 2*i. Are p and j non-equal?
True
Suppose d - 9 = -d - 5*b, -6 = 4*d + 2*b. Let z be -4*(-1 + 0) - 87462/113. Let t = z + 766. Which is bigger: d or t?
d
Suppose -4*a - 3*r = -2*r - 30, 0 = -a + 2*r + 12. Let k = 0.3972 - 0.3972. Which is smaller: k or a?
k
Let k = 1289 - 6407/5. Suppose 4*y = -7401*p + 7400*p + 7, p = y + 2. Does y = k?
False
Let b(k) = k**3 + 63*k**2 - 136*k - 152. Let t be b(-61). Let m = -140422/9 + t. Which is smaller: -17 or m?
-17
Suppose 2*m - 87*d + 86*d = 3, -5 = -m + 4*d. Which is smaller: m or -7/6288?
-7/6288
Let s = 4892 - 29167/6. Which is smaller: -2 or s?
-2
Suppose 60 = -4*v - 3*s, 3*s - 30 = 2*v - s. Let t be (v/20)/(639/(-24)). Is -1/2 not equal to t?
True
Let k = 30 + -26. Let s be (1 + 6/k)/((-6)/(-28)). Let v = s + -12. Does 0.057 = v?
False
Suppose -2*c = -4*c + g + 10, 2 = c - 2*g. Let b be ((-5)/(-4))/(c/120). Which is smaller: 26 or b?
b
Suppose 102 = -z + 101. Let p = -53/63 - -797/1197. Which is smaller: p or z?
z
Suppose -3*v = -2*k - 6, -k - 10 = 4*v - 18. Suppose -v = 240*d - 242*d. Which is bigger: d or -1/18?
d
Let d be 45/20 + (-524)/(-16). Let q be (-4)/(12/(-99)) + 3. Which is greater: d or q?
q
Let l = 463 - 465. Which is smaller: 0.27 or l?
l
Suppose -h + 2*h = -4*i - 2, -2*h = i + 39. Let s = 1496 + -1520. Which is greater: h or s?
h
Let w be 7/(14/(-6))*2. Let q = 13969896 - 15380863579/1101. Let j = q - -3/367. Is w greater than j?
True
Let o(i) = -27*i + 2618. Let y be o(97). Is -2/12697 != y?
True
Let h(j) = 4*j**2 - 110*j + 551. Let o be h(6). Let w(s) = -17*s + 5. Let n be w(-4). Let y = n + -39. Are o and y equal?
False
Let y = 0.5 - 0.48. Let n = -0.021 - -0.199. Let a = -0.822 - n. Do y and a have the same value?
False
Suppose -4*p + 6*n = 4, 5*p + 20 = 12*n - 7*n. Which is greater: -23 or p?
p
Let m be 2*1/4*(-54)/36. Is m at least 0.0112?
False
Suppose 2*u - 3824 = 2*r, 38*r + 2*u - 9548 = 43*r. Is r greater than or equal to -1908?
True
Let o = 2212 - 2221. Is 2/107 > o?
True
Let d = 43 + -373. Let y = 238748 + -239079. Is y < d?
True
Let h = 8630 + -6851. Is h bigger than -0.2?
True
Suppose 2*f = -491 + 891. Which is greater: f or 195?
f
Let p = -40 + 63.3. Let v = 23.5 - p. Let y = 341/10 + -69/2. Is y < v?
True
Let p = 0.05 - -0.59. Let z = -0.94 + p. Let m = z + -0.7. Which is bigger: m or 2?
2
Let z be (128/(-6))/(-2)*(19 - 58). Let i = 419 + z. Which is bigger: -57 or i?
i
Suppose -2*p + 6 = 50. Let d(x) = 11*x + 252. Let z be d(p). Which is bigger: 3 or z?
z
Let b(z) = 14*z + 6. Let g be b(-6). Let c = 78 + g. Is c > -2/361?
True
Let f = -21.13 - -21. Let r = 8.896 + -8.596. Is r at most f?
False
Let k = -140448.009 - -140530. Let l = -0.009 - k. Let s = l - -81. Is s at least as big as -12/5?
True
Suppose 5*p - 4*p = 226. Suppose 5*l - 162*m - 1139 = -165*m, 3*l - m = 675. Are l and p unequal?
False
Suppose 0*b - 2*b - w = -10, -2*b = 4*w - 10. Suppose 12 = 4*c, 36 = -b*j + 4*c - 2*c. Suppose -k = -6*k + 4*z - 22, -5*z - 10 = 0. Is k bigger than j?
False
Let a = -3114 - -3721. Are a and 607 nonequal?
False
Let z(r) = -707*r + 12821. Let y be z(18). Is -66 at least as big as y?
False
Let z = -1643 + 1642. Which is bigger: z or 14/351?
14/351
Let k = 1009711/97 - 10409. Which is smaller: k or -1?
-1
Let y = -21.062 - -35.693. Which is smaller: y or -1/4?
-1/4
Suppose -5*o - 4 = -o. Let m be (o - 2)*6 + -1. Let r be (10/(-3) + 2)/((-6)/9). Which is bigger: r or m?
r
Let z = -6804 + 6538. Is -800/3 != z?
True
Let s be (-21 - 1776/(-80))*115*3*-2. Is -830 at most as big as s?
True
Let x(c) = 0 + 11 + 9 - 2*c. Let o be x(5). Suppose 3*p = g + 1, 16 = 4*p - 0. Is g at most as big as o?
False
Suppose -777 = -30*w - 57. Which is bigger: 22 or w?
w
Let z(w) = w**2 + 2*w - 11. Let t be z(-5). Is t smaller than 257?
True
Suppose -5*j + g - 4458 = -9*j, -2*j + 2224 = -2*g. Let m = j + -1115. Let k = -383/5 - -77. Which is greater: m or k?
k
Let d be (14/(-5))/(56/140) - -6. Is -3/1549 > d?
True
Let i be (-2 - -6)/((-2)/11). Let t = 52 + i. Suppose 8*q = 3*q - t. Which is smaller: -3 or q?
q
Let p be ((-7)/(-1050))/((-18278)/666). Which is smaller: p or 1?
p
Let a(i) = 23 - 5*i + i**3 + 12*i**2 + 9*i + 9*i. Let q be a(-11). Let p = q - 0. Is 4 less than p?
False
Let u = 7.4 + -10.3. Let s = 0.2 - u. Let d = -3 + s. Which is greater: 1.5 or d?
1.5
Let d be (4340/105)/31 - (1 - 87852/(-9)). Are -9764 and d non-equal?
True
Let x = -1013 + 671. Let r = x - -308. Is -34 < r?
False
Let z = 204 - -288. Let v = -491.52 + z. Is v at most as big as 5?
True
Suppose 342*k + 24966 = 360*k. Is 1387 at least k?
True
Let y = -94 - -60. Let h = -34.024 - y. Let m = h + -3.976. Do -0.08 and m have different values?
True
Let y = 1.22944 + 0.07056. Let i = -2.295 - 0.005. Let k = i + y. Which is bigger: -0.11 or k?
-0.11
Let k(j) be the first derivative of j**3/3 - 5*j**2 - 76*j - 100. Let o be k(15). Does -2/93 = o?
False
Suppose 20*m - 35*m = -60. Let u be (15/6 - -5)*(-3 - -1). Which is bigger: u or m?
m
Let q(g) = 6*g**2 + g**2 + 6*g - 8*g**2 - 7. Let f be q(5). Let y be (f + 0 - -4) + 67. Which is greater: y or -1/4?
y
Suppose -5*r - 5*m = -38 - 2, -2*r + 19 = 3*m. Let n be (64/(-12) + r)*69. Let w(x) = 2*x**2 + 51*x + 20. Let z be w(n). Which is greater: z or -96?
z
Let o = -4.058 + 4.658. Suppose -3*k = -k - 14. Let g be (-4)/k*3/4. Is g >= o?
False
Let l = 4297 + -1061363/247. Which is greater: 0 or l?
0
Let u = 43/124 + -3/31. Let b = 2.32 + -0.2. Let m = b 