9?
r
Let q = 1 + -1. Let u = q - 1. Let h be 108/81*3/10. Are u and h nonequal?
True
Let d be 4/6 - (-87)/(-117). Which is greater: -1 or d?
d
Let l = -62 + 61. Is l at most 8?
True
Let j be 40/(-42) - 4/(-14). Let w be (2/20)/((-42)/25). Let u = w - 4/21. Which is smaller: j or u?
j
Let s be -8 + 9 + (0 + 0 - -6). Is s >= 0.3?
True
Suppose 4*m + 24 = 2*c - 6*c, 0 = -3*c - 2*m - 16. Is 13 at least c?
True
Let v(q) = -q**3 + q**2 - q. Let g be v(1). Which is smaller: 1.5 or g?
g
Let t(m) = 41*m**2 + 4*m + 2. Let p be t(-2). Let x = p + -639/4. Is -3 >= x?
False
Let h be (-160)/396 - 4/(-18). Let i(x) = x**2 - 13*x + 12. Let g be i(12). Which is smaller: h or g?
h
Let t = -351/22 - -16. Which is greater: t or 0?
t
Suppose 2*v = -3*v + 2910. Let t be (-4)/6 - v/18. Let b = 131/4 + t. Which is smaller: b or 0?
b
Let n = -3 - -3.01. Let k = 0.01 - n. Which is greater: 0.2 or k?
0.2
Let q = 12 + -26. Which is greater: -0.1 or q?
-0.1
Let j(m) be the second derivative of -1/6*m**3 - m**2 - m + 0. Let p be j(-2). Which is greater: p or 1?
1
Let r = -3 + 2. Let b = 7 - 7.1. Is b equal to r?
False
Let x be 4/((-8)/(-3))*6. Suppose 2*u = n + 3, -1 - x = -5*u. Suppose -3*m + 12 = w, 5*m - 21 + 1 = -3*w. Which is bigger: n or w?
n
Let z = -0.6 + 1.6. Let s be (-8)/(-42)*(-9)/6. Do s and z have the same value?
False
Suppose 0*p - 2*p = -10. Let u be (-66)/15 - (-2)/p. Is -3 <= u?
False
Let v(y) = -y**2 + 8*y - 3. Let b be v(8). Let i(u) = -u - 9. Let z(a) = -5. Let f(c) = 2*i(c) - 5*z(c). Let j be f(5). Does b = j?
True
Let g(v) = -7*v**2 - v. Let t be g(-3). Let i = 299/5 + t. Let k(a) = -a**3 + 2*a + 1. Let s be k(-1). Which is smaller: i or s?
i
Suppose -5*c + 6 = 2*a - 4*c, 2*a + 6 = 2*c. Is a smaller than -2/23?
False
Let i = 9/7 - 34/21. Which is smaller: 0.2 or i?
i
Let b be (8 - 5)/(1 - 0). Suppose 0 = 3*z - b + 9. Is z bigger than -3?
True
Let a = -0.01 + -0.02. Are 0.2 and a equal?
False
Let t = 4 - -9. Suppose t*g - 3 = 16*g. Are 1 and g non-equal?
True
Let h be ((-39)/(-26))/(2/4). Which is bigger: 13/3 or h?
13/3
Let h(p) = 6*p**3 - 3*p**2 + 2*p - 1. Let v be h(2). Let r = 23 - v. Let t be r/(-10) - 12/(-30). Which is smaller: 3 or t?
t
Let k = 6 - -9. Let v = k + -6. Let z = v + -13. Is -3 less than or equal to z?
False
Suppose c - 23 = -k - 4*k, 3*k - 5*c = 25. Suppose k*n = 14 + 11. Suppose -n = r + 4*r. Do r and 0.1 have different values?
True
Let q be 5/10*2*0. Is q equal to 89?
False
Let m = -5 - -6. Which is bigger: m or 9?
9
Suppose -5*b = -5*n - 3 + 8, -14 = -4*b - 2*n. Suppose -30 = -b*f - 3*f. Let z be f/(-20)*(-8)/3. Is z at most -2/7?
False
Let j be -3*((-2)/6 + 0). Suppose p - 89 = j. Let y be (-4)/p*(-10)/2. Is 1/4 bigger than y?
True
Let y = 11.1 + -10.1. Which is smaller: -6 or y?
-6
Let k = -85 + 123. Do 38 and k have the same value?
True
Let k = 57 - 57.1. Is -1/2 greater than or equal to k?
False
Suppose 2*n = 3*n + 2. Are -4/5 and n non-equal?
True
Let f = -27 + 27.29. Are 2/7 and f non-equal?
True
Suppose -5*m - 36 = 9. Let t be -2*(m/(-6))/(-3). Is 2/13 less than t?
True
Let d(s) = -s**3 + 2*s**2. Let y be d(1). Let m be (2/(-3))/(4/(-6)). Let v be (0 + y)*(m - 1). Do -2 and v have different values?
True
Let p = 6/2801 - -118931/705852. Let y = p + -1/36. Which is smaller: y or 0?
0
Let c(i) be the second derivative of i**4/12 + 5*i**3/6 - 7*i**2/2 - 6*i. Let a be c(-5). Which is smaller: a or -6?
a
Let z = 274888127/1425720296 - -1/1424296. Let f = z - 1/91. Let t = 3.9 - 4. Is t bigger than f?
False
Let i = -15 + 21. Suppose -2*h + i = j, -4*h + 10 = 2*j - h. Do 1 and j have different values?
True
Suppose -f = -4*f - 4*i, 12 = 4*i. Which is smaller: f or 1?
f
Let c = -0.2 - -0.1. Is 0.03 equal to c?
False
Let b = 312/11 - 17773/627. Let r = -37/57 - b. Let f = -3 - -1. Which is smaller: r or f?
f
Let n = -0.24 + 0.3. Is n greater than 0?
True
Let j = 193 + -2511/13. Which is smaller: j or 0?
j
Let r(a) = 2*a - 21. Let m be r(11). Is 7 greater than m?
True
Suppose 3*z - 3*w - 186 = 0, -2*z + 128 = w + w. Let h = z - 1577/25. Which is smaller: -1 or h?
-1
Let v = 5 + -4.6. Let n = -16 - -15.4. Let t = n + v. Is t less than 1/2?
True
Suppose 2*w + w = -w. Is -3 != w?
True
Let g(q) = q**2 + 11*q + 4. Let j be g(-8). Let o be 58/18 - j/(-90). Are 4 and o nonequal?
True
Let i be 2/4*6/(-9). Let v = 21 + -15. Let u = 7 - v. Is u at least i?
True
Let v be (4 - (1 - -2)) + 0. Is 6/5 at most as big as v?
False
Let k be -2*((-473)/(-210))/(-11). Let a = k - -4/21. Is a at most 1?
True
Let q = 29 + -29. Let w(z) = -z - 5. Let y be w(-6). Which is greater: y or q?
y
Let j = -0.05 + 2.05. Which is bigger: -2/7 or j?
j
Let c = 0.063 + 37.937. Which is greater: c or 0.2?
c
Let y(v) = -2*v + 9. Let m be y(-2). Is 27/2 at most as big as m?
False
Let u be -2 - -1 - 49/(-35). Which is smaller: u or 1?
u
Let g be ((-6)/46)/((-9)/6). Which is greater: -1 or g?
g
Let m be (2/3)/(5 - 68/12). Which is bigger: m or 1/46?
1/46
Suppose 0 = 3*c - 3*w - 3 - 0, 0 = 5*c + 3*w - 37. Is c equal to 7?
False
Let j = -14 - -2. Let h = j + 17. Suppose -h*g - 6 = -16. Do g and 3 have different values?
True
Let w be 4/(-15) + (-2)/5. Let a(u) = u - 12. Let f be a(11). Which is smaller: w or f?
f
Let w be 0*(6/24)/(2/4). Which is smaller: w or 3/10?
w
Suppose 12 = 3*d + 12. Is -4/63 <= d?
True
Let q = 11.04 + -10.4. Is q < 0?
False
Suppose -6*w + 4 = 16. Which is smaller: w or -4?
-4
Suppose 309 = -7*s - 209. Is s > -75?
True
Suppose 3*v = 5*z - 8, 32 = 92*z - 88*z + 4*v. Let u = -4 + 9. Is u equal to z?
False
Let p = -880/9 - -98. Is 0.1 != p?
True
Let h(b) = 3*b + 8. Let r be h(-4). Which is greater: r or -1?
-1
Let j be ((-6)/6)/((2 - 4) + 3). Which is smaller: 5/18 or j?
j
Let y be (-2)/(-12)*(-344406)/21. Let i = y - -2727. Let l = i + 20/3. Which is smaller: l or 0?
0
Let i(f) = -f**3 - 3*f**2 - 2*f. Let r be ((-4)/5)/((-2)/5). Suppose -2*y = -3*y - r. Let w be i(y). Is -2/7 at most w?
True
Suppose -3*d + 2*d = 260. Let g = d + 1306/5. Let o = 13/15 - g. Is 0 equal to o?
False
Suppose 0 = d + 1, -h + 5 - 19 = 3*d. Is h at least -11?
True
Let w = 1373 - 122195/89. Is w < 0?
False
Suppose 0 = -2*x - f + 6, -5*f = 3*x - 8*x + 15. Let c = x - 5. Is c bigger than -4?
True
Let g = 4 + -5. Which is smaller: -2/7 or g?
g
Let s be 8/2*(-24)/1328. Let x = -256/1245 - s. Is x >= 0?
False
Let a = 2658514932/4742130715 - -6/3661877. Let v = 2/185 + a. Which is smaller: v or 0?
0
Suppose 0 = -4*p + 2 + 6. Suppose 5*l + 2*j + 16 - 41 = 0, p*j = -10. Let w be 6*(-1)/2 + l. Which is bigger: -1 or w?
w
Let g(y) = y**3 + 9*y**2 + 7*y - 6. Let a be g(-8). Let o be 11/((-1)/(-2)*2). Suppose o = 5*t + 1. Is a equal to t?
True
Let q(v) = v**3 + 5*v**2 + 3*v - 3. Let s be q(-4). Let k = -7801/14 + 557. Which is smaller: k or s?
k
Let a = 3 - 2. Suppose 10 = 2*u + 5*f, u - f - 6 = -4*f. Let g = -2/9 - u. Which is greater: a or g?
a
Let z be (-3)/(-24)*-6*(-3)/(-9). Let k = 3 - 3. Is k <= z?
False
Let q = -6.09 + 0.09. Let r = 7 + q. Is -1/2 greater than or equal to r?
False
Let k be ((-6)/(-99))/((-3)/54). Which is bigger: k or -2?
k
Let z(j) = j**3 + 5*j**2 - 5*j - 1. Let q be z(-6). Let c(o) = o**2 + 6*o - 2. Let d be c(q). Let n be (-20)/(-6)*9/d. Is n at most as big as 5?
False
Let w be 30 + -27 - (-1 + 4). Which is smaller: w or -8/35?
-8/35
Let r = -444010/1415607 + -2/27757. Let d be (-52)/51 + (-1 - -2). Let v = d + r. Is v at least as big as -1?
True
Let l be ((-36)/30)/((-1)/5). Suppose 2*v = l + 2, -u + 4*v = 13. Suppose -2 - 4 = u*q. Which is bigger: -3 or q?
q
Let j(k) = -k**2 - 5*k + 7. Let n(w) = 2*w**3 + 3*w**2 - 1. Let p be n(-2). Let m be j(p). Suppose -5*s = g - 2*g - 34, 3*s - 22 = g. Which is smaller: m or s?
s
Suppose 0 = 2*a - 4*a - 2*q - 6, 2*q - 2 = 0. Let k(u) = -1. Let g(o) = -2*o - 1. Let d(z) = -g(z) + 2*k(z). Let t be d(-1). Which is bigger: a or t?
t
Let a(y) = -y**2 + 3*y + 1. Let o be a(4). Let p be -1 + 14/6 + -2. Which is smaller: p or o?
o
Suppose 0 = 5*o + 473 + 1437. Let u be o/(-40) + 0 + -1. Let n = u + -44/5. Which is smaller: n or 0?
n
Suppose 3*s = -3 + 15. Let t be 1 + 1 - 12/s. Is -2/11 smaller than t?
False
Suppose 0 = 3*v - 3*f - 18, 2*v + f = -0*f. Let w = 1 - v. Which is smaller: -2 or w?
-2
Let a(m) = 4 - m - 3 + 3*m + 0. Le