= 4*y**3 + 7*y**2 + 40*y - 12. Is b(9) prime?
False
Let d(q) = -1954*q - 27. Is d(-4) a prime number?
True
Let p(h) be the first derivative of 2*h**3/3 - 13*h**2/2 - 6*h + 7. Is p(11) composite?
True
Suppose 10493 = 5*v + a, v - 23*a = -27*a + 2091. Is v a composite number?
False
Let f = -1267 - -3000. Is f a prime number?
True
Let j = 205 - -121. Is j composite?
True
Let v(a) = 1639*a - 41. Is v(6) a prime number?
False
Let s = -1076 + 2211. Is s composite?
True
Let x(v) be the second derivative of -v**7/840 + 7*v**6/360 + v**5/10 - 17*v**4/24 - 7*v**3/6 + 8*v. Let y(g) be the second derivative of x(g). Is y(7) prime?
True
Suppose 4*w + 243 - 80 = 5*r, -5*r + 52 = -w. Is (-2)/6*-3*(0 - w) prime?
True
Let a = 12646 - 5693. Is a a composite number?
True
Suppose 23*b - 262744 = 15*b. Is b prime?
True
Is (1/(-4))/(13/(-415636)) composite?
False
Let a(p) = -7 + 142*p - 4*p + 0. Let t be a(-4). Is 3/(6/(-4)) - t composite?
False
Let u be 18/(-54)*2*-15. Suppose -u*p + 508 = -6*p. Is p composite?
False
Let r(o) = -2*o**2 + 3*o - 4. Let p(z) = 5*z**2 - 10*z + 11. Let k(t) = 3*p(t) + 8*r(t). Let h be k(-5). Is ((-10278)/(-27))/(4/h) a prime number?
True
Suppose 4*q = 164 + 100. Suppose -5*s + q = -429. Is s + 8/(-2)*-1 composite?
False
Let q = 11 - 11. Suppose 2*i - 44 = -0*i - 3*y, q = 3*i - y - 55. Is i prime?
True
Suppose -21*f + 58853 = -58390. Is f a prime number?
False
Let m = -45 - -108. Suppose -j + 6 = -m. Is (-1)/((-3)/j) - -3 a prime number?
False
Let h = -15 + 37. Let t(b) = 6*b**2 + 25*b - 27. Is t(h) composite?
True
Let y be -1 + (-12)/(-20)*5. Suppose 2*r + 1128 = 5*r - 3*v, -y*v = -4*r + 1510. Is r prime?
True
Suppose -f = 4*c - 4*f - 18, -c = -f - 5. Suppose -4*z + m + 17 = z, -3*z = -c*m - 3. Suppose -3*w + y - 197 = -679, 611 = z*w + 5*y. Is w a prime number?
False
Let m be (-603)/(-18)*6*5. Suppose a + m = -4*a. Let z = 364 + a. Is z a composite number?
False
Suppose -4*x + 101 = -207. Let p be -3 + 4/((-4)/(-5)). Suppose -p*m + 339 = x. Is m a prime number?
True
Let x be 3 + (-6)/(-27) - (-4)/(-18). Suppose 2*l = 5*l + 2*z - 2151, 5*l - x*z = 3604. Is l prime?
True
Let z(w) = 388*w**2 - w. Let x be 2 + 12/(-1 - 3). Is z(x) a prime number?
True
Suppose -o = 4*o - 2*t + 3530, -2*o - 2*t - 1398 = 0. Let s = -351 - o. Is s prime?
True
Suppose -7*t + 6*t = -2. Suppose -4*o + o - 640 = 2*m, -t*o = 2*m + 426. Is 6 + -4 - (o - -1) prime?
False
Suppose 3*l - 3 - 3 = 0. Suppose -l*k - 3*r - 38 = -0*r, 3*k = -4*r - 59. Is (k/10)/(1/(-34)) a composite number?
True
Suppose 19*u = 24*u - 18895. Is u composite?
False
Suppose 3*d = 3*q - 27, 3*q - 7*d = -2*d + 37. Suppose 5*n - 18 = q*z, -3*n = z + 2*n - 8. Is (-356983)/(-153) - z/(-9) a prime number?
True
Let m be 12/20 + (-34)/(-10). Suppose -m*f - 3*g = -6*g - 54, 5*f - 4*g = 67. Is f a composite number?
True
Suppose y + 21 = 4*y + 3*p, 0 = 5*y - 3*p + 5. Suppose -4*o + 448 = 3*b, -293 = -2*b - 0*b + 3*o. Suppose b = y*i + 2*i. Is i a prime number?
True
Is (-6)/9*(-54579)/2 - -4 prime?
False
Let w = -153 - -187. Suppose 3*a - 241 = -0*g - 2*g, -4*a - g + 323 = 0. Let i = a + w. Is i a composite number?
True
Let g(m) = -15*m**3 - 6*m**2 - 35*m - 148. Is g(-6) composite?
True
Let c = 6117 - 470. Is c prime?
True
Suppose -2*v - 5*g = -37511, 2*v - 2*g + 18753 = 3*v. Is v a prime number?
True
Let c be 12/72 + (-182)/12. Let n = c - -334. Is n a prime number?
False
Suppose 2*l = -5*p + 2*p - 22, -4*p - 8 = 0. Let o(x) = 3 - 3*x**3 - 3*x + x**3 + 0 - 8*x**2 + 4. Is o(l) prime?
False
Let o = 40217 + -23598. Is o prime?
True
Let u = -7 + 1. Let q = 103 - u. Is q a composite number?
False
Let r(u) = -u**3 + 13*u**2 - 12*u + 2. Let g be r(12). Suppose -v + 1227 = g*v. Is v composite?
False
Let v(a) = 31*a + 4. Let p(z) = z. Let h be (3/15)/(2/10). Let w(t) = h*v(t) + 6*p(t). Is w(3) a prime number?
False
Is 481632/60 + 1/(-5) prime?
False
Let z(j) = 11*j**2 - 15*j + 9. Is z(17) a composite number?
True
Suppose 0 = -6*q + 3112 - 910. Let i = q + 286. Is i a composite number?
False
Suppose -4*p - 2*l = -6294 - 4684, -4*l = -p + 2767. Is p + ((-2)/(-1) - (5 - 3)) a composite number?
True
Let d(b) = 60*b + 146. Is d(13) a composite number?
True
Suppose 5*a + 7 = 3*m - 0, -m = -4*a. Suppose -25 = -9*f + m*f. Suppose 0 = q - 94 + f. Is q a composite number?
False
Suppose 0 = 47*x - 21108 - 86569. Is x prime?
False
Suppose 16372 = 2*z - 3*k - 41038, -5*k = -3*z + 86113. Is z a prime number?
True
Is 7 + -11 + 6 + 4565 a prime number?
True
Let y(u) = -u**3 + 54*u**2 + 4*u - 97. Is y(38) prime?
True
Suppose 3*f + 4*m - 65867 = 0, 3*f + 3*m - 23516 - 42355 = 0. Is f prime?
True
Let i = -1818 - -2566. Suppose 2*s - 109 = -4*h - 477, -i = 4*s + 2*h. Let r = 393 + s. Is r composite?
True
Suppose -25921 - 4847 = -24*q. Is q prime?
False
Suppose -6*p = -p - 10. Suppose 0 = -n - 4*k + 2815, 4*n + p*k + 11278 = 8*n. Is n a composite number?
False
Let z(w) = 1101*w + 2. Let v be z(1). Suppose v - 2805 = -2*r. Is r a composite number?
True
Suppose -3 = 2*v + 3, -3*v - 30 = -3*m. Suppose 0 = m*t - 5098 - 2245. Is t a composite number?
False
Let a be 2/(((-7)/6)/(-7)). Let j(y) = 17 - 18 + y**2 + a - y. Is j(5) a composite number?
False
Let i(z) = -z**3 + z. Let r(h) = 4*h**3 - 4*h**2 - 8*h + 1. Let q(o) = 5*i(o) + r(o). Let x be q(-3). Suppose -3*c + 5*c = b - 85, 0 = c - x. Is b composite?
True
Let y(f) = 244*f**2 - f. Suppose 0 = -4*d - 4 + 8. Let g be y(d). Suppose n - p = 47, -4*n = n - p - g. Is n prime?
False
Let a(f) be the third derivative of 5*f**4/24 - f**3/3 - 5*f**2. Let r be a(-5). Is 3 - (r - -2) - -3 a composite number?
False
Let r = -2650 + 4451. Is r prime?
True
Is (107755/46)/((-1)/(-2)) prime?
False
Suppose 3 = 3*j + 4*d, 3*d - 8 = -4*j - d. Suppose j*m = 7*m - 1394. Is m a composite number?
True
Let d(a) = -a**2 + 12*a - 5. Let s be d(7). Let t = s - 32. Let m(u) = -6*u - 5. Is m(t) composite?
False
Suppose n = -5*t + 27, -2 = -2*t + 4*n - 0. Suppose 25 = 5*a + 15. Suppose -t*p + 0*v + 2*v + 1005 = 0, v = a*p - 401. Is p a composite number?
True
Suppose -1 - 15 = 4*g. Let x = 2 - g. Suppose -2*j + x*j = 1156. Is j a prime number?
False
Let o be 1*-6*8/(-12). Suppose 5*d + 5176 = 4*c, d + d - 5204 = -o*c. Is c a prime number?
False
Let j = -196308 + 296711. Is j a composite number?
False
Suppose 5*d = -3*z + 1148, -5*z - d - 219 = -2125. Suppose 0 = -5*p + z + 289. Is p a composite number?
True
Let p(y) = 2*y**3 + 6*y**2 - 3. Let x be p(-3). Is x + (-251)/2*-2 - -3 a composite number?
False
Let k(s) = s + 1. Let o be k(2). Is 1430/2 - (o - 7) prime?
True
Let v(i) = 49*i + 12. Is v(3) a prime number?
False
Suppose -5*i + 425 = -1910. Is i a prime number?
True
Let g(v) = 38*v - 7. Let o be g(-11). Let x = o - -844. Is x a prime number?
True
Suppose 5*y - h = 17, 0 = -y - h - 0 + 1. Suppose -t + 43 + 140 = -4*o, 5*t - 961 = -y*o. Is t composite?
False
Suppose 2*v + 4*z + 47624 - 140982 = 0, 93394 = 2*v - 5*z. Is v a prime number?
True
Let b(n) = 12*n**2 + 19 - 4*n + 0*n**2 - 28 + 20. Is b(-5) prime?
True
Let a(g) = -g**3 - 6*g**2 - 2*g - 1. Let o be a(-6). Suppose 0 = o*s - 9*s - 2018. Is s a prime number?
True
Suppose 3*d + r + 1 = 3, 12 = -2*d - 4*r. Suppose 260 = 5*w - d*p, -w + 3*p + 2*p + 29 = 0. Suppose -5*b = -1729 + w. Is b prime?
False
Let g = 356 + 2147. Is g a composite number?
False
Suppose -2*q + 47 - 9 = -4*l, -5*q + 5*l = -70. Let g(z) = -q*z - 4*z - 7*z**2 + 16*z**2 + z + 22. Is g(7) a composite number?
False
Let w = -21118 + 31379. Is w a composite number?
True
Let a = -8745 - -23234. Is a a composite number?
False
Suppose 0 = 4*q - 2*k + 3104, -4*q - 2*k + 3*k - 3100 = 0. Let h = 1093 + q. Is h a composite number?
True
Suppose -99*a - 232749 = -108*a. Is a a prime number?
False
Let z(k) = 169*k**2 + 18*k + 1. Is z(-4) a composite number?
False
Suppose -m = 2*b - 26256 + 3067, m + 5*b = 23195. Is m a composite number?
True
Suppose 9*x + 25475 = 14*x + 4*k, 2*x - k - 10203 = 0. Is x composite?
False
Let u = -30 + 51. Let s be (3 - u)/(-3) + -2. Suppose -s*n = -0*n - 508. Is n a prime number?
True
Suppose 0 = -4*f - 5*s, -3*s = -2*f - 5*s. Let a(k) = 2*k + 40. Let x(h) = -1. Let t(n) = a(n) + 5*x(n). Is t(f) a prime number?
False
Suppose 5*w = -5*j + 3870, 0 = -3*j + 4*w - w + 2346. Suppo