-0*a - 9369. Is a a composite number?
True
Let p be (18/(-15))/((-6)/20). Suppose 4*i + 0*i - p*z - 7816 = 0, 5 = -z. Is i composite?
False
Is 14214/2*1/3 a composite number?
True
Let v(g) = 14*g - 3. Let y be v(1). Suppose -j + 9 = -4*a, j - y = -3*a + 8*a. Is -2*-87*a/(-4) a composite number?
True
Suppose 0 = 4*a - r - 52168, 8*a - 9*a + 13047 = r. Is a composite?
False
Let j = -14623 - -33104. Is j a composite number?
False
Suppose -5*u + 0*u = -5*g - 95, g = -5*u - 7. Let p = -11 - g. Is p composite?
True
Is -4602*(-3 + -2) + 7 prime?
True
Let c(b) = 349*b**3 - 3*b**2 - b - 1. Is c(2) a composite number?
False
Let d = 7 - 14. Let x(g) = 6 - 5*g**3 + 2*g**3 - 4*g**2 + 6*g + 0*g**2. Is x(d) a composite number?
False
Let c = 7319 - 3330. Is c a prime number?
True
Let u = -16 + 4. Let a = u - -15. Suppose -6*p + 573 = -a*p. Is p prime?
True
Suppose -1220971 - 786579 = -50*n. Is n prime?
True
Let s = -84 - -75. Is (-2905)/s - (-2)/9 a composite number?
True
Let b(s) = -2942*s**3 + 2*s**2 + 13*s + 31. Is b(-2) prime?
True
Suppose u + 52 = -3*u + 2*d, -4*d = -u - 27. Let w(z) = z**2 + 11*z - 10. Let q be w(u). Is (-5)/(q/516) - 1 a composite number?
False
Suppose x + 1 = 5, -5*j + 23 = 2*x. Suppose -j*o - g + 0*g = -25827, 0 = -5*g. Is o a composite number?
False
Let j be 9/(2/((-8)/(-6))). Suppose -12 = -9*z + j*z. Suppose 0*w - z*w = 5*l - 173, -5*w - 122 = -4*l. Is l a prime number?
False
Suppose -8*h + 14*h - 1068 = 0. Is h prime?
False
Suppose -5*w + 25 = 5. Suppose w*p + 35 = p + a, -p = -3*a + 17. Let o(s) = s**3 + 15*s**2 + 2*s + 5. Is o(p) composite?
False
Let q = -1636 + 1009. Let b = 191 - q. Is b prime?
False
Suppose -8*n + 32342 = -43922. Is n a composite number?
False
Let m be 40/15 + 1/3. Let d(w) = -287*w + 1. Let v be d(-2). Suppose -m*t = 2*t - v. Is t a prime number?
False
Let m(h) = -h**2 + 2*h + 422. Suppose 2*o - 4*k - 5 = k, 3*o - 2*k - 2 = 0. Is m(o) a prime number?
False
Let b(x) = x**3 - 18*x**2 - 16*x - 8. Let o be b(20). Suppose 5*t = t + o. Is t a prime number?
False
Let g(y) = -y**3 + y - 360. Let j be g(0). Suppose -5166 = 3*v - 12*v. Let n = v + j. Is n composite?
True
Is ((-352362)/8)/((-12)/16)*1 a prime number?
True
Let n(f) = f**2 + 11*f + 6. Let u be n(-10). Let l be 1/(1/u) - -7. Suppose -2*q - 3*p - 880 = -3*q, l*q + 3*p - 2676 = 0. Is q a prime number?
False
Let g be 2/(-3) - (-9)/(-27). Let m(b) = -195*b - 8. Is m(g) composite?
True
Is 2/(-5) - (8841/(-5))/3 a prime number?
False
Let t(i) = 3*i**2 - 15*i - 217. Is t(-31) composite?
True
Suppose 2*z + 3*z + 2*l - 10 = 0, -4*z - 5*l = -25. Suppose -5*i + 25 = z, 0*m + 168 = m + 4*i. Let j = m - -1. Is j composite?
False
Let y(r) = -60*r - 5. Let j(u) = -u**2 + 10*u + 3. Let q be j(10). Suppose -3*o = -5*v - 4, -3*o + q*v = -0*o. Is y(o) a composite number?
True
Is -159*37*(-9)/27 composite?
True
Let r(s) = -2 - 5 + 281*s + 0 + 2. Let o be r(2). Is o/3 + 4/(-6) a composite number?
True
Suppose 3*y = -k - 2130 - 3532, 2*k + 3768 = -2*y. Let c = y - -5164. Suppose -c = -f - 4*f. Is f composite?
True
Suppose 0 = -2*k + o + 5, -k + 3*o + 5 = 2*o. Suppose 2*y - 173 - 183 = k. Is y prime?
False
Suppose 6*h - 36029 - 5341 = 0. Suppose -8*d = -h - 3145. Is d a composite number?
True
Suppose 8*p + 32527 - 225095 = 0. Is p prime?
True
Let k(y) = 8*y**3 + 4*y**2 - 17*y + 14. Let f(a) = 9*a**3 + 5*a**2 - 18*a + 13. Let i(s) = -5*f(s) + 6*k(s). Is i(6) composite?
True
Let c(r) = -r**3 - 6*r**2 - 11*r - 25. Is c(-11) prime?
True
Suppose -4*k + 162 - 898 = 0. Suppose j + 40 - 298 = 0. Let n = j + k. Is n prime?
False
Suppose -2*c + 0*c + 4 = 0. Let a = c + 4. Suppose -a*o + 268 = -134. Is o prime?
True
Let k = -1702 + 10979. Is k prime?
True
Suppose -5*j = -3*l - 251, 2*j + 5*l = -j + 137. Let h = 73 - j. Suppose -c = -h + 5. Is c a prime number?
True
Let a be (9 - 5) + (-9656)/(-2). Suppose 2*k - 4238 - a = 0. Is k a prime number?
False
Let n = 10427 + -6174. Is n prime?
True
Let l = -1984 - -3514. Let y = 2231 - l. Is y a composite number?
False
Let u(k) = 158*k**3 + 17*k**2 - 5*k + 3. Is u(5) prime?
False
Let r be 1*(-1 - 464/(-2)). Suppose -5*v + 239 = 949. Let f = r + v. Is f a prime number?
True
Let c = -21 - -31. Suppose 3*k + 11*i - c*i - 3031 = 0, -4*k = -2*i - 4028. Is k a prime number?
True
Let y be (-180)/15*107/(-4). Suppose -4*b + t + 476 = 0, -5*b - 4*t = -y - 274. Is b composite?
True
Let f = 276 - 275. Let i = 0 + -1. Is i - f*(-4 - 200) a composite number?
True
Let t be 2/10*31 - 5/25. Suppose -t*k = -19 - 1055. Is k a prime number?
True
Suppose -2*z + 9 = -19. Suppose -z*i = -9*i - 8195. Let h = i + -1140. Is h composite?
False
Suppose 0 = 10*u - 6*u. Suppose -3*x + 8*x - 295 = u. Suppose i = 2*i - x. Is i a prime number?
True
Suppose 12 = 2*w + 2*w, -3*w = -3*d - 9. Suppose d = 2*u - 0 - 4. Suppose 3*x - 5*x = 6, 0 = -5*b + u*x + 1001. Is b a prime number?
True
Let p(y) = y**3 + 7*y**2 + 6*y - 5. Let h be p(-6). Is -2*h/(-40) - (-525)/4 a composite number?
False
Suppose 5*i + 5*w - 380 = 0, -2*w - 85 = 6*i - 7*i. Is i prime?
True
Let y(t) = t**2 + 4*t. Let u be y(-4). Suppose x + x - 2 = u. Is -4*(67/(-4))/x a prime number?
True
Let c(i) = -21547*i - 347. Is c(-4) composite?
True
Let n(c) = -c**2 + 9*c + 3. Let r be n(9). Suppose 5*w - 3*w - 6 = 0, -3*m + r*w + 699 = 0. Suppose 5*y - m = 469. Is y a composite number?
True
Is 5398*((-276)/(-8))/3 prime?
False
Is (-5 + 14)/(3/20089) composite?
True
Suppose y = -y + 20. Is ((-50)/(-15))/y - 2810/(-3) a composite number?
False
Let g be -1 - 805/1 - -1. Let q = -126 - g. Is q prime?
False
Let d(w) = -18*w**3 - 6*w**2 + w + 4. Let b(r) = -5*r + 40. Let t be b(9). Is d(t) a prime number?
True
Suppose -h - 41 = -323. Suppose -3*j + h = -183. Is j prime?
False
Let a(k) = -960*k**3 + k**2. Let m be a(-1). Suppose 5*j - m = -2*x, 3*j + 0*j = 4*x + 561. Is j composite?
False
Suppose 4*r + 7*i - 4419 = 2*i, -3*i = 5*r - 5527. Let y = r - -3261. Is y a prime number?
False
Let v(t) = -7*t + 9 + 4*t + 2*t + 0*t. Let d be v(9). Suppose -3*q + i + 920 = d, -3*i - 284 = 4*q - 1515. Is q prime?
True
Let r(o) = -223*o - 5. Let a be r(-2). Let j = a + -232. Is j composite?
True
Suppose -4*r - 24270 = -2*v, 2*v - 2*r + 0*r - 24278 = 0. Is v prime?
True
Let u be 4 + (3 - (-1 + 4)). Suppose u*s = 533 + 287. Is s a prime number?
False
Is (-2)/(-19) + (-1455)/285 - -7279 composite?
True
Let f be ((-6)/(-5))/((-24)/(-80)). Is 290 - (-2 + (f - 1)) composite?
True
Let j = -3 - 2. Let i(x) = 5 + 6 - 6*x - x**2 - 3*x**3 - 24 + 4. Is i(j) a composite number?
True
Let a(o) = 40*o**2 + 8*o + 6. Let g be a(-13). Let u = -4141 + g. Is u prime?
True
Let v(s) = s**3 - 11*s**2 - 12*s + 4. Let l be ((-7)/(-14))/(2/48). Let h be v(l). Suppose 13 = h*f - 3*f. Is f composite?
False
Suppose 0 = 4*b + 2*b - 2922. Is b prime?
True
Let t be 5/(-15) - 26/(-6). Suppose -t*o - 19 = -43. Is -62*(0 + (-9)/o) composite?
True
Let a(j) = j**3 - 3*j**2 - 4*j + 2. Let o be a(4). Suppose -o*b + 417 = -377. Is b composite?
False
Let w(s) = -5 + 6*s - 20*s**2 + 24*s**2 - s. Suppose 18 = 5*b - 2*b. Is w(b) composite?
True
Let u = -2918 + 7024. Suppose -f + u = f. Is f a prime number?
True
Let y(j) = -j**3 + 59*j**2 - 24*j - 61. Is y(54) a composite number?
True
Suppose -2*l - 3 = -5, 4*q - 19 = -3*l. Suppose q*t = -622 + 2690. Is t composite?
True
Let i be (-5 - -13)*(0 - -2). Let j = 11 - i. Is 1/((20/(-364))/j) a composite number?
True
Let t = 9836 + -3367. Is t prime?
True
Suppose -3*i = 3*a - 7680, -4*a = 2*i - 5598 - 4650. Suppose j = a + 297. Is j prime?
True
Suppose 5*w - 4 = 6. Suppose w*k - k = 409. Is k composite?
False
Let g(o) be the first derivative of o**2 + 16*o - 3. Let l be g(-11). Let k(s) = s**3 + 8*s**2 - 5*s + 1. Is k(l) a composite number?
False
Let a(q) = q + 17. Let s be a(-15). Suppose 6*o = 3*o - 2*w + 883, -s*w + 1176 = 4*o. Is o a composite number?
False
Let l(c) = -2*c**2 - 6*c - 18. Let o(w) = 2*w**2 + 7*w + 19. Let p(u) = -3*l(u) - 2*o(u). Is p(7) a prime number?
False
Suppose 0 = -4*a + 3*a + 3. Suppose -5*g = -5*u - 4*g + 279, 2*u - 122 = a*g. Is u a prime number?
False
Suppose -10*t = -2*t - 104336. Is t composite?
True
Suppose 435*f - 431*f - 183028 = 0. Is f a composite number?
False
Suppose -6*c + c = -35. Let q(h) = 16*h**