qual?
False
Let s = -13 - -4. Which is bigger: s or -7?
-7
Let h = 14/975 + -1/25. Is -1 at least h?
False
Let x = -118 - -120. Is x less than or equal to -0.05?
False
Let v(x) = -x**3 + 6*x**2 - 2*x + 9. Let g be v(6). Let k(u) = u**2 - 4*u + 2. Let s be k(4). Suppose s*r - 2 = -6. Which is greater: g or r?
r
Let u be 39/(-9) - 1/(-3). Let r be u/(-3)*(-15)/(-10). Let w(v) = -v**3 - 2*v**2 - v - 1. Let t be w(-2). Is r not equal to t?
True
Let t(w) = w**2 - 7*w - 5. Let c(o) = -o - 7. Let n be c(-7). Let a = n - -8. Let d be t(a). Is 2 less than d?
True
Let d(u) = 9*u**2. Let g be d(-1). Is 2 < g?
True
Let d = -4 - 0. Suppose -4*w - 18 = -j, -5*j + 14 = 3*w - 4*w. Let h be 2 + 18/d + j. Is -2 at most h?
True
Let g(o) = -7*o**2 + o + 1. Let d be (1 - 0)*(6 + -7). Let r be g(d). Is r at least as big as -11/2?
False
Let t = -2.7 - 0.3. Let m = 0.31 + -0.31. Is t <= m?
True
Let a = -1149 - -1148. Let z = 0.14 - 0.21. Let u = 0 + z. Is u equal to a?
False
Let r = 5 + -3. Let u be 63/(-12)*r/(-3). Let o = u - 4. Which is smaller: -1 or o?
-1
Suppose 0 = 3*l + 4*x + 10, -2*l + 7*l - 5*x + 40 = 0. Suppose -3*f + 3*u - 6 = -0*u, 3*u + 14 = -f. Is l at most as big as f?
True
Let u be (-51)/81 - (1 + -2). Which is greater: -1 or u?
u
Let s = -62 + 62. Is 11 != s?
True
Suppose 8*a = 3*a - 10. Suppose 3*o - 2*s + 30 = 0, -2*o + 0*s - 12 = -4*s. Let j be (-4)/14*(-28)/o. Is a at least as big as j?
False
Suppose 0 = -2*w - w - 12. Let g be ((-2)/w)/(6 + -8). Which is greater: 1 or g?
1
Let d = -107 + 109. Is d bigger than 8?
False
Suppose -4*w + 1 + 15 = 0. Let n be (2/w)/(1/24). Let f = n - 71/6. Is 1 at least as big as f?
True
Let h(j) = -j**2 - 6*j - 1. Let s be h(-5). Is 1 at most as big as s?
True
Let j be (-2)/7 + (-144)/84. Is j smaller than -3?
False
Let z = 6 + -7. Which is smaller: z or 7/3?
z
Let v(b) = 14*b**2 - 3*b - 2. Let c be v(-1). Let s be (-10)/(-4) - 1/2. Suppose 3*m + c = r - 4*r, 3*m = s*r + 10. Which is bigger: m or 2/5?
2/5
Let r = -10 + 15. Which is bigger: 4 or r?
r
Suppose -6*f + 4*x = -2*f - 20, 2*x + 12 = 3*f. Which is bigger: 3 or f?
3
Let t(b) = b**2 + b - 1. Let c be t(1). Suppose 3*k + 2*m = -2*k + c, 0 = -5*k - 5*m + 10. Suppose 4*q - 4*v - 2 = -2*v, q + 5*v + 16 = 0. Is q < k?
False
Suppose -2*w - 3*r + 2*r = 1, -w = 2*r + 5. Is -9 at least as big as w?
False
Let h be 1/((-1)/(2/(-1))). Suppose 0 = 4*a - 6 + h. Let b = 1 + -1. Which is bigger: a or b?
a
Suppose a + 65 = 6*a + 2*y, 4*a - 3*y - 29 = 0. Does 12 = a?
False
Let o = -3.8 + 4. Suppose 12 = -i - 2*i. Let a be 8/9*1/i. Which is smaller: o or a?
a
Suppose -25 = -4*i - 9. Suppose -i*l - 5 = -1. Which is smaller: l or -2?
-2
Suppose 3 = -r, 0*s - 5*r - 35 = 4*s. Suppose -4*l = 3*z - 32, -5*z - 4*l + 2*l + 44 = 0. Let v = z + -14. Is v at least s?
False
Let c(u) = -3*u + 22. Let m be c(9). Which is smaller: m or -4?
m
Let r be (-1)/2*22/143. Are -1 and r nonequal?
True
Suppose 0 = -0*x + 3*x - 3. Let j = 9 + -5. Which is smaller: j or x?
x
Suppose -3*g - m - 51 = 0, -3*m + 17 = -g - m. Which is bigger: -18 or g?
g
Let t(w) = -w**3 - 4*w**2 + 5*w + 3. Let g(u) = 5*u. Let m be g(-1). Let z be t(m). Are z and 4 unequal?
True
Suppose -o + 1 - 6 = 0. Let t(u) = -u**3 + 5*u**2 + u. Let j be t(5). Let q be j*((-19)/5 + 3). Is o at least q?
False
Let t = 1 + -1. Let d be (-2)/(-8) + 4554/(-40). Let v = 114 + d. Which is greater: t or v?
v
Suppose 5*z + 2*k = -1 + 10, 0 = -z - k + 3. Which is greater: z or -42?
z
Suppose 5*x = 3 - 8. Which is smaller: x or -10/9?
-10/9
Let f(q) = q + 8. Let j be f(-10). Let m = j - 1. Let l be 5/m - (-6)/9. Which is smaller: l or -2/21?
l
Let m = -1 - 13. Let c = 13 + m. Do -1/6 and c have the same value?
False
Let l = 5 - 4. Let j = 3.1 - 3. Which is bigger: l or j?
l
Let p be (-6)/9 + (-213)/(-324). Is p at most 1?
True
Let k = 0.1 - 1.1. Let j = k - 0. Let i = 1/13 - -8/65. Are i and j non-equal?
True
Let t = -34 - -37. Which is smaller: t or 2?
2
Suppose -g + 0 + 4 = u, -2*u = g - 6. Suppose 3 - 1 = g*l. Which is bigger: l or 0?
l
Let i = -423 - -27493/65. Is i not equal to 0?
True
Suppose -2*m + g + 1 = 13, g = m + 6. Is -2 < m?
False
Let h(k) = -k**3 + 4*k**2 + 1. Let i(u) = 2*u**2 + 0*u - 4*u - u**2 - 1. Let a be i(5). Let t be h(a). Is t bigger than 1/4?
True
Let a be 116/(-10) - (-2)/(-5). Let p be (-2)/3 + (-92)/a. Let r = 8 - p. Is r not equal to 2?
True
Let m be 7/(-5) - (-84)/(-140). Which is greater: m or -21/17?
-21/17
Let f = 870/7 + -124. Let v be -4*(9/4)/3. Is v less than or equal to f?
True
Let k = -1.5 - 9.5. Let j = k + 12. Is j smaller than 8/7?
True
Let g be (-4)/14 + 10/(-14). Let l be 2/(-44)*(-52)/(-12). Let n = l - -1/33. Which is greater: n or g?
n
Let t = 34 - 34.1. Do t and -1/43 have the same value?
False
Suppose -7*c = -4*c - 24. Is 6 at least as big as c?
False
Let u = 0.2 - 0.08. Let r = 1.12 - u. Do 1/2 and r have the same value?
False
Let l be (-12)/(-7) + (-2 - 2). Is l less than or equal to -1?
True
Let z be 40/(-63) - 10/45. Suppose -4*n + 3 = -5. Suppose n = -0*l - 5*l - 2*w, -l + w + 1 = 0. Which is bigger: l or z?
l
Let r = -0.162 + 3.202. Let f = -0.04 + r. Is f at most as big as 1?
False
Let m = 1 - 5. Suppose 4*a + 13 = -n + 6*a, 3*n + a = -4. Which is smaller: m or n?
m
Suppose -3*n + 5*l - 4 = 0, -4*l + 10 = 2*n - l. Let u be (-6)/10 + n/(-5). Let z = 236 + -2126/9. Which is smaller: z or u?
u
Let h = -0.3 + 0.2. Let p = h + -4.9. Let c = 5 + p. Which is smaller: 2 or c?
c
Suppose 32 = -2*b - 116. Does -74 = b?
True
Let g be 37/(-70) - 2/(-7). Let x = g - 3/70. Let n be (-13 - -12) + 8/5. Which is smaller: n or x?
x
Let p be (330/196)/((-2)/(-632)). Let c = 532 - p. Is -1 bigger than c?
False
Let z = 0.22 + -6.17. Let j = -1.05 - z. Let h = j - 5. Is h at most 0.1?
True
Let q = -167/30 + 11/2. Let t(v) = -v**2 - 3*v + 1. Let m be t(-3). Which is bigger: q or m?
m
Let y(d) = -14*d + 14. Let w be y(10). Let u be 0 + 1 - w/(-132). Let b = u - -9/44. Is b equal to -1?
False
Suppose -6*w + w = -60. Let d = w - 6. Let r be (-5)/3*d/15. Which is smaller: r or 6?
r
Suppose -3 = -2*c - g, 2*c - 21 = -5*g + 2. Let k be (c + -2 + 2)*-9. Which is bigger: 0 or k?
k
Let v = 1.98 + -2. Let j = -14.1 + 18.12. Let n = v + j. Which is smaller: n or 0.2?
0.2
Let s = 33/2 + -97/6. Let h be 4/14 + 9/(-252). Which is bigger: s or h?
s
Let r(m) = -m**3 - 3*m**2 - 2*m - 1. Let q be r(-2). Let b(w) = -w**2. Suppose 7*u = 2*o + 4*u + 10, -3*o + 5*u = 17. Let j be b(o). Is q bigger than j?
False
Let x(i) = 2*i - 1. Let d be x(5). Let u be 3/1 + (-20)/d. Let s = 4/9 - u. Which is greater: s or 2/3?
2/3
Suppose 14*h + 7 = 7*h. Let w = -29 + 259/9. Which is smaller: w or h?
h
Let p be (-1)/(-1 + 4/5). Suppose -p*l = -10 - 0. Do 3 and l have different values?
True
Suppose -l + 5*v = -2 - 2, 1 = -5*l + 4*v. Are l and 0 equal?
False
Let j = 63 - 21. Suppose m - j = 4*m. Let i = m + 10. Which is greater: -2 or i?
-2
Let g be ((-40)/(-15))/((-2)/(-6)). Suppose -v - g = -5*v. Which is smaller: 8/7 or v?
8/7
Suppose 0 = -5*y + 36 - 11. Let l(n) = -n + 5. Let t be l(y). Let w be ((-3)/(-58))/(36/(-48)). Are t and w nonequal?
True
Let w be (1*2)/(35 + -4). Suppose -5*c = -c + 5*r + 11, -4*r - 15 = -3*c. Is c smaller than w?
False
Let n = 0.8 - 0.6. Which is smaller: n or -0.4?
-0.4
Suppose 2*h + 3*n + n - 18 = 0, -2*n + 10 = 2*h. Let t be 8724/15*5/(-15). Let u = t - -194. Which is smaller: h or u?
u
Let k be (-1)/(4*(-1)/(-4)). Which is greater: 2/51 or k?
2/51
Let j(m) be the first derivative of -m**3/3 - 2*m**2 + 2*m + 2. Let k be j(-6). Let t = k - -8. Which is smaller: t or -3?
-3
Let f = -135 - -140.9. Let j = f + -6. Which is smaller: -3 or j?
-3
Let b be 38/(-14) - 6/21. Let v be -1 + 1 + (1 - b). Let y be (3/18)/(v/18). Which is greater: 1 or y?
1
Let o be 3 - 2 - (2 + -41). Suppose o = 2*q + 2*q. Suppose -3*z - 2*z + q = 0, -5*b - 16 = -3*z. Is b less than -2?
False
Let k = -6 - 4. Do -2 and k have different values?
True
Suppose -18 - 7 = -5*x. Suppose -4*o - 240 = -4*t + t, -x*t - 180 = 3*o. Let z be -2*-2*2/o. Which is smaller: -1 or z?
-1
Let l = -23 - -32. Let n = -12 + l. Is n < -1?
True
Let g = 81 + -403/5. Are 0.04 and g equal?
False
Let k(n) be the first derivative of n**4/4 + 7*n**3/3 - n**2/2 - 10*n - 6. Let x 