 = m + -12. Let h(n) = 41*n - 5. Is h(k) a prime number?
False
Let w = -167 - -1779. Let q(f) = 3018*f**2 + 2*f + 1. Let k be q(-1). Let z = k - w. Is z a prime number?
False
Suppose 4*j + 5*q - 28868 = 0, 3*q = q. Is j a prime number?
False
Suppose 414 - 2316 = -3*h. Suppose h + 321 = 5*t. Is t a prime number?
True
Let f be 4/30 + (-51)/45. Is 1/2*-218*f a composite number?
False
Is -2213*6/(54/(-9)) a composite number?
False
Suppose 0 = -9*w + 35285 - 923. Let i = w + 4449. Is i a prime number?
False
Let m(p) = -7*p - 58. Let x be m(-9). Suppose 0 = -x*f + 3*c + 1189, 5*c - 10 = -0. Is f composite?
False
Suppose 5*g = 6*g + 26. Let d = -22 - g. Suppose -2*k = -7*k + 3*s + 406, 3*s - 341 = -d*k. Is k a prime number?
True
Suppose t + 38 = 4*a - t, -t = -1. Suppose -a = -2*z - 4. Let w(q) = 9*q**3 + 2*q**2 - 4*q + 2. Is w(z) composite?
False
Let g = 29789 + -12558. Is g composite?
False
Let b(n) = 4*n**3 - 2 + 5*n**2 + 0*n**3 - 3*n**3 - 3*n**2 - 5*n. Let f be b(-3). Suppose -f*q + 666 = -0*q + 2*o, -3*q + 497 = -o. Is q a prime number?
False
Suppose 2*j - 2*o + 4 = 0, -2*j + 6 = -5*o + 4. Is 131 - ((-8)/(-4) + j) a prime number?
False
Let p be ((-1)/3)/((-2)/3438). Let n = -80 + p. Is n a composite number?
True
Suppose p - 666 + 1870 = 0. Let h = p - -2385. Is h composite?
False
Suppose 0 = x - 51 - 192. Suppose 724 + x = s. Is s a prime number?
True
Let y be -3 - 0/(3 - 2). Let k = y + 17. Is k composite?
True
Let p = 14 + -10. Suppose -3*k + p = -5. Is ((-754)/k)/(2/(-3)) composite?
True
Let j(t) = 16*t**2 + 37*t + 261. Is j(-14) a prime number?
True
Let t(w) = 263*w**3 - w**2 + 2*w - 1. Suppose 3*s + 17 - 20 = 0. Is t(s) prime?
True
Suppose 5*w - 251 = -4*d, -4*d + 0*d = -w - 233. Suppose -61*m + d*m + 1598 = 0. Is m composite?
True
Suppose x = 4*u + 583, 269 = x - u - 305. Is x a prime number?
True
Let i = 6 - 8. Is (-3)/i*(-2712)/(-36) a prime number?
True
Let z(q) = q**3 + q**2 - q - 2. Let s be z(2). Suppose -c + 7 = -s. Suppose o = 5*m - 920, o + c = 4*o. Is m a composite number?
True
Suppose -27 = -t - 3*f, -3*t - f = -0*f - 57. Suppose 6*k = -0*k + t. Suppose 2*u - 903 = -3*l, -3*l + k*u - 900 = -6*l. Is l composite?
True
Suppose -r = -4*h + 23849 + 7161, 0 = -5*h + r + 38763. Is h prime?
True
Let s(n) = n**2 + 21*n + 20. Let t be s(-20). Suppose -4*m + 387 + 37 = t. Is m prime?
False
Suppose 4*r - 44 - 184 = -3*x, r - 62 = -2*x. Suppose 0 = 5*d - 21*o + 26*o + 95, -4*d - 2*o - 80 = 0. Let u = d + r. Is u composite?
True
Suppose 4*q + 7275 = k, 4*k + 2*q + 2*q = 29140. Is k a composite number?
False
Suppose 5*z + 56 = -5*o + 1, 0 = 3*o - 5*z - 7. Let t(i) = 17*i**2 + 7*i + 9. Is t(o) composite?
True
Let k(c) = -12*c**2 + 16*c + 23. Let r(g) = 4*g**2 - 5*g - 8. Let s(y) = -3*k(y) - 8*r(y). Let q be s(-6). Is (q - (-2 + -1)) + 1 composite?
False
Let t(v) = v**3 - 8*v**2 - 8*v - 10. Let p be t(11). Suppose -268 = -l + p. Is l composite?
True
Suppose 53 = 5*t - 2*n, -5*n = -5*t - 4*n + 49. Is (-7 + t)*209/2 composite?
True
Suppose 3*o + 3*y = 4*y + 805, 797 = 3*o + y. Suppose -34 = -2*n + n. Let l = o - n. Is l prime?
True
Suppose 0 = -c + 4217 - 653. Let s = c - 2503. Is s a prime number?
True
Let y(w) = w**3 + 22*w**2 + 56*w - 24. Let g(z) = 2*z**3 + 44*z**2 + 113*z - 49. Let q(j) = 2*g(j) - 5*y(j). Is q(-23) a composite number?
True
Let u(r) = -4*r - 21. Let h be u(-6). Suppose -v - 1 = -h. Suppose g - 4*f - 1755 = 0, -2732 - 2483 = -3*g + v*f. Is g a prime number?
False
Let y = 33881 + 2786. Is y composite?
True
Let h(r) = -2*r + 1. Let y be h(-1). Suppose -172 = -y*m + 545. Is m a composite number?
False
Let p(q) be the third derivative of 5*q**2 + 0*q + 1/6*q**3 - 1/20*q**5 + 1/120*q**6 - 5/24*q**4 + 0. Is p(6) a composite number?
False
Let n(z) = -z + 5. Let j be n(-9). Let t = j + -9. Suppose t*m - 1246 = 2*m + 5*w, 5*m - 5*w - 2060 = 0. Is m a composite number?
True
Let x(u) = 466*u + 639. Is x(32) a composite number?
False
Let x = 17 + -8. Suppose 240 = 4*c + c. Suppose n - 43 + x = 5*b, 0 = 4*n + 2*b - c. Is n a prime number?
False
Suppose -11*j + 33038 + 13800 = 0. Suppose -j = -9*m + 269. Is m a composite number?
False
Suppose -r + 6 = -1. Let s(n) = n**3 - 8*n**2 + 11*n - 5. Is s(r) a prime number?
True
Let s be 1 + (2 - 1*33). Let f(t) = -t**3 + 17*t**2 - 3*t - 119. Let n be f(16). Let l = n - s. Is l composite?
True
Let m(k) = -k + 1. Let j be m(7). Let p = -2 - j. Suppose p*s - 1655 = -s. Is s prime?
True
Is (-18328)/(-8) + 0 - (0 - -4) a prime number?
True
Suppose 10*w + 4*w = 20146. Is w composite?
False
Suppose -g = 5 + 4. Let x(i) = -i**3 - 9*i**2 - 2*i - 13. Let p be x(g). Suppose -p*d = -b - 2790, -d + 2218 = 3*d + 2*b. Is d a prime number?
True
Suppose 3*k - k - 5*k = 0. Is (5 - 6) + 0 + k + 1746 a prime number?
False
Let x(z) = 2*z**3 - 3*z**2 + 29*z - 22. Let j(w) = -w**3 + 2*w**2 - 15*w + 11. Let i(r) = -5*j(r) - 3*x(r). Is i(-10) a composite number?
False
Let f(m) = -m**2 + 2*m + 2. Let z be f(0). Suppose -z*c - 3*o = -175, 357 = 4*c + 3*o - 4*o. Is c composite?
False
Let d = 15 + -11. Suppose 3170 = -c + 6*c + 3*y, 0 = d*c + 4*y - 2544. Is c a prime number?
True
Suppose 38*d - 33481 = 31*d. Is d a prime number?
True
Suppose 2*i + 2*i - 3*w = -116, 4*w = 5*i + 146. Let n = 28 + i. Suppose -n*u = -0*u - 206. Is u prime?
True
Is (-3370)/(-4)*58/5 composite?
True
Let w = -15 + 21. Suppose w*v - 2279 = 2839. Is v prime?
True
Let r = 2 - 4. Let k = 4 + r. Suppose u = -3 + k, 4*q - 519 = -5*u. Is q prime?
True
Let q(v) = v + 1. Let g be q(4). Let l be (-1)/g - 66/(-30). Is 1167/12 + l/(-8) a prime number?
True
Suppose -3*u - 8 = -4*l - u, 3*l + 3*u + 12 = 0. Suppose -5 = 5*z - l, -11244 = -5*n + 4*z. Let o = 3165 - n. Is o prime?
False
Let s = 0 - 0. Suppose -4*r + 234 + 46 = 0. Suppose 2*q - 3*w - r = -s*q, 2*q = -5*w + 70. Is q composite?
True
Let g(t) = -283*t**2 + 6*t - 4. Let u be g(4). Let d = 6867 + u. Is d prime?
False
Is 8/4*78773/74 prime?
True
Let i(d) = -d**2 + 10*d - 12. Let v be i(8). Suppose -3*f + 50 = z, 0 = z + 2*z + v*f - 125. Is z a prime number?
False
Let f = 395 + -79. Suppose -f = -0*q - 4*q. Let v = q + -46. Is v composite?
True
Is 26/286 - 19116/(-22) prime?
False
Suppose u - 802 = 4*r + 621, -4*u + r = -5707. Let h = -928 + u. Is h composite?
False
Let n(h) = -h - 5 + 570 + 5*h**3 - 6*h**3. Let y be n(0). Suppose p + 4*p = y. Is p a prime number?
True
Let s be (5 - 3) + 2 - -6. Suppose 0 = -12*o + s*o + 28. Is o prime?
False
Let o(y) = -y + 10. Let l be o(7). Suppose -5*a + a = -l*f + 33, 0 = -f - 3*a - 2. Suppose f*d = 12*d - 2345. Is d a prime number?
False
Suppose -2*p + r = -1381, -10*r = -3*p - 9*r + 2072. Is p composite?
False
Let s(x) be the first derivative of x**3/3 + 2*x**2 + 10*x + 18. Is s(-4) a prime number?
False
Let d(z) = -29*z - 70. Is d(-49) composite?
True
Let p(u) = u**2 + 2. Let n be p(0). Suppose n*g + 0*v = -v + 614, 4*g - 1234 = -5*v. Suppose -89 = -2*z + 5*s + g, 4*s + 808 = 4*z. Is z a prime number?
False
Suppose 35319 = 2*u + 5*n - 10780, 2*u - 2*n - 46092 = 0. Is u prime?
False
Let a = 3122 + 2010. Suppose -2*d = -6*d + a. Is d a composite number?
False
Is ((-1)/(2 + -1))/1*-5065 composite?
True
Let z(k) = -62*k + 3. Is z(-7) a prime number?
False
Suppose -12*p + 4*h + 4825 = -11*p, 3*h - 9661 = -2*p. Is p a prime number?
False
Let q be (3/2)/(-3)*(-7107 - 7). Suppose 2*g = g + q. Is g composite?
False
Suppose 0 = 5*o + 54 - 94. Suppose o*p + 91 = 275. Is p composite?
False
Suppose m + 5*l = 31892, -4*l + 31897 = 5*m - 4*m. Is m composite?
True
Suppose -4*b = -b - 6. Suppose -4*q + 4*f - 1812 = 0, 409 + 494 = -b*q - f. Is ((-5)/(-20))/((-1)/q) a prime number?
True
Let i = 515 - 188. Suppose i = 7*p - 968. Is p composite?
True
Let p be (1018/(-8))/(1/(-4)). Suppose -b + p = -560. Is b composite?
False
Let t(b) = -295*b - 244. Is t(-27) prime?
False
Let f(y) be the first derivative of 29*y**4/4 + 2*y**3/3 - y - 8. Suppose k + 10 = 6*k. Is f(k) composite?
False
Let z = 21 + -27. Is ((-4)/12)/(2/z) + 222 a composite number?
False
Let u be (10/(-35))/((-2)/14). Suppose 5*r + 1890 = 5*o, 3*o = -o + u*r + 1514. Is o composite?
False
Let b(k) = k - 9. Let x be b(5). Let t = x - -8. Suppose a = w - a - 61, -2*a - 268 = -t*w. Is w prime?
False
Suppose 4*y = 8, x + 6 = 