et m(x) = -2*x + 42. Let d be m(20). Is d at least as big as 2?
True
Suppose 4*k = 3*f - 0 + 2, -k - 6 = -4*f. Suppose 0 = -13*y - 0*y + 39. Which is greater: k or y?
y
Let v = -2.8 - -0.5. Let r = 7 - 7.3. Let h = r - v. Which is smaller: h or 0?
0
Let r(s) = -s**2 + 13*s + 6. Let g be r(12). Let z = g + -196/11. Is -0.1 != z?
True
Let n(o) = 21*o**2 + 2*o - 1. Let p be n(1). Suppose -2*a - 3*i + 19 = -0*a, -i = -5*a + p. Are 3 and a non-equal?
True
Let u = 4 + -3. Suppose -5*f = -2*p + 32, -5*p - 4*f + 11 = -3. Let t be p/(-36) - 2/(-3). Are t and u equal?
False
Let m(f) = -f - 1. Let p be m(2). Suppose 2*a + h + 3 = -4, a - 4*h - 10 = 0. Which is greater: p or a?
a
Let r(s) = -s**3 + 5*s**2 - 2*s + 5. Let l be r(5). Let o be 3 + -1 - (-2 - l). Let k be ((-1)/2)/(o/(-2)). Is -4 greater than or equal to k?
False
Let z = 9 - 26. Let o = z + 7. Let k be (-2)/o + (-4 - -4). Are k and -2/3 non-equal?
True
Suppose -5*u = -l - 340, -3*l - 103 = 4*u + 917. Let t be (-74)/l + (-2)/4. Let y = t - -15/17. Which is smaller: y or -2/9?
-2/9
Let m(a) = 2*a - 5. Suppose -17 = 2*p + 5*f, -p - 3*p + 36 = -4*f. Let w be m(p). Is 3 at most w?
True
Let x = -6 - -8. Suppose 9*a - 12*a - 3 = 0. Which is greater: a or x?
x
Suppose -2*p - 21 = 5*y, 2*p + 3*y = 2*y - 17. Suppose -2*u - 40 = 2*u. Is u >= p?
False
Let b be 15*(3 + -4) + 3. Which is greater: b or -21/2?
-21/2
Suppose 322 + 70 = 4*f. Is f >= 98?
True
Let l = 3.9 + 2.1. Let z = l + -6.1. Let b = -3 + 5/2. Is b < z?
True
Let n = 235/204 - -5/51. Let w(u) = u**3 + 2*u**2 - 4*u - 1. Let d(v) = v**2 - 3. Let a be d(0). Let o be w(a). Is o < n?
False
Let u be (9/27)/((-1)/(-18)). Is 2 smaller than u?
True
Let o = -35 + 56. Is 21 > o?
False
Let i = -29 + 22. Let p = 22 + i. Is 2/7 at most p?
True
Suppose -5*c = -5*k + 10, 4*k = -0*k + 3*c + 7. Let u = -0.03 + -0.27. Let g = u - 0.7. Is g at most as big as k?
True
Let g = -4 - 1. Let n = g + -1. Let h be 2/n + (-8)/3. Is h at most -3?
True
Let v be (-75)/11 + 7 + 294/(-1738). Is v greater than 0?
True
Let v be (-3)/2*8/(-30). Let b = 1/15 - v. Which is greater: b or 0?
0
Suppose 54 = 6*o + 12. Is o smaller than 6?
False
Suppose 0 = -3*c + 5*c - 12. Let u = c - 7. Is 1/4 bigger than u?
True
Suppose 2*h - 21 = -83. Does -30 = h?
False
Suppose 3*g - 8 - 10 = 0. Let b(y) = -y**2 - 16*y - 32. Let d be b(-13). Is d less than or equal to g?
False
Let o be 63/(-476) + 3/12. Is o at least 15?
False
Let u = -4 - -8. Let v = u + -7. Is -3 at most v?
True
Let u be (-4)/(-26) - (-720)/(-2145). Which is greater: 4 or u?
4
Let a(c) = -13*c + 45. Let i be a(-7). Do i and 136 have the same value?
True
Let i(c) = -2*c**2 + 5*c - 2. Let d be i(3). Suppose 32 = -2*h + 5*s, -2*h + 0*s = 4*s - 4. Which is smaller: d or h?
h
Let w = -64 + 111. Suppose -y = g - 3*y - 34, 0 = 2*g + 3*y - w. Let p be 3/35 - 8/g. Is p bigger than 1?
False
Let s(c) be the third derivative of 0*c**5 + 0*c + 1/120*c**6 - 1/6*c**3 + 0 + 2*c**2 - 1/24*c**4. Let b be s(-1). Which is bigger: b or -1/7?
-1/7
Let b = 15 - 13. Which is greater: 0 or b?
b
Suppose a = -5*a - 6. Are a and 1/4 unequal?
True
Suppose -3*t = -6*t. Which is greater: t or 1.1?
1.1
Let x(w) = w**2 + 4*w - 1. Suppose 0 + 25 = -5*l. Let g be x(l). Which is greater: g or 5?
5
Let g = 2 - 8. Let b be -1*6*2/g. Let s be (4/(-10))/(4/(-5)). Which is bigger: s or b?
b
Let w be (-146)/(-10) + 8/20. Suppose -x = 4*x - w. Suppose -s + 6*s = -x*f - 21, 0 = 5*s + 2*f + 19. Are -4 and s equal?
False
Let v(c) = -2*c**2 + 3*c. Let u be v(2). Is -4 at most as big as u?
True
Let i(k) = -3*k + 31. Let y be i(11). Let r = -1 - -1. Are y and r non-equal?
True
Let p = -383/5 + 76. Let b = 17/2 + -9. Which is bigger: p or b?
b
Let x = -3 + -3. Is x not equal to -6?
False
Let v = 29 + -29. Is 2/17 >= v?
True
Let b be ((-10)/(-30))/((-2)/6). Let v = 70834/60165 + 3/6685. Let m = v - 7/9. Which is greater: m or b?
m
Let n = 26 - 22. Let a be n/(-26) + (-920)/(-910). Which is smaller: 1 or a?
a
Suppose 0 = 6*s + 100 + 8. Is s at least as big as -130/7?
True
Let n be (6838/(-6201))/(68/(-6)). Let r = 4/51 - n. Which is smaller: r or 0?
r
Let y = -2 - -3. Let l = y + 1. Let c = l - 4. Do -2/5 and c have the same value?
False
Suppose 9*l = 4*l - 5. Let f be 14/49*(-2)/4. Which is smaller: f or l?
l
Suppose -t - 4*u - 43 = -4*t, -3*t + 34 = 5*u. Suppose 5*v + t = -2. Which is smaller: v or -5/3?
v
Let a(k) = -2*k - 30. Let s be a(-15). Which is smaller: 1/15 or s?
s
Let d(c) = -c - 3. Suppose 0*w - w = a + 10, -2*w + 5 = -3*a. Let y be d(a). Which is smaller: 3 or y?
y
Let v be 4/14 + 7/(-196). Suppose r + 6 = 4*j - 6, 0 = 5*r. Suppose -s = -j*l - 16, -2*s = 4*l - 9 + 27. Is v smaller than s?
True
Let f(l) = 2*l - 6. Let z be f(5). Suppose 4*v = 3*r + 9, z*v = 3*v + r + 1. Suppose 0*n - 2*n - v = 0. Which is greater: 2 or n?
2
Let m be ((-26)/18)/((-2)/(-3)). Is -3 not equal to m?
True
Let q(j) = -j**3 - j**2 + 2*j + 1. Let l be q(-2). Let g = -1 - -3. Let k be (-2)/g - -1*2. Is k at least l?
True
Let y = -0.031 - -0.141. Are y and 1 equal?
False
Let x = -1042288/9 - -115928. Let n = 118 - x. Let q = 3 - 2. Is q greater than or equal to n?
True
Let s = 170 + -853/5. Which is smaller: -1 or s?
-1
Suppose -3*a - 9 = 0, 2*a - 5 = -4*t + 1. Let w be ((-21)/(-6) - t)*-2. Is w >= -3?
True
Let i(j) = -j + 7. Let n be i(6). Suppose 0 = -4*t + 3*k + 795, 396 = 2*t - 5*k + 3*k. Let o = -1611/8 + t. Are n and o unequal?
True
Let a be (-4 - -1)/((-12)/28). Which is smaller: a or 2?
2
Let m = 15 - 11. Is m at least 7/2?
True
Let w = 7.02 - -0.38. Let n = w + 1.6. Let f = 9 - n. Which is bigger: 1/2 or f?
1/2
Suppose -t + 3*c = 1, 3*c = -t - c + 6. Suppose 5 + 0 = 3*i + 4*d, -5 = -i + t*d. Let z be 3 + ((-4)/(-2) - i). Is 1 less than or equal to z?
True
Let z(d) = -d**3 - 6*d**2 - 4*d + 6. Let h be z(-5). Which is greater: -2/15 or h?
h
Let k be -2*(-1)/2 - (-14)/(-10). Which is greater: k or 0.57?
0.57
Let o(i) = 3*i + 3. Let z be o(-1). Is z < 3/4?
True
Let w be 12/15*40/2064. Which is greater: w or -1?
w
Let u(g) = -g**2 - 6*g - 1. Let l be u(-7). Let s be (l/(-28))/(4/7). Is s < 0?
False
Suppose 0*q = -2*q - 10. Let l be (-2)/(-4) + (-14)/(-4). Suppose -s + l*s + 18 = 0. Is s at least q?
False
Let a be (-146)/(-290) - 8/20. Which is greater: 0 or a?
a
Let h = 2 - 1. Let q(z) be the first derivative of z**2/2 + 3. Let j be q(2). Which is smaller: j or h?
h
Let w be (-6)/(-33) + 4/99. Is w at least -0.1?
True
Let k(t) = -t**3 - 4*t**2 - 4*t - 1. Let x be k(-3). Suppose -x*s + 14 = -0*s. Suppose -m = 3*d - s, -2*d = -6*d - 4*m + 20. Which is greater: 2 or d?
2
Suppose o + 4 = 5. Which is bigger: o or 0?
o
Suppose 0 = 4*x + 4, 7*u - 2*u = 5*x + 5. Which is smaller: u or 8/13?
u
Let l = 0.04 + 2.96. Let y = l + -3. Let n = 1 + y. Is n less than or equal to 2/3?
False
Let t = 5 - 3. Suppose -5*m - w + 2 = 0, -2*m + t = -m + w. Let z(u) = -u**3 + 5*u**2 - 2. Let s be z(5). Which is smaller: s or m?
s
Let t(l) = 1 - l + 5 + 3*l. Let i be t(-4). Let p be (-33)/(-42) + i/7. Which is smaller: p or 0?
0
Let c = 4 - 0. Suppose -2*s = 3*b - 11, s + 4*b = -4*s + 10. Let j be (3/(-6))/(s/c). Is j >= 1?
True
Let z = -140 + 142. Is -9 smaller than z?
True
Let p = 7 - 2. Let f = p + -4. Let y be -1*2 - (f - 3). Which is bigger: 2/3 or y?
2/3
Let k = 242 + -241.6. Let h(d) = -d**2 - 7*d - 9. Let q be h(-6). Which is bigger: k or q?
k
Let a be 0 + (-1)/(-3)*-1. Let d be (70/208)/(3/(-4)). Let i = 2/39 - d. Which is smaller: i or a?
a
Suppose -4*q - 1 = 19. Which is smaller: -6 or q?
-6
Let v be ((-4)/(-2))/((-8)/(-12)). Suppose 0 = v*h + 3*a + 3, 2*h + h - 2*a = -8. Let q be 1 - (0 + h)/4. Which is bigger: 2 or q?
2
Let a = -207/10 + 41/2. Which is bigger: a or 0?
0
Let l = 5 + -1. Suppose 0 = -c + l. Suppose 25 - 5 = c*h. Which is bigger: 2 or h?
h
Let z = 30 - 52. Let u be (-3)/54*z - 1. Is u less than 0.1?
False
Let s(z) = z**3 + 5*z**2 - 2*z. Let b be s(-6). Is b not equal to -25?
True
Suppose 3*n - 12 = -0. Suppose 0*o = -n*o - 4. Let x be (-1 + 0)/(o/1). Is 2 smaller than x?
False
Let f = -24.07 + 24. Are f and 0.1 non-equal?
True
Let m = -50 + 51. Is -1/23 at most as big as m?
True
Suppose -w = -2*l + 4, -3*w - 2*w + 5*l = 0. Are 4 and w equal?
True
Suppose 0*k + 2*k - 4 = 0. Let v be 19/