 a = -17 - -21. Is 27/5 > a?
True
Let x be (-15)/(-9)*3 + 1. Let g = x + -16/3. Let u be ((-2)/3)/(2/(-3)). Is u less than g?
False
Let q(l) = -l - 2. Let m be q(2). Which is smaller: 2 or m?
m
Let j(w) = w**3 + 16*w**2 - 17*w + 5. Let q be j(-17). Suppose 3*i - s = 19, 5*s + 25 = 5*i - 0*s. Which is greater: i or q?
i
Let h(z) = z**2 - 7*z + 7. Let n be h(5). Let g = -5 - -9. Let d = n + g. Does d = 1/4?
False
Let d = 16.92 + -17. Let s = d - 0.92. Let f = 277/6 - 46. Which is bigger: s or f?
f
Suppose -d = -6*d + 30. Is d greater than 8?
False
Let o = -0.4 - -0.42. Is 0.1 < o?
False
Suppose -3*t + 2*h = 8, 3*h - h = 5*t + 12. Let n be t*1*(-5)/(-10). Suppose -2*l - 4 = 2*v - l, -2*v + 4*l + 16 = 0. Which is smaller: v or n?
n
Let j = 47 - 51. Suppose 3 = -0*d - d. Does j = d?
False
Suppose 0*p + 19 = p. Suppose 34 = -m + p. Do m and -15 have different values?
False
Let o(d) be the second derivative of -d**4/12 + 2*d**3/3 - 3*d**2/2 + 3*d. Let v be o(4). Is v greater than -3?
False
Let a be ((-8)/132)/((-3)/(-9)). Is -1 greater than or equal to a?
False
Suppose 0*w - 4 = -2*w. Suppose -3 = 2*q + c, -w*q + 6 = -c - c. Let r be 2/(-26)*(-4)/2. Which is smaller: r or q?
q
Let a = 2.7 + -55.7. Which is smaller: a or 1?
a
Let o be -2 - 1/2*-6. Let y = -24 + 25. Is o greater than y?
False
Suppose -3*u + 2*u - 6 = 5*w, 4*w = -u - 5. Is w >= -5/4?
True
Let j = -0.8 + 1. Let c = j + -0.1. Let n = 0 + c. Which is bigger: n or -2?
n
Suppose -2*u + k = 1, 5*k - 4*k = 3. Which is bigger: u or -1?
u
Let h = 0.098 + 0.002. Let f = -22 + 14. Is h equal to f?
False
Suppose -4*d = 4*b + 10 + 2, -2*d + 3*b = -14. Let f = d + 1. Is f greater than or equal to 0.3?
True
Suppose 2*j + 64 = j. Let d = j - -319/5. Do 0 and d have different values?
True
Let b be 105/(-18) - 1/6. Let k = -5 - b. Suppose 2 = -4*w - 2, 2 = 4*n - 2*w. Is k > n?
True
Let j be 6/4 + -2 - 1. Is j > 1?
False
Let g be (-116)/(-112) - (-4)/(-14). Let s(l) = l - 1. Let i be s(3). Are g and i equal?
False
Let r = -1/40 + -59/40. Which is bigger: -1 or r?
-1
Let r = -47/66 + 6/11. Let s = 0 - -4. Suppose -s*m = -0*m. Which is smaller: r or m?
r
Let y be -2*(62/4 + -2). Let p be (-3)/y*3 + -2. Let l = -1/6 - p. Which is bigger: 0.1 or l?
l
Suppose 5*d = -4*a - 67, -3*d + d = -4*a + 38. Is -14 not equal to d?
True
Let x(y) = 10*y - y**3 + 0*y**3 + 0*y**2 - 10*y**2 - 11. Let r be (2 + -1)/(3/(-33)). Let w be x(r). Is -2/5 < w?
True
Suppose 4*t = 2*b + 14, -5*b + 6*t - 11 = 2*t. Let s be 985/12 - b/(-4). Let a = s - 83. Is -1 smaller than a?
True
Let w be (-4)/(-6)*-3 + 2. Let u be (29/4)/((-252)/(-16)). Let r = -1/9 - u. Which is smaller: w or r?
r
Let o be (5/2)/(3/6). Let j be ((-6)/o)/((-4)/(-10)). Let z(r) = -2*r**2 + 3*r - 1. Let g be z(2). Is j less than g?
False
Let w(l) = -6*l + 65. Let f be w(11). Let v = 97 + -1260/13. Which is bigger: v or f?
v
Let k(y) = 5*y**2 - y. Let t be k(1). Let o be (5 - t)*(-2)/(-8). Let s = 64/231 - 2/21. Which is smaller: o or s?
s
Suppose -3*v + 144 = 3*v. Is v at least 24?
True
Let r(l) be the second derivative of l**5/20 + l**4/12 + l**3/3 + l**2 + l. Let j be r(-2). Let h(i) = -2*i + 19. Let g be h(13). Which is smaller: g or j?
g
Suppose -5*d + 12 = 2. Let g be (15/(-6))/((-2)/4). Let u be d/g + 20/(-25). Which is greater: u or 2?
2
Suppose 4*l = 10 + 10. Suppose 6 = -a + l. Which is greater: a or -1/2?
-1/2
Let l = 1411 - 4186/3. Suppose 4*s = 3*s - 5*q, 0 = 2*s - 2*q - 36. Let z = l - s. Is 0.2 at most z?
True
Let f be (-16)/(-52)*2/8. Is 1 at most as big as f?
False
Suppose 0*a + 2*a = -2. Suppose -c + 4*w + 11 = 0, 4*c + w = 5 + 5. Let p be (0 - (-1 - c))/a. Which is greater: 0 or p?
0
Let m = 3.9 + -5. Are m and -1/3 non-equal?
True
Let z = 3.84 + 8.2. Let c = -12 + z. Which is bigger: 0 or c?
c
Let c = -41.3 + 43. Let q = 1.8 - c. Is q > 0.8?
False
Let o be (-4)/(-3)*5/(-10). Do -1/16 and o have the same value?
False
Let t(v) = v**3 - v. Let z be t(2). Suppose -9*k + z*k = 0. Let h = -316/7 + 45. Are k and h equal?
False
Let n(b) be the first derivative of -b**2 - 9*b - 3. Let m be n(-6). Suppose i = m*i. Which is smaller: i or -3/11?
-3/11
Let i be (-14)/(0 + -1 + -1). Suppose -3*d + 5 = -i. Let p be 0/d*1/2. Is -1 > p?
False
Let c be (-1 - 7/(-5)) + 0. Let d = 13/20 - c. Which is smaller: -2/9 or d?
-2/9
Let i be -1 - 11/(-26)*2. Let c(f) be the first derivative of f**2/2 + 4*f - 3. Let a be c(-5). Which is greater: a or i?
i
Suppose -b + 35 = 2*o - 7*o, 3*o + 38 = 4*b. Let h(l) = -l**2 - 5*l - 1. Let m(a) = -a + 2. Let c be m(8). Let d be h(c). Which is bigger: d or o?
o
Let v = -6.4 - -6. Let q = 0.4 + v. Let p = q + -1. Which is greater: -0.1 or p?
-0.1
Let i(b) = -b - 3. Let g be i(-7). Let f = -9 + g. Are f and -4 nonequal?
True
Let p = -0.12 + 0.09. Do 3 and p have different values?
True
Let w(a) = 8*a**3 + a**2. Let v be w(1). Let c = -5 + v. Which is greater: c or 5?
5
Let q = 38 - 81/2. Let h = -19 - -13. Let p be (3 + h)/((-3)/(-4)). Is q equal to p?
False
Let k be (1 - 2) + (-99)/(-81). Which is greater: k or -0.1?
k
Let y = 48 - 55. Let k(l) = l + 1. Let p be k(-7). Which is smaller: p or y?
y
Let u be (10/18)/(10/12). Is u > 2?
False
Suppose -3*f + 4*f = 2, 3*r - 29 = -4*f. Let i = r + -4. Do i and 4 have different values?
True
Let x be (2/3)/(2/9). Let k(b) = b**3 - 2*b - 1. Let z be k(-1). Let s be 2/2 - (z - 1). Which is greater: s or x?
x
Let n be 5*(3 + (-2)/1). Suppose -2*z = n*b - 21, 3*b - 1 + 7 = 5*z. Suppose -4*t - z*g = -4, 3*t = -5*g + 4 - 1. Is 2/11 bigger than t?
False
Let t = -0.1 + 0. Let d = -7.978 + 0.078. Let x = -0.9 - d. Which is greater: t or x?
x
Let m = 7 - 10. Let u be (-7)/m - (-2)/3. Suppose 5*y = 3*s - 0*y + 18, 0 = -u*s - y. Does 1 = s?
False
Suppose 0 = -4*w - 5*u + 56, -2*w + 2*u + 10 = -0*w. Is 12 bigger than w?
True
Let r be (-2)/(-3) - 22/15. Suppose 2*q - 6 = 10. Let u = q - 10. Is u bigger than r?
False
Let y be (-22)/99 + (-118)/36. Let t = y + 29/8. Is t != 0?
True
Let w = 0.4 + -0.44. Let o = w - 0.96. Is -2/7 at least o?
True
Let a(d) = -d**2 - 15*d + 6. Let o be a(-13). Suppose -o = -0*j - 4*j. Is j at most 8?
True
Let g = -28 - -34. Are 44/7 and g nonequal?
True
Suppose 3*y - 2*h - 14 = 0, -2*h + h = 3*y - 2. Suppose 0 = -y*t + t. Is 3/8 greater than or equal to t?
True
Suppose 0 = 3*z + 6, -2*z - 8 = -4*d - 0*z. Let i be 2/(-8) - (-5)/(-2). Let n = -9/4 - i. Is d at least as big as n?
True
Let y be 3 + -1 + -2 - 0. Which is smaller: y or 3/10?
y
Let v be 4/(-6) - (-4)/(-3). Suppose -15 = -n - 1. Let i be ((-9)/(-21))/((-4)/n). Is i < v?
False
Let x = -10/13 + 4/39. Which is bigger: x or -1?
x
Let m(s) = -s - 2. Let o be m(-2). Suppose -k - 2*k + 3 = o. Which is bigger: 5/7 or k?
k
Let r = -62 + 680/11. Does -2.2 = r?
False
Let b be (0*(-1)/(-3))/1. Suppose b*r = -3*r. Which is smaller: r or 2/9?
r
Let z = -1 - -1.1. Which is bigger: 0.06 or z?
z
Let n = -100 - -96. Which is smaller: 9 or n?
n
Suppose 5*x - 5*r - 20 = 0, -5*x = -r - 2*r - 24. Let k = -4 + x. Suppose -2*p - a - a - 10 = 0, -5*a + k = -4*p. Is p equal to -3?
True
Suppose 0 = s + 5*z - 13, 2*s - 3*s = -3*z + 3. Let o(y) = 6*y**2 - 3*y**s + 2*y**3 - 6 + 0*y**2 + y. Let u be o(6). Which is smaller: 3 or u?
u
Let y(p) = -7*p**2. Let c be y(1). Is c at most as big as -8?
False
Suppose 4*f = 0, 0 = -5*h - 9*f + 4*f + 55. Suppose -11 = -3*p + 19. Are h and p equal?
False
Let z be (-3 + 0)/((-6)/4). Let c(b) = z - 3*b + 0 + 1. Let i be c(2). Which is greater: i or -2?
-2
Let z = 3 - 3.7. Let u = -0.76 - z. Is 0 equal to u?
False
Let v = 16 + 16. Suppose -5 = 2*j + 5*i - 41, 4*i - v = -2*j. Is -2 at least as big as j?
False
Let f = -2/45 - -4/9. Suppose 2*s + 5*q + 1 = -1, -5*s - 2*q - 5 = 0. Let c be 0 + s/(-3)*2. Which is greater: f or c?
c
Let x = 1917/10 - 192. Is x >= -1?
True
Suppose 4*n - 3*n = 4*q - 5, q - 3*n - 15 = 0. Let c = 0.25 - 0.55. Is q greater than or equal to c?
True
Let j = -208 - -208. Let g be (-16)/14 + (-4)/(-14). Is g less than or equal to j?
True
Let h(x) = -x + 8. Let q be h(4). Suppose q + 3 = -2*t - p, -p - 4 = t. Is t > -4?
True
Let a = -27 + 47. Which is smaller: a or 21?
a
Let q be ((-1)/(-17))/((-1)/2). Is q > 0?
False
Let z = 18.5 - 18. Are 0 and z equal?
False
Suppose -3*d = -2 - 1. Let c = 2908/3409