Is z(4) composite?
False
Let d(p) = p - 4. Let s be d(3). Let y = 3 - s. Is (-3)/y - 647/(-4) a prime number?
False
Let l(z) = 4*z**2 + 7*z - 5. Let q be l(6). Let o = -70 + q. Is o composite?
True
Suppose 0 = 5*x - 10, -p - x - 1016 - 459 = 0. Is (-2)/(7/(p/2)) composite?
False
Suppose 3*t + 4*p - 148 = 93, 3*t + 2*p - 239 = 0. Is t a prime number?
True
Let o = -600 + 1035. Let h = o + -280. Is h composite?
True
Let w = -141 - -656. Is w composite?
True
Suppose 0 = -3*h + 5*q + 21 - 9, -4*h - 5*q = 19. Let j(z) = -51*z. Is j(h) prime?
False
Suppose -q + 0*q + 14 = 0. Suppose -2*y = -0*y + 4, 0 = -3*r + y + q. Is r composite?
True
Is (7 + 914)*2/6 a composite number?
False
Let z(q) = -3*q + 6. Let j be z(-6). Suppose -3*t + j = 2*p + t, 2*p + t - 21 = 0. Is p a composite number?
True
Let p = 473 - 258. Is p a composite number?
True
Let n(c) = 3*c + 1. Let b be -2*(1 + -2 + 0). Let j be 1/(b + (-33)/18). Is n(j) a composite number?
False
Let s(v) = -3*v. Is s(-1) composite?
False
Is (5/5 + -594)/((-2)/22) composite?
True
Let q be (7/(-3))/((-5)/30). Suppose 0 = -s + 3*s - q. Is s a prime number?
True
Suppose f = -f + 6. Let p(y) = 8*y**2 - 3*y - 4. Is p(f) a prime number?
True
Let r(u) = 10*u**2 - 9*u + 2. Let h be r(-9). Suppose -352 = -2*c - 0*i + 3*i, -i - h = -5*c. Is c prime?
True
Let j = 50 + 5. Is j composite?
True
Let k(b) = -b**3 + 7*b**2 - 5*b - 1. Let s be k(6). Suppose -150 = -3*f + s*q + 122, -2 = 2*q. Is f a prime number?
True
Is ((-6)/9 - (-2990)/3) + 2 composite?
True
Let b(v) = 2*v + 5. Is b(5) composite?
True
Let y(b) = -b**3 + 18*b**2 - 14*b - 14. Let z be y(15). Suppose 5*d = -3*n - 2*n + 740, 3*d - 4*n = z. Is d composite?
False
Suppose 0*o - 3*f = -2*o + 38, o = -f + 19. Is o a composite number?
False
Suppose -13 - 37 = -g. Suppose -w = -6*w - g. Is 4/w - 232/(-5) composite?
True
Suppose -12 = -3*z - 0. Suppose 2*i - 1563 = -5*y, z*y = -i + 1908 - 660. Suppose 4*j - 3*b = y, -2*j + 4*b - 73 = -3*j. Is j a prime number?
False
Suppose -4*w + 3468 = -2*m, 0 = 5*w - 8*m + 7*m - 4329. Is w a prime number?
False
Is (66/4 + 4)*14 prime?
False
Let w be ((-3)/(-3) + 5)/2. Suppose 2*a = w*n - 180, 2*n - a = -44 + 165. Is n a prime number?
False
Suppose -1685 = -0*f - 5*f. Is f composite?
False
Let a(r) = 3 - 7 + 3 - r. Let t be a(-6). Suppose 93 = 2*c + f, 2*f + 237 = t*c - 0*f. Is c a prime number?
True
Let t(n) = -4*n**2 - n**3 + n + 1 + n - 3*n + 0*n. Is t(-7) prime?
False
Let o(r) be the first derivative of 7*r**5/60 + 5*r**4/24 - 2*r**3/3 + 1. Let s(d) be the third derivative of o(d). Is s(10) prime?
False
Suppose 2966 + 502 = 12*z. Is z a prime number?
False
Let v(j) = -13*j**3 + 3*j**2 - j - 2. Is v(-3) composite?
False
Let x = -1288 - -3249. Is x a composite number?
True
Suppose 4*m - 112 = -2*h, 0*h - 3*m = -3*h + 123. Suppose r - 93 = -5*b, 7*r - 3*r + h = 2*b. Is b composite?
False
Suppose -2*t = -572 - 34. Let u = 432 - t. Is u composite?
True
Let n = 1775 - 1188. Is n prime?
True
Suppose 16 = -2*b + 6*b. Suppose -b = 2*h - y, 2*h - 13 - 7 = -5*y. Suppose h = -t - 0*t + 53. Is t a prime number?
True
Let j(q) = 16*q**2 - 3*q - 6. Let h be j(-4). Let l = h - 129. Is l prime?
False
Let r = 484 + -233. Is r composite?
False
Let j(t) be the second derivative of 1/2*t**2 + 2*t - 1/12*t**4 + 1/6*t**3 - 1/20*t**5 + 0. Is j(-2) prime?
True
Suppose 3*w - 15 = 0, -2*h - 3*h + 190 = 4*w. Suppose 2*q - a + 7 = 0, 5*q + 5*a = q + 21. Let b = h - q. Is b a composite number?
True
Suppose 3*d - 11 = 1, 2*y - 430 = 4*d. Is y prime?
True
Suppose -2*x = -5*m - 234, -3*m + 8 = -4. Is x a composite number?
False
Suppose 1 = 3*o - 8. Let y = 2 + o. Suppose y*z + 3*a = 260, -25 = 2*z + a - 130. Is z prime?
False
Let m(p) be the first derivative of p**3/3 + p**2 - 5*p - 2. Is m(-6) a prime number?
True
Let h be ((-111)/(-2))/(1/2). Suppose -g + 0*g = -h. Is g prime?
False
Let t be (-1)/(1/(-15)) + -2. Suppose p = -0*p. Suppose -12 - t = 5*o, p = 4*j - o - 225. Is j prime?
False
Is (38/4)/((-12)/(-72)) a composite number?
True
Let b(j) be the first derivative of -j**2 - 9*j + 3. Let u be b(-7). Suppose u*l = 701 + 354. Is l a prime number?
True
Let k be (4 - -3 - 4) + 0. Suppose -2*c = -k*c + 59. Is c a prime number?
True
Suppose 4*v - 16171 = -5*s, -2*v = -v - s - 4054. Is v a composite number?
False
Let h = -263 - -816. Is h prime?
False
Let d = -401 - -919. Let n = 765 - d. Is n a prime number?
False
Suppose 0*g + 2 = g. Suppose -3*m - 3*p + 156 = -0*p, -p + 107 = g*m. Is m composite?
True
Let p be (6/(-4))/((-6)/56). Let g be (-1)/(-2) - p/(-4). Suppose -5*r + 615 = g*v + v, -2*v = -r + 135. Is r a composite number?
False
Let j = -2 + 2. Let i be ((-2)/(-1))/2 - j. Let v(n) = 52*n**2 - 2*n + 1. Is v(i) a composite number?
True
Suppose -b = 2*b - 1623. Is b a composite number?
False
Let w = -161 - -612. Is w composite?
True
Let s = 927 - 478. Is s a composite number?
False
Let t = 4824 - 3445. Is t composite?
True
Suppose 0 = -10*d + 5*d. Suppose 0 = -3*m - 15, -3*t + d*t + 25 = -2*m. Is (-2 + t)/((-1)/(-7)) composite?
True
Is (-207)/(-1)*1/3 composite?
True
Let k be ((-9)/2 - -2)*-2. Suppose 5 + 7 = 2*f + 3*i, 0 = k*f - 2*i + 8. Suppose -5*p + 273 - 18 = f. Is p prime?
False
Let v = -319 + 804. Is v a prime number?
False
Let g(q) = -3*q**3 - q**2 + 3*q - 1. Let u be g(-4). Suppose 10*w - 11*w = -u. Is w a composite number?
False
Suppose 4*p + 5 = 25. Suppose 0 = -p*r + 126 + 29. Is r a prime number?
True
Let m = 5786 - 4093. Is m composite?
False
Is 3/(-6 + 3) + 398 prime?
True
Let k(u) = 8*u + 9. Let n(r) = 8*r + 9. Let p(h) = -4*k(h) + 5*n(h). Is p(10) composite?
False
Suppose -3*k - j = -0*k - 900, 5*j + 1181 = 4*k. Is k prime?
False
Let t be 1/(-1 - -2)*3. Let o be (-9)/(-2) + t/6. Suppose -2*k + k + 2*y + 10 = 0, 2*k - 2 = -o*y. Is k composite?
True
Suppose -3*q + 3*n + 12 = 0, 0 = 5*q + 2*n + n + 12. Suppose 4*z - 562 = -4*i + 182, q = -2*i - 4*z + 362. Is i a composite number?
False
Let v(q) = -31*q + 7. Let f(m) = 47*m - 11. Let g(o) = -5*f(o) - 8*v(o). Is g(6) prime?
False
Let l = 134 - -35. Is l composite?
True
Let c = -6 + -16. Let h = c - -32. Let k = h + 0. Is k a prime number?
False
Suppose -4*y - 239 + 2043 = 0. Is y a composite number?
True
Let t(b) = 3*b**2 - 1. Let x be t(-1). Suppose -3*k + 171 = 2*p, 23 = 5*k + x*p - 266. Is k a prime number?
True
Suppose 76 = 3*k + k. Is k a prime number?
True
Suppose -4*y - k - 1215 = 0, 6 = -3*y - k - 904. Let p = 537 + y. Suppose 28 = 4*n - p. Is n prime?
False
Suppose -u + 2*o = -7, -3*o = -3*u + o + 17. Suppose -y + 243 = 2*s, -2*y - u*s + 483 = -7. Is y a prime number?
True
Let g = 177 - -310. Is g a prime number?
True
Suppose -750 = -4*u + 114. Suppose 2*q - u - 32 = 3*f, 4*q + 5*f = 518. Is q a prime number?
True
Let x be 1 - (-1 + (1 - 0)). Suppose 4*b - 5*s - 21 - 41 = 0, -5*b + 67 = -s. Is x*b/2*4 composite?
True
Let a(r) = r**3 + r**2 + 2*r - 3. Let j be a(3). Let d be j/(-9) + (-2)/(-6). Let q = 3 - d. Is q a prime number?
True
Suppose -4*q - 407 = -5*x, 0 = 5*x - 5*q - 359 - 51. Is x composite?
False
Let r = 1672 + -863. Is r a prime number?
True
Let s = 15 + -7. Let g(k) = 2 - k + 2 - 5 + k**2 + 12. Is g(s) a prime number?
True
Let d(z) = -z**2 - 11*z - 6. Let k(q) = q**3 - 4*q**2 - 7*q + 6. Let c be k(5). Is d(c) composite?
True
Let a be 3 + 0 + -1 + -4. Let v be 7/((-21)/(-990)) + a. Suppose 3*h - 180 = 5*o, -5*h = 2*o - o - v. Is h a prime number?
False
Let m(a) = 0*a - 1 + 67*a**2 + 2*a + 32*a**2. Let i be m(1). Suppose -18 = -r - 4*g + g, 5*r = -5*g + i. Is r a composite number?
True
Let c(k) = -k**2 - 30*k + 2. Is c(-5) a composite number?
False
Let y be (-114)/(-2) + 0/8. Let t be 2/(1 - (-17)/(-16)). Let z = y + t. Is z a composite number?
True
Suppose -3*h = 2*h + 40. Let k = h - -13. Suppose -u + 10 + k = 0. Is u a composite number?
True
Let s(j) = -j**3 + 5*j**2 - 4*j + 3. Let t be s(3). Suppose 5 = 5*a - 5*k, 6*a - k - t = a. Is 2*(-47)/(-4)*a composite?
False
Let n = 94 - 12. Is n composite?
True
Let y(g) = 6*g**3 + g**2 - g - 1. Let z be y(-1). Let b(l) = -l**3 + l**2 - l - 6. Is b(z) composite?
False
Let q(l) = -l**2 + 10*l - 9. Let b be q(9). Suppose b = m - 151 - 76. Let u = m + -36. Is u a prime number?
True
Let m be ((-1624)/(-2))/(-4) - 1. Let a = m