 430 = 126. Is z a composite number?
True
Let p be (-3)/3*1 + 267. Suppose -a + 216 = 3*x - p, -x = -a - 162. Is x a prime number?
False
Let v = 2994 + -2135. Is v composite?
False
Let l(w) = -197*w - 8. Is l(-15) a prime number?
False
Suppose t - 1627 = -0*k - 3*k, 5*t - 8167 = k. Is t a prime number?
False
Suppose 4*w - 2*p = 5514, w + p + p - 1391 = 0. Is w a prime number?
True
Is (-2366)/(-4) + (54/12)/(-9) a prime number?
False
Suppose -5 = 4*v + 7. Is v/(12/(-2696)) + -1 composite?
False
Let u(r) = 3*r**2 + r + 7. Is u(5) prime?
False
Let p(n) = 6*n + 2*n + 0 + 2*n**2 - 7. Is p(6) a composite number?
False
Let f(g) = g**3 - 14*g**2 + 8*g + 21. Let p be f(16). Let y = p - -138. Is y prime?
False
Suppose -r + 8 = 2*k, r + r - 3*k - 37 = 0. Let p = -7 + r. Is p a prime number?
True
Let x = -3 + 3. Suppose b + 16 = 338. Suppose x = 5*h - 163 - b. Is h a composite number?
False
Let o = 41 - -1. Suppose x + 2*x = o. Is x composite?
True
Suppose a = 2*z - 3 + 15, -4*a + 8 = 2*z. Let n(v) = 168*v - 1. Is n(a) prime?
False
Let s(c) = 5*c**2 + 3*c. Let k be s(-5). Suppose -2*d + 0*d = -k. Is d prime?
False
Suppose 5*l - 1469 = -2*v, -3*v + 219 = 3*l - 666. Is l composite?
False
Suppose -3*o + 4*h = 4 - 1, -4*o - h - 23 = 0. Let a be (-3)/1 + 1 - o. Suppose -82 = -a*f - 5*s, 2*s + 14 = -f + 40. Is f a composite number?
True
Suppose -3 = -4*h + 9. Suppose -t + 70 = 2*q, -3*t + h*q = -q - 240. Suppose 0*b + 4*b = t. Is b prime?
True
Suppose 4*s - 180 + 4761 = 3*d, -3065 = -2*d - s. Is d a prime number?
True
Let o(l) = 4*l**3 + 0*l + 5*l**2 + 0*l**2 + 1 - 2*l. Let m be o(3). Suppose k = 5*k - m. Is k a prime number?
True
Suppose -4*t - 3*u + 100 = 0, -5*t + 125 = 2*u - u. Suppose 0*o = 5*o - t. Suppose 55 = -o*k + 6*k. Is k a composite number?
True
Suppose -2*s + 41 = -2*i - i, 3*i + 15 = 0. Let z(t) = -22*t**3 - 2*t - s*t**3 + t**2 + 3*t. Is z(-1) a prime number?
False
Let c(s) = -s**3 - 2*s**2 - s - 3. Let p be c(-6). Suppose 240 = 2*k - 2*t + 94, 2*k - t - 151 = 0. Let j = p - k. Is j composite?
True
Suppose -b - 3*b + 8484 = 0. Suppose 0 = -x - 4, -2*x = 3*a + 8576 - b. Is 2/8 + a/(-28) prime?
False
Let h be (-58)/(-18) + (-2)/9. Suppose h*a - 14 = 4*a. Let q = 35 - a. Is q prime?
False
Let p = -20 - -12. Is (5 + p)/((-3)/13) prime?
True
Suppose -7*m + 2*m = -5*b + 20, 2 = 5*b + 4*m. Suppose -b*d = -d - 3. Suppose -d*s + 11 + 220 = 0. Is s composite?
True
Suppose -y = 3*y. Suppose y = p - 2*p - 3. Let i(h) = -18*h - 3. Is i(p) prime?
False
Let v(t) be the first derivative of t**6/120 + t**5/15 - t**4/24 + t**3/3 + 3*t**2/2 + 1. Let b(c) be the second derivative of v(c). Is b(-4) a prime number?
False
Suppose 2*j + 3*s = 275, -4*j + 556 = -0*j + 4*s. Is j composite?
True
Suppose 0 = 5*b + 25, 4*p - b - 9317 = -4*b. Is p composite?
False
Let v(x) = 16*x**2 + 10*x + 27. Is v(-5) a prime number?
False
Suppose 3*r - 5*p = 534 + 474, -334 = -r + p. Is r prime?
True
Suppose 0*b - 5*s = -3*b + 625, 4*b = s + 856. Is b composite?
True
Let t = 1 + 2. Suppose 5*i + 5 = 5*a, -5*i - 19 = a - 8. Is 35 + (1 - t)/a a prime number?
True
Let b(y) = y**3 - 6*y**2 + 7*y - 3. Let g be b(5). Suppose -x = -3, -2*x = f - g*x + 24. Is (-9)/2*12/f a prime number?
False
Let i(y) = 0 + y - 4 - 2*y. Let u be i(-4). Suppose u = -3*k + 33 + 249. Is k prime?
False
Let b = 532 + 2441. Is b a prime number?
False
Suppose -l = -3*t + 643, 0 = t - 3*l - 0*l - 209. Is t a prime number?
False
Suppose -4*c = 2*m - 203 - 271, 2*c - 4*m = 242. Let u = c + 83. Suppose 5*b + 0*w + 4*w - 339 = 0, 3*b + w = u. Is b a composite number?
False
Let k(c) = 3*c**2 - 3*c - 2. Let a be k(5). Suppose 2*d - a = 60. Is d prime?
True
Let t(u) = -u + 93. Let o be 0/((-2)/(2 - 0)). Is t(o) composite?
True
Let x be (-2)/(-8) + 172/16. Suppose -u = -2, 4*u + 0*u = -a + x. Suppose -3*h = -3*r + 54, -a*r - 2*h + 84 = 5. Is r composite?
False
Let f = 101 + -64. Is f composite?
False
Let s(i) = 38*i + 5. Let p(b) = -39*b - 4. Let f(q) = -6*p(q) - 5*s(q). Is f(3) a composite number?
False
Let k be ((-12)/(-4))/3 - -4. Suppose -k*t = -3*t - 322. Is t prime?
False
Suppose 2*v = -0*v. Suppose -5*h + v*h = -d - 2, 0 = h + 5*d - 16. Is h/(3/66) - 1 prime?
False
Let c = -1 - 3. Let q(x) = -36*x - 2. Is q(c) composite?
True
Suppose 0 = 10*b - 13 - 447. Is b a composite number?
True
Suppose 1016 = 6*b + 2*b. Is b a prime number?
True
Suppose 2*g - 34 + 226 = 0. Let m = 185 + g. Is m a composite number?
False
Let j(h) = -h**3 + 4*h**2 - 3*h + 2. Let i be j(3). Suppose 0 = -5*s + 13 + i. Suppose 0 = -0*v - s*v + 42. Is v a composite number?
True
Suppose -2*u + f + 2014 = -3*f, 4*u + 5*f = 4041. Is u a composite number?
False
Let s(w) = -3*w**3 - 3*w**2 - 3*w - 8. Is s(-5) prime?
True
Let t = -70 - -134. Let v = 95 - t. Is v a prime number?
True
Let g = -193 + 306. Is -3 + g - (-2 + -1) prime?
True
Suppose -3506 + 19851 = 5*w. Is w a composite number?
True
Suppose -18*q + 24 + 3774 = 0. Is q composite?
False
Suppose v - 397 = -3*i, 1247 = -4*v + 7*v - 5*i. Is v a composite number?
False
Let f(g) = g**3 + 3*g**2 + 10*g - 3. Is f(11) composite?
False
Let d = 144 + 211. Let o = -7 + 12. Suppose -o*w + 0*w = -d. Is w a composite number?
False
Suppose -5*z + 164 + 61 = 0. Suppose z = 5*j - 2*a, -4*j + 5*a = 2*a - 29. Is j composite?
False
Suppose -3*x - 10 = -2*j, -x + 10 = -2*j + 4*j. Suppose 0*q = -q - t + 11, x = -2*q - t + 26. Is (-112)/(-6) - (-5)/q a composite number?
False
Let o(c) be the third derivative of c**4/12 - c**3/3 + 3*c**2. Let l = 15 + -9. Is o(l) a composite number?
True
Suppose 0 = -5*u - 20, -x - 2*u + 2819 = -0*x. Is x prime?
False
Let a be (814/2)/(-2 + 3). Suppose -3*l - r - 4*r = -a, -5*r = -20. Is l prime?
False
Let q be 0/(-1) - (1 - -1). Let u(s) = -s**2 - 3*s - 2. Let f be u(q). Suppose 0 = -g - f*g + 13. Is g prime?
True
Let v = 347 + -186. Is v prime?
False
Suppose 0*n - 3*n + 57 = 0. Let q = n - -64. Suppose q = x + 3*x + a, -125 = -5*x + 3*a. Is x a composite number?
True
Is (8 + (-87)/9)*(-320 + -1) a prime number?
False
Let q = 1154 + -698. Let b = 667 - q. Is b a prime number?
True
Let c = 215 + -830. Is (-6)/(-9) - c/9 composite?
True
Let o = 4 - 3. Is (25 - -2) + o/(-1) a composite number?
True
Suppose -4*o - o - 30 = 0. Let p(k) = k**2 + 3*k + 7. Is p(o) composite?
True
Let p(t) = 4*t. Let q be p(7). Let s = 3 + q. Is s a composite number?
False
Let d(r) = -4*r**3 - 4*r + 12*r**2 + 3*r**3 - 4*r. Let b be (-268)/(-24) + (-3)/18. Is d(b) prime?
False
Suppose 2*q + 3*o - 38 = 0, -4*o = -4*q + 81 + 35. Is q a prime number?
False
Let s(k) = k**3 + 16*k**2 + 13*k - 31. Is s(-14) a composite number?
False
Is -6 + 6 - (2 + -3 - 448) prime?
True
Let r = -312 + 469. Is r composite?
False
Let b = 0 + -24. Is (-8)/b - 1084/(-6) composite?
False
Let a(r) be the third derivative of r**5/5 - 5*r**4/24 + r**3/2 + 3*r**2. Let h(m) = -3*m**2 + m - 1. Let n(j) = -2*a(j) - 9*h(j). Is n(4) prime?
False
Suppose z - 231 = -2*z. Is (-33)/z + (-916)/(-14) prime?
False
Let q(h) = 9*h + 6. Let g be q(7). Suppose -g = 5*r - 414. Is r composite?
True
Let q = -49 + 34. Let p be (-21)/q - 2/5. Let u(j) = 19*j. Is u(p) prime?
True
Suppose 0 = 4*c - 294 - 2. Is c prime?
False
Suppose -5*o = -1379 + 429. Let f = 186 + -73. Let g = o - f. Is g a prime number?
False
Let l be (23 + 1)*(-6)/(-9). Let i = 23 - l. Is i a prime number?
True
Suppose 0*f - 15 = 3*f. Let b(k) = -k**2 - 5*k. Let v be b(f). Suppose l = -5*x + 261, v = -4*x - 2*l + 160 + 44. Is x prime?
True
Suppose 0 = 4*i + i - 2235. Is i prime?
False
Is (-1)/(-4) + 4563/36 a composite number?
False
Let q be (-7)/28 - (-9)/4. Suppose o - 365 = -2*u, 3*o = -q*u + 279 + 832. Suppose 4*y - o = -33. Is y prime?
False
Let t(c) = 48*c**3 + 2*c - 1. Is t(4) a composite number?
False
Let g(x) = -10*x + 2. Let r(d) = 1. Let w(k) = g(k) - 5*r(k). Let m be 1/(2/(-10) + 0). Is w(m) prime?
True
Let v(w) = -w**3 - 4*w**2 + 6*w + 7. Is v(-14) a prime number?
False
Let x(q) = -q**3 - 2*q**2 - 10*q - 27. Is x(-6) composite?
True
Suppose 0 = -4*v - 2*h + 1578 + 380, -3*v + 1464 = 3*h. Is v a prime number?
True
Let k(d) be the second derivative of d**5/10 - d**4/3 + 2*d**3/3 - 2*d**2 + d. Is k(3) a prime number?
False
Let g(y) = 2*y + 0*y + 3*y. Let a be g(8). Suppose -4*q = 4*c -