-3?
False
Let o = 53/3 - 17. Which is smaller: 12 or o?
o
Let y be (-13)/(91/8)*1/2. Do -2 and y have the same value?
False
Let g = -4 + 1. Let h(c) = 2*c + 2. Let x be h(-2). Let t = 3 + x. Are t and g non-equal?
True
Let u(t) be the second derivative of -t**5/20 - 3*t**4/4 + 2*t**3 + 7*t**2/2 - 3*t. Let z be u(-10). Which is greater: z or -14?
z
Suppose 5*u + 20 = -i - 4*i, 0 = -u + 2*i + 11. Suppose 2*z = -5 + 3. Which is smaller: u or z?
z
Let p be -2 - (-130)/(-4) - (-10)/(-20). Do -34 and p have the same value?
False
Let a be (2 - 2)/(-2 + -1). Suppose 3*l + 0*l + 18 = a. Which is smaller: l or -7?
-7
Let q = -1 + 1. Suppose 0 = 2*t - q - 2. Suppose -3*f - 4 = -s, -2*s + 8 = -5*f + f. Which is bigger: f or t?
t
Let q = -0.06 + -0.34. Let g = -2.6 - -3. Let o = g + q. Is o < -2/3?
False
Suppose 6 = 5*l + h - 4, 3*l - 4*h = -17. Let o be (0 + l)*(0 - -5). Is 3 less than o?
True
Let z(n) = 3*n**2 - n. Let r be z(-1). Let d = r + -5. Let x = d - -4. Which is smaller: 2 or x?
2
Let v(c) be the first derivative of -c**3/3 - 3*c**2 - 5*c + 1. Let f be v(-6). Are -4 and f non-equal?
True
Suppose 9 = -5*b + 4. Which is bigger: -2/31 or b?
-2/31
Suppose -5*d - 3*f - 83 + 1 = 0, -2*d = -3*f + 16. Let w = d - -14. Which is greater: w or 3?
3
Let a = 0.2 - -0.8. Let x = 248/63 - 26/7. Which is greater: a or x?
a
Let p(f) = 3*f + 6. Let a be p(-4). Suppose -3*n = t - 49 - 0, -5*t = 2*n - 11. Let o = 13 - n. Which is smaller: a or o?
a
Suppose -6*u + 5 = -u. Which is smaller: u or 3/8?
3/8
Let c = 19.9 + -19. Let y = -1 + c. Which is smaller: 4 or y?
y
Let a = 19 + -18. Is 0 greater than or equal to a?
False
Suppose -5*x = 4*z - 3*x - 16, 5*z = -5*x + 20. Let a = -7 + z. Let h be (3*a/(-9))/(-5). Do 0.1 and h have the same value?
False
Let c(p) = -p**3 - 11*p**2 - 2*p - 16. Let i be c(-11). Which is bigger: i or 4?
i
Let l = 148 + -155. Which is smaller: -3/17 or l?
l
Let a(m) = -m - 20. Let o be a(-20). Is 0 not equal to o?
False
Suppose 0 = -4*a - 1 - 3. Let z = 2 + a. Suppose p + 0 = -z. Which is bigger: 0.2 or p?
0.2
Suppose 3*w + 11 = l, 3*w + 1 + 0 = -l. Let x = -22 - -10. Let j be (16/x)/((-5)/(-3)). Which is bigger: j or w?
j
Let h be ((-63)/(-27))/((-10)/(-6)). Let s = -7 + 8. Is h at least as big as s?
True
Let o(t) = t**2 - 12*t - 9. Let k be o(12). Let r be (-123)/k - 1/(-3). Is r at most 15?
True
Let h = -10 - -24. Let p be 4/h - (-2)/(-7). Let o be (2 + -2)/(1 - p). Is o not equal to 0?
False
Let w = 33 - -50. Let c be 6/27 + w/(-9). Let m be 1 + (3/c - 0). Which is bigger: 0 or m?
m
Let t be (-350)/(-60)*1/5. Which is smaller: t or 0?
0
Let v = 0.1 - 0.12. Let s = 16 - 16.1. Which is smaller: v or s?
s
Let a = 16 - 17. Does -1/22 = a?
False
Let l(m) = -2*m**3 - 5*m**2 + m + 4. Let h be l(-4). Let i be h/20*(-20)/6. Is i at least as big as -8?
True
Let a be 108/(-32) + 6/2. Is a at most 0?
True
Let v be (-1)/4 - 275/(-2). Let a(c) = 10*c**2 - 5*c - 2. Let o be a(4). Let l = v - o. Are l and -1 equal?
False
Let y = -1.6 + 2.1. Is y at most as big as 0.3?
False
Let x be 160/(-24) + 8 + (-34)/39. Which is bigger: 1 or x?
1
Let q = -53 + 15. Is q less than -37?
True
Suppose 0 = -2*u + 16 - 4. Let g be 8/78*3/u. Which is greater: g or 0?
g
Suppose -4 + 2 = -2*b. Let v = 8 - 5. Which is smaller: b or v?
b
Let y(j) = -j - 11. Let p be y(-6). Is p greater than or equal to -7?
True
Let i = -43 - -27. Let b = i - -16. Is b at most as big as 1/5?
True
Suppose 20 = i + 3*i. Which is smaller: 6 or i?
i
Let u = 0.033 + -0.083. Are u and -3/5 equal?
False
Suppose -3*s + 10 + 14 = 0. Is s >= 9?
False
Let w be ((-24)/10)/((-6)/(-20)). Which is smaller: -9 or w?
-9
Let n be (-3 + 1)*-1 - 0. Let p = 7 + -21. Let t be (0 + -1)/(7/p). Is t < n?
False
Let f = 1.3 - 2.3. Is -0.12 equal to f?
False
Let s be ((-1)/(-2))/((-5)/(-20)). Let q be ((-1)/6)/(7/(-28)). Is s < q?
False
Let w = 18 + -16. Is w at least 11?
False
Let k(u) = u**2 - 6*u - 4. Let m be k(7). Suppose 0 = y + 2*o + 2 + 1, -m*y - 7 = 5*o. Are y and -1 equal?
False
Let j be (-2)/(-8) - (-15)/(-12). Suppose 2*d + 2*r + 7 + 9 = 0, -5*d = -3*r + 24. Let q be ((-2)/5)/(d/(-9)). Which is smaller: j or q?
j
Let c(i) = i + 9. Let p be c(-6). Suppose -4*g - p = -o, -g + 4*o + 3 = 15. Is -2/11 less than or equal to g?
True
Suppose -2*u + 11 = 1. Let d = -3 + u. Which is greater: 1 or d?
d
Let d be 0/2 + (-6)/3. Suppose -2*z + 2 = -3*b, 4*z = z - 5*b - 16. Does d = z?
True
Let b be ((-16)/24)/((-2)/(-15)). Which is greater: -7 or b?
b
Let h = 1 - 2. Suppose 0*a - 4*a - 12 = 0. Let s be a*-2*(-3)/9. Are s and h equal?
False
Let a be (2/4)/(35/(-28)). Which is bigger: a or 0.06?
0.06
Let c(x) = x**3 - 9*x**2 + 7*x - 16. Let l be c(8). Is -22 greater than l?
True
Suppose -5*x = 5*g, 4*x + 5*g = 2*x - 15. Suppose -5*l + x*n = -3*l - 14, l + 5*n + 8 = 0. Is l less than or equal to 2?
True
Let h be (-6 - -3) + 3 - -5. Which is smaller: 6 or h?
h
Let k = 0.2 + -0.1. Let d = -188/495 - 2/99. Which is smaller: d or k?
d
Suppose 5*q = 39 - 14. Let i be ((-6)/(-3) + -1)*q. Let t = i + -8. Is t < -3?
False
Let r = 3 + 2. Suppose 4*b + 7 = d, -b = -3*d - 2*b - r. Is 0 smaller than d?
False
Let j(b) = b**2 - 3*b - 4. Let g be j(5). Which is greater: g or 5?
g
Let f(z) = z**3 - 8*z**2 + 6*z + 10. Let v be f(7). Let o = -3 + v. Suppose 1 = 3*w + 4. Do o and w have the same value?
False
Suppose -2*z + 3*z + 1 = 0. Is -2/11 at most as big as z?
False
Let q = -7.1 - -7. Let p be ((-6)/4)/((-9)/12). Is p less than q?
False
Let j = -0.17 - -9.17. Let w = -7 + j. Let o be ((-4)/70)/((-2)/10). Is w smaller than o?
False
Suppose 6 = -4*g + 2. Let v = 1 + g. Suppose v*i = 2*q + i - 10, q - 14 = -5*i. Is q < 4?
False
Suppose 0 = -3*h + 7 + 14. Which is greater: h or 5?
h
Suppose -4*a - k = 1, 5*a - k = 3*k - 17. Let x be (-2)/((-2)/a) - 2. Let g = 1 + x. Which is bigger: -3 or g?
g
Let p(n) = -n**3 + 2*n**2 + 4*n - 4. Let g(w) = w + 2. Let k be g(-4). Let i(m) = -2*m - 1. Let x be i(k). Let f be p(x). Which is greater: 2 or f?
2
Let k be (-1)/2 - (-66)/4. Suppose v - 3*v - 3*s + 8 = 0, -2*s = 4*v - k. Is 5 <= v?
False
Let y = 3.052 + -0.052. Is y <= 0.7?
False
Let j(h) = -6*h - 6. Let d be j(-3). Which is smaller: 13 or d?
d
Let m = -16 - -19. Let s be ((-4)/6)/((-8)/12). Is s smaller than m?
True
Let x = -1.22 + -0.08. Let f = 1.4 + x. Let c = 4 - 2. Does f = c?
False
Let b = 35.44 - 32.5. Let g = -0.06 - b. Let t = 5 + g. Which is bigger: -1 or t?
t
Suppose 0 = -4*l + 22 + 18. Suppose v + v + 2 = -4*b, b + 4*v = l. Let q be (-3)/b*8/18. Which is greater: 0 or q?
q
Suppose -2*l = 1 - 7. Suppose -3*g + k = 12, -2*g + l*g + 4 = -2*k. Let o be (-86)/30 - (-3)/15. Is g <= o?
True
Let d be (0 - 2/(-3))/2. Let p = -34 + 33. Is p greater than d?
False
Let k = 0 - 0.2. Let x = -2.9 - -4.8. Let o = 2 - x. Which is smaller: o or k?
k
Let k = -4 + 4. Let u(m) = -m - 2. Let l be u(k). Which is smaller: 1 or l?
l
Let a(b) = 2*b - 1. Let u be a(4). Let g be ((-4)/(-12))/(1/15). Suppose -g = -2*v + u*v. Is v equal to 0.1?
False
Let y be -3 - (5/((-20)/12) + -26). Is 23 less than or equal to y?
True
Let j = 5 + -7. Let p = j + -1. Let r = p - -3. Are r and 0 nonequal?
False
Suppose 1 + 2 = c. Is 3 <= c?
True
Let a = 645 + -3211/5. Which is smaller: 3 or a?
a
Let n = 13 - 25/2. Let u = 1.98 + 0.02. Let k = u + -1.8. Are n and k equal?
False
Let l = -5 + 6. Suppose -6 = 2*i + 3*f, -4*i + 4 = -0*i - 2*f. Is i at least as big as l?
False
Let x(p) = p**3 + 3*p**2 - 2*p. Let y be x(-4). Let s(n) = n**2 + 9*n + 10. Let i be s(y). Suppose 3*r + 3*f = -2*f + i, 4*r + 5 = f. Is -1 less than r?
False
Let x = 6 + -3. Suppose x = 4*b - 17. Suppose 13 = 4*q - 3. Which is smaller: q or b?
q
Let p = 30 + -26. Let v(b) = b**2 - 4*b - 1. Let f be v(p). Let g = -208 - -2290/11. Is g less than f?
False
Suppose -5*l - 4*l = 9. Is l != -1/4?
True
Let h(v) = -v**2 + 19*v - 73. Let q be h(14). Which is smaller: q or -4?
-4
Let k(s) = 4*s**3 - 6*s**2 - s - 3. Let w(a) = -3*a**3 + 5*a**2 + 2*a + 2. Let x(m) = 2*k(m) + 3*w(m). Let o be x(4). Is -2/3 greater than or equal to o?
False
Let h(x) = 2*x**2 - x - 1. Let i be h(-1). Suppose 17 = -3*d + 2*j, 0 = -2*d + i*j + 4 - 18. Which is smaller: d or 2?
d
Let k = -13 + 10. Is 0.1 >= k?
True
Let t(h) = -2*h - 5. Let m be t(5