Is t(-6) composite?
False
Let y(i) = 15*i**2 - 50*i + 28. Is y(19) composite?
False
Let z(l) = l**3 + 13*l**2 - 13*l + 8. Let x(g) = g**2 - 11*g - 4. Let f be x(10). Let v be z(f). Let s = v - -475. Is s composite?
True
Suppose 0 = -4*v - v + 25. Suppose -v*f - 46 = -11. Is (-1)/f - 3204/(-63) composite?
True
Let o(x) = -3*x**3 - 28*x**2 + x + 237. Is o(-22) prime?
False
Suppose 5*j - t = -0 - 14, 0 = 3*j - 3*t + 6. Let g(a) = 6*a + 4. Let p(r) = -1. Let d(y) = j*p(y) - g(y). Is d(-8) prime?
True
Suppose 3*m - 722 = -5*q, 4*q - 3*q = -5*m + 140. Is q/29 + (-84)/(-2) composite?
False
Is -12 + -5 + 10 + 1700 prime?
True
Let n be 2/(-3)*45/(-10). Suppose -5*k = -3*u + 6*u - 311, n*u - 295 = -k. Is u prime?
True
Let q be ((-5)/(-4))/((-2)/(-8)). Let k(j) = q + 0 - 2 + 4 - 18*j. Is k(-5) a prime number?
True
Is (-2419 - 7)/(-2)*1 a composite number?
False
Let r(s) = -45*s + 13. Let w be ((-6)/(-4))/(9/(-96)). Is r(w) composite?
False
Let u = -402 - -561. Is u prime?
False
Let g = -8 + 8. Suppose g = -5*f + 9*f + 4792. Is f/(-8) + 12/(-16) a composite number?
False
Suppose -14358 = 31*q - 34*q. Is q composite?
True
Let c be 572/2 + -1*2. Suppose 0 = -m + c + 43. Is 10/(-15)*m/(-2) composite?
False
Suppose -3413 = -p + 3*v, 4*v + 8 + 0 = 0. Is p composite?
False
Let r = 2196 - 753. Let n = r + -1004. Is n a composite number?
False
Let x = 30 - 42. Let m be 3238/14 + x/42. Suppose h + 227 = b, -b - h + m = -3*h. Is b prime?
True
Suppose 2*n - 2 = 0, s + 3*n - 13004 = -1578. Is s composite?
False
Suppose 23*d + 5*c - 74252 = 20*d, -4*c + 4 = 0. Is d composite?
False
Suppose 2924 = 24*g - 30652. Is g composite?
False
Suppose -138*t + 134*t = -2108. Is t composite?
True
Suppose 3*z - 15 = -2*z. Suppose 5*p = 3*y - 2*y - 781, -z*y - 621 = 4*p. Let x = 2 - p. Is x prime?
False
Is ((-186)/(-9) + -6)*6423 - 3 a composite number?
False
Let c(p) = 6*p**3 - 3*p**2 - 7*p + 13. Is c(3) a composite number?
False
Is ((-8)/(-2) - 10005)/(-1) a composite number?
True
Let h = -31890 + 53369. Is h composite?
True
Suppose 0 = -5*k - 2*k - 6531. Let p = k - -1640. Is p composite?
True
Let p be 195/10*(-4)/6. Let y(g) = g**2 + 11*g - 19. Is y(p) prime?
True
Suppose -4*z - 2607 = -u, -7*u + 3*u + 5*z + 10417 = 0. Is u a composite number?
True
Let h = -29 - -57. Suppose -4*f + 0*f + 5*r + 18 = 0, -f - 2*r = 2. Suppose h = f*n - 42. Is n composite?
True
Suppose -14 = -8*u - 38. Let p(c) = -c**3 - 6*c**2 - 4*c. Let z be p(-4). Is 20/u*2532/z a prime number?
False
Is (1/2 - -1)*116096/96 a prime number?
False
Let x(y) be the first derivative of -5 + 19/3*y**3 - y - 3/2*y**2. Is x(2) a composite number?
True
Suppose 72*t = 79*t - 3871. Is t a composite number?
True
Suppose 0 = 2*j - 3*p - 51, p = -3*j + 5*p + 75. Is 4239/21 + 3/j composite?
True
Let j be -1 + 1 - 0 - -3. Suppose 3*x + 368 = n + x, -4*x - 1096 = -3*n. Suppose 0*i + 255 = 2*i + 5*w, j*i - n = -3*w. Is i composite?
True
Suppose 0 = -4*j + 12 - 0. Suppose p + 2*o = 3*p - 518, p - 3*o = 269. Suppose v = j*v - p. Is v prime?
True
Is 87512 - (125/5)/(-5) a prime number?
True
Suppose -3*u + 19 - 7 = 0. Suppose u*k - g = 1780, -2*k + g + 897 - 7 = 0. Is k composite?
True
Let h(u) = -10 - 9*u + 2*u + 0*u + 3*u. Let d be h(-4). Suppose 0 = 2*f - 3*w - 272, 4*w = d*f - 2*f - 540. Is f a composite number?
True
Let c(l) = 75*l**2 - 5*l - 3. Let q be c(-4). Let p = q - 310. Is p a composite number?
False
Let r(q) = -1016*q + 403. Is r(-11) a prime number?
True
Suppose -2*n + j + 12796 = 0, -n + 3*j + 10144 = 3741. Is n composite?
False
Let f(h) = h**3 - 9*h**2 + 9. Let y be f(9). Let j be (-3)/(y/(-6)) - 0. Is (52 + (j - 1))*1 a composite number?
False
Let k = -56926 + 82555. Is k prime?
False
Suppose -4*i + 2*l + 2212 = 6*l, -2773 = -5*i - 3*l. Is i a composite number?
False
Let b be -3 + 2 + (-15)/(-5). Let g(s) = s**2 - s + 2. Let h be g(b). Suppose 54 - 906 = -h*w. Is w a prime number?
False
Suppose -q - 7*q - 88 = 0. Let h = q + 132. Is h composite?
True
Let y = 3438 - 2029. Is y composite?
False
Let q(m) = m - 6. Let c be q(7). Let t be c/(4/(1010 + 2)). Suppose 0 = -2*n + t + 101. Is n a composite number?
True
Let i(s) = -s**3 - 4*s**2 - 36*s - 62. Is i(-25) a prime number?
True
Let p(o) = -o**3 + o. Let x(a) = 2*a**3 - 5*a + 18*a**2 + a**3 - 9*a + 4*a**3 + 11. Let g(c) = 6*p(c) + x(c). Is g(-14) composite?
False
Suppose -5979409 = -40*l + 236551. Is l composite?
False
Let q be (-504)/10 + 24/60. Let o be ((-2)/(-5))/((-20)/q). Is o/(-3 - (-1760)/586) a composite number?
False
Let f = 225 + 104. Suppose -1202 = -3*o - f. Is o composite?
True
Let f = -680 + 1466. Suppose -f = 2*y - 3732. Is y composite?
True
Suppose 4*c + 0*c = d - 1, -2*d = 4*c - 14. Is 12 + 6 + c/1 a prime number?
True
Let c(j) = 203*j - 152. Is c(21) a prime number?
True
Let b be (6/9)/((-4)/(-42)). Let x(q) be the second derivative of q**5/10 - q**4/4 - 5*q**3/6 - 7*q**2/2 + 6*q + 2. Is x(b) a composite number?
True
Suppose -3*i - l + 14 = -2*l, -2*l + 8 = 0. Suppose -8888 = -i*r - 2*r. Is r composite?
True
Suppose 28 = 7*w - 3*w. Let m(o) = 4*o**3 + 6*o**2 + 8*o - 16. Is m(w) a prime number?
False
Suppose 2*g - 9325 = -3*g. Let d = g + -822. Is d composite?
True
Let o = -590 + 1116. Suppose -o = 8*m - 12534. Is m a composite number?
True
Let r be 0/(2*(-2)/4). Suppose -5*v + 7*t - 4*t + 2403 = r, -2*t - 475 = -v. Suppose -622 = -5*j + v. Is j a prime number?
False
Let g(t) = -t**2 + 2*t + 3. Let c be g(0). Suppose 69 = c*w + 2*k, 2*w = -5*k + 9 + 48. Is w a composite number?
True
Let w be 2*1 - (-1 + 1). Suppose 57 = w*h + 2*s - 189, 0 = -5*h - 3*s + 615. Is h a prime number?
False
Suppose 3 = h + 1. Let f = -22 - 246. Is (-3 - f) + (2 - h) a composite number?
True
Let h = -7772 - -15765. Is h a prime number?
True
Suppose -32*r + 286822 = -442234. Is r a composite number?
False
Let x be 1 + (3 - (-1 - 0)). Suppose -x*y - 6 = -7*y. Suppose -3*q = -5*s + 2470, 3*s - y*q + 0*q = 1488. Is s composite?
False
Let m(x) = 2 + 2 + 5*x + 13*x**2 + 30*x**3 - 31*x**3 - 23. Is m(10) a prime number?
True
Let w(l) = 1 + 358*l - 197*l + 314*l + 171*l. Let o = 4 + -3. Is w(o) prime?
True
Suppose -w = -b + 8, -4*w + w - 3*b - 6 = 0. Is (-28)/20*2*w a composite number?
True
Let u(v) = -122*v + 2 + 47*v - 9. Let g be 4*-3*7/21. Is u(g) a prime number?
True
Let d be (4/5)/(10/(-25)). Let r be ((-11)/d)/(5/20). Suppose -8*g + 3*g - 77 = -2*i, r = i + 3*g. Is i a composite number?
False
Let d be -1*(-4)/4*2. Suppose d*s + o - 229 = 285, 0 = -3*s - 5*o + 757. Is s composite?
True
Let h = 506 - 181. Let p = h + -227. Suppose -q = -p - 51. Is q prime?
True
Is (1 - -6 - 8)*-28829 a prime number?
False
Let x = 786 - 493. Is x a prime number?
True
Let v = -30 + 26. Let k be (-3 - v) + -2 + 1. Suppose 3*t - 140 - 259 = k. Is t prime?
False
Let m(v) = 9*v - 5. Suppose 13 = -b + u, 4*u = -4*b - 19 - 41. Let j = -8 - b. Is m(j) composite?
True
Let l = 2558 + -2073. Is l a prime number?
False
Let m(r) be the third derivative of r**7/35 - r**6/720 + r**5/40 + r**4/2 - 3*r**2. Let k(f) be the second derivative of m(f). Is k(-2) prime?
True
Suppose 10*h - 252263 = 7*h - 2*s, -4*h - 5*s = -336346. Is h prime?
True
Let a(f) = 1190*f + 91. Is a(6) composite?
True
Suppose -l + 503 = 71. Let h = l + 355. Is h a composite number?
False
Let a(g) = 39*g**2 + 4*g - 3. Let r be a(3). Suppose 0*m + r = 3*m. Let w = m + 29. Is w composite?
False
Let j(r) = 10*r**3 - 3*r**2 + r - 1. Let q(d) = d + 7. Let o(c) = 2*c + 7. Let b(l) = -2*o(l) + 3*q(l). Let v be b(5). Is j(v) composite?
True
Let f = -49 + 34. Let s be ((-6)/f)/(1/5). Suppose m - 5*b + 43 = 3*m, -97 = -5*m - s*b. Is m composite?
False
Let r(k) = 536*k**3 - 2*k**2 + 7*k - 5. Let u be r(2). Suppose -2*d - 3*a = -u, -4*a + 2*a = 5*d - 10739. Is d prime?
False
Let j(y) = 14*y**2 - y - 1. Let v be j(-1). Let g = v - 13. Let q(l) = 143*l**3 + l**2 - 2*l + 1. Is q(g) a composite number?
True
Let r(p) = -7*p + 1. Let t be r(2). Let i = t - -23. Let u = i - 3. Is u a prime number?
True
Let h be -9*(-69 + -3 + 1 + 0). Suppose -3*u = -h - 948. Is u prime?
False
Let d be (-46)/(-4)*(3 - -27). Let n = d - -548. Is n composite?
True
Let a(n) = 7*n**2 + 7*n - 3. Let j be -5*(19/(-5) - -3). Suppose 0*g + 11 = -k - g, -j*g - 4 = -k. Is a(k) a prime