 Which is bigger: -3/4 or c?
-3/4
Let k = 5 + -7. Let j = 7 + -12. Let q = 3 + j. Do q and k have the same value?
True
Let s be 4/(-8)*2*0. Which is smaller: -4 or s?
-4
Let x be 20/(-5) - 158/(-38). Which is greater: x or 1?
1
Let w(q) = 35*q - 40. Let p(f) = -f + 1. Let x(b) = -30*p(b) - w(b). Let o be x(5). Does -15 = o?
True
Suppose 0 = -0*m + 4*m + 5*c - 35, 20 = m + 5*c. Let t be m/(-25) + (-27)/15. Which is greater: t or -5/2?
t
Let n(b) = -b**3 - 2*b**2 - 20. Let v be n(0). Is v greater than -19?
False
Let p = 2 + -4. Let c = 27 - 28. Let i = p + c. Is i at most as big as -3?
True
Let i = 10 - 7. Let t be 1/5 - i/15. Are t and -1/4 unequal?
True
Suppose 3*p = -p. Are p and 1 nonequal?
True
Let l be 2/78*(-822)/88. Let s = l - -3/52. Suppose 3 = -3*o - 6*u + 3*u, -3*u = 3. Which is bigger: o or s?
o
Let s be ((-4)/12)/((-1)/(-3)). Which is smaller: s or -3?
-3
Suppose -4*s - s = 3*d + 10, 3*d + 4 = -2*s. Let a be (-6)/3 - 1*2. Which is smaller: s or a?
a
Let v be 4/12 + (-3)/9. Let q be ((-2)/2 - 0)*-1. Is v bigger than q?
False
Let z(f) = f**2 + 5*f - 2. Let v be z(-5). Let h be (v + 0)*(-7)/(-14). Is h equal to -9/5?
False
Let l be 9/4*16/6. Suppose 3*v + 10 = -q, -4*q - 3*v = -0*v - 5. Which is bigger: q or l?
l
Let i = 5 - 6. Does i = -2?
False
Let f = 19/175 + -817/1400. Let x = f + -1/40. Do -1 and x have the same value?
False
Let r be -3 - -1 - (-662)/190. Let w = 2171 - 41262/19. Let f = w + r. Is f at least as big as 2?
False
Let a(r) = 0*r + 7 + 3*r - 3*r - r. Let p(v) = v - 6. Let k be p(11). Let n be a(k). Which is bigger: -2/5 or n?
n
Let g = -12 + 17. Let n = -5 + g. Is n at least as big as 0?
True
Let i = -10477/17721 - -1/3222. Let d = 1/11 + i. Suppose 3*t + 0*l = 5*l + 15, 0 = -4*t + 3*l + 9. Which is smaller: t or d?
d
Let n be (-1 - 0)/(1/(-2)). Let h be n/8 + 25/140. Which is bigger: h or -1?
h
Let j(m) be the third derivative of -m**5/60 + 11*m**4/24 - 7*m**3/6 - 3*m**2. Let b be j(10). Is 3 equal to b?
True
Let g = 134 - 135. Are g and 119 non-equal?
True
Let w = -91 + 71. Do w and -21 have different values?
True
Let z = 19 + -19. Is 2/27 > z?
True
Suppose -10 = -0*t - 5*t. Suppose 0 = -2*b - t*l + 6, 2*b - 5*b = -3*l + 9. Is 2 bigger than b?
True
Let v = 66 + -63. Let l = 3.7 - -0.3. Let r = l + v. Which is smaller: 0 or r?
0
Let d = -0.5 - 12.5. Let k = -14 - d. Is k smaller than -1?
False
Let b(x) = -12*x + 12. Let w be b(1). Which is bigger: w or -1?
w
Let r(k) be the second derivative of -k**5/20 + k**4/4 + k**3/6 - 2*k**2 + k. Let d = 5 + -2. Let h be r(d). Is h smaller than 1/3?
True
Suppose l = 6*l. Suppose -4 = -l*s - s. Is s at most 5?
True
Suppose -3*u + 23 = h + 4*h, 5*u - 3*h - 27 = 0. Is u bigger than 9?
False
Suppose -19 = -5*w - q, 2*w + 2*q - 6 = 8. Let c(g) = -g**3 + g**2 + 3*g + 4. Let b be c(w). Which is greater: -6 or b?
b
Let s = -1.5 - -1.2. Let l = s - -0.31. Is l smaller than -0.1?
False
Let k = -9 + -5. Let a = k + 19. Which is smaller: a or 0?
0
Let x = 1.5 + 1.5. Is x equal to 1?
False
Suppose -2*m + 11 = 3. Which is bigger: m or 15/4?
m
Let b(v) = 3*v - 1. Let y be b(2). Suppose -3*r = -y*r + 8. Suppose r*z = 6*z. Is -1/3 < z?
True
Let u = -269/52 - -51/13. Let w be ((-2)/4)/((-3)/(-18)). Let x = w - -2. Which is smaller: u or x?
u
Let z be 1/5 - 34/(-5). Let n be -2 - (1 + 1 - z). Is 0.1 smaller than n?
True
Let s(h) = h. Let t be s(2). Is t at most as big as 3/2?
False
Let v = 2 - 4.3. Which is greater: 1 or v?
1
Let f(u) = 2*u - 1. Let v be f(2). Suppose v*b + 5 = -0*b + 4*z, 5*z - 8 = 2*b. Which is smaller: b or -2?
-2
Let h be (4/2)/(1 + -2). Which is bigger: h or -5/2?
h
Let v = -4.761 - 0.039. Let l = -1.2 + v. Let m = l - -7. Is 4 less than m?
False
Suppose -i = -8 + 3. Suppose 2*b - 5*l - 23 = 0, i*b - 5*l - 18 = 2. Is 1 bigger than b?
True
Suppose 0 = 5*f + 2*f - 189. Is f equal to 1?
False
Let r(b) = -4*b + 1. Let g be r(2). Which is smaller: -5 or g?
g
Let r be 4/(-18) + (1 - 1). Which is greater: 0 or r?
0
Let q(x) = x**2 - x - 7. Let j be q(-6). Let w be 2/5 - 9/j. Suppose -5*b + a + 1 - 6 = 0, 3*b - 2*a + 3 = 0. Which is smaller: b or w?
b
Let u = 23 + -28. Which is smaller: u or -6?
-6
Let z = 21.7 + -22. Is z bigger than 4?
False
Let o(m) = -m**3 - 2*m**2 - m. Let f be o(-2). Let a(q) = -f + 0 + q**2 + 3 + 2 - 6*q. Let h be a(6). Which is greater: h or 2?
h
Suppose 4*s = 3*a + 93, 3*a + 10 = 5*a. Let n be 4/4 - 33/s. Is n at most as big as 4/5?
True
Let i = -35.1 + 35. Let m be (-1)/(-10) - (-2)/5. Is i at least m?
False
Let c = 33 + 38. Let p = 356/5 - c. Suppose 0*a - 2*a - 8 = 0, -4*d = -3*a - 16. Which is bigger: d or p?
d
Let c = -32 + 22. Let b = -13 - c. Is b at most as big as -3?
True
Let n = 7 + -2. Let i(q) = q**2 - 5*q + 1. Let y be i(n). Is 1 bigger than y?
False
Suppose -o + 5 = 5*c + 2*o, -o - 21 = -4*c. Let f = c + -4. Is f not equal to -6/11?
True
Let j be 1/4 + 3/(-12). Suppose 6 = -2*l - 3*y + 1, -5*l + 4*y - 1 = 0. Let x = j - l. Is 1 less than or equal to x?
True
Let k = -12.741 - 0.159. Let f = -13 - k. Let m = -5.8 - -0.8. Which is smaller: f or m?
m
Let a be (5/((-15)/(-2)))/(-3). Let j = 0 + 0.1. Let c = j + 0.9. Does a = c?
False
Let a = -56 - -84. Is a < 28?
False
Let g = -20 - -22. Which is smaller: 5/7 or g?
5/7
Let n(h) = h**2 + 6*h + 5. Let z be n(-6). Let p be ((-105)/42)/(1/(-2)). Are z and p non-equal?
False
Let k = -3086/5 + 2589/5. Let x = -99 - k. Does x = -1/2?
False
Let c = 95 + -96. Which is bigger: c or -2/647?
-2/647
Let o = -16 - -15.7. Is 1/3 less than or equal to o?
False
Let i = 90/11 + -268/33. Suppose 0 = -3*t - 2*k + 5 - 2, 0 = -5*t - 3*k + 5. Is t at least i?
True
Let s = 24 + -9. Suppose -6*o + 16 = 4. Suppose 0 = -o*v + 5*t - s, -2*v - 2*v - 9 = -3*t. Which is smaller: 1 or v?
v
Suppose 0 = -5*i + 15, -22 = -4*p + i + 7. Suppose -q = -5*q + 2*b + p, 0 = -q + 5*b + 11. Which is greater: -1 or q?
q
Let t = 88/21 - 34/7. Let a = -3 + 2. Which is smaller: a or t?
a
Let f be (6 - 2) + -2 - 2. Suppose f = -0*a - a - 4. Let p = a + 6. Is 2 greater than p?
False
Let y = -1 + -2. Which is bigger: -0.3 or y?
-0.3
Let s = -29/2 - -83/6. Do 0 and s have different values?
True
Let c(z) = z + 9. Let v be c(-10). Let q = v - -3. Which is greater: 4/5 or q?
q
Let s be ((-264)/86 + 3)/(3/2). Which is greater: 0 or s?
0
Let l = -0.04 - 1.96. Let q = 3 - l. Which is smaller: 0 or q?
0
Let h = 4.6 + -0.6. Let q = -6 + h. Let s = 5.8 - 6. Is q at least s?
False
Let f(n) be the third derivative of -n**6/120 - 11*n**5/60 - 3*n**4/8 + n**3/6 - 4*n**2. Let m be f(-10). Which is smaller: -8 or m?
m
Suppose 12 = -3*a + 3. Is 1 at most as big as a?
False
Let w(z) = z**2 + z + 9. Let o be w(0). Suppose -4*d = -4*l + 132, -2*d + l - 52 = o. Let c be -1 + -2*10/d. Which is greater: c or -3?
c
Let t = -24 + 8. Let d be 7/4*t/(-56). Which is greater: d or -8?
d
Suppose 3*x - 7 = 44. Let t = x - 32. Which is smaller: t or -14?
t
Let k = -0.4 - -0.5. Let q = -2.99 + -0.01. Let u = 2.9 + q. Which is smaller: k or u?
u
Let w(n) = -n + 7. Let q be w(6). Let f(i) = -i - 1. Let p(j) = -5*j - 4. Let b(a) = q*p(a) - 6*f(a). Let h be b(-4). Which is greater: h or 0?
0
Let g(b) = 7*b**3 - b**2 + 3*b - 1. Let h be g(1). Which is bigger: h or 2?
h
Suppose -3*n = -2*n. Suppose -8 = z - 2*z. Suppose -u - z = 3*l - 2*u, 4 = 2*l + 4*u. Which is smaller: l or n?
l
Let q(w) = -3*w**3 - 3*w**2 + 1. Let y be q(-2). Let o = y + -13. Are o and -1/5 equal?
False
Let s = -93536 - -470522/5. Let r = s - 571. Let l = r + 2. Which is smaller: l or -1?
-1
Suppose 0 = -f + 4*n + 27, 5*f + n - 45 = 3*n. Let b(q) = q - 4. Let i be b(f). Is 2 greater than or equal to i?
False
Let t = -0.2 + 0.2. Let l = t + -0.1. Let c = 3.3 - 3.4. Do l and c have the same value?
True
Let n = -14 - -12. Let k be (-1)/(-2) + 2/4. Let f be 2 + -1 + k/(-3). Which is bigger: n or f?
f
Let p be 0 + (4 - -1) + 0. Suppose 1 = -2*w + p. Is w less than 3?
True
Let d be 1*(1 + 1) - -3. Suppose 0 = -0*o + d*o - 35. Are o and 7 equal?
True
Let x = -25 - -18. Let w be -7 - (12/18 + (-1)/(-3)). Are w and x nonequal?
True
Let j be 4/(-6) - (-12)/(-9). Is j > -6/5?
False
Suppose 2*k + 4*w - 15 = -k, 3*k - w = 0. Let r = k + -1. Which is greater: r or 3/13?
3/13
Suppose -3*u - 4*q - 17 = 0, u + 3*q + q = -19. Su