*z. Let k = z + -148. Is k composite?
True
Suppose f - 4*f + 3 = 0. Let w(q) = 5*q**3 - 2*q**2 + 3*q - 2. Let i be w(f). Suppose -i*c + 2705 = c. Is c composite?
False
Let u(h) = 265*h - 66. Let y(i) = -i**2 - 7*i - 7. Let f be y(-3). Is u(f) a composite number?
False
Let v(j) = j**2 + 4*j - 3. Let u be v(-7). Let b = u + -16. Is (-23439)/(-45) + b/15 composite?
False
Suppose -5*t + 3 = 3*p - 24, 0 = 5*t - 15. Suppose -i + p*g = 67 - 1036, -2*i + 1930 = -4*g. Is i a composite number?
True
Suppose 2 = p + p. Let a(w) = p - 4*w + 5*w + 5*w + 4. Is a(12) a composite number?
True
Suppose 2*b - 4*b + 1729 = m, 4*b = 2*m - 3474. Let d = -589 + m. Suppose -5*w = -d - 2551. Is w a prime number?
True
Suppose -4*i + 2*h = -7*i + 8935, -4*i + 11936 = -3*h. Is i a prime number?
False
Is (-2)/(-28) - 1390350/(-644) composite?
True
Suppose 3*s + 15540 = n + 4163, -2*n = -2*s - 22734. Let a be 12/54 + n/(-18). Is -4 + (-2 - a - -4) a prime number?
False
Let y(a) = 4*a + 87. Let w be y(-21). Suppose 4*j - 3*p - 37238 = 0, w*j + 5*p = 11670 + 16273. Is j composite?
False
Let h = -34430 + 59123. Is h prime?
False
Suppose -z + 179 = 3*w, -2*z + 7*z = -5. Let k = -1092 + 1096. Suppose -4*q + w = p - 253, 0 = 4*p + k*q - 1192. Is p a composite number?
False
Let f(s) = 308*s**2 - 129*s + 7. Is f(-8) prime?
False
Suppose -h = -2062 + 383. Is h composite?
True
Let a(l) = 4552*l + 179. Is a(6) composite?
True
Let w = 883 + -100. Is 1*(w + -4 + 8) composite?
False
Let a(c) = -180*c - 5. Let f be (-6)/9*3 - 0. Let y be a(f). Suppose s + s - 2 = 0, -4*n + y = -s. Is n prime?
True
Suppose 56 = 2*a + 2*a. Is 98/(-28)*(-40)/a composite?
True
Let m(d) be the first derivative of -7*d**2 + 2*d + d**3 + 8*d**2 + d**2 + 6. Is m(6) composite?
True
Let y(g) = -1 + 0 + g**3 - 5*g + 3*g + 6*g**2. Let c be y(-3). Suppose 29 = k + w, -c = -k - 4*w - 9. Is k a composite number?
False
Let i(l) = -21771*l**3 - 3*l**2 + 1. Is i(-1) a composite number?
True
Let g be (1/4)/((-4)/(-16)). Let q be 0 - (1 - 49/g). Let k = q - 14. Is k composite?
True
Let x = -142 + 343. Let z = 616 - x. Is z prime?
False
Suppose 4*o + 5 = 3*y - 4, -5*o = -y - 8. Suppose -y*u = -8*u + 1861. Is u composite?
False
Suppose 17*v - 937725 = -228502. Is v a prime number?
True
Suppose 0 = -3*m + 77 - 56. Suppose 0 = m*j - 3967 - 1780. Is j composite?
False
Let o(z) = 21*z**2 - 61*z + 29. Is o(25) a composite number?
True
Let x = 11 - 6. Suppose -k = -x*k + 960. Suppose 4*o - k - 204 = 0. Is o a composite number?
True
Let g = -90867 - -134884. Is g prime?
True
Suppose 2*p - i - 4769 = 0, 2*i - 4*i + 9550 = 4*p. Is p prime?
False
Let z(o) = 9*o**2 + 27*o + 29. Is z(13) composite?
False
Let o(r) = 3*r**3 + 13*r**2 + 12*r - 3. Is o(12) prime?
False
Suppose 3*g - 1339 = -193. Suppose 2*o = -0*o + g. Is o composite?
False
Let x be 183/9 + 4/6. Let z = x - 18. Suppose w - 3*a = z*w - 123, w = -a + 64. Is w a prime number?
False
Let s(u) = u**2 + 26*u - 28. Let x be s(-26). Is 1/(28/8864) + (-12)/x a prime number?
True
Let u(x) = 6*x - 19. Let i be u(4). Suppose 7*l - i*l - 10 = 0, 4*q + 2*l - 11286 = 0. Is q a prime number?
True
Let j = 362 + -4. Let a(u) = -2*u**3 + 36*u**2 + 14*u. Let i be a(18). Let h = j - i. Is h prime?
False
Let y be 33/12 + -3 + (-39)/(-12). Suppose y*d + 0*d - 3021 = -3*j, -j = -4*d - 987. Is j prime?
False
Is (-51)/4*(-17)/((-816)/(-832)) composite?
True
Let x(s) = 2*s**2 - 6*s + 5. Let z be x(3). Suppose 0 = v - l - 229, -z*v + 213 = -4*v - 5*l. Is v a prime number?
True
Let x be (3 - 5)*5/(-1). Let v = -21 + x. Is (-3 - (-6 + 4))*v prime?
True
Let c be 13619/2 + (-20)/(-40). Is (c/18 + 4/6)*1 a composite number?
False
Let n be 30/4*((-16472)/(-5) - 4). Suppose -n = -17*l + 15833. Is l composite?
False
Suppose -4*c - 43664 = -2*z - 4338, 3*c = 4*z - 78632. Is z composite?
True
Suppose -6*s + 5643 = -53175. Is s prime?
True
Suppose 3*c + 2*m + 9 - 724 = 0, -5*c + 3*m + 1160 = 0. Suppose -4*l + c = 763. Let h = l - -277. Is h prime?
False
Let i = -9 + 26. Let c = i + -25. Let z(n) = -n**3 - 8*n**2 - 10*n + 5. Is z(c) a prime number?
False
Suppose 2625 = 5*r + k + 3*k, -k = 2*r - 1053. Is r prime?
False
Let y be (-4 + -1)/((-27)/81). Suppose 20*l - 48715 = y*l. Is l prime?
True
Suppose 0 = -2*c + 10, 2*c = -3*a - 0*c + 13. Is (a - 3)*4143/(-6) prime?
True
Let f(p) = -p**3 - 8*p**2 + 10*p - 11. Let v be f(-9). Let m be (222/(-5))/((-3)/v). Let a = 445 + m. Is a a composite number?
False
Let t = 6759 - 4592. Is t a composite number?
True
Let o(w) = -4*w - 34. Let k be o(-10). Suppose -4*b = -k*b + 1906. Is b a prime number?
True
Suppose 0 = 4*o - 4641 - 4567. Is o a composite number?
True
Let a = 3 + -120. Let r = a - -202. Is r prime?
False
Let i = 14 + -11. Suppose -368 = 5*r + 687. Is 0/(6/i) - r composite?
False
Let u(c) = -c**2 - 9*c - 8. Let m be u(-8). Let v(x) = x**3 + x**2 + 187. Is v(m) a composite number?
True
Let t = -2552 - -3729. Is t a prime number?
False
Let w(t) = t**3 - 3*t**2 + 2*t - 2. Let q be w(4). Suppose 0 = 4*v + 12, -3*h + 2*v + q = 7. Is (h - 2)*(0 + 127) a prime number?
True
Suppose w = -3*w. Let b be (w - -3)*1 + 1. Suppose 0 = -0*z + b*z - 1004. Is z composite?
False
Let y = 6934 - 1473. Is y prime?
False
Suppose 0 = -4*t - 1 + 21. Let h be t/(-20) + (-2153)/(-4). Let y = h - 324. Is y a composite number?
True
Suppose -53*x - 154922 + 486013 = 0. Is x prime?
True
Suppose 16557 = -31*h + 34*h. Is h a composite number?
False
Suppose 0*j = -4*j - 12. Is -2*(-3)/j - -1321 prime?
True
Let t(f) = -17*f + 241. Is t(-54) composite?
True
Let z = 361 - 227. Suppose 10*u - 8*u = z. Is u composite?
False
Suppose -z = -344 - 156. Let c = -294 + z. Suppose f + 0*f - c = -3*q, -q + f + 70 = 0. Is q a composite number?
True
Let y(a) = -11*a**3 + 2*a**2 - 2*a + 1. Suppose -3*w + 5*m = -7*w + 9, -5*m = w - 21. Is y(w) composite?
True
Let z(u) = -6*u**3 + 3*u**2 + 5*u - 5. Let k be z(-5). Let w be 0/(((-4)/(-12))/(8/(-48))). Suppose -3*s = -w*s - k. Is s a composite number?
True
Suppose f = -4*f + 10. Suppose 0 = y + f*y. Suppose c + 2*c + 435 = 3*b, 5*b + 4*c - 734 = y. Is b a prime number?
False
Let h(t) = 6*t**2 + 7. Suppose 0 = -5*n + n, -3*r + 2*n = -6. Suppose -r*q = -5*i + 30, q - 6 = -i - q. Is h(i) composite?
False
Let p = -37 + 41. Suppose -2*s - 5158 = 5*q, -p*s - 1 = -5. Let m = q - -1755. Is m a composite number?
True
Let f(m) = 2052*m - 241. Is f(10) prime?
False
Let i = 6665 - 4428. Is i a prime number?
True
Let v be (-2 - -1276)*(-3)/6. Let t be -1 - (-1 + -2) - v. Suppose -p = 2*w + w - 115, -w = -5*p + t. Is p a composite number?
False
Suppose -4818327 = -87*j + 36*j. Is j prime?
True
Let y = 44 + -40. Is 62601/84 - ((-3)/y)/(-3) composite?
True
Is 11194*(-5)/(-20) - (-3)/(-6) a prime number?
False
Suppose 5*m = -0*m + 60. Suppose 0 = -2*f - f + 4*x + 12, m = -2*f - 4*x. Suppose 2*c + 892 = 4*n, -446 = -f*n - 2*n - 2*c. Is n prime?
True
Let o(i) = -2*i - i**3 + 2 + 14 - 4*i**2 - 26. Is o(-6) a prime number?
False
Let q be (8/(-12))/(3/(-9)). Suppose -v - q*v = -33. Suppose 0 = -6*n + v*n - 2215. Is n prime?
True
Let x(n) = -19*n**2 - n - n**3 - 16*n + 5*n**2 + 13 - n. Is x(-14) a composite number?
True
Let c = 9944 - -22515. Is c a composite number?
True
Let t = 16 - -1. Let n = 16 - t. Is (-445 + -3 + -3)/n composite?
True
Let q be (-360)/(-25) + (-2)/5. Let k(o) = 56 - 5 - o + q + 26. Is k(0) composite?
True
Let b be 0 + (1 + -2 - -122). Suppose 17*o = 12*o + 15. Suppose -10 + b = o*d. Is d prime?
True
Let u = -38 + 42. Suppose u*i + 3069 = 13*i. Is i prime?
False
Suppose -334668 + 69980 = -16*j. Is j prime?
False
Let m be (-21)/7 + (0 - 15). Let b = m + 22. Is (-11)/2*(b + -6) composite?
False
Is 11554 + 2/(5 - 3)*-5 prime?
True
Suppose p + 0*p = 5*t + 31, -4*t - 38 = -3*p. Let d be (-8)/p*396/8. Let b = 1 - d. Is b prime?
True
Let j be 2 - ((-4)/12)/((-3)/(-27)). Suppose j*s - 278 = 177. Is s prime?
False
Let w = -24 + 32. Is (-262)/((w + -4)/(-2)) a prime number?
True
Let h = 2530 - -633. Is h a prime number?
True
Let y(q) = q**2 - 4*q + 7. Let r be y(-9). Suppose -4*m + 4*a = r, 2*m + a = -a - 54. Let n = m - -40. Is n a prime number?
True
Suppose -34658 + 9772 = -2*c. Is c a prime number?
False
Let d = -1 + 6. Suppose b - x - 550 = 0, -x - 2215 = b - 5*b. Suppose