(-9)*0 - 8. Let n(x) = -x**3 - 8*x**2 - 2*x - 4. Let h be n(r). Is h greater than c?
False
Let j(h) = h**2 - 39*h - 290. Let c be j(-14). Which is smaller: -3/2 or c?
-3/2
Let h be -2 + 1 + (-17)/(-16). Let f = h + -11/48. Let i be -2*2 - (12 + 0)/(-4). Is f != i?
True
Suppose 5*p - 6*s + 38 = -2*s, -p = -5*s + 16. Let g be 0/((-4)/(-4)*-1 + 3). Is g <= p?
False
Suppose 213 = -5*j + 5*c - 6*c, -51 = j + 3*c. Do j and -38 have the same value?
False
Let h be 1/2 + 99/(-18). Let g(z) = -z - 5. Let y be g(h). Let s be (-185)/(-60) + y + -3. Is 1 bigger than s?
True
Let u = 22 - 10. Suppose -2*m = -0*m. Which is smaller: m or u?
m
Suppose -5*c + 25 = -4*m, -6 + 0 = 2*c. Let r = m - -9. Let y be (-7 + (-10)/(-2))/(-18). Are y and r non-equal?
True
Let d = 203 - 454. Let w be d/(-4) - (-2 + (-44)/(-16)). Is 61 bigger than w?
False
Let h = -13.3 - -1.3. Let g = -10 - h. Is g > -9?
True
Let w be (-3)/(3/2) + -3 + 7. Let l be (-1)/1*(0 - 0). Let f be (l + (-1)/w)/(-10). Is 0 greater than or equal to f?
False
Let x(u) = 2*u**2 + 6*u + 3. Let s be x(-4). Let r be 80/(-120) - (-35)/3. Is r at most as big as s?
True
Let r = 448 + -631. Which is smaller: r or -182?
r
Let c(p) = -p**3 + 8*p**2 + 6*p + 18. Let n be c(9). Let s be (n/(-138) + 0)*(-4)/(-6). Which is smaller: -1 or s?
-1
Let h = 153.95 + -154. Let w = 1 + 1. Suppose 4*d - 2 = w*u, -4*d - 5*u = -0*u - 23. Which is smaller: h or d?
h
Let i be (11/10*-8)/((-46)/115). Which is smaller: i or 21?
21
Suppose 4611 + 2747 = -13*x. Is -565 >= x?
True
Let o(i) = -2*i. Let u be o(-7). Suppose 20*v = -11 + 231. Let q = v - u. Is 0.8 not equal to q?
True
Let o = 5.6 - 6.1. Which is greater: o or -1.5?
o
Suppose -4*d = -2*d - 4. Let p be d/6 + (-385)/(-33). Let c = p + 8. Are c and 19 nonequal?
True
Suppose -5*x - 33*i - 16 = -29*i, 3*i = -4*x - 12. Which is smaller: x or 1/377?
x
Let w = 277 + -296. Are -7 and w nonequal?
True
Let x = -0.1572 + 8.1572. Is 6 less than x?
True
Suppose 0 = 2*g + 3*u, 7*u - 2*u = -g. Suppose -4*h + 4 = g, 4*j - 4*h = -5 + 17. Let w(p) = p**3 - 7*p**2 + 13*p - 88. Let c be w(7). Which is smaller: j or c?
c
Suppose 3*r = -y - 4*y + 79, 0 = y - 5. Suppose -2*f + r = -11*f. Let m be -2 + 6 + (-5 - f). Which is smaller: m or -1/16?
-1/16
Suppose 5*w - 5*i = -4 - 1, -13 = w + 2*i. Let n(d) = -d + 5. Let a be n(w). Is 1 bigger than a?
False
Let x be (-115)/35 - -2 - -1. Let y(f) = f**2 + 4*f - 2. Let c be y(-5). Suppose 6*b - 12 = -2*g + b, -4 = 2*g - c*b. Is g at most as big as x?
False
Suppose -2*y = -5*y + 54. Suppose -62 + y = 2*p. Let c = p - -20. Which is bigger: c or -8?
c
Let s = -413/4847 - -4/37. Do s and 0 have the same value?
False
Let m(i) = i**2 - 6*i + 3. Let c be m(3). Let w(d) = -d**3 - 5*d**2 + 5*d + 8. Let v be w(-6). Let z = c + v. Which is smaller: 0.1 or z?
0.1
Let s = 231/20 + -213/20. Let z be 0 + (1 - 1)/(-2). Is z not equal to s?
True
Let p = 310 - 321. Is -9 > p?
True
Let z(l) = -l**3 - 2*l**2 + 3. Let h be z(0). Suppose -n - 2*t = -0*t, -4*t = -h*n + 40. Which is smaller: 7 or n?
7
Let z = -80 + 238/3. Let i = -5 - -5.15. Let j = i - -5.85. Is j not equal to z?
True
Let c be (-4)/(-18) - (-18848)/(-279). Is c equal to -67?
False
Let l be 26 + -33 - 41/(-1). Which is bigger: l or 38?
38
Let m be ((-4)/(6 - 7))/1. Which is greater: m or 17/4?
17/4
Suppose 17 = -2*w - 9. Let f = w + 12. Let q = 176/63 - 26/9. Is q <= f?
False
Suppose 5*n + 44 = -36. Let s = 20 + n. Suppose -2 = -3*a + s*a. Is -2 at most as big as a?
True
Let i(p) = 4*p + 2. Let b be i(-2). Let s be (-4)/b*-3 + -3. Let v be (4/25)/(s/(-50)). Are v and 2 equal?
False
Let v = -25733/49 + 525. Let w = v + 268/441. Let x = 2.1 + -2. Which is smaller: x or w?
x
Let k = -6 + 2. Let s = -782 - -778. Is s equal to k?
True
Suppose -2*n = 3*m - 127 - 12, 5*m = -3*n + 211. Which is smaller: 63 or n?
n
Suppose -4*d = -d - 5*h + 8, 3*h = 4*d - 4. Let n be (-24)/(-18)*(-6)/d. Let g be ((-1)/4)/(n/8). Which is smaller: g or 1/2?
1/2
Let h(c) = -c**2 - 6*c + 5. Suppose b + 0*b + 5 = 0. Let v be h(b). Let n = -62 + 72. Is v less than n?
False
Suppose 9*z = -6*z + 135. Which is bigger: 5 or z?
z
Suppose 5*o = -3*h + 13, 4*h + 4*o = -0*o + 4. Let z(u) = -u**2 + 8*u + 7. Let s be z(8). Let y = h + s. Which is greater: y or 5/3?
y
Suppose 20*i = 336 - 76. Is 17 at least i?
True
Let w = 929.9 - 930. Which is bigger: 94 or w?
94
Let f = -178 - -26. Which is greater: -151 or f?
-151
Let g(q) = 0*q**2 + 3*q + 9*q**3 + 2*q**2 + 4 - 10*q**3. Let v be g(3). Which is bigger: 8 or v?
8
Suppose 0 = 2*g + 2*g - 20. Let c(f) = -3*f**2 - 7*f - 23. Let a(m) = 4*m**2 + 8*m + 24. Let b(p) = -4*a(p) - 5*c(p). Let q be b(g). Which is smaller: 8 or q?
8
Let d be ((-6)/(-9))/(334/165 + -2). Let s = d + -36. Is -10 not equal to s?
True
Let u be (2/(-3))/(1/(-21)). Let d(g) = -10*g**2 + g - 2. Let r be d(1). Let q = u + r. Are 4 and q non-equal?
True
Let l(o) = -o - 11. Suppose -22 - 34 = 4*u. Let a be l(u). Suppose -6*w = -a*w. Are 1/2 and w unequal?
True
Let v = -4/139 - -155/556. Which is greater: -0.71 or v?
v
Let z = -21 - -20.9. Is 0.003 equal to z?
False
Let u(h) = 118*h - 135. Let o be u(1). Which is smaller: o or -19?
-19
Let u = -1046 + 962. Is -90 less than or equal to u?
True
Let a = -361.856 + 383.6. Let z = 0.356 + a. Let y = 22 - z. Which is smaller: y or -2/9?
-2/9
Let n(o) = 15*o**2 + 10*o + 24. Let k be n(-11). Let f = k + -205750/119. Which is greater: -1 or f?
f
Suppose 25 = -5*y, 2471 = -5*i + 4*y - 1039. Is -705 at most i?
False
Let l = 35 - 32.6. Let s(r) = r**3 - 2*r**2 - 2*r. Let n be s(0). Which is greater: n or l?
l
Let h = 286 + -2566/9. Let r be 32/14 - (-2)/(-7). Is h less than r?
True
Let r(d) = -47*d + 42. Let q be r(2). Is -50 at least as big as q?
True
Suppose 8 = -11*n + 3*n. Which is bigger: n or -3/224?
-3/224
Let u be -11 - -11 - (4 + -1). Let j be 1/u - (-2)/(-3). Is j equal to 3/8?
False
Let q be (-420)/(-45)*3660/35. Is q < 975?
False
Let z = -0.15 - -1.35. Let h = z + -6.2. Let o = -1509 - -1511. Is o at most as big as h?
False
Let o = 138288/13 - 10636. Suppose -4*v + 1 + 3 = 0. Which is smaller: v or o?
v
Suppose 3*v + v + 4*c = -16, -1 = -2*v + c. Is v equal to -2/75?
False
Let r be 60*((-82)/(-88) - 2/11). Is r smaller than 45?
False
Let o = -19.88 - -20. Let r = o - 0.12. Which is smaller: -14 or r?
-14
Let f be 7732/36 - -1 - (-4 - -3). Let w = f - 218. Which is bigger: w or -2?
w
Let l = -2/9 + 8/9. Let y = 42 + -52. Which is bigger: y or l?
l
Let f = 0 + -5. Let y be (-25)/(-20)*(-34)/f. Which is bigger: 9 or y?
9
Let s = 0.0578 - -26.9422. Is 6 at most s?
True
Let u = -688 + 6304/9. Which is smaller: u or 12?
12
Let p = -17 - -14. Let k(o) = 6*o + 8. Let x be k(p). Which is bigger: -9 or x?
-9
Let g = 252 + -253. Which is bigger: g or 3/10?
3/10
Let m be (1104/54)/23*(-3)/4. Are m and -18 unequal?
True
Let l be 1 + 9/(-15) - 528/(-280). Which is greater: 1 or l?
l
Let t be (3 + 19/(-4))*180/(-378). Which is greater: t or 21?
21
Let l = 8.84 - -90.16. Which is smaller: -1 or l?
-1
Let m = 49 - 35. Suppose -2*d = 3*d. Suppose 4*p - i - 1 = d, -3*p - 3*i = -4*p + m. Are -1/4 and p equal?
False
Let h = -18.557 + -0.143. Let o = h - 0.3. Which is greater: -0.1 or o?
-0.1
Let r = 77.8 + -72.8. Which is smaller: r or -2/101?
-2/101
Let j(t) = -2*t**2 + 4*t + 1. Suppose -8 + 4 = -i. Let n be j(i). Suppose 3*o = 4*h - 57, -2*h = -3*h + 3. Is n less than or equal to o?
True
Let a = 972.03 + -982. Let b = 10 + a. Is -2/7 not equal to b?
True
Suppose 5*l + 26 = 91. Suppose g + 4*d = -l, -2*g - 10*d - 51 = -7*d. Which is smaller: -0.1 or g?
g
Suppose 2*v = -0*v + 6. Suppose 2*f - 2 = -g, -20 = -8*g + v*g. Which is smaller: f or -1/21?
f
Let c(x) = -x**3 + x**2 + 8*x - 4. Let i be c(3). Suppose -1053 = 5*y - i*z, 4*y + 2*z + 564 = -264. Let q = y - -3555/17. Do q and -1 have different values?
True
Let i be (-4)/(-1) - (-6 - 1589/(-161)). Which is smaller: i or -1/2?
-1/2
Let c(j) = -j**3 - 4*j**2 + 3*j + 2. Let a be c(-3). Which is greater: 29 or a?
29
Suppose 5 = y + 2, -3*o + 4*y = -96. Let l be (o/20)/(3 - 285/100). Is l less than 37/3?
True
Let w = -27.36 - -27. Let k = w + 0.16. Which is bigger: k or 0.05?
0.05
Let q = 7/750202 + 60178578705/3000808. Let x = -20101 + q. Let t = 47 + x. Which i