et u(p) = -7*v(p) - 4*z(p). Is u(3) prime?
True
Let l(z) = -z**3 - 7*z**2 - 17*z - 10. Suppose -35 = 3*k - b, -3*k - 4*b = -6*k - 32. Is l(k) prime?
False
Let j = -10 - -64. Let g = j + -1. Is g composite?
False
Let i = -18 - -21. Suppose -x - 5227 = q - 3*q, 3 = i*x. Is q composite?
True
Suppose m - 3088 = 603. Is m a composite number?
False
Let g = 2013 + 19076. Is g prime?
True
Let r be (-1 + -2)/(60/(-140)). Suppose 0 = r*y - 36758 - 50301. Is y prime?
True
Suppose 4*m - 5*g = 71, 0 = 3*m + g - 54 - 4. Let x = m + -19. Suppose x*p + 53 = p. Is p a composite number?
False
Let n = 38 + -36. Suppose 4*u + n*v - 2332 = 0, 2*u + 3*u + 2*v - 2916 = 0. Suppose -4*k = c - u, -5*c + 103 + 642 = 5*k. Is k a prime number?
False
Let d be -3*((-300)/9)/4. Suppose 6*z - z = d. Suppose 5*m = -2*q + 2*m + 185, -m = z*q - 482. Is q a prime number?
True
Let h be (-6)/33 + (-7278)/22. Let x = 693 + h. Is x prime?
False
Let v = 17599 + -4175. Suppose -5*y = 3809 - v. Is y composite?
True
Suppose -2*a - 7*o + 3*o = -424, 0 = 4*a - 5*o - 809. Let h = 5 - 3. Suppose -a = -h*b + 120. Is b a composite number?
False
Let u = 138 + 149. Is u a prime number?
False
Suppose -12*f = -30882 + 6558. Let d(r) = -4*r**3 + 5*r**2 - r - 6. Let x be d(7). Let i = x + f. Is i composite?
False
Let p(g) = g**2 + 7*g + 6. Suppose 2*o - 8 = 0, 5 = -6*a + 3*a - 4*o. Let u be p(a). Let w(f) = 6*f - 15. Is w(u) a prime number?
False
Let r(u) = 127*u - 1. Suppose 5*l = 5 - 15. Let c be l/8 - 9/(-4). Is r(c) composite?
True
Let p = 566 + 581. Is p a prime number?
False
Let m(u) be the third derivative of 19*u**4/24 + 7*u**3/3 - 7*u**2. Is m(15) a composite number?
True
Suppose 5*w + 5*v + 0*v - 550 = 0, 2*w - 190 = 4*v. Let k = w - -726. Is k a composite number?
True
Let j = -21749 + 50500. Is j prime?
True
Suppose -38014 = -9*w + 3512. Suppose -w = -6*n - 876. Is n a prime number?
False
Let p(z) = -6*z**3 + 6*z**2 + 5*z - 6. Let y = 46 - 51. Is p(y) a prime number?
False
Suppose 0 = 4*u - u - 15. Suppose u*q + 15 = -0*q - 3*k, -5*q - 5*k - 25 = 0. Suppose -p + 2*x + 375 = -q*p, -2*p - 4*x = -766. Is p a prime number?
True
Let q(p) = p**3 + 6*p**2 + 2*p + 2. Let x = 1 - 7. Let c be q(x). Let a = 79 - c. Is a composite?
False
Suppose -2*v - 36 - 6 = 0. Is (-9435)/v - 12/42 a prime number?
True
Suppose -o + 3 = n, -o + 3 = n - 5*o. Let x = -3 - -5. Suppose n*l - x*l = 269. Is l a prime number?
True
Let w(x) = 2*x**3 - 15*x**2 + 36*x + 30. Is w(13) composite?
False
Let j be (-6)/4 - (-11)/2. Suppose d + 0 = k - 2, -2*d = j*k - 2. Let u = k - -9. Is u composite?
True
Suppose l + 2*r - 10 = 0, 4*r = -l + 10 + 6. Suppose -5*f + 1931 = -l*f. Is f a prime number?
True
Suppose 28*r - 9 = 25*r. Is 2*(58605/10)/r a prime number?
True
Is 32351/22 - (-1 - 1/(-2)) a composite number?
False
Let b(u) = u**2 - 11*u + 20. Let q be b(9). Suppose -19 = -4*o - p, -o - 5*p = -q*p - 13. Suppose -244 = -o*t - 8. Is t composite?
False
Suppose 5*j - 4*q - 131853 = -2*q, -3*q + 105487 = 4*j. Is j composite?
False
Let o be (-21 + -1)*(-14)/14. Suppose 2968 = 26*q - o*q. Let p = -451 + q. Is p prime?
False
Let c(o) = o**2 + 19*o + 6. Let z be c(-16). Let m = z + 16. Is 1/(-2) - 1859/m composite?
False
Let n(h) = 111*h - 17. Is n(38) a composite number?
False
Let f be 2/4 - (-3)/(-6). Suppose -4*r + 16 = -f*r. Suppose -3*w - 55 = -r*w. Is w composite?
True
Suppose -2*s = -2*o - 0*o - 2, 0 = 3*s - 5*o + 7. Let z(x) = 102*x + 65. Is z(s) a composite number?
False
Let v = 2024 + 1356. Suppose -v = -6*h + 3094. Is h composite?
True
Suppose -3*n + 18 = 3*t, 0 = 5*n - 0*t - 5*t. Let q(u) = 7*u**3 - 3*u - n - 2 + 2*u - 2*u**2 + 0*u. Is q(3) composite?
False
Suppose 5*z + 21 - 36 = 0. Suppose 3*c = z, -9*f = -5*f + 5*c - 945. Is f a prime number?
False
Suppose 3*v - 28528 + 3754 = 0. Suppose v = 3*c + 95. Is c prime?
False
Let f(p) = -59*p**3 - 4*p**2 - 7*p + 4. Let t = -2 + 7. Let g be f(t). Is g/(-42) + 4/14 composite?
False
Suppose 2*r - 147381 = -y, -3*y = -92*r + 94*r - 147371. Is r composite?
False
Let q(n) be the second derivative of n**4/6 + 13*n**3/6 + 5*n**2 - 2*n. Let p be q(-6). Suppose -4*g + 2*u + 2400 = u, -p*g = -4*u - 2412. Is g composite?
False
Suppose -5*n = -19 - 11. Is (-2399)/(-10)*n - 10/25 a composite number?
False
Suppose 4*b - 18 = 2*b. Let s be ((-14)/(-42))/(1/b). Suppose 3175 = 2*j + s*j. Is j composite?
True
Let u(k) = -k. Let b(s) = -8*s**3 + s**2 - 13*s + 7. Let t(z) = -b(z) + 5*u(z). Is t(6) a composite number?
False
Let o = 327 - 321. Let l(v) = -3*v**3 + 4*v**2 - 3*v + 2. Let h be l(2). Is (-4)/h - (-112)/o prime?
True
Let f be (-11)/(-2) - (-57)/(-38). Suppose -5*m = -4*x - 1179 + 3280, 3*x - 1599 = -f*m. Is x a prime number?
False
Let g = 3506 - 1795. Is g a prime number?
False
Let f be -4 + -3 + 12 + 0. Suppose -o = f*w + 88 - 269, 3*o - 2*w - 577 = 0. Is o a prime number?
True
Let v(p) = -p**3 - p**2 + p + 11. Let h be v(0). Let n = 86 - -73. Suppose -l + 57 = -f, -3*l + h + n = -4*f. Is l prime?
False
Let w = 1871 + 2312. Is w a composite number?
True
Suppose 3*m + 14 = 2*j, 22 = 3*j - 2*m - 3*m. Is (j + (-10 - -5))/((-3)/291) a composite number?
False
Let m(z) = -z - 10. Let h be m(-4). Let r(v) = -11*v + 13. Is r(h) composite?
False
Is 3*(26364/18 - -5) composite?
False
Suppose -67565 = -17*h + 95856. Is h a prime number?
True
Let u be ((-17)/(-2))/(4/8). Let q(f) = 5*f**2 + 35*f + 13. Is q(u) composite?
False
Is (-541)/((5 - 9)/12) composite?
True
Let q = -8 - -23. Suppose -q = -3*x - 9. Is (-1 + (-213)/(-2))*x prime?
True
Let a(f) = 40*f**2 - 11*f + 88. Is a(-9) composite?
True
Suppose 0 = 3*x + 1 - 13. Suppose -x*b + 12 = 4*o, 2*o + 3*b - 7*b = 6. Suppose -7*p = -o*p - 356. Is p prime?
True
Let i(r) = -r**3 - 10*r**2 - 7*r. Let z(p) = 2*p**3 + 21*p**2 + 13*p + 1. Let j(a) = -5*i(a) - 2*z(a). Let m be j(-7). Let f = 30 + m. Is f prime?
False
Let w(h) = -66 - 65 + 106 + 32*h. Is w(16) prime?
True
Suppose 0*t = -6*t - 12. Let p(j) = -281*j**3 + 11*j**2 + 8*j + 3. Let k(m) = -141*m**3 + 5*m**2 + 4*m + 1. Let n(q) = t*p(q) + 5*k(q). Is n(-2) composite?
True
Suppose 3*a - a = j + 2, 0 = -5*a - 4*j + 31. Suppose -v = -3*v - 5*k + 5231, -3*v + 7794 = -a*k. Is v a composite number?
True
Let m = -1235 + 1959. Suppose m = w + 231. Is w/9 - (-6)/27 a composite number?
True
Let w(h) = h - 9. Let s be w(6). Let y = -3 - s. Suppose 2*r - 42 - 32 = y. Is r prime?
True
Let a be 16/(-72) + (-25)/9. Is (a - (-3174)/(-3))/(4 - 5) a prime number?
True
Let a be (-6)/(3 + ((-1)/4 - 2)). Is 201/2*(a - -10) prime?
False
Suppose -76*r + 1260275 = -51*r. Is r prime?
True
Let u be (-4)/(-10) + 4312/70. Is u*45 - (3 + 2) prime?
False
Suppose 3*o + 5*g - 2*g = 15195, 4*g - 25325 = -5*o. Is o prime?
False
Suppose 3*z - 3*m = 9, z + 3*m - 27 = -2*z. Let f = -76 - -79. Is 4291/14 + f/z prime?
True
Let v = -3223 - 738. Let i = -1524 - v. Is i composite?
False
Let t(x) = x**3 - 8*x**2 + 9*x - 10. Let q be t(7). Suppose -q = 2*z - 4*z. Let f(k) = 95*k + 1. Is f(z) a composite number?
False
Suppose -360*h - 573848 = -368*h. Is h a prime number?
False
Let y(r) = -r**3 - 5*r**2 - 3*r + 6. Let g be y(-4). Let t(s) = 243*s - 1. Is t(g) a prime number?
False
Let o be (-50502)/(-16) - (-24)/(-64). Suppose -3*w = 3*d - o, w + 342 = 4*d + 1379. Is w prime?
True
Suppose -11571 = -2*m - 4*f + 2743, 0 = -3*f - 15. Is m prime?
False
Let c = -29856 + 45149. Is c prime?
False
Let m = 15559 + 14896. Is m prime?
False
Let l be (-2)/7 + (-156)/91. Is 152 - (l + -1 - 0) prime?
False
Suppose -12 = 2*j - 44. Let n be 30/j + 4/32. Is 44/(n - -2 - 2) a composite number?
True
Let v(o) be the first derivative of o**2/2 + 14*o + 4. Let j be v(-12). Suppose -3*i + l = -168, -j = 3*l + 7. Is i a prime number?
False
Suppose 4650555 = 28*g + 77*g. Is g composite?
True
Suppose -23*x + 221133 = -12*x. Is x a prime number?
False
Let t = -44 + 158. Let v = -248 + t. Is v/(-4)*(1 - -1) a composite number?
False
Suppose -2*o = 3*o + 1345. Is (0 - 1)*((-20)/(-5) + o) a composite number?
True
Suppose -99*j = -107*j + 2212216. Is j prime?
True
Suppose -66*h + 521387 = -43*h. Is h composite?
False
Suppose -16*d - 58105 = -21*d. Is d a composite number?
False
Let w(g) = -27*g + 15*g + 14*g + 928. Let c be w(0). Let u = c + -391. Is u a composite numbe