Let f(k) = -5*k + 8 + 4 - 14 + 0*k. Let b be f(-2). Suppose -b*a + 13*a - 4870 = 0. Is a composite?
True
Let r = 201 + -198. Suppose 12348 = r*g - 201. Is g prime?
False
Suppose -19*h - 69316 = -31*h + 326552. Is h composite?
True
Let b(t) = 989*t**3 - 70*t**2 + 494*t - 32. Is b(7) composite?
False
Let z(l) = -25048*l - 329. Is z(-1) prime?
False
Let d(l) = 4*l - 15. Suppose -22 + 6 = -3*u + v, v = -2*u + 19. Let o be d(u). Suppose 12*w - o*w = -161. Is w prime?
False
Let w = -44318 - -92774. Suppose -w = -11*a - 4929. Is a prime?
False
Let w = 55514 - 12141. Is w a composite number?
True
Suppose 16*p - 69 = -5. Suppose -w + 0*g + 409 = 2*g, 0 = -p*w + 4*g + 1684. Is w prime?
False
Let g(v) = 30815*v - 144. Is g(5) composite?
True
Suppose -a + 10*j - 5*j + 8569 = 0, -4*a - j = -34318. Is a prime?
False
Suppose 0 = g - 3*k - 34039, 326*k - 331*k = -40. Is g a composite number?
True
Suppose 20*c = 17*c + 513. Suppose -1731 = 4*v - c. Let f = v + 652. Is f prime?
False
Let x = 191101 - 44498. Is x composite?
False
Let i = 79473 + -622. Is i a composite number?
True
Let k = 409592 - 232641. Is k a composite number?
False
Let d = -9 + 13. Suppose 2*m - 91 = 2*v + 3*v, 3*m + d*v - 194 = 0. Suppose -m = q - 207. Is q a prime number?
True
Let a(k) = 1675*k - 602. Is a(57) composite?
False
Let x(n) = 6*n**2 + 10*n - 1. Let b(l) = -l**3 - 6*l**2 - 4*l + 12. Let h be b(-5). Let g be x(h). Suppose g - 28 = w. Is w prime?
False
Let y = 39 - 36. Is y - (-42)/6*316 a composite number?
True
Let k = -159 - -148. Is ((-12014)/(-4))/(k/(-22)) prime?
True
Let s(x) = 487*x**2 + 97*x - 61. Is s(15) a composite number?
False
Let b(t) = -t**3 + 4*t**2 - 5*t + 11. Let u be b(4). Is (-2054)/39*u/6 prime?
True
Let m(j) = 184*j - 83. Let g(o) = -1. Let d(t) = 6*g(t) - m(t). Let k be d(11). Let s = k + 2954. Is s prime?
False
Is (-171)/(-627) - 842250/(-33) composite?
False
Let g(d) = 1434*d**2 + 131*d + 2918. Is g(-23) composite?
False
Let b be 12/(-24) - 98/(-4). Let v = b + -38. Let g(j) = -j**3 - j**2 - 3*j - 11. Is g(v) prime?
True
Let l be (-8)/(96/(-2898))*2. Let p = 898 + l. Is p prime?
True
Let k = -468843 + 673592. Is k a composite number?
False
Let q = 21 + -11. Let y(s) = 23*s**2 + 9*s + 29. Is y(q) prime?
False
Let q be 7/(-28)*58*-2. Suppose -2*d - q*d + 466705 = 0. Is d a prime number?
False
Is (-1025131)/(-7) - 10*15/525 prime?
False
Let z = 58 - 77. Let t(k) = 11*k**2 - 44*k - 78. Is t(z) a prime number?
True
Suppose 4*w - 270271 = -h, -12 = -28*h + 24*h. Is w a prime number?
True
Let g(c) = -44*c**3 + 18*c**2 - 4*c - 53. Let a be g(-12). Suppose -17*i + 423850 = -a. Is i a composite number?
True
Is 1*-2413864*51/(-408) composite?
True
Suppose 0 = -3*t + 3*n - 0*n + 21, 0 = -5*n - 25. Suppose u + 32999 = 3*d - 3*u, -t*d + 3*u = -22000. Is d a composite number?
True
Let c = 139 + -258. Let u = c - -1884. Is u a prime number?
False
Let r(x) = -x + 13. Let m(g) = 2*g - 40. Let b(y) = 6*m(y) + 17*r(y). Let q be b(0). Let v(k) = -9*k + 12. Is v(q) prime?
False
Suppose 409*t = 292*t + 140540634. Is t a prime number?
False
Let q = -313 - -319. Is (-1)/((-12)/42784) + 4/q a composite number?
True
Suppose 9*u + 93 + 294 = 0. Let g = u - -47. Is 1 + 981 + 4/g a prime number?
True
Is (-8)/20 + (-10)/(300/(-268182)) a composite number?
True
Suppose 3*a - 565 = 2*a - x, -4*a = x - 2272. Let i = a + 26. Let l = 1098 - i. Is l a composite number?
False
Let u = 4005736 + -2626079. Is u a prime number?
True
Let a = -85937 - -1501496. Is a a composite number?
True
Suppose 392*q - 385*q - 75915 = 0. Suppose 13*v - 81448 = -q. Is v a composite number?
False
Suppose -2*p = 18495 - 80307. Suppose -6*b + p = -1680. Is b composite?
False
Let l(y) = 5*y**3 + 4*y**2 - 2*y - 1. Let h be ((-24)/(-20))/(2/10). Is l(h) prime?
False
Let o(b) = -b**3 + 14*b**2 - 5*b - 19. Suppose 56 = 11*d + 1. Suppose d*a = 36 + 29. Is o(a) a prime number?
False
Let f = 25983 - 15583. Suppose -6*h + 3*h = 4*i - 8293, -3*h = -5*i + f. Is i a composite number?
True
Let t = -17 - -18. Let h be (-8277)/(-18) - ((-14)/12 + t). Suppose j = -j - 2, -5*j + h = 5*s. Is s a prime number?
False
Suppose 3*j - n - 6860 = 0, -3*j + 4*j = -5*n + 2292. Is j a prime number?
True
Let j(s) = 500*s**2 + 2*s - 7. Let g(l) = -l + 1. Let v be g(-15). Suppose -13*k - 9 = -v*k. Is j(k) composite?
True
Let k be (1 - 1)/(21/(-7) + 2). Let g be (-7 - -9) + k/(-2). Suppose 65 = g*h - 141. Is h composite?
False
Let w(k) = -1992*k - 5903. Is w(-51) a prime number?
False
Suppose -m = 7*t - 8*t - 18, -2*t = -4*m + 34. Let n be t + 0/(-1) - (24 - 21). Is (-1*11)/(n/1166) a prime number?
False
Suppose 83*i = -107*i + 39498910. Is i a prime number?
False
Suppose 8*g + 5*s = 478161, 39*s = g + 44*s - 59792. Is g composite?
True
Is (-132)/(-30) + 4/(-10) - -31879 prime?
True
Suppose 0 = 5*m + 480*a - 485*a - 2674255, 2*m - 1069702 = 3*a. Is m a prime number?
True
Let n(v) = 352604*v + 3011. Is n(3) prime?
False
Let z(l) be the first derivative of 25 + 31/3*l**3 - 13*l + 13/2*l**2. Is z(-11) composite?
True
Let q = 82 - 78. Suppose 0 = -2*x + 8, -14 = -q*m + 7*m - 5*x. Suppose 4*t - 186 = -m*v - 0*t, -333 = -4*v + 5*t. Is v prime?
False
Let a = 17427 - -10570. Is a composite?
False
Let z = 382789 + -132718. Is z prime?
False
Let m = -20481 - -59462. Is m composite?
True
Let s be -1*(-3)/(-6) - (-3626)/(-28). Is (-344620)/s + (-3)/(-39) composite?
True
Let q be 382/(-4 + 5) + -4. Suppose 127 = -5*g - q. Let k = g - -300. Is k composite?
False
Let h = -20 + 24. Suppose q + 5 - h = 0. Let a(j) = -107*j**3 - 1. Is a(q) a composite number?
True
Let k = 629 - -12060. Is k a prime number?
True
Let t(l) be the third derivative of 29*l**5/60 + l**4/8 - l**3/6 + 5*l**2 - 13*l. Let m be 6/21 - 23/7. Is t(m) a prime number?
True
Suppose 4*d = n + 2, -2*n + 5 + 1 = 2*d. Let g be (1 - -5)/3 + n + 3. Suppose -g*j + 708 = -3*j. Is j a prime number?
False
Let f(r) = 1369*r**2 + 15*r + 7. Let z be f(5). Suppose b - 6883 = -5*h, 6*b = b + 2*h + z. Is b a prime number?
True
Suppose 3*k - 5*f = 151466, 30*k = 31*k - 5*f - 50472. Is k a composite number?
False
Is (-14710164)/(-92) + (-34)/391 composite?
True
Suppose -18 = -3*s - 3*s. Suppose -s*d + 5*m = -11364, 0*d + 5*m - 18980 = -5*d. Suppose 3*k + k - 2851 = -3*t, 4*t - 3*k - d = 0. Is t a prime number?
False
Let i(j) = -1890*j**3 - 5*j**2 - 4*j - 14. Is i(-11) a composite number?
True
Suppose 8*d - 3*d + 2*w - 325759 = 0, -2*d + 130315 = -3*w. Suppose -d = -43*z + 32*z. Is z composite?
False
Let k(z) be the second derivative of z**5/4 + z**4/4 + 2*z**3 + 3*z**2/2 - z. Suppose 94*h = 90*h + 28. Is k(h) a prime number?
True
Is (11 + (-1628265)/(-30))*(-42)/(-9) composite?
True
Let s(h) = 5*h + 88*h**2 - 1 - 23*h + 192*h**2 + 62*h**2. Is s(9) a prime number?
True
Is (-10)/2 + 20*5601*(-36)/(-60) prime?
False
Let b = 5634 + -3359. Let w = 4568 - b. Is w prime?
True
Let o(q) = -q**3 - 6*q**2 - 20*q + 9. Let a(c) = -2*c**3 - 7*c**2 - 21*c + 9. Let g(m) = -5*a(m) + 6*o(m). Is g(5) prime?
True
Let y = 33311 - -33596. Suppose -4*s - 3*d = -y, 12 = 5*d - 9*d. Is s composite?
False
Let n(j) = j**2 + 8*j + 35. Let k be n(11). Let w = 1803 - k. Is w composite?
False
Let a = -60 + -353. Let f = 266 - a. Is f a prime number?
False
Let g = -22233 + 196270. Is g a composite number?
True
Let w(r) be the second derivative of -19*r**3/3 - 27*r**2/2 - 4*r. Suppose 87*i - 85*i = -22. Is w(i) a composite number?
True
Let d = -261514 - -689853. Is d a composite number?
False
Is (2/10)/((-163)/(-209811155)) a prime number?
True
Let d = 212249 + -149976. Is d composite?
False
Let m = 204 + -776. Let i = m + 1614. Is i prime?
False
Suppose -3*b + 59726 = -3*q + 226172, 0 = 3*q - b - 166456. Is q a prime number?
True
Is ((-166551)/(-56) + (-11)/88)*(-97)/(-2) a composite number?
True
Let a(t) = t**3 + 15*t**2 - 31*t + 53. Let p be a(-17). Suppose -5*g = -4*d + 23692, 0 = -4*d - p*g + 11964 + 11728. Is d a prime number?
True
Suppose a - l = 2203006 - 57034, a = 2*l + 2145973. Is a a composite number?
True
Let l = -80 + 139. Let f = -50 + l. Let x(z) = 72*z + 31. Is x(f) prime?
False
Let g(k) = -441*k - 11208. Is g(-121) a composite number?
True
Suppose 4*n + g - 27 = -2, 4*g = -n + 25. Suppose -3*r + k - 15 = 0, n*k + 1 - 16 = 3*r