pose f*w - 2*w - 1395 = 0. Is w prime?
False
Suppose 2*g - q = 2, -2*g + 3*q + 10 = -0*g. Let a be (13/(2/(-2)))/g. Let x = 20 - a. Is x prime?
True
Let d = 13205 + -5676. Is d composite?
False
Suppose -4*z = -z - 18. Let i be (z/8)/(3/8). Suppose -i*l - p = -674, l - p = -0*l + 331. Is l composite?
True
Let f(g) = -108*g - 5. Is f(-3) a prime number?
False
Suppose 23*t - 16508 = 15669. Is t a prime number?
True
Let d = 3286 + -5439. Let y = d + 3106. Is y a composite number?
False
Let f(h) = 43*h**2 - 84*h**2 + 541 + h**3 + 43*h**2. Is f(0) a composite number?
False
Let h be 15/3 - 5 - -4. Suppose h*j - 11986 = -b + 3*b, j - 3007 = -3*b. Is j prime?
False
Let p = 1802 + -1135. Let u be (4/(-2) + 0)*-1. Suppose -q - u*y + 321 = 0, -2*q = -0*q - y - p. Is q prime?
True
Suppose -w + 8*j + 143345 = 11*j, 286670 = 2*w - 4*j. Is w a composite number?
True
Suppose c + c - 6 = 0. Let n(y) = 0*y - 8*y**c + 0*y**2 + 9*y**3 + 5 - 3*y**2 + 5*y. Is n(10) prime?
False
Let p(z) be the second derivative of -19*z**3/3 - 3*z**2/2 + 6*z. Is p(-4) composite?
False
Suppose -10*x + 3130 + 7230 = 0. Suppose 4*s = x - 212. Is s a prime number?
False
Let q(j) = -j**2 + 21*j + 24. Let p be q(22). Suppose -p*v = 2*v - 5*g - 1220, -4*v + 1220 = g. Is v a prime number?
False
Let o(j) = 4*j + 3241. Is o(0) a prime number?
False
Suppose -3*b - 9 = 4*t, -3*t + 3*b - 8 = 4*b. Let l be ((-10)/t)/((-5)/45). Let w = 73 + l. Is w a composite number?
False
Let k = 14667 - 9884. Is k a prime number?
True
Let o = 3139 - 1778. Is o a prime number?
True
Suppose -12 = -3*d, -3*f - d + 10 + 6 = 0. Suppose 5 = f*g - 7. Suppose -5*i - 4*x = -g*x - 1040, -5*i = 5*x - 1020. Is i composite?
True
Suppose -12 = -4*i, 0*h + 4*i - 13617 = -5*h. Is h a prime number?
False
Let o(d) = -1 - 10*d**3 + d**2 + 5*d**3 + 0. Let y be o(-1). Suppose -4*k + 5*a + 399 = 0, 0*k = y*k - 2*a - 520. Is k a composite number?
True
Let p = 125 - 36. Suppose -2*c - 1080 = -5*t, 2*t - 4*t + 432 = 2*c. Let s = t - p. Is s composite?
False
Suppose -17*v + 2108 = 19380. Is (6/(-4) + -2)/(4/v) a composite number?
True
Let q be 0 + 1*(3 - 0). Suppose 4*j - 3*l = 410, q*l - 9 = j - 107. Let p = j + 14. Is p composite?
True
Let w = -4 - -4. Suppose w = 3*c - c. Suppose 0 = 4*u - c*u - 388. Is u a composite number?
False
Let v(h) = h**3 + 22*h**2 - 16. Let w(m) = 2*m**2 + 14*m + 9. Let q be w(-5). Is v(q) composite?
True
Is (-36606)/(-27)*(-9)/(-1) composite?
True
Let a = -9885 + 5472. Is 3*a/12*8/(-6) composite?
False
Let s be 94/18 + -5 + (-13478)/(-18). Let p = 1450 - s. Is p composite?
False
Suppose 2*s - 1 = -y - 14, -29 = 2*y + 3*s. Let j(i) = -2*i - 18. Let q be j(y). Suppose -4*h - 5*g + 3*g + q = 0, -12 = -h - 4*g. Is h composite?
True
Suppose c = -27 + 30. Suppose 5*p = 2 + c, -2529 = -4*k - 5*p. Is k composite?
False
Let t(f) = -1. Let x(b) = 4*b + 24. Let u(g) = -72*t(g) - 4*x(g). Let l be u(-19). Let y = l + -71. Is y prime?
False
Let n be (7 - 4)/((-4)/(-1176)). Suppose 2*q = h + n + 687, 5*q + h = 3940. Is q a prime number?
True
Let q(v) = -27*v**2 - 8*v - 3. Let c be q(-3). Let u = -109 - c. Is u composite?
False
Let w be (15/5)/(6/4). Suppose 0 = -w*t + 6*t - 4444. Is t a prime number?
False
Suppose 3*l - 18868 = -5*s, l - 4*s = -9*s + 6306. Is l a composite number?
True
Let j(z) = -4*z**3 + 38*z**2 - 8*z + 9. Is j(5) a prime number?
True
Let h(i) = 2*i**2 + 10*i + 3. Let y be h(-5). Let k(f) = 73*f**3 - 2*f**2 + 2*f + 4. Is k(y) composite?
True
Let i = 30160 - 10383. Is i a composite number?
False
Suppose -45*i = -42*i. Let h(r) = 3*r**2 + 2*r + 230. Let z(u) = -5*u**2 - 3*u - 459. Let j(w) = -7*h(w) - 4*z(w). Is j(i) a composite number?
True
Let a(j) = 2*j - 29. Let r be a(20). Suppose 0 = 13*l - r*l - 3722. Is l a prime number?
True
Suppose 2*w - 45 = -q - w, -2*q = 2*w - 102. Let t = q + 23. Is t composite?
True
Let u be (-5)/((-10)/6) + 9/(-3). Suppose u*h + 1161 = 9*h. Is h a composite number?
True
Let f be (-6)/21 - 920/(-35). Suppose 3*t - 3 = 0, t + f = 5*b - 13. Let o(i) = 4*i**2 - 7*i - 13. Is o(b) a composite number?
True
Let h = 83 - 85. Is (7/((-7)/(-43)))/((-1)/h) a prime number?
False
Is 3/((-1)/(-4)*(-12)/(-21269)) a prime number?
True
Let v(g) = 496*g**2 - 2*g + 83. Is v(-13) a composite number?
False
Let i be ((-34)/(-4))/(5/230). Let z = 416 + -738. Let u = i - z. Is u a composite number?
True
Let r = 52 + -85. Is -7762*((-6)/r + (-60)/88) a prime number?
True
Suppose 4*x + 3*k - 810 = k, 0 = -x + k + 204. Suppose -2*w + x = -239. Is w a prime number?
False
Let m = -48 - -65. Suppose -m*p = -15*p - 1022. Is p composite?
True
Suppose -12190 + 780 = -10*k. Is k a prime number?
False
Let c(z) = -z**2 + 26*z + 35. Suppose 5*a = -a. Let k = a + 18. Is c(k) prime?
True
Suppose 19759 - 74084 = -25*n. Is n a composite number?
True
Suppose 1459 = 5*s + 3*z - 0*z, z - 1463 = -5*s. Is s a composite number?
False
Suppose 0 = 5*d - 659 + 164. Let r = d + -48. Is r composite?
True
Let l = -18 - -26. Let a(h) = -10 + 6 + 5*h - l. Is a(13) prime?
True
Let g = 6 + 1. Suppose g*d - 5*d = 0. Suppose -w + 5*l = -53, w + l - 35 = -d*w. Is w composite?
True
Let r be 640/(-6) + ((-48)/9 - -5). Let f = 286 + r. Is f a prime number?
True
Let f(v) = -11*v**3 + v**2 + v. Let i be f(-1). Let y = i + -34. Is (y/2)/((-12)/264) a composite number?
True
Suppose 20*o + 58*o - 2697006 = 0. Is o a prime number?
False
Let b(s) = 971*s - 96. Is b(19) a composite number?
False
Let q(f) = -f**3 - 12*f**2 - 9*f + 6. Let g be q(-11). Let m be g/32*-42*1. Is (-6)/m + 2958/14 a prime number?
True
Suppose 0 = -20*s + 12*s + 6376. Is s composite?
False
Let g = -12 + 15. Suppose -2*x + 7 = g*w, -4*x + w + 23 = 2. Is x/((-15)/(-6)) + 1 composite?
False
Let w(g) = -337*g - 186. Is w(-45) prime?
False
Suppose -2*o + 900 = -4*x, 2*o - 5*x - 1348 = -o. Is o a prime number?
False
Let z(v) = 2*v - 2. Let p be z(3). Suppose -p*n + 73 + 667 = 0. Is n composite?
True
Let x(t) = -t**2 + 8*t + 3. Let j be x(8). Let r be j*(901/(-3) - -4). Let q = -596 - r. Is q a prime number?
True
Is (188/(-36) - (-2)/9) + 3078 prime?
False
Let b = 543 - 332. Is b prime?
True
Suppose -r - 2 = -5. Suppose 5*k = r + 7. Suppose 5*q = k*q + 102. Is q a composite number?
True
Suppose -3*o = 5*g - 11, 0*o - 4 = 2*g - 3*o. Let q(k) be the first derivative of 158*k**3/3 + k**2/2 - 2*k + 54. Is q(g) prime?
True
Let v(p) = -703*p + 82. Is v(-27) a composite number?
True
Let m be ((-16)/(7 + -3))/(-1). Suppose -6*q + m*q + 7010 = 0. Suppose y + q = 6*y. Is y a composite number?
False
Suppose -5*h - 3*p = 2*p - 2885, -p = -4*h + 2318. Suppose 4*w - 3*q - 1861 = h, -12 = -3*q. Is w composite?
False
Let r = -61 + 21. Is r/(-10)*491/4 a prime number?
True
Let k = -5 + 26. Let b = k - 2. Is b composite?
False
Let x(d) = -355*d**2 + 2*d - 2. Let i be x(-2). Let z = i - -2321. Is z a composite number?
True
Let w(i) = 5*i**3 + 6*i**2 - 5*i - 5. Let k(s) = 6*s**3 + 6*s**2 - 6*s - 6. Let a(y) = -6*k(y) + 7*w(y). Suppose 5*z - 24 + 4 = 0. Is a(z) prime?
True
Suppose -3*z + 10932 = t - 4*t, -2*t - 6 = 0. Is z a prime number?
False
Suppose -21*u + 43419 = -19*u - a, 4*a + 86840 = 4*u. Is u a prime number?
False
Let x = -258 - -393. Suppose 4994 = 2*a + d, x = 5*a + 3*d - 12349. Is a a composite number?
True
Let u(o) = 8*o**2 + o - 2. Let a be u(1). Suppose -4*n + 0*n = -k + 6, 4*k - a = -n. Is (n - 0)*(-101 - 2) prime?
True
Suppose 0*d - 22 = -3*h - 4*d, 5*h = d + 29. Suppose 2248 + 2186 = h*u. Is u composite?
False
Is ((-1)/(-5)*1)/(2/203690) composite?
False
Is (158186/21)/((-16)/(-24)) prime?
True
Is (2 - -1) + 2073 + -3 composite?
True
Let g(k) = -k**3 + 5*k**2 - 3*k. Suppose 20 = -5*t, -c - 3*c + t + 20 = 0. Let v be g(c). Suppose -v*i + 248 = 36. Is i prime?
True
Suppose 9*v - 8*v + 2*p - 2465 = 0, 3*p = 5*v - 12377. Is v a prime number?
True
Let f(u) = u**2 - 4*u + 2. Let x be f(2). Let o be x/7 + 120/28. Let m(t) = t**2 + 6*t - 3. Is m(o) prime?
True
Suppose 4*q + 8*g = 3*g - 65, 2*q + 3*g = -33. Let d = q - -22. Suppose d*z = 584 + 193. Is z a composite number?
True
Suppose -4*u + 4*r + 18 = u, 3*u + 2*r - 2 = 0. Suppose 0 = m - 6*m + 640. Suppose y = 3, -v = u*y + m - 492. Is v composite?
True
Suppose 0 = 4*k - 3*t - 2*t + 17, -2*t = -10. Suppose -k*z = z. Suppose 3*g 