prime?
False
Let z(k) = k**2 - 10*k + 2. Let y be z(9). Let a = y - -18. Is a composite?
False
Suppose s = 3*f - 8061, -5037 - 3015 = -3*f - 2*s. Is (-4)/18 - f/(-18) a composite number?
False
Let t = 7 + -5. Suppose t*x + 21 = -7*k + 2*k, 0 = 3*x + 3*k + 9. Is ((-52)/8)/(x/(-20)) composite?
True
Let p(k) = 2 - 1 - 3 + k**2 + 3*k + 5. Let t be p(-3). Suppose 5*v - 537 = -3*u, -4*u + t*v + v = -716. Is u composite?
False
Let d be 1/1 - (-4 + -9). Let r = d - -22. Let p = r + -26. Is p composite?
True
Let g = 7 - -30. Suppose -y = -2*y + g. Is y a prime number?
True
Let l(s) = -1111*s + 6. Is l(-1) prime?
True
Let o be 358/5 - (-4)/10. Suppose -a + 4*a + 15 = 0, -3*s = -3*a - o. Is s prime?
True
Suppose 3*l = 4*o + 1030, 5*l + 3*o - 191 - 1487 = 0. Let y = l + -189. Is y prime?
True
Let j = 22 + -18. Suppose c - 1470 = -j*y - y, -5*c = -4*y + 1147. Is y prime?
True
Let q(j) = 43*j - 6. Let t(k) = -k + 1. Let x(v) = q(v) + 3*t(v). Let m be 2/(-6) + 21/9. Is x(m) a composite number?
True
Let i(j) = 12*j - 13. Is i(8) prime?
True
Suppose -5*w - 3*s = -1049, -2 - 4 = 3*s. Is w composite?
False
Let b(q) = 3*q - 6 + 0*q - 4*q. Let p be b(0). Is (-75)/p + (-2)/(-4) composite?
False
Let i = 4 + -2. Suppose -k - 8 = k + i*d, -3*d - 12 = 5*k. Is k - 42/4*-2 a prime number?
False
Let y(v) = -v**3 + v - 4. Let x be y(0). Let u be (x/5)/(18/45). Is (u + 6 - 3) + 66 composite?
False
Let h = -68 + 555. Is h composite?
False
Let i(x) = x**2 - 10*x + 3. Let k be i(9). Let h = k - 0. Is (h - -5)/((-1)/14) composite?
True
Is (-44)/8*(1 - 3) a composite number?
False
Suppose -2*s + 161 = 5*c - 289, -2*c = -3*s + 713. Let j = -150 + s. Is j prime?
False
Let x = 1465 + -506. Is x prime?
False
Is 6020/12 + (-3)/(-9) a prime number?
False
Suppose r + 9 = 184. Let j(l) = l**3 + 2*l**2 - 8*l + 4. Let h be j(5). Suppose r = 2*b - h. Is b a composite number?
False
Suppose 5*p - 29 = 41. Is (-62)/4*p/(-7) a prime number?
True
Let r = -3 - -2. Is 5 + (0 + 1)/r composite?
True
Suppose -20*n + 942 = -14*n. Is n prime?
True
Suppose -5 = c - 52. Suppose 2*f + c = 3*f. Is f composite?
False
Let p(x) = x**3 - 4*x**2 + x - 17. Is p(9) a prime number?
True
Let a = 26 - -79. Let h(g) = 11*g. Let k be h(2). Let v = k + a. Is v a prime number?
True
Let c(a) = -a**3 - 3*a**2 - 5*a + 3. Let i = -13 - -9. Is c(i) a composite number?
True
Let l = -13724 - -24823. Is l prime?
False
Suppose 0 + 20 = 5*o. Suppose l + o*l - 315 = 0. Suppose 1 = q + 6, -2*i - 3*q = -l. Is i a composite number?
True
Suppose -2*h = -5*u - 9 - 16, -5*h + 49 = u. Let p = h + -6. Suppose 0 = -a + p*v + 37, 2*a - 4*v + 8*v = 62. Is a a prime number?
False
Let x(w) = -17*w**3 - w**2 + 4*w + 17. Is x(-4) composite?
True
Suppose 5*c + 1329 = -341. Let a = -193 - c. Is a composite?
True
Let w = 3 - 11. Let h(t) be the second derivative of -t**5/20 - 3*t**4/4 - 3*t**3/2 + 11*t**2/2 + 4*t. Is h(w) composite?
False
Let d(s) = -s**3 + 8*s**2 - 5*s - 9. Let o be d(7). Suppose -20 = o*t + 80. Is (t + -2)*(-3)/6 composite?
False
Let z(t) = t**3 - 12*t**2 - 17*t - 23. Is z(15) a prime number?
True
Let n = -13156 + 18461. Is n prime?
False
Suppose 42 = 4*q - 3*q. Suppose 0*r + q = 2*r. Suppose -r = -u + 122. Is u a composite number?
True
Suppose 2*n = 3*n - 391. Suppose n = 3*j + 46. Is j a composite number?
True
Let u = 969 + -492. Suppose -3*f - 2*q - u = -7*q, -3*f - 3*q - 477 = 0. Let p = f + 280. Is p composite?
True
Let w(m) = 2*m - 2 + 0*m**2 - 1 + 4*m**2. Suppose -2*s = 2*p + 18, 0*p + 3*p + 2*s = -22. Is w(p) a prime number?
True
Let a(o) be the third derivative of -o**4/24 + 19*o**3/6 + 2*o**2. Let t be a(0). Suppose -2*y - 2*f = -80, -2*y + 4*f - t = -81. Is y a prime number?
True
Let w = 1383 + -974. Is w prime?
True
Is (60 - (-4)/2)/1 prime?
False
Suppose -5*h + 6 = -34. Let k(o) = 11*o - 1. Is k(h) prime?
False
Let j be ((-1)/2)/((-5)/60). Is (-2 - 0)*(-129)/j composite?
False
Suppose -18108 = -3*k - 9*k. Is k a prime number?
False
Let b be ((-9)/(-4))/((-6)/16). Let l(m) = m**2 - 7*m - 4. Is l(b) a prime number?
False
Let c = 2 - 0. Suppose 0 = -c*z - 3*z + 2*u, 14 = 3*z - 4*u. Is (-111)/(-6)*(-4)/z composite?
False
Let t = 44 - 11. Is t a composite number?
True
Suppose -3*y - 518 = -y. Let r = y - -450. Is r a composite number?
False
Suppose 0 = 2*s + 16*s - 34974. Is s prime?
False
Let l be 2 + (-1)/3*0. Let w(v) = -v - 4*v**l - 3*v - 5 + 5*v**2. Is w(6) composite?
False
Let v = 56 - 3. Is v a prime number?
True
Suppose 3*k = -2*m + 308, -4*k = 4*m + m - 420. Let c = k - 45. Is c a prime number?
False
Let g = 3 + -4. Is (-1)/(g/11 + 0) a composite number?
False
Suppose r = 5*s - 0*r - 19, 0 = -5*s + 3*r + 27. Suppose -s*k = -5*l - 36, -5*k + 2*l + 22 = -19. Is k prime?
True
Suppose 0 = 3*s - 4*s + 5*r - 10, -5*r = -15. Suppose -s*u + 255 = 2*d, -2*u + 4*d - 54 = -180. Is u composite?
False
Suppose -3*u = -2*m - 1255, -3*m = -u - 4*u + 2092. Is u a composite number?
False
Suppose -x + 15 = 2*x. Suppose -x*s = -953 - 122. Suppose 4*j - s = -o - 2*o, -2*j = -o - 105. Is j a composite number?
False
Let f(u) = -67*u. Suppose k = -k + 4*p - 2, -2*k = 2*p - 10. Suppose -5*z - 4 = -c, z + 4*c + 2 = -k. Is f(z) composite?
False
Suppose -4*h + 36 = f, -5*h + 4*h = -4*f - 9. Suppose 2*x + 0 - 4 = 0. Let c = h + x. Is c a composite number?
False
Let g(m) = m + 12. Let l be g(-12). Suppose -5*u = -l*o - 4*o - 883, 5*u - 886 = 3*o. Is u a prime number?
True
Let t(g) = -1 - 2*g + 5*g - 2*g + 16*g**2. Let j be t(2). Suppose -3*r - 2 = -u + j, 5*r = -4*u + 200. Is u composite?
True
Let a = -2 + 2. Let p be (2 - a)*(-1 - -2). Suppose -446 = -0*y - p*y. Is y a prime number?
True
Suppose -3*a = 4*z - 4, -z - 2 = -0. Suppose 2*j = 4*j - 4*f - 34, 5*j = -a*f + 43. Is j a composite number?
False
Suppose -n + 3*p = -p - 23, -n - 5*p + 23 = 0. Is n a prime number?
True
Let f = 123 - -68. Is f a composite number?
False
Suppose 4*r + 5*c = 25, 2*c + 3*c = 2*r + 25. Suppose j + r*j - 861 = y, 2*j = 4*y + 1718. Is j a composite number?
False
Let b(t) = 179*t. Is b(1) a composite number?
False
Let h = -2 - -5. Suppose 0 = 4*r + 3*a - 491, -a = h*a - 20. Is r a prime number?
False
Let y(w) = 7*w + 5. Let u(j) = -7*j - 5. Let m(o) = 3*u(o) + 2*y(o). Let v be m(-7). Suppose -k + v = k. Is k prime?
False
Let n = 560 + -151. Is n prime?
True
Let w(p) = 7*p**3 + 2*p**2 - 3*p + 1. Suppose -3*k = 5*d - 22, -2*k + 5 = -3. Is w(d) a prime number?
True
Suppose 0 = -3*v - 0*v - 6, -v = y - 9. Let n = y + 8. Is n composite?
False
Suppose -6*x + 4*x + 660 = 0. Suppose -7*i = -i - x. Is i prime?
False
Let n be (-2816)/10 - (-2)/(-5). Let m = -79 - n. Is m a composite number?
True
Let y = 1944 - 463. Is y a prime number?
True
Let w be (-5)/7 + 6/(-21). Let z be (w + 2)*0/2. Suppose z = 4*o - 3 - 21. Is o prime?
False
Suppose l - 14 = 23. Suppose 2*u - l = 101. Is u prime?
False
Let t = 1609 - 654. Is t a prime number?
False
Let q = 23 + 35. Is q composite?
True
Let k = 18 + 61. Is k a composite number?
False
Suppose a + 139 = 2*a. Suppose -s = -2*g - a, 5*g + 330 + 390 = 5*s. Is s a composite number?
False
Let c = -849 + 1258. Is c a prime number?
True
Suppose -3*o + 1875 = 609. Is o composite?
True
Let z = -356 + 609. Is z composite?
True
Let i(k) = -132*k - 1. Is i(-2) prime?
True
Is 278*((-7)/2)/(-7) prime?
True
Let v be (-2)/(-3) + (-13)/(-3). Is (-534)/(1 - (v - 2)) composite?
True
Suppose 0 = 3*w - c + 88, 3*w - 4*w = -3*c + 32. Let t = 48 + w. Is t composite?
False
Let r be (-563)/3 - (-4)/6. Let a = r + 332. Is a prime?
False
Let j(w) = 24*w - 5. Is j(4) prime?
False
Suppose 5828 = 2*l - 890. Is l a prime number?
True
Let r = -537 + 1238. Is r prime?
True
Let h(m) = 157*m**2 - 2*m - 3. Let r be h(-3). Suppose 4*c = -2*i + r, -5*c - 4*i = -i - 1769. Is c a composite number?
True
Suppose 4*s + 76 = 2*s. Let u = 190 - 131. Let j = s + u. Is j a composite number?
True
Suppose 0 = -q + 2*z + 167, -656 = -4*q + 2*z - 0*z. Is q composite?
False
Suppose -3*v - 23 = -4*k - 6*v, 2*k - 13 = -v. Let b(f) = -f**3 + 8*f**2 + f - 3. Let p be b(k). Suppose 0 = -p*j + 182 + 203. Is j prime?
False
Let i be (-579)/5 - (-2)/(-10). Suppose -k + 5*k = -244. Let p = k - i. Is p composite?
True
Let n = 590 + -283. Is n a prime number?
True
Suppose 0 = -4*s + r + 115, 0