 number?
False
Let q(h) = 3*h**2 - 4*h + 28. Is q(-13) a prime number?
True
Is 84/(-105)*-321*80 - 2 a composite number?
True
Let r = 10 + -20. Let x = r + 14. Suppose -8 = -4*q, 7*q - 1034 = -4*l + x*q. Is l a prime number?
True
Let i(c) = -2515*c + 31. Let x be i(-10). Suppose 27*b - 14*b - x = 0. Is b composite?
True
Let o(w) be the first derivative of 125*w**2 + w + 2. Is o(1) prime?
True
Let x = -22 - -34. Is ((-8)/x)/((-2)/57) a composite number?
False
Is 8/(-2) - (-21 - 14264) a prime number?
True
Suppose -5*t - 26 = 284. Let z = 255 - t. Is z a composite number?
False
Suppose 20 = -4*p, 19*l - 17*l + 4*p = 24114. Is l a prime number?
False
Let h be 13388/24 + 3/18. Is (0 - 2) + h + 1 a prime number?
True
Suppose -11014 = 13*r + 7498. Let z = 3397 + r. Is z a prime number?
True
Let n(r) = r**2 + 9*r - 13. Let x be n(-11). Suppose -4*a - q + 36 + x = 0, 3*q + 9 = 0. Is a/(-4) + 521 + -1 a composite number?
True
Let s(z) = 58*z**2 + 54*z - 91. Is s(-18) prime?
True
Let n(d) = 71*d + 100. Is n(23) prime?
True
Let j be (-11 + 2 + 1)/2. Let b be j/14 - 9750/(-21). Suppose -b - 170 = -2*k. Is k prime?
True
Suppose 0 = 49*n - 52*n + 33321. Is n prime?
False
Let a be 3420/75*(-80)/(-6). Suppose -686 + 81 = -4*c + 3*b, 4*b + a = 4*c. Is c a prime number?
True
Let r = -23 - -31. Suppose -3 = r*m - 19. Suppose 4*a + 12 = 0, m*f - a - 762 = 539. Is f a composite number?
True
Let f be ((-6)/(-7))/((-5)/35). Is (-1257)/f*(2 + 0) a prime number?
True
Suppose 0 = -4*r - 8, -3*y - 4*r - 29879 = -6*y. Is y a prime number?
False
Let u = 475 - -604. Suppose -u = i - 187. Let t = -635 - i. Is t a composite number?
False
Let d = 17 + -5. Suppose 4*m = -2*u - 0*m + d, 3*u - 15 = -3*m. Suppose -u*b + 648 = -2*z + 140, 5*b = z + 635. Is b a prime number?
True
Let b(m) = 4*m**3 + m**2 - 2*m + 1. Let a be b(1). Suppose -4*h = 4*s, 0*h - a*s = h + 9. Suppose 0 = -h*i + 2*i + 69. Is i prime?
False
Let w(g) = 13*g**2 - 1. Let a be (-140)/65 + (-2)/(-13). Is w(a) a composite number?
True
Let n = 1182 + 410. Suppose -2*q = -3382 - n. Suppose 2*v + q = 5*v. Is v composite?
False
Let h(p) = -p**2 + 9*p + 1. Let d be h(12). Let f = -28 - d. Is f prime?
True
Let z(f) = 819*f + 32. Let p be z(10). Suppose -6*t - 620 = -p. Is t composite?
True
Let q(n) = 1571*n**2 + 18*n + 41. Is q(-6) a composite number?
False
Suppose 3330 = 6*c - 6828. Let z = c - 1110. Is z a composite number?
True
Let v be 4 - (-3772)/(-4)*-1. Suppose 3*l + x - v = 2*l, -l + 2*x + 935 = 0. Is l a prime number?
False
Suppose 2097 = -b + 2*j, 2*b + 2338 = 2*j - 1864. Let q = -198 - b. Is q prime?
True
Is 101953/(-43)*(-1 - 0) prime?
True
Let t(l) = -l**3 + 5*l**2 - l + 3. Let g be t(4). Suppose 4*s - 119 + g = 0. Suppose -f + 22 = -2*u + 6*u, -5*u + s = 2*f. Is u a prime number?
False
Suppose 5*c + 4*j - 27220 - 2917 = 0, -2*c + 12048 = 5*j. Is c a prime number?
True
Let g = 46 + -31. Suppose 5*s = -g - 0. Is 0 - (3 + 468)/s prime?
True
Let a(l) = 5*l**2 - l - 1. Let p be a(-2). Suppose 0 = 4*u - p - 451. Let j = 187 + u. Is j prime?
False
Suppose 16 = 5*s + 2*q, -3*s + 16 = -s + 4*q. Suppose -804 = -4*v + 2*m, -4*m + s*m + 390 = 2*v. Is v prime?
True
Let p = 246 + -120. Suppose -4*x = -190 - p. Is x a composite number?
False
Let p(u) = u**3 - 7*u**2 + 5*u + 4. Let g be p(6). Is 573/g*(-30)/45 a composite number?
False
Let g(o) = o - 2. Let r be g(6). Is 2319*(-2 - -7) + r/2 prime?
True
Let t = 19 - 16. Suppose -t*g + 0*p + 348 = -3*p, -g = -5*p - 128. Let m = -46 + g. Is m prime?
True
Let l = -47 + 45. Let z(s) = 114*s**2 + 7*s + 5. Is z(l) a prime number?
False
Is (-9 - (-253)/33)*105414/(-8) prime?
True
Is (-6)/(-42) - (-83592)/14 a composite number?
True
Is 3/(-24)*-4 - (-1551)/6 composite?
True
Suppose -12 = 6*u - 9*u. Suppose -u*h + 15 = -h, -2*h = p + 658. Let k = p + 961. Is k a prime number?
True
Suppose -2*r = -0*r + c - 9, -4*r = -c - 9. Suppose -4*y + 9262 = -r*k, -4*k - 2 = -5*k. Is y composite?
True
Let z(h) be the second derivative of -4*h**5/15 - 5*h**4/24 + 5*h**3/6 + h. Let t(k) be the second derivative of z(k). Is t(-8) a composite number?
False
Suppose -52*k + 50*k + 29938 = -4*a, 59876 = 4*k + 3*a. Is k a prime number?
True
Suppose 380 = -4*w - 2*n + 1574, 4*n = -5*w + 1497. Suppose 0 = -f + w + 170. Is f a prime number?
True
Is 3538/22 + 6/(-198)*-6 composite?
True
Is 77209/33 + (-10)/15 prime?
True
Suppose -9*k = -3*k - 4956. Let n = 554 - k. Let f = -186 - n. Is f a composite number?
True
Let o = 9272 - 4143. Is o a composite number?
True
Suppose -a - 1 = -10. Let g be ((-6)/a)/((-2)/(-12)). Let d(n) = 8*n**2 + 7*n - 3. Is d(g) composite?
False
Let w(u) = -1145*u + 112. Is w(-5) prime?
False
Is (-7 + 2)*(-10157)/7 prime?
False
Suppose -11 = -2*z - 5. Suppose -3*h + 184 = 4*x, z*h + 2*x - 66 = 116. Let v = 145 - h. Is v a composite number?
True
Let p(a) = 6*a**3 + a + 1. Let f be p(-1). Is (f/(-9))/(4/7458) a composite number?
True
Let l(b) be the first derivative of -2*b**2 - 7*b + 2. Let u be -15 - 4/4*-4. Is l(u) prime?
True
Suppose -232*o = -224*o - 622984. Is o composite?
True
Suppose -2*n + 3*x + 1885 = 0, 4*n - 4165 = 4*x - 397. Suppose n + 63 = 4*u. Is u a prime number?
True
Suppose -20*c = -16*c - 28936. Suppose 742 = 8*b - c. Is b a composite number?
False
Let h be (-2)/2*9/(-3). Suppose -h*c + 18 = 3*f, -10 = -0*f + 5*f - 5*c. Suppose 0 = 2*y + f*y - 1420. Is y a prime number?
False
Suppose 0 = 2*q + 3*g - 99293, -3*q + 49646 = -2*q + g. Is q a composite number?
True
Let z(c) = 21294*c - 47. Is z(1) a composite number?
False
Let t = -997 - -1000. Let c be 2 - (-2)/1 - 2. Suppose -t*y + 1327 = c*n - 249, 0 = -2*y + 4. Is n composite?
True
Suppose -62*i + 1394544 = -1521998. Is i prime?
True
Suppose -2*y + 4*b = -7310, 7014 = 3*y + 3*b - 3969. Is y a prime number?
True
Suppose h = -2*h + 27. Let v = -9 + h. Suppose v = -5*m + 125 + 50. Is m a prime number?
False
Suppose -98*g + 94*g = 516. Let d = g - -164. Is d composite?
True
Let f be (-2)/(-3)*3/2 - -2. Is 30*(21/6 - f)*1 a prime number?
False
Let i be 3/12*8*1. Suppose -8 = -4*a, -i*a - 2*a + 298 = w. Suppose -w = 2*k - 1812. Is k composite?
False
Let b(a) = -a**3 + 7*a**2 + 2*a - 10. Let g be b(7). Suppose -g*k + 75 = 3*h - 32, -2*k - 4*h + 66 = 0. Suppose 5*w - 222 = k. Is w a prime number?
False
Let o be (-3)/(1 - 14/8). Suppose h - o*p = -3, 0*h - p - 8 = -2*h. Suppose 0 = -5*y - h*k + 910, y = 5*k + 247 - 47. Is y composite?
True
Suppose 2*f + 6 - 2 = 0. Let l be f/(-4) + 234/(-36). Is -186*((-16)/l + -3) a composite number?
True
Suppose -29*c = -30*c + 3748. Suppose -c = -7*x + 3*x. Is x prime?
True
Suppose -5*t = -4*d - 17585, -4*t + 4*d + 9612 = -4460. Is t composite?
True
Let y(w) = -w**2 - 4*w. Let d(m) = -m + 1. Let o(c) = 4*d(c) - y(c). Let z(l) be the first derivative of o(l). Is z(3) a composite number?
True
Let s(k) = 100*k**3 + 3*k**2 - 36*k + 39. Is s(8) a composite number?
True
Is 18879 + 12 - (-2 + 12) composite?
True
Is (-3 + (-26)/(-6))*(-5469)/(-2) a composite number?
True
Suppose 218*j + 22131 = 227*j. Is j prime?
True
Let w(n) = 8*n**2 - 79*n - 188. Is w(65) composite?
False
Suppose 6506 = 7*u - 13983. Is u composite?
False
Suppose -x - 3*i - 9 = 2*i, -2*x + 5*i + 27 = 0. Let l be -4 + x - -1 - -964. Is l - (-1 + (-1 - -2)) a prime number?
True
Suppose -p + 3*j = 2*p - 45, -5*j = 4*p - 105. Suppose 0*t + 4*t = 76. Suppose -t*r + p*r - 118 = 0. Is r prime?
False
Let j be 10 + -4 + 7 + -2. Let z(r) = -2*r + 2. Let b be z(-4). Suppose b + j = p. Is p a prime number?
False
Is (-30769 - -2)/(-17 + 16) prime?
False
Let y(z) = -178*z - 46. Let k be y(-6). Let s = k - -1215. Is s a composite number?
False
Let z be (-38)/133 + 114/7. Suppose -3*a - 3*u = 2*a - 31, 0 = -2*a - 3*u + z. Suppose 3*j = -3, -a*j + 416 = 2*b - 109. Is b prime?
False
Let x = -14083 - -42616. Is x a composite number?
True
Suppose -2*w + 162 = -2*j, -j = -3*w + 4*j + 239. Suppose -u + 38 = -w. Suppose 0 = -n - 3*i + u, -232 = -2*n - i - 0*i. Is n a prime number?
False
Suppose 0 = 25*g + 22*g - 6447319. Is g prime?
True
Let q = -48 + 29. Let p = q + 20. Is (-119)/((-2 - 0) + p) composite?
True
Suppose 2*f - 7*t + 21 = -2*t, f + t - 7 = 0. Let w(z) = 7*z**3 - 3*z**2 + 4*z + 1. Let n be w(f). Suppose 16 = p - n. Is p a prime numb