/20)/(-7)*-16. Let n be z/(-20) + 1 - 2. Which is smaller: -80 or n?
-80
Let b be (-1 + 1)*(1 + (-6)/3). Let j be (1/(-3))/(b + 1)*-7. Is j != 3?
True
Suppose -5*t + j = 0, -4*j = -4*t - 0*t + 16. Let z = 812 - 1150. Let w = -7772/23 - z. Is w < t?
False
Let g(z) = -13*z - 1. Let j be g(-1). Let r(i) be the first derivative of i**3/3 + 5*i**2/2 - 14*i + 7. Let s be r(-8). Which is smaller: j or s?
s
Let k be ((-458)/34)/((-2)/42). Suppose -2*n + 5*j = -541, 5*n - 4*j = -0*j + 1395. Let s = n - k. Is 0 != s?
True
Let g(v) = v**3 + 5*v**2 + 3*v + 3. Let k be g(-5). Suppose -4*q - 2*q = 84. Which is smaller: k or q?
q
Suppose -m + 3*m + 12 = 0. Suppose 5*l = -0*s - 2*s + 70, l - s - 14 = 0. Suppose 0 = 4*p - t + 2 + l, 1 = 3*p - 4*t. Which is bigger: p or m?
p
Let a = -12/55 + 139/385. Let k(p) = -p - 3. Let s be k(3). Is a <= s?
False
Let a = 78/85 + -4/5. Let w(b) be the second derivative of -b**5/20 + b**4/2 - b**3 + 2*b**2 + b. Let y be w(5). Is y > a?
False
Let j(w) = 2*w**2 - 60*w - 333. Let k be j(-5). Let u(c) = c**3 - 2*c**2 + 3*c + 1. Let z be u(3). Which is greater: z or k?
z
Let z(h) = -h**3 - 15*h**2 - 27*h + 28. Let s be z(-13). Is s at least as big as 0?
True
Let f be (-1 + 4)*(-8)/12 + -2. Are -23/9 and f equal?
False
Let c be (8/6)/(4/12). Suppose -3*w = -2*x + 20, -2*w = x - 7 + 11. Suppose x*a = -2*g + 18, 4*a + 2*g - 13 = g. Does a = c?
False
Let q(y) = y**3 + 7*y**2 + 6*y - 4. Let z be q(-6). Let x be z/14 + (-58)/(-7). Let a be (4/6)/(x/12). Which is smaller: 2/17 or a?
2/17
Let q be ((-24)/20)/(-2 + (-258)/(-120)). Is q <= -7?
True
Suppose 0 = -3*w + 43 + 17. Suppose 3*a = 2*a - w. Let y be (a/8)/(-5)*0. Which is smaller: -3 or y?
-3
Suppose 228*i - 239*i + 3938 = 0. Is 358 < i?
False
Let p be 2/(-8) - ((-9912)/(-32) + -7). Is -305 smaller than p?
True
Let x(z) = 4*z**2 - 39*z + 15. Let h be x(11). Is h greater than or equal to 71?
False
Let b = -2.55 - -60.95. Let s = b + -57. Which is smaller: -2/7 or s?
-2/7
Let p be ((-40)/(-50))/(1/5). Suppose p*k + k = 25. Let q be 2/k*(-6 - -1). Is q less than 0.1?
True
Suppose 0 = 56*l + 10284 + 21804. Is l smaller than -572?
True
Let t be (-5 - -3) + (-76)/(-18). Let h be (-32)/(-14) - (-14 - 400/(-28)). Which is greater: t or h?
t
Let f = -826 - -7469/9. Is f less than 4?
True
Let z be (-48)/(-25) + (-128)/(-1600). Which is smaller: 5/6 or z?
5/6
Let x(m) = 2*m - 8. Suppose 0 = v + 4*v - 55. Let t be x(v). Let q be (-8)/6*3 - t. Which is smaller: q or -17?
q
Let x be -5 - -5 - 6/9. Which is smaller: x or -141?
-141
Let d = -2 + 2. Suppose 0*s + 10 = -2*s, -3*l - 3*s + 105 = 0. Let r be (-24)/70 + 8/l. Is r greater than or equal to d?
False
Let n = -231 - -231. Do n and -72 have the same value?
False
Suppose 0 = a + 3*a - 5*a. Is 11/21 < a?
False
Let g(h) = h**3 - 11*h - 10. Let u be g(9). Suppose 0*n = -5*k - 5*n + u, -4*k = 5*n - 500. Let t be 57/k + (-4)/(-10). Is 0 at least t?
False
Let y = -75 + 106. Let m = -28 + y. Which is greater: m or 2/7?
m
Let c = -609.3 + 578.41. Let d = -31 - c. Is d at least as big as -2/5?
True
Suppose -5*w = -4*q + 57, 2 + 1 = q + w. Suppose -5*g - q = -4*j - g, 5*j + 4*g = 1. Which is smaller: 3/2 or j?
j
Suppose -43*q + 46*q - 3 = 0. Is q > -3/34?
True
Let l = -189 + 1121/6. Suppose -4*g + 8 = -8. Let c be 2 - (g - (-3 - -2)). Which is smaller: l or c?
c
Suppose g - 50 = -4*g. Let w(m) = 5*m + m - 3*m + g - 2*m. Let x be w(-13). Is x at least -2?
False
Suppose 7*h - 3 = 4*h. Let p be -1*2*(h + 0). Let b be (-3 + (-10)/(-3))*p. Which is smaller: -1 or b?
-1
Let j = -58 + 56. Let f = -1.6 + 1.2. Which is smaller: f or j?
j
Let v be (-6)/8 - (-1)/(-4). Let m be 2 + -3 + 1 + 3/(-6). Which is greater: v or m?
m
Let v = -15310816/85 - -256099/17. Let d = -165582 - v. Let z = d + 521. Which is bigger: 2 or z?
2
Suppose 12 = -4*z + 8*z. Suppose -4 = z*u - 7*u. Let v = 2 - 2. Which is smaller: v or u?
v
Let a = 33 + -32. Is 0.16 != a?
True
Suppose -105 = -13*l - 79. Is l greater than or equal to -0.139?
True
Let k = -226431/260 - -11382/13. Which is smaller: k or 4?
4
Let c be -2 - 1*(-3 - -1). Is c equal to 11/137?
False
Let g = -14 - 9. Let y = g - -22.6. Suppose w = -10 + 7. Is w greater than y?
False
Let q = -1/6055 - -5213/139265. Which is bigger: q or 0?
q
Let m be 103/1 - 14/((-28)/6). Are m and 106 unequal?
False
Suppose 5*x = -3*c + 3 + 18, 3*x - 1 = 4*c. Let k be c/(-12)*(-63)/6. Let m = 641 + -640. Is m at most as big as k?
True
Let y = -3/80 + 49/240. Let l be (0 + (-4 - -4))/(-1). Is y greater than l?
True
Let d(i) = i**2 + 7*i. Let r be d(-5). Let w = r + 11. Suppose -4*o + 5 = w. Is o <= 1/5?
False
Suppose w + 0*w = k + 1037, -15 = 3*k. Let r be -6 - -1 - (-5256)/w. Which is smaller: -1 or r?
-1
Suppose -i = 86 - 76. Is i at most as big as 1?
True
Let p = -1 + 1.03. Suppose -2 + 7 = 5*i. Let w be (-3 + (-15)/(-6))/i. Is w bigger than p?
False
Let r be (-4042)/(-20) + 11/(-110). Let m be (-6)/27 - 97/9. Let z be 2/m - r/99. Which is smaller: -2 or z?
z
Suppose 0 = -4*p + r + 2091 - 640, -721 = -2*p + 5*r. Is p greater than 362?
True
Let p = -86 + 26. Let w be 91/(-105) + 8/p. Which is bigger: 26 or w?
26
Let s be 0 + 3/7 - (-3105)/(-6118). Let b(q) = -10*q + 49. Let h be b(5). Is s less than or equal to h?
False
Let a = -2.493 - -2.38. Let n = a + 0.073. Do n and -3/4 have different values?
True
Let o = 125/3 + -2747/66. Suppose 0 = -0*i + 6*i + 450. Let z = i - -76. Does z = o?
False
Suppose 31 = 5*q - 34. Let u(m) = m**3 - 13*m**2 - m + 14. Let x be u(q). Which is bigger: 27 or x?
27
Let f = 22 + -19.7. Let w = 1.7 + f. Let l = w + -4. Which is greater: l or 4?
4
Let y(d) = 3*d**2 + 87*d + 1. Let m be y(-29). Let k(i) = -2*i - 11. Let w be k(15). Is w smaller than m?
True
Let g(r) = -11*r - 40. Let h be g(-5). Suppose -2*k + 0 + 30 = 0. Is k equal to h?
True
Let t be (352/40)/(((-3)/(-25))/3). Let b be (-15)/(-2)*11/(t/96). Which is greater: b or 0.1?
b
Let a = 21 + -6. Suppose n - 6*n = -a. Suppose x = -3*y + 4*x + 6, 2*y - n*x - 6 = 0. Is 2 < y?
False
Let m = -1.037 + 1.01. Let v = 0.127 + m. Is v equal to 34?
False
Let d be ((-32)/1794)/4*30/(-140). Is d <= 0?
False
Let t = -58365847/496 + 1896321/16. Let y = 847 - t. Are 0 and y non-equal?
True
Let k be (-18)/(-3)*2/6. Suppose 3*z = -0*z + 4*m + 50, -3*z + 58 = -k*m. Let c = z - 25. Does c = -3?
True
Suppose -4*u + 36 = 4*m, m - 25 = -5*u + 8. Suppose u = -9*k + 6*k. Suppose 0 = -0*r + r + 3. Which is smaller: r or k?
r
Let u be -13 + (3 + -3)/3. Let v = -21 + 10. Is u smaller than v?
True
Suppose 2*q = 6*o - 2*o + 464, 0 = -3*o - q - 348. Is -117 less than o?
True
Let t be 16/56 - 117/(-7). Let i be (108/8)/3*4. Is t equal to i?
False
Suppose 2*d + s = 5*s - 408, 2*s + 836 = -4*d. Is d > -206?
False
Let u(n) = -31643*n**2. Let c be u(-1). Let r = 3290715/104 + c. Let m = 1/104 + r. Which is smaller: m or -2?
-2
Let t = 1036613/145 - 7149. Which is greater: 0 or t?
t
Let y = -9 - -63. Let q = -56 + y. Let z = 5.3 + -6. Is z not equal to q?
True
Let p = 1/5980 - -5969/65780. Which is bigger: p or -169?
p
Let m = -66 - -81. Let d be 5/(-6)*(m - 17). Let k(s) = s - 2. Let y be k(4). Which is smaller: d or y?
d
Let d be ((-64)/3)/(12/288). Is -512 less than d?
False
Let p(w) = 32*w + 26. Let c be p(-7). Let g be -1*(-1)/(-6) - 375/c. Is g at least 1?
True
Let c(k) = k**3 + 28*k**2 - 55*k + 149. Let g be c(-30). Which is greater: g or 2/2703?
2/2703
Let k = -11 + 13. Is k greater than -2/5?
True
Let f = -894 - -893. Which is bigger: 1203 or f?
1203
Let j = -108.7 + 130. Let d = 21 - j. Let b = -1.98 - -2. Which is bigger: d or b?
b
Suppose -284 = -25*p + 1441. Which is bigger: 68 or p?
p
Let z(s) = -2*s + 3. Let i = 4 + -7. Let r be z(i). Let n = -8 + r. Is n not equal to -4/3?
True
Let m = 0.017 - -0.043. Let p = 4.06 - 4. Let w = m - p. Which is smaller: 7 or w?
w
Let x = 180 - 179. Is 27 less than or equal to x?
False
Let a = -554.1 - -588. Let k = a + -34. Which is greater: k or -6?
k
Let w(j) = -5*j**3 - 2*j**2 + 1. Let z be w(-1). Suppose -z*o = -2*o - 4. Suppose -14 = -f - 4*l + l, 2*f + o*l - 8 = 0. Which is bigger: 4/5 or f?
4/5
Let x = -58 + 57.8. Which is smaller: x or -0.55?
-0.55
Suppose 0 = 4*s + 15 + 5, -5*s = -2*n + 129. Suppose 13*w = -0*w - n. Is w <= -2?
True
Suppose