+ 7 - 19. Let q be c(8). Let a = 4 - 0. Which is smaller: a or q?
a
Suppose 3*u - 5*u - 5*d + 7 = 0, 4*d - 4 = 0. Is 1/4 at least as big as u?
False
Let a = -7178/19 + 378. Is -1 greater than or equal to a?
False
Let j = -1778/5 - -357. Which is smaller: j or 1?
1
Suppose -2*c = 5*z + 4, 3 = 5*z - 4*c - 5. Which is greater: -2/91 or z?
z
Suppose 4*o + 16 = 4. Let l be ((-9)/(-6))/(6/(-8)). Which is smaller: l or o?
o
Let m be 242/(-8) + 1/4 - 0. Is -32 greater than m?
False
Let w = 77 + -55. Is -1/2 at most as big as w?
True
Let h be (-105)/(-14) + (-1)/(-2) + -1. Which is bigger: 8 or h?
8
Suppose -3*r = 3*d + 6, 2*d = -3*r - 2 - 1. Let t(k) = -k**3 - 5*k**2 - 3*k + 5. Let j be t(-4). Is j less than r?
False
Let h = 60 - 299/5. Suppose -6*y + 4*y = -6. Let t be -2*(-2 + 4) + y. Are h and t non-equal?
True
Suppose 5*y = -1 - 14, 4*a + 2*y + 122 = 0. Are a and -30 nonequal?
True
Let y be (4 - 0 - -1)*-1. Is y at most as big as -5?
True
Let t = 6.05 - 0.05. Let s = 0.02 - 0.1. Let b = -0.02 + s. Is b < t?
True
Suppose 0 = 3*f + j + 6, 0*j = -2*f + 2*j + 4. Is f greater than or equal to -2?
True
Let f(v) = -v**3 + 3*v**2 + 4*v - 4. Let l be f(4). Let o be (-2)/l + 1/2. Is o at most 2/9?
False
Let z = -9 - -13. Let n be (2 - z) + 6 + -3. Which is greater: -18/7 or n?
n
Let o = 102 + -103. Which is smaller: o or -0.12?
o
Suppose 10 = 3*r - 14. Which is greater: 6 or r?
r
Let m = -0.05 + 5.05. Let f = -6 + m. Which is smaller: -2/3 or f?
f
Suppose 14 = -2*f - 3*w, -12 = w + 2*w. Suppose -415 = -2*t + n, -3*n = -4*n + 5. Let u be 88/t + 12/(-42). Is u > f?
True
Let d be (-40)/253*5/10. Let s = d + 6/23. Is s less than or equal to 3?
True
Suppose -5*l + 2*p - p - 5 = 0, 4*l + 5*p = -33. Which is smaller: l or -1?
l
Let y be 1/((-3)/((-63)/12)). Let f = -2 + y. Suppose -9*i + 3*i = 24. Which is smaller: f or i?
i
Let t(o) = o**2 - 8*o + 10. Let l be t(7). Is l bigger than 1?
True
Let p = -8 - -11. Let f be ((-5)/2)/((-1)/2). Suppose 2 = -f*l - p. Which is greater: l or -2/7?
-2/7
Let f = 94 + -80. Which is bigger: 11 or f?
f
Let t be 5/(-20) - (-18)/8. Is 2 less than or equal to t?
True
Let n(y) = y**3 - 3*y**2 - y - 2. Let p be n(3). Let c = 2 - -1. Suppose -c*k + 10 = -5*k. Are k and p equal?
True
Let f = -2 - -2. Let r = 1.7 - -6.3. Let q = r - 8.1. Is f equal to q?
False
Let l = -10 + -1. Which is smaller: 0.1 or l?
l
Suppose 0 = -3*s + 4*s - t + 1, -13 = s - 4*t. Suppose -g - 7 = -s*a, 5*a - g = -5*g + 23. Is 3 <= a?
True
Let s be 3/60*58694/4. Let u = -734 + s. Let d = u + 1/5. Are d and -1/4 equal?
False
Let c = -0.3 - -6.3. Which is smaller: -2/3 or c?
-2/3
Let n be (-4)/12 - 478/(-120). Let z = 17/5 - n. Let s = 5/13 + -33/52. Is s != z?
False
Let s = 0.049 + -9.049. Which is smaller: -2 or s?
s
Let j = -16231/114 + 1429/19. Let g = 67 + j. Let h = -88/129 - -2/129. Is h < g?
True
Suppose 6 = 2*x - 0*x. Suppose 0*w = x*w - 24. Let g be (3/(-5))/(w/20). Are -3 and g nonequal?
True
Suppose 6*r - 30 = 3*r. Let d(q) = -q**2 + 9*q + 11. Let p be d(r). Suppose -5*u = t - 2*u - 6, 5*t + 10 = 5*u. Which is smaller: p or t?
t
Let v = 3 - 7. Is v not equal to -3?
True
Let o = -5 - -8. Suppose 0 = -o*t + 22 - 10. Is t less than or equal to 1?
False
Suppose -s + 5 = 0, 5*t = -2*s + s. Let w = 43/297 - -1/27. Is w less than t?
False
Let a(b) be the second derivative of -b**4/12 + 7*b**3/3 + 3*b**2/2 - 6*b. Let k be a(14). Let c be 1*(-1 + 0)*1. Is c greater than or equal to k?
False
Let z = 12067/32 + -377. Is -1 greater than or equal to z?
False
Let g be 5/(-3) + (-6)/(-2). Which is smaller: 2 or g?
g
Let r = 61 + -94. Is r at most -33?
True
Let p = 7.3 - 0. Let b = p + -7. Let w = b - -1.7. Which is bigger: -2/15 or w?
w
Let s(f) = f**3 - 6*f**2 - 5*f - 29. Let j be s(7). Which is bigger: j or -20?
j
Let g = -1.7 - -1.8. Is 3 greater than g?
True
Let l be 3 - (3 - 2)*-1. Suppose w = o - 2, -l*o + 6*w + 11 = w. Is -2/5 <= o?
False
Let z(i) = 4*i + 2. Let w be z(2). Suppose -4*o = 2*n - 6*o + w, -3*n = 5*o + 15. Do -5 and n have the same value?
True
Let n be -6*(2 - 3)/3. Let b be 5/(-3) + -1 + n. Let l(y) = -y + 1. Let g be l(1). Is g smaller than b?
False
Let i be -4 + (-6)/(-9)*30. Let m = -18 + i. Is m < -1?
True
Let i = -169/21 - -26/7. Is -3 less than i?
False
Let f be 10/(320/72) - (1 + -1). Is f less than or equal to 2?
False
Let c = 16.94 + 9.03. Let x = 26 - c. Is x not equal to -2?
True
Let x(j) = -j**2 - 8*j - 9. Let s be x(-6). Suppose -3*o - 96 = -2*o. Let r be (-2)/11 + o/(-44). Is r less than s?
True
Let v = 38 + -36. Which is smaller: v or -2.2?
-2.2
Let n(o) = -o**3 - o**2 - o + 2. Let c be n(-2). Is 5 at least c?
False
Let g = 23 - 23. Is 4/7 > g?
True
Suppose -11 = -2*n - 4*f + 7, 2*n = 2*f. Suppose n*j + 2*j + 20 = 0. Let d = -2 + 0. Is d >= j?
True
Let x = -4 + 3. Let k = 12 - 11. Suppose -4*o + k = 5. Do o and x have different values?
False
Let p = -0.13 - 15.87. Let b = 15.8 + p. Does b = 0.5?
False
Suppose 2*j + 1 = j. Let p be (-24)/32 + 0 + (-98)/(-120). Which is greater: j or p?
p
Let m(z) = 2*z**2 - z - 1. Let o(y) = -2*y - 4. Let t be o(-3). Let r be m(t). Do 5 and r have the same value?
True
Let k = 55 - 67. Is k at most 1?
True
Let y(x) = -x**2 - 11*x + 1. Suppose -5*b - 3 = 52. Let p be y(b). Which is bigger: -4/9 or p?
p
Let w(j) = -j**3 - 6*j**2 - 4*j + 2. Suppose -3 = -3*l - 18. Let f be w(l). Let m be f + 3 + 1/(-1). Which is bigger: m or 2/7?
2/7
Suppose -17*t - 28 = -10*t. Which is smaller: -6 or t?
-6
Let l be 32/5 + (-18)/45. Let o(n) = n + 10. Suppose -v - 3 = 2. Let w be o(v). Are l and w non-equal?
True
Let m = -2493/14 + 178. Suppose -4*v = 5*y - 11, 11 + 1 = 3*v. Is m <= y?
False
Let a = -8.2 + 8.9. Let g = 2 - 3. Do g and a have the same value?
False
Let s = -2 + 2. Let z be (4 + -6)/(s + 1). Let h be (-4)/(5 + (-3 - 0)). Is h less than or equal to z?
True
Suppose -6*c + 16*c + 1490 = 0. Which is greater: c or -148?
-148
Let h = 9.15 - 9. Let m = h - 0.05. Which is smaller: 1 or m?
m
Let o(b) = -10*b**2 + 0*b**3 - 2*b**3 + b**3 + 1 - 9*b. Let n be o(-9). Suppose -s - 3*s = -5*s. Which is smaller: s or n?
s
Let m(j) = -j - 1. Let u be m(3). Let b = -4 - u. Is -1/5 >= b?
False
Let g(o) be the second derivative of -6*o**2 + 0 - 11/6*o**3 - 1/20*o**5 - 11/12*o**4 - 3*o. Let d be g(-10). Is d at least 0?
False
Let t = -7 - -11. Let i = t + -3. Let g be 12/36 + 4/6. Is g greater than or equal to i?
True
Let y be 26/91 + 51/(-105). Does y = -5?
False
Let r(f) = -7*f + 4*f**2 - 3*f**2 + 7 - 2*f**2. Let g be r(-8). Do g and -2/3 have different values?
True
Let o = -1 + -1. Is o smaller than -4?
False
Let h(c) = -c + 1. Let t be h(2). Suppose -4*a + 0*a - 16 = 0. Let x be (a/33)/(16/(-24)). Are x and t nonequal?
True
Suppose -5*b = -4*y + 12, 5*b - y - 4*y = -15. Which is bigger: -5 or b?
b
Let d = -102 + 101. Which is greater: d or 1/260?
1/260
Suppose 0*i = -3*i + 5*g + 19, 5*i - 3*g = 21. Are i and 3 unequal?
False
Suppose 4*f - 124 = -0*f + 5*h, -f + 3*h + 38 = 0. Is 25 < f?
True
Suppose z - 2*a = -a - 3, a - 5 = 0. Let o = 0 - z. Let t be (5/20)/(o/(-4)). Which is bigger: t or 1?
1
Let d = -9 + 9.9. Let u = -0.1 - d. Are 1/5 and u equal?
False
Let x be (-45)/(-18)*(-8)/(-170). Is x bigger than 1?
False
Suppose -2*d - 4 = -d + 2*r, r - 1 = -d. Let b = d + -1. Is b greater than 5?
False
Let y = -56.1 + 59. Let n = -0.1 - y. Are -1 and n nonequal?
True
Let z = 21 - 20. Let v be -2*z*(-5)/10. Which is bigger: v or -2/25?
v
Suppose x - 3*d = 7, x = -0*x - 2*d + 7. Let s = -10 + x. Is -3 less than or equal to s?
True
Let u(w) = -w**3 - w**2 + w - 4. Let c be u(-3). Are c and 11 unequal?
False
Let p = 1 + 5. Let a = p - 8. Which is smaller: 1 or a?
a
Let v = 0.03 + -0.03. Let s = v - -1. Which is bigger: 2 or s?
2
Suppose 15 - 35 = 2*l. Let p be -5*(4 + 16/l). Which is smaller: p or -13?
-13
Let o be 2 + -1 + (-38 - 1). Let s be (3 - o/(-14))/(-5). Which is greater: 1 or s?
1
Let w be (4 - 2) + -2 - -2. Suppose -3*a + 15 = -3*k, w*a - 1 - 13 = 4*k. Suppose 2*n - 2 + 0 = 0. Which is bigger: n or a?
a
Let m = 10340/3759 + -58/21. Which is bigger: m or 0?
0
Let b = -182806/11 - -16607. Let o = -2092/33 - b. Let i = -51 - o. Which is smaller: 0.1 or i?
0.1
Let o = -145/343 + -2/343. Which is smaller: 1 or o?
o
Let k(n) =