2/4. Let q(n) = -9*n - 6. Let w(f) = 4*f + 3. Let u(y) = -3*q(y) - 7*w(y). Let c be u(-4). Do d and c have the same value?
False
Let f be (1/53)/(3 - 2). Which is bigger: 0 or f?
f
Let x be (-2)/(2 + 0 + 5). Let p(m) = 2*m**2 - 1. Let g(n) = n**3 + 6*n**2 + 5*n - 1. Let c be g(-5). Let t be p(c). Which is greater: x or t?
t
Let m = 11/3 + -23/6. Let v = 0 + 0. Is v greater than or equal to m?
True
Let r be (-44)/108*-3 - 0. Let n = r + -5/9. Which is greater: -5 or n?
n
Suppose -3*z - 5*j = 12, -4*z + j - 2*j + 1 = 0. Let l = 1251/890 - 1/178. Is l less than z?
False
Suppose 0*c = -4*c - 8. Is c at most as big as 0?
True
Let c = -4.89 + -0.11. Let x be (-380)/780 + (-2)/(-13). Which is smaller: x or c?
c
Let v = 1 - 1. Suppose -3*q + 6 = 2*q + 4*p, -4*p = -5*q + 14. Let i be (q/2)/((-1)/1). Which is smaller: v or i?
i
Let d be 6/(-30)*-1*5. Is 1/10 equal to d?
False
Let g be 3 + -2 + 22/(-8). Does 0 = g?
False
Let d be 2/(-4)*(-6 - -2) + -1. Is d at most as big as 5/8?
False
Let r(i) = 2*i**2 + 4*i + 1. Let b be r(-2). Does 1/25 = b?
False
Suppose -c + 4*a - 12 = 0, 2*c + 5*a = c + 24. Let h be (-11)/(-4) + (-11)/(-44). Which is greater: h or c?
c
Let a be 2 + 0 + (0 - 0). Let n(f) = -f**2 + 2*f. Let m be n(a). Is m smaller than -2/3?
False
Let h = -0.02 - 5.98. Let s = 10 + h. Which is bigger: 3 or s?
s
Let d = 28 + -15. Let b = -4 + 4. Suppose -4*h - 22 = k + k, 2*k - 3*h - d = b. Which is smaller: -2 or k?
-2
Let p = 318/11 + -4649/165. Let t = 1641916/1632015 + -2/326403. Let o = t - p. Are 1 and o equal?
False
Let l(a) = -2*a - 6. Let b be l(-5). Suppose -u + 5*o + 5 = 0, b*u = -o + 6*o - 10. Which is greater: u or -7/2?
-7/2
Let l = 6 - 5.6. Let m = l + -0.4. Let n = 61/3 - 21. Is n < m?
True
Let z be (-15)/2*(-2)/(-3). Let p be -1*(z/3)/5. Which is bigger: 0.2 or p?
p
Suppose 2*j + 6 = -3*y + 5*j, -5*y + 2 = j. Let d be (-1 + 1)*(y + 1). Which is smaller: d or -2?
-2
Let t = -3 - -2. Suppose y = -2*y - 3*i + 12, 6 = 4*y + 2*i. Is t greater than or equal to y?
True
Let t = -0.35 + 0.05. Let h = 0.4 + t. Which is greater: -2/5 or h?
h
Let z = -6 + 9. Suppose -3*u = -4*u + 4*f + 5, 3 = -z*f. Let g be 1*2 + (1 - 1). Which is greater: g or u?
g
Suppose -x + 9 = -5*z - 0*x, -4*z - 8 = -x. Let p = -7 - -4. Is z less than or equal to p?
False
Let j be 12/(-12)*(3 + -2). Is -2/43 >= j?
True
Let t be (-1 - (-44)/28)/(-2). Are 1 and t equal?
False
Let a = -20 + 21.1. Let s = a + -14.1. Which is greater: -1 or s?
-1
Let i = 225 - 317. Let k be (-364)/i + (-4 - 0). Which is smaller: k or -1?
-1
Let r = -1.6 - -0.6. Is r >= -2/3?
False
Let w = 5 + -2. Let j = -37/12 + w. Suppose 5*b = -2*a - 1, -18*b - 3*a - 8 = -17*b. Which is greater: j or b?
b
Let o = -8/9 - -2/3. Suppose 5*s = -5*u + 20, -12 = -4*s + 8*s - 3*u. Are s and o nonequal?
True
Let w = 23 - 23.22. Let x = w - 0.28. Which is greater: 2/5 or x?
2/5
Let m(t) = -2*t**2 + 2*t - 1. Let n be m(1). Let j = 13/168 - 1/168. Is j <= n?
False
Let a = 0 + 0. Let c = -4 - -2. Let v be c/(-10) + (-4)/10. Which is greater: v or a?
a
Let w be ((-9)/12)/(7/56). Let t(a) = -a**3 - 6*a**2 - 3*a - 15. Let j be t(w). Which is smaller: 4 or j?
j
Let p = 2692/19909 - -2/463. Which is bigger: p or 1?
1
Suppose 0*t + 56 = 4*t. Let f = t + -9. Suppose 12 = -2*b + f*c, b + 2*c - 1 = -2*b. Is -1/6 at most b?
False
Let j be 69/21 - 2/7. Suppose -4*a + 5*a = 4. Let v = a - j. Is 3/4 > v?
False
Let r be -1 - 0/(1 + 1). Let v = -283 - -5376/19. Is v greater than or equal to r?
True
Let d be 8/(-28) - (-30)/7. Suppose 5*r - d = 3*r, r - 5 = -3*z. Let i = 0 - -1. Is i at least as big as z?
True
Let g = -15 + 17. Let r be 0 - (0 + -2) - -1. Which is smaller: r or g?
g
Let q(c) = -5*c**3 - 2*c**2 - c. Let r be q(-1). Suppose 35 = 5*x + 5*a, 0 = -r*a + 8 + 12. Suppose f - x*f = -2. Is 2 less than f?
False
Suppose -30 = -n - 4*n. Suppose 5*i - 10 = 5*s + 3*i, 0 = -3*s - i - n. Is 0 less than s?
False
Let p be 4/5*5/2. Let l be (p/(-5))/((-4)/(-6)). Let t = 7 + -7. Which is smaller: l or t?
l
Suppose 0 = -3*b + 2*w + 9, 4*b - w - 12 = -0*w. Let v be 5*b/(-9) - -1. Is v at most as big as 1?
True
Suppose 0*c + 4 = -n + 4*c, -2*n - 5*c + 18 = 0. Suppose n*v - 5*v + 2 = 0. Suppose l + 6 = -v*l. Is -1 bigger than l?
True
Suppose 0*i + 2*g - 16 = -4*i, 0 = i - 5*g + 18. Let p = -18 + 12. Let y be i/p - 8/(-15). Are 2/5 and y nonequal?
True
Let h be 9*(-13 + 9 - 26/(-6)). Which is smaller: 7/4 or h?
7/4
Let j be (-1248)/130 + (-4)/10. Is j smaller than -10?
False
Let c = 2 + 3. Suppose -k + 8 = -c*t, k = -6*t + 4*t - 6. Let h be 1/2*6/(-3). Which is smaller: h or t?
t
Let m = 8496/13 + -654. Which is smaller: 0 or m?
m
Let w = 10 + -8. Suppose -5 - 4 = -3*x. Let g = x + -2. Is g smaller than w?
True
Let y = 39 + -48. Are -8 and y nonequal?
True
Let x be (-60)/70*(-4)/9. Which is smaller: 1 or x?
x
Let k = 123/10 + -54/5. Let c be (3 - -4 - 3) + -3. Suppose -5*b = r - 7, -4*b + 9*b - c = -3*r. Are k and b non-equal?
True
Let y = -2/753 + -6763/5271. Are -2 and y non-equal?
True
Let c(x) = -x**2 - x + 15. Let n be c(0). Suppose 2*k - 3*a - 3 = 0, -5*k + 3*k - a = -n. Does 5 = k?
False
Suppose 5 = 3*k - 4. Suppose -3*b + p + 0*p - 11 = 0, 3*p = 15. Let q = k + b. Which is bigger: 2 or q?
2
Suppose j = -4*b - 11, 8*j - 41 = 3*j + 4*b. Suppose -r = -0*w + 4*w - 14, w + 4 = -4*r. Which is smaller: j or w?
w
Let b = -9 + 8. Let q(v) = -v - 3. Let n be q(-3). Which is smaller: b or n?
b
Let u = -10 - -2. Let y be (-22)/u + (-2 - 1). Which is greater: 2 or y?
2
Let o(q) = -q**3 + 10*q**2 - 1. Let k be o(10). Is k at most 2/17?
True
Let c = 2 - 4. Let h(u) = u**3 + 4*u**2 + 2*u + 3. Let i be h(-2). Let w = i - 6. Which is bigger: w or c?
w
Let d = 118 + -353/3. Is d at most as big as 0?
False
Suppose 2*u - 4*p = -p + 5, p = 4*u - 5. Is u != 1?
False
Let u = 35 - 29. Suppose -8 - 38 = -5*c - 4*i, -i = 3*c - 22. Is c less than or equal to u?
True
Let q be 6 + 0 + -3 - 9. Let r be (q - (-2)/2)*-1. Which is smaller: 4 or r?
4
Let v(i) = i - 3. Let w be v(5). Is 1 less than or equal to w?
True
Let y = 12 - 12. Let t = -0.2 + 0.2. Let m = 1 - t. Does m = y?
False
Suppose 24 + 2 = -3*k - 5*v, -5*v = 2*k + 19. Suppose -31 = 2*o - 2*j - 11, 18 = -5*o - 3*j. Is k less than o?
True
Let o = 8/361 + -1594/39349. Is o > 0?
False
Suppose y + 2*y = 33. Let m = -5 + y. Let u = m - 7. Is -2 less than u?
True
Let i be 30/(-21) + (-16)/28. Which is smaller: i or 2?
i
Let w(q) be the third derivative of -q**4/8 - 7*q**3/2 + q**2. Let c be w(-7). Let u be (-6)/8 + 2 + -1. Is c at most u?
True
Suppose 1 = c - 4. Suppose b + z = 6, c*b - 4*z - 39 = 9. Let j = b - 47/6. Is 1 bigger than j?
True
Let s(o) = 335*o + 125. Let d(x) = 24*x + 9. Let y(p) = -55*d(p) + 4*s(p). Let c be y(4). Let w be c/(-25) - -1*3. Is 0.04 less than w?
False
Let z be (8/(-6))/(2/(-6)). Suppose -2*f - z = -f. Let u = 5 + f. Which is smaller: u or 0?
0
Suppose 6*w = -2*w + 5*w. Is 1/14 >= w?
True
Let y = 1.3 - 0.77. Let s = -0.51 - y. Let b = s - -0.04. Which is smaller: b or 0.2?
b
Let v be (-345)/10*2/3. Let z = v + 8. Is z at least as big as -15?
True
Let j = 12 + -21. Let s be (-2)/j - 95/225. Which is greater: s or 1?
1
Let n = -3 + 3.2. Let r = -3.9 + -0.1. Let f = r + 5. Is f < n?
False
Let m be 3 - (3*12 - 3). Let x be 1/(-2) + 35/m. Which is bigger: -1 or x?
-1
Let y(f) = -f - 5. Let j be y(-7). Let h = 0 + j. Let b be (-16)/7 + h/7. Is b not equal to 2?
True
Let s be (-2)/(-5) - 462/30. Let t be 1 - (1 + 9/s). Are t and 1 nonequal?
True
Let f = 0.41 + -0.4. Let n = 0.99 + f. Which is smaller: n or -1?
-1
Let z(a) = -6*a**2. Let b be z(4). Which is smaller: b or -95?
b
Let w(d) be the second derivative of -d**4/12 - 2*d**3/3 - d**2/2 - 3*d. Let a be w(-3). Which is smaller: a or -1?
-1
Let b(t) = -3*t**2 + 2*t - 3. Let m = 2 - 5. Let k(i) = 2*i**2 - i + 2. Let p(l) = m*b(l) - 4*k(l). Let r be p(1). Are r and 0 equal?
True
Let m be (4/(-6))/(4/(-6)). Let p be (4/(-3))/((-22)/4656). Let h = p + -282. Which is smaller: h or m?
h
Let r = 47 - 54. Which is greater: r or -11?
r
Let u(v) = -v - 2. Let g be u(-7). Suppose 9 = -4*w - 4*z + 1, g*w - 14 = z. Are w and 2 equal?
True
Let h be 9/3*4/3. Let l = 4 - h. Let w = -3 - -2. Which is bigger: l or w?
l
Let a(t) = t**3 - 5*t**2 + 4*t - 