04*-2*6. Is k less than or equal to 1?
True
Let p(q) = -q**3 + 5*q**2 - 2*q - 1. Let i be p(4). Let d = 53/7 - i. Let a(g) = -g - 2. Let n be a(-2). Which is greater: n or d?
d
Let n(l) = 12*l**3 - l**2 - l - 1. Let j be n(-1). Is -14 bigger than j?
False
Let m be (-46)/(-10) + (-2)/(-5). Let o = m + -5. Which is smaller: 1/7 or o?
o
Let n = -12 - -8. Let v = n + 3. Let i be (-12)/44*2/3. Is i at most as big as v?
False
Let u be (-12)/(-42) + 612/14. Let c = 131/3 - u. Which is bigger: 1 or c?
1
Suppose 844 = -0*o + 4*o - 4*w, 0 = -3*o + w + 643. Suppose -j - o = j. Let x be (-6)/33 + j/(-231). Is -1 > x?
False
Suppose g = -g - 8, -4*u = 4*g + 16. Let n be 2 + ((-80)/14 - -4). Which is bigger: u or n?
n
Let v be (-1)/(-6) + 34/12. Let z be -1 - 1 - (-7)/v. Which is smaller: 0 or z?
0
Let x = 9 + -4. Let c = -6 + x. Let y(k) = -k - 1. Let r be y(-2). Which is greater: c or r?
r
Let k = -0.02 - -5.02. Let p = k - 4.2. Let c = -0.7 + p. Which is smaller: 1 or c?
c
Let p(f) = -f**2 + 3*f + 18. Let u be p(8). Let l = u + 23. Which is smaller: l or -2?
-2
Let u be (-1 + 0)*(-15 - -8). Let q = u - 20/3. Is q less than 3/5?
True
Suppose -14 = -10*f + 8*f. Are 0 and f unequal?
True
Let z = -55 - -85. Which is smaller: 31 or z?
z
Let c be (-16)/6*6/(-4). Suppose -2*a - 4*n + 182 = -86, 0 = a + c*n - 140. Let v = 637/5 - a. Is v bigger than -1?
True
Let s be (-4)/(-66)*(18/(-12))/1. Is 0 less than or equal to s?
False
Let k = 2 + -2.1. Let b = 11.5 - 11.6. Is b less than or equal to k?
True
Suppose -14 = -4*v - 4*d - 6, 3*v = -4*d + 1. Suppose 7 + v = -2*j - 4*i, 0 = -5*i - 15. Let a be (-1)/10 + (-2)/5. Which is smaller: j or a?
j
Let q(d) = -d**3 + d**2 - d. Let n(c) = c**3 - 3*c**2 + 4*c. Let h(y) = n(y) + 4*q(y). Let f be h(1). Let v be f/(-4) - (-4)/8. Is v not equal to 2/17?
True
Suppose -2*b + 8 = 6*b. Is b at least as big as -4/15?
True
Let j be -1*(3 + (2 - 3)). Suppose 5*d - d - 12 = 0. Let p be d*((-2)/(-6) - 1). Are p and j equal?
True
Let u = 13 + -11. Suppose -l - u = 2. Suppose 2*b = -13 + 3. Is l greater than or equal to b?
True
Let r be ((-4)/(-6))/((-12)/(-18)). Does 2 = r?
False
Let y be 1 - 15/24 - 25/40. Suppose 0*k = -2*k. Is k less than y?
False
Let l = 0.001 - -5.899. Let k = l - 6. Is -2/5 at most k?
True
Suppose 4*k - 20 - 12 = 4*m, m - 10 = -k. Which is bigger: k or 7?
k
Let b be (0 - 0)/(-2 + 1). Suppose -2*z - 3*t + 11 = -4, b = -5*z - 5*t + 25. Suppose -4*n + n - 18 = z. Which is smaller: n or -5?
n
Let r = 1 - 2. Suppose 6*o - o = -75. Let c = o + 20. Which is smaller: r or c?
r
Let x = -6 + 6. Suppose x*d - 4*y + 20 = 4*d, 0 = -d - 4*y + 17. Let p = d + 1. Is 3 < p?
False
Let t be (-8 - -8)*(-2)/(-6). Is t > -2/31?
True
Suppose 2*i - 18 = -4*n, i = -2*i - 4*n + 23. Suppose i*l + 12 = j, 0 = -3*l + 6*l - j + 8. Suppose 3*c + 3*r + 2 = -4, -r = -2*c - 1. Which is greater: l or c?
c
Let k be -1*(-4)/(0 - -2). Suppose -i + 3*y - y = 7, -k*i - 3*y = -21. Suppose -i + 7 = 4*u. Which is smaller: u or -2/5?
-2/5
Let l(a) = a**3 - a - 9. Let n be l(0). Is n greater than -9?
False
Let v = -80253773/63752660 + -35/74131. Let z be (-4)/2*(-1)/215. Let r = v + z. Which is bigger: r or -2?
r
Let j = -3.02 - 0.28. Is j at most -1?
True
Let o be (-56)/(-35) + -2 + 1. Let j = 2 - 1. Which is greater: j or o?
j
Let o be (-2 - 48/(-22))/(-2). Suppose 0 = 2*a - 0*a + 3*a. Is a equal to o?
False
Let w be (-2)/4 + (-31)/(-6). Which is smaller: 5 or w?
w
Suppose 9*f + 25 = 4*f. Let c(w) = w**3 + 2*w**2 - 5*w + 6. Let r be c(f). Let u = r + 131/3. Which is smaller: 0 or u?
u
Suppose -3*c + 124 = -3*y - 2*y, 4*y = 16. Which is greater: 49 or c?
49
Let d = 7.91 + 0.09. Let v = -7.8 + d. Do v and -2/7 have different values?
True
Let y = 1.29 + -1.23. Which is smaller: 1/4 or y?
y
Let n(z) = z**2 + 11*z + 2. Let g be n(-11). Let j = -7.2 + 6. Let h = j - -1. Which is smaller: h or g?
h
Let h(r) = -5*r + 12. Let u be h(3). Are u and -19/7 equal?
False
Let t(f) = -2*f. Let n be t(-4). Let i = n - 1. Let a = 6 - i. Is -1 at most as big as a?
True
Suppose 0 = 4*h - 12 + 24. Is h >= -2?
False
Let q be 2/(-6) + (-26)/(-42). Let j(s) = -s**3 - 6*s**2 - 5*s + 6. Let l be j(-5). Let c = l - 5. Which is smaller: q or c?
q
Suppose -2*o + 3 = o. Which is smaller: -2/47 or o?
-2/47
Let m be (-1 - 1)/(-4 - -2). Let v = -3.08 + 0.08. Let z = -2 - v. Is m smaller than z?
False
Let h = -4.3 - -4.4. Which is greater: h or -10?
h
Let f = -79 + 79. Are 4/19 and f equal?
False
Let k(u) = u**3 + 6*u**2 + 5*u + 4. Let f be k(-5). Suppose 3*j = q - 6*q - 42, 4*j = f*q + 8. Is q > -9?
True
Let o = -22 - -12. Which is bigger: -9 or o?
-9
Let v(u) = u**3 + 2*u**2 - 1. Let x be v(1). Let h be (x - 0) + 3*-2. Let f = h + 2. Are f and -2 nonequal?
False
Let f = 4 + -3. Which is bigger: f or 4/15?
f
Let l be (-2 - -4)/((-4)/1). Suppose 0 = k - 0*k. Suppose k*h = h. Is l <= h?
True
Let f(d) = d - 7. Let m = 9 - 5. Suppose m*x + 20 = 0, -x - 5 = -5*y - 5*x. Let s be f(y). Which is bigger: s or -3/4?
-3/4
Let s = -90.02 + 90. Which is smaller: -0.8 or s?
-0.8
Suppose 7*i + x - 46 = 4*i, 0 = 3*i + 3*x - 54. Which is greater: i or 12?
i
Suppose -6*r + 2*r = 0. Let n = -54/13 - -901/195. Let i = n - 2/15. Which is smaller: r or i?
r
Let k(d) = d**2 + 4*d + 1. Suppose 3*p + 8 = -2*h, 2*p + h - 14 = 5*p. Let b be k(p). Let w = -1 - -1. Which is smaller: b or w?
w
Suppose 5*p - 4 = -9. Which is bigger: p or -4/7?
-4/7
Let s(c) = -2*c + 1. Let y be s(1). Let b be ((0 - 0)/(-2))/y. Let z = -46/9 - -44/9. Is b != z?
True
Let n(h) = -h**2 - 3*h + 6. Let b be n(-6). Do b and -12 have different values?
False
Let n be 1/2 + (-9)/18. Let j = 141/8 + -2131/120. Which is bigger: n or j?
n
Let n(l) = -l**3 + 4*l**2 - 2*l + 2. Let f be n(3). Let d = -9 - -3. Let q be 6 - (-4)/d*3. Is f bigger than q?
True
Let m = -260/7 + 7006/189. Let z(p) = -p**2 + 3 + 4 + 15*p + 0*p**2 - 9*p. Let s be z(7). Is s at most m?
False
Let b = -2/5195 - 103878/57145. Which is smaller: -2 or b?
-2
Let x = 0.039 + 0.071. Is x equal to -0.7?
False
Suppose 18 + 66 = 6*g. Is -0.2 less than g?
True
Let u = 0.25 - -15.75. Let z = u - 16. Is z not equal to 2?
True
Let v = 8 - 6. Let w = -18 + 18.5. Which is bigger: w or v?
v
Let c(r) = r**2 + 3*r + 1. Let a be c(-3). Let h be (-2 + 0 - -3)*a. Is -1/15 at most h?
True
Let i(q) = -q**3 - q**2 + q + 1. Let d be i(-2). Suppose j + d = 2. Are 1 and j equal?
False
Let z be (-9)/((-9)/2) - 26/(-3). Which is smaller: 11 or z?
z
Let f be 12/(-18) + (-28)/(-6). Suppose -3*c - 8 - 1 = -3*n, 0 = n + f*c + 17. Let o = 12/29 + -135/116. Which is smaller: n or o?
n
Let u(c) = -7*c**2 + 13*c - 19. Let m(h) = 10*h**2 - 20*h + 28. Let p(i) = 5*m(i) + 7*u(i). Let s be p(8). Is s > -1?
False
Suppose 0 = y - 4*f + 31, -2*f = 2*y + 3*y + 89. Which is greater: -2 or y?
-2
Let a = -68 + 70. Is -0.4 > a?
False
Let l(u) = 10*u**2 - 4*u - 3. Let c be l(-2). Let q be 120/c*(-9)/4. Which is bigger: q or -2?
-2
Let q = -2 + 4. Let c = 0.22 - 0.02. Let x = 0 + c. Is q greater than or equal to x?
True
Let v be (-32)/20 - (-4)/(-10). Suppose -j = 5*t - 2, 0 = 2*j + j + 3*t - 6. Let y be (-1 - 0)*2/j. Which is smaller: y or v?
v
Let g = 442598/85 + -5206. Let w = -4/17 + g. Are 2 and w non-equal?
True
Let u be 18/42 + (-8)/(-14). Let c be -22*(2/(-4) + u). Does -12 = c?
False
Suppose -6*c + 2*c = 5*a - 12, 2*c = -2*a + 6. Suppose 0 = -c*r - r. Is r at least as big as 2/13?
False
Suppose -3*j - 28 = -34. Are 2 and j equal?
True
Let s = 0.21 - 0.27. Which is greater: s or 0.1?
0.1
Let j be (-1 + 0)*(-22 + 36). Which is smaller: j or -12?
j
Suppose 4*m + 0*m + 8 = 0. Let f be (-21)/9*m/21. Which is bigger: -1/3 or f?
f
Let k = -8 - -13. Suppose 11 + 14 = -k*x. Let u be x/15 - 2/3. Is 1/8 smaller than u?
False
Let x = -2187/190 - -1/95. Let v = 12 + x. Are 1 and v equal?
False
Let d be (2 + 39/(-18))*-4. Let y = 1 - 0. Which is bigger: d or y?
y
Suppose -f + 1 = d, -3*d - 15 = -5*f - 2. Let o be (2448/(-10))/((-66)/75). Let w = o - 278. Is w >= d?
True
Let p(y) = -y**2 + 11*y + 4. Let s(z) = -2*z**2 + 21*z + 8. Let l(k) = -11*p(k) + 6*s(k). Let a be l(6). Which is bigger: a or 0?
0
Suppose -2 = 3*j - 11. Suppose j = -3*c - 2*z + 15, -5*z + 9 = 4*c. Suppose 19 = -3*x - 4*k, 0 = -5*x - c*k + 2*k - 21. Do x and 1 h