alse
Let z be (-2)/(-6)*9/21. Let q be 8/4*(-3)/(-6). Which is smaller: z or q?
z
Let x = 12 - 0. Let l = -8 - -7. Which is bigger: x or l?
x
Suppose -6 = j - h, -4*j - 4*h + 16 = -7*j. Let q be j - ((-4)/(-2) + -2). Is -8 equal to q?
True
Let f = 0 + 6. Let u(p) = p**3 - 5*p**2 - 5*p - 1. Let q be u(6). Is f at most q?
False
Let p = -19 + 70. Which is greater: 52 or p?
52
Let r(j) = 2*j**3 + 2*j**2 - 2*j - 1. Let m be r(-2). Let f = 3 + m. Let x(q) = q**2 - 3*q + 1. Let c be x(2). Which is greater: c or f?
c
Let z = -2 - -1. Let y = 618 + -9274/15. Let c = y - -1/10. Which is bigger: z or c?
c
Let o be 12/(-10)*(-25)/10 + 84. Are o and 86 equal?
False
Suppose -a = -3*a - j - 16, j - 54 = 5*a. Let y = -7 - a. Which is smaller: 5 or y?
y
Let q(g) = -g**3 - 5*g**2 - g - 3. Let b be q(-5). Suppose 2*a + 6*m = 3*m - 17, -10 = b*m. Let r = 48 - 191/4. Is a <= r?
True
Let f = -31 + 49. Suppose -3*w = w - 20. Let h be w/f + (-2)/(-9). Is h smaller than 1?
True
Let n be -1 + ((-2)/(-1) - 4). Let o(c) = c**3 - 6*c**2 + 5*c - 2. Let i(y) = 3*y - 1. Let l be i(2). Let t be o(l). Is t != n?
True
Let k be (-2)/7 + (-22)/70. Let n(r) = r**3 - r**2 + r + 2. Let a be n(-1). Which is smaller: k or a?
a
Suppose -9 - 16 = 5*m. Is -2 > m?
True
Let f be 1*(4/(-4))/1. Which is greater: -1/6 or f?
-1/6
Let v = -1 + 1. Suppose 6 + v = -3*t. Suppose 2*r - 4 = 4*s + 7*r, -4*s = -4*r + 4. Is s at most t?
False
Suppose 280 = -2*h - 3*h. Is h at least -57?
True
Let a(p) = p**3 - p + 1. Let v be a(1). Suppose -2*l - 2 = -3*l, 5*l + 14 = -3*n. Let h = 57/7 + n. Which is smaller: h or v?
h
Suppose 5*r + 2 = -4*n + 1, n = 1. Which is bigger: -4/19 or r?
-4/19
Let l = 0.107 - 0.207. Is l > 1/20?
False
Let j = 2.2 + -2.1. Let d = 6.8 + -1.8. Which is smaller: j or d?
j
Suppose 2*x - 4*x - 2*p = 42, 5*x = 5*p - 65. Is x > -18?
True
Suppose -157 = 17*k + 744. Are 0.2 and k equal?
False
Let k be 1 + 1 + -4 + 3. Suppose -7*x - 9 = -2*x + y, 3*x + 5*y = -k. Is -1 bigger than x?
True
Suppose -5*w - 5*j + 14 = -w, 3*w + 2*j = 7. Suppose 0 - 5 = 2*i + 5*z, -3*i - 3 = 3*z. Is i <= w?
True
Let r = 0.33 + 0.07. Let u = r + 0.6. Let y = 4.1 + -4. Are y and u non-equal?
True
Let x = 10/13 + -33/26. Let f(z) = z**3 - 5*z**2 - 6*z - 4. Let o be f(6). Let a(u) = 2*u + 6. Let p be a(o). Does x = p?
False
Let v = 1/45 - -13/90. Is -2 bigger than v?
False
Let t be (-2)/(-3)*21/(-2). Let w = t - -4. Suppose 4*l = 3*v - 1 + 4, -2*v - 13 = l. Is w bigger than l?
False
Let o be 4/3*3/2. Let q = 269 + -269. Is o < q?
False
Suppose 6*d - 2*d = 12. Let s be (-5)/d + 4/(-6). Is s smaller than -1?
True
Suppose -5*n - v - 12 = 0, -5*v + 5 = -3*n + 9. Is -10/13 less than n?
False
Let o = 71/4 + -18. Suppose 3*b = 4*z + 18, -5*b = -3*z + z - 16. Suppose -7 = 3*i + b*d, 2*i - 5*d - 22 = 5*i. Which is greater: i or o?
i
Let i(o) = 2*o**3 + 4*o**2 + 3*o + 2. Let x be i(-2). Let y be -6*(-3)/((-27)/6). Is y <= x?
True
Suppose 0*g + 3*g = -3*n + 24, -4*n = -3*g - 11. Suppose -g = 2*o + 3*i, 4*o = -0*i - 4*i - 8. Let w be (-1)/(-3) - 2/o. Which is greater: w or 2?
2
Let g = 8 + -4. Suppose 80 = 4*k + 4*q + 12, 12 = g*q. Let p = 10 - k. Which is bigger: p or -3?
-3
Let n be 2/(-7) - (-80)/(-14). Let c be 2 + n/(-3) + -1. Suppose z - c = 2*z. Is -3/2 less than z?
False
Let q(a) = a**3 + 10*a**2 - 11*a + 8. Let b be q(-11). Let i = -4 + b. Let o = 0.2 + -0.1. Does i = o?
False
Let i = -7 + -8. Are -12 and i non-equal?
True
Let w be 4/150*(-12 - -18). Which is greater: w or 0?
w
Let f be (-1)/42*107 + (-30)/105. Is f equal to -3?
False
Let j be 0/1 - (-2)/(-6). Let l(k) = k**3 - 7*k**2 - 6*k - 10. Let b be l(8). Suppose b*s = s. Is s <= j?
False
Let c = 1 + -1. Let h = c + 1. Let w = h - 1.3. Is w not equal to -0.1?
True
Let n(u) = u + 5. Let b be (-8)/(-44) + 158/(-22). Let q be n(b). Which is smaller: -3/4 or q?
q
Let z = 0.6 + 2.4. Let n = z + 1. Let c = -4.1 + n. Is 0.3 at most as big as c?
False
Let r be (-3)/(-2)*-10 - 4. Are r and -18 equal?
False
Let q be 4*(2 + 16/(-10)). Which is greater: q or 1?
q
Let o = 3 + -3. Suppose o = -3*p + 1 + 2. Let x be 2/9 - (-32)/18. Is p bigger than x?
False
Suppose 0 = -l + 5*y + 16 + 9, -5 = 3*l + y. Suppose 0 = u - l - 2. Suppose 0*f + 2*f = -3*a + u, 12 = 3*f. Which is smaller: a or -1?
a
Let c = -10 - -16. Suppose 2*j - c*j = -12. Suppose -2*o - 1 + j = 0. Which is smaller: o or -1?
-1
Let i(l) = -2*l**3 - 1 + l**3 - 2*l**2 + 6*l**3 + 2*l - l**3. Let q be i(1). Which is smaller: 13/4 or q?
q
Let r = -39 + 39. Which is smaller: r or 0.21?
r
Let n = 88 + -108. Is n greater than or equal to -20?
True
Let l be ((-2)/20)/(8/(-20)). Suppose 7*b = 2*b + 20. Which is greater: l or b?
b
Let s be -2 - (-1 - 0/(-3)). Let d = s + 1. Let a be d/2 + 1/(-3). Which is greater: a or -1?
a
Suppose -87 = 5*n + 2*b, -n + 5*n + 64 = 4*b. Is n less than or equal to -17?
True
Let z = -0.076 - -0.296. Is -1 less than or equal to z?
True
Let z(i) be the first derivative of -i**2/2 + 3*i + 3. Let v be z(0). Is 3 at least v?
True
Let y(j) be the first derivative of j**3/3 + 3*j**2/2 + j + 3. Let z be y(-3). Let f = 0 + -1. Is z >= f?
True
Let t = -0.3 + 0.4. Let s = 0.3 - t. Let b be (4/3 - 1) + (-8)/12. Does b = s?
False
Let k(q) = q**3 - 10*q**2 + 2*q - 15. Let l be k(10). Suppose 4*o + o - l = 0. Is o smaller than -2/19?
False
Let b(q) = -7*q. Let j be b(-7). Is 50 at most j?
False
Suppose g + 4*x = 3*x - 2, 4*g - x = 12. Suppose 5*w - 2*c + g = 4*w, 2*c - 6 = 0. Suppose w*d = -d - 5. Which is smaller: d or 4/9?
d
Let x be (-1 + 1)*(-13 + 12). Let n = 1025840 - 15393313/15. Let l = n + 381. Which is greater: x or l?
l
Let w(m) = 3*m - 2. Let s be w(2). Let y = s + -4. Is 1/6 >= y?
True
Let u(z) = -z**2 - z + 7. Let o be u(0). Is o >= 7?
True
Let c = 6 - 6. Let k be 3/9 - (-9)/(-15). Which is smaller: c or k?
k
Let i be 3/(-2)*20/50. Let y = 2 - 3. Is i not equal to y?
True
Let r = -7 - -18. Let a = 9 - r. Which is smaller: -5 or a?
-5
Suppose 9*c = 7*c + 40. Are c and 20 unequal?
False
Let l be 0 - 1 - (122/(-116) - 0). Which is smaller: l or 0?
0
Let k = -1.4 - 0.6. Let j = k + 1.7. Is j greater than or equal to 0.1?
False
Let j(g) = -3*g**2 - 26*g - 21. Let x(n) = n**2 + 9*n + 7. Let s(w) = 2*j(w) + 7*x(w). Let m be s(-7). Let v be (12/m)/(2 - 0). Which is smaller: 0 or v?
v
Let n = -36 - -36.3. Is 3/5 less than n?
False
Let z = 71 - 495/7. Suppose 5*j = 117 - 27. Let d be (-12)/j*(-6)/8. Which is bigger: z or d?
d
Let b = 9.93 - -0.07. Let g = -16.9 + 17. Which is smaller: b or g?
g
Let i = 8 - 9. Let a be 2/8 + 20/(-32). Does a = i?
False
Let w = -874/651 + 2/217. Which is bigger: w or 0?
0
Let u = -3 - -3. Let j = u - 0.3. Let m = j + 0.4. Which is bigger: m or 2/5?
2/5
Suppose 18 = -4*b - 2*m, -2*b + 3*m + m - 14 = 0. Let c = 9 + b. Suppose 0*p = -c*p + 4. Is 1 at least p?
True
Let o = 66.4 - 1.4. Which is smaller: o or -2/3?
-2/3
Suppose 2*b + 5 - 15 = 3*c, 3*b - 5*c - 15 = 0. Let n = 7 - b. Let z = 2 + -1. Which is greater: z or n?
n
Suppose 0*d - 192 = -4*d. Suppose w - 4*p = -0*p - 23, 0 = 4*w - 5*p + d. Let a(q) = q**3 + 7*q**2 + q + 4. Let k be a(w). Do -3 and k have different values?
False
Suppose 0 = -2*o - 4 + 10. Suppose -10 = o*m - a, 18 = -2*m - a - 4*a. Is m != -3?
True
Suppose 6 = 2*t - 2*u, t - 6*t + u + 23 = 0. Which is smaller: t or 6?
t
Let s be 105/170 + 1/(-2). Is s at most -2/3?
False
Suppose 0 = 4*l - 11 + 3. Suppose -4*t - l = 2. Is t at least -4?
True
Let d(z) = z**3 - 6*z**2 + 5*z - 1. Let a be d(5). Is 4 at most a?
False
Let k = -1 + 0. Let g be (-3)/(0 - (-15)/2). Is g greater than or equal to k?
True
Suppose 7*s + 5*s = -528. Is 0 at least as big as s?
True
Let j be (21/60)/(3/(-2)). Let v = j - 29/30. Is v less than or equal to 0?
True
Suppose -c + 12 = -2*z - 5*c, 7 = -z - 3*c. Let a = z - -7. Suppose 3*o + 3*n = -6, 2*n - 2 = -a*o - 6. Which is smaller: -1 or o?
-1
Suppose 0*f = -2*f + 2. Let n be (-1)/5*(-2)/(-1). Is f equal to n?
False
Let c be (-1)/5 + (11268/30)/(-2). Which is smaller: c or -189?
-189
Let p = -2/71 - -79/284. Which is smaller: -4 or p?
-4
Suppose -146 = 5*z + 3*c, 0 = 3*z - 4*c + 2*c + 80. Let j be 22/z + (-10)/(-35). Which is smaller: j or 0.1?
j
Let j(n) = -n + 12. Let i be (-11)/(((-2)/2)/1). Let m be j(i). Let u be (-3 - -3)/(m*-