v - 96163. Is k composite?
True
Let c = 304 + 1730. Let t = c + -1053. Suppose -t = -3*h + i - 87, 3*h + 5*i = 912. Is h a prime number?
False
Let t(s) = -s + 4. Let y be t(-18). Let h(q) = 8*q**2 - 27*q - 27. Is h(y) prime?
True
Suppose o + 3455 = -2*y, -3*o = 3*y - 6*o + 5169. Let u be y/(-10) + 4/10. Suppose 49 - u = -4*l. Is l a prime number?
True
Let f(v) = 2134*v - 229. Is f(11) prime?
False
Let z be ((-5)/(45/(-6)) - 1)*51. Let b(y) = -y**3 - 14*y**2 + 10*y - 23. Is b(z) a prime number?
False
Let i(n) = -199*n**3 - 2*n**2 - n + 2. Let x be i(-2). Suppose q = 5*q + x. Is q/(-7) - (-8)/28 composite?
True
Is (-1)/(-4*(-5)/(-27740)) a prime number?
False
Let c(w) = -8*w + 5. Let r(o) = 9*o - 5. Let u(j) = 3*c(j) + 4*r(j). Let h be u(5). Suppose -h = -a - 4*a. Is a composite?
False
Let p(q) = 485*q - 6. Let i be p(4). Suppose -i = -10*b + 8*b. Is b composite?
False
Suppose 3*d - 7*d + 5306 = 2*x, -3*d - 2653 = -x. Is x composite?
True
Let j = 2716 - -916. Suppose -j + 9942 = 10*x. Is x a prime number?
True
Let q(p) = 6*p - 10. Let u be q(14). Let h = -39 + u. Is h a prime number?
False
Suppose -3*j - 5*q = -49, -5 = 3*j + q - 34. Is 1/8*2 - (-25622)/j a composite number?
False
Let v(z) = 3*z**2 + 2*z + 1. Let t be v(-1). Suppose 4*f + 4*l = t*f, l + 3 = 0. Is (-1719)/f*12/(-18) a composite number?
False
Let k = -51 + 22. Let z = k + 232. Is z prime?
False
Let f = -7 - -7. Suppose -4*t + t + 378 = f. Suppose -2*x = -3*c - t, 5*c - 208 = -3*x - x. Is x prime?
False
Is (-1 + (-4)/(-3))/((-17)/(-16473)) a composite number?
True
Let w(p) = -p**3 - p**2 - 3*p + 4. Let b be w(0). Suppose 1315 - 6060 = -5*a + b*r, -5*a + 4745 = 3*r. Is a composite?
True
Let l(i) = -43957*i - 519. Is l(-4) a prime number?
True
Let w be 7 + -2*(-12)/(-8). Suppose 4*j + w*d - 724 = 0, j - 77 = 2*d + 92. Is j prime?
False
Let d be (-53)/3 - (-3)/(-9). Let u be (9/(-2))/(d/120). Suppose -l = 2*l - u. Is l prime?
False
Suppose -2*h + 4 = -12. Let p = h - 5. Suppose 5*d = -x + 557, -4*d - p*x + 454 = 2*x. Is d composite?
True
Suppose 5*r + 207 = -973. Let l = r + 351. Is l a composite number?
True
Suppose 695 + 2645 = 4*r. Suppose 5*v - r = 2*u, -865 = -0*v - 5*v - 4*u. Is v composite?
True
Suppose -9*n = -23*n + 731122. Is n prime?
True
Let a = 14884 + -8499. Is a composite?
True
Suppose -48 = -4*c - 36. Let t be -2 - (-2 + (-1 - 0)). Is c/(-6)*-66*t composite?
True
Let r = -1502 + 2164. Is r composite?
True
Let n(q) = 703*q**2 + 19*q - 167. Is n(12) a prime number?
True
Let g(a) = -6*a**3 + 3*a**2 + 2*a + 3. Let l be g(-4). Let t = -4 + 8. Suppose -u + t*d + l = 0, -3*u + 1585 - 379 = 3*d. Is u a composite number?
True
Suppose -3*g + 6 + 0 = 0. Let s(z) = -z + 6. Let v be s(g). Suppose -94 + 492 = 2*r - 3*k, 3*r - v*k = 598. Is r a prime number?
False
Let l = -811 + 511. Suppose k + 1258 = 3*k. Let o = l + k. Is o prime?
False
Let r be (-2 - (-13419)/14)*(-1 - 1). Let s = -1246 - r. Is s a composite number?
True
Let i(v) = -v**3 + 8*v**2 - 8*v. Let t be i(7). Is ((-35)/4)/t*716 composite?
True
Let z = -27135 - -76390. Is z prime?
False
Is (-15634)/((-6)/2*(-22)/(-33)) a prime number?
True
Let b = 420 - 417. Let s be (-2)/((-2)/(-1))*-2. Suppose 89 = b*j - 2*j + s*d, 2*d = 2*j - 166. Is j a prime number?
False
Suppose 4*k + 2*s = 4860, 0 = -k - 5*s + 178 + 1046. Is k prime?
False
Let m be (-6)/(-9) + (0 - (-565)/3). Let d = m - 71. Is d prime?
False
Let v = -20 + -104. Let h(u) = 10*u**2 + 2*u - 5. Let r be h(2). Let g = r - v. Is g a composite number?
False
Suppose 29477 = -37*l + 38*l. Is l a prime number?
False
Let s = -4550 - -7479. Is s composite?
True
Suppose -2*k - 35 = -5*a - 121, k + 5*a = 73. Suppose -4*y + k = -7. Is y a prime number?
False
Let o(r) = 8*r**3 - 2*r + 1. Let s(y) = -y**3 - 9*y**2 + 3. Let b(d) = 10*d**3 + d**2. Let a be b(-1). Let f be s(a). Is o(f) composite?
False
Let o(j) = 31*j**2 - 5. Let u(x) = x**3 + 2*x**2 + 2. Let m be u(-2). Is o(m) a composite number?
True
Let s(d) = d**3 + d**2 + 1. Let y(w) = -78*w**3 + w**2 - 2*w - 3. Let r(g) = s(g) + y(g). Is r(-1) composite?
False
Let x(f) = 6702*f + 9. Is x(1) composite?
True
Suppose -3*m - 7*o + 9*o + 5837 = 0, 0 = -3*m - o + 5852. Is m a composite number?
False
Suppose 99*z - 30569 = 88*z. Is z a composite number?
True
Let l = -758 + -771. Let b = 1212 - l. Is b a composite number?
False
Let d(x) = -7*x + 2*x**3 + 17*x**2 - 3 - 3 - 19*x**2. Is d(7) composite?
True
Let j(k) = 4*k. Let y be j(12). Let v = 10 + y. Is v a prime number?
False
Suppose -38*s + 166880 - 11574 = 0. Is s a prime number?
False
Suppose 756 + 497 = 7*v. Let m = 288 - v. Is m a prime number?
True
Let w be -6*8/12*-3. Let c(m) = m**3 - 8*m**2 - 2*m - 5. Is c(w) composite?
False
Suppose u - 28 = 239. Suppose -376 = -3*q - 5*t, -u = -2*q - 3*t - 16. Is q composite?
False
Let m(w) = -306*w + 121. Is m(-7) a composite number?
True
Let s be ((-12)/6 + 0)*(28 + 0). Let a = s + 177. Is a composite?
True
Suppose 5*c - 16*f = -14*f + 74547, -3*c = -f - 44728. Is c a composite number?
True
Suppose 2*t = -4*t + 60. Is (4975/t)/((-5)/(-10)) a prime number?
False
Suppose 6*g = 2*g + 5*d + 69, 47 = 2*g - 5*d. Suppose 2*f - g = -7. Suppose 0 = 4*v - f*v - 178. Is v composite?
False
Let q = 5499 - -1262. Is q composite?
False
Is (-47920)/12*132/(-55) + 3 prime?
True
Let i(h) = 2669*h + 136. Is i(3) prime?
False
Let i = 12282 - 7279. Is i a prime number?
True
Let n(k) = k**3 - 8*k**2 - k + 8. Let s be n(8). Suppose -2*a + 9 - 1 = s. Suppose -a*y - 149 = -5*y. Is y a composite number?
False
Suppose -2*d = -d - 4*g - 3755, -4*d + 14978 = -2*g. Is d composite?
True
Let w = -20 - -23. Suppose h - 232 = w*x, -4*h + 682 = -h + 5*x. Suppose -4*g = -1887 - h. Is g a prime number?
False
Let k(n) = 13*n + n**2 + 2 + 0*n**2 + 6. Let y be k(-12). Is (-53)/y - 15/(-20) composite?
True
Let s(x) be the third derivative of 13*x**4/24 - 7*x**3/2 - 22*x**2. Is s(20) a prime number?
True
Let j be 6/(-10) - (-307800)/(-125). Let y = 778 - j. Is y composite?
True
Let v = -11 - -9. Is 5/v*(240/(-5) + 2) a prime number?
False
Suppose -23766 = 4*n - 8*n - 2*y, 3*n + y - 17822 = 0. Is n a composite number?
False
Suppose -11*c - 21*c + 358816 = 0. Is c composite?
False
Let c = -15 - -17. Suppose v = -3*a + 166, 3*v - c*v + 119 = 2*a. Is a a composite number?
True
Let z = 15 - 6. Let y = 13 - z. Suppose -q = -y*m - 191, -5*q + m + 1050 = -0*q. Is q a composite number?
False
Let g(d) = 28*d**3 + d - 1. Suppose 4*h = -2*l - 14, -3*l + 2*l - 3 = h. Let u be g(l). Is (u/(-6))/(3/(-9)) a composite number?
True
Let r be 2163/9 - (2 - 24/9). Let f = r + 66. Is f a composite number?
False
Suppose 0 = 4*x - 12, 5*m - 3*x = 2 + 4. Suppose m*u - 2 = 4. Is 141 - (-2*u + 2) composite?
True
Let p(i) = 2*i - 6*i - 1 - 15*i**2 - i**3 + 14*i**2 - 4. Is p(-7) a composite number?
False
Suppose -14 = -b - 12, 5*b = d - 3933. Is d a composite number?
False
Suppose 5*f + 2*u + 28805 = 0, 4*f - 5*u = -16912 - 6132. Let i = -3288 - f. Is i prime?
True
Suppose l - 30 = -5*p + 6*l, -2*p - 16 = 5*l. Suppose 4*q - 2*i - 459 = 3*i, -p*q + 228 = -4*i. Suppose 452 + q = 4*c. Is c a composite number?
True
Let q = -42 + 49. Let b(f) = 2*f**2 - 7*f + 10. Is b(q) a composite number?
False
Suppose 3*x - 796 - 2186 = 0. Let z = x - 557. Is z prime?
False
Let x(i) = 2*i + 23. Let r be x(-11). Let j(t) be the first derivative of 21*t**4 + t**3/3 - t**2/2 + t + 2. Is j(r) prime?
False
Let d(p) = -13*p + 31*p + 40*p - 5*p. Let w(o) = 2596*o. Let u(b) = -295*d(b) + 6*w(b). Is u(-1) composite?
False
Let i(l) = l**2 - 10*l - 12. Let f be i(11). Is (f*(2 - -50))/(-2) prime?
False
Let l(h) = 163*h**2 + h + 1. Let k(n) = -n**2 - 8*n + 23. Let c be k(-10). Is l(c) a prime number?
True
Let c(n) be the second derivative of -n**3/3 + 7*n**2/2 + 84*n. Let z(p) = 7*p + 1. Let f be z(-1). Is c(f) a prime number?
True
Let b = -60 + 85. Let d = 299 - b. Is d prime?
False
Let s(h) be the second derivative of h**5/20 + 29*h**4/12 + 14*h**3/3 + 43*h**2/2 - 27*h. Is s(-28) a composite number?
False
Let j(r) = -45*r + 13. Let i(q) = 46*q - 14. Let a(z) = 4*i(z) + 3*j(z). Is a(4) a composite number?
False
Let c(t) be the second derivative of 4*t - 2/3*t**3 - 1/2*t**2 + 0 + 1/12*t**4. Is c(-12) prime?
True
Let j(r) = 4*r - 3