maller than i?
False
Let g(s) = 7*s**3 + 6*s**2 - 5*s - 17. Let q(y) = -3*y**3 - 3*y**2 + 3*y + 8. Let j(o) = -2*g(o) - 5*q(o). Let f be j(-4). Let m = -21 - -18. Are f and m equal?
False
Let s = 12 - -11. Is 23 greater than s?
False
Let r = 0.029 + -0.029. Which is smaller: r or 19?
r
Suppose 5*n + 0 = 10. Suppose 2*o + 0 - n = 0. Which is smaller: 5 or o?
o
Suppose 0*c - 28 = -5*m + 3*c, 3*c = m - 8. Let z = m - 3. Suppose 0 = -5*x - 15, -4*x = f + 5 + 5. Is f >= z?
True
Suppose -5*o - 2*s = 22, -o + 4*o = 5*s - 7. Which is greater: o or -4/3?
-4/3
Suppose -5*u = -3*u + 12. Let y = -6 - u. Is 4/3 > y?
True
Suppose 3 + 0 = 2*g - v, -5*v + 15 = 0. Suppose -f = 1, -5*h - g*f - 3 = -0*h. Do 0 and h have different values?
False
Suppose -7*b = -6*b - 5. Let m be ((-2)/(-6))/(b/9). Let s = -0.2 + 0.1. Is m at least as big as s?
True
Let y be (9/42)/((-12)/16). Which is smaller: y or 0.1?
y
Let q(k) = k**3 - 4*k**2 - 4*k - 2. Let m be q(5). Suppose -j + m*j = -120. Let l be 32/j + (-1)/(-3). Which is smaller: l or -1?
-1
Let f(y) = -y**3 + 7*y**2 - 4*y - 3. Let q be f(6). Suppose z = -5*w + q, -4*z + 3 = -4*w - 9. Let h = 4 + -3. Is w less than or equal to h?
True
Let z(g) = g**3 + 2*g**2 + 2*g + 3. Let t be z(-2). Let i = 14 - 15. Do i and t have the same value?
True
Let n = -14 + 13. Let j be 5/4 - n/(-4). Which is smaller: j or -5?
-5
Let f = 1 - -5. Let w = -7 + 0. Let u = w + f. Is -0.4 greater than u?
True
Let z(l) = l + 9. Let m be z(-7). Let u be (2 - m)/(-1)*1. Which is smaller: u or 3/4?
u
Let f(x) = -x + 12. Let b be f(7). Let g be (1 - 0) + 1 + -2. Suppose 0 = b*p - g*p - 5. Is p smaller than 1?
False
Let u(l) = l + 13. Let w be u(-14). Is w less than -4/53?
True
Let z = 0.99 - 1. Let u = -0.01 - z. Let f be 22/(-24) - (-1)/4. Which is smaller: f or u?
f
Let y = 1.051 - 0.051. Let o be (-1)/(-5)*30/(-12). Which is smaller: y or o?
o
Let x = 15/263 + -39833/2104. Let v = -19 - x. Which is smaller: 0 or v?
v
Let p be (4 + -4 + -22)/2. Is -10 > p?
True
Suppose -3*j - 5*o + 23 = 0, -j + o + 2 = 5. Let s = -931 - -6533/7. Which is smaller: s or j?
j
Let c = -6 - -10. Let s be 616/(-63) + c/(-18). Which is smaller: -11 or s?
-11
Let t be -4 + ((-184)/(-28) - 2). Which is smaller: 0 or t?
0
Suppose 4*g + 3*z - 29 = 19, -5*g = 3*z - 57. Which is smaller: g or 4?
4
Suppose 2 - 12 = -5*t. Suppose 3*v + 4 = 4*v, -3*d + v = 13. Is t at least d?
True
Let y = 609 - 611. Let t be 1 + (-2)/2 + -1. Which is smaller: t or y?
y
Let f = 34 + -20. Suppose x + 2*n + 3*n = -19, 0 = x + 4*n + f. Is 6 greater than x?
False
Suppose y - 4*t - 26 = 3, t - 49 = -y. Is 44 greater than y?
False
Let n = 2.4 + -2.7. Which is bigger: n or 0.2?
0.2
Let p = -6 + 6.6. Let q = 4 + -3.5. Let x = p - q. Is x equal to 0.1?
True
Let k(a) = -a + 1. Let p be k(-7). Let f be (-6)/p*(-10)/9. Which is smaller: 1 or f?
f
Let s be (-16)/(-88) - (-58)/(-198). Let i = s + -5/9. Which is greater: -2 or i?
i
Let o = 0.03 - 0.14. Which is greater: -1/3 or o?
o
Suppose -2*m - 2*m - 7 = 3*s, 2*s - 2*m = 0. Which is bigger: 1/73 or s?
1/73
Let k be 0 - 2 - 0 - (-1 + -1). Does 2/135 = k?
False
Let k = 1 - 3. Let p = -1.9 - k. Are 0.4 and p equal?
False
Let q(o) = -o + 4. Let m be q(5). Let t = -2 - m. Which is smaller: -1/6 or t?
t
Let h(p) = -p**2 - 2*p + 1. Let b be h(-6). Let i be (-474)/20 - (-2)/4. Let t = i - b. Which is bigger: -2 or t?
t
Let y = 6/23 + 188/161. Which is bigger: 2 or y?
2
Let p be ((-2)/3)/(2 - (-28)/(-12)). Do p and 2 have different values?
False
Let s(z) = -z**3 - z**2 - z - 2. Let n be s(-2). Suppose -2 + 22 = -n*u. Let i(t) = t**2 - 33*t + 57. Let l be i(31). Is l >= u?
True
Let y(b) = b**3 + 5*b**2 - b - 3. Let d be y(-5). Suppose 2*r + 4*k - 14 = 0, 5*r + k = -0 - 1. Let o = d + r. Which is smaller: 0 or o?
0
Let s be (2/4)/(1/4). Suppose 2*k = -s*g - 0*k + 8, -g = 3*k. Suppose -4*b = x - g*x - 7, 3*b - 2*x = 0. Which is smaller: -1 or b?
b
Suppose 17*k = 19 + 32. Suppose -3*j + 5 = -1. Which is smaller: k or j?
j
Suppose -10*q - 4 = 26. Let z(r) = -r + 2. Let w be z(5). Is q greater than or equal to w?
True
Let o = 11 - 3. Suppose 4 = 2*c + t - o, t = 4. Is c bigger than 3?
True
Suppose -45 = 5*h - 5*j, 13 = -5*h + j - 12. Let z = -175 - -175. Is h at most as big as z?
True
Let w be 0/(0 - (-4)/(-2)). Suppose w = -3*z - 0*z + 6. Suppose -7*b + 11 = 4. Which is smaller: z or b?
b
Suppose -56 = 6*p - 2*p. Which is smaller: p or -13?
p
Let d(j) = -j - 8. Let u(n) = -n - 1. Let b(x) = d(x) - 6*u(x). Let k be b(1). Are 3/2 and k equal?
False
Let n = -14 + 7. Let z = n + 5. Is -3 at most z?
True
Let q be 110/(-30) + (1 - -3). Let x(h) = h**3 + 4*h**2 - 6*h - 3. Let d be x(-5). Let c = -1 + d. Is q > c?
False
Suppose 0 = -3*u + 2*u + 23. Suppose 2*b + 0 = -d - 2, d - u = 3*b. Let r = d + -15. Are r and -6 equal?
False
Suppose -105 = -k - 3*m - 17, 4*k - 5*m = 284. Let h be (-2)/7 + k/(-28). Let f be 6/21 + (-4)/7. Are f and h nonequal?
True
Let i(m) = m**2 - 11*m - 9. Let b be i(12). Suppose -b*o + 7 = 5*g, 0 = 5*g - 0*g - 10. Are o and -0.3 unequal?
True
Let x(r) = -r - 2. Let l be x(-2). Which is greater: 1/14 or l?
1/14
Let r = 0.23 - 1.23. Is 1/21 smaller than r?
False
Suppose 7*o + 12 = 3*o. Which is smaller: o or -4?
-4
Let f = -2 - -5. Which is greater: -0.2 or f?
f
Suppose 4*a = -3*r + 116, 7*r - 4*r + 12 = 0. Suppose 4*y - a = 4*g, g - 5*g - y = 22. Suppose -z = 5, 0 = 2*p - 3*z + 6*z + 25. Which is smaller: g or p?
g
Let x = -1 - -1.1. Let w = -1/32 + 115/96. Let d = w - 1/2. Is x bigger than d?
False
Suppose -2*g = 2*g - 20. Suppose 0 = 4*m - 3*d - 33, g*m - 3*d = 28 + 11. Suppose -3*o = 1 - 7. Are o and m equal?
False
Let f = -2 + 2. Let b = 2 - 3. Let p = b + f. Which is greater: p or 0?
0
Let k = 0.07 + 0.03. Suppose 2*u - 6*u = -24. Let r(q) = -q**2 + 6*q. Let a be r(u). Is k equal to a?
False
Let n = -5.06 + 0.06. Let h = 4 + n. Is h greater than -3?
True
Let x be (9/(-6))/((-2)/4). Let c(t) be the third derivative of t**5/60 - t**4/4 + 7*t**3/6 - t**2. Let v be c(5). Which is smaller: v or x?
v
Suppose 0 = -5*w - 0*w. Let b be -2 + (w - -6) - 4. Is 0.13 < b?
False
Suppose 7*q - 22 = 2*q - 4*s, -q - 4*s = -14. Suppose 6 + 4 = 2*j + q*l, j = -2*l + 7. Do 8/5 and j have the same value?
False
Suppose -a - 5 = -p, 30 + 1 = -3*a - 5*p. Let i(s) = s**2 + 8*s + 6. Let d be i(a). Does 0 = d?
False
Let k be 2/(-6) + 4 + -4. Suppose q + 5 = -0*o + o, 5*q + 25 = -2*o. Suppose -5*s = -d - 1, s - 3*d = -o*s - 11. Which is smaller: k or s?
k
Let k be 9/12*16/318. Which is greater: k or -1?
k
Let o = 1.9 - 1.7. Which is smaller: 2 or o?
o
Let s be 5/2*(-28)/20. Which is smaller: s or -5?
-5
Let d be (-3)/(-15) + 38/10. Let f(v) = 4*v. Let s(u) = u. Let z(a) = -f(a) + 5*s(a). Let j be z(5). Is d less than j?
True
Let b be 2/(-2 + 8/3). Suppose -v + b*v = 0. Which is smaller: -4/7 or v?
-4/7
Let o(v) = -2*v + 2. Let l be o(0). Suppose -p - 2*p + 6 = 0. Are l and p non-equal?
False
Suppose 7 + 5 = -2*u. Let c be 2/(-6) + u/(-9). Let w be 16/(-21) - 2/(-3). Is c >= w?
True
Let h = 1125 + -10136/9. Which is smaller: -1 or h?
h
Let f(l) = -2*l**2 + 2. Let z be f(2). Suppose 0 = 3*j + 20 - 2. Let x = j - z. Which is bigger: -1 or x?
x
Let o be -2 - (4/6 - 1). Is -2 bigger than o?
False
Let d be (-57)/(-18) - (-1)/(-6). Suppose 5 = -d*n - 4. Let t be (-7)/2 - (-1)/(-2). Which is greater: n or t?
n
Let q = -0.16 + -0.04. Let f = -6.12 - -0.12. Does q = f?
False
Let r = 204/7 + -28. Suppose -z - z + 2*w + 6 = 0, -5*w - 10 = 0. Do r and z have different values?
True
Let r be (0 - -1)*6 - 1. Let q be r/(-2)*2/10. Let y = 93 - 94. Which is greater: q or y?
q
Let t = -0.33 - 13.67. Let q = 10 + t. Let a = q - -8. Which is smaller: a or 0.1?
0.1
Let o be (2/28)/(12/14). Do 1 and o have different values?
True
Let b be (-4)/(-39) - (-5)/(-15). Suppose 0*j - j - 4*p - 16 = 0, -4*j + p = -4. Which is greater: j or b?
j
Suppose 67 = 2*b - 21. Is 44 > b?
False
Let l = -4 - -5. Suppose 5*a + 4 = -l. Let s be -1 + 11/(-9) + 2. Does a = s?
False
Let c be (15/9)/5*(2 - -7). Let l(q) = -q**3 - 5*q**2 + 5*q - 7. Let r be l(-6). Let s be 1 - r/((-4)/(-6)). Which is smaller: s or c?
s
Let o(h) = -h**2 - 9*h + 13. Let r be o(-11). Let p = -198 - -1451/7. Let b = r + p. Do -1 and b have the same