 q(m) = -2 + 4*m - 5*m - 3 - 1. Let k be q(-6). Are p and k equal?
False
Let j be 228/210 + (-4)/5. Which is greater: j or -115?
j
Let d = 114 + -115. Is d > 2/51?
False
Let p = 33 + -38. Which is bigger: -3 or p?
-3
Let p = 22 - 15. Which is smaller: p or 6?
6
Suppose 5*y + w - 31 = 0, -4*w = -0 - 4. Is y at most 6?
True
Let z = 0.4 - 0.1. Let y = 0.2 - z. Are -1/7 and y equal?
False
Let p = 1.2 + -2.3. Let h = p - -14.1. Which is bigger: 0 or h?
h
Suppose u - 6*u - 10 = 0. Let j(c) = -c**2 - 5*c + 5. Let z be j(-6). Let t = z + 0. Is t smaller than u?
False
Let y be 2 + 8/(-3) - 0. Let r = 5711/19416 + -2/809. Let v = 1/24 - r. Is y < v?
True
Let x = -0.18 - 0.02. Let n = 2 - 2. Let d = n + x. Which is smaller: 0 or d?
d
Suppose -10 = 4*h - 6. Which is smaller: h or -3/127?
h
Let a(m) be the first derivative of 5*m**2/2 - 3. Let u be a(-2). Is -10 > u?
False
Let c(t) = t - 2. Let b be c(3). Which is bigger: b or 0?
b
Let o = -1/2 - -11/10. Let r be 9/((-1)/2*-3). Suppose 2*h + 4 = r*h. Are o and h non-equal?
True
Let t be (2/3)/((-14)/21). Suppose n = -0*n - 2. Let d be 1/n + (-1)/2. Is d at least as big as t?
True
Let b = -0.08 - -2.08. Let n = b - 1. Let h be 3/8*6/(-9). Is n bigger than h?
True
Let r = -13 + 12. Are r and -1 nonequal?
False
Suppose 2*k + 2*f = 212, 0 = 4*k + 3*f + 82 - 509. Is k > 108?
True
Let l = -15 + 15. Let j be (4/9)/(0 + -2). Is l >= j?
True
Suppose -4*g + 0*p + 11 = -3*p, -4*g - 2*p = 14. Which is greater: -1/7 or g?
-1/7
Let c(s) = -s + 16. Let j be c(16). Is 5 at most as big as j?
False
Let r = 106 - 40. Which is bigger: r or 68?
68
Let h(a) = 3*a**2. Let o be h(1). Let b be o*3/9*-1. Which is smaller: b or 3?
b
Let t be (-70)/(-8) + (-12)/16. Suppose 0 = -4*y - 48 + t. Do y and -9 have the same value?
False
Let u = -6.95 + 7. Which is smaller: 2 or u?
u
Let w = 1.22 + -0.22. Suppose -3*c - 2*a = 1, 0 = -2*c - a - 5 + 3. Let k(m) = -m**2 - 4*m - 4. Let f be k(c). Which is smaller: f or w?
f
Let o(b) = -b**3 - 2*b**2 + b. Let p(m) = -m**2. Let v(j) = o(j) - 2*p(j). Let a be v(2). Which is greater: -5 or a?
-5
Let p = 10 + -6. Let x(d) = d + 4. Let j be x(6). Let i = j - 8. Which is smaller: i or p?
i
Suppose -39 - 103 = 2*h. Is h at least as big as -71?
True
Let v be ((-4)/10)/(24/(-20)). Which is greater: v or 0?
v
Let w = -1.77 + 1.9. Which is smaller: w or -2/5?
-2/5
Let u(k) = -k**3 - 7*k**2 - k + 25. Let i be u(-6). Which is smaller: i or -23/6?
i
Suppose -2*y - 2 = 8. Let z be (y + 30)*22/1274. Let v = 2/637 - z. Which is bigger: v or 1?
1
Let q be 6/(-27) - (-76)/18. Let l = q - 0. Which is bigger: 3 or l?
l
Let x = 5 - 6. Let g be -21*(x - (-12)/9). Are -7 and g unequal?
False
Let c(f) = -f**2 - 21*f - 16. Let i be c(-11). Is i equal to 93?
False
Suppose -b + 2*t + 6 = 3*t, -2*t - 9 = -5*b. Is 19/5 != b?
True
Let m(y) = -y**3 - 13*y**2 + 13*y - 14. Suppose 3*b - 4*k - 15 = -53, b - 5*k + 9 = 0. Let o be m(b). Which is smaller: -10 or o?
-10
Let j be (-2)/5 + 1/(-10). Let q = 0.02 + 0.1. Let l = -0.08 - q. Is j at most l?
True
Let u(l) = l**2 - 13*l - 10. Let r be u(14). Suppose 2*v - 6*v = -p, -r*v + 24 = -3*p. Is -11 less than p?
False
Let d(t) be the first derivative of -t**4/2 + 2*t**3/3 - t + 3. Let z be d(1). Which is greater: z or -3?
z
Suppose 0 = -3*f - 4*r + 3*r + 5, 0 = 5*f + 2*r - 10. Let q(v) = v**2 - v**3 - 1 + 0*v**2 - 2*v**2 + v. Let x be q(f). Which is smaller: x or 0?
x
Let i = 0 + 1. Let y = 16 + -22. Let t = y - -6.1. Which is smaller: t or i?
t
Let n(u) be the third derivative of u**5/20 + u**4/6 + u**3/3 + 3*u**2. Let v be n(-2). Is v less than 7?
True
Let b(n) = 8*n**2 - 5*n**2 + 5*n**2 + 4 - n**3. Let p be b(8). Suppose -2*w = p*x + 6, -w = x + 3*x + 5. Which is bigger: -3 or w?
w
Let y = 41249/3 + -299318/21. Let a = -499 - y. Let c = a - 103/21. Is 0.2 greater than or equal to c?
True
Let t be (-20)/(-11) - (5 - 3). Does t = 2?
False
Let b(c) = -c**2 - 11*c + 1. Let r be b(-11). Is r >= -1/11?
True
Let f be ((-24)/2)/(3/4). Let y = -17 - f. Is 2 less than or equal to y?
False
Let v = -1 + -3. Let x be 3/(-2)*v/(-3). Which is smaller: -5/4 or x?
x
Let f = -21 - -20.77. Which is smaller: -1 or f?
-1
Let f = -2/385 + -1147/1540. Is f at most as big as 40?
True
Let d(x) = x**3 - 2*x**2 + 2*x - 1. Let g be d(1). Let i(t) = -2*t - 1. Let m be i(-2). Suppose -3*k + 0 = m. Do k and g have the same value?
False
Let x = 2.1 + 1.9. Which is greater: x or -1?
x
Let v = 145 - 125. Which is greater: v or 19?
v
Let z(u) = u**3 - 21*u**2 + 18*u + 44. Let q be z(20). Let r be (-7)/5 + (0 - -1). Is q greater than r?
True
Suppose 5*y = -2*l - 3, -y + 5*l = -0*l - 21. Do 3/22 and y have different values?
True
Let r = 76 + -97. Which is bigger: r or -18?
-18
Let d = 99/2 - 2477/50. Is d greater than or equal to 0?
False
Let q be (1/2)/((-2)/(-88)). Suppose -6*v = -4*v + q. Which is smaller: -10 or v?
v
Let b = -4/27 + 67/270. Let x(w) = w**2 + 9*w - 7. Let j be x(-10). Let v be (1/(j + -2))/(-1). Which is smaller: b or v?
v
Let o = -6 + 14. Let h = -7.97 + -0.03. Let n = o + h. Is -2/3 greater than n?
False
Suppose 3 = 4*z - 13. Suppose -z*g + 22 = -6. Which is smaller: g or 3?
3
Let c = 0 + -0.2. Let l = 0.164 - -0.036. Let a = l + c. Which is smaller: -0.2 or a?
-0.2
Let u be -4*(-15)/260*1. Is 1 at most u?
False
Let g = -3.07 - -0.07. Let k = 0.13 - -8.77. Let d = 9 - k. Is g at least as big as d?
False
Let k(u) = u + 8. Let d be k(-10). Is -2 bigger than d?
False
Suppose -27 = h - 5. Is h at most as big as -20?
True
Let k(d) = d**3 + 8*d**2 + d - 4. Let j be k(-8). Let g = j - -6. Is -5 < g?
False
Suppose 14 = s + 10. Let g be 3/((-2)/((-8)/6)). Suppose 28 = v + 5*f, 7 = 5*v + g*f - 18. Which is greater: v or s?
s
Let s = -3 - -2. Let m be 2/47 + s - -1. Which is smaller: m or -1?
-1
Let i = 5 + -5. Suppose i*o + 1 = o. Is 1/3 bigger than o?
False
Let p = -2 + 28. Let k = p + -8. Let a be k*3/30 - 2. Are a and -1 unequal?
True
Let k = 9.1 - 1.1. Let b = k + -8. Which is smaller: -7 or b?
-7
Let o = -49.46 + 49. Let x = o + 0.06. Let w = -0.5 - x. Which is greater: -0.2 or w?
w
Let s be (-1)/(-10) + (-1)/(-2). Suppose 0*y + d - 14 = -y, -2*d + 46 = 4*y. Suppose 0 = 4*w + 4, 5*j - 4*w = -0*j + y. Which is smaller: j or s?
s
Let y = -3001/11 + 273. Which is smaller: y or 1?
y
Suppose -7*m + 2*m + 20 = 0. Is m at least 4?
True
Let d = -12.02 + 0.02. Let j = -5 - d. Is 0.1 != j?
True
Suppose 11 = 3*f + 2. Suppose 0 = f*i - 5*i. Suppose i*o = -5*o. Which is greater: 5/7 or o?
5/7
Suppose 0 = r - 3*r - 6. Suppose 2 + 1 = -g. Is r at most g?
True
Let l = 535/3 + -183. Which is bigger: -6 or l?
l
Let v(g) = -g**3 + 31*g**2 - 30*g - 3. Let x be v(30). Which is smaller: x or -17/7?
x
Let c = 2 + -1. Which is greater: c or -2/161?
c
Let k be (-34)/(-72) - 2*5/40. Which is smaller: 1 or k?
k
Let u be -2 + (-1 + -5)/(-2). Let p be u + -1 - (2 - 5). Suppose 8 = -4*f, f = p*r + 3*f + 7. Which is greater: r or 2/21?
2/21
Let d be 3 - (0/(-5))/(-2). Which is smaller: 6 or d?
d
Let w(m) = -9*m + 1. Let l(o) = -4*o + 1. Let a(z) = -14*l(z) + 6*w(z). Let j be a(6). Suppose 5*v + 12 = -p - 0*p, -2*v = -2*p + 12. Which is smaller: j or p?
p
Let l(f) = f + 1. Let y be l(2). Is y < -1?
False
Suppose 2*b - 5*v + 34 = -10, -48 = 2*b - 4*v. Which is smaller: b or -33?
-33
Suppose 6*s = s. Suppose 4*p - 2*k + 7*k - 23 = 0, -19 = -5*p - 3*k. Let b = p + -1. Is b at most as big as s?
False
Let f = 44 - 70. Let k be 1/3 + f/42. Let z = 59.9 + -60. Is z at least k?
True
Let o = 14 - 9. Let y = o + -2. Which is smaller: y or 1?
1
Let l = -106/3 - -36. Are -19 and l equal?
False
Let z(h) = -h + 12. Let b be z(12). Let d = 41/390 - 17/30. Which is smaller: b or d?
d
Let o = -6 - -1. Let l be 4/10 - o/(-75). Let z be 2 + -4*(-2)/(-6). Is l equal to z?
False
Suppose f + 2*f - 4*r - 43 = 0, 67 = 5*f - 2*r. Let g = f + -9. Let y be 14/3 + g/(-6). Is 6 at least as big as y?
True
Let k(d) = -7*d. Let c(h) = -15*h + 1. Let a(t) = -6*c(t) + 13*k(t). Let i be a(-8). Suppose 0 = -2*w + 2 + 2. Is w at least i?
True
Let h = -1.7 + 4.6. Let k = 2.98 - -0.02. Let s = k - h. Which is bigger: -1 or s?
s
Let s be 0*(-1 - (-9)/6). Let x(d) = d**3 + d**2 - 3*d + 2. Let r be x(2). Let i be (-1 + 3)/(-1 + r). Is s at least as big as i?
False
Let v 