 Let z be l(-2). Suppose -2*p - 4*x - 20 = 0, -4*p + z*x - 3 = -11. Are -1 and p non-equal?
True
Let u be (-1 - 0) + -6 + 8. Let x = 0 + 1. Let o be (4 - 4)/(u + x). Which is greater: 1 or o?
1
Let d = 27 + -25. Is -2 greater than d?
False
Let l = 13/23 + -15/23. Which is bigger: -1 or l?
l
Let s = -0.125 + 9.225. Let a = s - 9. Is a <= 2?
True
Let n = 0.14 - -0.86. Is 0.04 equal to n?
False
Let m be ((-15)/6)/((-2)/4). Suppose -m - 10 = 5*b. Let g be (b/(-10))/(12/10). Does -1 = g?
False
Suppose 3*k + 1 - 16 = 0. Which is smaller: 8 or k?
k
Suppose -4*y = -5 + 1. Suppose -3*s = 13 - y. Is -2 greater than s?
True
Let j be (-1 + 3)*4/38. Let g = 58/95 - j. Let c(i) = -i**3 + i**2 + 3*i - 2. Let u be c(2). Which is greater: g or u?
g
Let c(h) = -5*h**3 + 1. Let m be c(-1). Let n = m - 5. Which is smaller: n or 1/4?
1/4
Let k be 321/(-765) - (24/(-20))/3. Is k at least as big as 0?
False
Suppose 4 = 3*j + j. Let z be j/(2/(-20)*-2). Which is greater: 6 or z?
6
Let i = 81/2 - 40. Which is bigger: -13 or i?
i
Let h be ((-3)/(-18))/((-2)/4). Let w = -12 - -7. Which is smaller: w or h?
w
Suppose 0*t - 4*t = 4. Let i = -18 + 87/5. Is i equal to t?
False
Let h be -1 + (-2 - -2) + 2. Let o(n) = 3*n + n**2 + n**2 - h + 1. Let c be o(-2). Do 4 and c have the same value?
False
Let m = -4 + 5. Let o(r) = -r**2 - r. Let y be o(-2). Let x be (2/(-6))/(y/6). Is x at least as big as m?
True
Let q(d) = d**3 - 5*d**2 + 5*d - 2. Let v be q(4). Let a be 0 + (v + -5 - -8). Which is bigger: a or 4?
a
Let x = 12 - 11.65. Let p = x - 0.05. Which is smaller: 2 or p?
p
Let q be 1/(2/44*-2). Is -12 less than q?
True
Let f = 0.8 - 0.8. Suppose -3*n - 26 = -2*h, 3*h - 42 = -0*n + 5*n. Is n equal to f?
False
Let i = -0.22 + -0.08. Let w = -0.2 + -0.2. Let y = i - w. Is -2/3 > y?
False
Let j be (5/(-2))/5*4. Let z be j/3*(-3)/(-2). Which is smaller: z or -3?
-3
Let q = -388/63 + 55/9. Is -1 != q?
True
Let p be 8/10*(-45)/(-2). Let j = 11 - p. Which is greater: j or -8?
j
Let l = -7 + 6. Which is smaller: -1/5 or l?
l
Let a = 3581/3 + -1233. Is -40 smaller than a?
True
Suppose 3*v = 6*v - 18. Suppose 34 = s - k + v*k, 11 = -s + 4*k. Which is smaller: s or -2/5?
-2/5
Suppose x - 4 = -4. Is 2/249 > x?
True
Let a(g) be the second derivative of -g**3/6 + 7*g**2/2 - 2*g. Let s be a(7). Which is bigger: 2 or s?
2
Suppose 8 - 33 = -5*s. Suppose 4 = -u - 3*j, 3*u - 4 = 2*u + 5*j. Which is smaller: u or s?
u
Let z = 13 - 16. Is z >= -1?
False
Let c be (-6)/(-10)*(0 - -3). Let o = -37 + 40. Suppose -3 = 2*b - o*b. Is b less than c?
False
Let p be 3/2*(-2)/(-3). Suppose 3*r - 8 = -5. Is p at most r?
True
Let j(d) = -d**2 - d - 1. Let o be j(0). Let l be ((-1)/27)/((-2)/4). Is l less than o?
False
Let l be 27/(-6)*(-2)/3. Does l = 2?
False
Let y = 1029/13 + -79. Which is smaller: y or 0?
0
Suppose -3*u + 2*l = 98, -5*u - 159 = -u + 3*l. Let v be u/(-10) - 2 - 2. Let i(a) = a**2 + 3*a + 2. Let p be i(-2). Which is greater: p or v?
p
Let g be (-2)/(10/(-3)) - 159/315. Is 1 >= g?
True
Let v(t) = -t**2 + 6*t + 5. Let l = 1 + 4. Let a be v(l). Is 11 != a?
True
Let f(a) = -a**2 + 10*a + 14. Let g be f(10). Let k = g - 13. Is 1 < k?
False
Let w = -7/39 + 311/429. Is w at most as big as 2?
True
Suppose 0 = -3*h - 3*i + 23 - 5, 5*h - 2*i - 2 = 0. Let g(u) = -4*u + 3*u + u**h + 6 - 6. Let w be g(-2). Which is bigger: 4 or w?
w
Let x be 2 - (1 + -1)/1. Let p = x - 0. Suppose p = l + 4. Is -4/5 less than l?
False
Let u = -64.085 - -64. Is 1 < u?
False
Let x = 1.9 - 2.5. Is x > -0.2?
False
Let v = -365/6 + 61. Is v < -1?
False
Let b be 1/3 - (-74)/(-258). Are b and -2/3 non-equal?
True
Let w = -2.74 + -3.03. Let q = w - -0.57. Let b = 5 + q. Is b < 2?
True
Let l be (4 + -34)/5*8/(-3). Is l equal to 14?
False
Let r(u) = u + 4. Suppose -2*m = f - 0*f + 3, 2*f = -2*m - 6. Let d be r(m). Let g be 5/1 + (0 - 0). Is d != g?
True
Let t be (-1 - (-54)/57)*1. Which is smaller: t or 0?
t
Let s = -0.06 + -1.44. Let p = -0.5 - s. Let g = -0.1 + 0.2. Which is smaller: p or g?
g
Let i(c) = c**2 + 9*c + 20. Let k be i(-5). Let z = 0.08 - -0.22. Let t = z - 0.2. Which is smaller: k or t?
k
Let p = -1 - -1. Let h be -3 - (3 + -3 + p). Let o be (-2)/h + (-4)/6. Which is greater: -1 or o?
o
Suppose -4 = 5*d + 1. Let j = 141/1310 + -1/131. Which is greater: d or j?
j
Suppose 0 = j + j - 6. Suppose -q + j*x = 5 + 9, 7 = 2*q + x. Let d(v) = v - 2. Let y be d(2). Which is smaller: y or q?
y
Let f be 12/((6/4)/(-1)). Suppose -5 + 14 = -l. Is l >= f?
False
Let u(j) = 11*j + j**2 - 4*j - 5*j + 3*j + 5. Let d be u(-2). Which is bigger: d or 0?
0
Let c = 6 - 3. Let b = 3.2 - c. Let t(g) = -g**3 + 3*g**2 - g. Let s be t(1). Are b and s nonequal?
True
Let n = 6 - 1. Let j = 0 + n. Let m be 2 + 62/(-40) + 4/(-20). Which is bigger: j or m?
j
Let i(s) = -s**3 - s**2 + s - 1. Let g be i(-2). Let m = 40.8 + -49. Let p = -8 - m. Is g >= p?
True
Let g = 0.1 - 4.1. Which is smaller: -0.3 or g?
g
Let p(z) = 4*z**3 + z**2 - 7*z + 7. Let v be p(2). Which is greater: -3 or v?
v
Let l = -2/119 - 113/357. Let d be -6 - 8/(-2) - -2. Is l < d?
True
Let r = 2/9 - 25/234. Is r greater than 0?
True
Let k = -33 - -100/3. Is k > -1?
True
Let o be (3 - 1) + -28*10/135. Is o bigger than -1?
True
Suppose -4*i = -i - 27. Suppose 4*s = -4*n, -8 = -3*n + 4*s - i*s. Is -14/5 equal to n?
False
Let j be 1793*(-3)/2520 - -2. Let r = 1/120 - j. Let o be 2/(-9) - 39/(-54). Which is greater: r or o?
o
Let r = 41 - 66. Let q be (-60)/r - (-4)/(-10). Are q and 4 equal?
False
Suppose -4*w = 5*a + 47, -5*a - 19 = -a - 3*w. Is a > -7?
False
Suppose 0 = -5*v + 353 + 57. Which is smaller: 81 or v?
81
Let c be 5/23 - (-1 - -1). Let i = c + -2/115. Which is bigger: 1 or i?
1
Let i = -20 - -12. Let w = i - -7.7. Let c = 1 + -0.9. Do w and c have the same value?
False
Let t be 5/10 - 1/2. Is t <= 6/13?
True
Let y(d) = d**2 - 9*d - 10. Let a be y(10). Let m be (4/(-10))/((-8)/40). Suppose a = m*z + z. Is -1 greater than z?
False
Suppose 12 = -2*p + 3*x, -20 = 3*p - 5*x - 0*x. Suppose 0 = 2*g - 2 - p. Let c be g/3*(-18)/24. Which is greater: -2/9 or c?
-2/9
Let q = 0.016 - 22.016. Let h = -16 - q. Let i = 7 - h. Are i and 6 equal?
False
Let g = -8 - -5. Let b be 1*5 - (1 - 0). Let z = -6 + b. Do g and z have the same value?
False
Let w = 0.82 + -0.81. Is w greater than or equal to -0.09?
True
Suppose -6*g + 2*g - 120 = 4*b, 2*b + 8 = 0. Is -26 smaller than g?
False
Let g = 17 - 18. Let u = 4 + g. Which is bigger: u or -3?
u
Let w = 0 + 0. Suppose 5*z + 3*q = -16, -2*z = 3*z + q + 12. Let h be (-1)/(-1*(-20)/z). Which is bigger: h or w?
h
Let v be (-23)/4 + 3 + 3. Is 4 smaller than v?
False
Let w = 3/32 + 1/32. Let m(r) = 5*r - 1. Let z be m(1). Suppose -6 = z*g - 2. Is g at least as big as w?
False
Let h be ((33/9)/1)/(1/3). Suppose 0 = 4*l + 2*b - 44, 0 = 2*l - 3*b + 5*b - 24. Is h at most as big as l?
False
Suppose -2*j + 32 = 2*j. Let m be (-8)/3*(-3)/2. Suppose -z + 2*u - 3*u = -7, -m*z + 5*u - j = 0. Are 4 and z unequal?
True
Let a be (-4)/(-6) + 96/18. Suppose -4 + a = 2*g. Which is smaller: g or 2/23?
2/23
Let s = 406 - 410. Let h(p) = -p**3 - 3*p**2 - 2*p - 3. Let k be h(-2). Is s greater than k?
False
Let z be (-8)/(-44) - (-31)/(-110). Which is greater: z or 0?
0
Suppose -4*t = j - 104, j - 58 = -2*t - 4. Suppose 4*u = 2*r + 10, -4*u + r + t = -4*r. Let q be 12/(-56)*(0 - -2). Is q less than or equal to u?
True
Let l be (-4)/22 - 2336/(-22). Suppose -d - 5*z + 179 = 0, -l = -3*d - 2*z + 392. Let g = d + -653/4. Is 1 at most as big as g?
False
Let t = -394 + 6704/17. Let d be (-10)/(-35) + 4/(-14). Which is bigger: d or t?
t
Suppose -3*d + 60 = -2*v, 3*v = 4*d - 0*d - 79. Do d and 22 have the same value?
True
Suppose -3*h + 1 = -d - 8, d - 5*h = -9. Let s be (-10)/35 - d/7. Let y be (-10)/(-4) - 3/s. Which is smaller: y or -2?
-2
Let f be (-3 - -2)/(-1)*3. Suppose f*b = b - q - 3, 8 = -5*b - 3*q. Which is greater: 12 or b?
12
Let r = 3 - 4. Suppose j - 3*j = 5*m + 54, -m = j + 9. Let u = m - -23/2. Which is smaller: r or u?
r
Let w be ((-1786)/114)/(1*-1). Which is smaller: 15 or w?
15
Suppose -5 = -3*f - 2. Suppose 5 - f = 2*b. Let g = b + -5. Is -2 less than or equal to g?
False
Let y be 2 + -1 - (5 - 2). Let v = 4 + y. Let j be (0 + -1)*(-2 + 1). Is v bigger t