*z**2 - 23*z - 20. Let w be p(-22). Suppose 0 = 4*k + 5*d - 43344, -3*k + d + 32497 = w*d. Is k a prime number?
True
Let s = 1168938 - 686309. Is s prime?
False
Is (2/(-4 + -2))/((-13 - -4)/3846663) prime?
True
Suppose -2*a - 118 = -2*x - 5*a, -5*x + 5*a + 270 = 0. Let g = x - 17. Suppose -g*j = -45*j + 3174. Is j a prime number?
False
Suppose -212*f + 207891421 = -960591. Is f composite?
False
Is 25/((-225)/6) - (-1393822)/6 composite?
False
Suppose -2*n = -0 - 8. Let i(g) = 55*g**2 + 716*g + 13. Let a be i(-13). Suppose n*c + a*c = 844. Is c a composite number?
False
Let z be ((-20)/6)/((-14)/(-3) - 5). Suppose 2*s - 30 - z = 0. Suppose -17*q - 2361 = -s*q. Is q a prime number?
True
Let j(y) = 71*y - 14. Suppose 5 + 27 = -4*h. Let q be 5/4*(-4 - h). Is j(q) composite?
True
Let s = 5 - 2. Suppose -3*x + 5*x = 8. Suppose s*r - 4627 = -5*b, -b - 907 = -2*b + x*r. Is b a prime number?
False
Suppose 3*x + 3505 = w - 573, -2*x = -w + 2717. Is (9 + -10)/(1/x) prime?
True
Let g = -3517 + 9849. Suppose 12385 = 3*l - g. Is l a prime number?
False
Let o(x) = -x**3 - 2*x**2 + 6*x + 1. Let t be o(-4). Let j be 18/8*((-96)/t)/(-4). Is (2 - (-165)/j)/((-12)/(-24)) composite?
False
Let m = -18 - -21. Suppose 9176 = 4*f + 4*k, -m*f = -k + 1066 - 7960. Let w = -1490 + f. Is w prime?
False
Suppose 0*i = -4*s + 3*i - 55, 2*s + 25 = -i. Let r(d) = -4*d**3 - 18*d**2 - 7*d + 12. Is r(s) prime?
True
Let b(y) = -224*y + 30. Let o be b(-6). Let a be (-15)/(-60) - 15/(-4). Suppose 4*u + 3200 = 3*k + 1131, -2*k = -a*u - o. Is k prime?
False
Let l(h) = 7834*h**3 - 2*h**2 + 10*h - 7. Is l(1) composite?
True
Suppose 5*n - 25 = 0, 2*n - 69570 = -2*j + 673674. Is j a composite number?
False
Let x(t) = 583*t**2 + 7*t + 33. Let w be x(-4). Suppose -q + 3839 = 5*i + 740, -3*q = -3*i - w. Is q composite?
False
Let x(m) = 493*m**2 - 78*m + 31. Is x(8) prime?
False
Let u(m) = 6*m**2 - 3*m + 2. Let i(y) = y**2 + 9*y + 11. Let g = -64 + 58. Let t be i(g). Is u(t) prime?
True
Suppose 0 = 2*n + 72 - 84. Is (n + 1211)/(-2 + 3) composite?
False
Let n = -19 + 48. Let b be (-161)/(-1) - (-1 - 0). Let z = n + b. Is z composite?
False
Suppose 0*g + 2*g - 10 = 2*i, 2*g - 4*i = 4. Is (297/(-36) + g)*(1 + -1005) composite?
False
Let x = -92 - -2165. Let q = x - -3630. Is q composite?
True
Let c be -27 - -2*(0 - -1). Let v = c + 14. Is (-1 + -1323)/(v + 9) a prime number?
False
Let u = -270268 - -1117247. Is u prime?
False
Is ((-78488)/24)/(5/(-3 - 12)) a composite number?
False
Let z be (-902004)/22 - 6/(-33). Is 17/((-85)/z) + -3 a composite number?
True
Is (-263805)/258*764/(-10) + 0 a composite number?
True
Suppose y - 1577055 = -y - 13*y. Is y prime?
True
Let t(b) = 10678*b**2 - 7*b + 28. Is t(3) composite?
True
Is (-198)/(-36)*(-8)/(-11) - -115 a prime number?
False
Let f = -165941 - -395046. Is f a prime number?
False
Suppose -16*b - 985431 = -20*b - 125*b. Is b a composite number?
False
Suppose 7464318 - 3325131 = 69*i - 5341068. Is i a prime number?
False
Let j(k) = 302*k**2 - k - 16. Let l be j(9). Suppose -x + 8144 = -3*m, 2*x + x - l = 4*m. Is x a composite number?
False
Suppose 4*i = -4*h + 32958 + 29030, 8*i = -h + 15455. Is h a composite number?
True
Let f = 166202 - -123033. Is f prime?
False
Let l = 556 - 558. Let q(c) be the first derivative of -455*c**2/2 - 3*c + 1. Is q(l) prime?
True
Is (-330 - -1117)/(2*1/134) prime?
False
Let d be 6*(0 - 3)/(-3). Let n be (3 - 16/d)*60. Suppose n = -5*y, 6*b - 4959 = 3*b - 3*y. Is b composite?
False
Let n = 16583 + -6742. Is n composite?
True
Let t(b) = 2466*b**2 + 18*b - 77. Is t(3) a prime number?
True
Let a be -3*(-2)/(-2) - (-33 + -362). Let z(b) = -10 + 13 - 301*b**2 + a*b**2 + 807*b**2. Is z(2) composite?
True
Is (-13 - 0)/(-13)*85361 prime?
True
Let m = 35172 + -4115. Suppose -2*x + 12430 = -4*g, -5*x = -4*g + 3*g - m. Is x prime?
True
Is (-1 - (-3)/4 - 13/156)*-130659 a prime number?
False
Let r be 4 + -110 + -3 - (-4 + 4). Let j = -78 - r. Suppose 0 = j*n - 30*n - 113. Is n a composite number?
False
Suppose -5*q = c - 3642904 + 812016, 0 = -3*q + 4*c + 1698565. Is q prime?
True
Suppose -3*t - 3 = 0, -5*h + 8182 = -2*h + 5*t. Let o = 242 + h. Is o prime?
True
Let b = 127657 - 71508. Is b a prime number?
True
Let y be (-7)/((-105)/95) + 2/(-6). Suppose 0 = 2*t - 4*k - 208, -y*t + 5*k + 416 = -2*t. Let n = t + -27. Is n a prime number?
False
Suppose -5*z = 2*d - 36, z = 6*d - 4*d. Let u(h) = 5*h**2 - 11*h + 1. Is u(z) composite?
True
Let c(g) = -301357*g**3 - 16*g - 18. Is c(-1) prime?
False
Let a(i) = -35*i**3 + 24*i**2 + 46*i - 10. Let d(x) = 45*x + 261. Let w be d(-6). Is a(w) composite?
True
Let q(y) = 131758*y - 99. Let s(i) = -6588*i + 5. Let f(t) = -6*q(t) - 121*s(t). Is f(1) a composite number?
True
Suppose -68*c + 4149223 = -45*c. Is c a prime number?
False
Let r = -33 + 34. Let b be r/((-1)/(-4))*(-2)/(-4). Suppose -1533 = -2*y - v, b*y - 3*v - 1558 = v. Is y composite?
False
Suppose -32*a - 5 = -33*a. Suppose -2*g - 5*k + 626 = g, -g + a*k = -202. Suppose 799 = 2*j + 3*y + g, 3*y + 6 = 0. Is j a prime number?
False
Is 5214861/5 + (936/(-130) - -8) a composite number?
True
Let l(d) = -2 - 3 - 53*d**2 - 5*d + 4. Let q be l(4). Let t = 932 - q. Is t prime?
True
Let d(b) = b**3 + 23*b**2 + 22*b + 15. Let s be d(-21). Suppose -n = 5*m - s, 0 = -m - 4*m - 10. Is n a composite number?
True
Suppose -98*v = -99*v - 4. Let a be v + 2*((-7 - -3) + -908). Let h = 2749 + a. Is h a composite number?
True
Let i(v) = 305109*v**2 - v**3 - 12*v + 5383 - 305109*v**2. Is i(0) prime?
False
Suppose -25 = 5*f, -n + 2*n - 2*f = 23374. Suppose 4*s + 14*p = 9*p + 23346, 4*s - 4*p = n. Is s a composite number?
False
Suppose -2*l + 5*l - r = -1, -3*r = 2*l - 3. Let u be (1 - l)*(0 + 0). Suppose u*x = -4*x + 2284. Is x prime?
True
Let o = -270491 - -409218. Is o composite?
False
Let h(j) = 2*j**2 + j + 1. Let m be h(-1). Suppose 0 = -7*y + 5*y + 4*x - 8, -x = -y. Suppose -y*w = -i - 7*w + 598, 4*w + 1146 = m*i. Is i a prime number?
False
Suppose -d + 125 = -6*d. Let j be (6/15)/(5/d) + -10. Is (-13972)/(-6)*j/(-8) a composite number?
True
Let l(s) = -38143*s + 156. Is l(-1) a composite number?
False
Let y(h) = -h**3 + 37*h**2 + 57*h + 73. Let a be y(39). Let i = 1105 - a. Is i composite?
True
Let x = -338202 - -746437. Is x a prime number?
False
Let f(a) = -1 + 3 + 3 - 31*a + 0 + 18*a**2. Is f(6) composite?
False
Suppose 2*d + 78*n + 2 = 79*n, -6 = d - 3*n. Let p = -3 - -3. Suppose -11*r + p*r + 1595 = d. Is r composite?
True
Suppose m - 5*h - 748 = 0, 5*h = 2*m + 8*h - 1470. Is (m/24)/((-6)/(-424)) a composite number?
True
Let k be (((-24)/21)/(-4))/((-4)/(-28)). Suppose l - k = -b - 0*l, 2*l = 2*b + 4. Suppose -p + 67 + 184 = b. Is p prime?
True
Suppose p - 5*i = 49298, 0 = 2*p + 4*i + 2486 - 101096. Is p a composite number?
True
Let q(b) = 6*b**3 + 2*b**2 + 11*b + 46. Let r be q(19). Suppose 0 = -2*m - 5*c + 54744, r + 12629 = 2*m + c. Is m a prime number?
False
Let f = 22864 + -15033. Is f composite?
True
Is (-16)/36 - (4 + 33347768/(-72)) a composite number?
True
Let c = 79900 + -43863. Is c prime?
True
Let s(r) = -r**3 + 24*r**2 - 17*r - 2. Let a be s(23). Suppose 104 + a = b. Is b - 9/(4 + -1) prime?
False
Let p(v) = 10*v + 7*v**2 - 20*v + 9*v - 3*v**2 - 1. Let x be p(-2). Let k = 26 + x. Is k prime?
True
Suppose 20*q = 5*w + 23*q - 63788, 5*w - q = 63804. Suppose -9*d + w = -21377. Is d a composite number?
False
Let t = -57 - -57. Suppose m = -2*l + 5*m, t = 2*l - 3*m - 1. Suppose -4*o = 0, -1220 = -l*k + o + 38. Is k a prime number?
False
Is (0 + 344216)*34/272 a composite number?
True
Let l(a) = a. Let z(r) = -r**2 + 79*r + 91. Let w(c) = 6*l(c) - z(c). Is w(-50) composite?
True
Suppose 5*f + 15*a = 19*a + 274573, 0 = 4*f + 5*a - 219683. Is f composite?
False
Suppose -360 = 3*l + 4*n + 8061, 11206 = -4*l + 2*n. Let w be l - (-2 - -3 - 0). Is 6/(-4)*(-7)/((-42)/w) a composite number?
False
Let c = -22 - -22. Suppose u - 4*f - 138 = 0, -4*u - 3*f = -c*f - 476. Suppose -3*t + u = -151. Is t prime?
False
Suppose 653474 = 9*b - 47077. Is b composite?
False
Let l(b) = 136*b**2 - 82*b - 2557. Is l(-55) prime?
True
Let n(y) = 20*y**2 + 21*y + 99. Let t(v) = 17*v**2 + 21*v + 99. Let f(p) = 6*n(p) - 7*t(p). Is f(44) a composite number?
True
Let