3*i - 3470. Is x prime?
False
Is 11194 + -1 + (4/(-24) - (-625)/150) prime?
True
Let t(f) = -107*f**3 + 48*f**2 + 35*f - 119. Let l(h) = 190*h**3 - 84*h**2 - 61*h + 208. Let s(r) = -9*l(r) - 16*t(r). Suppose 0 = -2*j - 1 + 19. Is s(j) prime?
True
Suppose 215 = 2*y + 61. Let z = y + -731. Is 128/(-48)*z/8 a composite number?
True
Let x be -2020 - 18/30*5. Let l = 3196 - x. Is l a prime number?
False
Is ((-208)/24)/13*(-30)/(-4) - -776244 prime?
False
Suppose 3*d = -5*t + 206255, -154734 = -3*t - 4*d - 30981. Suppose 3*w - 18*a + 22*a = t, 0 = -5*w + 4*a + 68773. Is w prime?
False
Let q = 3430525 - 807530. Is q a prime number?
False
Let c = -369 + 370. Suppose -3*o + 1354 - 220 = -3*z, -c = z. Is o composite?
True
Suppose 33*x = 30*x + 348. Suppose 108*j = x*j - 12072. Is j prime?
False
Let y(g) be the first derivative of -19*g**4/4 + 3*g**3 - 7*g**2/2 - 2*g - 12. Let u be 5/(-2)*(-1 - -3). Is y(u) prime?
True
Let h = 2038 + 3474. Let k = h - 2354. Is k a composite number?
True
Let s = 2839 + -1680. Suppose -2*h + 0*h + 646 = -4*y, -5*h - y = -1670. Suppose 4*z - h = s. Is z composite?
False
Let q be 55/(-44)*4*277. Is q/(-1)*(-8 + 9) a composite number?
True
Suppose -41*k - 638511 + 31494758 = -784191. Is k prime?
False
Let i(r) = -65164*r - 4647. Is i(-5) a composite number?
True
Is -2648*(-827)/18 - ((-4151)/(-63) + -66) prime?
True
Suppose -84302 = -h - 2482 + 54417. Is h composite?
False
Let x = 297914 + 12543. Is x prime?
False
Let x be (-24)/(-11) - (-16)/(-88). Let p be x/4 - (-43)/(-2). Let w(s) = -s**2 - 25*s + 11. Is w(p) composite?
True
Let h be (-3)/36*-8*6. Is (57483/36)/(1/h) composite?
True
Let y(z) be the second derivative of z**3/6 - 9*z**2/2 - 6*z. Let p be y(11). Suppose 3*t = 2*t + p*l + 2281, -4*t + 9145 = -l. Is t a composite number?
False
Let v(w) = 41719*w**2 + 8*w - 8. Is v(1) a composite number?
False
Let h be 3 - ((-7)/(-14))/(1/(-2)). Suppose 0 = 4*n - h*k - 3012, -6 = 5*k - 2*k. Is n composite?
False
Let b = 248 - 252. Is b/(-26) - ((-593180)/65 - 1) a prime number?
True
Suppose 0 = -64*j + 63*j + 7322. Let d = 10263 - j. Is d prime?
False
Let w(v) = 13*v**3 + 5*v**2 + 30*v - 107. Is w(5) a composite number?
True
Suppose 2*o = 4*o + 274. Let k = o - -516. Is k prime?
True
Let h be (-8)/(-36) - 1/((-18)/230). Suppose h*w = 7*w + 2682. Is w composite?
True
Suppose 66 = 5*t + 51. Suppose t*b + 1303 = 3*n + 13219, n + 19880 = 5*b. Is b a composite number?
True
Let b(u) = -u**2 + 7*u + 3. Let y be b(0). Suppose -3*o - y*s - 23261 = -7*o, 3*s + 5822 = o. Is o prime?
True
Let b(o) = o**3 + 10*o**2 + 14*o + 8. Let g be b(-6). Let r be 238/g*(1 - (-1)/7). Is (-11)/(1945/(-485) + r) prime?
False
Let o(m) = 379*m + 59. Let r(u) = -473*u - 59. Let k(b) = -6*o(b) - 5*r(b). Let p be (2 + -5)*(-22)/3. Is k(p) composite?
True
Suppose v - 34897 = -5*c, 24*v - 28*v + 4*c = -139636. Is v a composite number?
True
Let p be (-2)/6 + (-2930)/(-6). Let l = p - 271. Let g = l + -108. Is g prime?
True
Let x(r) = 314*r**2 - 260*r - 41. Is x(-26) prime?
False
Let v(t) = 3*t - 21. Suppose 0 = 9*c - 14*c + 60. Let n be v(c). Is (-3)/(-2)*5410/n a composite number?
False
Suppose -3*s = -31 + 10. Suppose 2*t - 90 = -s*t. Suppose -828 + 8138 = t*v. Is v composite?
True
Let v(u) = 46209*u**2 - 5*u - 1. Is v(-1) composite?
True
Let j(z) be the second derivative of 0*z**4 - 1/20*z**5 - 7/6*z**3 + 1/2*z**2 - 28*z + 0. Is j(-6) a composite number?
True
Let b = -69 - -84. Suppose b*w = 10*w + 9935. Let z = 3786 - w. Is z a prime number?
False
Is 3 + 12 - -477917 - -9 a prime number?
True
Let p(n) = -488971*n + 6236. Is p(-3) composite?
False
Let g(j) = 137*j + 9811. Is g(0) prime?
True
Suppose -3*z = 4*z - 40796. Let l = 15857 - z. Is l prime?
False
Suppose -4*o - 124873 = -3*w, 252*w - 251*w + 4*o = 41619. Is w prime?
False
Is -1 + 1155098/12 - 4/(-72)*-3 composite?
True
Let k(f) = -f**3 + 20*f**2 - 16*f - 21. Let w be k(19). Suppose -w = -2*d - 5*j, 5*j - 6*j + 12 = d. Is d/12 - (-1538)/6 a composite number?
False
Let p(w) = -13*w**3 + 5*w**2 - 26*w - 57. Let o = 868 + -879. Is p(o) a composite number?
True
Let h = -2275 - -531. Let k = -1035 - h. Is k composite?
False
Suppose 277*a = 282*a - 8700. Suppose d = a + 763. Is d composite?
False
Is ((-159)/159)/((2/(-166))/(1*1367)) a composite number?
True
Suppose 0 = 28*h - 19*h - 70794. Let l = h + -2059. Is l a composite number?
False
Let w be 6/(-5)*-131*20. Suppose 102 + 102 = 102*y. Suppose 3*z = 3*d - w, 3*d + y*z - 4162 = -d. Is d a composite number?
True
Suppose -66 - 6 = -9*q. Suppose -10 = 5*i - 10*i. Suppose -t + i*b + 247 = 0, -q*t + 5*t - 3*b + 759 = 0. Is t prime?
True
Suppose 0 = n - 5*x + 17, 4*x + 5 - 30 = -3*n. Suppose 0 = g + 3, -2*h - 4*g - 28 = -6*h. Suppose -h*v - 2*u = -2528, -2522 = -4*v + 4*u - n*u. Is v composite?
False
Suppose -57*j = -11399211 - 747660. Is j composite?
True
Let f be (4/8)/((-2)/(-236)). Let t be 88116/105*((-18)/(-4) + -2). Suppose -f*i - t = -61*i. Is i composite?
False
Suppose 4*b = 3*a + 382, -b - 41 = 5*a - 148. Let m = 166 + b. Is m a composite number?
False
Suppose -x = 130*m - 131*m + 148501, -4*m + 594004 = -2*x. Is m a prime number?
True
Let j(z) = 3465*z**2 - 42 + 31*z - z**3 + 5*z**3 - 3483*z**2. Is j(13) a composite number?
True
Suppose -173*c - 41242 = -207*c. Is c a composite number?
False
Let r be (-27)/(-72) + (-9)/24. Suppose 2*p - 2181 = -r*t - 3*t, 3*p = -2*t + 1454. Let v = t + -434. Is v a prime number?
True
Let s = -138 - -116. Let q(b) = b**3 + 31*b**2 + 31*b + 39. Is q(s) a composite number?
True
Let l(a) = -3*a**2 - 29*a**3 - a + 14*a + 8 - 5*a - 6*a. Is l(-3) prime?
False
Suppose 0 = -26*s + 22*s - 52. Let c be (-1 - -138)*(s - -12). Let g = 494 - c. Is g a prime number?
True
Is 1/(-2 + 3 + -2)*120633644/(-164) prime?
True
Let v = 93349 + 36182. Is v composite?
True
Suppose 9*z = -0*z - 3*z. Let b be (-1 - -6278)*(1 - z). Suppose b - 1063 = 6*f. Is f a composite number?
True
Is ((-19)/(-2))/((-178)/(-156284)) composite?
True
Suppose -13*r + 2*j - 253 = -18*r, -r + 5*j = -56. Suppose -47*z + r*z - 16780 = 0. Is z prime?
False
Let j(q) be the third derivative of -4627*q**4/12 + 19*q**3/6 - 38*q**2 + 3*q. Is j(-2) composite?
True
Suppose 40 - 33 = -p, 5*p + 148191 = 4*s. Is s prime?
True
Is 2 - 43/(4*(-2)/14776) a composite number?
False
Let a be 23/(-46) - (-2)/(4/3). Let m be (-4 + 4)*(-1)/2*a. Let f(x) = x**3 - 2*x + 1211. Is f(m) prime?
False
Let u(n) = n**3 + 5*n**2 + n + 9. Let z be u(-5). Suppose -11*s = -z*s - 70. Is 706 + 0 + (s - 10) a prime number?
False
Let m(q) = -2306*q**3 - 3*q**2 + 2*q - 5. Let h be m(-3). Suppose 5*y - h = -19889. Is y a composite number?
False
Let c(g) = -6*g - 11. Let q be c(-6). Is 4/((-20)/q) + 3586 prime?
True
Let m(y) = 557*y**2 + 12*y + 53. Is m(-38) composite?
True
Let m be ((-234)/27)/((-4)/54). Let r = -115 + m. Is r - (1*-611 - 0/11) prime?
True
Suppose -5587 = 65*y - 56352. Is y composite?
True
Is -2 + (-10 - -4) + 473701 prime?
False
Let z(w) = 1119*w + 284. Is z(17) composite?
True
Suppose -46 = -4*a + 18. Is 0 - 5 - (3648*-19)/a prime?
True
Let i(v) = 5*v**2 + 13*v - 1. Let x = -116 - -122. Is i(x) prime?
True
Let k = -151787 + 282744. Is k a prime number?
True
Suppose m - 16 = -3*l, m + 18 - 4 = 3*l. Is 7538/10 + -2 - 4/l a prime number?
True
Let p = 1081536 - 436621. Is p composite?
True
Let v be -732 + (2 - 3) - 1. Let c be (-12)/78 - 12554/26. Let y = c - v. Is y a composite number?
False
Let u = 508346 + -273073. Is u prime?
True
Let l(g) = 11*g**2 - 8*g - 13. Suppose -47 + 17 = 5*s. Let q be l(s). Suppose 2*j - 1777 = -q. Is j a prime number?
True
Let z = 174 + 2243. Let f = z + -1336. Suppose 4*h - 979 = -5*q, -4*h - 62 = -3*q - f. Is h prime?
True
Let m = -1051 - -2092. Let p = 1521 - m. Suppose -x - 1 = 0, r - 3*x + 4*x - p = 0. Is r prime?
False
Suppose 149 = 54*x - 67. Suppose x*c - 837 = 471. Is c prime?
False
Suppose -2*m + 200429 = 2*g - 29983, -2*g - m + 230407 = 0. Is g a prime number?
True
Suppose -47*h - 381164 = -51*h. Is h a composite number?
True
Let s = 122394 + 180487. Is s a composite number?
True
Let i = -135 - -470. Let a = i + -325. Is a a prime number?
False
Let c(k) be the first derivative of -1455*k**2/2 - 178*k + 44. Is c(-7) prime?
True
Suppose 3*q + 2*q