= -5*k + 1170, -y*k - 3*w + 647 = 0. Is k a prime number?
False
Suppose -3*z - 2*m + 83673 = 0, 8*z - 3*m = 4*z + 111581. Is z prime?
True
Let h(q) = -q**2 - 4*q - 32453. Let f be h(0). Let g = -22786 - f. Is g composite?
True
Suppose m - 1 = 0, -2*q + 1341 = 3*q - 4*m. Let h = 1210 - q. Is h composite?
False
Suppose 64*w = 151*w - 16918194. Is w prime?
False
Let j(y) = -y**2 + 54*y + 9. Let b be j(18). Suppose 3*v = v + 4*g + 434, 0 = 3*v - 4*g - b. Is v a composite number?
False
Let g = -4899 - -9518. Is g a composite number?
True
Let m be (2 + -3)/(0 - -1) - -2385. Suppose -6*w + m = 2*w. Is w a prime number?
False
Suppose 2*k = -4*b + 43418, 0 = 2*k - 4*k + b + 43403. Is k a composite number?
True
Let y(j) be the third derivative of j**8/10080 - j**7/1260 - j**6/144 + j**5/15 + 5*j**2. Let t(q) be the third derivative of y(q). Is t(-4) a prime number?
True
Suppose -2*f + 21 = -5*d, 7*f = 2*f + 2*d. Let a be 36/21 - f/7. Suppose m - a*m = -89. Is m a prime number?
True
Let l(b) = b**3 + 9*b**2 + 4. Let p be l(-9). Suppose 1424 = 2*k - 5*j, -p*k - 2*j + 3829 - 1005 = 0. Is k composite?
True
Suppose -12*a + 12343 - 1963 = 0. Let p = -368 + a. Is p prime?
False
Is (-15 + 5)/(-5) - (4 - 12883) a composite number?
True
Let j(n) = -n**3 + 4*n**2 - 3*n + 2. Let x be j(3). Suppose -5*z = -x*c - 434 - 2167, -5*c + 10 = 0. Is z a prime number?
True
Suppose -90 + 44142 = 12*l. Is l a prime number?
True
Suppose -3*o - 3*g = -4*o + 10, 0 = -3*o + g + 30. Suppose 1580 = 6*d - o. Is d a composite number?
True
Let t(n) = -n**3 + 6*n**2 - 4*n - 5. Let g be t(5). Suppose -d + 425 - 106 = g. Is d composite?
True
Suppose -12*f = -17*f + 10. Suppose 2*d + 2*y - 295 - 535 = 0, f*d - y - 818 = 0. Is d composite?
True
Suppose 5*x - 3*b = -57, -3*x + 4*b - 13 - 19 = 0. Let v be (-9)/x - (-34)/8. Suppose v*m - 256 = 129. Is m a composite number?
True
Let v(j) be the first derivative of 2*j**3/3 + 7*j**2 + 21*j + 36. Is v(-8) a prime number?
True
Suppose v = -v. Suppose v = c + 1, -u - 2799 = u - c. Is 3 - 11/(22/u) prime?
False
Suppose v - 145 = 5*t + 4*v, 4*v - 52 = t. Let j = t + 1379. Is j a composite number?
True
Let n(r) = -3*r**2 - 3*r + 6247. Is n(0) a composite number?
False
Suppose -10 + 7 = -s. Let b(a) = 4*a - 4. Let g be b(s). Suppose -1388 = 4*z - g*z. Is z composite?
False
Let l(z) be the first derivative of 165*z**2/2 + 7*z + 10. Is l(4) prime?
False
Let t(z) = 8*z**2 + 2*z - 5. Suppose 5 + 0 = 4*l + g, -5*g = -l - 4. Let w = l - 5. Is t(w) prime?
False
Let c(r) = -r**3 - r**2 - 6*r - 7. Let d be c(-4). Suppose -3835 = d*z - 70*z. Is z a prime number?
False
Let m(p) = -2*p**3 - 10*p**2 - 7*p - 32. Let c be m(-13). Suppose -10*b + c = -b. Is b a prime number?
True
Suppose -s + 3471 = 4*m - 2122, -3*m + 4206 = -3*s. Is m a composite number?
False
Suppose 21*t - 14*t - 544523 = 0. Is t composite?
True
Suppose -3*z + 7610 = 2*w - 47829, -4*z + 4*w + 73932 = 0. Is z a prime number?
True
Let s = 2503 - -9594. Is s a prime number?
True
Let d = 5 + -4. Suppose -d + 3 = a. Suppose 0 = a*q - j - 260, -262 = -3*q - j + 133. Is q prime?
True
Suppose 11*b - 18*b = -9527. Is b a composite number?
False
Let y(s) = -175*s**3 + s**2 - 7*s - 9. Let x be (10 - 8)*(0 + -1). Is y(x) a composite number?
False
Let j be -7*1/(-3)*3. Is (j - 2)/(-5)*-251 a prime number?
True
Suppose 5*f - 5*b + 20 - 45 = 0, -3*b = 0. Suppose f*u = 6*u - 979. Is u prime?
False
Let r be 0 - (0 + -2 + -1). Suppose 3*b - r*u - 37 = 2*u, 0 = -2*b + 3*u + 23. Suppose b*h - 1162 + 94 = 0. Is h composite?
True
Let j(x) = x**2 + 3*x - 2. Let s be j(1). Suppose -i - s*c + 650 = -c, 4*i - 5*c = 2573. Is i a composite number?
False
Is (2649 + -18)*(-4)/(-6) prime?
False
Let y(b) = -165*b + 61. Is y(-14) prime?
True
Let l(r) = 361*r**2 - 3*r - 11. Is l(7) a composite number?
False
Let q be 4/(-20) + 57/(-15). Let t(w) = -80*w - 3. Is t(q) composite?
False
Suppose 0 = -2*w + 3*w. Suppose 2*p - 11 = -l, -4*p + 7 = -l - w. Suppose p*o - 43 = 2*o. Is o composite?
False
Let j(c) = -8*c**3 - c**2 + 1. Let v be j(-1). Suppose -5*o = -v*o. Suppose -5*x + 2*z + 1287 = -o*z, -3*x - 2*z + 769 = 0. Is x composite?
False
Suppose 0 = 3*x - b - 2360, 9*x = 5*x - 3*b + 3125. Is x composite?
True
Let o(c) be the third derivative of c**5/60 - c**4/12 + 53*c**3/6 - 3*c**2. Let x(j) = j**2 - 3*j - 4. Let l be x(4). Is o(l) a composite number?
False
Let a(u) = -387*u**3 + 3*u**2 + 3*u + 14. Is a(-3) prime?
False
Let w be 8/8*(-1)/(-1). Let d(m) = 2051*m. Is d(w) prime?
False
Suppose 2*t - x + 5 = 0, -5*t - 4*x + 4 = -x. Let z(h) = 95*h - 474. Let u be z(5). Is (0 - u) + t + 87 composite?
True
Is ((-6)/2*-1)/((-2)/(-194)) a prime number?
False
Suppose -4*y - 3*t + 21 = -0*t, 34 = 5*y - 4*t. Suppose -x - 97 = f + 779, -5*f + 2*x = 4359. Is f/(-6)*y/9 a composite number?
False
Is -12884*(15/(-12) + 1) a composite number?
False
Let k = -973 - -1646. Is k a composite number?
False
Let x(q) = -89*q**3 - 2*q**2 + 13*q + 61. Is x(-3) a prime number?
False
Suppose -2*x + 12 = 4. Suppose 5*k + 36 = -19. Is k/(x/4 - 2) composite?
False
Suppose 0 = -5*b + j + 33149, -2*b - 7*j + 3*j = -13242. Is b prime?
False
Suppose -8487 = -2*s + p, -5*s - 4*p = -8*p - 21225. Is s a prime number?
True
Suppose 7*h - 595 + 1694 = 0. Suppose 2*i + 252 = -380. Let x = h - i. Is x a prime number?
False
Is 1762 - -1*18/(-6) a prime number?
True
Let b = 1107 - 896. Is b composite?
False
Let g be (32/(-10))/((-4 - 5)/(-45)). Let k(n) = -2*n**3 - 22*n**2 - 29*n - 5. Is k(g) composite?
False
Let a(x) = 36*x - 3. Let u(t) = t**2 - 3*t + 2. Let q be u(5). Let p be a(q). Let d = 748 - p. Is d a composite number?
True
Suppose -5*r + 4*k + 972 = 0, -5*k = -r - 0*r + 186. Let q be ((-3)/(-6))/((-1)/r). Let x = q + 160. Is x a prime number?
False
Let k(j) = -312*j - 37. Is k(-58) a prime number?
True
Suppose 3*z + 31 = -23. Let a be z/(-8)*12/9. Suppose 92 = 3*u + n, a*u - 6*u + 2*n = -95. Is u composite?
False
Let b be 59/(-5) + 3/(-15). Let z = 12 + b. Suppose z = 2*j - 6*j + 104. Is j composite?
True
Let v(a) = a**2 - 3*a - 10. Let p be v(5). Let w be -2*((-20)/(-8) - p). Let y(u) = -145*u - 4. Is y(w) a composite number?
True
Let u = -201 - -77. Let c = u - -215. Is c a composite number?
True
Let p(z) = z**3 + 12*z**2 + 11*z + 2. Let m be p(-11). Suppose n - 1 = m. Suppose -n*u - 347 = -4*u. Is u a prime number?
True
Is (1/6)/(-1) - (-4462459)/222 a composite number?
False
Let z(b) = b**2 + 3*b + 7. Let h be z(-7). Suppose -o - 2*r = -0*r - 13, 4*r - h = -5*o. Is ((-4)/(-4))/(o/609) prime?
False
Suppose 3*o + 4*q - 32 = 0, -1 - 4 = 5*o - 5*q. Suppose 2*r = 6, -o*h = -5*r + r - 1408. Is h composite?
True
Suppose m = -2*m + 279. Let z be m + -1*(4 + -2). Suppose 3*c + 2*s = 257, -c + 3*s - s + z = 0. Is c prime?
False
Let j(l) = 6703*l + 6. Is j(5) a composite number?
False
Suppose 5*b - 5 = 4*o - 0, 10 = 4*o - 2*b. Suppose o = n, 4*n - 579 + 2364 = 5*u. Suppose -d + 2*d = u. Is d prime?
False
Suppose 0 = 8*q - 5*q - 2874. Is q prime?
False
Suppose -n = 5*x - 20012, x = -1 - 0. Is n a prime number?
False
Let w(o) = -o**2 + 10*o - 16. Let h be w(8). Let m(u) = -3*u + 5. Let s be m(h). Suppose -f - b = -44 - 370, -s = b. Is f composite?
False
Let s(f) = 9*f**2 + 14*f + 471. Is s(46) a composite number?
True
Let c(k) = -k + 1. Let m(p) = p + 2. Let r(n) = -6*c(n) + m(n). Let z be (1*6)/(14/21). Is r(z) a prime number?
True
Let h(a) = -125*a**3 + a**2. Suppose 2*p = 4*p - 6, 0 = 4*q - 4*p + 20. Let r be h(q). Suppose -6*b = -2*b - r. Is b a composite number?
False
Let d(z) = -3*z**3 + 4*z**2 - z - 9. Let b be -9 - (-1 + -6 + 2). Is d(b) composite?
False
Let t(f) = 8*f + 0*f**3 + 15 + f**3 + f**3 - 9 - 11*f**2. Is t(7) composite?
True
Let v(n) = -5*n + 2413. Is v(0) prime?
False
Suppose -2*w = -13*t + 14*t + 1051, 3*w - 4*t + 1582 = 0. Let j = 1433 + w. Is j a prime number?
True
Suppose -4*c + 3704 = -5*n, 2217 = -3*n + 2*c - 5*c. Let z be (1 - 0 - 0)*-325. Let x = z - n. Is x a composite number?
True
Suppose 6*i = 2*i. Let d(n) = n**2 + 5. Let z be d(i). Suppose -1844 = -z*h - 559. Is h composite?
False
Suppose z = 2*m - 2170, 2*m - 2162 = 5*z - 2*z. Is m prime?
True
Suppose 7*c - 3*c = 4168. Is c prime?
False
Let w be 5 - (1 + 4 + -2). Suppose -2*s = -w*x - x - 21