 = -12736. Is n a prime number?
False
Let z(o) = -4*o + 2. Let y be z(2). Let i(v) = -8 + 19 - 6*v + 2*v**2 + 4*v**2. Is i(y) a prime number?
True
Let x = -5965 - -13464. Is x a prime number?
True
Is -2 - -382*1*(-155)/(-10) a prime number?
False
Suppose 28*s + 44294 = 30*s. Is s composite?
False
Let u(s) = 4*s. Let b be u(-2). Is (267/18*3)/((-4)/b) a composite number?
False
Let l(n) = n**2 - 7*n + 3. Let i be l(7). Let k = i - -1. Suppose -k*p + 7*g - 2*g = -999, 4*g - 506 = -2*p. Is p a prime number?
True
Is ((-26458 - -4)/6)/(-1) prime?
True
Let l(y) = 13*y**2 - 13*y - 9. Let z be l(-15). Let q = 4510 - z. Is q composite?
False
Let z be -1*4*(1 - 2). Suppose 0 = 5*u + 5*y - 5, y = z*u - 33 + 9. Suppose -2*p + 1118 = -h + 141, -2*h + 2429 = u*p. Is p composite?
False
Let p(k) = k**3 + 7*k**2 + 4*k - 7. Let x be p(-6). Suppose 2*t + x = 19. Suppose 6*j + 445 = t*j. Is j a composite number?
True
Suppose 4*b = -0*b + 4. Let i(l) = 20*l + 2. Let d be i(b). Suppose d = -2*k + 72. Is k a composite number?
True
Suppose -f + 4*i + 345 = -0*f, -1693 = -5*f + 4*i. Is f prime?
True
Let m(d) be the third derivative of -d**4/24 + 4*d**3/3 + 5*d**2. Let o be m(11). Is 491 + (-2 - o) + -1 a prime number?
True
Let r be 86/(-5)*(-15)/6*5. Let h = r - -1044. Is h composite?
False
Let f = -306 - -473. Let k = 181 - f. Is k composite?
True
Suppose 61*b - 59*b - 16 = 0. Suppose b*a = 6*a + 1414. Is a a prime number?
False
Suppose 0 = 2*n - v - 10, 5*v + 4 = -2*n - 10. Suppose f - n = 1. Suppose f*r = -5*a + 128 + 15, -a - r + 28 = 0. Is a prime?
True
Let y(q) = 7*q - 12. Let a be y(-6). Let b be (-12)/a - 4804/(-9). Let i = -311 + b. Is i prime?
True
Let v(j) = -j - 1. Let b be v(-3). Let w be (5/(-2))/(b/4). Let c = w - -27. Is c a composite number?
True
Let d(i) = -i**3 + i**2 - i + 484. Let p be d(0). Let s be 3/(-45)*-5*(14 - 2). Suppose 2*o = 2*w + s*o - 336, -3*w + p = -o. Is w a composite number?
False
Is (268/(-12))/(2*3/(-666)) a prime number?
False
Let i(f) = -1. Let d(a) = 2. Let n(w) = 2*d(w) + 3*i(w). Let h(q) = 9*q**2 + 11*q + 8. Let r(v) = h(v) - n(v). Is r(-7) prime?
False
Suppose -12*d = -7*d - 5*n - 16595, n - 9949 = -3*d. Is d composite?
True
Suppose -o = 2*g - 68226, -4*o - 185738 = -5*g - 15147. Is g a composite number?
True
Let u(r) = -178*r + 149. Is u(-5) composite?
False
Let u = 32 - 30. Suppose -5*i = u*k - k - 89, 0 = 2*k - 2*i - 142. Is k composite?
True
Is 2/(-51) + 48234958/1938 a prime number?
True
Suppose 0 = m - 3*c - 5200, -3*m - c + 15633 = c. Is m prime?
True
Let y(p) = -67*p + 2 - 96*p + 27*p. Let g be y(1). Let j = 421 + g. Is j prime?
False
Let g(i) = i**2 + 2*i + 4703. Is g(0) a prime number?
True
Let r(d) = 2*d**3 + 4*d**2 - 4*d + 1. Let o = 132 - 129. Is r(o) prime?
True
Let o(r) = r**3 + 6*r**2 - 2*r + 11. Let n be o(-9). Let t = 352 + n. Suppose -w = g + 4*g - t, 2*w - 316 = -2*g. Is w a composite number?
False
Let s(f) be the first derivative of 4*f**3 + 9*f**2/2 - 31*f - 44. Is s(-22) a composite number?
True
Let y be (-301 - -3)*(-12)/8. Suppose -h - 2*h + y = 0. Suppose 5*u = w + 389, -h - 232 = -5*u - w. Is u a composite number?
True
Suppose k + 2*m - 939 = m, -2*m = 3*k - 2821. Is k prime?
False
Let l(q) = 7*q**2 + 52*q + 23. Is l(-26) a prime number?
False
Suppose 4*o - 60 = -20. Is (4/o)/((-1)/(-145)) prime?
False
Let n(h) = h**2 + 2*h - 25. Let y be n(-15). Is 20/y + (-2293)/(-17) - -4 a composite number?
False
Let q(r) = -2*r - 97 + r**2 + 4*r + 105. Is q(-15) a composite number?
True
Let x(q) = -q - 3. Let m be x(-3). Let s(k) = 12*k**3 + m - 2*k**2 - 7 + 2 - 13*k**3 + 2*k. Is s(-6) a composite number?
False
Suppose 2*x - 14*x = -129852. Is x prime?
False
Let w = 12 - 13. Let l be (1/(-3) - w)*3. Is (-460)/(-10)*l/4 a composite number?
False
Let f = -1 - 5. Let x = -4 - f. Suppose -x*a - 29 + 259 = 0. Is a composite?
True
Is (-237)/158*(-41362)/3 prime?
True
Let s = 14 + -13. Let n(m) = -2 + s + 6*m - 7 + 1. Is n(10) prime?
True
Let j(z) = -5*z + 2. Let w be j(-8). Suppose 2*h - 4*h = -w. Suppose -3*r + 297 = -h. Is r composite?
True
Let l = 18908 - 12621. Is l prime?
True
Let k be (-2)/(-4) + (-474)/(-12). Let d be ((-30)/k)/((-6)/16). Is (5 + 0)/(d/14) composite?
True
Suppose -4*a + 875763 = 17*a. Is a composite?
True
Let u(n) = n**3 - 14*n**2 - 20*n - 59. Is u(18) prime?
True
Suppose 3*q + 5 = -7. Let u be (-4)/6*1662/q. Let s = -122 + u. Is s composite?
True
Suppose 0 = 2*l + 5*c - 2178, -2*l + 4*l - 2196 = 4*c. Is l composite?
True
Let o = 14 + -14. Let a be 4946/14 - 6/21. Suppose o = 5*t - 6*t + a. Is t a prime number?
True
Let p = 5797 - 3824. Is p prime?
True
Suppose -8*b + 3264 = -4*b. Suppose 111 = -5*o + b. Is o a composite number?
True
Let p(s) = -26*s**2 + 3*s + 1. Let c(d) = 77*d**2 - 8*d - 3. Let j(r) = 4*c(r) + 11*p(r). Suppose 5*b = 2*y - 18, 10*b + 4*y - 6 = 5*b. Is j(b) prime?
False
Let z = 402 + -222. Suppose 5*g - 835 - z = 0. Is g composite?
True
Let y(v) = 4*v - 528. Let n be y(0). Is n/(-24)*1/(-2)*-2 prime?
False
Let b(f) = 320*f - 267. Is b(7) a prime number?
True
Let g(h) = 4*h + 7 - h + 2*h + 2*h. Is g(22) a composite number?
True
Let i be 16/(-3)*(-26946)/36. Is (42/168)/(-2*(-1)/i) a composite number?
False
Let c = -1706 - -12889. Is c a prime number?
False
Suppose 2*r = 4*f - 292, -4*r - 4*f = -5*r - 156. Let v(d) = -d**3 - 8*d**2 - 8*d + 6. Let h be v(-7). Let w = h - r. Is w a prime number?
True
Let c(z) = z**3 - 3*z**2 + 2*z + 2. Let g be c(6). Suppose -67 - g = -a. Let x = a + -112. Is x composite?
True
Suppose -3*u - 203 + 1019 = 0. Let m = -183 + u. Is m a prime number?
True
Let i(c) = 9*c**3 + 55*c**2 - 26*c - 87. Is i(23) a composite number?
True
Let r be (-505)/(-10) + 2/4. Suppose -3*g - k = -0*k + 98, 0 = -5*k - 10. Let p = r - g. Is p a prime number?
True
Is 1 - 6 - (-12658 - -66) prime?
False
Suppose 24*w - 15*w = 17001. Is w prime?
True
Suppose 26*w - 24*w + q = 10873, 4*w - q - 21737 = 0. Is w prime?
False
Suppose -37*z + 28*z + 24849 = 0. Is z a composite number?
True
Let z be -2*(-1 + 2 - 0) + 1240. Let h = -339 + z. Is h a prime number?
False
Let u be (6 - 6) + (-3)/1. Let o(r) = r**3 + 2*r**2 - 4*r - 3. Let w be o(u). Suppose -q + 2*z + 451 = 0, w*q - 5*q + 3*z = -2227. Is q a composite number?
False
Let s = 2846 + -1707. Is s a composite number?
True
Suppose 11*s - 9*s - 8 = 0. Suppose 2*n - 2*l - 2 = 0, -s = 2*n - 4*l - 0*l. Suppose -6 - 18 = -n*c. Is c composite?
True
Suppose -82 = -5*h + 8. Suppose 4*r + 0*r = -4*n, 4*r = 2*n - h. Suppose -14 = -n*z + 997. Is z prime?
True
Suppose o - j = -4, -3*o + 5*o + 16 = 4*j. Suppose o = -4*v + 8*v - 3260. Is v a composite number?
True
Let d be 36/(-1*(-2)/2). Let o = 154 - d. Suppose 5*c - 5*t = 600, o = c - 2*t + 3*t. Is c composite?
True
Is 13370 - (3 + 0/(-4)) prime?
True
Let h be 8*((-3)/16)/((-16)/448). Is (h/(-15) + 2)*-150 + 2 composite?
True
Suppose 4*l - 53516 = -4*p, 3*l - 3 + 9 = 0. Is p composite?
False
Suppose -3*j + j + 4 = 0. Let z(a) = a**3 - 10*a**2 + 11*a - 12. Let n be z(9). Suppose n*v - j*v = 1324. Is v a composite number?
False
Suppose 0 = m - 4*d - 4, 0*d = 3*m - 5*d - 12. Suppose -1018 = -i - 184. Suppose -4*k - 2*p + i = 0, -3*k + m*p + 217 = -436. Is k prime?
True
Let b = -557 + 1006. Is b prime?
True
Let f(k) = -k**2 - k + 1. Let h be f(0). Let r be 0/((h + -2)*1). Suppose n - 5*n + 356 = r. Is n composite?
False
Suppose -12*b + b + 4466 = 0. Let k = b - -655. Is k a composite number?
False
Suppose -5*s + w = -39, -2*s + 19 = -2*w + 5. Let k be 60/(-8)*s/(-10). Suppose -677 = 5*t - k*t. Is t a composite number?
False
Suppose -1943 = -7*j + 4*j + 4*v, 2*v = 2. Is j a composite number?
True
Let o = 31 - -24. Suppose 555 = 2*s - o. Is s composite?
True
Suppose 0 = 3*b + 21. Let m(v) = 40*v**2 - 3*v + 12. Is m(b) a prime number?
True
Let j be -3 - (-84*64)/4. Suppose 3*l - 3*u - 1065 = 0, -5*l + 466 + j = 3*u. Is l a composite number?
False
Suppose 4*x + 12411 = 5*p - 24624, 0 = 5*p + 3*x - 37070. Is p a composite number?
False
Let p(n) = 18*n + 1. Let z = 9 + -7. Let v be z/6 + (-25)/(-15). Is p(v) composite?
False
Suppose -2*j = -0*j + 12. Is 49 + 1 - (-3 - j) a composite number?
False
Suppose -5*n = 3*w - 94441, -5*n + 1359 = -3*w + 95780. Is w a prime number?
True
Let r(g) = -4*g**