/(-2)) + 14670/50 a prime number?
True
Let b(p) = 7*p**2 - 14*p + 16. Is b(9) prime?
True
Let s = -5 - -14. Let w = 144 - s. Suppose 3*z - w = 42. Is z prime?
True
Suppose -2*w = -8, -164 = -0*p - 4*p - 4*w. Is p a composite number?
False
Suppose 9 - 3 = 3*x. Suppose x*w - 57 = -w. Is w composite?
False
Let w(n) = -n**3 + n**2 + 2*n. Let v be w(-2). Is 54/8 + 2/v composite?
False
Let t(j) = j - 11. Let n be t(9). Suppose 0 = 2*w - 0*w - 2. Is 13 - (n/w - 0) a composite number?
True
Suppose -4*s + 319 = -r, -2*s + 386 = 3*s + 3*r. Is s prime?
True
Suppose -5*n + 37 = 7. Let x(i) = -i**3 + 9*i**2 + 2*i - 5. Is x(n) prime?
False
Suppose 9728 = 4*g + 3*w, 5*g + 7414 = -w + 19585. Is g composite?
True
Is (5793/(-4))/(72/(-96)) prime?
True
Suppose 0 = -2*q + 2*s - 33 + 173, 280 = 4*q + 2*s. Suppose -107 = -3*m + q. Is m prime?
True
Let d(c) = -c**2 - 12*c. Let v be d(-10). Let r = v + -7. Is r prime?
True
Suppose 4*w - 1176 + 292 = 0. Is w prime?
False
Let w(q) = -59*q**2 + 2*q - 1. Let h be w(3). Is (h/(-4))/(2/4) a prime number?
True
Suppose 4*q + q - 486 = c, -2*q + 199 = -5*c. Suppose 0 = s - 3, -4*g + q = 3*s - 0*s. Let m = g - 8. Is m prime?
False
Let h = 4 - 6. Let b = h - -2. Is (1*55 - 0) + b a prime number?
False
Suppose -4*w = -31 - 465. Is w*2/(-8)*-3 composite?
True
Let v(q) be the third derivative of -q**7/240 + q**6/720 - q**5/60 - 2*q**2. Let z(o) be the third derivative of v(o). Is z(-6) a prime number?
True
Let a = 664 + -427. Is -2 - (-1)/(1/a) a composite number?
True
Let b = 670 + -291. Is b composite?
False
Let s(v) = v**2 + v - 2. Let u be s(-2). Is 164/8*14 + u a prime number?
False
Suppose -269 = -4*v + 4*f + 171, -2*f = -2. Is 2/((-2)/v)*-1 a composite number?
True
Suppose 5*l + s = -2*s - 65, 22 = -2*l - 2*s. Let f = l - -30. Is f a composite number?
True
Suppose 2*g - 4 = 3*g. Let a = 7 + g. Suppose 6*r - 52 = -3*z + r, a*z - 5*r = 62. Is z a prime number?
True
Suppose -8 = -3*y + 1. Suppose 0 = -6*d + y*d - 6. Is (33/(-6) - 0)*d a prime number?
True
Suppose -3*x = -2*x - 66. Suppose -5*g + x = -119. Is g a composite number?
False
Let w(a) = -a**2 - 10*a + 11. Suppose u + 4 = 2. Let b(z) = 6*z + 2. Let j be b(u). Is w(j) prime?
True
Suppose -5*i - 51 = 194. Suppose 0 = -z + b + 97, 2*b - 186 - 110 = -3*z. Let g = i + z. Is g a composite number?
True
Let c = 184 + 21. Is c prime?
False
Suppose -4*q + 739 = l, 0 = 4*q - 7*q - l + 554. Is q a composite number?
True
Suppose -22*b = -24*b + 62. Is b a prime number?
True
Suppose -2*h - 5574 = -8*h. Is h a prime number?
True
Let x(b) = 165*b**3 - b**2 + 6*b - 4. Is x(1) prime?
False
Suppose n - 2*w + 17 = 2*n, -5*w + 25 = 0. Suppose 0 = 2*h + 3 + n. Is -1 + 25 + (-3 - h) a prime number?
False
Suppose 0 = -6*s + 10*s - 1580. Suppose -3*q + s = 2*q. Is q prime?
True
Let i(b) = -151*b - 18. Is i(-5) prime?
False
Suppose 5*w = w + 1588. Is w a composite number?
False
Let g = -199 + 410. Suppose -j = -3*w - 52, 3*j - g + 44 = -2*w. Is j prime?
False
Let z be -1 - (-3 + (-2 - -2)). Suppose 3*n + n - 397 = -3*y, 3*n = z*y + 285. Is n prime?
True
Let w be 2/(-4) + (-25)/(-10). Let s(t) = -9*t**2 + 5*t + 10. Let o(p) = 4*p**2 - 2*p - 5. Let d(u) = w*s(u) + 5*o(u). Is d(6) composite?
False
Let k(h) = -4*h**2 - 9*h. Let a(u) = -11*u**2 - 26*u + 1. Let q(s) = -3*a(s) + 8*k(s). Let d be q(-7). Let m = 53 - d. Is m a prime number?
False
Let p be 1/2 + 61/2. Suppose 179 = 4*t + p. Is t a composite number?
False
Let u(b) = b**3 - b**2 - 186. Let g be u(0). Let s = 479 + g. Is s a prime number?
True
Suppose -3*s - 14 + 47 = 0. Suppose 3*z + 2*p = 5*p - 9, 11 = -3*z + p. Let b = z + s. Is b composite?
False
Let v = 17 - 17. Let g = 1 + 1. Suppose v = x + g*x - 381. Is x a prime number?
True
Let v = -4 + 8. Suppose v*d + 0*d = 48. Is d/16*4*1 a composite number?
False
Let x(j) = 7*j**3 - 2*j**2 - 7*j + 9. Let y be x(4). Let u = y - 234. Is u a composite number?
False
Let p = -3 + 3. Suppose p*b = -3*b. Suppose b*t = -3*t + 21. Is t composite?
False
Let j(r) = 35*r**2 + 4*r - 14. Is j(11) a prime number?
False
Suppose 0 = -2*c + 449 + 283. Let u = -205 + c. Is u prime?
False
Suppose -159 = -2*r + 719. Is r a composite number?
False
Let h be ((-135)/(-10))/(2/4). Suppose -v = -70 - h. Is v a composite number?
False
Let b = -2 + 4. Suppose 3*y - b*y - 4 = 0. Is y a composite number?
True
Suppose -184 = -3*r + 2*x, -r + x + 68 = -3*x. Is 1*r - (-5 - -7) prime?
False
Let f(m) = m**3 + 3*m**2 + 2*m + 4. Let s be f(-3). Let v be (2/s)/(2/4). Is (-16 + v)*2/(-4) a prime number?
False
Let g = 230 + -141. Is g a prime number?
True
Let c(n) = 6*n**3 - 2*n**2 - 8*n - 7. Is c(6) composite?
True
Let u(a) = -45*a + 2. Let t be u(5). Let l = t - -326. Is l a prime number?
True
Suppose -5*h + 0*b - 2*b = 9, -2*h + 3*b = -4. Let p = h - -14. Is p composite?
False
Suppose 0 = -k - q + 18 + 15, 4*k - 2*q - 126 = 0. Let n = k + -11. Is n a prime number?
False
Suppose -4*y - 12 = -7*y. Suppose -y*i + 197 = 5*d, 0 = -5*d - 4*i - i + 200. Is d a prime number?
True
Let y(q) = q**2 - 10*q - 9. Let p be y(11). Is -3 + 74 + -2 + p prime?
True
Let b = -1543 + 2498. Is b a prime number?
False
Suppose 15*v - 12*v - 357 = 0. Is v prime?
False
Suppose 112 - 308 = -7*c. Let m be 1*(-2)/(-4)*0. Suppose 4*q - c - 8 = m. Is q prime?
False
Let m = 1208 - 165. Is m composite?
True
Let y = 979 - -62. Is y a composite number?
True
Is (-3)/(-6)*(572 - -6) a composite number?
True
Suppose -2*j = -3*c - 1147, 3*j + 429 = -4*c + 2192. Is j prime?
False
Suppose 0 = -5*m + 1688 + 797. Is m a prime number?
False
Let w(y) = 6*y - 11. Let q = -3 + 1. Let j(n) = -n. Let i(z) = q*j(z) + w(z). Is i(8) a composite number?
False
Suppose -4*r = r + 4*v - 1285, 3*r - 774 = -3*v. Is r composite?
True
Suppose 7*x = -2*x + 2583. Is x a composite number?
True
Suppose -31*c = -35*c + 460. Is c a composite number?
True
Let l(j) = -j + 5. Let q be l(3). Suppose 260 = q*g + 2*g. Is g a composite number?
True
Suppose 0 = j + 3*h + 31, 2*j + h = -0*h - 57. Let c = -42 - j. Let z = 33 + c. Is z prime?
True
Suppose 0*h + 3 = 3*h. Suppose -h + 27 = 2*x. Suppose -1 = 2*c - x. Is c prime?
False
Let g be (8/(-10))/(2/(-5)). Suppose -6 - 240 = -g*i. Is i prime?
False
Suppose u - 21 = -2*u. Suppose 5*s - 5*l = 2045, 0 = 4*s + u*l - 3*l - 1652. Is s/18 - (-2)/12 a prime number?
True
Let l = 0 - -6. Let k(i) = i**2 + 2*i - 9. Let m be k(l). Suppose -2*t + 4*d + 47 + m = 0, 20 = -4*d. Is t prime?
False
Let w(y) = y**3 + 7*y**2 - 9*y - 8. Let j be w(-8). Suppose t - 2 - 4 = j. Let k(i) = 3*i + 1. Is k(t) composite?
False
Let l be (25/(-2))/((-2)/24). Suppose 5*o - 2*o + p = 232, -4*p - l = -2*o. Is o a composite number?
True
Let y = -3136 - -4547. Is y prime?
False
Let s = -3 + 6. Suppose 5*x - 3*t - 47 = 0, -55 = -5*x - s*t - 2. Let b = -3 + x. Is b prime?
True
Let h be 1 - 0 - -1*2. Suppose -b + 77 = -49. Suppose -5*o + 257 = -2*v, -o - b = -h*o - 5*v. Is o prime?
True
Suppose i - 3*i + 6 = 0. Suppose -i = -z + 7. Is z a composite number?
True
Let s(c) = 2*c**2 - 3*c + 2. Let k = 8 + -1. Suppose 0 = k*t - 3*t - 20. Is s(t) a composite number?
False
Let v(p) = 5*p. Let o be v(3). Suppose o = 2*i - 7*i. Is 56 + 1*i/3 composite?
True
Suppose 3*x + 4*p = -x + 12, 5*x = 4*p + 15. Suppose 0 = -2*m - 4*a + 26, 0 = 2*m - a - x*a + 14. Suppose 45 = 3*h - m*t, h - 3*t = 6*h - 43. Is h composite?
False
Let a(h) = 332*h - 1. Is a(1) a composite number?
False
Let j(z) = 5*z**2 + 1. Let l be j(-1). Suppose -s = -3*n - l*s + 943, 0 = -5*n - 5*s + 1585. Is n prime?
False
Suppose m = 3 - 2. Let p be m/3*0/(-1). Suppose 47 = s - p*s. Is s prime?
True
Is (-2)/(-9) + 457/9 composite?
True
Let b(f) = -8*f**3 - 5*f**2 + 2*f + 7. Is b(-4) composite?
False
Is 6/(-15) + (-657)/(-5) a prime number?
True
Suppose -w = -3, -3*w - 146 = -l - 0*w. Let v be (3 - 2)*1*l. Suppose 0*q - v = -5*q. Is q a prime number?
True
Suppose -5*a - 5*n = -270, 3*n - 2*n = -3*a + 154. Suppose v - 35 = -v - 3*t, 3*v + 4*t - a = 0. Is v prime?
False
Suppose 3*q = g + 6608, g - 3488 = -2*q + 909. Is q prime?
False
Let p be (-11)/2*(2 + -4). Let j = p + -9. Suppose 0 = -4*n - 4 + 16, -j*d + 187 = 3*n. Is d prime?
True
Is (352 + -5)*2/2 a composite number?
False
Suppose -4*c = -3*p - 2*c + 4393, -p + 4*c + 1461 = 0. Is 