*6/4. Let j be v*2 - (-2 + -1). Does -2 = j?
False
Suppose -3*x - 3*i + 25 = -8*i, 0 = 5*i + 25. Suppose r - 1 = 5*f - x, 0 = -2*r - 5*f + 2. Let j be ((-4)/2 + 1)/(-3). Which is bigger: j or r?
r
Let u(z) = -z - 5. Let m be u(-6). Let q be m/(-15)*(-5 - -2). Let t(b) = b**2 - 10*b + 16. Let k be t(8). Is k less than q?
True
Let h = -2 + 11. Let t be (-6)/h - (-20)/3. Which is smaller: t or 7?
t
Let v be 14/((2 - -1) + -16). Let s = v + 68/39. Which is smaller: 2 or s?
s
Let s = -204 + 204. Is s bigger than -1/109?
True
Suppose -5*r - 2*u + 20 + 2 = 0, -2*r + 3*u + 24 = 0. Let n = -6 + r. Which is smaller: 5/6 or n?
n
Let i = 7 - 3. Let p = i - 1. Let c = p + -2. Is 0 at most as big as c?
True
Suppose 53 = -4*q + 297. Which is greater: 60 or q?
q
Suppose 2*h = 2*k + 10, -5*k - 13 - 4 = -3*h. Suppose 0 = h*l - 7*l. Does l = -1/3?
False
Let b(z) be the second derivative of -z**4/24 + 4*z**3/3 - z**2 - z. Let y(v) be the first derivative of b(v). Let n be y(8). Is -2/9 less than or equal to n?
True
Suppose -k - k + 2 = 0. Let y be (-4)/(-6)*(-9)/3. Let h be y/(-35)*(-10)/(-2). Which is smaller: h or k?
h
Let c be 9/((-396)/(-8)) + (-18)/(-22). Is 2/5 smaller than c?
True
Let r = -5/13 - -38/65. Let u be 24/40 + 3/(-5). Suppose u*b = -4*b. Are b and r non-equal?
True
Suppose -y = -2*n + n + 1, -n = -5*y - 13. Let a be (2 + 2/y)/(-2). Is a != 0.2?
True
Let a = -6 + 15. Let q = 6 - a. Let j be 1/(1*2/(-6)). Is j >= q?
True
Let w = 2793 + -170369/61. Is -1 at most as big as w?
True
Let a = -45/4 - -1849/164. Does -1 = a?
False
Let y(l) = -l - 4. Let g be y(-3). Let w = g - 8. Let z be -2 - w/4 - 0. Is 1 equal to z?
False
Let n be 12/(-4)*-1*1. Suppose -5*y + 5*m - 20 = -0*y, -5*m = -n*y - 18. Is 1/7 at most y?
False
Let q be (-1)/5 + (-54)/30. Let n be (2*10/(-2))/q. Suppose -6*c = -3*c - n*s + 5, 3 = 5*c + 3*s. Is 1/2 greater than c?
True
Suppose 0 = -0*z - z. Let k = 1 - 1. Is k not equal to z?
False
Suppose 29*m - 18 = 20*m. Which is bigger: m or 3/4?
m
Let q = -63 - -59. Is q smaller than -2/7?
True
Let v = -0.02 + 1.02. Let d = -2 - v. Is d <= 0?
True
Let s(w) = -w**3 - 6*w**2 + 10*w - 3. Let c be s(-7). Let h be -4*(-10)/c*3. Let o = 8 + h. Is o > -1?
True
Let i be -2*2/12*(-36)/(-24). Which is bigger: -2 or i?
i
Let k(n) = -n + 1. Let l be k(-4). Let r be -3 + (0 - -6) + 2. Suppose -a = -0*a + 4*y + 1, 0 = r*a - 2*y + l. Is a less than or equal to -2?
False
Let l = -61 - -60. Let j be (0/2 + 1)/(-1). Let v = j - 1. Which is smaller: l or v?
v
Suppose 0 = 3*o + 2 - 8. Let d be (-24)/132*(-1)/o. Which is greater: 1 or d?
1
Let t be 148/(-18) - 10/(-45). Let i = t - -14. Suppose -i*u - 15 = -u. Which is bigger: u or 0?
0
Let o = 0.129 - 0.029. Let x = 3 - 6. Let f = x + 2. Which is smaller: o or f?
f
Suppose 3*c + 2*z = -19, -2*c + 4*z + 4 = 2*z. Suppose 3*x = 2 - 14. Is c less than x?
False
Let h be (2/4)/((-1)/(-2)). Suppose 3*w - 4 = -7. Is w equal to h?
False
Let z = 64 + -5. Let h = z + -766/13. Is 0 not equal to h?
True
Suppose -4*g - 1 - 3 = 0. Let d be g*3/18*4. Which is bigger: -1/2 or d?
-1/2
Let f = 2649752/17 + -156710. Let r = -842 - f. Which is smaller: -1 or r?
-1
Let n = 82/21 + -18/7. Let g(l) be the second derivative of l**5/20 - l**4/3 + l**3/3 - 3*l**2 - 3*l. Let y be g(4). Which is smaller: n or y?
n
Let w = 6 + -3. Let x = w - 3. Let i be (2/8)/(6/(-8)). Which is smaller: i or x?
i
Let j = 9 - 11. Which is smaller: j or 0?
j
Let t = -0.94 - 0.16. Which is greater: t or -0.1?
-0.1
Let r = -121 + 136. Which is greater: r or -2?
r
Let v = -3 - -5. Let s = -1 + v. Let d = 383/7 - 55. Is d equal to s?
False
Let f(h) = -h**2 - 19*h + 7. Let i be f(-18). Which is smaller: i or 26?
i
Suppose 4*t - 2*t = 6. Suppose -5*v - 2 = t. Does -1 = v?
True
Let v be (-4)/10 - (-24 + 24). Is v equal to 1?
False
Suppose 2*c + s + 11 - 26 = 0, 2*c - 5*s = 21. Which is smaller: c or 4?
4
Let a be (0 - 1) + (-4 - -8). Suppose -8 = -a*o - 20. Is o <= -0.1?
True
Suppose -4*x = -383 - 745. Let a be 6/8 - 47322/(-168). Let v = x - a. Are -1 and v nonequal?
True
Let d be 2/((-6)/(-9)) + 1. Suppose 5*p + 3*q = -1, 2*p + 7*q - 5 = d*q. Let n be 1 - (3 - (-12)/p). Which is smaller: 5 or n?
n
Let a = -1 + -9. Let v(s) = -s**2 - 10*s + 14. Let n be v(a). Is 15 smaller than n?
False
Suppose -4*m + 5 = -v - 5, 0 = 3*m - 12. Which is bigger: 3 or v?
v
Let g(k) = -k**3 + 7*k**2 - 5*k - 6. Let x be g(6). Let y = -6 - -6. Let r = y + x. Are -0.1 and r equal?
False
Suppose -5*k - 27 = -2*k. Let g = -5 - k. Is g less than or equal to 1?
False
Suppose 10*n - 400 = 2*n. Does 49 = n?
False
Let t be 2 + -4 + 153/(-2). Let f = t - -801/10. Which is smaller: 3 or f?
f
Suppose 5*v = 3*v - 26. Let c = v - -11. Is c at most -1/9?
True
Let n = 369/2 - 1043/6. Let f be ((-872)/14)/(18/(-3)). Let y = n - f. Is -1 greater than y?
False
Suppose -4*n = -3*n + 19. Let i be -1*(-2)/n*1. Suppose -4*b + o = -0*b + 9, 14 = b + 3*o. Which is bigger: i or b?
i
Suppose -7*t + 4*t = -6. Which is smaller: t or 5/4?
5/4
Let t be (1*-9)/((-2)/(-1)). Suppose 2*q + 14 = -b, 2*q - 3*b - 5 + 11 = 0. Which is greater: t or q?
t
Suppose 0 = -6*a - 48 - 60. Let w be 4/(-14) - (-12)/(-7). Let p be w/(-4)*12/a. Are p and 0.01 equal?
False
Let c = 0.08 + 0.07. Let s = 0.05 - c. Which is bigger: 1 or s?
1
Let p = -10307 + 793857/77. Let x = p + -28/11. Let s = -0.29 + 0.09. Which is smaller: s or x?
s
Suppose 3*u - 13 = 14. Which is greater: 8 or u?
u
Suppose -3*d = 3*m + 3 + 3, -2*m + 2*d = 24. Let n = -2 - m. Let r = n + -1. Is r > -0.1?
True
Let h(j) = j**2 - 4*j. Let i be h(4). Suppose 0 = 2*p - 4*l - 4, -6 - 19 = -5*l. Let v = p - 12. Is i smaller than v?
False
Let f(s) = -s + 5. Let r be f(5). Suppose r = 3*b - 3*v - 6, 3*b = 4*v - 8*v - 8. Is -1/2 less than or equal to b?
True
Suppose 0 = 3*d - 4 - 2. Let y be d/(-1*2/3). Let h be ((-4)/(-2) - y)*-1. Is -5 greater than or equal to h?
True
Let s be 2/(-1)*(-4)/8. Which is bigger: 1/2 or s?
s
Let m = -0.023 - 0.277. Which is greater: m or 1/13?
1/13
Let s be (-6)/39 - 30/(-26). Let o = 40/7 + -207/35. Which is greater: s or o?
s
Let u = 74821 - 47601. Let j = u - 136583/5. Let n = j - -97. Which is bigger: n or 2/13?
n
Let u be (4 - -2)/((-3)/(-12)*-5). Which is smaller: -6 or u?
-6
Let b = 8 - 6.4. Let s = -4.4 - b. Which is greater: s or 1?
1
Let b = -12 - -13. Which is smaller: b or -0.01?
-0.01
Let p = 44 - 22. Suppose 0 = -4*x - q + 90, 3*q = x - 2*x + 28. Is p greater than or equal to x?
True
Let n be (-39)/(-55) + 21/105. Which is smaller: 0 or n?
0
Let u be (-8)/52 + (-6)/(-39). Which is smaller: u or -4?
-4
Suppose -4*o = -3*g - 3*o + 11, 2*o = -4. Suppose g*c + 1 = -5. Suppose 16 = -d + 3*k + 2, d = -3*k + 10. Is d at least c?
True
Let v be 3/((-2)/(-4)*3). Suppose 0 = -t - t + v. Which is smaller: t or 6/7?
6/7
Let c = 0.1 + 0.2. Let j = c + 0.7. Let k = 3 - 2.9. Is k > j?
False
Let h be 4 + -1 + (-10 - -8). Does h = -2?
False
Let q be (-3 - -2)/(2 + -1). Which is bigger: 72 or q?
72
Let s = 5 - 5. Suppose 3*w + w + q - 9 = s, 4*w = 2*q + 18. Suppose -w = y - f, -3*y + f + 4*f - 15 = 0. Is 1 less than or equal to y?
False
Let x = 6 + -5.9. Let v = 0.5 + -0.4. Is x >= v?
True
Let s = 11 - 8. Suppose 6*b - b = 10. Is b less than or equal to s?
True
Suppose -2*d + 20 = 2*d. Suppose -3*k = -d*w - 34 + 13, -20 = -4*k + 4*w. Suppose -k*j - 2*s + 2 = 0, j + 1 = 3*j + 3*s. Which is smaller: j or 3?
j
Let s be (2/4)/((-1)/(-26)). Suppose -s = 2*r - 3*g - 42, -3*g + 11 = 2*r. Let f be (-8)/r + 2/(-10). Which is bigger: f or -5/3?
f
Suppose 3*s + 5*w = 4*w + 26, 0 = 5*s + 4*w - 48. Let q(o) = -7*o. Let h be q(-1). Is s less than h?
False
Let t be (1/3)/((-1)/3). Let x be -1 + 2 + 1 + t. Let p be 4/14 + (-2)/56. Is x smaller than p?
False
Let r = -8 - -5. Let q = 6 + r. Is 0 less than or equal to q?
True
Suppose 2*z = -3*z - 5*y - 35, -5*z + 2*y = 0. Let s be 12/45*3/z. Are s and -0.1 unequal?
True
Let t be (-446)/(-5688) - (-6)/(-24). Let h = -4/79 + t. Which is bigger: h or -1?
h
Let p(b) = -2 - 10*b**3 + 4*b + 3*b**3 - 5*b**2 + 8*b**3. Let o be p(4). Is -3 at least as big as o?
False
Suppose 0*a + 2*a - 37 = -5*c, 3*c - a = 20. Let m = c + -11. Which is smaller: m or -2?
m
Suppose -o = -5*y - 6*o - 20, -3*y - 11 = 2*o. Let h = -5 - y. Let v =