be n(-3). Let d = w + 384. Is d a prime number?
True
Let f = 7 - 3. Let d = 8 - f. Suppose -d*s = -2*s - 170. Is s a prime number?
False
Suppose -v + 2*v - 4 = 0. Suppose -3*n = -v*n + 37. Is n a prime number?
True
Let d = -20 + 44. Suppose -2*y = -d + 4. Is (y/3)/(4/18) a composite number?
True
Suppose i - 126 = 39. Suppose -i = 4*x - 7*x. Is x a composite number?
True
Let x = 15 - 11. Suppose -4*t - 2*j + 724 = 0, x*t + 3*j - 732 = -j. Is t a composite number?
False
Suppose -216 = 6*t - 3*t. Let y = t + 125. Is y a composite number?
False
Let g(r) = 864*r**2 + 1. Is g(-1) prime?
False
Is ((-10)/3)/((-4)/282) composite?
True
Is 199 + (0 - 2)*-2 a prime number?
False
Let k(h) = h**3 + 5*h**2 - 3*h - 3. Let t be k(-5). Let y be (-3)/t*2*-178. Suppose 19 - y = -2*l. Is l prime?
False
Let m(c) be the first derivative of -c**2/2 - 4*c + 4. Let h be m(-5). Is 68 - (0 - (-2 + h)) a prime number?
True
Let n(s) = 12*s**2 - 10*s - 5. Let v(z) = 36*z**2 - 31*z - 16. Let f(a) = 7*n(a) - 2*v(a). Is f(-5) a prime number?
True
Let c(b) = b + 1. Let j be c(2). Suppose 2*y + j*y + 596 = 2*g, -4*g + 1244 = 3*y. Suppose -3*m = m - g. Is m a composite number?
True
Let d = -1 + 5. Let m be ((-7)/1)/(3 - d). Suppose h - m = 4. Is h prime?
True
Let l(h) = -114*h - 37. Is l(-5) prime?
False
Let i(n) = 253*n**3 - 2*n**2 + n + 1. Is i(1) a prime number?
False
Let c(w) = 9*w**3 - 7*w**2 + 6*w - 4. Let d be c(4). Suppose h - d = -3*h. Is h composite?
True
Let l(i) = i + 2. Let u(r) = -3*r - 5. Let b(w) = -7*l(w) - 2*u(w). Let m be b(-5). Is (-6)/3 + (m - -47) prime?
False
Suppose -5*k = -k. Let l(t) = t + 6*t + k - 5. Is l(6) a composite number?
False
Suppose -j + 825 = 138. Is j a prime number?
False
Let n(u) = u + 1. Let z be n(-3). Is 142/(z + -1 + 5) a composite number?
False
Let l = -573 + 841. Is l*(-2)/(-32)*4 composite?
False
Suppose -s = -2*j + 3*s + 514, -4*s = -4*j + 1020. Is j a prime number?
False
Let t = 9 - 15. Let r be 4/t + (-28)/(-6). Let w = 26 - r. Is w composite?
True
Let i be (-21)/(-9) + (-2)/(-3). Let u = i - -1. Suppose 0 = 5*s - u*s - 14. Is s a prime number?
False
Let b(r) = -r + 4. Let u be b(4). Suppose u*w = 2*w - 22. Is w composite?
False
Suppose 6 = 3*o - 3. Suppose -113 = -o*a + 109. Is 2 + -2 + a + -3 a composite number?
False
Let q(m) = -m**3 - 8*m**2 - 5*m + 10. Let j be q(-7). Let l be 4/(-2)*j/4. Suppose l*i - 181 = -3. Is i prime?
True
Let c be (-1)/2*(6 + -4). Let f(s) = 6*s + 1. Let w be f(c). Is 1266/10 + (-2)/w a composite number?
False
Let k be (3/9)/((-2)/(-6)). Is -1*(-3 + k) + 12 a composite number?
True
Suppose 1281 - 4194 = -3*n. Is n a composite number?
False
Let o be (-253)/(-4) + 7/(-28). Let f = 15 - -26. Suppose 4*v - o = -0*v - 5*a, 0 = -3*v - 5*a + f. Is v prime?
False
Let d be -2 - (-1 + (5 - 3)). Is (-774)/4*2/d a composite number?
True
Suppose -13*p + 4*p + 59067 = 0. Is p prime?
True
Suppose 3*k - 3*o + 5*o - 7 = 0, 3*o = 2*k + 4. Is k + (-1)/(2/(-12)) a composite number?
False
Let n = 149 + -63. Suppose -876 = -0*m - 4*m. Suppose -m = -w + n. Is w prime?
False
Let c(q) = -30*q. Let i be c(-1). Let z be 1/(2 + i/(-14)). Let s(o) = -o**2 - 13*o - 7. Is s(z) prime?
False
Let q be 1/4 + (-12)/(-16). Is -53*(2 - 3)*q prime?
True
Let g(w) = -w - 1. Let t(p) = -85. Let z(c) = -85*g(c) + t(c). Suppose 0 = -2*k + 5*k + 4*m - 3, 3 = 3*k - 3*m. Is z(k) composite?
True
Suppose -2*u + 2*t + 29 = -3*t, t = 3*u - 50. Suppose 10*x - 5*x = -2*i + 76, -x - i + u = 0. Let m = x + 1. Is m composite?
True
Let c = -3468 + 6079. Is c a prime number?
False
Suppose -4*t - 319 = -1319. Suppose 3*c - 138 = -2*g, t + 26 = 4*g + 4*c. Is g a composite number?
True
Let h(t) = 36*t - 3. Is h(6) composite?
True
Let i be (-2)/1*(-30)/(-12). Let p = 2 - i. Is p composite?
False
Let w be (2 - (-9)/(-6))*-58. Let c = 8 - w. Is c a prime number?
True
Let z be ((-2)/(-4))/(5/1080). Let y = 167 - z. Is y composite?
False
Let o(w) = -w + 4. Let l be o(0). Suppose -485 = -l*q - q. Is q composite?
False
Let q(k) = 10*k**2 + k + 6. Is q(7) prime?
True
Suppose 2*r + 1508 = 6*r. Is r/((4 - 3)*1) prime?
False
Let b(n) = -n + 1. Let o be b(6). Let d(w) = -2*w**3 - 8*w**2 - 8*w - 11. Is d(o) a composite number?
False
Let k(f) = -f + 34. Let p(b) be the third derivative of b**4/24 + b**3 + b**2. Let h be p(-6). Is k(h) composite?
True
Is (6 - 1)/10*614 composite?
False
Let z = 202 - 347. Let n = z + 311. Suppose k - n = -k. Is k a composite number?
False
Let t = 4 - 2. Suppose -2*i = -i + t*x - 5, 21 = 3*i + 3*x. Is i prime?
False
Let a = 6 + 9. Let r = 64 + a. Is r prime?
True
Let n(x) = 4*x**2 - 3*x - 7. Suppose -5*m = -4*a - 30, 5*m + a + 3*a - 30 = 0. Is n(m) a prime number?
False
Let s be 5*-6*4/30. Let b be (-22)/s*14 + 0. Suppose -b = -f - 0*f. Is f a prime number?
False
Suppose 2*h = -2*v + 766, 5*h - 4*v - 550 - 1383 = 0. Suppose -13*k = -8*k - h. Is k a composite number?
True
Is 1 + -3 + -1*(-144 + 1) prime?
False
Let p(x) = 476*x - 3. Is p(1) prime?
False
Suppose -3*c + 8*c = 335. Let m = -29 + c. Suppose -m = -5*z + 287. Is z prime?
False
Suppose 0*l - 4 = l. Let s(x) be the first derivative of 5*x**3/3 - x + 3. Is s(l) a prime number?
True
Suppose -10*s = -4*s - 114. Is s prime?
True
Suppose k - a = 134, k + 5*a = -0*k + 152. Suppose l - 41 = -4*v, 3*l + v - k = -4*v. Is l a composite number?
True
Is (-4431)/(-15) - 2/5 a prime number?
False
Suppose 0 = -3*d + 12 + 6. Let x be (-136)/6 - 2/d. Let g = -4 - x. Is g composite?
False
Suppose -3*a - 334 = -49. Let w = a + 252. Is w prime?
True
Let w(t) = 11*t**3 + t**2 + 5*t + 1. Let h be w(4). Suppose 5*p - h = 4*y, -3*p = 2*y + 3*y - 452. Is p prime?
True
Suppose 5*c - 20 = c. Suppose c*r = -59 - 1081. Is (-2)/(-3) + r/(-9) composite?
True
Suppose 0 = -4*z - 0*z. Is 5/(z - 1/(-59)) a composite number?
True
Let f(x) = 5*x**2 + 6*x - 1. Is f(-18) prime?
True
Suppose -i + 249 = 2*i. Is (i + 0)/(4 - 3) composite?
False
Let p = 275 + -190. Is p a composite number?
True
Suppose -3*t = -x - 13, -15 = -3*t + 5*x - 2*x. Suppose 5*l - 2*v - 85 = 302, 0 = 4*l + t*v - 332. Is l prime?
True
Suppose -10*k + 272 = -278. Is k a composite number?
True
Let v be 14/(-35) + (-17)/(-5). Let c = -1 + 1. Suppose c = -v*q - q + 92. Is q a composite number?
False
Let i(h) = h**2 + h + 7. Let s(o) = -o**3 + 6*o**2 - 3*o - 3. Let p be s(5). Suppose -d - p + 1 = 0. Is i(d) a prime number?
True
Let c be (-2)/8 + 79/(-4). Let k = c + 33. Is k prime?
True
Let j(c) = -79*c**3 - 2 + 3 + c**2 + 0 - 4 - 4*c. Is j(-2) prime?
True
Suppose -2*b - 37 = -249. Is b prime?
False
Let i(f) be the second derivative of 5*f**4/12 + f**3/2 - 3*f**2 - f. Is i(4) composite?
True
Let o = 1430 - 847. Is o a composite number?
True
Let k be -2 + 4 + (-4)/(-4). Suppose -5*b + 160 = -0*s - k*s, -5*b = -4*s - 155. Is b composite?
True
Let n = 89 + 60. Suppose -4*q - 25 = -n. Is q a prime number?
True
Let c = 150 + -90. Suppose 3*u + 2*j + j = c, 4*j = -20. Is u composite?
True
Let b(t) = t - 13. Let d be b(15). Suppose -d*l + 0*l + 633 = 5*c, 3*l + 3 = 0. Is c prime?
True
Let s be ((-2)/(-5))/((-6)/(-7050)). Suppose -s = -4*t - 38. Suppose 2*w = 2*k - 68, -2*k + w = k - t. Is k prime?
True
Let y(q) be the third derivative of 5*q**4/12 + q**3/6 + 3*q**2. Is y(2) a prime number?
False
Suppose 0 = 5*i - 4*f - 15, 6 + 0 = 2*i + 3*f. Let h = 48 - i. Suppose -2*b + 5*b = h. Is b prime?
False
Let l be (-1)/2 + (-3)/(-2). Let r be 6*l - (4 + -1). Is ((-2)/r)/((-4)/534) a prime number?
True
Let r be (-207)/(-5) + (-8)/20. Suppose -3*m - 8 + r = 0. Is (-3)/6*m*-10 prime?
False
Let y be 10/3 - (-14)/21. Suppose 4*j - 12 - y = 0. Suppose -h - j*h = -35. Is h composite?
False
Is 1 + (-4)/6*-285 composite?
False
Let n(m) = m**3 - 3*m**2 - 3*m + 5. Let o be n(4). Let t(q) = q**3 - 8*q**2 - 7*q + 13. Let r be t(o). Suppose r = 2*j - 7. Is j prime?
True
Let s be 7/3 - 8/(-12). Suppose s*t - 205 = -y, 4*y + 5*t - 806 = -0*y. Is y prime?
True
Suppose 0 = 2*c - 5*y + 4*y - 766, -1504 = -4*c - 5*y. Is c prime?
False
Let r(k) = k**2 + 34. Let g be r(0). Let h = 3 + g. Is h a composite number?
False
Suppose 2*w - 2534 = p - 14, 0 = -5*w - 3*p + 6289. Is w prime?
True
Is 1 + 0/(-2) - -888 a composite number?
True
Suppose 6 = 3*l + 21, 49 = t - 4*l. Suppose -2*p - 4*q + 119 