3*c - m*c. Which is smaller: -9 or c?
c
Let w = -0.6 + 0.2. Let r = 41.5 + -28.6. Let y = r + -13. Is w != y?
True
Suppose -f = 5*x - 11, 0 = -4*x + f + 4*f + 3. Let d be x*3*3/6. Which is smaller: d or 2?
2
Let k = -0.2 - -0.1. Let g = -3.42 - -0.52. Let t = g + 3. Which is greater: k or t?
t
Suppose -6*m + 20 = -m. Let w = 5 - m. Which is smaller: -9 or w?
-9
Let u = -3.79 - 0.21. Is u greater than -0.1?
False
Suppose 12*b - 136 = 8*b. Is b <= 34?
True
Let p(l) = -l - 2. Let b be p(-4). Suppose -2*a - 3 - 5 = 0, j - b*a = 23. Suppose 3*r + 5*x + 22 = 0, -5*x - j = -r + 11. Which is greater: r or 1/4?
r
Let m(v) = -v + 11. Let z be m(9). Let n be 3 + (0 - (-2 - -3)). Is z >= n?
True
Let l = -57 - -40. Let y = -11 - l. Is 0 greater than y?
False
Suppose o + 9 = -8*o. Which is smaller: -23 or o?
-23
Let u be (-8 - -8)/(6/(-2)). Is -1 less than u?
True
Let a = 7 - 5. Let f be (-20)/8 + a/(-4). Let i(q) = 2*q + 4. Let l be i(f). Are -1 and l nonequal?
True
Suppose -3*a = -5 + 2. Which is smaller: a or -2/7?
-2/7
Let c(t) = t**2 + t + 3. Let w be c(0). Suppose -w*p + 8*p = 0. Is p bigger than -8/7?
True
Let d = 29 + -24. Is d >= -1?
True
Let y = -0.2 + 0. Suppose -38 = 3*c - 4*n, 0*c = -2*c + 4*n - 24. Let j = c - -15. Which is smaller: j or y?
y
Let n be -3 - (4 + 32/(-6)). Is n > -1?
False
Let v = -2/23 - -31/92. Which is smaller: 7 or v?
v
Let q = 0 - 2. Let c be -1 - (2*q - -3). Suppose k - 2 + c = 0. Is 1 equal to k?
False
Suppose -9*m - 109 = -28. Which is greater: -8 or m?
-8
Let d(k) = k**3 - 6*k**2 + 7*k - 5. Let i be d(5). Suppose 4*m + 11 = -i. Let j be ((-1)/m)/((-3)/6). Which is smaller: j or -2?
-2
Let m(x) = -x**2 - 2*x. Let g be m(-1). Does 1 = g?
True
Let k = -6 + 4. Let b be k/10 + (-6)/(-80). Let n = 3 - 2. Is b smaller than n?
True
Suppose -5 = -4*u - 9. Let i(f) = f**3 + 2*f**2 + 1. Let r be i(-2). Which is smaller: u or r?
u
Suppose -22 = 5*d + 3. Let g be ((-1)/9)/(d/(-15)). Which is bigger: -6 or g?
g
Let s = 1/159 + 49/636. Let y = 453 + -2263/5. Is s at most y?
True
Let l(z) = z. Let t be l(2). Suppose 5*b + 2 = -4*j, 1 = -5*j - t*b - 10. Let v be j - (-5)/(10/4). Is -2/5 bigger than v?
True
Let k = -2 - -2.2. Let c = 8 + -7.7. Are k and c unequal?
True
Let b be 1/((-2)/(-2) + -2). Let p(x) = x + 6. Let a be p(8). Let j be -2 - -2 - 6/a. Is b >= j?
False
Let w = -2 + 16. Let u = -15 + w. Is -7 <= u?
True
Let m = 442/5 - 88. Suppose 0*n = -5*r + 2*n + 5, 4*r + 5*n + 29 = 0. Let i = -1 - r. Which is smaller: i or m?
i
Let f be -1 + -3*(-80)/276. Let b be 1/2 + (-2)/4. Which is smaller: f or b?
f
Let f = 8 + -5. Let d = -2.7 + f. Let g = 0.7 + d. Is 0 > g?
False
Let q(w) = -w**2 + 1. Let l be q(-1). Let i(a) = -a**3 - 5*a**2 - 4*a + 2. Let v be i(-4). Suppose v*k = -u - 3*k - 16, -k - 4 = u. Which is greater: l or u?
l
Let z = -0.06 - -0.66. Let u = -15.831 - 0.269. Let y = 16 + u. Is z >= y?
True
Let i(g) = 6*g + 1. Let b be i(1). Suppose -4*u = -b*u + 4*o + 20, 4*o = -8. Suppose -u*q = 4 - 0. Which is bigger: 0 or q?
0
Let w be 12/80 - 2*(-6)/20. Which is greater: w or -9?
w
Let o(t) = -t - 1. Let a be o(7). Let m = a - -3. Let p = -9 + 5. Are p and m non-equal?
True
Suppose 4*a + 2 = 6. Is a <= 3/7?
False
Let x = -15/11 + 56/33. Is x < 3?
True
Let x = -58 - -58. Suppose 9 = -c - 2*c. Let v be 10/(-8)*2/c. Which is smaller: v or x?
x
Suppose -2*o = -0 - 2, 5*j - 3*o = -198. Is j at most -38?
True
Let q = -10 - -6. Let m = q + 3.7. Let z = 1.3 + m. Which is greater: -0.1 or z?
z
Let p = -4 - -9. Is 3 smaller than p?
True
Let f = -8 - -8. Let o be 4/(-8)*(-4)/(-34). Is f at most o?
False
Let k be 2*((-84)/40 + 2). Let w = -1 + 2. Suppose -i + 4*i + 2*v + 1 = 0, -v = -w. Is i < k?
True
Let p = -46.1 + 46. Is p < -0.5?
False
Let n = -73 + 72.71. Let d = 0.01 - n. Let z = d + -0.2. Is -2 less than z?
True
Let n be (-5)/4 + 2/8. Let h be 3*2*(-1)/(-2). Suppose 5*m = -5*q - 15, m - 3*m = 5*q + h. Is n at most as big as q?
True
Let t(w) = w**2 + w - 1. Let g(o) = 9*o**2 + 4*o - 1. Let q(i) = -g(i) + 2*t(i). Let x be q(-1). Is -6 less than or equal to x?
True
Let u = 161/4 - 40. Let j = 6 + -3. Let t be (-5)/10 + j/2. Which is bigger: t or u?
t
Let t(c) = -c**3 - 6*c**2 + 6*c - 1. Let a be t(-7). Suppose -5*y = -2*y - a. Is y equal to 3?
False
Let m(o) be the third derivative of o**4/24 + o**3/3 - 2*o**2. Let v be m(-2). Suppose 2*h = -v*h. Which is smaller: h or 1/2?
h
Suppose 2*h = 57 + 13. Let f = -106/3 + h. Which is smaller: f or -0.2?
f
Let c = -0.02 - 0.98. Is -0.2 smaller than c?
False
Suppose -2 = -2*n - 8. Is -14/9 > n?
True
Suppose -3*r - p = -52, -3*r + 1 = 4*p - 36. Suppose 2*j = 7 - r. Let x = -2 - 3. Is j at least as big as x?
False
Suppose 0 = -5*w - 115 + 30. Which is greater: -18 or w?
w
Suppose -g + 5*g - 16 = 0. Which is greater: 6 or g?
6
Suppose -4*t = -5*t + h + 3, -h = 2*t + 3. Are t and 1/5 nonequal?
True
Let z(n) = -n**3 + 5*n**2 + 3. Let r be z(5). Let k = -5 + r. Is k >= -2?
True
Let s = 5 - 1. Is s <= 6?
True
Let h = 22.9 - 23. Let o = -1 - -0.98. Is o <= h?
False
Let s(o) = o**2 - 6*o + 2. Let r be s(3). Let i be 26/r - 8/28. Let a(b) = -2*b + 11. Let d be a(8). Which is bigger: i or d?
i
Let w = 32 - -1. Let y = -133/4 + w. Is 2/11 less than y?
False
Let g = -10.9 + 1.9. Let f = 8.9 + g. Is f less than or equal to 0?
True
Let r = 24 - 23.9. Is -21 less than r?
True
Let k be (2*614/(-12))/140. Let u = -2/105 + k. Is u >= 0?
False
Suppose -5*b - 3 = 22. Let l(x) = -4 - 3*x - 6*x**2 - 3*x + 0*x - x**3. Let g be l(b). Which is greater: 2/11 or g?
g
Let y = 37 + -36. Suppose -5 = -2*u - u - d, -11 = -4*u + 3*d. Let f = y + u. Are 3 and f equal?
True
Let v be -2 + (-16)/(-21)*3. Let y = 0.12 - 0.06. Let p = y + 1.94. Which is smaller: v or p?
v
Let v = 2.8 - 3. Which is bigger: v or -1/8?
-1/8
Suppose -5*l = c + 6, 16 = 5*c - 3*l + 5*l. Let i = 0 + 5. Which is smaller: i or c?
c
Let t be (-2)/14*-2*-1. Let k be (-2)/(-3) + 4/3. Suppose -4*q - 2 = -k*q. Which is smaller: q or t?
q
Let l = -1 + 2. Suppose 0 = g + l + 2. Let n be (-2)/(g/((-9)/6)). Which is greater: n or 2/5?
2/5
Suppose 0 = -2*p + 8, 3*q = 8*q + p + 11. Let t be q/(-9) - 17/(-3). Is 2/7 greater than or equal to t?
False
Suppose 4*z = -5*g + 15, -g - 3*z + 2*z = -4. Let u(s) = s - 39. Let w be u(0). Let j = 113/3 + w. Are g and j nonequal?
True
Let u(g) = g - 10. Let x be u(6). Let s be ((-354)/27)/(x/(-6)). Let b = 19 + s. Which is smaller: 1 or b?
b
Suppose -3*x + 12 = 0, 0 = 2*z - 3*x - 0*x + 6. Let g be (88/6)/(2/z). Are g and 0.1 nonequal?
True
Let m(i) = 7*i - 57. Let w be m(8). Let j = -4/45 - 1/9. Which is smaller: j or w?
w
Let m be -1 - -3 - (-1 + 6). Suppose -12 = w + 3*w. Let o = 2 + w. Is m greater than o?
False
Let z = -3.33 - -0.13. Let q = -7 - -4. Let j = z - q. Which is greater: j or -1/4?
j
Let n = -0.32 + 0.36. Are 0.6 and n non-equal?
True
Let w = 21284/43 - 495. Which is greater: w or 1?
1
Let s(u) = -u + u + u + 0*u - 2. Let x be s(-2). Is x >= -5?
True
Let b(o) = o**2 - 5*o - 6. Let s be b(6). Let p be s/(5/((-5)/2)). Which is bigger: 2/15 or p?
2/15
Let r(x) = 0*x**2 + 2*x**2 + 2*x**2 + 2 - 3*x**2 + 4*x. Let f be r(-4). Which is bigger: f or 4/5?
f
Suppose 10*m - 90 = 5*m. Is 18 greater than m?
False
Let t(q) be the first derivative of q**4/4 + q**3/3 - 3*q - 2. Let x be t(0). Let o be x/3 + (-8)/(-2). Is o less than or equal to 3?
True
Let t be (-3)/1*3*-1. Suppose -30 = 2*l + 3*f, 3*l + 5*f = l - 30. Let o be (1/l)/((-3)/t). Is -1 >= o?
False
Let u be 12/6*-2 - (-14)/(-3). Which is smaller: 0 or u?
u
Suppose -1282 = 19*a + 162. Are a and -77 nonequal?
True
Let f = 2 - 2. Suppose 0 = -x + 10 - 1. Let h be (-2 + x/6)/2. Is h at least f?
False
Let u be 45/(-10)*(-4)/3. Suppose -4*o - 2*a = 12, -3*o - u*a - 7 = -5*a. Which is smaller: o or 0.1?
o
Let u(m) = m + 6. Let f be u(-6). Let d be (f/(-2) - 0)/(-1). Let a be ((-4)/(-3))/2 - 1. Which is smaller: d or a?
a
Let w be -4 - 1 - (23 + -31). Do 20 and w have the same value?
False
Let j be 12/(-5) - 2/(-5). Let s(k) = k**2 - k - 1. Let a be s(j). Suppose -5*f + 2*f - a*b = 20, 20 = -2*f - 5*b. Are f and -5 nonequal?
True
Let u = -1.9 + 0.7. Let n = u - -1. Let k = n + 0.1. Which is smaller: 0.2 or k?
k
Suppose 5*z + 21 = -49. Let w = z + 15. Is w < 2/5?
False
Suppose