h is bigger: w or 8?
8
Suppose 0 = 4*f - 5*h - 20 - 5, 0 = -5*f - 2*h - 10. Is f smaller than -7?
False
Suppose -3*b + 2*b = -2. Suppose 4*k - 8 = b*u - 0*k, -u + 5*k - 10 = 0. Suppose 8 = -4*p, -2*z + 0 = 3*p + 6. Is z not equal to u?
False
Suppose 3*n = -3*i + 24, -i - 4*n = -0*n - 23. Is 5/3 smaller than i?
True
Let p = 7 - 7.3. Do -10 and p have different values?
True
Let a(o) = -9*o**2 - 9*o - 13. Let d be (2 + 0)*(-18)/(-12). Let w(f) = -4*f**2 - 5*f - 7. Let k(s) = d*a(s) - 7*w(s). Let y be k(-7). Are 4 and y unequal?
True
Let h be 6/(-1 - (2 + -5)). Suppose -h*s + 12 = -6*s. Let n(t) = -t**3 - 4*t**2 - t - 4. Let c be n(s). Which is greater: 2/9 or c?
2/9
Let d be 2 - 35/7 - (-19)/7. Are d and -1 unequal?
True
Let g = 13 - 40. Let i = g - -19. Let b = i - -9. Do b and 0.1 have the same value?
False
Let w be (-18 - 2)/2*-1. Suppose 4 + 8 = 3*i - 3*v, 0 = -2*v - w. Is 2/9 less than or equal to i?
False
Let u(t) = t**2 + 8*t - 5. Let h be u(-7). Let g be 8/3 + h/18. Suppose -g*x = 3*x - 15. Is x at most as big as 2?
False
Suppose -3*f = -f - 2. Let d = 0 + -2. Let v be 2/4 - d/(-4). Is f bigger than v?
True
Let w be (30/18)/(1/(-3)). Let r be (-2)/w + 264/15. Which is bigger: r or 19?
19
Suppose -f - 18 = -0*f. Let d be f/42 + (-17)/(-7). Is 8/5 < d?
True
Suppose 4*i - 25 = 3*m + 7, -3*m + 5*i = 34. Let k be 4/14 + 65/(-7). Which is smaller: k or m?
k
Let j = -359/35 - -76/7. Which is smaller: 1 or j?
j
Let k = 5 - 3. Suppose -k = 2*m - 0. Let c = 2/443 - 1337/1772. Which is greater: c or m?
c
Suppose -3*x = -0*x - 9. Suppose -x*s - 3 = -0*s. Are s and -1 non-equal?
False
Let k(a) = -a - a**2 + a - 1 - a. Let g be k(0). Does -1/5 = g?
False
Let q be 20/6 + (-2)/(-6). Suppose -2*l + 17 = 5*p, -4*l - 35 = l - 3*p. Let t = q + l. Which is bigger: -2 or t?
t
Suppose r + 4 = 3. Which is greater: 1/3 or r?
1/3
Let i = 14 - 0. Are 12 and i unequal?
True
Suppose 7 = -2*h + h. Suppose 4*a = a + 2*u - 11, -2*a - u - 19 = 0. Let i = h - a. Is -1 >= i?
False
Let w(v) = v + 8. Let i be w(-7). Suppose -5*b + 24 = -i. Suppose -2*p = 4*x - 4, -2*p = -4*x + 16 + 4. Is b != x?
True
Let o = 2 - 0. Let c = o + -1. Let y be c/(-1) + -3 + 2. Are y and 0 nonequal?
True
Let l = 54 + -46. Do -4 and l have the same value?
False
Let i = 24.1 + -24. Are i and -0.11 nonequal?
True
Let j(g) = g**2 + 4*g - 8. Let q be j(-6). Is 4 >= q?
True
Let x = -87.5 + 94.52. Let p = -0.02 + x. Let o = p - 8. Do 3/5 and o have different values?
True
Let p = -6 + 5.9. Suppose 2*x - 6 = -3*v, -3*x = 5*v - 15 + 5. Which is greater: p or x?
x
Suppose 5*s - 354 = 11*s. Is -60 bigger than s?
False
Let y be ((-4)/6)/(184/24). Which is smaller: 1 or y?
y
Let x = 2 - 5. Let y = x + 2. Let r = 0.7 + 0.3. Which is greater: r or y?
r
Suppose 0 = 4*l - 20, 0*a - 5*a = -5*l. Suppose -4*q + 0*n = -2*n - 12, a*n = 5*q - 15. Do 3 and q have different values?
False
Let b = 0.06 - 0. Which is smaller: 1 or b?
b
Suppose 15 = 9*t - 6*t, 3*g - 25 = -5*t. Which is smaller: g or -2/125?
-2/125
Let r = 3 + -5. Let f be -2 + 2 - (r - -2). Let j(z) = 2*z**3 - z. Let c be j(-1). Is c greater than f?
False
Let x = 26.5 - 26. Which is smaller: x or 1/9?
1/9
Suppose -j - 4*b = -8, 3*j + 9 = 4*b + 1. Which is smaller: 1/59 or j?
j
Let w(a) = 8*a + 12. Let u be w(-3). Are -10 and u unequal?
True
Suppose -16*c + 45 = -5*v - 19*c, -2*c + 27 = -3*v. Let j be ((-10)/(-2))/(1/(-2)). Which is smaller: j or v?
j
Let i = -16 - -15. Let a be 3 - 1/(7/27). Is a not equal to i?
True
Let i(c) = -c**3 - 3*c**2 - 2*c. Let j be i(-2). Is j equal to -2?
False
Let l be 6 + 2/(-1) - 3. Suppose l = 5*t + 6. Which is greater: t or 2/5?
2/5
Let y = -7 + 4. Let s(q) = q**3 + 4*q**2 + 3*q + 2. Let x be s(y). Suppose -f = 5*d + 8, -x*d + 5 = 3*f + 16. Which is smaller: -1/6 or d?
d
Let v(c) = -c**2 - 6*c - 4. Let r be v(-4). Suppose 2*q = r*p - 22, -4*p + 2*q - 7*q + 1 = 0. Let i = 6 - p. Which is greater: 3 or i?
3
Let c = 29.4 + -26. Let h = 9 - 6. Let d = c - h. Which is smaller: 0 or d?
0
Suppose 6 = -3*v - 57. Let i = 11 + v. Let o be 2/(-9) + i/(-18). Is 0 greater than o?
False
Suppose -q - 3 = -7. Let l(f) = f**2 + 26*f + 27. Let h be l(-25). Which is smaller: q or h?
h
Let c be (-3 + 5/(150/86))*-20. Suppose -2*i + 4 = 0, -i + 10 = 4*r - 8. Does c = r?
False
Let c = -33/2 + 16. Is c at most 3?
True
Let t = -132 + 131. Which is smaller: t or 1/57?
t
Let i(q) = q**3 + 9*q**2 + 7*q - 7. Let p be i(-8). Suppose -2*h - p = -3. Which is greater: h or 1/7?
h
Let b = 0 - 0.5. Let j = -0.6 - b. Is j bigger than 0.1?
False
Suppose 2*f = 10 + 2. Let d = 8 - f. Let w be d + (-4)/2 + 3. Which is smaller: w or 4?
w
Let q be (-20)/3 - (-3)/(-9). Let z = -5 - 2. Are q and z nonequal?
False
Let c = -8512/23 + 370. Suppose -1 = -2*m + m. Is m at most c?
False
Let u = 7.621 + 0.079. Let q = -1.1 - 6.9. Let x = q + u. Which is smaller: -1/4 or x?
x
Let k be ((2 - 6) + 3)*-1. Let a = -1 + k. Which is smaller: a or -1?
-1
Suppose 0 = -7*f + 3*f - 5*w + 25, w = -3*f + 5. Let v(s) = -s. Let j be v(f). Which is bigger: -10/9 or j?
j
Suppose 8 = 2*x + 4*u, -x + 3*x - 3*u = 8. Suppose x*m - 19 = -v + 9, m - 2*v - 7 = 0. Suppose t - m = -4. Which is smaller: t or 2?
2
Let q = -0.3 - -0.2. Let i = q - -0.7. Let a = 1.6 - i. Is 4 greater than a?
True
Let t(j) = -j**2 + 3*j + 5. Let i be t(4). Let a be (0 - 3/6)/i. Which is bigger: a or 0.1?
0.1
Let f = 3 - 2.2. Let m = 1.1 - f. Let j = -0.2 + m. Is j greater than or equal to -1?
True
Let u = 8 - 0. Let p = -1 + u. Let d = p + -5. Is d at least as big as 0.3?
True
Let q = -121 + 122.7. Is -0.1 < q?
True
Let t = 1.3 - 14.3. Let h = t + 13.1. Let n be 2/5*(1 + -2). Is n >= h?
False
Let w(n) = -n**3 - 6*n**2 - n - 6. Let m be w(-6). Which is smaller: 4 or m?
m
Suppose -3*y + 3 = 3*q, 3*q - 8 = -q - 5*y. Is -1 bigger than q?
True
Let d(r) = r**2 - 3*r - 4. Let c be d(4). Let g be (10/4 + -3)*0. Let u = c - g. Which is smaller: u or -1?
-1
Let x = -0.7 - -0.3. Which is smaller: 0 or x?
x
Let g = -6 + 6.1. Are 0.06 and g non-equal?
True
Let t = -97 - -96. Which is greater: t or -18/11?
t
Suppose 6*a - a + 5*f + 345 = 0, 5*a + f + 333 = 0. Let h be a/(-14) - (-2)/7. Let l be 3 - h/((-75)/(-63)). Is l less than or equal to 0?
True
Let m be (103 + 12)*4/10. Which is greater: m or 45?
m
Let z(u) be the first derivative of u**3/3 - 4*u**2 + 4*u - 2. Let v be z(8). Suppose 0 = 4*p - v*o - 8, -o + 3*o = -2*p + 4. Is 1 >= p?
False
Suppose 4 + 0 = 2*a. Let z be -1 - (-48)/21 - a. Which is bigger: z or 0?
0
Suppose 0 = 3*j - 7*j - 4. Is -16/5 < j?
True
Suppose -4*l = 11 - 35. Let g(q) = -q**2 - 6*q - 4. Let s be g(-4). Suppose 5*n = s*n + 7. Is n > l?
True
Let q(h) = -h**2 + 3*h - 1. Let o be q(2). Let f = -12 - -17. Let n = -19/4 + f. Which is greater: n or o?
o
Let x = 0.29 + -0.3. Let j = -0.19 + x. Is j less than or equal to 1?
True
Suppose -5*q + 3 + 2 = 0, 5*q = 2*z - 3. Which is bigger: 3 or z?
z
Let h = -0.4 + -2.7. Let c = h - -1.2. Let a = c + 2. Is -1/5 greater than a?
False
Let h = -11 - -10. Which is greater: h or -5?
h
Let d be 18/99 - 9/(-11). Let x be d - (1 - 2/2). Are x and 0 unequal?
True
Let x = 24.9 + -26. Let b = 1 + x. Let m = -314 - -319. Are m and b equal?
False
Let b = 2/10815 - -94739/2163. Let v = 43 - b. Which is greater: v or -2?
v
Let h = -0.15 + 12.15. Let w = 20 - h. Let f = 2.11 - 2.21. Is f < w?
True
Let k = 1 + -2. Let l(p) = -p**3 - 4*p**2 - 2*p - 1. Let z be l(-4). Let f = -7 + z. Which is smaller: k or f?
k
Suppose l + 38 = 4*p, 2*l = -4*p + p + 34. Is p at most as big as 12?
True
Let t = 0 + 4. Suppose 4*k - 2*l - t = -l, k + 2*l - 1 = 0. Let h = -69.1 + 69. Which is bigger: k or h?
k
Let i = -15 + 17. Suppose -3 = -i*c - 1. Are c and 2/13 non-equal?
True
Let n(g) = 0*g**2 - 11*g - 7 + g**3 + 7*g**2 + g**2. Let c be n(-9). Do c and 11 have the same value?
True
Let s(l) = l**2 - 2*l - 5. Let c be s(4). Let a = c - 5. Let x be (a + -3)*4/(-210). Which is greater: x or -1?
x
Let q(c) = 3*c. Let s be q(-2). Let o be (-2)/s + (-39)/9. Which is smaller: o or -2?
o
Let m = -1 - -0.9. Let l = 0.1 + -0.1. Let w = l + m. Which is greater: 1 or w?
1
Let q(d) = -d**2 - 2*d - 3. Let p be q(-3). Let n be p/(-10) - (-16)/(-20). Which is smaller: n or -1?
-1
Let n be (8/32)/(6/16). Is 1 != n?
True