 12*s - 77. Is v(r) composite?
False
Let m(x) = 8*x + 37. Let h be m(-4). Suppose 2*k - 3*k - 5*c = -4045, 0 = -h*c. Is k a composite number?
True
Is 1090701/99 + ((-6)/33 - 0) a composite number?
True
Let t(b) = 3*b**3 - 29*b + 45. Is t(11) prime?
True
Suppose 91*i - 70*i - 643251 = 0. Is i a prime number?
True
Suppose -5*y + 1875 = -5*w, -2*y = -w - 0*w - 754. Suppose -6*j - 43 = -55. Suppose j*h - 190 = -c + h, -3*h = 2*c - y. Is c prime?
True
Is 177892/78*((-21)/(-6) - 2) a composite number?
True
Let b = -28343 + 43414. Is b a prime number?
False
Suppose -11 + 53 = -3*u. Let c be 5*(-42 + 1)*-1. Let x = c + u. Is x a prime number?
True
Suppose -4*x + 39999 = -i, -2*i - 16011 = -3*x + 13982. Is x a prime number?
False
Suppose 0 = 2*r - 11*r - 36. Is (-3378)/r*40/30 a composite number?
True
Suppose -4*h + 306 = k, 4*k + 2*h - 471 = 739. Suppose -2*c = w - 128 - 461, 3*w - k = -c. Is c a prime number?
True
Let t(c) = 25*c**2 + 4*c - 3. Let q(p) = p**3 + 15*p**2 - p - 11. Let r be q(-15). Is t(r) a composite number?
True
Suppose -8*k - 5*v = -3*k - 15, -2*k = 4*v + 4. Let j(p) = 4*p**2 - 21*p + 9. Is j(k) composite?
False
Let o be (-2 - 0)/2*9. Let x = o + 13. Suppose x*i - 300 = -0*i - 4*b, 79 = i + 5*b. Is i a composite number?
True
Suppose 30*d = 15*d + 194415. Is d composite?
True
Let s = 107 + -59. Suppose 53*c - s*c = 6305. Is c composite?
True
Let h(u) be the first derivative of 7*u**3 - 3*u**2 + 7*u + 6. Is h(-6) composite?
True
Suppose 0 = -4*k + 2*k - f + 1, 5*f = k + 27. Is (9590/(-28))/(1/k) a prime number?
False
Let o be ((-5)/15)/(3 + 105/(-36)). Is o - 56352/(-30) - 2/5 composite?
True
Suppose 0 = -18*o + 13*o + 15. Suppose 4 = w + 2*u, 0*w - 4*w = -4*u - 16. Suppose o*p - 283 = -f, w*f = -p - 4*p + 467. Is p a prime number?
False
Suppose 4*p + 5*q - 2*q - 11509 = 0, -8629 = -3*p - 5*q. Suppose -44*r - p = -46*r. Is r composite?
False
Let t = -26 + 31. Suppose 0 = v + 4*s - 847, -s = -4*v - t*s + 3400. Is v a composite number?
True
Let o = 2 - 0. Suppose o*r = -2*r + 48. Suppose 3*p = 81 + r. Is p a composite number?
False
Let b(q) = -737*q - 30. Is b(-47) composite?
True
Let j(l) = 917*l - 153. Is j(16) composite?
False
Suppose -3*i = 4*c - 104355, 5*i - 7*i = c - 69565. Is i a prime number?
True
Is (-4)/6 + 494025/63 composite?
False
Let u(y) = -16*y + 1685. Is u(0) prime?
False
Let p(j) = j**3 - 3*j**2 + 17*j - 32. Is p(19) prime?
True
Let s be (8/(-4) - -1)/((-1)/(-78)). Let c = s - -116. Is c composite?
True
Suppose 2*m - 2 = -0*n + 2*n, 3*n - 2*m = 0. Suppose -4*o + 686 = 2*a, -o + 1022 = 3*a - n*o. Is a prime?
False
Let h = -7 - -13. Is h/39 + 8457/39 prime?
False
Suppose -j + 5*k + 14271 = 0, 2*k - 10 = -3*k. Is j prime?
True
Suppose 0 = 2*d - 1 - 3. Suppose 51 = 2*q - q - d*x, 5*q + 5*x = 210. Suppose -150 = -3*y - q. Is y composite?
True
Let j(f) = f**3 - 8*f**2 - 14*f - 16. Let z be j(-10). Let y = z + 2661. Is y composite?
True
Let c = -11 + 12. Let x = c - 2. Is (-8)/(-8) + (-50)/x a composite number?
True
Suppose -n + 9563 = 4*f, -5*n = 4*f - 11326 - 36409. Is n a prime number?
False
Let g(v) = -v**3 + 2*v**2 + 4*v - 3. Suppose -w = -3*w. Suppose 0 = 3*u + 12 - w. Is g(u) a prime number?
False
Suppose -30*f + 25*f + 45 = 0. Let k = 0 + 0. Suppose -f*i + 6*i + 489 = k. Is i a prime number?
True
Let z(p) = p**3 - 13*p**2 + 12*p + 5. Let y = -2 + 14. Let x be z(y). Suppose 0 = 4*d - x*d + 111. Is d prime?
False
Is (-20124)/(-312)*(1 - 286/(-6)) a prime number?
False
Let k = -26 + 32. Is (-2*323/k)/((-11)/33) a prime number?
False
Suppose 6063 = j - 5*p - 20096, -4*p = -2*j + 52306. Is j a prime number?
False
Let s(t) = -10 - 4*t + 6*t**2 + 0*t + t**2. Suppose 5*l = 3*a - 19, 0 = 4*l + l + 2*a + 29. Is s(l) prime?
False
Let a = 606 + 17. Suppose 3*f - 1237 = -4*t, -3*f = 2*t - 0*f - a. Is t a composite number?
False
Let d(s) = 2*s**2 + 8*s + 18. Let u be d(-4). Is (301/2)/(u/36) prime?
False
Let d(f) = -20*f - 9. Suppose 4*w - 20 + 0 = 0. Let n = -12 + w. Is d(n) composite?
False
Let b = 175264 - 46673. Is b composite?
False
Let y(o) = 2 - 5*o + 2 + 8*o + 4*o**2. Is y(-5) prime?
True
Suppose -1025 - 518 = -s. Is s a prime number?
True
Let c(x) = -2*x**3 + 7*x**2 + 5*x + 15. Let s be c(-7). Suppose 674 = 2*y + z, -s = -3*y + 3*z - 5*z. Suppose -6*t = -3*t - y. Is t composite?
False
Suppose -3799 - 10759 = -3*v - 5*h, v = -5*h + 4836. Is v a composite number?
False
Suppose -10*x - 4 = -8*x. Is x*(555/2)/(-3) a prime number?
False
Suppose -4*z = a - 6, -z - z + 12 = -a. Let i(h) = -2*h**3 - 5*h**2 - h - 4. Is i(a) composite?
True
Is 18/333 - (-2353932)/148 prime?
False
Let z(k) = 5*k**2 - 93*k + 43. Is z(-16) a composite number?
True
Let m(u) = -651*u + 103. Is m(-4) prime?
True
Is (-8820)/(-2) + (-43 - -44) a prime number?
False
Let x be 1/(-2)*(-585 - 1). Let i(u) = u**2 + 6*u - 35. Let g be i(-10). Is (-6)/(-15) + x/g composite?
False
Suppose -4*n - 69 = 119*m - 116*m, 5*m - 30 = 3*n. Let l(s) be the third derivative of -17*s**4/24 + 6*s**3 + s**2. Is l(n) a composite number?
True
Let a = 0 + 15. Is (a/10)/(12/424) prime?
True
Suppose 9*n + 10957 = 2*q + 6*n, 0 = -4*q - 2*n + 21938. Is q a prime number?
True
Let p = 5 - 2. Let u be ((-4)/(-3))/((-2)/p). Is u/(-10) - (-13258)/35 prime?
True
Let a(v) = 2*v**2 + 4*v + 3. Let p be a(-2). Let y(q) = q**2 + 2*q - 4. Let k be y(p). Let j(f) = f**3 - 7*f**2 + f + 4. Is j(k) prime?
True
Let k be 9/(-4) + 3/12. Let r be (k/4)/((-1)/140). Let b = r - 3. Is b a prime number?
True
Let b(a) be the third derivative of 97*a**6/120 + a**5/60 - a**3/6 + a**2. Is b(1) a composite number?
False
Let t(c) = -c**3 - 4*c**2 - 2*c - 6. Suppose 3*d = -6 - 6. Let k be t(d). Suppose -5*p + 2*p + 116 = k*z, z - 115 = -3*p. Is p composite?
True
Is (-32 - -2)/6 - -386 a prime number?
False
Is (159/(-21) - -7) + 33947/7 composite?
True
Let r = -14 - -19. Suppose 2*a - 240 = 4*n - 2*a, -2*n - 92 = r*a. Let k = 175 + n. Is k prime?
False
Suppose 12578 = 2*q + 3*i - 10514, 3*q = -i + 34645. Is q a prime number?
True
Let u = 2091 - -2500. Is u a composite number?
False
Let y be (0 - 2/5) + 1626/15. Let n = y + -31. Is n a composite number?
True
Let p = 59833 + 5578. Is p a composite number?
True
Let d = -1114 + 1859. Is d a prime number?
False
Let w be (-3)/(16/4*(-3)/16). Suppose 0 = w*l + 1259 - 3543. Is l a prime number?
True
Suppose 0 = -5*z + 2*g - 4*g + 25303, z = -4*g + 5075. Is z composite?
False
Let i(f) = 2 - 4 + 130*f - 3 - 44*f. Let k(n) = 43*n - 2. Let t(h) = 2*i(h) - 5*k(h). Is t(-1) a prime number?
True
Let q be -1*(-2 - (1 - 3)) - 7. Let f(y) = 12*y**2 + 3*y + 20. Is f(q) composite?
False
Suppose -14*v - 666754 = -36*v. Is v a prime number?
True
Suppose n + 1285 = 4820. Suppose w + 0*w + 2 = 4*r, 4*w + 8 = 0. Suppose n = 7*c - r*c. Is c a prime number?
False
Suppose -b = 4*z - 2344, 2440 = 4*b - 2*z - 7008. Suppose -3*s + s + b = 0. Is ((-12)/10)/((-8)/s) a composite number?
True
Let c be 56/10 - 6/(-15). Let q(m) = 9 - m - 2*m + 0 - 4 + m**3 + c*m**2. Is q(-6) composite?
False
Suppose -2*g = -g - 0*g. Suppose 5*o + 0*k - 2*k - 573 = 0, g = -4*o - 2*k + 462. Is o a composite number?
True
Let k = 352 - 206. Suppose 0 = 2*g - 0*g + 186. Let t = g + k. Is t a prime number?
True
Suppose 4*t - 3 = -p + 25, -4*t + 5*p + 52 = 0. Suppose r + 2 = -c, 0*r - 4*r - t = -2*c. Is (-587 - (r - -2))/(-1) prime?
True
Is (116 + -4)/16*(-5501)/(-1) a prime number?
False
Let y be (-17 + 19)*(1 - 0). Is ((-762)/(-18))/(y/6) composite?
False
Let y = 1022 + -144. Is y a composite number?
True
Let a = 1119 - -1808. Is a a composite number?
False
Let s = -7010 + 12789. Is s composite?
False
Let u = -34 + 52. Let a = 4 + u. Is a a prime number?
False
Suppose -2*v + k + 3*k = 0, -4*v = 2*k. Suppose v = -3*l - 0*l + 207. Is l/9*(-3 + 6) a prime number?
True
Suppose -4*x = 35 - 235. Let o(y) = -208*y - 3. Let q be o(-2). Suppose q = 3*p + x. Is p a composite number?
True
Suppose -2*n - 32703 = 13*q - 16*q, 4*q - 43618 = -2*n. Is q composite?
False
Let r(j) = -13*j**3 - 4*j**2 - 2*j. Let d be r(-2). Let n = d - 25. Is n prime?
True
Let m(r) = 103*r**3 - 3*r**2 + 19*r - 12. Is m(5) composite?
True
Suppose -2*s - 8 = 5*l, -4*s - 16 = -l - 3*l. Let t = 6 + s. Let i(h) = 67*h**3 + h**2 + 2*h - 3. Is i(t) a composite 