True
Let u(g) = -g**2 - 9*g - 15. Let r be u(-4). Let s(p) = -3*p**2 - 8*p - 5. Let o(b) = -7*b**2 - 17*b - 11. Let z(m) = 2*o(m) - 5*s(m). Is z(r) a prime number?
False
Let k = 1583 + 474. Let h = k + -108. Is h composite?
False
Let g(k) = k**3 - k - 5. Let n be g(-7). Let d = 630 + n. Is d prime?
False
Let j(n) = -772*n - 493. Is j(-3) a composite number?
False
Let a be (0 - (-2 + 2))/(-17 + 16). Suppose 2*k - 695 = -3*m + 1194, a = -4*m - 5*k + 2521. Is m a composite number?
True
Is 22916 - (-6 + 4)/((-20)/(-50)) a composite number?
False
Suppose 0 = 6*o - 5*o. Suppose o = -a - 19 + 6. Let v(k) = -15*k - 1. Is v(a) prime?
False
Let k(d) = -d**2 + 2*d + 5. Let h = 27 - 24. Let y be k(h). Is 8 + -5 + (158 - y) composite?
True
Suppose 3*r - 7391 = -y, 29591 = 4*y + r + 2*r. Suppose -2*v - 3*v = -y. Let l = v - 1049. Is l a composite number?
False
Let h be (-28)/(-63)*(-18)/(-4). Let f be (h/(-2))/(5/(-15)). Suppose 0*k - f*k = -3147. Is k prime?
True
Suppose 3*v + 6 = 0, -60479 = 2*n - 5*n - 2*v. Is n prime?
True
Suppose -3*c + 29 = 5*w, -2*c + 6*c + 8 = 5*w. Suppose c*n = 3 + 12. Suppose -62 = -2*s - j, -93 = -3*s - n*j - 0*j. Is s a composite number?
False
Let k = -7 + 11. Let x = -29 + 48. Suppose -4*h = -0*h + k, -3*h = d - x. Is d a composite number?
True
Suppose u + 5 = 2*u. Suppose 3*y = -4*n + u*y + 2, -5*n = 2*y + 2. Suppose 3*p + n*p = 93. Is p prime?
True
Is (-2 - 6) + 3606 - 1*3 a prime number?
False
Suppose 2*m - 824 = -4*c + 90124, -c + 22719 = 5*m. Is c a composite number?
False
Suppose -y = 15*b - 17*b - 36877, -y + 36867 = -4*b. Is y a prime number?
True
Suppose 5*a + 11665 - 53510 = 0. Is a prime?
True
Let t(j) = -1783*j - 19. Is t(-2) a prime number?
True
Let i(w) = 2268*w**2 - 28*w - 1. Is i(-2) prime?
True
Let l = -576 - -3661. Is l a composite number?
True
Suppose 3*j - 24 = 153. Suppose 0*b - 4*b + v = -191, -b + j = 2*v. Suppose o = -0*o + b. Is o a prime number?
False
Let h = -16 - -29. Let x(k) = k**2 - 4*k + 16. Is x(h) a composite number?
True
Suppose -21598 = -250*c + 249*c. Is c prime?
False
Let g = 25336 - -23461. Is g a prime number?
False
Suppose 3*d - 3*u - 17 = -7*u, 0 = -4*d + 5*u + 2. Suppose d*n + 2*q = 2*n + 1853, 2*n + 5*q = 3709. Is n a composite number?
False
Let k(g) = g**3 + 4*g**2 - 4*g + 6. Let c be k(-5). Let m be c/4 + 3/(-12). Suppose m = 3*p - 863 - 256. Is p a prime number?
True
Suppose 5*h + 2*c - 127 = 617, 0 = 2*h - 3*c - 290. Let v = h + -54. Is v a composite number?
True
Let w = 803 + 1366. Suppose w = 4*j - 7475. Is j prime?
True
Let c = -21027 - -58213. Is c a composite number?
True
Let g(x) = 259*x - 336. Is g(5) composite?
True
Suppose 0 = 14*k - 228253 - 11665. Is k prime?
True
Suppose -l = -20 + 13. Suppose l*s = 2*s - 3*x - 9, -s = 4*x + 12. Suppose p - 1321 + 378 = s. Is p composite?
True
Let h(v) = -448*v**2 + v + 7. Let l(a) = 449*a**2 - 2*a - 7. Let f(m) = 5*h(m) + 6*l(m). Is f(4) a composite number?
False
Let j(b) = -876*b + 257. Is j(-5) a composite number?
False
Suppose 0 = 2*a + 7 + 5. Let h be (96/28)/(a/(-525)). Suppose -4*m + 223 = 5*k, 5*m + 2*k - h = -0*m. Is m a composite number?
True
Let j = -25298 - -64917. Is j a prime number?
True
Let k(i) = 8*i - 11*i**2 + 7 - 3*i**3 - 3*i**2 + 6*i**2. Is k(-8) a prime number?
True
Let a = -13396 + 9076. Is a/(-128) - -1*(-2)/(-8) prime?
False
Let n(a) = 4*a**3 - 48*a**2 + 10*a - 49. Is n(22) a composite number?
False
Let r = 45 - 44. Let u(j) = 206*j**2 + j - 6. Let t(l) = 207*l**2 + l - 5. Let h(i) = 5*t(i) - 4*u(i). Is h(r) a prime number?
True
Let j(d) = 4114*d + 63. Is j(1) a prime number?
True
Is (-35)/(-21) + -3 + (-134774)/(-6) composite?
True
Suppose 4*w = 5*w + r - 894, -3*w + 3*r = -2688. Is w a composite number?
True
Let l(p) = -2106*p - 257. Is l(-13) a composite number?
True
Suppose 0 = -51*p + 977574 - 262401. Is p a composite number?
True
Let f = 52808 - 9087. Is f prime?
True
Let i = -9831 - -17546. Is i a composite number?
True
Let k be (-322)/7*31/(-1). Let m = 2523 - k. Is m prime?
True
Suppose 2*i + 7*b = 3*b - 956, -5*b = -3*i - 1456. Let a = i + 949. Is a a prime number?
True
Let r = 4 - 2. Suppose -735 = -1919*l + 1914*l. Suppose r*p = l + 39. Is p a prime number?
False
Suppose -537230 = -5*i - 3*s, 0 = i - 6*s + 4*s - 107433. Is i a prime number?
False
Suppose -5*a = -2*p - 128, 4*a + 2*p + 0*p = 88. Suppose -7905 = 19*h - a*h. Suppose 0 = -0*x - 3*x + h. Is x a composite number?
True
Suppose -3*m - 11 = 4. Let i be (-15)/2*6/m. Suppose -75 = -4*g + i. Is g composite?
True
Let v be (((-80)/(-15))/(-2))/(4/(-2502)). Let a = 923 + v. Is a a prime number?
True
Let z(n) = -9*n**2 + 4*n + 4. Let k be z(-2). Is (-29550)/k - (-3)/12 prime?
True
Suppose -2*u + 5*y = -1735, 0 = 5*y + 1 + 4. Is u prime?
False
Suppose -3*q = -3, 5*k + 3*q + 2 = 60. Let m = -3 + k. Is ((-1180)/m + 1)*-2 prime?
True
Suppose 6*m + 48 = 2*m. Let s(t) = -4*t + 4 - 21 - 8*t + 3*t. Is s(m) a prime number?
False
Let t(u) = 67*u + 378. Is t(17) a prime number?
False
Suppose 3*z + 3*h - 9 = 6, -5*z + 2*h = 3. Is (z/2)/(1/538) a composite number?
False
Let w = 2178 + 23. Is w composite?
True
Suppose 6172 = 36*l - 34*l. Is l a composite number?
True
Suppose -4*s + 2*u = -1126, s = -2*s + 2*u + 846. Let q = 320 - 219. Let t = q + s. Is t a composite number?
True
Let p(g) = -3*g**2 - 14*g - 12. Let l be p(-3). Suppose 4*h + 4*s = -16, h + 3*h - 3*s - 12 = 0. Suppose -n + h*n + 2868 = l*w, -949 = -w + 2*n. Is w prime?
False
Let z(o) = o**3 - 5*o + 2. Let k be z(3). Is ((-4)/k - (-71118)/42)*1 a prime number?
True
Let y = 15800 - -21455. Is y composite?
True
Let d be ((-14)/(-35))/(1/230). Let c be 80/5 + (-1)/1. Is d/5 - c/(-25) composite?
False
Let l(c) = -50 + 45 + 48*c + 60*c. Is l(1) prime?
True
Let l(d) be the second derivative of 13*d**4/3 - 5*d**3/3 + 5*d**2/2 - 24*d. Is l(3) prime?
True
Suppose 4*d = 5*k + 22, 0 = k - 4*k + d - 9. Let h(v) = v**2 + 1 + 0*v**2 - 19*v**3 - v**3 + v**3. Is h(k) a prime number?
True
Let g(q) = -460*q**3 + 2*q**2 + 6*q + 31. Is g(-3) a prime number?
True
Suppose -3*c + 13322 = z, -3*z + 13*c + 39952 = 8*c. Is z a prime number?
False
Suppose 2*g - 2*o - 5882 = 0, 25*o + 2 = 24*o. Is g a prime number?
True
Let s(p) = -26*p**2 - 3*p + 16. Let h be s(3). Let y = h + 484. Is y a prime number?
True
Is 3247989/1314 - ((-10)/12)/(-1) a prime number?
False
Suppose 5*k - 1990 = -5*i, i + 2*k - 319 = 77. Is (i + -2)*(-8)/(-16) a composite number?
False
Suppose -3*k + 11 = -7. Let t be 4/k*9/(-2). Is -13*t/9*33 a composite number?
True
Let z(x) = 6*x**2 - 1 - 14*x**2 + 124*x**3 + 10*x**2 - 2*x + 6*x**3. Is z(2) composite?
True
Let v = 16287 - -3856. Is v a composite number?
False
Suppose 5*n + 5*f - 59828 - 107087 = 0, -4*n + 133504 = -3*f. Is n composite?
True
Let k(f) = 4096*f**2 - 10*f - 1. Is k(-1) a composite number?
True
Let d(t) = -3*t**2 + 3 + 6 - 4*t**2 - 2*t**3 - 9*t - 2*t**2. Is d(-8) a composite number?
True
Suppose 1164 = -4*w - 304. Is w*(-4)/8*2 a composite number?
False
Suppose 0*u - 29 = -2*u - 3*c, 3*u - c = 49. Let s = -14 + u. Suppose s*h - 6*h + 836 = 0. Is h a prime number?
False
Suppose -4*k = -3*u + u - 18226, -9128 = -2*k - 2*u. Is k a prime number?
False
Suppose -8 = 5*n + 102. Is (-236)/1298 - (0 + 13622/n) prime?
True
Suppose 169 - 67 = 3*g. Let l = 213 - g. Is l prime?
True
Let q = -7 - -7. Let n(a) = a + 30. Let m be n(q). Suppose -5*s + 140 = m. Is s composite?
True
Let d(a) = 13 + 2*a + 13*a**2 + 3 - 8*a**2 + a. Let b be d(11). Suppose -2*w + b = l, 4*w + 3*l - 646 = 2*w. Is w a composite number?
True
Suppose -b + 599 = -4*y - 6056, 4*b - 2*y = 26564. Is b composite?
True
Suppose 39165 = 9*a - 2*a. Is ((a/(-2))/3)/(15/(-30)) a composite number?
True
Let s(q) = 221*q**2 - 25*q - 47. Is s(-2) prime?
True
Suppose -27*w + 25157 = o - 29*w, -w = 2*o - 50299. Is o prime?
False
Let r be ((-5)/3)/(2/(-6)). Suppose 5*o - u - 3550 = -401, -r*u - 20 = 0. Is o a prime number?
False
Suppose 2*c = -z + 39, 4*c - 6*z + 3*z = 93. Is (-88)/(-12)*c/2 composite?
True
Suppose -5432 = -5*j + 3*x, 9*x = 2*j + 8*x - 2173. Is j composite?
False
Suppose 3*u - 24255 = 3*d, -d = -3*u + 3*d + 24259. Is u prime?
True
Is 14/(-21)*(-13410)/12 prime?
False
Let b(g) = -g**2 - 3*g + 3. Let z be b(-3). Let j(d) = 3*d**3 