*j + 15 - 0. Suppose -j*y + 40 = -0*y. Is y at most as big as 6?
False
Let h = -18572515/574 - -32356. Let k = -1/82 - h. Are 0 and k nonequal?
True
Let r be 10/(-45) + (-2)/(-9) - 3. Let h(z) = z**3 - z**2 + z - 2. Let y be h(0). Let m = r - y. Is 1 < m?
False
Let v = -588 - -233. Let b = -2480/7 - v. Let d = 29/21 - b. Are d and 0 nonequal?
True
Let k be -1*(740/(-372) + 2). Is k bigger than 0?
False
Let l = -0.5 - -0.7. Let m = l - 0.1. Is 0.2 less than m?
False
Suppose -5*b + 4*t + 164 = 0, -b + 4*t + 17 = -19. Let y = 6 - 16. Let v be 3 + 0 + b/y. Is v bigger than 0?
False
Suppose 0 = 2*j - 20 + 8. Let c(t) = t**2 - 8*t + 9. Let w be c(j). Suppose 8 = -x - 3*x. Is x not equal to w?
True
Let c = 12 + -16. Which is greater: c or -3?
-3
Suppose -16 = -t + q + 5, 3*t + 4*q - 49 = 0. Suppose -4*a - t = -5*z, -2*z + 7*z + 5*a = 10. Let w = 4 - z. Which is smaller: -2 or w?
-2
Suppose -2*t + 0*t - 4 = 0. Let x = -5 + 2. Let o be (1/(-4))/(x/(-20)). Are o and t non-equal?
True
Let v be 1 + (-56)/20 - -3. Which is greater: v or 1?
v
Suppose j - 10 = 6*j. Let o be 26/42 - j/(-7). Which is greater: 1 or o?
1
Let m be (-6)/4 + (-36)/(-24). Let y be ((-4)/(-12))/((-2006)/1014). Let p = y - -3/59. Which is bigger: p or m?
m
Let g = 0.8 - 0.9. Let b be -7 + 2 + (-2 - -1). Which is smaller: b or g?
b
Let y = -117 + 116. Let c = -2.1 + 2. Which is smaller: c or y?
y
Let k = -2 - -1. Let x = 3105 - 102451/33. Let u = x + -1/11. Which is bigger: k or u?
u
Let g(i) = i**3 + 9*i**2 + 10*i + 4. Let h be g(-8). Let q be h/(-8) - (-2)/(-4). Let v be (q/(-3))/((-1)/3). Which is bigger: 0 or v?
v
Let z(w) = w**3 - 4*w**2 + w - 4. Suppose k - 4*i + i = -5, 24 = 3*k + 4*i. Let o be z(k). Which is smaller: 1 or o?
o
Suppose 3*j - 6*j = 3, -3*j = 3*m - 6. Let n = 8 + -5. Let c be 13/n - (-1)/(-3). Is m smaller than c?
True
Let y(u) = -u**3 - 4*u**2 - 7. Let t be y(-5). Let h be t/3 - (-3 + 5). Suppose 2*k - 2*p + h = 0, -3*k + 3*p - 2 = -2*p. Are -2 and k equal?
False
Let v be -1*2 + (-280)/(-14). Which is smaller: 1 or v?
1
Let d be (150/(-4))/3*2/(-1). Is d bigger than 23?
True
Suppose -p + 52 = 53. Which is bigger: -1/12 or p?
-1/12
Let g = -10 + 16. Let u(q) = q**2 - 2*q - 6. Let s be u(5). Suppose 3*h - 5*b - s = -2*b, 0 = h - 2*b + 1. Which is smaller: h or g?
g
Let o = -3 + 0. Let q = o + 3.1. Let f = -17 - -15. Is q greater than or equal to f?
True
Let n(a) = a**3 + 2*a**2 - 1. Let c be n(1). Suppose -2*s + 3*k - 9 + 3 = 0, 0 = c*s - 2*k + 6. Is s less than -3?
False
Let d = 1 + 0. Let v = d - 6. Let u = 8 + v. Which is smaller: 1/3 or u?
1/3
Let b = -8.8 - -0.8. Let h = -7.9 - b. Let l be (-2)/8 + (-3)/(-6). Is h > l?
False
Let g(a) = a + 8. Let u be g(-11). Is -8/3 equal to u?
False
Let r be 13 + (-4 - -1) + -3. Is 34/5 greater than r?
False
Let k = 68.6 + -75. Let m = k - -6.11. Let z = m + 0.09. Which is bigger: z or 0.2?
0.2
Let t(b) = b**2 - 22*b - 62. Let k be t(25). Which is bigger: 15 or k?
15
Let u = 6.1 - 3.1. Which is smaller: u or -3?
-3
Let i = 349 + -10120/29. Suppose -4*a - 5*s = -2*s, -5*s = 0. Is a < i?
True
Let t = 91 - 94.9. Let i = 13 - 9. Let v = t + i. Are v and 0.1 nonequal?
False
Let z be -2 + 1 + (-2 - 1). Let k = 11 - 16. Is z at least as big as k?
True
Let j = -3 - 2. Let l = j + 8. Let s = 2 + 0. Which is greater: l or s?
l
Let w = -5 + 1. Let u = w + 6. Suppose 3*s = u*b, 4*s + 5*b = s. Do s and -1 have different values?
True
Suppose -5*u = -14 + 4. Let x = u + -2. Suppose -5*c = -b + 2*b, x = 3*b + 5*c. Which is smaller: b or 2?
b
Suppose 0 = 2*l - 6 - 4. Suppose 0 = 3*j + 2*x + x, -2*j - l = -3*x. Which is smaller: j or -0.6?
j
Let b = 5 - 10. Let i = -7 - b. Let g be ((-6)/(-72)*-2)/((-2)/(-8)). Is g at least i?
True
Let i = -39 - -38.77. Is i <= -0.1?
True
Let d = 17 - 14. Suppose d*b + 0 = -3. Is -2/23 < b?
False
Suppose -5*j + 40 = -0*j. Let f be ((-6)/j)/(0 - -3). Let b(d) = -d + 7. Let p be b(7). Which is greater: p or f?
p
Let y = -499 + 498. Let i = 5 + -8. Is y != i?
True
Let a(u) be the first derivative of -u**4/4 - 4*u**3/3 - 2*u**2 - 4*u - 1. Suppose 4 = h, 5*h - 7 = -3*f + h. Let k be a(f). Is k >= -1/4?
False
Suppose -11*o = -15*o - 28. Is -6 not equal to o?
True
Let b be (-30)/14*(-23)/(-138). Do -1 and b have the same value?
False
Suppose 5*p - 4*g - 16 - 11 = 0, -5*p - g = -12. Suppose 2*h = p*b - 13 - 3, b - h = 7. Which is smaller: 1 or b?
1
Let p = -17/24 + 11/8. Let s be -1*12*1/(-2). Let z be s*(-2)/6*-1. Which is smaller: p or z?
p
Let a be ((-36)/(-2) - -1)*-1. Let m be -2 - 1 - a/7. Are 1 and m equal?
False
Let z(y) = 2*y**3 - 1. Let l be 5/5*(0 + 1). Let x be -3*1/(-3)*l. Let m be z(x). Which is smaller: 3/5 or m?
3/5
Suppose 3*l + 6 = 3*y - y, -5*y = -5*l - 15. Suppose -26 + 16 = 5*r. Is l at least as big as r?
True
Suppose -5*h = 5*w - 5, -9 = -5*h - w - 0. Is h at most 2?
True
Let t be ((-1)/(-6))/(48/72). Is -7 <= t?
True
Let x be 62/(-7) - -3 - 2/2. Which is smaller: -6 or x?
x
Suppose 5 = 7*q - 2*q. Which is smaller: -2/7 or q?
-2/7
Let s = -23 + 137/6. Which is bigger: s or -1?
s
Suppose -u + k = 3*u - 35, -2*u = -3*k - 25. Are 8 and u equal?
True
Let r(o) = 1 - 10*o**2 + 11*o**2 - 1. Let h be r(1). Is 1 less than or equal to h?
True
Let l = 2 + -6. Let p(y) = -y**2 - 2*y + 4. Let h be p(l). Let q(n) = -n**3 + 4*n**2 - 3. Let a be q(4). Is h at least a?
False
Let t = 0.3 - 0.3. Let o = 0.2 - 0.1. Let h = o - t. Which is bigger: h or -1/6?
h
Suppose 2*t - 5 = 5*f, 3 = 2*f + 5. Let o = -142/55 + 12/5. Which is smaller: o or t?
o
Let z be 3/((-5)/(10/(-3))). Suppose -i = g + 1, 0 = 3*g - 2*g - z. Let s = -4 - i. Is s bigger than -5/3?
True
Let x = -0.25 - -0.05. Which is smaller: x or -2?
-2
Let u(w) = w - 14. Let a be u(13). Which is smaller: a or 1/50?
a
Let s be 3/(166/40 - 4). Let n = s + -18. Let c = 4 - 3. Which is bigger: c or n?
n
Let a = -1.1 + -0.9. Let y = 0.99 - 1. Let z = 0.09 - y. Is a greater than z?
False
Let h = -5/3 + 34/21. Is h at most as big as 1?
True
Let s = -8/7 - -31/21. Which is bigger: -10 or s?
s
Let y be (-47)/(-7) - (-8)/28. Let w be (-2 - 0)*1/y. Are -1 and w equal?
False
Let b be (-129)/(-4)*(-1 - 3). Let f = b - -1163/9. Is 0 less than or equal to f?
True
Let o = 0.2 + -0.7. Let q be (2 - 5)*32/6. Let r be (9/12)/(18/q). Are r and o equal?
False
Let w = -2 + 3. Let l = -45/1958 - 2/89. Which is smaller: w or l?
l
Let c = -10 - -6. Is -5 smaller than c?
True
Let t be (2 + -1)/(3/123). Let b = 122/3 - t. Which is smaller: 1 or b?
b
Let u be 1/(1 - 0 - 0). Let g be (-4)/(-2) + u/(-2). Which is bigger: g or 2?
2
Suppose 2 = -3*i + 11. Suppose 0 = -i*j + 4 + 5. Are 3 and j unequal?
False
Suppose 2*l + 4*p = -2*l + 60, 5*p = -4*l + 60. Do l and 14 have different values?
True
Suppose 2*z = -4*r + 5 - 23, 5*r = -z - 21. Is 1/11 at least z?
True
Suppose -9 - 7 = -4*n. Suppose -p + 3*q = -q - 2, n*q + 6 = -p. Is -2 less than or equal to p?
True
Let l be (-3)/(-21) - 67/77. Is l greater than or equal to -2?
True
Suppose -3 + 1 = -h. Are 2 and h equal?
True
Let l be (-10)/15 + 4/(-3). Let w be (-2)/(-5) + (-8)/20. Let m = w - 0. Is l greater than m?
False
Let z(x) = 9*x + 46. Let b be z(-11). Is b >= -54?
True
Let o be 18/3 - 2/1. Suppose o*s + 8 = 2*m, -4*s = m + 17 - 3. Let t = -2 + 0. Is t not equal to s?
True
Let o = -4 - -10. Let j be 2*((-3)/o - 0). Let z = 115/6 + -19. Which is smaller: j or z?
j
Let v be ((-1)/2)/((-6)/(-16)). Suppose 3*j + 0*x = -2*x - 10, 12 = -2*j - 4*x. Is v at least j?
True
Let i = 399.21 + -402. Let t = i - 0.21. Which is smaller: t or 0.3?
t
Suppose 2*z = z - 4*a - 21, -5*z - 15 = 2*a. Let v(o) = o**3 + 7*o**2 + o + 4. Let w be v(-7). Is w > z?
False
Let q be (2/(-24))/(27/72). Is q less than or equal to -1/4?
False
Let m = 35638/81 + -440. Is m greater than -1?
True
Suppose -2*i + 12 = 2*i. Suppose 3*m + i = 6*m. Is m at least as big as 2?
False
Let n(p) = p**3 - 6*p**2 + 6*p - 2. Let v be n(5). Suppose -u = i - 3, -3*u = -4*i + v - 5. Is i at most as big as -3?
False
Let y(z) = -2*z + 1. Let r be y(1). Let o be 40*(11/(-5) - r). Let s be (o/18)/((-2)/3). Does -0.1 = s?
False
Let z = -2 - -3. Suppose -4*m - 212 = 4*j - 8*j, 3*j + m - 163 = 0. Let c be (7 - 1)*12/j. Is z bigger than c?
False
Let b = 810 + -85052/105. Which is greater: b or 1?