7 + 5805 = s*n - j. Is n composite?
False
Let m be 1/(-4)*2 - (-25)/(-10). Is ((-3)/(-6))/(m/(-21576)*4) a prime number?
False
Let b = 10315 + -4784. Is b prime?
True
Let n(k) = 63*k - 605. Is n(18) a composite number?
True
Suppose -13*i + 391969 = -376214. Is i a prime number?
False
Let k = -341 - 346. Let d = 362 - k. Is d a composite number?
False
Suppose -3*k = 36*z - 41*z + 187199, 5*k = z - 37431. Is z composite?
False
Let x(w) = w**3 + 26*w**2 - 2*w - 19. Let z be x(-26). Suppose -4*m + 57 = -m. Suppose 4*n = z + m. Is n prime?
True
Let h(s) = -s. Let v(l) = 6. Let y(w) = -2*h(w) - v(w). Let f be y(5). Suppose -f*g - 4*b + 255 + 93 = 0, 5*g + 2*b - 429 = 0. Is g a composite number?
True
Suppose -50*w + 853190 = -40*w. Is w a prime number?
False
Suppose 0 = -18*w + 81201 - 11955. Is w composite?
False
Let i be (-265 + -2)*2/(-6). Let n be (60/70)/(1/(-119)). Let g = i - n. Is g prime?
True
Is 11/((-99)/(-181824)) + 7/21 a prime number?
False
Suppose -5*k + 16 = -24. Let m(d) = d**3 - 6*d**2 + 4*d + 19. Is m(k) a prime number?
True
Let v(z) = -148*z + 4. Let l(h) = -148*h + 3. Let a(t) = -t**3 - 14*t**2 - t - 19. Let b be a(-14). Let q(n) = b*l(n) + 4*v(n). Is q(1) a prime number?
True
Is 1/(-5) - (-361080)/150 a prime number?
False
Let f(v) = v**2 - 2*v - 98. Let n be f(0). Let q = n - -345. Is q a composite number?
True
Suppose 90*v = 96*v - 64794. Is v a composite number?
False
Let p(c) = -3*c - 3. Let d be p(1). Let g(l) = -2*l**2 - 4*l + 2. Let v(s) = s**2 - s - 1. Let f(u) = g(u) + 3*v(u). Is f(d) a composite number?
True
Suppose 0*q + 18 = 2*q. Let w(h) be the third derivative of 47*h**4/24 - 7*h**3/3 - 2*h**2. Is w(q) composite?
False
Let s(k) = -k**3 - 10*k**2 - 3*k. Let l be s(-10). Let x be 18/l + 87/5. Is (-12)/x*930/(-4) composite?
True
Suppose f + 4*b = 93, 5*f + 2*b = 582 - 63. Let j be (-4)/(-14) + 22335/f. Suppose -2669 = -4*s + 4*a - j, -a = -5*s + 3058. Is s prime?
False
Let t be 17240/2 + (3 - 1). Let v = t - 3440. Is v a prime number?
False
Let r(h) be the first derivative of 917*h**2/2 - 30*h + 2. Is r(5) a prime number?
False
Let i = -10 - -10. Suppose i = -2*z - 2*z. Suppose 3*d - 5*n - 796 = z, -25 = 4*n + n. Is d a composite number?
False
Let i(s) = s**2 + 20*s + 39. Let w be i(-18). Suppose -9 = w*c + 2*g - 356, 456 = 4*c + 4*g. Is c composite?
True
Suppose -2*y = 2*y + 16. Let q(i) = 31*i + 19. Let x(b) = -31*b - 18. Let w(j) = y*x(j) - 3*q(j). Is w(14) a composite number?
False
Suppose 4*p = 3*v + 90941, 3*p - 16*v + 15*v = 68212. Is p a composite number?
False
Is (-18)/(-12)*(-4)/6*-19717 composite?
False
Let b(q) = -676*q**3 - 5*q - 5. Is b(-2) composite?
False
Let b be (1 + 3)/((-2)/4). Let p be (-2)/(-1*b/(-1380)). Suppose -5*a - m + p = m, -2*a + 129 = -m. Is a prime?
True
Suppose 0 = h - b - 2*b - 18744, 3*h - 5*b = 56228. Is h prime?
False
Let n(g) = g + 12. Let s be n(-12). Suppose -9*f + 4*f + 4185 = s. Let z = -304 + f. Is z prime?
False
Let a(r) be the second derivative of -r**3/2 - 2*r**2 + 2*r. Let u be a(-3). Suppose 113 + 332 = u*m. Is m composite?
False
Let q be (-7)/((-21)/(-18)) - -3. Let n be ((-2)/4)/(q/(-2634)). Let r = 660 + n. Is r prime?
False
Let t = 30 - 23. Suppose 2*v = t*v, -v - 4105 = -5*o. Is o a composite number?
False
Is (-4 + (-91)/28)/((-3)/708) a composite number?
True
Suppose -5*x + 1 + 13 = -3*c, -4*x + 16 = 0. Suppose 1277 = -2*r - 5*u, -5*r = -3*r - c*u + 1270. Let t = -319 - r. Is t a composite number?
False
Let c = 15604 + -5637. Is c a prime number?
True
Suppose 0 = -7*y + 2*y, 2*d - 490 = 3*y. Let m be (32/12)/((-4)/(-1236)). Let r = d + m. Is r composite?
False
Suppose -f + 3455 = 2*f + s, 3*f + 4*s = 3461. Is f a prime number?
True
Let n be (-6 + 3)/(6/(-3832)). Suppose 6 = 2*a, -u - 4*a = -5*u + n. Let l = 195 + u. Is l composite?
False
Let f = -7868 - -47059. Is f a prime number?
True
Suppose -5*j + 5*m = 10, 4*m - 13 + 1 = 2*j. Let h be (-3)/(-6) + 9/j. Let d = 18 - h. Is d a composite number?
False
Is ((3 - 63/14) + 1)*-278786 a prime number?
True
Let z = 10 - 10. Let t be (63 - (1 - z))*-1. Let p = t + 99. Is p a prime number?
True
Let i be 67/(((-1)/(4/(-8)))/4). Suppose i + 5 = n. Is n composite?
False
Let z be (768/9)/((-6)/(-99)). Suppose -5*o + 2*p + 2333 = -1166, 0 = -2*o - 2*p + z. Is o a prime number?
True
Is 8/(-28) - 38*6604/(-56) composite?
False
Let z be (-1192)/(-56) + 1 + (-18)/14. Let g(w) = w**2 + w + 20. Is g(z) a composite number?
True
Let b(h) = h**2 - 3*h + 2. Let v be b(1). Suppose 53 = 5*d - v*d - 4*t, t = 5*d - 62. Is d a composite number?
False
Let g(v) = 2*v**2 + 17*v + 4. Let o be g(-8). Let r(l) = -l + 15. Is r(o) a prime number?
True
Let j be (2 + -6 + -1)*7. Let m = j - -472. Is m a composite number?
True
Let o(w) = 12*w - 20. Let k be o(4). Is (-1836)/(-7) - (92/k + -3) composite?
True
Suppose 3*d = 2*d + 1944. Let r = d - -3903. Is r a prime number?
False
Let s = 4371 - 1603. Suppose 334 + s = 6*b. Is b prime?
False
Let t(w) = -2*w**2 + 14*w + 18. Is t(5) a composite number?
True
Suppose 0 = -4*p + 3*p - 745. Let a = p + 1632. Is a composite?
False
Let u be (30/8 + -3)*3364. Suppose u = 3*b - 3*l, -713 = -b - 2*l + 128. Is b prime?
False
Let t(k) be the third derivative of -k**7/840 - k**6/40 - k**5/24 + k**4/6 + 2*k**3/3 + k**2. Let x(a) be the first derivative of t(a). Is x(-11) composite?
True
Let p(r) = -r**3 + 7*r**2 + 8*r. Let l = -11 - -19. Let j be p(l). Suppose 3*q + 3*w - 351 = j, -5*q + 0*w + 587 = 3*w. Is q a composite number?
True
Suppose -4*w + 3 = 5*y, -5*y = -w - 2*w + 11. Suppose w*l = 5*j + 348 + 464, -8 = -4*j. Suppose l + 209 = 4*q. Is q a prime number?
False
Suppose y + 5*c = c, -2 = 2*c. Suppose y*t - 1005 = 583. Is t a prime number?
True
Suppose 0*b + 2*b - 832 = 0. Let u = -154 + b. Suppose 102 = 4*h - u. Is h composite?
True
Let w(c) = 13*c**2 + 11*c + 2. Let i be w(-6). Let j = i + -213. Is j composite?
False
Let k = 3273 + -1774. Is k a prime number?
True
Suppose 20*j - 12695 = 19*j. Is j a composite number?
True
Let q(j) = 3*j + 14. Suppose 33 = -f - 3*f + 3*k, -18 = 2*f - 2*k. Let h be q(f). Let l = 3 - h. Is l prime?
True
Let z(i) be the second derivative of -34*i**3/3 - 5*i**2/2 + 3*i. Is z(-5) composite?
True
Is 5 - (0 + 1)*(7 + -489) a composite number?
False
Let x(k) be the third derivative of -5*k**4/3 + k**3/6 + 2*k**2. Let n(v) = 39*v - 1. Let q(z) = -4*n(z) - 3*x(z). Is q(-5) a composite number?
False
Let p = -5 - 15. Suppose -6*r - 3*r + 459 = 0. Let m = r + p. Is m composite?
False
Let f(u) = -2*u - 4. Let i be f(7). Is (-5530)/i - (38/9 + -4) a prime number?
True
Is (8367 - 7) + 3 + 4 a prime number?
False
Suppose -6*a + 4616 = 2*a. Is a composite?
False
Suppose 0 = -30*l + 35*l - 25395. Is l composite?
True
Suppose 3*b = -32*b + 68215. Is b composite?
False
Suppose -2420 = -2*o - 2*w, -2*w + 2563 = -5*o + 8634. Is o prime?
True
Suppose 12*c + 1916 = 16*c. Let m = -288 + c. Is m composite?
False
Suppose 29*s + 86519 = 280326. Is s a prime number?
False
Is (-4)/(-8) + (-79332)/(-8) a composite number?
True
Is ((-116972)/8)/((-3)/6) prime?
True
Suppose -16*y + 20*y + 4*m = 23028, 3*m - 5761 = -y. Is y a composite number?
True
Is 9 + (-45)/9 - -14019 composite?
True
Let h(o) = 199*o + 12. Let y(q) = 199*q + 11. Let a(t) = -3*h(t) + 2*y(t). Let i = 13 + -20. Is a(i) a composite number?
True
Let o(c) be the third derivative of 151*c**4/24 + c**3 - 3*c**2. Let m be o(4). Let r = -209 + m. Is r composite?
False
Let q(x) = 12*x**2 + 68*x - 7. Is q(49) composite?
True
Let s(n) = n**3 - 13*n**2 + 14*n - 33. Suppose -4*b = -2*k - b + 43, 5*k - b - 75 = 0. Is s(k) prime?
True
Let o(s) = -3*s**3 + 18*s**2 + 6*s + 73. Is o(-14) composite?
True
Let c = 17223 + -8850. Is c composite?
True
Let g(v) = 95124*v + 13. Is g(2) prime?
True
Suppose s + a = -3*a + 5105, -3*a = -5*s + 25456. Let z = -588 + s. Suppose -b = 4*b - z. Is b a prime number?
False
Let z(o) = 3*o + 11 - 8 + 12 + 2*o. Let j be z(-14). Let w = -12 - j. Is w a prime number?
True
Let a be 44/24 - (-4)/24. Suppose -2*b = -3*d + 6*d - 265, -4*d - a*b + 354 = 0. Is d composite?
False
Let s = 20 - 20. Is (-4 - ((-9)/3 - s)) + 110 a composite number?
False
Suppose -4*j + 2*j - h + 41 = 0, 4*h = 2*j - 66. Let i be j*-2*3*-12. Let g = -973 + i. 