11 + 0. Let p(f) = -f**3 - 11*f**2 - f - 3. Let w be p(-11). Which is bigger: w or r?
r
Let y = 86.9 - 3.9. Let s = 128 - y. Is 1 less than s?
True
Suppose -6*n + 2*r + 29 - 15 = 0, 2*n + 4*r = 0. Do n and 196 have different values?
True
Let z(p) = p**3 - 5*p**2 + 5*p - 2. Let g be z(4). Let i be 7 + 1/(-1)*g. Let k = -239/2 + 120. Is k at least as big as i?
False
Suppose -5*q + 9 = -2*n - 8*q, 0 = 4*n + 3*q + 21. Let i = -3 + 0. Which is greater: i or n?
i
Let z(u) = 207*u**3 + u**2 - 1. Let s be z(1). Let c be (-2 + (-3)/(-1))*s/(-23). Let w(r) = -r - 14. Let k be w(-6). Is k != c?
True
Let h = 3.933 - 3.833. Let c be (0 + -3)*(1 - 2). Suppose -c*b + 6 = -5*b. Are b and h nonequal?
True
Let r(m) = -18*m - 41. Let q be r(0). Which is smaller: q or -42?
-42
Let p(g) = g**3 - 5*g**2 + g - 4. Let w be p(5). Let j = w - 1. Let m be (-15)/((-405)/6) - 34/72. Are m and j unequal?
True
Let f(i) = -i - 47. Let h be f(7). Is h equal to -55?
False
Let x = 378 + -1032. Let v = x - -682.7. Let z = v - -2.3. Is -1 > z?
False
Suppose 31*f - 36*f + 120 = 0. Is 29 smaller than f?
False
Let o = -177953/46250909 + -2/59833. Is o > 0?
False
Let g(h) = -h**3 + 2*h**2 + 4*h - 1. Let u be g(3). Let v(x) = -x**2 - 5*x + 1. Let l be v(-4). Let r be 4 + 1 - (l - 4). Which is bigger: u or r?
r
Let c = -54 + 36. Let z = -164/5 - -78/5. Is z at least c?
True
Let i be 4828/(-85) - (-2)/(-10). Is -5 < i?
False
Suppose 0*a - 14 = a. Suppose 8 = -24*q + 16*q. Let j be (6/48)/q - 222/16. Is a at most as big as j?
True
Let v = -0.27 + -1.73. Suppose -45*o = -51*o + 198. Which is smaller: o or v?
v
Suppose 32*p - 4 = 33*p. Let l be p*((-5)/30)/(26/(-90)). Is -1 <= l?
False
Let b be (6 + (-18)/12)*124/(-3). Which is greater: -187 or b?
b
Let n = -97 - -106. Which is smaller: n or 0.9?
0.9
Suppose -3*u = 4*r - 339, 0*r + 233 = 3*r - 2*u. Is r > 82?
False
Let r = -44 - -62. Suppose 23*l - r*l = -5. Which is smaller: l or -2/101?
l
Suppose -4*y = -8*y + 188. Let g = y - 50. Which is smaller: 1/4 or g?
g
Let q be -217 + (-12)/(-36) + (-4)/(-6). Let w be ((q/42)/(-9))/(6/7). Are w and -0.01 unequal?
True
Suppose 0*n = 5*n - 15. Let m be (n*8/(-12))/(-26). Let o(d) = d**2 + 4*d + 1. Let h be o(-4). Is m >= h?
False
Let n(k) = 3*k**2 - 5*k + 17 - 4*k**2 - 8*k. Let c be n(-15). Is -13 < c?
False
Suppose 4*l + 64 = 5*d - 7*d, 2*d - 4*l + 104 = 0. Which is bigger: d or -1/4?
-1/4
Suppose -12*h = -101 - 187. Suppose 0 = -h*m + 17*m + 7. Is 1/27 smaller than m?
True
Let p(s) = s**3 - s**2 - 2*s + 17. Suppose j + 2*k + 20 = 7*k, -4*j - 3*k + 12 = 0. Let t be p(j). Is t bigger than 17?
False
Let l = 661 - 220114/333. Is l equal to 1?
False
Let q = 9.8 - -3.2. Let k = 7.941 - -0.059. Let i = k - q. Which is smaller: i or 1?
i
Let d be (0 - -2)/4 + -1. Let o = -1.65 - 0.45. Which is smaller: o or d?
o
Let k = 11811 - 46573/4. Which is smaller: k or 169?
k
Let s be 15*(-12)/(-9) - 1. Suppose 3*p + 2*w - 3*w = -s, 4*p + 22 = 2*w. Which is bigger: p or -11?
p
Let n = -339 - -1015/3. Let h(r) be the third derivative of r**4/24 - r**3/2 + 2*r**2. Let d be h(0). Which is bigger: n or d?
n
Let u = -801/244 + 2/61. Let r(l) = l**2 - 6*l + 7. Let w be r(5). Suppose w + 4 = -3*n, -a - n = 6. Which is greater: u or a?
u
Let s(t) = 2*t**3 + 23*t**2 - 53*t - 18. Let g be s(-8). Is 0 >= g?
False
Let i(m) = -1. Let v(b) = 2*b**2 - 3*b - 2. Let y(c) = 3*i(c) - v(c). Let w be 18/8 - 2/8. Let r be y(w). Is r greater than or equal to -3?
True
Let n(t) = t**2 - 20*t + 42. Let f be n(17). Let j(w) = w + 12. Let g be j(f). Is g less than or equal to 4?
True
Suppose -t - 6 = 3. Let n(s) = s**2 + 9*s + 4. Let r be n(t). Suppose 4 = 4*k - r. Which is bigger: 4 or k?
4
Let p = -22 + 26. Let q be 4/2 - (-4 + 15). Let i = q + 13. Is i at most as big as p?
True
Let y be 2 + -1 - (-192)/(-189). Suppose 0 = -27*u - 74 + 101. Which is smaller: y or u?
y
Let q(s) = 1. Let r(o) = -6*o + 10. Let w(a) = 3*q(a) + r(a). Let j be w(7). Let v = 29 + j. Which is greater: v or -3/5?
v
Let l = -3702 - -14809/4. Let u = -0.6 + 8.6. Which is bigger: u or l?
u
Let l = 1023/8 - 129. Which is smaller: -1 or l?
l
Let d = -19 - -19. Suppose 9*s = -d*s + 18. Which is smaller: s or 34/11?
s
Let r = 15 - 18. Suppose -2*x - 3*b = 2, -1 = 3*x - 2*x + b. Let t be (-6 - x)*(3 - 13/5). Which is bigger: r or t?
t
Let d = 20 + -11. Let o(u) = u**3 + 15*u**2 + 13*u - 17. Let l be o(-14). Let y be (l/2)/(75/(-20)). Is d less than y?
False
Let j(t) = -2*t**2 - 14*t - 9. Let d be j(-6). Suppose w + d*b + 6 = 0, 2*w + 3*b + 7 = -2. Let m be 20/18*w - -4. Is m >= -5?
True
Let b = 113 + -89. Suppose 0*j + j + b = 2*w, j - w = -20. Is -19 > j?
False
Suppose -2*r + 3*r + 10 = 2*b, -4*r = -5*b + 25. Suppose 2*n + 4*v - 68 = 0, -28 = -b*n - 4*v + 136. Which is greater: 33 or n?
33
Let g = -2/133 + -1058/399. Do g and -1/5 have different values?
True
Let q = 3447 - 3447.13. Let n = 14 + -29/2. Which is smaller: n or q?
n
Let d = -495 + 11875/24. Let w = -1/24 + d. Which is smaller: -0.3 or w?
-0.3
Suppose 0*x - 71 = 3*a + x, 3*a + 2*x = -76. Let c = a - -25. Let t be 2 + -1 + 2/1. Is c bigger than t?
False
Let n = 1/42 - 5/14. Let g = 675.9 + -707. Let q = -31 - g. Which is greater: q or n?
q
Let h = -717022058/7521 - -95336. Let s = 47645/45126 + h. Let a = -5/6 + s. Which is smaller: a or 0?
0
Let d be 102/(-24) + 9/(-12). Let y be -1*1 + -3*4. Let r = 9 + y. Which is smaller: r or d?
d
Let b = 619/3 + -7355/33. Which is smaller: -16 or b?
b
Let k be ((-3 - -6)/1602)/(4/16). Suppose 0 = 3*n + 32 - 32. Do k and n have the same value?
False
Let n = -272 + 362. Which is bigger: -0.1 or n?
n
Let m be ((-3)/10)/((-3)/576*-3). Let t = -20429/5 - -4066. Let j = m - t. Which is smaller: 4 or j?
j
Let m(v) = 2*v**3 - 15*v**2 - 28*v + 9. Let o be m(9). Is -18/23 at most as big as o?
True
Let w = -1.318 + 0.992. Do w and -2/5 have different values?
True
Let a = 1/201466 + 1449144927/2216126. Let w(c) = -c**3 - 34*c**2 + 18*c - 41. Let o be w(-34). Let n = o + a. Is 0.1 != n?
True
Let g = 18 - -27. Suppose -3*y = 2*y + g. Is y bigger than -9?
False
Let s(b) = -b**2 + 9*b + 8. Let j be s(10). Let r = 26.5 - 41. Let w = -15 - r. Which is bigger: j or w?
w
Let d be ((-60)/(-8))/(4/(3 + 5)). Let a = 2 + 0. Suppose 0 = -3*j + 3*o + 57, 2*j = -0*o - a*o + 18. Which is smaller: d or j?
j
Let t = 20 + -15. Let r be 15/t + (3 - 7). Which is greater: -1/10 or r?
-1/10
Suppose -5*w = 4*c - 16, -5*w = -20 - 0. Is 5 at most as big as c?
False
Let x = -0.084 + -6.316. Let l = x + 5.4. Which is greater: 2.1 or l?
2.1
Let m(c) = -5*c**3 + 2*c**2 - 2*c - 1. Let i be m(-2). Let u = -50 + i. Is u <= -1/11?
False
Let u be (-2)/(-9) + 61/9. Suppose u*m - 5*m - 2 = 0. Which is greater: 2 or m?
2
Suppose 0 = g - 4*g + 183. Suppose 4*w + 19 = -g. Let f = w + 19. Which is smaller: 0.6 or f?
f
Suppose -2*t + 4*x - 2*x = 6, -2*t - x = -9. Let j = 0.042 - -31.958. Let y = j - 25. Is t greater than or equal to y?
False
Suppose -b = 0, -2*b - 76 = 2*w - 0*b. Is w smaller than -2?
True
Suppose 0 = 5*s + 3*x - 31 + 1, -5*s - 4*x = -35. Suppose -s*h = 5 - 8. Is h smaller than 1/3?
False
Let i be -2 + 3/(54/32). Let p = 3520 + -3519. Is p less than or equal to i?
False
Suppose 20*k + 294 = -k. Which is smaller: -7 or k?
k
Let j be (-2)/(-5)*6/4. Suppose 0 = -0*o + o + 1, 0 = -x - 2*o + 8. Suppose x = -5*u + 10*u. Which is greater: u or j?
u
Let q be (20/6)/((-2)/(-6)). Suppose -3*f + 40 = 2*f. Suppose -f*r = -2*r - 54. Are q and r non-equal?
True
Let c = -8.5 + 11. Let f = -8.7 + 4.8. Let u = c + f. Which is greater: u or -1?
-1
Let f = -475 - -468. Is 67 != f?
True
Let t(x) = 13*x + 25. Let m(d) = -9*d - 17. Let y(b) = -7*m(b) - 5*t(b). Let l be y(-4). Which is smaller: 0.2 or l?
0.2
Let q = 41/2205 + -2/49. Which is smaller: q or 0?
q
Let b = 3 - 2. Let o = -21.3 + 4.3. Let i = -30 - o. Is i >= b?
False
Suppose -4*m - 12 = 4. Let b be ((-92)/m)/(0 + 1). Suppose -5*l - 22 = 5*o + b, 0 = 4*o + 16. Do -3 and l have different values?
True
Suppose 0 = 4*f + 4*m + 8, -2*f - 2*m = 3*m + 7. Let q be 232/(-174)*9/2. Are q and f unequal?
True
Let v be 758*(-42)/(-24)*2/(-7). Which is smaller: v or -382?
-382
Suppose 35*p = 36*p - 49. Is p greater than 52?
False
Let c = -121 + 122. Let j = c + -11/7. Which is g