pose -5*p + 63 = -4*y - 4, -p = -2*y - 17. Is 10 greater than or equal to p?
False
Suppose -q + 32 = 5*h - 3, 0 = 2*h - 2. Do q and 29 have the same value?
False
Suppose 0 = 2*b - 4*v - 20, 3*v - 5*v = 4*b + 10. Let y(f) = f**3 - 5*f**2 - 8*f + 8. Let j be y(6). Let p be 5/6*j/40. Is b < p?
False
Suppose 0 = 5*n - n. Let l be ((-1)/2)/(6/39). Let m = l + 61/20. Which is bigger: n or m?
n
Let h = 11 + -21. Let v = h - -9.95. Which is bigger: -1 or v?
v
Suppose 3*r - 50 - 16 = 0. Do r and 17 have different values?
True
Let t(c) = -c**3 + c**2 + 3*c - 5. Let g be t(2). Which is greater: g or -24/7?
g
Let d be 5/((-5)/(-2))*3. Suppose -s - 10 = -0*s - 2*a, 2*s = -5*a + 16. Do d and s have the same value?
False
Suppose -c + 11 = -4*a, -a + 3 = -2*a. Let d be (1 - -1)/(c*2). Let w be (-3)/(-24)*1*-3. Which is greater: w or d?
w
Let o = 105 + -105.3. Let j = -2.4 + -0.6. Which is greater: j or o?
o
Let i = 8 + -4. Suppose -4*a = 3*z - i, 0*z + 1 = -z + a. Let y be (-1 + 2)*(-2)/(-2). Which is smaller: z or y?
z
Let c = -31 + 31. Let g = 379817/39816 + -193/711. Let r = g - 81/8. Which is greater: r or c?
c
Let g(o) = -o**3 + 13*o**2 - 11*o - 25. Let s be g(12). Which is greater: -3 or s?
-3
Suppose -19 = -4*y - 3*t, -2*y - 2*t - 27 = -5*y. Let i(l) = 6*l - 2. Let p be i(2). Suppose 0 = 2*h - 10, -4*h + p = -a - 5. Is y < a?
False
Suppose 2*h = 2*h + 3*h. Which is greater: h or -5/7?
h
Let i(a) = a - 23. Let n be i(11). Let q be ((-1)/(-2))/((-6)/n). Which is bigger: q or 1/19?
q
Let i(b) = b**2 - 5*b + 3. Suppose 4*k = 16 - 0. Suppose f = -4*t - f + 16, -2*t = -f - k. Let w be i(t). Which is smaller: -4 or w?
-4
Let a be (9*-1)/(-3) + -3. Suppose a = -o + 4*v + 23, 3*o + 16 + 0 = -5*v. Suppose 2*l = -o*t - 0*l - 15, 0 = -4*l - 12. Is t less than or equal to -3?
True
Let l = 2822 + -8323/3. Let j = l + -48. Which is bigger: j or 0?
0
Suppose -5 = 2*j - 5*o, 2*o = -j - 0*o + 2. Let y = 11/20 - -43/140. Which is smaller: j or y?
j
Let q = -300/7 - -43. Is q < 0.3?
True
Let a = 30 + -21. Let d(w) = -w**2 + 10*w - 8. Let v be d(a). Does v = -1/4?
False
Suppose 18*b = -2484 - 954. Is b less than -191?
False
Let z = -6 - -8. Suppose 3 - z = -f. Is f at most as big as -3/2?
False
Let f be 3/(-1*3/(-8)). Suppose -2*j + f = 2*j. Let a(n) = -n + 1. Let h be a(-1). Is j > h?
False
Let u = -3 + 16. Let r = 12.9 - u. Which is smaller: r or 0?
r
Suppose -2*w - w = 0. Let i = -2437/1730 + 3/346. Let f = i + 4/5. Which is smaller: w or f?
f
Let o be (-3)/12 + 14/(-8). Let g be ((-153)/282)/((-1)/(-1)). Let z = g - -2/47. Is o at least z?
False
Suppose 2*c - 5*c = -21. Suppose 8 + c = 3*y. Suppose 0 = y*b - 0*b + 5. Which is smaller: b or -3?
-3
Suppose -3*o + 15 = 5*g, 3*g + 0*o - 2*o = 28. Let k be (-10)/(-6) + g/(-3). Is k at least -0.3?
False
Let r be 136/85 + (-2 - 7/(-5)). Which is smaller: r or 2?
r
Suppose 2*a - a = 4. Suppose -3*u = a*w - 18, -u = 4*w - 3*u - 8. Suppose -3*s - w*j + 15 = 0, 0 = 4*s - 3*j + 8. Which is bigger: s or -1?
s
Let q(i) = -i**2 + 4. Suppose -2 = 3*r - k + 2, 16 = 5*r + 4*k. Let g be q(r). Suppose 0 = g*w + w. Which is smaller: w or 1?
w
Suppose -a = 5*a. Is a at least -4/5?
True
Let l = 3/119 - 253/595. Let o = -0.46 + -0.04. Let f = -0.4 - o. Is l >= f?
False
Let d(f) = f**2 - f + 1. Let r be d(2). Suppose 2*z - r = -5. Suppose -3*b - 2 = -4*g, -5*g - 3*b = -g + 10. Do g and z have the same value?
True
Let h = 8/71 + 4173/142. Let x = h - 27. Is 3 > x?
True
Let k = -42 + 42. Is k less than or equal to 2/187?
True
Let d = 2.11 + -0.11. Is 1 > d?
False
Suppose -13*q = -14*q + 2. Is 2 greater than or equal to q?
True
Let t = -10 + 6. Let b be -2*(0 - 3/6). Suppose 2 = -c - b. Is t less than or equal to c?
True
Let g = -0.12 + 0.03. Let d = -0.11 + g. Which is smaller: d or -3?
-3
Let v(o) = o**2 + 7*o - 13. Let y be v(-9). Suppose 3*j + 2 = y. Is j > 3/8?
True
Let d be (-19)/3 + 5 + 1/2. Which is smaller: 2 or d?
d
Let o be 4/14 - 1371/21. Let x = 973/15 + o. Which is bigger: 1 or x?
1
Let m be 4 - (3 + -1)/2. Is 4 less than m?
False
Let z = -120 - -1798/15. Let m(v) = v - 7. Suppose 5*l + 3*b - 35 = 0, l + 2*b = 2 + 5. Let f be m(l). Is z at least as big as f?
False
Suppose -5*i = 5*y + 80, -3*y + 2*i - 53 = 6*i. Is y less than 1?
True
Let n(g) = -g + 7. Let w be n(5). Suppose 4*z = q - 20, -2*z + 0*z = w*q. Are z and -2 nonequal?
True
Let h = -7716/29 + 266. Is -2/7 at least h?
False
Let g be 26/(-4) - (-3)/6. Which is smaller: g or -4?
g
Let z = 0.36 + -20.36. Let k = 20 + z. Which is bigger: k or 2?
2
Let q(l) = -3*l - 4. Let t be q(-3). Suppose -i + 60 = -t*i. Let b be (2/5)/(21/i). Is b bigger than 1?
False
Suppose 4*o - 6 = -14. Let u = o + 7. Is u <= 5?
True
Let h = 0.06 + 0.04. Is -2/5 < h?
True
Let f be (-3 - 50/(-5)) + (2 - 1). Is f less than 0.2?
False
Let k be (-56)/(-102) - 4/6. Suppose 0 = 2*a + 2 + 2. Let c be 3/(-15) + a/(-10). Is k <= c?
True
Let m(z) = z**3 - 7*z**2 + 8*z - 9. Let j be m(6). Suppose n = -j*n + 4. Let p(d) = -d + 7. Let f be p(6). Is f smaller than n?
False
Suppose 3*x = g + 4, 2*g - x = -2*g + 6. Let p be 16/6 - (0 + g). Let n = 14 + -11. Which is smaller: p or n?
p
Let p = 14 + -12. Which is bigger: 5/9 or p?
p
Let k = -4.05 - -4. Let r = k + -0.95. Are 0 and r equal?
False
Suppose 0 = 3*f - 9, -49 = -x - 3*x + 5*f. Let z = x + -17. Is -5/6 at most as big as z?
False
Let i(j) = -j**2 + 13*j + 14. Let g be i(14). Is 19 greater than or equal to g?
True
Let s be (-3)/(6/(-4)) - 0. Are s and 2/35 unequal?
True
Let v(a) = -26*a - 1. Let j be v(1). Let i be -3 + j*(-2)/20. Is i greater than 1?
False
Let b be 10/14*(-8)/(-20). Suppose l = -0*l + 4*f - 3, -2*f - 2 = -4*l. Is l >= b?
True
Let y = -1 + 0. Let c = -46 - -45.81. Let h = c + 5.19. Which is smaller: h or y?
y
Suppose 3*h = -h. Let v = -76 - -76. Is v bigger than h?
False
Let b = 7 + -11. Let s = b + 2. Let q = -114 + 800/7. Is q bigger than s?
True
Let u = 18 + -19. Are u and -1/12 equal?
False
Let a be ((-2)/(-3))/((-4)/(-6)). Let k = -14.7 + 14. Let u = -1.3 + k. Is u at most a?
True
Let d be (5 - 3 - 2)/(-2). Suppose d = 4*x - 3*p - 21, -4*p = 2*x - 0 + 6. Is x less than 4?
True
Let s = -10.8 - -4.8. Which is smaller: 2 or s?
s
Let m = 4/83 + -597/332. Let j be (-14)/(-4) + 2/(-1). Let a = m + j. Is a greater than -2/7?
True
Let t(n) = n**2 + 10*n + 24. Let y be t(-4). Is 6/17 greater than y?
True
Let c be 3 + ((-18)/(-7))/(-1). Let u(g) = g + 3. Let j(y) = -y**3 + 7*y**2 + y - 9. Let t be j(7). Let v be u(t). Which is greater: c or v?
v
Let s = -0.1 + 0.1. Let q = -1 - 1. Let u = 1.9 + q. Which is smaller: s or u?
u
Let q = -291649517/716 + 407333. Let d = q - 4/179. Is d at most as big as 0?
False
Let o(q) = -q**2 - 3*q - 2. Let v be o(-2). Let t = 1365/11 - 124. Which is smaller: v or t?
v
Let g(c) be the first derivative of c**2/2 - 6*c + 2. Let u be g(8). Which is smaller: u or 3?
u
Let r = 1.997 - -0.003. Which is bigger: r or -25?
r
Let h = 111/2 + -54. Suppose 3*d = 4*d - 2. Do d and h have the same value?
False
Let j = 21 - 15. Let u = -5 + j. Which is greater: -1/2 or u?
u
Let o(f) = 2*f. Let m be o(-2). Let a(t) = t + 7. Let c be a(m). Is c at most 4?
True
Let h = 4 + -8. Let m = 7/2 + h. Let f = 28 + -26. Is f not equal to m?
True
Let k = 70 - 68.1. Is -1/2 smaller than k?
True
Let h = 7 - 5. Let p be (0/1)/1 + 15. Let y = p - 12. Is y < h?
False
Let o(i) = 3*i - 11. Let a(c) = -5*c + 17. Let g(h) = -5*a(h) - 8*o(h). Let r be g(-5). Is r >= -3?
True
Let o(f) = -f + 1. Let j be o(-8). Suppose 5*l + 2*k = j + 13, -k = -1. Suppose 0 = -l*c - c. Which is bigger: -1 or c?
c
Let j = -11 + 12. Let d be -2 - j/(-5)*7. Let a = 0.3 - 0.4. Is a smaller than d?
False
Let x = -1951/9 - -217. Let l be (-1)/(-2)*(4 - 6). Is x at most l?
False
Let o = -6.1 + -0.9. Let x = o + 9. Is 0.4 > x?
False
Let c = 81 + -56. Let s = -49/2 + c. Which is greater: -9 or s?
s
Let c be (-24)/9*(-2)/(-184). Does c = -1?
False
Let w be -1 + -1 + (7 - 2). Let c be ((w - 3) + -1)/(-1). Are c and 4/11 unequal?
True
Let m = -0.6 + 10.6. Let o = m - 10.02. Which is greater: 0 or o?
0
Let i be 10/5 - (1 + -4). Suppose 66 = -3*r + x, i*x - 57 = 2*r - 0*x. Let y be (0 - -1)*6/r. Does 1 = y?
False
Let w(d) = d + 6. Let x be w(-6). Let q = -6 - -11/2. Is x greater than 