e 5*l = -3*s + 17 - 3, -24 = x*s - 5*l. Which is bigger: s or p?
p
Let b = -164 + 5738/35. Which is greater: 0 or b?
0
Suppose 0 = -5*j + 3*v - 33, -j + 9 = -3*j - 3*v. Is j greater than -1?
False
Let l = -18/43639 + 158278995/829141. Let h = -191 + l. Which is smaller: h or 1?
h
Let w(t) = t**3 - 3*t + 6. Let p be w(4). Suppose 5*j - p = 3*q, -5*q + 4*j + j - 80 = 0. Is q > -11?
False
Let y = 2 + 6. Which is smaller: y or -1/3?
-1/3
Let c be 10/4*96/(-780). Which is greater: c or 1?
1
Let w(v) = v - 7. Let z be w(9). Let u = z + -2. Suppose m = -u*m. Which is smaller: m or 1/3?
m
Let s = 3044/7 - 434. Let k be (9/6 + -1)*6. Suppose -4 = d - k*d. Which is bigger: s or d?
d
Suppose 0 = -l + 5 - 0. Let f be (-1)/l - (-52)/10. Is 5 less than f?
False
Let o(v) be the first derivative of -v**4/4 - 4*v**3/3 + v**2/2 - 2*v + 1. Let x be o(-4). Which is smaller: x or -16/3?
x
Let h be 62/6 - (-10)/(-30). Is h greater than or equal to 10?
True
Let j be 3 - (-2 + 50/22). Which is greater: 2 or j?
j
Suppose 2*x + 2*q = 10, -2*x + x - 2*q + 8 = 0. Let l(h) = -h**3 - 4*h**2 + 5*h + 2. Let c be l(-5). Is c bigger than x?
False
Let u = 2.67 - 0.37. Let h = u + 0.7. Let i(c) = -c**2 - c. Let o be i(1). Which is greater: h or o?
h
Suppose 0*v = -2*v. Suppose -3*a = -x - 11, -a + v*x = -4*x. Does 3 = a?
False
Let z = -18317/387 + -1/387. Let c = 47 + z. Let p be (-1)/5 + (-4)/(-20). Which is smaller: p or c?
c
Let y(c) = c**3 - 11*c**2 + 11*c - 5. Let q be y(10). Suppose f - 2 = -5*x + 1, x = -f - q. Let l = f + 4. Is l at least as big as -3?
True
Let a be (-28 - -25) + 0 + 5. Which is smaller: a or 1/9?
1/9
Suppose -4*r - 4*n + 28 = 0, r + 2*n - 25 = 7*n. Suppose -5*z + 0 = -r. Is 4/5 at most as big as z?
True
Let g be 7/28 - 54/56. Is g bigger than -0.1?
False
Let g = -0.5 - 2. Let f = g + 2.5. Which is greater: f or -14?
f
Let m be 5 + -12 + 1 + -1. Let n = 6 + m. Which is smaller: 0.1 or n?
n
Let f be (-9)/(-4) + 1/(-4). Let w = -344 - -343.6. Is f bigger than w?
True
Let q(f) be the third derivative of -f**4/24 + f**2. Let b be q(4). Is -5/2 <= b?
False
Let v = -71 - -55. Which is greater: v or -10?
-10
Let r be 4*4/(-8) - (0 + -1). Suppose -20 = -3*p + 5*v, 3*p = 2*v + 2 + 6. Which is smaller: p or r?
r
Let m = -13 - -8. Let h = 8 + m. Is 4 < h?
False
Let f = -1 + 2. Let o be (2/(-8))/(0 + -1). Is f smaller than o?
False
Suppose 4*a + 36 = -2*a. Let w be 532/(-231) - a/9. Are w and -2 non-equal?
True
Suppose 5*t = -3*f + 9, -2*t - 9 = 4*f - 7*f. Suppose 0 = -4*g - 20, -l - 2*g + 2 - 10 = t. Suppose -o - 3*o = 0. Which is smaller: l or o?
o
Let h be (-2)/(-6) + (-1450)/4170. Is h > -1?
True
Let b be 8/(-24) + (-249)/9. Which is smaller: b or -27?
b
Let r(c) = -c**3 - 5*c**2 - 3*c. Let f be (-2)/3 + (-10)/3. Let o be r(f). Suppose v - 7 = 3*t, -2*t + t - 5*v = 29. Is o < t?
False
Let q be (-11)/4 + -1 - -4. Let d = -6 - -10. Suppose 3 + 1 = b + 2*s, -4*s = -d*b + 4. Does q = b?
False
Suppose 3*h = 2*h - 2. Let f be h*(3 - 4) + 0. Is f < 2?
False
Let f be (2 + -4)/((-1)/2). Suppose f*v - 10 = -5*o, o + 4*v - 2 = 8*v. Which is bigger: 1/2 or o?
o
Let w(g) = -g**3 - 3*g**2 - 14*g - 13. Let c be w(-5). Is c != 106?
True
Suppose 7 = 4*v - 5*v - 3*x, -9 = 3*v + 5*x. Suppose 0*h = v*h - 2. Suppose 5 = 2*m + 3*m. Is h less than m?
False
Let k be (-6)/(-4)*4/12. Are -1/11 and k non-equal?
True
Let x be -8 - (2 + 2 + -2). Let v be x/6*18/135. Is v > 0?
False
Suppose -3*h + 4*t + 37 = 0, -3*t + 81 = 9*h - 4*h. Is h > 14?
True
Let x be 506/(-70) - (-12)/28. Do -7 and x have different values?
True
Let z be (6/(-10))/((-1)/5). Suppose -13 = z*v - 5*s, 3*v + s = -2*v - 3. Let u = -1/124 - 237/1364. Is u less than v?
False
Suppose -5*p = -2*p. Let s be (p*(-1)/(-3))/1. Is -1/3 at least s?
False
Let t = -4 - -7. Suppose -3*z + t = -0*z. Is z less than or equal to -2/7?
False
Let v = 0.8 - 1.8. Let k = v - -1.1. Is k at most -0.07?
False
Suppose 34 = 4*s + 3*p, 3*s + p - 3*p = 17. Let t(n) = -n + 7. Let h be t(s). Is h smaller than 2/3?
True
Suppose -16 = 4*f - 4*l, 0 = 4*l + 7 - 19. Let r = -1 - 0. Let m = -1 - r. Is m at most as big as f?
False
Let o be 1/(-4) - 3/(-12). Let m be o*(1 + -1 + -1). Let n be 4/3 - (-1)/(-1). Is n bigger than m?
True
Suppose -3*a - 12 = -3*q, a + 2*q = -q + 8. Let k be (1 + 2*a)*1. Is -1/6 at least k?
True
Suppose 22*w + 3 = 19*w. Is -4/97 greater than or equal to w?
True
Let h be 1 + (3/(-4) - -1). Suppose -13 = -3*f + 6*d - 4*d, 0 = -d - 5. Let r be ((-4)/12 + f)*3. Is h less than or equal to r?
True
Let m(y) = -y**3 + 11*y**2 - 9*y - 10. Let f be m(10). Which is greater: -3 or f?
f
Let r = 5 + 1. Suppose -3*i + i = -s - r, 0 = -4*i + s + 14. Is i greater than or equal to 2?
True
Let z(v) = v**3 - 4*v**2 + 3*v - 1. Let a be z(3). Let x = -12490/99 - -2346/11. Let b = -87 + x. Is b smaller than a?
False
Suppose -3*h + 8*y - 3*y = -29, -3*h + 3*y = -21. Suppose 6*w + h = 3*w. Let q be 1/3 - (w - -1). Which is greater: -1 or q?
q
Suppose -q - 2*q + 12 = 0. Suppose -q*h + 95 = 11. Is 21 bigger than h?
False
Let z = -9 - -9.03. Let l = -0.03 + z. Let w = 0 + 0.1. Which is smaller: l or w?
l
Let x be -2*((-3)/(-42) - 0). Which is greater: 1 or x?
1
Let u(g) = -g + 8. Let v be u(7). Let t be (10/6 + -3)/(-6). Do v and t have different values?
True
Let l = 14 + -3. Let y = l + -14. Which is greater: 1 or y?
1
Let n = -5 - -7. Suppose -2*g + 6*g + 4 = 2*p, 4*g + 4 = 0. Let o = 0 + p. Do o and n have the same value?
False
Let i = 812/775 + -30/31. Let v = 1 + -1. Is i smaller than v?
False
Suppose 4*h + 0*h + 4 = 0. Let t be (2 - 3)*(-4 - h). Let x be 1/t*(0 - 2). Which is bigger: x or 1?
1
Let y(g) = 2*g**3 + 3*g**2 - g + 3. Let o be y(-3). Let m be o/(-8)*(-80)/(-12). Let v = m + -17. Are v and 2 nonequal?
True
Suppose -5 = d - 4. Let x = 0 - -0.1. Let n = x + -0.1. Is n greater than d?
True
Let k(b) be the third derivative of b**6/360 - b**5/120 + b**3/3 + b**2. Let v(q) be the first derivative of k(q). Let g be v(1). Which is greater: 3/5 or g?
3/5
Suppose -3*z - 3 = 0, 3*i + 2*z + 2 = 6. Suppose -i*p + j - 1 + 0 = 0, p - 2*j + 8 = 0. Let s be p/(-7) - 4/(-14). Is s at least 0?
True
Let s(h) = h**2 + 1. Let w be s(0). Suppose 0 = 5*j + 14 - 4. Let c be j/w*(-1)/2. Is 2/5 >= c?
False
Let y = -1.7 - -0.1. Let x = y + 2. Which is smaller: x or -1/2?
-1/2
Let r = -24 + 29. Let c be (-2 - -2)*(-2 - -1). Suppose 0 = -c*q - 2*q + 8, 5*b - 25 = -r*q. Is 3 > b?
True
Let z be -1*4/16*1. Do -1 and z have the same value?
False
Let g(p) = -p**2 + 2*p + 3. Let m be g(3). Let c(u) = 6*u**2 + 0*u**3 - u**3 + 6*u + 6 + m*u**2. Let w be c(7). Is w less than 1/9?
True
Let j = -84 + 81.89. Let x = 0.11 + j. Let u = -1 + 0.8. Which is smaller: x or u?
x
Let u = -5.9 - -0.9. Let v = u - -3. Are -0.5 and v unequal?
True
Suppose 0 = -0*h - 2*h + 2. Let w be 3/(-2)*(1 + h). Is -3 at least w?
True
Let k = 5 - 1. Suppose -5*m = -3*u + 14, -2*m + 36 = 3*u - u. Suppose 3*i - s + u = 0, i = -2*i - k*s - 8. Are 0.1 and i equal?
False
Let s = 5.8 + -8. Let d = 1.9 + s. Let z be ((-3)/4)/(6/2). Is z at most as big as d?
False
Let i = -5/3 - -4/3. Let n = 13 + -10. Suppose -3*z + n = -0. Which is bigger: z or i?
z
Let v be (-2)/7 - (-36)/28. Let w(g) = 2*g - 2. Let z be w(v). Is -4/7 >= z?
False
Let c(t) = -t**2 - 10*t + 12. Let y be c(-11). Which is smaller: y or 9/4?
y
Suppose -5*y + 5*s = 44 + 1, y = -2*s. Let p be -1*(-3)/((-27)/y). Is p less than 13?
True
Let v = -1 + 5/6. Let d be 1*-2 - (-1 - 2). Which is smaller: d or v?
v
Let y = -43 - -44. Is -72 less than or equal to y?
True
Let y be (-3*1/(-3))/1. Let d(k) = -k**2 - 10*k - 9. Let m be d(-9). Let w be (m - 2/(-6))*6. Which is greater: y or w?
w
Let w = -8.5 + 9. Let h = -1.5 + w. Is -1 smaller than h?
False
Suppose 0 = -4*z + 5 + 3. Let n(o) = -4*o**3 - 3*o + 1 + 3*o**3 + o + 3*o**2. Let b be n(1). Which is smaller: b or z?
b
Suppose 5*j - 10 = -0*j. Let a = -3 + j. Is a greater than -1?
False
Let r = -0.25 + 0.2. Let t = -18.18 + 18. Let s = -0.08 - t. Is r <= s?
True
Let t be (0 + -43)*2/(-2). Suppose 0 = 4*a + 3*y - t, 3*a + a + y - 49 = 0. Is 12 at least as big as a?
False
Let j = 23 + -22.9. Which is smaller: 3 or j?
j
Let n be 10 + 6 + 1 + -3. Which is greater: -2 or n?
n
Let s be 3/(-12) - 1223/4. Let j be (