 = -3*y + 4*s - 2, -2*s = 2*y - m*y. Is a at most as big as y?
False
Suppose 13*d = 6*d + 56. Is 9 not equal to d?
True
Let a = -15 + 17. Let b = 3 - 2.8. Is a smaller than b?
False
Let o(h) = -h**2 + 2. Let b be o(0). Suppose -2*y + b = 4*a + 4, -10 = 5*a + 4*y. Suppose r + a - 1 = 0. Which is greater: 2 or r?
2
Let z(j) = 3*j + 15. Let i be z(-5). Which is smaller: -3 or i?
-3
Let h be (-1 - -2 - 1)/2. Let w(l) = -l**2 - 4*l - 1. Let p be w(-3). Suppose 2*y = 4*b - p, -4*y + 0*y - 4 = 5*b. Is b equal to h?
True
Let p be (-20)/(-50) - (-36)/10. Suppose 2*k - p*t = -16, 2*t + 0*t = -5*k + 8. Is k bigger than -8/7?
True
Let t be (-3)/15 + (-61)/(-30). Let o be (-1)/(-4) + 9/4. Let y = t - o. Which is smaller: y or -2?
-2
Suppose -4*f - 3*r = -6*f - 20, 4 = r. Let z = 7 + f. Let k = 9 - 6. Is z < k?
False
Let p = 2.83 + -0.53. Let w = p + -0.3. Which is smaller: w or 0.1?
0.1
Let c be 4/(-12) - (-2)/6. Suppose i - 5*a + 15 = c, 2*i + 6*a = 3*a + 22. Let q be (i/2)/((-4)/(-8)). Are q and 6 non-equal?
True
Let z(d) = -d**3 + 5*d**2 + 11*d - 7. Let u be z(7). Is -26 < u?
False
Let o be (-4 - -2) + 3*1. Let g be o/(-2 + 11/5). Is g >= 4?
True
Let q = -2.98 + -0.02. Let m = 2 - q. Let b = -3 + m. Is b at least -2/7?
True
Suppose 2*c - 7 + 26 = 3*v, 5*v - 31 = 3*c. Which is smaller: c or -7/6?
c
Let g be 11/6*(-3)/(-3). Let n = g + -5/2. Let h = -8 - -5. Is h < n?
True
Let f(r) = r + 2. Let z be f(7). Let l be (5/(-15))/(7/z). Suppose -2 + 6 = -4*t. Which is smaller: t or l?
t
Let h = -2 + 2. Suppose h = 7*i - 2*i. Let y(c) = -c**3 + 5*c**2 - 5*c + 3. Let z be y(4). Does i = z?
False
Let q = 5.7 + -13. Let a = -7 - q. Does 1 = a?
False
Let d(u) = u**3 + 10*u**2 - 14*u + 5. Let k be d(-11). Are k and 37 equal?
False
Let i be ((-1)/(-2))/(7/210). Which is bigger: 0.1 or i?
i
Let n be (-2)/(-19) - ((-2674)/950 + 3). Let j(a) = a**3 - 4*a**2 + a - 5. Let i be j(4). Let u = i + 2. Is u > n?
True
Let a = 0.567 + -18.617. Let s = 19 + a. Let v = 0.05 + s. Which is smaller: -1 or v?
-1
Let z = -256 + 255.95. Let d = -3 + 4. Which is greater: z or d?
d
Let x be 30/(-5)*2/(-6). Suppose -3*w + 5*w = -4. Is x smaller than w?
False
Let w = 49 - 48. Are w and 4/11 unequal?
True
Let k(b) = 59*b - 1. Let y be k(-1). Let d = y - -241/4. Which is bigger: 0.4 or d?
0.4
Let u = 2 + -1.95. Let l = u + 0.15. Is -1 smaller than l?
True
Let m = 29 + -21. Let t = m - 10. Let i be 2*(-2 + 19/12). Which is bigger: t or i?
i
Let o(m) = -2*m - 3. Let d be o(6). Let u be -3 + 2 + 78/5. Let j = u + d. Is -1 > j?
False
Let d = -6 - -8. Suppose 5*q + 20 = 5*u, 9*u + q = 4*u + d. Which is smaller: 2/5 or u?
2/5
Suppose -6 = -7*n + 6*n. Are 6 and n nonequal?
False
Let p = -6 + -2. Let v(n) = -n - 8. Let g be v(p). Which is bigger: g or 3/2?
3/2
Let p(n) = -24*n**3 + n**2 + 3*n + 2. Let g be p(-1). Is g greater than or equal to 0?
True
Let a = 1.9 + -0.9. Let u = -84 - -331/4. Does u = a?
False
Let o(z) = 3 + 2 - 6 - 2*z + 3*z. Let c be o(0). Is 2/15 at least c?
True
Let t = 7 + -6. Let p = 2 - t. Which is smaller: -1 or p?
-1
Let j be 10/1 + (-5 - -3). Let r(s) = s - 5. Let l be r(j). Suppose -5*u - 21 = -3*x, -4*x + 20 = 4*u - 8*u. Which is greater: l or x?
l
Let j be (-3 - (-6)/(-10))*2/4. Which is smaller: j or -3?
-3
Let d = -17 - -16.9. Which is greater: 0.4 or d?
0.4
Let h = -46 - -42. Let l = -22/13 - 107/52. Which is smaller: h or l?
h
Let f be 400/1290 + (5/3 - 2). Do f and -1 have the same value?
False
Suppose 0 = 3*h - 5*p - 7, -5*h + 3*p - 2 = -3. Is h >= -1/53?
False
Let p(x) be the third derivative of -x**5/60 + x**4/4 - x**3/2 + x**2. Let j be p(2). Let s = -2 + j. Which is smaller: s or 2?
2
Suppose 0 = -t + 14 + 3. Suppose 4*w + 3 = -1, 3*h = 2*w + t. Let l be (3/h - -1) + -2. Is -3/2 at least as big as l?
False
Let u = -16 + 10. Which is smaller: u or 1?
u
Let f(h) = h - 6. Let d be f(7). Let g be 0*(2/(-4) + d). Which is greater: g or 5/6?
5/6
Let t = -167 - -1329/8. Let d = -71/72 - t. Is d not equal to 0?
True
Let g be ((-32)/10)/(1/5). Is g not equal to 2/7?
True
Let o(z) = z**2 + z + 1. Let w(q) = 5*q**2 - 2*q + 3. Let n(v) = -4*o(v) + w(v). Let u be n(6). Is u less than or equal to 4/11?
True
Let k = 0 + -2. Suppose -3*f - 2*b = -7*b - 16, -3*f = 4*b + 2. Suppose -c = f*c. Is c at least k?
True
Let m = -2823/1010 - 1/202. Are -3 and m unequal?
True
Suppose 0 = -30*g + 25*g - 60. Is -14 at least g?
False
Let m be -52*(10/8)/(-1). Let d = -324/5 + m. Suppose 5*n - 4 = -2*c, -n - 5*c = -3*c - 4. Which is bigger: d or n?
d
Let j = 0.2 + -0.22. Let h = j - -0.02. Which is bigger: h or -0.1?
h
Let n(v) = -v**3 + 4*v**2 - 3*v + 1. Let o be n(3). Let a be (3 - o - -16)/(-1). Let m be 16/90 + (-4)/a. Which is greater: m or -1?
m
Let r = -3191/57 - -167/3. Which is bigger: r or -2?
r
Let q = 2129/7130 - -1/713. Which is smaller: 2/3 or q?
q
Let p(y) = 8*y - 35. Let o be p(5). Is o greater than or equal to 3?
True
Let x(f) be the first derivative of f**4/4 - 8*f**3/3 + 4*f**2 - 5*f + 8. Let d be x(7). Let u = -394 - -4340/11. Are u and d equal?
False
Suppose 15*a + 6 = -9. Is a > 1/19?
False
Let s be (-1 + 2)/(8/120). Let x be (2 - 1) + s/(-24). Which is greater: 0 or x?
x
Let q = 247 - 1209/5. Is q >= 5?
True
Let k be 2/(-7) + 62/(-77). Let h = 41043/22 - 1864. Let x = h + k. Which is bigger: x or 0?
x
Let g(i) = -i - 6. Let a be g(-7). Let z be a/5 + (-9)/(-105). Which is greater: z or 0.1?
z
Let o = -7/216 + -451/12744. Which is bigger: 1 or o?
1
Suppose 0*l = 4*l - 12. Let n be 2*(-93)/6 + l. Let t be n/231*18/4. Do t and 0 have different values?
True
Suppose 11 + 9 = 5*u. Let p be ((-21)/(-14))/(129/u). Is 1 equal to p?
False
Let y = 0.28 + -0.3. Let g = 0.2426 + -0.0426. Is g < y?
False
Let y be 2/6 - 77/(-21). Suppose 7*l = 3*l + y. Is 2 greater than l?
True
Let f(l) = -l**3 - 6*l**2 - 3*l + 9. Let n be f(-5). Are 1/25 and n unequal?
True
Let b(a) = -a**3 + a**2 + 2*a + 1. Let q be b(2). Which is smaller: 3 or q?
q
Let m = -9 - -4. Let y = 31 - 31.1. Is y at least as big as m?
True
Let a be 27/9 - 3*1. Which is bigger: -1 or a?
a
Let r = -24 + 25. Which is smaller: 3/10 or r?
3/10
Let v = 9 - 1. Suppose -2*d - 2*d + v = 0. Which is greater: 3 or d?
3
Let k(f) = 5*f**3 - 7 - 5*f**3 - 5*f + 0 - f**3 + 7*f**2. Let g be k(6). Which is greater: -2 or g?
g
Let y = 193 - 86. Let s = y - 177. Let r be 2/s + 2/(-5). Do 0 and r have different values?
True
Let n be 33/(-15)*30/(-36). Is n < 1?
False
Let h = 0.05 - 0.55. Let x = h + -0.5. Let a = 31/20 - 9/5. Is a at least x?
True
Suppose 2*o - o - 14 = 0. Suppose o - 2 = -2*x. Let k be 2/6*x/10. Which is smaller: k or 1?
k
Suppose 2 = 7*p - 19. Let r be 1/3 - (-17)/3. Let s be 3/r - 1/(-2). Which is greater: p or s?
p
Let z be 510/40*(-8)/3. Is z greater than or equal to -35?
True
Suppose 18 = -3*d - 2*r + 3*r, -5*r = 0. Let n be 0 - d*(1 - 2). Which is bigger: -5 or n?
-5
Let g be (0 - 1)/(0 + -1). Let q = -0.3 + 0. Let u = q + -1.7. Is g at most u?
False
Let s(u) = u - 13. Let a be s(14). Which is smaller: a or -5?
-5
Let x be 1/5 + (-1332)/7110. Is 0 != x?
True
Let a be (-3)/(-15) - (-2)/10. Is a at most as big as -0.03?
False
Let a be 1*1/1 - 10/5. Which is smaller: 1/6 or a?
a
Let o be 19/(-7) + 9/3. Is o equal to 1?
False
Let d be 38/(-14) - 2/7. Let x be (-8)/6 + 1/d. Suppose 20 = 5*g + 25. Which is greater: g or x?
g
Let h = 14 + -4. Let a be 3/(-9) + h/102. Which is smaller: -1 or a?
-1
Suppose 3*u - 1 = 4*a, -3*a + 2*u = -u. Is a greater than -3?
True
Let y(c) = c**3 + 4*c**2 + 4*c + 3. Let q be y(-2). Suppose -21 = -q*k - 0. Does k = 7?
True
Let c = 7.4 + 1.6. Is 1/3 smaller than c?
True
Suppose 0 = -2*u - 4*m + 20, -5*m + 21 = -4*u - 4. Let h(i) = 4*i + 2. Let k be h(-2). Let q be (-3)/((-3)/(k/(-8))). Which is greater: q or u?
q
Suppose -6*l = -17 + 89. Which is greater: -10 or l?
-10
Let j = -223/3 - -73. Let g(k) be the first derivative of -k**2/2 - 2*k - 2. Let w be g(-2). Which is smaller: j or w?
j
Let q(r) be the first derivative of 1/2*r**2 + r**3 - 3*r - 2 - 1/4*r**4. Let y be q(3). Which is smaller: y or 2/11?
y
Let z = 0.2 - 0.25. Let m = z + 4.05. Let u = -4 + m. Which is smaller: u or 1/4?
u
Suppose 4*n - 3*g = -4 + 51, 1 = -n + 5*g. Let s = -13 + n. Which is bigger: 1/7 or s?
s
Let v = -1 + 0.5. 