?
False
Suppose -5*v + 3079610 = 5*m, 48*v - 3079586 = 43*v + 3*m. Is v prime?
True
Suppose 5*p = 3*f + 13, -7*f - 9 = -4*p - 6*f. Suppose -4*s + 20 = 0, 3*l = -p*l + 5*s + 19140. Is l a prime number?
True
Let y = 73944 - 36000. Let i = 82555 - y. Is i a prime number?
False
Let f be 348/(-24) + (-6)/4. Let t = 36 + f. Is 1559*((-5)/(-7) - t/(-70)) prime?
True
Let f(h) = 2*h**3 - 4*h**2 + h + 4. Let b be f(3). Let w = b + -19. Let u(p) = 11*p**2 - 7. Is u(w) prime?
True
Let s = 234723 + -141856. Is s composite?
False
Suppose 6121 = -5*d - 4879. Let f = -1217 - d. Let a = f - 588. Is a a composite number?
True
Suppose -8263 - 8477 = -4*s. Let p = -2454 + s. Is p composite?
True
Let g be 5*(-4 - (-26)/5). Suppose -g*k = -22*k + 3440. Is k a prime number?
False
Let g(d) = 38 + 0*d**2 + 6*d**2 - 37 + 2*d. Let n = -61 + 66. Is g(n) composite?
True
Let y(k) = 83203*k**2 - 3*k - 3. Is y(-1) prime?
True
Let l(h) = 2*h**3 - 4*h**2 + 5*h - 3. Let w(t) = t**3 - 3*t**2 + 4*t - 4. Let j(o) = -5*l(o) + 6*w(o). Is j(-10) a prime number?
True
Is (-141)/(-1833) + 3800543/(-13)*-2 prime?
True
Let t = 70 + -67. Suppose -2*o + 8339 = -t*p, p + 2802 = o - 1370. Is o composite?
False
Let p(q) = -155*q**3 + 4*q**2 + 6*q + 4. Let b be p(-2). Let z = b - -3305. Is z composite?
True
Suppose 337 = -12*m + 5053. Let p = 595 - m. Is p a composite number?
True
Is (8/22)/((-548)/(-10087858)) a composite number?
True
Let i(u) = 923*u - 31. Let w be i(5). Suppose -10*p + w = -6*p. Suppose -4*j + 4222 = p. Is j a prime number?
True
Suppose 45*n - 42*n = 15, 5*y + 3*n = 3596900. Is y prime?
True
Suppose 4*v = -150335 + 988971. Suppose 9*d + 58828 = v. Is d composite?
False
Suppose -6 - 14 = -4*b, 5*k = -b + 830. Suppose k = -4*t - 87. Let s = t + 2998. Is s a prime number?
False
Let c be 657*(-44)/(-6) + -4. Let z = 6791 - c. Suppose -x + z = -1222. Is x a prime number?
False
Let a(m) = 133495*m - 2988. Is a(3) a composite number?
True
Let d be ((-125)/(-45)*6)/((-1)/(-3)). Suppose 0 = d*b - 56*b + 4302. Is b a composite number?
True
Let d be ((-3730)/(-15))/(-4 + (-316)/(-78)). Suppose -4*o + 14635 + d = 0. Is o a prime number?
True
Let g(j) = -j**2 + 12*j + 12. Let d be g(14). Let y = -28 + d. Is (-8)/y - 3450/(-22) a composite number?
False
Let c(p) = 9*p - 8*p**3 + 4 - 2*p + 2*p**2 + 5*p**2. Let h be c(-5). Suppose 4*k - 2*f - h = 3*k, -3*k = -f - 3457. Is k prime?
False
Suppose 231*v - 235*v = 4*u - 321652, -5*u - 402005 = -5*v. Is v prime?
True
Let d(v) = -1362*v**2 - v - 1. Let i be d(1). Let o be (-4 + 622)/(1 - i/(-1356)). Is (-4)/(-14) - o/63 composite?
False
Is (-19392 - -106)/(10/(-235)) a composite number?
True
Is 76/(-304) + (-2168031)/(-12) a composite number?
True
Suppose -3*a + 1 = -4*q, -2*a - 2 = -5*q + q. Suppose a*v - 21081 = -3228. Is v prime?
False
Suppose 4293 + 8343 = 4*t. Let p = t + -1621. Is p a prime number?
False
Let b(h) = 3793*h**2 - 8*h + 1. Is b(6) a prime number?
True
Let l(o) = 350*o + 5. Let c be ((-4)/6 - 0)*3 - -14. Suppose -8*a - 4 = -c*a. Is l(a) a composite number?
True
Suppose -2*p = 10, 0 = -5*w - 4*p - p + 1685. Let k = 74 + w. Let d = k + 485. Is d prime?
False
Suppose -1634*p = -f - 1633*p + 365509, -f + 365505 = p. Is f a prime number?
True
Suppose 0 = 21*v - 7*v + 280. Let b be 4/14 + (-1380)/(-70). Is (-8168)/v + 12/b prime?
True
Suppose -2*v - 5*w + 10*w + 10 = 0, 2 = -3*v - w. Suppose 1032 = p - v*p + 3*z, p + 4*z - 1031 = 0. Suppose 0 = -19*j + 4*j + p. Is j prime?
False
Let d be 4/10*(-40)/8 - -6175. Let c = d + -3388. Is c a composite number?
True
Let d(m) = m**3 - 20*m**2 + 28*m + 5. Let n be d(20). Suppose -8529 = -4*g - n. Is g composite?
True
Let t(s) = 139*s + 43. Let x be t(-3). Let y = 667 + x. Is y a prime number?
True
Let q = 3147 - 3143. Let m(h) = 2*h**2 - 8*h - 2. Let a be m(6). Is ((-254)/q)/(a/(-132)) prime?
False
Let k be 11 + -7 + 3 + -9. Let o be (-12)/10*5/k. Suppose -5*c = y - 14214, c + o*c = -2*y + 11370. Is c a composite number?
False
Suppose y = 3*v - 15, -17*y - 26 = -5*v - 15*y. Suppose -17*j - v*j = -10353. Is j composite?
True
Suppose 5*f - 1026 = -5*q + 5604, 2*q + 1329 = f. Is f composite?
False
Suppose 62*q + 0*q - 1444414 = 0. Is q composite?
False
Suppose -7*c = -d - 8*c + 19043, 3*c - 76173 = -4*d. Let u = d - 11051. Is u a composite number?
False
Let v be ((-18)/(-12))/((-3)/(-3620)). Is (-4)/(v/907 + -2) a composite number?
False
Let s(a) = -4*a**3 - 236*a**2 - 65*a + 56. Is s(-59) a composite number?
True
Let o = 332 + -289. Let t = -1112 - -2286. Suppose t = o*a - 41*a. Is a a prime number?
True
Let k = 51639 - 5590. Is k a composite number?
False
Let k = 21392 - 9551. Suppose k = 2*d + 1327. Is d a composite number?
True
Suppose 3*s + 69*x - 70*x - 36185 = 0, 4*s + 5*x = 48272. Is s a composite number?
True
Suppose 3*q = 3*a - 15, -11*a + 5 = -10*a - 4*q. Suppose 0 = d - 0*i - 3*i - 4034, -20265 = -a*d - 4*i. Is d a composite number?
False
Let u = 64 - 51. Let h = -9 + u. Suppose -2*i = -h*b + 1786, -b + 0*b + 451 = 4*i. Is b composite?
True
Let o be (7*(-7)/(-21))/(2/66). Suppose o*q = 64*q + 2639. Is q a composite number?
True
Suppose -5*v + 3*p = -52, 4*p - 16 + 1 = -v. Suppose 0 = -2*z + 10, -2*o - 2*z + v = -9. Suppose -3*g - 1042 = -b - b, -5*b + o*g = -2595. Is b a prime number?
False
Let m(j) = -5*j - 4 + 1 + 5. Let w be m(-2). Let c(i) = i**3 - 10*i**2 - 21*i - 5. Is c(w) a prime number?
True
Let r(t) = 358*t**3 - 2*t - 2. Let g be r(-1). Let u be 183*(-2 + 2/(-2)). Let s = g - u. Is s a prime number?
True
Let r(f) = 2*f**3 - f**2 - 3*f + 5. Let b(a) = -a**2 - 11*a - 3. Let p be b(-11). Let h be r(p). Let s = 198 + h. Is s prime?
True
Let v(g) = -g**2 + 5. Let i be v(0). Suppose -2*w + 8470 = 5*u - 3*w, u = i*w + 1718. Is u composite?
False
Let u(p) = 9*p - 34. Let h be u(4). Let o(k) = k**2 + 2*k - 4. Let t be o(h). Let s(y) = 492*y - 34. Is s(t) a composite number?
True
Suppose -2*s = 3*u + 19, 5*s + 30 = 2*u + 11. Let t(j) = j**3 + 7*j**2 + j + 6. Is t(u) a composite number?
True
Let u(n) = 3*n**2 + n - 6. Let g = -7 + 10. Let r be u(g). Let a = r + 53. Is a a composite number?
True
Suppose -k + 5*f + 5 = 0, 0 = 2*k - 2*f - 19 + 1. Suppose z - 5*h + k = 0, 4*z - 5*h = -0 + 5. Suppose -4*u = -r - 2352, z*r = 3 - 23. Is u a composite number?
False
Is (109776 - -11) + 23 + -11 a prime number?
False
Let p = -60 - 80. Let a = 903 - p. Is a a prime number?
False
Suppose -3*j - 22008 = -z, -4*z - 2*j - 23536 = -111498. Is z prime?
False
Let u be 2672/(-8)*(1 - 26/(-4)). Let o = -1665 - u. Let a = 1661 - o. Is a prime?
True
Suppose 2*q = -3*f - 0*q + 3862, 0 = q - 2. Suppose 0 = -8*y - 14 + f. Is y a prime number?
False
Let m be (-16)/(-5) - 1/5. Let u(n) = -n**3 + 8*n**2 + 4*n + 1. Let z be u(-6). Suppose 4*k = b + z, 4*k + 8*b - m*b = 451. Is k a composite number?
True
Suppose 0*x - 10*x - x + 492019 = 0. Is x prime?
True
Suppose 4*o + 107*h - 109*h - 364308 = 0, 4*o - 5*h - 364296 = 0. Is o a composite number?
False
Let d(z) = 7366*z**2 + 2*z - 3. Let t be d(1). Let s = t + -3254. Is s composite?
False
Suppose v = 2*v + 2*u - 5965, -v - 3*u = -5962. Suppose v = n - x, n = -0*x + 5*x + 5971. Is n prime?
False
Let n(p) = 379*p**2 - 4*p - 34. Let g(t) = 380*t**2 - 2*t - 35. Let h(u) = -5*g(u) + 6*n(u). Is h(-5) composite?
False
Suppose -9*p + 0*p = 5229. Let x = -202 - p. Is x composite?
False
Let z(y) be the second derivative of -y**7/2520 - 11*y**6/720 - y**5/30 + 7*y**4/6 + 5*y. Let a(q) be the third derivative of z(q). Is a(-5) a composite number?
True
Let b = 522018 - 268969. Is b prime?
True
Let h(m) = -m - 17. Let o be h(-20). Suppose 0*q - 9862 = -q + o*t, -q - 4*t = -9883. Is q prime?
True
Let f be ((-5262)/(-1))/(4*(-3)/12). Let m = -2979 - f. Suppose 9*l = 6*l + m. Is l a composite number?
False
Let p(i) = -12*i**3 - 2*i**2 + 59*i - 39. Is p(-19) composite?
True
Let p(t) = t**3 + 9*t**2 - 8. Let r be p(-9). Let k be 1/(-1)*(163 + r/2). Let o = 466 + k. Is o prime?
True
Let r(s) = 117*s**2 + 3*s + 124. Suppose 4*v - y + 41 = 0, 3*v - 6*y + 12 = -9*y. Is r(v) a composite number?
True
Let y be 16400/(4 - -1) + -4. Let k = -2189 + y. Is k a composite number?
False
Let h(r) = r**3 + 4*r**2 - 2*r - 3. Let z be (-36)/18 - (0 + (2 - 0)). Let f be h(z). Suppose -4*k + 17709 = 