 or -3?
n
Let n(o) = o - 8. Let s be (-66)/(-10) - (-3)/(-5). Let k be n(s). Let z = k - -1. Is -2 equal to z?
False
Let l be 2/(-8) + (-34)/(-8). Suppose p + l*s + 7 = 0, -8 = 3*p + 2*s - 3*s. Which is bigger: -4 or p?
p
Let d be 0*(-2)/(3 - -1). Let i(x) = -x. Let j be i(d). Which is smaller: 0.3 or j?
j
Suppose -3*x + 6 = 0, 0*m - 3 = -m - x. Let j = -2/31 - -35/62. Which is smaller: j or m?
j
Let s = 0 + -1. Which is greater: s or -4/23?
-4/23
Suppose 2*z + 3*a = 0, -3*a + 5*a = -3*z. Are 3/16 and z equal?
False
Let z = -21 + 10. Let y be 2/4*2/z. Let h = y + -17/55. Is h > -3/5?
True
Let y be (-5)/(-6)*3/5. Let l(a) = -a**3 + 7*a**2. Let h be l(7). Suppose h = -f - 2*f - 4*k + 6, -2*f + 4 = -k. Which is greater: f or y?
f
Let v = 1/1230 - -2377/102090. Let l = 7049/249 + v. Let d = l + -28. Are -1 and d nonequal?
True
Suppose -5*f = -2*c - 29344, -f + 5*c + 3558 + 2297 = 0. Let z be f/(-525) - (-4)/(-14). Let u = -54/5 - z. Is u at most as big as 2/3?
True
Let u be (-220)/(-14) - (-6)/21. Suppose -v + u - 1 = 0. Is 15 at most as big as v?
True
Let y be (-45)/6 - (3 + -6). Let s(w) = -w**3 + 3*w**2 + 6*w - 3. Let n be s(4). Suppose -n*c + c = 20. Which is bigger: c or y?
y
Let t = 5/18 + 1/18. Which is smaller: 0 or t?
0
Let m = -2 - -1.3. Let s = m + 0.66. Let g = s + -1.96. Which is smaller: g or -1?
g
Suppose 0 = -4*j - j + 10. Let a be 2*-1*j/4. Are a and 0 non-equal?
True
Let x be 1 + -3 - 8 - -3 - -2. Is 3 >= x?
True
Suppose -t = 3*q - 12, -q - 3*t = -2*q + 4. Let l be 4/2*(-2)/q. Is -1 > l?
False
Suppose -17*t + 75 = -22*t. Which is greater: t or -14?
-14
Let q = -9 + 2. Is -2 at most as big as q?
False
Let j be 140/(-21) - (-1)/(-3). Is -9 smaller than j?
True
Let v(j) = j + 10. Let f be v(-7). Suppose x = -f*x - 8. Let h be 7/(-84) + (-4)/6. Is h bigger than x?
True
Let a = 0 - 1. Let j = -13.6 + 1.6. Let r = 12.1 + j. Are r and a nonequal?
True
Let k(c) = -c - 8. Let d be (-5 - 0) + (-1 - 1). Let b be k(d). Which is smaller: b or -5/8?
b
Let d = 14 + -54. Let l = -1 + 1. Let i be (-84)/d + -2 + l. Which is bigger: i or 1?
1
Let v be 85/75 - (-6)/(-45). Is -6/29 > v?
False
Suppose 4*b + 3*g + 6 = 0, -g + 3 = 4*b + 5. Which is bigger: -1 or b?
b
Let l = 12 - 13. Let b be -1*2*l/2. Which is bigger: 5/8 or b?
b
Let p = 79 - 80. Let k be 3/((-117)/2) + 0. Is k less than p?
False
Let o = 31 + -31.015. Does o = 2?
False
Suppose 5*z + 0 = 5. Suppose -6*b - 251 = -233. Which is greater: z or b?
z
Suppose -4*q - 8 = -0. Let t = -8 - q. Let h = t - -6. Is h less than -4/7?
False
Let v be 0 + 5/6*3. Suppose -4*b + 10 = b. Is v bigger than b?
True
Let f = -7 + 8. Which is greater: f or 2?
2
Let f be 3 + 0 - (1 + -3). Suppose -f*m + m + 14 = -5*a, a - 1 = -3*m. Is m not equal to 2/27?
True
Let s(j) = j**2 - 17*j - 1. Let y be s(17). Are -4 and y nonequal?
True
Let q be (21*(-2)/8)/((-243)/24). Is 1 <= q?
False
Let c be (1/(-1))/((-2)/10). Suppose -2 = -4*a + a - 4*g, c*g - 5 = -5*a. Suppose -2*v + a = -0. Is -1/3 at most as big as v?
True
Let s = -2 - -6. Suppose -s*o - 6 = -o. Let l be (-6)/12*o*1. Which is bigger: l or -2/15?
l
Suppose f + 5*h = 6, h - 3*h - 2 = -4*f. Let k be (0 - 0)*(-5 + 4). Suppose -q + 2 = -k*q. Is f equal to q?
False
Let w = -59 - -85. Which is greater: w or 0?
w
Let y be (3 - 1) + -2 + 0. Let h(t) = t**2 - t - 2. Let q be h(3). Let g = -5 + q. Is g <= y?
True
Let q(l) = -2*l. Let m be q(-1). Suppose -s + g + 15 = 3*s, -2*g + m = 0. Suppose -2*y = 3*f + 1, 3*y + f + f = 6. Is s less than or equal to y?
True
Let d = 1 - 0.7. Let n be ((-3)/(-6))/(2/1). Which is bigger: n or d?
d
Let j(n) = 19*n + 8. Let z be j(-1). Is -9 at least z?
True
Let a = -142 - -143. Is a greater than -8/11?
True
Let b = -7 - -10. Suppose b*a = -8 + 29. Let x = a - 5. Is x less than or equal to 2?
True
Let r = 21 + -20. Which is greater: r or 4/3?
4/3
Let w be (-4 - -4)*1/2. Suppose -4*r + 0*c + 17 = -c, 0 = 5*c - 15. Let k = r + -6. Which is smaller: k or w?
k
Let g = 2 + 1. Suppose n + 8 = g*v, -5*n + 0*v + 4*v + 4 = 0. Which is smaller: 3 or n?
3
Let m(p) = -p**3 - 11*p**2 - 12*p - 9. Let x be m(-11). Is 123 bigger than x?
False
Let u(x) = -x**2 + 7*x - 3. Let d be u(7). Let f(j) = 2*j - 1. Let r be f(-1). Let v be (5/r + 1)*3. Is v < d?
False
Let m = 47 + -27. Let v be (-15)/18*(-8)/m. Which is smaller: v or 1?
v
Suppose -2*o - 55 = 5*u, -5*u + 10 = -o - 4*u. Do -18 and o have different values?
True
Let y be -29 - -2*-6*(-2)/8. Do -26 and y have different values?
False
Suppose -5*t - 3 + 8 = 0. Is t at most as big as -0.39?
False
Suppose -j = -3*k + 3, 5*k + 6 = 4*k - 2*j. Suppose k = 3*b - 7 - 2. Suppose 3*v = -2*q + 20, 2*q + 138 = -4*v + 162. Which is smaller: b or v?
b
Let z = 8255/23 - 359. Let u(j) = -3 + 3*j - 4*j + 4 + j**2. Let v be u(1). Is z smaller than v?
True
Let p = 0 - -0.1. Let y(r) be the first derivative of -r**2/2 + r - 4. Let i be y(3). Which is bigger: p or i?
p
Let d be 0*1/(-4) + -1. Is -1 less than d?
False
Suppose -2*n + 4*c - 10 = 0, 4 = 2*n + 4*c - 10. Suppose 2*k = -0*k. Is k smaller than n?
True
Let c(k) = 2*k. Let r be (1 + 0 - 2)*-1. Let u be c(r). Let f(w) = -w**2 - 3*w + 4. Let h be f(-4). Is u > h?
True
Let b = -10.1 + 10.2. Is -62 at most b?
True
Let z = 23 - 11. Is z at least 12?
True
Let u(n) = -n**2 + 5*n + 1. Let z be 215/7 + (-4)/(-14). Suppose -5*k = 6 - z. Let b be u(k). Which is smaller: b or 1/2?
1/2
Let f(u) = -5 + 0 + 4*u**2 - 2*u - 3*u**2 + 3 + u**3. Let w be f(-2). Suppose 2*n - 16 = -4*g, g = -4*n + 4*g - 23. Is n not equal to w?
False
Suppose 0 = -4*y + n + n + 18, -3*y - 19 = 5*n. Suppose 0*i - 8 = 4*i. Let v be i/5 + (-48)/(-20). Are v and y nonequal?
False
Let w = -0.064 - 9.936. Let c = -4.1 - -4. Is c at most w?
False
Let k be ((-64)/916)/(-8) - (-1 - -1). Are 0 and k equal?
False
Let o be (1 + 0 + 0)/(-1). Let f be 0 + -2 + (-14)/(-4). Which is smaller: f or o?
o
Suppose d - 24 = -3*d. Let v be (2/d)/((-14)/12). Which is bigger: 8 or v?
8
Suppose 5*h + 9 = 69. Is h at least as big as -1?
True
Suppose 8 = 3*b - 2*b. Suppose 0*m - b = 4*m + 4*z, 4*m - z = 17. Suppose -5*u + 28 = 8. Do u and m have the same value?
False
Let w = -1.63 + -0.27. Let i = 2 + w. Let g = 6 - 6. Is g > i?
False
Let s = -544 + 333. Let g = -1059/5 - s. Are 1 and g equal?
False
Let w = 6.95 - -0.05. Let a = -6 + w. Is -3 < a?
True
Let i = 3 + 6. Let r = 9.08 - i. Is r > -1?
True
Let n = 0.9 + -0.88. Let m = 2.02 - n. Is 1 equal to m?
False
Suppose 4*h - 9*h = -5. Is 8 < h?
False
Let u(y) = y**3 + 3*y**2 + y - 2. Let j be u(-2). Suppose 4*r - 8 = -x - 3*x, -3*r - 5*x + 6 = j. Is 2 > r?
False
Let d be (-5)/(15/(-6))*1. Which is bigger: d or 17/5?
17/5
Suppose -5*f + 4 = 9. Which is bigger: f or 7?
7
Let s = -596/11 + 54. Let a = -0.6 + 2.6. Which is greater: a or s?
a
Suppose 6*g = 2*g. Suppose -4*w = -0*w + 16, -6 = -k + 2*w. Let h be 8/5 + k*1. Which is smaller: g or h?
h
Let b = 90.1 + -90. Let m = -0.1 - 0.3. Let n = m - 0. Which is greater: b or n?
b
Let d(j) = -2*j - 2. Suppose -2*c = -c + 2. Let b be d(c). Suppose 0 = b*y + 3*y. Which is smaller: -2/11 or y?
-2/11
Let x = 1 + 0. Suppose 3*c = 2*c. Suppose -3*b - x - 2 = c. Is -2/5 < b?
False
Let k = 0.6 - 0.7. Is k equal to -1?
False
Let i = -0.01 + -0.04. Let z = 0.03 - 0.13. Which is smaller: i or z?
z
Let q(j) = -j + 13. Let c be q(8). Let b be 8/20 + (-9)/c. Suppose 0 = -s + 1 - 3. Which is smaller: b or s?
s
Let n(g) = 2*g**2 + 4*g + 2. Let r = 6 + -8. Let u be n(r). Let c = 2 - u. Is c greater than or equal to 1/4?
False
Suppose 3*i = -3*x + i - 2, -26 = -3*x + 5*i. Let q be (-4)/(-1) - x - 2. Suppose 0 = y - 4*n + 20, 5*y = 2*n + 2*n - 20. Do q and y have different values?
False
Let q(a) = -a + 3. Let v be q(-3). Suppose 0 = 2*k - f + v, 5*k = f - 9. Are -3 and k non-equal?
True
Let o = 9 + -7. Let f be o/3 + (-50)/(-6). Is f != 9?
False
Let h be 1 - (-5)/(-2) - -1. Suppose 12*t - 8*t = 0. Is h equal to t?
False
Let r = 4 - 2. Let s be (-38)/(-14) + (-1 - r). Let h be (2/4)/(1/(-2)). Which is greater: h or s?
s
Suppose 0 = 4*d - 6*d. Is d > 9/17?
False
Let g(y) = 2*y + 3. Let m be g(-2). Let p(n) = -n - 2. Let h be p(-7). Let s = -5 + h. Which is bigger: m or s?
s
Suppose q = 2*q. Let k = 0 - 0. Is k at least as big as q?
True
Suppose 3*a + 3*o = 