3*a - 20258 = -5*w. Is a prime?
True
Let z(t) = 9*t**2 - 4*t - 4. Let g be z(7). Suppose -4*a + g = -355. Suppose -2*w + 3*w = a. Is w composite?
False
Suppose 6*s + 5*u + 671 = 3*s, -2*s - u = 438. Let g = 11 + 319. Let q = s + g. Is q a prime number?
True
Let d = 237 - 163. Is d prime?
False
Let q(c) be the first derivative of 10*c**3 - 2*c**2 + 4*c + 10. Is q(5) a composite number?
True
Let b(y) = -2*y - 12. Let x be b(-8). Suppose -x*t + 5*l = 1019, 2*t + 0*l + 496 = -2*l. Is -3 - t - (-1 + -2) prime?
True
Let h = 1974 - 762. Let d be h*(39/12 - 2). Let p = d - 998. Is p prime?
False
Suppose 5*u = 60*y - 55*y + 23210, 4*u + 5*y - 18523 = 0. Is u a prime number?
True
Suppose -208 = 3*z + 41. Let j = 108 + z. Is j composite?
True
Let p(n) = 89*n**2 + 124*n - 616. Is p(5) a composite number?
True
Is 126495/117 + (-3)/(117/6) composite?
True
Let a = 22 - 18. Suppose w + v = 1, 3*v = -4*w + 2 + a. Suppose -3*m + 2335 = w*s - 419, 5*s - 4620 = 5*m. Is s composite?
True
Let o = -9 - -11. Suppose -3*x + 3008 = 2*v, -o*v + 0*v = 4. Suppose -r - 3*r = -x. Is r a prime number?
True
Suppose 23 - 43 = -4*k. Suppose k*b - 6*v = -8*v + 1574, -5*b = v - 1572. Is b a composite number?
True
Let d(u) = 0*u**2 - 14*u**3 + 10*u**3 - u**2 + 8*u**2 + 8*u. Is d(-5) a composite number?
True
Let f = -15698 + 75619. Is f a composite number?
False
Let w(u) = 96*u**2 + 26*u + 49. Is w(-11) a prime number?
False
Suppose 1668602 = 26*w + 32*w. Is w a prime number?
False
Let o = 9280 + -6231. Is o a composite number?
False
Suppose 114327 = 3*b - 178*k + 182*k, -2*b - 4*k + 76222 = 0. Is b prime?
False
Let a(z) = 53*z**2 + z - 1. Suppose 38 = -3*l + 41. Is a(l) composite?
False
Let i = 17 - 17. Suppose i = 3*p + p. Suppose p = -2*o - 496 + 1482. Is o prime?
False
Suppose -v = -5*v - 4. Let b = v - 1. Is (-3)/(-6) - 753/b a composite number?
True
Let x(b) = 715*b + 42. Is x(11) a prime number?
True
Let t(y) = 1. Let z(m) = -295*m + 17. Let f(n) = 4*t(n) + z(n). Is f(-4) a prime number?
True
Let m(y) = y**2 - 12*y - 13. Let q be m(13). Let n be 1/(q + (-2)/(-4)). Suppose -4*i - s + 221 = -11, -2*s = -n*i + 126. Is i a composite number?
False
Suppose -r = -2*o - 29, 0 = 5*r - 2*r + 4*o - 67. Suppose 0 = -4*x - x + r, -2*x = -4*k - 10. Suppose k = 9*c - 7*c - 38. Is c a prime number?
True
Let q be 80/180 + (-13)/9. Is 19*q*(3 - 34) prime?
False
Let m(q) = 19*q**2 + 8. Let o be m(5). Let k = o + -110. Is k prime?
True
Let q be (42/35)/(1/5). Suppose -q*j + 192 = -222. Is j a composite number?
True
Let j(l) = -l**2 - 3*l + 10. Let g(o) = -2*o**2 - 5*o + 21. Let q(k) = 6*g(k) - 13*j(k). Suppose 3*b - 18 = -0*y - y, -36 = -4*y - 3*b. Is q(y) composite?
True
Let m be 8/12*9 + -1. Suppose z - 1599 = 5*p - 75, m*p = -4*z + 5971. Is z a prime number?
True
Let y be 6 - (-1 - -1 - -1). Suppose -y*d + 172 + 1363 = 0. Is d composite?
False
Let v be (36/6)/(-3) - 3*-529. Suppose -5*g = -5*j - v, 5*g - 5*j = g + 1271. Is g a prime number?
False
Suppose -5*w + 4*n = -17696, 0 = 5*w - 2*w + 3*n - 10596. Suppose -4*d + 4*p + w = 0, -4*d = 2*p + 2*p - 3576. Is d a composite number?
True
Suppose -j - 2*j = 2*w - 100, -j + 38 = -4*w. Let k(s) = -s**2 - 2*s + 3. Let c be k(-6). Let r = j + c. Is r a prime number?
True
Let f be 9*(4*-1)/(-12). Suppose -510 = f*s + 246. Let g = 454 + s. Is g prime?
False
Let h(v) = -5*v**3 + 46*v**2 + 11*v - 5. Is h(8) prime?
True
Let z = -1723 - -2634. Is z composite?
False
Let o be (4/8)/((-1)/22). Let w = 519 - o. Suppose -2*r - w = -4*k, -9 - 3 = 4*r. Is k prime?
True
Let p = -14 + 19. Suppose -p*i + 368 = 38. Let k = i + -35. Is k a prime number?
True
Let j = -52 + 55. Suppose 4*v = -v + 2830. Suppose j*n - v = -149. Is n composite?
False
Is (-4)/(-3)*13479/4 a composite number?
False
Let x = -2888 - -5343. Is x a prime number?
False
Let m(k) = 3*k + 30. Let q be m(-9). Suppose q*l + 3*l - 978 = 0. Is l composite?
False
Let k(x) = -11*x**3 + 5*x**2 - x - 9. Let y(f) = -f + 7. Let g be y(11). Is k(g) a prime number?
False
Suppose 3*q - 563 = r, -2*q + 41*r + 364 = 46*r. Is q prime?
False
Suppose 3*m - 404 = 13. Suppose 4*k + m = 599. Is (2 - 0)*k/2 composite?
True
Let v = 3162 + -1769. Suppose 1 - 5 = -2*o. Suppose o*t - v = 441. Is t prime?
False
Let a(h) = -h**3 - 6*h**2 - 8*h - 18. Let y be a(-9). Suppose -y - 301 = -2*w. Is w a prime number?
False
Suppose -2*h + 9 = 5*l - 7, 3*h = 3*l - 18. Suppose -b + 1264 = -160. Suppose l*x - b = -3*o - o, 5*o = -3*x + 1778. Is o a prime number?
False
Let p be (-3)/(-5) + 48/(-30) - -11. Suppose p*w - 694 = 576. Is w a composite number?
False
Let y(m) = m**2 - 2*m - 1. Let j be y(3). Suppose 3*a - 3931 = 461. Suppose 3*b + b = 2*v + a, -j*b - 5*v = -744. Is b composite?
False
Let f = 101 + -106. Let s(a) = 313*a**2 + 7*a - 1. Is s(f) prime?
True
Let c = 12229 - -28408. Is c a prime number?
True
Let v be (-5)/(15/(-2)) + (-68)/12. Is 2 - 14520/(-4) - (v - -2) composite?
True
Is (-23 - -1786) + 1 + -5 a prime number?
True
Let c = -8148 - -19357. Is c composite?
True
Let y = 90140 + -26403. Is y prime?
True
Let l = -5838 + 10784. Is l a composite number?
True
Suppose 3*w + v = -1570, 2614 = -0*w - 5*w - v. Is (-28)/98 + w/(-14) a composite number?
False
Let r be (-8)/(-3)*15/10. Suppose 3219 = r*x - 3825. Suppose 0*h - 3*h = -x. Is h a prime number?
True
Let w = -363 - -189. Let r = 2483 + w. Is r a prime number?
True
Let v(u) = 5*u + 911. Let q(o) = -o - 1. Let x(r) = 4*q(r) + v(r). Is x(0) a composite number?
False
Let w = 14272 + -189. Is w a prime number?
True
Let s = 2964 - 1033. Is s a composite number?
False
Let o(n) = 19 - 24 + 16*n**2 + 3*n - 3*n**2. Is o(2) a composite number?
False
Let a = -26 + 33. Let b(o) = 102*o + 71. Let t(n) = -51*n - 36. Let i(q) = a*t(q) + 4*b(q). Is i(15) a composite number?
False
Let n(h) = 2*h + 14. Let w be n(-6). Is -1 - w - (-304)/2 a composite number?
False
Let k(f) = -f**2 - 2*f + 1. Let x be k(-3). Is x/(-18) - 37774/(-153) prime?
False
Let z(j) = -j + 10. Let m(n) = -6*n + 49. Let f(h) = -2*m(h) + 11*z(h). Let c be f(-9). Suppose 0 = 5*s + 5, -7*s - 320 = -4*g - c*s. Is g composite?
False
Is (-8)/(-44) - 25661/(-11) a prime number?
True
Let h = -2131 - -798. Let x = -770 - h. Is x composite?
False
Suppose -47*r = -50*r + 1254. Suppose 3*w = -c + 383, 4*w - r = -2*c + 90. Is w prime?
False
Let w = 63 - -1322. Is w composite?
True
Let q(g) = 10*g + 1. Let i be 0/(0 + -3 - -2). Suppose i = 3*w - 9. Is q(w) composite?
False
Let t = 2675 + -1845. Let x(h) = 6*h**3 + 4*h**2 + 3*h + 5. Let m be x(-4). Let c = t + m. Is c a composite number?
False
Suppose 0 = 3*q + 15, 0 = 3*d - 113*q + 108*q - 10786. Is d prime?
False
Suppose 11485 + 14012 = 9*b. Is b a composite number?
False
Suppose 4*b - 37 - 23 = 0. Suppose -4*f = 3*y - b - 17, 0 = y + 5*f - 18. Suppose -4*c - 136 = -y*c. Is c a prime number?
False
Let u(x) = -54*x + 43. Suppose -2*l - 5 = 15. Is u(l) a prime number?
False
Suppose -s + 19 = 15. Is 14/7*(2 + 414/s) a composite number?
False
Suppose 6*j + 4140 = 15*j. Suppose 0 = 11*m - 6107 - j. Is m prime?
False
Let j(l) = -6*l**3 - 11*l**3 - 4*l**2 - 18*l**3 + 3*l. Let n be j(2). Let u = 159 - n. Is u a composite number?
False
Let d = 11151 + -6950. Is d prime?
True
Suppose -74 = b + 2*y, b + 8 = 2*y - 54. Suppose j - 3*p = -0*p + 139, -3*p - 647 = -5*j. Let d = b + j. Is d a prime number?
True
Let g = -2511 + 4747. Suppose g - 128 = 4*u. Is u prime?
False
Suppose 0 = -5*a - 8747 - 5968. Let g = -712 - a. Is g prime?
False
Suppose -8 = -j + 5*j. Is j/9*-3639*3/2 prime?
True
Suppose 4*r + 1740 - 232 = 0. Let a = -114 - r. Is a prime?
True
Suppose 5*q = -30376 + 103331. Is q a composite number?
False
Is (-3)/15 + 9344/20 composite?
False
Let r(b) = -b**2 - 5*b + 4. Let w be r(-5). Let k = 1328 + -1328. Suppose k = w*a + 17 - 333. Is a a prime number?
True
Suppose -24 = -5*i + 1. Suppose -3*w + 17 = i. Is w/(-3) - (-222)/18 prime?
True
Let r(y) = -310*y + 21. Is r(-1) prime?
True
Let g(s) be the third derivative of s**5/4 - 5*s**4/24 - 5*s**3/6 + 12*s**2. Is g(-5) a composite number?
True
Suppose -10717 = -3*d - 22*n + 18*n, 3*d - n = 10742. Is d a prime number?
False
Suppose 0 = 3*m - 11 - 28. Let w = m - 8. Suppose 0 = 2*a - w*u - 178, 2*u + 636 = 5*a + 191. Is a prime?
True
