-13. Let v = 16 - q. Let c = v - 6. Is c a prime number?
True
Let d be (-1)/(-8) - 1348/32. Let s = d + 564. Suppose -4*i + s = 2*z, 134 = z - 4*i - 97. Is z composite?
False
Let m(y) = y**3 + 5*y**2 - 6*y + 4. Let l be m(-6). Is 5*(0 - -263) + l prime?
True
Let j(k) = 9*k**3 - 6*k**2 + 8*k - 5. Let q be j(5). Let v = 30 + q. Let a = v + -667. Is a composite?
False
Let n(l) = 471*l - 69. Is n(12) prime?
False
Suppose 4*c - 2*c + 4 = 0, -4*l - 2*c + 4 = 0. Let z(d) = 0 - 2 + 189*d + 1. Is z(l) a composite number?
True
Suppose -23*x + 19*x + 63065 = 3*k, -3*k = 3. Is x prime?
True
Suppose w - 1706 = d, 10*w - 13*w - 3*d = -5136. Is w a prime number?
True
Let k = 23 - 0. Let j = k + -27. Is (-5956)/(-16) + (-3)/j prime?
True
Suppose -4*w + 4197 = -z, -4*w - w + 5241 = 4*z. Is w a prime number?
True
Suppose 2*s + r = 2385, 3*r + 5003 = 4*s + 248. Is s composite?
True
Is (-3)/2*(-5)/((-30)/(-17084)) a prime number?
True
Let n(u) = 482*u + 561. Is n(7) prime?
False
Let g = 2503 - 810. Is g a prime number?
True
Let u be (12/16)/1*4. Suppose -254 = 5*z - p - 2937, u*z + 4*p = 1619. Is z composite?
True
Let a(d) = d**3 + 23*d**2 + 36*d + 22. Let t be a(-15). Let i = t - -679. Is i prime?
False
Let j be (-1410)/36 + (-2)/(-12). Is (-26)/j*2454/4 composite?
False
Let p(x) = 4*x - 6. Let m be p(2). Is -6*m/(-3) + 4815/5 composite?
False
Suppose -f + 2*m = 3, -2*f + 2*m - 4 = 12. Let b = 89 - -85. Let y = b - f. Is y composite?
True
Let v(h) = 2*h**3 - 15*h**2 + 40*h - 8. Is v(19) prime?
False
Let l be (16 + -15)/((-1)/(-6)). Is 1754/l + 4/6 composite?
False
Let f(m) = -m**3 + 13*m**2 - 4*m + 13. Is f(11) a prime number?
True
Let h(f) = -12*f - 1 + 0*f**2 - 10 + f**2. Let i be h(-8). Let k = i + -100. Is k a composite number?
True
Suppose -3*j = 3*j - 60. Is 1718/6 + j/15 a prime number?
False
Let m = 163710 - 97337. Is m a composite number?
False
Let j(s) = -13*s**3 - 2*s**2 - 2*s + 2. Let n be j(-2). Suppose 5*v + 2*t - n = 301, v = 4*t + 63. Is v a prime number?
True
Suppose 0 = -15*i + 25432 + 22013. Is i composite?
False
Suppose 35 = 4*b + 4*p - 1, 3*b = 5*p - 5. Suppose b*z - 7084 + 939 = 0. Is z a prime number?
True
Let r be (18/12)/((-2)/(-4)). Is 3*796/36*r composite?
False
Let r = -48 - -47. Is 1512 + (3 + r - 1) a composite number?
True
Suppose 3*y - 2*l = -5, 4*y - 2*l + 35 = -5*l. Is 21/(-2)*(y - 572/12) a composite number?
True
Let s(w) be the first derivative of 3*w**4/4 - 4*w**3/3 + 2*w**2 + 5*w - 2. Is s(4) a composite number?
False
Let t(l) = -878*l**3 - 4*l**2 + l + 7. Is t(-2) a composite number?
False
Suppose 2*j + 3*q + 5721 - 31655 = 0, 4*q = 3*j - 38901. Is j prime?
True
Suppose -6*t + 5 = -13. Suppose t*k - l - 217 = 0, -3*l = -k + 2*k - 89. Is k a prime number?
False
Suppose -226684 = -29*o + 161829. Is o prime?
True
Is (19304/114)/((-8)/(-6)) composite?
False
Suppose -6*j - 5*u = -2*j - 27, 3*j - 4*u = -3. Suppose 11*p = 5*p. Suppose p*c - j*c = -141. Is c composite?
False
Let s be ((-8)/10)/((-2)/10). Suppose b + 5*d + 25 = s, 0 = b - 4*d - 24. Suppose -8 = -b*x + 8, -3*f - 4*x = -361. Is f a composite number?
True
Suppose -4*i = -1276 - 412. Let d(r) = -7*r**2 - 3*r - 3. Let z be d(-3). Let m = i - z. Is m composite?
False
Suppose 3*o = 7 + 5. Suppose o*w - 906 = -334. Is w a composite number?
True
Let r be (-1)/((-1)/(-2)) - -2. Suppose 2*x + 4*y - 75 - 147 = r, 2*x + 3*y = 224. Is x a composite number?
True
Is (153 - 16)*-47*(2 + -3) prime?
False
Let j = -54322 - -34078. Let y be j/27 - (-4)/(-18). Let w = 1143 + y. Is w prime?
False
Let n(d) be the third derivative of 53*d**5/15 - d**4/12 - d**3/6 - 3*d**2. Is n(2) composite?
True
Let t be (-8 - 2/1)/((-9)/927). Is t/1*(-8)/(-16) composite?
True
Let c(z) = 18*z**2 - z. Let r = 1 - 43. Let n be (-1)/(-7) - 120/r. Is c(n) prime?
False
Let d(q) = -q**3 + q - 7966. Let z be d(0). Is (-24)/(-60) - z/10 a composite number?
False
Let f = 55 + -85. Let s be (f/(-9))/((-2)/(-3)). Suppose -s*x = n - x - 137, -701 = -5*n - 4*x. Is n a composite number?
True
Suppose -5*t - 18 = -2*t. Let a be (3 - (-21)/t)*444. Let i = 69 - a. Is i a composite number?
True
Suppose -16*k = -17*k + 16811. Is k composite?
False
Let p(g) = -746*g**3 - 2*g**2 + 1. Let u be p(-1). Suppose -3*k + u = -2*f, 0*k - 2*f = -k + 243. Is k a prime number?
True
Let m(j) = 7*j**2 + 5*j - 7. Let r(z) = -29*z**2 - 19*z + 29. Let b(q) = 9*m(q) + 2*r(q). Is b(4) a prime number?
True
Let h = 75 - 496. Let d = -86 - h. Is d composite?
True
Suppose 7445 + 7847 = 4*n. Is n a prime number?
True
Let w(t) = -10*t - 2. Let a be ((-4)/6)/(4/30). Let k be w(a). Is 1482/k - 1/(-8) a prime number?
True
Let j(b) = 2240*b + 55. Is j(5) a prime number?
False
Let g = 4366 - -1058. Suppose -g = -4*p - 5*f, -6*f + 1357 = p - 5*f. Is p prime?
True
Let p be 2492 - 1/(1 + 0). Let s = -1724 + p. Is s prime?
False
Let l = 16184 + -2503. Suppose 9*j - 13675 = 4*j - 5*r, 3*r = -5*j + l. Let p = j + -939. Is p a prime number?
False
Let l = 505 + -564. Suppose 0 = -s - 5*m - 20 - 1, -s - 2*m = 30. Let p = s - l. Is p a composite number?
False
Let u(d) = 5*d**2 + 25*d - 17. Let l(y) = -3*y**2 - 12*y + 9. Let c = -12 + 10. Let r(t) = c*u(t) - 5*l(t). Is r(-10) composite?
False
Let j(n) be the second derivative of n**5/20 - n**4/2 + 5*n**3/6 + 5*n**2/2 - 3*n. Let y be j(5). Suppose 260 = k - z, -y*z - 774 = 3*k - 6*k. Is k prime?
True
Suppose 18025 = 5*y + 2*z, -25*z = -y - 28*z + 3592. Is y a prime number?
True
Is (5/(175/(-107443)))/(2/(-10)) composite?
False
Let y be (-3257)/(-15) + (-16)/120. Suppose 3*z = 5*r + y, 0*z = 2*z - 2*r - 150. Is z a prime number?
True
Let k be -4 + (-3 - -5)*12. Let r = -17 + k. Is (2/r)/(6/1413) a composite number?
False
Is 3/9 - 11222/(-3) - -2 a composite number?
True
Let s = -16 - -16. Is 31 - (2 + (-4 - (-2 + s))) composite?
False
Let i = 3579 - 857. Is i prime?
False
Let a be 6 - (0 + 1 + 3). Suppose 0 = a*l - 5*l - 12. Is -2*(1 + 10/l) a prime number?
True
Is (-14)/(-2) - 139460/(-20) - -3 composite?
False
Suppose 0 = 13*b - 8911 - 10212. Is b a prime number?
True
Suppose -4*s = z - 21, z + 28 = 2*s + 5*z. Let n be 2/(s/2046 + 0). Suppose -v = 2*v - n. Is v prime?
False
Let a = 598 + 12711. Is a composite?
False
Suppose 2*i - 2 = 0, -2*s - 2*i + 0*i = 10. Is 251 - (-6 - s)/(0 - -1) a composite number?
False
Suppose -15*p - 20104 = -43*p. Is p composite?
True
Let g(n) = n**2 + n + 1. Let f(w) = 6*w**3 - 3*w**2 - 4*w - 6. Let r(q) = -f(q) - 6*g(q). Let t be r(-2). Is ((-24)/t)/((-2)/230) a composite number?
True
Is (0/5 - 13) + 34554 prime?
False
Let j be 14/4*(-5 + -1). Let f = -21 - j. Suppose -5*q - 5*d = -1796 - 859, f = 3*q - d - 1609. Is q a composite number?
True
Let w = 26 - 23. Suppose 2*t - 938 = 2*f - 0*f, 4*t - 1876 = w*f. Is t composite?
True
Let n(m) = -m + 7. Let q(u) = -u + 8. Let b(t) = 7*n(t) - 6*q(t). Let k(g) = -7*g - 5. Let o(a) = 2*b(a) + k(a). Is o(-2) a composite number?
True
Is ((-4971)/9)/((-8)/24) a composite number?
False
Suppose -i + 4867 = -4*x, -2*i = 2*i - 5*x - 19479. Is i prime?
True
Let k = -494 - -1558. Is -3 - (-5)/(10/k) prime?
False
Let b(f) = -60*f**2 + 0*f + 3 + 154*f**2 + 4*f + 176*f**2. Is b(-1) a prime number?
True
Suppose -3*k + 10 = -2*g, g - 5 = 2*g + 3*k. Is ((-10)/g)/2*115 prime?
False
Let g = 40 + -35. Suppose 0 = -g*y + l + 1030, 0*l + 4*l = 0. Is y a composite number?
True
Let t be 8 - 5 - (0 + 1). Let p(s) = s**3 - s**2 + 5*s**t + 21 - 4*s**2. Is p(0) prime?
False
Let b(w) = w**2 - w + 2. Let a be b(2). Let k be (-1 - a)*24/(-40). Suppose 218 = 4*h - 2*z, 0 = -h + k*h - 5*z - 105. Is h prime?
False
Let y(d) = -d**2 - 2. Let m be y(7). Let s be (-4)/14 + 4620/49. Let n = s + m. Is n prime?
True
Let i(g) = -4*g**3 + g**2 - g - 1. Let n be i(-1). Suppose 554 + 2516 = n*a. Is a composite?
True
Suppose -3*v = u - 4 + 1, -5*v - 2*u = -4. Suppose -d = m - 76 - 86, -4*d - 294 = -v*m. Is m prime?
True
Suppose 3*c + 5*p + 0*p = 2005, c - 2*p = 683. Let v = c + -30. Suppose 6*h - 1077 = h - 4*w, 3*h + 3*w - v = 0. Is h prime?
False
Suppose 3*d - 52707 = -2*y, 110243 - 22385 = 5*d - y. Is d composite?
True
Is (-4)/10 - 139312/(-80) a composite number?
False
Let f(z) = -42*z**3 + z**2 + z + 1. Suppose 0 = -2*d - 14 + 8. Let w be f(d). Suppose w = 5*p + 5*m + 96, 2*p - 5*