et p be (-3 - (-4 + 2)) + 0. Let m(f) = -4*f**3 + f**2 + f + 1. Let b be m(p). Suppose 0 = -b*s + 991 + 1224. Is s composite?
False
Let y(u) = u**3 - 6*u**2 + 15*u. Let r be y(10). Suppose 2*b - r = -3*b. Suppose 3*w = 5*w - b. Is w composite?
True
Suppose 0 = -0*k + 2*k - 3*i + 6, -2*k = -i - 2. Suppose -2*m = -k*d + 2283, 4*d = 6*d + m - 1529. Is d composite?
True
Let c = -32 + 37. Suppose c*x = 8683 - 2928. Is x a prime number?
True
Suppose 45*f - 458782 = 428393. Is f a prime number?
False
Let f(p) = p + 16. Let a be f(-11). Let u be 866 + a - (-4)/(-2). Suppose 0 = -2*k + 2*q + 582, -3*k - 2*q - u = -6*k. Is k a composite number?
True
Suppose -3*d + 16224 = -d. Suppose -3*g - t = -d, -13527 = -5*g - 6*t + 2*t. Let b = g - 1916. Is b a composite number?
False
Let z(q) be the first derivative of q**2/2 + 11*q + 5. Let h be z(-11). Suppose h = x + 3*x - 1444. Is x a composite number?
True
Suppose 0 = -t - 5*d + 7089, -2*t = 4*d - 2757 - 11397. Is t composite?
False
Let n(d) = 53*d**2 - 3*d + 9. Let y = 28 + -32. Is n(y) composite?
True
Let t(u) = 27*u**2 - 11*u - 2. Let y be t(-5). Let n = y - 201. Is n a prime number?
False
Let j(d) = d**2 - d. Suppose 4*x = 9*x + 5. Let z be j(x). Suppose -2 = z*c - 48. Is c prime?
True
Let f(z) = z**3 - 2*z**2 + 2*z - 1. Let s = -4 + 5. Let t be f(s). Suppose m = -w - 3*m + 33, -4*w + m + 217 = t. Is w prime?
True
Let p(b) be the third derivative of b**6/120 - b**5/15 + 5*b**4/24 - b**3/3 + b**2. Let o be p(3). Suppose -c - o*c = -5, 0 = 2*i + 2*c - 240. Is i prime?
False
Suppose -2748 = -5*n + 477. Suppose 4*p + 4617 = 3*s, 3*s - 3951 - n = -3*p. Is s prime?
False
Let o be (-33)/(-6) + 8/(-16). Let g = 7 - o. Is (10/g)/(-15)*-1671 a prime number?
True
Let k = -3 - -6. Suppose -p + 2*c = -1445, p - k*c - 2*c - 1460 = 0. Suppose x - 464 = 5*t - p, -2*t + 4*x + 392 = 0. Is t a composite number?
True
Let j be (-10)/4*4/(-5). Suppose -j*g + 11 + 9 = 0. Is g prime?
False
Let s = 606 + -940. Let u = s - -827. Is u composite?
True
Suppose -9*l = -92 + 2. Suppose 0*f = -l*f + 15430. Is f a composite number?
False
Let j(z) = 4*z**3 + 4*z**2 + 9*z + 6. Let i(c) = -4*c**3 - 3*c**2 - 10*c - 6. Let q(a) = 3*i(a) + 2*j(a). Is q(-5) a prime number?
False
Let c = 1628 - -4778. Suppose 0 = -a + 3*a - c. Is a a prime number?
True
Let r(z) = 9*z**3 + 9*z**2 + 75*z + 34. Is r(13) prime?
True
Let s(z) = -z**3 - 4*z**2 - 10*z - 16. Let j be 2/(3*(-10)/135). Is s(j) prime?
True
Suppose -3*m - 15631 - 4795 = -2*d, -m - 10211 = -d. Is d a composite number?
True
Suppose -4*a + r - 138 = -669, 5*r = 3*a - 394. Suppose 2*t = -a + 1215. Is t prime?
True
Let l(o) = -4*o**3 + 6*o**2 + 5*o - 1. Is l(-4) composite?
False
Let s = -19 + 24. Suppose -s*a + 2018 = -1257. Is a a prime number?
False
Suppose -4*b - 12 = 0, -6 - 357 = 3*m + 2*b. Let k = 88 - m. Suppose 0 = 2*r - 5*h - 682, -r - 5*h + k + 104 = 0. Is r a composite number?
False
Let j(n) = 2306*n + 269. Is j(27) a composite number?
True
Suppose 0 = -4*k - 82 - 282. Let b be 14/(-3)*9*-4. Let m = b + k. Is m a composite number?
True
Suppose 3*v + 51946 = 5*b, -12572 + 2184 = -b + v. Is b prime?
True
Let s be 5 + -308 + 5 - 4. Let g = s - -1543. Is g a composite number?
True
Let f be 9/(27/12) + 2. Let g = 27 - f. Is (-3)/g + (-11160)/(-14) a composite number?
False
Let l(v) be the second derivative of -v**5/20 + v**4/3 + v**3/2 + 3*v**2/2 - 12*v. Is l(-5) prime?
False
Suppose -4*u + 19167 = 5*d - u, -5*d = 5*u - 19175. Is d composite?
True
Let p(x) = 435*x**3 + 8*x**2 - 10*x - 1. Is p(2) composite?
False
Suppose -3*l + 531 = -2*x, 0 = -4*x + 9*x - 2*l + 1311. Let h = x + 184. Let t = -40 - h. Is t composite?
False
Let y be (-1 + 8)*1 - (-16)/(-4). Suppose 4*v + v + y*d = 1258, -v + 248 = -3*d. Is v composite?
False
Let d(t) = -t**2 - 25*t + 3. Let g = -15 - -20. Suppose 0*w = g*i + 4*w + 85, 0 = -3*w. Is d(i) a composite number?
False
Suppose -12*r + 10*r - 50104 = 0. Is 10/35 - r/28 a composite number?
True
Suppose 3*r = 6 - 141. Let i be -5*-3*6/r. Is (-2 - -3)/(i/(-730)) composite?
True
Suppose -2*f = -3*g - 15, -5*g = f - 0*f + 38. Is (-22)/(g/((-1484)/(-8))) prime?
False
Suppose 0*s + 33 = -3*s. Let n = 5 + s. Is n/15 + 787/5 a prime number?
True
Is ((-1148)/(-6))/((-94)/(-141)) a prime number?
False
Suppose -6171 - 4622 = -4*h + 5*f, -4*f = -2*h + 5404. Suppose 0 = -2*j + 6*j - h. Is j prime?
True
Let d = 715 - 129. Is d a prime number?
False
Let b = -6192 + 20293. Is b a prime number?
False
Let r = 7221 - 3958. Is r prime?
False
Suppose 5*c = 5*x - 70, c - 3 + 4 = 0. Suppose -16*j + 879 = -x*j. Is j a prime number?
True
Suppose -4*j = -4*v, 2*v + 2*v = 3*j + 1. Is (7/21)/(v/5937) prime?
True
Let a = 15470 - -3939. Is a a composite number?
True
Is -8 - 15*2888/(-12) prime?
False
Let v be (0*5/10)/4. Is -4 - -2 - (v - 489) a prime number?
True
Suppose -i + 610 = 4*i. Suppose 282 = -3*b + 1236. Suppose -2173 = -5*a - 4*p, -a = -p - i - b. Is a a prime number?
False
Suppose 11*z - 8566 - 9661 = 0. Is z prime?
True
Suppose -5*t - 20162 = 4*w - 87767, -3*w = t - 13532. Is t prime?
False
Let h(a) be the second derivative of -211*a**3/6 - 4*a**2 + 4*a. Let o be h(-5). Suppose 714 = 3*i - o. Is i a composite number?
False
Let k(s) = 891*s**2 - 7*s + 5. Is k(1) a prime number?
False
Let f(w) = -w**3 + 3*w**2 + w + 376. Let p be f(0). Let s = 867 - p. Is s composite?
False
Suppose -4*w = w + 5, -5*k - 2*w = -133. Is 9/k + 290/3 prime?
True
Let f(a) = -586*a - 81. Is f(-10) composite?
False
Let v be (154/(-8))/((-234)/(-120) - 2). Let w = 584 - v. Is w a composite number?
False
Suppose 2*j + 1 = 2*b + 9, 0 = -3*b + 2*j - 7. Let k(l) = 1318*l**3 + l**2 + 4*l - 4. Is k(b) a composite number?
False
Let r be 4943/1 - (-3 + 7). Suppose 10*t - r = -t. Is t a prime number?
True
Let c = 959 + -195. Let n = c + -373. Is n composite?
True
Suppose 4*s = -3*j + 352631, 3*j + 5*s - 127299 - 225331 = 0. Is j composite?
True
Let l = 4696 + -2327. Suppose 332 - l = -3*j. Is j a prime number?
False
Let m(s) = s**2 + 3*s - 12. Let k(t) = -7*t**2 + 3*t - 1. Let z be k(1). Let l be m(z). Is l/(-7) + 551/7 prime?
True
Let m(g) = -165*g + 14. Let n be m(-9). Let w be ((-3)/(-6))/((-1)/(-38)). Suppose -5*s - w = 3*r - 1502, 5*s - r - n = 0. Is s a composite number?
True
Let q(j) = 2*j + 77. Let h be q(0). Let f be 2/(-6) - 934/6. Let y = h - f. Is y prime?
True
Let r = 547 - 954. Let j = r - -1804. Is j composite?
True
Let m(c) = c - 1. Suppose 5*q - 2*q - 3 = 0. Let d be m(q). Suppose -4*o - 2*a = -552, 0*o - 5*o + 5*a + 705 = d. Is o composite?
False
Let f(p) = 7*p**3 - 4*p + 14. Let g(i) = 8*i**3 - i**2 - 4*i + 15. Let r(l) = 7*f(l) - 6*g(l). Let c be r(-6). Let m = 53 - c. Is m prime?
False
Is 13899*(-5)/3*(-2)/10 prime?
False
Let t(v) be the third derivative of v**6/120 - 5*v**4/12 + 5*v**3/2 - 17*v**2. Is t(8) a prime number?
False
Suppose 2*n - 18 = -n. Is (-1139)/(-7) + n/21 composite?
False
Let w(h) = 108*h**2 + 7*h + 31. Is w(16) a prime number?
True
Let a = 2 + 7. Suppose 3*y - a = m, m - 3 = -2*m - y. Suppose 4*g + 301 - 1113 = m. Is g prime?
False
Suppose 4*i + 0 = 20. Suppose -i*c = -2 - 28. Suppose -c*j + j + 4765 = 0. Is j prime?
True
Let j(z) = -2656*z + 681. Is j(-5) prime?
False
Let j(r) = -r**3 + 6*r**2 + 13*r - 14. Let o be j(7). Let i = 68 + -27. Let f = i - o. Is f a composite number?
False
Let s(p) = 4*p**2 + 3*p + 8. Let i be s(-4). Let t = i - 1. Is t composite?
False
Suppose 13*v = 2249 + 1118. Is v prime?
False
Is 21/63*(-3846)/(-2) prime?
True
Suppose -32*y + 2*y + 29790 = 0. Is y a composite number?
True
Suppose -844380 - 37107 = -9*c. Is c a composite number?
False
Suppose -5*f + 4 + 3 = 3*o, -5*f + 14 = -4*o. Suppose 1563 = 2*h - f*k - 2101, -4*h = 5*k - 7301. Is h a prime number?
False
Let d(i) = 62*i**3 - 5*i**2 - 4*i + 1. Let a be d(4). Suppose -a = -3*l - x, -3*x = -5*l + 3141 + 3328. Suppose 4*t + 0*t = l. Is t composite?
True
Let i(c) = -24*c**3 - 6*c**2 - 31*c - 40. Is i(-5) prime?
False
Suppose 2*p = -3*p. Suppose 3*k + 2*k - 15 = p. Let j(x) = 75*x - 4. Is j(k) prime?
False
Let t be (-8)/(-7 - -3)*-5. Let j be (4/t)/(3/60). Is 514*(2*-2)/j composite?
False
Let t(a) = 7*a + 97. Let f be t(0). Let v = f - -700. Is v a prime number?
True
Let p be (-2 + 10/4)*60/5. Le