-3*c + 2*r, y*r + 80 = 4*c. Let x = c + -164/9. Which is greater: x or 0?
0
Suppose 0 = -3*j - 13 + 4. Let n be -1 + -2 - (j + 3). Which is bigger: -2 or n?
-2
Let f = -3 - -3.8. Which is greater: -2 or f?
f
Let b = 0.7 + -0.1. Let x = 0.7 - b. Are x and -2/23 equal?
False
Let c(f) = -3*f**2 + 4*f + 10. Let y(j) = 2*j**2 - 5*j - 10. Let x(z) = -3*c(z) - 4*y(z). Let w be x(-7). Let h be 1/3*(8 + -2). Which is greater: w or h?
w
Suppose -5*r = -u - 62, 0 = 3*r - 2*u - 0*u - 40. Let t be (-6)/(-24) - (-141)/r. Is 11 >= t?
False
Let x(o) = -o**2 + 9*o + 6. Let k be x(7). Let j be k/88*12/15. Which is smaller: j or 1?
j
Suppose -p - 3 = -7. Suppose 3*a - p*f + 12 = 0, -f + 12 = 3*a + 3*f. Which is bigger: -2/19 or a?
a
Let q(x) = -8*x**2 - 2*x - 2. Let g be q(-1). Which is smaller: -6 or g?
g
Let n(x) = x**2 - 6*x + 1. Let b be n(5). Let s = b + 2. Let v be (s - 6/(-5))*5. Is v at least -3?
False
Let x = 366 - 366. Let l be (-1)/(-6)*3/(-2). Is l at least as big as x?
False
Let u = 1064721/11 - 96562. Let y = -231 + u. Are y and 1/3 nonequal?
True
Suppose -5*b + 4*h = -2, 4*h + 22 = -b - 4*b. Is -4 bigger than b?
False
Suppose -a - 1 = -2*o, -2*a - 26 = 5*o - o. Is -8 greater than or equal to a?
False
Let w be ((-1)/(-2))/((-10)/(-60)). Is 8/3 < w?
True
Let q = -35 - -5. Is -1 not equal to q?
True
Let a be (3/(-30))/((-2)/(-4)). Which is greater: a or 1/10?
1/10
Let f be (-5)/(60/(-63))*(-20)/(-30). Is f > -1/3?
True
Let t = -157 - -155. Let a = 2 - 3. Which is smaller: a or t?
t
Let i be (-4 + (-525)/(-138))/(3/4). Do i and 0 have the same value?
False
Let a(j) = 3*j**3 - 2*j - 1. Let q be a(-1). Let p be ((-4)/(-3))/(q/12). Let r(w) = w**2 + 8*w - 1. Let f be r(p). Is -1 > f?
False
Let z(t) = t**2 + 2*t + 1. Suppose -3*n + 5*d = 8, -d = 4*n - 2*d + 5. Let x be z(n). Let i = x + -3. Do -1 and i have the same value?
False
Let k = -0.4 + -0.6. Let h = 0.03 - -0.17. Which is smaller: k or h?
k
Let q be (-7)/(-4) + 2/8. Suppose -b - 2*i - 1 = q*i, 0 = 2*b + 4*i + 2. Let x be (2 - b)/(6/(-4)). Is x equal to -3?
False
Let v be (-6)/1*1/(-14). Let m = -1.56 + 2.56. Does m = v?
False
Suppose 0 = -3*w - h - 12, -3*w = 3*h + 18. Let f = 0 - 1. Let x be -6 + -1 + (-3)/f. Which is smaller: w or x?
x
Let x = -23 - -2. Which is bigger: x or -20?
-20
Let z = -50 + 52.1. Which is smaller: z or 1?
1
Let d(i) = -3*i**2 + 7*i + 1. Let s(f) = -2*f**2 + 4*f + 1. Let o(l) = 3*d(l) - 5*s(l). Let q be o(-5). Let n be q/(-22) - (0 + -1). Are 1 and n equal?
False
Suppose 4*q + 0*q = -32. Let p = q + 7. Let w be 1/4 + p/2. Which is bigger: -1 or w?
w
Let l(p) = -p**3 - 7*p**2 + 7*p - 7. Let z = -28 + 20. Let y be l(z). Suppose -2*d + y = -d. Which is smaller: d or 3/2?
d
Let j be (-53)/3 + (-1)/3. Let z be 1/4 + j/8. Suppose 2*h - 3*h = 2. Is z greater than or equal to h?
True
Suppose 0 = -5*v - f + 24, -5*v - 3 + 31 = 2*f. Are v and 6 nonequal?
True
Let h be -5*(1 - (-21)/(-15)). Suppose -5*m + 7 = -h*t - 0*m, -2*m = 5*t + 3. Let x(q) = -q**2 - 2*q - 1. Let s be x(-1). Which is bigger: s or t?
s
Let a = -17 - -16. Suppose -3*q + 2*q = 0. Suppose 0 = -q*f + 3*f. Which is smaller: f or a?
a
Let s = -397 + 377.9. Let u = s + 19. Which is smaller: -0.2 or u?
-0.2
Let n = -3 + 5. Let r be (n + (-12)/5)*5. Let a be -3*3/(-3)*(3 - 4). Is a != r?
True
Let v be (0 - -4 - -2)/1. Let r = v + -11. Which is smaller: -3 or r?
r
Suppose 0 = -2*y - 8, -6*y - 12 = -5*l - 3*y. Let a be (l - 4/8)*-14. Is a greater than 7?
False
Let h = 5 + -4. Let o(b) = -h - 41*b**2 - 10 - 9*b + 40*b**2. Let k be o(-8). Is 1/2 not equal to k?
True
Let f(j) be the first derivative of 1/3*j**3 - 3*j**2 - 7*j - 4. Let z be f(7). Which is smaller: 1/2 or z?
z
Let m = -17 + 17.1. Is 0 smaller than m?
True
Let w = -3.9 + 4. Let x = w + 1.9. Let k = 0.1 - 0.1. Is k less than x?
True
Let o = 248 + -248.1. Let k = -5/2 + 23/8. Which is greater: k or o?
k
Let i(l) = l**3 - 10*l**2 + 19*l - 20. Let s be i(8). Let w be (-10)/(2/((-2)/2)). Which is greater: w or s?
w
Suppose -58 = 5*k + 57. Which is smaller: k or 0.1?
k
Let g be 1*(1 + (2 - 2)). Suppose -2*j + 2*a + 14 = 0, 5*a = -j + g - 6. Suppose l + l + 3*p = 9, 0 = j*l - p + 3. Is 0 < l?
False
Let y be (1 + -1)/(0 + 3). Which is greater: y or -3/11?
y
Let b(g) = -g**3 + g + 8. Let n be b(0). Let z be (2/(-12))/((-3)/n). Is z greater than or equal to -1?
True
Suppose 0 = -3*d, 4*l - l - 54 = 2*d. Let g = -21 + l. Is -3 <= g?
True
Suppose 0 = -4*d - 2*q - 4, -2*q = d - 0*d + 7. Let h be -1*-2*(0 + d). Are h and 2/9 equal?
False
Let b = 7 - 6. Let x be b/(-5 - 0)*-2. Is x at most as big as 1?
True
Let z = -64 - -60. Is -4 at least z?
True
Suppose -7*d + 50 = -2*d. Suppose 2*l = -0*l + d. Suppose -15 = l*o + 5. Which is bigger: -1/4 or o?
-1/4
Let o = -1 - -1. Let r(p) = -p**2 - 14*p - 15. Let l be r(-12). Which is smaller: o or l?
o
Suppose 4*z - 12 = -2*w, z - 17 = -6*w + 2*w. Let x = -18 - -6. Let f = -8 - x. Is f bigger than w?
False
Let p = 4 - -4. Suppose p*g = 3*g + 3*q, q = 2*g. Let m be (g*(-3)/(-9))/(-2). Is m greater than -1?
True
Let h be (-1 + 0)*77/(-11). Is h > 7?
False
Suppose 15*p - 7*p = 8. Let o = -313/6 + 52. Which is bigger: o or p?
p
Let w(z) = -z**2 + 7*z + 5. Let l be w(8). Let h = l + 3. Let u = 155/518 + -1/74. Is h bigger than u?
False
Let j = 49/2 - 53. Let t = j + 27. Which is bigger: t or -2?
t
Suppose 5*j - 68 = 652. Suppose 0 = -4*a + 2*a + j. Let t = -506/7 + a. Do t and 0 have the same value?
False
Let y = 9 - 6. Let i = y + -3.1. Let u = i + 0. Is 1/2 at most u?
False
Let t = 73/12 + -863/132. Let d = t + 41/66. Let n(b) = b + 21. Let m be n(-22). Is d bigger than m?
True
Let f = -1.8 - -2. Let l be 4/3*(10 + (-669)/66). Which is bigger: l or f?
f
Let g(d) = d**2 - 9*d + 5. Let j be g(8). Let q = 2 + j. Let w = -22 - -21.7. Which is bigger: q or w?
w
Let f(w) = w**3 - 9*w**2 + w - 10. Let v = -4 + 13. Let h be f(v). Let o = h + 1. Which is bigger: 1/4 or o?
1/4
Let g = -98 - -109. Is 11 equal to g?
True
Let i = 7 - 4. Let j = i - 3.1. Let m = -0.5 - j. Which is greater: m or 0?
0
Let y = 85 + -85. Are 1/21 and y nonequal?
True
Let s(y) = -y**2 + 11*y - 20. Let x be s(8). Suppose k + k = -2*z, 36 = -x*z + 5*k. Is z bigger than -4?
False
Suppose 3 = -3*g - 9. Let m(j) = j**3 + 3*j**2 - 2*j + 4. Let s be m(g). Let z(r) = r + 3. Let n be z(-5). Which is greater: n or s?
n
Let o be 0 + (3 - (2 - 1)). Suppose 3*k + 6*d + 24 = d, -4*k - o*d = 18. Let q = -28 + 25. Is q < k?
False
Let o(j) = j**3 + j**2. Let y(v) = -5*v**3 - 3*v**2 + 4*v - 4. Let w(k) = 4*o(k) + y(k). Let m be w(3). Let z be 15/(-9)*(-2)/m. Which is greater: -2 or z?
z
Let c = 46/15 + -17/5. Which is smaller: 0.08 or c?
c
Let g(l) = 7*l - 36. Let t be g(15). Is 69 < t?
False
Let g(z) = -z**3 + 15*z**2 + 2*z - 12. Let s be g(15). Which is smaller: 19 or s?
s
Let w(n) = 3*n**2 + 4 + 3*n**3 - 2*n - 5*n**2 - 2*n**3 + 0*n. Let v be w(3). Let q be (-2)/v - (-15)/(-21). Which is smaller: -0.6 or q?
q
Let j = -3 + 7. Suppose f = 3*f + 4*o + 8, 4*f + j*o = -4. Suppose -f*d = 2*d. Do 2/15 and d have the same value?
False
Suppose -46 = -g + 4*g - 4*t, 66 = -4*g + 3*t. Let y be 4/g - (-7)/(-9). Is y < 0?
True
Let i = -3 + 3. Let a(h) = 6*h**2 - 4*h - 1. Let x be a(-3). Let k = x - 458/7. Which is smaller: k or i?
k
Suppose 52 = -5*k - 3*l - 266, -l = 1. Is -63 greater than or equal to k?
True
Suppose -4*y + 5 = -15. Suppose 5*d = -5 + 20, 5*d = -y*j - 20. Is j equal to -5?
False
Let s = -0.02 - -0.02. Let q(h) = h**3 + 5*h**2 + 2*h - 1. Let l be q(-4). Suppose 0 = 2*k - l*k - m + 3, -2*k = -2*m + 6. Is s < k?
False
Suppose 0 = -t - t + 2. Let m = 2 + -5. Let w be m + t - (2 - 0). Which is bigger: w or -3?
-3
Let x(q) = 2*q - 12 + 0*q + q. Let c be x(8). Let s be (2/7)/(c/(-28)). Which is greater: s or 0?
0
Let a = -1/139 - 132/973. Which is smaller: a or -1?
-1
Suppose -d - 22 = 5*t, -2*t - 4 = -d + 3*d. Suppose 2*l + 45 = -5*h, -3*l + 2*l = 5. Let o = h + 3. Which is bigger: o or t?
o
Let l = 69 - 68.96. Which is bigger: l or 1?
1
Let v = -1 + 1. Let j = 2 - 6. Which is greater: v or j?
v
Suppose 0 = -0*q + 4*q - 132. Are q and 32 non-equal?
True
Let q be 5/((-20)/8) - -10. Let c be q/(-66)*(-9)/6. Is c smaller than -1?
False
Let z be 2/(-15) - 20/(-96). Which is smaller: z or -1?
