-2/11 and w have the same value?
False
Suppose 3*k - 4 = 2. Suppose -4*z + v - 7 = 0, -z + 0*v - v - 8 = 0. Let j = z + 5. Do j and k have different values?
False
Suppose -2 = -4*j - 14. Let u(k) = -2*k + 1 - 1 - 4. Let d be u(j). Which is greater: d or 3?
3
Suppose j = -3*j + 5*w - 5, -4*j + 2*w = 2. Let m = 137/190 - -3/38. Which is smaller: m or j?
j
Suppose 8 = 5*v + 2*u, -8*v - 20 = -3*v - 5*u. Do v and 2 have the same value?
False
Let m(f) = -4*f**3 - 2*f**2 + 2*f + 4. Let p(h) = -7*h**3 - 5*h**2 + 3*h + 8. Let i(q) = 5*m(q) - 3*p(q). Let z be i(-4). Which is smaller: z or 1?
1
Let u = -28 + 26. Which is bigger: u or 1?
1
Let p(i) = 1. Let d(f) = f - 11. Let k(t) = d(t) - 3*p(t). Let j be k(6). Do -7 and j have the same value?
False
Let t = 7 + -4. Suppose 22 = 5*d - t*x - 2, -2*d = 4*x + 6. Are d and 3 nonequal?
False
Let y(m) = m**2 - 6*m - 6. Let d be y(7). Let x = -11/32 + 3/32. Does x = d?
False
Let s = -3.1 - -0.1. Let k = -68 + 70.9. Let q = s + k. Which is bigger: 5/4 or q?
5/4
Let o = 1.03 - 1. Let u = -0.06 + o. Is u < 1/3?
True
Suppose -3*a + 15 = -6*a, -2*a = m + 8. Suppose -s = -m*s + 9. Are s and 10 nonequal?
True
Let x(v) be the first derivative of v**4/4 + 4*v**3 - 11*v**2/2 + 9*v - 2. Let n be x(-13). Is n at most as big as -17?
True
Let d = -363/2 + 169. Let m = -61 - -47. Is m >= d?
False
Let i = -1097/15 + 73. Suppose -y = -6*y - 5. Is y at least as big as i?
False
Let t(g) = -g - 5. Let j(m) = m**2 - 6*m - 7. Let r be j(6). Let a be t(r). Does 1 = a?
False
Suppose -3*v = -2*v - 7. Let b be 6 - 2/4*2. Let f = b - v. Which is smaller: -3 or f?
-3
Suppose 0 = -p + 3*u - 8, 10 = u + u. Suppose p*g - 6*g = 10. Does 2/5 = g?
False
Let v(o) be the second derivative of o**5/5 - o**4/12 + 4*o. Let k be v(1). Is -2/5 greater than or equal to k?
False
Let c(o) = -o**3 - 3*o**2 + o + 4. Let k be c(-3). Suppose -7 - k = -2*m. Do m and 4 have different values?
False
Let t = 78 + -77. Is 1.38 equal to t?
False
Let m = -10.5 + 7. Let i = 3 + m. Let t = i + 0.4. Which is smaller: 0 or t?
t
Let c be 4 - 4 - (3 - (1 + 1)). Let v be (2 + -3)*-1 + 28. Let w = 57/2 - v. Do w and c have the same value?
False
Suppose 73 = -3*p + y, -2*p + 5*y = 20 + 46. Is p smaller than -23?
False
Suppose -5 = p, 0*p + p + 20 = -5*f. Let u = f + 4. Let b = -576 - -14398/25. Is u less than b?
False
Suppose 4*f - 58 + 218 = 0. Let y be (-9)/(-15) - 116/f. Is 3 equal to y?
False
Let c(u) = 3*u**2 - 2*u**2 + u**3 + 0*u**3 + 0*u**3. Let i(q) = -q - 1. Let g be i(0). Let z be c(g). Which is smaller: 2/11 or z?
z
Let y = -0.1 - 0. Let j = 18.7 - 21. Let l = j + 1.3. Which is greater: y or l?
y
Let i = -0.034 + 0.125. Which is smaller: 0 or i?
0
Let q be (1/(2/(-8)))/((-3)/6). Are q and 47/6 nonequal?
True
Let p be (-2)/(-7) - 57/(-21). Is 1 not equal to p?
True
Let l = -21 - -6. Let j be (-87)/l + (-3)/(-15). Which is smaller: 4 or j?
4
Let h = 0.2 + -0.3. Let c = 31 - 30. Is c at least h?
True
Let a = 9/5 - 143/85. Which is smaller: a or 1/2?
a
Let q(s) = 2*s - 2. Let f be q(3). Suppose 4*g - 4*m + 16 = -0*m, -6 = f*g - 2*m. Which is smaller: -2/45 or g?
-2/45
Let i = -2.1 + 3.8. Let g = -0.3 - i. Which is smaller: 1 or g?
g
Let s = 230 + -226. Let c = -1 + 2. Which is bigger: c or s?
s
Let t(n) be the first derivative of -n**3/3 + 7*n**2/2 + 10*n - 2. Let m be t(9). Let u be 20/3*(-2)/m. Is 2 at least u?
True
Let l be ((-16)/1)/1 + 2. Suppose y - 3*y - 44 = 4*s, 0 = 5*s + 20. Is y at least l?
True
Let y = 23/9 - 97/45. Let s = 3 + -4. Is y at least as big as s?
True
Suppose -4*f = -0*f + 8. Let t be (-1 - f - 1)/(-3). Let b be t/(-4 - (-6)/3). Which is smaller: -2/3 or b?
-2/3
Suppose -12 = -2*n + 2*d, -2*n = -4*n + 4*d + 18. Suppose -5*x - 2*b + 105 = 2, -n*x + 68 = -5*b. Let o be (-2)/7 + (-8)/x. Is 0 greater than or equal to o?
True
Let l = -55 + 59. Which is smaller: l or 8?
l
Let l = 24 - 19. Do 5 and l have the same value?
True
Let m = -41 + 18. Is m <= -24?
False
Let a = 0.3 - 1.3. Let l = -0.1 + 0. Which is bigger: l or a?
l
Suppose 45 = 2*d + 3*d. Let c be 3/(6 - 3) - -8. Is d > c?
False
Suppose 0 = 2*d + d. Suppose d = -5*s - 15, -2*c + 0*c - s + 3 = 0. Suppose -p + 2*v - 4 = -c*p, -8 = -5*p - 4*v. Is p <= 2/7?
True
Let b be -3 - ((-27)/13 - 1). Which is bigger: b or -1?
b
Let d = 0.5 + -0.47. Let x = -0.03 + d. Which is greater: -2 or x?
x
Let l(j) = -2*j**3 - 2*j**2 + 6*j - 5. Let t be l(-5). Let f be (-3)/(-4)*(-22)/t. Which is smaller: 1 or f?
f
Let u = -2 + 5. Suppose -5 = -u*h + 7. Which is smaller: h or 1?
1
Let u = 6.995 + 0.005. Which is smaller: u or -4?
-4
Suppose -2*i = -2*p + 12, 8*i = 3*i + 4*p - 25. Which is bigger: -11/6 or i?
i
Let d = 17 - 16. Are -4 and d equal?
False
Let r be 126/24 - 2/8. Let l be (r/2 + -2)/2. Let k(d) = -2*d**2 - 2*d - 1. Let w be k(-1). Which is smaller: w or l?
w
Let w be 3/((-9)/(-12)) + 4. Suppose v + 5 = w. Which is bigger: v or 4?
4
Let d(l) = -2*l - 12. Let s be d(-8). Suppose -5*g = 15, -s*w + 2*g = -0*g + 14. Is -4 <= w?
False
Suppose 3*b = 7*b + 32. Let d = b + 4. Let v be ((-2)/(-4))/(d/(-12)). Which is smaller: 1 or v?
1
Let t be -5 - -3 - -2 - -2. Suppose t*j + 0*j + 6 = 0. Is j < -2?
True
Suppose 15 = 3*z + 4*u, 3*z - 8 = 7*z - 4*u. Suppose -3*r + n + 3 = -0*n, 0 = -2*r - 2*n + 10. Suppose -3*h + 0*f - 3*f = 12, h = -r*f - 9. Does z = h?
True
Let g be (-9)/((-135)/95) - (-3)/(-2). Which is bigger: g or 6?
6
Let k be ((-24)/(-150))/((-1)/((-10)/(-2))). Is -1 bigger than k?
False
Suppose p + 3*n + 19 = 5*p, 3*p + 2 = -n. Let k = -4 - -1. Let f be (0 + k/2)*-2. Which is smaller: p or f?
p
Let l(g) = -g**3 + 17*g**2 + g + 10. Let r be l(17). Which is smaller: r or 29?
r
Let a = 85/2 - 42. Suppose 2*b = -4*h - 16, 3*h = -5*b - 15 - 4. Let f = 5 + h. Which is smaller: f or a?
a
Suppose 4*w - 1 = 3*w. Let i(n) = 2*n - 8. Let k be i(8). Suppose -3*o + k = o. Is w at least o?
False
Suppose 0 = 2*h + 3*h - 15. Let j be (-3)/((-27)/(-6) - h). Is -3/2 < j?
False
Let i be (-70)/(-8) + (-3)/4. Let x be (2 - 1)/(4/i). Suppose 0*d = -4*g - 5*d + 32, -x*g - 5*d + 26 = 0. Do g and 1/4 have different values?
True
Let f be (-1)/(-3) - (-5631)/9. Let z be (-6)/3 + f/16. Let v = -37 + z. Which is smaller: -2/3 or v?
-2/3
Let c = -12.7 - -12. Let y = c - 0.3. Does y = 0.05?
False
Let l = -23 - -24.4. Let d = 2 - 2.4. Let k = d + l. Which is smaller: k or -0.06?
-0.06
Let m be (-2 - -3)*(13 - 2). Let y = m - 12. Which is greater: y or -2?
y
Let m be (-16)/10*(-4)/(-16). Which is bigger: m or -1?
m
Let o = -3 - 0. Let a be 20/10*(-1 - 1). Is a at least o?
False
Let c(r) = -r**2 + 10*r - 5. Let f be c(9). Suppose -2*h + 0*h = f*b + 8, -3*h = 4*b + 10. Which is smaller: -2 or b?
-2
Suppose q - 2*i + 6*i = -4, -i = 1. Let j be (6/(-4))/(234/(-314)). Let c = -13/6 + j. Which is smaller: c or q?
c
Let r be 17/(-51)*(-3)/5. Is -1 < r?
True
Let y = 230.99 - 228. Let n = 0.01 + y. Let b = 5 - n. Is b >= -3?
True
Let w = 69.9 - 70. Let d = -11 - -7. Are d and w nonequal?
True
Let p be (2/348)/(4/(-16)). Let a = p + 196/957. Which is greater: 1 or a?
1
Let l = 14/37 + -241/148. Let i = l - -213/164. Is -1 >= i?
False
Let f = -40.29 - -40. Let n = 3.71 - f. Are n and 1 equal?
False
Let w = -108/11 + 778/77. Let y = -1 - -1. Which is bigger: w or y?
w
Let v be (9/(-30))/(1/2). Let g = -3 - -3. Let j = g - 2. Which is greater: v or j?
v
Let s = -10 - -14. Let b = s + -4. Which is smaller: b or 2/5?
b
Let d = -0.1 - -0.2. Let z = 3 - 3.4. Is d greater than z?
True
Suppose 10*z - 55 = 5*z. Is z less than 9?
False
Let b = -11 + 19. Suppose 2*f = f + 4, -2*o - f + b = 0. Suppose -6 - o = -2*z + 3*y, -4*z = -2*y - 8. Is z less than -0.2?
False
Let j = 1366/11 - 124. Suppose 5*d = 3*d - 2. Is d > j?
False
Let j = -1136/9 + 126. Is -1 greater than j?
False
Suppose -8*z = -5*z - 33. Which is bigger: 9 or z?
z
Suppose -2*n = -n + 13. Let q = -9 - n. Suppose -t - 2 = 0, 9*u - 7 = q*u - 4*t. Is 3 <= u?
True
Suppose -5*q = 4 + 6. Let w = 2 - q. Suppose -2*o + w*o = 0. Which is bigger: 1/3 or o?
1/3
Let m be 12/(-8)*(-12)/(-531). Let z = 301/177 + m. Which is smaller: z or -0.2?
-0.2
Let z(t) = -t. Let y(r) = r - 3. Let p(c) = -y(c) - 2*z(c). Let s be p(-2). Does s = -4?
False
Suppose 2*u + 0 = 4. Let i be ((-5)/(15/(-6)))/u. Is i < 1/7?
False