et b be 14/6 - 1/g. Is 1 != b?
True
Let t = 10 + -11. Let r be 6/(-12) + t/(-6). Which is bigger: -2 or r?
r
Suppose -21*d + 24*d = 21. Are 7 and d unequal?
False
Let r(c) = -21*c**2 + 1. Let a be r(1). Do -20 and a have the same value?
True
Let r = 17 - 27. Which is bigger: r or 0.1?
0.1
Let m be (-2)/(-8) - 6/(-8). Let w = m + 0. Let b be (-6)/9 + 16/18. Which is bigger: b or w?
w
Let t = -1 + 0.8. Let a = -0.4 - t. Let w = -0.1 + 0. Are a and w unequal?
True
Let j = 0.81 + -1.11. Is j at most -0.17?
True
Let s be (-6)/4*(-18)/48. Which is smaller: s or 2?
s
Let w be 0/(-3) + -1 + -3. Let y be (5 + w)/(2/(-6)). Let u(d) = -d**3 - 2*d**2 + 2*d - 3. Let g be u(y). Are g and 5/4 equal?
False
Let n be 34 + 9/((-54)/24). Which is smaller: 28 or n?
28
Let i = 0 - -2. Suppose i*v = v. Let z = 171/7 - 24. Which is bigger: v or z?
z
Suppose 0 = 2*k - 0*k + q + 3, 0 = -4*k - 5*q - 3. Let l(n) = n**3 - 2*n**2 + 2*n - 4. Let b be l(2). Let c = b - k. Is c at most 2?
True
Suppose -b = -2*s - 8, -3*s - s - 20 = -3*b. Which is smaller: -5 or s?
-5
Let w = 771 - 5388/7. Are -1/2 and w non-equal?
True
Let n = -20.2 - -29. Let b = 9 - n. Which is smaller: -3/5 or b?
-3/5
Suppose 0 = -2*l - 13 - 35. Which is smaller: -160/7 or l?
l
Suppose 6*u + 54 = 174. Let n be u/(-7)*7/(-2). Is 9 greater than n?
False
Let c be 18/(-30) + (-44)/10. Let s = 6 + c. Is s smaller than 1?
False
Suppose 0*w - 10 = -5*w - 5*q, 2 = 4*w - 2*q. Let h(n) = n. Let b be h(5). Suppose 0 = -4*u + b - w. Is 0 bigger than u?
False
Let y be 0 - 21/6*2. Let r be (-2)/7 - (-1)/y. Is r > 0?
False
Let c(w) = 3*w**2 - 7*w - 3. Let i(k) = 8*k**2 - 20*k - 8. Let j(n) = -11*c(n) + 4*i(n). Let g be j(-3). Which is smaller: -3 or g?
-3
Suppose 3*g + 4 = -4*b, -2*g = -3*g + 2*b + 12. Suppose 0*d = -3*d - 12. Let p be (7 + d)*g/(-6). Which is greater: p or 1/3?
1/3
Let l be 5/(-3) + (-8)/(-12). Suppose -3*y - 18 = -0*p - 3*p, -2*y - p = -3. Let w = -1 - y. Which is smaller: w or l?
l
Let c be 3 + (-1)/(2/12). Let d(l) = -l**3 - 4*l**2 - 3*l + 1. Let w be d(c). Let h be (-2)/7 - 2/(-7). Is w equal to h?
False
Let d = -563/220 - -7/44. Is d less than -3?
False
Suppose 0 = -3*x + 2*x. Suppose 7*d - 2*d - 16 = -2*f, -2*d + 8 = x. Is f less than or equal to -2?
True
Let c = -14 - -20. Let i be (-3)/c*-2*2. Which is bigger: i or 4?
4
Suppose -p - 7 = -d - 4, 9 = 2*p + 3*d. Suppose x + p*x - 3 = 0. Let a = 1 + 0. Does a = x?
False
Let i(z) = -14*z + 2. Let y be i(2). Let x = 180/7 + y. Let a(o) = o + 5. Let t be a(-5). Is x > t?
False
Let a = -742/5 + 149. Let k(g) = -g - 2. Let l be k(-4). Which is smaller: a or l?
a
Let f be ((-3)/(-2))/((-9)/(-4)). Let u = 15 + -19. Which is smaller: u or f?
u
Let t = 3 + -3. Let j = 0 - t. Suppose 0 = -0*k - 3*k + 9. Is k at least j?
True
Suppose -6*p = 9 + 9. Is -12/7 greater than or equal to p?
True
Let p = -140 - -138. Suppose -5*o = 10, 4*y - 4 = -o + 6. Suppose 3*w = 5*m - 23, -m + 2*m - 7 = y*w. Which is smaller: w or p?
p
Let l(i) = -5 - 3*i**2 + 4*i + 4*i**2 + i. Let n be l(-6). Let x = 391/5 + -78. Is x smaller than n?
True
Let y(m) = -m + 13. Let v be y(10). Suppose -v*z = z + 12. Let h be z/(-12) - (-2)/(-8). Which is greater: -1/4 or h?
h
Let y(l) be the second derivative of -l**4/6 + 7*l**3/6 - 3*l**2 - l. Let h be y(4). Is h at least -10?
True
Let p be (-12)/(-78) - (-63)/13. Suppose 5*o - 10 - p = 0. Which is smaller: o or 1?
1
Suppose -m + 3*j = 1, -3*m = 2*j + 3*j - 11. Let w = m + -7. Is w greater than -4?
False
Suppose 3*s - 120 = -3*l, -4*s - 2*l + 188 = 18. Let v be 3/(-5) + (-243)/s. Let t be (-4)/(-2) - 21/3. Which is smaller: v or t?
v
Let k = 10 - 22. Let t = -8 - k. Is t smaller than -0.1?
False
Let y(d) = d**2 - 2*d - 5. Let n be y(3). Is n less than 5?
True
Let s be 0/(-3) + (-14)/(-2). Which is bigger: s or 5?
s
Let k(a) = a**3 + 2*a**2 - 5*a - 4. Let i be k(-3). Is i <= 1?
False
Let g = 6.09 - 0.09. Let l = -6 + g. Is l greater than 0.1?
False
Let d(y) = y - 6. Let u be d(6). Let t be (-30)/8 + 1*4. Which is smaller: t or u?
u
Let h be -2*1*(-2 + -2). Let a be (-21)/4 - (-2)/h. Is -6 >= a?
False
Suppose -3*l = 3*k - 12, 2*l + 3*k + 3 = 14. Is 1/8 less than l?
True
Let o be (-76)/(-243558)*7617/4. Let v = o + 2/1933. Let c = 3/7 - v. Is c less than 0?
True
Let g = -8.8 - -0.8. Let f = g - -8. Which is smaller: f or -0.9?
-0.9
Let c be (-208)/12 + (-2)/3. Let b be (c/10 + 2)/1. Are -0.1 and b non-equal?
True
Let p(i) be the first derivative of i**3/3 - i**2 + 1. Let x be p(1). Is x equal to 1/19?
False
Let o = -49/3 + 16. Which is greater: o or 11?
11
Suppose 34 = -5*v + c - 24, -2*v - 34 = -4*c. Which is smaller: v or -12?
-12
Let i be (15/6)/((-2)/(-4)). Let s(m) = -m**3 + 5*m**2 + m - 5. Let u be s(i). Suppose -2*d + 0*d = u. Is d < -1?
False
Let o = -7.95 + 8. Let z = -0.25 - o. Do -0.2 and z have different values?
True
Let o = 18 - 13. Which is smaller: 2 or o?
2
Suppose 0*m + 5*m + 10 = 2*h, -2*m = 0. Suppose 12 = 4*a + 4*r, 3*a - h = -r - r. Suppose -5*k + 5*o + 16 = 1, 2*o + 6 = -2*k. Which is smaller: a or k?
a
Suppose 0 = -2*c + 4. Suppose c*j = -j. Which is bigger: j or -0.1?
j
Let l be (-6 - -5)/(2 + -1). Is -1/7 at least l?
True
Suppose -5*s = -3 - 7. Suppose -3*n + 1 = -s. Suppose -3 + n = -j. Is j >= -2/5?
True
Let l be 2 + -4 - (-7 + 5). Do l and 3 have different values?
True
Let q(d) = 2*d + 1. Let z(o) be the first derivative of -5*o**2/2 - 3*o - 1. Let y(i) = 7*q(i) + 3*z(i). Let b be y(-4). Is -1/2 equal to b?
False
Let t = -3/52 - -4/13. Which is smaller: -1/10 or t?
-1/10
Let o = -0.06 + -2.94. Suppose v - 1 = -5. Let h be v/(-7)*(-5)/10. Which is smaller: h or o?
o
Suppose 3*h + 2*z - 5*z = 3, -3*h = -4*z. Suppose -k - 19 = h*m, 0 = -2*m + 6*m + 16. Let j be (k/3)/(14/4). Which is bigger: j or 0?
0
Let i = 1 - 2. Let k = -12 + 6. Let b = k - -6.2. Which is greater: b or i?
b
Suppose -2*g = 4*g - 24. Which is smaller: g or 5?
g
Let o = 38989/2 + -154431/8. Let s = o - 191. Let p = -0.3 - 0.7. Which is smaller: s or p?
p
Suppose 6*f = 3*f - 21. Which is greater: -10 or f?
f
Let w = 1 + 0. Let t = 6 - 5.6. Let x = t + -0.7. Is w > x?
True
Let r be ((-1)/(-1))/((-4)/(-8)). Let b(x) = -15 + x**2 - 2*x**r + x**3 + 16. Let y be b(0). Is y equal to 1?
True
Let i be 13/6 + (-14)/28. Is 0 at most as big as i?
True
Suppose 3*z = 4*s + 5, -3*s = -4 + 10. Which is greater: z or 1/14?
1/14
Let x = 2.1 - 56.1. Which is smaller: -1 or x?
x
Let q = -0.01506 + -149.03494. Let l = q - -144. Let w = -5 - l. Is -0.1 less than or equal to w?
True
Suppose -4*p - 3*f = 29 - 7, 0 = 3*f + 6. Which is greater: p or -31/6?
p
Let x = -2 + 4. Suppose 0 = 3*s - x*c - 8 - 3, c + 13 = 4*s. Let o(b) = b - 2. Let u be o(4). Which is greater: s or u?
s
Let m = 10 - 11. Let g be 2/15 + m/3. Which is smaller: g or -1?
-1
Let i = 53 + -955/18. Let n be 10/8 - (-4)/(-16). Are n and i equal?
False
Let t = 42 - 42. Do 3/17 and t have the same value?
False
Let k = -13 + 14. Are k and -5 nonequal?
True
Let v = 3.1 - 3.1. Which is greater: 15 or v?
15
Suppose 5 = 2*r + 3*r. Which is bigger: 6 or r?
6
Let a = -2 + 0.8. Let q = -0.2 - a. Let n be (2 + 1)/(15/(-10)) + 3. Is n smaller than q?
False
Suppose -2*t = -6, -5*k - t = -3*t + 1. Which is smaller: 2/81 or k?
2/81
Let c(g) = -g**3 - g. Let j be (6/18)/(2/6). Let v be c(j). Is v greater than or equal to -5?
True
Let p be 0 + (-2)/8 - 170/(-8). Which is smaller: 20 or p?
20
Let a(d) = d**2 - d + 3. Let r be a(6). Suppose -h + 0*h = -r. Let t be (-4)/6 + h/9. Which is smaller: 1 or t?
1
Suppose 3*k - 19 = -4*s, -k + 21 = -3*s + 8*s. Let u(n) = -n**3 - 4*n**2 + n + 4. Let t be u(-4). Let j be t*(-2)/(4/2). Is j at most as big as k?
True
Suppose 6*q - 64 + 88 = 0. Let v = 7 - 11. Is q at most v?
True
Let c = -691 - -75317/109. Is c >= 1?
False
Let k(g) = 0 - g**2 + 3 + 2*g + 0 + 8*g. Let r be k(10). Is 1 at most as big as r?
True
Suppose -14 = c - 20. Is c > 6?
False
Suppose l + 0*l + g = -7, l + 2*g = -12. Let z be (-1)/(1/(-3)) + -5. Is l bigger than z?
False
Let b = 8 + -6. Suppose b*k + 9 - 1 = 0. Let x be k/(-20)*(-2)/2. Is -1 greater than or equal to x?
False
Suppose 5*o + 5 = -3*q, 5 = -o + 4. Suppose q = -3*t - t - 16. Is -5 at most as big as t?
True
Let j = 26 + -15. Let n be j/3 + (-4)/6. Suppose c + x -