ich is bigger: 1 or l?
l
Let h = -708/5 - -142. Let z = -0.06 + 0.86. Let b = z - 1. Is h != b?
True
Let b(a) be the second derivative of -a**5/20 - a**4/2 - 7*a**3/6 - 3*a**2 - 2*a. Let f be b(-4). Is f at most as big as -11?
False
Suppose 6*h - 10 = 5*b + 4*h, h - 5 = 4*b. Let f be 5/2*36/(-225). Which is smaller: f or b?
f
Let b(v) = -2*v - 15. Let m be b(-11). Is 19/3 less than m?
True
Let h be (96/10)/(27/90). Do 33 and h have the same value?
False
Let v be 6/(-8) + 1 + 0. Suppose f + 46 = 45. Is v at most as big as f?
False
Suppose 3*u + 106 = -d + 6*d, d + u = 18. Suppose -3*a + 1 = -d. Is 7 < a?
False
Let c be 48/(-27) - 10/45. Do c and 6 have the same value?
False
Suppose 3 = -r - 0*r. Let v be -4 - -3 - 6/4. Which is greater: r or v?
v
Let y be 4*((-8)/168)/((-2)/7). Which is greater: y or 8?
8
Let y(d) = 5*d**2 - 26*d + 5. Let f be y(6). Which is bigger: f or 28?
f
Suppose 0 = -5*p - 4*w + 19, 3*p - 10 = -3*w + 2*w. Suppose p*x + 18 = 5*x. Which is smaller: x or 8?
8
Let j(l) = 10*l + 9. Suppose 30 = -c - 4*c. Let w be j(c). Let x be (-3)/w*(0 + -2). Which is smaller: x or -1?
-1
Let p = 176/57 + 30/19. Which is smaller: 5 or p?
p
Let r be 4/(-2) - 8/(-4). Suppose r = -3*k + 3. Which is smaller: 2 or k?
k
Let b(o) = o - 6. Let g be b(4). Let k(q) = q**3 + 11*q**2 - 11*q + 10. Let n be k(-12). Do n and g have different values?
False
Suppose 8*g - 5 - 3 = 0. Which is smaller: 7/5 or g?
g
Let y = -132 + 103. Which is greater: y or -1/2?
-1/2
Let i(o) = -o - 9. Suppose l = -4*l - 55. Let m be i(l). Suppose 4*j = 1 + 7. Are j and m equal?
True
Let v = 0.33 - 19.43. Let c = -19 - v. Is c > 5/2?
False
Let h be ((-54)/12)/(2/(-8)). Let z be 4/h + (-369)/567. Which is greater: z or 2/7?
2/7
Suppose 5*b = -2*b - b. Suppose 0*y + 4*g + 28 = 2*y, y + 4*g - 44 = 0. Suppose l = -4*q - 3*l + y, 2*q + 5*l - 27 = 0. Is q bigger than b?
True
Let s = -1.75 - -2.25. Let i = -0.02 - 1.98. Do s and i have the same value?
False
Let o be (-4)/14 - 8/(-28). Suppose -5*n + 3*n = o. Is n less than or equal to -1/6?
False
Let h(x) be the third derivative of -x**4/8 - x**3/2 - 2*x**2. Let f(p) = p**2 + 4*p - 2. Let d be f(-4). Let g be h(d). Are 2 and g non-equal?
True
Let g = 0.3 + -0.2. Let z = 9 + -9. Let m = z + g. Is 0 >= m?
False
Suppose 0 = 4*a - 20 - 16. Suppose 0 = 2*u + 3 - a. Let g be (2/(-3))/(4/(-15)). Do u and g have different values?
True
Let z be 313/(-4) + (-3)/(-12). Let y be 3 - 81*(-3)/z. Let t = y - -7/26. Which is smaller: t or 1?
t
Let q be 160/30 + (-2)/6. Let g(s) = -s + 7. Let z be g(q). Let i be 0 + ((-3)/2)/3. Which is bigger: z or i?
z
Let s = -4.2 - -7.2. Which is smaller: 2/3 or s?
2/3
Let r = -40 - -41. Which is greater: -2/23 or r?
r
Suppose -s - 3*j = 16, -s + 5*s = 5*j + 21. Is s equal to -2/11?
False
Suppose 0 = 4*g + 5*j + 20, -5*g + 3*j + 2*j = -20. Let c = g - -4. Is 3 > c?
False
Suppose 2*l + 3*k = 27, -2*l - 4*k + 2*k + 22 = 0. Suppose -148*n - 5 = -149*n. Is l at most as big as n?
False
Suppose -4*w - 2 + 14 = 0. Let q be w/(-2) + 0 + 0. Is -3 at least as big as q?
False
Let l be -1 - -6 - (0 - -2). Suppose 0 = 5*b - 22 + 7. Is l at most as big as b?
True
Let t = 7 + -4. Let d be (t - 2)/(1/3). Let w be 2 + (4 - 0) + -2. Which is smaller: d or w?
d
Suppose 5*k = 25, 2*o - 4*k + 18 = 4*o. Is o equal to -2/13?
False
Suppose -c + 8 = -z, -2*c + z + 16 = -2. Let u = -64 - -75. Which is greater: u or c?
u
Let v(m) = m**2 + 3*m - 3. Let i be v(-4). Let d be 4*-4*22/12. Let y = -29 - d. Do i and y have the same value?
False
Let s = -6 + 6.2. Which is smaller: -7 or s?
-7
Suppose 4*s = -k - 9, -5*k - 29 + 1 = 3*s. Let y(g) = g**2 - 5*g - 8. Let u be y(7). Suppose -u = 4*j - 0*j - x, 2*j = -2*x + 2. Is s greater than j?
False
Suppose -26 = 4*p - 5*g, g - 6 = 2*p + 4. Let y(k) = -k - 4. Let u be y(p). Which is bigger: u or 2/13?
2/13
Let i be (-2)/(-5) - (-4)/15. Let r = 0.09 + -9.09. Let q = r - -10. Which is smaller: i or q?
i
Let w = -9 - -9. Is -2/35 at most as big as w?
True
Let d(i) = -i**2 + 3*i. Let o be d(3). Suppose 5*x = 4*x - 3. Let c be (-12)/56*4/x. Which is smaller: c or o?
o
Let f be (-1)/(-3) + (-16)/12. Let x be (-4)/(f + 3/5). Which is smaller: 11 or x?
x
Let g be (-2)/1 + (-12 - -28). Is g greater than 14?
False
Let y = 6.3 - 4. Let x = 2.4 - y. Is x equal to 13?
False
Let y(z) = -3*z + 15. Let r(x) = -2*x**2 - 10*x + 6. Let h be r(-5). Let q be y(h). Does -9/5 = q?
False
Let c = -9 + 5. Let i = c + 4.1. Which is greater: 0.3 or i?
0.3
Suppose 0*v + v - 16 = 0. Which is smaller: 17 or v?
v
Let g be (5/((-15)/(-6)))/(8/(-4)). Let x = -69 + 343/5. Which is smaller: g or x?
g
Let l be 0 + 0 + (-5)/4. Suppose 2*s = -3*s - 5. Which is smaller: s or l?
l
Let r be (-448)/240 + (-2)/15. Which is smaller: r or -1?
r
Let b = 0.7 + 2.3. Let h be (6/18)/(2/(-18)). Which is greater: b or h?
b
Let c(r) = 2*r. Let u be c(1). Let g be (-2)/6 + (-759)/126. Let m = -34/7 - g. Which is bigger: u or m?
u
Suppose -4*l + 13 = v - 4, -2*v + 16 = 2*l. Suppose 7*j = v*j - 22. Is 2/7 at least as big as j?
True
Let z(p) be the first derivative of -p**4/4 + 4*p**3/3 + 2*p**2 + p - 1. Let x be z(5). Let h(l) = l**3 - 12*l**2 - 13*l - 3. Let o be h(13). Is x equal to o?
False
Let i be -4*2/(-5)*-5. Let m = 6 + i. Let k = 164 + -165. Is m >= k?
False
Let i(p) = -p - 3. Suppose 2*t + 4*l - 32 + 0 = 0, -4*t - 2*l = -58. Suppose 5*b = 4*g + 1, -4*b - 6 = -5*g - t. Let u be i(b). Which is smaller: u or 1?
u
Suppose -8 = -m - 3*m. Suppose 0*z = m*z - 40. Let k be (z/9 - 2)/(-1). Which is bigger: 2 or k?
2
Let b be 6/9 + (-17529)/30789. Let h = 2/311 - b. Suppose 2*t + 4*l + 1 - 7 = 0, 4*l = 2*t + 10. Which is bigger: t or h?
h
Let j(w) = 8*w + 30. Let c be j(-14). Is c less than or equal to -82?
True
Let x be -7 + -52 - (2 + -5 - 0). Which is smaller: x or -57?
-57
Let l be 512/1400 - (-2)/(-7). Is l less than -1?
False
Let w = 3.7 + 15.3. Let r = 16 - w. Is r equal to -2?
False
Let i(m) = -2*m**2 - 2*m + 2. Let a be i(-2). Let x be a/(-6) - (-20)/30. Which is smaller: x or 0.4?
0.4
Let a(u) = 2*u - 8. Let l be a(6). Suppose -3*t + l = -2. Let v = 32 - 94/3. Which is smaller: t or v?
v
Suppose -p = 5 + 10. Suppose 78 = 3*v + 69. Let j be v/15*p/6. Which is greater: j or 0.2?
0.2
Let u = 6.1 + -6. Which is smaller: -3.3 or u?
-3.3
Let q = 61 + -36. Suppose f = -4*f - q. Which is greater: f or -3?
-3
Let s(a) = -2*a - 4. Let l be s(-3). Is l <= 4?
True
Suppose x + 5 = 4*r, -5*x + 25 = 3*r + 2*r. Let h(a) = -4*a**2 + a**3 - a - 3*a + 7*a**r. Let i be h(-4). Is -2 smaller than i?
True
Let s(x) = 3*x - 9. Let q be s(7). Let f(a) = a - 15. Let c be f(q). Is c equal to -2?
False
Let q be 13/(-5) - (-9)/3. Is 3/2 at least as big as q?
True
Let u(l) be the first derivative of 3 - 1/2*l**2 - 1/3*l**3 + 0*l. Let d be u(1). Which is smaller: -1 or d?
d
Suppose -4 = -i + 3*i - 2*s, 0 = -2*i + 3*s - 7. Do i and 3/8 have the same value?
False
Let m = -2.25 - -0.05. Let d = 1.2 + m. Which is greater: d or -0.5?
-0.5
Suppose 14 = 5*x - 3*w, -5 = 4*x + 3*w - 0*w. Which is bigger: 4/7 or x?
x
Suppose 14 = 3*b - 10. Is b smaller than 8?
False
Let w be 1 - 1 - 516/18. Let o(b) = 29*b**2 - 2*b + 1. Let v be o(1). Let d = v + w. Which is smaller: 5 or d?
d
Let d = -2 + 5. Suppose 12 - 6 = d*g. Which is greater: g or 4?
4
Let n(d) = -7*d**2 + d. Let s be n(-1). Is -8 at least s?
True
Let l be 0 - (0 + 13)*-1. Let u = 5 - l. Are -3 and u unequal?
True
Suppose -q - 24 = -5*q. Let y be (4/6)/(q/(-36)). Is -4 < y?
False
Suppose -7 = 5*t - 2. Let j(q) = -4*q**2 + 14*q - 15. Let z(x) = x**2 - x + 1. Let s(i) = t*j(i) - 3*z(i). Let a be s(10). Which is bigger: a or 1?
a
Suppose 0 = 6*r - 5*r - 5*r. Is -2 greater than r?
False
Let b be (-2 - -2192)*(-34)/4. Let m = 92778/5 + b. Let s = 60 + m. Are s and 0 unequal?
True
Let g(u) = u - 3. Let k be g(3). Suppose 0 = -k*q + 3*q. Which is greater: -3/4 or q?
q
Let g = 20 + -37. Let q = 33/2 + g. Are q and -0.4 nonequal?
True
Let w = 0.035 - 0.135. Let p = 0 - 0.5. Let b = 1.1 + p. Which is smaller: b or w?
w
Suppose 0 = -2*n + n - 60. Let q be n/(-275) + 4/22. Are 3 and q nonequal?
True
Let m = 2 - 3. Suppose 2*f - 5*o - 35 = 4*f, 5*f + 71 = 4*o. Let n be (2/(-8))/(f/(-12)). Is n > m?
True
Suppose 5 = 3*d - 8*d. Is -1/9 <= d?
