eater than 3/25?
False
Let b be (-14)/(-616)*-11 + 301/500. Is b > -1?
True
Suppose 5*n - 315819130 = 5*a, 2*a - 5*a = 3*n - 189491454. Let f = 4105733578/65 - n. Let h = f + -1310. Are -1 and h non-equal?
True
Let u be 3 + 1 - (-9 + 12) - 33. Let r be (u/1 - -1) + 2 + -6. Are r and -35 unequal?
False
Suppose -a - 7*r + 8 = 0, 0 = -5*a + 8*r - 13*r + 10. Is a equal to -1/737?
False
Let c be 5 - 7 - (-1670)/12. Let r = -13883/102 + c. Which is greater: 0 or r?
r
Let v(z) = 2*z**3 + 3*z**2 + 3*z + 1. Let w be v(-2). Let t be 14/(-21)*w/(-6). Let h be 11/(-22)*(-2)/t. Is h > -2/111?
False
Let q = -44 + 375. Suppose 1407 = 12*u - 2565. Is u bigger than q?
False
Let f(r) = -5*r**2 - 9*r - 7. Let k(y) = y**2 + 1. Let t(x) = f(x) + 6*k(x). Suppose -79 = -12*u + 29. Let c be t(u). Is c greater than -11?
True
Let q = -4732067/10387 - -21891/47. Let l = 168/17 - q. Is l less than or equal to 0?
True
Let n be (-66)/374 + 176732/993293. Which is bigger: 1 or n?
1
Suppose 3*r = 2*y + 24, 0 = 4*r - 2*r - 5*y - 5. Suppose -244 = r*k - 34. Do k and -21 have different values?
False
Let m(r) = 5*r**3 + 20*r**2 + 71*r - 5. Let j be m(-6). Which is smaller: j or -5546/7?
-5546/7
Let q = 162 + -160. Let s be (-6)/(1 + -1 + q) + 35. Is s less than or equal to 33?
True
Let j = -10 - -14. Let i = 64 - 45. Let l = i + -20. Which is bigger: l or j?
j
Suppose -4*x + 5*x - o = 94, 5*x - 435 = -2*o. Let t be 177/x - (0 + 2). Which is smaller: t or 0?
t
Let h = -602.62 + 612. Let x = 502.38 - h. Does -0.1 = x?
False
Let u = 37060 - 39914. Which is smaller: -2851 or u?
u
Let y = 2520 - 13761. Is y != -11242?
True
Let v = 32843/4 - 8211. Which is bigger: v or 289/25?
289/25
Let p = 95 + -92. Suppose 2*j + 559 = 5*l, p*l - 446 = -l + j. Let h = l - 112. Is -2/55 bigger than h?
True
Let b(v) = 5*v + 13. Let d be b(-2). Suppose 0 = -5*y + 5*m + 70, -d*m - 33 = 2*y - 4*y. Do y and -4/13 have different values?
True
Let t = -47.1 + 47. Suppose 91 = i + 3*q - 0, 5*q = 20. Let o = -309/4 + i. Is o not equal to t?
True
Let j = -1667 - -2574. Let s = 584 - j. Which is bigger: s or 0.1?
0.1
Suppose 0 = 2*m + 1063 - 1039. Let f = m - -27. Let r = 1181/39 + -216/13. Is r != f?
True
Let r be (1/(-3))/((-6)/486). Suppose 0 = g + 2*p + r, 2*g - 6*g + p - 126 = 0. Suppose -9*f - 210 = -2*f. Is g at most f?
True
Let i(q) = 85*q - 383. Let c be i(6). Suppose -c*r + 123*r = 1772. Does -442 = r?
False
Let b = 461/35 + -13. Does 22 = b?
False
Suppose 0 = 2*l - 4*q + 6, l + q + 3 - 12 = 0. Let z = l + -9/2. Let f = -63.8 - -64.22. Is f smaller than z?
True
Let n be 5/78*18/(-2). Let w(g) = 67*g**3 - 134*g**2 - 12*g + 24. Let m be w(2). Which is smaller: n or m?
n
Let l be 2*1940/(-624) + (-10)/(-12). Which is smaller: -6 or l?
-6
Suppose -p - 3*h - 3 = -0*h, 91 = -5*p + 4*h. Let t = 2 - p. Let i(a) = a**3 - 5*a**2 - 2*a - 8. Let w be i(6). Which is bigger: t or w?
t
Let o = 176.945 - 176.94. Is 62 bigger than o?
True
Suppose -4700 = -34*v - 14696. Do -300 and v have the same value?
False
Suppose 5*c + 3*u = 9331, -3 = -5*u - 43. Is 11219/6 < c?
True
Suppose -5*g - 5 = -3*r, g = -r + 1 - 2. Let h be 4 - (r - (-2 + -2)). Suppose h = 5*v - 5, 2*v + 1 + 3 = 2*l. Is l less than 30/13?
False
Let w(j) = 4*j + 8. Suppose n - 4*x = 16, 0*n = -n + 2*x + 12. Let c be w(n). Let a(k) = -8*k - 8. Let r be a(-6). Is r at most as big as c?
True
Let l(h) be the first derivative of h**3/3 + 11*h**2/2 + 13*h + 9. Suppose 0 = -12*b + 14*b + 20. Let w be l(b). Is 2 at least as big as w?
False
Let z be 1/(-2) + (-5 - 86/4). Let k = -158 - -158. Which is greater: k or z?
k
Let s(r) = r**2 + 13*r + 7. Let p = 86 - 62. Suppose -p*g + 13 = -25*g. Let u be s(g). Which is smaller: 10 or u?
u
Let t = -272 + 264. Let p be (90/(-75))/((-6)/20). Suppose p*l = -4*k - 4, -4*l + 1 = 3*k - 1. Are k and t non-equal?
True
Let r(w) = w + 3. Let n be r(-4). Let d = 127 - 142. Let c be ((-1)/d)/((-56)/(-350)). Which is bigger: n or c?
c
Suppose 0 = -64*m - 28 + 92. Let t be (-91)/(-63) - 2/(-9). Which is smaller: m or t?
m
Let q(d) = -d**3 + 25*d**2 - 162*d - 66. Let r be q(22). Which is smaller: r or -2179?
-2179
Suppose 3*o = 5*j - 13, 2*j - 25 = -3*j. Let n be (2 + 2)*58/o. Let d be (6/(-14) - 0) + n/14. Which is smaller: 3 or d?
3
Let f = -660 + 557. Let q = -109 - f. Is q less than or equal to -1/33?
True
Let t = -569 + 577. Let s be (-1673)/152 + t + 3. Is -1 at most as big as s?
True
Let p = -0.3979 + -0.6021. Let v = -14 - -10. Let m be 10/v*(-9)/(-60). Which is bigger: m or p?
m
Let s(w) = 11*w**3 - 14*w**2 - 15*w + 105. Let a be s(-7). Is a less than -4249?
False
Let v be 18/(-42) + (-2510)/105. Let a = v - -371/15. Which is greater: a or -37/3?
a
Let k = -59 + 58.928. Let l = k + -0.228. Let f = l - 7.7. Which is bigger: f or -0.05?
-0.05
Let v = -44 - -45. Let j(o) = 19*o - v - 5 + 4. Let p be j(-1). Which is bigger: p or 0?
0
Let p be -5 + (14 - 7) - -662 - (-3 - 0). Is p > 1333/2?
True
Let t be -1*(-2 - (-3 + 8)). Suppose -5*l = 2*r - t*r - 5, -2 = 2*l. Is -2 less than or equal to r?
True
Let k(b) = 111*b**2 - 1109*b - 11. Let c be k(10). Which is greater: c or -414/269?
c
Let v be 3458/(-63) - (-6)/27. Let h = -55 - v. Let p = -9/22 + 199/594. Is h at least as big as p?
False
Let i = 22861 + -23513. Which is greater: -4 or i?
-4
Let h be 3 - 6 - 1*4. Let b(w) = -2*w + 4. Let u be b(h). Let a be 62/34 + u/(-9). Is a <= 1?
True
Let n(r) be the second derivative of -r**4/6 - 55*r**3/6 - 9*r**2 - 2*r - 50. Let f be n(-27). Which is greater: 11 or f?
11
Suppose 3*q + 4*c = 48 + 130, -3*q = 3*c - 174. Let b be (-15)/q - 1/(-3)*1. Is b bigger than 1?
False
Suppose 0 = -8*y + 7*y - 5. Let a be y + 8 + -2 + 1. Let n be (-250)/20 + a/(-4). Is -12 < n?
False
Let p(k) = 7*k - 27 + 0*k - 8 + 5*k - k**2. Let i be p(6). Which is smaller: -11/37 or i?
-11/37
Let r = -353481049/501 + 705551. Let b = 2 - 1. Is b at least r?
True
Let a(u) = -u**3 - 16*u**2 + 7*u + 14. Let t be a(-16). Which is bigger: t or -1080/11?
t
Let k = -1/79 + -71/632. Let m = 19679 - 19708. Is k > m?
True
Let p(x) = 24*x + 4. Let f be p(-1). Let a = 25 + f. Suppose 0 = 3*t + 4*r - a, 0 = t + t + 3*r - 4. Is t less than or equal to -3?
False
Let s(d) = -d**3 + 25*d**2 + 54*d + 21. Let y be s(27). Let b = -191/9 + y. Is -0.031 greater than b?
True
Suppose 0*o + 189 = -o - 3*b, 189 = -o - 4*b. Let z = 189 + o. Let w be 4/30 - (-73)/(-210). Do z and w have different values?
True
Let n(u) = -2*u**3 - 30*u**2 - 3*u - 37. Let t be n(-15). Is -0.09 not equal to t?
True
Let z = 998 + -6984/7. Is -0.27 bigger than z?
False
Suppose -5*l - 70 = -5*v, 0 = 5*v - 3*l - 29 - 31. Suppose -3*n - 2603 = -398. Let r be v/15 - 1 - n/25. Does r = 28?
False
Let a(m) = -2*m**3 + 3*m**2 - 4. Let z be a(2). Let n = -4 - 0. Let w = n + z. Which is greater: -10 or w?
-10
Suppose 724 = -30*z + 694. Which is bigger: z or -1/9625?
-1/9625
Let i = 20730 - 19526. Which is smaller: i or -6?
-6
Let x(l) = -l - 4. Let y be x(2). Let n be -4 - 420/(y/2). Is n greater than 135?
True
Suppose -451 = -z + 5*j - 58, -2*j = 5*z - 1965. Which is bigger: z or 1/2?
z
Suppose -10*h + 16962 = -16438. Which is smaller: h or 3341?
h
Let w = 72 - -45. Let k = w + -191. Let b = k + 65. Which is greater: 1 or b?
1
Suppose -3*t + 7349 = -2*b, 0 = -b - 102*t + 107*t - 3650. Which is bigger: -3684 or b?
-3684
Suppose 25*z = -1070 - 1106 + 526. Which is greater: -30 or z?
-30
Suppose 34 = 10*d - 346. Suppose -5*v + 6303 = -d*v. Which is smaller: v or -189?
v
Suppose 2*q + q - 15 = -3*v, -10 = -2*v. Let c be 0 - ((-8)/12 + 326/453). Let x = 1031/16610 + c. Is x != q?
True
Let s = 40503/76 - 4212/19. Let u = -313 + s. Which is bigger: -1 or u?
-1
Let p = 23/3 - 10. Let f = p - -5/6. Which is bigger: 0.1 or f?
0.1
Suppose -16*t + 14*t = -60. Let k = 115 - t. Suppose -14*d + 9*d - k = 0. Is d equal to -15?
False
Suppose -2*g - 2*g = 188. Let f(o) = 15*o**2 - 18*o. Let q be f(1). Is q equal to g?
False
Let u = 16401/8 + -20443/10. Which is smaller: 6 or u?
u
Let v = 19349697/53431 + -6/7633. Which is smaller: v or 362?
362
Suppose 2*r - 4*c - 7 = -5*c, -3*c = -5*r - 10. Let x(o) = -2*o**3 + o**2 - o. Let h be x(r). Let m be (2*3/h)/(2/12). Are m and -18 unequal?
False
Suppose -5946 = -25*q + 19*q. Suppose 5*p - q = -371. W