et j be 57/9 - (-13)/13. Which is bigger: j or -27?
j
Let v = -434 + 516. Suppose v = -4*o - 38. Is o equal to -27?
False
Let f(h) be the second derivative of h**4/12 - 11*h**3/6 + 11*h**2 - 2*h. Let j be 12/(-10)*(-27)/((-810)/(-75)). Let c be f(j). Is c > 0?
False
Let g(a) = 11*a**3 + 7*a**2 - 8*a + 9. Let d be g(5). Let x = 3131 - d. Let w be (-2)/6 - x/(-273). Is w > 6?
False
Let r(a) = 2*a + 19. Let h be r(-6). Is 368/49 greater than h?
True
Let w be (6/(-6))/(1*(-2)/(-20)). Let t be (((-741)/(-630))/13)/((-4)/w). Let i = t + 3/28. Which is smaller: -0.16 or i?
-0.16
Let s(b) = 368*b**2 + 26*b - 19. Let j be s(1). Is j at least as big as 375?
True
Suppose 28*w = 46*w. Which is smaller: w or 1/5?
w
Suppose 3*n + 4*g = -179, -g - g = -5*n - 281. Which is greater: -73 or n?
n
Suppose -4 = -l - 5. Let u be -3*l/(-9) + 62/6. Suppose -u = -m - 5*q, -q = -5*q + 8. Is 6/7 < m?
False
Suppose 15*c - 468 = 2142. Let k = c + -173. Let y = 81 + -7369/91. Is k greater than or equal to y?
True
Let i(u) = 66*u + 6081. Let f be i(-88). Are 271 and f equal?
False
Let w = -12549 + 501941/40. Is 1 equal to w?
False
Let b = 96 + -91. Suppose -2*a = 5*u + 30 - 6, -b*a - 5*u = 30. Let y be 0/(1 + a + -1). Does 1/32 = y?
False
Let h = 1405 + -1298. Let p be (-6)/(-4) + (7455/10)/7. Are p and h non-equal?
True
Let z = 5900 - 5899.907. Is z less than 0.22?
True
Let i be ((-9)/6 - 54/(-4))*(-132)/2904. Does i = -0.098?
False
Suppose -4*n = 4*b - 770 - 150, 940 = 4*n - b. Let z = 259 - n. Let t(v) = 2*v**2 - 3*v + 4. Let k be t(4). Which is smaller: k or z?
k
Let k = 34 + -40.5. Let a = -153052 - -153052.01. Is k >= a?
False
Let k = 3509 - 6561. Let x = k + 3089.99. Let q = -38 + x. Which is greater: q or -6?
q
Let o(g) = -45*g - 809. Let l be o(-18). Is l < 34/81?
False
Suppose g + 5*g + 9423 = -3*g. Is -1047 equal to g?
True
Suppose -9*t = -6*t. Let o be ((-5)/180)/((-5512)/(-1797)). Let v = -9/416 - o. Is t at most v?
False
Let m(n) = 4 + 17 - 3 + 13*n. Let h be m(8). Do 123 and h have the same value?
False
Suppose 13*g - 24 = 158. Suppose 0 = 2*b - 24 + g. Suppose 0 = -b*k + 2*z - 152, 4*k - 2*k + 62 = 2*z. Is -30 at most as big as k?
True
Let i be 2 + (-95)/(-15) - (-5)/3. Let k be ((-260)/(-50))/((-4)/i). Which is smaller: -43/3 or k?
-43/3
Let u = 231 - 194. Which is greater: 439/12 or u?
u
Let t be (0*1/3)/(-5). Let p be 0 + (-6)/30*t. Let r = -404720/179 - -2261. Which is smaller: p or r?
r
Let r be (-11 + 6)*1/(3 + -4). Suppose -3*y + 2 = -r*y. Do y and -6/71 have the same value?
False
Let f = 0.3 + 2.7. Let i = 10275.4 - 10275. Are i and f equal?
False
Let s be (0 - 0 - 0)*(-3)/6. Suppose -16*n + 11*n - 675 = s. Let i be n/(-504) - 2/16. Which is smaller: i or 1?
i
Let p be 70/(-105)*33/(-2). Which is bigger: 23 or p?
23
Let y = 868164/73 + -11893. Is 0 equal to y?
False
Suppose 38*u - 37*u = 19. Suppose -g + 25 - u = 0. Suppose 4*x + 0*x = 24. Do g and x have the same value?
True
Let w = -1317517/16 - -82375. Which is smaller: 31 or w?
w
Let j(i) = i**3 - i**2 - 2*i + 11. Let m be j(0). Suppose -3 = -m*b + 8*b. Let t = 203.978 - 204. Are b and t equal?
False
Let x = -13498.6 + 13079.855. Let v = 419 + x. Which is bigger: -0.1 or v?
v
Let c be (-3)/7 - 10440/(-840) - 216. Suppose 4*b + 822 = 6*u - 5*u, 4*b + 830 = 5*u. Which is smaller: c or b?
b
Suppose -17 = r - 40. Suppose -3*w = -4*m - r, -3*w - 4*m - 17 = -0*m. Let a be (6 + 13/2)*(w + 1). Is -2 >= a?
False
Suppose c + 2073 = -2*s, 10*s - 5*s + 4148 = -2*c. Are c and -10343/5 equal?
False
Let g = 26.8434 + 0.0566. Let i = 27 - g. Is 11 equal to i?
False
Let u = 183.6 + -176.6. Which is smaller: 41 or u?
u
Let p be ((-170)/(-25))/(2/5). Let s = p - 14. Let w be -1 - s - (19 - 1). Which is bigger: -23 or w?
w
Suppose 11*b + 5204 + 1528 = 0. Do -612 and b have the same value?
True
Let a = -9.5377 + -1.3833. Let v = -11 - a. Is 2 at most as big as v?
False
Suppose 3*x - 5*r + 15 + 19 = 0, 0 = 2*x - 3*r + 21. Suppose -8 = -o + 10. Let v be (-27)/o - 6/8. Which is greater: x or v?
v
Let p be (645/38)/(21/336*-8). Which is smaller: -35 or p?
-35
Let o = 18.67 + 0.33. Let l = -10 + o. Let s = -3255 - -3255.5. Is s at least l?
False
Let d(h) = 33*h - 55*h - 54 - 37*h - 242. Let c be d(-6). Which is smaller: 289/5 or c?
289/5
Let o(z) = z**2 + 4*z - 9. Let d be o(-6). Suppose 2*x + x = 4*b - 11, -x + 5 = d*b. Suppose 4 = h + 3*i, b*h = 5*i - 3*i + 8. Do h and 1 have the same value?
False
Suppose 32*l = -25 - 103. Let f be (16 - (l + 14))/(1/55). Are f and 331 unequal?
True
Let z = -219 + 222. Let u(p) = -7*p**2 + 8*p. Let y be u(z). Which is bigger: y or -38?
-38
Let t(w) = -74*w + 547. Let f be t(-34). Is 3062 at least as big as f?
False
Let b be (-2637)/1465 + (-42)/(-40). Is 598 bigger than b?
True
Let b = 2974.1 - 2974. Which is smaller: 2/4823 or b?
2/4823
Let x(z) = 4*z**2 - 7*z + 13. Let k be x(4). Let a = k - 48. Suppose -2*h + h - 11 = 0. Is h bigger than a?
False
Let m = -395 + 365. Are 52 and m equal?
False
Let w = -12932 - -16203797/1253. Let k = -131881/3951 - -2779426396/84160251. Let a = k + w. Which is smaller: a or 1?
a
Let t = 82 + -67. Let f be 1292/(-5) - (5 + (-81)/t). Let q be f/(-15) - 2/(-1 + 11). Is q < 17?
False
Let n = 17086/5 - 3418. Which is smaller: -0.38 or n?
n
Let o be (-627744)/248976 + 40/(-42) + (-4)/(-6). Which is bigger: o or -4?
o
Let d be 5/(-1) + 1878617/1127. Let g = d + -1662. Which is bigger: g or 1?
1
Let x = 687 + 768. Let g = 120762/83 - x. Which is smaller: -0.1 or g?
-0.1
Let u(m) = -4*m**2 - 131*m - 1256. Let l be u(-12). Let v be 0 + (-9*29 - -2). Is l bigger than v?
False
Let t = 8018 - 13786. Is t bigger than -5767?
False
Let o(k) = -2*k**3 + 16*k**2 - 6*k + 2. Let i be o(8). Let p = i - -45. Let y be p - ((-2)/(-4)*134)/(-65). Which is bigger: 1 or y?
1
Let r be ((-2)/16)/(34/((-136000)/(-24))). Which is smaller: r or 3?
r
Let n = 101 - 96. Suppose 0*w - 30 = -5*w + 4*l, -n*w = 5*l - 75. Let z be 696/70 - (-40)/(-280). Is z greater than w?
False
Let c = 28 - 28. Let k = c + -6/5. Suppose 4*u - 8 = w, 2*w + u = -3*w + 2. Which is bigger: w or k?
w
Suppose 211*b - 3295 = 61 + 20. Let a(q) = -2*q**3 + q**2 - q. Let g be a(1). Let r be 2/g - (-16)/1. Which is greater: r or b?
b
Let r be (-2 - (-228)/(-8))*(-1 - -3). Let w = -64 - r. Suppose 0 = -u - 8*h + 3*h + 16, -4*h + 2 = -u. Which is bigger: w or u?
u
Let c = 399.9 - 419. Let s = -20.1 - c. Let z be (-3)/9*(-2)/(-10). Which is smaller: z or s?
s
Suppose -6*p + 12*p - 294 = 0. Let m = -43 + p. Let t(u) = -u**2 - u + 11. Let g be t(m). Is -31 greater than g?
False
Let p be -1*3 + 1 - 0. Let c be (-5697)/(-45) + 4/10. Let r = c - 133. Which is smaller: p or r?
r
Let j = 121 - 250. Let g = 130 + j. Which is smaller: g or 2/11?
2/11
Let y = 1070.9 + -1072. Let c = -7.217 - -0.117. Let u = c - y. Is -2/3 greater than u?
True
Let y be 1467/(-180) + 5/(-20). Suppose -5*w - 60 = 4*h, -9 = -3*w + 4*h - 13. Which is greater: w or y?
w
Suppose -5*m = 8*m + 195. Let l be (780/(-91))/m + (-3)/(-7). Which is bigger: l or 22/39?
l
Suppose 324 = -3*f - 6*f. Let x be f/63 + 11/7. Let j be (x*8)/(9 - 11). Is -4 bigger than j?
False
Let b be (((-2)/25)/((-7)/35))/((-3120)/(-336050)). Is 42 smaller than b?
True
Let x = -274.25 - -274. Let p = x + 0.258. Which is greater: -0.2 or p?
p
Let d = 9701 - 9519. Is 1992/11 less than d?
True
Suppose -u - 3 = -c, -u - 3*c = -6*c + 3. Let x be 90/135 - 1/u. Let l = -5 + 15. Do x and l have the same value?
False
Suppose 645 = 3*p + 5*m - 282, 2*p - 2*m = 650. Is 314 not equal to p?
True
Suppose 73*m = 103 + 43. Suppose 0 = -2*j - j + 6. Let w be 1 - j - (-32)/8. Which is bigger: m or w?
w
Let n = 65 - 57. Suppose -6*s + 16 = 2*r - s, -2*r + n = 3*s. Let u be ((-1)/(-4))/(-33*r/96). Does u = -1?
False
Let d = 76 - 71. Suppose 0 = d*s - 20. Let h be (1 + 0/s)*(0 - 3). Is -11/7 at most h?
False
Let d be ((-6)/4)/(15/(-10)). Let w be 550/(-121)*2/4. Let u = w + 1189/528. Is d < u?
False
Suppose 217*v - 215*v = 8, 2*q - v + 158 = 0. Which is greater: q or -48?
-48
Let d = -15.317 - -0.017. Let p = 4280 + -4295. Let n = d - p. Is -6/13 at least as big as n?
False
Let c be (1 - 4/9) + 3332/7497. Is 15/77 != c?
True
Suppose -5*o = -h - 20, -27 + 15 = -3*o + 2*h. Suppose 4 = 4*r, 24 = o*b + 1