 of -17*x**4/24 + 14*x**3 + 117*x**2. Let v be f(5). Which is greater: 3/62 or v?
3/62
Let m = -230 - -229.93. Let d = 61 - 60. Is m <= d?
True
Suppose -y + 5 = -52*m + 51*m, 5*y - 5 = 0. Let v be (31/(-3))/((-8)/(-3)). Which is smaller: v or m?
m
Let m = 11.93 + 0.07. Suppose -8*u = -0*u - 24. Suppose -u*n + 3 = -3. Is n less than or equal to m?
True
Let d be (4/(-6))/(420/69300). Which is smaller: d or -97?
d
Let l be -25 - 5*(-6409)/145. Suppose u - 78 - 118 = 0. Is l smaller than u?
False
Let g(l) = l**2 + 8*l - 26. Let i be g(-11). Suppose -i = h + 17. Let k = h - -33. Is 8 not equal to k?
True
Let a(x) = -x**3 - 34*x**2 + 48*x + 12. Let r be a(-35). Do 1/3 and r have the same value?
False
Suppose -2*u + 325 - 319 = 0, -4*v = -3*u - 67. Which is smaller: v or 15?
15
Let s be 98/2 - (2 - 1). Suppose -81*x + 143*x = 16*x + 2300. Which is smaller: x or s?
s
Let r = -38702 - -194488/5. Let w = 192 - r. Suppose 0 = 3*o + 17 - 5. Is o at least as big as w?
False
Let o be 2/(-6)*-1*3. Let y be 72/(-30) - (-4)/10. Let q be 2/(y - 0) - (12 - 16). Which is smaller: o or q?
o
Let q = -10084.38 + 10227. Let j = 0.38 + q. Which is bigger: 2/5 or j?
j
Suppose -3*t + 6*t = -69. Let p be t/(-3) + (-16)/24. Let s(c) = -2*c + 11. Let u be s(p). Is u less than -4/7?
True
Let r be 1*(-72)/15*(-110)/33. Let j be (-387)/((-18)/r - (-3)/24). Is 388 greater than or equal to j?
True
Suppose 4*y + 3*n - 52 = 4*n, 34 = y + 5*n. Suppose 2*b + 5*p = -13, 0*p - 3*p = -5*b + y. Let f = 206603/3 + -68867. Which is smaller: b or f?
f
Let s(q) = -3*q**2 + 16*q - 307. Let y be s(22). Is y >= -1407?
True
Suppose -m - m - 24 = 5*u, 2*u + 2 = 3*m. Let y be (66/(-55))/(m/(-545)). Let d = -10793/33 - y. Is 0 smaller than d?
False
Suppose 0 = -5*a - 5*z + 10*z + 140, -3*a - 5*z + 52 = 0. Let j be (9 + 2)*(112/a)/(-7). Is j at least as big as -0.2?
False
Suppose 95*h - 92*h = -141. Which is bigger: h or -335/7?
h
Suppose 768*w = 280*w - 2928. Which is smaller: w or 613?
w
Let g = -63581/15 - -4231. Let a be (1633/355)/(3/(-5)). Let s = a - g. Is 1 != s?
True
Let o = 11/78 - 569/5694. Are o and 10 equal?
False
Let j be -35 - -36 - 763/769. Which is smaller: 0 or j?
0
Suppose 0*y = -2*y - 4*c + 22, 4*y - 3*c - 22 = 0. Let p(k) = -k**2 + 6*k + 16. Let o be p(8). Suppose a - 1 - 3 = -3*v, -2*a + 4*v + 8 = o. Is y bigger than a?
True
Suppose 2*g + 0*a = -4*a + 16, 0 = g + 3*a - 11. Suppose 3*s - 6*s = -12. Does s = g?
False
Suppose -15*n + 112 = -8*n. Suppose 6 = k + i - 3, 4*i = n. Suppose 4 = 3*a - w, -9*a + k*a - w - 4 = 0. Is 3/38 at most as big as a?
False
Let c = -260401/56610 + -1/11322. Are -2/11 and c unequal?
True
Let s(l) = 2*l**3 - 9*l**2 + 8*l - 21. Let i be s(6). Suppose -p - 2*v - i = 0, 3*p - 3*v - 2*v = -350. Is p at most -127?
False
Let a be -13 + (-2080)/2064*-9. Is a equal to -5?
False
Let n = 4 + 14. Let k = -815 + 814.651. Let b = 0.149 + k. Which is bigger: b or n?
n
Let l = 136/35 - 18/5. Let g = 194 + -232. Let c be ((-162)/6)/(-9) + g/6. Which is smaller: c or l?
c
Suppose -7*x + 189 = 343. Let i be 1*(75/(-7) + (-6)/21). Are i and x nonequal?
True
Suppose k + 10718 = g, -k = 4*g + 13687 - 56564. Let w = 106509/10 - g. Let h = w + 68. Is -1 != h?
True
Let m(t) = 4*t**3 - 12*t**2 + 5*t - 8. Let v be m(3). Is 175 not equal to v?
True
Let t = -6229 - -1102535/177. Is -1 >= t?
False
Let c(h) = -4*h + 13. Let x be c(3). Let s be ((-1)/x)/(1*8/(-120)). Suppose y - 52 = 2*a, -3*a - 53 - s = -4*y. Are a and -28 non-equal?
False
Let c = -307 - -314. Let a be (-3)/12 + ((-756)/32)/c. Is a < -3?
True
Let r = 18894 + -207489/11. Is r equal to 31?
False
Let x(n) = n**2 + n - 1. Let v(a) = 3*a**2 + 16*a - 5. Let z(m) = -v(m) + 4*x(m). Let f be z(12). Let l be 0/(-2) + (-9)/162. Is f at least as big as l?
True
Let c = 0 + 3. Let n(z) = z - 17 + 16 - c. Let r be n(3). Which is smaller: r or -4/35?
r
Suppose 12*x = 13*x. Suppose -3*p + 5 = 5*z - 0*z, -2*p + 5*z + 45 = x. Suppose -9 - p = -l. Which is greater: l or 17?
l
Let g(l) = 327*l**2 + 2*l + 1. Let d be g(1). Let r = d - 479. Which is smaller: r or -150?
-150
Let r be 4*4*(2 + 28/(-16)). Let u(i) = 9*i - 39. Let m be u(r). Is m < 1?
True
Let p(m) = m**2 - 12*m + 7. Suppose -1 = -v - 2*l - 0, 0 = 5*l + 10. Let d be p(v). Let r be 4/((4/30)/(d/35)). Is -22 <= r?
False
Let n be ((-96)/(-224))/(13/(-7) - -2). Suppose c = 5*q + 271, -5*q + n*q + 3*c = 98. Is -55 less than q?
False
Suppose -w + 46 = -3*f + 214, 0 = 4*w + 2*f + 490. Let h = -155 + 27. Are w and h nonequal?
True
Let y be (6 + 273/(-98))*(24/25)/6. Let h be 15/6 - (-1)/(-2). Is h greater than or equal to y?
True
Let l = 3.76 + -3.8114. Let g = 0.1514 + l. Which is smaller: g or -6.9?
-6.9
Let k = -2/78157 - 133492118/1484983. Let g = k + 90. Which is bigger: g or -0.4?
g
Let r = -2 + 7. Let j be 0 + (-16)/4 + (-26)/(-6). Is r bigger than j?
True
Let f = 11390 + -11388. Is f < -50/21?
False
Suppose -3*d - 97 = h + 912, 3*h = -d - 3067. Does -1029 = h?
False
Let w be (-116)/(-87)*36/(-168). Suppose -9 = -2*t + 3*t. Let y = 35/4 + t. Is w smaller than y?
True
Suppose 27*s + 1749 = 38*s. Let r be s/(-285) + ((-132)/(-20))/11. Which is bigger: -1 or r?
r
Let k = -38385/7 - -5499. Let f = k + -467/28. Let h(d) = 2*d**2 + 68*d - 2. Let l be h(-34). Which is smaller: f or l?
l
Let u = 224.2 + -208.2. Is 1/15 not equal to u?
True
Let x = -2597 + 2642. Do x and 44 have different values?
True
Let u be (-10)/(-30) - 38/(-3) - -1. Let g be -1 + 45/15 + u/(-8). Is 2.3 at least g?
True
Suppose 3*r - 9 = 0, -4*f - 3*r = 10 + 5. Let n = 120 - 106. Let j be n/6*(6 - (f - -4)). Is 18 greater than or equal to j?
False
Let b be 346/(-42) + 1/(-3) + -2. Suppose 18*m - 16*m - 22 = 0. Suppose 15*u = m*u - 48. Is u < b?
True
Let x = -503/38 - -1268215/95798. Is -1 at most as big as x?
True
Let p be -2*((-27)/2)/(-9). Let x be 145/(-140) + (p - 30/(-8)). Is -159 != x?
True
Let x = 0.019 - 4.919. Let n = -96.9 - x. Let c = -96 - n. Which is smaller: c or 1?
c
Let i = -150 - -30. Let b = i + 119.9. Which is greater: b or -1/3?
b
Let m be (-6)/248*(-13)/(-195)*35. Is m at most 1?
True
Suppose 0*o + 2 = o. Let h = -2531 - -2531. Which is smaller: o or h?
h
Let b(d) = d**2 - 9*d - 6. Suppose -6*c = -c - 40. Let o be b(c). Suppose 239 = -86*l - 793. Does l = o?
False
Let z(k) = -20*k - 232. Let w be z(-20). Is w > 166?
True
Let d = 1125 - 1313. Let g = 136 + -324. Is g > d?
False
Let x = -68.04 - -67.8. Which is smaller: x or 9/7?
x
Let i be -26 + 255 + (4 - -1) + -1. Suppose 0 = -6*q - 247 - i. Let j be (7 - q/(-12)) + (-40)/6. Which is bigger: j or -5?
-5
Let r be 1 + 1/(6 + -5). Suppose -r*j = 10, -3*c = 4*j + 19 - 2. Which is bigger: -29 or c?
c
Let l = -83.75 - -0.75. Let p = l + 82.9. Is p smaller than -13/14?
False
Let f = -4351.19 - -4344.19. Let m = 0.2 - 0.3. Let q = m + 0.2. Which is greater: f or q?
q
Suppose 2*k - 4*k = 3*b - 16, 3*k = 15. Let t be b/((-12)/586) + (-6)/18. Let r = t + 683/7. Which is bigger: 1 or r?
1
Let w(i) = 30*i**2 + 10*i + 66. Let v be w(-9). Suppose 1314 = -30*g - v. Does -123 = g?
False
Let z be (-127 - -129)*((0 - 3) + 0). Let f be 4/(-6) - 88/3. Let j be 2/z + 20/f. Is j smaller than -2/3?
True
Suppose -27*o = -29*o + 120*o - 4838. Let a be 0/2 + 6*1. Suppose t = 2*g + o, -a*g - 2 = -4*g. Is t != 40?
True
Let a be 0/(-1) - (-2 - -2). Let g be 12/(-46) + 8526/6762. Which is smaller: a or g?
a
Suppose -2*d + 59 = -5*y, -26 + 72 = 5*d + 2*y. Is 84 smaller than d?
False
Let d = -476 + 523. Let x = d + -49. Which is bigger: -89 or x?
x
Let i(k) = k**2 - 24*k + 17. Let f be i(24). Let t = 3923/7 + -544. Is t > f?
False
Let z = -2699 - -1300. Is -1399 at least as big as z?
True
Let z = -953/60 + 71/4. Suppose q - 2*k = 12, 13*q - 17*q + k = -13. Is q != z?
True
Let b = -37/23 + 6609/4094. Which is smaller: 1 or b?
b
Suppose 3*p = 4*p - 3. Suppose t = -2*a + a + 3, 3*a = -t + 5. Suppose -v - 3*s = 2*s - 3, v + t*s = 3. Is v at least as big as p?
True
Let q(n) = -n**2 + 124*n - 596. Let r be q(119). Which is bigger: r or -57/116?
-57/116
Let s = 530 + -535.25. Let z = s + 5.15. Is 0.073 smaller than z?
False
Let v be (13806/8)/(873/3492). Which is smaller: v or 6899?
6899
Let d(v) = -12*v - 136. Let q be d(-15). Let x = q - 566/13. Are x and 0 nonequal?
True