 = -15 - -77. Let m = z + d. Is m a prime number?
False
Let k be (4 - (-56)/(-12))/((-4)/174). Suppose 21*a + 776 = k*a. Is a a composite number?
False
Let d be (0 - (-1963)/(-2)) + (-2)/4. Let a = d - -1721. Is a a prime number?
True
Let v = -11999 - -23278. Is v composite?
False
Let j(r) = 6*r**2 + 12*r + 19. Let f(x) = 11*x**2 + 25*x + 37. Let s(v) = 4*f(v) - 7*j(v). Is s(14) prime?
True
Is 17131/2 + 45/90 a composite number?
True
Let o be 618/9 + (-22)/33. Let f = o + -29. Is f prime?
False
Let c(b) = 96*b + 37*b + 22 + 88*b - 66*b. Is c(5) composite?
False
Suppose -3*m + 781815 = -q, -2*q + 5*q - 1303025 = -5*m. Is m a composite number?
True
Suppose -10*r + 254908 - 39738 = 0. Is r composite?
False
Suppose -d + 2239 = -4*i, 3*i - 5991 = -4*d + 2984. Suppose 195 = -5*t + k + d, 2*t + 3*k = 809. Is t prime?
True
Let q(m) = -m**3 + 9*m**2 - 3*m + 1. Let c be q(9). Is ((-6686)/c - 0) + (-4)/26 prime?
True
Suppose 0 = -f + 10 + 2. Let n be f/(-20) + (-39)/(-15). Suppose 67 = n*l - 43. Is l prime?
False
Suppose 2*p + 2*r = 0, -4*p + r + 40 = -3*r. Let m = -25 + p. Is -2*89*10/m composite?
False
Let k = 29120 + -9049. Is k a prime number?
True
Let t be -214 + 4/8*2. Let k = 390 + t. Is k a composite number?
True
Let d(v) = -v + 6. Let b be d(6). Let n be (-3 + (4 - -1))*(-12)/(-8). Suppose b*l - 354 = -n*l. Is l a prime number?
False
Suppose 13*r - 4 = 12*r + i, 0 = -4*i - 8. Is ((-12)/(-8)*r)/((-12)/(-8812)) a composite number?
False
Let w(y) = -y**3 - 6*y - 9 - 8*y + 16*y**2 + 2 + 0. Let d be w(15). Let q = d + 89. Is q composite?
False
Let c = 97982 + -55779. Is c a composite number?
True
Suppose 4*o - 3*i - 3158 = -8*i, -4*i + 3943 = 5*o. Is o a prime number?
True
Let w(z) = -32*z**3 + z**2 + 3*z + 2. Let m be w(-2). Suppose 0 = 5*i - 1359 - m. Let j = i + -76. Is j a composite number?
True
Let y = 1421 + -736. Let q be y*(3 - (4 + -18)). Suppose 0 = -5*x + q - 1780. Is x a composite number?
False
Suppose 2*z - 14 = -2*z - 3*f, 4*z - 6 = f. Suppose -2*r + z = -6. Suppose -50 = 2*u - r*u. Is u a prime number?
False
Suppose 1080505 = 11*a + 20*a. Is a prime?
False
Let q(j) = -j. Suppose -3*p = -5*i + 40, 5*p + 0*i + 50 = 5*i. Let o be q(p). Suppose -g = -4*b - 2*g + 27, -5*b + 30 = o*g. Is b composite?
False
Suppose 2 + 2 = -4*u. Is 2/6 + u - (-1840)/69 composite?
True
Let j = -3346 + -1804. Is j*18/(-32) - 14/(-112) a prime number?
True
Suppose 4*i - 2*i = 3*w - 182, 0 = -i - 3*w - 73. Let t be (11424/i)/(3/10). Let v = 779 + t. Is v prime?
True
Let i(f) = 1155*f + 2. Suppose -2*x - 3*z = -14, -4*x + 3*z + 8 = 4*z. Is i(x) a prime number?
False
Let f = -916 - -1144. Let j(i) = 7*i**2 + 4*i + 4. Let s be j(-3). Suppose 4*w + 4*g - f = 0, -w - 3*g + g = -s. Is w composite?
False
Let y(k) = 488*k**2 + 37*k - 98. Is y(5) composite?
True
Let y = 22 - 22. Suppose y = -19*j + 7*j + 444. Is j a composite number?
False
Suppose f - 5*f = -52. Let t = 17 - f. Suppose -4*y + 82 = -2*z - 0*z, -t*z = 12. Is y a prime number?
True
Suppose -4*j = -j + 24. Let c = j + 12. Suppose 0 = -c*l + 2*l + 646. Is l a composite number?
True
Let q = 828 - 41. Is q a prime number?
True
Suppose 12*m - 3*z = 17*m - 41315, -4*m - 4*z + 33052 = 0. Is m a composite number?
False
Let r(d) = -d**2 + 9*d - 11. Let h be r(7). Let y = h - 1. Suppose y*b - 167 = 207. Is b prime?
False
Let u(f) = 89*f**2 + 31*f + 617. Is u(-18) a composite number?
True
Let d(r) = 370*r - 8. Let n(b) = -369*b + 8. Let q(c) = 4*d(c) + 5*n(c). Is q(-1) a prime number?
True
Let a(s) = 12*s**2 - 7*s + 15. Is a(7) a composite number?
True
Let i(z) = 20518*z**2 + 3*z - 11. Is i(-2) composite?
True
Let h(v) = -4 + 1 + 3 - v**2 + 3 + 4*v. Let j be h(3). Let f(w) = w**2 + 6*w + 7. Is f(j) composite?
False
Let t(w) = -18*w**3 + w**2 + 5*w + 4. Suppose -7 = -l - 2*n + 4*n, 4*n = -3*l - 29. Let a be t(l). Suppose -6*v + 2*v = -a. Is v a composite number?
True
Suppose 3*p + 3*k = 2*k + 1669, -3*k = p - 543. Let w = 989 - p. Is w a prime number?
True
Let u = -965 - 113. Let s = 889 - u. Is s composite?
True
Suppose -5*x - 4*h + 8*h + 17570 = 0, 3*x - 10579 = -5*h. Is x a prime number?
False
Let w(b) = 12*b**3 + 3*b**2 - 2*b + 3. Let q be w(-3). Suppose c - 6*c = -5*i - 2880, 0 = -4*i + 3*c - 2305. Let s = q - i. Is s a prime number?
False
Suppose 2*v - 8 = 0, -5*v - 17805 = -r + 5768. Is r a prime number?
True
Let m(z) = -6*z - 2. Let d be m(-6). Let f = -64 + 31. Let b = d - f. Is b a composite number?
False
Let w = 22 - 16. Let y be 47/w - 8/(-48). Suppose 0 = 4*h - y*h + 892. Is h a prime number?
True
Let b = 10 + -11. Let p be b*4/((-12)/15). Suppose -55 - 140 = -p*y. Is y prime?
False
Suppose -15*w + 10*w + 195 = 0. Is 6/w + 3348/39 a composite number?
True
Suppose 4*v = -z + 120, -z = -v + 2 + 23. Suppose w - v = 48. Is w composite?
True
Let o(h) = -h**3 - 4*h**2 - 1. Let x be o(-2). Let y = -252 + 288. Is (754/(-8))/(x/y) a prime number?
False
Suppose -3897596 + 813501 = -35*h. Is h a composite number?
False
Suppose 5*g - 20 = 4*a, 3*g - 4*a - 12 = -3*a. Suppose 0 = -0*m + g*m - 716. Is m composite?
False
Is 31452 - ((-3)/(-9) + 18/27) composite?
True
Let x = -1308 + 2195. Is x prime?
True
Suppose 0*p - 3*p - 16 = -2*m, 0 = -4*p - 16. Suppose 2*l - 3*o - 3 = 4*l, m*o = 6. Is -47*2/l*3 a prime number?
True
Let k(w) = 17176*w**2 - 151*w + 305. Is k(2) prime?
False
Suppose -14*a + 9*a - 696810 = -4*x, 0 = 2*x - 5*a - 348400. Is x composite?
True
Let z(q) = -2*q**2 + 17*q - 2. Let b be z(13). Is (b/(-2))/(3/6) prime?
False
Suppose -37 = 3*w + 17. Let a = -18 - w. Suppose -6*t - t + 21 = a. Is t a composite number?
False
Suppose 5*r = -0*r + 25. Suppose 0 = 3*g + r*a - 155, -4*g + 0*g + 196 = -4*a. Let v = g + -7. Is v composite?
False
Let c be (29211/(-28))/(-13)*4. Suppose 36 = l + 226. Let h = l + c. Is h composite?
False
Let k(n) = n**3 + n + 142. Let g be k(0). Suppose -8*u + g = -394. Is u a composite number?
False
Is (-4)/(-34) + 286340/68 prime?
True
Let w(h) be the first derivative of -11*h + 7/2*h**2 + 1/3*h**3 + 5. Is w(9) composite?
True
Is 14/(-4)*(-77882)/49 a prime number?
True
Is ((-4665)/40 + 7)*-8 prime?
True
Let i = -26455 + 38954. Is i a prime number?
False
Let q be ((-100)/6)/5*-3. Let k be q/45 + 122/18. Suppose -2*s = -k*s + 1945. Is s prime?
True
Let x = 32 - 28. Suppose -x*a = -2*a. Suppose 0 = -a*w - 5*w + 445. Is w a prime number?
True
Let w(c) = 84*c + 5. Let j be w(6). Let x = 201 + j. Suppose 0 = 7*t - 2*t - x. Is t a composite number?
True
Suppose 5*l = 4*m - 70, 0 = 5*m - 4*l + 6 - 98. Let x be ((-20)/(-6))/(m/390). Suppose -3*w = 4*c - 186 - x, 0 = 5*c + 20. Is w prime?
True
Suppose 0 = 5*c - c - 40. Suppose c*a = 12*a - 3386. Is a a composite number?
False
Suppose 19 = 5*s + 3*l, -4*s - 1 = -4*l + 3. Suppose s*r - 561 = 1345. Is r composite?
False
Suppose 1108 = -5*y + 10128. Let u = y - -639. Is u prime?
False
Let a(h) = 3*h**3 - 6*h**2 + 6*h - 4. Suppose 3*p - 13 = -5*d, 4*p - 5 = -5*d - p. Is a(d) prime?
True
Suppose d + 2*s + 4 = 0, -4*d + s - 2*s - 2 = 0. Let j(r) = 6*r**2 + 4*r + 1. Let l be j(3). Let z = l + d. Is z a prime number?
True
Let j be 102/24 - 3/(-4). Suppose d = 37 + j. Let q = -21 + d. Is q a prime number?
False
Let o be ((-5)/(-10))/((-1)/(-4)). Is (o + -5)/(3/(-158)) prime?
False
Let y be 2*(1 + (-3)/(-6)). Suppose 21*g - 227 = 20*g. Suppose 0 = 2*a - z - g, 3*z + 348 = y*a - 0*z. Is a a prime number?
False
Suppose -53317 = -5*q - 6*q. Is q a composite number?
True
Suppose -4*f + 57 + 26 = 3*a, 0 = -2*a + 10. Let k(j) = j**3 - 5*j**2 + 10*j + 21. Is k(f) prime?
True
Let l(z) = z**3 + 11*z**2 + 13*z - 5. Let k(d) = d**2 + 16*d + 16. Let a be k(-15). Suppose 2*t = -2*b - 16, -4*b = -3*t - 9 - a. Is l(t) composite?
False
Is 25 + -27 + 3*2 - -550 composite?
True
Is (7868/70)/((-4)/(-190)) composite?
True
Suppose 0 = a + 4, -3*p - 382 = -0*p - 5*a. Let s = -77 - p. Suppose -4*k + s + 47 = 2*f, -2*k + 2*f + 52 = 0. Is k a prime number?
False
Is 107171/5 - 216/180 composite?
False
Let n(y) = y - 18. Let x be n(15). Let a be (-2)/x - 91/(-39). Suppose f = -a*f + 636. Is f a prime number?
False
Suppose -4*k + 18 = -k. Suppose 3*r = 9 + k. Suppose -4*z + r*z = 139. Is z prime?
True
Suppose 77 + 391 = g. Suppose -g = 5*m - 1943. Is m a prime number?
False
Suppose