28*33. Are -1 and h non-equal?
True
Suppose -2*s - 11 = 3. Let a(k) be the first derivative of 7*k**4/4 + k**3/3 + k**2 + 2*k - 1. Let r be a(-1). Do r and s have the same value?
False
Suppose 3*g + 9 = 0, -4*j + 86 = -g + 27. Suppose 2 + 36 = 3*b + 2*l, b + 2*l = j. Let w be 2*(-14)/b + 3. Which is smaller: 0 or w?
0
Suppose q = -3*n + 1, -9 + 4 = n - q. Is n smaller than 7?
True
Suppose 3*z - 6 = 0, -4*i + 2*z = 4 + 40. Let j = i + 11. Let b be 1 + 1/(39/(-41)). Which is smaller: b or j?
b
Suppose 0 = -30*a - 31*a + 28914. Which is smaller: a or 473?
473
Suppose 3093*k = 3084*k - 540. Are -3 and k nonequal?
True
Let c(j) = -j + 17. Let p(w) = w**2 + 4*w - 11. Let i be p(-7). Let d be c(i). Is d greater than or equal to 3?
True
Let d be 108/(-180) - (-6)/10. Let s be (-254)/(-36)*8/(-10). Let r = 40/9 + s. Which is smaller: d or r?
r
Let g = 0.2 - -1.8. Suppose 15*r = 12*r + 63. Let s be (-3)/(-3 - r/(-2)). Is g at most s?
False
Let w be 10/8 - (-4 + (-192)/(-36)). Suppose 2*d - 3*u = 12, -2*d - 3*d = -5*u - 20. Is d smaller than w?
False
Let i(w) = -5*w**3. Let l be i(-1). Let r(b) = 5 + b**3 + l*b**2 - 4 - 9*b + 13*b. Let z be r(-4). Are z and 2/45 unequal?
True
Let y(w) = 2*w**2 - 45*w + 40. Let i be y(21). Which is greater: i or 2?
2
Let i be (-110)/6*(-7 + 170/20). Are i and -27 unequal?
True
Let w = 28/73 + 680/511. Let n = w + -163/91. Which is smaller: n or 0?
n
Let h = 902 - 903. Let n be 17/21 + 4/(-6). Which is greater: h or n?
n
Let b(m) = 1 - 1 - 2 + m. Let u be b(2). Suppose -25 = 4*l - f + 5, -5*l + 5*f - 45 = u. Is -7 at most l?
True
Let s(q) = q**3 + 6*q**2 + 5*q - 4. Let o be s(-5). Let c be (-26)/22 + o/(-22). Let n = 27/4 + -289/44. Is n less than or equal to c?
False
Suppose 4*s + 9*h - 4*h = -38, 0 = 5*s + 5*h + 45. Let g be 2*3/18*s. Let k be (-2*(-1)/2)/(-1). Is k greater than or equal to g?
True
Let p = -130.92 + 2.92. Let z = p + 125. Let j = 0 - -4. Is z bigger than j?
False
Let z(j) = j**3 + 20*j**2 + 37*j + 22. Let t be z(-18). Let q be 1 - (-8 + t - -8). Is q at least as big as -27?
True
Let n = -30 - -51. Let y = n - 22. Which is smaller: y or -4/11?
y
Let i be 1/(-4*5/(-60)). Let v be i/8*180/81. Which is smaller: v or 0?
0
Suppose 0 = -s + 3*x + 9, 3*s + s + 4*x = -12. Suppose s*j = j + 7. Is j >= -6?
False
Suppose 4*h - 21 = 5*h + 4*r, -h - r = 30. Is -2 greater than h?
True
Let t = -69 - -69. Suppose t = 3*a - 2*s - 53, -a - 3*s = 3*a - 99. Is 21 equal to a?
True
Let n(u) = u**2 + 10*u + 30. Let s be n(-7). Let z be (s/(-21))/(14/7). Which is greater: z or 0?
0
Let v = 0.3349 + -0.0349. Which is smaller: -4/61 or v?
-4/61
Let x = 5/16 - 67/112. Let i be 264/40 + 6/(-10). Suppose -i*n + 9*n - 12 = 0. Which is smaller: n or x?
x
Let l = -1103 - -1102.941. Is -2 bigger than l?
False
Let a(r) = 5*r**2 + r - 1. Let u be a(1). Suppose -u*p - q + 4*q - 14 = 0, p + 16 = 5*q. Let y be (65/(-228) + 3/12)*-3. Is p != y?
True
Suppose -4*o - 30 = -o. Let i(a) = -894*a**3 + 895*a**3 - 2*a + 6*a - 3*a**2 + 12 - 5*a**2. Let c be i(7). Which is smaller: c or o?
o
Let p = 2040 + -2129. Is -89 less than or equal to p?
True
Let m = 3 - 3. Let p = -223/184 - -9/8. Which is greater: p or m?
m
Suppose -l = -4*c + 6, 4*l - 2 + 0 = 3*c. Let k be 3/(-2) - (l - 4). Let g(m) = -m + 1. Let n be g(0). Which is smaller: n or k?
k
Let y = -918 - -932. Is y <= -4?
False
Let h = -408 + 408. Is h at most -7/66?
False
Let d = 16 + -11. Suppose j + 18 = d*g, -g + 12 = 3*g - 2*j. Suppose g = 3*w + 13. Which is smaller: w or -2?
w
Let j be (30/(-5) - 0) + (-8523)/9. Which is smaller: j or -951?
j
Suppose 5*l + 2*z = 40, -4*l + 3*z - 2*z + 19 = 0. Suppose -2*s = 2*m - l*m - 10, 5*m - 15 = 0. Which is smaller: s or 10?
10
Let u(v) = -v**3 + 14*v**2 - 6*v + 4. Let q be u(14). Is -2 > q?
True
Let s = -201421/180 + 1119. Which is smaller: s or 1?
s
Let z be -3 - 1*(-57)/15 - 1584/1530. Let r(s) = -s**2 - 3*s + 5. Let d be r(-4). Is d not equal to z?
True
Let x = -8.6 - -8.03. Let w = -0.97 - x. Which is smaller: -1/2 or w?
-1/2
Let c be (-3120)/50 + -2 + 4. Which is smaller: -61 or c?
-61
Let v = 12 + -15. Let m be 12*(v + (-115)/(-39)). Let n = 2/39 - m. Is n not equal to -1/6?
True
Let d = -287 + 1444/5. Let v = 2/15 - d. Which is bigger: v or -2?
v
Let y = -3339 + 3194.9. Let l = -144 - y. Which is greater: l or 44?
44
Suppose -5 - 1 = -y. Let u(p) = -p - 1. Let n be u(y). Let d = n + 20/3. Which is greater: 0 or d?
0
Let a = -14.22 - -0.22. Let c = a - -14.07. Let s = c - -0.93. Is s greater than 0.8?
True
Suppose -5*a - 9 = -3*o, -a + 5 + 7 = 4*o. Which is smaller: a or 1/9?
a
Let b(d) = 8*d. Let j be b(0). Do -21/32 and j have different values?
True
Suppose 2 - 68 = -11*j. Suppose l - 2*l + r + 7 = 0, -3*l + r + 13 = 0. Suppose l*y = y + j. Which is greater: y or -4/7?
y
Suppose -2*x = 3*n + 5, n - 20 = -3*n. Let m = x + 19. Let f be 7/(-5) + (10 - m). Is f bigger than 0?
False
Let b be -1 - 3842/(-9030) - (-596)/1043. Which is smaller: 0 or b?
b
Let t(s) = s**3 - 4*s**2 + 2*s - 9. Let w be t(4). Is 1/122 greater than w?
True
Let t = 15.694 + -16.1. Let s = t - -0.006. Which is smaller: -7/3 or s?
-7/3
Suppose -5*u + 5*j - 3*j + 68 = 0, -u = 2*j - 4. Let b be 1/(2 - (-50)/(-26)). Is b at least u?
True
Let b be (1/2)/((-6)/(-12)). Are b and -2/105 nonequal?
True
Let j = 17 - 20. Suppose 2*s - 10 = 0, 17 = -3*l + 2*s - s. Let i = -6 - l. Is i less than j?
False
Suppose -8*d - d + 5*d = -68. Let s = 21 - 5. Which is greater: d or s?
d
Suppose -i = 2*u - 40, -98 = -i - i + 5*u. Suppose -2*q + i = -2*d + 12, -3*q - 12 = 0. Let y = -16 - d. Do 2 and y have different values?
True
Let s = -61 + 11. Let m(f) = f**3 + 27*f**2 + 75*f + 23. Let j be m(-24). Is j < s?
False
Let r be 3*((-7)/(-3) - 2). Let a = -7 - -22. Let m be (a - 15) + (3/4)/(-3). Which is greater: m or r?
r
Let j = 0.9597 - -0.0403. Let n be 4/46*(-6)/(-4). Does j = n?
False
Let m be 18/(-21)*(-91)/104. Is -19 greater than or equal to m?
False
Let s = 979 + -978. Is s <= 1/1486?
False
Let y be 2/(1/(3/6)). Let m be 15/45 - 4/(72/42). Which is smaller: m or y?
m
Let g = 1 + -2. Let z = -177/5 - -6519/185. Which is smaller: g or z?
g
Suppose -g + 1 = -3*c - 25, -2*c = 5*g - 11. Is 55 equal to c?
False
Let w(n) = 0*n**3 + 1 - n**3 + 4*n - 4*n**2 - n**2 - 8. Let v be w(-6). Suppose -2*f = -v*l - 6 - 7, 0 = 2*l + 2*f - 6. Is l at most 2?
True
Let z(y) be the first derivative of -y**4/4 - 5*y**3/3 - y**2/2 + 2*y + 1. Let r = -51 - -47. Let s be z(r). Which is bigger: -11 or s?
s
Let k be -42*2/(-4) + 5. Let i be -62*(-2)/k + -4. Is i greater than or equal to 2?
False
Let b be (-2)/5 + 176/(-10). Let u be (-2)/b + (-11)/33. Let h(t) = t + 7. Let i be h(-8). Which is bigger: u or i?
u
Suppose 7 = 3*f - 11. Suppose -f*s = -9*s + 12. Do 42/11 and s have the same value?
False
Let h = -4.8 + 4.61. Let v = -0.183 + 0.093. Let r = v - h. Which is bigger: -1 or r?
r
Let b(f) = -f**2 - f - 1. Let y be b(-1). Let l = 1 + y. Let o = -843 + 26135/31. Which is smaller: l or o?
l
Let q(c) = -2*c**3 - c**2 - 2*c - 3. Let h be q(-2). Let w(g) = -g - 19. Let p be w(-7). Let f = p + h. Is 2/5 at most as big as f?
True
Let b = -2210 - -2202. Which is smaller: 53 or b?
b
Let o be -2 - 19/((-38)/(-876)). Is -440 at most as big as o?
True
Let m be (-2)/(-4)*-6*1. Let o(i) = 2*i**2 + 7*i + 4. Let z be o(m). Suppose y - z = -0. Does -0.08 = y?
False
Let c(d) = 5*d**3 + 2*d**2 + d + 2. Let x be c(-2). Let k(h) = -h**2 - 13*h + 19. Let z be k(-12). Let b be z/(-2)*(-2 + 3 + 1). Is b at most x?
False
Let o be (1*3)/(3/(-4)). Let i be o/(-14) - 36/(-70). Let b be 1*182/78*((-12)/14)/(-1). Does i = b?
False
Let s be 3/2 - (-762)/(-12). Let k be s/(-28) + (-9)/18. Suppose 6 = 5*y - 9. Which is greater: k or y?
y
Let t(n) = -n**3 + 8*n**2 - 8*n - 3. Let r be t(7). Let j be (-18)/(-3) + -2 + 4. Let b be -5*(-9)/((-1260)/j). Which is smaller: r or b?
r
Let d = -135 - -137.6. Is 2/7 < d?
True
Suppose -2*h + h = -1. Suppose -55 = 6*s - 85. Is h less than or equal to s?
True
Let c = -120 - -81. Is -39 equal to c?
True
Let c(d) = d**3 - 4*d**2 + 5*d + 4. Let h be c(-5). Let t be (2/4)/((-57)/h). Let s = t + 55/133. Is s less than 4?
True
Let g = -84125/34 + 2474. Which is smaller: g or -1?
-1
Suppose 5*f - 201 - 580 = d, -2*f