-20?
-20
Let x be 1/1 + 18 + 0. Suppose -18*d = -x*d + 7. Let j(n) = -n**3 - 7*n**2 - 7*n + 2. Let t be j(-6). Which is smaller: d or t?
d
Let j be (-3234)/(-343)*(-3)/(-9). Is -0.3 > j?
False
Let k = 0.95 - 1. Let g = -361.1 - -361. Are k and g equal?
False
Let s be (60/14)/(9/126). Which is smaller: s or 61?
s
Let p be (-10)/(-14)*(-9 + 16). Suppose 12 = d - p*d. Do -4 and d have the same value?
False
Let v be (-2 - (-39)/20)*1080/(-8550). Is -1 bigger than v?
False
Let h = -1.14 - -1. Let y = -0.24 - h. Which is smaller: y or 3?
y
Let u be (2/(-6))/(-13 - 632/(-48)). Which is smaller: u or 31?
u
Let s = -1094 + 1220. Is 124 bigger than s?
False
Let s(u) = -7*u - 43. Let h be s(-15). Suppose 6 = -h*f + 63*f. Do 7 and f have the same value?
False
Let g(q) = -q**3 + 4*q**2 - 10*q + 25. Let f be g(3). Which is smaller: f or 12?
f
Let a = 5/756 - -26813/3780. Let u = 29/4 - a. Which is greater: u or -1?
u
Let d = 1607 + -1196. Is 410 equal to d?
False
Let p be ((-3)/(-12))/((-7)/(-84)). Let b = p - 3. Do -2/25 and b have the same value?
False
Let k = -13.92 + 14. Let w = -0.1 + k. Let m = 0.18 - w. Which is greater: -0.1 or m?
m
Let z(i) = i**2 + 12*i + 171. Let v be z(-13). Is 187 less than v?
False
Suppose -2*j - j = -2*u + 36, 0 = 2*u - j - 32. Suppose -6*i = -i + u. Let n(m) = -m**2 - 6*m. Let h be n(i). Is h greater than 8?
True
Suppose 15*l = -4 - 116. Let x(d) = 7*d**3 - d**2 - d. Let b be x(-1). Which is greater: b or l?
b
Let n be (4 - (6 + -3))/(1/7). Suppose -n*x + 12*x + 90 = 0. Do x and -18 have different values?
False
Suppose 0 = 2*m + 2*m + 3*s + 7, -2*s = 10. Suppose 10 = -2*i + 4*w - 4, -20 = 2*i + m*w. Is i less than or equal to -9?
True
Let x(u) = 40*u**3 - 4*u**2 - u + 1. Let o be x(-1). Is o at most -42?
True
Let m be (-40)/(-6) + (-1)/(-3). Let q = 40 - 130. Let y = q - -95. Which is bigger: y or m?
m
Let a be ((3 - 3)/1)/(-1). Let u = 895 + -115457/129. Which is smaller: u or a?
u
Let m = -29.022 + 0.022. Let q = 29.2 + m. Let x be (-1)/(1*-1 - -2). Which is bigger: x or q?
q
Let u = 34243/34 + -1007. Which is bigger: u or 0?
u
Suppose 2*c = 7 - 13. Let p be 4 - (-3)/c*4. Let v(o) = -o**2 - 2*o + 1. Let j be v(p). Are -1/39 and j non-equal?
True
Let v = 707 + -707.1. Is v at least 416?
False
Suppose 15 = 3*d + 57. Suppose -2*t = -2*h - 34 + 8, 3*h = 2*t - 40. Let k = h - d. Which is greater: k or -1?
k
Let d be -1 + 1 - (1 - -58). Suppose -25*k = 72*k + 5723. Is k bigger than d?
False
Let c = 54.5 - 40. Which is greater: c or -1/4?
c
Let i(c) = -7*c**2 + 61*c - 20. Let l be i(4). Which is smaller: l or 451/4?
l
Let p(l) = l**2 + 15*l - 20. Let q be p(-16). Let m be -4 + (-6 + q - -3). Is m not equal to -11?
False
Let r = -6/1061 + 20531/65782. Does 0 = r?
False
Let a(s) = -3*s**3 + 6*s**2 + 2*s - 3. Let l be a(3). Let i be 78/(-35) + l/(-56). Are -3 and i unequal?
True
Let i(z) be the third derivative of z**6/120 + z**5/10 - z**4/4 + z**3 + 18*z**2. Let k be i(-7). Is 12 at least k?
True
Let s = -34.9 - -21.9. Which is smaller: s or -1/4?
s
Let y = -8141/20268 - 5/4504. Let d = 5/18 + y. Which is smaller: 0 or d?
d
Let h = -1998 + 2331. Which is smaller: 332 or h?
332
Suppose -c - 45 = z, z + 31 + 110 = -3*c. Let r(s) = -2*s**2 - 3*s - 5. Let w be r(4). Is w at most as big as c?
True
Let v be (12/(-15))/(4/(-10)). Let z = 477 - 473. Suppose 3*m = -a + v*m, -a = z*m. Which is bigger: a or 6/17?
6/17
Suppose 4*w = -5*r - w + 70, 2*r + w - 27 = 0. Let u = r - 14. Is -2/7 at least as big as u?
True
Let m = 1413/145 + -184/29. Suppose 7*n - 3*n = -4*a + 24, 5*n + 3*a = 24. Which is greater: m or n?
m
Let b(y) = -y**3 - 7*y**2 - 4*y - 9. Let u be b(-6). Let p(h) = -h**3 + 9*h**2 - 5*h - 3. Let o be p(8). Let z = o + u. Which is smaller: 10/11 or z?
z
Suppose -r = -3*r - 3*b - 133, -5*b = 5*r + 330. Let k = -73 - r. Let o = -0.9 - -1. Is o < k?
False
Let t = -1399 + 908. Which is greater: -490 or t?
-490
Let t be (21/4)/(285/5776). Which is smaller: t or 105?
105
Suppose 2*n = -6*n + 208. Let b be n/(-12) + (3 - 4)*-3. Is 0 greater than or equal to b?
False
Let f = 194 + -292. Let g = -100 - f. Is -7/4 greater than g?
True
Let u = 424.2 + -423. Do -10 and u have the same value?
False
Let g = -271 - -277. Let t = 5 + -5.3. Which is greater: t or g?
g
Let n = 20 + -19. Let u = -1 - n. Let m = -3 - u. Which is bigger: m or -0.16?
-0.16
Let k = -75 + 75.098. Let s = 12568 + -12567. Are s and k non-equal?
True
Let c(m) = 55*m + 10. Let l be c(-1). Is -50 at most as big as l?
True
Let i(b) = 5*b**2 + 6*b + 9 + 4*b - b**3 - 2*b + 3*b**2. Let k be i(9). Is k bigger than 2/13?
False
Suppose -5*i - 3 + 6 = q, -3 = -q + 2*i. Let n be (-1)/1*(-2 + q). Which is greater: n or -5/6?
-5/6
Let i(a) = -127*a + 501. Let z be i(4). Let n = -0.3 - -0.1. Is z greater than or equal to n?
False
Let l(w) = -w - 7. Let y be l(-3). Let h(a) = a + 1. Let g be h(3). Let k = g - 3. Which is bigger: y or k?
k
Let h(k) = -k. Let b be h(-2). Let w be (3 - 3)/(b - 5). Suppose j - 3*p = 5, w = -2*j + 2*p + 2. Which is smaller: -28 or j?
-28
Let j = -13 - -18. Suppose -j*q + 19 = 4*a - 3, 2*a = 6. Suppose -3*x = -4*x + q. Do x and 2 have the same value?
True
Let b be 2/((-20)/(-50)) + (-69)/13. Let p be (-1)/((-3)/(-3)*-1). Are p and b non-equal?
True
Let h = -3.35 - -2.35. Let w = -4 - -6. Let m be 2/8 - (w - 1). Is h greater than m?
False
Let y be (-1)/5012*4*2. Which is bigger: -1 or y?
y
Let y(r) = -2*r**2 - 4*r. Let j be y(-2). Let u be (-122)/876 + (-3)/(-6*3). Is j greater than or equal to u?
False
Let o be -3 - ((-345)/(-5) + -5). Which is greater: -68 or o?
o
Let h(b) = 4*b**2 - 2*b - 1. Let a be h(-1). Let i(p) be the second derivative of -p**4/12 - 5*p**3/3 - 2*p**2 - 5*p. Let n be i(-9). Is n at least a?
True
Let g be ((-24)/28)/(8/168). Which is smaller: -17 or g?
g
Let p = -40 - -88. Let g be (-1)/(-6) + 2042/42 + 273/1274. Are p and g nonequal?
True
Suppose -2256 = 13*j - 9*j + 2*g, -1152 = 2*j - 5*g. Are -565 and j nonequal?
True
Let g be 20/21 - (6/10 - (-132)/(-420)). Let n be 3/((-3)/(-5))*2. Let y = 3 - n. Do g and y have the same value?
False
Suppose -26 = -2*a + 8. Suppose -a = -z + 6. Let c = 25 - z. Are c and 2 non-equal?
False
Let f = 2 - 2. Suppose f*j - 2*y = -j - 112, -3*y - 345 = 3*j. Do j and -115 have the same value?
False
Let l be 6/(-7452)*-357 - (-6)/(-27). Which is smaller: 2/7 or l?
l
Let f(j) = -j**3 - 2*j**2 + 13*j + 1. Let h be f(4). Let z = h + 38. Is -3 not equal to z?
True
Let q = 170 - 813/5. Which is bigger: q or 6?
q
Let a(v) = -v**2 + 5*v + 7. Let p be a(5). Which is greater: p or 14?
14
Let y be 8/(320/3324) - 5/50. Are y and 84 equal?
False
Let z be -1 + (3 - 4) - -4. Suppose z*h - 64 = -t, -h = 4*t - 5*h - 232. Is t at most 60?
True
Let u(z) = -z**2 + 2. Let x be u(0). Suppose -5*c + 140 = -5*r, 0 = 4*c - 2*c + 4*r - 32. Let k be (-2)/c*-22 - x. Which is bigger: k or -1?
k
Let b(x) be the first derivative of -x**4/4 - 4*x**3 - x**2/2 + 4*x - 11. Let r be b(-12). Is r less than or equal to 18?
True
Let g = -0.11 - -1.21. Let z = -100 + 101.2. Let c = g - z. Is c bigger than -0.04?
False
Let h = 14 - 16. Let y = 1.6 + h. Let m = y - -0.2. Is m >= -3?
True
Let y = 0.11 - 0.01. Let c = y + -0.1. Let n = -109/1314 - -2/73. Is c >= n?
True
Suppose 4*q + 4*z = 0, 2*q - 5*z = -3*q + 40. Let v be 5 + 0 - (-4)/(-2). Suppose -6 + 0 = -v*i. Is q > i?
True
Let s = 0.057 + -1.657. Is 0.2 <= s?
False
Let l(i) = -i**3 + 7*i**2 + i. Let j be l(7). Let r = -13 - -18. Is j smaller than r?
False
Let b = 22 - -11. Let z be b/11 + 0/(-1). Let o(x) = -x + 1. Let j be o(2). Is j at least as big as z?
False
Let z = -5.0464 + 0.0464. Is z >= 0.44?
False
Let b = -15182/17 + 892. Let q = 115 - 116. Which is smaller: q or b?
b
Suppose 4*w - 56 + 8 = -l, -5*l - 2*w + 294 = 0. Suppose -2*v = -6*o + o - 39, 0 = -5*v + 5*o + 120. Let y be (v/l)/((-24)/(-10)). Is y < -1?
False
Let o be (5 + 76/(-3) + 2)*3. Is o bigger than -58?
True
Let f(k) = -k**2 + 48*k - 153. Let y be f(56). Is -603 != y?
True
Let m be (1 + 5)*(-55)/(-22). Let v(y) = -20*y + 12*y + 5 + 2*y + 5*y. Let w be v(m). Is w > -10?
False
Suppose 167 = 3*m + 2*u, 0 = -4*m - 3*u - 2*u + 232. Let b = -65 + m. Which is bigger: -9 or b?
-9
Suppose 34*s - 35*s + 22 = 0. Which is smaller: s