10 less than or equal to z?
True
Suppose 0 = x - 0 - 4. Suppose -15 = 5*d + x*h, 0*h + 4*h + 16 = -4*d. Suppose 4*i + 11 = -w - 10, 4*w - i = d. Is w at most as big as 0?
True
Let t = 4427/3 - 1522. Suppose -4*f + 5*x = -169, 0*f - 89 = -2*f + x. Let n = t + f. Do -0.1 and n have different values?
True
Let c = -97 - -97. Is -4 less than c?
True
Let p(n) = 2 + 1 + 2 + n - n**3. Let l be p(0). Is l not equal to 6?
True
Suppose -3*i + 0*g = 4*g + 16, 4*i + 3*g + 12 = 0. Is i greater than 0?
False
Suppose -2*a = -7 - 3. Let i be 3 - ((-80)/(-6))/a. Let g = 15/2 - 7. Is g at most as big as i?
False
Suppose 0 = -i - 2*i. Let v be i + (-5 - 1)/(-3). Is v < 1?
False
Let s(b) = b**3 + 10*b**2 + 8*b + 3. Let q be s(-9). Let z = q + -6. Let c be (-2)/(-3)*z/26. Is c equal to 1?
False
Suppose l + 4 = -16. Do -20 and l have different values?
False
Let y be 556/12 - 8/(-12). Is y > 48?
False
Suppose -16 - 29 = -3*h. Let o = -11 + h. Suppose -o = -3*y + 8. Is y greater than 3?
True
Let u = 6.02 - 6. Let y = -0.02 + u. Is -6 <= y?
True
Let b(x) = 0*x - 8 + 10 - x. Let v be b(3). Which is bigger: v or 1/3?
1/3
Let l = -7 - -11. Let v be (l/6)/(12/(-18)). Which is smaller: v or 2/19?
v
Let k = 2.197 + 0.003. Is 1/2 greater than or equal to k?
False
Let u = 4 - 8. Let m be (-2)/8 + u/(-16). Let y = 0.5 - 2.5. Is y bigger than m?
False
Let i = -69 + 482/7. Suppose -2*q - 8 = -6. Are i and q unequal?
True
Suppose k + 4 = 3*k. Suppose -3*m = k*m. Are m and 1/2 equal?
False
Let f be (0 - (-1 - 0)) + -16. Let l = f + 18. Which is greater: 2 or l?
l
Let i be 1/11*(0 - -6). Suppose 0 = -2*y + g + 3*g - 16, -4 = 2*y - g. Is i < y?
False
Let q = -7 + 6. Let s be 2/6 - (-2156)/18. Let d = s + -359/3. Which is smaller: d or q?
q
Let r be (0 - 1) + (-70)/(-66). Is r at most as big as 1?
True
Let u(z) = 7*z + 25. Let d be u(-4). Let a(l) = -l**3 + 2*l**2 + 2*l - 2. Let n be a(2). Let g = n - 5. Is g at least d?
True
Let m(l) = -l**2 + l - 2. Let w be m(3). Let o be (-4)/w*(3 + -1). Which is smaller: 2/21 or o?
2/21
Let c = -10.4 + 10. Is -0.2 < c?
False
Suppose 5*b - 14 = -f + 3*b, 3*b = 3*f + 3. Let k be f/(-6)*(1 - -2). Let u be 1/(-1) + (0 - k). Which is bigger: 3 or u?
3
Suppose -3*v = 2*v + 5. Is v bigger than 2/33?
False
Let k = 0.2 + -0.2. Let m = k + 0.3. Let u = -0.1 + m. Is -1/4 smaller than u?
True
Let j = 3.173 - 0.153. Let y = j - 0.02. Let o = 2.9 - y. Which is bigger: -1 or o?
o
Let l = 0 + 2. Suppose -j - 22 = -3*b - 3*j, 0 = 3*b + 3*j - 27. Suppose -b*s + 6 = -2. Is l > s?
False
Let m(p) = 2*p**3 - p**2 + 2*p - 1. Let y be m(1). Let o = y - 2. Is o not equal to -1?
True
Let u be (6/12)/(1/(-4)). Let b(f) = -f**3 + 3*f + 2. Let z be b(u). Let p = z + 0. Is p greater than 4?
False
Let p be (2/6)/((60 - -2)/(-2)). Which is smaller: p or 0?
p
Let w = -0.3 - 0.9. Let t = w - -0.8. Which is smaller: -1 or t?
-1
Let w = 1 + 1. Suppose -w*u + a - 3*a = 0, 16 = -3*u + 5*a. Let z be u - 6/3*-1. Which is bigger: z or -3/4?
z
Let u be 2/3 - 112/186. Suppose -5*t + 5 = -2*h, 0 = 2*t + 3*t + 4*h - 5. Which is greater: t or u?
t
Let q = -21 + 26. Which is smaller: q or 4?
4
Let x = -10 - -1.2. Let j = 9 + x. Which is greater: 1 or j?
1
Let v = 11 + -8. Suppose -2*o = -3*f - 1, 3 = -o + 3*f + 2*f. Which is smaller: v or o?
o
Let b = 56 + -57. Is 6 equal to b?
False
Let u(r) = -r**3 - 7*r**2 - 6*r + 3. Let n be u(-6). Let l(g) = 3*g**2 + 3*g - 2*g**3 + n*g**3 + g**2. Let w be l(-2). Which is smaller: w or 3?
w
Suppose -4*q = 107 - 19. Let p be 4/q - 113/44. Which is smaller: -2 or p?
p
Let b = -22 - -19. Let v be (b/(-4))/(180/96). Let s be (-1 + 1)*(-2)/(-4). Is s less than v?
True
Let q = -35/2 + 18. Is 0 greater than q?
False
Let w = 8 + -8. Let n be (w - 0)/(-3 - -1). Which is greater: n or 6?
6
Let x be (42/35)/((-6)/(-20)). Let n be (-4 + x)/(-3) + 0. Let v = 25/6 - 4. Which is bigger: n or v?
v
Suppose u + 7 = -5*j, -5*j + 5*u = u - 3. Let n = 2 + j. Is n >= 2/11?
True
Let i be 4 - -1 - (1 - 1). Suppose -47 = i*b + 2*q, -4*b + 4*q - 35 = 3*q. Let u be 24/b*-1 + -2. Which is smaller: 1 or u?
u
Let i = -30 - -30.1. Let m(n) = n**2 + 7*n + 1. Let w be m(-7). Is i less than or equal to w?
True
Suppose -q + 4*q = -3*n + 21, 5*n - 4*q - 44 = 0. Suppose 4*c = n*c. Suppose -3*s = m + 11, -s - 1 = 3*m - 0. Which is smaller: c or m?
c
Let c(p) = p**3 + 5*p**2 - 7*p - 7. Let z be c(-6). Is z equal to -1/6?
False
Let t = -1157/11 + 105. Is 0 at least as big as t?
True
Let o be ((-4)/2)/(-1) + -2. Suppose 2*w = 5*w - 3. Which is greater: w or o?
w
Let j be (9/164)/(6/20*5). Which is greater: 0 or j?
j
Let m = -0.73 + -0.17. Let v = -1 - m. Let n = -0.03 + 0.33. Which is greater: v or n?
n
Let k = -58/3 + 19. Which is bigger: k or -1.1?
k
Let f = 0 + 0. Let y = 2 - 2.2. Is f less than y?
False
Let p = 1.8 + -2.8. Let l(a) = a**3 + a**2 + a + 1. Let w be l(0). Let k be -2*(-2)/44*w. Which is smaller: k or p?
p
Let v be -2 - 0 - -3*1. Let z be (-5 - -4)/(1/(-3)). Let q be z - (-2 + (v - -2)). Is q greater than or equal to 2?
True
Let s(h) = h**3 - 3*h**2 - h - 17. Let w be s(4). Let y = 24 - 47/2. Which is smaller: w or y?
w
Suppose 5*z = 16 - 6. Let g be -3 + 4 + -2 + z. Let d(w) = -3*w**3 + w**2 - w + 1. Let q be d(g). Which is smaller: -2/3 or q?
q
Let q be 20/8*(-8)/(-10). Suppose -q*z - 4 = 0, o - 3*o - 5*z - 14 = 0. Let s = 1 + o. Which is bigger: -2 or s?
s
Let d(c) = -c + 18. Let m be d(10). Which is smaller: m or 7?
7
Suppose 2*q - 10 = 2*f, 2 = -q - 5*f + 1. Let y = 11 + -6. Suppose 3*w - q*u = 4, 2*w - 2*u = 3*u + y. Which is smaller: 3/5 or w?
w
Suppose 0*p + 3*p = -42. Let o be 4/p*14/(-18). Let q be (-8)/12*6/4. Is o less than q?
False
Let z be (-7408)/(-4896) - (2/4 - -1). Which is greater: 0 or z?
z
Let s = 178.89 + -180. Let f = 0.11 + s. Which is smaller: -2 or f?
-2
Suppose 3*k + 5*b + 25 = 0, k + 3*k - 4*b = -44. Let g be (-6)/60 + 4/k. Which is bigger: g or 0.2?
0.2
Suppose -3*a = 4*l - 8*l - 18, 4*a + 4*l - 24 = 0. Suppose 4*t = a*t + 6. Is -4 greater than t?
False
Let d be 2*(-3)/9 - 2. Let f(a) = -a**3 - 1. Let v be f(-1). Suppose 4*l - 9 = 3*c, v*c - 9 = 3*c - 3*l. Do c and d have the same value?
False
Let l be 3/(-12)*32/6. Let c = -4 + 2. Which is smaller: c or l?
c
Suppose 5*b = 4*b - 4. Are b and 17 equal?
False
Let r = 0.5 - -3.5. Let n = r + -3.8. Let g = 0 + -0.1. Is n at most as big as g?
False
Let r(h) = h - 10. Let f = 27 + -17. Let m be r(f). Is 3/10 at most m?
False
Let i be 1/(-18) + (-2)/4. Is 0 greater than i?
True
Let a = 23 + -22. Let m be (-1)/(-6) + a/(-6). Is -5 less than m?
True
Let z be ((-8)/3)/(2/(-3)). Let m = -7 - -5. Let t be (m + 2)*(-2)/z. Is t less than or equal to -1?
False
Suppose -5*b = 0, -3*t - 5*b + 8 = -55. Which is smaller: t or 19?
19
Suppose -4*n - 3*f = 0, -3*n - f - 8 = n. Let b be (n/4)/((-204)/96). Which is smaller: 1 or b?
b
Let a = 3.7 - 3.4. Is a at least 0.14?
True
Let j = 1.9 + -0.9. Which is bigger: 3/11 or j?
j
Let o be 0 - ((-15)/6 + 2). Let c be 3/(-4)*(-6)/(-54)*3. Which is bigger: c or o?
o
Suppose -2*j + 0*l - 2*l = 2, 0 = 4*j - 2*l + 4. Do j and 1/8 have the same value?
False
Suppose -j - 5 = -17. Suppose r + j = -r. Is -5 != r?
True
Let b = -737 - -46430/63. Is b less than or equal to -1?
False
Let o = 0 + 3. Suppose -v + o = -2. Is v != 4?
True
Let g be 3 - 4*(-1)/2. Suppose -p - 13 = 2*f, 0 = 3*p - 5*p - g*f - 28. Is -10 bigger than p?
False
Let d = 62 + -61. Let t = 2207/6 - 367. Is d less than t?
False
Suppose -20 = -2*n - 2*i, n = 3*n + 5*i - 32. Suppose -4*r - 2 = -2*x + 2, 5 = 5*r. Suppose x*g = 5*h - 6, 4*g = -h + 3*g - n. Is -3 less than h?
True
Let z(l) = -2*l - 5. Let a be z(-4). Let s be (2 + 3)/(1 + 0). Let k = s + -3. Is k at least a?
False
Let m be (3 - 0 - 1) + -4. Let s be (-1)/1*(-6)/(-1). Let o(i) = i**2 + 7*i + 6. Let t be o(s). Which is smaller: t or m?
m
Let x = 2 + 0. Suppose -k - k - x = 0. Which is greater: -1/4 or k?
-1/4
Let f = -137 + 138. Is f at least as big as -81?
True
Let i = -0.9 + 9.9. Let w = 6 - i. Do -2/7 and w have different values?
True
Let w = -39 - -197/5. Is 2 >= w?
True
Let k = -0.3 + 0.29. Let l = 1.967 - -0.043. Let o = l + k. Which is greater: o or -2/7?
o
Let g = 0.358 - 0.058. Let h = -9/2 - -25/6. Which is bigger: h or g?
g
Let k be 77/70 + (-3)/5.