+ 6*w - 4. Let s be r(c). Let b be (s/(-10))/(4/(-25)). Is b at most 4?
True
Let w be -2 + (1 - -2) + 1. Which is bigger: w or 8/9?
w
Let v = -15259/35 + 436. Let i = v + 171/140. Which is bigger: i or 0?
i
Let n(p) = p**2 + 5*p - 4. Let y be n(-4). Which is smaller: y or -7?
y
Suppose 5*z - 4 = -n + 6, 4*z = -n + 8. Suppose 17 = -3*a - 1. Is a less than z?
True
Let r be 45/6 + (-6)/4. Suppose 5*j + 23 = -4*l, -r = -0*j + 2*j. Let z = 1 - 2. Which is smaller: z or l?
l
Suppose -6*x - 3 = -3*x. Suppose 5*c + 5 = -5*o, 3*o - c + 3 = -0*o. Is o not equal to x?
False
Suppose 3*x - 5*x - 10 = v, 4*v + 4*x + 24 = 0. Is v at most as big as -18/7?
False
Suppose 23*o = 25*o. Suppose 0 = -4*m + 5 + 23. Let l = -4 + m. Which is smaller: o or l?
o
Let v = 6 - 6. Let d = 0 - v. Which is greater: 2/13 or d?
2/13
Let s = 2 + -2.1. Let n be (3 - 2) + (-63)/4. Let v = n + 15. Which is smaller: s or v?
s
Let z be ((-168)/(-7))/((-1)/(-1)). Suppose -3 - z = -3*x. Let b be (-2)/4 + x/6. Is 7/4 less than or equal to b?
False
Let g = -100/77 + 8/11. Let w(r) = r**2 + 7*r - 3. Let d be w(-7). Let c be ((-3)/(-3))/(d/6). Is g > c?
True
Let v be (-1)/4 - (-7571)/(-52). Let d = v - -146. Which is smaller: d or 0?
0
Suppose -1 = 14*l - 1. Which is smaller: l or 5/16?
l
Let v be (-2)/7 + (-330)/(-77). Let r be 0*(-2 - (-10)/v). Let w be ((-6)/2 + -1)/(-2). Are r and w unequal?
True
Let r = -50 - -49.8. Does r = -2/25?
False
Let d(w) = w**3 - 2*w**2 - 2*w - 1. Let k be d(3). Suppose 4*t + 15 = 3*f, k*t = t - 3. Let m be (-1 - f/(-1))/(-2). Which is greater: 1 or m?
1
Let j = 1 + 1. Let h be (-71)/88 - (-4)/22. Let z = h + 7/8. Which is greater: j or z?
j
Let y be (-1106)/36 - 2/(-9). Let g = 31 + y. Which is greater: g or 1?
1
Let c be ((4 - 4)/2)/3. Which is smaller: c or -1/10?
-1/10
Suppose 5*v + 10 = 10*v. Let b be (v - (4 - 3))/1. Which is smaller: 3/8 or b?
3/8
Let m = 25 + -45. Let v = -11 - m. Let t be (-6)/v + 12/9. Which is greater: t or 0?
t
Let v = 3/17 + -23/34. Let k = -2 + 2.4. Let f = 0 + k. Which is smaller: f or v?
v
Suppose 17*n + 264 = 13*n. Is -66 < n?
False
Let u(q) = -q + 5. Let y be u(8). Which is bigger: -5 or y?
y
Let h(v) = -2*v + 1 - 4 - 7. Let y be h(-9). Which is smaller: 10 or y?
y
Let k(i) = -i**2 + i - 1. Suppose f - 1 = 1. Let x be k(f). Let l(z) = z. Let w be l(-2). Which is greater: w or x?
w
Let t(p) = p**3 - 6*p**2 - p + 1. Let b be t(6). Let m be ((-2)/b)/((-12)/(-10)). Let a(r) = -r**3 + 16*r**2 - 16*r + 16. Let f be a(15). Is f bigger than m?
True
Let o(x) = -x + 12. Let u(k) = -k + 11. Let c(b) = -4*o(b) + 5*u(b). Let s be c(6). Suppose s = -j + p + 8, 2*j + 4*p + 16 = 0. Which is bigger: 2/3 or j?
j
Let h = 33 + -25. Do h and 15/2 have different values?
True
Let h be -2*(-2 - -1)*1. Let k = 78 + -78. Is k less than h?
True
Let y be (-70)/(-4) + 1 - 1/(-2). Which is greater: y or 16?
y
Let p(w) = 2*w**3 - 13*w**2 - 8*w - 4. Let j be p(7). Let k = -15082/5 - -3027. Let n = j + k. Which is greater: -3 or n?
n
Let n(f) = -3*f**3 + f**2 + 3*f - 4. Let o(u) = 4*u**3 - 3*u + 4. Let j(g) = -3*n(g) - 2*o(g). Let a be j(4). Do 9 and a have different values?
True
Suppose 0*m = -2*m + 10. Suppose -p = 4*p - 5*h, 0 = -m*p - 2*h + 7. Which is greater: -1 or p?
p
Let j = 2 + -2. Suppose j = -0*l - 3*l + 12. Suppose 0 = 5*s + 1 + l. Which is greater: s or 1/5?
1/5
Let s = 12 - 32. Let h be 4/22 - s/11. Suppose 12 = -m - h*m. Which is smaller: m or -5?
-5
Let i = -61/2 + 32. Let x(s) = -s**3 + 3*s**2 + 4*s + 5. Let t be x(4). Let k = t + -3. Which is smaller: k or i?
i
Let p be (-2 + 20/12)*-24. Which is bigger: 9 or p?
9
Let g be 63/84 + 2/8. Which is greater: g or 3/58?
g
Let q = -133 - -162. Which is smaller: q or -2?
-2
Let k = 10.4 + -0.4. Let q = 9.8 - k. Is 4 not equal to q?
True
Suppose -2*a + 6*a = 32. Let m = a - 8. Which is smaller: -1/2 or m?
-1/2
Let y be (3/(-3))/((-2)/(-2)). Let b(c) be the second derivative of -c**5/20 + c**4/2 + 7*c**3/6 + 3*c**2/2 + c. Let d be b(7). Is d at most as big as y?
False
Suppose -4*i + 4 = -0*i - 4*s, 4*i - 4 = 2*s. Suppose 0 = 6*o - 2*o. Which is smaller: i or o?
o
Suppose 0 - 2 = h. Suppose 0 = -3*g - 9*y + 4*y + 4, 2*y = -5*g - 6. Is h >= g?
True
Suppose -1 = -4*v - 5. Let p be (v + 0)*(4 - 3). Is p greater than 0?
False
Let q(s) = 2*s**2 - 10*s + 11. Let t be q(3). Is t <= 2/25?
True
Let w = -9 - -9.04. Let x = w - -0.16. Which is greater: -2/5 or x?
x
Let z be 7/3*(4 + -1). Let p = z + -9. Does -1 = p?
False
Let d = -86637/175 + 8216/25. Let q = d + 167. Which is smaller: 0 or q?
0
Let o = -3 - -2.8. Let i = o + -0.2. Which is smaller: i or -1?
-1
Let q be 6/4 + 2166/(-1188). Let u = q + 6/11. Is u not equal to -2/11?
True
Suppose 3*s = -68 - 4. Let v = -28 - s. Are -3 and v nonequal?
True
Let f = -40499/19188 - 1/2132. Is f not equal to -2?
True
Let d be (-9)/(-2247)*-4 + 0. Let j = d + 146103/2996. Let o = -49 + j. Is o < 0?
True
Let k be (2/3)/(2/9). Suppose k*s - s = 0. Which is bigger: s or 1?
1
Let g be (-12)/10*40/12. Suppose -17 = 5*o - 2. Which is smaller: o or g?
g
Let z(x) = -2*x - 22. Let m be z(-9). Is m greater than -7?
True
Let a(h) = 4*h**2 - 2*h + 3. Let y be a(1). Suppose 0 = m - 5*m + 32. Suppose r + r - m = 0. Are r and y equal?
False
Let t(k) = k + 5. Let p be t(-3). Suppose p*l = -0*l. Is 1/8 less than l?
False
Let h be 8/(-52) - (-2)/13. Is 2 bigger than h?
True
Let n be 0*(-1)/2*-2. Let u(q) = -q - 4. Let r be u(0). Let m(i) = i**2 + 3*i - 5. Let t be m(r). Is t not equal to n?
True
Let w be (1 + -1)*6/12. Suppose w = -4*v - 5*q + 23, -4 = -q - 1. Is v smaller than 2?
False
Let o = -0.084 + 38.084. Which is bigger: 2/7 or o?
o
Let w = 0 + -1. Let l(t) = t**3 + 3*t**2 - 2. Let v be l(-3). Which is greater: v or w?
w
Let s = -0.13 - 0.07. Let k = -2 - 3. Which is greater: k or s?
s
Suppose z + 0*z + 10 = 0. Let j = 8 + z. Let s be 0/(-2) + 2/(-2). Are j and s equal?
False
Let k = 2.62 + -3. Let j = -53.92 + 54. Let r = k + j. Is 1 >= r?
True
Suppose 3 - 5 = -2*o. Let g be (1/(-3))/(5/(-1062)). Let k = g + -71. Is k not equal to o?
True
Let q be ((-8)/60)/(3/20). Which is smaller: -2 or q?
-2
Let z(v) = v - 6. Let k be z(6). Suppose k*u + 5 = 2*u + 5*o, -2*o = u - 3. Which is smaller: u or 7?
u
Let l(r) = -r**2 - 5*r + 1. Let q be l(-5). Let z(u) be the first derivative of -u**3/3 + u**2 + u - 9. Let g be z(2). Are q and g nonequal?
False
Suppose 4*l - 72 = -x + 3*x, -2*l - 5*x = -60. Are l and 18 nonequal?
True
Let w be (3/(-21))/(-1)*(-595)/(-10). Is 9 < w?
False
Let q(z) = 2*z + 3. Let o be q(-3). Let s(l) = 2*l + 4. Let y be s(o). Let k be (-1)/y + (-1)/2. Which is bigger: k or -2/9?
k
Suppose -2*s = 0, -5*s - 27 = -3*r - 0. Are r and 9 equal?
True
Suppose 3*q - 12 = 5*y + 9, q - 8 = 2*y. Let l be 12/(-18) - (-13)/y. Let h(r) = r**3 + 6*r**2 + 6*r + 4. Let m be h(l). Is m at least as big as 2?
False
Let k(n) = 3*n - 9. Let l be k(8). Let h be 6/l + 28/(-45). Is h > -1/3?
True
Suppose -2*j = -j. Is j <= 2/9?
True
Let s be (-9)/(-15) - 0/(-1). Let b be (2/(-6))/(7/(-42)). Which is smaller: b or s?
s
Let g be (-3)/(-9) + 2/3. Let t = 0 - g. Which is greater: -2/11 or t?
-2/11
Suppose 5*f + 24 = 224. Let w be -3*f/54 + 2. Which is smaller: 1 or w?
w
Let j be 21*(-2 - (-160)/75). Is j at least as big as 3?
False
Let d(r) = -4*r. Let y(k) = 10*k. Let p(z) = 12*d(z) + 5*y(z). Let t be p(-2). Let f = t + 1. Is f greater than -3?
False
Suppose i = 6*i. Suppose -3*d + 4*w = -26, i = 2*w + 6 + 4. Is d less than 1?
False
Suppose 0 = -0*u - 2*u + 5*o - 17, 0 = 2*u + 4*o - 28. Let l be 4/((-2)/(-4)*4). Which is bigger: u or l?
u
Let x(m) = -m**3 + 5*m**2 - 5*m + 6. Let h = -5 - -9. Let q be x(h). Which is smaller: q or 5/2?
q
Let m = 19 + -15. Let u be m/26 + (-245)/(-182). Is u at most 2?
True
Let o = -2 - -2.1. Let w = -13.1 + 14. Is w at least as big as o?
True
Let j = -13 + 7. Let o = j - -7. Let g = 5 - 7. Which is greater: o or g?
o
Let d = -0.06 + 0.46. Let x be 2/16 - (-26)/48. Is d less than or equal to x?
True
Let k = 2.24 + -2.2. Are -0.1 and k unequal?
True
Suppose -5*w + 5*k - 25 = 0, 2 = k - 1. Is 0 greater than or equal to w?
True
Let a = 88 - 32. Is a at most as big as 57?
True
Let y(n) = -8*n - 2. Suppose 0 = -5*l + 11 - 1, 6 = -a + 2*l. Let t be y(a). Suppose 4*d