*u + 5247 - 243 = 5*l, 0 = -4*l + 2*u + 4014. Suppose 5*d = 903 + l. Is d composite?
True
Let i(m) = 59*m + 26. Let u be i(5). Let g = u + 598. Is g a prime number?
True
Suppose -12*m = -4*o - 16*m + 17008, 0 = -2*o - 4*m + 8514. Is o prime?
False
Let x(z) = -2*z + 2. Let l be x(15). Let y = 163 - l. Is y a prime number?
True
Let d = -4045 + 12234. Is d composite?
True
Suppose -3*v = -0*v - 495. Let l be 46 - 3 - (0 + 1). Suppose 3*o = v + l. Is o composite?
True
Let p(a) = -2*a**3 - 65*a**2 - 11*a + 49. Is p(-44) composite?
False
Let z be 674/4*(-2 + 4/1). Suppose 130 = -4*j + 5*w + z, -5*w = -3*j + 154. Is j prime?
True
Let s(h) = h**3 + 2*h**2 - h + 6. Let y be s(-3). Suppose y = 3*k + k - 212. Is k a prime number?
True
Suppose 2*f = 2*k, -k = -4*f - 0*f - 15. Let o(j) = -j - 3. Let u be o(k). Suppose 0 = 5*a - u*a - 1257. Is a a prime number?
True
Let c(b) = -b**3 + 35*b**2 - 20*b + 13. Is c(27) prime?
False
Suppose -a = -4 - 0, -g + 3*a + 1480 = 0. Let y = g + -1013. Is y a prime number?
True
Suppose 0 = 5*n, 15*n + 4391 = t + 11*n. Is t composite?
False
Let r be (-6*27)/(-1) - 0. Let c(j) = 15*j - 247. Let o be c(10). Let x = r - o. Is x composite?
True
Let z = 84 + -83. Let r(i) = 2155*i**2 - i - 1. Is r(z) prime?
True
Let v be 30/(-12)*4/(-10) - -3. Suppose 0 = -5*c + 5*a + 5165, 0*a - 3101 = -3*c + v*a. Is c a prime number?
True
Let n be 1 - 0 - (-209)/1. Let i(g) = -4*g**2 + 6*g - 3. Let u be i(6). Let w = n - u. Is w composite?
True
Let r = 276 + -1166. Let c = r - -1557. Is c a prime number?
False
Let s(j) = -j + 6. Let k be s(4). Suppose -k*t = -t - 3. Suppose -t*l + 844 = l. Is l a prime number?
True
Suppose 25*v = -77*v + 4718622. Is v composite?
False
Suppose 6*j - 4 = 8. Is j - 16/4 - -613 prime?
False
Is 15*(-5)/(45/(-411)) prime?
False
Suppose -2*o - 2*o + 836 = 0. Suppose -c - 4*p + 391 = 0, -p - 8 = -3. Let b = c - o. Is b a prime number?
False
Let b = -1508 + 3071. Is b prime?
False
Let t be (-346)/18 - 2/(-9). Let w(q) = -10*q - 32. Let a be w(-11). Let g = a - t. Is g composite?
False
Let z(q) = 2*q**2 + 15*q - 2. Let b(a) = a**2 + 14*a - 1. Let k(f) = -3*b(f) + 2*z(f). Is k(24) composite?
True
Suppose 58*l - 5*z = 62*l - 130269, -130239 = -4*l + z. Is l composite?
False
Let f(m) = -m**2 - m + 2. Let i be f(0). Let o(x) = 1 + 5*x - 4*x + 46*x**2 - i*x. Is o(1) composite?
True
Suppose -4*i - 2*i = 12. Let n = i + -3. Is n/((-75)/21)*5 a composite number?
False
Let b = -17 - -42. Suppose 5*r = 5*z + 35, 5*r + z = -4*z + b. Is (-2)/r + (-1018)/(-3) composite?
True
Let f = 21 - 16. Suppose -239 = f*k - 29. Is (k/5)/((-2)/5) a composite number?
True
Let w(k) = -k**2 + 13*k - 6. Let p be w(12). Let a be (1 + 0)*p - 2. Is 66 - (1*-4)/a composite?
False
Let s = 74 - 40. Suppose -5*c + s + 1 = 0. Is c a prime number?
True
Let a(p) = p**2 + 2*p + 2. Let k be a(-2). Is k/(-10) - (-48958)/65 prime?
False
Suppose -2*p + 4205 = 3*p. Let o = p + -392. Is o composite?
False
Let o(n) = 73*n**2 - 1. Suppose 0*p = 5*p - 5. Let k be o(p). Suppose -727 = -5*j - k. Is j a composite number?
False
Let n = -142 + 789. Is n a prime number?
True
Suppose 616 + 820 = 4*n. Suppose -3*o + 112 = -n. Is o prime?
True
Let l(q) = -640*q - 89. Is l(-15) composite?
False
Let x be (10 - 2)*(-6)/8. Let r = x + 97. Suppose -3*o + 4*o = r. Is o a prime number?
False
Suppose 20*p - 2930 = 25*p. Is 2/(3 - (-1754)/p) composite?
False
Suppose 3*j + 21 = 117. Suppose -j*k + 307 = -31*k. Is k a composite number?
False
Suppose 0 = 3*t - 2*t - 1535. Suppose 5*a = -0*a + t. Is a composite?
False
Let c = 12 - 10. Let g be 6/27 + 34/9. Suppose g*d = 2*s + 870, -c*d + 3*d - 219 = 2*s. Is d a prime number?
False
Let s(u) = -4*u**3 - 7*u**2 + 40. Is s(-9) composite?
False
Suppose 0 = 5*j - 5*n + 130, 110 = -5*j + 6*n - 5*n. Is 5402/6 + 1 + 7/j a composite number?
True
Suppose 0 = 4*r - 8, r + 156795 = -57*m + 58*m. Is m a composite number?
False
Suppose 0 = 13*n + 11706 + 12071. Let c = 2750 + n. Is c a prime number?
False
Let k(d) be the second derivative of -d**5/20 - d**4/6 + 13*d**3/6 - 11*d**2/2 + 17*d. Is k(-10) prime?
True
Let x(t) = -t**3 - 5*t**2 + 2*t + 6. Let n be x(-5). Let s be (2/(-4)*n)/1. Suppose -37 = -s*q + h, 5*h - h = -3*q + 61. Is q prime?
True
Let m(k) = -679*k + 19. Let f be m(-15). Suppose 16*s = 20*s - f. Is s a composite number?
False
Suppose n = -c + 51, 4*n = -0*n + 4*c + 180. Suppose -n*l = -51*l + 1599. Is l prime?
False
Is (-80916)/(-5) - (-43)/(-215) a prime number?
True
Suppose -h + m + 27 = 0, -4*h + 2*m = 20 - 122. Suppose 0 = 4*v + 18 - 94. Suppose -v = -q + h. Is q prime?
True
Let q(w) be the third derivative of w**9/60480 + w**8/4032 - w**7/1008 - w**6/360 - w**5/60 - w**2. Let s(u) be the third derivative of q(u). Is s(-3) prime?
True
Let f be (-2 - -1) + (-4 - -2). Let n(y) be the second derivative of -50*y**3/3 + y**2/2 - 11*y - 1. Is n(f) a prime number?
False
Suppose -18*a - 35*a + 9653473 = 0. Is a prime?
True
Let c(g) = 18*g - 11 - 66*g + 2 - 14. Is c(-6) a composite number?
True
Suppose 0 = 2*i + 5*d - 3065, -4*i + 0*i = -3*d - 6143. Is i a composite number?
True
Suppose 0 = 12*n - 10*n - 1006. Let u = n - 185. Suppose u = 4*m + 2*f, 0*m + 5*m = -f + 390. Is m a prime number?
False
Is 8655285/846 - 2/(-12) a composite number?
True
Let g = 3749 - -1512. Is g prime?
True
Let h(v) = -6*v**3 - 2*v**2 + 2*v + 25. Is h(-3) composite?
False
Let d = 95311 - 30740. Is d composite?
True
Let q = 43810 - 31203. Is q composite?
True
Let g = 27 + -22. Suppose 0 = 5*l + o - 1702 - 328, 0 = g*l - o - 2040. Is l prime?
False
Suppose -v - 88 = v. Let x = v + 340. Suppose 2*z - x = -2*z. Is z a prime number?
False
Let g(v) = 5*v**3 + 15*v**2 + 9*v - 3. Let i(k) = -6*k**3 - 16*k**2 - 8*k + 2. Let l(c) = 5*g(c) + 4*i(c). Let d be l(-10). Is (-1 - 2) + 4 - d prime?
False
Let l = 53 - 31. Let p = 22 - l. Suppose 2*a + 5*n - 521 = -23, p = -5*a + n + 1299. Is a composite?
True
Suppose -2*l + 236 = -2270. Is l prime?
False
Let l(i) = -191*i**3 + 2*i**2 - i. Let k be l(1). Let w = -50 - 331. Let h = k - w. Is h a prime number?
True
Is 344328/36 + 3/9 composite?
True
Let b(u) be the second derivative of -u**5/20 + u**4 - 11*u**3/6 - 4*u**2 + u. Let k be b(11). Let p = k - -87. Is p a prime number?
True
Let u(m) = 20*m**2 + 22*m + 9. Let c be u(-11). Suppose -4*a + c + 1369 = 0. Is a a prime number?
False
Let d(y) be the second derivative of -y**5/20 + 7*y**4/6 + 8*y**3/3 + 8*y**2 - 16*y. Is d(15) prime?
True
Let g(u) = -4*u + 9. Let v(b) = -1. Let o(s) = -g(s) - 4*v(s). Let l = 27 - 24. Is o(l) a prime number?
True
Is (14044/(-8))/(-1)*(-2 - -4) a prime number?
True
Let l(q) = -q - 1. Let y(z) = 28*z + 1. Suppose 2*s + s = -15. Let c(u) = s*l(u) - y(u). Is c(-9) composite?
False
Let l be (-1)/(4/56) + 4. Is (-3 - (-266)/5) + (-8)/l composite?
True
Let u = -2763 - -4320. Suppose p - 12 - 1 = 4*i, 4*p - 2*i = 24. Suppose p*f = -0*n + 3*n + 2563, 0 = -3*f - 3*n + u. Is f a prime number?
False
Suppose 20 = -5*s, -33*p + 3*s = -28*p - 210517. Is p composite?
False
Let u(w) = -3917*w + 26. Is u(-1) composite?
False
Let q = 6 - 3. Let l = 89 + -89. Suppose -q*n + 5*h + 967 = l, -n + 333 = 3*h - 8. Is n a prime number?
False
Let v(q) = q**3 - 3*q**2 - 4*q - 2. Let w be v(3). Is (-94)/((-1)/(2*w/(-8))) composite?
True
Suppose 2180 + 3180 = 8*k. Suppose 11*l - l - k = 0. Is l a composite number?
False
Let p(x) = -5*x**3 - 4*x**2 + 10*x + 7. Let m(k) = k**3 - k - 1. Let z(o) = 4*m(o) + p(o). Is z(-6) composite?
True
Let a = -1247 + 15244. Is a prime?
True
Let d be (5 + -4 - -1) + 1. Suppose 8 = d*l - 7. Suppose -l*r = -569 - 936. Is r a composite number?
True
Let q = -143 - -81. Let b = q + 168. Is b a composite number?
True
Let o be (-8)/12*6 - -2. Let m = 1 + o. Is (257 + m - 3)/1 prime?
False
Suppose 5*j - 719 = 951. Suppose j = 9*a - 8*a. Suppose -4*i + b = -675, -b = 2*i - 5*b - a. Is i composite?
True
Suppose -m - 4*c - 13 = 0, 2*m + 3*c - 5*c - 14 = 0. Suppose 3*d - 4850 = -4*n, m*n = -d + 94 + 3541. Is n a prime number?
False
Let d(u) be the first derivative of -873*u**2/2 - 2*u - 26. Is d(-1) composite?
True
Let o = -11 - -14. Let s(q) = 66*q**3 - 3*q**2 + q + 4. Is s(o) a prime number?
False
Let k = 1784 + -1023. Is k a composite number?
False
Suppose