 k(-6) a composite number?
True
Is 9/12*(92773 - 17) a prime number?
False
Suppose -2*z + 0*z + 418294 = -0*z. Is z prime?
True
Suppose 0 = -2*m + 5*i - 10, 3*m - 7*m = -4*i - 4. Suppose -2*c + 1648 = 4*v - m*c, -5*v + 4*c + 2061 = 0. Is v a composite number?
False
Let u(j) = 74*j**2 + 6*j + 15. Let b be u(-6). Let m be -15*9*3/45. Is (-2)/6 - b/m*2 prime?
True
Let v = -54592 - -131009. Is v composite?
True
Let q(i) = 37049*i + 38. Is q(1) prime?
True
Let t(d) = 30597*d - 2588. Is t(3) composite?
False
Let a = -2 - -15. Let g be (0 + 0)*(14 - a). Suppose -3*p = 6*o - 3*o - 2349, 4*p - 5*o - 3168 = g. Is p a prime number?
True
Let f(t) = -1387*t**3 + 2*t**2 - 7*t - 29. Is f(-3) prime?
False
Let k(c) = 2*c**2 - 12*c + 11. Let z be k(7). Let j = z - 25. Suppose j = 5*d + 63 - 1118. Is d composite?
False
Suppose 0 = 118*l + 2720503 - 22653417. Is l composite?
True
Let m(b) = -2*b**3 + 39*b**2 + 186*b + 21. Is m(-34) a composite number?
False
Suppose -4*w + 10*a - 12*a - 8118 = 0, 3*w = -3*a - 6081. Let b = 4821 + w. Is b a prime number?
True
Let g = -314 + 204. Let b = g - -199. Is b a prime number?
True
Suppose s = k - 15, 3*k + s = 6 + 27. Let x be 3*4/k + -19. Is (-609)/2*12/x prime?
False
Let f(w) = 91*w + 19. Let i(b) = b**2 + 27*b + 130. Let j be i(-5). Is f(j) prime?
False
Is 354225/7 + 24/(-42) a prime number?
False
Let h be 53/17 + 6/(-357)*7. Let n(s) = 61*s**3 + 10*s**2 - 3*s - 7. Is n(h) a prime number?
True
Let b = 1071 - 512. Suppose -l + 106 = b. Let a = l + 1666. Is a composite?
False
Suppose q = -3*f + 96667, -4*f + 89617 = -4*q + 476157. Is q composite?
False
Suppose -n = -33*c + 36*c - 8498, -3*c = -3*n + 25434. Is n a prime number?
False
Let b = 85256 - -40505. Is b prime?
False
Let a be (8 + -8)/(-2 + 3). Suppose 2*n + 5*u + 21 = 6*n, a = 4*n + 5*u - 11. Is n/6 - 607/(-3) prime?
False
Is 2*((-5375757)/34)/(1 + -4) a composite number?
False
Let o = 39 + -13. Suppose 0 = -f + 19 + 14. Let g = o + f. Is g a prime number?
True
Let i = 1379422 - 972567. Is i prime?
False
Let r(n) = 11 + 439*n**2 + 5 - 15 - n. Let x be r(2). Suppose -x = -2*b - b - f, 5*f = -5*b + 2915. Is b composite?
True
Let f = 310530 + 239371. Is f a prime number?
False
Is -12 + -2*306393/(-6) composite?
True
Suppose -q + 168*v - 164*v + 119373 = 0, -3*q + 358183 = 4*v. Is q composite?
False
Let h be 1/((8/(-80))/((-5)/10)). Suppose 28546 = 2*z + q, 0*q + 71365 = h*z + 5*q. Is z composite?
True
Suppose 0 = 3*a - 0*a + o + 26, 3*a + 5*o + 22 = 0. Let q be -1*(a/3 - 3331). Suppose s = 2 - 4, -2*t = 2*s - q. Is t prime?
True
Suppose 264 = -4*s + 4*g, -111*g = 3*s - 108*g + 210. Let v = s + 457. Is v a composite number?
False
Let v be (2418/(-9))/(14/105). Is (-4 - v/3)*(10 + -1) composite?
True
Let m be 67/(-13) + 2/13. Let o(n) = -70*n - 1. Let a(h) = -70*h - 2. Let p(j) = m*o(j) + 4*a(j). Is p(8) a prime number?
True
Suppose 4*a - 1773 = 7*a. Suppose i = x + 391, 0 = 3*i - 6*x + x - 1183. Let z = i - a. Is z composite?
False
Let l(r) = -44*r**3 - 17*r**2 - 158*r - 68. Is l(-15) composite?
False
Let g be -2*1 + (30 - -5 - -6). Let y = 41 - g. Suppose 4*c = y*c + 1990. Is c composite?
True
Let s be 865/(-2)*24/30. Let h = -215 - s. Is h a prime number?
True
Let h(a) = 10*a**2 + 6*a + 42. Let l be h(-12). Let q = l + 1043. Is q composite?
True
Let z be 30*(53/2 - 0). Let a(l) = l**2 + 9*l - 52. Let n be a(-13). Suppose n*o - z = -3*o. Is o composite?
True
Let d = -836 - -44975. Is d prime?
False
Let k be 8/24 - (-5)/3. Suppose -3*d - k*z - 685 = 0, 7*d + 1130 = 2*d - z. Let h = d + 556. Is h a composite number?
False
Suppose -63*h + 67*h - 110998 = -2*o, 5*h + 30 = 0. Is o a composite number?
False
Let a(h) = 37*h**2 + 25*h - 17. Let u be -4 + (17 + 2 - 0) + -4. Is a(u) a prime number?
False
Let v = -732 + 2139. Suppose 3 + 0 = -2*n + b, 3 = 4*n + b. Suppose 4*d - v = -4*k + 2521, n = -5*d - 4*k + 4907. Is d prime?
False
Let m be (10/6)/((-21)/(-61992)). Suppose 0 = 6*n - 6024 - m. Let b = n + -1025. Is b composite?
True
Suppose 2*y + 5 = -0*c + c, 0 = 3*c - 5*y - 14. Suppose 64 = c*s + 67. Is ((-838)/(-6))/(s/(-9)) a prime number?
False
Let l be -2*24/(-16) - 1. Suppose l*a + 29*q - 12889 = 26*q, q = a - 6432. Is a prime?
False
Suppose u - 2*d = -0*u + 11919, 4*u + d = 47640. Let r = u + -5168. Is r a prime number?
False
Let x be 3 + (-210)/55 + (-6)/33. Is 7308 + -1 - (-4 - x - -1) prime?
True
Let i(a) = a**3 + 8*a**2 + 13*a + 10. Let m be i(-6). Is -2321*4/(m - 8) prime?
False
Let i be 5*((-162)/15)/(-6). Suppose 6*m = i + 9. Suppose -m*z - y + 550 = 0, 2*y + 0*y + 565 = 3*z. Is z composite?
True
Let n = 4 - 6. Let a(d) = 56*d**2 + 67*d**2 - 4*d + 227 - 222 - 13*d**2 + 8*d. Is a(n) a prime number?
False
Let t(n) = -46*n**2 + 14*n - 49. Let x be t(6). Let m = 6880 - x. Is m prime?
True
Let f(z) = -z. Suppose -5*s + 5*l + 10 = 2*l, -19 = 4*s + 3*l. Let q(n) = -64*n + 34. Let y(i) = s*q(i) + 5*f(i). Is y(7) composite?
False
Suppose -1128544 + 7059580 = -5*i + 113*i. Is i prime?
True
Let c be 2/(-7) - 13/(182/(-704)). Is 2099/11 + c/275 prime?
True
Let c = 619620 + -339011. Is c a prime number?
False
Suppose 4*x + 5*v = 91281, 0 = 9*x - 11*x + 2*v + 45636. Is x a prime number?
False
Let y be (9 + -27)/((-9)/(-6)). Let n(f) = -62*f - 7. Is n(y) composite?
True
Let c = 427662 + -271445. Is c a composite number?
False
Let o(l) = 12*l. Let d be o(-4). Let u = d + 127. Is u prime?
True
Suppose -j - 5 - 14 = 0. Let i = j - -21. Suppose -i*s = -275 - 147. Is s a prime number?
True
Suppose z + 8 = -4*i, 5*z - z + 4*i - 4 = 0. Suppose -5352 = -z*g + 2*m, 5*g + m - 3017 = 3666. Is g prime?
False
Suppose 3*u + u - 12537 = -3*h, -15 = -5*h. Suppose -3*s = 2*z - u, 2*s - 2*z - 3120 = -s. Suppose 3*b + s = 2*k, -2*k + b = -b - 1042. Is k composite?
False
Let t = -47 - -50. Suppose -3*q = t*r - 19 + 4, -3*r + 2*q = 0. Suppose 2*c + r*i - 2036 = 0, 338 = 2*c - i - 1701. Is c composite?
False
Let m(r) = -248*r**3 + 2*r**2 - 4*r - 5. Let d be m(-2). Suppose 0 = -2*h + 4*h - 2644. Let t = d - h. Is t a composite number?
False
Let n(b) = -b**2 - 19*b - 18. Let m be n(-18). Suppose -2*z - 9*z + 22 = m. Suppose 3*a - 6745 = -z*a. Is a a composite number?
True
Let b(l) = 2*l + 2. Let m(g) = g. Let o(z) = b(z) - m(z). Let x = -1138 - -1161. Is o(x) a prime number?
False
Suppose -444*a + 2224339 = -431*a. Is a a composite number?
False
Let u = 178 - 162. Suppose -2*l = u*l - 27630. Is l a prime number?
False
Let b(v) = -v**3 - 3*v**2 + v - 51. Let h(w) = -2214*w**2 + 2218*w**2 - w + 0*w + w**3 + 51. Let i(g) = -4*b(g) - 3*h(g). Is i(0) composite?
True
Suppose 0 = 119*q - 90*q - 2594311. Is q composite?
False
Let r be ((-1)/(-3))/((-25)/(-600)). Is (40018 - -10)*2/r prime?
True
Let m be (-18082)/14 - 72/168. Let h = 90 - m. Is h a composite number?
True
Let q(w) be the first derivative of 51*w**2/2 - 10*w - 1. Suppose 2*x - 21 = 5*d, 9*d - 13*d = -2*x + 18. Is q(x) composite?
True
Is 87*((-425)/(-15) + -4) prime?
False
Suppose -2943*q = -2936*q - 358519. Is q prime?
True
Let i(b) = -b - b**2 + 19*b**2 + 3*b**2 - 1 + 3*b**2. Is i(9) prime?
False
Let w(k) = 9171*k - 8. Let i be w(-5). Let l = -27744 - i. Is l prime?
True
Suppose 0 = 2*y - 4, 3*y - 29 - 17 = -5*p. Let i be (-1 - 0)/(-5) - p/40. Suppose i = -o - 6*o + 406. Is o prime?
False
Suppose 0 = 3*x - 4 - 2, 3*t + x = 8. Suppose 3*q = 2*u - 259, -405 = -4*u - t*q + 137. Suppose -2*b + b = -u. Is b prime?
False
Let b(h) = 42015*h + 1282. Is b(15) a composite number?
False
Let h = 12626 - 4565. Is h composite?
True
Is 4*(-5)/(-10)*(-1309405)/(-10) a composite number?
False
Let j(h) = h**2 - 6*h + 4. Let o be (-20)/(-12)*(1 - -2). Let w be j(o). Is (0 + 0 + w)/((-24)/25176) a composite number?
False
Suppose 0 = -2*w - 2*t - 2*t + 2005942, 2*t - 3008917 = -3*w. Is w a prime number?
True
Let f(c) = 3*c - 29. Let u be f(6). Let l = u - -12. Let p(h) = 1073*h**3 + h - 1. Is p(l) prime?
False
Suppose r - 149 = 3*x + 67, -2*x + 5*r - 157 = 0. Let d = -70 - x. Is (570/(-18))/((2/(-6))/d) a composite number?
True
Let l(i) = -i**3 + 83*i**2 + 77*i + 53. Is l(52) a composite number?
False
Let x(u) = 25*u**2 + u + 1. Let i(a) = -124*a**2 - 5*a - 6. Let t(g) = 2*i(g) + 11*x(g). Suppose -15 = 3*m, -b = -5*m + m - 15. Is t(b) a composite number?
True