se 0 = -3*y - 0*y + 6. Do 3/4 and y have the same value?
False
Let c be (-2)/3*(-27)/18. Is c equal to 1/32?
False
Let z be 6 + -4 + (-2 - -2). Let g be (-2 + z - -2) + -5. Let d be 1 - -1 - (g - -4). Which is greater: 2 or d?
2
Let i = 15 - 14.9. Let v = 1286/11 - 117. Are i and v nonequal?
True
Let l = -18 - -27. Which is smaller: l or -1?
-1
Let x = -1361/7 + 194. Which is smaller: x or 1?
x
Suppose -3*s - 2*s - 14 = 2*l, 3*l + 2*s - 1 = 0. Suppose -l*r = 2*r + 2*b + 15, 0 = -3*r + 4*b + 17. Do -1/2 and r have the same value?
False
Suppose -20 = 4*d + d, 4*n = d. Which is smaller: -6/11 or n?
n
Suppose -2*l - 10 = -7*r + 4*r, 2*l + 24 = -4*r. Let b be ((-4)/(-18))/(l/30). Which is smaller: -1 or b?
-1
Let u be -2 - (-3 - 19/(-21)). Is u >= 1?
False
Let s = 10 - 7. Suppose s = 2*b + f + 26, -4*b = -2*f + 26. Which is greater: 1 or b?
1
Let p = 7 + -12. Let h = -8 - p. Let j = h - -5. Is j <= 0?
False
Suppose 6*r + 12 = 3*r, -5*t + 8 = -2*r. Let k be (1/(-3))/(1/(-3)). Let u be (-1)/(-5) + 1 - k. Which is bigger: u or t?
u
Suppose 3*a - 4*d = -32, -17 = a + 4*d + d. Let m = a + 12. Is m bigger than -1/2?
True
Let p(u) = u. Let r be p(5). Suppose 4*s = 2*l - 6, -2*l + r*s = -4*l + 6. Let k(g) = -g + 7. Let h be k(l). Which is smaller: 7/2 or h?
7/2
Let g = 217/110 + 13/10. Which is smaller: 2 or g?
2
Suppose -5*c + 30 = 2*a + 2*a, 2 = c. Let j be (0 - 1)/(5/a). Which is bigger: j or 0?
0
Suppose 5*p + 2*g + 8 = 0, 2*p - g + 4*g + 12 = 0. Let k be (0 - p)/1 + 0. Suppose -4*q + 4 + 0 = k. Is 1 greater than or equal to q?
True
Suppose -40 + 5 = -5*p + 5*f, 15 = 5*f. Let h be (-56)/(-7)*(-5)/(-4). Do p and h have the same value?
True
Let q = 0.074 - -0.926. Which is greater: q or 3?
3
Suppose -1 = 4*v - 9. Let m(y) = -2*y**2 + 4*y**2 - 3 - y**v + y - y**3. Let b be m(0). Is b less than or equal to -1?
True
Suppose 3*l + 24 = 15*l. Suppose 2*r - 22 = 3*d, -d + r = -0*r + 7. Let v be 1/(-3) + d/(-6). Is v greater than l?
False
Let h = -85 - -443. Let i be (-4)/(-4) + 5383/(-15). Let o = i + h. Which is smaller: 1 or o?
o
Let o be -2 + (-8)/42*-12. Which is smaller: 1/4 or o?
1/4
Suppose 1 = -5*r + 11. Is r smaller than 4/3?
False
Suppose 3 + 7 = -s. Is s > -10?
False
Let m = 7/13 + -50/117. Is 9 at most as big as m?
False
Let v = -15.888 - 0.112. Is -5 > v?
True
Suppose 6*a = 4*a - 6. Let t be (-33)/(-15) - (-1 - a). Which is smaller: 0 or t?
0
Let n be (-2)/(-11) - 1200/66. Let y be 45/n*4/(-10). Which is greater: 2/7 or y?
y
Let g(s) = 2*s**2 - 2*s + 1. Let u be g(4). Let f = u - 18. Let v = f - 29/4. Which is bigger: -0.1 or v?
-0.1
Let l(x) = -x**3 - 7*x**2 + 3. Let q be l(-7). Suppose 3*w = 12, -q*w + 8 = 4*y - 4. Let f = -2 - y. Which is smaller: f or 1/4?
f
Let i(t) = -3*t**3 - 2*t**2 - t - 3. Let l be i(4). Let p = l + 406. Let c = p + -878/5. Is c smaller than -2?
False
Let d = -8 + 8. Suppose q - 30 = 4*q. Let w be (2/q - 0)*2. Which is smaller: d or w?
w
Let r = 9.2 + -8.2. Let v be -2 + (2 - 0)*1. Suppose v = 3*h - 3 - 0. Do r and h have different values?
False
Let i = 9.03 - 9. Let g = 0.07 + i. Is -1/2 < g?
True
Let w be 22/(-6) - (-2)/(-6). Let y be 37/w - 10/(-40). Is y != -8?
True
Suppose 2*k + o + 7 = 0, -k - 2*o = -5*o. Which is bigger: k or -4?
k
Let c = -0.5 + 1. Let z = -0.8 + c. Is z less than or equal to 0.1?
True
Let k(w) = 9*w**2 - w + 2*w**2 - w**3 - 4*w**2 + 4*w**2 + 16. Let x be k(11). Suppose x*p - p = 0. Is 0 less than p?
False
Let h be ((-1)/6)/(2/8). Is -8 equal to h?
False
Suppose 0 = z + 5 + 3. Let m(d) = -10*d**3 + 3*d - 2. Suppose 2*u - 5 + 2 = y, y = u - 1. Let t be m(y). Is z > t?
True
Let v = -4/465 + -3203/6045. Is v <= -2?
False
Let r = -8.15 - -0.25. Let m = r - -8. Let c = 4 - 3.93. Which is bigger: m or c?
m
Let w = 4 - 6. Let r be (-1 + 2)*9/(-3). Let a = 3 + r. Is w >= a?
False
Let j = -1 - -3. Suppose -1 = 4*n - 13. Is j at least n?
False
Let l(m) = -m**2 + 5*m + 2. Let y be l(5). Let k(h) = 5*h - 2 + 4 - y*h**2 + h**2. Let v be k(5). Which is smaller: v or 1?
1
Let y(b) = b**2 - 3*b + 4. Let o be y(3). Suppose 3*a - o = -a. Is a not equal to -1/6?
True
Suppose -5 = -4*g - 4*s - 17, 3*g + 7 = -s. Let h = -4 - -4.3. Is h at most as big as g?
False
Let j be -4 + (-2)/6*-3. Is 7/2 equal to j?
False
Let g be (3 - 1)*((-15)/(-6) - 1). Let z = 4.9 - 5. Which is smaller: z or g?
z
Let l(y) = 1 - 1 - 4*y - 4. Let c be l(-7). Suppose 4*n + 5*x = 11 + 6, -4*x + c = -2*n. Is n smaller than -3?
False
Let f(v) = -v - 5. Let q be f(0). Let z(p) be the first derivative of -p**3/3 - 3*p**2 - 6*p + 18. Let b be z(q). Which is smaller: 2/11 or b?
b
Let i(u) = -u. Let j(z) = 5*z - 2. Let r(p) = 4*i(p) + j(p). Let y be r(0). Let a be (2 - 1)/((-1)/2). Is y greater than a?
False
Let w(j) = j**3 - 2*j**2 - j - 1. Let x be w(3). Let u(t) = -5*t. Let g(c) = -4*c - 1. Let y(n) = 6*g(n) - 5*u(n). Let h be y(x). Is 0.3 smaller than h?
False
Let v be ((-6)/(-5))/((-27)/90). Suppose -6 - 6 = -4*n + 2*z, -2*n - 2 = 3*z. Suppose n*c + 12 = -c. Is v at most c?
True
Let t be (35/15 - 2)*18. Is 5 > t?
False
Let k be (-3)/(-18)*4 + -1. Let d be 3/(-2) - (0 + -2). Which is smaller: k or d?
k
Let j be -3 + 5/(-25)*-14. Which is greater: -1 or j?
j
Let l = -1.7 + -2.3. Which is smaller: l or -1/4?
l
Let y be 9/15 - ((-367)/105 + 4). Let s(w) = -w**3 + 2*w**2 - 1. Let h be s(2). Which is greater: h or y?
y
Let w be (1998/1040 - 2) + (-1)/(-8). Which is smaller: w or 0?
0
Suppose -4*s - 20 = 0, -6*s = -3*k - 3*s + 18. Let a be 1*(k + (-3 - 1)). Which is bigger: a or -8/3?
-8/3
Let m = 31051/76010 - -2/3455. Let p = 41/154 - m. Is p <= 0?
True
Suppose 3 - 4 = q. Let a = -0.5 + 0.5. Let c = a - 0.3. Is q less than c?
True
Let n be (-15)/17 - (-10 + 9). Is -1 less than n?
True
Suppose -3*f = -10 - 17. Which is greater: f or 8?
f
Let t = -8.98 + -0.02. Let m = t - -8. Are 13 and m equal?
False
Let p be (-2)/((-4)/(-3)) - 0. Let c = 11 + -8. Let m be -3 - (c - (-1 + 4)). Is p at most m?
False
Let a = 22 - 375/17. Is a greater than or equal to 1?
False
Let s = 180 - 183. Let o = -1 - 1. Which is smaller: o or s?
s
Let g = 6 - 7.4. Does g = 0.1?
False
Let z = -1440/11 - -131. Let x = 6 - 3. Let h be 12/3 - x - 0. Is h < z?
False
Let k(n) = n**3 - 6*n**2 - 2*n + 4. Let i be k(6). Let l = -10 - i. Let b = 0 + -1. Which is smaller: b or l?
l
Let h be 4/((-3 - 0)/6). Let g be 1*2*(-12)/h. Suppose -g*n + 0 = 3. Which is bigger: n or -2?
n
Suppose -3*r - 2*w + 34 = 0, -r = -2*r + w + 13. Let n = -6 + r. Is 1 at most n?
True
Let p = -2 + 3. Suppose 20 = -5*z, 0 = j + 3*z + 15 - 6. Is p smaller than j?
True
Let s be (-94)/(-6) - (-2)/(-3). Let c = s + -15. Which is smaller: c or 1/6?
c
Suppose 2*s + 2*s = -3*q + 94, -147 = -4*q - s. Is q > 38?
False
Let q = -30 + 23. Is q at least as big as -0.2?
False
Suppose 0*s - 3*s + 27 = 0. Suppose 4*a + s = a. Let v be 3/a - (1 + 4). Are -6 and v nonequal?
False
Let k = -112 - -62. Let p be k/15*6/(-4). Suppose v - 3*v + 3*o = 9, 0 = -p*v + 3*o - 9. Is v less than or equal to -3?
False
Let z(b) = -b**3 - 5*b**2 - 5*b - 3. Let x be (6/(-2) - -2) + -3. Let w be z(x). Which is greater: w or -1?
w
Let b(l) = 9 + l - 2 - 1. Let n be b(-7). Let s be n + 2 + -1 + 1. Is 1 at least s?
True
Let x = -1.4 + 1.59. Let z = x - 0.39. Which is smaller: -1 or z?
-1
Suppose -m - 12 = 3*m, -2*m = 4*c - 10. Suppose -c*k - 18 = r, 0 = 3*k + 3*r + 28 - 10. Let x = k + 4. Are x and -0.3 nonequal?
True
Suppose -f + 2*f - 3 = 0. Suppose 2 = -f*q + 5*q. Is q > 1?
False
Let d be 2/9 - (-852)/54. Which is bigger: d or 17?
17
Let k be (4/6)/((-4)/(-6)). Let w(g) = g**3 - 22*g**2 - 22*g - 22. Let p be w(23). Is k less than p?
False
Let g be ((-5)/20)/(2/(16/6)). Which is greater: -1/39 or g?
-1/39
Suppose -1 = 4*l - 5. Let g(h) = h**3 - 4*h**2 + 2*h - 6. Let m be g(4). Do l and m have the same value?
False
Let h = -7055/8 - -883. Let u = h - 47/56. Which is smaller: u or -0.2?
-0.2
Let v(k) = k**2 - 2*k - 1. Let g be v(-1). Let h(s) = -s**3 - 6*s**2 - 4*s + 7. Let r be 5*(-2)/(-6)*-3. Let i be h(r). Do g and i have the same value?
True
Suppose 0 = b - 2 + 8. Let o be (4 - 123/24)*4. Which is bigger: b or o?
o
Let s(b) = -b + 6. Let h be s(8). Let l be (1 - h) + (-355)/115. Is l smaller than -0.1?
False
Suppose -1 = 4*o - 25. Let q = o + -5.