?
False
Let z(t) = t**3 - 17*t**2 + 5*t - 42. Is z(17) prime?
True
Let g(r) be the second derivative of 3*r**5/10 + 5*r**4/12 + 3*r**3/2 - r**2/2 + 7*r. Is g(5) prime?
True
Let s = 529 - 843. Is ((-1)/3*s)/((-14)/(-21)) composite?
False
Let o(f) be the third derivative of -f**6/120 + 3*f**5/20 - f**4/8 - f**3/2 - f**2. Let i be (75/(-9) + 3)/(4/(-6)). Is o(i) composite?
False
Let i = -686 - -140. Let m = -127 - i. Is m a prime number?
True
Is 3 - 48/20 - 135536/(-40) composite?
False
Suppose -10 = -4*f + 22. Suppose 13*p - 220 = f*p. Is 94/(-4)*(-2 - p) prime?
False
Suppose 24 = 18*v - 16*v. Is 64 + v/(-4 + 8) prime?
True
Suppose -7 = -i + r, -2*i = i - 2*r - 26. Suppose 9*x = i*x - 705. Is x a composite number?
True
Suppose -4*o = 3*a + 1423, -a + 4*o - 1888 = 3*a. Let l = 820 + a. Is l composite?
False
Let n(p) be the second derivative of p**5/10 - p**4 + p**3 - 11*p**2/2 + p. Let w be n(8). Is w/5 + 2/5 a composite number?
False
Let u(k) = -k**2 - 11*k - 6. Let a be u(-10). Is 2694/8 + 5*a/80 a composite number?
False
Let t = 126206 - 74703. Is t a prime number?
True
Let b(a) = 2*a**3 + a**2 + 11*a + 5. Is b(13) a prime number?
False
Let a(o) = -o**2 - 3*o. Let n be 3/2*(-8)/6. Let q be a(n). Suppose -3*b + 3*s = -1896, 0 = 3*b + q*s + 2*s - 1875. Is b a prime number?
False
Let c(k) = -k**2 + k + 5. Let h be ((-12)/(-7))/(8/28). Let y be c(h). Let o = 28 + y. Is o a prime number?
True
Let z = -9 + 14. Suppose z*u - 3101 - 4854 = 0. Is u/4 + (-21)/28 a prime number?
True
Let l = -1336 - -2423. Is l a prime number?
True
Suppose -3*u + 4*k - 52 = 0, -30 = 2*u - 2*k + 2. Let f = 59 - u. Is f a composite number?
False
Let f(i) = -6*i - 4. Let p be f(4). Let o = p + 130. Let b = o + -35. Is b a prime number?
True
Suppose 17 = o + 2*o + n, 4*o - 5*n = -9. Suppose 272 = -4*h - z + 1088, o*z = -16. Is h composite?
True
Let r(m) = 7*m - m**2 - 5 + 0*m**2 + 1 - 4. Let s be r(6). Is (-6)/s*(-6 - -37) a prime number?
False
Let s = -456 + 452. Suppose -9 = 5*b + 1. Is (b - 7/s)*-2524 a prime number?
True
Suppose 5*v = -2*q + 80637, -5*q - 71186 = -4*v - 6683. Is v a composite number?
False
Let u(i) = 8*i**2 - 42*i - 147. Is u(-29) a composite number?
True
Let b be 36/20*(2 - 7). Let d be 3 + -1 - (b - -6). Suppose 4*v + 7 = -c + 54, d*v = 5. Is c prime?
True
Let q = 57825 - 15028. Is q prime?
True
Is (1391/117 + -12)*-73449 prime?
True
Is -11*(2 + -3840) + -9 prime?
True
Is (-2)/((-13)/(325689/14)) a prime number?
False
Let g be (3 + (-56)/8)*(-2)/4. Suppose -3507 = -3*b + 3*p + 2550, -g*b + 4032 = p. Is b a prime number?
True
Let g(x) be the second derivative of -17/10*x**5 + 1/12*x**4 + 0 - 1/2*x**2 + 5*x + 0*x**3. Is g(-1) a composite number?
True
Suppose -16*m + 19*m + 3012 = 0. Let w = 3 - m. Is w a prime number?
False
Let k = 10 + -6. Suppose 0 = -4*n + k, -u = -2*n + 1 - 4. Let b(y) = 3*y**2 + y - 1. Is b(u) composite?
False
Let q = 1191 - 794. Is q + (-1)/(-4*3/(-24)) prime?
False
Suppose j = 5, -3*d + 8*j - 3*j - 40 = 0. Let l(k) = -9*k + 6. Is l(d) a prime number?
False
Suppose 5*a + 20 = -j - 0*a, 2*j + 4*a + 16 = 0. Suppose 0 = -4*z + 2*b + 22, -9 = -z - j*z + 4*b. Suppose -z*w = -2*w - 669. Is w a prime number?
True
Suppose n = 6*n - 245. Let v be (0 - -2)/(14/n). Let f(b) = 7*b**2 - 2*b + 2. Is f(v) composite?
False
Let s = 164 + -161. Let b(m) be the first derivative of 6*m**2 - 3*m - 1. Is b(s) a prime number?
False
Let m(f) = -f**3 + 17*f**2 - 16*f + 11. Is m(13) prime?
True
Is (-8060)/(-7) + 48/(-112) prime?
True
Let f = -276 + 545. Let m = -120 + f. Let u = m - 54. Is u prime?
False
Suppose 2*d = -2*n + 1472, -2016 = -2*d + 2*n - 532. Is d a prime number?
True
Let r be (-13)/(-7) + 10/70. Let n be 24/r*(-3)/(-9). Suppose n*w - 1 + 5 = 0, 5*c - 100 = 5*w. Is c prime?
True
Suppose 26*r - 24*r = -5*z + 18955, 0 = 3*r + 15. Is z prime?
True
Suppose 6 + 2 = 4*a. Let j be (-1 - -3)*(-1)/a. Is j*5*(-55)/5 a prime number?
False
Suppose 1 = 4*n + g - 6, 2*g = -n. Let l be ((-14)/n)/(2 - 3). Let h(y) = -y**2 + 14*y + 10. Is h(l) composite?
False
Let d = -31 + 12. Let k(j) = j**2 - 13*j - 22. Let i be k(17). Let p = i - d. Is p composite?
True
Let h(p) = p - 1. Let o be h(6). Suppose 0 = -4*w, o*j + 280 = -2*w + 7*w. Is j/(-8)*74/2 composite?
True
Let m(a) = 2*a - 2. Let d be m(3). Suppose -3 = -o - 2, d*o = -r + 297. Let y = r - 108. Is y a prime number?
False
Let i be 2 + 527 - (2 - 3). Suppose 21*m - i = 16*m. Is m composite?
True
Suppose -6*x + 8*x = 96. Let z = -35 + x. Is z prime?
True
Suppose 3*w + 1 - 3 = -2*o, 8 = 3*w - o. Let j(n) = 985*n - 11. Is j(w) prime?
False
Suppose 12 = 2*w - 8. Suppose 6*k = w*k - 2780. Is k prime?
False
Suppose 0 = -2*p + 4*b - 570, -p + 0*p - 5*b - 299 = 0. Let v = p - -131. Let t = 336 + v. Is t prime?
False
Suppose -2*q = 5*z - 164155, 0 = -16*z + 19*z - 5*q - 98493. Is z a composite number?
False
Let u = -50 - 8. Let c = u - -93. Is c composite?
True
Suppose -457*w - 3882 = -463*w. Is w prime?
True
Suppose 6*b - 30 = b. Suppose 4 = -2*o - b*f + 2*f, f = -3. Suppose -420 = -4*w + 4*l, o*l + 526 = 3*w + 2*w. Is w prime?
False
Let j(b) = -6*b**3 - 9*b**2 - 19*b + 7. Is j(-7) a composite number?
True
Let d = 69 - 205. Let c = d - -1091. Is c prime?
False
Let o = 5115 - 10272. Is (2/3)/((-18)/o) a prime number?
True
Let y be (16/(-12))/((-2)/3). Suppose j + y*j = 21117. Is j prime?
True
Let z(x) = -3*x**3 + 37*x**2 + 45*x + 15. Let r(b) = -5*b**3 + 56*b**2 + 68*b + 22. Let w(c) = -5*r(c) + 8*z(c). Suppose 5*a - 10*a - 65 = 0. Is w(a) composite?
False
Suppose -5*i = 2*j - 40053, -5*j + 4 = -16. Is i prime?
True
Let l = 39413 + -7344. Is l prime?
True
Let y(t) = -t**3 + 8*t**2 - t + 1. Let l be y(8). Let i = 13 + l. Is i/(-39) + 550/26 composite?
True
Suppose 20141 = o - 5*r, o + 0*r = 3*r + 20149. Is o composite?
False
Suppose -1241 = -4*b - 5*s, 0 = 2*b + 3*b + 3*s - 1535. Let w = 564 + -335. Let t = b + w. Is t a composite number?
True
Let a be 12 + (-1)/(1/2). Suppose 0*t + 6*t + 90 = 0. Is (a/t)/((-2)/1203) a composite number?
False
Let h be (-684)/(-30)*(-790)/3. Let x = 9255 + h. Is x prime?
True
Let q be 18/45 - (-23)/5. Suppose -4150 = -5*r - q*r. Is r composite?
True
Let j be -1 - (2 + -1*7). Let y(q) be the first derivative of 46*q**2 + 3*q - 60. Is y(j) a composite number?
True
Suppose 3*t - t - 2690 = 0. Suppose -5*y + 1043 = 4*h - t, 0 = -h + 3*y + 597. Suppose 3*x - h = 324. Is x composite?
False
Let w(d) = 6*d**2 + 9*d + 2. Let h be w(-8). Is (-7 + h)*2/2 a composite number?
False
Let i(n) = n**2 - 15*n + 15. Let r be i(14). Is 802/8*(r + (-12)/(-4)) a composite number?
False
Let n = -76 + 80. Is 2/(n - (-7202)/(-1801)) a prime number?
True
Let n(d) = -5*d - 27. Let k be n(-6). Suppose -8081 = -4*j + h + 7200, -k*j + h + 11460 = 0. Is j prime?
True
Suppose 15 = j + 3*m, 4*j + m - 2*m = 8. Suppose 3*y - j*h + 0 - 12 = 0, -4*h + 11 = 5*y. Suppose v - 680 = -y*l + 71, -l - 2*v = -247. Is l a prime number?
True
Let u = -70 + 70. Suppose 2*b - 5*b + 2217 = u. Is b a prime number?
True
Let d be 4/(-1)*(-804)/48. Let b = d + 712. Is b a prime number?
False
Suppose 3*l - 40 = -5*h, -h = -2*h + 5*l - 20. Suppose -2*n + 4*x = -737 + 207, -1307 = -h*n + 4*x. Is n a prime number?
False
Let c be -5 + 1 - -2 - -7. Suppose c*n = -5*n + 3930. Is n a composite number?
True
Let v = -9252 - -36455. Is v composite?
True
Let l(z) = -136*z**3 + 10*z**2 + 6*z + 49. Is l(-5) composite?
True
Suppose 0 = -5*d - 2*g - 969, 0 = 4*d - 2*d - 3*g + 380. Let q = 750 + d. Is q prime?
True
Suppose 0 = -13*a + 4*a + 13329. Is a a prime number?
True
Let o = 4 - 0. Suppose -3*u - o*s + 1376 = -5*s, -s = 5*u - 2280. Let x = -206 + u. Is x composite?
False
Let d(m) = -m**3 + 46*m**2 - 73*m + 145. Is d(38) a composite number?
False
Let b = 10444 + -1835. Is b prime?
True
Suppose 77 + 916 = 3*a. Let s be -17 + 21 + 832/(-4). Let o = a + s. Is o composite?
False
Let w(o) = 641*o**2 - 5*o + 7. Is w(-3) composite?
False
Let a = 41 + -37. Suppose a*y - r = r + 2978, -2*y = r - 1491. Is y prime?
False
Let x = 24137 + -8278. Is x composite?
False
Let i(q) = 2*q + 8. Let p be i(-6). Let j = -68 - -59. Is -3*(p + 1101/j) prime?
True
Let o(x) = 5*x + x + 3 - 5. Let s be o(1). Suppose -205 = -s*g + u + 4*u, 0 = 2*g - 5*u - 95. Is g prime?
Fal