 Let t = 7010 - d. Is t prime?
False
Suppose 19 - 4 = 5*k. Let x be k/((-4)/(0 + -4)). Suppose x*b = 3*w + 480, -3*b = -7*b - 2*w + 622. Is b a prime number?
True
Let n(o) = -o**3 + 18*o**2 + 39*o + 22. Let d be n(20). Let y(h) = 16*h - 27. Let x be y(d). Suppose 4*p + x*s = 1003, 2*p + s = 3*s + 524. Is p prime?
True
Suppose -2*a = -10*a + 16. Suppose -a*j + 34 = -j. Suppose j + 96 = 5*r. Is r a composite number?
True
Suppose -1956923 - 13197590 = -143*x + 5589496. Is x prime?
True
Let n(q) = 4*q**2 + 40*q + 38. Let w be n(32). Suppose -w = -19*b + 5169. Is b a prime number?
True
Let g(j) = -2*j - 6. Let l be g(9). Let v = 35 + 8. Let u = v + l. Is u prime?
True
Let t(q) = 8*q**3 - 19*q**2 + 15*q + 19. Let z be t(7). Suppose z = f + 12*f. Is f composite?
False
Suppose 89122 = g - 7*c, -221*c - 445493 = -5*g - 225*c. Is g a composite number?
False
Let a(y) = -y**3 - 3*y**2 + y + 1250. Let v be a(0). Let k = v - 537. Is k a prime number?
False
Suppose 5*v = -5*q, 3*v = 7*v + 12. Suppose -3*g = -14*j + 10*j + 34657, 0 = -3*g + q. Is j a composite number?
True
Let i = -79 - -125. Let v = i - -1445. Suppose 4970 = 7*b + v. Is b prime?
False
Let l be -31 - -29 - -2*(-14)/(-4). Suppose -9 = 4*v + 5*c, -3*c - l = -2*c. Suppose 0 = 5*r + 3*g - 897, v*r - 3*r = -4*g + 193. Is r composite?
True
Let g = 76 + -67. Is 1598 - g/(-6)*4/(-6) a composite number?
False
Suppose 1 = 3*s + 7. Let l be s + -2 + 56/8. Suppose -3123 = -2*u - h, -2*h = l*u + h - 4692. Is u prime?
True
Suppose -5*x - 3154 = 3*m, -3*x - 642 = -2*x - 5*m. Let n = x + 1429. Is n composite?
False
Let t(d) = -198*d**3 + 6*d + 5. Let v(h) = -2*h**2 + 6. Let r be v(2). Let x be t(r). Suppose 0*p = -p - 3*j + x, 0 = p - 3*j - 1589. Is p a composite number?
False
Suppose 0 = -h + 4 - 0, 5*i + 3*h = 22. Suppose 0 = j - i*c - 14, j - 5*c = -2*c + 19. Suppose 2*s = -5*o + 747, o - j*s - 65 - 80 = 0. Is o prime?
True
Suppose 86*y - 81*y - 2*p - 216809 = 0, 5*p - 86712 = -2*y. Is y a composite number?
True
Let y(o) = 4*o**2 - 8*o - 9. Let w(r) = 3*r**2 + r**2 - 30 - r**2 - 2*r**2 + 6*r. Let a be w(-10). Is y(a) a composite number?
False
Let n(o) = 6*o - 6. Let f be n(3). Let d be 6 + (-4)/(16/f). Suppose d*y + 655 = 5*y - 5*h, -5*y - 2*h + 1681 = 0. Is y composite?
True
Let f(w) be the second derivative of w**3/3 - 17*w**2/2 - 41*w. Let i be f(12). Let z = 828 + i. Is z a composite number?
True
Suppose -59884 = 65*k - 69*k + 4*n, n = -2*k + 29936. Is k composite?
False
Suppose 3*b - 30 = -5*v - 2*b, 0 = -3*v + 5*b - 14. Suppose -v*c - 27 + 9 = g, -3*g = -3*c + 27. Is g/(-20) + 6/15 - -92 composite?
True
Let u = 561 + -558. Suppose 0*k + 43407 = u*k + 5*n, k - 4*n = 14486. Is k prime?
False
Let w = 102560 + -19969. Is w a prime number?
True
Let w(b) = 23*b + 42. Let c be w(-3). Is (-58288)/(-14) + c/63 a prime number?
False
Suppose -64889 = -3*j + 52*s - 53*s, -3*j + 3*s = -64905. Is j composite?
True
Let c = 42905 + -21178. Is c prime?
True
Suppose 5*z - 557043 = 4*p, 3*z - 334217 = -12*p + 10*p. Is z composite?
True
Let i = 49440 - -3521. Is i composite?
True
Suppose 0 = 3*g + q - 26, -2*q = 3*g - 0 - 31. Let n(p) = -4*p**3 - 4*p**2 + 10*p - 3. Let v be n(g). Let r = v + 3332. Is r a prime number?
True
Suppose 0 = 4*v + 36*f - 34*f - 101456, 5*f = 4*v - 101498. Is v a prime number?
True
Let y be (-4)/(-3)*1155/(-2). Let v(d) = 2*d**3 - 82*d**2 - 33*d - 48. Let f be v(41). Let i = y - f. Is i prime?
True
Suppose 5*x - 5*f - 9797 = 3228, 2*x + 4*f - 5186 = 0. Suppose g = 5*u - 93712, 3*u - 58833 + x = -g. Is u composite?
False
Suppose 3*o = -2*b + 378407, -4*b + 4*o - 378410 = -6*b. Is b prime?
True
Let g(x) = 6*x**2 + 10*x + 37. Let r(n) = 3*n**2 + 6*n + 20. Let i(w) = 3*g(w) - 5*r(w). Suppose -4 = 4*z + 20. Is i(z) composite?
True
Suppose 85 + 23 = 18*l. Is (l*(-33)/(-18))/(2/26) a composite number?
True
Let u(c) = 95*c**3 + 9*c**2 - 270*c + 25. Is u(11) prime?
False
Is 18/15 + (-2776434)/(-30) a composite number?
True
Is (-54433)/(-13) - 70/455 composite?
True
Let w(a) = -a**3 - 4*a**2 + 2*a + 18. Let m be w(-3). Suppose -m*t + 10691 - 2234 = 0. Is t prime?
True
Let x = -3621 + 3553. Suppose 108 = b + 2*g, -2*b + 3*g = -b - 123. Let u = x + b. Is u composite?
True
Let u = -5906 + 101425. Is u prime?
False
Let i be 9 + -12 + 5 + 1. Suppose -i*x - 8915 = -m, -10412 = -3*m - 3*x + 16285. Is m a prime number?
False
Let s be ((-1062)/(-45))/((-1)/5). Let g = s - -123. Suppose 0 = a + 1, -724 = -u + g*a + 1380. Is u a composite number?
False
Let h be (-15354)/342 - (-4)/(-38). Let l be ((-2043)/h + -1)*(-50)/3. Let t = l + 1291. Is t prime?
False
Let k(d) = d**2 - 5*d. Let m be k(5). Suppose m*n = -5*n - 10, -n = 3*r - 4. Is (r/3)/(20/26670) a prime number?
False
Let s(u) = -u + 2. Let z be s(-3). Suppose c - z*t = -c - 6, -3*t + 12 = 0. Suppose -2*o + c*o = -d + 1698, -3*d + 5078 = -o. Is d prime?
True
Suppose -736*s = u - 735*s + 2, -2*u + 31 = -5*s. Let a be 2/((-1)/4*-2). Suppose -u*k - 2*p + 304 = -409, -a*k + 951 = 3*p. Is k a composite number?
True
Suppose -30*y + 27 = -29*y. Suppose -y*p + 26327 = -20*p. Is p a composite number?
False
Let g = 327 - 513. Let x = 164 - g. Suppose -x = p - 1255. Is p a composite number?
True
Suppose -4*w = c, 2*c + c + 5*w = 7. Suppose 2*a = c*k + 3690, 9*a = 8*a + k + 1846. Is a a prime number?
True
Let h = 63819 + -31862. Is h prime?
True
Let m(g) = -g**3 + 3*g**2 - 4*g + 3. Let n be m(4). Let h(a) = 461*a - 2. Let v be h(-2). Let i = n - v. Is i prime?
False
Let m be 0/2 + -10 + 226861 + -9. Is 6/10 + (m/35)/3 a composite number?
False
Let c(b) = 21 + 12*b**2 + 26*b - 6 + 4*b - 76*b**2. Let h(d) = -13*d**2 + 6*d + 3. Let m(q) = 2*c(q) - 11*h(q). Is m(4) a composite number?
True
Let o = 6896 - -17391. Is o a prime number?
False
Let f(m) = -2*m - 18. Let p be f(-9). Suppose p = 8*j + 19937 + 12567. Let u = -2625 - j. Is u a prime number?
False
Suppose 0*w - 375 = 5*w - 4*x, 5*x + 188 = -3*w. Let d = w - -322. Is d a composite number?
False
Let s(h) be the third derivative of -h**6/120 + 3*h**4/8 - 17*h**3/6 - h**2. Suppose 5*x + 9 = 4*x - b, -3*x - b = 27. Is s(x) a composite number?
False
Suppose -108*b + 160654 = -82*b. Is b a prime number?
False
Suppose 5*w - 5 = -5*q, -4*w + q = 2*q - 13. Let z(b) = 17*b**2 + 7*b - 11. Let h(m) = 18*m**2 + 8*m - 12. Let c(u) = -2*h(u) + 3*z(u). Is c(w) composite?
False
Let f(g) = g**3 + 20*g**2 + 18*g + 3. Let p be f(-19). Suppose 62 = 5*j - 2*b, -3*j - 4*b = -9*b - p. Suppose 9618 = -8*q + j*q. Is q a composite number?
True
Let g(m) = -6*m - 80. Let q be g(-14). Suppose q*l = 1509 - 25. Is l composite?
True
Suppose -2*w - w = 0. Suppose w = 4*p + 2282 - 9530. Suppose -4*q + 4*n = -p, -q = 2*n - 319 - 122. Is q composite?
False
Suppose 55*l = 5*l + 2928350. Is l composite?
False
Is (((-8)/5)/(180/225))/(4/(-617362)) prime?
True
Let y be (-1226)/10 - 69/(-115). Let r = y + 1665. Is r composite?
False
Is (1 - (6 - 6))/(3/(-15)) - -560466 a prime number?
False
Is (637/(-42) - -15)/(((-1)/1)/230586) prime?
True
Let s be (-8 - (-2 - 1))/(-1). Let n(i) = i**3 - 28*i**2 + 53*i - 23. Let r be n(26). Is r - (s + 3) - -918 composite?
True
Let d = 84657 - 48470. Is d composite?
False
Let a(d) = -2269*d + 1838. Let b be a(1). Let k be 4/6 + (-2758)/(-3). Let m = k + b. Is m composite?
True
Let f(s) be the first derivative of 29*s**3/3 + 9*s**2/2 + 33*s + 17. Is f(13) a composite number?
False
Let j be (2 - -4) + -3 + -3. Let g be (j/(3 + -1))/(-1). Suppose 2*n - 1801 = y + 2*y, -5*y + 15 = g. Is n prime?
False
Let w(u) = -7*u**3 - u**2 + 4*u. Let s(i) = 11*i**3 + 2*i**2 - 6*i. Let z(t) = -5*s(t) - 8*w(t). Let j be z(0). Is (-1 - -3)*(j + 1329/6) a prime number?
True
Is ((-1)/((-6)/(-8577)))/((-105)/(-20) - 6) composite?
True
Suppose 8560 = -386*u + 394*u + 576. Is u a prime number?
False
Suppose 3*w + w - 85341 = 1037903. Is w a composite number?
False
Let t(h) = 34*h**2 + 100*h + 305. Is t(-91) prime?
True
Let a = -73397 + 488284. Is a a prime number?
False
Suppose 2*l + 18 = 4*l - 4*w, -4*w - 27 = -5*l. Suppose 0 = 5*p - 4*q + 2833, q - 6 = l*q. Let y = p - -1042. Is y composite?
True
Let i be 479 + (-3 - 0) - 6. Let y = 399 + i. Is y a composite number?
True
Suppose -1289*n + 4*j - 461711 = -1294*n, 4*j - 277017 = -3*n. Is n compo