(f) = 16*f**2 - 15*f - 17. Is a(8) prime?
True
Let h(a) = 19*a - 1. Let n be h(2). Let u = n + 21. Is u a composite number?
True
Suppose -s + 14 = 3*c, 4*c - 3*c = -5*s + 42. Suppose -s*m = -7*m - 223. Is m prime?
True
Suppose -90*j = -80*j - 7190. Is j a prime number?
True
Let m = 25558 + 60841. Is m composite?
False
Let q = 14890 + -6386. Suppose z - 4*g + g = 2133, -4*z + 5*g = -q. Suppose 3*j + 0*j = z. Is j a prime number?
False
Suppose 0*j = -5*j, -5*m = -j. Let r(g) = -g**2 + g + 1162. Let f be r(0). Is (m - (-2 - -1)) + f a prime number?
True
Suppose -2*q - q - 3*j + 92910 = 0, -5*j = -q + 30976. Is q a prime number?
True
Let o(r) = -3*r - 36 + 0*r + 1. Is o(-18) prime?
True
Let h(k) = -k**2 - 20*k + 26. Let y be h(-21). Suppose y*n - 10085 = -1420. Is n prime?
True
Suppose 2*a = -2*i + 995 + 8231, -i = -3*a + 13839. Is a a composite number?
True
Suppose 272*b - 165964 = 268*b. Is b composite?
False
Suppose 3*t - 24 = -5*t. Suppose -3*y + y = 3*o - 5945, 3*y - 8916 = -t*o. Is y a prime number?
True
Suppose -2*d + 3 = -3*d. Is (-4)/(48/3964)*d a prime number?
True
Let y(s) = s**3 - 6*s**2 - 19*s + 47. Is y(10) a composite number?
False
Let t(d) = -2*d**3 - 7*d**2 - 4*d - 4. Let o be t(-8). Suppose -2*p + 2707 = 5*g, 2*g - 1355 = 2*p - 3*p. Let n = p - o. Is n a composite number?
False
Let z(v) = v**2 - 6*v + 3. Let y be z(7). Let w = y + -10. Suppose 3*t = -r + 83, 5*r = -w*t + 5*t + 375. Is r composite?
True
Let r(a) = -167*a - 92. Is r(-3) prime?
True
Let u(x) = 4*x - 1. Let k be u(4). Suppose 19*z - k*z - 328 = 0. Is z prime?
False
Let m be (-1440)/(-75)*(-185)/(-2). Let w = m + -1147. Is w a composite number?
True
Let h(t) = -967*t - 3. Suppose 3*s + 7 = 4*p, -2*s + 4*s = 4*p - 2. Is h(p) a prime number?
True
Let s = 308 - 57. Is s composite?
False
Let m = -659 - -282. Let p = m + 2122. Is p a composite number?
True
Let h be (-1)/((-1)/1) - -4. Suppose 0 = -h*w - 2*y - 0*y + 8540, 4*w - 6809 = 3*y. Suppose 21*l - 19*l - w = 0. Is l a prime number?
True
Let v(b) = -4*b**2 - 3*b - 376. Let n(f) = -9*f**2 - 7*f - 753. Let q(k) = 3*n(k) - 7*v(k). Let t be 0 - (-1 + (-2)/(-2)). Is q(t) a prime number?
True
Let j be (0/(0 + -4))/2. Suppose -t = 5*z + 2*t + 3858, z + 4*t + 758 = j. Let h = 1693 + z. Is h a composite number?
False
Let j(z) = -2*z + 3255. Let c be j(0). Suppose 3*m = 15, 0 = -4*s - 0*m + m + c. Is s a prime number?
False
Let b(x) = -8*x + 66. Let o be b(8). Suppose -o*i + 5 = -3*i, 2516 = y + i. Is y a prime number?
True
Suppose -4*i + 4152 + 5001 = -t, -2*t - 6871 = -3*i. Is i prime?
True
Let c = -788 + 378. Let p(r) = -17*r**3 + 2*r**2 - 4*r + 7. Let z be p(4). Let k = c - z. Is k a composite number?
True
Let r(d) = -10*d**3 - 2*d**2 + 1. Let j be r(-1). Let v = -5 + j. Suppose 386 = v*g - 210. Is g a prime number?
True
Let f(k) = k**3 - 4*k**2 - 7*k - 3. Let z be f(7). Let d = 730 - z. Is d a composite number?
True
Is (-15)/(-12) + (-2)/(48/(-275346)) a composite number?
True
Let q = 6 - 3. Let m = 6 - q. Suppose m + 3 = j. Is j prime?
False
Let b(h) = -71*h - 21. Let m(q) = 2*q**3 + 3*q**2 - q - 2. Let c be m(-2). Is b(c) a prime number?
True
Let p = 6 + 12. Let q be 47/9 + (-4)/p. Suppose -1218 = -q*u - u. Is u a composite number?
True
Let a = 62 + -58. Suppose -a*l - 4*h = -696 - 1220, 0 = 2*h. Is l prime?
True
Let l(u) be the first derivative of 47*u**3/3 + 3*u**2/2 + 5*u - 4. Is l(-3) composite?
False
Suppose p = -f + 6, -6*f + 8 = -2*p - 3*f. Suppose -p*u - u = -5*o - 3316, 5 = -o. Is u a prime number?
True
Suppose 0*u + 4*u = 4396. Let k = u - 774. Suppose -100 = -5*z + k. Is z a composite number?
True
Let y(l) be the third derivative of 5*l**6/72 + l**5/40 - 5*l**4/24 - l**3 + 7*l**2. Let w(o) be the first derivative of y(o). Is w(5) a composite number?
True
Let f(w) = -14670*w**3 - 1. Is f(-1) composite?
False
Let a = 21766 + -9185. Is a a composite number?
True
Suppose -2*w - 2*w + 88 = 0. Let r = w + -18. Suppose 1685 = r*q + q. Is q a prime number?
True
Suppose 0 = 4*f - 51 + 147. Let d be (1 + 1)/((-16)/f). Suppose -6 = -2*i, -2*n - 7*i + d*i + 114 = 0. Is n a prime number?
False
Let b = 21512 + 411. Is b prime?
False
Let g be (-2)/4 + 5/10. Is 759*(3/9 - g) a composite number?
True
Suppose -9 - 1 = -y. Suppose y*w - 165 = 7*w. Is w composite?
True
Suppose q - 9209 = -2*p, -9*p + 4*p = 3*q - 27622. Is q a composite number?
False
Suppose -3*z + 20518 = 3*j + 115, z + 20411 = 3*j. Is j composite?
False
Let g(y) = 1540*y + 12. Let a be g(12). Suppose -a = -4*h + 4*t, 3*t = 5*h - 8951 - 14160. Is h a composite number?
False
Suppose -4*n = 2*u - 3*n - 352, 0 = -5*u - n + 883. Suppose -4*q + a = -u, q + q + a - 93 = 0. Let t = 158 - q. Is t composite?
False
Let p(t) = -181*t + 12. Is p(-41) composite?
False
Let s(g) be the first derivative of 14/3*g**3 - 9/2*g**2 + 14*g - 1/4*g**4 - 1. Is s(12) a composite number?
True
Let y(u) = 6*u**2 - 15*u + 50. Let b be (-3)/((-6)/13)*16/(-8). Is y(b) composite?
False
Let k(q) be the first derivative of 123*q + 178*q - 18*q**2 + 5 + 17*q**2 + 3. Is k(0) prime?
False
Let f = 10905 + -1506. Suppose -t - 4052 = -5*a + f, -5*a + 53789 = -4*t. Is t/(-45) - (-2)/10 prime?
False
Let k be 2*((-27)/(-24))/(15/20). Suppose 3*a - 5 - 22 = -3*r, 2*a - 23 = -3*r. Suppose k*c = -r*m + 535, 3*m = -3*c - m + 539. Is c a composite number?
True
Let q(i) = -2*i - 1. Let t(l) = -306*l + 2. Let z(y) = -3*q(y) - t(y). Is z(4) prime?
True
Suppose -4*s = -x - 2 - 2, 0 = 3*s + 3*x - 3. Is (-27624)/(-14) - s/7 a composite number?
False
Let m be (1 - 2)*(-5 + 0). Suppose -m*c = -575 - 445. Suppose -c = -3*u + 459. Is u prime?
False
Suppose 9 = -3*a, 3*r - 4*r = -5*a - 4004. Is r prime?
True
Suppose 4*q - 3*i + 6*i - 16754 = 0, -4*q - 2*i + 16752 = 0. Is q composite?
True
Let o(l) = -18*l + l**2 + 1 + 10*l + 4. Let r(u) = -u**2 + 15*u - 9. Let c(s) = 5*o(s) + 2*r(s). Is c(6) prime?
False
Is (-1110)/37*(-1093)/6 composite?
True
Let r(c) = 124*c**2 - 7*c - 2. Is r(-3) a composite number?
True
Let y be 4/24 + (-5)/(-6). Let q(u) be the first derivative of 41*u**2 + u - 1. Is q(y) prime?
True
Suppose -10*x + 7504 = -5046. Is 0 + 2 - (0 - x) prime?
False
Suppose 4 = 8*t - 7*t, 0 = -f + 3*t - 8. Let l be (1 + 5)*(0 + 1). Suppose -l*n + f*n = -230. Is n composite?
True
Suppose 4*w + 2*v = 4 + 14, 5*v = -5*w + 25. Is 30/20*743*w/3 composite?
True
Suppose 2*u = -5*z - 180, -3*z = -u - 2*z - 83. Let s = u + 521. Let o = 885 - s. Is o a composite number?
False
Let v(a) = 53*a + 4. Let z(o) = -3*o**2 + 7*o + 2. Let b be z(4). Let i = b - -21. Is v(i) a composite number?
False
Suppose -4*q - 6921 = -3*g, -4*g + g = -3*q - 6924. Suppose -4*r = 5*v - g, 3*r = -v + 3*v - 929. Is v a composite number?
False
Is (412664/(-20))/(4/(-10)) prime?
False
Let q(u) = 9*u**3 + 31*u**2 - 31*u + 170. Is q(23) a composite number?
True
Let x be 1 - (-6)/(-2) - -14. Is (-18)/x*262/(-3) prime?
True
Let o(l) = l**2 - 2*l + 9. Let i be o(7). Let n = i + 15. Is n a prime number?
True
Suppose 2*g - 103 - 31 = 0. Let h = -46 + g. Let z = h + 34. Is z a composite number?
True
Let s = 1914 - -4035. Suppose m = 5, -8*d - 5*m + s = -4*d. Is d composite?
False
Suppose -20 = 5*n - 4*o, -5*n = -5*o + 15 - 0. Let x = n - -13. Suppose -h + 93 = 4*b, x*h - 525 = -4*b - b. Is h a composite number?
False
Is -134*(-1842)/(-16)*(-24)/18 prime?
False
Let z(o) = 3 + 6 + 6*o**2 - 4*o - 6. Let r be z(2). Suppose -4*v + r = -121. Is v composite?
True
Suppose 525 = -21*y + 26*y. Let p = y + 802. Is p a composite number?
False
Let s(o) be the third derivative of 0 - 5*o**2 - 2/3*o**3 + 0*o + 11/30*o**5 - 1/24*o**4. Is s(3) composite?
False
Suppose 4711 = 3*j - 1484. Suppose 5*r - 5*f - j + 225 = 0, 2*r - 733 = 3*f. Is r a composite number?
True
Let w = 44453 - 23140. Is w prime?
True
Let z(o) = 66*o**2 - 2*o - 1. Suppose -2*h = 3*h + 3*f - 62, 32 = 4*h - 2*f. Let g = h - 11. Is z(g) a composite number?
False
Suppose -5*q + 4*w - 132 = -720, -5*q + 576 = 2*w. Suppose 13*b = -8 + 8. Suppose 3*p - 25 - q = b. Is p composite?
False
Let h be 2/4*(0 + -4). Is (-225)/h - 6/4 a prime number?
False
Let c(q) = 8*q**3 + 17*q**2 - 6*q - 4. Let b be c(5). Let m = b + -538. Is m prime?
True
Suppose k + b = 4*k + 6, 0 = 3*k + b. Is (3 - (-264)/9)/(k/(-3)) a composite numb