+ 3 + o = 0. Do y and -1/19 have the same value?
False
Let u be 18 + 0 + (-3 - -1). Let f be u/(-10)*(-2 + -3). Let k be (-22)/f - 1/4. Is k at least as big as 0?
False
Let h be ((-109)/22 - -5)/((-3)/(-2)). Are 0 and h equal?
False
Let k(b) = -b + 2. Let d be k(-3). Suppose 0 = -3*m - 1 - d. Let t(v) = -v**3 + 8*v**2 - 8*v + 4. Let i be t(7). Which is smaller: i or m?
i
Suppose -3 = 4*d - 15. Suppose -4*k = -c - 8, 0 = 2*c - k - 1 + d. Let l be (1/7)/(5/(-10)). Is l bigger than c?
False
Let c = -0.4 + -1.6. Suppose g - 58 = z + 2*z, -5*g - 70 = 3*z. Let b be 28/21*6/z. Which is smaller: b or c?
c
Let l = 6 + -9. Let j = l + 3. Which is smaller: -1 or j?
-1
Let q be (1/(-2 + 1))/(-1). Let r be q/(-3)*(-3)/(-1). Which is smaller: r or 0?
r
Let o = 4 + -3. Let b be (-2)/(o + -29)*-2. Is 1 equal to b?
False
Let z = 1.6 - 1.9. Is z at least 0.02?
False
Suppose -4*z - 4 - 4 = 0. Let h = -18 + 16. Is z greater than or equal to h?
True
Let t(s) = 2*s - 7. Let j be t(6). Let r = -2 + j. Let i = r - 3. Which is bigger: i or -1/2?
i
Let s(m) be the first derivative of -m**2 + 6*m - 5. Let g be s(6). Are g and -2/9 equal?
False
Let b = 6/77 + -261/385. Suppose 0*m - 4 = 4*t - 5*m, -2 = 2*t - 5*m. Let u = t + 1. Is b greater than or equal to u?
False
Let t = 0.5 - 0.3. Let p = t + -0.1. Is p smaller than -0.01?
False
Let h(g) = g**3 - 6*g**2 - 2*g - 10. Let x be h(7). Suppose -6*m - x = -m. Is m smaller than -6?
False
Let n = 11.8 - 3. Let o = n + -9. Is o at most as big as 1/5?
True
Let w(r) be the second derivative of -r**5/20 + 5*r**4/12 + r**3/6 - 3*r**2 - 4*r. Let q be w(5). Which is smaller: -1/9 or q?
q
Let c(y) = 14*y + 15. Let v be c(-4). Is -40 smaller than v?
False
Suppose 21*k = 15*k - 408. Is -67 at most k?
False
Let m = 11.1 - 11.21. Which is greater: 3 or m?
3
Suppose -4*v - 41 = 3*a, -4*a - v - 4*v - 56 = 0. Is -20 greater than a?
False
Let w be -2 - (76/(-30) - 4/(-12)). Which is smaller: -4 or w?
-4
Let a = 1.97 + 0.03. Let z = -1.9 + a. Let r = z + 0.1. Do -0.1 and r have the same value?
False
Suppose 5*w - 2*w - 84 = 0. Are w and 29 equal?
False
Let x = 39/20 - 11/5. Let k be ((-642)/(-26))/((-435)/10). Let d = 12/29 + k. Which is bigger: d or x?
d
Suppose 2 = 5*j + 37. Let a(y) = -y**2 - 8*y - 8. Let g be a(j). Suppose 2*n - 1 = -3. Is g greater than or equal to n?
True
Let r be ((-15)/9 + 1)/((-8)/(-12)). Which is smaller: r or -2?
-2
Suppose 0 = -3*c + 4 + 8. Suppose -c*i - 2*l + 6 = 0, -l + 5*l - 2 = 2*i. Which is smaller: i or 2?
i
Let c(t) = t**2 + 5*t + 8. Let g be c(-4). Suppose 0 = -x - 3*x - g. Let d = -73 - -513/7. Is d >= x?
True
Let b = 52.1 - 52. Which is greater: b or -28?
b
Let d = 0.55 - 0.5. Let o = 0.95 + d. Is o at most 0.1?
False
Let z(w) = w - 2. Let u be z(2). Let j be (0 - -5) + -3 + u. Let g = 0.8 + -1. Which is bigger: j or g?
j
Let t be 4 + 2/(15/10 + -2). Is 2/181 greater than or equal to t?
True
Let m = 190 + -187.8. Are m and -0.4 non-equal?
True
Let r(j) = 3 - 3*j + 7 - 3 + 2*j. Let h be r(7). Which is smaller: h or 2/23?
h
Let p = 9 - 5. Suppose p*b - 116 = 2*r, -b - 6*r = -r - 18. Let v be ((-8)/(-42))/((-24)/b). Is v equal to 2?
False
Let r = 2 - 3. Which is greater: 1/42 or r?
1/42
Suppose -5*g - 46 = 2*m, -3*g - 17 - 13 = 2*m. Let s = 9 + g. Is 5 > s?
True
Suppose -2*o + 2 = 4. Is 2/7 >= o?
True
Let d = -26/9 - -367/18. Let p = d + -107/6. Is p at most 0.2?
True
Let t be (19 + -18)/((-2)/4). Is 2 <= t?
False
Let p(s) = -s**3 - 10*s**2 + 10*s + 13. Let i be p(-11). Suppose -3*n = n + i. Is -6 at most as big as n?
True
Suppose -4*z = -d - 2 - 12, 4*z = 4*d + 20. Is d > 4/3?
False
Let j = 4 + -4.4. Let c = 0.3 + j. Let s = c - 0. Which is greater: 1 or s?
1
Let g = 8 + -4. Suppose -2*z + 3*z - g = 0. Suppose -9 = a - z*a. Which is greater: a or 4?
4
Suppose 145 = 2*i - 7*i. Is i at most -29?
True
Let n be -2 - (-18)/32*(3 + 1). Which is greater: 22 or n?
22
Let c be -4 - ((-44)/32 - 3). Which is smaller: 0 or c?
0
Let h = -12 + 16. Which is smaller: 9 or h?
h
Let d(u) = u**3 - 4*u**2 - 3*u + 5. Let l be d(4). Is -4 smaller than l?
False
Let u = -2767/13 - -213. Do u and -1 have different values?
True
Let o(q) = q**2 + 5*q. Let p(j) = j**3 + 4*j**2 + 2*j + 2. Let t be p(-4). Let m be o(t). Which is greater: 1 or m?
m
Let w be -3 - (-1 + 1174/(-8)). Let g = w + -144. Which is greater: 2 or g?
2
Suppose 0 = -4*t - 2*v + 3 + 9, 2*t - 5*v + 6 = 0. Suppose 0 = -5*i - 2*c - 3*c - 25, 3*c = 15. Let l = -7 - i. Is l smaller than t?
False
Let v = -5.6 + -0.4. Let r = -8 - v. Let d = 0.8 + 0.2. Which is smaller: r or d?
r
Suppose -6*r + 2*r - 8 = 4*u, -r = 5*u + 14. Let p be 1/1*r*-4. Which is bigger: -5 or p?
p
Suppose 5*a + 5*m - 2*m - 30 = 0, -2*a + 3*m - 9 = 0. Let c be ((-12)/14)/(-3 - (-19)/7). Is a not equal to c?
False
Let g = -358 + 362. Let v be 0/1 + -2 - -8. Is v not equal to g?
True
Let y be 2/16 + (-3)/24. Let a = 10 + -152/15. Which is smaller: a or y?
a
Suppose 2*m - 4*r - 21 - 9 = 0, r = -3*m + 17. Which is bigger: 3 or m?
m
Let l be (-496)/176 - 2/11. Let t be ((-18)/(-27))/(10/l). Which is greater: -1 or t?
t
Let h = 0.02 - -12.98. Let g = h - 12.95. Which is bigger: g or -0.1?
g
Let k = -29.805 - 0.195. Is 0.1 at least as big as k?
True
Suppose 26 - 6 = 4*l. Suppose l*n = 3*n. Which is bigger: n or 1/6?
1/6
Let o be -3 - 60/(-27) - (-4)/(-18). Which is greater: -4/11 or o?
-4/11
Let g = 6 + -2. Let t be ((-1)/(-5))/(g/5). Let w = -1 + 2. Do t and w have different values?
True
Let j = -8 + -4. Is -12 less than j?
False
Let b = 26 + -23. Which is smaller: 4 or b?
b
Suppose 0 = y - p - 18, 42 = -6*y + 8*y - 4*p. Which is bigger: y or 14?
y
Let h(u) = -u - 8. Let z be h(-9). Let m be z/(1/((-6)/(-10))). Which is greater: m or 2?
2
Let v = -0.13 - 0.87. Is v greater than or equal to 1/14?
False
Let j(r) = -2*r**2 + 2*r + 4. Let u be j(-2). Which is greater: u or -10?
u
Let t(y) = -y. Let v be t(0). Let p = -2/89179 + -7936715/9631332. Let a = p - -2/27. Is v less than or equal to a?
False
Let y = 0 - 0.1. Let c = -0.3 - 2.7. Let k = c - -5. Which is bigger: y or k?
k
Let o = 219/176 - 1/16. Which is smaller: 1 or o?
1
Let t = 0.19 + -0.09. Is 2/7 != t?
True
Let g be 1/(-5) + (-63)/(-15). Suppose i + 26 = 2*m, g*m - 40 = 2*i - 3*i. Are 11 and m unequal?
False
Let s = -1.5 - 2.6. Let l = -4 - s. Is 0 < l?
True
Let z = 14/11 + -81/55. Is -2/3 at least z?
False
Let y = -1 - -0.9. Which is greater: -7 or y?
y
Suppose -44 = 6*a - a - 2*f, 0 = -4*a - 5*f - 22. Let u = a + 5. Let z = u + 1. Is z at most -2/3?
True
Let n be (-36)/9 + 6/2. Which is smaller: 4/9 or n?
n
Let y be (-84)/15 + 6/10. Which is bigger: y or -2?
-2
Let z be (-3)/14*(-80)/60. Which is greater: -1/4 or z?
z
Let a = -2 - -6. Which is smaller: a or -1?
-1
Suppose -2*o = -0*o + 2. Does -2/69 = o?
False
Let s = -2 - -4. Let f be ((-1)/(-2))/((-9)/360*-8). Which is smaller: s or f?
s
Let f = 90 + -104. Which is smaller: -13 or f?
f
Let z(m) = m + 8. Let f be (-17)/2 + 2/(-4). Let q be z(f). Is 0 greater than q?
True
Let o(x) = -x**3 + 5*x**2 - 6*x + 4. Let n be o(4). Let h(j) = -j**2 + 7*j - 3. Let d be h(6). Suppose d*l + 2 = -7. Which is smaller: l or n?
n
Let g be 482/10*30/18. Let n = 81 - g. Is n equal to 0?
False
Suppose -4*x - 3*p - 12 = x, 0 = x + 5*p + 20. Let m be (-6)/22*(-4)/6. Is x smaller than m?
True
Let r be (-2)/(-6)*(6 + -6). Which is bigger: r or 4/3?
4/3
Let y be (-2)/8*-4*-1. Which is greater: -0.2 or y?
-0.2
Suppose 5*a - 12 = a. Let o be (-1)/4*1 - 9/(-4). Let f be (-1)/(o*a/(-42)). Are f and 8 unequal?
True
Let c be 0*2/(-2)*-1. Suppose 2*n + 6 = -0*n. Let j be (n*1)/(81/(-6)). Do c and j have the same value?
False
Let m = 11 - 12. Suppose -2*j - 5*l + 2 = 0, 3*j = -6*l + 3*l + 12. Let h = j - 19/3. Is h > m?
True
Suppose -11*f + 10*f + 13 = 0. Is -0.3 != f?
True
Let t(y) = -y**3 - 6*y**2 - y - 4. Let x = -3 + -3. Let h be t(x). Is h at most as big as 6/5?
False
Let l(s) = -s**2 + 6*s - 2. Let m be l(4). Suppose 0*k = 2*k - m. Let t be ((-1)/k)/((-2)/6). Is t greater than or equal to 0?
True
Suppose -7*d + 141 = 134. Let u = -22913/123 + 559/3. Which is smaller: d or u?
u
Let t(y) = -y + 4*y + 16 - y - 11. Let z be t(-3). Is -1 equal to z?
True
Let a = 0.68 - 0.5. Let d = a - 0.08. Is d greater than or equal to 2