q**2 + 3*q - 8. Let j be l(-5). Is j at least as big as 8/13?
True
Let v = 126 - 120. Which is greater: 1/5 or v?
v
Let i = -29 + 18. Is -9 not equal to i?
True
Let d be 294/(-45) - 3/(-9). Suppose 3*a + 2*a - 15 = -5*c, -5*a = 3*c - 3. Let w = d + c. Is w equal to 1?
False
Suppose 3*v - 4 = -v. Let k = 0 + 5. Let i be (v/3)/(k/(-15)). Which is smaller: -2 or i?
-2
Let t be (3/(-4))/(270/(-9)). Is t less than or equal to 0?
False
Let k(p) = -p**3 - 7*p**2 + 10*p + 17. Let n be k(-8). Is -2/89 < n?
True
Suppose 2*l = -2*l + 4. Suppose -l + 11 = 5*q. Suppose -r = q*r. Is 4/9 <= r?
False
Let x = 38 + -113/3. Which is greater: x or 1?
1
Let b be 54/(-10) + (-2)/(-5). Which is smaller: b or -6?
-6
Suppose 3*x + 16 + 8 = 3*s, 4*x = s - 23. Suppose 0 = -i - 4*l - 4, -s*i - 3*l + 15 + 0 = 0. Are i and 8 nonequal?
False
Let c be (-4)/3*150/(-20). Is c < 1?
False
Suppose t + 0*t = -7. Which is greater: t or -6?
-6
Suppose 0*c - 4 = -2*c. Suppose -3*z + 5 = c. Let w be (-4)/3*6/(-4). Which is smaller: w or z?
z
Suppose -2 = -2*b + 6. Let h be (-2)/4 + 6/b. Which is greater: h or -1?
h
Suppose 72 = -p + 5*p. Let v be (-8)/36 - (-1)/p. Which is bigger: 0 or v?
0
Suppose -z + 4*d - 5 + 0 = 0, 4*z - 2*d + 6 = 0. Which is bigger: -5/8 or z?
-5/8
Let b(c) be the second derivative of c**4/12 - c**3/6 - c. Let p be b(0). Let k = 105/202 + -2/101. Which is bigger: p or k?
k
Let i = -9 + -12. Is -21 <= i?
True
Let r = 2 + -2. Let i = -11 + 8. Which is bigger: i or r?
r
Let n = -0.3 + 0.4. Let c = 2 - 5. Let a = c - -1. Which is bigger: a or n?
n
Suppose -7*y - b - 9 = -3*y, 5*b = -25. Let p = -3 + 5. Let k be (-6)/4 + p/4. Is y < k?
False
Suppose -3*l = 9, 0*w + 2*l + 144 = 3*w. Suppose -4*r + w = -2*r. Let m be -2 - (r/(-7) + 1). Which is smaller: -1/4 or m?
-1/4
Suppose 0 = -2*x + 19 + 49. Let a = x - 18. Is 15 greater than a?
False
Let x(p) = p - 4. Let f be x(-10). Let l be (-4)/f - 8/28. Suppose -2*q + 2*u - 10 + 2 = 0, l = 3*q + u. Is -2 >= q?
False
Suppose -50 = 5*v + 2*x, 5*v - 3*x = -30 - 20. Is -3 != v?
True
Let c be ((-16)/30)/(42/(-175)). Which is bigger: c or 2?
c
Suppose 5*j + 13 = 8. Is -3/5 <= j?
False
Suppose -4*a - 54 = 42. Let k be ((-18)/a)/((-126)/(-16)). Which is smaller: k or 1?
k
Suppose -4*t + 4*m = 24, -2*t - 12 = 4*m - 2*m. Let u be (7 + -1)*(-3)/t. Which is bigger: u or 4?
4
Suppose 4*a - 3 = -27. Let u be 10/15 - (-16)/a. Suppose -2*z - 3*o = -12, 4*o - 18 = -4*z - 2. Which is smaller: u or z?
u
Let d(f) = -f**2 + 7*f - 9. Let o be d(6). Let t = o - 6. Is t >= -7?
False
Let l = -239/11 + 22. Which is bigger: l or 0?
l
Let c be 1 - (-1)/((-4)/5). Let p = -12 - -11. Which is greater: c or p?
c
Let f = -14 - -18. Suppose 3 = 5*s - f*s. Which is greater: 9/5 or s?
s
Let y = 39.8 - 40. Let q = -25 - -38. Let b = -18 + q. Is b smaller than y?
True
Let s = 39 + -7. Are s and 33 unequal?
True
Let d = 0.13 + -3.13. Let r = 0 - -0.1. Is r at least as big as d?
True
Suppose -g - 2 = 2. Let f be g/(-54)*(-18)/(-12). Is 1 not equal to f?
True
Let w be 1 - (35/(-4))/(-5). Is 0.09 less than w?
False
Let u = -3203/308 - -114/11. Let i = u + 59/84. Is i less than -8?
False
Let h = 197/6 + -33. Is -1 less than h?
True
Let f(c) = c - 9. Let z be f(-6). Let y = 3 + -1. Let p be (3/z*-4)/y. Which is greater: p or 7/5?
7/5
Let c = -18 + 17. Let x = 1/28 - -45/308. Is c != x?
True
Let p = -805/6987 + -1/411. Which is smaller: p or 1?
p
Let u = 8 + -4. Suppose 4*c + 13 = -j + u, 4*c + 14 = -2*j. Let t be 1/(-4) + (-1)/(-36). Is c > t?
False
Let r = -16 - -13. Let p = -11 - r. Is 2 at least p?
True
Let d = -0.7 + 0.7. Let s = 2 + -2. Let n = d - s. Is 2/3 at most n?
False
Let o = 175 + -1580/9. Is o greater than or equal to -0.2?
False
Let t = -19 - -20. Does t = -2/15?
False
Let f be (2/(-15))/(15/25). Let n = 17.9 + -18. Which is smaller: f or n?
f
Suppose 5*c = -4*h + 2*h + 54, -3*c + 5*h + 20 = 0. Is c at least 9?
True
Let y be 0 + (-31749)/429 + 1. Let o = -798/11 - y. Let t = o - 11/52. Is t bigger than -1/2?
True
Let q(o) = -o**3 + 2*o**2 + 3*o - 4. Let d be q(3). Let l(c) = -2*c + 5. Let i be l(4). Let u be -1 + ((-6)/(-2))/i. Which is greater: u or d?
u
Let a = 11 + -7. Suppose 0 = f + f - 10, 3*f - 3 = a*w. Is 2 not equal to w?
True
Let v = -10.4 + 9.47. Is 0.1 greater than v?
True
Suppose 7*k - 5*k - 10 = 0. Suppose 3*i - 2*m = -3, -2*i + 2*m - k*m - 2 = 0. Which is smaller: i or -2/39?
i
Let p = 11 - 9. Let y = p + 1. Is 4 less than y?
False
Let l = -8/29461 + 144447395/412454. Let a = l - 350. Is -1 less than or equal to a?
True
Suppose -2*x - 3*x + u = -33, -4 = -2*u. Suppose l = -0*c + 5*c - 32, -3*c - l = -16. Are x and c equal?
False
Let c = -22 - -22. Are -1 and c unequal?
True
Suppose 0 = -4*d + 8*d - 140. Let y = 56 - d. Which is bigger: y or 20?
y
Suppose 2*t + 3*z = 6*t + 81, 3*z = t + 18. Which is greater: t or -22?
t
Suppose -6 = -2*l + 2*h, -4*h = 4*l - 16 - 12. Which is smaller: l or 3?
3
Let y = 4/31 + -14/589. Do y and 0 have the same value?
False
Let x(r) = r + 13. Suppose 26 - 9 = -q - 5*s, -q - 13 = 3*s. Let f be x(q). Suppose b = -5*v + 5, -f*b + 25 = -b. Which is smaller: 2/11 or v?
v
Suppose 6*q = -2*q + 40. Is q less than 4?
False
Let g be ((-32)/(-5))/((-6)/(-15)). Let y be g/(-24)*(-6)/(-14). Which is bigger: y or 0.2?
0.2
Let b = -13 - -13. Suppose 2*o - 5*z - 17 = o, 0 = o + 2*z - 3. Does b = o?
False
Let r be 2*1*(-12)/24. Do r and -2/3 have the same value?
False
Let i = -6 + 17.1. Let x = i - 11. Which is bigger: -8 or x?
x
Suppose -2*r - 1 = -h, 4*r = 3*r - 4*h - 23. Let t be (-2)/(8/12*3). Is t != r?
True
Suppose 0 = -0*c - 5*c. Suppose -4*a - a = c. Is a bigger than 1/3?
False
Let z = -12 + 13. Suppose 6*p = 3*p + 6. Which is bigger: p or z?
p
Let b = -2/19 + 31/114. Is 0 at least b?
False
Let j(r) = 14*r + 1. Let n be j(1). Suppose -4*y + n = -41. Let x be 6/15 - y/10. Does x = -1?
True
Let d be (45/30)/(21/(-68)). Is -4 at least d?
True
Suppose 4*r - 31 = 4*v - v, -3*v = -2*r + 23. Suppose 0 = z + r - 6. Let m = 0.9 + -0.7. Is z greater than or equal to m?
True
Suppose 2*z = 6*z. Which is greater: z or 6/13?
6/13
Let o(u) = -5*u + 18. Let n be o(4). Let j be (12/(-5))/(1/(-5)). Let b be j/30*(-2)/n. Is b at least -1?
True
Let q be (-136)/(-61) - (-2)/(-1). Let y = q + -520/671. Suppose 0 = -10*z - 3*z - 26. Do z and y have the same value?
False
Let i(x) = x + 11. Let w be i(-10). Let q be 1 + (-4 + w)/3. Is -2 at least q?
False
Let q = -6 - -10. Let g = q - 3.9. Which is smaller: g or -8?
-8
Suppose -3*s - 3*n = -s - 24, -5*s = -n - 26. Suppose -z + s*z - 5 = 0. Which is smaller: z or 2/17?
2/17
Let v = -17 + 17.1. Which is smaller: v or -12?
-12
Let d be (6/(-8))/((-4)/(-32)). Let s = -8 - d. Let a = s + 2. Is a less than -3/8?
False
Let a(u) = u**3 + 8*u**2 + 6*u + 9. Let w be a(-7). Let o = w + -17. Which is smaller: -4/5 or o?
o
Let m = 0.7 + 1.3. Is 0 at least as big as m?
False
Let z = 93 + -184. Let l be (-112)/(-390) - (-14)/z. Is -1 smaller than l?
True
Suppose 3*y - l = 4, 4*y + 5*l - 14 = 2*l. Let w = 1 + 3. Suppose y*j + w = 4*j. Is 1 at most as big as j?
True
Let n = -43/2 + 21. Let t(p) = -p**2 + 6*p - 7. Let d be t(5). Which is greater: n or d?
n
Suppose -14*d - 3 = -13*d. Which is smaller: -4 or d?
-4
Let t = 45 + -73. Let c be t/(-98) - (-1)/21. Do -4 and c have different values?
True
Let j be (-490)/880 + 9/24. Is j at most 2/9?
True
Let b(k) = -5*k + 6. Let w be b(4). Let u(z) = -z**2 - 8*z - 27. Let h be u(-6). Which is bigger: w or h?
w
Let g = -14 - -10. Let a = g + 0. Is -0.1 smaller than a?
False
Let q be 1 + 2/(4/(-6)). Let k be 37/(-7) + 2/7. Let b = q - k. Which is smaller: b or 2?
2
Let a be (1 + 0)*(-9)/(-9). Let r = -595/3 + 189. Let m = 109/12 + r. Which is smaller: m or a?
m
Let d be (-4)/61*-2*(-1)/12. Is d != 1?
True
Let y = -3.683 + -0.297. Let i = 4 + y. Which is bigger: -2/5 or i?
i
Suppose 4*r + 5*z - z = -8, -3*r = 2*z + 6. Which is bigger: r or -2/3?
-2/3
Let c(d) = -7*d + 2. Let o(l) = -20*l + 6. Let f(j) = 17*c(j) - 6*o(j). Let g be f(5). Suppose 0 = -5*n + g + 2. Is 2 smaller than n?
False
Suppose 9*s + 13 = f + 4*s, -6 = 2*f - 2*s. Let k = 11 + f. Suppose -t - 3 = -k*t. Is 3/7 bigger than t?
False
Let c = 12 + -9. Let l be 26/(-10) - c/(-1). Which is bigger: 4 or l?
