e
Let w = 180/7 + -3247/126. Which is greater: 0 or w?
0
Suppose -4*p = -3*p. Let u = 0 + p. Which is bigger: u or -1/4?
u
Let c(i) = i**3 + 5*i**2 - 3*i - 7. Let n be c(-5). Let r = n - 11. Which is bigger: r or -4?
r
Suppose 2*q + l = -2*q + 1, -3*q - 28 = -5*l. Is -8/13 != q?
True
Let g be -1*3*(18 + -19). Is 1 at most g?
True
Let z be 0 + -1 + (-5 - -4). Let q(k) = -k - 7. Let x be q(-5). Let p be (-15)/(-12)*(-3 - x). Is z > p?
False
Let o = -150 + 746/5. Let x(r) = -3*r**2 + 25*r + 16. Let f be x(9). Are f and o unequal?
True
Let q = -7 - -7.1. Let f be (2 - 6) + 2 + 5. Suppose 5*b - f + 23 = 0. Are b and q equal?
False
Let s = -151 + 247. Let v = -2/15367 + 11817239/122936. Let f = s - v. Do f and 0 have the same value?
False
Let i(z) = 2*z + 6. Let d be i(-5). Let k be 45/51 + d + 3. Suppose 0 = 5*h - 2*h. Which is smaller: k or h?
k
Let v = 31/7 - 4. Is 1 at most v?
False
Suppose 0 = a + a - 3*m + 4, -2*a - 4*m - 4 = 0. Let w be a/(-60) - (-2)/(-10). Which is smaller: w or 0?
w
Let g(r) = -r**2 - 4*r. Let w be g(-4). Suppose -9 = -3*b - w. Which is smaller: 3/2 or b?
3/2
Let i be (-12)/36 + 55/3. Is i less than or equal to 18?
True
Let u be -3*(-4)/(-12) - -1. Suppose -25 = -5*f, -4*l - 3*f = -2*l - 9. Is u at least l?
True
Let h(w) = w**3 + w**2 - 3*w - 3. Let z be h(-2). Let n be z + (-1)/((-26)/30). Is n > 0?
True
Suppose -2*u + 5*a - 9 = 0, 3*u + 3*a + 24 = -0. Suppose 0 = -6*w + 3*w - 18. Is u greater than or equal to w?
False
Let c = -0.1 + 0.4. Let j = c - 0.1. Let z = -0.2 + j. Which is greater: z or -0.1?
z
Suppose -5*m + 9 + 2 = a, -2*a - 2*m = 2. Is -4 > a?
False
Let l(f) be the second derivative of f**4/12 + 2*f**3/3 + 3*f**2/2 + f. Let c = 9 - 13. Let v be l(c). Is v != 1?
True
Let r(j) = -j**3 + 5*j**2. Let k(t) = -t**3 + 5*t**2. Suppose -12 = 2*b - 5*b. Let p(x) = b*k(x) - 5*r(x). Let z be p(5). Which is smaller: z or 1?
z
Suppose -q = -2*q. Suppose q*f - 3*f - 6 = 3*z, 4*z = -20. Let c be (-1)/(-1 + 1 - 1). Which is greater: c or f?
f
Let q = -74 - -147/2. Is q greater than or equal to 73?
False
Let l be (3 - 6) + (4 - -1). Let j be 8/(-14)*(-2 - (-1 + 0)). Which is smaller: l or j?
j
Let n(s) = s**3 + 3*s**2 + 2*s. Let i be n(-2). Let p be 2*(1 - (-3)/2). Suppose -p*t + 5 = -i. Which is bigger: 2/3 or t?
t
Suppose -5*k = -3*x, -x - 3*x - 4*k = 0. Is x < 4/3?
True
Suppose 0 = 4*c + u - 2 + 19, -5*u = -2*c + 19. Let r be c + 3 + (-1 - 106). Let k = -531/5 - r. Is 2 less than or equal to k?
False
Let c = 1053835/42 + -25095. Let f = c - -27/7. Suppose -4*u - 5*p - 7 = -3, 0 = p. Is f at most u?
False
Let i = -2 - -1. Let p(r) = r**3 + 4*r**2 + 2*r - 7. Let o(c) = -c**3 - 3*c**2 - c + 7. Let t(b) = 2*o(b) + 3*p(b). Let k be t(-5). Is i at most as big as k?
False
Let f be (-26)/7 - 10/35 - 1. Is f less than -2?
True
Let p(m) = -m**2 - 7*m + 3. Let a be p(-7). Let q be 8/6*a/46. Is 1 greater than or equal to q?
True
Let t be (-5 - 29/3)/(-2). Which is greater: t or 8?
8
Let q be 8/(-10)*(-8 + 3). Suppose 2*i - 18 = 5*s, 4*i = -4*s + 5 + 3. Is q greater than i?
False
Let q = 230 + -123. Let f = q + -751/7. Let x = -3.8 + 4.3. Which is smaller: f or x?
f
Let z = 545 - 1502. Let n be z/30 - 2/(-5). Let r = n + 32. Do 1 and r have the same value?
False
Let j be 76/36 + 2 - 4. Let f be (-1)/2*(-4)/(-2). Which is greater: j or f?
j
Let m(i) = -i**2 - 4*i + 6. Let k be m(-6). Which is greater: -1 or k?
-1
Let k be 2/(-3)*-12 + -2. Suppose 4*w + 13 = k*s - s, -4*s + 12 = -4*w. Suppose 0 = 3*m - 5*y + 1, -5*y + 1 + 4 = -5*m. Is m equal to w?
True
Let d be (-180)/51 + 20/5. Which is greater: -1 or d?
d
Let l be (-13)/((-39)/(-18)) + -1. Which is greater: l or -6?
-6
Let m = 7 + -7. Let l = -1 + m. Suppose 7 = 4*p + 15. Is p <= l?
True
Let s(z) = -4*z - 8. Let w be s(-2). Which is smaller: -2/11 or w?
-2/11
Let l = -9 + 9. Suppose 4*c - 5*c - 3 = n, 2*c + 10 = l. Suppose -4*y - n = 5*k - 5, 3*k = 5*y - 13. Which is bigger: k or 2/27?
2/27
Let c = 4/3085 + 117146/64785. Let h = c + -8/7. Is -5 > h?
False
Let z = 10.501 - 0.001. Let f = z - 11. Which is smaller: f or -0.2?
f
Let j = -519/119 - -33/7. Which is greater: j or 0?
j
Let n be (-5)/4*3/15. Let u be 4*2*(-2)/8. Is n <= u?
False
Let s be (8/(-5))/(4/(-10)). Suppose 0 = s*b - 4*o - 12, 0 = o + 2*o + 12. Is b equal to -2/27?
False
Let d be ((-16)/(-60))/(2/(-3)). Are d and -0.1 nonequal?
True
Suppose 0 = -f - 4*f - 25. Is -7 less than or equal to f?
True
Suppose 3*y - 4*y = -1. Let d be 15/((-1)/(-2) - -1). Let z be d/15 + (-14)/30. Are y and z non-equal?
True
Let x be 2*3 - 2/2. Let l = -6 + x. Let f be l - (1 + 1 + -4). Is f <= 1/3?
False
Let r(i) = i**3 + 8*i**2 + 12*i - 4. Let w be r(-6). Which is smaller: w or -5/2?
w
Suppose 3*k = 6*k. Suppose -x + k*x + 4 = 0. Suppose x*s + 1 + 3 = 0. Is s > -2/7?
False
Let v(m) = 0*m**2 + 2*m**2 - m**2 + m + 1. Let l be v(0). Which is bigger: -3 or l?
l
Let i be 48/(-46) + (2 - 1). Which is greater: i or 0?
0
Suppose 7*n - 6*n = 1. Which is bigger: n or 4/9?
n
Let p = -0.38 - -3.32. Let j = p - 3. Let s = -0.06 - j. Which is smaller: s or 0.3?
s
Let t = -1/173 - -349/519. Let d be (1/2)/(7/(-4)). Is t greater than d?
True
Let t = 7.6 - 8. Let l be (-4)/8 + (3 - 2). Which is smaller: l or t?
t
Let n = 106 - 157. Let r = n - -358/7. Is r < -1?
False
Suppose 2*u = -u - 9. Let b be (u - -9)*2/6. Suppose -b*c = -c. Is -1 smaller than c?
True
Let h be (-8)/6 - (-2)/(-3). Is -3 < h?
True
Let w be (1 - 38/16) + 1. Suppose 2*c = c - 2*c. Which is bigger: c or w?
c
Let t = 16 - 20. Does -10 = t?
False
Suppose 2*t + 2 = 3*t. Suppose -t*l = -7*l. Which is bigger: 1 or l?
1
Let n = 85 - 95. Which is greater: n or -6/5?
-6/5
Let o = -1561/11 + 142. Let s(i) = -i**3 + 6*i**2 - 4*i - 2. Let r be s(5). Suppose 2*f - r*f = 1. Which is smaller: f or o?
f
Suppose -3*t - 3*f + 20 = 2*f, -20 = -4*t - 5*f. Let w(r) = r**2 - 5*r - 1. Let d be w(6). Suppose d*g = 3*g - 2. Is g != t?
True
Let u(x) = x + 4. Let q(c) = 2*c + 8. Let w(j) = 3*q(j) - 7*u(j). Let o be w(-4). Let n = -401/3 - -134. Which is smaller: o or n?
o
Let a be ((-80)/12)/(8/(-108)*3). Is a < 31?
True
Let c(o) = -o - 5. Let s be c(-7). Let f = -1/181 + 548/905. Is s greater than or equal to f?
True
Let a be 4/(-4) + (-1788)/33. Let s = -55 - a. Is s at least -1?
True
Let w = 6 + -6. Let q be (-10)/(-25) + 38/(-120). Which is smaller: q or w?
w
Let j(b) be the second derivative of -b**5/20 - b**4/6 - 3*b. Let h be j(-2). Let k(x) = -x**3 + 3*x**2 - x - 2. Let f be k(2). Is f > h?
False
Let x(g) = -g + 3. Let u be x(0). Suppose -5*h - 16 = 3*t, -u*t + h = -6*t + 4. Suppose q = -t*q + 16. Is q greater than or equal to 5?
False
Let f be (-2)/3*39/(-104). Let l(b) = -b - 2. Let q be l(-2). Suppose q = 3*a + 3, -4*a + 2 = 6*c - 3*c. Which is smaller: c or f?
f
Let f = 0.1 - 0.3. Let c = 0.1 + f. Let y = -22 + 22.1. Are y and c unequal?
True
Let o = 3.96 - 4. Let t = o - -0.44. Do -0.1 and t have different values?
True
Let r = 1.1 - 1. Let k = -3 + 1. Let x = 1 + k. Which is bigger: x or r?
r
Let q be (-57)/15 + 1/(-5). Let w be (-6)/21*q - 2. Is -2/5 at most w?
False
Let f(l) = -l + 4. Let x be f(4). Let k(w) = 2*w + w - w - 3*w. Let j be k(x). Which is greater: j or -1/3?
j
Let o(i) be the second derivative of -i**5/20 + i**4/6 - i**3/6 + i**2/2 + 2*i. Let b be o(1). Is b at least as big as 1/5?
True
Suppose -5*l + 2*j = -96, -3*j - 59 = -4*l + 15. Is l equal to 2?
False
Let h be (-7)/(7/4) - -5. Suppose 0 = -4*o - 8, -g + 4*o + 1 = -9. Which is greater: h or g?
g
Let v = 0.46 + -0.35. Which is bigger: v or 1?
1
Let t = 13 + -9. Let o = -1 + t. Suppose 0 = -o*j + 3. Are j and 2/7 equal?
False
Let n = 11 + -12. Is n <= -0.2?
True
Let i(z) = -z**3 + 5*z**2 + 6*z - 4. Let n be i(6). Let j be (4 - 3) + 2 - 8. Let k be (5 + -1 + j)*3. Is k > n?
True
Let v(d) = d**2 + 8*d + 8. Let s be v(-6). Suppose -o - h - 1 = h, -4*h + 13 = -3*o. Let c = o - s. Is c at most as big as 1?
True
Let r be 4/10 - (7 + -6). Let t = 2 + -2. Let a be (t/2 + 0)/(-2). Is a != r?
True
Let j = -4 + 0. Let h = -3.3 - j. Let r = -0.2 + h. Which is greater: 0.1 or r?
r
Let u = 31 + -29. Let g = 0.1 - 1.1. Let i = g + u. Is 1 greater than i?
False
Let n be 68/(-20) - (-4)/10. Let b = -8 - -4. Are n and b equal?
False
Suppose 2*f + 16