 composite?
False
Let d(x) = -1073*x + 209. Is d(-16) composite?
False
Is (115662/(-2))/(42 + -45) a prime number?
False
Let a be 1 - (-1144)/4 - 1. Let f = a - 156. Suppose 2*j = 64 + f. Is j composite?
False
Suppose 22*g = 30*g - 13912. Is g a composite number?
True
Let o be (132/20)/(4/1060). Let t = o + -1156. Is t a prime number?
True
Let m = 18 - 10. Suppose 2*l - y = 5419, m*l - 3*l + y = 13530. Is l composite?
False
Suppose 0 = 2*n + 3*x + 1097, 0 = -5*n + 10*n - 5*x + 2805. Suppose 0*h = -h - 1527. Let c = n - h. Is c composite?
False
Let z = 1776 + -2866. Let v = z + 1921. Is v a composite number?
True
Let g(l) = -78*l**3 + 4*l**2 + l - 7. Let q be g(-3). Is 2/((-8520)/q + 4) a prime number?
False
Let d = 20 - -343. Let i be 21/(2*(-3)/20). Let r = i + d. Is r composite?
False
Let u = -69 + 67. Let j(n) = -7*n**3 - 3*n**2 - 5*n - 1. Is j(u) prime?
True
Let d be 2/((-1)/(-2) + 0). Suppose 2*b = -d*l + 14, -7 = -4*l - 2*b + 7*b. Is 119/(1*(4 - l)) a prime number?
False
Let p(r) = r**2 + r - 3. Let o be p(3). Let c(n) = -19*n - 6. Let h(w) = -w + 1. Let u(z) = -c(z) - h(z). Is u(o) a composite number?
True
Suppose 36 = -4*u + 60. Suppose u*j + 4*h = j + 10813, 0 = 2*j - 2*h - 4336. Is j composite?
True
Let g(l) be the second derivative of l**3/3 - l**2/2 - 4*l. Let h be g(3). Suppose -h*n + 601 = -454. Is n composite?
False
Suppose -28 = -a + 4*o, -3*a - a = 2*o - 22. Let z(j) = j**3 - 6*j**2 + 3*j + 3. Let x be z(a). Suppose p - 486 = -x. Is p a composite number?
False
Suppose 4*r - 40 = -0*r. Suppose -r*j + 737 = -573. Is j a prime number?
True
Suppose -r + 14 - 11 = 0. Is (r - 0)/3 - -147 - 3 a composite number?
True
Suppose -v + 103 - 15 = -5*a, 4*v - 2*a = 316. Let u = v - -35. Suppose 5*d = -38 + u. Is d a prime number?
False
Let b be -1 + 363/(-21) + 2/7. Is b/99 - (-1 - (-365)/(-11)) a prime number?
False
Let f(i) = 2*i - 13. Let s be f(7). Let w(l) = 323*l**3 + l - 1. Is w(s) composite?
True
Let c = 1986 - 587. Is c a prime number?
True
Let w = -3626 - -2380. Is 0 + 3 - 0/(-3) - w prime?
True
Let s = -113 - -196. Let i = 315 + -181. Suppose i = d - s. Is d prime?
False
Let n = 14492 + -7321. Is n prime?
False
Suppose -6*i = -4*i - 1190. Suppose 5*c - 700 - i = 0. Is c prime?
False
Let r(g) = 10*g**3 - 3*g**2 + g - 10. Let b be r(5). Let m = -537 + b. Is m a composite number?
True
Let u = 8121 + 1270. Is u a composite number?
False
Let a(p) = 87*p - 7. Let t be (-10)/40 + 4/((-16)/(-9)). Is a(t) a prime number?
True
Suppose -4*n + 4*x = 169 + 91, -2*x = -4*n - 268. Let v = n - -362. Is v a prime number?
True
Let y(i) = 332*i**2 + 6*i - 9. Is y(5) prime?
False
Let y be -11*(-1 + 2 + -6). Let r = 93 - y. Suppose -r = -5*l + 27. Is l a prime number?
True
Let p(f) = 6*f**2 - 6*f + 7. Let u(q) = -q + 4. Let k be u(8). Is p(k) a prime number?
True
Suppose 2*y = -3*y + 25. Is 678/30 + 2/y a composite number?
False
Let l(c) = 4*c + 10 - 3*c**2 - 2*c + 4*c**2 - 3*c. Let o be l(7). Suppose 2*f - o = -2*f. Is f a prime number?
True
Let x = 2033 - 844. Is x a prime number?
False
Let h(i) = 101*i**2 + 3*i - 33. Suppose 26 = 4*d - 2*t, -4*t = d - t - 17. Is h(d) a prime number?
False
Let z = 14667 + -558. Suppose 19*b - z - 920 = 0. Is b a prime number?
False
Suppose v = -4*w + 40 + 81, 5*v - 730 = 5*w. Suppose -4*a = 1 - v. Is a prime?
False
Suppose 0 = 34*h - 64422 - 12044. Is h prime?
False
Let x(z) = 3*z**3 - 13*z**2 + 9*z - 12. Let n be (-308)/(-49) + 1 + 4/(-14). Is x(n) prime?
True
Suppose -y + 2*y - 1398 = 0. Let m = -461 + y. Is m a composite number?
False
Let c(w) = -w**2 + 6*w + 10. Let p = -16 + 23. Let f be c(p). Suppose -4*z - 2*l = -196, 2*z + f*z = 2*l + 227. Is z a prime number?
True
Let o = -2080 + 3423. Is o a prime number?
False
Let v(j) = 0 + 3 + j + 4 - 1. Let o be v(0). Suppose -2*a = -o*a + 572. Is a a prime number?
False
Let s(n) = 3*n**3 + 7*n**2 - n + 3. Let x be s(5). Let f = x - -429. Is f composite?
False
Let d(a) = -a**3 - 10*a**2 + 8*a - 110. Is d(-13) a composite number?
False
Let x(n) = -n**3 - 3*n**2 + 3*n - 8. Suppose k - 17 = -4*r, -3*k + 16 = 2*r - k. Suppose -21 = r*p + p - o, -4*p = o + 27. Is x(p) a composite number?
True
Suppose 0 = 3*z - 2*z - 243. Suppose -4*q = 5*n + 330, -4*n + 3*q - 2*q - z = 0. Let u = n + 117. Is u a composite number?
True
Let a = 36553 + -7914. Is a prime?
False
Suppose 16 + 0 = 2*v. Suppose -4*i = -0*i - 2*x, -v = 4*i - 4*x. Suppose 6*m + 158 = i*d + 2*m, -m - 173 = -2*d. Is d prime?
True
Let z = -11 - -42. Let d = -27 + z. Suppose d*j + 2*o = 524, o - 655 = -5*j + 4*o. Is j composite?
False
Let k(p) = 3687*p**3 + 7*p**2 - 4*p - 3. Is k(1) prime?
False
Suppose -2 = q, 2*q = -g - 2 - 2. Suppose 3*r - 9 = g, -2*r - 526 = -z - r. Is z a composite number?
True
Let t = -30 + 28. Let k be 0 + 2/t - -4. Suppose 5*q = 3*d + d + 3439, 5*d = -k*q + 2093. Is q a prime number?
True
Let v(l) = 2*l - 36. Let m be v(18). Suppose -3*d + d + 674 = m. Is d a composite number?
False
Let s(z) = -3*z**2 - 20*z - 3. Let g(c) = c. Let d(l) = 3*g(l) + s(l). Let x(j) = 7*j**2 + 34*j + 6. Let q(n) = 9*d(n) + 4*x(n). Is q(19) prime?
False
Let b(o) = 4*o - 13. Let g be b(4). Suppose 0 = z + 3*t - 371, -621 - 516 = -g*z + 3*t. Is z composite?
True
Suppose -13 = -2*v - 3*k, -4*v = -2*k + 6*k - 20. Suppose 1 = z, -v*z = -y - y - 12. Let i(r) = 11*r**2 + 3*r - 1. Is i(y) composite?
True
Let h = 81551 - 53532. Is h prime?
True
Suppose -2*i + 1081 = -1417. Is i prime?
True
Let r = -1892 + 4563. Is r composite?
False
Suppose -2*j = 5*w + 655 + 1856, -w = -j + 505. Let a = -266 - w. Is a composite?
True
Let h(c) = 33*c + 13 + 34*c - 19*c. Is h(3) a prime number?
True
Let r(x) = -x**2 - 8*x - 11. Let h be r(-4). Let j(y) = 33*y**2 - 2*y + 4. Let z be j(h). Suppose -z - 217 = -4*k. Is k prime?
False
Let c = -13 + 19. Suppose -3*j = -3 - c. Is 2*j/(-6) - -468 a prime number?
True
Let f be 1017/(-27)*-6*(0 - 1). Let h = 449 + f. Is h prime?
True
Let x(k) = -5*k**3 + 11*k**2 + 7*k. Is x(-5) a composite number?
True
Suppose 2625*q - 15267 = 2622*q. Is q prime?
False
Suppose -c + r - 112 + 37 = 0, -5*c - 5*r = 405. Suppose 2*t - 12 - 12 = 0. Is t/c + 1003/13 a prime number?
False
Suppose -5*x + 6 = -k, 0 = 5*k - 2*x - 23 + 7. Let n = k - 4. Suppose n = 2*c - 9 - 5. Is c a prime number?
True
Suppose -3*j = h + h - 44883, 0 = 4*j - h - 59833. Is j composite?
True
Let k(j) = 49*j**3 - j**2 - 6*j - 3. Let m be k(4). Suppose -10*c - m = -13*c. Is c a composite number?
False
Let a = -63 + 63. Is a/((-15)/5) + (1563 - 2) composite?
True
Let w be (-28)/(-49) - 829/(-7). Let s = w + 464. Is s a composite number?
True
Let q be (3 + 0/1)*(-105)/(-45). Suppose -3*b + 1869 = -k, -2*b + 5*k - 3115 = -q*b. Is b a prime number?
False
Let p = 24941 + -15474. Is p composite?
False
Let i = 110 + -107. Suppose -10813 = -5*h + 2*f, -f + i*f = -h + 2153. Is h composite?
False
Let a be 4/(-34) - (-12686)/34. Suppose 7*d - a = -142. Is d a prime number?
False
Let g be 2 + 2 + 8/4. Suppose 2*q - g*q = -m - 4, 2*q - 5*m = -16. Suppose -b + 10439 = 5*n + 4104, -b - 2534 = -q*n. Is n composite?
True
Suppose 3*v - 3812 = -2*c, -4*c - 2*v + 3*v + 7610 = 0. Is c a prime number?
False
Let a = -37 - -37. Suppose -81 - 260 = -4*s + 5*x, a = -4*s - x + 311. Is s prime?
True
Let l be (-2 - (-34)/(-4))/(12/32). Is ((-776)/l)/(3/7)*3 composite?
True
Let c be (-3 - (-20)/5) + 867. Let p = c + -281. Is p prime?
True
Suppose -8*p + 7*p + 5 = 0. Suppose -3*c = p*k - 180, -2*c - 5*k = 50 - 165. Is c a prime number?
False
Let p(g) = -4*g**3 + g**2 + 3*g - 3. Is p(-4) composite?
False
Let p(z) = 6*z**2 + 14*z - 63. Is p(-16) a composite number?
False
Let x = 893 - -1590. Is x a prime number?
False
Let r(z) = -z**2 - 14*z - 4. Let j be r(-13). Let f(l) = l**2 + 0*l**2 - 4*l - j + l. Is f(8) composite?
False
Let j(d) = -d**3 + 2 - 8*d**2 + 17*d + 8 + 5. Is j(-14) a prime number?
True
Suppose -5*j = 28 - 38. Suppose 481 = n + 4*b, -3*n - j*b = -8*n + 2339. Is n composite?
True
Suppose -2*k + 168 = 4*k. Is 74/4*(k + -3 - 3) prime?
False
Let k(c) = -113*c**3 - 3*c**2 - 3*c + 3. Is k(-2) prime?
False
Suppose 0*c - 2*c - 32 = 0. Let f be (-40)/16*c/10. Suppose j + 385 = f*t, 0 = 5*t + j - 0*j - 488. Is t a composite number?
False
Is (-503)/(-3 + -4 + (-2488)/(-356