k + 9. Is d(-16) a prime number?
True
Suppose 6*c + 866 = 2390. Is c prime?
False
Suppose -2*v + 19 = 7. Suppose l - c = v*l - 214, 2*l - 91 = 5*c. Is l prime?
True
Suppose n + 3*h - 906 = -0*h, -3*n + 4*h + 2783 = 0. Is n a prime number?
False
Is 82/3*(-51)/(-2) a composite number?
True
Let i(p) = p**3 + 3*p**2 - 1. Let d be i(-3). Let a = d - -3. Suppose 5*c + a*q - 369 = -2*q, 150 = 2*c + q. Is c a composite number?
True
Let o(q) = 4*q**2 + 3*q - 1. Suppose -b + 20 = 4*j, -2*j + 3 + 7 = 0. Let s be -6 + 2 - (-1 - b). Is o(s) a prime number?
False
Suppose 2*z + 79 = 5*w, 3*w - 5*w + 37 = -z. Let j = -76 - z. Let l = 70 + j. Is l a prime number?
False
Let x be (1 - -2)/(15/20). Is (46/(-10))/(x/(-20)) a composite number?
False
Suppose -258 = 2*m - 104. Is 1/((3/m)/(-3)) a composite number?
True
Suppose 3*m - 352 - 599 = 0. Let u = 517 - m. Let q = u - 141. Is q a composite number?
False
Suppose 0*r - 4 = -r. Let u be (r/(-3))/(1/(-3)). Suppose 2*h = 2*k - 32, 5*h - 22 = -2*k - u. Is k prime?
False
Let r(s) be the third derivative of -s**6/120 - s**5/10 - s**4/3 - 5*s**3/6 + 2*s**2. Suppose g + 5 + 0 = 0. Is r(g) composite?
True
Suppose -3*t + 2*h + 1 = -4*t, -h = 4*t - 10. Suppose -11 + 2 = -t*z. Is z a composite number?
False
Let r(n) = 4*n**2 + n. Let v be r(4). Suppose -4*d - 149 = -3*u, 4*d - v = -u + 3. Is u a composite number?
True
Let s be (-1)/(-2 - (-169)/85). Suppose 302 = 2*m + 5*n, m - 68 - s = -2*n. Is m composite?
True
Suppose -p - 4*r + 422 = 67, 0 = -5*p + r + 1775. Is p a prime number?
False
Let r(a) = a + 10. Let p be r(-6). Suppose y - x - 8 = -3*y, 4*y + 2*x + p = 0. Is (1338/(-12))/(y/(-2)) composite?
False
Let l(p) = -2*p**2 - 3*p + 2. Let z be l(-5). Suppose -8*m - 241 = -25. Is z/(-2)*(-126)/m a prime number?
False
Is 4/(-8)*-6 - -862 a composite number?
True
Suppose 4*h + 4*l - 1165 = 55, 2*l + 1196 = 4*h. Is h a composite number?
True
Suppose -5*i + 2*i - 4*t + 16 = 0, 3*i = -3*t + 15. Suppose 0 = 4*w - 12 - 0. Suppose i*n = w*n + 14. Is n a prime number?
False
Is ((-195)/2)/(-1) + 10/(-20) a prime number?
True
Let q(m) = 16*m - 7. Let b be q(6). Suppose 4 = 3*i - b. Let r = 2 + i. Is r composite?
True
Is 764/1 + 1 + 34/17 composite?
True
Let o(j) be the third derivative of 51*j**4/8 - 2*j**3/3 + 3*j**2. Let l be o(4). Suppose 4*z - l = -3*m, z + 2*m = 5*z - 588. Is z a prime number?
True
Suppose -2*s - w + 3 = -8, -s + 28 = 5*w. Suppose -18 = -s*b + 3*i, -i = -3*b + 3*i + 21. Suppose -2*a - q + 34 = -70, b*q + 6 = 0. Is a a composite number?
False
Suppose 0 = -n + 5 - 2. Suppose 4*j = -n*s + 8 + 5, -5*s + j = -60. Is s a composite number?
False
Suppose -8 - 7 = -5*l. Suppose 3*p + 2*p = 2*g + 191, 2*p - 84 = -l*g. Is p prime?
False
Suppose 5*g + 177259 = 22*g. Is g a prime number?
True
Is (160 + -1)*2/3 prime?
False
Let l(g) = -7*g - 1. Let y be l(1). Let v = -6 - y. Suppose 4*f = v*f + 12. Is f a composite number?
True
Let c be (-25)/10*(2 + 0). Let f(t) be the first derivative of -13*t**2/2 - 6*t + 1. Is f(c) prime?
True
Let j = 153 + 26. Is j a composite number?
False
Let r(g) be the third derivative of g**6/20 + g**5/60 - g**4/24 + g**3/6 + 2*g**2. Let k(o) = o**2 + 5*o + 1. Let p be k(-5). Is r(p) composite?
False
Let n(j) = j + 7. Let b be n(-3). Suppose -879 = x - b*x. Suppose k + x = 2*k. Is k a prime number?
True
Suppose 4 = -3*x - 5*o, -3*o = -3*x + 12 - 0. Suppose 17 = g - x. Is g composite?
False
Let g(q) = q**2 - 8*q + 5. Let f be g(8). Suppose 0 = -5*n - f + 300. Is n prime?
True
Let v(i) = 22*i**3 + 2*i**2 - 2*i - 1. Is v(2) a composite number?
False
Suppose 0 = 3*o + 5*r - 935, o = 4*r + 469 - 146. Let f = o + 20. Suppose -6*a + a = -f. Is a a prime number?
True
Suppose 5*r - 3*t - 7 = 1, -4*r - 3*t = -28. Suppose -3*b - 3*z + 234 = -0*b, 3*z = r*b - 305. Is b a composite number?
True
Let y = -1 - -6. Suppose -y*v + 389 = -2*s, v + s - 71 = -2*s. Is v a composite number?
True
Let i = -5 - 6. Let a = -7 - i. Suppose -180 = -4*j - 2*v, -5*j + 8*j - a*v - 146 = 0. Is j a prime number?
False
Suppose 3 - 2 = v. Suppose 4*s + v = 5. Suppose 0 = j + 4*z + s, 4*j - 2*j - 3*z = 53. Is j prime?
True
Let u = 123 + 80. Let t = u + -54. Is t a composite number?
False
Let i(g) = g**2 + 3*g - 12. Let s be i(-5). Suppose -2*w - 4 + 12 = 0. Is (1 - -76) + s + w prime?
True
Suppose -q + 3*q = 136. Let h = -1 + q. Is h prime?
True
Let n(p) be the third derivative of p**6/120 - p**5/12 - 11*p**4/24 - 5*p**3/3 - 3*p**2. Let g be 9/((-1 - 0) + 2). Is n(g) a prime number?
False
Suppose 4*k + 5*u - 901 - 740 = 0, 5*u = -5*k + 2050. Is k prime?
True
Suppose -3*v + 0*v = 6. Let h(t) = 12*t**3 + t**2 - 1. Let z be h(v). Let k = 140 + z. Is k a prime number?
True
Is (-169)/(-4)*(-2 + -4 + 10) prime?
False
Suppose 0 = 2*g + 4*v - 14 - 6, -g - 10 = -3*v. Suppose -2*i = g*i - 92. Is i a composite number?
False
Let b(a) = -3*a**3 - 2*a**2 + 6*a + 5. Let m be b(-4). Is (m - -2)*(0 - -1) prime?
False
Let s(n) = -326*n + 21. Is s(-2) prime?
True
Suppose -4*p - 276 = -4*v, 86 = v + p + 13. Is v prime?
True
Suppose f + 2*z - z - 52 = 0, 3*f = 2*z + 151. Suppose -4*h - f = -q, 10*q + 2*h - 211 = 5*q. Is q composite?
False
Let c(r) = 7*r + 7. Is c(12) a composite number?
True
Let f = 3624 - -529. Is f prime?
True
Is (7 + -10)/(((-18)/(-1226))/(-3)) a composite number?
False
Suppose -3*g = 2*i + 9, 3*g + 19 = -4*i - 2*g. Is (764/i)/(2/(-3)) a prime number?
True
Suppose 7 = -5*r - 4*v - 10, -3*v = 5*r + 14. Let w(x) = -57*x + 1. Is w(r) prime?
False
Let v(d) = d + 6. Let r be v(-4). Let p be r/(-4)*14*-1. Suppose -1 = 2*y - p. Is y a prime number?
True
Let m = 92 + 131. Is m prime?
True
Suppose -352 + 1 = -3*p. Suppose -392 + p = -5*u + 4*f, 3*u + 4*f - 197 = 0. Is u prime?
True
Let v(y) = 81*y**3 + 2*y**2 - 7*y + 11. Is v(2) prime?
True
Let w(r) = -r**2 + 2*r**3 - 1 + r + 4*r - r**3. Is w(4) composite?
False
Let c(t) = 71*t**2 + t + 1. Is c(-1) composite?
False
Suppose -5*k + 3*n + 22 = 0, 0 = -3*k - n + 1 + 1. Suppose -5*m = 2*b + 1, -18 = -4*b + k*m + 16. Is b composite?
False
Let t(v) = -3 + 6*v + 21*v**2 - v - v. Is t(2) a composite number?
False
Let a(o) = o**2 - 5*o - 1. Let x = 35 + -3. Suppose x = -4*l + 8*l. Is a(l) a prime number?
True
Is ((-22)/(-88))/(0 - (-2)/776) a composite number?
False
Suppose r = -3*x + 1492, -4*x - r = -661 - 1330. Is x prime?
True
Let y(j) = 71*j**2 - 2*j - 2. Is y(3) composite?
False
Let h be ((-1)/(-3))/(1/15). Suppose -h*j + 50 = -3*m - 2*m, 23 = 5*j + 4*m. Is j composite?
False
Suppose 4*c + 0*n - 15264 = 2*n, -4*c = n - 15270. Is c a prime number?
False
Suppose 3*k - 3*j - 18 = 0, -4*j = -3*k + 6*k + 3. Let f be 0 + k + -1 + -2. Suppose 0 = 4*i - f*i + 5*y - 199, -3*y - 3 = 0. Is i a composite number?
True
Let a(d) = 39*d - 4. Let k be (2/(-5))/(2/20). Let i(b) = -38*b + 5. Let j(r) = k*a(r) - 3*i(r). Is j(-5) prime?
True
Let u(h) = -3*h**2 + 5*h - 2. Let s(f) = f + 1. Let j(p) = -4*s(p) - u(p). Let l(o) be the first derivative of j(o). Is l(7) a prime number?
False
Suppose 49 + 27 = -4*a. Let p = a - -28. Is p a prime number?
False
Let a be ((-114)/4)/((-2)/12). Suppose -2*x = x - a. Suppose -m + x = 3*f, -5*f + f = 3*m - 76. Is f prime?
True
Let s(y) be the third derivative of -y**6/60 - 7*y**5/60 - y**4/6 - y**3 - 2*y**2. Is s(-5) prime?
True
Is (6868/(-16) - -6)/(2/(-8)) a prime number?
True
Suppose -28 + 6 = -2*n. Let l(b) = b**2 - 5*b - 7. Is l(n) composite?
False
Suppose 2*w - u - 33 - 107 = 0, -2*w = u - 144. Suppose -3*b = -w - 130. Is b prime?
True
Let o(s) = s**3 - 3*s**2 + 3*s + 1. Let x be ((-6)/(-8))/(2/(-8)). Let f = 6 + x. Is o(f) a prime number?
False
Suppose m + 2*z = 0, -5*z = -m - 0*m + 14. Suppose 5*u = m + 16. Suppose 2*q = -u*w - 2, 0*q + w = 3*q - 25. Is q a composite number?
False
Let n = 851 + -571. Let x = 491 - n. Is x a composite number?
False
Suppose -2*g + 331 = 2*g - u, 4*g - 330 = 2*u. Suppose -v + 29 = -4*h, 98 + g = 5*v - 2*h. Is v a prime number?
True
Let y = 7 + -7. Suppose y = 3*t - 267 + 51. Suppose -k = -0*p + 3*p - t, -5*p + 82 = k. Is k a composite number?
True
Let d = -3 + 3. Suppose -4*i + 106 + 142 = d. Suppose 0 = -2*b - 4*k + i, 4 - 26 = -b - 5*k. Is b composite?
False
Is (-3)/(-1) - (-826 - (-1 - -7)) a prime number?
False
Suppose -100 = 3*x - 8*