se -2*y + 8 = -y. Suppose -2*w = -y*w - 30. Which is smaller: -6 or w?
-6
Let p(m) = -m**2 + 2*m. Let w be p(2). Does 0 = w?
True
Suppose -11 - 1 = -t. Let f = t - 9. Which is bigger: f or 2?
f
Suppose -4*l = 5*h + 92 + 80, 2*l = 3*h + 90. Which is smaller: h or -33?
-33
Let d be (-2478)/13090 + 2/10. Is d greater than -1?
True
Let r = 3314/21 - 470/3. Is 2 at least r?
True
Let m = -4 - -24. Suppose 2*k - m = -3*k. Let b = -4 + k. Does b = 1?
False
Let z = 6 - 2. Suppose -2*c + 0 = z. Which is smaller: 0 or c?
c
Suppose -11 = y - 32. Is y > 20?
True
Let c be (-4 + 3)/((-1)/(-3)). Let q be (c + -3)/((-4)/(-6)). Which is bigger: q or -8?
-8
Suppose -2*l - 6 = -2*x, -x + 0*x - 2*l = 0. Let m be (32 - -1) + 1/x. Let g = -33 + m. Which is smaller: g or 1/3?
1/3
Let r(h) = -h**3 + 8*h**2. Let l be r(8). Let o = l + -2. Let x be (1 - 10/4)*o. Is x > 4?
False
Let x = 1.2 + -1. Let i = x + -1.2. Is -1/3 at least as big as i?
True
Let k(s) = -s**3 - 7*s**2 - 6*s. Let q = 16 + -10. Suppose -q*i = -i + 30. Let o be k(i). Is 2/19 > o?
True
Let d be (-6)/(3 + 1 + -3). Is d not equal to -4?
True
Let k = -206 - -207. Which is greater: k or -75?
k
Suppose 0 = 2*l - 5*l + 18. Let j(a) = l*a - a - 6*a + 5. Let o be j(4). Is 2/13 greater than or equal to o?
False
Let o be (10/170)/((-22)/4). Which is smaller: 1 or o?
o
Let g(u) = 2*u**2 - 7*u + 2. Let s be g(3). Which is smaller: s or -0.048?
s
Let j be 18/12*(-2)/(-3). Let k be (-2 + 3)/1 - j. Let t be 19/(-60) + 4/10. Which is smaller: k or t?
k
Let v = -1/11 - -17/66. Let u be (1*2)/(15/3). Are v and u equal?
False
Let v be 2*(1/3)/((-4)/(-3)). Let l = -0.2 - -0.2. Which is smaller: v or l?
l
Suppose -24*r + 18*r = 0. Let y be 0/(-2) + 6/13. Which is bigger: y or r?
y
Let s(r) = -r**3 - 3*r**2 - 2*r - 4. Let l be s(-3). Suppose 5 + 1 = l*v. Let c be -3*(-42)/(-45) + v. Does c = 0?
False
Suppose 7*z + 24 = 4*z. Let u = -1 - z. Is 5 greater than or equal to u?
False
Let x(u) = u**3 + 2*u**2 - 3*u - 3. Let k be x(-2). Let f be ((-12)/18)/(1/k). Which is smaller: f or -1?
f
Let p = 36 - 17. Let r = -17 + p. Is r at most -0.01?
False
Let r = -1 + 7. Suppose 3*c - 17 = -4*k, -5*c - 3*k + 11 = -21. Is r at most as big as c?
True
Let d = 51 - 52. Is d at least 2/109?
False
Let l = -5 + 4. Let f(t) = -2*t**3 - t**2 - t. Let a be f(l). Is -2 equal to a?
False
Suppose 10 - 2 = -d. Let q = -14 - d. Which is greater: 0.1 or q?
0.1
Suppose -o - 19 = -8. Let h = 9 + o. Let d be 1 + h + 1/1. Which is greater: 1 or d?
1
Let w be 3/2*4/14. Suppose 10 = -s + 12. Is w smaller than s?
True
Let l = -0.73 + 22.73. Do l and 0.1 have different values?
True
Let b = 13 - 6. Suppose b*p - 15 = 2*p. Let i be -4 - ((-6)/3 + p). Which is smaller: i or -6?
-6
Let q be ((-480)/25)/(6/(-20)). Suppose z + 3*z = q. Is 15 not equal to z?
True
Let s = 0.67 + -0.87. Let k = 0.1 - 0.1. Is k not equal to s?
True
Let o be (-10)/(-140)*5 + 1/7. Is 7/6 less than or equal to o?
False
Let b = 0 - -5. Suppose -5*w + 12 = -4*n, 5*w + 2*n - 28 = -2*n. Let h = w - b. Are h and 2/9 non-equal?
True
Let m be 0 + 3 - (-4)/(-4). Let r(y) = -y**3 + 3*y**2 - 4*y + 4. Let u be r(m). Which is bigger: u or -7?
u
Let x(g) = g**2 - 2*g + 1. Suppose -2*m = 2*m - 8. Let o be x(m). Are o and -2/7 equal?
False
Let l be (-24)/(-84) + 80/14. Which is bigger: 5 or l?
l
Let u = -50 - -71. Suppose 3*i = 4*n + u, -3 = -9*i + 4*i - 4*n. Are i and 1 equal?
False
Let b(a) = a**3 + 2*a**2 - 3*a + 4. Let f be b(-3). Suppose 3*o = -0*o + 9. Suppose c = h + 6, 0 = -o*c - 2*h + 6*h + 20. Is c greater than or equal to f?
True
Suppose 0 = -t - w + 9, 0 = -2*w + 10 - 0. Let u = -3 + t. Which is smaller: u or -1/5?
-1/5
Suppose 0 = 4*m - 4*f, -4*m - 4*f = -3*f. Is m smaller than 1/4?
True
Let i = -29 - -15. Which is smaller: i or -15?
-15
Let d be 4/20*2*98. Let f = d + -2166/55. Is -1 greater than or equal to f?
False
Suppose 0 = 2*d - 6*d. Suppose 5*o = x + 8, -3*o = x + o - 10. Suppose a - x = -2*a + c, -4*c = 5*a + 25. Is a equal to d?
False
Let l(r) = r**3 - 11*r**2 + 2*r - 12. Let v be l(11). Which is greater: 5 or v?
v
Suppose 0 = -q + 7 + 3. Suppose q = w - 6*w. Let n be (1/(-2))/(1/6). Which is smaller: n or w?
n
Let j = -0.11 + -0.09. Let i = 1.2 + -1.1. Is i smaller than j?
False
Let p be 2/(-6)*4 + 2. Let u(s) = -s + 3. Let g be u(3). Which is smaller: g or p?
g
Let q(n) = n**2 - 19*n + 19. Let p be q(18). Which is bigger: p or 2/47?
p
Suppose 0 = 4*m + 3*d - 21, -18 = m - 2*m - 5*d. Suppose j + m*j + 112 = -3*o, j + 83 = -2*o. Let c = -131/3 - o. Which is smaller: 1/2 or c?
c
Suppose 6*p - 6 - 18 = 0. Are 4 and p unequal?
False
Let c(k) = k + 8. Let d be c(-7). Let v(x) = -2*x + 35. Let p be v(17). Is p equal to d?
True
Let l be (1 - 10 - 1) + 4. Are l and -7 non-equal?
True
Let b(x) = -x**3 + 5*x**2 + 8*x + 3. Let k = -7 - -13. Let i be b(k). Let y be 20/i*(-2)/4. Are 0.2 and y non-equal?
True
Let r = -0.403 + -0.097. Which is bigger: r or 1?
1
Suppose 5*q + 5 = -0*a + 5*a, -4*a + 6 = -2*q. Suppose -3 = -3*r + 6. Suppose a*f + 3 = r*f. Is f != 2?
True
Suppose 0 = 2*t - 9 + 1. Let k be 4/8 - 6/t. Let l = 41/129 + 2/129. Which is bigger: k or l?
l
Let r = -0.46 + 0.06. Let d = r + 0.3. Let p = d + 0.2. Is -2 smaller than p?
True
Let w = 13 - 9. Let h = -3.9 + w. Let c = 13/2 + -7. Which is greater: h or c?
h
Let m be 765/12 - 3/(-12). Let d = m - 321/5. Which is greater: d or -1/6?
-1/6
Let v(i) = 5*i**2 + i + 2. Let s(l) = 11*l**2 + 3*l + 5. Let n(q) = 4*s(q) - 9*v(q). Let w be n(3). Which is smaller: w or 0?
0
Suppose 6*g + 297 = -3*g. Is g at most as big as -33?
True
Let f(x) = -8 - x**2 + 11*x - 4 + 4*x**2 - 4*x**2. Let p be f(10). Which is bigger: -1 or p?
-1
Let u = 10.9 + 0.1. Let y = -7 + u. Let s = y + -3. Which is smaller: 2/3 or s?
2/3
Let p = -32 - -31. Let k be (-2)/3*6/(-34). Is k at least as big as p?
True
Let d be 0 + 2 + 0 - -12. Let i be -1 + (-1)/(-6)*d. Is i at least -0.1?
True
Suppose 0*g = g + 4*m - 6, 0 = 3*g - 2*m - 74. Are g and 21 equal?
False
Let a be 1/7 + (-65)/(-35). Is a > 2?
False
Let c be (-3 + 2)*(-1 - 0). Which is smaller: c or 0.1?
0.1
Let c be ((-4)/(-6))/(2/12). Let r be 0/(-1 + (c - 2)). Which is smaller: -2/11 or r?
-2/11
Let s = 121 + -78. Are 43 and s nonequal?
False
Suppose 4*z - 40 = 2*u + 2*u, -5*z + 44 = -4*u. Let b be (-18)/4*(-16)/(-12). Is b greater than u?
False
Let l be (-1*3)/((-8)/24). Let j = -8 + l. Let z be 13/5 + (-4)/(-10). Which is bigger: j or z?
z
Suppose -5*q + 2*q + 75 = 0. Suppose -r + q = 4*r. Suppose -4 = 3*l + 4*a + r, -9 = -3*l + 2*a. Which is smaller: l or 3/4?
3/4
Let p(g) = 3*g**2 - g. Let u be p(-1). Let x = 10 + -8. Which is greater: x or u?
u
Let o be 153/(-6) + 2/(-1). Let l = o - -28. Is 1 greater than or equal to l?
True
Let w = 1859 - 20431/11. Which is smaller: -1 or w?
-1
Let u(a) = -a - 11. Let d be u(0). Let n = 16 + d. Suppose 3*m = n*m - 6. Are m and 3 equal?
True
Let w be (-147)/(-616) - (-1)/8. Which is bigger: w or -1?
w
Let u = -14.6 - -2.6. Let a = 0.08 - 10.08. Let h = u - a. Are 2 and h equal?
False
Let j = 95.6 + -95. Is 0 greater than or equal to j?
False
Let c = -1.4 - 0.6. Let b = c + 2.04. Let d = -0.26 - b. Does 1 = d?
False
Let v = -5 - -8. Suppose v*y - 4*l + 5*l = 0, -4*y + 11 = 5*l. Is 1/2 at most y?
False
Let a(z) = -z**3 + 11*z**2 + z - 10. Let i be a(11). Which is bigger: -3/10 or i?
i
Let c be (-18)/(-24) - 615/756. Which is smaller: 1 or c?
c
Let m(x) = x**2 - 5*x - 2. Let w be m(5). Suppose 2*z + 2*z = -4. Are w and z non-equal?
True
Let t = 20 - 18. Is 10/3 at most as big as t?
False
Let x = -8 - -8. Let b = x - 5. Are b and -5 nonequal?
False
Let u = -8 - -2. Let h = 5.7 + u. Is -0.1 less than or equal to h?
False
Let i = 21.9 + -23. Is -2 != i?
True
Let n(g) = -g**2 + 8*g - 8. Let a be n(6). Suppose 3*f + a = 2*m - 0*f, -m = 3*f + 7. Let s be (-2)/((-10)/(-50) - 17/(-15)). Is m greater than or equal to s?
True
Let d = -5 + 14. Let s = -13 + d. Let b be -4 - s - (0 - -2). Which is smaller: b or 0?
b
Let a = -176 - -181. Suppose 0 = r - 3 - 0. Is r > a?
False
Suppose b = u - 2*b + 309, 4*u - 4*b + 1252 = 0. Let d be 0 - (-5)/(u/(-6)). Which is greater: -1 or d?
d
Let o = 39.56 + 0.44. Which is bigger: 1 or o?
o
Let v = -12 - -12.3. Let n = 5 - 7. Let c = 4 + n. Which is