*b - 612, -p = -5*q + 5*b. Is q prime?
True
Let s = 6930 + 9931. Is s composite?
True
Let n(k) = -k**3 + 48*k**2 - 28*k + 65. Is n(24) composite?
False
Suppose -2*n = -2*d - 3 + 9, 2*n = 4*d - 16. Suppose 399 = -d*i + 2864. Is i prime?
False
Suppose 2*m + 2 = 4*m, -2*q - m + 189 = 0. Let x(c) = 3*c - 3. Let v be x(2). Suppose 0 = a - v*a + q. Is a a composite number?
False
Let c(p) = 488*p + 11. Is c(15) composite?
False
Let g = 9202 + -2493. Is g a composite number?
False
Let f(r) = 960*r**3 - r**2 + 2*r - 1. Is f(2) composite?
True
Suppose 0 = -2*d + h - 1034, d + 866 = -5*h + 360. Suppose 1143 + 824 = -7*q. Let k = q - d. Is k composite?
True
Let t(h) = h. Let m(y) = -5*y**2 + 32*y - 17. Let s(p) = -m(p) + 6*t(p). Is s(18) prime?
False
Suppose -25 = -5*i + 4*i. Suppose 5*f = -0*s - 5*s + i, 5 = -2*s + 3*f. Suppose -215 = -p + s*x - 0*x, 3*p - 4*x - 639 = 0. Is p composite?
True
Let c(i) = 77*i - 11. Let r be c(5). Suppose -9*a = -7*a - r. Is a a composite number?
True
Let d(u) = -u**3 + 4*u**2 + 9*u - 16. Let l be d(5). Suppose -2*c - w - w = -32, -3*c + 34 = -l*w. Is c a composite number?
True
Let b(i) = 118*i**2 + i - 1. Let n(q) = 4*q**2 - 5*q - 3. Let p be n(-2). Let c be (-9)/54 - p/6. Is b(c) composite?
True
Let r = 51 + -47. Suppose -9*b + 2705 = -r*b. Is b prime?
True
Let s = 3356 + -1227. Is s a prime number?
True
Suppose 4*g + 10*l = 14*l + 43904, -2*g = 2*l - 21940. Is g a composite number?
False
Is (1282*(-2 + 3))/1 a composite number?
True
Let t = 15 + -9. Suppose 4*u + 3*n = 517, -t*u - 142 = -7*u - 5*n. Is u a prime number?
True
Let m = 143 - 23. Let t = -21 + -28. Let w = m + t. Is w prime?
True
Let d = 2524 + 2707. Is d composite?
False
Let y(j) = -6*j**3 + 5*j**2 - 16*j - 31. Is y(-6) composite?
True
Is (-934)/(-4)*(1 - -25) a prime number?
False
Let n = 43 + -43. Suppose 7*g - g - 5262 = n. Is g composite?
False
Let y be 427*1 + -5 + 2. Is (y/12)/(2/33) prime?
False
Suppose 0 = -5*z + 899 + 356. Is z prime?
True
Suppose 0 = 4*s + 3*n + 847, -s - 293 = 5*n - 94. Let x = 187 - s. Is x a composite number?
False
Let r(v) = 5 + 4 - 382*v - 2. Is r(-4) composite?
True
Let x be ((-20)/12)/(1/(-1179)). Let t = -747 + x. Is ((-3)/(-9))/(2/t) prime?
False
Let v = 569 - 390. Is v a prime number?
True
Suppose -5*f - 3*k + 862 = 0, -3*f = -0*f - 4*k - 494. Is -5*(-2)/20*f composite?
True
Suppose 89*h = 80*h + 5283. Is h prime?
True
Suppose 2*c + 2*c = -a - 61, 3*c + 22 = 4*a. Let i be 7/c + 59/2. Suppose 4*m - i + 3 = -s, 0 = 5*s - 4*m - 130. Is s a composite number?
True
Suppose 3*v - 9 = -3. Suppose p + 5*j = 27, -2*p - v*j - 21 = -7*j. Suppose -i + 288 = 3*c, p*i + 3*c - 580 = c. Is i prime?
False
Suppose 4*g + 25*g - 1471837 = 0. Is g a prime number?
True
Let y(f) = 6*f**3 - 4*f**2 + 2*f + 3. Let l be y(4). Suppose -l = -6*c + 5*c. Is c a composite number?
False
Suppose 0*g - 36 = -3*g. Suppose -2*f + g = 5*j - 69, 5*f + 15 = 2*j. Is j a prime number?
False
Suppose 5*d + 4*x - 54369 = 0, -4*d + 283*x + 43520 = 280*x. Is d a prime number?
False
Let k(j) = 7*j + 8. Let a(o) = o**2 + o + 1. Let c(l) = 5*a(l) - k(l). Suppose p - 8 + 4 = 0. Is c(p) a prime number?
False
Let p(c) = 2*c**2 + 17 + 1049*c - 1049*c. Is p(-7) prime?
False
Let w(b) be the second derivative of -17*b**3 - 5*b**2/2 + 2*b. Is w(-5) prime?
False
Let f = -2178 + 10235. Is f composite?
True
Let d be -1 - (6 - -1)*-1. Let p be (20/15)/(d/153). Suppose -5 = 5*r, -2*l - r + 187 = p. Is l composite?
True
Suppose 5*o - 21 + 16 = 0. Let x(a) = 1162*a + 7. Is x(o) a prime number?
False
Suppose 15*p - 52019 = 4*p. Is p a composite number?
False
Let c(y) = 7 + 7*y**2 - 2 - y**3 + 9 + 9 + 3*y. Is c(-10) composite?
False
Suppose -5*m = -r - 0*r - 5, r - 35 = -3*m. Suppose -4*t - 60 + 312 = -q, r = -5*q. Is t a prime number?
False
Let n be (-4)/8*(-36)/3. Let j be -135 + -3 + n/2. Let d = j + 578. Is d a prime number?
True
Suppose 2*i - 2 = y, -y - 5*i - 11 = -30. Suppose -5*b - y = 21, 4*n - 13 = -3*b. Is n prime?
True
Let u = -17 - -17. Suppose u = -9*k + 11*k - 10. Suppose 5*s - 2338 = v, -s = s + k*v - 919. Is s composite?
False
Let g be 36 + (-2)/(-1) - -4. Let h = 413 - g. Suppose h + 514 = 3*y. Is y prime?
False
Let w(d) = -336*d + 63. Let a(i) = -84*i + 16. Let x(o) = -21*a(o) + 5*w(o). Let g be x(6). Let n = g + -32. Is n a prime number?
False
Is 5132043/377 - 4/(-26) prime?
True
Suppose w - x - 2630 = 0, -10502 = -16*w + 12*w - 2*x. Is w prime?
False
Suppose 2*a - 90 = -f, 3*f - a + 58 - 342 = 0. Is f composite?
True
Let b(f) = -53*f - 64. Is b(-7) composite?
False
Let t(i) = 3*i - 73. Let g be t(26). Let b(p) = 2*p**3 - 5*p - 2. Is b(g) prime?
True
Let i = 3 + 1. Suppose -3*n - i + 19 = 0. Suppose 521 - 52 = n*a - 4*b, 5*a - 481 = b. Is a a prime number?
True
Let f = 19 - 19. Suppose 3*j + 3317 - 13850 = f. Is j composite?
False
Let l(r) = -r**2 - 14*r - 18. Let d be l(-12). Suppose -s + 1688 = d*b - 3*b, -2257 = -4*b + 5*s. Is b a composite number?
False
Let q(f) = -f**3 + 21*f**2 + 9*f + 34. Is q(11) prime?
False
Let l = -7954 - -11193. Is l composite?
True
Suppose 2*f - 7998 = -5*o, -2*o + 11987 = 3*f + 3*o. Is f a composite number?
False
Let d(k) = -k**3 + 9*k**2 - k + 9. Let q be d(9). Suppose 3*u - 51 = -3*h, -3*h - 2*h - u + 73 = q. Let x = h + -11. Is x prime?
True
Suppose -5*m + 0*m + 15 = 0. Suppose -4*s + 7 = -4*w + 2167, m*s = 3. Is w composite?
False
Let u(f) = 11*f**2 - 2*f + 11. Let k(o) = -12*o**2 + o - 12. Suppose 0 = -y - 4*y + 30. Let q(x) = y*u(x) + 5*k(x). Is q(5) composite?
True
Suppose -3*t - 4 = -5*t. Suppose t*y - 1977 = -y. Is y composite?
False
Suppose -31*f - 32*f = -938259. Is f a prime number?
False
Suppose -7*c + 12 = -3*c. Suppose -344 = -4*w + c*b, 0 = -2*w - b + 2*b + 170. Is w a composite number?
False
Let s = -75 - -76. Let r(a) be the third derivative of 205*a**4/24 + a**2. Is r(s) a composite number?
True
Let d(o) = -5*o**2 + 2*o - 23. Let j(m) = -10*m**2 + 4*m - 47. Let s(r) = -13*d(r) + 6*j(r). Is s(-8) composite?
False
Suppose -25 = 4*s - 5*b, 11 = 5*s + 4*b - 9. Suppose 0 = q - s*q. Suppose q = -17*t + 14*t + 582. Is t prime?
False
Let g(n) = n**3 + 2*n**2 - n + 7. Let r be g(0). Suppose -9*f + 358 = -r*f. Is f prime?
True
Let k(u) = 1307*u - 3. Let p be k(-1). Let m = p - -2481. Is m composite?
False
Suppose -2*u = c + 10, 4*c = 3*u + 4 + 11. Is 809 - (c - 0) - 0 a composite number?
False
Suppose 2 + 1 = 3*c, -w + 4*c - 2200 = 0. Let i be (-2)/(-8) - w/48. Suppose 64 + i = 5*d. Is d composite?
True
Suppose -x = -48*x + 253189. Is x a composite number?
False
Let b(m) = 14*m**2 - 8 - 5*m**2 - 6 + m**3 + 3 - 10*m. Is b(-9) composite?
False
Suppose 2512*n - 2516*n = -76376. Is n composite?
True
Suppose 46*o - 130135 = -39*o. Is o a prime number?
True
Suppose 0*p + 2*p + 1012 = 0. Let r(k) = k**3 + 8*k**2 - 9*k + 6. Let f be r(-9). Is f/9 + p/(-6) a prime number?
False
Suppose 87*d = 96*d - 35847. Is d a composite number?
True
Let u be -4 + 3 - (-6)/(-3). Is u + (-21)/((-964)/(-488) + -2) composite?
True
Let t = 657 + -284. Suppose 3*i - t = 260. Is i prime?
True
Let x(j) = -75*j - 9. Let b be x(11). Let p = b + -95. Let s = p + 1330. Is s composite?
False
Suppose -2*x = -x + 14. Let m be (7/(-2))/(7/x). Suppose 2*f = m + 499. Is f composite?
True
Suppose -o = -2*o + 3. Suppose 2 = 3*t + o*l - l, 2 = -3*t - 4*l. Suppose t*v - v = 57. Is v a prime number?
False
Suppose 0 = -4*j + g + 4345, g = -3*j + 1400 + 1864. Is j a prime number?
True
Suppose -o - t + 1522 = 4*t, -4*t + 6072 = 4*o. Is o a composite number?
True
Is 8/(-136) + 681264/102 a prime number?
True
Let z = -4796 - -6894. Is z a prime number?
False
Let y(v) = v + 7. Let o be y(-8). Let b be -1 + -1 - (-4 + o). Suppose b*l - 734 = -5*p, p - 2*p - 5*l = -160. Is p composite?
True
Let q = -13555 - -38036. Is q a prime number?
True
Suppose 4*v = 5*x - 117995, -3*x + v + 70794 = -2*v. Is x a composite number?
False
Let x(n) = 5*n**3 - 7*n**2 - 15*n + 40. Is x(11) a composite number?
False
Let p(z) = 10*z - 13 + 6*z + 0*z. Let w be p(-11). Let d = w + 412. Is d composite?
False
Suppose 2*p = 4*c + p + 3, 2*c - 6 = 2*p. Is (c - -271)*(6 - 5) prime?
True
Let y = 1 - 5. Let n be (6/y)/((-33)/176). Is ((-263)/3)/(n/(-24)) prime?
True
Let o(j) = 9*j**2 - 2*j - 5. Let w be o(8