a prime number?
True
Suppose 0 = q + 1 - 4. Suppose 8 - 1 = -4*z + q*f, 5*z = 5*f - 10. Is z/(3/516*-2) composite?
True
Let p(h) = -317*h + 16. Is p(-5) prime?
True
Let f(b) = 8*b**2 + 86*b - 859. Is f(68) prime?
True
Let v(x) = 2204*x - 173. Is v(18) composite?
False
Let s(b) be the third derivative of -b**9/15120 - b**8/20160 - b**7/1260 - b**5/30 - b**2. Let q(c) be the third derivative of s(c). Is q(-3) composite?
True
Let w be 2/13 - 8156/(-52). Let o(r) = 0*r + 5*r + 1 - 4*r + w*r**2 - 2. Is o(1) composite?
False
Let j be 4/6*(-8 + 14). Suppose -922 = -j*z + 1386. Is z composite?
False
Let i be 0 + 2/1 + 1. Suppose i*l = 2934 + 1071. Suppose -5*o + 2*n = -l, o - 5*n - 1320 = -4*o. Is o a composite number?
False
Let o = 4 - 2. Suppose 3*n - f = 5*n - 64, -f = -o. Let l = 54 - n. Is l a prime number?
True
Let z(h) = -99*h - 6. Let y be z(-4). Suppose n + 5*m = m + y, -5*n - 4*m = -2014. Is n/4 - 9/(-6) prime?
True
Let p(a) = -2 + 7*a**3 - 2*a**3 - 10*a**3 - 2*a - 2*a**2 + 6. Is p(-3) composite?
False
Suppose -3*b - x = -123, 2*b - x = -b + 123. Suppose 5*p - 2*n + 0*n - 261 = 0, -3*n + 271 = 5*p. Suppose -5*d + 296 = -w + p, -d + 4*w = -b. Is d composite?
True
Let j be ((-3 + -7)/5)/((-4)/(-2)). Is ((-6)/6)/(j/409) a prime number?
True
Let o = -31 - -35. Suppose -t + 263 = -q + 4*q, -346 = -o*q + t. Is q a prime number?
False
Suppose 0 = -2*h + b + 1, 0 = -h + 4*b - 10. Suppose 5*l - 4*n = 64 - 27, -4*l + 11 = 3*n. Let p = h + l. Is p a composite number?
False
Suppose y + c + 3*c - 1586 = 0, -4 = -4*c. Suppose -y = -x + 91. Is x a prime number?
False
Is 56/84*(-133134)/(-4) a prime number?
True
Let w(c) = -3*c**3 + 6*c**2 - 7*c - 17. Let k be 0*(1 + -2) + -6. Is w(k) a prime number?
False
Let m(s) = -25*s**3 - 7*s**2 + 9*s - 8. Is m(-9) a prime number?
True
Suppose -18*h + 19*h - 5 = 0. Suppose 0 = -h*q + 3*o + 806, -2*o - 166 = -q - 3*o. Is q prime?
True
Let l = -1008 + 712. Let c = -5 + -1. Is ((-9)/c)/((-12)/l) prime?
True
Let r(t) be the third derivative of t**6/120 + 13*t**5/60 - t**4/2 - 7*t**3/6 - 12*t**2 - 2*t. Let k(m) = 4*m - 1. Let h be k(-3). Is r(h) prime?
True
Suppose -2*a - 3266 = -4*a - 5*j, a - 5*j - 1633 = 0. Is a prime?
False
Let d = -6485 - -29902. Is d a composite number?
False
Let f(c) = 79*c**2 - 10*c - 10. Is f(7) composite?
True
Suppose -3*d = -2*a - 36655 - 8502, -5*d = 5*a - 75295. Is d composite?
True
Suppose 5*v + 504 = -4*k - 798, 0 = 5*v - 4*k + 1278. Suppose -5*t = 25, 0*t - 3*t - 1178 = -c. Let b = v + c. Is b prime?
False
Let d be (4 - -2)/(4/6). Let g(i) = 92*i + 4 + 5 + 7 - 15. Is g(d) composite?
False
Let i = -39 - -43. Suppose t + 3*t - d = 570, -5*t + 723 = i*d. Is t prime?
False
Suppose 0 = 360*o - 359*o - 17087. Is o prime?
False
Suppose 5*r - 1540 = -3*p, r + 2*p - 291 = -2*p. Is r composite?
False
Let w be (48/(-36))/((2/(-6))/1). Suppose 3*k + w*l + l = 251, 0 = 2*k - 2*l - 146. Is k composite?
True
Suppose -4*p + 3*u = -3*p - 14, p + u = -2. Suppose -3*l = -2*x - 762 + 189, 0 = -p*x. Is l a composite number?
False
Let o = -678 - -116. Let n be 9 - (1 - (-1 - 1)). Is n/(-27) - o/18 a composite number?
False
Let f = -256 + 593. Is f a composite number?
False
Suppose -4*c - 30 = -2*l, -2*l - c + 9 = -l. Let w(h) be the first derivative of 2*h**3/3 - 5*h**2/2 + 9. Is w(l) composite?
True
Let y = 6731 + 21002. Is y a composite number?
False
Let p(u) = -u**2 + 6*u - 7. Let c(j) = -j**2 - 6*j - 1. Let z be c(-5). Let w be p(z). Is 214 - w - 18/9 a prime number?
True
Let b(w) = -w**2 + 15*w + 5. Let x be b(8). Let n be (66/4)/(1/(-2)). Let s = x - n. Is s composite?
True
Suppose -3*z - 314 = -26. Let p = z - -185. Is p a composite number?
False
Let z(m) = m**3 + 46*m**2 + 75*m - 69. Is z(-41) a prime number?
True
Suppose -4*y - 2557 = -v + 15010, 0 = -y - 5. Is v a composite number?
True
Let s be 4/6 + (-4204)/(-3). Let r = 1948 + -2931. Let j = r + s. Is j composite?
False
Is ((-3560)/16 - 2)*-34 composite?
True
Let v be 74460/(-16) + 8 - (-1)/(-4). Let g = -1839 - v. Is g a composite number?
True
Suppose 0 = -3*u + 5 + 1. Suppose -2*z = -u*p - 0*z + 6, 4*z = p - 6. Suppose 4*j - 440 = p*k, -541 = -5*j - 0*k - 2*k. Is j prime?
True
Let g(k) = 35*k**3 - 6*k**2 - k + 7. Let o(l) = -70*l**3 + 13*l**2 + l - 14. Let t(d) = 5*g(d) + 2*o(d). Is t(3) a composite number?
False
Suppose -16*l - 539962 = -4*i - 13*l, -3*i + l = -404969. Is i a composite number?
False
Let n(b) = b**2 + 4*b + 3. Let u be n(-3). Let m(o) = 7*o - 1. Let f be m(3). Suppose -3*z - 3*h + 168 = z, u = 5*h - f. Is z a composite number?
True
Suppose 43 + 2 = 5*f. Let s be -3*((-20)/(-6))/(-1). Let j = s + f. Is j composite?
False
Suppose -d = 4*b - 1769 - 2715, 2*b - 2242 = 5*d. Is b a composite number?
True
Suppose -4*d = -2*w + 3149 - 39831, 36697 = 4*d + 3*w. Suppose -l - 11465 = -5*g, -4*g + 0*l - 2*l = -d. Is g a composite number?
False
Let u = 32 + -30. Suppose p + 3*d + 2*d = 55, -3*p = u*d - 165. Is (-33)/p*155/(-1) a prime number?
False
Suppose o + 4*o = 3065. Is o + 25/(-5) + 5 a composite number?
False
Let f = 127 - 126. Is 1173/f + -5 + 3 a composite number?
False
Is -4 + 39822/9 - 7/(-21) composite?
False
Let v(z) be the third derivative of 11*z**5/60 - z**4/3 + 3*z**3/2 - 6*z**2. Let w be v(6). Is w/15 + (-24)/30 a composite number?
False
Let g(t) = -94*t - 12 - 23 - 124*t. Is g(-9) prime?
False
Let n = 33 + -30. Let g(c) = c**2 + c. Let w(q) = -2*q**2 - 1. Let j(y) = -2*g(y) - 3*w(y). Is j(n) a composite number?
True
Suppose 9*l = -81 + 27. Is (1 - 7)*449/l a composite number?
False
Let f(a) = -74*a. Let i(g) = g**3 - 10*g**2 + 11*g - 12. Let c be i(9). Suppose 0 = -8*b + c*b - 2. Is f(b) a prime number?
False
Suppose -4*l - 164 = 4*y, 0 = 4*y - 0*l + 2*l + 170. Is (-11)/2*(y - -1 - 3) a composite number?
True
Let f be 3583/7 + (-10)/(-70). Suppose 3*k = 3*a - 768, f = 4*a - 2*a - k. Suppose -757 = -3*d + 5*x, -x = d + x - a. Is d a prime number?
False
Let c = -3854 - -35531. Is c a composite number?
True
Let j = 33 + -17. Suppose 440 = -j*s + 24*s. Is s prime?
False
Let r(b) = -12*b + 13. Let d(h) = 48*h - 52. Let a(n) = 2*d(n) + 9*r(n). Is a(-7) a prime number?
True
Is 1*3/((-21)/(-79457)) a composite number?
False
Let d be 5/((-75)/6)*20. Is (-3492)/d + (-2)/(-4) prime?
False
Let m be (-25)/(-10)*426/5. Suppose -6*g + 657 = -m. Is g a prime number?
False
Let z be (-6)/15 + (-54544)/(-35). Let k = z + -885. Is k composite?
False
Let a = -7 + 25. Let w(z) = 19*z - 5. Is w(a) prime?
True
Let v(m) = m**2. Let r(z) = -81*z**2 - 10*z - 5. Let b(f) = -r(f) + 3*v(f). Is b(5) prime?
False
Let u = 121 - 117. Let r be 498 + (2 + -2 - -1). Suppose 0 = -u*j + r - 23. Is j a composite number?
True
Let m(z) = -z**2 + 6*z - 1. Let i be m(4). Is 845/i + 2/7 prime?
False
Let j(a) = -a**2 + 5*a - 3. Let o be j(2). Suppose -m + 2 = -o. Suppose 0 = m*d - 5*y - 200, y = 3*d - d - 77. Is d a prime number?
True
Let k = 11600 + -3591. Is k a prime number?
True
Suppose 0 = s - j + 71, 2*s + 371 = -3*s + j. Let u = s - -120. Let h = u - 24. Is h a prime number?
False
Let q(i) be the second derivative of -i**4/12 + 5*i**3/3 - 3*i**2 + 6*i. Let w be q(7). Is 27911/195 - 2/w a composite number?
True
Let k = -14 - -20. Let w(q) be the first derivative of 13*q**2 - 7*q - 7. Is w(k) a prime number?
True
Let v(p) = -6*p**3 + 6*p**2 - 5*p - 154. Is v(-13) prime?
True
Suppose 5*z = 5*o + 5, o - 3*z = -7*z + 9. Let w(m) = o + 47*m**3 - 13*m**3 + 126*m**3 + 91*m**3 - m**2. Is w(1) a prime number?
True
Suppose -3*d - 5341 = -4*o - 4*d, 2*o - 3*d - 2667 = 0. Is (1 + (-8)/12)*o a composite number?
True
Suppose 0*d + 6 = -d. Is 462 + (0 - (-1 - d)) prime?
True
Suppose 45182 + 190889 = 11*j. Is j a prime number?
False
Suppose 2 + 1 = 3*j. Suppose j = -3*k - 2. Is (1 - (4 + k)) + 625 composite?
True
Let p(d) = -7594*d - 49. Is p(-6) prime?
False
Suppose -4*v - 27 = -3*c, -5*c + 6*v + 45 = 5*v. Is c composite?
True
Suppose -3*h + 7 = 19, 3*m + 5*h = -29. Let r(p) = -29*p**3 + 2*p**2 - 4. Is r(m) a prime number?
True
Suppose -4*m + m = -33. Let u = 10 - m. Is -191*(u/(-1) - 2) composite?
False
Suppose 0 = s - k - 7095, -27238 = -4*s - 4*k + 1142. Is s/27 + (-8)/(-36) prime?
True
Let g = -1288 - -13515. Is g prime?
True
Suppose 0 = -10*f - 125084 + 793294. Is f a 