uppose 4*o = -5*c + 311, 0 = 2*o - 5*c - 232 + r. Suppose -k + 0*k = -o. Is k a prime number?
True
Let g(s) = s**2 + 6*s. Let d be g(-6). Suppose -3*b + b - 5*y = -18, d = 2*y + 8. Is b prime?
True
Suppose -4*n - 5*i = -42000, 4*i - 12078 + 33052 = 2*n. Is n prime?
False
Suppose -z = -4*z + 1293. Let n = z - 105. Is n a prime number?
False
Let y = -195 - -338. Let f = y - 90. Is f prime?
True
Suppose z + 5*l = -0*z + 2, -l = -z + 14. Suppose n - z = -3*n. Suppose 84 = -n*g + 345. Is g a prime number?
False
Suppose 5*b - 139 = -2*g, g + b - 2 - 63 = 0. Let s = -39 + g. Is s a prime number?
True
Suppose 0 = -5*k - 12 + 27. Suppose -6*x + 111 = -k*x. Is x a composite number?
False
Suppose -2*q = 20 - 8. Is 199 - 2/q*0 a prime number?
True
Let j be (-6)/(-4) - 740/(-8). Let s = 288 + j. Is s a composite number?
True
Suppose 0*p = p - 4. Is 182/p*(6 - 4) composite?
True
Suppose -3*w = -2*b + 1395, -3*b + 2951 = -w + 862. Suppose 0 = 4*u - 2*m - b, -879 = -0*u - 5*u - 2*m. Let g = u + -96. Is g composite?
False
Suppose -4*d - 4 = 0, -20531 + 85630 = 3*k + 4*d. Is k prime?
True
Suppose 13*p + 69461 = 20*p. Is p a composite number?
False
Let i be -3 - (5 - -2)*-1. Let m(k) = -3*k - 2*k + 2*k - i*k. Is m(-2) prime?
False
Let z(b) = -1. Let i(y) = 14*y - 4. Let p(r) = i(r) + z(r). Is p(11) a composite number?
False
Let d = -547 - -1218. Suppose 2*z - 7*h = -2*h + 1329, z - d = -4*h. Is z a prime number?
False
Let k = -11 - -1. Let c = k + 13. Suppose -6 = -3*b + 3, -c*b - 88 = -v. Is v prime?
True
Let u be (8/(-4) + 4)/(2/5). Suppose -f = u*r - 1541, -5*f - 4*r + 5696 = -2093. Is f composite?
True
Let r(t) = 1031*t**2 + t + 12. Let p be r(-3). Suppose 9*j - p = 10053. Is j prime?
False
Let i(f) = f**3 - f - 2. Let d be i(0). Is 3 + (d + 6)/(-8)*-524 a composite number?
True
Suppose -5*q - 65 - 3565 = 0. Let w = q + 1259. Is w composite?
True
Suppose -5405 = 7*u + 16421. Let d = -1173 - u. Is d a prime number?
False
Let o(i) = 168*i - 12. Let x(n) = 168*n - 13. Let a(d) = 4*o(d) - 3*x(d). Is a(5) a prime number?
False
Let b(w) = -w**3 - 19*w**2 - 31*w + 185. Is b(-32) prime?
True
Is 15849834/1566 + (-2)/9 prime?
False
Is 1213866/45 - 16/20*1 a composite number?
True
Is 3/(96/(-11276))*-8 a composite number?
False
Let c(g) = 109*g**3 + 3*g**2 - 13*g + 14. Is c(5) a prime number?
True
Let l = -55 - -59. Suppose 0 = 3*h + s - 4508, 2*h + 2*s = l*s + 2992. Is h composite?
True
Let i(z) = z**3 - 5*z**2 - 9. Let c be i(3). Is 1360/36 - 6/c a composite number?
True
Let x(b) = 468*b**2 + b. Let f(o) = 5*o + 7. Let r(p) = -11*p - 14. Let w(t) = 9*f(t) + 4*r(t). Let y be w(-6). Is x(y) composite?
True
Let x = -1598 - -2439. Let w = x - -520. Is w composite?
False
Let c be 33/(-2)*(-48)/(-9). Let g be (-167)/((6 + -9)/(-3)). Let i = c - g. Is i a prime number?
True
Let o = -1756 - -2473. Is o composite?
True
Let d(n) = -22*n - 32. Let m be d(-17). Suppose 3492 = 5*p + 3*z + m, -3170 = -5*p + z. Is p a composite number?
True
Let x = 230 - 504. Is 30/(-135) - x/18 a prime number?
False
Suppose -4*h + 37 + 19 = 0. Suppose -13*i - 863 = -h*i. Is i composite?
False
Let r(s) = 194*s**2 + 15*s - 2. Let z be r(-9). Is 4/18 + (2 - z/(-9)) a prime number?
True
Let d(b) = 8037*b**3 + 3*b**2 + 3*b - 4. Is d(1) composite?
False
Let b(x) = -x**2 + 12*x - 22. Let n be b(9). Suppose -1466 - 1119 = -n*z. Is z prime?
False
Let g(a) = 2126*a + 59. Is g(7) a prime number?
False
Let z be -2*(-1)/(-2) + -857. Let q = -325 - z. Is q prime?
False
Let v(b) = -7*b**2 + 5*b - 7. Let u(f) = 4*f**2 - 3*f + 4. Let c(m) = -5*u(m) - 3*v(m). Let n be c(-2). Suppose -n*q + 118 = -3*q. Is q prime?
True
Let k(x) = -2929*x**2 + 3*x + 6. Let t(y) = -y**2 - y - 1. Let r(p) = -k(p) - 5*t(p). Is r(1) a composite number?
True
Let w(v) = -1831*v - 65. Is w(-6) a prime number?
False
Let k(d) = -17*d - 8. Let g be 2/4 + (-86)/(-4). Let a = 13 - g. Is k(a) a composite number?
True
Suppose -29*j = 8*j - 129907. Is j prime?
True
Let l(a) = 46*a**2 + 16*a + 17. Is l(-6) a prime number?
False
Suppose -3*u - t = 3*t - 1, -5*u - 45 = -5*t. Let j(s) = 23*s**2 + 4*s - 2. Is j(u) composite?
True
Suppose -2*n = -6*n + 12. Suppose 0 = 4*z + 4*q - 1980, -n*q = -2*z - 2*q + 996. Is z composite?
True
Let m be 0 + (2 - -1) + -4. Let z(b) = -734*b**3 - 2*b**2 - b. Is z(m) a prime number?
True
Let h = 3490 + 1345. Is h prime?
False
Suppose -8*j - 196610 = -18*j. Is j composite?
False
Let p = 59108 + -39778. Let r = p - 13661. Is r a composite number?
False
Let o be (2/2)/((-126)/(-30) + -4). Suppose -2*t = 2*y - 1588, 2558 = o*t - 3*y - 1388. Is t a composite number?
True
Let g = -396 + 646. Let i(b) = -2*b - 8. Let r be i(-6). Suppose -r*v + g = -1698. Is v a composite number?
False
Suppose 1034 = 4*l + 3*o - 178, 2*o = 5*l - 1492. Let b be l - (0 + 2)*-2. Let x = 563 - b. Is x prime?
False
Suppose -196 = 2*t - 1092. Let b = 350 + -619. Let o = b + t. Is o prime?
True
Let j(a) = 58816*a**2 - 9*a - 8. Is j(-1) composite?
True
Suppose -5*j + 118 = 2*h, 3*j = 4*h + 4 + 72. Suppose 2*a + 0*m - 5*m - j = 0, m + 12 = 4*a. Suppose 0*i - 38 = -a*i. Is i composite?
False
Let f(l) = -l**3 + 8*l**2 + 5*l - 2. Let d be f(5). Let q(b) = -5*b**2 + 3*b - 9. Let v be q(3). Let a = v + d. Is a a prime number?
True
Let j be (-2 + 3)/(5/10*2). Suppose -5*t + 111 = j. Is t a composite number?
True
Let q(n) = 54*n**3 + 6*n**2 + 5*n + 43. Is q(6) a composite number?
False
Let i(t) = t**2 - 4*t - 19. Let w be i(9). Suppose p + w = 1435. Is p prime?
True
Let p be (-3 - 0 - -4)*15/3. Suppose k - p*w = 4*k - 2538, -3*w = -k + 860. Is k composite?
True
Let j(b) = -58*b**2 + 3*b + 7. Let g = -5 + 9. Let i be j(g). Is (i/(-15))/((-6)/(-30)) prime?
False
Let u = 1170 + -799. Is u a prime number?
False
Suppose a + 10 = 6*a. Suppose -f - a*w = w - 247, 0 = -2*f + w + 508. Is f prime?
False
Suppose 23 = p - 4*d, -2*p = 4*d + 7 + 7. Let x be 1 + 36/(12/p). Suppose 0 = -n - n + x, -2*a = -n - 165. Is a prime?
False
Let k(y) be the first derivative of -13*y**4/4 + y**3/3 + 2*y**2 - 3*y + 10. Is k(-4) a prime number?
True
Suppose -3*v + 7*v = -4*n - 68, n = -2. Let s be v/(-10)*808/6. Suppose 0 = 3*c + c - 5*h - 211, -5*h = 3*c - s. Is c a prime number?
True
Let b = 23 + -45. Let w = 27 + b. Is w/(40/28)*74 a prime number?
False
Let d(b) = -13*b**3 + b**2 - 3. Let z(x) = -3*x**3 - 1. Let r(c) = -2*d(c) + 9*z(c). Suppose 0 = -3*p + 4*y - 1 - 23, 3*p + 2*y = -24. Is r(p) a prime number?
False
Let x be (0 + -1)/(5/(-7185)). Suppose 0 = 8*m - 5*m - x. Is m a prime number?
True
Let v(o) = -115*o - 14 - 2 - 52*o + 7. Is v(-4) prime?
True
Let z = -13 + 17. Suppose 0 = 5*b + 3*k - 109, 0 = z*k + 7 + 1. Is b prime?
True
Suppose 26 - 26 = 2*a. Suppose 3*c - 72 + 15 = a. Is c prime?
True
Suppose 3*d - 52972 = h, -4*d + 22459 = 3*h - 48166. Is d a composite number?
False
Let h(i) = i**3 + i**2 - 1. Let k(c) be the first derivative of c**4 - 8*c**3/3 + 3*c**2 - 4*c + 7. Let w(z) = 3*h(z) - k(z). Is w(6) composite?
True
Is (0 + 2)*-2*13762/(-8) a composite number?
True
Suppose 7*h = -g + 4*h - 18, 0 = 3*g - 5*h + 124. Let m = -32 + 111. Let q = m + g. Is q a composite number?
True
Let w(y) = y + 5. Let c be w(-7). Is (c/(-4))/(1/668) a prime number?
False
Let o be (3 - 0)/1 + -1. Suppose 2*z + 496 = -o*z. Let y = 251 + z. Is y a prime number?
True
Let v(y) = 8*y**2 + 69*y + 213. Is v(-32) composite?
False
Suppose -4*a = -k + 112, 5*a + 6*k + 115 = k. Let z be 80/36 - (-6)/a. Suppose 0 = -6*v + z*v + 844. Is v composite?
False
Suppose 3*f - 15 = -g, 0 = 3*g + 2*f - 14 - 3. Let w be 3/12 + (-38)/(-8). Suppose -w*q = 5*a - 1395, 797 = -0*a + g*a - 5*q. Is a a prime number?
False
Let s = 2807 - 570. Is s composite?
False
Suppose 2*t + 4 + 0 = 0. Let b be ((-4)/8)/((-1)/t). Is -34*((-33)/(-6))/b prime?
False
Suppose 2434 = -13*k + 7023. Is k a composite number?
False
Let d = -11 + 9. Let v = 3 + d. Is (-6*v)/(6/(-309)) a composite number?
True
Suppose -7*t + 339638 = 48585. Is t a composite number?
False
Suppose 14 = 5*i - 3*i. Suppose -w = -i*w + 8286. Is w prime?
True
Is 9093 + 40/(-30)*3 composite?
True
Suppose 5*q + 579 + 526 = 0. Let h = q - -488. Is h composite?
True
Let h(n) = 34*n + 91. Is h(9) composite?
False
Suppose -5 = -u + 2*s, -2*s + 54 = 5*u + 17. Suppose -4*b