
Suppose 0*d - d = 22. Let q be (-8)/(-44) - 18/d. Let w = 53/6 + -131/15. Which is smaller: w or q?
w
Let f be (-2)/(-4) - (-4)/(-16). Suppose d = -5*o - 1, 0*o - 4*d - 4 = o. Suppose u - 4*i - 13 = 2, u + 4*i + 17 = o. Is u > f?
False
Let r(n) = n**2 - 5*n - 3. Let z be r(6). Suppose 0 = 5*m + 3*k + 90, 0 = m - 5*m - z*k - 75. Let g be 4/18 - m/54. Which is smaller: g or 0?
0
Let s = 54.28 - 0.28. Which is greater: s or 1/2?
s
Let c(o) = -3*o**2 - 3*o. Let m be c(-2). Let y be m/12*(-1 + 1). Let p = 203/165 + -1/33. Are p and y equal?
False
Let q be (-3)/(-2) - (-580)/(-40). Which is greater: -14 or q?
q
Let z = 23 + -36. Which is bigger: -14 or z?
z
Let j(m) = -m**2 + 17*m + 26. Let y be j(18). Let o = -1 - -1. Are y and o unequal?
True
Let q = 1 - 1. Let j = -45.8 - -41.8. Is j > q?
False
Suppose 5*a - 8*a = 36. Is -23/2 > a?
True
Let c be (-4)/(-3) - (-8)/12. Suppose -b + 0*b - c = 0. Let m(k) = k**2 + 3*k + 2. Let u be m(b). Which is greater: -1 or u?
u
Let a(m) = -m - 2. Let v be a(-3). Suppose 8 = 3*o - v. Let b = 0.4 + -0.3. Which is smaller: o or b?
b
Let a = 0.6 - 1. Let y be (5 - 3) + (-39)/44. Let q = y + -15/11. Is a smaller than q?
True
Suppose 12 + 0 = 4*p. Suppose 2*y - 7 = -3*f - p, -2*f + 3*y = -7. Is f greater than or equal to 0?
True
Let d be (1 - (-7 + 1))/1. Let z = d + -4. Suppose z = -3*x + 6. Is 1 equal to x?
True
Let q = 0.3 - 0. Let x = 0.2 - q. Is x <= 1?
True
Suppose 0 = -5*h - 11 + 36. Let q(b) = b**2 - 1. Let a(g) = g**2 + 5*g + 1. Let t(y) = -a(y) + 2*q(y). Let c be t(h). Which is greater: c or -1?
-1
Suppose 25 - 7 = 3*f. Let t be (f/4 - 1)*8. Let y be 6/t - (-2)/(-4). Is y at most as big as 2/11?
False
Suppose 3*u - 3*y - 18 = 0, u - y = -3*y. Suppose u*n = 4 + 8. Which is bigger: -2 or n?
n
Let s be (-1 - 1)/4*0. Let m = 11.83 - -0.17. Let w = -10 + m. Is s less than w?
True
Let l = -49 + 443/9. Let x = 0.4 + -0.5. Are x and l equal?
False
Let b be 7/(-3) - (-56)/42. Is -1/13 at most as big as b?
False
Let y = -26 - -62. Does y = 36?
True
Suppose 7*o + 0 + 0 = 0. Is o less than 6/11?
True
Let u(c) = c**2 - 12*c - 10. Let g be u(13). Suppose g*h = 7*h + 5*f - 36, -3*f = -4*h + 4. Do h and 5 have the same value?
False
Let o = 33 - 28.9. Let x = 1.1 - o. Which is greater: x or -0.1?
-0.1
Suppose -6*w = -5*w + 8. Let r be 70/w*6/(-30). Which is bigger: 3 or r?
3
Suppose -3*n - 19 = -2*f, -26 = 2*n - 3*f - 5. Let k(m) = m**3 + 4*m**2 + m + 2. Let r be k(n). Let z be (2/r)/((-9)/(-24)). Is z bigger than -0.2?
True
Suppose 0 = -2*z - 3*r - 16, -z - 3*r = 2*r + 8. Let j = -8 - z. Let p be (-2)/(-8)*2*0. Does j = p?
True
Let i = -313/488 - -1/61. Do 0 and i have the same value?
False
Let y = -1243/36 - -139/4. Let z = -2 + 4.2. Let v = z + -0.2. Which is smaller: y or v?
y
Let s(d) = d + 5. Let h be s(-7). Let b = 3 + h. Is b at least as big as 0?
True
Suppose 4*i = 5*i + 39. Let h be i/45 + 3/15. Is -1/3 at least h?
True
Suppose 2 - 17 = 5*f. Let u(d) = 4*d + 1. Let i be u(1). Suppose 3*z = -i*b - 18, 2*z + 2*z - 2 = 2*b. Is f less than or equal to b?
True
Let t = 13 + -11. Which is bigger: t or 7/4?
t
Let t(b) = 2*b**2 + 2*b - 2. Let l be t(-3). Let c be 6/l*10/14. Suppose -1 = -4*a - 5. Is a at least c?
False
Let k be (-26)/(-30) - 8/(-60). Let z be 4/k + (-42)/9. Is -1 bigger than z?
False
Let t be ((-10)/40)/(151/(-8)). Which is smaller: -1 or t?
-1
Let g(b) = -b - 16. Let s be g(-11). Is s at least as big as -5?
True
Let u be 3 + (-40)/2 + 2. Which is smaller: -16 or u?
-16
Suppose -3*l + 2*l = -1. Let d be -1 - 10/(-7) - l. Which is bigger: d or -2?
d
Suppose 2*c = 3*c - 1. Suppose 5*d = -15, -c + 4 = -v - 3*d. Suppose 2 = v*n - 4*n. Which is smaller: n or -1/5?
-1/5
Let a = 38 - 39. Is -1/2 != a?
True
Suppose -2*v - 2*v + 4 = 0. Let p = -4/7 + 6/7. Is v < p?
False
Let r = 51578055/34 + -1516887. Let w = 229/2 - r. Let g(i) = -i**3 - i**2 + 3*i + 2. Let f be g(-2). Are f and w unequal?
True
Let s(w) = w**3 + 2*w + 1. Let p be s(-2). Is p not equal to -11?
False
Suppose -w - 3*d = 9, w + 2*d = 3*d + 7. Let n = w - 1. Is n != 5/6?
True
Let y = -7 - -7. Let f = 1 - y. Let g = -0.1 + 0.2. Which is bigger: g or f?
f
Suppose -5*b + 4*b - 37 = 0. Let z = b + 112/3. Which is smaller: -1 or z?
-1
Let n be 1/(-4)*(-84)/9. Let j be (-2)/(-4) + (-24)/(-16). Is n not equal to j?
True
Let z = 15/2 - 101/14. Let v = 0.8 + 5.2. Let b = v - 6.5. Which is bigger: z or b?
z
Let h be -101*1/34 - -3. Which is bigger: h or 0?
h
Let x(i) = i**3 - 7*i**2 + 3. Let a be x(7). Suppose 7 = 5*l - 13. Which is bigger: l or a?
l
Let h(k) = k**2 + 8*k - 14. Let n be h(-10). Suppose -c = -n*c. Let y be -1*(-1 - c)*-2. Is y bigger than -2?
False
Let r = -46.3 + 47. Which is bigger: 0.1 or r?
r
Let b = 10 + -3. Suppose -13*t + 18*t = 35. Are b and t non-equal?
False
Let f(l) = -80*l + 1. Let t be f(1). Let p = -149/2 - t. Does p = 4?
False
Let d(z) = -3*z**3 - 2*z**2 + 3*z + 2. Let f be d(3). Let k be (-9)/12 + (-114)/f. Let x(r) = r**2 + 7*r + 7. Let l be x(-6). Which is smaller: k or l?
k
Suppose s + 2*x + 8 = -s, 4*s - 5*x = 11. Is -1/13 <= s?
False
Let v be -1*(5 + (-1 - 1)). Let y be -3*((-20)/v)/2. Let i be (-3)/(-6) - (-7)/y. Which is smaller: 1 or i?
i
Suppose -5*t = -2 + 7. Let f = 8755/21 - 417. Which is bigger: t or f?
f
Let y(a) = 29 - 2*a - 29. Let q be y(-4). Let f(d) = d - 2. Let j be f(q). Is 5 greater than or equal to j?
False
Let l = 68 - 117. Are -50 and l non-equal?
True
Let q(a) = a + 19. Let d be q(-12). Which is smaller: 8 or d?
d
Suppose 3*a - 69 = 135. Is a not equal to 68?
False
Let s = 7.31 - 6.3. Let x = s - 1. Let d = x + 3.99. Which is greater: d or 2/3?
d
Let c(k) = k**2 - k + 2. Let r be -2 + 2 + 2 - 2. Let x be c(r). Suppose -2*b = -x*p - 10, -b - 4*b = -4*p - 22. Is b less than 3?
True
Let n = -5.97 + -0.03. Let j = -5 - n. Let u = j + -4. Which is smaller: u or 0.1?
u
Suppose 0 = 7*b - 2*b - 5. Let m be 5 - (b + 3/3). Suppose m = -4*o + o. Which is smaller: o or -0.3?
o
Let v be (-8)/(-36) + 47/(-9). Let j = -5 - v. Let u be ((-4)/(-42))/((-6)/(-18)). Is j != u?
True
Let d = 16 - 8. Let i = -9 + d. Let x(k) = -k**3 + 4*k**2 - 4*k + 2. Let j be x(3). Is i less than j?
False
Let j = 8 - 4. Suppose -3*f - 2 = -j*a, 2*a + f - 12 = -3*f. Let q(h) = h**2 + 5*h + 1. Let k be q(-5). Is a at least as big as k?
True
Suppose -3*v = n - 9, 4*v = 3*n + 5*v - 35. Suppose 12 + 8 = -5*s. Let x be 1/s - 3/n. Is -1 at most x?
True
Let f(v) be the second derivative of v**5/20 + v**4/3 + v**3/2 + v**2 - 2*v. Let i be f(-3). Which is bigger: i or 7/6?
i
Let l = -22/43 + 1141/1978. Is l at most as big as -1?
False
Suppose 127 = -5*d - y - 0*y, 0 = 2*d + 2*y + 54. Is d at least -24?
False
Suppose -9*f + 4*f - 20 = 0. Let a be (-2 - (3 + f))*6. Is 1 less than a?
False
Suppose 0 = 5*g - 25, -5*l - g + 5 = -0*g. Suppose 4*o + a + 21 = 0, -3*o + a = -l*a + 21. Let q = o + 8. Is q < 3?
True
Let q = -10 - -41/4. Let r = -24 + 23.92. Is r less than or equal to q?
True
Let h = -17 + 17. Is 3 <= h?
False
Let k(x) = -11*x**2 - 4*x + 14. Let n be k(3). Which is smaller: -96 or n?
n
Let o = -8 + -1. Let u = -3 - o. Are u and 0 non-equal?
True
Suppose -5*r - 69 - 276 = 0. Let b be 1 + r/(-180)*-2. Let x = b - 1/3. Which is bigger: x or -1?
x
Suppose s = 2*t - 4, -5*t - 3*s = -2*s - 24. Suppose 3*w + t*i - 20 = 0, -2*i + 25 = 3*i. Which is bigger: -6/7 or w?
w
Let j be -58*(0 - 3/6). Is j at most 30?
True
Suppose 4*k = -3*r + 19, 0 = -0*r - 5*r + 3*k + 22. Let w be ((-10)/r)/((-2)/3). Is 3 at least as big as w?
True
Let g be 1/10*4/3. Suppose -4*b = -0*b - 12. Suppose -5 = 2*l + b*l. Is l <= g?
True
Let d(s) = -s + 45. Let r be d(0). Let i be (-10)/68*9/r. Which is smaller: -1 or i?
-1
Suppose -4*x - 5*u = 34, -4*u = -0*x + x + 14. Which is bigger: x or 2?
2
Suppose -4*c + 4 = -4. Let s be 20/(-15)*(-3)/c. Which is bigger: -4 or s?
s
Let l(g) = -3*g**2 - 5*g - 2. Let n be l(-3). Is n >= -13?
False
Let z be (-2)/(-10) - (-2)/90. Let s(j) = -j**2 + 3*j + 9. Let a be s(5). Which is bigger: z or a?
z
Let s be (66 - 2)/4 + -4. Which is smaller: 11 or s?
11
Let w(v) = v**3 - 7*v**2 + 4. Let u be w(7). Is 6 > u?
True
Let u = 10 + -9.9. Is u equal to -0.8?
False
Let c(o) = o + 5. Let f be c(-3). Let z be -2 + 3 - 4/f. Which is greater: z or 2?
2
Sup