0/21. Let y be ((-2)/(-3) + -1)*-9. Suppose y*q - 3 = -v - 4, -3*v - 3 = -5*q. Which is greater: q or t?
q
Let p(v) = v**3 - 6*v**2 - 7*v. Let i be p(7). Which is greater: -1 or i?
i
Let g(h) = -2 + 2*h + 1 - h. Let z(u) = -u**2 + 6*u - 3. Let l be z(4). Let a be g(l). Do 3 and a have different values?
True
Suppose -2*q = m + 13, -4*q - 5*m - 30 = 5. Let t = -1770 + 28329/16. Let g = t - 1/16. Which is smaller: g or q?
q
Let g(p) = -p**3 - 6*p**2 - 6*p - 2. Let j be g(-5). Suppose 2 = -y - y. Is j > y?
True
Let i = -32 - -16. Let h = 15 + i. Which is greater: h or 6/17?
6/17
Let l = -6 + 4. Let h be 1/(l/(2 + 0)). Let i be (0 - h)*3/(-12). Is 0 greater than i?
True
Let m be (-17)/(-30) - (-1)/(-2). Let g be (-2)/(4/(-2)*1). Which is smaller: g or m?
m
Suppose 4*a + s - 6 = -1, -s = -a. Let j be 1 + 1*a*8. Let g be ((-6)/j)/(2/6). Is g less than or equal to 0.2?
True
Let r = 72 + -71.908. Which is greater: r or -1?
r
Let h = 16 - 15.93. Let u = 5.93 + h. Do 2/9 and u have the same value?
False
Let b be (25/15 - 2)*(-2 + 2). Which is bigger: -3 or b?
b
Let g = 0.27 - 5.17. Let y = 13 - 8. Let l = g + y. Is l smaller than 5?
True
Let b = -5857/11 - -532. Which is smaller: b or 0?
b
Let t be 2 + ((-284)/56 - -3). Is -1 > t?
False
Let w = -56 + 52. Is 0 > w?
True
Suppose 107 = 4*t - 9. Is 28 >= t?
False
Suppose x = -x + 6. Let n(a) = a**2 + 3*a. Let b be n(-4). Let z be b/8 + (-6)/(-4). Do x and z have different values?
True
Let o = 25 + -25. Let m = -3 + 4. Let j = 0.9 - m. Which is greater: j or o?
o
Let a be (-9)/(-6)*(-8)/6. Let v be (a/(-6))/((-4)/6). Let o(r) = -r**3 - 5*r**2 - 3*r + 3. Let x be o(-4). Are v and x unequal?
True
Let w = 2 - 2. Let m = -7 - -7.4. Let o = -0.7 + m. Is w > o?
True
Let m(t) be the first derivative of -4 - 3*t - 3/2*t**2 - 1/3*t**3. Let b be m(-2). Which is greater: -2 or b?
b
Suppose -342*g + 8 = -338*g. Let k(s) = -s**3 - s**2 + s + 3. Let b be k(0). Which is greater: g or b?
b
Suppose 6*m = 9*m + 3. Which is bigger: 2/7 or m?
2/7
Let n = 40/7 + -6. Let j = 12.3 - -0.7. Is j smaller than n?
False
Let c be 3*1*(-1 + 2). Suppose 2*z + c = -z. Suppose 5*b - 3*l + 17 = 0, -3*b - 2*l + 4 = b. Is b < z?
False
Let j be 1/(-2)*-1*2. Which is bigger: j or 0.5?
j
Let z be (2/(-5))/(6/30). Which is bigger: -0.01 or z?
-0.01
Let y be (18/15)/((-2)/(-5)). Suppose 0*t = 3*t + y. Let v = 1 + -2. Is v at most as big as t?
True
Let g(r) = -4*r**3 - r - 1. Let b be g(-1). Suppose -3*n + 2 = -b*c, -n - n + c - 7 = 0. Is n at most as big as -2?
True
Let t(o) be the first derivative of -o**2/2 - 4*o - 2. Let a be t(-9). Let l be a/10*(1 - 3). Do -1/3 and l have the same value?
False
Let c be ((-8)/168)/(0 + (-2)/(-30)). Suppose 1 = 5*y + 6. Are y and c nonequal?
True
Let z(x) = -5*x + 4. Let q = 5 - 12. Let j(f) = -4*f + 3. Let b(r) = q*j(r) + 6*z(r). Let u be b(2). Which is bigger: u or 0?
0
Let v = -73.1 - -71. Are -1 and v unequal?
True
Let t = -3 + 14. Suppose t*b = 7*b. Are -2/5 and b unequal?
True
Let m be ((-2)/6)/((-1)/12). Suppose 0*w = w + m. Is -5 smaller than w?
True
Let d be ((-4)/(-72))/(1/4). Let m(r) = -r**2 - 6*r + 7. Suppose -8 + 1 = s. Let u be m(s). Is u not equal to d?
True
Suppose -2*t = -6, -m + 11 + 8 = -3*t. Suppose x - 5*x + 3*w + m = 0, -4*x + 12 = w. Is 3 at least as big as x?
False
Let b = -82505/18 - -4586. Let s = -2291/36 + b. Let i = s - -61. Which is smaller: i or 1?
i
Let x = 16/65 + 2/13. Let z = 0.58 + -0.8. Let p = z - 0.08. Is x less than or equal to p?
False
Let v(s) = -13*s**2 + 27*s - 13. Let m(a) = 7*a**2 - 14*a + 7. Let g(l) = -11*m(l) - 6*v(l). Let n be g(8). Suppose -n = w - 0*w. Is w greater than 1?
False
Suppose 39 = -3*b + 39. Is b at least as big as 0?
True
Let p = 12 + -12. Is 4/7 less than or equal to p?
False
Let f = -3 - 3. Are f and 2 equal?
False
Suppose 2*u = 1 + 1. Let d = 9 + -7. Let c = u - d. Which is greater: c or 3?
3
Let y = 1 + -2. Let x = -75 + 973/13. Which is smaller: x or y?
y
Let l(z) = 4*z**2 - z - 3. Let n be l(-3). Let f be 2/(n/(4/2)). Suppose -2*w - 3 = 2*u + 3, -2*u - w - 4 = 0. Which is greater: f or u?
f
Suppose 5*y + m = -0*m - 8, 2*y + 5*m + 17 = 0. Which is smaller: -2/19 or y?
y
Let t = -559 + 1657/3. Let o = t + 19/3. Which is greater: o or -1?
o
Let a = -16 + 12. Let v(c) = c + 5. Let m be v(a). Does m = 1/2?
False
Let o = -0.06 - 0.34. Let y = 39.9 - 40. Let q = y - o. Which is smaller: 0.2 or q?
0.2
Let d = -413/705 + -2/141. Let q(b) = -b**2 + 3*b - 2. Let g be q(2). Which is smaller: g or d?
d
Let q = -6 + 6. Suppose z + 5 = q, 0*z + 15 = 2*t - 3*z. Suppose -3*s + 3 = -t*s. Is 1 at most as big as s?
True
Let i(z) = -4*z + 32. Let u be i(9). Which is bigger: -5 or u?
u
Let z(g) be the first derivative of g**2/2 - 2*g - 1. Let l be z(-2). Let q be ((-1)/2)/(13/l). Which is smaller: 0 or q?
0
Suppose 0*u - u = -4*o - 28, o = 2*u - 28. Do 11 and u have the same value?
False
Suppose 0 = -2*v - 10 - 0. Which is smaller: -6 or v?
-6
Let k = -11.91 - -12. Let u = 4.91 + k. Let f = 68 + -67.9. Which is smaller: u or f?
f
Let u be 2*-1*(2 - 3). Let x = -4 - -6. Is u smaller than x?
False
Let f be (2/3)/(45/(-162)). Let m = f + 2. Is m greater than 0?
False
Suppose -29 = 5*v - 4*t, -14 = 3*v - v - 4*t. Let o(r) = r + 5. Let d be o(v). Let m be 8/(-18)*(-1)/4. Which is smaller: m or d?
d
Suppose 0 = -i - 4*i - 5*x + 25, -4*i + 3*x = -6. Suppose i*c + 0*c + 3 = 0. Is -2 smaller than c?
True
Let t(w) = 4*w - 7*w - w + w**2 + w - 2. Let g be t(3). Which is smaller: g or 0.3?
g
Let m = 26 - 18. Suppose 0 = 5*q - 20, 0 = -0*v - 3*v - 4*q - 2. Let r = v + m. Is -1 less than or equal to r?
True
Let n(b) = b**3 + 7*b**2 - 7*b + 11. Let z be n(-8). Suppose 5*m - 13 = z*j, 2*j = 5*m - 12 - 0. Let q(a) = -a**2 + 7*a - 2. Let h be q(7). Is j equal to h?
False
Suppose -5*q = 6 - 11. Is 0 greater than or equal to q?
False
Let z = -20.8 - -21. Is z less than -2/5?
False
Suppose 2*a = 3*j + 5, 0 = 4*j - 2*j + 2. Which is bigger: 3/8 or a?
a
Let h(d) = 3*d**2 + d + 1. Let n be h(-1). Suppose 2*k - 4*j - 8 = 0, -2 = -n*k - j - 3*j. Let m(o) = o**2 - 4*o + 3. Let q be m(k). Is q > -1?
False
Let l be (-4)/(-6) - 740/1056. Let q = l + 461/616. Is 2 at most q?
False
Suppose 0 = 2*u + 27 + 31. Let y = u - -15. Let p be 4/10*10/y. Is p bigger than 1?
False
Let l = 0.2 + 1.8. Which is bigger: l or 2/35?
l
Suppose -4*s - k = 13 + 115, 2*s = -2*k - 64. Which is bigger: -33 or s?
s
Let w = 5 + -3. Suppose 6 = 2*t - 4. Let z be w + (-1 - (2 - t)). Is 3 at least z?
False
Suppose 0 = -2*q - f - 14, 2*q = -2*f + 3*f - 14. Which is smaller: -8 or q?
-8
Suppose -2*k = 2*k. Suppose 2*w + 21 + 3 = k. Which is greater: w or -11?
-11
Let v(h) = h**3 + 5*h**2 - h - 2. Suppose 4 = -2*j, -2*z - 3*j - 7 - 9 = 0. Let q be v(z). Suppose -w + q*w = -2. Is w at most as big as -3?
False
Let t = -55316/7 - -7941. Let f = t - 39. Which is smaller: f or -4?
-4
Suppose 2*m = 5*g - 47, 5*m = m - 4*g - 52. Is -15 at most m?
False
Let r = 6 + -2. Suppose -2*b = -s + 10, 0*b - r*b = -s + 8. Let k be 5/33 - 4/s. Which is greater: k or -1?
k
Suppose 0 = -5*v - 10, -3*v = -10*a + 5*a + 291. Let g = a + -229/4. Is 1 <= g?
False
Let a be ((-5)/6)/((-40)/120). Are 0.01 and a non-equal?
True
Let d be ((-1)/(-3))/(1/6). Suppose 0 = -d*o + o + 6. Suppose -4*b = x - 12, 4*x - o = -b + 6*b. Which is greater: 1 or b?
b
Let h = -0.999 + 0.039. Let m = -0.04 + h. Let w = -0.3 + 0.6. Do w and m have the same value?
False
Let d be 5/((-20)/16) - -3. Let h = 2/11 - -3/44. Is d smaller than h?
True
Let l = -12 + 8. Let o be (l/(-3))/(4/6). Let x be 2*(2/(-1))/o. Is -2 != x?
False
Let c = 9.3 + -8. Let w = c + -0.9. Which is greater: w or -2?
w
Let c = 6 - 4.9. Let r = c - 1.2. Do r and 1/4 have the same value?
False
Let r = -1.1 - -1. Let z(k) = k**2 - 6*k + 5. Let n be z(5). Are n and r unequal?
True
Suppose -3*m + 3*h = -2*m - 13, -4*h = -2*m + 18. Which is smaller: m or -2/27?
-2/27
Let r(i) = -6*i**2. Let g be r(1). Let y(w) = w**2 + 5*w - 2. Let o be y(g). Suppose s = -z, 3*z = s - 6*s + o. Which is greater: -2/3 or z?
-2/3
Let w be 9/12*2*4. Suppose 7 = -3*q + n, -w = 2*q - 0*q - n. Let l be (2/q)/(-15 - -5). Which is bigger: 1 or l?
1
Let j = 1 + -5. Is j <= 3?
True
Let z = -2041/15 - -136. Which is greater: 2 or z?
2
