 prime?
False
Let u(a) = 22*a**2 - 32. Let l be u(-11). Suppose -42*i = -40*i - l. Is i prime?
False
Let c(f) = 0 - 20 + 2*f + 0*f - 5*f. Let y be c(-9). Is 2846/14 + (-2)/y composite?
True
Let q be 1*(2013 - (0 - 3)). Suppose y = -2*x + 1005, -5*y + q = 4*x - y. Is x a prime number?
False
Suppose -3*u + 1198 + 19397 = 0. Is u a prime number?
False
Let n(h) = 101*h**2 + 85*h + 3. Is n(12) a composite number?
True
Let z(s) = 30 - 6*s - s**3 - 31 + 0*s**3 + 17*s**2. Is z(15) prime?
True
Suppose 2*a + 4 = 0, v + 10 = 3*v - a. Suppose s - v = -s. Suppose -n - n + 4*i + 322 = 0, n = -s*i + 153. Is n a prime number?
True
Suppose 4*y - l = 4505, 3*l - 1082 = -y + 28. Let d = y + 284. Is d prime?
True
Let h = -556 + 4343. Is h a prime number?
False
Suppose 21*a - 11*a - 24590 = 0. Is a composite?
False
Let h be (-4)/(-5)*(2 - 1683/(-6)). Suppose -u + h = -3*y, 2*y = -3*u - 2*y + 613. Is u composite?
False
Suppose -i - 19*i + 80980 = 0. Is i a prime number?
True
Suppose -5*p + 4*s = -488539, 3*p + 2*s - 293125 = 4*s. Is p composite?
False
Suppose 0 = 2*s - 10, s - 1 = 3*v - 5. Suppose -v*u + 2*f + 159 = 0, -u + 2*f = -2*u + 53. Is u a composite number?
False
Let s = 224 - -465. Is s a prime number?
False
Suppose 2*h = 4, 6*s = 3*s - 4*h + 2243. Is s a prime number?
False
Let o(l) = 19*l**3 - 5*l + 7 - 39*l**3 + 19*l**3 + 6*l**2. Let y be (-104)/(-20) + (-2)/10. Is o(y) prime?
True
Suppose 28*k - 971 = 1241. Is k prime?
True
Let w = 117 + -80. Suppose w*l - 40*l + 11361 = 0. Is l a composite number?
True
Let f(i) = i**3 - 4*i**2 - 6*i + 7. Let w be f(5). Suppose -n + 45 = -4*l, w*l = -7*n + 3*n + 216. Is n a prime number?
True
Let i = 27 + -22. Suppose -6*x = -i*x + 1. Is (-4)/(((-6)/(-537))/x) a prime number?
False
Let w(o) = 8*o - 33. Let a(l) = -4*l - 4. Let s be a(6). Let x = s + 42. Is w(x) prime?
True
Let o(l) = 8*l - 2*l**3 - 10*l**2 + l**3 - 7 - 3. Suppose 3*p - y = -32, 6*p - 4*y = 3*p - 29. Is o(p) prime?
True
Let f = -3868 + 6999. Is f a prime number?
False
Suppose l = 6*l - 990. Suppose -467 = -5*a - 4*x, 2*x = 3*a - 91 - l. Suppose 64 = 3*j - a. Is j composite?
False
Suppose 1 = -u, -2*u = -4*a - 3*u + 2407. Suppose 5*z = -3*k - 1042, 3*z + a = -0*z + 4*k. Is z/(-6) - (-5)/(-15) a prime number?
False
Suppose 17*b - w + 201043 = 21*b, -5*w = -2*b + 100527. Is b a prime number?
True
Let d(u) = -2*u**3 + 14*u**2 + 5*u - 9. Suppose 4 = r + n, 3*n - 19 = -2*r - 2*r. Let o be d(r). Suppose 0 = 5*m - o - 1269. Is m a composite number?
True
Suppose -4*t + i + 40 = 6*i, 4*i = -2*t + 20. Suppose t = 5*r, -3*r + 2*r = -2*d + 234. Suppose q + 0*q = d. Is q a prime number?
False
Let y = -8 - -12. Is (-7)/((-84)/536)*66/y a composite number?
True
Let y = 69 - 72. Let i(s) = -267*s + 6. Is i(y) prime?
False
Suppose -3*a + 33 - 3 = 0. Is (12/a)/((24/8535)/4) prime?
False
Let m(n) be the second derivative of 0 - 6*n + 251/2*n**2 - 1/6*n**3. Is m(0) prime?
True
Suppose -1399 + 429 = -5*r. Is r a composite number?
True
Let i(w) = -56*w + 25. Let a be i(-7). Is 12/(-8)*(-3 + a/(-9)) prime?
False
Let o be (-1 - (-7766)/6)*3. Suppose -5*y + o = 725. Is y a prime number?
True
Is 1996434/432 - (0 - (-3)/8) composite?
False
Suppose 5*j - 8818 - 977 = 0. Suppose b - 2588 = j. Is b composite?
False
Let s(q) = -2*q - 10. Let w be s(-10). Suppose -2 - w = -3*k. Suppose 4*i = 3*p + 4235, 3*i - k*i + 4*p = -1075. Is i a prime number?
False
Suppose 22*r - 110145 = r. Is r a prime number?
False
Is 0 + 20473 - 10*12/(-30) a prime number?
True
Suppose 3*q - 6 = 3. Is (q/(-6))/((-2)/844) a composite number?
False
Suppose j + 524 = 3*j - 4*r, -836 = -3*j - 4*r. Let g = 457 - j. Is g a prime number?
False
Let f = -77 + 47. Suppose 0 = 6*g - 13*g + 567. Let a = f + g. Is a a composite number?
True
Let v = 16 - -1. Let x be (-13 - -611) + 0/((-1)/1). Suppose 15*y + x = v*y. Is y a composite number?
True
Let k be (-4 - (-12)/16)/(2/(-16)). Let q = 5 + 10. Let v = k - q. Is v a composite number?
False
Let h(v) = -215*v + 343. Is h(-32) prime?
False
Let b = 11 - 7. Let q be (3 - 2)*1 - 84/(-21). Suppose -5*s + s + b*r + 108 = 0, 0 = -q*s - 5*r + 95. Is s a prime number?
True
Let g be ((-5028)/(-15))/((-3)/30*-4). Suppose 2*n - 3*u - 951 = g, 0 = 2*n - 4*u - 1786. Is n composite?
True
Suppose 9 + 0 = -3*i. Is 446/((-2)/6*i - -1) prime?
True
Suppose 4*c = o - 12253, 72*c - 77*c + 25 = 0. Is o prime?
False
Suppose -3*v = -5*h + 1399 + 101, 0 = 5*h + v - 1500. Suppose -2*c - 2098 = h. Let j = -544 - c. Is j a prime number?
False
Suppose -1288659 = -10*z - 479689. Is z a prime number?
True
Let u = 1678 - -31. Is u a composite number?
False
Suppose -35*z - 37964 = -39*z. Is z composite?
False
Suppose p + 2*p = 0. Suppose -2*i + 2 = 3*u, -4*i + p = u - 4. Suppose u*f - 4*f - z = -647, 15 = 5*z. Is f composite?
True
Let q(x) = x**3 + 13*x**2 + 7*x - 4. Let y(l) = 2*l**2 + l + 5. Let b(t) = 1. Let r(n) = 6*b(n) - y(n). Let h be r(2). Is q(h) composite?
False
Let p(y) = y**3 - y**2 - 1. Let l(o) = 21*o**3 - 7*o**2 + 9*o + 7. Let z(j) = -l(j) + 4*p(j). Is z(-5) prime?
False
Let p(y) = 88*y**3 - 1. Is p(1) composite?
True
Suppose 7112 = -3*o - 4*o. Let q = o + 1469. Is q composite?
True
Suppose 3*c + n - 2 = 4*c, -4*c + n - 14 = 0. Let h(u) = -8*u**3 + 7*u**2 + 4*u - 4. Let l be h(c). Suppose m = -5*d + 153, 5*m + 5*d = l + 81. Is m composite?
True
Suppose 237 = g + 4. Suppose 5*d - 339 = -3*l + g, -2*d - 974 = -5*l. Is l composite?
True
Let p(n) = n**2 + 6*n + 2. Let w be p(-5). Let o(h) = 7*h - 49. Let r be o(-7). Is 4 - (w - -8) - r prime?
True
Let g = 36891 - 17918. Is g a composite number?
False
Let m(i) be the second derivative of -2*i**5/5 - i**4/12 + i**3/2 + 3*i**2/2 - 3*i. Let v be (-6)/((11 - 5)/3). Is m(v) prime?
False
Let s(h) = 1 + 4 + 666*h - 158*h - 2. Is s(5) a prime number?
True
Let g be 26/4 - (-6)/(-4). Let i be -3 + (0 - -3) + 4. Suppose 2*u - g*c - 84 = 6, -i*u - 3*c + 232 = 0. Is u a composite number?
True
Suppose 2641*p - 36997 = 2640*p. Is p a prime number?
True
Let b = 8 + -8. Suppose 22 = w + 4*d, b = 5*w - 5*d + 2 - 12. Suppose -w*l = -2*l - 5*t - 774, 0 = -3*l + 2*t + 577. Is l prime?
True
Suppose v + 0*v = 3, -5*b + 4*v + 258 = 0. Suppose -b = -m - m. Is 447/1*9/m prime?
True
Suppose y + 231055 = 56*y. Is y a prime number?
True
Let q(i) be the first derivative of 67/2*i**2 + 4 + 12*i. Is q(5) a prime number?
True
Is 20 + (0 - -2) + -1 prime?
False
Let y(b) = 45*b**2 + 6*b - 76. Is y(-13) prime?
True
Suppose 11*f + 90884 = -16630. Let n = f - -16159. Is n composite?
True
Suppose -195 + 2434 = 3*w + 2*g, -5*w + 3725 = 2*g. Is w prime?
True
Suppose -3*v + 5*a = -4*v - 823, 3*v - 4*a + 2564 = 0. Let b = v + 1365. Is b a prime number?
False
Suppose r - 18 = -3. Suppose -3*v = 2*v - r. Suppose 2*o = v*o - 3*m - 562, -2*m - 6 = 0. Is o composite?
True
Let b be (-4641)/(-187) - 2/(-11). Let i(m) = 65*m + 60. Is i(b) a prime number?
False
Suppose 37*i + 8717 = 60*i. Is i a composite number?
False
Let r = -41 + 46. Suppose -r*a - 2*p = -0*a - 1905, -1157 = -3*a - 4*p. Is a a composite number?
False
Suppose 0 = -k + j + 5330 + 5676, 4*k - 3*j - 44021 = 0. Is k a composite number?
False
Suppose 2*s + 15 = 1057. Suppose -5*r + s = 3*v + 135, -r - 253 = -2*v. Is v prime?
True
Suppose 3*f - 9 = 0, 67*y - 65*y - 3*f - 21653 = 0. Is y composite?
False
Let k be 1/(-3) + 2/6. Suppose 4*c + c + 4*s + 31 = k, -s = 2*c + 10. Is c/(-9)*3*46 composite?
True
Let f = -10 - -3. Let w(h) = -h - 3. Let z be w(f). Suppose 5*b - 191 = z*b. Is b a composite number?
False
Let r be (7 + 3 + -3)/1. Suppose r*m + 977 = 11. Let v = m + 297. Is v prime?
False
Suppose 676*z = 673*z + 21849. Is z composite?
False
Let v(n) = n**3 + 9*n**2 + 7*n - 6. Suppose -3*d = 7 + 14. Is v(d) a prime number?
True
Let w = 102 + -111. Is 6*w/(-90) - 1582/(-5) a composite number?
False
Let j(u) = -17*u + 18. Suppose -3*n = -x + 55, 5*x + 31 = -2*n - n. Is j(n) composite?
False
Let a(f) be the second derivative of 22/3*f**3 - 1/2*f**2 - 3*f + 0. Is a(7) a composite number?
False
Suppose -2*x + 87 = 3*m, 9*x - 4*x + 2*m = 190. Is (34 - x)*(-1157)/(-2)*-1 prime?
False
Suppose 5*d = 5*x + 10, -5*d = 3*x - 17 + 39. Let l = d - -15. Is l a prime number?
True
Let a(n) = -2*n - 5. Let i be a(-4). Suppose 0 = -i*g - 1 + 10. 