) = -5984*p + 213. Is v(-1) a prime number?
True
Let m(d) = 308*d**2 + 132*d + 37. Is m(-18) a prime number?
True
Suppose 8 = 2*y - v, -y + 2*v + 3*v = -22. Suppose -9*m - 3*w = -5*m - 19819, -y*m + 9920 = -2*w. Is m a composite number?
False
Let o = 432 - 423. Suppose y + 10425 = 4*m, -o*m + 13020 = -4*m + y. Is m a composite number?
True
Let k(c) = c**2 + 13*c - 195. Let u be k(9). Let z(j) = 527*j**2 - 4*j + 20. Is z(u) a composite number?
False
Let q(r) = 584*r**2 + 132*r - 489. Is q(22) prime?
True
Suppose -5945235 = -27*f + 327756. Is f composite?
False
Suppose -2*u - 15 = 5*f, 7*f - 10*f = 2*u + 9. Let m = 7 - 3. Suppose -m*g + 17897 - 5581 = u. Is g a composite number?
False
Let d(g) be the first derivative of -71/4*g**4 - 11 - 2*g**2 + 7*g - 5/3*g**3. Is d(-4) a prime number?
False
Suppose d - 2 = 11. Let a be (3 - d/3)/(2/(-3)). Suppose 8300 = 5*x + 4*n + n, 5*n - 3329 = -a*x. Is x composite?
False
Let m = 38 + -23. Let g(b) = -460 + 930 - 15*b**2 - 2*b**3 - 454 + b + 3*b**3. Is g(m) composite?
False
Suppose -2*h = -2*p + 2, 0 = h - p - p + 4. Suppose 30*o = 29*o + h. Suppose -397 = -o*x + 9. Is x prime?
False
Let x(o) = 171*o**2 - 93*o - 221. Is x(21) a composite number?
False
Let f be -1 + (-4 - -7) + 18. Suppose f = 7*r - 2*r. Suppose c = 3*u + u + 239, r*c - 872 = -5*u. Is c composite?
False
Suppose 177 = -6*x + 87. Let o(d) = 13*d**2 + 56*d - 8. Is o(x) a prime number?
False
Let x(p) = 12*p**3 + 5*p**2 - 9. Suppose 0 = -13*b + 43 + 48. Let s(j) = -6*j**3 - 2*j**2 + 4. Let l(k) = b*s(k) + 3*x(k). Is l(-2) composite?
False
Let a = -3975 - -8589. Is (18/(-27))/((-4)/a) a prime number?
True
Let h be 1*(1*-18 + 2 + -3). Let x(j) = -36*j - 51. Is x(h) composite?
True
Is -8 - (-10*(-8)/20 - 1024769) a prime number?
True
Let s(d) = 3064*d**2 + 13*d + 44. Let q be s(-6). Suppose 73*k - q = 63*k. Is k prime?
True
Let s(r) = -r**2 - 9*r + 56. Let t be (-48)/((-3)/(-1)) - 21/(-7). Let i be s(t). Suppose -4531 = -5*v - i*q, 2*v = -q - 3*q + 1810. Is v a prime number?
True
Suppose 0*c + 5*c = -15. Let l(r) = -34*r**3 - 2*r**2 + 4*r - 1. Is l(c) a prime number?
True
Suppose 29*u - 1272644 = -456033. Is u composite?
True
Let s = -32 + 52. Suppose 5*j - 270 = 5*c, -2*j + s = 2*j. Let r = 228 + c. Is r a composite number?
False
Let b(v) = -583*v + 4. Let r be b(-5). Let t(u) = -3*u**2 - 25*u + 20. Let n be t(-9). Suppose 2*m = 7*y - n*y - r, -1757 = -3*y + 4*m. Is y composite?
True
Let f = 1642545 + -295480. Is f prime?
False
Suppose -8*c + 2322 = -398. Let i = c + 619. Is i a prime number?
False
Suppose 26*u - 28*u = -81478. Is u a composite number?
False
Suppose -388246 = -30*t - 95416. Let m = t - 406. Is m a composite number?
True
Is (6 - (5 + -9)) + 743647 a composite number?
False
Suppose -w - 5*d = -607660, -w + 439*d - 441*d + 607657 = 0. Is w a composite number?
True
Let u be (1 - 2)/((-7)/59794). Let c = -395 + u. Is c composite?
False
Let y be (-22134)/(-27) + 2/9. Let d = y - 513. Suppose -r = -3*a + 4200, -2*a + 2485 = 2*r - d. Is a a prime number?
True
Suppose -10729335 - 2942928 = -33*d. Is d composite?
False
Let y(q) be the second derivative of q**3/3 + 6*q. Let o be y(-2). Is o + 0/(-2) - -69 a prime number?
False
Let b(y) be the second derivative of y**5/30 - 23*y**4/24 + 19*y**3/6 - 25*y**2/2 - 39*y. Let o(h) be the first derivative of b(h). Is o(14) a composite number?
False
Is (-4078)/(-3 - 436/(-148)) prime?
False
Let d(b) = 2*b**3 + 19*b**2 - 12*b - 19. Let f be d(-10). Let w be (1 - 2)*f - -2. Is 550 + 32 - (w/(-1) - -2) prime?
False
Suppose 3*h = 413 + 271. Let b = 377 - h. Is b prime?
True
Let m(r) = -28*r**2 - 4*r + 398969. Is m(0) composite?
False
Suppose -5*w + w = 2016. Let i = w - -1022. Suppose -5*t = -i - 8657. Is t a prime number?
False
Let b be (6 - 13) + -4 + 1 + 0. Let h be (2 - b/(-3))*681. Let j = -309 - h. Is j prime?
True
Suppose 2*f = -4*u + 371538, -6*u + 8 = -10*u. Is f a composite number?
True
Let g = 8041 + -7850. Is g a composite number?
False
Let y = 4687 + -3790. Let v be (0 + 1 - 2) + 1. Suppose 0 = 3*l - v*l - y. Is l composite?
True
Suppose 20*h - 36 = 24. Suppose 4*d + 2*b = -0*d + 14082, b + 10564 = h*d. Is d prime?
False
Let l(v) = -12*v**2 + 29*v - 95*v + 27 + 122*v**2. Is l(14) prime?
True
Is (((-9)/(-2))/(-3))/(1/(280408/(-12))) prime?
True
Let x be (4792/(-8))/((-5)/(-410)). Let m = x - -74805. Is m composite?
True
Let f = -4233 + 2385. Let u = -890 - f. Suppose -4*c - u = -6*c. Is c prime?
True
Let x be 18/(-30) - 38/(-5). Let w(j) = -j**2 + 19*j + 9. Is w(x) a prime number?
False
Suppose -3*x + 4*m = -181, -3*m = -2*x + 109 + 12. Suppose -2*q + x = -3*q. Let l = -28 - q. Is l a prime number?
True
Suppose 137*d - 122*d - 2070945 = 0. Is d a composite number?
True
Suppose 0 = 17*c - 10*c - 21. Suppose r = -5*o - 660 + 2249, 0 = c*o - 3*r - 957. Suppose -l = -119 - o. Is l prime?
False
Suppose -2*n = -s + 70, 2*s + 4*n - n = 161. Let p be (-385)/(-22)*(-8)/(-10). Let i = s - p. Is i prime?
False
Let k be -1*3/((-15)/95). Let g(o) = o**2 + 19*o - 9. Is g(k) composite?
True
Suppose 204 = 2*s - 2*l, s - 4*l = -6*l + 87. Let u = 99 - s. Suppose -5*v + u*w + 3057 = -1716, -2*v - w = -1911. Is v a prime number?
False
Suppose -2 = q - 2*q. Suppose q*s + 2*s = -2*z + 5242, -4*s = -3*z - 5247. Let v = s - 682. Is v a prime number?
False
Let r(y) = -y**3 + 5*y**2 - 6*y + 2. Let c be r(4). Let u be (-15 + 165)/(c/16). Is -3 + 6 + (-9)/(9/u) composite?
True
Suppose 0*w = 5*w - 2*i - 86, -4*w + i = -67. Let b be 5/(-4 + 84/w). Suppose 3*n + 1629 - 10098 = b*x, 3*n = -3*x + 8448. Is n a prime number?
True
Let n be ((-21)/6)/((-1)/148). Suppose -121*u = -125*u - 1260. Let y = n + u. Is y prime?
False
Let n(t) = 289*t**2 - 70*t + 332. Is n(19) a composite number?
True
Let p(s) = -190*s**2 + 35*s + 25. Let v(j) = 95*j**2 + 2 - 23 + 8 - 18*j. Let y(z) = -4*p(z) - 7*v(z). Is y(-4) composite?
False
Suppose -5 = d - 5*t, -3*d + t = d - 37. Let a = -1238 - -641. Is (d/30)/((-1)/a) a composite number?
False
Let l(h) = -h**3 - 35*h**2 - 65*h + 36. Let m be l(-33). Suppose r + 75426 = m*r + 2*i, 2*r = 2*i + 75410. Is r composite?
True
Suppose 7515071 = 3*i + 4*u, 8*i - 11*i + 4*u + 7515007 = 0. Is i a composite number?
True
Let l = -316 + 328. Suppose l*u - 13*u + 5*n = -2492, -5*n - 5009 = -2*u. Is u a prime number?
False
Let p = -3341 + 6090. Let s = 3910 - p. Is s - (-5 - (1 - 4)) a composite number?
False
Let a(d) = -d**2 + 6*d + 19. Let p be a(9). Is (-6381)/(-1) + (-5 - p) + -1 prime?
False
Is 3/(-15) + (-609245404)/(-370) a composite number?
False
Let x(t) = 4*t**2 - t + 13. Let g be x(-6). Let n = 1122 - g. Is n composite?
True
Let a be (3 - 0) + 5*(-10)/(-25). Suppose d - 645 = 4*g - 11373, d = -a*g + 13401. Is g a composite number?
True
Let n(z) = -5043*z - 130. Let f be n(-10). Suppose -2*g + 20126 = -4*c, 2*g + f = 7*g + 5*c. Is g prime?
True
Let q(v) = -2*v**3 + 20*v**2 - 19*v + 21. Let x be q(-16). Suppose -6*j = -x - 4585. Is j a prime number?
True
Let c(r) be the second derivative of 36*r**3 + r**2 + 15*r. Let b be c(-1). Let o = 371 + b. Is o composite?
False
Let r = 29963 + 11616. Is r composite?
False
Suppose -22*q = 21*q - 44*q + 34909. Is q a composite number?
True
Is (120706/(-10))/(5/(-25)) a prime number?
True
Suppose 687*d + 2160 = 692*d. Let k = -377 + d. Is k prime?
False
Suppose 0 = 7*m - 207 + 186. Is 1531*1/m*(-13 - -16) prime?
True
Is 1*-2*(1900/(-8) - -19) prime?
False
Let m(z) = z**2 - 24. Let i be m(-5). Suppose 11 = 2*j - i. Suppose j*n - 926 = -140. Is n composite?
False
Let f = 511 - 508. Suppose -4*k = 0, f*k = 5*o - 10*o + 30585. Is o a prime number?
False
Let l = -211 - -151. Let m = 115 + l. Is m a prime number?
False
Suppose -4*g = 5*a - 24835, 9773 = 3*a - 3*g - 5101. Is a a composite number?
True
Suppose 207*n - 16667235 = 8122878. Is n a composite number?
False
Suppose -5*n + 2307 = 4*l, 5*l - 330 = -n + 123. Suppose 2*d = n + 4047. Suppose 5*j = d + 980. Is j composite?
False
Suppose 2*g + g - 15 = -5*w, 4*w = 2*g + 12. Suppose -126 = -5*f - 2*j, g*f + f - 30 = -2*j. Is 272/f + 1/(-3) composite?
False
Suppose 116*c = 120*c - 24. Let s be 335496/(-40) - (-6)/(-10). Is (4/c)/(3/s*-8) composite?
False
Let g(l) = l**2 - 3*l - 10. Let q be g(5). Suppose q = 12*n - 4*n.