-720 + 1271. Suppose 0 = -3*f + 5*f - 10. Suppose -206 = -2*d - 4*w, 2*w + 0*w + x = f*d. Is d composite?
False
Let x(v) = -4*v**3 + 1. Let j be x(1). Let n(c) = -34*c**2 - 2*c - c**3 + c**3 + 9*c**2 + 20*c**2 + 2 - 10*c**3. Is n(j) composite?
False
Let y(q) = 24*q**2 - 4*q + 13. Let c be y(5). Let m(t) = 7*t**2 + 6*t + 2. Let d be m(6). Let a = c - d. Is a a prime number?
False
Let k = 25389 + -7508. Is k a prime number?
True
Suppose 4*f - 2115 = -319. Is f a prime number?
True
Let f(v) = -2510*v + 23. Is f(-1) composite?
True
Suppose -23*o - 3*z + 3992 = -18*o, 0 = 3*o - 2*z - 2399. Is o composite?
True
Let s = 157 + 1074. Is s a prime number?
True
Let n be (-32)/(-112) + (-332)/(-14). Let r = n + -22. Is r*((-2270)/(-4) + 0) composite?
True
Let i(v) = 16*v**2 + 9 - 11*v**2 + 2 + 15*v**2. Is i(4) prime?
True
Let a be (8168/2)/1 - 2. Let m be 54606/9 - 1/3. Let y = m - a. Is y a prime number?
False
Let r be (-11244)/(-72) - (-1)/(-6). Let d = r + -29. Is d composite?
False
Suppose 4*y + 3*j = 150853, 3*y - 15*j - 113126 = -20*j. Is y a prime number?
True
Is -1 + -6108*(-7)/14 prime?
False
Let y(r) = 9*r + 8. Suppose 28 = 6*s - 2*s. Let a be y(s). Let c = 109 - a. Is c a composite number?
True
Let r(l) = 6*l + 4*l**2 + 2*l**3 + l - 13 - 3*l - l. Is r(4) composite?
False
Is 19/(-2)*(-2608 - 114) prime?
False
Suppose 0 = -5*h - 15, 5*h - 11939 = -5*m - 1484. Let y = m + -835. Is y prime?
True
Let g(c) = -5*c**3 + c - 2. Let i be g(1). Is (-117)/i*68/6 a composite number?
True
Suppose 0 = -5*y + 15*y - 13150. Is y a composite number?
True
Is (-5)/(50/4) + (-455610)/(-150) a prime number?
True
Let j(c) = c**2 + 4*c + 24. Let v be j(23). Let w = v - 158. Is w a prime number?
True
Is (-53)/(-3)*(63 + 24) a composite number?
True
Suppose -66*t + 65*t - 3*m = 265, 1074 = -4*t + 2*m. Let q = -642 + 1111. Let d = q + t. Is d prime?
False
Suppose -5*d + 7*u = 3*u - 37, 5*d - 28 = u. Let y be ((-15)/6)/d*2524. Let a = -891 - y. Is a a prime number?
False
Let n(b) = -b**2 - 3*b + 8. Let y be n(-6). Is (-5)/(y/26) - 0 prime?
True
Suppose 3*n - 798 = -f, -4*n + 7*n = -3*f + 804. Suppose -n = -4*j - j. Is j a prime number?
True
Suppose 30 - 46 = -4*l. Suppose 1407 = l*z - z. Is z prime?
False
Suppose -3*m + m = 0. Let f be m/(-2) + 45/5. Let q = 46 + f. Is q prime?
False
Let v = 796 + 925. Is v prime?
True
Let n(z) = -z + 10. Let t be n(11). Let g(m) = -58*m**3 - m. Is g(t) a composite number?
False
Suppose 0 = 4*f - 7*f + 18. Suppose -f*z + 60 = -2*z. Suppose 50 = b + z. Is b composite?
True
Suppose -1991 = -5*q + 2934. Is q a composite number?
True
Suppose -213516 = -11*r + 209929. Is r a prime number?
False
Let x(k) = -3 - 2*k**3 + 3*k**2 + 3*k**3 + k + 5. Let f be x(-2). Suppose -6*w - 4*q = -2*w - 1984, -5*w + f*q + 2507 = 0. Is w prime?
True
Let q be (0 - -10)*13/26. Suppose q*v - v - 4 = 0. Is ((-188)/(-16) - v)*28 a composite number?
True
Suppose 0 = -30*x + 26*x + 4. Is (2/(-8))/x + 300521/52 composite?
False
Let w = 13969 - 8346. Is w a prime number?
True
Suppose -1857 - 911 = -4*r - 3*g, -2*r + 5*g + 1410 = 0. Let z(q) = q**2 + q. Let u be z(-1). Suppose -b - 4*b + r = u. Is b composite?
False
Let p(o) = 6 + 5*o - 4*o - 5*o - 5*o. Suppose -30*w + 18 = -32*w. Is p(w) a prime number?
False
Suppose 2*b = 11 - 3. Let a(k) = k**2 + 13*k + 14. Let s be a(-12). Suppose 3*v = s*p + 247, 306 = 4*v - b*p + 6*p. Is v composite?
False
Let q = 19 - 19. Suppose q = 9*v - 6*v. Is -2 - 1 - (-224 + v) a composite number?
True
Suppose -2499 = d - 21026. Is d composite?
True
Let m = 823 - 1195. Let n = m - -674. Let g = n + -205. Is g composite?
False
Let x = 36508 - 9147. Is x a prime number?
True
Let p be 1/(-1)*(-2 + 3 - -2). Is 2/p - (-4820)/12 a prime number?
True
Let j = -20195 + 31564. Is j a prime number?
True
Let c be 0/(-2 - -3 - 3). Suppose 4*n - 2*r = -0*r - 24, c = 2*r. Is (2 - -78) + 3 + n prime?
False
Let z = 1663 - 962. Is z a prime number?
True
Let r = -23 + 21. Let p(i) = 45*i - 4. Let q be p(r). Let a = -27 - q. Is a composite?
False
Suppose -8 + 5 = -w. Suppose w*k = -2*z - 49, 5*z + 20 + 57 = -4*k. Let y(o) = -o**3 - 13*o**2 - 5*o - 14. Is y(k) a composite number?
True
Let y(q) = 7*q**3 - 13*q**2 - q - 9. Suppose -17 = -5*t + 8. Let i(s) = -3*s**3 + 7*s**2 + s + 5. Let b(k) = t*i(k) + 2*y(k). Is b(8) composite?
True
Suppose 42*j = 456144 + 231270. Is j a composite number?
True
Let d(z) = -z**3 - 11*z**2 - z - 5. Let l be d(-11). Suppose -l*y + 639 = -5691. Is y prime?
False
Let w(q) = 160*q**2 - 2*q - 3. Suppose 0 = -4*l + 4, -6 = -g - 5*l - 3. Is w(g) prime?
True
Let d(g) = -g**3 - g**2 + 4*g + 1056. Let z be d(0). Suppose -y = -677 - z. Is y a prime number?
True
Let f(w) = -16466*w - 7. Is f(-4) composite?
True
Let q(k) = -35*k - 28. Let y be q(-13). Suppose 2*r - 335 = y. Is r prime?
False
Let l(g) = -14*g - 3. Let m be 63/6 + 2/4. Suppose -3*z - m + 2 = 0. Is l(z) a prime number?
False
Suppose -2*g - 8504 = -3*y - 697, -4*y - g + 10424 = 0. Is y a prime number?
False
Let j = 0 + 0. Suppose -5*w + j*w = 5*u - 7920, 4*u - 6356 = w. Suppose -3*f + 7*f = u. Is f a prime number?
True
Let b(n) = 14*n**2 + 12*n - 13. Let w be b(5). Suppose 4*a + 3*v = 13, -3*v - 7 = -a - 0. Suppose 0 = -a*r - 4, -3*z - r + 5*r = -w. Is z a prime number?
True
Suppose -56 = 5*h - z, -11 = 2*h - 3*z + 14. Let f = h + 8. Is 2 + 23 + 1 + f a prime number?
True
Suppose -22 = -5*h - 7, -p - 3*h + 78 = 0. Let s(g) = 10*g - 4. Let r be s(3). Let f = r + p. Is f composite?
True
Let d be 1 + (-2 - -8)/2. Is -2 + d + -2 - -587 prime?
True
Let d = 60198 - -20959. Is d a composite number?
False
Suppose 219 = -5*n + 1639. Let y = n - -95. Is y composite?
False
Suppose -5*x + 0*p = 4*p - 428451, 4*x - 342762 = -2*p. Is x a composite number?
False
Let n(u) = 1 - 2*u + 0 + 5*u + 263*u**2 - 4*u. Let v = -79 - -80. Is n(v) prime?
True
Suppose -7*w + 6*w = -3643. Is w a prime number?
True
Let g = -19 - -17. Let d be g/(-4) - (-25)/(-10). Is ((-17)/d)/(2/8) a prime number?
False
Let n = 7 + -1. Suppose 2*a = 2 + n. Is (a/2 - 3)*-87 a composite number?
True
Is 8663/(3 - 14/7) a prime number?
True
Let n = 113 - 103. Is (-10)/2 + n - -326 a composite number?
False
Is (-27 + 19)/(-8) - 2*-17315 composite?
False
Let u(t) = -65*t**3 - 17*t**2 - 13*t + 7. Is u(-6) composite?
False
Let v(j) = 2009*j - 2. Let f be v(3). Let g = f + -3974. Is g composite?
True
Let g(q) = -606*q**3 - 9*q**2 - 11*q - 13. Is g(-3) a composite number?
False
Let f(s) = -s**2 - 6*s + 24. Let g be f(-7). Let k = g + 114. Is k a prime number?
True
Suppose 37246 = -13*l + 35*l. Is l a composite number?
False
Suppose -2*t + 12123 = 2*n + 2093, 0 = -4*t + 3*n + 20067. Let l = 7519 - t. Is l a prime number?
True
Let c(o) be the second derivative of -1/2*o**3 + 0 - 7/2*o**2 - 3*o + 1/3*o**4. Is c(6) a composite number?
True
Suppose 19*u - 2856 = 34707. Is u composite?
True
Let f(k) = -4*k**2 - k - 128. Let h(b) = 5*b**2 + b + 127. Let z(p) = -4*f(p) - 3*h(p). Is z(0) a prime number?
True
Let t(s) = s**2 - 5*s + 2. Let g be t(5). Is 1102 + (0 - 1) - g a prime number?
False
Suppose 4*b + 20 = -4*c, -c - 9 = -2*b + 5*b. Is 19305/66 + b/(-4) prime?
True
Suppose 4 = -2*a, 5*a = 2*p - 13 - 27. Suppose p = -5*s, 0*m + 2*s = -2*m. Suppose -m*g = -886 + 85. Is g a prime number?
False
Suppose 7*n - 20 = 3*n. Let f(u) be the third derivative of 43*u**4/24 - 2*u**3/3 - u**2 + u. Is f(n) a prime number?
True
Let s = 31 + -26. Suppose s*q = -2*p + 19, -3*q + 5*p - 2 = -1. Suppose 3*h + 0*u - 2*u - 1465 = 0, 0 = -3*h + q*u + 1467. Is h composite?
False
Let i(a) = a + 2. Let b be i(-11). Let k(x) = -x**3 - 8*x**2 + 7*x - 13. Let y be k(b). Suppose -h + 2*g + 331 = 0, -y*h - g - 493 = -2181. Is h prime?
True
Let j(w) = 25*w**2 - 13*w + 6. Let n be j(-11). Suppose 5*z = -0*g - 4*g + 6376, -n = -2*g + z. Is g prime?
False
Let c(u) = -2*u**3 - 2*u**2 + 7*u + 1. Let v be c(6). Let i = 930 + v. Is i prime?
False
Let w = -2047 - -2918. Is w a prime number?
False
Let d(k) be the first derivative of 63*k**2 + 9*k - 5. Let u be d(6). Suppose -5*j + 2300 = u. Is j composite?
False
Suppose -4 + 21 = -17*f. Let q be (-45)/20 + (-2)/(-8). Is (26*q - 3)*f prime?
False
Suppose 0 = 5*s - 3*v - 234, -3*s + 0*s - 3*v + 126 = 0. Is 6/(-27) + 25075/s prime?
