20. Let h be ((-174)/(-15))/(1/5). Suppose -h = -2*k + z. Is k a composite number?
True
Let n(k) = k**2 + 9*k + 2. Let h be n(-9). Suppose 0 = -h*t - 0*t + 5*y - 3, -2*y = 3*t - 5. Is (-3 - 8)*-1*t composite?
False
Let c(h) = 3*h**3 - 20*h**2 - 10*h + 14. Let x(z) = z**3 - 7*z**2 - 3*z + 5. Let q(r) = -3*c(r) + 8*x(r). Let p be q(5). Is (-84)/9*p/(-2) a prime number?
False
Suppose -28 = -4*x + 3*f, x + 1 = 2*f + 13. Suppose -2 = b - x. Suppose 0 = 5*j + b*n - 159, -j - j - 5*n + 51 = 0. Is j a prime number?
False
Suppose -4*n + 148 = -156. Suppose -2*x + 2 = -3*x. Is 1/(x - (-154)/n) a prime number?
False
Let a = 149 + -366. Let u = 443 + a. Is u composite?
True
Suppose -2*s - 25014 = -3*z + s, -16667 = -2*z - s. Is z a prime number?
False
Suppose 1 - 5 = -d. Suppose 2*h + 0*z - d*z = 26, -2*h - z = -11. Suppose t - a - 90 = 0, -3 = -2*a + h. Is t a composite number?
True
Suppose -4*k = -6*k + 10. Suppose -3*a + 1261 = k*d - 0*a, d + 5*a = 261. Is d prime?
True
Suppose -2*v + 2*c + 0*c - 22 = 0, 0 = -3*v - 3*c - 9. Let j(t) = -3*t**2 + t**2 - t**3 - 4 - 5*t - 5*t**2. Is j(v) a composite number?
False
Let h(j) be the first derivative of -39*j**2/2 + 4*j - 3. Is h(-3) a prime number?
False
Let b = 49 - 5. Let t = -19 + b. Is (t/(-3))/(2/(-6)) a composite number?
True
Suppose -4*f - j + 4*j = -7591, -j - 5 = 0. Is f a composite number?
True
Suppose h = d - 2*h + 6, 3*d - 2*h = 10. Let y be (-4 + 1)*(-4)/d. Is ((-78)/9)/(y/(-6)) composite?
True
Let l = 3 + -8. Let z be (-2)/6*(1 - l). Is (-5514)/(-42) - z/(-7) prime?
True
Suppose 5*s + 4*t - 30 = 0, s + 4*s = 2*t + 30. Let y be 24/20*140/s. Suppose 4*w - 12 = y. Is w a prime number?
False
Let c = 15 - 16. Is 113 + (-3 - (c - 4)) composite?
True
Let n = -1491 + 2445. Let s = n - 509. Is s prime?
False
Let h(g) = 15*g**2 - 2*g + 3. Is h(2) a composite number?
False
Suppose 3*c - 3*t + 142 + 47 = 0, 2 = -2*t. Let i = -67 - -42. Let w = i - c. Is w composite?
True
Suppose 2*v = -5*t + 7200, -3*v + 0*v - 4*t + 10793 = 0. Is v composite?
True
Suppose 3*r = -2*x - 24, r + 3 = -x - 7. Let m(i) = i - 2. Let q be m(x). Is 12/q + 73/2 a prime number?
False
Let j(c) be the third derivative of c**7/210 - c**5/60 + c**4/24 - c**3/6 + 2*c**2. Let r(m) be the first derivative of j(m). Is r(1) a composite number?
False
Let z = 187 + -115. Suppose 14 = 2*h - 68. Let i = z - h. Is i a composite number?
False
Let o = 167 + 90. Is o composite?
False
Suppose 429 = 5*n - 496. Is n composite?
True
Suppose i + 5 = 1. Let m(q) = 38*q**2 + 3*q + 5. Let d(z) = z**2 + z + 1. Let a(n) = i*d(n) + m(n). Is a(1) a composite number?
True
Suppose 5*f - f = 236. Is f composite?
False
Let a(y) = 334*y + 1. Is a(1) a prime number?
False
Let u(p) = 3*p**2 + p - 2. Let i(g) = 7*g**2 + g - 3. Let w(d) = 6*i(d) - 10*u(d). Let n be w(2). Suppose 0*l = -2*l + n. Is l a prime number?
False
Let f be (-3)/(-9) + 224/12. Suppose -2*l + 0*v - 3*v + 1 = 0, f = 3*l + v. Suppose -2*z + l = -0*z. Is z composite?
True
Suppose -q + l + 7 = 0, -10 = -3*q - 2*l - 4. Suppose -q*v = -v + 6, -594 = -4*j - v. Is j composite?
False
Let r be (10/4)/(-5)*-50. Let v = -9 + r. Let m = 22 - v. Is m composite?
True
Let p = 1369 + -812. Is p prime?
True
Let g = 377 + -198. Is g composite?
False
Let b = 1745 + -1046. Suppose 0*q = -q + b. Is q composite?
True
Suppose 2*j + 3*j + 20 = 0. Let t(n) = 185*n**2 - 2*n - 1. Let k be t(-1). Is (2/(-3))/(j/k) prime?
True
Suppose 4*q = -4*h + 340, h + 72 - 240 = -2*q. Is q a composite number?
False
Suppose 5*y + 377 = 3*w, y = 3*w - 5*w + 247. Is ((-38)/(-4))/(2/w) a composite number?
True
Let n = 0 - -2. Let p be n/3 - (-80)/(-3). Let u = p - -45. Is u a prime number?
True
Suppose 2*r - 2334 = -4*c, 2940 = 5*c - 7*r + 2*r. Suppose 170 = -5*v + c. Is v a composite number?
False
Let s be 1/3 - (-14)/3. Suppose s*g = g - 176. Let r = -7 - g. Is r a prime number?
True
Is 1760/3 - (-1)/3 composite?
False
Suppose -5*p + 5*n + 1105 = 0, 3*p - 3*n = n + 666. Is p prime?
False
Let u = 1 - -2. Is 2/(((-6)/(-97))/u) a composite number?
False
Suppose -5*p + 6*s = 5*s - 310, 0 = -5*p + 5*s + 330. Let k be 4/(-3*4/(-288)). Let n = k - p. Is n prime?
False
Let l(w) = -w**3 + 3*w**2 + 4*w - 3. Let d be l(4). Let h = -10 - d. Let f(a) = -14*a - 1. Is f(h) a composite number?
False
Let g = -28 - -47. Is g composite?
False
Suppose -p - 18 = r - 96, -4*r = 3*p - 314. Suppose -h = h - r. Let z = 99 - h. Is z a composite number?
False
Let n(d) = -1. Let p(g) = g**3 - 9*g**2 + 6*g + 6. Let u(z) = 4*n(z) - p(z). Let x = 23 + -16. Is u(x) prime?
False
Let m be (-952)/12*3/(-2). Suppose -3*h - 3*t = -5*t - m, 3*h - 3*t - 114 = 0. Is h a prime number?
True
Let k = 10 - 16. Let s be ((-40)/k)/((-6)/(-63)). Suppose 5*w = 3*n - s, -5*n - w + 3*w = -123. Is n a composite number?
True
Let l be (1 + -10)*4/(-12). Suppose -5*d = 5, b + l = 4*d - 5*d. Is 159/(-3)*(b + 1) a composite number?
False
Let t be (6/9)/((-1)/69). Let m be (t/(-2))/((-3)/(-6)). Is (-3)/(1 - 49/m) a composite number?
True
Let f(m) = 19*m**2 - 2*m + 3. Is f(16) prime?
False
Let o(h) = -h**3 + 10*h**2 - 3*h + 10. Let j be o(8). Let w = 193 - j. Suppose y = 4 + w. Is y composite?
False
Suppose -5*x = y - 655, -524 = x - 5*x - 4*y. Is x a prime number?
True
Let h be 284/10 + 8/(-20). Suppose 2*q + 12 + h = 0. Let m = 3 - q. Is m composite?
False
Let q = 47 + -26. Is q a composite number?
True
Let t be (-3)/3*(-1 - -6). Let z(q) = -14*q + 3. Let o(a) = -14*a + 2. Let r(m) = t*z(m) + 4*o(m). Is r(7) a prime number?
False
Let x = 19 - 28. Let r be (3/x + 1)*3. Suppose 8 = u - 3*b + 4*b, r*b + 2 = u. Is u composite?
True
Let w(m) = m + 2. Let i be w(-4). Is (2 + -161)*2/i a composite number?
True
Let r = -5 - -10. Suppose -7*d = -2*d - r. Is -32*d/(-1) - 1 prime?
True
Suppose -2*u = -4*u - 4. Let a = 55 + u. Is a a composite number?
False
Let o = 0 + 0. Suppose -3*d - k = -o*k - 200, 2 = -2*k. Is d a prime number?
True
Suppose 3*o + l = 48, -2*o + 2*l = -0*l - 40. Is o + ((-4)/2 - 1) a composite number?
True
Suppose 2*o = -5*a - 0*o + 3826, 3*a = -3*o + 2292. Let s = -292 + a. Is (-1 + 0)/((-6)/s) a prime number?
True
Is 8 + (-8536)/(-40) - 2/5 a composite number?
True
Let w(v) = 62*v**3 + 2*v**2 - v. Let t be w(1). Let i = t + -44. Is i a composite number?
False
Let u = 1285 + -2. Is u composite?
False
Suppose -3*j + 0*j = 4*k - 13, j + k - 4 = 0. Let s = j - 1. Suppose 5*w - 175 = s*h, -h + 2*h + 175 = 5*w. Is w a prime number?
False
Let v(x) = -x**3 + 10*x**2 + 9*x + 6. Let b be v(11). Let n be 12/b + (-2)/8. Is (n + -88)*6/(-6) composite?
False
Let o = 3 + -1. Let r(w) = 2*w - 2. Is r(o) a prime number?
True
Suppose -11*o + 3849 = -8*o. Is o a composite number?
False
Suppose -4*z - 2*t + 1964 = 3*t, 0 = 5*t. Is z prime?
True
Let h(k) = k**3 + 7*k**2 - 8*k + 1. Let r be h(-8). Let b be r/((-1)/5 - 0). Let v(g) = 5*g**2 - 6*g - 6. Is v(b) a prime number?
True
Let z be 5/7 + 2/7. Let j(u) = -1 - z + 34*u**2 + 1. Is j(-1) a composite number?
True
Let w = -43 + 256. Is w a prime number?
False
Let t(d) = 8*d**3 - 2*d**2 + 1. Let b be t(1). Let m(a) = -a**2 + 7*a + 2. Let k be m(b). Suppose k*s + 12 = 5*y - 255, 236 = 4*y + 4*s. Is y a prime number?
False
Let i(w) = -w**3 + 9*w**2 - w - 6. Let c be i(6). Is c + 1 - 3/1 a prime number?
False
Let s = -66 + 115. Let c = 136 - s. Suppose h = f - 57, 2*f - 7 = -3*h + c. Is f a composite number?
False
Let o be -2 + (-2 - 1)*-2. Suppose 100 = o*r - h - 245, 264 = 3*r + h. Is r a prime number?
False
Let v(i) = -26*i - 3. Let d be v(-2). Suppose -10 = -q + d. Is q a prime number?
True
Let x(u) = -13*u**2 + 4*u + 2. Let y be x(-4). Let q = y + 677. Suppose -7*r + 2*r + q = -2*s, 0 = 4*s + 20. Is r a composite number?
False
Suppose 3*b = -b + 12. Is ((-236)/(-6))/(2/b) prime?
True
Let o(p) be the third derivative of -97*p**6/120 - p**5/60 + p**3/6 + p**2. Is o(-1) a prime number?
True
Let x be (-3)/((-2)/4*3). Suppose z = 5*d + 77 + 89, x*z + 3*d = 397. Is z a prime number?
True
Suppose 3*s - 5*r = -0*r + 2327, -r + 1534 = 2*s. Is s a composite number?
False
Suppose -a - 11 = -57. Is a a composite number?
True
Let z(y) = y**2 + 8*y - 6. Let x(v) = -3*v + 5. Let i be x(5). Is z(i) prime?
False
Suppose 2*f - 4*c + 7 + 3 = 0, -3*f - 5*c = -18. Suppose -f 