= 2091*y**3 - 7*y + 13. Is f(2) composite?
True
Suppose 4*l - 1150 = -7*n + 2*n, -2*l = 5*n - 1150. Let v = n + -4. Suppose 443 = 3*d - v. Is d composite?
False
Let p(h) = -h + 10. Let b be p(7). Suppose -x = b - 5. Suppose 5*w - x*w = -3*l + 393, -l - 5*w = -147. Is l a prime number?
True
Let h(o) = -3*o - 8. Let m be h(-11). Let a be 260/m + (-2)/5. Let q(u) = u**3 - 5*u**2 - 8*u + 7. Is q(a) prime?
False
Let u(v) be the third derivative of v**2 + 0 - 2/3*v**3 + 73/24*v**4 + 0*v. Is u(2) a composite number?
True
Suppose 95753 = 12*t - 9883. Is t a prime number?
True
Suppose 0 = -26*b + 28*b + 10. Is (b - -3)*1636/(-8) composite?
False
Let p = 42168 - 15431. Is p prime?
True
Let f = 121 - 117. Suppose -3*d - 2*t + 1451 = -f*t, -4*t + 2433 = 5*d. Is d a composite number?
True
Suppose -6*a + 2*a = -412. Suppose t + 3229 = 3*y - a, -3*y + 2*t = -3337. Is y prime?
True
Suppose -14 = 2*m - 3*z, 4*m + 5*z + 28 = -0*m. Is m/(-42) + (-5271)/(-18) prime?
True
Let r = 9820 + 7097. Is r a composite number?
True
Is -3 + 6172 + (-2 - 1) prime?
False
Suppose 8 = -4*x + 48. Let d be 559/(-11) + x/(-55). Let q = d - -73. Is q prime?
False
Let k = -96 + 254. Suppose 3*d - 79 = k. Is d a prime number?
True
Let k = -107620 - -153921. Is k a prime number?
True
Suppose -220*u = -198*u - 1125388. Is u a prime number?
False
Let r be (-3*3230/15)/(2/(-8)). Suppose 6*m - 1094 = r. Is m a composite number?
False
Let r(z) = 9*z + 2. Let t be 3/(-2) - (-45)/10. Suppose -a - t*a = -4. Is r(a) a composite number?
False
Let s(z) = -z**3 + 4*z**2 - 13. Let q(l) be the first derivative of -l**4/2 + 7*l**3/3 - l**2/2 - 27*l - 11. Let a(m) = 3*q(m) - 7*s(m). Is a(9) prime?
False
Suppose -968292 = -19*m - 99289. Is m a prime number?
True
Let f = -24 + 21. Is 1/f + 1186/3 a prime number?
False
Suppose 11*v - 31 = 2. Suppose -1536 = -v*j + 183. Is j a composite number?
True
Let z = 48 + -24. Is (8/z)/(2/10398) a composite number?
False
Suppose 87 = 4*n + 19. Let f(v) = -3*v - 47. Let x be f(-13). Let y = n - x. Is y prime?
False
Let b = 3466 - 2247. Is b a prime number?
False
Let g = 3423 + -1740. Let j = 2570 - g. Is j composite?
False
Let b(i) be the second derivative of 11*i**5/10 - i**3/6 - i**2/2 + 5*i. Let r be b(-1). Is 1/(8/(-52))*r a composite number?
True
Let l = -484 - -1094. Suppose -4*f = l - 1534. Suppose -f = -14*w + 11*w. Is w prime?
False
Suppose -b + 5 = -4. Let y(r) = -12*r - 16 + 9*r + 5*r**2 + r**2. Is y(b) composite?
False
Suppose 3*g = 1606 + 911. Let o be 2804/(-10) + 4/10. Let s = g + o. Is s a composite number?
True
Suppose n + 3*r = 3674, n - 436 = -4*r + 3237. Suppose -2*i + n = -5*c, 2*i - 5487 = -i - 2*c. Is i a composite number?
False
Suppose 18*v - 2*t + 1142 = 19*v, 0 = 3*t - 6. Is v a composite number?
True
Let g be 1/(-7) - 3717/49. Let x = g - -261. Is x composite?
True
Let m be 30/(-9)*(-12)/8. Suppose -w - 4*w = -m. Is (-3)/(w - 60/59) composite?
True
Let m(t) = -5*t**3 - 6*t**2 + 3*t + 1. Let p(d) = 9*d**3 - 1 + 5*d**2 + 4*d**2 + 3*d**2 + 0 - 5*d. Let q(c) = 7*m(c) + 4*p(c). Is q(-5) composite?
False
Let n = 5994 + -3385. Is n prime?
True
Suppose -5*s - 10*g + 93184 = -11*g, -4*s + 74543 = -5*g. Is s composite?
False
Let v(q) = -4*q**2 - 3*q. Let o be v(-1). Is (2 + o)/(-2)*-1678 a composite number?
False
Suppose 5*j + 5 = 5*h - 0, -j + 4 = 0. Suppose -3*i - 5*a = -306, h*a = -i - 3*i + 403. Is i prime?
True
Suppose 3*c = c + 6. Suppose 13*x - c*x = 23710. Is x prime?
True
Let t be (-60)/9 - 6/(-9). Let p = -21 + t. Let f = p + 80. Is f a prime number?
True
Suppose n = 4*l + 2*n - 52, -2*n = l - 20. Suppose l*v = -2*v + 1246. Is v composite?
False
Suppose -28*f + 695 = -23*f. Suppose -4*s = 2*p - 1355 - f, -5*s - 10 = 0. Is p prime?
True
Let s(n) = -18*n + 23. Let g = -24 + 11. Is s(g) composite?
False
Let s be 1/((-42)/(-8) + -1 - 4). Suppose f - s*w = 1493, 3*f - 704 = -5*w + 3724. Is f a prime number?
True
Suppose 5*v - 21 = 2*x, -9 = 2*x - 3. Let u(l) = 18 - l**3 + 0 + l + 15*l**2 + 4*l**3 - 2*l**v. Is u(-15) a composite number?
False
Let u(l) = -l**2 + 5*l + 16. Let v be u(7). Is v/(-8) + (-277)/(-4) prime?
False
Suppose 8470 = 4*n - 11586. Is n/6 - ((-4)/(-6) - 0) a prime number?
False
Suppose -3*l - 152 = -4*l. Suppose 4*o - 2846 = 5*d, 0 = -5*o - d + l + 3391. Is o a composite number?
False
Let c(x) = 604*x**3 + 4*x**2 - 5*x + 5. Is c(2) composite?
True
Suppose -2*j + 2*n - 7 = j, 5 = 3*j + 4*n. Is (j - (-2657)/3)/(92/138) a composite number?
False
Let j = -43 + 46. Suppose 2*y + 9 = j*y. Is y a prime number?
False
Let w be (-9)/(-36) + (-86)/(-8). Let y = w - 6. Suppose s + y*v + 1 = 73, 338 = 4*s - 5*v. Is s prime?
False
Suppose 3*m + 90 - 1990 = 5*r, 2539 = 4*m - r. Is m a prime number?
False
Suppose 0 = 299*p - 287*p - 373452. Is p a composite number?
False
Suppose 19*y = 24*y - 16005. Suppose -k = -0*k + 5*z - 631, 5*k + 2*z = y. Is k prime?
True
Suppose -24560 - 30336 = -4*t. Suppose -5*y = 3*g - t, -2*y + 2*g - 10978 = -6*y. Is y composite?
True
Let r(s) = -s + 23. Let o be r(18). Suppose 4*l + 1301 = -5*t + 6749, -6769 = -o*l + 4*t. Is l composite?
True
Let v = 39 + -43. Is (-176)/(-24)*(-1266)/v prime?
False
Suppose -4*h - 52 = -8*h. Let a = 62 - h. Is a composite?
True
Let i(b) be the second derivative of -5*b**3/6 - 5*b**2 + 2*b. Let j be i(13). Let h = j + 142. Is h composite?
False
Is (-4)/18 + 69637897/1179 a prime number?
False
Suppose 5*l = -l + 24. Suppose 4*x - 57 = -p, l*x - 25 - 186 = -3*p. Suppose j = 10 + p. Is j a prime number?
False
Let i = -3787 - -9449. Suppose -3*w - 1219 + i = 0. Is w prime?
True
Let k(p) = p**3 + 7*p**2 + 4*p - 4. Let m be k(-6). Suppose 0 + m = 4*l. Is (-21)/((l - -1) + -4) prime?
False
Let j(u) = u**2 - 16*u - 90. Is j(-31) prime?
True
Suppose 13 = -3*d + 199. Let t = 2 - -1. Suppose -205 = -t*b + d. Is b a prime number?
True
Let s = -141 + 96. Let n = 114 - s. Is n a composite number?
True
Let d = 40 - 14. Let a(m) = d - 12 + 71*m - 4. Is a(11) composite?
True
Let b(x) = 9*x**2 - 60*x + 188. Is b(27) a composite number?
True
Let z(m) = m**2 + 9*m - 8. Let s be z(-11). Suppose -5*n + s + 371 = 0. Suppose 28 = 5*g - n. Is g a composite number?
True
Let u be (0 + 10/8)*4. Suppose 3*c = u*c - 244. Is c a prime number?
False
Suppose -657*v - 168017 = -676*v. Is v a composite number?
True
Let w = -9088 + 17729. Is w prime?
True
Suppose g + 2*k - 1535 = 0, 4*k = 3*g - 4314 - 331. Is g composite?
False
Suppose t + 2*t - s = 1, -13 = t + 3*s. Is t - 88/(-6)*6 composite?
True
Let g = 28 - 41. Let m(i) = i**3 + 15*i**2 + 4*i - 1. Let a be m(g). Is 12/30*a/6 a prime number?
True
Let u = -2277 + -9296. Let j = -7762 - u. Is j a prime number?
False
Let j = 32 - 16. Let p be -3 + (3/(-3) - j). Is (p/(-30))/((-2)/(-105)) a prime number?
False
Let u(l) = 12*l**2 - 9*l + 13. Is u(8) a composite number?
False
Let d = -16303 + 45410. Is d a prime number?
False
Let v(l) = -80*l - 1. Let a be v(-2). Suppose 19*c - 3 = 35. Suppose c*h + a = 3*h. Is h prime?
False
Let n be -1*(1 + (6 - 4)). Let d be 1/(n + 3112/1036). Let u = -140 + d. Is u prime?
False
Suppose 2*t - 5*w = t + 857, -5*t + 4377 = -2*w. Is t composite?
False
Let o be 12*(-15)/(-20)*2/9. Suppose 5*z = 3*k - 1033 + 160, o*k + z - 582 = 0. Is k composite?
True
Suppose 0 = 4*q - 5*y - 60, -2*q + 4*y - 1 = -37. Suppose 3*o = 17 + q. Is (-3832)/(-72) + (-2)/o composite?
False
Is (1/2)/((-315405)/(-157698) + -2) a composite number?
False
Suppose s + v = 6800, 0*v + 34018 = 5*s - v. Is s a composite number?
False
Let r = 0 + 4. Suppose -4*u - s = u - 129, -3*u + 74 = r*s. Suppose -23 - u = -m. Is m composite?
True
Let z(f) = -f + f + 7 - 25*f**3 - f - 3*f**2 + 24*f**3. Let m be z(-5). Let x = -7 + m. Is x a composite number?
True
Let o(s) = 4*s**3 - 17*s**2 + 31*s - 46. Let k(m) = m**3 - 6*m**2 + 10*m - 15. Let g(i) = -7*k(i) + 2*o(i). Is g(-8) prime?
False
Let x = -30 - -32. Suppose -q - d = -224, 5*d + 618 - 184 = x*q. Suppose -5*z + q + 1018 = 5*s, 5*s - 5*z = 1270. Is s a prime number?
True
Let d(t) be the third derivative of -5*t**2 + 0 + 1/6*t**4 + 0*t + 1/30*t**5 - 7/6*t**3. Is d(7) prime?
False
Let t(h) = 2*h - 4. Let d be t(4). Suppose 345 = -w + d*w. Is w a composite number?
True
Let g(q) = q. Let s be g(4). Suppose -2*n + 3774 = -j, 174