r = -3*r + 24. Is x less than or equal to a?
False
Suppose 0 = -c + 1. Suppose t + 1 = v, 2*t - 2*v = -t + c. Let s = t - 3. Which is bigger: s or 1/7?
1/7
Let f = -3 - -6. Suppose 0 = -0*r + f*r. Which is greater: r or 1/3?
1/3
Let x(f) = -f - 8. Let n be x(-6). Suppose 5*w = -2*p - 14, -p + 14 = -5*p - 3*w. Is n at most p?
True
Suppose 5*z + 0*r = 2*r - 164, 100 = -3*z + 2*r. Which is greater: z or -31?
-31
Let r(l) = 2*l - l**2 - 1 + 2*l**2 + 0*l**2. Let j be r(-3). Let v = 8/15 + -1/30. Is j bigger than v?
True
Suppose 0 = -0*k + 2*k - 10. Let s be k - -2 - (1 + 1). Suppose 5*h - h - 36 = -s*n, 0 = -3*h + 12. Do 4 and n have the same value?
True
Let c be (-2 - -6)/2*12. Suppose -c = 5*g - 8*g. Let j be g/12*(-3)/2. Which is smaller: j or -0.1?
j
Let r be (-48)/36 - (-10 - -2). Which is smaller: r or 6?
6
Let q be 8/40 - 38/(-10). Suppose q*p + 0*p = 0. Is p smaller than -0.2?
False
Suppose 6*c - 2*c - 12 = 0. Let r be ((9 + c)/(-2))/2. Let g be ((-6)/(-2))/r + -2. Which is greater: g or 0?
0
Let q be 0*((-36)/(-8))/(-9). Suppose q = -11*t + 8*t. Let w be (-17)/20 + (-1)/(-4). Are w and t equal?
False
Suppose 0 = -s - 0*l - 4*l + 6, 0 = 3*s + 3*l - 36. Suppose 4*n + w - 24 = 5*w, 0 = -3*n - 5*w - s. Let q be (-2 - 16/(-6))/((-8)/(-6)). Does q = n?
False
Let u = 0.04 + -0.04. Is -0.17 >= u?
False
Suppose 0 = -2*m + 8, 4*m - 116 = -g - 4*g. Suppose -2*n = -5*n - z + g, 4*n - 4*z = 0. Suppose -2*b + 4 = -b + 4*c, -5*c = -b - n. Which is bigger: -5/6 or b?
b
Let n(j) = j - 6. Let o be n(6). Let d be (-1 - o) + 0 + 3. Suppose 5*f - 2*u - d = 0, -5*f - 3*u - 4 = -1. Is f less than or equal to 0?
True
Let u(i) = i**3 + 5*i**2 - i - 1. Let g be u(-5). Let o be g/(-60)*(0 + 2). Which is smaller: 0 or o?
o
Let k(c) = -c**2 + 1. Suppose 0 = 2*x - 3*x - 2. Let u be 1*0/(x - 1). Let t be k(u). Is t bigger than 1/2?
True
Let m = 11 - 7. Suppose u = -m*u. Let t be 0/(u - (2 - 1)). Is 2/5 > t?
True
Let q = 5 + -34. Do -29 and q have different values?
False
Let i = -13 - -16. Is 2 at most as big as i?
True
Let x be (-2)/6 - 2/3. Let a be 2/11 - (-1412)/(-22). Let t = -574/9 - a. Is t >= x?
True
Suppose 0 = -3*z - o + 12, -5*z + 18 = -0*o + o. Let p be 2/z*(-15)/(-70). Which is bigger: p or 0.2?
0.2
Suppose -15 = 3*h, 3*s - 92 = 4*h - 3*h. Is s not equal to 27?
True
Let c = 4831 + -29081/6. Is -17 less than c?
True
Let n = 10 + -5. Suppose -n*r = 9 + 6. Is r not equal to -2?
True
Suppose -2*h - 2*h + 3*g = 160, -3*h + 2*g = 119. Is -37 <= h?
True
Let o = -23 + 60. Which is smaller: o or 35?
35
Let d(p) = p - 6. Let x be d(6). Let u = 12 + -25/2. Which is smaller: u or x?
u
Let y be 4/(-10) - (-29)/60. Let j be (2/(-4))/(6/(-4) - -1). Is j greater than or equal to y?
True
Let w be 0/4 - 6/718. Let y = w - 661/6821. Which is bigger: y or -1?
y
Let n = 7 + -10. Suppose -9 = 4*h - 5*k - 0*k, -1 = -2*h - 3*k. Does n = h?
False
Let a be 6/(-2) + 8/2. Is a >= 10/9?
False
Suppose -4*t = 3*f + 19, 4*t - t + 4*f + 16 = 0. Is t at least -10/3?
False
Let l = -0.1 - -0.1. Let i = 18 + -19. Is l smaller than i?
False
Let b(a) be the third derivative of a**5/30 - a**3/6 - 2*a**2. Suppose 3*n = 5*u - 0*u + 22, -3*u - 17 = 2*n. Let x be b(n). Do x and 0 have the same value?
False
Let d = -10.6 + -0.4. Let j = d + 10.4. Which is smaller: j or 0.3?
j
Suppose 3*a = -4*i - 2*a - 353, 0 = 3*a - 9. Let b = i + 166. Let d = 520/7 - b. Is d at most as big as 0.1?
False
Suppose -3 - 9 = 4*o. Let p(y) = 4*y**2 + 3. Let q(g) = 15*g**2 + 11. Let r(v) = 22*p(v) - 6*q(v). Let s be r(-1). Is s greater than o?
True
Let n(a) = 3*a + 8. Suppose 6*h - 2*h - 5*x = -5, -h - 20 = 5*x. Let u be n(h). Do u and -7 have different values?
False
Let y(i) = 4*i - 15. Let w be y(6). Is 9 less than or equal to w?
True
Let l(p) = -p**3 - p**2 + p + 2. Let x be l(-2). Suppose z = -4*z - x*o + 25, 4*z - 19 = -3*o. Let f be (-4)/(-2) - (0 + z). Is f <= -2/9?
False
Suppose 2 - 3 = -m. Let w be (-68)/20 + 9/3. Is w > m?
False
Let c(n) = -n**2 + 3*n + 2. Let z(m) = 2*m - 6. Suppose -2*x + 0*x + 10 = 0. Let u be z(x). Let d be c(u). Are -2 and d non-equal?
False
Let k = 4.8 + -4. Let f = k + -0.6. Which is smaller: f or 0.5?
f
Suppose -2*q = -3*q + 6. Is 8 less than q?
False
Suppose -4*c - 30 = c. Let b be ((-8)/66)/(c/9). Is b at least as big as 1?
False
Let x be 2/2 - (-2)/(-3). Suppose -1 - 3 = 2*c. Let v = c + 2. Which is smaller: x or v?
v
Suppose -5*k - 55 = -10*k. Suppose k*j = 9*j. Which is smaller: -2/25 or j?
-2/25
Let x be 0/(9/(-3) - -1). Let r = -343/62 + 11/2. Is x bigger than r?
True
Let n = -18 + -4. Which is greater: n or -20?
-20
Let q be 0/9 + (-4)/22. Is 1 at least as big as q?
True
Let r be ((-2)/(-4))/((-9)/18). Which is smaller: 1/20 or r?
r
Let y(h) = 2*h**2 - 20*h - 21. Let a be y(11). Suppose -5*d - 25 = 35. Let b be d/(-2)*(-2)/(-14). Is b < a?
True
Let n = -2.28 + 0.38. Let p = 0.1 - n. Is p <= 4?
True
Let j(i) = 3*i**2 - i - 1. Let y be j(-1). Let o be (-1)/y - (-24)/126. Is o at most 1?
True
Suppose q - 8 + 3 = 0. Let f = -3 + q. Is f > 2?
False
Suppose -5*h = -2*z - 8, 0 = h - 4*z - 8 - 8. Which is smaller: -2/23 or h?
-2/23
Suppose 3*x - 2*x = -4, -30 = 2*g + x. Let n = -18 - g. Which is greater: n or -6?
n
Let x = -17 + 14. Let h(r) = 2*r + 6. Let l be h(x). Which is greater: 1/12 or l?
1/12
Suppose -3*t - 7 = -0*t - 4*q, 2*q = -3*t - 37. Let r(x) = x**2 + 10*x + 9. Let o be r(t). Is o at most as big as 3/5?
True
Suppose -10 = 2*t + 4*b, -3*t - 5 = -5*t + b. Let g be (t/1)/1*-3. Is g <= 0?
True
Let y(k) = -k + 2. Suppose -3*g + z - 12 = 0, 2*g + z = -z. Let x be y(g). Suppose x = 2*l + 3*l. Which is smaller: 2/7 or l?
2/7
Let a be 3/2 + 9/(-6). Let q = -3 - a. Suppose 2 - 5 = i. Is q greater than i?
False
Let c = -130 + 123. Which is bigger: c or 3?
3
Suppose -w + 2*z - 2 = -0*z, -2 = 2*w - 2*z. Is -1/62 less than w?
True
Suppose -13*s + 17*s = 8. Suppose -z - 20 = -3*z - 4*f, 3*f = z + 10. Suppose 0 = z*t + s*t. Is 0 less than t?
False
Suppose -2*d + 4*d + 10 = 0. Let b be (9/(-1))/3 - d. Let c = 14.2 + -14. Which is bigger: b or c?
b
Suppose -4*w - 5*a = 26, 7*a + 10 = 2*a. Let o be -4*(1 - 21/12). Suppose o*q + 2*q = -25. Which is bigger: q or w?
w
Let i = -13 + 12.84. Let d = i + -0.04. Which is greater: d or -2/9?
d
Suppose -5*t - 29 = -3*c - t, 2*t + 42 = 4*c. Is 11 <= c?
True
Suppose -g = -4*g + 24. Let c = g + -6. Is c < -1/4?
False
Let c be 4676/189*2/(-120). Let w = -1/81 - c. Which is smaller: w or -4?
-4
Let z be (504/96)/((-1)/4). Is z >= -21?
True
Let p be ((-15)/(-22) - (-18)/(-99))*0. Which is greater: p or 2/41?
2/41
Let t(n) = -2*n**3 + 7*n**2 - 3*n - 2. Let i be t(3). Is i greater than -1?
False
Let s be (2 - (0 + 3))/(-1). Is s smaller than -3/10?
False
Let z(t) = t - 5. Let s be z(11). Suppose 0*l = l - s. Which is greater: 1 or l?
l
Let g = -0.1 + 0.2. Let u be (-7)/56*8/100*10. Is u equal to g?
False
Let f = 5 + -7. Let m be f/1 + (-16)/(-7). Let p = 1/28 - m. Is -2 at most p?
True
Suppose -5*p + 32 = 4*b - 3, -p + b = 2. Suppose 8 = -k - 5*n, p*n = -5*k - n + 2. Which is smaller: k or 4/3?
4/3
Let j = -0.3 + 0.1. Let c(p) = 11*p + 183. Let h be c(-17). Is h greater than j?
False
Let k be ((-2)/36)/((-4)/6). Let n = 1/3 - k. Is -0.3 smaller than n?
True
Let k = -4 - -11. Are 7 and k unequal?
False
Suppose 0 = 2*u - 3 - 1. Suppose -o + 5*o + 20 = 0. Let j = -4 - o. Is u bigger than j?
True
Let q(g) = g**2 + 4*g + 3. Let w be q(-4). Let d(v) = -v**3 + 10*v**2 - 10*v + 13. Let n be d(9). Let s = 1 + n. Is s <= w?
False
Suppose 7*l - 2*l = -35. Let p be ((-4)/(-10))/(l/5). Which is smaller: 0 or p?
p
Suppose 3 = -3*w + 2*m, -3*w + 0*m = m + 3. Does w = -15/8?
False
Let u(c) = -3*c + 25. Let o be u(8). Is 3/7 greater than or equal to o?
False
Let b = -1 - 0. Let l be (-2)/(-15) - (-1837)/(-165). Let h = 9 + l. Which is smaller: b or h?
h
Let p = 2 + -62. Which is greater: -59 or p?
-59
Let t be (-4)/6*(39/188)/13. Which is greater: t or -1?
t
Suppose -2*f + 7 + 1 = 0. Suppose -d - i = -1, -4*d - 3*i + f = -2*i. Which is greater: d or -1/5?
d
Let y = -0.01 + -1.09. Let u = 1 + y. Let k = 3 - -2. Which is smaller: k or u?
u
Let q(c) = 2*c + 9. Let m(h) = 3*h + 13. Let z(b) = -5*m(b) + 8*q(b). Let n = -8 + 0. Let w be z(n). Is w greater than or equal to -3/4?
F