s v at most 340?
True
Let d(x) = -1948*x**2 - 1. Let l be d(1). Let j = 9674/5 + l. Let t = 76 + -89. Is t bigger than j?
True
Let l = 438 + -750. Let y = 288 + l. Which is bigger: -9 or y?
-9
Let a(s) = -23*s**2 + 69*s. Let u(b) = -2*b**2 - 65*b - 29. Let z be u(-32). Let p be a(z). Are 14 and p unequal?
True
Let i = 137 - 100. Let y = 37 - i. Let x = -66 + 598/9. Do y and x have the same value?
False
Suppose -a - 2*a + 578 - 113 = 0. Which is smaller: 1229/8 or a?
1229/8
Let d = -10 - -6. Let w = -19 - d. Let b(z) = z**2 - 17*z - 2. Let o be b(17). Which is greater: o or w?
o
Let d = 564/5 + -75561/670. Are -1 and d non-equal?
True
Let u be (14/6 + -2)*15. Suppose -u*b - 6 = b. Let p be (0 + b)/((-438)/(-12)). Are 0 and p equal?
False
Let u = 721 + -736. Let y be ((-52)/(-65))/((-14034)/u). Is -1 at most y?
True
Let m(j) = -2*j**3 + 60*j**2 - 57*j - 431. Let z be m(31). Which is smaller: -4121 or z?
-4121
Let n = 133663/18 + -14851/2. Let v = 145/84 - 11/6. Which is greater: v or n?
n
Suppose -r + 3*r = 2. Let m be (-1*17)/(11/(-209)). Let t = -4197/13 + m. Do t and r have the same value?
False
Suppose -l - 11 = 3*o, -2 = -l + 2*o + 7. Let c be (-9 + (-1710)/(-200))*(-8)/66. Are l and c nonequal?
True
Let f be (3400/(-4250))/((-11)/(-5)). Are -1606 and f nonequal?
True
Let g = -52 - -51.58. Let b = 0.98 - g. Let h = 2.21 + -2.21. Is b at most h?
False
Let g be 100/(-24) - (-4)/24. Let x = 16 + g. Let m be (x/(-10) + 2)/((-16)/40). Which is greater: m or -11?
m
Let h(z) = -z**2 - 6*z - 6. Let a be h(-3). Suppose 0*x = 2*k + a*x - 8, -5*x = -k - 9. Let q be 1/(0/1 - k). Which is smaller: 2/29 or q?
q
Let t(g) = g**2 - 27*g + 174. Let v be t(15). Let b be 0*v/(-48)*-2. Is 10/23 less than b?
False
Let k(a) = 600*a + 7800. Let w be k(-13). Which is bigger: w or -11746?
w
Let t be ((-78)/13)/((-18)/192). Which is smaller: 0.09 or t?
0.09
Let h(a) = -11*a**3 - 23*a**2 + 19*a + 1. Let b(i) = 5*i**3 + 12*i**2 - 11*i - 1. Let w(z) = -7*b(z) - 3*h(z). Let x be w(-9). Which is bigger: 66 or x?
x
Suppose -4*x = -4*a, -4*a + x - 2 = -4*x. Let n be (0 - 2697/(-504)) + (-39)/13. Let q = -1/56 + n. Which is smaller: q or a?
a
Let j(z) = 13*z + 36. Let p(k) = 14*k + 36. Let l(q) = -5*j(q) + 4*p(q). Let n be l(-7). Let h = 107/4 - n. Which is greater: 52 or h?
52
Let v = -1011/2879 + 26794217/71975. Let o = -372 + v. Let h be (4/6)/((-10)/(-15)). Which is smaller: o or h?
o
Suppose -5*c + 2*c - 3*r = 48, 0 = -4*c - 5*r - 67. Let q be (5/((-5)/(-6)))/(c/(-26)). Which is smaller: q or -6/11?
-6/11
Let m = -8440 - -8284. Which is greater: m or -2?
-2
Let q be -1 + (-2 - 27/1). Let d = 59/2 + q. Let a = 16.6 - 16.7. Is a smaller than d?
False
Let w be 1732*1/4 + 6/1. Are w and 437 unequal?
True
Let d be 1/(-9) + (-1986)/(-378). Let l(j) = -3*j + 6. Let s be l(4). Let r be s/(-27) - (-43)/9. Is d >= r?
True
Suppose 11*t - 13*t = -21*t + 10545. Which is smaller: t or 2771/5?
2771/5
Suppose 8*a + 363 + 105 = -44*a. Which is bigger: a or 93?
93
Let l = -8236 + 24428/3. Let z(s) = -95*s**2 - 49*s + 50. Let a be z(1). Let f = a - l. Is 34 smaller than f?
False
Suppose -9 = 7*v - 16. Let l be -1 + 158 + (v/(-1) - 0). Which is greater: l or 155?
l
Let h be 459/(-12)*(3 + 5). Let j = -310 - h. Is j less than -27/7?
True
Let l = 24.139 - 24.2. Which is greater: l or -1/4?
l
Let a = -107 - -168. Suppose -s + 3*l = 11, -6*s - 2*l - 241 = -235. Which is greater: s or a?
a
Let z = 25065 + -25064. Is -8/501 equal to z?
False
Let j = -904.2 + 904.4. Which is smaller: -1.333 or j?
-1.333
Suppose 2*y + 4*b = 46, 2*b = -y - 4*y + 123. Let c be (y/(-3))/(834/(-44)). Let d = c + 2/417. Is 0 smaller than d?
True
Let m = -0.0027 + 1799.0027. Is m < 1?
False
Let g = 3.3369 - 1.4269. Is g less than -0.8?
False
Let h = 19/56 - 239/728. Which is greater: -1 or h?
h
Let t = 168 + -71. Let b = 103 - t. Let l = 14 - 14. Is l at most b?
True
Suppose 0 = 6*s - 590 - 52. Let g = s + -106. Which is smaller: g or -2/21?
-2/21
Let w be ((-892)/8)/(-10 - (-1209)/26). Is w less than or equal to -2?
True
Let i(d) = -52*d + 1560. Let l be i(30). Which is greater: 4/1777 or l?
4/1777
Let a be (-3 - 6)/(-3) - 4. Let d be 3136/(-392) - (-748)/94. Is a <= d?
True
Let h = -1281 - -768. Let p = h - -1547/3. Is 2 greater than p?
False
Let s = -527 - -596. Suppose 0 = -77*c + 74*c + s. Which is smaller: 29 or c?
c
Let j be 2 - (-6)/(-8)*4. Let c = -9912 + 79285/8. Which is bigger: j or c?
j
Suppose 2*y = -0*y + 36. Let i be 8/138*y/4. Let l = -5486 - -5487. Are l and i equal?
False
Let k be ((-1614)/2152)/(2/(8/15)). Which is smaller: k or 67?
k
Suppose 3*q + 3 = 4*q. Let n be q/6*-2 + -1. Let t be (-86)/56 - (-4)/16*1. Is n != t?
True
Suppose 0 = 2*r - 3*p, 6*r - 4*r - p = 4. Suppose 4*m + 3*u - 332 = -906, 4*m - r*u + 586 = 0. Is -0.2 at most as big as m?
False
Let j(w) = 2*w**2 + 31*w - 192. Let i be j(5). Do 570/41 and i have the same value?
False
Let d = 2789659/8562741 - 270/829. Which is bigger: -1 or d?
d
Let b = 40.45 - 40.55. Let f = 0.7 + 2. Which is greater: b or f?
f
Let b(x) = x**2 - x - 31. Let k be b(8). Let r be 165/k - (13 + -6). Is -31/6 less than r?
True
Let s = -67.06 + 1.06. Let j = s + 66.8. Let y = 12 + -12.1. Is y at least j?
False
Let r be (-8194)/(-187) - (-6)/33. Suppose -2*u = -4*u - 4*p + r, 4*u = -4*p + 100. Which is bigger: u or 27?
u
Let z(g) = 92*g + 1373. Let i be z(-15). Which is greater: -121/21 or i?
-121/21
Let j(c) = c**3 - 34*c**2 + 168*c - 45. Let v be j(28). Suppose -4*r + 0*z - z = 183, 0 = 4*r + 2*z + 186. Are v and r non-equal?
False
Suppose -83 = -5*s - t, -4*t - 22 = -s - 6*t. Suppose 13*o + s*o = -58. Which is smaller: o or -3/13?
o
Let n(t) = t + 5. Let k be n(-6). Let f = 41965/8038848 - 1/83738. Is k at least as big as f?
False
Let l = 101/2 - 51. Let u = 0.85 - 0.6. Let g = -0.85 - u. Which is smaller: g or l?
g
Suppose 6 = 3*i - 15. Suppose -20 = -3*z + i. Let r = -8 + z. Which is smaller: r or 6/11?
6/11
Suppose -45*o + 46*o = 0. Let d be 7*(-1)/(-3 + o + 56). Let h = d + -771/583. Is 0 at least h?
True
Suppose j + 75 = 5*l, l = 3*j + 3 - 2. Suppose 4*q - l = -24. Are 1/56 and q equal?
False
Let t(h) = -h**3 - 2*h**2 - h + 114. Let d be t(0). Suppose 30 = -7*j + d. Suppose -21 = j*o + 3. Is o < -1?
True
Suppose 2*f = 3*r + 23, -3*r = -4*f - 8*r + 35. Let v = -135/17 + 983/51. Which is greater: v or f?
v
Let f be (-32)/(-24)*213/(-52). Which is bigger: -6 or f?
f
Let k be (-5 + 81/18)*-4 + -744. Is -741 less than k?
False
Let y(t) = t**2 - 144*t + 1570. Let u be y(99). Which is smaller: u or -2?
u
Let d = 103.82 - -17.08. Let g = 121 - d. Is g < 42/5?
True
Let j(u) = -u**2 - 12*u - 6. Let x be j(-11). Suppose 0 = -0*o - o - 5*d - 123, 73 = -o + x*d. Let p be (-162)/(-70) - (-7)/o*-4. Which is bigger: p or 4?
4
Let w = -14 - -19. Let g(d) = -d**2 + 25. Let u be g(w). Which is smaller: 49 or u?
u
Suppose -7*v = -13*v - 504. Let a be 2/8 - 539/v. Let o = 45 + -39. Is a < o?
False
Suppose -16*w - 72 = -10*w. Let d(k) = k + 15. Let a be d(w). Suppose 3*u + a*u = 6. Which is smaller: -2/31 or u?
-2/31
Let l be (-8)/605*705/94. Let y = 611 + -610. Are y and l non-equal?
True
Let r = 22261 - 24375799/1095. Which is smaller: 1 or r?
r
Let m be 54/189 + (-306)/42. Suppose 3*f - 5*f + 34 = 0. Let o = f + m. Which is bigger: o or 3?
o
Let s(c) = 5*c**3 + 59*c**2 - 10*c + 8. Let p be s(-12). Let d be (p - -17) + 2 + -3. Let a = -7/2 - -41/10. Is a smaller than d?
False
Let d = 0.01571 - -1461.98429. Is 1 bigger than d?
False
Let i be (-6)/(-26)*(-4)/6. Let h be ((-6)/(-5))/(1/(-335)). Let l = h + 805/2. Which is smaller: l or i?
i
Let h = -32859815/95921 + 3/13703. Let l = h + 11493/35. Is -13 less than l?
False
Suppose 2*i - h + 10 = -6*h, -5*h = 4*i. Let b(z) = -3*z + 3*z - 2 - i*z - 1. Let u be b(-3). Is 7 >= u?
False
Let s(f) = -f - 12. Let o be s(-10). Let l be (3 - 0) + (-5)/((-75)/4848). Let c = l + -328. Which is bigger: o or c?
c
Let w(j) = -2*j - 13. Let q(n) be the second derivative of n**3/6 + 13*n**2/2 - 14*n. Let s(m) = -3*q(m) - 2*w(m). Let h be s(6). Which is smaller: h or -9?
-9
Let o = -1.0149 + 1.1149. Which is smaller: o or -7535?
-7535
Let y = -52 + 43. Let j be 12/(-18) - (-39)/y. Let g(z) = z**2 + 6*z + 7. Let d be g(j). Which is bigger: d or 