i = f + -71. Is i composite?
True
Let m = 20 + -18. Let s(h) = -150*h - 6. Let r be s(-4). Suppose -4*z = 4*k - 816, 3*k - m*z - z = r. Is k prime?
False
Let d = -1547 + 3286. Is d prime?
False
Let h(v) = -2 + 10*v + 3 + 2*v**2 - 11. Let n be h(-9). Is ((-3)/6)/((-1)/n) composite?
False
Suppose 5*j = -0*j - 10, n - 3229 = 4*j. Is n prime?
True
Suppose 17 = k - 4*g, 0 = 3*k - g - 0*g + 4. Suppose -2*d = 2*u - 6, -5*u + 7 = 4*d - 7. Is (d - (1 - -17))*k composite?
True
Suppose 3*h - 5*l + 18 = 0, 2*h - 4 = -4*l + 2*l. Let u = 18 - h. Is u a prime number?
True
Let v be 3 - (6 - (-2 - 3)). Is 1150/(v/(-4)) - (-8)/(-2) a prime number?
True
Let f(p) be the first derivative of 67*p**4 - 2*p**3/3 + p - 1. Let b be f(1). Suppose 5*t - 1656 + 342 = y, 0 = -t - 4*y + b. Is t composite?
False
Let t(k) = -259046*k - 1615. Let m(x) = 321*x + 2. Let s(f) = -1615*m(f) - 2*t(f). Is s(-1) a composite number?
True
Let u = 123596 + 2267. Is u composite?
False
Let p(l) = 10 - 33 + 697*l - 13. Is p(5) a prime number?
True
Let d(c) = 49*c - 22. Let b be d(8). Is (b/15)/((-1)/(-3)) a prime number?
False
Let n(w) = -528*w - 37. Is n(-2) prime?
True
Let s(c) = -32*c**2 - 5*c - 6. Let z be s(-3). Let d = 890 + z. Is d composite?
True
Let s(c) be the first derivative of 23*c**5/120 + c**4/8 - c**3/3 - 8. Let j(o) be the third derivative of s(o). Is j(2) a composite number?
True
Suppose 931193 = 47*w - 564300. Is w a prime number?
False
Let s(a) = -3735*a - 19. Let q(c) = -1245*c - 6. Let h(k) = 11*q(k) - 4*s(k). Is h(1) a composite number?
True
Suppose -12*j + 334026 = 3966. Is j a prime number?
False
Is (-17)/34*2*-7829 a composite number?
False
Let k = 32 - 29. Suppose 0 = -k*x + 1247 + 808. Is x a composite number?
True
Let o = -3697 + 8402. Is o a composite number?
True
Suppose 4*t - 4*v - 36 = 0, -v = -4*t + 2*v + 33. Suppose -2*a + 182 = -0*a + 5*u, 0 = 3*u - t. Is a composite?
True
Suppose -25 = -5*z - m, -z = 5*m - m - 24. Is (-1)/(-1)*886/8*z a prime number?
True
Let c(a) = 249*a - 82. Is c(4) composite?
True
Let a be -14*-1*14/1. Suppose a = -5*c + 941. Is c a composite number?
False
Suppose 2*v = -4*z + 118 - 14, 4*z = -8. Suppose n - 2*u - 1 = 3, 3*n + 5*u = v. Let w(p) = p**2 - 10. Is w(n) prime?
False
Suppose -4*a = -c - 4170, -2*a - 1052 = -3*a + 5*c. Is a a composite number?
True
Let n(w) = 5*w**3 - 3*w**2 - 6*w + 3. Let g(o) = -o**3 - 11*o**2 - 9*o + 14. Let b be g(-10). Is n(b) prime?
True
Let m = 1141 - 500. Is m prime?
True
Is (45 - -123) + (-2)/2 + -1 a prime number?
False
Let i = 187 + 147. Let r = i + -126. Let v = r - 95. Is v a composite number?
False
Suppose 5*s - g - 41311 = 0, 2*s - g = -5*g + 16542. Is s prime?
True
Suppose -2*l - 425 = -7*l. Suppose -2*m + 0*d - 57 = -3*d, -3*m - l = -4*d. Is (m/(-45))/(1/355) a prime number?
False
Is (-4 - (-34)/8)/(4/27344) composite?
False
Let a be (0 - -1)*(-5655)/(-3). Let o = -1016 + a. Is o composite?
True
Suppose -5*c + 4*c = -3. Suppose -172 = c*y - 976. Suppose 3*z = -z + y. Is z a composite number?
False
Suppose -t + 756 + 141 = 2*p, 4*t - 3603 = -3*p. Suppose 0*n = 5*d + n - t, 0 = -4*d + 3*n + 730. Is d composite?
False
Let h(k) be the third derivative of 5*k**4/8 + k**3/3 - 11*k**2. Is h(17) prime?
True
Let l = -34 + 38. Suppose 0 = -5*u + 4*t + 3909, -489 = -u + l*t + 296. Is u a composite number?
True
Let l(d) = -8*d - 10. Let f be l(-15). Let a = 127 + f. Is a prime?
False
Let s be (-48)/9*(-12)/(-16). Let u(g) = 7*g**3 + 2*g**2 - 2*g. Let m be u(3). Is (s + m - -3) + 2 prime?
False
Let x = 2550 + -1721. Is x composite?
False
Suppose 0 = 5*z + 5 + 5. Is (z - -1) + 4 - -559 a prime number?
False
Let u = 70 - 50. Let o = u - -17. Is o a composite number?
False
Let l(u) = 2*u + 26. Let y be l(-12). Suppose j = 2*d + 1443, -y*d - 11850 + 4651 = -5*j. Is j composite?
False
Let q(m) = 21*m**2 - 76*m + 41. Is q(24) prime?
True
Let t = 26 - 18. Let p(v) = 2 - 2*v - 7*v - 7*v - t*v. Is p(-1) composite?
True
Let z be (137/1)/(-3 + 2). Let f = 468 + z. Is f a prime number?
True
Let u(s) = 31*s + 12. Suppose 23 = -n + 32. Is u(n) a prime number?
False
Suppose 0 = -4*d - 4, 5*d - 137071 = -3*s + 3*d. Is s a prime number?
True
Let b(q) = 3*q - 3. Let n be b(2). Suppose 6*r = n*r - 1521. Let c = -214 - r. Is c a composite number?
False
Is 996468/84 - 4*(-1)/14 prime?
True
Suppose 9*j + 48 = 5*j. Let q = j - -6. Is q/2 + -8 + 66 prime?
False
Let p(x) = 149*x. Let o(k) = -k**3 - 3*k**2 - 2*k - 4. Let t be o(-3). Is p(t) a prime number?
False
Suppose 14576 + 52501 = 9*n. Is n prime?
False
Suppose -x + 36*b - 41*b = -28091, 2*b = 0. Is x a composite number?
True
Let d(v) = 183*v - 5. Suppose -12 = 10*l - 22. Is d(l) a prime number?
False
Let v(k) = 168*k**2 - 10*k + 10. Let d be v(-6). Let c = -2019 + d. Is c composite?
False
Suppose -z - 4*g = -9235, 0 = -4*z + 8*g - 9*g + 36940. Is z prime?
False
Let t = 10096 - 1810. Suppose a = 5*b - t, 4*a + 4975 = 5*b - 2*b. Is b prime?
True
Let z = -5472 - -9248. Suppose -711 = -7*x + z. Is x prime?
True
Let p(r) = 250*r**2 - 5*r - 100. Is p(-7) a prime number?
False
Suppose 12666 = o + 5*m, 0*o - 3*m - 37908 = -3*o. Is o prime?
True
Let j(a) be the third derivative of a**5/10 - 17*a**4/24 + 2*a**3/3 - 4*a**2. Is j(7) a composite number?
False
Suppose -3*b - 28 = -5*b + 5*k, 3*b = -3*k. Suppose -5*g = -b*g - 509. Is g a prime number?
True
Let d = 119 + -67. Suppose z = -d + 149. Is z a prime number?
True
Suppose 15*r + 19771 = 16*r. Is r a composite number?
True
Let w = 75 + 374. Let j = -90 + w. Is j composite?
False
Let q be (3 - 2)*-79 + -5. Is (-63132)/q + 1/7*-4 a composite number?
False
Let d = 1128 + 3257. Is d a prime number?
False
Suppose -87 = 5*h - 1402. Let n = 87 - h. Let w = n + 282. Is w prime?
False
Let u = 12 - 10. Suppose -27 = -u*j + 195. Is j prime?
False
Let s(b) = -b**3 + 8*b**2 - 2*b - 32. Let j be s(7). Let f(p) = 248*p + 13. Is f(j) a composite number?
False
Suppose 34117 = 8*p - 54051. Is p composite?
True
Suppose -22*l - 120 = -18*l. Is 1*(1656/5 - (-6)/l) a composite number?
False
Let t(p) = -p**2 - 5*p + 9. Let l be t(-6). Suppose 5*f = -l*f + 4984. Is f prime?
False
Is (63/(-18))/(13371/6686 + -2) a prime number?
False
Let b be -4*2/20*-5. Let y(t) = t + 8*t**3 + 2 - 14*t**3 + 14*t**b - 16*t**2 + 34*t**3. Is y(3) prime?
True
Let o(s) = -s - 2. Let f be o(-5). Let q(b) = 29*b - 5*b + f + 2 - 3. Is q(3) a composite number?
True
Suppose -2*x - x - g + 9299 = 0, 2*x + 3*g - 6211 = 0. Is x a prime number?
False
Suppose 782 = 7*r - 3901. Is r a composite number?
True
Suppose -o - w - 4 = -0*w, 2*o - 5*w = 20. Suppose -6*x + o*x + 1902 = 0. Is x composite?
False
Let g = 22946 - 14625. Is g composite?
True
Is 1310/8 - (-30)/(-40) prime?
True
Let j = 84 + -15. Let y = -38 + j. Is y composite?
False
Suppose -5*b - 17 = -i, 5*i - 4*b + 0*b - 106 = 0. Let x be (-4)/(-6)*99/i. Suppose -x*y + 53 = -2*y. Is y a prime number?
True
Suppose -5*y = -2*s - s - 42493, -2*y + 3*s + 16990 = 0. Is y composite?
False
Suppose 3*h + h = -8. Let m be 50/(-4)*(h - 0). Is (30/m)/(4/230) composite?
True
Suppose -10 = 5*c - 5*h, 0*c + h - 17 = 4*c. Let b = 2 - c. Is 2166/14 + 2/b prime?
False
Let d = 6393 + -3671. Is d composite?
True
Suppose -6705 = -15*v + 1350. Is v composite?
True
Is 2991 - (28/4 + -2) a prime number?
False
Suppose y + 5 + 10 = 0. Let k(g) = g**3 + 17*g**2 + 14*g + 11. Is k(y) composite?
False
Let u = -49722 + 84989. Is u prime?
True
Is 4/(-3)*(-2)/(-8)*-27219 a prime number?
False
Suppose 0 = u - 2*h - 11, 2*u + 8 = -4*h + 2*h. Let a(t) = 4*t**3 - t**2 + t. Let q be a(u). Is (97/(-5))/(q/(-20)) prime?
True
Let f be 4/(-6) + (-13)/((-117)/(-282)). Is (-4)/(-6)*(-12)/f*5132 a composite number?
False
Suppose 3*k = -3*k + 3894. Is k a prime number?
False
Let q = -12 - -16. Suppose 6*t - 3*z = t - 16, q*t - z = -17. Is t/(-2) - (-4)/8 composite?
False
Suppose 688457 = 67*m + 10*m. Is m a composite number?
False
Let p(g) = -g**3 + 13*g**2 - 11*g - 10. Suppose 50 = 5*n - 10. Let v be p(n). Suppose -v*i = i - 159. Is i a prime number?
True
Is -5404*(276/48)/(-23) composite?
True
Let s(u) = -u**3 - 6*u**2 - 2*u - 7. Let h be s(-6). Suppose 1319 = h*p + 389. Let k = 397 - p. Is k a composite number?
False
Let y(r) = -2*r**2 + 3*r - 4. Let a be y(2). Is (-