 + 5*n - 16, 3 = -3*n + 9. Suppose -2*o + t = -12. Is o equal to 8?
False
Suppose 3*c + 0*w = w - 12, 0 = 3*c + 3*w. Let k be ((-288)/(-51))/c - -2. Which is smaller: k or 0?
0
Let h be (-3)/6*-2 - -4. Suppose -2*s - 5*u = -0*s + 14, -3*s + h*u = -29. Which is smaller: s or 2/5?
2/5
Let z = -3 + 5. Let j = z - 1. Let l(d) = -d**2 + 4*d + 14. Let v be l(6). Which is smaller: j or v?
j
Let i be 1569/(-15)*5/(-4). Let q = i - 130. Let h(s) = -s**3 + 3*s**2 + 5*s - 3. Let u be h(4). Is u less than or equal to q?
False
Let v(f) = -f**3 - 6*f**2 - 5*f + 1. Let u be v(-5). Suppose -q - 2 = -u. Is q > -1?
False
Suppose -w = 3 - 10. Let n be (w/(-14))/(2/(-12)). Let k(f) = -f**2 + 4*f - 2. Let q be k(n). Is q equal to 1/4?
False
Let y(k) be the first derivative of -k**6/360 + k**5/24 + k**4/8 + k**3 + 2. Let d(t) be the third derivative of y(t). Let z be d(6). Which is bigger: z or -2?
-2
Suppose -3*l + y + 33 = 0, -8*y = l - 4*y - 11. Which is greater: l or 9?
l
Suppose 33*f = 19*f + 336. Is f >= 25?
False
Let n(u) = -u - 10. Let r be n(-2). Is -4 at least as big as r?
True
Let a = 3 - 0. Suppose -7 = -5*o + 2*y, 4*o - y - 3*y + 4 = 0. Let i = a - o. Is i smaller than 2?
True
Suppose -v = -4*r - 0*r, -16 = 4*v. Let w(f) = f - 3. Let i be w(4). Let o = i + r. Is o at most -2/5?
False
Let j = -280.9 + 261. Let o = j + 20. Which is bigger: o or 0.3?
0.3
Let m = 37.9 + -38. Let z = 6 + -4. Is m less than z?
True
Let d be 67 + -10 + 1 + -2. Let m be ((-251)/(-2))/(18/8). Let h = d - m. Which is smaller: 1 or h?
h
Suppose 13 = -4*m + f, -m - 4*m = 2*f. Let s = 11/4 - 5/2. Do m and s have different values?
True
Let z be 20/12*(-3)/(-1). Suppose 3*j - 5*i = 25, z*j - i = 3*i + 20. Is 1 at least as big as j?
True
Let a be 63/(-6) - (1 - -1). Let o = a + 12. Let c be -2 - (0 + 2/(-2)). Is o smaller than c?
False
Let v = 3 + 0. Suppose 3*l = 0, -2*p - v*l - 174 = -6*l. Let k = p + 179/2. Which is smaller: 4 or k?
k
Let s = -6.06 - -6. Let q = 0.271 - 0.071. Which is bigger: s or q?
q
Let s be 2/(-3)*6*-1. Let b = 13/3 - s. Suppose 3*a + 4 = -2*q, -4 = 4*q - 4*a + 4. Is q not equal to b?
True
Let y(r) = 2*r**2 + 2*r + 1. Let f be y(2). Which is smaller: f or 14?
f
Suppose 10 + 0 = -2*o, 4*s = -o + 3. Suppose -k + 18 = 2*k. Let u be 1 + (2/k)/(-1). Is s smaller than u?
False
Let o = -6 - -2. Which is bigger: o or -3?
-3
Let l(j) = j - 5. Let t be l(6). Let x(z) = z - 3. Let i(s) = -2*s + 10. Let y(f) = 2*i(f) + 7*x(f). Let b be y(t). Is b equal to 3?
False
Suppose -4*u - 14 = -m, 3*m + 3*u - 14 = u. Suppose z = m*z. Suppose z = 5*d - 10 - 0. Which is greater: d or 3?
3
Suppose -5*k - 10 = 0, 3*g + 8 = -2*k + 19. Suppose -2*f - 4 + 10 = 0. Let i = f - g. Which is smaller: i or -3?
-3
Let j = 0.7 - 0.6. Let s = -1/98 + 29/98. Is s < j?
False
Let i(v) = -v**3 - v. Let q be i(0). Which is smaller: q or -9?
-9
Let n be ((-6)/(-10))/(16/20). Let f = -52 + 258/5. Which is smaller: n or f?
f
Suppose -30 = -2*y - 2*v - 10, -4*y - 2*v = -50. Is 16 equal to y?
False
Let h(u) = -u**2 + u. Let z be h(1). Is z bigger than 3?
False
Let i = -116/65 + 18/13. Which is smaller: 3/11 or i?
i
Let y be (-18)/(3*-1) + -1. Suppose -y + 1 = -4*q. Let a = 16/3 - 5. Is a not equal to q?
True
Let q = 8 - 73/9. Suppose 0*n + 3*v - 5 = 2*n, -8 = 3*n - 5*v. Which is bigger: q or n?
q
Let r = -2.4 - -4.4. Which is smaller: r or 5?
r
Let u = 1 - 8. Let y = -101.1 - -108. Let q = u + y. Which is bigger: 1/9 or q?
1/9
Let a = 57 + -56. Is a less than or equal to 1/3?
False
Let m be (66/(-8))/(3/1). Suppose 7*d = 6*d - 2. Do d and m have different values?
True
Let k = -20.4 + 20. Which is bigger: -0.1 or k?
-0.1
Suppose -31 - 5 = 4*f. Let d = -17 + 9. Which is bigger: f or d?
d
Let i = -12 + 20. Let a be i/4 + (-15)/7. Is a greater than 0.1?
False
Let l = 171 + -165. Are l and 0.03 nonequal?
True
Let d = 4 + -7. Let j be 4*d*4/(-48). Is j greater than 1/3?
True
Suppose 0 = 67*t - 64*t + 3. Is 2 != t?
True
Suppose 28 = 18*t - 14*t. Is t < 8?
True
Let k be 27/2 + (-4)/8. Let b be k/5 + 3 + -6. Is 1 equal to b?
False
Suppose 0 = -5*s - z - 31, 0*s - 5*s - 5*z - 15 = 0. Let x = s + 8. Which is greater: x or 4/3?
4/3
Let j(d) = d**2 + 8*d. Let c be j(-6). Let n be 146/(-12) + (-1)/3. Let u = c - n. Is u bigger than 0?
True
Let i(u) = 3*u - 6. Let k be i(4). Do 6 and k have the same value?
True
Let g = 3 - 3.2. Let j = 0.3 + g. Let h be (-2)/8 + 10/(-120). Do j and h have the same value?
False
Let f = 1 + 1. Let r be f/(-5) + 76/15. Let x = r - 59/12. Which is bigger: x or 0?
0
Let w = 0.4 - 0.5. Let g = -71 + 354/5. Which is smaller: w or g?
g
Let b = 9 - 7. Does 5 = b?
False
Let f = 13 - 9. Let x = f - 3. Let a = -3.6 + -0.4. Are a and x equal?
False
Suppose -2*l = -k + 3 - 2, 5*l = k + 2. Suppose -4*y - 3 = 3*z, 2*z + y - 1 = 2. Suppose -l = g - z. Is 3 smaller than g?
False
Suppose 3*t + 3*b + 7 = b, -2*t + 4*b - 10 = 0. Let l be 2/8 + 2*-1. Which is bigger: l or t?
l
Let f be (-22)/(-99) + (-8)/117. Let h be (3/(-9))/((-1)/3). Does f = h?
False
Let a be (8 - 5)*(-4)/(-642). Is -1 smaller than a?
True
Let c = 4 + 1. Let n = c - 4. Let x be ((-10 - -2) + 2)*2/(-42). Which is smaller: n or x?
x
Let a = 6 - 6. Let g be 3/(-12) - 2/((-40)/9). Is g at least a?
True
Let a = -30 + 2. Is -30 at most a?
True
Let c = 73 - 143/2. Let a(w) = w**2 + w - 1. Let p be a(0). Let n be p/(-2)*(-2)/(-1). Are n and c equal?
False
Suppose 0*k + 3*k - 31 = 4*f, f = -4*k + 16. Suppose k*v - w = 5, 5*w - 18 - 13 = -3*v. Which is greater: v or 3/4?
v
Suppose -3*y = -4*y + 2. Suppose -z - 3*c - 11 = 0, 5*z + c - y*c = -7. Let g be (-10)/(-14) + z/(-7). Which is smaller: 0 or g?
0
Suppose 93 = -12*y - 183. Is y at least as big as -43/2?
False
Let i = -5.851 - 0.129. Let c = -6 - i. Do 1 and c have the same value?
False
Suppose 0*z + 3*z + 24 = 0. Let l(g) = -g - 18. Let n be l(z). Which is smaller: -0.1 or n?
n
Let k = 7.3 - 6.3. Which is greater: k or -30?
k
Let i = 2.95 - -0.05. Let r = i + -5. Let u = -1 - r. Is 0 less than or equal to u?
True
Suppose 3*s + 2*p - 17 = p, -3*p = -5*s + 5. Which is smaller: s or 13/5?
13/5
Let p(b) = b**2 - 4*b + 1. Let x be p(3). Suppose -3*l - 2*t - 16 = 0, -6*l + 5*l = 2*t + 8. Is l greater than x?
False
Let j = -14 - -20. Do 1/3 and j have the same value?
False
Let x(s) = s**2 + 4*s - 6. Let o be x(-5). Let l(h) = h**2 - 7*h + 2. Let w be l(6). Let j = w - -4. Are j and o unequal?
True
Let t = 9.91 - 10. Let h = -1.3 + 0.3. Is h >= t?
False
Let m be 6*1/(-4)*-2. Suppose -3*a + 0 = m. Let p = -3 + a. Is -5 != p?
True
Let u = 34 + -8. Suppose -r = 3*z + 21, 3*r - 2*r = -4*z - u. Is r > -6?
False
Let d = 6 + -5. Suppose 5*u + d - 6 = 0. Which is smaller: -2/7 or u?
-2/7
Suppose -m - 32 = m + 5*a, 0 = -4*m - 5*a - 84. Which is smaller: m or -25?
m
Let p be (-8)/(-28) - 8/77. Let s be (-1)/(-3 - 27/(-6)). Which is bigger: s or p?
p
Suppose -2*b = -6*b - 4. Let n = b + 1. Let u be (-1)/(3/(-6) - n). Is 2/3 at most as big as u?
True
Let d(a) = a**2 + 12*a - 12. Let l be d(-13). Let v(m) = 4*m. Let k be v(l). Are 3 and k equal?
False
Let k be 2/4 - (-11)/66. Suppose -3*a = -0*a. Suppose a = 5*c - 2*c. Is c equal to k?
False
Let j be (-2 - 24/(-10))*81/(-54). Which is smaller: -4 or j?
-4
Suppose -4*j + 3 = -5. Let v be -5 - (-2 + j + 1). Suppose 5*k - 13 = 3*g, -4*g + 4*k + 0 = 20. Is g not equal to v?
False
Suppose 4*l + 8 = 0, -5*l + 4*l + 18 = d. Suppose -d = -3*q - 5. Suppose -h = -3*a - a + 24, -q*a + 29 = -h. Which is bigger: -3 or h?
-3
Suppose -4*l - 4*z = -3 + 19, -2*l + 5*z + 13 = 0. Which is bigger: l or -0.6?
-0.6
Let f = -8 + 13. Suppose -10 = w - 2*z, -5*z + 25 = -8*w + f*w. Is w greater than or equal to -2?
True
Let d = 0.191 - 0.391. Which is bigger: 13/5 or d?
13/5
Let x = 1 + -4. Is -2 smaller than x?
False
Let r(s) = 17*s + 3. Let k be r(2). Is 0 greater than k?
False
Suppose 0 = 3*q + 2*q + 20. Which is bigger: q or -1?
-1
Let i = 7 - 4. Let w = 4 - i. Is -1/11 less than or equal to w?
True
Suppose -20 = 5*a + 3*k, -a - 4*k - k = 26. Let o be 1*(-2)/10*1. Is a at least o?
False
Let q = -0.52 - 0.48. Let x = -1.9 - -2. Let z = x + 0.9. Is z less than q?
False
Suppose 0 = 2*i - 7*i + 5. Is -0.01 >= i?
False
Let p be (-1)/((15/9)/(-5)). Let v be -4*(112/(-36) + p). Is v not eq