61*z - 1. Let d be q(-1). Let y = -2543 + d. Is y composite?
True
Let f(d) = 746*d + 47. Is f(16) a composite number?
True
Suppose 11*s - 10135 = 44337. Suppose -s - 2222 = -17*r. Is r composite?
True
Let o(q) = -42*q**3 + 20*q**2 + 34*q + 13. Is o(-6) a prime number?
True
Suppose -8*c = -6*c. Suppose 5*t + 0*t + 5 = c. Is 24 - t - (2 + -2) composite?
True
Let g be (6/(-3) - 3)*-355. Suppose -l + 6*l + g = 0. Let y = -102 - l. Is y composite?
True
Let m = -1986 - -3010. Suppose 0 = -4*j - j + 5*g + 1275, 4*j - 5*g = m. Is j composite?
False
Let c be 4 + -3 + (104 - -1). Let w = 72 + c. Is w a composite number?
True
Suppose -53*y + 109323 = -44*y. Is y prime?
False
Let b = -712 + 1263. Is b a composite number?
True
Suppose -3 = s + 2, 1100 = 3*r + 2*s. Suppose 5*m - r = 3*m. Suppose -c + 0*c = -4*d + 148, -2*c + m = 5*d. Is d prime?
True
Suppose 0 = 4*z + 3*p - 120254, 8*p + 120242 = 4*z + 5*p. Is z prime?
False
Let c(g) be the first derivative of 17*g**4/24 + 7*g**3/6 + 9*g**2/2 + 10. Let z(k) be the second derivative of c(k). Is z(12) a prime number?
True
Let d = -2745 + 6059. Is d composite?
True
Let s = -17894 + 35455. Is s prime?
False
Let v(q) = q**3 + 22*q**2 - 2*q + 16. Let i be 130/(-6) - (-4)/6. Is v(i) prime?
True
Suppose 20 = 6*o - 2*o. Let t be (-1)/(-5) - o/25. Suppose 0*s - 4*s + 1324 = t. Is s prime?
True
Suppose 2*d - 4*n - 1 = d, -5*n = -5*d + 65. Suppose 2304 + d = 11*p. Is p a prime number?
True
Let s = 11 - 11. Let u be ((-1105)/5)/(-1 - s). Suppose -u = -r + 3*c + 20, 0 = 2*r - 2*c - 498. Is r a prime number?
False
Let l = 337 - -3934. Is l composite?
False
Let l(k) = 10*k**2 - 76*k - 76. Let t(q) = 2*q**2 - 15*q - 15. Let j(s) = -3*l(s) + 16*t(s). Is j(-13) composite?
True
Let x(c) = 12404*c - 27. Is x(2) a composite number?
False
Let j(z) = 129*z - 39. Let i be j(4). Suppose 20 = 4*m + 2*t, -4*m - 5*t = -t - 24. Suppose -g - i = -m*g. Is g a composite number?
True
Suppose 3*s = 5*s + 2, -2*t - 5*s + 1257 = 0. Suppose i + 2*c - 213 = -0*i, -3*i = -2*c - t. Is i composite?
False
Let g(h) = -3*h - 5. Let j = -13 + 24. Let p be g(j). Let v = 401 - p. Is v prime?
True
Suppose -503*i + 513*i - 131930 = 0. Is i prime?
False
Suppose -4*y + 77605 - 392250 = -3*n, -4*n + 5*y = -419526. Is n prime?
True
Let q(b) = -b**3 + 7*b**2 - 8*b - 6. Let p be q(6). Let x be 128/24*p/(-4). Suppose 2*l + 3*g = 6*l - 67, 3*l - x = -3*g. Is l prime?
True
Let v(s) = s**3 + 18*s**2 + 8. Let m be ((-198)/77)/(1/7). Let d be v(m). Suppose 0 = d*n - 5*n - 345. Is n a prime number?
False
Let w = 10 + -6. Suppose 4*r - 3*p - 1010 = 514, 4*p = -w*r + 1524. Is r a composite number?
True
Suppose -82047 = -19*n + 37444. Is n a prime number?
False
Suppose 5*z + 866 = -2*t, z - t + 176 = -0*t. Let o = -77 - z. Suppose -2*m + 133 = -o. Is m a prime number?
False
Let b = 255 + -245. Is b prime?
False
Let s(m) = 4*m**2 - 4*m + 2. Suppose n = 5 + 5. Let r be (-12)/(-20) + 14/n. Is s(r) composite?
True
Let o(m) = 90*m - 19. Let h(t) = -t**2 + 9*t - 6. Let i be h(7). Is o(i) a composite number?
False
Suppose -10 = -5*h - 0. Suppose 0 = -z - h*z - 102. Let a = z - -91. Is a composite?
True
Let d be 3 - (-2)/(2 - 0). Suppose -2091 = -d*c + 549. Suppose c = 5*s - 635. Is s prime?
False
Is -1*(-8741 - 6 - -6) composite?
False
Suppose 0 = 451*u - 445*u - 3678. Is u a prime number?
True
Let r be 2 + 0 + 1 + (-8 - -5). Suppose 5*o - 18943 = 4*p, r = -o + 3*p + 2342 + 1451. Is o prime?
False
Suppose -2*a - 2 = 2*l, 4*a = -4 - 0. Suppose l*n + n - 4 = 0. Is n a prime number?
False
Let o = 3111 - 2131. Suppose 4*r - 2*z - 2738 = 0, 4*r - 3*z = o + 1761. Is r - -2 - (3 - 1) prime?
True
Suppose 0 = -i + 3*u + 6, -u - 3 = -4*i + 10. Let z be 1/(-2)*(-48)/i. Suppose z = -7*o + 9*o. Is o prime?
False
Let n(q) = -q**2 - q + 1484. Let m be n(0). Suppose -8*y + 4*y + m = 0. Is y composite?
True
Let n(k) = k**3 + 10*k**2 + k + 13. Let r be n(-10). Suppose -r*i = 2*j - 31, i - 5*j + 1 = -0. Is 24/108 - (-781)/i a composite number?
True
Let z(f) = -204*f + 61. Is z(-34) a prime number?
True
Suppose -3*y + 5*v + 2836 = 562, 3*y - v = 2274. Is y prime?
False
Is ((-272)/(-24))/(1023/1017 + -1) a composite number?
True
Suppose 0 = t + y - 1866, 0 = -4*t - 2*y - 0*y + 7458. Let f = 1378 + t. Suppose -5*c + f = 4*d, -5*d - 1948 = -3*c - 4*d. Is c composite?
True
Let u be (1/((-4)/(-6)))/(21/(-224)). Is (-73791)/(-63) - (u/(-7) + -2) composite?
False
Let i(w) be the third derivative of w**5/12 - 11*w**4/24 + 9*w**3/2 - w**2 + 4. Is i(10) composite?
True
Let k = 99992 - 57099. Is k composite?
True
Suppose -129*v - 31599 = -138*v. Is v a prime number?
True
Let l be -2 - (-1 + -197*2). Suppose -19 = -2*i + l. Suppose -123 = -d + 2*j, 0 = 2*d + 3*j - i - 26. Is d prime?
False
Is 12779572/312 - (-5)/6 composite?
False
Suppose 7*n + 92185 = 629456. Is n composite?
False
Is -1*((-6)/(-2) + -35756) a prime number?
True
Let v(g) = -3443*g - 245. Is v(-6) a prime number?
False
Suppose 17*i - 41956 = -8993. Let l = i - 1290. Is l a composite number?
True
Let i(l) = 9*l**3 + l**2 + l - 1. Let a(w) = 11 + w**2 + 9*w - 2*w**2 - 2*w**2 + 4*w**2. Let n be a(-8). Is i(n) a prime number?
False
Let r(w) be the second derivative of 0 + 1/6*w**3 + 5*w + 115/2*w**2. Is r(0) prime?
False
Suppose -2*c + 5*d - d = -5870, 11773 = 4*c + 3*d. Is c a prime number?
False
Let r(h) = -118*h - 1. Let u(t) = -473*t - 5. Let g(z) = -9*r(z) + 2*u(z). Let j(a) = -a**3 - 5*a**2 - 4*a + 1. Let b be j(-4). Is g(b) composite?
True
Suppose -1556 = -16*v + 12*v. Suppose 6*g - 7*g + v = 0. Is g composite?
False
Let b(z) be the second derivative of 17*z**3/3 + 5*z**2/2 - 2*z. Let q be 7 - 1 - (-8 + 8). Is b(q) prime?
False
Let l(f) = 3*f + 46. Let v be l(-19). Let k(x) = -x**3 - 3*x**2 - 7*x + 10. Is k(v) prime?
False
Suppose 5*t - 3*t = -h + 9863, 2*t = 0. Is h a prime number?
False
Let s be 744/(-18) + 4/(-6). Let x = s - -145. Is x a prime number?
True
Suppose 2*g - 7*g = -25. Suppose 8*w = g*w + 4683. Is w prime?
False
Let y(w) be the third derivative of 0 - 4*w**2 - 1/24*w**4 + 0*w + 59/6*w**3. Is y(0) a prime number?
True
Let s = -3316 + 4877. Is s composite?
True
Suppose -5*i = -493818 - 179642. Is i/44 + (4 - (-46)/(-11)) a composite number?
False
Suppose -5*l = -2*l - 2922. Is l prime?
False
Let a = 155 + 31. Let b(h) = 2*h - 5. Let l be b(5). Let u = a + l. Is u a prime number?
True
Let a = -1806 - 703. Let v = -1468 - a. Is v prime?
False
Let x = 96374 + -68251. Is x composite?
False
Suppose -4 = -2*p + 12. Let i be 276/p*(-2)/3. Is i*(-3)/(-12)*-20 composite?
True
Let u = 88712 - 57994. Is u composite?
True
Suppose 2*s - i = 86510, 0*s + s - 3*i = 43245. Is s a composite number?
True
Let n(l) = -373*l**3 + 7*l + 5. Is n(-4) prime?
False
Let g(q) = -2*q - 30. Let m be g(-10). Let t(n) = -148*n - 3. Is t(m) composite?
True
Let o = -1440 - -2193. Suppose 5*n - 2*n = o. Is n prime?
True
Let m = 22126 + -14415. Is m a prime number?
False
Suppose -3*t + 10 = -2. Suppose -12 = -4*g, g - 7 + 88 = t*n. Suppose -633 = -n*o + 18*o. Is o a composite number?
False
Let j = 136 + 238. Let a = 709 - j. Is a a prime number?
False
Suppose 0*t - 2*d + 1602 = 2*t, -4*t = d - 3189. Let j = t - 345. Is j a prime number?
False
Let g(y) = -3*y**3 - 28*y**2 - 42*y + 24. Let i be g(-19). Suppose 0 = 4*l + 5*c - i, -2*l = -3*l + 5*c + 2804. Is l a prime number?
True
Let m(q) = 2*q**2 + 14*q + 5. Let c be m(-7). Suppose -c*a + 417 = -68. Is a a composite number?
False
Suppose -5*p = -7*p + 1000. Suppose -6*j = -11*j + p. Let c = j - -63. Is c a composite number?
False
Let g(w) = w**3 - 6*w**2 + 4*w + 12. Let x be g(9). Is 6*(-4)/(-6) + x composite?
True
Let w(k) = -4*k + 82 - 95 - 5*k - 2*k. Is w(-6) prime?
True
Let z(h) = -125*h + 2. Suppose 0 = -j + 5*j - 12. Let d be ((-2)/6)/(1/j). Is z(d) a prime number?
True
Suppose 5*o - 5 = 0, 4*q + 3*o = 2*q + 2437. Is q a prime number?
True
Suppose 16 = 3*d + d. Suppose 5*f - 41 = d*r, 2*r - 21 = -5*f - 4. Suppose u - 69 = q, -f*u - 3*q = -2*u - 237. Is u prime?
False
Suppose -2*c = 7*v - 4*v - 6205, 3*c = -2*v + 9315. Is c composite?
True
Let m(f) = 2*f**3 + 4*f**2 - f - 3. Let c be m(3). Suppose 5*x - c - 731 = 0. Is x a composite number?
False
Let m = -941 - -1996. Is m a composite number?
True
Let f 