0.1. Suppose 4*m + 16 = -p, m - p = 3*p + 13. Which is greater: a or m?
a
Suppose 3*b = -b + 3*r + 19, 0 = -2*b - 5*r + 3. Suppose 2 = -b*o + 2*o. Which is greater: o or -2?
o
Let d(c) = 2*c + 10. Let x be d(-7). Let l = x - -4. Are l and 0 non-equal?
False
Let g = 1.24 - 0.8. Let x = -0.14 + g. Let o = 0.3 - 0.1. Are x and o equal?
False
Let d(j) = j**2 + 2. Let q be d(4). Which is smaller: q or 19?
q
Let k = 28 + -4. Is k greater than or equal to 3?
True
Let b be 4 - (9 + 2) - -4. Is -4 at most as big as b?
True
Suppose 5*j + 129 = 4*s - 7*s, s + 99 = -4*j. Let a = -51/2 - j. Suppose -2 = 5*q + 8. Which is smaller: a or q?
q
Let i(c) = c**2 + 2*c + 1. Let k be i(-1). Let n = 590/7 - 84. Is n != k?
True
Let f = -6.5 + 6.6. Which is smaller: 9/2 or f?
f
Suppose 3*a - a + 6 = 0. Let g(s) be the first derivative of s**3/3 + s**2 - 2*s + 3. Let q be g(a). Which is bigger: 2/5 or q?
q
Suppose 27 = 6*k - 63. Is -2/3 bigger than k?
False
Let s be (6/1)/(12/8). Let t be 15/(-6)*s/(-5). Which is smaller: 6/7 or t?
6/7
Let s(w) = -w**2 - 9*w - 9. Let x be s(-7). Suppose x*v + 1 = 2*i + 2*i, 0 = 2*i + 4*v + 6. Let c = -505/76 + 27/4. Which is bigger: i or c?
c
Suppose -4*p + 6 = -6*p. Suppose 2*a + 2 = -3*a + u, 10 = 5*a - 5*u. Let q be (6 + a)*(-4)/10. Are q and p non-equal?
True
Let z(n) = -n**3 + n + 10. Let p be z(0). Suppose -m + 4 = 5*q, 20 = 5*m + q - 0*q. Let b be 2/(-5) + m/p. Which is greater: b or -4/7?
b
Let a = 13 + -9. Suppose a*v + 27 = v. Let z be ((-2)/6)/((-3)/v). Is z <= -1?
True
Let b = 0.015 + 2.285. Let a = -1 + b. Let w = a + -1.1. Which is greater: -0.2 or w?
w
Let n(b) = b**2 - 9*b - 4. Let a be n(9). Let x be -2 - (5 - 3) - -1. Which is bigger: x or a?
x
Let x = 7 - 3. Suppose x*d - 4*v + 11 + 5 = 0, -v = -2*d - 3. Let t be (4 + -4)/(2*d). Are -3/5 and t equal?
False
Let r(t) = -t**3 + 2*t**2 + 3. Let h be r(2). Suppose 2*c - 10 = -0*c. Suppose -2*b - h = -f, c*f = 3*b - 1 + 2. Do -1 and f have different values?
False
Let s = 0.06 + -7.06. Let h = -8 - s. Let i = h + 2. Is i smaller than -0.1?
False
Let x(r) = r**2 - 7*r + 1. Suppose 3*t - 4 = 17. Let n be x(t). Let y = 0 - n. Is -3/2 < y?
True
Suppose -469 = -8*t + t. Which is bigger: t or 68?
68
Let m be (-3)/(81/33) - 6/(-27). Which is bigger: m or -5/17?
-5/17
Let f(o) = o**3 + 7*o**2 - 9*o - 12. Let z be f(-8). Let w be 21/6 - (-2)/z. Let v = w - -1. Is 5 < v?
False
Suppose -4*l - 16 + 12 = 0. Are l and -1/72 non-equal?
True
Let n(x) = x**3 - 10*x**2 - 6*x + 7. Let o be n(7). Let k = o + 1272/7. Which is smaller: -11 or k?
-11
Suppose 0*o - 4*u + 64 = 3*o, 0 = o + 4*u - 32. Let q be o/30 + 1/(-3). Is q at least 0?
True
Let j = -48 + 57. Is j bigger than 10?
False
Let t = 62 - 32. Let a = t + -42. Which is greater: a or -11?
-11
Let x = 0.08 + 0.52. Let m = x - -0.4. Let j = 0.6 - m. Is j <= -2/3?
False
Let f = -13 - -7. Let l(a) = -a - 2. Let b be l(f). Suppose 0 = -2*y + 3*y + b. Which is smaller: y or -3?
y
Let j = -16 - -4. Let w = j + 11.9. Which is smaller: w or -3/7?
-3/7
Let c = -0.11 - -1.11. Let v = c + -8. Is -1 > v?
True
Let l(d) = -d**3 + 23*d**2 - 22*d. Let n be l(22). Which is smaller: n or -2/127?
-2/127
Let b = 41 - 45. Is 3 bigger than b?
True
Let f(x) = 2*x + 16. Let r be f(-3). Is 11 greater than r?
True
Let u = -0.02 + 0.42. Let x = u - 0.5. Let a = x + 0.2. Is a at most -2/11?
False
Let k be 9/(3 - 12/8). Which is smaller: 5 or k?
5
Let b(o) = 1 + 3 - 2*o - 3. Let a be b(-1). Let m = 3 - a. Is 2 >= m?
True
Let f = 59 - 121/2. Is -1 >= f?
True
Suppose i + 0 = -4. Do -7/2 and i have the same value?
False
Let w = 15 + -28. Are w and -12 nonequal?
True
Let p = -135.31 + 24.41. Let t = 118 + p. Let b = t + -7. Do -3 and b have the same value?
False
Let n be (-66)/9*(-6)/4. Let d = n + -11. Is d less than -6?
False
Suppose 4*y = -0*y - 4*h - 16, 0 = -h - 2. Let i be ((-48)/(-15) - 3)*y. Are 1 and i equal?
False
Let p = -1 - -3. Suppose o = -2*j - 4, -2*o - p*o = 4*j + 16. Suppose j = 4*h - 5*h - 4. Are -5 and h unequal?
True
Let l = 3 + 6. Let q(j) = j**2 - 10*j + 11. Let w be q(l). Suppose 0*m + w*m = 0. Which is bigger: -2/3 or m?
m
Suppose 0*c + 6 = 4*i - 2*c, 2*i = -3*c + 23. Which is smaller: i or 5?
i
Let j be (-8)/(-10) - 4/10. Are 1 and j unequal?
True
Let z = -0.09 + 5.09. Which is smaller: 0.2 or z?
0.2
Let t(j) = j + 11. Let v(s) = s**2 + 11*s + 10. Let n be v(-9). Let u be t(n). Let l be (u + (-3 - -1))*1. Which is smaller: l or 2/3?
2/3
Suppose -26 = 4*s + 2*m - 4*m, 10 = -2*s - 2*m. Suppose 0 = 3*i - 0*i - 3. Suppose -r + i = 3*r + 5*a, -26 = r - 4*a. Do r and s have different values?
False
Let n = -2 + 5. Let q(r) = r**2 - 2*r - 4. Let k be q(3). Let y = 3 + k. Which is bigger: n or y?
n
Suppose 3*b - 10 = -2*b. Let l = 1 + 1. Is b at least as big as l?
True
Let g(t) = -t**3 + 3*t**2 + t. Let z be g(3). Suppose -4*w - 1 = -13. Is z greater than w?
False
Suppose 2*h - 9 = 5*c, 0*h = -h - 3. Let q = c + 9. Let g = 7 - q. Is g != 1/13?
True
Suppose 75 + 46 = h. Which is greater: 2/7 or h?
h
Suppose 3*y = -6, 3*a - 646 = y - 2*y. Suppose -3*h - a = -p + 57, -2*p - h = -511. Let d be 3 - (-2 + p/51). Is -1 > d?
False
Let d(o) = o**3 + 7*o**2 - 10*o - 12. Let i be d(-8). Let q be (i + (-1 - 3))/2. Is q >= 0?
True
Let o = -13895/36 + 386. Is o less than 0?
False
Let t be (1 + 1)/(-2)*-1. Is t bigger than 2?
False
Let r be ((-1)/29)/((-7)/14). Let s = r + -68/145. Which is smaller: 0.1 or s?
s
Suppose 0 = -n + 18 - 6. Let z = n + -13. Suppose 10 = -3*v - 5*d, 5*d = -9 - 1. Is v != z?
True
Suppose -r - 5*t + 7 + 9 = 0, 5*t - 11 = 4*r. Let s be -7*r/((-21)/6). Which is bigger: 1/2 or s?
s
Let n(t) = t**2 + 5*t + 5. Let s be n(-2). Let u = -0.4 + -1.6. Let j = -3 - u. Do s and j have the same value?
True
Let h = 17 - 11. Let c = h + -7. Which is greater: c or -1/5?
-1/5
Let x be (-36)/(-7) - (-10 - -13). Is 1 less than or equal to x?
True
Let o(m) = m**3 + 12*m**2 + 4. Let a be o(-12). Suppose 11 - 6 = t. Is a greater than t?
False
Let l be (3/(-8))/(16/(-64)). Let r(o) = -o + 6. Let d be r(5). Which is smaller: d or l?
d
Let q = 0.1 + -0.3. Let w = -2 + 1.9. Let z = -0.2 - w. Which is greater: z or q?
z
Let c(w) = 3*w. Let y be c(3). Suppose -y*q = -4*q + 5. Which is smaller: q or -2/21?
q
Suppose -5*m - y + 4*y = -1, 2*y = 2*m - 2. Is -12 != m?
True
Suppose 0 = -7*c + 3*c - 8. Is -18/11 less than c?
False
Suppose t - 40 = -7*t. Do t and -0.07 have different values?
True
Let p be (-2 + -3)*7/1. Let b be (-6)/p + (-4)/(-10). Is b <= 2?
True
Let q be -1*(1 + 4*-1). Let b = -6 + 11. Which is greater: b or q?
b
Let v = -23862 + 1622525/68. Let s = v + 10/17. Is -2 > s?
False
Let t be 4/(-5)*1/(-2). Suppose 5*m + 13 = -2*o - 4, 0 = 2*o - 4*m - 10. Which is greater: t or o?
t
Suppose -5*m - 2*l + l - 18 = 0, 12 = -4*l. Let z = -2 - m. Which is greater: -4/9 or z?
z
Let t = -1.4 - 0.6. Let q = t - 0. Let y = 0 + q. Which is bigger: -1 or y?
-1
Suppose -3*q + 4*j = 37, -2*q - 2 = 2*j + 4. Let h = 6 + q. Which is smaller: -3/5 or h?
h
Let c be ((-36)/20)/(1/(-5)). Does c = -3/2?
False
Let g = -0.03 - -0.43. Let q = 1.1 + -0.1. Is g greater than q?
False
Let l = 1939/860 + -1/215. Is l at least as big as 1?
True
Let v(k) = -3*k - 3. Let j be v(3). Let a be 35/11 - j/(-66). Let g be (-15)/(-3) + (-2 - -1). Which is smaller: a or g?
a
Suppose -37 = 4*v + h, 13 = -2*v - 5*h - 10. Does -9 = v?
True
Let z = 2 - 2. Let q be 9/(-42) - z/2. Which is bigger: q or -1?
q
Suppose u = -4*u + 15. Suppose u*b = 19 + 26. Let p be (2/5)/((-33)/b). Is 0 greater than p?
True
Suppose i - 2*n = -3, -i + 2*n = -2*n + 7. Is i greater than or equal to -2/53?
True
Suppose -5*i - 4*a - 11 = 0, 9*i - a = 4*i + 9. Suppose -v = v. Suppose 4 + v = 4*t. Are i and t non-equal?
False
Let r = 0.2 - -0.8. Suppose -5*l = -5 - 0. Let i = -1 + l. Are i and r unequal?
True
Let g be 3 + (3 - (3 + 0)). Suppose 2*m - 2*v + 0*v + 2 = 0, -g*v = -15. Let c be 1*-1 - (1 - m). Which is smaller: 3/2 or c?
3/2
Let h = 65 + -63. Which is bigger: -5 or h?
h
Suppose -5*g + 46 = 11. Let x = -0.148 - -1.148. Is x smaller than g?
True
Suppose 3*x + 2*x + 5 = 0. Suppose 2*j - 2*y - 68 = -7*y, 2*y = 4*j - 88. Let v be j/13 + (-2 - 0). Is x less than or equal to v?
True
Let a = 16 + -14. Which is smaller: a or -4?
