maller: r or d?
r
Let i be (31/1778)/(2/(-66)). Let n = i + 1/254. Let x = n - -26/21. Which is smaller: -2/7 or x?
-2/7
Let z(p) = -9 + 4 + 4 + 3*p**2. Let l be z(1). Suppose 5*c - 25 = 0, l*y + 4*c = 20 + 4. Which is smaller: y or 1?
1
Suppose -14 = 5*s + 36. Let a = s - -1. Is -8 at least as big as a?
True
Let s(f) = f + f - 6*f. Let w be s(1). Is -2 bigger than w?
True
Let h = -2 + 3. Let y = 2 - 2. Suppose b - 2 = -y. Which is bigger: h or b?
b
Suppose -2*u + 14 = -6*p + 2*p, 5*p + 18 = 3*u. Let c be ((-2)/(-52))/(1/4). Is c greater than u?
False
Suppose w - 6*w - 21 = 4*x, -3*w = 2*x + 11. Is w at least as big as -3?
True
Let v = -422/3 + 139. Is 13 > v?
True
Let g = 0 + -0.1. Let z = -0.1 - 0.9. Let w = z + -1. Which is smaller: g or w?
w
Let j(y) be the first derivative of -1/3*y**3 + 2 + y - 1/2*y**2. Let z be j(-1). Which is smaller: -2/7 or z?
-2/7
Suppose -714 = -m - 2*m. Let h = -3807/16 + m. Which is bigger: h or -1?
h
Suppose -o - r = 6, -4*o - 5*r - 3 - 20 = 0. Suppose n = -9 + 2. Is n > o?
False
Let k = -12 - -3. Let t = -9 - k. Let n = -1.98 - -2. Which is bigger: t or n?
n
Let j be 108/11 - (-2)/11. Let k(o) = -o**3 + 11*o**2 - 9*o - 8. Let z be k(j). Is 1/2 greater than z?
False
Let j(n) = -n**2 + 7*n - 4. Let r be j(7). Let m be (-2)/r*(-1 + 1). Let b = -18 + 37/2. Is m at least b?
False
Let f = 2/61 - 193/305. Let l = 1 + -2. Which is smaller: l or f?
l
Suppose 5*l + n + 6 = -0*n, -4*n + 22 = -3*l. Is -7 less than l?
True
Let q = -13 + 19. Suppose 2*t - 14 = -v + q*t, 2*t = 2*v - 4. Let b be (-24)/(-36) + 17/(-12). Which is smaller: b or v?
v
Let o(d) = -4*d - 9. Let j be o(-2). Let v be -1 - 3/(-70)*-32. Let r = 9/5 + v. Is r bigger than j?
True
Let n(j) = -j + 6. Let l be n(5). Is -1/6 less than or equal to l?
True
Let m be -1 + 3 - (6 - 1). Let b be ((-4)/(-3))/(-4)*m. Let n = -1.96 + -0.04. Is n at least as big as b?
False
Suppose p = -b + 50, 0 = p - 4*b + 21 - 61. Suppose 2*a + p - 6 = 0. Let r be 14/a - 2/6. Is r at most as big as 2/5?
True
Let y = 3.27 - 3.2. Is y at most 1?
True
Let y = -7 + 7. Which is greater: y or 2?
2
Let b(u) = -u**3 - u**2 + u + 4. Let o(d) = -5*d**3 - 4*d**2 + 6*d + 21. Let v(z) = 11*b(z) - 2*o(z). Let p be v(-2). Which is smaller: 4/7 or p?
p
Let o(i) be the second derivative of i**4/12 + 5*i**3/6 - i**2 + i. Let w be o(-6). Let y = 17 - 12. Is y != w?
True
Let o = -0.5 + -7.5. Let s = o - -8.3. Let p = 0.2 - s. Is p smaller than -0.1?
False
Let w = -21/50 + -2/25. Let f be (2 - 1)/((-2)/(-4)). Let y be 0/2 - (f - 1). Is y at least w?
False
Let y be -3*(3 + -4) - 0. Let w = -1 + y. Is 2 != w?
False
Let p(w) = -5*w + 14. Let n be p(0). Is n bigger than 51/4?
True
Suppose -2*w - 1 = -9. Suppose 2 = w*d - 6. Does d = 4?
False
Let x = 6 - 5.6. Let z = -1.3 + 0.3. Which is smaller: z or x?
z
Let k = 4 + -4.1. Let q = -0.1 - k. Let m = 276/5 - 55. Is q not equal to m?
True
Let h(j) = j**3 + 7*j**2 - 2*j + 1. Let x be h(-7). Suppose -3 = 4*t - 15, x = -m + 4*t. Let g be (m/6)/((-6)/4). Are 0 and g unequal?
True
Let f be -2*6*(-13)/26. Suppose 5*r + 15 = 0, -g = 4*r + 5 - 0. Let v = f - g. Is 1/2 at least v?
True
Let x = 38/177 + -103381/885. Let j = 117 + x. Which is greater: 0.1 or j?
j
Suppose 2*d = -7 - 5. Let z(y) = y**3 - 5*y**2 - 8*y + 3. Let b be z(6). Let c be 2/6 - d/b. Is -0.1 != c?
True
Suppose 5*n + 11 - 36 = 0. Suppose -2*o - 4*s = 0, n*o + 24 = 6*s - 4*s. Suppose -4 = w - 4*k + k, -5*w - 20 = -5*k. Is w equal to o?
True
Suppose 5*u + 178511821 - 44592696 = 0. Let q = -170291558205/6358 - u. Let z = -1/578 - q. Are 1 and z non-equal?
True
Let l = -20 + 21.6. Let n = -125/69 + 34/23. Is n greater than l?
False
Let x be (-1)/(-2 - (-33)/18). Which is smaller: 8 or x?
x
Let n = 8 - 5. Let d(l) = -l**2 + 10*l - 7. Let p(t) = -t**3 + 4*t**2. Let b be p(3). Let f be d(b). Which is smaller: n or f?
f
Suppose -k - 6*j = -2*j + 14, 3*k - 5*j - 26 = 0. Which is smaller: k or 0?
0
Let q = 5.9 - 5.832. Which is smaller: q or 1?
q
Let i be 0 - 0 - (-4 - -2). Suppose 0 = -5*u + i*u, -x + 2*u = -70. Let j be 22/x + 12/42. Are -0.2 and j non-equal?
True
Let i(c) be the second derivative of c**4/12 - 3*c**2/2 - 2*c. Let h be i(3). Let a be -1 - -3 - h/3. Which is smaller: a or -1/11?
-1/11
Let u(z) = -z**2 - 11*z - 24. Let k be u(-10). Which is smaller: k or 2?
k
Let g = 5 + -5.11. Do g and 2/5 have different values?
True
Let t(k) = -k - 4. Suppose -m - 1 + 6 = 0. Let n be t(m). Let a be (0 + 3)/(n/6). Is a less than -2?
False
Let v = -2 - -5. Suppose -5*o = s + 15, -s + o = v*s - 3. Suppose s = h + 4*h - 5. Is h != -4/11?
True
Suppose 0 = -4*j + 2*u - 0*u + 6, -3*j - 18 = 3*u. Which is greater: j or -3?
j
Let j = -139 - -138. Which is greater: j or -2/23?
-2/23
Suppose 3*z - 25 = -3*r + 5*z, 4*r = -3*z + 5. Suppose -r*m = -0 + 15. Does -2 = m?
False
Let t = -67 + 199/3. Does t = -2?
False
Let p(f) = -f**2 - 9*f - 2. Let z be p(-9). Let s = 449/2 + -232. Let n = 7 + s. Is n bigger than z?
True
Let m be (-56)/(2 + 2) + 3. Is -12 equal to m?
False
Suppose 2*h - 3*s + 2 = 0, -2*h - 2*h + 2*s = -12. Let r(d) = -4*d + 6. Let p(b) = 5*b - 7. Let c(o) = 3*p(o) + 4*r(o). Let u be c(h). Is u at most -3?
False
Let m be 3/((-6)/32*-2). Let r = m + -5. Suppose 0 = -r*y - b + 2 + 3, -y - 2*b = 0. Is y at most 2?
True
Let l = -5 - -9. Suppose -19 = -l*z + 1. Are z and 4 unequal?
True
Let u(d) = d**3 + 5*d**2 + 6*d + 8. Let g be u(-4). Suppose 0 = 2*y - 5*y. Is g <= y?
True
Let x = -3 - -16. Suppose 5*v + 5*r = x + 17, 4*r = -2*v + 18. Suppose v*y = 1 + 2. Which is bigger: 1/5 or y?
y
Let r = 1 + -1. Let i be (-3 - (-275)/90)/((-4)/16). Is r < i?
False
Let b be 2/(-4)*(4 + -2). Suppose 3*l + 0*l + 6 = 0. Which is greater: l or b?
b
Let n be (-1)/(-6)*(5 - 8)*0. Are n and -1/3 equal?
False
Suppose -1 = -2*d - 5. Let l be (6/4)/(d/4). Let z be l/(-40) - (-1)/(-5). Which is smaller: z or 1?
z
Let f = -88 + 90. Let n = -928 - -32483/35. Let l = 97/315 - n. Which is smaller: l or f?
l
Suppose 3*h + 2*v + 2*v = 22, -2*h = 4*v - 16. Suppose h*j = 4*j - 16. Are 0 and j equal?
False
Let z be (20/6)/(16/72). Let k be 6/(-15) - (-1)/z. Which is smaller: k or 0?
k
Let r = 405/11 + -37. Let m(p) = -p**3 + 2*p**2 + 2*p + 4. Let q be m(3). Is r >= q?
False
Suppose 0 = -z - 3*z + 2*w - 14, -2*w = -5*z - 16. Let l = z - -4. Suppose 5*u + 3*n - n + 6 = 0, -l = -n. Which is smaller: -1 or u?
u
Let k be 39/(-4)*8/(-12). Let g = 69/10 - k. Is -3 <= g?
True
Let h = -24 + 24.22. Let m = 0.12 - h. Which is smaller: 0 or m?
m
Let q = -3/11 - -37/55. Let h be ((-21)/15)/((-15)/(-25)). Which is smaller: q or h?
h
Let z(c) = c - 5. Let m be z(5). Let y = -117/95 + 12/19. Is m at most as big as y?
False
Let u = -83/26 - -22/13. Let h(v) = -v**2 + 5*v + 34. Let i be h(9). Is u <= i?
False
Let j be (-8)/(1 + -3) + -5 + 2. Which is smaller: j or 4/7?
4/7
Let n = 1 - 15. Let r = n + 15. Is -1 less than r?
True
Suppose -g - g = 0. Suppose 5*w - 37 = 3*b, -35 = -3*w + 2*b - 13. Let t(p) = -p**2 + 8*p + 1. Let k be t(w). Is k greater than g?
True
Let k = 93 - 92. Let o = 3 - 3. Suppose 2*g = -5 - 1, o = -f - 3*g - 3. Which is bigger: k or f?
f
Let t = 3 + -1. Let l(u) = -u**2 + 5*u - 2. Let f be l(t). Do f and 5 have different values?
True
Let a = 9 - -42. Which is smaller: a or 52?
a
Let r be ((-6 + 15)/63)/((-1)/(-7)). Let p be 2/4 - 6/28. Which is smaller: r or p?
p
Let r = 164 - 160. Suppose -1 - 4 = -5*p, -5*p = -k - 3. Does k = r?
False
Let s = -21 - -12. Let x = -2 - s. Which is greater: 6 or x?
x
Suppose 2*y = 2, -4*s - 3*y - 13 = -4. Let v = 1 + -4. Let m = v - s. Which is greater: 2/9 or m?
2/9
Let y = 149 - 104.1. Let n = y + -47. Let o = 0.1 + n. Is o less than 2?
True
Let c = 20/37 + -436/259. Is c at least as big as -2?
True
Let t = -12 + 12. Is 2/9 != t?
True
Let u = 3 + -2.99. Let s = -7.6 + 8.6. Which is greater: u or s?
s
Let v(i) = -i**3 + 9*i**2 + 2. Let m be v(9). Let k be m - (147/(-6) + 3). Let q = k - 23. Which is smaller: 0 or q?
0
Suppose 5 = 5*p - 20. Let u = 10 - p. Suppose -3 = 2*i + 2*l - 5, 4*i - 16 = -l. Is u at most i?
True
Let k = -4 + 6. Suppose -3 = k*b - 1. Is -2 bigger than b?
False
Let m = 27 + -27.15. Let s = -1 + 1. Is m bigger than s?
False
Suppose -a + 3*a = 8. Let y be (-3)/(2/a*4). Let m(r) = -r**2 +