 118*t. Let b be ((-4)/(-12))/(t + 4/12). Is q(b) prime?
True
Let a(v) = -21*v**3 + 2*v**3 - 3*v - 7*v**3 + 6*v**2 - 13. Is a(-4) a prime number?
True
Suppose 2*d + 1751 = 5371. Suppose -6*t = -d + 238. Is t prime?
False
Is (-4 - ((-66)/(-18) + -8))*31461 a prime number?
True
Suppose -f + 0 + 6 = 0. Let w be (10 - 4)*(-44)/f. Is (-4)/22 - 47220/w a prime number?
False
Suppose -3*u = 4*n - 46987, 19240 = 3*u + 3*n - 27746. Is u a prime number?
True
Let x(u) = 564*u**2 + 17*u - 12. Let t = -649 - -654. Is x(t) a composite number?
False
Let n be -11 - (7 + -5 + 0 + -37). Let k = 3 + -6. Is (1356/n)/(k/(-6)) a composite number?
False
Let v(i) = -136*i**2 - i - 3. Let y be v(-1). Let l = 461 + y. Is l composite?
True
Let m = -97 - -100. Suppose -2*b - 20 = 3*b, -8822 = m*x - 4*b. Let c = 5989 + x. Is c composite?
True
Is 23 - (-35070)/3*3 prime?
False
Let q(i) = 61*i**2 + 7*i - 59. Let r = 247 + -229. Is q(r) composite?
True
Suppose 0 = -x + 2*x + 3. Let h be (x/(-5) - -1)/(34/85). Suppose 2*n = -0*o - h*o + 3606, 3*n - o = 5402. Is n composite?
False
Let q(r) = 103*r**2 - 13*r - 3. Let f be q(10). Suppose -3*j = -v - f, 13556 = -j + 5*j - 3*v. Is j composite?
False
Suppose -4*o = 0, 3*g - 4*g + o = -4. Suppose -2*w - g*r + 5*r + 12 = 0, -3*w = -4*r - 18. Suppose -w*q = -18216 - 22458. Is q a prime number?
True
Let m(u) = u**3 + 5*u**2 + u + 3. Let b be m(-4). Suppose 5 = 5*h - b. Is 890/h + (-4)/(-8) a composite number?
False
Let u(h) be the third derivative of -41/6*h**3 + 0*h + 0 - 2*h**2 - 15/4*h**4. Is u(-8) a composite number?
True
Suppose 0 = -n - 0*n + 4. Let w be (-2)/n*(-14 + -2) + -3. Suppose 0*f + 5*f = 0, w*k - 1730 = -f. Is k a composite number?
True
Let y = -21 + 32. Suppose m + 2 - 4 = 0. Is (11/m)/(y/110) a prime number?
False
Suppose -20*x + 17*x = -9. Suppose 2*n = 3*l + 20353, 0*n + x*n + l = 30502. Is n prime?
True
Let t(o) = -2*o + 37. Let b be t(18). Suppose -z - b = -10. Suppose 648 = 3*v - 5*u, -2*v - 4*u + z*u + 437 = 0. Is v prime?
True
Let p be 7 - 14 - (-3 - 7). Suppose 2*l - 921 = -3*r, p*l = -5*r + 389 + 1146. Is r a prime number?
True
Let c(f) = 23670*f**2 + 432*f - 2611. Is c(6) prime?
True
Suppose 15*z = 18*z - 156. Suppose 4*j - z = 8. Suppose -10*l + j*l = 1895. Is l prime?
True
Suppose 2*f + 108 = -3*r - 0*f, -72 = 2*r - 3*f. Let g = r + 165. Suppose 0 = 4*k - 5*y - 282 - 150, -g = -k - 4*y. Is k a prime number?
True
Let n(k) = -214116*k + 935. Is n(-1) a composite number?
False
Let u(m) = -m**3 - 1. Let q(z) = z**2 + z + 1. Let g(r) = -3*q(r) - u(r). Let h be g(4). Suppose 15*s + h*s = 30209. Is s a composite number?
False
Suppose 3*c + 4*o = 2*o - 3, 0 = -4*o + 12. Is -4966*(c/(-4))/((-72)/48) a prime number?
False
Let z(y) = 3518*y**2 + 94*y - 1211. Is z(16) a prime number?
False
Let c = 42 + -46. Let r be ((-14)/c)/(3/(-246)). Let x = r + 784. Is x a composite number?
True
Let i = 7369 + 4778. Is i a composite number?
True
Let i = -29 + 24. Is (75102/(-18))/((i/15)/1) a composite number?
False
Is 3 + 0 + 66918 + 15 + -17 a prime number?
True
Let s(j) = j**2 + 31*j + 148. Let n be s(0). Suppose -132824 = 140*t - n*t. Is t prime?
True
Let w be 21 + (-2 - 0 - -6). Let l = w + -19. Suppose 2*d - l*d = -10276. Is d a composite number?
True
Suppose -1216 = 2*i - 6*i. Let t = -146 + 260. Suppose 2*b - i = t. Is b prime?
False
Let s(v) = 110*v**2 - 77*v + 269. Is s(24) a composite number?
False
Suppose 2*t + 3*z = 1258441, -2*t + 5*z + 1142226 + 116143 = 0. Is t a prime number?
False
Suppose s + 6*b - 2251 = 1708, -15931 = -4*s - 5*b. Is s prime?
True
Let b(r) = 1689*r**2 + 11*r + 21. Let s be 1*9/(-6)*10/(-3). Is b(s) composite?
True
Suppose 0 = 135*r + 2268732 - 7092147. Is r a prime number?
True
Let i be (99/(-44))/(3/(-132)). Let b be 75 - -2 - (-1 - 0). Let l = b + i. Is l a prime number?
False
Let n(f) = -4*f**3 - 15*f**2 - 5*f. Let y be n(-6). Suppose -5*a + y = -2*a. Suppose -5*l = a - 848. Is l a prime number?
False
Let w = -495518 + 804577. Is w prime?
True
Suppose 0 = -4*w + 5*l - 17, l + 39 = w + 42. Is (-573)/w*(-1110)/45 prime?
False
Suppose -287 = -4*y - 3*z, -3*y + 4*z + 161 = -48. Let q = y - 70. Is -2 - q - (-757 - -35) prime?
True
Let f be 10945/(-7) - (-132)/(-308). Let j = -23 - f. Is j composite?
True
Let i(f) = -393*f**2 + 14*f - 29. Let g be i(-5). Let w = 563 - g. Is w a composite number?
False
Suppose 111*y + 6914982 = 432*y. Is y composite?
True
Let l be -23644*8/(22 - 6). Let a = -5649 - l. Is a a prime number?
True
Suppose 0 = 3*s - 19771 + 1960. Let j = s - 888. Suppose -12*c + j = -5007. Is c a composite number?
True
Suppose -j = -4, -2*j = -5*u - 0*j + 172. Is -521*((-8)/(32/u) + 2) composite?
True
Let l = -29466 + 208933. Is l a composite number?
True
Suppose 4*v - 310 = 2482. Suppose 7*d - 2*d + f = 1700, 2*d - v = -4*f. Suppose -3*w - 40 - d = -4*g, -2*w = 2*g - 172. Is g composite?
True
Let t = -867481 - -1484570. Is t composite?
True
Suppose -9 + 0 = 3*v. Let a(x) be the third derivative of -293*x**4/6 + 11*x**3/6 - 7*x**2. Is a(v) prime?
True
Let i(x) = -1642*x + 31. Let f(q) = q + 1. Let h be f(-5). Is i(h) composite?
False
Let m(y) = y**3 - 23*y**2 - 48*y - 24. Let p be m(25). Suppose p*o = 36*o - 5570. Is o a prime number?
True
Let y(f) = 156*f**2 + 21*f - 365. Is y(-38) a prime number?
True
Suppose 22*g + 78578726 = 56*g. Is g a composite number?
True
Let b(v) = 2*v**2 - 19*v - 8. Let g be b(10). Let h(k) = -k**2 + 3*k + 1. Let p be h(g). Suppose -p*n = 3*n - 1194. Is n composite?
False
Suppose v - 1312905 = 1484*t - 1488*t, 3*t + 6564686 = 5*v. Is v composite?
True
Let m(u) be the third derivative of -41*u**4/4 + 79*u**3/6 - 130*u**2. Is m(-23) composite?
False
Let p = 78559 - -63460. Is p a composite number?
False
Let a = 47 + -45. Suppose a*l = -2*l + g + 8193, 3*g - 6126 = -3*l. Suppose 0 = -4*j + 3*j + l. Is j a prime number?
False
Suppose 0 = 4*c + c - 10. Suppose f = -c*f - 12. Is (-7036)/(-28) - f/(-14) a composite number?
False
Suppose 0 = -2*k + 36*c - 33*c + 1748561, k - 874281 = 2*c. Is k a prime number?
False
Let u(b) = -478*b**3 - 2*b - 1. Let m(s) = 58 - 2*s - 14 + 7*s. Let c be m(-9). Is u(c) composite?
False
Let r(g) = 26*g**2 + 21*g + 3. Let f be r(-10). Suppose f = 42*k - 8737. Is k prime?
False
Let f = 265660 - 156059. Is f composite?
True
Suppose 0 = 12*v - 46228 - 214568. Is v composite?
True
Suppose -5*q - 4*j = -14232, 0 = -2*q - q + 5*j + 8517. Suppose 2845*v - 5723 = q*v. Is v a composite number?
True
Let a(l) = -99*l + 8. Let n(y) = 2*y - 28. Let k be n(16). Let z be a(k). Let u = 1295 + z. Is u a composite number?
False
Suppose 0*q = -3*q + q. Suppose -2*r - 3*f + 210 = q, -9 = 5*f + 1. Let o = -98 + r. Is o a composite number?
True
Let l = -173805 - -297728. Is l a composite number?
False
Suppose 39 = -3*s + 54. Suppose -s*g + 36653 = 3978. Is g a prime number?
False
Let r(m) = 137*m**2 + 96*m - 1997. Is r(18) prime?
True
Let k = 77785 + -42752. Is k a composite number?
True
Let x(q) = -1087*q**3 - 8*q**2 + 3*q - 1. Let o(j) = -3262*j**3 - 22*j**2 + 8*j - 3. Let d(y) = 3*o(y) - 8*x(y). Is d(-1) composite?
False
Suppose 5*j - 13*c = -16*c + 732766, 0 = -4*j - 2*c + 586214. Is j a prime number?
False
Suppose 0 = b - 4*k - 12, -6*b + k = -b - 117. Let i(z) = -b*z + 16 - 6*z - 15 + 40. Is i(-9) a prime number?
True
Let j = -743 - -2002. Is j composite?
False
Let s be -664*(13/14 + 9/(-21)). Let t = 936 + s. Let j = -269 + t. Is j composite?
True
Suppose z = 5*a, -4*z - a = -4*a - 17. Suppose 5*r + 6932 + 20396 = 3*c, -4*r + z*c = 21852. Let y = 7785 + r. Is y a composite number?
True
Let l = 7309 - 10866. Let i = 9028 + l. Is i prime?
True
Let x be 0 - (0 - (-7388 + 0)). Let w(b) = -17*b**2 + 287*b + 28. Let n be w(17). Is (2 + 3/(-6))/(n/x) composite?
False
Let d(a) = 1501*a**2 + 3*a - 8. Let m be d(3). Let l be (-2)/(-13) + m/65. Let i = -9 + l. Is i a composite number?
False
Suppose -d = 3*m - 5*m + 10, -d + 4*m - 20 = 0. Let l(o) = -2*o**2 + 1949. Is l(d) a composite number?
False
Suppose 3*k + 3*b + 24 = 0, 3*k - 4*k - 20 = -3*b. Let d(i) = -i**3 - 4*i**2 + 20*i + 4. Is d(k) prime?
True
Let f = 8420 - 14393. Let o = -3752 - f. Is o prime?
True
Suppose 0 = 19*c - 23*c + 52. Suppose -13*l = -52 - c. Suppose -2*h - 3*g = -l*h + 2361, 0 = -3*h 