 6*s - 7305. Is s a prime number?
False
Let a(n) = -61*n + 3. Is a(-10) prime?
True
Let g(t) = -51*t + 16. Is g(-5) a composite number?
False
Let c = 4 - 1. Suppose 0 = j + 3*j. Suppose 18 = 3*f - 4*f - 5*z, j = -c*f - 2*z - 2. Is f prime?
True
Let s(p) = 5*p**2 - 8*p + 1. Let t be s(7). Suppose -5*v - 250 - t = -5*z, -2*z - 5*v + 169 = 0. Is z a prime number?
False
Let i(b) = -2 + 2 - 9*b + 12 - 100*b. Is i(-5) prime?
True
Suppose 0 = m + 4*s + 1 - 0, -2*m - 5*s = -1. Suppose 0*p - p = -m. Suppose -3*n = -p*q + q - 39, 5*n - 65 = -q. Is n composite?
False
Suppose 2066 = -6*a + 6212. Is a a prime number?
True
Let f(l) = -4*l - 2. Let c be f(-1). Suppose 283 = 3*o - 4*h, 2*o + c*h + 0*h - 170 = 0. Is o a prime number?
True
Suppose n - 3*d - 9 = 0, -d - 4 = 2*n - 29. Suppose n*q = 13*q - 47. Is q prime?
True
Suppose -2*a + 3*h - 10 = 6, 4*a + 28 = 5*h. Let o(l) be the first derivative of -5*l**2 + l + 5. Is o(a) a prime number?
False
Suppose 3*z = -2*z + 35. Suppose 3*h = z*h - 52. Is h composite?
False
Let w(z) be the third derivative of 5*z**4/6 - 3*z**3/2 + 6*z**2. Is w(6) composite?
True
Let s(k) = 297*k**2 - 4*k + 5. Let c be s(2). Suppose l = -2*l + c. Is l a composite number?
True
Let r(u) = 17*u**3 - 6*u**2 + 7*u + 7. Let i(a) = 8*a**3 - 3*a**2 + 3*a + 3. Let b(c) = -9*i(c) + 4*r(c). Is b(-2) composite?
False
Let l = -5 + 2. Let o be (1*-3)/l - -1. Suppose -13 = g - 4*p, -o*p - 17 = -g - 4*p. Is g a prime number?
True
Suppose 12 = 2*i - 0*i. Let t(v) = v**2 + 3*v - 1. Is t(i) composite?
False
Let l = -2 + 8. Let f(v) = 2*v + 1. Is f(l) a prime number?
True
Suppose -3*w = -w - 2. Let g = 11 - w. Is g prime?
False
Let n = -23 + 112. Is n a prime number?
True
Let q(g) = -9*g - 5 + 3 + 20*g. Let i be q(4). Suppose u + u - i = 0. Is u a prime number?
False
Suppose -5 = -4*f + 3. Suppose -3*i = -3*y - 2*i + 1043, 0 = -i - f. Is y composite?
False
Let i = 200 - 107. Is i a prime number?
False
Suppose 5*w + 17 = 4*m + 7, 5*w - 5*m + 15 = 0. Let c be 0/(4 + -5) + 3. Suppose w*t - t - 4*f - 85 = 0, 0 = -c*t + 3*f + 255. Is t a composite number?
True
Let l be 2/5*5/(-1). Is ((-652)/8)/(1/l) a prime number?
True
Suppose 0 = 5*a - 30 - 5. Let u = -3 + a. Suppose u*h - 3*m = -m + 14, 2*m - 16 = -h. Is h a prime number?
False
Let d(u) = -u**3 - 8*u**2 + 15*u - 7. Is d(-20) a composite number?
False
Let z = 165 - -466. Is z a composite number?
False
Suppose 0 = 3*q - 3, 3*q + 1 = 4*f - 32. Suppose 5*z + 5 = 4*o - 36, z = 2*o - 13. Let u = f + z. Is u a prime number?
False
Let x(d) = -d**3 + 4*d**2 + 2. Let v be x(4). Let t be v + -1 + 3 + -2. Is t + 0 - (-34 + -1) prime?
True
Let y(j) = 2*j**2 + 2*j - 5. Let r be 2 - (-4 + 2)*1. Let f be r/(1/(3/(-3))). Is y(f) composite?
False
Suppose 3*a - 2*a = 0. Let b(l) = 2*l**2 + l - 2. Let q be b(-3). Suppose -j + 0*j + q = a. Is j composite?
False
Let b be -2 - 1 - (-10 + 8). Is 83 + b*(-1 + -1) prime?
False
Let a(d) = 7*d**3 + 6*d**2 - 6*d + 8. Let q(b) = 6*b**3 + 5*b**2 - 6*b + 7. Let p(c) = 3*a(c) - 4*q(c). Is p(-5) a composite number?
True
Let o(a) = 124*a**3 + 2*a**2 + 5. Is o(3) composite?
False
Let k = -3 + 14. Is k prime?
True
Let z(t) = 300*t**3 + 2*t**2 - 1. Is z(1) a composite number?
True
Suppose -2*u - 3*m - 4 = -3*u, 2*m = -5*u + 20. Let r be ((-2)/5)/(u/(-20)). Suppose -15 = -3*w, r*w + 2*w = 2*h - 54. Is h a prime number?
True
Suppose 119 = -5*a + 14. Let g = 76 + a. Is g prime?
False
Suppose 0 = 2*t - k - 9872, 0*t - 4*t = -k - 19746. Is t a prime number?
True
Let r(z) = -37*z**3 + z. Let u = 3 + -2. Let l be r(u). Let g = -11 - l. Is g a composite number?
True
Suppose -47 = -3*m + 550. Is m composite?
False
Let j(n) be the second derivative of n**4/12 + 2*n**3/3 - n**2 + 2*n. Let w be j(-4). Is 1 - -2 - w - -1 a composite number?
True
Is 1/(3/957) - -4 prime?
False
Let p = 8 - 6. Suppose 7*s = p*s + 70. Is s a composite number?
True
Let r(a) = a**2 - 4*a - 1. Let p(z) = z**3 + 8*z**2 - z - 3. Let g be p(-8). Let d be r(g). Suppose y = -d*y + 385. Is y prime?
False
Let s(i) = -12*i + 1. Let b(y) be the first derivative of -y**4/4 - 8*y**3/3 - 7*y**2/2 - 8*y + 3. Let d be b(-7). Is s(d) a composite number?
False
Let a(n) = -n**3 + 13*n**2 - 8*n + 7. Suppose f = 6*f. Let h = f + 6. Is a(h) prime?
True
Let k = -8 + 10. Suppose 4*v - v = k*y + 85, 0 = v + 2*y - 23. Suppose -v + 124 = b. Is b a prime number?
True
Let f = 269 - 190. Is f a composite number?
False
Let j(b) be the second derivative of b**3/2 + 5*b**2 + b. Let o = 18 - 9. Is j(o) composite?
False
Let v(p) = 5*p**3 - 1. Let y be v(1). Suppose -y*z - 110 = 5*m + 230, m - 184 = 2*z. Let o = z + 133. Is o composite?
False
Suppose -4*w = 5*i - 41, 0 = -2*w - 0*w - 5*i + 33. Suppose 0 = -4*n + 8, -w*u = 5*n - 3*n - 488. Is u composite?
True
Let a be (3/(-5))/((-2)/10). Suppose -u = -a*f - 181, 3*u + f - 531 = -2*f. Is u prime?
False
Let u be 0 + -3 + (62 - 3 - -1). Let m(i) = -8*i - 4. Let t be m(4). Let p = t + u. Is p a composite number?
True
Let o(j) = -5 - 1 + 8*j + 55*j + 1. Let i be o(6). Suppose -3*m + i = -2*b, 413 = 4*m + 3*b - 56. Is m composite?
True
Let o = 1 - 5. Is 3/6 + (-210)/o a composite number?
False
Suppose -6*x = 2*z - 2*x - 534, 0 = 5*x - 20. Is z prime?
False
Let l be (-22)/(-4)*(1 + 99). Suppose z = -5*g + 2*z + l, 2*z + 10 = 0. Is g a composite number?
False
Let o = -4 + 6. Suppose -5*y - 10 = 0, -5*z - o*y - 41 = -312. Is z prime?
False
Suppose 763 + 997 = -4*q. Let u = -178 - q. Let z = 377 - u. Is z a composite number?
True
Let d = -494 - -1117. Is d composite?
True
Suppose c = -y - 4*y + 563, 341 = 3*y - c. Is y composite?
False
Let y(z) = z**3 - 5*z**2 + 4*z + 4. Let c be y(4). Let h = c - 2. Is h a prime number?
True
Suppose t - 326 = 303. Is t composite?
True
Let p(h) = -h**3 + 7*h**2 + 8*h. Let x be (24/(-10))/(15/(-50)). Let z be p(x). Suppose z = -2*m - 0*m + 5*o + 51, -m = 2*o - 48. Is m prime?
False
Let n(r) = 6 + 0*r**2 - 4 - r**2. Let y be n(-2). Is 5/((-5)/y) - -53 composite?
True
Is (-11 - -12)/((-1)/(-581)) prime?
False
Is 199 + 8/2 + -2 prime?
False
Let n(r) be the second derivative of -r - 4/3*r**3 + 0 + 1/12*r**4 + 11/2*r**2. Is n(8) composite?
False
Let j be (0 - -1)/((-5)/(-20)). Suppose -4*o - 5*s = -467, 0 = j*o - 2*o - 3*s - 261. Is o prime?
False
Let y be 6 - (-1 - (2 + -5)). Suppose 1 + 7 = y*s - 2*n, 3*n = 0. Is (131/s)/((-8)/(-16)) a composite number?
False
Let s(l) = -l**3 - 24*l**2 + 15*l + 33. Is s(-26) a prime number?
False
Let k = 6 - 2. Let l = k + -4. Suppose s - 3*s + 5*q + 43 = l, -2*s + 2*q + 40 = 0. Is s a prime number?
True
Let r = -251 + 69. Let g be r/(-49) - (-4)/14. Is -2 + (11 - (-2 + g)) prime?
True
Suppose -4*g - n + 29 = 0, -3*g - 7 = -0*g - 5*n. Let u = 0 + g. Is u a composite number?
True
Let q(v) = -v - 3. Let w be q(-4). Let b = w + 1. Suppose 142 = 4*c - b*p, -2*c + 4*p - 17 + 91 = 0. Is c composite?
True
Let u(m) = 11*m**2 - 2*m + 4. Let c(i) = -i - 10. Let q be c(-7). Is u(q) composite?
False
Let i(l) = 2*l - 8. Let j be i(17). Suppose -3*p + 5*g - 16 = 9, 5*p + 63 = 3*g. Let z = p + j. Is z composite?
False
Suppose -3*a - a = -20. Suppose -2*r + a = 1, -4*r + 32 = -g. Let w = g - -35. Is w prime?
True
Suppose -5*y = 2*g + 16, -3*y - 2*y + 3*g = 1. Is (-10 - 306)/(y*1) prime?
False
Suppose 0 = -20*g + 18*g + 30. Is g composite?
True
Let x(s) = -s + 2. Let y be x(0). Suppose -5*d = -5*m - 1480, -y*d + 5*m = -562 - 15. Is d a composite number?
True
Let i = -4 - -10. Suppose -3*p - g = p - 129, -2*g = i. Is p composite?
True
Let l = 10 + -14. Let m(q) = -10*q + 9. Is m(l) a prime number?
False
Let u(b) = b + 103. Is u(0) prime?
True
Suppose 6*i - 231 = 5*i - 5*n, i = -2*n + 219. Is i composite?
False
Suppose -2*d = 4*y - 10, 3*d - 5*y + 25 = -y. Let v be (-22)/(-2) + 6/d. Is 3/(v/372*2) composite?
True
Suppose -5*q + 15 = -0*q. Suppose 0 = -q*i - i, -i = 3*u - 12. Suppose -a - 131 = -4*n, u*n = -0*n + 2*a + 130. Is n a prime number?
False
Let c = -224 + 387. Is c a composite number?
False
Suppose 4*t = w - 270, t - 875 = w - 4*w. Suppose -4*b + w + 18 = 0. Is b a prime number?
False
Let u(p) = 178*p**2 - 4*p - 9. Is u(-7) a prime number?
True
Suppose -d = -1 - 1. Suppose 357 = d*a - z, -a + 41 + 125 = -3*z. Is a composite?
False
Suppose p + 2*s = 17 + 4, 5*p + 