 5*z. Is z a prime number?
True
Suppose -6*q = -5*p - 194457, 7 = 5*p + 22. Is q a composite number?
True
Let j(z) = 16*z**3 + 2*z**2 - 11*z - 5. Let b be j(10). Suppose -4*t + 3*t = -b. Is t a prime number?
False
Suppose 0 = -o - o + s - 190, 0 = 4*o - s + 382. Let j(v) = 4*v**2 - 58*v - 447. Let t be j(-7). Let c = t - o. Is c composite?
False
Suppose 13*t - 2985097 = 5*t + 2811567. Is t prime?
True
Let g(b) = 1475*b**3 - 3*b**2 + b + 16. Is g(5) a prime number?
True
Let u = -91622 + 133093. Is u a composite number?
True
Let p be (7*(-14)/(-49))/((-2)/(-41)). Suppose 0 = p*n - 48*n + 82957. Is n a composite number?
True
Is (18947/(-7))/(-10*9/630) prime?
True
Suppose 4*n = 7*n - 4*n. Suppose v + 4*v - 1120 = n. Suppose t - 863 = v. Is t a composite number?
False
Let w = -13958 + 23995. Is w a prime number?
True
Suppose 0 = -9*u + 128*u - 124880147. Is u prime?
True
Let q be 66/(-55)*360/2. Is 6*(-45)/q + (-34718)/(-8) a composite number?
True
Suppose -19*i = -18*i - 92674. Suppose 2*c + d = i, 4*c = d + 19272 + 166082. Suppose 15*n = 9*n + c. Is n a composite number?
False
Let r(t) = t**2 - 10*t - 9. Let n be r(11). Let y be (n/(-3))/((-11)/8778). Let u = 435 + y. Is u composite?
False
Let g(o) = -644*o + 8841. Is g(-148) prime?
False
Suppose 106822 + 161437 - 59731 = 16*z. Is z composite?
False
Suppose 86364573 = 104*y + 13758949. Is y a prime number?
False
Suppose 863 = n - 0*q + 5*q, 5*n + 3*q - 4403 = 0. Suppose 0 = -2*a + 3*x + n, 6*x - 1731 = -4*a + 5*x. Let k = a - -543. Is k a prime number?
True
Suppose -677208 = -m - 4*g + 417731, -2*m + 4*g = -2189878. Is m prime?
True
Let j(q) = -q**3 + 4*q**2 + 22*q - 2. Let t = -93 + 100. Let v be j(t). Suppose v*z - 1328 = a, -4*z - 4*a + 1036 = -12. Is z a prime number?
False
Let f(u) be the first derivative of -79*u**2/2 + 41*u - 55. Is f(-3) composite?
True
Let k be ((-27918)/(-135))/(2/(-20)). Let d = k + 6549. Is d a prime number?
True
Let c(u) be the first derivative of -109*u**4/4 + 4*u**3/3 + 3*u**2 - 2*u + 43. Is c(-3) a prime number?
False
Let v(d) = 113*d**2 - 419*d - 151. Is v(34) a prime number?
False
Let t be ((-360)/(-14))/((11 - 5)/210). Let k = t - 515. Suppose 4*m + k = 11*m. Is m a prime number?
False
Let g = -1802744 + 3289926. Is g prime?
False
Let v(h) = -106768*h + 501. Is v(-1) a prime number?
True
Let s(r) = 5*r**3 - 282*r**2 + 111*r + 69. Let a be s(56). Let y(g) be the second derivative of 11*g**3/3 - 16*g**2 - g. Is y(a) a prime number?
False
Let a be 46/(-253) - (-9000)/11. Suppose 5*t = t + 916. Let u = t + a. Is u prime?
False
Suppose -5*x = -2*b - 9*x + 653706, 14 = 2*x. Is b a prime number?
False
Suppose 5*p + 4*r - 1733751 = 0, -5*r + 305 - 310 = 0. Is p a composite number?
False
Is (4 - 5)*(-1)/((12/995595)/4) a composite number?
True
Suppose 5*r + 2*p - 125 = 0, -61 = -4*r + r - 4*p. Let t(o) = 2*o**3 - 55*o**2 + 28*o + 32. Is t(r) a prime number?
True
Suppose -35829118 = -70*i + 8*i. Is i composite?
True
Let v(x) = x**3 + x**2 - 15*x + 2. Suppose -3*n = -4*f - 26, -f + 9 = n - 2*f. Let o be v(n). Suppose 0 = -5*c - 167 + o. Is c prime?
True
Suppose -16*d - 13 = -3*d. Is (-4)/d + ((-4)/(-4) - -9194) prime?
True
Suppose 5*d + 29 = 6*v - 2*v, -2*v - d = 3. Let b be 1/((v/(-450))/(-1)) - 3. Let u = b - 196. Is u prime?
True
Suppose 0 = -3*l - 2*f - 121867, 2*f + 8 = 10. Let v = l + 62582. Is v a composite number?
True
Suppose 4160740 = -918*f + 938*f. Is f composite?
False
Suppose 4*t - 3*t - 351114 = -7*m, 2*m = -4*t + 1404586. Is t a composite number?
True
Let s(g) be the first derivative of 7*g**5/15 - g**4/24 - 2*g**3/3 - 17*g**2/2 - 19. Let h(x) be the second derivative of s(x). Is h(-3) composite?
False
Let s = 158 + -161. Let r(j) = -52*j**3 + 4*j**2 - 5*j + 4. Is r(s) prime?
True
Let i = 77911 - -121723. Is i prime?
False
Let h(j) = -31*j**3 - 11*j**2 - 16*j - 91. Let w(r) = 16*r**3 + 5*r**2 + 9*r + 46. Let g(n) = 3*h(n) + 5*w(n). Is g(-6) a prime number?
False
Let m(t) = 2*t**2 + t + 6. Let g be m(-2). Let i(o) = o**3 + o**2 - 2*o + 7928. Let j be i(0). Suppose -8*x = -g*x + j. Is x a prime number?
False
Let m = 481 + -932. Suppose 453 = 11*i - 4399 - 9932. Let z = m + i. Is z a prime number?
False
Let d = -875 + 470. Let p = -99 - d. Suppose 0 = 10*k - 4*k - p. Is k composite?
True
Let k(i) = -i**3 - 5*i**2 - 8*i + 15. Let g(f) = f**3 + 4*f**2 + 8*f - 15. Let h(q) = 2*g(q) + 3*k(q). Let t = 1743 + -1750. Is h(t) composite?
False
Let z(j) = j**3 - 13*j**2 - j + 11. Let i be z(13). Let d(o) = -91*o**3 - 2*o**2 - 2*o + 2. Let f be d(i). Suppose 2*l = -4*l + f. Is l a prime number?
False
Let b = 356415 - 158708. Is b composite?
True
Suppose 11*s = 6*s + 8270. Let a = 1041 + s. Suppose 2*f - a = -5*m, 1596 = 3*m - 2*f - f. Is m a prime number?
False
Let y be 12/21 + (-8142)/14. Let c = 9110 - y. Is c a prime number?
False
Let q = -27 + 29. Suppose 0 = -4*k - 3*l - 11, k - q*k + l = 8. Let x(a) = 7*a**2 + 5*a - 1. Is x(k) prime?
True
Let y be (10 - 29238)*(-2)/4. Let x = -10355 + y. Is x prime?
True
Let k = 124 + -119. Suppose -k*z + d = 2*d - 4269, -3*d = z - 865. Is z a composite number?
False
Let o = 168727 - 80370. Is o a prime number?
False
Let q(b) = -466*b + 14. Let t be q(2). Let s = t + 2429. Is s a composite number?
False
Let x = -206005 + 402312. Is x a composite number?
False
Let j(u) = -334*u - 23. Let s(v) = v**3 + 18*v**2 + 17*v + 5. Let c be s(-17). Suppose 0 = -c*d - 65. Is j(d) a composite number?
True
Suppose 4*y - 4302300 - 504658 = -22*y. Is y a composite number?
True
Let k be -1*(0 + -1) + -1. Let c be 570/82 - 148/(-3034). Suppose k = 14*q - c*q - 8183. Is q a prime number?
False
Let f(i) = -33*i + 4. Let p be f(0). Is p/(-14) + (-712245)/(-105) + -4 a composite number?
False
Let r(a) = -a**2 + 5*a + 5. Let g be r(5). Suppose g*x = -x. Suppose 0 = -u, x = 2*l + 4*u - 3*u - 6326. Is l composite?
False
Suppose 5*i - 147*i = 28*i - 78157330. Is i a composite number?
False
Let q be (-144)/(-30) - 2/(-10). Suppose q*l = -4*l + 22455. Is l a composite number?
True
Suppose 2*k + 35 = 45. Suppose k*p - 2020 = 5*u, -4*u - p - 1641 = -0*p. Let o = u + 8064. Is o a composite number?
True
Suppose p = -4*g + 3703680, 2376389 = 2*g - 5*p + 524527. Is g a prime number?
True
Let l = -22 - -39. Suppose -l*r + 27 = -18*r. Is 4254/9*(r/2)/(-9) composite?
False
Let r be -3 + -17 + (12 - 9). Let d(y) = -3181*y - 38. Is d(r) a composite number?
True
Let t = 474 - 469. Suppose -5*j + 686 = 3*o, 2*o = -3*o - t*j + 1160. Is o a composite number?
True
Suppose -187*q = -180*q - 126. Suppose 3*i + 2*o = 70, -3*i + 2*i + 5*o - 5 = 0. Suppose q*j + 1388 = i*j. Is j a prime number?
False
Let f(u) = -u**2 + 4291. Suppose 0 = -4*n - 5*n. Is f(n) a composite number?
True
Suppose 5*g - 2174719 = 4*v, 21*v - 22*v = 4*g - 1739750. Is g a composite number?
False
Let r = -55 - -59. Suppose 4*l - c + 5 - 24 = 0, 3*l - 24 = r*c. Suppose l*q = -3*h + 6221, 2*q + 3*q - 2*h = 7805. Is q composite?
False
Let x(p) = 2*p**2 + 6*p + 1. Let f be 2 + (-45)/(-3) - 2. Is x(f) a prime number?
True
Suppose -t - 5 = -11. Suppose -2654 = t*d - 10820. Is d composite?
False
Let x(a) = 70*a**2 - 9*a - 14. Suppose 2*b - 45 = 11*b. Is x(b) composite?
True
Let f be (-6)/(-45) - (-4)/(-30). Suppose 2*c - 344 - 614 = f. Is c composite?
False
Suppose v = 26*a - 28*a + 1619990, -3*a - 5*v = -2429985. Is a prime?
False
Suppose -470*l = -544*l + 1001294. Is l composite?
True
Let m be (-8)/((-8)/(-39))*2/(-3). Suppose -m = -4*c - 10. Is (-87)/(c/8 + -2 + 0) composite?
True
Is (9197/34)/(-5 + (-10555)/(-2110)) a composite number?
True
Let f(u) = -1 + u**2 + 1014*u**3 + 1147*u**3 - 404*u**3. Is f(1) a composite number?
True
Let j = -35 + 40. Suppose 0 = 2*n - j*i - 1862, i = 4*n - 3247 - 441. Is n a composite number?
True
Suppose 4*b = 3*q - 1055, 6*b + 0*q = -3*q - 1545. Is (104/b)/(2/(-105445)) a prime number?
True
Let f(o) = -6697*o + 3. Let s = 182 + -184. Is f(s) a prime number?
True
Let y = 233 + -49. Let l = y + -127. Let f = 234 - l. Is f a composite number?
True
Let p(z) = 5176*z**2 - 66*z - 5. Is p(-2) composite?
True
Let r(k) = 4*k**3 + 14*k**2 - 22*k + 19. Let b(i) = -2*i**3 - 7*i**2 + 11*i - 9. Let f(g) = 11*b(g) + 6*r(g). Suppose u - 5225 = -5221. Is f(u) composite?
False
Let c(j) = 4*j