 4*r = -16. Is -1 at most as big as v?
True
Let d be 2 + 84/(-15)*1/3. Let l(g) = g**2 + g - 2. Let f be l(-3). Suppose -f*m = -3*m. Does d = m?
False
Let x be (-3 + 4/4)*1. Is -2/3 <= x?
False
Let t be (126/(-12) - -3)*4/(-3). Which is bigger: t or 7?
t
Let s be (-3)/10*4/(-3). Let k = -281 + 295. Do s and k have the same value?
False
Let u = 115 + -114.18. Which is greater: u or -1/2?
u
Let c(w) = w**3 - 7*w**2 + 5*w - 6. Let z be c(6). Let v be 2/(-2)*(-3)/z. Let f(r) = -r**2 - 5*r + 7. Let a be f(-6). Is v less than a?
True
Let f be (-3)/(-9) + (-151)/210. Let o = f + 1/10. Suppose 5*c - 10 = 3*y + 5, -12 = -5*y - 4*c. Does o = y?
False
Suppose -3*i + 4 = -2*o, -4*i + 11 + 2 = 5*o. Let g be (-28)/(-12)*2/7. Is o >= g?
True
Let r = -12 - -6. Let f = r + 4. Are -2 and f non-equal?
False
Let f = -12 + 47/4. Let n = 2.2 - 2. Let m = n + 1.8. Which is smaller: m or f?
f
Let q = -27 + 40. Suppose 3*t = -5*n - 2 + 21, -n + q = -4*t. Which is greater: t or 1?
1
Let g = -10 - -16. Let v = g + -7. Is v at least 3?
False
Let j = -2 + 8. Suppose d - 5 = -j. Which is smaller: -3 or d?
-3
Suppose 0 = -g - 2, -5*q + g + 9 = -g. Let v be (q/3)/((-21)/14). Is 3 < v?
False
Let l(z) = -z - 2. Let r be l(0). Let s = -124/3 + 42. Which is greater: r or s?
s
Let s(a) = -a**2 - 6*a - 1. Let i be s(-5). Which is smaller: 26/9 or i?
26/9
Suppose 0 = 3*b + 2*b - 10. Let j = 1 - 0. Let y be (-1 + 1 - 0) + j. Are b and y equal?
False
Suppose 0*f = 3*y + 3*f - 24, 5*y + f = 20. Suppose -y*v - 20 = -8*v. Is 15/4 <= v?
True
Let m = 12885/4 + -35484/11. Let i = m + 42/11. Which is smaller: 2/3 or i?
i
Let x = -9 - -10. Let u = x + -1. Let a(j) = j**2. Let z be a(-1). Which is bigger: z or u?
z
Let k be 4/6 + (-392)/525. Let u(g) = -g**3 + 3*g**2 - 2*g + 1. Let f be u(2). Are k and f non-equal?
True
Let k be (0 + -2)/(-2) + 2. Let l(w) be the first derivative of w**3/3 + 15*w**2/2 - 14*w + 6. Let i be l(-16). Is k smaller than i?
False
Let d be 18/15*30/9. Suppose -3*y + d = -5*y. Let b be 1/(y/((-2)/5)). Is b >= 1?
False
Let g = 0.19 - -1.81. Let c = 14 - 14.1. Which is bigger: c or g?
g
Let k be ((-2)/170)/((-32)/(-80)). Which is bigger: 0 or k?
0
Let z be (-4)/((3 - 1)/2). Let x(i) = -3*i**2 - 4*i + 1. Let t be x(-2). Is t bigger than z?
True
Let v = 3.9 + -4. Let t = -0.3 - -0.2. Let u = -0.3 - t. Which is bigger: u or v?
v
Let p(l) = l**2 - 6*l + 7. Let c(t) = t. Let z be c(2). Suppose -i - 25 = -2*i - 5*n, 0 = -5*i + z*n + 17. Let w be p(i). Is w < 1?
False
Suppose -3*s + 36 - 9 = 0. Which is bigger: s or 10?
10
Let r = -9 + 4. Let x(s) = s**3 + 4*s**2 - 4*s + 7. Let z be x(r). Let p be (-9)/4*z/6. Which is bigger: p or -1?
p
Suppose 10 = -y - 3*u, -2*y + 23 = -5*y - 2*u. Is y bigger than 0?
False
Suppose 3 = -m + 1, -m - 72 = 2*s. Let w be (12/(-6))/((-8)/(-141)). Let g = s - w. Which is smaller: g or 1?
g
Let h = 19 + -21. Which is smaller: h or -13?
-13
Let z be (-6)/(-10) + 4/10. Suppose 0 = y + z. Let j be (-6)/(-4) + 1 + 93/(-42). Are y and j unequal?
True
Let c = -8 + 7. Let v = -4 - c. Let a = 2 + v. Is 0.1 bigger than a?
True
Let i(k) = -k**3 + 4*k**2 + k - 3. Let y be i(4). Which is smaller: 1/20 or y?
1/20
Let s be 0 - ((-1618)/182 - -1). Let f = s - 110/13. Which is smaller: f or -2?
-2
Let u(f) = f**3 + 7*f**2 - f - 5. Let h be u(-7). Let q be (h/(-4))/(4/(-8)). Let x = -138/7 + 141/7. Are q and x equal?
False
Let w be 5/(-20) + 43/(-4). Let k be (-3)/w*4/6. Suppose 2*a = 2*o - 10, 1 = -o + 5*a + 22. Is k less than o?
True
Let a = -0.05 - 0. Is a less than -1?
False
Let g = 1.1 + -1. Let w = -1.9 - -2. Let r = -0.2 + w. Does g = r?
False
Suppose 5*j + p - 60 = -2*p, 2*j - 3*p = 45. Which is bigger: 16 or j?
16
Let s = -0.3 - -0.4. Let b = -352 + 351.9. Are b and s equal?
False
Let l = -23359/9 + 2591. Which is greater: -5 or l?
l
Let l be -3 - -2*(-9)/(-1). Suppose 0 = -a - 3 + 2. Let m be (-2 - l/(-7))*a. Which is smaller: m or -1?
-1
Let z = -2 + 0. Let v be (-3 - -2)*(-4)/(-2). Is v >= z?
True
Suppose 24 = 4*h - 4. Let m(t) = -2*t + 4. Let z be m(h). Is z greater than -10?
False
Let w(v) = -v**3 - v**2 + 5. Let n be w(0). Suppose 0 = -2*j + 2*s + 10, n*j + 25 = s - 6*s. Which is greater: j or -2?
j
Let s be 2*3/(-12)*-4. Let p = 1 + s. Suppose t = -p*t. Which is greater: -1/8 or t?
t
Let s = 7 + -7. Let y(d) = d**3 - 5*d + 4*d**2 + 0*d**2 + 4 - 3. Let t be y(-5). Is s at most t?
True
Let u = 570 - 386. Let c = 4967/27 - u. Which is greater: c or 0?
0
Suppose 0 = -3*g + 2*y + 4, g + 2*y = 4*y + 4. Which is greater: g or -5/6?
g
Suppose -l + 4 = -5*l. Let w = -193 - -1345/7. Which is smaller: l or w?
l
Let k = -0.11 - 2.89. Let z = 2.2 + 0.8. Let o = z + k. Is 0 <= o?
True
Suppose -3*x = 6*x - 486. Is 53 less than x?
True
Let n be 5*(-3)/3*1. Suppose 3*u - 230 = 8*u. Let l be 6/(-15) - u/(-10). Is l equal to n?
True
Let c = -25 - -22. Let t be 2/((-1)/(-6)*c). Is -3 at least t?
True
Let n be (-16)/(-24) + 62/(-30). Is n smaller than -1?
True
Let y be (-1)/((-3)/63 + 0). Suppose 0*v - 5*v - 4*d - 10 = 0, -3*d - y = -3*v. Let a be (-5)/10 + 3/v. Which is smaller: 0 or a?
0
Let l = -22 - -49. Suppose l*c = 31*c. Let p be 6/(-10) - (-4 + 2). Is p smaller than c?
False
Let g be (970/(-825))/(4/6). Let y = 37/11 + g. Do 1 and y have different values?
True
Let q = 0.29 - 0.42. Let p = q - -0.03. Do p and 1/6 have the same value?
False
Let z(p) = p**3 + 4*p**2 - 4*p - 1. Let n be z(-5). Let d be -1 - ((-3 - -7) + -1). Are d and n equal?
False
Let j(q) be the third derivative of -q**5/60 - q**4/24 + q**3/6 + q**2. Let g be j(-2). Which is smaller: g or -2?
-2
Let j = -5341/78 + 206/3. Is -1/4 < j?
True
Suppose -2 = -3*r + 10. Suppose u - 3 = r*u. Is u less than or equal to -1?
True
Let k = -0.07 + 2.07. Let w = -1 + k. Which is greater: w or -0.09?
w
Let p be 138/(-8)*18/(-27). Let l = 11 - p. Which is smaller: 0 or l?
l
Let j(q) = q**3 - 3*q**2 - q - 2. Let p be j(3). Is p at least -5?
True
Let k = 0.01 - -3.99. Let c = 4 - k. Let q = c - 0.1. Is q != -0.2?
True
Let t be (-6)/(-24)*(-8)/(-37). Which is bigger: 0 or t?
t
Let l = -909.97 + 914. Let f = l - 0.03. Let q = f - 3. Which is smaller: q or -1?
-1
Suppose -y = -7 + 14. Is -2/3 > y?
True
Let m be (15 + -2)/(-84 - 0). Let g = m - 2/21. Is -0.1 > g?
True
Let u = 1.32 - 7.22. Let o = u + 6. Which is smaller: o or 6?
o
Let k be (1 + -2)/(3/(-6)). Let q be k + 5 - (0 + 0). Is 8 smaller than q?
False
Let t(c) = 11*c. Let v be t(1). Let b(j) = -j + 8. Let i be b(v). Is i at most as big as -1?
True
Let i be -2 + 3/((-9)/12). Let m be i/4 - 6/4. Let z(w) = -w**2 - 4*w - 4. Let y be z(m). Is y equal to -3/4?
False
Let c = 5 + 0. Suppose 3*b - 3 = 3, 0 = -4*q + 4*b + 76. Let g = q - 18. Is c at least as big as g?
True
Suppose 2*x = x. Let d be (1 + x)*2/4. Which is smaller: 3 or d?
d
Let i(m) = -5*m + 3*m + 3*m - m**3 - 5*m**2. Let b be i(-5). Let y(c) = -2*c**3 - 2*c**2 - 2*c + 2. Let w be y(1). Are w and b equal?
False
Let a be (2/(-16))/(6/12). Which is smaller: a or -32/5?
-32/5
Let r(q) = -q**2 + 27. Let m be r(0). Are m and 24 nonequal?
True
Suppose -a - 4 = 5*b, 0 = -a - a - 2*b - 8. Let y = 6 + a. Does 1/2 = y?
False
Suppose -5*l = -3 - 47. Let g = l - 5. Suppose 0 = -4*y + g*c, y + 2*c = -3*c. Are -1 and y unequal?
True
Let h = -33 - -22. Let v = h + 23/2. Which is greater: v or -0.1?
v
Suppose -2*o + 19 = -1. Let l be (-42)/(-30) + 6/o. Let k = 110/3 + -36. Is k > l?
False
Let h = -17 - -20. Suppose 0 = -i - h*i + 4. Which is greater: i or -1/25?
i
Let n be 0 - -3 - (-4)/4. Let r = 2 - n. Is r < -1?
True
Let g = 7 - 0. Suppose 28 + g = -5*i. Which is greater: -6 or i?
-6
Let c be (-3)/2*(-48)/(-252). Which is smaller: -63 or c?
-63
Let s = -8 + 8.2. Let m = 4 + -2. Which is greater: s or m?
m
Let j(z) = z**2 + 2*z - 7. Let b be j(-4). Is 33 greater than b?
True
Suppose 0 = c + 2*p + 6, p + 8 + 37 = -4*c. Let j be 1/(-6) - (-34)/c. Let n(g) = -g - 8. Let s be n(-6). Which is bigger: s or j?
s
Let d(y) = -7*y**2 - 1. Let f = -20 + 21. Let m be d(f). Is -10 < m?
True
Suppose 0 = 6*s + 6*s - 12. Which is greater: s or -17?
s
Let t be (20/(-8))/((-2)/(-4)). Let z = 1 - t. Suppose -3*m + 6 = -z*m. Is 0 at least as big as m?
True
Suppose 0*q - 3*q - 6 = 0. Let d be (27/(-900))/((-1)/28). Let c = 6/25 - d. I