(-3)/(-9)). Let g = -400/3 + x. Which is greater: 0 or g?
0
Let c(y) = -8*y + 8. Let d(b) = b - 1. Let n(f) = c(f) + 10*d(f). Let i be n(3). Is 10/3 smaller than i?
True
Let v be (-6)/(-4)*2*-1. Let c = 144 - 440/3. Is c < v?
False
Let n be ((-2)/(-4))/((-3)/24). Is -1 less than n?
False
Let j be -1*(0 - -1)*-1. Let p = -1 + 1. Suppose j = -5*n + 2*r, -r = 5*n - p*r - 8. Is n at most as big as -2/5?
False
Let l be (-144)/(-28) + -1 + -3 - 1. Let m = 1.91 - -0.09. Is l at least as big as m?
False
Let g be (-6)/(-70) + (-1)/(-5). Let t be 0 - 2*2/4. Let q be (t/3)/(2/(-12)). Which is bigger: g or q?
q
Let m(u) = u - 16. Let d be m(17). Suppose -2*z + d - 3 = 0. Which is smaller: z or -2/27?
z
Let c = -5 - -3. Let f be 1 + c*15/6. Let j = -5 - f. Is j at least 0?
False
Let b = 4.5 + -4.6. Which is smaller: -37 or b?
-37
Let r = -62 - -74. Which is greater: 6 or r?
r
Let r = 9.6 - 10. Let p = r + 6.4. Which is bigger: p or 2/5?
p
Suppose -2 = -r - 3. Let c be r - (1 + 1 + 0). Let d be ((-1 + 1)/c)/1. Is d <= 0?
True
Let s = 1 + -1.1. Let j be 1 + (1 - (-16)/(-6)). Is j bigger than s?
False
Let a be (-798)/198 + 2/(-6). Let j = a - -129/22. Suppose -5*z - 21 = g + g, 18 = 4*g - 2*z. Which is bigger: j or g?
g
Let d(j) = -11*j**3 + j**2 - j - 1. Let b be d(-1). Suppose -k - 3*k = -b. Suppose -r - k = -s, -4*s + 0*s + 14 = -3*r. Is 2 <= r?
True
Let y be 3 + -5 + 5 + 2. Suppose -5*z - 9 = 3*r, -4*z - 3*r - 1 = y. Let t be 1/z + (-11)/3. Are -3 and t equal?
False
Let f = 74.06 - 72. Let r = -2 + f. Let y = r - 0.16. Is y at most 0.05?
True
Suppose -12 = -5*l + l. Suppose 1 = -p + l, d = -4*p + 4. Which is smaller: -5 or d?
-5
Let c = 3 - 3. Is c bigger than 0.02?
False
Let h = -24.991 - -25. Is 2 equal to h?
False
Let o = 9/8 + -61/40. Let j = 1.1 - -0.9. Which is smaller: j or o?
o
Let y(w) = 5*w**3 - 6*w**2 - 3*w + 1. Let d(s) = s**3 - s**2. Let f(v) = -4*d(v) + y(v). Let a be f(3). Which is smaller: 1/3 or a?
1/3
Let u(a) = a**2 - 4*a + 4. Let m be -3 + 2 + (-1 - -6). Let f be u(m). Suppose 3 = -p + f. Which is smaller: p or -1/5?
-1/5
Let j = 70.39 + -70. Let t = j + -0.09. Which is greater: t or -0.2?
t
Let s = 58.9 + -59. Is -1/3 greater than s?
False
Let w = 0.2 + 14.8. Let t = 6 - w. Let d = t + 7. Is -3 >= d?
False
Let a = -1 - -1. Let c be a - -1 - (8 - -2). Let w be (-10)/(-35) - c/(-7). Which is smaller: w or -2/13?
w
Let q be (2 + (-220)/105)*(-18)/4. Are 0 and q non-equal?
True
Let j = 3 - 4. Let w = -37/2 - -177/10. Which is bigger: j or w?
w
Let k = -0.015 - -0.215. Is k at most 10?
True
Let v(z) = 3*z + 4. Let n be (-87)/15 + (-2)/10. Let j be v(n). Let x be j/(-18)*2/7. Are 0 and x unequal?
True
Let j = 0.1 + -2.1. Let u be (6/(-12)*-2)/1. Is j <= u?
True
Let z(w) be the second derivative of w**4/3 - w**3/6 - w**2/2 - 5*w. Let d be z(-1). Which is smaller: d or -1?
-1
Let u be -1 - 3/((-24)/10). Let k(z) = -4*z - 3. Let w be k(-1). Which is smaller: u or w?
u
Let s(r) = -6*r - 90. Let o be s(-15). Let z = -713 + 34939/49. Which is bigger: o or z?
z
Suppose -7*p = 7*p. Is p greater than or equal to -2/291?
True
Suppose 1 = -j + 4. Suppose 9 = 4*u + j*d, -5*u - 4*d - 8 + 20 = 0. Is 4/5 >= u?
True
Suppose -x = -2*c + 7, -c + 5 = 1. Let l = -58 - -61. Which is smaller: l or x?
x
Suppose 4 = -2*p - 2*a, -2*p + 5*a - 30 = 3*p. Let b be (p/(-6))/2*3. Which is bigger: -2/27 or b?
b
Let g(x) = -x**3 + 10*x**2 - x + 14. Let b be g(10). Suppose -13*s + 9 = -56. Which is smaller: b or s?
b
Let s(i) = 3*i + 35. Let r be s(-5). Is r at least 20?
True
Let f = -1.07 - 0.03. Let k = -3.9 + f. Let q = k - -4.9. Is 0 < q?
False
Let r = 5 - 6. Let s = r - 2. Which is smaller: s or 0?
s
Suppose -2*y - 6 = y. Is -2 >= y?
True
Let t be 1 + -1 + (-6)/3. Suppose 5*x - 5 = -l - 2, -5*l + 15 = 3*x. Are x and t non-equal?
True
Suppose -4*g - 19 = w + 8, 0 = g + 4*w + 18. Is g at most as big as -4?
True
Let b be 5 - (2 + -1 + 1). Suppose b*p = -5 + 2. Let g = 3/76 + -167/380. Which is smaller: g or p?
p
Suppose -5*j + 22 = -3*t, 4*t + 20 = -0*j + 2*j. Let c = -1 + j. Let l be ((-33)/4)/3 - -3. Which is smaller: l or c?
l
Let s = 5363/119 - 1060/17. Let q = s - -17. Which is smaller: q or 1?
q
Let d = 172749/195092 + -10/2567. Let v = 12/19 - d. Is -1 greater than v?
False
Suppose -17 - 23 = -5*n + 5*y, -40 = -4*n - 4*y. Suppose 0 = -2*a - 3 + n, l + 1 = -a. Which is greater: l or 1?
1
Suppose 2*a - r = 7, 3*a + 0 = 3*r + 6. Which is smaller: a or 6?
a
Let j be 0 + (8 - -1*2). Suppose k = -k - j. Let m = 33 + -39. Which is bigger: k or m?
k
Let r = 5 - 3. Suppose 0 = 4*f - r*v + 2, -5*f - 3*v = 3 + 5. Let t = 0 - f. Is 1 at least as big as t?
True
Let d = -233/418041 + 5/4212. Let b = -139591/242964 - d. Let o = -6/17 - b. Is o at most as big as -1?
False
Let f(t) = 4*t**2 + 7 + t + t**2 + t**3 + 0*t. Let h be f(-5). Let d be -3*(h/3)/(-2). Is d at most 0?
False
Let x(q) = -q**3 + 2*q**2 + 3*q - 1. Let p be x(3). Suppose 2*s + 1 + 3 = 0. Let k be (0/(5 + s))/2. Which is bigger: p or k?
k
Let t = -6 - -8. Suppose j + 1 = t*j. Is 2 >= j?
True
Let p = 4 + -4. Let z = p + 0. Let o = z + 0.1. Is 0 not equal to o?
True
Let v(j) = -j. Let f(t) = t - 8. Let r be f(6). Let u be v(r). Which is bigger: u or -2?
u
Let q be -1 + -2 - 1176/(-364). Is q less than 0?
False
Let a = -14 - -20. Which is smaller: a or 8?
a
Let j = 1.9 - 1.8. Which is bigger: -0.06 or j?
j
Let v = -2 - -2.1. Let j = 0.6 + -0.7. Which is smaller: v or j?
j
Suppose n = -n. Let l(b) = -b**3 - 10*b**2 - 10*b - 3. Let i be l(-9). Let z(h) = -h + 8. Let d be z(i). Is n equal to d?
False
Let a = 1 - -1. Let h(p) = p**3 - p**2 - 2*p + 3. Let u be h(a). Suppose -f - 12 = u*f. Which is smaller: -2 or f?
f
Suppose 9*r - 36 = 63. Let b(i) = i**2 - 3*i - 8. Let d be b(6). Is d at most r?
True
Let d be (-4)/(-12) + (-3)/9*10. Is -4 equal to d?
False
Let h(n) = -n - 1. Suppose 2*f - 4 = -0. Let l be (0/1)/((-4)/f). Let m be h(l). Which is smaller: 1/3 or m?
m
Let y(k) = -3*k + 3 + k**2 - k - 1. Let f be y(3). Let v = -97/120 + 5/24. Which is smaller: f or v?
f
Suppose k + 10 = 5*q, 5*q = 3*k + 14 - 4. Is -2/11 less than or equal to k?
True
Let p(n) = 4*n**2 + 2*n + 2. Let y be p(-1). Suppose -2*q + 4 = 2. Let d(t) = 6*t**2 - 1. Let x be d(q). Which is smaller: x or y?
y
Let l(j) = -3*j**2 + 11*j - 3. Let x be l(5). Are -24 and x equal?
False
Let z be 3 + -3 - (99/(-93) + 1). Which is smaller: 1 or z?
z
Let o = 0.6 - 1. Let l = o - -0.3. Let i = -0.2 - -0.2. Do i and l have different values?
True
Suppose -r = -6*r + 10. Suppose -3*h - 3*i = r*i - 14, 4 = h + i. Let v be ((-1)/h)/((-1)/3). Which is smaller: 2/7 or v?
2/7
Suppose -5*g + 11 = -4. Suppose z = g*c + 16, 0*z - 5*z + 24 = -c. Which is smaller: 3 or z?
3
Let h(t) = t + 9. Let r be h(-7). Suppose 7*p - 8*p - r = 0. Is p equal to -4?
False
Let i be -1 - ((-764)/16 - -2). Let a = i + -45. Is 0.5 at least a?
True
Suppose -f - 2*d = -5*f - 12, -2*d = f + 8. Suppose 4*k - 22 = g - 0*k, -4 = -3*g - 2*k. Are g and f equal?
False
Suppose -2*p = -6*p. Let x = 193/78 - 30/13. Which is smaller: p or x?
p
Let u = 168 + -496/3. Let y = -2 - -5. Is u <= y?
True
Let n(k) = -k**3 + 8*k**2 - 8*k + 8. Let w be (-6)/(-9)*(-42)/(-4). Let o be n(w). Which is smaller: o or -3/7?
-3/7
Let v be (-4)/3*10/15. Which is smaller: -1 or v?
-1
Suppose -5*h + 0*h = 50. Let q = -9 - h. Which is bigger: q or -0.2?
q
Let n(i) = -i**3 - 3*i**2 + 2*i + 3. Let x be n(-3). Let j be (-1)/2 + x/(-12). Let c = 47/6 - 17/2. Is c at least as big as j?
False
Suppose i - 73 + 53 = 0. Which is bigger: i or 22?
22
Let k = 3466 + -20927/6. Let b = k - -22. Suppose -2*v - 5 = -7. Is b smaller than v?
True
Let d = 6 - 4. Let v = 5 + -3. Is d greater than or equal to v?
True
Let v(l) = -l**2 - 5*l + 8. Let b be v(-7). Let p = b + 2. Which is greater: -5 or p?
p
Suppose -33*u + 4 = -37*u. Which is smaller: u or 2/19?
u
Let w(b) = 3*b + 10 + 3*b - 7*b. Let a be w(9). Does 2 = a?
False
Let k = 376/7 - 54. Let o(s) = -s**3 + 5*s**2 - 3*s - 5. Let j be o(4). Which is bigger: j or k?
k
Let k be 6/(-21) - (-628)/(-154). Which is smaller: -3 or k?
k
Let m = -21 + 22. Which is bigger: -2 or m?
m
Let x be -1*(2 + 9/(-3)). Let v be 14/(-8) + (-1)/4. Let j = 0 - v. Is x > j?
False
Suppose 2*j - 7*j = -3*v - 16, 2*j 