. Suppose q + 3*c + 5 = -4, 2*q = -f*c - 9. Is q at most -4/7?
False
Let p(l) = -4*l - l**2 + 4*l - 2 - 7*l. Let d(f) = f**2 + 6*f + 2. Let v(u) = 4*d(u) + 3*p(u). Let q be v(-2). Is -4 < q?
True
Let q be 3 + 1 + (-4)/4. Suppose 4*z - 2*s + 6 = 0, 5*z + 0 + 2 = -q*s. Suppose 4 = -11*c + 13*c. Which is bigger: z or c?
c
Let a(v) = v**2 + 7*v + 5. Let o be a(-5). Which is bigger: o or -7/2?
-7/2
Let k = 55 + -46. Which is smaller: k or 11?
k
Suppose 0 = -6*s + 4*s + 8. Suppose 2*t - 4 = s. Let g be (t/6)/((-2)/(-3)). Which is smaller: g or 1/2?
1/2
Suppose -6 = u + 2*u. Let d = u + 8. Let t be (-2)/d - (-14)/(-3). Is t equal to -5?
True
Let i be (-2)/(-4) + (-2)/12. Let b(v) = 2*v + 3. Let p be b(-2). Which is smaller: p or i?
p
Let r(o) = o**3 - 2*o**2 - o + 1. Let w(s) = s**2 - 5*s + 6. Let x be w(4). Let a be r(x). Which is smaller: -3/2 or a?
-3/2
Let s = -0.095 + 0.295. Let k be (-9)/20 - 2/(-8). Which is smaller: k or s?
k
Let p = -8 - -5. Which is greater: 7 or p?
7
Suppose -18 = -3*q + q - 5*l, -q - l + 3 = 0. Suppose 0 = -2*g + 4*a + 2, a - 2 = 3*g - 0*a. Let k be g/3*(-1 - -3). Which is bigger: q or k?
k
Let d = -1/29 - 23/174. Is -7 not equal to d?
True
Let n(p) = p**2 - p - 4. Let q be n(4). Let f = 13 + -14. Let g be q/(-3)*f/2. Is g >= 0?
True
Let u be (1 + (-14)/4)*-2. Let q(m) be the third derivative of m**4/24 - 2*m**3/3 + 2*m**2. Let a be q(u). Which is smaller: a or 1/9?
1/9
Let p = 35 + -33. Which is bigger: 0 or p?
p
Let d(g) = -g**2 + 2*g + 3. Let c be d(3). Suppose c = -3*f - 2*f - 4*k, -3*k = 5*f. Which is smaller: f or -2/7?
-2/7
Let x be 18/(-4)*(-10)/15. Suppose 10 = -x*w + s, -w - 2*s = w + 12. Suppose y + 5*h = -22, 0*y - 8 = 2*y + h. Is y at least as big as w?
True
Let x be (-3)/12 + 4/16. Let l(o) = -o**3 + o**2 + 1. Let y be l(x). Let m = 0 - -0.2. Which is greater: m or y?
y
Let g(z) = -2*z**2 - 15*z - 4. Let m be g(-7). Is m at most as big as -5?
False
Let l be (2*-1)/(1/(-4)). Suppose 10*i - 11*i = -l. Are i and 8 unequal?
False
Let z = -10.722 + -0.078. Let l = -11 - z. Let v = 1.9 + -2. Which is smaller: l or v?
l
Let a(m) = -m + 5. Let h = -1 - -4. Suppose 0*r = 2*t - 4*r - 8, h*r = t - 3. Let k be a(t). Which is smaller: -2 or k?
-2
Let m(i) = i**3 + 3*i**2 - 3*i + 2. Let o be m(-4). Let f be (-1 - 0)/(o/4). Which is smaller: 1 or f?
1
Suppose -2*q + 124 = -4*x - 3*q, -5*x - 144 = 4*q. Is x less than or equal to -33?
False
Suppose 5*y = -0*p + 2*p, 3*p = 3*y - 9. Let x be (-6)/2 + (-3)/3. Is p < x?
True
Let x = -3.1 - -0.1. Let n = 3.4 + x. Let d = n + -0.6. Which is bigger: d or 1?
1
Let z be 12/(-24) - (-22)/4. Let i(a) = a**2 + a + 2. Let g be i(-2). Which is bigger: g or z?
z
Let x be 4*(-2)/44*-1. Let j be (0/1)/(5 - 3). Suppose -y + 3*y = j. Which is greater: y or x?
x
Let i = -1.06 + 1. Let k be (-4)/(-8)*-4*-1. Which is smaller: k or i?
i
Let p = -1.2 - 0.6. Let h = p + 2. Let z = 0.3 - h. Which is bigger: z or 2?
2
Suppose 0 = 5*t - 11 + 36. Let w(n) = -6*n**2 + 4*n - 3. Let a be w(1). Is a >= t?
True
Let o = 26/135 + 2/27. Is o less than -1/4?
False
Let q = 11 - 10.7. Is q greater than or equal to -4?
True
Suppose 0 = -h - 2*t - 20, -2*t = -h + 3*h + 44. Are -23 and h equal?
False
Suppose -9*o = -14*o. Is -2/7 not equal to o?
True
Suppose -27 - 78 = 7*j. Let r(h) = 21*h - 1. Let x be r(-1). Let v = x - j. Is v >= -7?
True
Let i = -13.9 - -13. Let c = i + 5.9. Is 1 <= c?
True
Let c = 12 + -4. Let q be 3/(c/1 - 1). Which is smaller: q or 1?
q
Let f = 0.22 + 0.08. Let j = 0.6 - f. Let p = 0.5 + -0.3. Are p and j nonequal?
True
Suppose 0*s = -5*s + 20. Let o be (7 - 10)*s/3. Which is smaller: -1 or o?
o
Let b = -4 - -5. Let j = -2 + b. Let o = 0 + 0.2. Is o <= j?
False
Let d = 11 - 8. Suppose 0 = -3*m - d - 3. Is m not equal to -5/3?
True
Let w = -1 + 0. Suppose 4 = 3*p - 7*p. Let o = p - 1. Is w smaller than o?
False
Let g(z) = -z**2 - z - 1. Suppose 3 = 6*k - 5*k. Let l be (-1)/k + 10/(-15). Let b be g(l). Which is greater: 2/11 or b?
2/11
Let l(x) = -2 + 4 - 2 + 2*x. Let p be l(0). Let m be (2/8)/(7/4). Are m and p unequal?
True
Suppose 4*z + 94 = 10. Suppose 0*g - 69 = 3*r - 3*g, 0 = -2*g + 2. Does r = z?
False
Let l = -0.24 - 0.16. Is -1/4 < l?
False
Suppose c + 29 = -2*v + 6, -5*v - 5*c - 70 = 0. Which is greater: -8 or v?
-8
Let n be ((-19)/57)/((-2)/6). Is n smaller than 12/17?
False
Let k(y) = -y + 3*y**2 - 2*y**2 + 0*y + 3*y. Let a be k(-2). Are -1/4 and a nonequal?
True
Let h = 21 + -28. Is -5 smaller than h?
False
Let m = 34 + -19. Suppose 0 = 5*c - 0*c - m. Which is smaller: -0.2 or c?
-0.2
Let z be (-2)/(-6) + 4/6. Let d be -4 - z/(-2 - -1). Which is smaller: -1 or d?
d
Let d = -6 + 8. Which is smaller: 4/7 or d?
4/7
Let t be 12/(-10)*(-10)/3. Let l be 24/(-48) + 18/4. Is t not equal to l?
False
Let y = -2.2 + 2.3. Are y and -0.47 unequal?
True
Let c be (-27352)/390 + 2/15. Is -70 > c?
False
Let o be 3/(-4)*(-8)/(-10). Is o at most as big as 0?
True
Let s(n) = -n - 21. Let u be s(0). Let f be (-1)/(-4)*(-24)/u. Which is greater: -1 or f?
f
Let j = -86 - -84. Is j bigger than 13?
False
Let b be 2 + 0 + 0 + 2. Suppose f = -x + 5*x - 12, -4*x = b*f + 8. Let c = -1 - x. Is -2 at least as big as c?
True
Let x be -3 + 6/3*1. Let s be x - ((-2)/(-1) + -11). Which is bigger: 9 or s?
9
Let b = 32 - 30. Is b at most as big as 9?
True
Let a = -6.016 + 0.116. Let t = -6 - a. Which is smaller: 1 or t?
t
Let r be (0 - (-20)/6)*-3. Let m = 15 + r. Is m bigger than 3?
True
Let m = -2 + 1.6. Is 2 at least as big as m?
True
Let o be 64/15 - (-12)/30. Is 6 >= o?
True
Suppose -2*t + 3*l = 0, -l + 0 = 4. Is -23/5 bigger than t?
True
Suppose 3*f + 2*y = -6, 0*y - 3*y = -3*f + 9. Which is smaller: 1/22 or f?
f
Suppose -2*p - 6 = -5*h, -22 = 4*p - 3*h + 4. Is 0.1 at least p?
True
Let t = 4 + 3. Let a = -9 + t. Which is smaller: -0.04 or a?
a
Let p(q) = -q. Let r(j) = 2*j. Let u(w) = 2*p(w) + 22*r(w). Let g be u(3). Let v be 2/(-9) - (-82)/g. Which is smaller: 0 or v?
0
Let k = 13 + -8. Let s(p) = -k + 6 - p + 2*p. Let d be s(1). Is 2 greater than d?
False
Let k(i) = i + 4. Let t be k(-3). Let x(u) = 3*u**2 - 5*u + 3. Let f be x(3). Suppose -2*j - 3*j + 17 = z, f = 5*j. Is t != z?
True
Suppose 4*p - 9 = p. Suppose 11 = -p*z + g, 3*z - 1 = -g - 2. Let s be z*-3*3/(-18). Which is smaller: 3 or s?
s
Let v be ((-2)/(-4))/((-3817)/44). Which is smaller: 1 or v?
v
Let f be 4 + 4/(-6)*3. Let m be (-2)/(-4) - 5/f. Let i = -1 - m. Which is smaller: i or 2?
i
Let o(t) = t - 1. Let d be o(0). Is d less than or equal to -11/7?
False
Let h(y) = -y**3 + 3*y**2 + 4*y + 3. Let f be h(5). Do f and 1/3 have the same value?
False
Let k(y) = y**3 - 3*y**2 - 5*y + 10. Let p be k(3). Is p smaller than 2?
True
Let x = 7831/140 - -11/35. Let y = -56 + x. Let o(i) = i**3 + 6*i**2 + i + 7. Let s be o(-6). Is s at most y?
False
Suppose 8*g - 3*g - 75 = 0. Suppose 0 = -g*k + 10*k + 5. Which is greater: k or -3/20?
k
Let t = 207/4 - 52. Let r be (3/(-471))/((-6)/4). Let x = -952/2355 + r. Is t not equal to x?
True
Let u = -549/4 - -138. Let n(p) = p**3 + 3*p**2 - 4*p - 5. Let d be n(-4). Let o = d - -7. Which is greater: u or o?
o
Let y = -0.47 - 9.03. Let a = y - -9. Is a bigger than -0.1?
False
Let f = 0.3 - 0.1. Let m = 2.3 + -1. Let n = -0.3 + m. Which is smaller: f or n?
f
Let o be (-6)/(-8) + (-143)/(-44) - 3. Which is smaller: o or 1/275?
1/275
Let d = 176 + -169. Are 0.5 and d unequal?
True
Let f(w) = -2*w - 7. Let j be f(-6). Let u be 34/10 + (-18)/45. Which is greater: j or u?
j
Suppose 2*c = 0, -2*c + 0*c = -2*n + 4. Let a be (-16)/(-42) + n/(-3). Is a at least 0.06?
False
Let n = -3 + 6. Let g = 0.054 - 0.054. Which is bigger: n or g?
n
Let g(v) = v**2 + 2*v + 3. Let y be g(-2). Suppose -k + 25 = -5*x, 3*k = x + y*x + 31. Let l = 0.2 - 0. Which is greater: l or x?
l
Suppose -3*f + 18 = -0*u - 3*u, -5*f = -u - 22. Let l = 4 - f. Suppose -5*t + 0*t - 5*m - 25 = 0, t - 2*m - 7 = l. Is -3/5 < t?
False
Let l(v) be the second derivative of -v**5/20 - 2*v**4/3 + 5*v**3/3 + 9*v**2/2 - 2*v. Let j be l(-9). Is j < -2?
False
Let s be 0/(-1) - -6 - 4. Which is greater: -1 or s?
s
Suppose v - 2 = w - 4*v, -5*v + 6 = -3*w. Is -9 not equal to w?
True
Let m(a) = -a**2 + 6*a + 1. Let i be m(6). Let u = i + -4. Let b = u - -3. Are -2 and b n