ose -377 = -10*q + w*q - 4*z, -2*z = q - 73. Is q prime?
False
Let v be (0/2)/(-1 - 1). Suppose -c - 4 = -v, -4*c + 508 = 4*b. Is b a composite number?
False
Is 80 + -1 + (-6)/(-2) a composite number?
True
Let s be 2*481 + (0 - -2). Let y = s - 429. Let o = 750 - y. Is o a composite number?
True
Suppose 5*w - q - 15 = 0, 5*w + q = 12 + 13. Suppose -1 = w*p - 5. Is (2 - 4) + p + 56 composite?
True
Is (-798)/28*34/(-3) a composite number?
True
Let j(l) be the second derivative of -29*l**5/60 + l**4/24 + l**3/3 - l. Let v(t) be the second derivative of j(t). Is v(-1) prime?
True
Let t = 2 + -16. Let i = 28 + t. Is i prime?
False
Let z(j) = j**3 + 11*j**2 - 5*j - 11. Suppose -3*p - 1 = 23. Is z(p) composite?
True
Let o(t) = -35*t + 5. Suppose 3*q - 6 + 18 = 0. Is o(q) composite?
True
Let w be ((-4)/16)/((-3)/24). Suppose 4*q = -2*l + 422, 0*q + 452 = w*l - 2*q. Is l prime?
False
Let o(l) = l + 7. Let u be o(-5). Let d be 7/u + 3/(-6). Let x = d + 22. Is x prime?
False
Let t be (32/20)/(4/10). Suppose -t*d - 3 = -3*d. Is (130/(-8))/(d/12) composite?
True
Suppose 1773 = 5*i - x, 0 = 5*i - 4*x - 701 - 1066. Is i a prime number?
False
Let x = 11 + -7. Let y be (-110)/15*(-6)/x. Suppose -7*d + 3*d = -2*f - 2, d - y = -f. Is f prime?
True
Let l(w) = 2*w**3 + w**2 + w - 1. Let b = 0 - -1. Let y be l(b). Suppose k - 3*u = -k, -3*k + y = -3*u. Is k composite?
False
Is -484*4/64*-4 prime?
False
Let i(q) = 31*q**2 - 3*q + 19. Is i(8) composite?
False
Suppose 3*f = 5*l - 6, 4 + 2 = -2*l - 3*f. Suppose -p = -l*p - 97. Is p composite?
False
Suppose -5*v = -2*v. Suppose -7*a + 2*a + 3165 = v. Is a prime?
False
Suppose 5*m = 4*j + 16, -3*j - j + 2*m - 28 = 0. Let b(x) = -8*x**2 - 9*x + 17. Let c(f) = 7*f**2 + 8*f - 16. Let k(d) = 6*b(d) + 7*c(d). Is k(j) prime?
True
Suppose 4*l + 55 = 627. Is l a prime number?
False
Suppose -96 - 249 = -3*o. Is o composite?
True
Suppose -6 = -3*o + o, 3*v = 2*o + 3339. Is v a prime number?
False
Suppose -2 = -4*z + 6. Suppose 0 = -z*h + 5*d + 98, -2*h + 98 = d + d. Is h a prime number?
False
Let w = -4 - -3. Let v be (-2)/(9/(-6) - w). Suppose 4*d = v*f + 247 - 7, f = 5*d - 292. Is d composite?
True
Let n(i) = i - 3*i + 4 + 12*i**2 - 8*i**2 + 9*i**2. Is n(-3) composite?
False
Let j be 25/2 - 15/10. Let k be j + 4/((-4)/(-3)). Let h = k - -53. Is h composite?
False
Let d = 838 + -161. Is d composite?
False
Suppose 0*g - 28 = -4*g. Let f = -22 + g. Is (0/3)/(-2) - f a prime number?
False
Let a(l) = -l - 1. Let g be a(-3). Is -3 + g + 0 - -15 composite?
True
Let u be (-3)/(-9)*(-2 - 73). Suppose -37 = 3*q + 17. Let n = q - u. Is n prime?
True
Let t(g) = -g**3 + 5*g**2 - 6*g + 3. Let s be t(4). Let k = 6 - s. Is k composite?
False
Let m be 6 - (2 + 1 + -2). Suppose m = n - 4. Let g = n - -6. Is g prime?
False
Is 9/9*(0 + 0 + 1249) prime?
True
Let c(t) = t**3 - 4*t**2 - 5*t + 1. Is c(6) a prime number?
True
Let d(q) = -7*q**3 + 2*q**2 + q - 9. Is d(-4) prime?
True
Suppose -13*d + 18*d = 4085. Is d composite?
True
Suppose 7*z - 12*z = -595. Is z a prime number?
False
Let t = 148 + -83. Suppose 2*o = -6, 4*j = o - 2*o + t. Let w = j + 26. Is w composite?
False
Suppose 12 - 4 = 4*l. Suppose -3*d + 27 = 2*j, 6*d - 3*d - 15 = -j. Suppose l*n - 4*n + j = 0. Is n composite?
True
Let u(f) = -f**2 - 8*f + 6. Let i be u(-8). Suppose -3*y = -i*y + 120. Suppose 3*o - y = 5*r, 0*r = 2*r - 2. Is o a prime number?
False
Let x = 247 + -149. Suppose -d + 0*d + 57 = -n, -2*d - 2*n = -x. Is d composite?
False
Suppose -2*d + 3 = d. Is (-5)/2*d*-74 prime?
False
Let a(t) = 115*t + 1. Is a(3) prime?
False
Suppose 2668 = 3*n - v, -3*v + 0*v = n - 886. Is n a composite number?
True
Suppose 5*o - 3*y = 22, 5*o + 2*y + 0 = 2. Let v(s) = s**2 - 2. Let h be v(o). Is (812/21)/(h/3) a prime number?
False
Let h(b) = -4*b - 4. Let x be h(-7). Is ((-4)/(-12))/(2/x) a composite number?
True
Let q(w) = 5*w**2 + 8*w + 33. Is q(-14) composite?
True
Let c(n) be the third derivative of -5*n**4/24 + 3*n**3/2 + n**2. Let l(k) = -3*k + 5. Let q(j) = 4*c(j) - 7*l(j). Is q(5) composite?
True
Let s(x) = 10*x**2 + 6*x + 3. Is s(7) a prime number?
False
Let b(r) = -503*r + 3. Is b(-2) prime?
True
Let s(p) = -188*p + 13. Is s(-6) prime?
False
Let h(n) = n**3 + 9. Let u = -1 - -1. Is h(u) composite?
True
Let m(l) = l**3 - 4*l**2 - l - 4. Let w be m(4). Let x(q) = -20*q + 1. Is x(w) a prime number?
False
Let v be 2/(-3) - (-6)/9. Suppose v*x = x - 55. Is x composite?
True
Let b = 301 - 503. Let n = b + 285. Is n prime?
True
Suppose 4*t - 45 = 87. Is t prime?
False
Let p(f) = -6*f + 4*f - 4*f - 1 - 11*f. Suppose 6 = -5*u - 4. Is p(u) a prime number?
False
Let q be (3 + 63)/(2/5). Suppose 0 = 4*s - m - 47 - 79, 5*m = 5*s - q. Is s a prime number?
True
Let o = -8 + -10. Let p be (-4)/(-18) + (-536)/o. Suppose -3*d + p = 3*k, -k - 4*k - 49 = -4*d. Is d composite?
False
Let z be 72/(-10)*(-30)/9. Let a = 16 - z. Let p(q) = q**3 + 7*q**2 - 13*q - 9. Is p(a) prime?
True
Let j = -358 - -579. Is j prime?
False
Let o(a) be the second derivative of a**5/20 - a**4/4 + a**3/3 - 5*a**2/2 - 7*a. Is o(8) a composite number?
False
Let j = -695 + 1510. Is j composite?
True
Let a = -13 + 15. Suppose 3*z - a*w = -6*w + 877, 0 = z + 5*w - 274. Is z a composite number?
True
Is ((-5)/(75/(-2724)))/((-4)/(-10)) prime?
False
Suppose -3*h + 2*m + 8015 = 0, -3*h = -m - 8834 + 820. Is h prime?
True
Is (-9)/3 + (-316)/(-2) prime?
False
Let a = -15 - -21. Suppose -m + w + 56 = 0, a*w = 4*m + w - 229. Suppose 0 = 3*n - 5 - 1, 3*v - 3*n - m = 0. Is v a composite number?
False
Let s = 61 + -196. Let f = s - -229. Is f a composite number?
True
Let y = 3568 - 1729. Is y a prime number?
False
Let r be (-18)/(-5) - (-4)/10. Let j be r/(-14) + 18/14. Is (j + -50)*(0 + -1) prime?
False
Let o(w) = -2*w + 4. Let h be o(3). Is (1 + h)*(-12 + -1) prime?
True
Is ((-78)/4)/((-3)/10) a prime number?
False
Let i(k) = 21*k - 1. Let o be i(3). Is 6/18*(1 + o) a composite number?
True
Let t = -14 - -28. Suppose 60 = 2*q - t. Is q a prime number?
True
Let k(m) = 102*m + 1. Is k(3) a prime number?
True
Suppose 5*s - 478 = 577. Is s a prime number?
True
Let f(c) be the second derivative of -2/3*c**4 - 3*c - 1/20*c**5 - 5/3*c**3 + 0 - c**2. Is f(-7) a prime number?
True
Let q = 482 - 194. Suppose -5*f = -5*v + 270, 0*f - f + q = 5*v. Is v a composite number?
True
Let b(q) = -23*q - 3. Let j be b(3). Let n = -35 - j. Is n a prime number?
True
Suppose 5*v - 3*z = 2495, -4*v + 2*z + 2*z = -1988. Is v a composite number?
True
Suppose 0 = 5*o + 134 + 76. Is 2/(-7) + (-4086)/o composite?
False
Let u = -1 - 2. Let x = 5 + u. Is -2 - (x - 4) - -14 composite?
True
Is 1 + (-5256)/(-26) - 20/130 a composite number?
True
Let b(f) = f**2 + 3*f + 1. Let x be b(-7). Let n = x - -28. Suppose 3*o - 54 = n. Is o prime?
True
Suppose 0 = 3*a + 2*a + 55. Let r = -121 + a. Let m = -43 - r. Is m prime?
True
Suppose 0 = 2*m - 10 + 4. Suppose -m*g + 235 = 2*g. Is g composite?
False
Let j = -17 - -252. Is j a prime number?
False
Let p(r) = -6*r**2 + 8*r - 5. Let m(s) = -s**3 + 11*s**2 - 15*s + 10. Let o(k) = -3*m(k) - 5*p(k). Is o(4) composite?
True
Let n be -5 - (2 + -4 + 1). Let j(l) = -19*l + 3. Is j(n) a composite number?
False
Let u(q) = 3*q**2 + q + 4. Suppose 3*i - 11 = -o, 0 = -i - 2*o - 3*o + 13. Is u(i) prime?
False
Suppose 0*y + y - 402 = 0. Suppose y = 4*n - n. Is n prime?
False
Suppose 2*q - 5*v - 2 = -3*v, -2*q + 5*v = -5. Suppose q = -u + i, 0 = -3*i - 2 - 4. Is (u + 4)/2*11 a prime number?
True
Is ((-1346)/(-5))/((-2)/(-5)) a prime number?
True
Suppose 5*h = -10, 2*g - 7*g = 5*h - 4145. Is g a prime number?
False
Is 2/15 + (-1003)/(-15) a composite number?
False
Is (-8265)/(-65) + (-2)/13 composite?
False
Let g(r) = -42*r**2. Let l be g(1). Let w = l - 0. Let x = 95 + w. Is x a composite number?
False
Let v(m) = m**3 - 5*m**2 - 8*m - 5. Let u(a) = -16*a**3 - 2*a**2 - a. Let r be u(-1). Suppose 0 = 5*p - 20 - r. Is v(p) composite?
False
Suppose 2*u - 5 + 7 = 0. Is (-9 - -7) + (642 - u) a prime number?
True
Let g(i) = -i**3 + 7*i**2 + 9*i - 1. Let q be g(8). Let z = -5 + 8. Suppose z*d - q = 26. Is d a prime number?
True
Let z(y) = -150*y - 5. Let v(o) = o**3 - 13*o**2 - o + 8. Let i be v(13). Is z(i) a composite number?
True
Suppose 0 = f - 4*