 - -1 composite?
True
Let t = 26461 - 18716. Is t prime?
False
Let q(m) = m**2 + 8*m + 15. Let t be q(-3). Suppose -5*v + t*d + 2*d + 1323 = 0, -2*d + 781 = 3*v. Is v a prime number?
True
Let k = 3 - 3. Is (-1055 - k)*(-6)/30 composite?
False
Let w = 223 + -126. Suppose 4*l - 27 = w. Is l a prime number?
True
Is (-8*(-3)/(-24))/(1/(-12203)) a composite number?
False
Let h(v) = 2*v**2 + 9*v - 1. Let k be 20/9 - 2/9. Suppose 2*s + 19 = -u, 2*s + 0*u - k*u = -10. Is h(s) composite?
True
Suppose -3*k - 4*l = -19409, -5*k + 33832 - 1489 = 4*l. Is k prime?
False
Suppose 2*g + 4*b - 1004 = -0*b, 0 = 2*g + 3*b - 1007. Suppose 2491 = v - g. Is v composite?
False
Let b = -150 + 791. Is b prime?
True
Let c(a) = 621*a - 761. Is c(52) prime?
True
Suppose -2*h - 2*h = -12. Suppose 5*i - 2 = -s, h*i - s - 2 + 4 = 0. Suppose -a + 3*u + 417 = i, 3*u = 3*a - 484 - 767. Is a prime?
False
Let j be (257 - -5)*(4 + -3). Suppose -5*p + 33 = -j. Is p a prime number?
True
Let t = -9 - -13. Suppose t*m - 489 = 3*m. Is m prime?
False
Is (-29570)/(-8) + (13/(-4) - -4) a prime number?
True
Let m(r) be the second derivative of -r**5/10 - 13*r**4/6 + 17*r**3/6 + r**2/2 + 27*r. Is m(-14) prime?
False
Let h(r) = -6*r**3 - 31*r**2 - 116*r - 58. Is h(-17) prime?
True
Let x = 35 - 19. Let o(n) = n**2 - 2*n**2 + 7*n + 11*n - 22. Is o(x) a prime number?
False
Let s = -77 + 70. Is (-1166)/(-33)*(-2 + s/(-2)) prime?
True
Let o = -522 + -1511. Let h = o - -1122. Let q = h + 1800. Is q prime?
False
Suppose 0 = -4*z - g + 32132, -2*g = -0*g. Is z a composite number?
True
Suppose 0*p - p - 4*y + 1135 = 0, -y + 1120 = p. Is p a prime number?
False
Suppose 1664*m - 1665*m + 6469 = 0. Is m composite?
False
Suppose 3*u = -1 + 7. Suppose -272 = -u*r - 18. Let b = r + -44. Is b prime?
True
Suppose -2*f = -6*f - 632. Suppose 3*q + 0*q - 4*h + 739 = 0, -3*q - 4*h = 755. Let u = f - q. Is u composite?
True
Let p = -4926 - -10913. Is p a composite number?
False
Suppose 28 - 4 = 3*a. Let h be 2 + (-1)/((-2)/a). Suppose h*k - 3*k - 174 = 0. Is k a prime number?
False
Suppose -13*z + 11*z - 10 = 0. Let q(n) = -10*n**3 + n**2 + 4*n + 6. Let i be q(z). Suppose 5*x = -4*v + 1696, -v = 2*v + x - i. Is v prime?
True
Suppose b - 2461 = -c, -8*b - 4*c + 12303 = -3*b. Is b a prime number?
True
Let g = 41 + -38. Suppose g*o = 2*o + 235. Is o a composite number?
True
Let u(r) = r + 413. Let c be (0 + 2/2)*0. Is u(c) a composite number?
True
Let m(j) = 2*j**2 + 2*j + 7. Suppose -7 = i + 3*o - o, 0 = -i - 3*o - 4. Let z = i + 18. Is m(z) composite?
False
Let y(g) = -g - 3. Let n be y(8). Let s(i) = -18*i + 3*i**2 - 20*i + 9 + 49*i. Is s(n) prime?
True
Suppose -t - 2*r = t + 712, -r - 1424 = 4*t. Is 11 + -10 - (2 + t) prime?
False
Suppose t = -5*x + 5548, 3*x + 15018 = 2*t + 3974. Suppose -3*y - 1022 + t = 0. Is y a prime number?
False
Let a(s) = 4*s**2 + 8*s - 18. Let n be a(8). Is n*4 + -1 + -4 a composite number?
True
Let i = 14324 + -5191. Is i prime?
True
Let z(h) = h**2 - h + 21. Suppose -x - 70 = -6*x. Is z(x) prime?
False
Let n be 0 + 268/9 + (-6)/(-27). Suppose -34*p + 1164 = -n*p. Is p a composite number?
True
Suppose -5*v + 71 = p, -4*v + 4*p + 47 = -5. Let b be (-4)/v + 21150/35. Suppose 2*i = 10, 4*h - h - i = b. Is h a prime number?
False
Suppose 0 = 5*u - 3*b - 28, -3*u + 2*b - 2 + 19 = 0. Suppose 0 = 5*x - u - 0. Is (-517 - x)*(-13)/26 prime?
False
Let u(k) = -k**3 + 5*k**2 - 4*k - 5. Let o be u(3). Is 705*o + (-28)/(-7) prime?
True
Let y(q) = 7*q - 13. Let p(b) = b - 1. Let c(h) = -6*p(h) + y(h). Let g be c(10). Suppose -z = -6*t + t + 135, -2*t = g*z - 37. Is t a composite number?
True
Suppose -16*c - 508 = -20*c. Is c prime?
True
Is 16945/20*4 + -3 a prime number?
False
Suppose 0*y - y + 4*r = 7, 5*y + 5*r + 60 = 0. Let j = 3 + y. Let z(g) = -15*g + 1. Is z(j) prime?
False
Suppose -13775 = -9*s + 52582. Is s prime?
False
Let h be (-12)/(-18)*6/8*10. Suppose h*n + 2*m - 2167 = 2*n, 3*n + 3*m - 2166 = 0. Is n a composite number?
True
Let o be ((-8)/24)/((-2)/(-30)). Let w(h) = 2*h + 4 + 5*h**2 - 2*h**2 + 2*h + 3*h**2. Is w(o) prime?
False
Is (-4*(-436070)/(-200))/(3/(-75)) composite?
True
Let f = -2329 - -9740. Is f composite?
False
Let r = -49 - -53. Is 7/((-1)/(3 + -292 - r)) a composite number?
True
Suppose 5*s - 50 = -5*n, -5*n - s = 2*s - 42. Suppose v = n*v. Suppose 0 = -4*i - d + 1190, 5*i + v*i - 1486 = -2*d. Is i a prime number?
False
Let c = 19 - 14. Suppose 4*p - c*h + 9 = 0, 0*p = -p + 3*h - 4. Is (177/6)/(p/(-2)) composite?
False
Let w(s) = s - 18. Let x be w(17). Is 1005 + 0 - 2 - (1 + x) a composite number?
True
Suppose 5*i = 4*i + 5. Suppose -4*p + 633 = 3*m, -i*m - 4*p + 1055 = -p. Is m a prime number?
True
Let y = 21 - 21. Suppose -3*b - 3*j + y*j = -3, 0 = -4*b + 2*j + 34. Is (2/b)/((-7)/(-1113)) a prime number?
True
Let v(m) = -m + 3. Let u be v(-9). Suppose 4*n - 4 = 2*n. Suppose h = j + 112, n*j + 2*j = u. Is h composite?
True
Suppose -l - 2*l = 0. Suppose -2*w + l*q = 2*q - 652, 20 = 4*q. Is w a prime number?
False
Suppose -4*a - 77109 = -32*t + 29*t, -2*a = 0. Is t a prime number?
True
Suppose -5*c - 3*v + 98282 = 0, 5*c - 78623 = c - 5*v. Is c composite?
True
Suppose -4*x - 2663 = -3*d, 5*d - x - 4444 = -0*x. Is d prime?
False
Let l be 4/22 - (-2415)/(-33). Let b = l - -145. Suppose 4*j = 140 + b. Is j composite?
False
Let t(x) = -x**2 + 33*x - 27. Let o be t(32). Let g be (-2)/(-8) + 7/4. Suppose -5*w + g*b + 173 = -b, -193 = -o*w - 2*b. Is w prime?
True
Let y(o) = 12*o**2 - 14*o - 9. Is y(-7) prime?
True
Let a(r) = 19*r + 6. Let l be a(-2). Let u be (-72)/l + (-1)/4. Suppose -5*g + 4205 = -2*k, -4205 = -5*g + 6*k - u*k. Is g a composite number?
True
Suppose 6*t = 4*q + t - 48, 5 = q - 3*t. Let m = q - 18. Is m*(2 + -1)*-59 prime?
True
Suppose 3*h + 25 = -2*x, h + 5 = -4*x - 70. Let w = 111 + x. Is w a prime number?
False
Let a(x) = x**3 + 22*x**2 + 16*x + 23. Suppose -5*u - 15 = -c + 89, u - 3*c = -32. Is a(u) a prime number?
True
Suppose 0 = -21*z + 89167 - 23290. Is z a prime number?
True
Suppose 0 = -3*k + 5*d + 3419, k - 2*d - 1129 = -3*d. Let h = k - 414. Is h a prime number?
True
Suppose 0 = -o - 3*o - 2*x - 18, 0 = 3*o - 3*x + 18. Let t be 20/2 - 0/(-5 - -7). Is o/(t/4) - -28 a prime number?
False
Is (-4)/(-50) + 3488619/1325 a prime number?
True
Suppose 6*u - 11*u = -185. Let g = u + -130. Let p = 151 + g. Is p a composite number?
True
Let v be 6*(2 + 5/(-3)) + -335. Is (4 - v/1)/(0 - -1) composite?
False
Suppose 0 = 4*s - g + 97633 - 371905, -s = g - 68563. Is s a composite number?
False
Suppose 5*k - 5*h = 2*k + 21192, 4*k - 3*h - 28267 = 0. Is k a composite number?
False
Let p(h) = h**2 + 19*h + 18. Let k be p(-18). Suppose k*t - 4605 = -5*t. Is t a composite number?
True
Let y = -61 + 87. Let w(q) = q**3 + 12*q**2 + 12*q + 7. Let m be w(-11). Let o = y + m. Is o composite?
True
Let l be (20/60)/((-1)/(-54)). Suppose -j + 4*j + l = 0. Let r(k) = 16*k**2 + 15*k + 1. Is r(j) composite?
False
Let w(y) be the first derivative of 31*y**3/3 + y**2/2 - 5*y + 11. Is w(8) a prime number?
True
Suppose -4*m + 30709 = 3*q, -3*m - q + 5*q + 23063 = 0. Is m a prime number?
True
Let n(f) = -7*f + 19. Let i(s) = 10*s - 29. Let p(y) = -5*i(y) - 7*n(y). Let l be p(12). Suppose 4 = h, l*q - 1166 = -2*q - 5*h. Is q a composite number?
True
Suppose 0 = -5*p + 4*p. Suppose 0 = -3*y - 4*c + 1184, 2*c + p*c = -y + 392. Let l = -197 + y. Is l prime?
False
Suppose -58*s + 2972461 = -1384905. Is s a composite number?
True
Suppose 2*q + 268553 = -3*t - 646030, 2*t = 4*q - 609738. Is (4/(-6))/(26/t) prime?
True
Suppose -g - 31 = -0. Let c be g + (-8)/(-2) + 4. Let r = c - -100. Is r composite?
True
Let i = -1586 + 1057. Let h = 1538 + i. Is h composite?
False
Let n(r) = -2*r**2 + 11*r + 7. Suppose 5*x - 8*x + 15 = 0. Let s be n(x). Is ((-42)/s)/(1/(-22)) a composite number?
True
Suppose 4*f - 4 = -z, 6 = 2*f + 3*f + z. Suppose -2*u = 2*b - 3*b - 4, -12 = -u - f*b. Suppose u*w + 637 = 3377. Is w a prime number?
False
Let r(q) = -7*q**3 - 5*q**2 + 2*q + 4. Let h be r(6). Let s = 1072 + h. Let b = 1653 + s. Is b a prime number?
True
Let m(u) be the second derivative of u**7/2520 - 17*u**6/720 - 11*u**5/120 - u**4/12 - 8*u. Let i(w) be the third derivative of m(w). Is i(-9) prime?
True