Which is smaller: c or -13/4?
-13/4
Let c = 5 - 4. Let y(d) = -d + 6. Let k be y(5). Does k = c?
True
Let o be 1*9/((-27)/(-132)). Let b be (-8)/36 - o/(-36). Which is greater: 1/4 or b?
b
Suppose -i = -a + 2, -i = a - 3 - 1. Suppose -2*z = -1 - i. Which is greater: z or -1/7?
z
Suppose 0 = 3*l + 3*w - 0*w - 6, -5*w = 2*l - 1. Suppose l = 5*o - 12. Let x = -3 + 5. Which is smaller: x or o?
x
Let n be ((-5)/(-2))/((-2)/(-4)). Suppose x = 3 - 2, -n*x = j - 5. Suppose 625*q - 650*q - 25 = 0. Is q at least as big as j?
False
Let d = -121 - -112. Is d equal to -7?
False
Let o = 26.38 - 26. Does o = 1?
False
Let b = -32 + 29. Is 1 >= b?
True
Let f(j) = j + 5. Let r be f(-6). Suppose 5*b = -2*w + 26, 4*b + 2*w - 22 = -0*b. Suppose 5*s = 5*d - 50, -b*d + 6 = -s - 13. Is r at least as big as s?
True
Let o be (-6)/(-10)*2/(-3). Suppose 60*a = 63*a. Is a <= o?
False
Let b(r) = r**2 - 6*r - 4. Let z be b(7). Let c be 38/(-40) - z/12. Is c greater than -2?
True
Let z = 11 - 12. Is -2 less than z?
True
Let q = 2.7 - 3. Let p = q - 0.7. Let f be (30/(-270))/(3/(-2) + 1). Which is smaller: f or p?
p
Let m be (2/(-132))/(5/(-81160)). Let k = -246 + m. Is k <= 1?
True
Let o = -33603/35 - -960. Is o >= 0?
False
Suppose -4*z + 19 + 1 = 5*r, 0 = 5*z. Let k(x) = -2*x - 4. Let t be k(-3). Which is smaller: r or t?
t
Let r be 0 + (0 + -3)*-2. Suppose -3*h + 6 = -h, 2*h - r = 5*p. Let f be p/(1 + 1 - 3). Are f and 2/3 unequal?
True
Let u = -58 - -52. Let a(r) be the first derivative of r**2 + 7*r - 1. Let c be a(u). Is c bigger than -5?
False
Let i = 5 - 3. Which is bigger: i or 1?
i
Let i = 75 + -74. Let z = 0.06 + 0.74. Let n = z + -1.1. Is i bigger than n?
True
Let c(p) = -p**2 + 3*p + 1. Let y = 1 - -2. Let m be c(y). Which is greater: 2/15 or m?
m
Let b(k) = 21*k + 15. Let n be b(-15). Let r be 16/n*10/(-4). Which is smaller: r or 1/4?
r
Let n = 1.89 - -0.41. Which is bigger: -1/4 or n?
n
Let g = 0.91 + -0.11. Let u = -0.7 + g. Is -2 < u?
True
Let w be ((-36)/(-15))/((-4)/(-10)). Suppose 4*a - 6 = a + 3*u, 3*a + u + w = 0. Let z = 0 + a. Are z and 2/5 nonequal?
True
Suppose -16*y - 17 = y. Which is bigger: y or -25?
y
Suppose -46 = 4*f - 5*r, 6*f - 3*f - 3*r = -33. Let g(j) = -j - 15. Let b be g(-7). Which is smaller: f or b?
f
Let b = 2993/2668 + -26/23. Are 1 and b equal?
False
Let f = -32 + 29. Which is greater: f or -1/8?
-1/8
Let b = 134/329 + 1/47. Suppose -8 = -6*u + 14*u. Which is smaller: b or u?
u
Suppose 12 = -0*a - 2*a. Let l be a/2*(-8)/(-12). Let z be (3 + 0)/(9/l). Which is smaller: z or -0.1?
z
Let t(v) = -v**3 + 7*v**2 - 4*v - 4. Let d be t(5). Is 25 smaller than d?
True
Let s be 28/(-10) - 2/(-4). Let g = s + 11/10. Is -1 > g?
True
Let m = -0.09 - -0.04. Let u = m + 0.05. Which is smaller: u or -4?
-4
Suppose -5*c + x + 47 = 0, -3*x + 5*x = 5*c - 44. Let h be ((-3)/c)/(6/8). Let q = -1.4 + 1.3. Which is smaller: q or h?
h
Let h(o) = o**3 - 2*o**2 - 2*o - 1. Let a(l) = l**2 - l + 1. Let v be a(1). Let s = v - -2. Let w be h(s). Do 1/2 and w have the same value?
False
Suppose -b = -2*z + 1, 2*z - 3*b + 0*b + 9 = 0. Suppose -4*o + 2*q = -6*o, 12 = z*o - 3*q. Let p be (2 + -1 + -1)/2. Which is smaller: o or p?
p
Let v be (2/8)/((-2)/36). Do -5 and v have the same value?
False
Suppose -2*s = 3*s + 70. Let t = -9 - s. Let x be 2/t*10*1. Is x greater than 3?
True
Let o(w) = -w**2 - 7*w + 9. Suppose 5*h - 56 = -2*q + 12, -h - 4*q + 10 = 0. Let a = h + -22. Let c be o(a). Is c at most -2/11?
False
Let r = 0.2 - -5. Let x = 5 - r. Which is greater: x or 0?
0
Let u(a) = a**3 - 3*a + 2. Let n be u(2). Suppose 4*c - 2*c - 24 = -5*d, -n*c + 8 = 0. Which is greater: d or 1?
d
Let s(r) = -r**2 - 4*r - 4. Suppose -2*l - 12 = 2*l. Let f be s(l). Let v be 0 + (-6)/(-4) + f. Is v bigger than 1?
False
Let i = -25.289 - -2.099. Let u = i - -23. Is u less than or equal to 1?
True
Suppose -4*w + 9*w = 10. Suppose x = -2*x - 30. Let h = 10 + x. Is w at least h?
True
Let c(u) = -7*u**3 - 8*u**2 + 2*u - 11. Let y(x) = -x**3 - x. Let b(m) = c(m) - 6*y(m). Suppose -2*s = -5*s - 27. Let d be b(s). Which is greater: d or -1/2?
-1/2
Let w(y) = y**2 + 2*y + 1. Let h be w(-1). Let r = 3 - h. Suppose -3*c - z - 18 = -4*z, -r*c - 2*z = 8. Which is smaller: -3 or c?
c
Suppose 0 = 4*a - 2*a + 6. Let i be a + 1 - (-4 + -3). Which is bigger: i or 4?
i
Let l = 151/77 - 20/11. Let o be (2/(-6))/(2 - 1). Which is bigger: o or l?
l
Suppose -4*x = -10 - 2. Suppose k - 5*k = 2*f - 2, -x*k + 5*f + 34 = 0. Which is bigger: k or 4?
4
Let f be 6/(-2) - (-1)/1. Let c = 14 - 12. Let u be f + 3 + 1 + c. Is 3 not equal to u?
True
Suppose 3*n + 4*b = 18, -2*n + 12 = -3*b + 5*b. Which is smaller: 7 or n?
n
Suppose 0*p + 4*p = 0. Let l = 1 - p. Are 4/15 and l equal?
False
Let s(y) = -y + 7. Let h be s(3). Let c(n) = -4*n + 1. Let x be c(-1). Suppose -x*o = b - 19, 4*o - 5 = b + 3. Are b and h nonequal?
False
Let b be (4 + -4)/(-1*1). Suppose b = -4*r + 6*r + 4. Let h be (-1)/r - 7/14. Which is smaller: h or -2?
-2
Let i be (-1)/(3/(-8)) - 1. Let g(k) = -k**3 + 15*k**2 - 15*k + 16. Let s(f) = 3*f + 2. Let a be s(4). Let m be g(a). Which is smaller: i or m?
i
Suppose -4*h = 2*f - 6*f + 12, -2*h = -3*f + 7. Let u(g) = g**3 - 3*g**2 + g + 1. Let d be u(f). Which is smaller: -1 or d?
-1
Suppose x - 5*u = 5*x - 28, -5*x + 6 = -u. Which is bigger: 1/2 or x?
x
Let t be (-6 - -2) + 21/5. Let s(i) = -i - 3. Let d be s(-4). Is t <= d?
True
Let o(y) = y + 11. Let k be o(-11). Let s be 2/(-16)*-4*k. Which is greater: 4/7 or s?
4/7
Let l be 5/10 - 14/(-4). Suppose 5*i = 2*i + 39. Suppose -7*p - 7 = -u - 5*p, 2*p = -3*u + i. Which is smaller: l or u?
l
Let v be (3 - 2)*(2 - 1). Let k = -3 + 5. Let y(j) = 2*j - 2. Let b be y(k). Is b at least as big as v?
True
Let r(f) = f**2 - 3*f + 2. Let i be r(4). Let t be (-12)/(i/8*-1). Let k be (-2)/9 + t/(-90). Is 0 != k?
True
Let f be ((-2)/(-4))/((-15)/(-12)). Which is smaller: f or -0.43?
-0.43
Let a = 1 + -5. Let s be ((-5)/(-2))/(a/8). Are -3 and s unequal?
True
Let y be 12/93*(-2)/(-4). Which is smaller: y or 2/3?
y
Let v = 4012804 - 6994316618/1743. Let i = 3406 - 848093/249. Let g = v - i. Is -1 smaller than g?
True
Suppose -3*r + 9 + 0 = 0. Let t be 3*(-2)/9*r. Let b be t + -3*2/(-4). Do -3/5 and b have the same value?
False
Let f be (-2)/4 - 10/(-4). Suppose 2*x = -f*c - 10, x - 10 = 3*c - c. Which is bigger: x or -1/3?
x
Let x be 1/2 + (-34)/60. Let v = x + -4/15. Let j(g) = -5*g - 31. Let k be j(-6). Is v > k?
True
Suppose 128 + 382 = 10*y. Which is smaller: 52 or y?
y
Suppose 5*u = -13 - 2. Let p be u - ((-217)/(-9))/(-7). Which is smaller: 1 or p?
p
Let q = 33 + -29. Suppose -q = -14*y + 10*y. Let k = 152 + -1366/9. Is y greater than or equal to k?
True
Suppose 0 = 12*w - 11*w + 2. Are w and -5 non-equal?
True
Suppose -4*m = -2*s + 24, 5*s - 2*s - 2*m = 24. Is s at least 6?
True
Let l(r) = r**2 + 3*r - 5. Let g = 6 - 11. Let f be l(g). Which is smaller: 3 or f?
3
Let m be (3/6)/(1/(-10)). Let a(v) = -2*v + 3*v + 0*v**2 - 5 + v**2. Let y be a(0). Are y and m non-equal?
False
Suppose -3*o + 21 = d + 2*d, 2*o = 5*d - 21. Suppose d*i - 20 = -5*h, 0 = 4*i + 2*h - 14 + 4. Are i and -1/4 nonequal?
True
Let x = 0.146 + 0.854. Is 59 at least as big as x?
True
Let b be 1 + -4*4/(-16). Let f = -13 - -9. Let d be b/(2 + -1 - f). Which is smaller: d or 0?
0
Let s be (4/5)/(2/10). Suppose -5*k + s - 1 = -4*p, 3 = k. Do p and -1 have the same value?
False
Let j(p) be the first derivative of -p**4/4 - 4*p**3/3 - p**2/2 - 4*p - 4. Let x be j(-4). Is x > 2/21?
False
Suppose 0 = -u + 3*u - 8, -2*i + 2*u = -8. Suppose 47 - 6 = -3*a - y, -4*y = 2*a + 34. Let t = a + i. Is t greater than or equal to -1?
False
Suppose -2*k + 2*j + 9 = -1, -5*k = j - 19. Suppose -k*d + d - 3*i - 18 = 0, 2*d = i - 3. Let g be d - (-1)/(-4)*-13. Is g equal to 1?
False
Let g(o) be the second derivative of o**3/6 - o**2 + 2*o. Let m be g(2). Let k = m - 0. Are k and 1 unequal?
True
Let g = -3.7 + 0.7. Let n = g + 3.1. Is -2/3 bigger than n?
False
Let f = 3 + -2. Which is smaller: -1/14 or f?
-1/14
Suppose -5*u + 2*n = -0*u + 9, -4*u = -2*n + 8. Which is greater: 1 or u?
1
Let v = 7 - 12. Let m = v + 4.7. Is m >= 2/9?
False
Suppose 20 = -s - s. Let u = 6 + s. Let k = u + 5/2. Is -3 less than or equal t