 23*v**2 + 8*v - 56. Let i(w) = -17*d(w) + 6*t(w). Is i(7) prime?
True
Let o(r) = 155*r - 6. Let k be (5/3)/((-3)/(-9*1)). Is o(k) composite?
False
Suppose 89777 = 3*x + 13*k - 17*k, 119696 = 4*x - 4*k. Is x prime?
False
Suppose m + 3*m - 2509 = -3*h, m - 5*h = 633. Suppose -837 = -z + m. Is z prime?
False
Suppose -112*g = -123*g + 7634. Is g prime?
False
Let d be (-43)/(-9) + (-6)/(-27). Let a(q) = 20*q + 3. Let m(b) = 21*b + 2. Let t(z) = -5*a(z) + 6*m(z). Is t(d) a prime number?
True
Let p be -1356 - (-4)/(-3)*(-6)/4. Let t = p + 3201. Is t a composite number?
False
Is ((-19841)/4)/(44/16 - 3) prime?
True
Let m(a) = 104*a**2 + 5*a + 7. Suppose 0 = -d + 2*d - 3*h - 9, -3*d = -3*h - 21. Is m(d) composite?
True
Let o(i) = -277*i - 1. Suppose -4*m = 5*d + 96, -m - 3*d - 33 + 2 = 0. Let c = -21 - m. Is o(c) prime?
False
Let t be (1122 + -5)*(2 - 1). Suppose 3*n - 5*w = 3351, 3*n - 4*n = w - t. Is n prime?
True
Suppose -230 = -6*f + 5*f. Let s = f + -623. Is (20/(-12))/(1/s) a prime number?
False
Let n = -14020 + 28731. Is n a prime number?
False
Is ((-4)/(-4) + 7900)/1 composite?
False
Let x be (69/46)/(3/40). Suppose -x = -4*q, 2*q + 2*q = 5*i - 12875. Is i a prime number?
True
Let a(f) = f**3 - f**2 - 5. Suppose 3*t = -5*l - 2*t + 115, -5 = -t. Suppose l = 6*y - 0*y. Is a(y) composite?
False
Let s(p) = -p**3 + 9*p**2 - 7*p + 4. Let q be (-42)/(-5) + 16/(-40). Let c be s(q). Suppose 9 = -t + c. Is t composite?
False
Let o(f) = f + 12. Let r be o(-9). Suppose -2*m + 76 = -2*a, -a + 54 + 56 = r*m. Is m a composite number?
False
Let l(n) = n**2 - 15*n - 27. Let t be l(15). Let o = 100 - t. Is o prime?
True
Let c(k) = -k + 9. Let n(b) = -2*b + 19. Let f(l) = -5*c(l) + 2*n(l). Let r be f(5). Is r/(-4)*(-4 + 386) a composite number?
False
Is 0 + 6941 + (-15)/5 + 5 prime?
False
Let s be 60/2 - (-2 + -1). Let j = 16 + s. Is j prime?
False
Let k = 11131 + -6930. Is k composite?
False
Let o(k) be the first derivative of -k**3/3 + 8*k - 8. Let x be o(-3). Is (-393)/(-15)*(-5)/x composite?
False
Let w(f) = 242*f**3 + f**2 + 8*f - 8. Let z be w(1). Suppose -m + 0*m - 17 = -5*l, 0 = -3*l + m + 9. Suppose -l*a + z = 23. Is a prime?
False
Suppose -v = -2*i + 67, 4*i + 3*v = -2*v + 113. Let l be (-4)/(-6) - (-205)/3. Let c = l - i. Is c prime?
True
Suppose -4 = z - 2*c - 0*c, 3*z + 3*c = 15. Let v = 5 - 3. Suppose 0 = z*w - v*g - 24 - 20, 5*w - 104 = 3*g. Is w a prime number?
True
Let f(n) = -n**2 - 8*n + 3. Let p be f(-9). Let t(k) = 30*k**2 + 12*k + 1. Is t(p) a prime number?
True
Let f(v) = v + 14. Let c be f(-9). Suppose c = -l + 26. Is l prime?
False
Let l(u) = 3*u + 2. Let f be l(-5). Let a = f + 19. Is (-2)/a + (-603)/(-27) composite?
True
Suppose -133700 = -5*s + 5*k, -21*k + 25*k = -3*s + 80185. Is s composite?
True
Suppose 0 = 4*m + 5*v + 28 - 100, -38 = -2*m - 3*v. Is (m - 12)/(-2 - 6219/(-3109)) a prime number?
True
Let i = 30 + -36. Is 16/i*3*214/(-8) composite?
True
Suppose 5*v = 2 - 7. Let u be ((-3)/(-6))/(v/(-94)). Let i = u + 282. Is i prime?
False
Let f(k) = -k**2 - k. Let g(n) = -13*n**2 - 3*n + 3. Let a(c) = -2*f(c) - g(c). Is a(4) a composite number?
False
Suppose 6 = v - 3. Let i(x) = 41*x - 5 + v + 12*x + 0. Is i(3) prime?
True
Let c(p) = 1828*p**2 - 3*p + 2. Let o be c(1). Let t = 2716 - o. Is t a composite number?
True
Suppose 7*m - 2*m - 10 = 0. Suppose -3*l = -5*o - 0*l + 21, -11 = -5*o - m*l. Suppose -o*f - 3 = 0, 0 = c - 5*f + f - 27. Is c composite?
False
Let v(y) = 173*y**2 + 16*y + 128. Is v(-5) prime?
True
Let f = -221 - -1086. Is f prime?
False
Let z = -17134 - -24747. Is z a composite number?
True
Suppose 29*n = 34*n - 1465. Let x(i) = 42*i - 6. Let r be x(5). Let w = n - r. Is w prime?
True
Suppose 2*k + 47 = -5*p, 2*k - 3*p = k - 7. Let f = -123 - -74. Let r = k - f. Is r a prime number?
False
Let p = -50 - -46. Is 1270/p*(-2 + (-5 - -5)) prime?
False
Suppose 0*c + 3*c - 10683 = 0. Suppose -4*u + c = 5. Is u a prime number?
False
Let r = 15818 + -8567. Is r a composite number?
True
Let x(r) = 3091*r**2 - 14*r + 16. Is x(1) a composite number?
True
Let x be 5/1*(-12)/(-12). Let i(t) = 3 - 2*t + 2 + 3*t. Is i(x) composite?
True
Let x be -1 + (3 - 3) - -4. Suppose -2*p = -5*r + x*p - 1865, -2*r = 3*p + 751. Is (-2)/(2/r*2) a prime number?
False
Suppose -4*s - 31 = d - 5*s, d - 3*s + 25 = 0. Is d/4*(-22)/1 prime?
False
Suppose 21*b = 201733 + 251594. Is b a prime number?
True
Suppose 10*t - 8739 = 1151. Is t composite?
True
Is 15199 - ((-24)/(-14))/(26/91) a prime number?
True
Suppose 0 = 11*a + 15015 + 11055. Let i = -1573 - a. Is i a prime number?
True
Suppose -2*l = 2*c - 11 - 11, 3*c = 3*l - 15. Let j be 948/l*2/(-3). Let h = -22 - j. Is h a prime number?
False
Let s = 918 - -2167. Is s composite?
True
Let l(h) = h**2 - 7*h - 1. Let b be l(4). Suppose 4*k = -s - 5, 5*s - 2*k = 85 - 0. Let p = b + s. Is p a composite number?
False
Let p(u) = -u**3 - 8*u**2 + 6*u - 2. Suppose i + a + 13 = 0, 0 = -i + 3*a + a + 2. Let f be p(i). Suppose f + 235 = c. Is c a prime number?
True
Is (-64078)/(-14) - (-2 - -2) a composite number?
True
Suppose 764125 = 20*o - 66715. Is o a composite number?
True
Is (237/(-5))/((-10)/(600/18)) a composite number?
True
Let t be 1899/(-3)*(-3 - -2). Let y(x) = x**3 + 8*x**2 - 2*x - 12. Let l be y(-8). Suppose -l*h = -h - t. Is h composite?
False
Suppose -5*w - 420 = -4*w. Let q = 643 + w. Is q a composite number?
False
Let n(v) = -7*v - 23. Let x(a) = -24*a - 81. Let g(f) = 18*n(f) - 5*x(f). Let c(i) = -i**2 + 2. Let j be c(-3). Is g(j) a composite number?
True
Suppose -2*w + 5*f = 31, w - f = 2*f - 17. Is ((-1)/(-3))/(w/(-7944)) prime?
True
Let m = -85 + 96. Let l(o) = 150*o - 53. Is l(m) prime?
True
Suppose -3*z + 4970 = 1517. Is z a prime number?
True
Is 166329/15 + (-10)/(-25) prime?
False
Suppose -2*b - 4*j = -41806, 4*b - 3*j = b + 62682. Is b a composite number?
False
Suppose 58*k - 18310 = 48*k. Is k a prime number?
True
Suppose 4*m - 11114 - 1666 = 0. Let o = m - 2200. Is o a prime number?
False
Let c be (16 - 2)*(1 - 4/8). Let i(p) = 2*p**3 - 8*p**2 - 9*p + 6. Is i(c) composite?
True
Let n = -8 + 11. Suppose -t - n = -2*t. Is 1/(2/1410*t) a composite number?
True
Let n(w) = -w**3 - 8*w**2 + 32*w + 42. Is n(-13) a prime number?
False
Let a = -11842 - -28347. Is a a prime number?
False
Suppose -q - 4*q = 15. Is (3207/2)/(4/((-8)/q)) prime?
True
Let r(x) = -117*x**2 + 6*x - 7. Let y be r(-4). Let s = 276 - y. Is s a prime number?
True
Let x(n) be the first derivative of -2*n**2 - 5*n - 5. Let k = -3 - 1. Is x(k) composite?
False
Suppose -14*s + 36784 = -66942. Is s composite?
True
Let w(j) = -3*j**3 + 10*j**2 + 1. Let a be w(-7). Let s = a + -641. Is s prime?
False
Let w = -25692 + 40469. Is w a composite number?
True
Let p be -7*(7 + (-4 - 52)). Suppose -322 = 4*f - 2*t, t = -0*f + 4*f + 317. Let r = f + p. Is r composite?
True
Let w(z) = z**3 + 5*z**2 - z - 10. Let u be w(-4). Suppose 9000 = u*n - 4610. Is n a composite number?
False
Suppose 17*q - 300298 = 22719. Is q composite?
False
Let m = 1780 + -609. Is m composite?
False
Suppose s + 17 = -w, w - 2*s + 11 = -15. Let n(c) = -120*c + 59. Is n(w) a prime number?
True
Let v be (-2544)/27 + (-4)/(-18). Is 6/(-4)*v/3 a composite number?
False
Let n(a) = 11*a**2 + 30. Is n(-9) a composite number?
True
Let z(f) be the first derivative of 7*f**6/360 + f**5/40 - 5*f**4/24 + f**3 + 3. Let h(w) be the third derivative of z(w). Is h(-4) a prime number?
False
Suppose n - 8 = -3*n. Suppose 3*u - 5*b = 8*u - 5, 0 = n*b. Is 2/u*(-582)/(-12) composite?
False
Let v(q) = q**3 + 2*q**2 - 3*q - 2. Let l be v(-2). Suppose l*d - 1736 + 412 = 0. Is d a prime number?
True
Let u = 11 - 12. Let q be ((0 - u)/1)/(-1). Is (-1570)/30*3*q a prime number?
True
Let r be 2/(-3) - 80/(-12). Suppose 0 = 2*b - 2 - r. Suppose 237 = b*p - p. Is p prime?
True
Let k(v) = 95*v**2 - 429 + 433 + 94*v**2 + 4*v. Is k(-3) a prime number?
True
Suppose 8*c - 9*c = -3259. Is c a composite number?
False
Suppose 5*m = -5*k + 12455, -29*m = 4*k - 28*m - 9958. Is k a composite number?
True
Let y be 6972/(-63) + (8/6)/2. Suppose 0 = 2*t - 6*t - 180. Let n = t - y. Is n a composite number?
True
Suppose -3*q = -2*s - 34500, 0 = q + s - 8994 - 2501. Is q a composite number?
True
Let l(g) = g