))/(12/(-8)). Which is bigger: l or -1?
l
Let r = 6.7 - 6.8. Which is greater: r or 83?
83
Let z = -1 + -6. Let y(j) = j**3 + 7*j**2 - j - 2. Let l be y(z). Which is bigger: l or 3?
l
Let t(d) = -d**2 + 4*d + 7. Let j be t(6). Let p(o) = o. Let s be p(-4). Is j at least s?
False
Suppose m + 3 = -1. Let a = 3 + m. Let d = a - -2. Are d and -1 unequal?
True
Let b(l) be the first derivative of l**4/4 + 13*l**3/3 - l**2/2 - 14*l - 4. Let y be b(-13). Which is smaller: 0 or y?
y
Suppose 4*v + 4*j - 3*j = 0, 2*v - 5*j + 22 = 0. Is -2 at least v?
False
Let r be 3/((-18)/4)*-3. Let n be 2/r - 22/18. Let v be 0/(0 - (0 - 2)). Which is smaller: n or v?
n
Let j = -22 + 13. Let v = j + 6. Which is smaller: -4 or v?
-4
Suppose 8 = -4*o - 0. Let q be (-1 + 3/2)*o. Is q equal to -3?
False
Let w be 15/(-5) - 0/1. Let m = w - -5. Is 2 not equal to m?
False
Let y be (-64)/20 - 2/(-10). Is y at least -4?
True
Let u = -4 + 12. Suppose -4*o = 4*i + u, -4 = 5*i + 1. Let w(l) = -l**2 + 2*l. Let s be w(2). Is s less than or equal to o?
False
Let i(t) = -t**2 - 2*t + 3. Let x be i(-3). Let w(l) = l. Let o be w(x). Suppose o = -4*f - m - 4, -m + 3 = -3*f + 2*m. Which is smaller: -1/6 or f?
f
Let y be -4 - -1 - 77/(-21). Which is smaller: 1 or y?
y
Let p = -84 - -590/7. Is p bigger than -2?
True
Suppose 0 = -4*i + 2*u + 24, -3*i - 34 = -7*i - 3*u. Let t(c) = -4*c - 14. Let a be t(-5). Which is bigger: a or i?
i
Let a be -3 + 12/(-4)*23. Let d = -579/8 - a. Which is smaller: 0 or d?
d
Let a = -5.02 + 0.02. Which is greater: -2/3 or a?
-2/3
Let t be -1 + (-196)/(-132) + 12/(-18). Is 0.1 at least t?
True
Let j = 6 - 15. Is -9 < j?
False
Let x be (1/2)/(4/56). Let o(u) = -3*u**2 + 21*u + 20. Let l(m) = -m**2 + 7*m + 7. Let v(p) = -11*l(p) + 4*o(p). Let w be v(x). Which is greater: w or 4?
4
Suppose 243 = 4*q - 5. Which is greater: 61 or q?
q
Let l = -77 - -48. Does l = -0.1?
False
Let y(g) = g - 9. Let f be y(12). Which is smaller: f or 2?
2
Let k = 3.02 - 0.02. Which is smaller: -5 or k?
-5
Let t(z) = z**2 + 6*z - 9. Let x be t(-7). Let m be 2/x*(-10)/(-15). Let o(h) = h**3 - 4*h**2 + 4*h - 3. Let w be o(3). Is w less than or equal to m?
False
Let l(u) = u**3 + 7*u**2 - 7*u + 10. Let s be l(-8). Let y(p) = p + 2*p**2 + p**s - 2*p**2 + 5*p. Let c be y(-6). Is c > -1/20?
True
Let n = 0.4 - 3.4. Which is greater: n or 0.07?
0.07
Let c(u) = -u**3 - u. Let z(f) = -5*f**3 + 4*f**2 - 12*f - 5. Let o(d) = 6*c(d) - z(d). Let v be o(-5). Is -2/33 not equal to v?
True
Let h = 0.04 - -3.96. Suppose -5*b = -12*b + 5*b. Which is greater: h or b?
h
Suppose 7 = -4*o - 29. Let r be 2/8 - o/60. Is r greater than or equal to -0.7?
True
Suppose 0 = -3*m - 3*l + 501, 2*l = -m + 5*m - 662. Let x be 4/24 - m/(-12). Is 13 less than or equal to x?
True
Suppose 9*w + 14 = 23*w. Is w != -2/29?
True
Let u(d) = -d**2 + 8*d - 6. Let l be u(8). Let v be 2/(-6) - l/(-9). Which is bigger: 0.2 or v?
0.2
Let a be (2/(-4))/(9/(-6)). Let h be ((-2)/(-3))/((-2)/(-3)). Suppose -4 = 3*w - h. Which is smaller: w or a?
w
Suppose 0 = 9*b - 10*b. Which is smaller: b or 14/11?
b
Let h(u) = u**2 + 1. Let l be h(-2). Suppose 2*n - 1 = -l*r - 0, -5*r - 3*n = 1. Is r != -1/3?
True
Let v = -2.48 - 0.02. Let u = v - -0.5. Let i = u - 1. Is 2/7 bigger than i?
True
Let j be (-4)/16 - (-14)/(-40). Is j greater than 0?
False
Let w = 5 - -7. Suppose 2*q - 5*q = -w. Suppose 0 = 5*i - 5, 5*i + 6 = 3*a - 1. Is a at least as big as q?
True
Suppose -2*a = -0*a - 172. Let p = a + -256/3. Which is greater: -1 or p?
p
Suppose 4*d = 5*n - 9, -n + 2 = -0*d - d. Does d = 1/26?
False
Let r(j) = -j**3 - 11*j**2 + 11*j - 11. Let q be r(-12). Which is greater: q or 3/32?
q
Let n(z) = z**2 - 1. Let l(i) = i**2 - 10*i + 1. Let r be l(10). Let g be n(r). Which is bigger: 1 or g?
1
Let r be (-38)/(-30) + (-2)/(-5). Let o = -43.9 - -44. Which is smaller: r or o?
o
Suppose 5*i = -4*t - 91, 0 = -2*t + 1 - 9. Let n be i/(-20) + 38/(-40). Is n greater than 1?
False
Let u(i) = 13*i + 25. Let s be u(-2). Which is smaller: -85 or s?
-85
Suppose -3*a = -4*a + 1. Let i = 0.1 + -0.2. Which is smaller: i or a?
i
Let g be 33/(-11)*2/(-3). Suppose g*w + 1 - 15 = 0. Which is greater: 6 or w?
w
Suppose 5 = 4*l - 7. Suppose -l*b + 2*r - 1 = 0, -3*b - 1 = -r - 2. Which is greater: b or 2/3?
b
Let m be 4/(-24)*-6*2/(-6). Let n = -172858541/405 - -426811. Let s = n + 1/81. Is s < m?
False
Let t = -179/6 - -81/2. Is 12 < t?
False
Let z = -2 + 1. Let c be z/2*-1*-2. Let h be (-8)/9*(-2)/(-8). Does h = c?
False
Let i(v) = -7*v + 1. Let b be i(-1). Let c(w) be the third derivative of -w**6/120 + 2*w**5/15 - w**3/6 + w**2. Let p be c(b). Which is smaller: 4 or p?
p
Let d = -5 - -9. Suppose 46 = 4*i + 5*u, -i + 36 = i - d*u. Let n be (-22)/i - (6 - 8). Which is bigger: 1 or n?
1
Let g = 3.2 + -3. Suppose -20 = -3*p - 4*x, -4*x = 4*p - 0*x - 24. Is p bigger than g?
True
Let g be 0 + (-1)/(-2)*-1. Suppose -2 = 3*c - n, -3*c - 2*n - 10 = -n. Which is greater: c or g?
g
Suppose -5*k - 4 = 6. Which is greater: k or -6?
k
Let m be 2/15 - -1 - 1. Let u = -8 + 8. Suppose -5*r - 2*r = u. Do r and m have the same value?
False
Let h(p) = 2*p - 3*p + 0*p. Let i be h(-3). Let g be 14/(-10) + i/3. Which is bigger: 0 or g?
0
Suppose -2*o - 2 = -2*f - 2*f, o - 1 = f. Suppose o*a + 1 = 4*a. Suppose -4*m + 1 = -5*g + 5, 0 = 2*m - g + 2. Which is smaller: a or m?
m
Suppose -2*j - 5*u = -13, -j - 5*u + 11 = 3*j. Which is bigger: -2 or j?
j
Let u(i) = i**3 - 5*i**2 + 13*i - 1. Let o be u(10). Let f = o - 3157/5. Is -2 greater than f?
True
Let t = 5 + -6. Does 3 = t?
False
Let z = 0.28 + -6.28. Which is smaller: z or 0.1?
z
Let v(y) = -y - 6. Let f be v(-6). Suppose 0 = -f*m - 3*m + 30. Are m and 0 nonequal?
True
Let c(s) = 7*s + 6. Let y(r) = r. Let m(j) = -c(j) + 6*y(j). Let n be m(-6). Which is smaller: n or 5/4?
n
Let v = 0 - 2. Let w = v - -1.6. Let q = 0.4 + w. Which is bigger: -0.2 or q?
q
Let w(z) = -z**3 - 5*z**2 + 5*z - 4. Let u(y) = -y**3 + 3*y**2 + 4*y - 6. Let p be u(4). Let l be w(p). Is -0.1 < l?
True
Let v be 2/(-6) - (318/18 - -3). Which is smaller: -41/2 or v?
v
Let j = -2099/9 - -233. Let n = -3 - -6. Let v be n/4 + 1/4. Which is smaller: j or v?
j
Let n be 1*((-4)/3 + 1). Let j be 1 + -1 + 10 + -21. Which is smaller: n or j?
j
Suppose -150 = 4*x + 54. Are -51 and x non-equal?
False
Suppose -6*r = -2*r + 5*s - 17, -2*s + 18 = -4*r. Is -3 less than or equal to r?
True
Let r(l) = l**2 + 9*l - 6. Suppose -3*y = -7*y - 36. Let b be r(y). Are -7 and b equal?
False
Let p(i) = -i**3 + 6*i**2 + 8*i - 7. Let f be p(7). Let j be (-1 + 0)*(-2)/8. Are f and j unequal?
True
Suppose 2*g - 22 = -g + c, 3*g - 18 = -3*c. Suppose 5*d - 2 = -g. Let h be (-1)/(-4) + -1 - -1. Which is smaller: d or h?
d
Suppose i - z + 5 = -5*z, 2*z = 5*i + 3. Which is greater: -0.5 or i?
-0.5
Let c(f) = -f**3 - 4*f**2 + 4*f - 4. Let y be c(-4). Let n = -5 - y. Suppose 5*b = 0, -4*o = o - 5*b - n. Which is smaller: 3/2 or o?
3/2
Let u be (3 + 3)/(3 - 4). Which is smaller: u or -5?
u
Let f = 3 - -1. Suppose p = f*w - 23, -5*w - 3*p + 13 = p. Which is greater: 4 or w?
w
Let v be 4/(-21)*15/10. Let j = 84 + -586/7. Is v at least j?
False
Let v = -33 + -35. Is -68 at least v?
True
Let l be 1 - (-1 - 2)/(-9). Let i = 0.05 - -0.02. Let w = 0.13 + i. Is w greater than or equal to l?
False
Let a(f) = f**2 + 24*f + 52. Let y be a(-23). Is y not equal to 29?
False
Let n = 283 - 5945/21. Let u be -2 + (-8)/(-4) + -1. Which is bigger: n or u?
n
Let p be 2 - (-2)/((-4)/6). Let y be ((-24)/64)/((-2)/(-8)). Which is bigger: y or p?
p
Let x(d) = 5*d**3 - 1. Let y be x(1). Suppose y*j = c + 8, -4*j + 0*c + 4*c - 4 = 0. Let v be 1*(j/1)/3. Is 0.2 at most v?
True
Let z be 16/104 - (-22)/26. Is 1/4 < z?
True
Let j(d) = -d**3 + 7*d**2 - 7*d + 5. Let c be j(6). Let g be 9/(-12) + 9/(-4). Let r be -1*(g + 2)*c. Which is smaller: r or 0?
r
Let x = -334/6573 + 1/313. Let i = -1041/7 + 149. Let f = i - x. Is f > -1?
True
Let x be (2 + -2)/(1 + 0). Let d = 1.1 - -2.1. Let y = 3 - d. Which is smaller: y or x?
y
Let d(y) = -2*y + 17. Let m be d(8). Which is bigger: m or 1/17?
m
Suppose -2*z - 3*h + 4 = -7*z, 3*h = -6. Let j = -26 - -16. Let k be (8/j)/(2/10). Is k != z?
True
Let p be -7*28/(-16) - 1/4. Which is smaller: -6/11 or p?
-6/