 = 4*k, 4*v - 3*k + 2 = -2*k. Suppose d - 4 = 0, -4*d + 10 + 6 = -o. Is o not equal to v?
False
Let n(j) = -j + 11. Suppose 0 = 2*r + 2*r - 44. Let y be n(r). Which is bigger: y or -2/7?
y
Let s be 38/(-18) - 10/(-5). Is 0 < s?
False
Let f = -3 - -1. Let w(b) = -3*b**2 - 9*b - 1. Let r(u) = -4*u**2 - 9*u - 2. Let q(a) = 2*r(a) - 3*w(a). Let i be q(-9). Which is smaller: f or i?
f
Let y(s) = -s - 13. Let z be y(-9). Let v = -6 - -4. Let o = v - z. Which is smaller: o or 3/4?
3/4
Let f = 0.4 - 1.2. Let w = -0.6 - f. Let i = 1.1 + -0.1. Is w != i?
True
Let z = 12 - 27. Let n be z/(-18) + 1/6. Which is smaller: n or 1/12?
1/12
Let f = -35 - -6. Let j = f - -29. Which is smaller: 2 or j?
j
Let r = -2.5 - -2.4. Is r smaller than -0.17?
False
Suppose 2*q = 4*q - 20. Suppose 6*n - q = n. Let u = 0.8 + 0.2. Which is smaller: u or n?
u
Suppose 2*z + 0 + 2 = 0. Suppose -3*d = l + 10, 5*d = -l + 3*l - 24. Is z <= l?
True
Let c be 4 + 1 + (2 - 3). Let k be -2 + 0/(c + -1). Is -2 not equal to k?
False
Suppose 0 = -2*v + 13 - 3. Let y be (v - 3) + -9 - -2. Let d = y - -7/2. Which is greater: d or -1/4?
-1/4
Suppose 0 = 3*y - 8 - 82. Suppose k + y = -4*k. Does k = -5?
False
Let z(w) be the second derivative of -w**4/12 - w**3/2 - 3*w**2/2 - 3*w. Let m be z(-2). Which is smaller: 1/4 or m?
m
Suppose 4*h = -h - 65. Is -14 bigger than h?
False
Let g = 2 + -4. Let l be 4/10 - (148/20 + -3). Which is smaller: l or g?
l
Let w = -213 + 5105/24. Are w and 0 non-equal?
True
Let c be (0 - -1)*2*-1. Is c smaller than 0?
True
Let s be 48/(-99) - 12/(-18). Is 1 < s?
False
Let n = 16 - 3. Let s = n + -11. Is s less than -0.03?
False
Suppose 0*n = 3*n + 6. Let m = 44.1 + -44.15. Is n at most m?
True
Suppose -16 = 3*y - 0*x - 2*x, -2*y - 4*x = 0. Let b = y + 5. Let s be 4/8 - (-93)/(-162). Which is smaller: s or b?
s
Let o(t) = -t**2. Let f be o(1). Let j = -3 - 1. Let w = f - j. Is 4 != w?
True
Let q(k) be the second derivative of k**3/6 - 3*k**2/2 + 2*k. Let m be q(-2). Which is smaller: -3 or m?
m
Let x be 3/(-4) + 20/(-16). Let n be x*-2*(-2)/4. Let v be (n - -1)/(3/3). Which is greater: 1 or v?
1
Let h = 2 - -2. Let x = -12.8 + 9. Let a = h + x. Are a and 2/5 nonequal?
True
Let d = -5 - -4. Let q(x) = 3*x**3 + 2*x**2 + 2*x + 6. Let u(s) = -1. Let b(n) = q(n) + 5*u(n). Let p be b(d). Do -3 and p have different values?
True
Let v be 41/(-44) + (3 - 31/11). Is v bigger than -1?
True
Let j = 4 - 1. Suppose 2*l + 2*m + 3*m - 5 = 0, j*l + 2*m + 9 = 0. Let w be (1 + 0)*(-10 - -4). Does l = w?
False
Suppose -2*q - 10 - 14 = 0. Is q less than -14?
False
Let l = 3 - 12. Let y = 55/6 + l. Is 0 greater than y?
False
Let h = -0.1 + 0.1. Let i = 0.5 + -0.3. Is i equal to h?
False
Let x be ((-6)/54)/(3/(-1557)). Let r = 57 - x. Is -1 >= r?
False
Let q(i) = -i - 1. Let x be q(3). Let j = 6 + x. Let r be ((-5)/(-10))/(2/4). Is j equal to r?
False
Let d be (-1 - 0)*(4 + 9). Which is bigger: d or -15?
d
Let t(g) = -g**2 + g + 2. Let r be t(0). Let s be r/(-3) - (-112)/(-12). Let o be 4/s - 17/(-30). Which is smaller: 0 or o?
0
Let r be 4/1 - 4/2. Is r greater than 3?
False
Let k(l) = -l**3 + 24*l**2 + 26*l - 28. Let a be k(25). Is -7 greater than a?
False
Let u(l) = -l**2 + 11*l + 3. Let v be u(11). Suppose 15 = 3*d - 5*n, n + v + 0 = -d. Is -2/11 greater than d?
False
Let r(u) = -u**2 + 5*u + 5. Let k be r(6). Let i be -3 + 0 - -2 - -1. Let a = i - k. Which is smaller: -1/6 or a?
-1/6
Let c = -7 - -10. Suppose -c*v - o = -3*o - 5, 5*v - 3*o = 8. Let x(p) = -p**3 + 2*p**2 - p. Let g be x(v). Is 0 != g?
False
Let y(i) = 2*i**3 - 2*i**2 + i - 2. Let a be y(2). Suppose -3*d + a = -2*d. Is 8 equal to d?
True
Let h = -146 + 1020/7. Is h > -46?
True
Let s be (-5)/2 + (-1)/(-1). Suppose -2*o + 3*o = -1. Is s smaller than o?
True
Suppose -2*m - 4*b + 7*b - 6 = 0, 2*m + 8 = 2*b. Which is bigger: -7 or m?
m
Let r(o) = -o + 4. Let p be r(4). Let m = -820/301 + 25/43. Let q = -31/21 - m. Which is bigger: p or q?
q
Let x(d) = -d + 4. Let f be x(12). Let w be (f + 6)/(1*-2). Which is bigger: 10 or w?
10
Let v be -5*3/(-6)*4. Let l be 17/5 - 4/v. Is l smaller than 1?
False
Let f be 1/((-3)/((-24)/2)). Suppose -4*y = 4*r - f, 0*y + 4*y - 2 = -2*r. Suppose y = -3*n + n. Are -2 and n nonequal?
True
Let d be (2 - 1)/(52/(-192)) + 4. Suppose 3*i - 21 = -3*n, -4*n + 3*i + 14 = -0*i. Suppose 2*u - n + 3 = 0. Is d < u?
True
Let r = -6/79 + 212/711. Which is smaller: -1 or r?
-1
Let q = -0.1 - -0.1. Let g be -1 + ((-7)/(-2) - 2). Is q at least as big as g?
False
Let w = -3 + -2. Let g = 2 - 1. Let o = -2 + g. Which is greater: w or o?
o
Suppose 0 = -2*v - 2*b - 22, -7 = v - b + 10. Which is bigger: -13 or v?
-13
Suppose 0 = -6*y - 116 - 10. Is -24 bigger than y?
False
Suppose 0 = 5*c - 15. Let y be ((-3)/9)/((-71)/c). Let g = 149/497 - y. Is g smaller than 0?
False
Suppose r = 8*r + 343. Which is smaller: r or -50?
-50
Let o be ((-9)/36)/(17/(-3425)). Let m = o - 201/4. Let a = -16/21 + 3/7. Is m <= a?
False
Let p = -1800 - -8966/5. Is p at most as big as -7?
False
Let f(q) = -2*q + 4. Let k be f(2). Is -2 less than k?
True
Suppose -31 = 4*o - 3*r, o - 5*o - 4*r = -4. Which is smaller: o or 1?
o
Let m = -0.77 - -0.7. Let s = 2.1 + -2. Which is bigger: m or s?
s
Let o = 1787/8 - 223. Suppose 0 = z - 4*z. Is z less than or equal to o?
True
Let z = 754/5 + -150. Let f = 0.007 - -0.093. Which is greater: f or z?
z
Suppose 5*i = -2*f + 28, -2*i + 5*f - 36 = -6*i. Suppose -2*x - i + 0 = 0. Let c be x/5*(-4)/12. Are 0 and c nonequal?
True
Let q be (1/(-3))/((-8)/6). Let t be (0/(-5))/(-2*1). Suppose -r + t - 1 = 0. Which is greater: r or q?
q
Let l = 537/5 + -107. Suppose 0*g + 5*g = 3*j - 53, -j - g + 7 = 0. Suppose -4*y = r + j, 4*r = r + 3*y + 12. Is l greater than r?
False
Let o be 14/(-72)*1*-3. Let q = -181/6 + 31. Let v = o - q. Are v and -1 equal?
False
Let j be 5 - (-1 + 4 + -2). Let w = -8 + j. Let s be (9/12)/((-1)/w). Is 2 < s?
True
Suppose 18 = 3*p + 3*b - 0, -4*p = -5*b - 6. Let z = -2 - -7. Is p less than z?
True
Let k(a) = -a**2 - 5*a - 5. Let w be k(-3). Is 2/13 less than w?
True
Let u(d) be the second derivative of d**6/120 - d**5/12 - d**3/3 + d**2 - 3*d. Let o(p) be the first derivative of u(p). Let c be o(5). Is c > -6/5?
False
Let y = 562 + -604.96. Let m = 41 + y. Let a = m - 0.04. Which is smaller: -0.1 or a?
a
Suppose -2*p + 0*y - y = 42008, -3*y = 12. Let d = p + 3675299/175. Let j = d - -1/175. Which is smaller: j or 0.1?
j
Let a be 50/4*192/(-10). Let y = a - -2158/9. Let s be (-1)/4 + 12/(-16). Is y at least s?
True
Let r = -35.5 - -34.5. Let w = 11 + -11.16. Is r less than w?
True
Let z(m) = -m**3 - 9*m**2 + m + 13. Let a be z(-9). Suppose -a*f + f = 0. Is 1 greater than f?
True
Let b = 90 - 169. Is -0.1 greater than b?
True
Let p = -9 - -13. Let c be (3/(-2))/(p/(-8)). Let b = -19 - -23. Which is greater: c or b?
b
Let p = -0.55 + 0.65. Which is greater: -4 or p?
p
Let w = -2.4 + 2.8. Let y = -2.4 - -1. Let u = w + y. Is u greater than or equal to 1?
False
Let a = 13 + -8. Let p = 6.13 + -0.13. Let k = p - a. Is k at most as big as 1?
True
Let t = 1.64 - -0.36. Let b = 2.1 - 2. Which is bigger: t or b?
t
Let i = 5 + -22. Let n = 15 + i. Does n = 3/4?
False
Let o = 6 + -11/2. Let m(j) = j + 4. Let b be m(0). Suppose 0 = 3*p + b*x - 22, x = -p + 4*p - 2. Is p not equal to o?
True
Let s = 28.11 - 28. Let p = s - 0.01. Which is smaller: p or -3?
-3
Suppose -2*u - 2*u + 12 = 0. Let k = 4 - 2. Is k > u?
False
Suppose 4 = 4*x - 0*x. Is 3 > x?
True
Let x = -20 + 14. Which is smaller: x or -2?
x
Suppose 2*c - 5*c - 4*n + 14 = 0, -4*c = -2*n - 26. Let y be 6/4 - 93/c. Which is greater: -15 or y?
y
Let a be 24/(-15) - (-4)/(-10). Let b(d) = -d**3 - 3*d**2 - 4*d - 2. Let y be b(a). Is 15/7 greater than y?
True
Let h = 56.9 - 60. Let b = 3 + h. Let j be (-1 - (-3)/6)*26/39. Which is smaller: j or b?
j
Suppose v = 5*g - 0*v - 9, -2*g + 2*v = -2. Suppose 5*p + s - 4*s + 6 = 0, 3*s = 6. Is p != g?
True
Let m = 2/995 - 28863/3980. Which is smaller: -6 or m?
m
Suppose 0 = -2*j - j + 12. Suppose 6*r + 16 = p + 2*r, -4*p - j*r - 16 = 0. Let w = -9/2 - -4. Which is bigger: p or w?
p
Let t = 0.8 - 0.1. Let j = t + 1.3. Which is greater: j or 0.3?
j
Suppose -48*o = -51*o + 330. Is o less than 111?
True
Let