 a prime number?
True
Suppose 2*s - z = -5*z + 22, 0 = -5*z + 25. Let k(y) = 6597*y**2 + 4*y - 2. Is k(s) prime?
True
Suppose -2*w = 2*h - 4, 2*w = 2 - 10. Is h/8 + -3*1398/(-72) a composite number?
False
Suppose 2*h - 2210601 = -5*s, -h - 733 = -731. Is s a prime number?
True
Suppose -4*v = -4*w, 5*v - 2*v + 4 = 5*w. Let t = v + 5. Let m(z) = 7*z**2 + z - 13. Is m(t) a prime number?
True
Suppose 5*z - 46 = -121. Let s be 58/z - (-24)/(-180). Is (-2)/s - 314/(-4) a prime number?
True
Suppose -2*r - 4*u - 22 = 0, 4*r + u - 3*u = 6. Is 132/(-22) + (-4117)/r a composite number?
False
Let j(a) = -21 + 33 - 589*a - 11 - 14. Is j(-3) a prime number?
False
Suppose 0 = 33*p - 35*p + 16. Suppose -4*j = -p*j + 8. Suppose 0 = s + 4*w - 6, 3*s - 4*s - 5*w = -j. Is s a composite number?
True
Let g(w) = 135306*w - 4161. Is g(12) a composite number?
True
Let s(d) = -5*d**3 - 74*d**2 - 40*d - 75. Is s(-24) prime?
False
Let w(l) be the second derivative of 83*l**5/20 + l**4/3 - 5*l**3/6 + 3*l**2/2 - 41*l. Is w(2) a composite number?
False
Let s = 19771 - -218728. Is s composite?
False
Suppose 4*w = -o - 10 + 23, 5*w - 5*o = 35. Suppose -5*l - 3*r + 2219 = 0, -5*r + 443 = l - w*r. Is l a composite number?
True
Let f(q) = -843872*q + 1059. Is f(-1) a prime number?
False
Suppose 0 = -11*i + 379960 + 534987. Is i composite?
False
Let h = -420 + 1261. Let r = -446 + h. Is r a composite number?
True
Let h(u) = 371*u**2 + 34*u - 71. Is h(2) a composite number?
False
Suppose 0 = 2*z - 5*q + 39, -2*z = 3*z - 5*q + 90. Suppose 410 = 22*c - 17*c. Is (z*(-9)/(-18))/((-1)/c) composite?
True
Is -2 + 34122 + (550/(-22) - -20) a prime number?
False
Let p = 923 + -1918. Let x = p + 611. Let n = x + 1702. Is n composite?
True
Let u = 1391076 - 818993. Is u composite?
True
Let p be (-8)/(-60) + 22748/(-60). Let i = p - -948. Suppose 0 = -2*x + 5*q - i + 2659, -3*x + 5*q = -3145. Is x a prime number?
False
Let i = -73 + 64. Let v = 212 - i. Let h = v - 82. Is h composite?
False
Let j = -270481 + 435560. Is j prime?
True
Suppose -1215554 = -4*w + 99*r - 98*r, 0 = 2*r - 4. Is w a composite number?
False
Suppose 0 = -2*r + y - 24, -5*r + 42 = -y + 102. Let w be (r/(-16))/((-3)/(-1092)). Suppose -955 + w = -2*t + 4*m, -m - 344 = -t. Is t prime?
True
Suppose 6*y - 2 - 94 = 0. Suppose -15*f - 1117 = -y*f. Is f a composite number?
False
Suppose 11*y = 109150 + 141570 + 55377. Is y prime?
True
Let h = 599 - 343. Suppose 8*y = h + 264. Is y prime?
False
Suppose -36 = -4*s - 4*w, 5*s - 3*w - 2*w = 25. Suppose s*x - x - 28194 = 0. Is x a composite number?
True
Let a be (-1 - 27/(-6)) + 21/(-14). Suppose 3*y - 2*g = 14, 4*g + 3 + 17 = 2*y. Suppose -a*z = y*n - 221 - 1511, -3*z = n - 2608. Is z prime?
False
Suppose 17*t + 93 - 110 = 0. Suppose 0 = -2*j + 255 + 407. Is -1*(6 + -5 - (t + j)) composite?
False
Let p = 4918 + 23485. Is p a prime number?
True
Suppose -83*g + 82*g = 13096. Is (-4)/(-24)*g*6/(-4) a composite number?
True
Suppose 14*g + 2355049 = 187*g. Is g a prime number?
True
Let k(r) = r**3 - 4*r**2 + 16*r + 29. Let c(w) = w**3 + w**2 - 7*w - 1. Let g be c(3). Let d be k(g). Let q = d + -954. Is q a prime number?
True
Suppose 0*f + f - 18 = 2*n, -3*f + 19 = n. Let i(l) be the second derivative of 200*l**3/3 + 17*l**2/2 + 44*l - 6. Is i(f) a composite number?
False
Suppose -1398*w + 1617*w - 93097119 = 0. Is w a prime number?
True
Suppose 0 = 19*g - 6*g - 909259. Is g prime?
False
Let k = -130 + 133. Suppose -k*v = -5*h - 2*v + 552, 5*h = -4*v + 567. Is h a composite number?
True
Suppose 3*x - 44179 = 5*h, -6*x + 73653 = -x - 3*h. Let n = x + -9384. Is n a prime number?
False
Let h(n) = n**2 + 3*n + 7. Let b be h(-2). Let j be 3 + 13 + b + 1. Is 8613/j - (-2)/(-4) composite?
True
Suppose -y + 6 = 0, 417*y = -2*v + 418*y + 206680. Is v a composite number?
True
Let u be (65 + -3)*(29 - 3). Let d = u - 959. Is d a composite number?
False
Let d be (-2)/5 + (-5)/75*-6. Suppose 2*r + 3*r + 3*i = d, 0 = r - 5*i. Suppose r = -4*g + 7013 - 1265. Is g composite?
True
Let q(z) = -13*z - 15. Let b(i) = i**2 - 11*i + 18. Let m be b(8). Let r be q(m). Let j = -30 + r. Is j prime?
False
Let l = 45136 - 12923. Is l prime?
True
Let n = 48 - 40. Let c be (10/n)/(30/24 + -1). Is 1/c - 3/((-75)/253220) a prime number?
False
Suppose -3*p = -7*p + 2*d + 664652, 8*d = 2*p - 332326. Is p a composite number?
True
Let i(q) = -111*q**3 - 6*q**2 - 19*q + 81. Is i(-8) composite?
False
Let n = 253 + -145. Suppose -k + n = -107. Is 1*-2 - (2 - k) composite?
False
Let k = -1360 + 2501. Let x = 288 - 1038. Let p = x + k. Is p prime?
False
Let c(q) = 3*q + 36. Suppose 8*p + 56 = p. Let y be c(p). Let r(m) = 5*m**2 - 21*m + 11. Is r(y) composite?
False
Suppose 2837*v + 663499 = 2856*v. Is v a prime number?
False
Let x(z) = -21*z**3 - 8*z**2 - 9*z + 11. Let k be x(-4). Let i = k - 622. Is i a composite number?
False
Let x(w) = 453*w**2 - 108*w + 209. Is x(-10) composite?
False
Suppose -h - 2*h = -4*n + 8, -2*n - 10 = -5*h. Suppose -7374 = -n*r + 6041. Suppose o + 4*w = 1927, r - 8480 = -3*o + 4*w. Is o a composite number?
False
Suppose -s - v + 343731 = 0, 37*s - 41*s - 2*v = -1374916. Is s prime?
True
Let y be (-4)/(-38) - 3322/(-209). Suppose 20*h - 20 = y*h. Suppose -3*r - h*x = -2250, 0 = -3*r - 10*x + 9*x + 2238. Is r a prime number?
False
Let c = -3868 + 1030. Let s = c - -5267. Is s a prime number?
False
Suppose -4*z + 157168 = -37*v + 41*v, 5*v + 5 = 0. Is z composite?
False
Let a be (32*18/(-4))/(31/(-310)). Let f = a + 59. Is f prime?
True
Is (-34)/10 + 3 - (-2137134)/10 prime?
True
Suppose -36*t + 443459 + 1210633 = 0. Is t a prime number?
False
Let g = 325744 - 183737. Is g a composite number?
False
Let j(s) = 11*s - 82. Let r be j(11). Is (1/(-2))/(r/(-40638)) a prime number?
True
Let w = 1989 + -6596. Let n = 2469 + w. Let o = n - -5031. Is o a composite number?
True
Let g = -16717 - -38270. Is g composite?
True
Is ((-1361296)/40)/(12/(-30)) a prime number?
True
Let h = 192 - 195. Is (151522/(-42))/(1/h) a prime number?
False
Suppose -2*d + 63*m = 66*m - 154375, 3*d - 231580 = -m. Is d a composite number?
True
Let a(n) = -n**3 - 16*n**2 + 15*n - 39. Let c be a(-17). Is ((-9406)/(-4))/(c/(-10)) a prime number?
True
Suppose 0 = -5*a + a - s, -2*a - 4*s + 14 = 0. Is (1/(-2))/(a/7342) a composite number?
False
Let k(w) = 379603*w + 30. Is k(1) composite?
False
Let n = 111 + -107. Suppose -13957 = -4*v - 3*k, -3*v + n*k + 6984 = -v. Suppose -692 = -c + 3*a, 5*c = -0*a + 5*a + v. Is c a prime number?
True
Let s = -652 - -1140. Let k = s + 2451. Is k prime?
True
Suppose 2*y = -2*y - n + 20821, 0 = -2*y - n + 10411. Suppose 4*r - 4967 = y. Is r/4 + (-36)/48 a prime number?
False
Let z be -8 + (-650)/(-80) - 825111/(-8). Suppose -88*a + z = -71*a. Is a composite?
False
Suppose 9*n - 12*n + 9 = 0. Suppose -21282 = -3*q - g + 23000, n*q - 44281 = -2*g. Is q a prime number?
False
Let p be ((-55518)/(-15))/(1/10). Let u = p + -21081. Is u a composite number?
True
Suppose 2*g + n - 158732 - 187848 = 0, n = -g + 173289. Is g composite?
False
Let m be (-242)/15 - (-62)/465. Is (-1 + (-21063)/3)*8/m a prime number?
True
Let j(k) be the second derivative of -k**4/12 - k**3/3 + 27*k**2/2 + 23*k. Let l be j(4). Suppose -3*d + 30 = l*v, -5*d - 30 = -3*v - 4*d. Is v prime?
False
Let v = -23 - -36. Let a(j) = -1 + 455*j - 450*j + 3. Is a(v) prime?
True
Suppose 0 = 4*o + 3*c - 56, -o - 3*c = c - 27. Suppose -k + 7806 = -o. Is k a composite number?
False
Suppose -4*k + 382 = r - 3695, 1003 = k - 3*r. Suppose -k = -2*w - 110. Let c = w - 201. Is c prime?
False
Suppose 4*i + 8 = 0, -i + 44 = 3*p - 2*p. Let g = p - 43. Suppose -g*s - 5*b + 38 = -76, s = -3*b + 42. Is s a composite number?
True
Let w be (-2)/6 + ((-24)/(-18) - -3). Suppose 3278 = 3*l - 2*i, 0 = -4*l + w*i + i + 4366. Suppose -l = -4*o + 5262. Is o a composite number?
True
Let l = -143 + 252. Let i(a) = 53*a + 2*a - l*a - 5. Is i(-4) a prime number?
True
Suppose 70 = -15*n + 20*n. Suppose 5*u + n = 24. Suppose -u*y = -6, -y = 5*v + y - 451. Is v composite?
False
Suppose 0 = -2*z + 6*z + 24. Let w(v) = v**2 - 2. Let u(c) = -19*c**2 + 8*c + 5. Let y(g) = -u(g) + 3*w(g). Is y(z) a prime number?
True
Let b = 13 + -10. Suppose -5*v = -b*v. Suppose -6*x + 3*x + 66 = 