han or equal to -1?
False
Let a = -3 - -5. Which is greater: a or 1/5?
a
Suppose x = -0*z + 2*z - 149, -3*z = -2*x - 297. Let q be (x/(-33) - 2) + -3. Which is bigger: q or 0?
0
Let v = 1 - -3. Let i = -1 + v. Let y = 3.5 - i. Is 2/5 greater than or equal to y?
False
Let d be 8/(-10)*(3 - -2). Let u(n) be the first derivative of n**2/2 + 8*n - 1. Let l be u(d). Is l <= 4?
True
Suppose 3 = -3*y - 3*k - 12, 0 = 3*y - 5*k - 9. Which is smaller: -14/13 or y?
y
Let i be 3*(-2 - (-2)/(-3)). Let z = i - -11. Suppose 0 = -4*u, 2*v + 4*u - 4 = z*u. Is 7/4 >= v?
False
Let h be -2*1/((-2)/3). Suppose 3*o + o + 3*s - 15 = 0, -2*s - 13 = -5*o. Suppose a - o*w - 15 = -2*a, 4*a + 3*w - 6 = 0. Is a < h?
False
Let p = -3 + 2. Let b = -26 + 29. Suppose 0 = 3*q + 3, 2*w - b*q + 3 = -4*q. Is w greater than or equal to p?
True
Let c = -7 + 9. Is -1 < c?
True
Let g be 50/(-12) - (-9)/54. Is g at most as big as -2?
True
Let z = 105/4 - 26. Does -3 = z?
False
Suppose 0 = 5*x + 10, -4*v + 5*x = x. Let n be 2/(-6)*-3 - 0. Let c = 0 - n. Which is greater: c or v?
c
Suppose 0 = -n - 0 - 13. Let m = 64/5 + n. Is 1 > m?
True
Let f = 219/20 - 47/4. Which is smaller: f or 5/4?
f
Let t = 7/17 - -1322/51. Let r = -27 + t. Which is bigger: -1 or r?
r
Let h = 5 + -3. Let v = h + -3. Let i be 0 + 0 - 1*2. Which is bigger: i or v?
v
Let x = 5 - 3. Suppose 3*a = -2*m + 14, -3*m - 2*a = -33 + x. Let b be -5*(m/5 - 3). Which is smaller: b or -2/3?
-2/3
Suppose -4*b = -4*r + 24, -3*b - 16 + 2 = -r. Let w be 5/5*(r - 1). Which is smaller: w or 1/6?
1/6
Suppose 96*s - 94*s = -8. Which is bigger: -30/7 or s?
s
Suppose -3*j = 2*j - 25. Suppose -2*q - j = 3*q. Let c be -9 - -7 - (-7)/5. Are q and c nonequal?
True
Let t be 1 - (44/55)/((-2)/(-5)). Which is smaller: t or 6/25?
t
Suppose -2*d - l = 29, -4*d - 53 = -0*d - 3*l. Let s be 1/4 + d/(-8). Let b(t) = t - 6. Let i be b(7). Which is bigger: s or i?
s
Let x = 1 - 8. Let m be 2/x - 47/7. Let b = -4 - m. Which is greater: 0 or b?
b
Let g = 7 - 7. Which is greater: g or -7/2?
g
Suppose -3*f - f + k = 3, 0 = -5*f - 5*k - 10. Which is bigger: f or 1/25?
1/25
Let g = -2 - 0. Which is bigger: g or 4?
4
Let t be (1/(-2))/((-1)/10). Suppose 0*n = -5*n + t. Which is greater: n or 1/6?
n
Let f(k) = k - 14. Let a be f(10). Let v be ((-2)/a)/(9/(-12)). Is v greater than or equal to -1?
True
Let r be (-6)/12 - (-2)/(-4). Which is smaller: r or -1/24?
r
Let o be 4/(-6) - 170/(-102). Is 10/13 equal to o?
False
Let w(q) be the second derivative of -q**5/120 + q**4/12 + q**3/6 - 3*q. Let h(t) be the second derivative of w(t). Let j be h(4). Which is bigger: j or 1/4?
1/4
Let c = -1 - -1.1. Let o = -0.9 - c. Let h = o + 0.9. Which is greater: h or 0.1?
0.1
Let q = -421 - -5891/14. Are 1 and q equal?
False
Let j(y) = -y. Let g(m) = m**2. Let x(o) = -g(o) + 6*j(o). Let d be x(-5). Suppose -4*u + 20 = -0*q - d*q, -3*u = -2*q - 8. Is u not equal to -1/4?
True
Suppose 2*p - 3*p - 3*y = 1, 4*p - 2*y + 18 = 0. Let g(q) be the first derivative of q**3/3 + q**2 + 1. Let i be g(-1). Which is bigger: p or i?
i
Suppose 0 = -d - z + 43, -227 = -5*d - 0*d - z. Which is smaller: 45 or d?
45
Let f be 22*((-1)/4)/((-5)/4). Which is smaller: 3 or f?
3
Suppose 6*i + 4 = 2*i. Which is greater: i or 4?
4
Let w be 4/14 + (-35)/(-49). Which is bigger: 2/37 or w?
w
Suppose -y - 5*i = -25, 5*y + i + 0*i - 29 = 0. Which is bigger: y or 10?
10
Let n = -5 - -4. Which is smaller: -0.021 or n?
n
Let c = -34 - -11. Let f = -22.8 - c. Is f <= 3?
True
Let p(s) = -s**2 - 6*s - 15. Let k(l) = 2*l**2 + 13*l + 29. Let c(m) = -3*k(m) - 5*p(m). Let v be c(-8). Is v greater than -4?
False
Suppose 2 + 1 = -n. Let b(y) = -y - 6. Let a be b(n). Suppose -4*z + 3*t = t, -3*t = -3*z + 6. Which is bigger: a or z?
z
Let g = -5375/19 - -283. Is g bigger than -1?
True
Let a = 0.06 - -0.04. Let v = -0.4 - -2.4. Is a greater than v?
False
Let d = 3 + -2.9. Let y = 0.1 + 0.1. Let h = y - d. Is h greater than or equal to 0.3?
False
Let u = -360 + 2508/7. Which is smaller: -3 or u?
-3
Let i be 1/(-3) + 24/(-9). Let o(l) = -l**2 - 5*l - 4. Let d be o(-3). Suppose 0 = -0*u + d*u + 6. Is u greater than i?
False
Suppose -2*p + 4 = 8. Suppose -2*y + 2*w - 28 = -3*w, -14 = y + 5*w. Let f be p/4 + 7/y. Is f at least as big as -1?
True
Let c = -10 + 17. Let y be 12/(-16) + c/4. Is 1/3 less than or equal to y?
True
Let g be (-4)/(-12)*15/(-4). Let y = -39 - -38. Which is bigger: g or y?
y
Suppose -5*m + 36 = -m. Let r be (3/m)/(3/18). Which is greater: r or 1?
r
Let j = 0.03 - 25.03. Is 1 >= j?
True
Suppose -2*l - 4*d = 3 + 3, 0 = 5*d + 10. Let b = -112/57 - -12/19. Let u = b - -5/3. Which is smaller: u or l?
u
Let i be (6/(15/5))/1. Is i not equal to 1/4?
True
Let b = 7.1 + -7. Let u = b - 0. Let l = 8/9 - 5/9. Does l = u?
False
Let d(y) be the first derivative of -9*y**2/2 - y - 5. Let c be d(-1). Is 8 at least as big as c?
True
Let q = 9.8 - 1.3. Let x = q + -1.5. Let l = -7.4 + x. Does -1 = l?
False
Let x = -12 + 22. Let t = 11 - x. Let v = 0.2 + -1.2. Is v > t?
False
Let q be 0 + -1 + (-1041)/(-1254). Let a = q + 3/38. Are -1 and a nonequal?
True
Let l = 3/5 - 31/10. Suppose 0 = x - k + 4, k - 11 = 4*x + 2*k. Is x <= l?
True
Let y be 1/7 + (-32)/28. Let k = -4/25 - -41/100. Which is bigger: k or y?
k
Suppose -5*a = x - 13, x = a + 12 - 5. Let n = 23 + -11. Suppose 0 = -t + 2*f - x, 3*t - 3*f - n = -6*f. Are 0 and t non-equal?
False
Let j = -4 + -14. Let y = -52/3 - j. Is 3 greater than y?
True
Let t be 18/(-24)*(-1 - 3). Let k be 234/4*(-1)/t. Let r = k - -20. Is 0 != r?
True
Let d = -4/19 + 27/38. Do d and 1 have the same value?
False
Let x = -85 - -46. Let o = x - -42.08. Let t = -0.08 + o. Is t < 2?
False
Let m = -300 + 688. Let v be (m/(-6))/(-2)*-1. Let z = -32 - v. Which is greater: z or -0.3?
z
Suppose 5*g - 40 = -5. Let t = 2 - -6. Is t > g?
True
Suppose -5*h = 2*i + 14, 3*i + 4*h - h = -12. Let f be i/4 - 0 - -2. Let y = -33 + 32. Is f at least y?
True
Let n = -6.1 - -6. Let p = n - 0.9. Let x = 0.2 - 1.2. Do x and p have the same value?
True
Let p(u) = -4*u + 8. Let n be p(0). Which is bigger: n or 4?
n
Let j = -8 + -10. Which is bigger: -15 or j?
-15
Let o = -90 + 83. Is -8 less than o?
True
Let o = -0.7 + -3.3. Which is bigger: o or 10?
10
Let q = 496994882354527/58200 + -8539430968. Let f = q + 2/2425. Let y = f + -1/168. Which is bigger: 2 or y?
2
Suppose -15 = 5*f, -f = -m + 3*m - 7. Suppose -r + m*p + 18 = 0, 2*p + 9 = -p. Do r and 2 have the same value?
False
Let r = 1/3812 - -10241/14295. Let b = -1/20 + r. Is -0.3 < b?
True
Suppose -f + f = -f. Which is smaller: 18/13 or f?
f
Suppose -d - 18 = -4*l + d, -l = -d - 6. Let u = 2.2 - 2.1. Which is greater: u or l?
l
Let r be ((-1)/(-2) + (-5)/2)/(-5). Let n be (-4)/2 - 22/(-7). Which is smaller: n or r?
r
Let q be (6/64)/((-150)/(-40)). Do q and 1 have the same value?
False
Let q = 355/4 - 88. Let g = -11 - -12. Which is bigger: q or g?
g
Let s(w) = -2*w - 5. Let u(v) = -5*v - 15. Let x(h) = 8*s(h) - 3*u(h). Let l be x(7). Is 0 != l?
True
Let a = -17966/21 - -855. Let i = a - -6/7. Is -1 > i?
False
Suppose -2*l = l. Let o = -8 + 9. Are l and o non-equal?
True
Let i be (1/2)/((-1)/(-10)). Let w be (4 + -5 + 4)/1. Suppose 0*z + i = 4*f + z, w*f = 5*z - 2. Is 1 equal to f?
True
Let l = 13.2 + -12.57. Let n = l - 0.6. Let k = 0.17 + n. Which is greater: k or 2?
2
Let y = 40 + -239/6. Let a(x) = -3 - x**2 + 6 + 5*x + 0*x**2 - 2. Let p be a(5). Which is smaller: p or y?
y
Let b = -17 - -20. Is 3 less than or equal to b?
True
Let i(v) = -v**3 + 10*v**2 - 13*v + 12. Let c be i(9). Which is smaller: c or -21?
c
Let y = -3/82 + -137/738. Let v = -3.03 - -3. Let d = -0.97 + v. Which is bigger: y or d?
y
Let o(r) = -r**3 - 6*r**2 + 7*r + 2. Let b be o(-7). Let h = b - 7. Is -5 greater than h?
False
Let a = -1/693 + -1/33. Is -1 smaller than a?
True
Suppose 42796 = -b + 5*b. Let l be b/(-30) + (-1)/2. Let d = 357 + l. Is 0 >= d?
True
Let p = 4.6 + -4.5. Is p at most -8?
False
Let l = 3 - 2. Suppose z = -7 - l. Which is smaller: z or -9?
-9
Let s = 21 + -21. Is -0.04 greater than s?
False
Let c = -7.8 + 8. Let j = -2.1 + 2. Let w = 0 - j. Which is smaller: w or c?
w
Suppose -1 = -2*i - n - 4, 2*i - 7 = n. Suppose l = -i + 9. Let o = -9 + l. Which is smaller