. Is r(k) a prime number?
True
Suppose -3*a + 0*a = 3*y - 549, 0 = -5*a + 20. Is y a composite number?
False
Let b be (0 - -2) + 2 + -5. Let v be ((-1)/b)/(2/16). Suppose -3*n = -v*n + 485. Is n prime?
True
Let d(z) = -z**2 + 4*z + 7. Let k be d(5). Suppose -3*h + 21 = 4*v, k*h = -4*v - 2*h + 24. Is -574*(-1 + v/6) prime?
False
Let h(v) = -v**2 - 7*v - 7. Let q be h(-5). Suppose f + 5*n = q*n + 154, f - 162 = 2*n. Is f prime?
False
Suppose 16 = 4*q, 0*g + 28 = 4*g - 2*q. Suppose -48 = -m - p, g = 4*p - 11. Is m a composite number?
False
Suppose -3*p + i = -662, 5*p - i - 90 = 1012. Suppose 3*m - 128 = -0*m - l, 0 = 5*m + 3*l - p. Let n = 96 - m. Is n a composite number?
True
Suppose 4*m = m - 18. Let o = 52 + m. Let x = o + -27. Is x composite?
False
Let c be ((-2)/(-5))/((-3)/(-15)). Suppose -c*s = 3*s + 25. Is (-2)/s - 68/(-5) a composite number?
True
Let q(d) = -d**2 + 6*d + 3. Let n(v) = v**2 + v. Let z be n(2). Let k be q(z). Suppose 48 = k*t - 387. Is t prime?
False
Suppose u + 3*i = 188 + 96, -571 = -2*u - 5*i. Is u a composite number?
False
Let i = 3 + 0. Suppose z + i*z - 268 = 0. Is z a composite number?
False
Let z(x) = -x**3 + 13*x**2 + 4*x + 1. Is z(13) composite?
False
Suppose -4*s + 108 = 2*w + s, 3*w - 5*s = 112. Let l = w + 109. Let q = l + -76. Is q a prime number?
False
Suppose -4*b = 2*k - 9 - 11, 10 = -4*k + 2*b. Suppose k = -g - 0*g + 197. Let h = g - 114. Is h prime?
True
Let q(k) = -k - 1. Let f be q(-3). Suppose 0 = -2*z - f*z + 12. Suppose -4*m = 0, z*m + 11 = 2*b - 57. Is b a composite number?
True
Let w be (1/(-3))/(2/(-54)). Suppose -w + 1 = -2*a. Is a a prime number?
False
Suppose -4*m - 7 = 5*f + 5, -f = 2*m. Suppose m*o - 7*o = -715. Is o a composite number?
True
Suppose 2*f = 3*z - 5789, -580 = 5*z + 4*f - 10243. Is z prime?
True
Suppose -2*z - 174 = -5*l - 5*z, 3*l - 4*z = 87. Suppose f - l = -0*f. Is f a composite number?
True
Suppose 4*o - r + 510 = 0, -2*r + 35 = -o - 96. Is ((-2)/1)/(2/o) a composite number?
False
Let z = -9 + 4. Let b(j) = -j**3 - 6*j**2 - 4*j + 3. Let r be b(z). Is (1 + 10)*(-2)/r a composite number?
False
Let v be 8/10*10/4. Suppose -8 = 2*s + v. Let h(f) = 3*f**2 + f + 1. Is h(s) a composite number?
False
Suppose -2*d = -5*m - 1351, -m + 138 = 2*d - 1207. Is d prime?
True
Let q = 48 - 67. Let h = 29 + q. Is h a prime number?
False
Let r be 4/(-8) + 1/2. Suppose r*z - 5*z = 720. Let v = z + 271. Is v composite?
False
Let q(t) = -7*t**2 + 14*t + 13. Let y(d) = 4*d**2 - 7*d - 7. Let n(k) = 3*q(k) + 5*y(k). Let j(w) = -3*w - 22. Let r be j(-9). Is n(r) prime?
False
Is 1/((-3)/174*(-4)/62) a composite number?
True
Is (-529)/(-9) + 2/9 a prime number?
True
Let k = 2 - -4. Let w = k + -3. Suppose 6*z - 771 = w*z. Is z a prime number?
True
Suppose 4*u + 3*d - 2827 = 0, -4*u = -d - 2767 - 56. Is u a prime number?
False
Let w be 2*-1 + 2/1. Suppose 0 = 4*v + 2*s + 294, -4*v + 2*s = -w*v + 274. Let i = 130 + v. Is i a prime number?
True
Let z = 12 + -5. Let k be 1 + -2 - (1 - z). Suppose -2*w = 5*b - 74, -3*w + 10 = b - k*w. Is b a prime number?
False
Suppose -5*s = 3517 - 14582. Is s a composite number?
False
Let w = -2408 - -3627. Is w prime?
False
Suppose -4*b - 3*p = -2254, -2*p + 1126 = -2*b + 4*b. Let n = b + -272. Is n prime?
True
Let d = 1600 - 1135. Suppose 3*y = c + 262, -5*y = 2*c + 2*c - d. Is y composite?
False
Suppose 2*c + 3 = t + 4*c, -5*c + 5 = 2*t. Suppose 150 + 625 = t*o. Is o prime?
False
Suppose -2*w + 1 = -291. Is w a composite number?
True
Let h = -16 + 15. Is 3 + 104 + 3 + h prime?
True
Let l(t) = t + 95. Is l(0) a prime number?
False
Let f = -682 + 1313. Is f composite?
False
Suppose 5*c + 1 - 46 = 0. Suppose 0 = 3*h - c, -3*j = 4*h - 3*h - 360. Is j composite?
True
Let w(b) = -b**3 + 3*b**2 + 5*b. Let d be w(4). Suppose 0 = 3*n + q - 25 + 5, -2*n + d*q + 32 = 0. Is 426/n - (-2)/(-8) a prime number?
True
Let n = -270 + 589. Is n a prime number?
False
Suppose 3*x - y - 3207 = 0, -4*y = x - y - 1069. Is x prime?
True
Let j = -5 - -10. Suppose 0 = 4*i + 12, 4*i = j*u - i - 2110. Is u a prime number?
True
Let p(i) = i**2 + 4*i - 3. Let k be p(-5). Suppose 121 = k*u - 107. Suppose -u = 4*s - 382. Is s composite?
False
Let v = -3 + 6. Suppose 0 = -2*o + v*k - 2, -4*k = o - 3*o - 4. Suppose 5*x = o*x + 57. Is x a composite number?
False
Let b = 355 + -189. Is b a prime number?
False
Let g = 87 + 470. Is g composite?
False
Let y = -10 - -14. Let c(m) be the second derivative of m**5/20 - m**4/4 + m**3/2 - 5*m**2/2 + m. Is c(y) a prime number?
True
Let g be 1*33/(-1*3). Let y(r) = r**3 + 10*r**2 - 16*r - 4. Is y(g) composite?
True
Let v = -13 + 18. Suppose -v*g - 56 = -g. Is (-6)/(-21) - 486/g prime?
False
Let c(p) = 3*p**3 + 35*p**2 - p - 40. Let g(k) = -5*k**3 - 53*k**2 + k + 60. Let f(q) = -8*c(q) - 5*g(q). Is f(15) a prime number?
False
Let n be (2 - 7/3)*-9. Suppose -5*r = -d + 2, 3*d + 4*r - n = 3. Suppose -2*u + 3*z = -200, -z + d*z = -u + 95. Is u a composite number?
False
Is (-115)/46*(-1916)/2 composite?
True
Let g = 4 + 0. Suppose -i + 83 = s, -g*i + 5*s + 332 = s. Is i a prime number?
True
Let g be -10*(0 + (-3)/(-6)). Let d(f) = -4*f + 6. Is d(g) prime?
False
Let x = -7 - -10. Is 2/((18/633)/x) a composite number?
False
Let x(n) = n**3 - 6*n**2 - 7*n + 2. Let z be x(5). Let l = z - -127. Is l a composite number?
True
Let q(o) = 11*o**2 - 14*o - 6. Is q(-7) a composite number?
False
Let u(c) = -c**2 - 9*c + 10. Let m be u(-10). Suppose -3 = f - m*f. Let l(k) = -49*k + 2. Is l(f) prime?
True
Suppose 6008 = 7*v + v. Is v a composite number?
False
Let z(u) = -5*u**3 + u + 10. Is z(-3) composite?
True
Let n(i) = -i**3 + 3*i**2 + 2*i + 1. Let u be n(3). Let o = -8 - -13. Suppose 0 = -4*a - 4*h + 228, 303 = o*a - u*h + 3*h. Is a a composite number?
False
Let s(h) = 1 + 1 - 1 - h**2 - 22*h**3 + h. Suppose 2*d = -4*j - 18, 2*d - j = 3 - 1. Is s(d) a prime number?
False
Let q(t) = 3*t**3 + 0*t**2 - 5*t - 2*t**3 + 6 - 4*t**2. Let k(a) = a + 3. Let v be k(2). Is q(v) composite?
True
Let k be 272/4 + 1 + 2. Let x = k + -12. Is x prime?
True
Let a(q) = 1807*q + 4. Is a(1) a prime number?
True
Let u be 38/(-8) + (-2)/8. Let i be (-16)/u - 3/15. Suppose -5*n - 34 = -k - 5, -i*k + 5*n = -67. Is k prime?
True
Suppose 0 = -m - 4 + 45. Let d be 184/(-6)*(-6)/4. Let g = d + m. Is g prime?
False
Suppose s - 313 = 4*u, -2*s + 2*u + 170 = -462. Is s prime?
True
Let h(z) = z**2 - 7*z + 8. Let p be h(6). Is 8 + p*(-3)/6 a composite number?
False
Let a(j) = 25*j + 10. Is a(7) a prime number?
False
Suppose -t + 27 + 104 = 0. Is t composite?
False
Let l = 2 - 12. Suppose -k = -5*k + 5*i + 4136, 2*i = 4*k - 4124. Is (-4)/l + k/15 a prime number?
False
Suppose 0 = 3*u - u - 422. Is u a prime number?
True
Let n(u) be the first derivative of u**3/3 - 3*u**2/2 + 7*u - 6. Let g be ((-4)/6)/(8/(-84)). Is n(g) a composite number?
True
Let c(a) = a**2 - a - 4. Let m be c(-4). Is (-587 - -1)*(-8)/m a prime number?
True
Let t be -8*(2 + 0) + 3. Suppose -4*q - 15 = q, -3*a - 12 = -3*q. Let i = a - t. Is i prime?
False
Suppose 287 = n - 666. Is n a composite number?
False
Let j(u) = -u**3 - u - 1. Let v(t) = 4*t**3 - 3*t**2 + 12*t - 3. Let c(b) = 5*j(b) + v(b). Is c(-6) prime?
False
Suppose 6*p = 5*p + 3. Suppose p*f - 6*f = -762. Is f a prime number?
False
Suppose -3*d - d = -1468. Is d a composite number?
False
Suppose 8 = 4*n - 4*b, -n + 4*b + 6 = b. Suppose n = l - 1 + 2. Is ((-1)/2)/(l/26) prime?
True
Let l be (-12)/(-4)*(1 - 2). Is l - (17 - 1)/(-1) prime?
True
Is (-3)/4 - (-5750)/40 a composite number?
True
Suppose -3380 = -c - 3*k, 0 = -11*k + 13*k - 2. Is c a prime number?
False
Let q(f) = -14*f + 16. Is q(-17) a prime number?
False
Let g be (-18)/((-5)/((-310)/(-4))). Let b = g - 160. Is b composite?
True
Let u(n) = -9*n - n**2 + n**3 - 3*n**2 + 3*n**2 - 3*n**2 + 4. Is u(6) prime?
False
Is 4/16 - (-1987)/4 composite?
True
Suppose 0*n + 4*n + 132 = 0. Let z be (n/4)/(3/(-24)). Suppose -3*w + 2*a + 32 = 0, -z = -0*w - 4*w - 2*a. Is w composite?
True
Suppose 2*w - w = 1117. Is w a composite number?
False
Suppose 14 = r - 26. Is (-3)/(-2)*-2 + r composite?
False
Let u(s) = 3*s**2 - s + 5. Let y(j) = -4*j**2. Let p be y(1). Let f be u(p). Suppose w = -2*w + f. Is w a prime number?
True
Suppose -2*h 