t + 104, 4*c = 2*t + 162. Is c prime?
False
Is (-8)/12 - (4623/(-9) + 2) a prime number?
False
Let x(a) = a**3 - 7*a**2 + 6*a + 15. Is x(8) a prime number?
True
Suppose 98 - 2259 = -j. Is j a composite number?
False
Suppose 0 = 3*y - 2*a - 0*a - 6, -5*a = 2*y - 23. Suppose 0 = 4*v - y, -143 = -4*z - 0*v + v. Let c = z + -11. Is c a prime number?
False
Suppose -361 = -4*u + 211. Let p = -102 + u. Suppose -3*b = -p - 4. Is b a composite number?
True
Let y(l) = -2*l**2 + 16*l + 13. Let r(s) = s**2 - 16*s - 12. Let f(x) = 3*r(x) + 2*y(x). Is f(-7) a prime number?
True
Suppose 0 = -2*o + 1 + 11. Suppose -t - 2*t = o. Is t*(-1 + -5) - -1 prime?
True
Suppose 0*t - t + 5723 = 2*i, i = -4*t + 22857. Is t a prime number?
False
Suppose 3 + 7 = 5*l, -5*f - 4*l = -2683. Is f a prime number?
False
Let w(g) be the second derivative of -g**8/6720 - g**7/630 - g**6/180 + g**5/40 + g**4/12 - 2*g. Let l(r) be the third derivative of w(r). Is l(-4) composite?
False
Let z = -6 + 11. Suppose a = z, -4*i + 5*a + 104 = a. Is i a composite number?
False
Let w(m) = 43*m**3 - m**2 - 2*m - 1. Is w(2) prime?
False
Let m(k) = 71*k + 2. Is m(7) a composite number?
False
Suppose -2*i + 17 + 145 = 0. Suppose -4*b + 2*f + 55 = -i, -4*f = 3*b - 113. Is b a prime number?
False
Suppose 0 = -b - 4. Let f(w) = -2*w**3 - 7*w**2 - 6*w. Let d be f(b). Let s = d + -15. Is s prime?
False
Let q(y) = -23*y - 4. Let k(a) = -a. Let g(c) = 2*k(c) - q(c). Let f be g(4). Let t = 125 - f. Is t composite?
False
Suppose -3*v - 6*b + b = -17, -v + 2*b + 2 = 0. Suppose -v*o + 235 = -4*f - 417, -5*o + f = -795. Is o a composite number?
True
Is 2792*1 - (1 - (-2 - 0)) prime?
True
Let p = -407 + 888. Is p a composite number?
True
Suppose 9*t = 5968 - 1459. Is t a prime number?
False
Let l = 7 - 5. Suppose l*j = -2*m + 68, -5*m + j + 195 - 1 = 0. Let f = m - 23. Is f a composite number?
True
Suppose 4*j = -j + 3*u + 5299, 2*j + 4*u - 2130 = 0. Is j a composite number?
False
Let h = -306 + 213. Let g = -38 - h. Is g prime?
False
Suppose 2*o - j = 139, -o - 2*j = o - 136. Is o composite?
True
Suppose -4*j - 158 = -5*j. Suppose -4*m = -4*o + 228, 4*o - j - 67 = 5*m. Let b = -27 + o. Is b a prime number?
False
Suppose -3*a + 8 = -4*a. Is ((-102)/4)/(4/a) a prime number?
False
Let x = -107 + 57. Suppose 2*p - 2*z = -z - 64, z = -4*p - 122. Let f = p - x. Is f a composite number?
False
Suppose 0*q - 2*q - 770 = 0. Is q/(-9) + 16/72 a composite number?
False
Let b = -12 + 1. Is (b/(-22))/((-2)/(-796)) a prime number?
True
Suppose 1 + 3 = -4*z. Is 139 - (z - -1)/2 a prime number?
True
Let h(y) = -y**2 + 5*y - 1. Let a be h(2). Suppose -a*o + 9*o = 596. Is o a prime number?
True
Let f(g) = g**2 - 4*g - 8. Let q be f(6). Suppose q*p = 1316 + 872. Is p prime?
True
Suppose -h = -0*h - 3*d - 7, -5*h + d - 21 = 0. Let o be (8/(-10))/(h/(-25)). Let r = o + 59. Is r prime?
False
Suppose 78 = -2*y + 16. Let j = y + 124. Is j a prime number?
False
Suppose 0 = 3*k - 6*k + 6. Let c = -79 - k. Let s = 164 + c. Is s a prime number?
True
Suppose b + 5 = 1, 2*b + 17 = k. Let p(q) = k*q**2 + 2*q - 8*q**2 + 20*q**2 - 1. Is p(-2) a prime number?
True
Let i(p) = -p**2 + 5*p - 3. Let w be i(5). Let h(q) = -2*q - 2. Let v be h(w). Suppose -v*x + 4 = -80. Is x a composite number?
True
Let d be (-3577)/(-14) + (-9)/6. Suppose -4*s - 498 = -2*a, -a + 2*a - d = -3*s. Is a a composite number?
False
Suppose 4*g - 1279 - 4846 = -5*n, 3 = -n. Is g a composite number?
True
Let z = -36 + 11. Let p be (z/10)/((-1)/2). Suppose p*a - 37 + 7 = 0. Is a prime?
False
Suppose x - 4 = -0*o - 3*o, -5*o = -5*x + 20. Suppose x*g = -133 + 9. Let a = 0 - g. Is a a composite number?
False
Let v be 4/(-12)*-3*1. Is v + (-3 - -1) - -90 prime?
True
Let h = 6 + -4. Let o be h + 2 + (3 - 1). Suppose o = 3*u - 51. Is u a prime number?
True
Suppose 5*o - 3*b - 5865 = -b, -o + 1173 = -2*b. Is (-4)/(-10) + o/5 a composite number?
True
Suppose 15 = 3*z, -4*k = 5*z - 8*z - 317. Is k a prime number?
True
Let g = -2218 + 4377. Is g a composite number?
True
Let q(x) be the third derivative of -3*x**2 + 0 + 5/6*x**3 + 1/60*x**5 + 0*x + 1/4*x**4. Is q(-8) a prime number?
False
Suppose 14368 = 4*p + 2*q, 3*q - 9631 - 1142 = -3*p. Is p composite?
False
Let n = -16 - -8. Suppose 5*g - 72 = 3*j, 2*g + 2*j = 10 + 6. Is 9/g + (-178)/n prime?
True
Suppose -1 - 1 = l. Let m be (-1)/2*48/l. Suppose 4*w - 66 = 3*y - m, -5*w + 65 = -5*y. Is w prime?
False
Let f(j) = -2*j**2 - 4*j. Let l be f(-3). Suppose 0 = 4*a + 12, -4*g + 3*a = -g. Is 45 + l/(9/g) composite?
False
Suppose 6*k - 4338 = 4920. Is k a prime number?
True
Is (-2)/5 - (-52267)/5 a prime number?
True
Let d(f) = 13*f + 65. Let q(h) = 1. Let t(n) = -d(n) + 65*q(n). Is t(-1) a composite number?
False
Let b(w) = 3*w**2 - w - 7. Let z be b(7). Let h(k) = k**3 + 9*k**2 - 3*k - 1. Let p be h(-9). Suppose z = 3*f - p. Is f a prime number?
True
Suppose 4*i - 8*i - 400 = 0. Let g = 179 + i. Is g prime?
True
Suppose -c - 3 = -3*i + 1, -4*i = -8. Suppose 2*b + 3*n = 2*n - 8, -21 = 5*b + c*n. Is (-1142)/(-8) + b/(-20) composite?
True
Suppose -18*l + 16*l = -982. Is l a composite number?
False
Let j(s) be the third derivative of -7*s**6/60 + s**5/20 + s**4/6 + s**3/2 - s**2. Is j(-2) prime?
False
Suppose 3*s = -375 + 1608. Suppose 4*p = -4*g + 348, 0 = 2*p - 7*p + g + s. Is p prime?
True
Suppose 2*k + 88 + 621 = 5*c, 0 = 3*c + 3*k - 438. Suppose 0 = 2*w + n - 161, 4*w - 480 = n - c. Is w a prime number?
True
Suppose 5*p - 2*p = -66. Let j = 41 + p. Is j a composite number?
False
Let z(w) = 2*w. Let s be z(-2). Is (2/6)/(s/(-804)) prime?
True
Let p(b) be the second derivative of b**6/120 - b**5/15 + b**4/8 - b**3/6 + 3*b**2/2 + b. Let a(g) be the first derivative of p(g). Is a(5) composite?
True
Suppose -50*r = -51*r + 721. Is r composite?
True
Suppose -238 = -3*i - 31. Is i a composite number?
True
Suppose -a = -2*a + 335. Is a composite?
True
Let a = -18 - -28. Is (-6)/(-15) - (-886)/a composite?
False
Let c(t) = -t**3 - 6*t**2 - 2*t - 7. Let a be c(-6). Suppose -3*f - 3 = 0, 110 = a*y - 0*y + 5*f. Is y a prime number?
True
Suppose -443 = -2*i + 775. Suppose z + 0*z - 5*y - 203 = 0, 3*z - i = 2*y. Is z a prime number?
False
Suppose 5*f - 6800 = -5*a, 2*a + f + 420 = 3141. Is a composite?
False
Is (1 - 6)/(1/(-1087)) prime?
False
Suppose 5*o - 6 = -16. Is o + 1 - 1*-3 prime?
True
Let h = 5807 + 356. Is h a composite number?
False
Suppose 116 = 2*a - 640. Suppose -12 - a = -3*x. Suppose o + x = 3*o. Is o a composite number?
True
Suppose -2*f = -4*m + 6, 0 = -0*m + 3*m + 2*f - 8. Let t(b) = -5*b - 4. Let c be t(-5). Suppose 0 = -m*d + 53 + c. Is d a prime number?
True
Let z = 2960 + -1575. Is z prime?
False
Suppose 0 = -3*j + 1075 + 128. Is j a prime number?
True
Let w = -1068 + 2467. Is w composite?
False
Suppose -332 = -2*k - 2*a, 0*a = -5*k + 5*a + 780. Is k a prime number?
False
Let i(q) be the first derivative of -q**4/4 + 2*q**3/3 - 4*q**2 - q - 4. Is i(-6) a prime number?
False
Let s = 946 + -639. Is s a prime number?
True
Let j be (-3)/(-3) - (-8)/(-4). Is j*4/(-6)*69 a prime number?
False
Let p(b) = -b**3 - 4*b**2 + 4. Let y be p(-4). Suppose 3*o - 3 = s - 4*s, -y*s + o = 1. Suppose 0 = -s*c + 2*c - 3*t + 3, -12 = -3*c - t. Is c composite?
False
Suppose -160 = -4*z - 52. Suppose -o - 80 = o. Let j = z - o. Is j a prime number?
True
Let i = -18 + 26. Suppose 0*n = n - 3*z - 431, 0 = 2*z - i. Is n a composite number?
False
Is 1/(-2)*-3130 - 2 a prime number?
False
Suppose -2*r = r - 27. Suppose 2*g + r = -g. Is 3 + 163 - (g - 0) a composite number?
True
Let d = -116 - -171. Is d composite?
True
Suppose 3*w + 0*w = -27. Let c = 115 + -243. Let y = w - c. Is y prime?
False
Let x be 3/(-6)*20/(-2). Suppose -2*d = -5*d + 156. Suppose -x*g + d = -193. Is g prime?
False
Suppose 0 = -2*j + 7*j - 10. Let t = j + 1. Let b(p) = 5*p**2 - 4*p + 2. Is b(t) a prime number?
False
Suppose 4*b = -o - 12, 22 - 8 = b - 4*o. Suppose 0 = 2*r + 3 - 1. Is r/(-2) - 29/b composite?
True
Is (4049/(-2))/(-2*(-3)/(-12)) a prime number?
True
Let d be (-2 - 0/2) + 150. Suppose -2*p - d = -6*p. Is p a prime number?
True
Suppose 6 + 15 = 3*k. Suppose -5 = -4*x + k. Suppose n - 5 = x*h, -h = 5*n + 4*h - 5. Is n prime?
True
Suppose 2*c = -2*c + 428. Let g = 