5 - 24/5. Which is bigger: 0 or h?
h
Suppose 4*w + 5 = -5*b + 2*b, 2*b + w = -10. Is -25/3 not equal to b?
True
Let p = 0.04 + 0.26. Let x = -6.1 - -6. Which is greater: p or x?
p
Let l be (-4)/30 - (-133)/210. Which is bigger: l or -0.5?
l
Let v = -0.9 + 0.9. Is v at most -5?
False
Let h be -10 + (-5)/((-10)/4). Let r(l) = l**2 + 6*l - 11. Let v be r(h). Suppose 3*k = -9, 2*k + 3 = 2*n - v*n. Which is smaller: n or 2?
n
Let v(d) = -3*d + 7. Let r(s) = 7*s - 15. Let q(b) = 4*r(b) + 9*v(b). Let y be q(-3). Which is greater: 4/5 or y?
4/5
Let o be 0/(1 - 6/2). Suppose a + 2 = -o*a. Let c = -4 - -2. Do a and c have the same value?
True
Let x(f) = -f**3 - 14*f**2 - 15*f - 27. Let t be x(-13). Is 2/149 >= t?
True
Let f = 263/1386 - 1/126. Which is greater: 1 or f?
1
Let p = 0 - 0.2. Let d = 5 + 2. Let v = d + -7. Are p and v equal?
False
Let h = 4.93 - 5. Let l = -2.07 - h. Let f = -1.94 + -0.06. Is f at most as big as l?
True
Suppose -6*p = -2*p - 5*n + 1, p = -5*n + 31. Let z be p*((-1)/(-2) + -1). Let d be (0 - z/(-12))*-4. Which is bigger: d or -0.3?
d
Let i = 10 - 5. Let d = -6 + i. Is -2 less than d?
True
Let p = 8 - 17. Let g(x) be the third derivative of -x**5/60 - 3*x**4/8 + 2*x**2. Let n be g(p). Which is smaller: n or 2/11?
n
Let b = -7 - -6.98. Let x = 0.08 - b. Let n = -0.13 + 0.06. Which is bigger: n or x?
x
Suppose 7 - 27 = -3*f + 4*c, -2*c + 26 = 3*f. Is 8 less than or equal to f?
True
Let a(b) = 3*b**2 - b. Let s be a(-1). Suppose 3*v - 16 = -s*y - 3, -3*y + 17 = -5*v. Which is greater: 2 or y?
y
Suppose -6*c = -2*c - 120. Let w be (-2)/12 - 205/c. Is 0.2 <= w?
False
Let g(z) = -z**3 + 4*z**2 - 2. Let d be g(1). Which is greater: 1/28 or d?
d
Let z be ((-2)/(-24))/(0 + 1). Suppose 9 = -43*l + 34*l. Which is bigger: z or l?
z
Let a = 805/2 + -5679/14. Which is bigger: -3 or a?
-3
Let k be -2 + 28/(-20)*-2. Suppose 4*p + 2*m = -p + 12, -4*p + 20 = -m. Let r = p - 4. Is r >= k?
False
Suppose -6*w - 10 = -w. Let b be -2 + (2 - w/7). Let m = 1 + 0. Which is greater: m or b?
m
Let o = 0.74 + -2.74. Which is greater: -0.02 or o?
-0.02
Let l = 43/161 + 7/23. Let b be 69/63 - (2 + -1). Let n = l + b. Which is smaller: n or 2?
n
Suppose 0 = 3*y + 115 - 454. Suppose 0 = -2*k + 15 - y. Let z = k - -533/11. Is -2 at most z?
True
Let n = 171/620 + -4/155. Let j = -2.2 - 0.8. Which is smaller: j or n?
j
Let q = -1.4 - -22.4. Let o = -19 + q. Are o and -1/2 nonequal?
True
Let u = 110.1 + -122. Let a = 12 + u. Is 3 < a?
False
Let j(u) = -u**2 + 4*u - 1. Let h be j(2). Suppose 8*s - h*s + 5*q - 25 = 0, -25 = -5*q. Is 2 at least s?
True
Let f = 15 - 17. Let j be (-209)/2*1/(-2). Let p = j + -54. Which is bigger: p or f?
p
Let v be 26/300 + 2/(-12). Suppose 2*w + k - 5 = w, -2*w + 2*k - 10 = 0. Which is smaller: v or w?
v
Let r = -1/8 - -9/40. Suppose -u = -s + 6*s, -2*s = -u. Are r and s unequal?
True
Let l = -6 - -13. Is 6 at least as big as l?
False
Let q be -3 - (2 - (-2 - -8)). Is q bigger than 2.9?
False
Let i = 18680/29 + -644. Which is smaller: i or -1?
-1
Let n = 0.34 - 0.4. Is -0.2 < n?
True
Let l = -988/7185 - -2/479. Suppose -3*s + 6 = -2*s. Suppose p = 2*q + s*p + 7, -2*q - 6 = 4*p. Which is bigger: q or l?
l
Suppose 5*f + 335 = 10*f. Which is greater: 66 or f?
f
Let b = -0.35 - -0.55. Which is smaller: b or -7?
-7
Let q(r) = -r**3 + 7*r**2 - 6*r - 1. Let x be q(6). Let j be (4/(-24))/(301/746). Let y = -2/129 + j. Is x > y?
False
Let q = -97/77 + 17/11. Is q at most as big as -1?
False
Let q = -3 - -4. Let l = -0.8 + 0.82. Which is smaller: q or l?
l
Let x be (-6)/(-4) - (65/10)/13. Is x less than 3/25?
False
Let u = 0.78 - -4.12. Let n = u - 5. Let w = 1 - 2. Are w and n non-equal?
True
Let t(k) = 3*k**2 - 9*k + 7. Let y be t(7). Let c = y + -171/2. Do c and 6 have the same value?
False
Let n = 1 - 2. Let h be 2/(-4) - (-3)/12. Which is smaller: n or h?
n
Suppose -2*z - 42 = -5*z - 4*r, 0 = z + 4*r - 14. Suppose -4*q + 2*w = -w + 14, -2*w + z = -5*q. Let p = 1 + 1. Is p greater than q?
True
Let r = 6 - 10. Let a be (-1)/((-3)/(30/r)). Let d(v) = v**3 - 7*v**2 + v - 6. Let p be d(7). Is p greater than a?
True
Let z = 14 + -3. Let i = z + -15. Let o = -3 - i. Which is smaller: o or 0?
0
Let i(s) = s**3 - 3*s**2 - 6*s + 5. Let b be i(4). Let c be 2 - 0 - (b + 5). Which is greater: c or -1/4?
c
Let p = 93 - 379/4. Is p >= -3?
True
Suppose -3*q + 4 = -5. Suppose l - 4*l = -q*w - 12, 0 = -5*l + 3*w + 14. Which is smaller: l or 6/13?
6/13
Let l(a) = -9*a**2 + 8 + 2*a**2 + a**3 + 8*a - 3*a. Let s be l(6). Suppose v + 3 = -4*c, 5 = -2*c - s*v - 1. Which is smaller: c or 1?
c
Let d = -10.6 - -94.6. Which is greater: -0.2 or d?
d
Let i(j) = j**2 + 8*j + 6. Let g be i(-7). Which is greater: 1/20 or g?
1/20
Let l be 3 - (146/20 - 3). Let x = 9/5 + l. Is 0 greater than or equal to x?
False
Let g = -20 + 24. Let d be (0 - -1)/(18/4). Is g at least d?
True
Let n be 2 + 0/((-3)/(-3)). Suppose -n*x - 6 = -x. Let u(q) = q**2 + 5*q - 5. Let l be u(x). Which is bigger: l or 0?
l
Let d(z) be the second derivative of -z**5/20 + z**4/12 + z**3/3 - z**2/2 + 3*z. Let x be d(1). Let k be (-56)/90 - 4/(-18). Are k and x equal?
False
Let u be (-12)/(-9)*12/(-8). Is -17/5 not equal to u?
True
Let g = 3 - 7. Let f be 15*5/(10/(-18)). Let u be f/36 - 1/4. Is u > g?
False
Let v = 19 + -10. Is v smaller than 0.1?
False
Let t = 2 - 2.2. Let b = 9 + -10. Is b != t?
True
Let u(f) = 2*f. Let x be u(1). Suppose x*k - 11 = -3*b, -b - 13 = 3*k + k. Is 8 at most b?
False
Suppose -y = -3, z - 2 = -z + 2*y. Let q be (4 + -2)/(2/4). Is z <= q?
True
Suppose 5*k - 129 = 71. Let q be (15/(-20))/((-1)/k). Let t be 5 + -4 + q/(-26). Which is greater: -1 or t?
t
Let r = -12 + 20. Let v = r + -8. Let d be 34/24 + (-2)/3. Does v = d?
False
Let i = 7 - 2. Suppose i*n = 2*m - 2 - 0, 5*n - m = -1. Let t be n/(-1 + 0 + 0). Is t greater than or equal to 1/2?
False
Let p be (-119)/(-68) - ((-2)/8 - 0). Which is smaller: 4/5 or p?
4/5
Let w be (-20)/15*(-12)/5. Let j be (-376)/105 + (-2)/(-3). Let r = w + j. Is -0.2 equal to r?
False
Let w be ((-51)/68)/(18/(-20)). Is 2 > w?
True
Suppose 0*l - 8*l + 72 = 0. Which is smaller: 11 or l?
l
Let b = -120 + 602/5. Which is smaller: 0.2 or b?
0.2
Let r be 1*355*2/25. Let l = -28 + r. Which is greater: l or 0?
l
Suppose i + 2 = 2*i. Let a = 3 - i. Suppose k - 3 = -2*k. Is k != a?
False
Let m = 1.2 + -1.1. Let u = m + 0.1. Is -4/7 greater than u?
False
Let y(f) = -f**3 - 3*f**2 + 5*f + 1. Let n be y(-4). Let p be 4/3 + 1/n. Let q = -108 + 542/5. Which is smaller: p or q?
q
Suppose 29 = -5*z - 16. Suppose -4*p - 57 = 5*t, 11 + 70 = -5*p - 3*t. Let k be 2/z - 40/p. Are k and 2 nonequal?
False
Let r(a) = -3*a**2 + a. Let y be r(1). Suppose -5*k = -u - 0*k + 3, -12 = -4*u + 3*k. Suppose u*j - 2 = -5. Which is bigger: j or y?
j
Let b = -25.1 + 25. Let i = 3 + -5. Let c = i + 1. Is b <= c?
False
Let s be (-6)/4*(-1 - 1). Let o be s + -2 + 2 + 0. Is 4 greater than or equal to o?
True
Let s = -4 + 43/11. Is s less than 0?
True
Suppose 6*i = -4*i. Are 2/161 and i unequal?
True
Let g = 107/460 - -2/115. Let f(l) = l**3 + 10*l**2 + 9*l + 1. Let r be 11/(22/(-24)) - -3. Let d be f(r). Which is smaller: d or g?
g
Let g(z) = -z**3 + 12*z**2 - 21*z + 11. Let i be g(10). Which is bigger: -3 or i?
i
Suppose 0*s - 96 = 8*s. Is -23/2 at least as big as s?
True
Suppose -d = -5, 3*d = 2*t - 22 + 1. Is t bigger than 1?
True
Let c = -97 + 973/10. Suppose 2*d - 5*d = 0. Let y = d - 0. Which is greater: c or y?
c
Let a be 4/10 - 119/(-140). Let g = -17/2 + 9. Do a and g have the same value?
False
Let d = 8 + -3. Suppose 12 = d*c - c. Which is smaller: 7/4 or c?
7/4
Let r = 169 + -119. Is 50 at least r?
True
Suppose 2*s - 2*a - 25 = 15, 35 = 3*s + 2*a. Let d = s + -22. Does d = -7?
True
Let h = -29.1 - -29. Is h bigger than -2/11?
True
Let y be (-5)/(-30) - 35/(-6). Let g be ((-1)/2)/(3/y). Which is smaller: g or -2?
-2
Let d = 774 + -10068/13. Is 0 smaller than d?
False
Suppose 4*z = 12, -2*f = 3*f - 3*z + 9. Suppose -2*s - 4 = -2*b, 6*s - 3*s + 2*b - 9 = f. Does 1 = s?
True
Let w = 12 - 13. Is 8 <= w?
False
Let x(y) = y - 5. Let o be x(6). Is 2 not equal to o?
True
Let h(p) = p**3 - 9*p**2 - p + 11. Let l be h(9). Which is smaller: 6 or l?
l
Let t = -0.26 + -0.04. Let k = -