0 - (-12 + 7)). Is b equal to 25/3?
False
Let i = 5.9 - 6. Let f = -4 + 7. Suppose 2*o = 3*g + g - 12, -f = -g + 4*o. Does g = i?
False
Suppose 3*l = -v - 2*l + 22, 0 = -4*v - 4*l + 24. Let w be (-1)/(1 + -1*v). Let s(m) = m**3 + 10*m**2 - 12*m - 14. Let q be s(-11). Is q > w?
False
Let n(c) = -3*c**2 - 3*c + 1. Let w be n(-3). Let x = -9 - w. Let j be 14/(-12)*x/(-42). Is j < -1?
False
Let k be 3/(11/5 - (4 - 2)). Is k <= 15?
True
Let z be 3 + (-4 - -1) + 0. Suppose 3 = 4*v - 1. Suppose p + v = -z. Is 2/11 less than p?
False
Let y = -182845637/330 + 554077. Let x = 8/55 - y. Is x less than 2?
True
Let z = 146 + -146.1. Does z = -0.026?
False
Let g = -3.3 - -4.3. Which is bigger: g or 0.053?
g
Let i = 16 - -6. Suppose -2*z - l - i = 0, 2*l + 2*l - 22 = 2*z. Let m be -2 + 2 - 2/z. Is m at most as big as 1?
True
Suppose -w - 16 = 4*h, -2*w + h - 3 = -7. Let q(y) = -y**3 + 2*y**2 - 2*y + 1. Let d be q(2). Is w != d?
True
Let d = -7 - -15. Which is greater: d or 6?
d
Let z = -11 - -12.8. Let l = 0.8 - z. Let c be 0 + 0 + (-2)/5. Is c less than l?
False
Let t = 0.9 - 0.7. Is t greater than -0.05?
True
Suppose 5*v - 13 = -3*j + 6, 2*j - 2*v - 2 = 0. Is 0.5 greater than j?
False
Let n = -6 - -8. Let b be (0/(-2))/(-1 + 4). Suppose b*f - 18 = -6*f. Which is smaller: f or n?
n
Let f = -73/858 - -3/22. Let b = 43/78 - f. Does b = 2?
False
Let w = -183/2 + 94. Suppose -5*r = -t + 2, -t + 2 = -2*r - 0. Suppose 6 = 5*f - o + 4*o, t*f + 3*o = -3. Which is smaller: f or w?
w
Let q(i) = 2*i**2 - 22*i - 24. Let u be q(11). Which is smaller: -23 or u?
u
Let c = 16 + -33/2. Are c and -8 nonequal?
True
Let q(z) = -z - 1. Let h(l) = -3*l. Let j(a) = h(a) - 2*q(a). Let f be j(0). Which is greater: 3 or f?
3
Let r = 6 + -6. Let g = -9 - -8. Is g greater than r?
False
Let h = -1/8 + 59/24. Is 3 at least as big as h?
True
Let q be (-2)/(-12)*2*1. Suppose -13 = 5*m - k, -m + k - 4 = m. Let g be 0*m/(-3) - -1. Which is smaller: g or q?
q
Let p(q) = -q**3 + 8*q**2 - 5*q - 2. Let g be p(4). Let j be 48/g*(-1)/(-12). Which is greater: j or 0?
j
Let m be (30/(-63) + 3/9)/1. Is m <= 0?
True
Suppose -2*m + m = -5*a - 27, 4*a = 4*m - 28. Suppose -13 = -m*d - 45. Let w be 3/5*d/(-12). Is 0 greater than w?
False
Let h = -0.3 + 0.2. Let g = -169/616 - 1/88. Is h greater than g?
True
Suppose -4*l = 4*o - 9*l - 4, 0 = -5*o + 4*l - 4. Is -5 less than o?
True
Let c = 0.1 + -0.6. Let p = 0.2 + c. Let v = 0.7 - p. Is 0.1 at least as big as v?
False
Let i = 0 - -0.1. Let f = -0.59 - -0.09. Let o = -0.4 - f. Are i and o equal?
True
Let n(y) = 20*y + 9. Let o(r) = 7*r + 3. Let q(w) = -6*n(w) + 17*o(w). Let x be q(-5). Which is smaller: 3 or x?
x
Let x(v) be the second derivative of 1/6*v**3 - 5/2*v**2 + 0 - 3*v. Let p be x(6). Is 1 at least p?
True
Let d be 9/21*4/(-6). Which is smaller: d or -0.6?
-0.6
Let t be 6/(-63) - 32/24. Which is smaller: t or -2?
-2
Let t be 3 - 4*3/4. Let w = -5 + 2. Let m be (w/(-10))/((-6)/(-8)). Do t and m have different values?
True
Let n = -1 + 3. Suppose 2*d + n*d = -x + 7, 0 = d - 3. Which is greater: x or -1/3?
-1/3
Let r = -33 - -19. Is -0.1 at least r?
True
Suppose -2*z = o + 2*z + 12, 2*o + 15 = -5*z. Suppose o + 3 = -3*g. Is -1 greater than g?
False
Suppose y = b - 7, 0*b - 5*y = 2*b + 14. Let p = -2 - -12. Suppose p = 3*g + 4*j - 14, g + 3*j - 13 = 0. Which is bigger: b or g?
g
Suppose 0 = -3*v - 4*b + 19, -3*b - 14 = -3*v - 2*b. Let p be (-1)/((1/4)/(-1)). Is v < p?
False
Let b = -23.1 - -23. Do -3 and b have the same value?
False
Let o = -41 - -33. Which is smaller: o or -1?
o
Suppose 0 = r + 2*r. Suppose r = -p - 3*p + 4. Let k be 3/6*(3 - p). Which is smaller: k or 1/3?
1/3
Let r be 5/2*(-28)/35. Let p be (2*(-2)/(-8))/(-1). Is p less than r?
False
Let p = -9 + 10. Which is smaller: p or -1/126?
-1/126
Let y be 4/(1/(2 + 2)). Let t be (-2 - -2) + y/12. Is t >= 2?
False
Let w be (-219)/(-45) + 4/30. Suppose c - 5*y = -8, 5*y + w - 49 = -2*c. Let t be (-10)/(-28)*c/15. Is 1 greater than t?
True
Suppose -3*n + 4*j + 16 = -n, -3*n = 4*j + 6. Let q be -4 + (3/3 - -3). Which is smaller: q or n?
q
Let d(a) = -a**2 + 3*a. Let h be d(4). Let t = h - -1. Let q = t - -1. Is -2 greater than q?
False
Let c = -18.89 - -19. Let b = -0.01 + c. Let u = -2 + 1.8. Which is smaller: u or b?
u
Suppose 2*h = 2*n - 3*h - 40, h + 4 = 0. Suppose -5*u + 0 = n. Let p = u + 2. Which is smaller: p or -2?
-2
Suppose -2*l + 2*q + 11 = -l, -3*l + 5*q = -30. Suppose -4 - l = -3*u. Let z(d) = 3*d + 1. Let t be z(1). Are u and t nonequal?
True
Let v = -1.8 - -1. Let s = 0.6 + v. Is 4 < s?
False
Let b be (-2 - 0)/(1 - 0). Let y be b/(-8) + (-510)/(-8). Let g = y - 450/7. Is g not equal to 1?
True
Let p = -27 - -13. Let t(b) = -b**3 + 5*b**2 - 3*b. Let q be t(5). Is q < p?
True
Let w be (21/(-2))/(15/100). Let s be ((-8)/w)/(6/15). Is -8/5 greater than s?
False
Let w = -1 + 4. Let j(b) = -1 + 4 + 6*b**2 - 4*b - 5*b**2. Let c be j(w). Is c equal to -3/4?
False
Let m = -8.6 + 8.5. Which is smaller: m or 22?
m
Let o = -8 - -10. Suppose -2*r = -5*j - 3*r - 14, -5*r = 20. Let b = j - -4. Is b less than o?
False
Let d(z) = 3*z + 2*z - 6*z + 3. Let n be d(4). Let q = -0.6 + 1. Are n and q non-equal?
True
Let h = 0 + 4. Suppose 2*y = h*r - 2, -y - 2*y - 3 = -3*r. Let s be 6/15 + (-14)/10. Is s at least r?
False
Let t = 0.2 + 0.3. Let a = 0.5 + t. Suppose -2*d = y - 8 - 3, y - 23 = -5*d. Is a > d?
False
Let x be 0/(2/((-4)/(-2))). Suppose -7*w = -2*w + 2*q - 24, -3*q = -2*w + 2. Let k be 0 + 5/((-50)/w). Which is bigger: k or x?
x
Suppose -3*o = 2*o. Suppose 0 = 5*x - o*x - 40. Suppose -5*h - s - 11 = -2*s, -2*s = x. Is h <= -3?
True
Let w(s) = s**2 + 7*s + 8. Let a be w(-6). Suppose 2*m - m - 2*r - 30 = 0, 3*r = -m + 30. Suppose 3 + 24 = 2*o + 5*q, -5*o = 5*q - m. Which is smaller: a or o?
o
Suppose 0*x = x + 4*t + 18, -2*x = t + 36. Let a be (-4)/x + (-22)/18. Let l = -47 - -189/4. Do a and l have the same value?
False
Let p be (3/27)/(1/3). Let s be ((-15)/6 + 2)*-2. Which is smaller: p or s?
p
Let b = -8/9 - -394/423. Is -1 greater than b?
False
Let f be 4/(-10) + 7/5. Let n = 1801/3322 + 1/302. Which is bigger: n or f?
f
Let m be (-3)/(-6) - 17/22. Let p(t) = 4*t + 7. Let g be p(-2). Which is smaller: g or m?
g
Suppose -6*x + 130 = 22. Are 18 and x unequal?
False
Let o = -14261/129 - -5150687/46440. Let q = o - -2/135. Let p = -2 - -1. Which is smaller: q or p?
p
Let u be (8/(-48))/((-2)/6). Let p be ((-4)/(-10))/(2/(-10)). Is u < p?
False
Suppose -h - 3*n = -10, 3*n + 5 = -5*h + 19. Which is smaller: -2/43 or h?
-2/43
Let w = 17 + -12. Suppose 0 = -w*j + 11 + 4. Let v be (j + 2 + -1)/11. Do -1 and v have the same value?
False
Let o = 7.4 - 7. Let t = 1.4 - o. Which is smaller: 0 or t?
0
Let l = -10 - -16. Suppose 0*i + 18 = 5*x - i, 3*i - l = 0. Let n be x/14 - (-4)/(-14). Is -1/4 not equal to n?
True
Let z(n) = n**3 + 3*n**2 - n. Let v be z(-3). Let p be v/9 + (-32)/(-66). Let g = p - 38/33. Which is greater: g or -0.1?
-0.1
Let y = -3 - -9. Let x be (-34)/y + (-1)/3. Let u be x/(-27) - 14/(-18). Which is greater: u or -1/4?
u
Let k(u) = -2*u**2 + 30*u. Let i be k(15). Which is smaller: 72 or i?
i
Let a = 1.57 - -0.13. Are -0.1 and a nonequal?
True
Let q(o) = o**2 - 17*o + 19. Let f be q(14). Are f and -23 non-equal?
False
Let k = 29/33 + -6/11. Let c be 2 + 1 + (0 - 2). Which is smaller: k or c?
k
Suppose 0 = -0*z + 4*z + 56. Let d(q) = -q**2 + q - 3. Let y be d(-3). Which is smaller: y or z?
y
Let a(i) = -i**3 + 8*i**2 + i - 7. Let o be a(8). Are o and 2 equal?
False
Let r be 19/4 + 9/36. Let b(v) = v**2 + 4*v - 4. Let n be b(-6). Suppose -2*x = 2*t + n, -r*x + 8 = -3*t + t. Which is smaller: 2/7 or x?
x
Let r = -0.08 - 0.02. Which is greater: 21 or r?
21
Let v = 3.3 - 3.26. Which is smaller: v or -1?
-1
Suppose 5*q - 27 = -3*c, -c - 3*c + 2*q = -10. Suppose 0 = c*a - 16. Let u be a/(-5)*(-90)/132. Which is greater: u or 0?
u
Let n = -6.2 - 0.8. Let p = -4 - n. Let k = -2 + p. Is k smaller than -2/5?
False
Let z = -38 + 112/3. Which is smaller: z or 0?
z
Let p = -8.91 + -0.09. Let b = p - -9.09. Which is greater: b or -0.1?
b
Let r = -26 + 25. Which is smaller: 4 or r?
r
Let i = -5 - -6. Let l(q) = q**3 - 7*q**2 + 5*q + 7. Suppose d - 2*d = -2*v + 16, 3*v - 3*d - 30 = 0. Let w