z + k*a - 12 = a, z + 4*a - 9 = 0. Are z and -4 nonequal?
True
Let m(o) = o**3 - 11*o**2 - 10*o - 21. Let f be m(12). Is f at least as big as 2.1?
True
Let p be (3/30)/(6 + -5). Is p > 0?
True
Let d = -0.17 + -0.04. Which is smaller: d or 0?
d
Let d be (-17)/20 - 9/(-15). Let u = 2 + -2. Is d at least u?
False
Let a = -129642380/58869 - 80/19623. Let v = a - -2200. Is -3 > v?
False
Suppose -2*q + 3 = -3*q. Which is smaller: q or -4?
-4
Let s = -11 - -15. Let b = s - 3. Is b bigger than -1?
True
Suppose -16 = -4*c, 2*c + 8 = 2*b + 5*c. Let v(l) = -l**2 - 6*l - 7. Let h be v(-7). Let n be (-1 - b) + h/12. Does 0 = n?
False
Let u be 0 - 2 - (1888/(-316) - -4). Which is bigger: u or -1?
u
Suppose 3*o + 2 - 5 = 0. Suppose u = -b, u = -b - u - o. Let q(i) = i**3 + 8*i**2 - i - 8. Let t be q(-8). Is b <= t?
False
Let v be (15/(-10))/(2/(-4)). Suppose -4 + v = k. Which is smaller: k or -2?
-2
Let r(w) = 2*w - 1. Let q be r(2). Let s = q - 2. Let g be s/4 + 21/12. Is 4 >= g?
True
Let b = 4.04 + -4. Let o = b + 0.16. Is o bigger than -1?
True
Let c = -0.6 + -3.4. Let s = -4 - -3. Let y = c - s. Does y = 0?
False
Let q = -66/7 + 983/105. Which is smaller: q or 0?
q
Let d(q) = -q**2 + 10*q + 4. Let s(x) = -x**2 - 8*x - 2. Let b be s(-6). Let t be d(b). Let i = 2 - t. Is -5/4 equal to i?
False
Let b(k) = -k**2 + k + 2. Let m(a) = -2*a**2 + a + 3. Let n(w) = 4*b(w) - 3*m(w). Let d be n(2). Let c be 6 - 4 - 15/d. Which is smaller: 1 or c?
c
Let w(g) = g + 1. Suppose -5*o + 24 = -2*o. Let v be w(o). Suppose -v*k = -4*k. Which is greater: 1/3 or k?
1/3
Suppose 1 = -3*p - 8. Let q = -0.1 + 7.1. Is p <= q?
True
Let u(j) = 3*j + 15. Let h be u(-5). Which is smaller: h or 1/36?
h
Let s = 5 + -6. Is s not equal to 1?
True
Let t = -19/7 + 430/161. Which is greater: t or 1?
1
Let c be (17/68)/(2/(-8)). Are c and 1/8 equal?
False
Let f = 0.4 - 2.4. Let u = 0 + f. Let j be ((-1)/(-12))/(2/6). Is j bigger than u?
True
Let x(p) be the third derivative of p**4/8 + p**3/2 - 2*p**2. Let y be x(-3). Let i be (-4 - -2)/(y + 1). Which is bigger: i or 0?
i
Let z = 0.02 + -3.02. Let y = -3.1 - z. Are y and -0.2 non-equal?
True
Let j = -154/3 + 52. Let d(v) be the second derivative of v**3/6 - 7*v**2/2 + 5*v. Let s be d(8). Which is bigger: j or s?
s
Let v be 4 + 55/(-10) - -1. Is -3/7 greater than v?
True
Let u = -2.41 + 0.41. Do u and 7 have different values?
True
Suppose 4*o - 5*m - 19 = 0, o + 0*m + 4*m = -11. Let r be 1*((6 - o) + -3). Do r and 3 have the same value?
False
Let h = 8 - 3. Let r = 4 - h. Let v be (0*r/(-2))/(-1). Is 2 at least as big as v?
True
Let t = 1 - -2. Let w = 0.05 + -0.06. Let v = w - -0.31. Is v less than or equal to t?
True
Let s be (-4)/10 - 12/(-5). Suppose 0 - 2 = s*v. Let q be -1 - (1 + -2)/v. Is 1 greater than or equal to q?
True
Let p be 27/3*2/3. Suppose 3*c + p = 51. Let t be 2/(5/(c/6)). Does t = 1/2?
False
Let c = -4 - -12. Let g be (c/(-528))/(1/4). Is g at least -1?
True
Let a = 3 + 2. Let b = -59 - -65. Are b and a non-equal?
True
Let x = 8 - -1. Suppose -x = 5*y + 1. Let j = y + 3. Are 1/7 and j equal?
False
Suppose -3*v - 5*u = 3, -3*u = -3 + 12. Let z be 10/v + 3/(-3). Is z greater than or equal to 2?
False
Suppose -n = -4*n. Do 1/5 and n have different values?
True
Let s(k) = 1 + 2*k + k - 2*k - 3. Let z be 2/(-3) + (-10)/(-6). Let d be s(z). Which is bigger: 0.01 or d?
0.01
Suppose -5*f - 4*o - 53 = -19, 3*o = f + 3. Let x be 4/3*1/f. Which is smaller: 0 or x?
x
Suppose 0 = 6*t - 3*t + 2*k + 25, 0 = 5*t + 2*k + 35. Which is smaller: -2 or t?
t
Let t = 0.1 - 0.2. Let i = -189 + 2455/13. Is i < t?
True
Let p = 2228/423 - 534121/87138. Let h = 3/103 + p. Is -2/5 less than or equal to h?
False
Let b = 2 - 2. Let o = -5/22 - 3/11. Which is bigger: o or b?
b
Let z = 0.3 - 0.2. Let a = 1.5 - 1.7. Let v = z + a. Is v at least 0?
False
Let c = -6 - -11. Let g = 9 - c. Let w = 3 - g. Is 1/3 != w?
True
Suppose 3*r + 15 = 5*q, 2*r + 3*q - 9 = -3*r. Let t(i) = -i**2 - 4*i - 4. Let o be t(-4). Which is greater: o or r?
r
Let a(h) = 0*h + 2 - h + 6*h. Let c be a(5). Let z be ((-6)/c)/(3/(-9)). Which is smaller: z or 0.5?
0.5
Suppose 25 = 5*u - 0*u. Suppose u*d = 2*d. Is -1/2 less than or equal to d?
True
Let s = 0.06 + -1.26. Let i = s - -0.2. Is i not equal to -2?
True
Let l = 620.49 - 617. Let v = 0.29 - l. Let o = -3 - v. Which is greater: o or 3?
3
Let p = -5191/13 + 399. Do p and -1 have the same value?
False
Let t = -35 - -51. Let g = 11 - t. Let h = g - -7. Is 0.2 at least h?
False
Let u be 90/715 + (-4)/(-22). Let n = 0 - -1. Does u = n?
False
Let b be (-292)/(-42) + (-10)/15. Let t = 734/119 - b. Does 1 = t?
False
Suppose 11*t = -t - 12. Does 2/31 = t?
False
Let u = 340/1239 + 2/177. Which is bigger: 0 or u?
u
Let g = -1.3 + 1.4. Which is greater: -7/3 or g?
g
Let g be 0 + (-2 - -2) + 1. Let z be g/(-2) + 35/(-102). Let s = z + 3/17. Which is greater: 1 or s?
1
Let l be -3 + 6 - 38/14. Which is smaller: l or -0.2?
-0.2
Let r be 30/8 - (-3)/12. Let s(d) = -d. Let f be s(-5). Which is greater: f or r?
f
Let l = 803/9 + -89. Is 0.09 < l?
True
Suppose 6*v + 12 = 2*v, -2*v = -2*k - 6. Suppose -l - l = 6. Are k and l unequal?
True
Let b(y) = -y + 16. Let s be b(14). Suppose 6 = -s*q - q - u, -5*u - 6 = 3*q. Do q and 1 have the same value?
False
Suppose 5*q + 108 = 4*p, -4 = p + q - 22. Is 21 less than or equal to p?
True
Let i be 2/3 - 206/264. Let b = 123/308 + i. Let a = 4.7 + -1.7. Are b and a non-equal?
True
Let q = -4.68 + 0.48. Let z = -3.957 + -0.043. Let t = q - z. Do 1 and t have the same value?
False
Suppose -5*i - p = -42, -4*i + i = -4*p - 16. Do 0.1 and i have different values?
True
Let k = 12 + -6. Suppose -b + k = 2*b. Is b at least as big as 3/2?
True
Suppose 2*q - y + 1 = 0, -2*q - 4*y + 14 = -5*q. Let o = -3 + q. Is 1 at most as big as o?
False
Let z be -1*(-5)/(-6 + 1). Which is smaller: z or 2/11?
z
Suppose -2*o + 10 = 0, -o - 2*o + 15 = 2*l. Suppose -2*d + 0 + 2 = l. Let q be 2 + -3 - d/(-3). Is -2 > q?
False
Let v = -853/90 + 88/9. Suppose 5*l - 4 = 4*l. Suppose l*m = -r + 5, m + 3*m = 5*r - 1. Does v = m?
False
Let b = 16 + -3. Let v(o) = o**3 - 12*o**2 - 13*o - 2. Let c be v(b). Are c and 2 non-equal?
True
Let b = -4/13 - -46/65. Let g = 55 + -57. Is g equal to b?
False
Let o = -9 + 70. Let r = -185/3 + o. Does 0 = r?
False
Let h = -69.7 + 70. Which is smaller: h or 20?
h
Suppose -b + 3 = 0, -3 = 3*d - 2*b - b. Suppose -3*r - 5 = -4*p, -p = d*r - 5*p + 2. Let c be (1 - -5)/r - -5. Are 7/2 and c unequal?
True
Let n be 4/(-10) + 4/10. Let i = 2 - n. Suppose -2*o - u = -5, -3 = -5*o - u + 8. Is o less than or equal to i?
True
Let o(k) = k**3 + 4*k**2 + 2. Let p be o(-3). Which is smaller: p or -1?
-1
Let q be (-2)/(-5) + (-16)/15. Does -17 = q?
False
Suppose 2*j + 10 = 2*b - 0, 0 = 2*j + 3*b - 10. Let z be 4/(-8) - (-3)/(-2). Let r be (z/(-6))/((-2)/6). Is r > j?
False
Suppose -5*l + 7*l = -2. Which is greater: -3 or l?
l
Let j(g) = -g**2 + 6*g - 1. Let u be j(7). Let z = 14 - 21. Is u at most z?
True
Let x = -4 - -6. Let g = x - 3. Which is smaller: g or -2?
-2
Let d = 3 + -4. Suppose 2*x - 2 = -0*x. Which is smaller: x or d?
d
Let m be 3 - 3/(3 + 0). Suppose -6 = 7*o - m*o + 2*h, -4*h - 12 = 0. Is 1 greater than o?
True
Suppose 0 = -3*a + 2*t - 2 - 15, 0 = 5*a + 3*t + 60. Suppose 4*j = 2*d + 36, -31 = -3*d + 4*j - 75. Is d less than or equal to a?
False
Suppose -q - 45 = -4*q. Is q less than or equal to 14?
False
Let q be (32/6 - -1)/(-1). Let z = q - -7. Let g = -0.08 + 0.18. Is g at least as big as z?
False
Let x be 112/(-21)*(-21)/4. Do x and 27 have the same value?
False
Suppose -3*x = -15 - 6. Let w = 2 - x. Do -5 and w have the same value?
True
Let u(g) = -g. Let r be u(-6). Suppose -r = -3*s + 4*l, -2*s + 2*l - 13 = 5*l. Let o be (s/4)/(15/12). Is 2 <= o?
False
Let c(f) = -f + 2. Let d be c(3). Let l(g) = g**2 - 3*g. Let q be l(3). Which is smaller: d or q?
d
Suppose 0 = 2*j - 4*o - 80, 0 = -7*o + 2*o - 15. Suppose -3*s - 12 - j = -5*i, 0 = 4*s + 8. Is 9 != i?
True
Let a = 6 + -7.2. Let o = -0.3 + -0.7. Let l = o - a. Which is smaller: l or -0.2?
-0.2
Let g = 3 + -5. Is g greater than or equal to -10/13?
False
Let d = 2 - 2.04. Let v = -2.94 - d. Let t = 3 + v. Which is smaller: t or 0?
0
Let r = 113 + -112.8