 - 4, 5*l - 1 = r. Which is greater: 0 or l?
l
Let x = 52.9 - 53. Let v = -5 + 0. Do x and v have different values?
True
Let j be 12/(-10)*5/(-2). Suppose o - j = 3*q, 5*o = -q + 1 + 62. Suppose -o = 4*s - 0*s. Is -3 not equal to s?
False
Let c be 3/(-6)*2 + 3. Let l(z) = -3*z**2 - 9*z + z**2 + 9 + z**3 - 5*z**c. Let u be l(8). Which is greater: 1/7 or u?
u
Let a = 26.8 - 0.8. Are a and -0.2 unequal?
True
Let x = -11 + 3. Let z(o) = -o**3 + 7*o**2 - 10*o - 7. Let l be z(5). Which is bigger: x or l?
l
Let x = -10 - -7. Let y = x - -4. Let t be 3 + -1 - 48/22. Which is greater: t or y?
y
Let z = 5 + 0. Suppose z + 5 = -n. Does -9 = n?
False
Let u = -10 - -5. Let b(f) = -5*f**2 + 2*f - 1. Let g be b(1). Let n = u - g. Is 0 > n?
True
Let j be 8/(-28) - -75*3/(-21). Which is smaller: -14 or j?
-14
Let f be 129/(-33) + -3 + -2. Let z = -1448/165 - f. Which is smaller: -1 or z?
-1
Suppose -4*c - 1 = -5. Suppose -c = -5*g - 6. Let z = 0 - -1/4. Which is greater: z or g?
z
Suppose 0 = 3*c - 2*m - 8, -c + m + 2*m = 9. Do -4 and c have different values?
True
Let p be (4/6)/(58/(-2175)). Do -24 and p have the same value?
False
Let l be (4/(-25))/((-10)/(-25)). Is -4/3 < l?
True
Let c = 0.99 + 0.01. Let o = 0.03 - -1.97. Are o and c unequal?
True
Let c be ((-4936)/(-10))/(-1 - -79). Let x = c + -84/13. Are -1 and x unequal?
True
Suppose 4*y = 7 + 1. Let z be (-472)/(-12) - y/6. Let o = z - 118/3. Which is bigger: 1 or o?
1
Let x(k) = -k**3 - 4*k**2 + 7*k - 6. Let v be x(-6). Is 23 equal to v?
False
Let p be 19/(-12) - 8/(-12). Let w = p + 5/4. Which is smaller: w or -0.4?
-0.4
Let s = -30241/45 + 672. Which is greater: 0 or s?
0
Let l = 13 - 12.6. Let r = l - 0.3. Is -2 at least r?
False
Let l = 146 + -1310/9. Let c = 4 + -3. Is c at most l?
False
Suppose 3*y = 4*f + 23, -4*y + 8*f - 4*f + 24 = 0. Let l be 4/3*(-412)/16. Let m = l - -69/2. Is y >= m?
True
Let v be 4/((-12)/(-15)) + -3. Suppose 5*x + 5 - 40 = -4*s, 2*s + v*x = 18. Suppose s = 5*o + 25. Is o at most -3?
True
Let x be (0/(-4 + 3))/(-5). Which is bigger: -2 or x?
x
Let x = -11 - -11. Is -2/5 greater than or equal to x?
False
Let g be (-2)/(-7) + (-99)/(-21). Suppose g = -a + 1. Is a < -3?
True
Let f(r) = -r**3 - 4*r**2 + 11*r - 10. Let x be f(-6). Is x at most 8?
True
Let d = -19 + 27. Which is smaller: d or 0?
0
Let t = 0.1 - 0.3. Let q = 2 - 2. Suppose 0 = 2*z - 2 - q. Which is smaller: t or z?
t
Suppose 2*r + 4*t = 56, r - 16 = t + t. Let v be r/(-8) + 3/4. Is v less than or equal to -4?
False
Suppose 25 = 3*r + 4. Let b = -3 + r. Let f be (4/20)/(b/(-5)). Which is smaller: f or -1?
-1
Let m(c) = -c**3 + 3*c**2 - 3*c + 1. Let u be m(2). Let s = -139 - -94. Let t be 4/(-10) - (-42)/s. Which is smaller: u or t?
t
Let m be (6/2 + 3)/2. Let v(r) = 3 - 2*r + m*r + 3*r**2 - 7*r - 2*r**2. Let w be v(6). Are w and 3 nonequal?
False
Let g = 8/27 - 2/27. Suppose 0*t - t + 3 = 0. Suppose -4*m = -t*m. Which is bigger: g or m?
g
Let d(o) be the third derivative of -1/6*o**3 + 1/8*o**4 + 0*o + 0 - o**2. Let k be d(1). Is 1 <= k?
True
Let n = 1425/11968 - 1/704. Are n and -1 equal?
False
Suppose -r - 12 = 3*f, 3*f + 10 = -r + f. Let x = -2 - r. Suppose 2*b + 8 = -5*t + 2*t, 0 = -4*b + x*t + 4. Is b less than or equal to -3/5?
True
Suppose -2*x + 5 + 0 = -z, x = -4*z - 11. Let r = 1 - x. Let j be 0/(-5) + (-3)/12. Which is bigger: r or j?
r
Let j = -1 + 2. Are -1/16 and j nonequal?
True
Let z = -1452 - -129226/89. Do z and 1 have the same value?
False
Let r(i) = -i - 13. Let u be r(-15). Are u and 3 non-equal?
True
Let y(h) be the first derivative of h**2/2 - 2*h + 2. Let g be y(6). Let q = -3 + g. Are -1 and q non-equal?
True
Suppose -x + 4*c = -7, -4*x + 28 = 4*c + c. Suppose 3*q + 16 = -5*w, -4*w - x = 4*q + 1. Let d = 3 + -4. Which is bigger: q or d?
q
Let c = 0.8 + -1. Which is smaller: -9 or c?
-9
Let l = 13.03 - 13.1. Which is bigger: l or 8/5?
8/5
Let l = 0.26 - -0.04. Let w = -3 + 2.6. Let t = w + l. Does t = -2/11?
False
Let g = 3 - -3. Let w be 4*1/g*-3. Let u be 10/(-3) - (-1)/3. Which is smaller: u or w?
u
Let z(r) = -20*r**3 - r**2 + 2*r - 1. Let s be z(1). Let b be (-4)/s*5/(-82). Let v = 85/246 + b. Is v < 0?
False
Let p(y) = y**3 - 3*y**2 - 8*y - 6. Let a be p(5). Suppose 0 = -5*d + 5, a*s - 2*d = -3 - 3. Is 0 less than or equal to s?
False
Let o be 0*(2 + 15/(-6)). Suppose o = 5*r - 1 + 11. Let p be 31/(-35) + 4/14. Which is greater: p or r?
p
Suppose 34 = -d + k + k, 0 = -2*k - 4. Is d at most as big as -38?
True
Let p(j) = j**2 + 6*j - 3. Let n be p(-7). Suppose 0 = d - 6 + n. Let t = 2 + 0. Is t less than or equal to d?
True
Let l = -0.1 + 1.1. Let b = l - 0.9. Let m = b - 0. Which is bigger: 1/3 or m?
1/3
Let g(c) be the third derivative of -c**6/120 + c**5/12 - 5*c**4/24 + c**3/3 + 2*c**2. Let m be g(3). Suppose m*i = 2*i - 6. Which is greater: i or -0.2?
-0.2
Suppose -2*x + 2*d + 8 = 0, 0 = -5*x - d - 0*d + 26. Suppose -3*a - 24 = 3*f, -3*a + x*a = 4*f + 8. Which is bigger: a or -11/4?
-11/4
Let k = 0 + 1. Let a(i) be the first derivative of -i**4/4 - 2*i**3 - 2*i**2 + 5*i - 3. Let n be a(-5). Is n less than k?
True
Let g = -167 - -129. Does g = 0.3?
False
Suppose -3 = -3*m, 3*b - 3*m + 4*m + 8 = 0. Let n be 2 + -3 + (-4)/2. Do n and b have different values?
False
Suppose 3*l = -4*h - 17, 2 = 4*l + h + 3. Let f = -7 + l. Let s be (-9)/f*(-1)/(-6). Are 1/5 and s equal?
False
Let p be (-51)/90 + (-6)/(-12). Suppose -n - n + 2 = 0. Which is greater: n or p?
n
Let i = -0.3 + -0.7. Suppose -l - 239 = -2*l. Let f = -2153/9 + l. Is f smaller than i?
False
Let k(a) = a**2 + 4*a - 7. Let q be k(-5). Let b be q - 5*2/25. Is b >= -2?
False
Let k(c) = 6*c + c + 1 - 10*c - c**2. Let z be k(-3). Is z greater than or equal to -1/4?
True
Suppose -2*c + 26 - 24 = 0. Which is smaller: -3/8 or c?
-3/8
Let k(v) be the first derivative of v**4/4 + 5*v**3/3 - v**2 - 6*v - 7. Let r be k(-5). Suppose 5 = 8*l - 3*l - p, -5*p + 29 = 2*l. Is r at most as big as l?
False
Suppose 5*b = -v + 10, 0 = -2*b + 5*b + 2*v - 13. Suppose 0 = -0*m - m + b. Which is smaller: m or 3?
m
Let n(l) = -l**2 + 6*l - 2. Let w be n(3). Is w greater than or equal to 7?
True
Let o = 5 + -3. Suppose 0 = 5*z - 3 - o. Which is greater: 5/4 or z?
5/4
Let g = -79/3 + 27. Let c = -5/12 + g. Is c less than -1?
False
Let c be (4 - 15/3)*(-1 + 19). Is c at least as big as -19?
True
Let m(y) = -y + 5. Let u be m(3). Suppose 3*i - 5 = -u*i. Let v = -0.19 + 3.19. Which is smaller: i or v?
i
Let j = -0.97 + -0.03. Are 8 and j non-equal?
True
Suppose 25 = -5*d - 4*z, 2*d + 2*z - 3 = 3*z. Let s = d + 4. Suppose g - 8 = 4*y + 5*g, -s*g = -4*y - 22. Is -3 not equal to y?
True
Suppose -12 = 3*p, 9*p - 4*p = f - 19. Let n = 3 - -29. Let d = n - 221/7. Which is bigger: f or d?
d
Suppose 0 = -5*a + l - 28, 0 - 3 = 3*a + 4*l. Let f be ((-18)/15)/((-3)/(-10)). Which is bigger: f or a?
f
Suppose -1213 + 463 = 25*c. Is c less than -29?
True
Let t = 64 + -65. Is t > 20?
False
Suppose -6 - 6 = -4*u. Which is smaller: u or 0.1?
0.1
Suppose 0 = -5*b - 10 - 15. Let p be 6 + -9 - (4 + -1). Is b equal to p?
False
Let w = -11109/4 - -2813. Let p = -36 + w. Is p >= 0?
False
Suppose 5*a = 2*i + 7, a - 10 = i + 5*a. Let k be 32/6*(-9)/i. Which is bigger: 9 or k?
9
Let u(n) = 0*n**3 + 2*n**3 + 1 - 3*n**2 + 2*n**3 - 3*n**3 + n. Let w be u(2). Which is smaller: w or 2/5?
w
Let k be (50/(-28) - -1) + (-7)/(-14). Are -0.25 and k nonequal?
True
Suppose -n + 9*u - 2 = 4*u, 4*n + 8 = -4*u. Which is smaller: -5 or n?
-5
Let r be -3 + 1 + 13 + -14. Are r and 1/4 nonequal?
True
Let z = 43 + -43. Is z equal to -0.24?
False
Let x(q) = q**3 + 16*q**2 - 17*q - 1. Let i be x(-17). Which is smaller: 1/88 or i?
i
Let b be (-6)/(-18) + 2/6. Suppose 4*l = -3*t + 8*t + 13, 0 = 2*l - 5*t - 9. Suppose -2*a = -0*a - l. Which is smaller: b or a?
b
Let w be 9/(-7) + (-6)/(-21). Which is smaller: -4 or w?
-4
Let x = 1 + -1. Let j(k) = k + 1. Let h be j(1). Let q be h + -3 + -1 + 4. Which is bigger: x or q?
q
Let i = 12 - -20. Let u = 30.7 - i. Let d = 0.3 + u. Is d <= -1?
True
Let g be -1*(-3 - -41)*-2. Let a = 226/3 - g. Let z = -6 - -6. Which is smaller: a or z?
a
Let b = -28 - -39. Let o = -8 + b. Which is bigger: 0 or o?
o
Let y be (-4)/(-12)*(-15)/55. Which is smaller: 0 or y?
y
Let j