 = -13103/52 + i. Which is smaller: 0 or a?
0
Suppose -11076 = 23*g + 16*g. Let t be ((-5377)/(-38))/(1/(-2)). Is g less than or equal to t?
True
Let c be (2*154/(-84))/((-1)/27) + 0. Let s(w) = 10*w - 9. Let b be s(-9). Let i = b + c. Is i smaller than -7/9?
False
Let b(r) be the second derivative of -r**4/12 - 5*r**3/6 - 3*r**2 - r. Let i be b(-4). Let g be i - (-166)/(-12) - 16/(-12). Which is greater: g or -15?
g
Let v = -25.7 + 35. Let x = -8.3 + v. Let u = -11 + 10.86. Do x and u have different values?
True
Suppose -27 - 7 = -k. Suppose 4*i + k - 22 = 0. Let r be i - -7 - 47/12. Which is smaller: -1 or r?
-1
Suppose 0 = w + 1, -5*z - 3*w + 64 = -63. Are z and -2/535 non-equal?
True
Let m = 7.454 - 12.62. Let b = 5.08 + m. Are b and 1/3 unequal?
True
Suppose -12*v = -0*v - 12. Let o be (0 + 9/(-6))*22. Let q be o/74 + (-5)/(-10). Is q at most as big as v?
True
Suppose 3*z = -5*m + 27, 0 = 5*z - m - 285 + 296. Let h = -67 + 47. Which is greater: h or z?
z
Let z = -2594.06 + 3993.27. Let y = z + -1467. Let h = -68 - y. Is -2 less than h?
True
Let p = -90717 - -1540621/17. Which is bigger: -91 or p?
-91
Let s be 1 - ((-6)/(-4))/(2/4). Let o be 0/7 + -14*(6 + s). Let n be (-3)/(15/o) - -1. Which is greater: 11 or n?
n
Suppose -43*n - 15647 - 22150 = 0. Is -875 <= n?
False
Let j = -46 - -41. Let y(a) = -2*a - 7. Let h be y(j). Let g = 9.3 + -9. Is h not equal to g?
True
Let v be ((-23)/(690/(-48)))/((-2)/(-35)). Suppose 8*n - 10*n = -v. Is 13 <= n?
True
Let d(a) = -a**2 + a + 21. Let o be d(6). Let t = -29 - o. Which is smaller: 1 or t?
t
Let f be -2 - (7/(-2) + (-8)/16). Suppose -f*r - 45 = 7*r. Is -7 greater than r?
False
Let r = 42741036148949/13028736 + -859500725/262. Let b = 1/14208 - r. Is b < 17?
True
Let a(i) = i**3 + 7*i**2 + 2*i - 23. Let b = -54 + 48. Let m be a(b). Let t be m - (2/5)/((-2)/30). Is 23/4 greater than or equal to t?
False
Let t = 0.2178 - 0.0258. Let h = t - 1.292. Is h greater than or equal to -0.29?
False
Let r(t) = t**3 + 5*t**2 - 13*t + 6. Let b be r(-7). Let a be 205/(-4) + (b + 9)/32. Let x be 6/a*1*(-45)/10. Which is smaller: x or 1?
x
Let f = -98.05 - -98. Is f less than 23?
True
Let h = 0.12121 + -57.99121. Let v = -58 - h. Which is greater: v or 0.5?
0.5
Suppose -2 = -3*u - m - 121, 0 = 2*u + 3*m + 70. Let h be ((-16)/(-20))/(2/15). Suppose 5*b + 109 = -3*f, -3*f - 2*b = -h*f - 137. Is u less than f?
False
Suppose 3*o - 16 = -2*n, -4*n + 3*n + 8 = -2*o. Let v be (6/n)/(1 + (-420)/402). Which is bigger: -18 or v?
v
Suppose 40 - 20 = b. Let f be 55/(-22) + 10 + 11. Which is smaller: f or b?
f
Let n(t) = 2*t**3 + 3*t**2 - 8*t - 6. Let q be n(-5). Suppose 20*u + 376 - 3028 = 208. Let d = u + q. Does 4 = d?
False
Let j = -6494 + 6488. Are 67 and j unequal?
True
Let z = -8637 - -8625. Is z at most -49?
False
Let m be (11925/(-636))/((-3)/(-8)). Which is smaller: m or 0.24?
m
Suppose -2*n + 4*p + 9320 = 0, -8332 = -3*n + 2*p + 5624. Which is greater: 4646 or n?
n
Let w = 3.1 - -55.9. Let m = -20 - w. Let o = m + 78.8. Which is greater: o or 0.07?
0.07
Let m(q) = -7*q**2 + 8*q - 8. Let o be m(5). Let a = -100 - o. Let i = a + -46. Which is smaller: 3 or i?
i
Let u = -24925/29928 + -5/9976. Suppose 0*f + 12 = 3*f + l, 3*l - 11 = -4*f. Suppose 5*a - 5*q - 17 = -47, 2*a = f*q - 24. Which is smaller: a or u?
a
Let b be 2/14 - (-677996)/(-4741660). Are -1 and b unequal?
True
Let d = -0.056 + -34.944. Let x = 19 - d. Let u = x + -30. Is -2 greater than or equal to u?
False
Let c = 0.0782 - 82.0782. Which is smaller: 23 or c?
c
Let a = 821 - 583. Let v = a - 329. Is 0.1 bigger than v?
True
Let i = -16467 + 4429639/269. Which is greater: i or 1?
1
Let j(o) = -74*o - 10. Let b be j(1). Let c be (-160)/(-5 + 7) - (0 - -4). Is c at most as big as b?
True
Let s(y) be the second derivative of -y**4/6 + y**3/6 + 3*y**2 + 138*y. Let j be s(7). Which is smaller: -86 or j?
-86
Let t(p) = -3*p - 2. Let k be t(16). Let c = 50 + k. Suppose a + 1 = c, 2*y + 0*a = -a - 1. Does -7 = y?
False
Let s = -145 - -189. Let q be (3 + (-78)/(-4))*2. Let y = s - q. Which is greater: y or -1/18?
-1/18
Suppose 0 = -3*z - 8*q + 9*q + 26, -22 = -4*z - 5*q. Let u = 943 + -936. Which is bigger: z or u?
z
Let x = 11818.3 - 11818. Which is bigger: 189.8 or x?
189.8
Let q = 308 - 6469/21. Do q and 1 have the same value?
False
Let h(p) = -44*p - 48. Let b be h(-5). Suppose 3*o + 9 = 3, 2*o + b = -4*t. Is -38 != t?
True
Let p = 46 - 43. Let c be 945/(-300) - p*(-3)/(-12). Let q(u) = u**3 - 7*u**2 - 2*u + 10. Let z be q(7). Is c >= z?
True
Let s be 7/(28/332) + (-48)/(-6). Which is bigger: s or 94?
94
Let n = -82.928 + -0.072. Let i = n - -84. Are i and 0.082 equal?
False
Let i = 18 - 29. Let y = -238 + 227.1. Let q = y - i. Is 13 greater than q?
True
Let n = -12504 + 11393. Is n != -1111?
False
Let z = -38 + 55. Let q = 0.28 + -0.31. Let v = 1.03 + q. Which is bigger: z or v?
z
Let s(b) = -37*b**3 - 12*b**2 - 25*b - 6. Let h be s(-2). Which is bigger: 298 or h?
298
Suppose 41*a + 205 = -0. Which is smaller: 675 or a?
a
Suppose -2*i = -10 + 4. Let f be i*7/4 - 21/84. Suppose 0 = f*n - 28 - 22. Does n = 8?
False
Suppose p = 3*j + 5*p - 578, -j = -5*p - 180. Let i = j - 187. Is -2 less than i?
True
Suppose 3*t = -9, t - 6*t = -3*d + 33. Let z be (-7)/(-3) - d/18. Suppose 10 = 4*x + z*n, 5*x + 8 = 9*x + 4*n. Which is smaller: x or -4?
-4
Suppose 0 = 4*n - 175 - 465. Suppose 7*f = -3*f - n. Do -8 and f have the same value?
False
Let i = 682 - 696. Let y = 24.9 - 24.4. Is i less than y?
True
Let m be (23/(-46))/((0 - 2)/(-2)). Which is greater: 8/761 or m?
8/761
Let f(p) = 3*p**3 + 9*p**2 + 8*p - 49. Let w be f(-7). Let c = 1264 + w. Is c <= 1?
False
Let k be 4*(-18)/45*40/32. Is k not equal to 1/2?
True
Let d(c) = 3*c**2 - 45*c - 13. Let g be d(19). Suppose 6*f - g + 995 = 0. Which is smaller: -128 or f?
f
Let s be -16 + (7 - 300/36)/((-8)/(-12)). Is -750/41 at most s?
True
Let r = -91 - -365/4. Let w = 65 - 65.08. Is r smaller than w?
False
Let z(c) be the second derivative of c**3 - 33*c**2 - 72*c. Let y be z(11). Are y and 3/214 nonequal?
True
Let m = -8410 + 8410. Which is bigger: 1/1841 or m?
1/1841
Let l = -8232 + 8240. Which is smaller: 85 or l?
l
Let p(n) = -24*n - 208. Let k(w) = 8*w + 69. Let t(f) = 7*k(f) + 2*p(f). Let m be t(-10). Does m = -13?
True
Let i(c) = -c + 19. Let g be i(14). Suppose g*f = 0, 5*f + 20 = 5*s + f. Suppose x - s*o + 27 = 7, -4*x - 3*o = -15. Which is smaller: x or 4/11?
x
Let f be (2490/21)/((-26)/91). Which is smaller: f or -411?
f
Let w = 12801 + -12732. Is 1.39 smaller than w?
True
Let k(q) = -q**2 - 2*q + 2. Suppose 4*l = 12, 0 = 3*i + l + 3*l - 12. Let z be k(i). Suppose 2*a = -z - 4. Are a and -13/7 non-equal?
True
Let u = -229 - -239. Suppose -4*v = 2*h + 26, -h - h = -u. Is -7 less than or equal to v?
False
Let f be ((-36)/(-24))/((-1)/2050). Which is bigger: -3076 or f?
f
Let g = 9.21 + 2.69. Let b = 9118 + -9106.3. Let z = g - b. Which is bigger: -12 or z?
z
Suppose -2*b - 10 = -2*t, t + 2*b + 39 - 26 = 0. Is -6/2947 greater than or equal to t?
True
Suppose 4*j - 5*s = -24, 3*s = 13 - 1. Let f be (-2 - j) + 8 + -1. Suppose -5*t = 3*g + f, -2*g - 5*t = 2*g + 8. Which is greater: g or 6?
6
Let l be 4 - (0 - 0/2). Suppose 0 = -l*o - 3*s + 145, 62 = 2*o - 0*o - 2*s. Let n be o/(-153) - 478/(-126). Is 5 greater than n?
True
Let w(r) = -r**3 + 14*r**2 + 490*r - 6850. Let y be w(14). Which is bigger: 999 or y?
999
Let m = 6.8213 + -6.73. Let u = 41.1913 - m. Which is smaller: u or 1/4?
1/4
Let c = 30 + 122. Let u = -150 + c. Is -2/9 > u?
False
Let t(p) = p**3 - 11*p**2 + 11*p + 8. Let s be t(10). Do s and 28 have the same value?
False
Suppose 19 = -w + 5*n, 0 = 3*w + 3*n + 12 + 9. Let d(b) = b**3 + 8*b**2 - 11*b - 19. Let f be d(w). Which is smaller: -61 or f?
-61
Suppose 0 = -44*b + 127*b - 996. Is b > 22?
False
Suppose 873 = 6*y + 879. Is y at least -272?
True
Let w = 66 - 63.3. Let s = w - 0.7. Let j = 8.31 - 8.31. Which is bigger: s or j?
s
Let w = -10 - -4. Let t be 2/(-5)*9/w. Suppose 21*j - 7*j + 56 - 140 = 0. Is j != t?
True
Let v = 204806 + -2372472701/11584. Which is smaller: v or 0?
0
Suppose 179*r - 67192 + 16356 = 0. Is r smaller than 288?
True
Let f = -3/8776 + -1052781/991688. Is f > -2?
True
Let s = -500 