 -5*v = -b*v - 1847. Is v a prime number?
True
Suppose -4*j = -1476 - 728. Let r = j - 52. Is r a composite number?
False
Let d = -1192 - -1683. Is d a composite number?
False
Let b be ((-15)/3)/((-4)/(-60)). Is 960 + (b/3)/5 a composite number?
True
Let f be (2 - 5)*3*(-4)/(-36). Is 854 + 0 + ((-1)/(-1))/f composite?
False
Let f(l) = 2*l**3 - 2*l**2 - 9*l - 6. Suppose 4*a - a + 4*u + 1 = 0, 3*a = u + 19. Is f(a) prime?
True
Let o = 2625 + -1124. Is o a composite number?
True
Suppose 6*c = 1412 + 1396. Let o = -19 + c. Is o a prime number?
True
Let f be 72*(7/(-42))/(1/(-8)). Suppose 0 = -3*v - f + 957. Is v prime?
False
Suppose -n + 2*n = -3*p + 6213, 2*p - 4142 = n. Suppose 3*t - 1548 = -3*m, 4*t = -2*m + 5*m + p. Is t prime?
False
Suppose 3*q - 1512641 = -20*q. Is q a prime number?
False
Suppose 263*q - 2*f = 261*q + 405090, -607659 = -3*q - 3*f. Is q composite?
False
Suppose m + 4*d - 11267 = 0, 8*d = -2*m + 4*d + 22550. Is m a prime number?
False
Suppose 10*z = 8*z + 4. Suppose 5*o - 1561 = z*o - 5*c, 4*c = -4*o + 2076. Is o composite?
True
Suppose -16 = -2*v + 2*u, v - 4*v - 2*u = -29. Let s(o) = -v*o - 3 - 4*o + 2*o. Is s(-2) a composite number?
False
Let y = 388 + -553. Let r = 33 + -34. Is 1*-3 - (r + y) composite?
False
Is (-9)/6 + 8/(-48)*-46911 prime?
True
Let g(c) be the third derivative of -c**5/60 + 7*c**4/24 - c**3/2 - 5*c**2. Let j be g(6). Suppose -j*s - 77 = -4*s. Is s composite?
True
Let a(f) = f**2 - 2. Let w be a(2). Let o be (0/w)/(1 - -1). Suppose o = l - 0*l - 49. Is l composite?
True
Let u be ((-16)/6)/((-34)/51). Suppose -2*s + 3*w = -3*s + 216, 779 = u*s - 5*w. Is s a prime number?
False
Let v = -1639 + 9857. Suppose 0*s = 2*f + 2*s - 4112, 2*s = -4*f + v. Is f a prime number?
True
Is (5/(-25))/((-3)/23745) prime?
True
Let a(x) = -5*x**3 - x**2 + 1. Let p be a(-1). Suppose 0 = -p*i - d + 1984, 2*d + 1586 = 4*i + 4*d. Is i a composite number?
False
Suppose 0 = 3*x - 6*x + 12. Suppose 4*b = r - 4, 2*r = -x*b - 5 + 13. Suppose 0 = 2*u - r*u + 30. Is u a prime number?
False
Suppose -4*j + 5828 = 3*r - 9*j, 0 = 3*j - 15. Is r a prime number?
True
Let y = -47105 + 69406. Is y composite?
True
Let i(t) = -5*t + 1 - 1 - t - 11. Is i(-15) a prime number?
True
Suppose -2*s + 3*r = -257776, -107*s + 2*r = -104*s - 386669. Is s a prime number?
False
Suppose -3*h = -0*p + 4*p + 2, 3*p = 2*h - 27. Let x be (-1 + -1)/(h/(-627)). Let w = -122 + x. Is w composite?
True
Let x be 6/(-3 + 1) - -3. Suppose -4*r + 81 = -0*r - c, 5*r - 70 = -5*c. Let w = r - x. Is w a composite number?
False
Let k(h) be the first derivative of -2*h**3/3 + 3*h**2/2 + 13*h + 1. Let n be k(9). Is (n/(-4))/((-1)/(-6)) prime?
False
Let q(o) = o**2 - 16*o + 63. Let s be q(10). Suppose 0 = -4*y - 2*p + 586, -s*y + 313 = -y - 3*p. Is y a prime number?
True
Let x be 4682/4 - (-6)/36*-3. Suppose -4*p = -2*p + j - x, -4*j - 603 = -p. Is p a composite number?
False
Suppose -s = -3*h - 3562, 0*s - h + 10716 = 3*s. Is s a prime number?
True
Let d = -10 - -5. Let r = 79 + d. Is (-6)/4*r/(-1) a prime number?
False
Suppose 0 = 5*o - 15, -o - 13 = -5*y + 9. Suppose 249 = -4*b + 5*p + 5264, 0 = y*b + p - 6276. Is b a prime number?
False
Let g = -1 - -5. Let x be 2/g*14/(-1). Is -2*((-1876)/(-8))/x a composite number?
False
Let a be (8/(-12) + 1)/(1/9). Suppose b + 819 = 5*c, -3*c + c + a*b = -338. Is c prime?
True
Suppose 0 = 29*z + 20*z - 1250627. Is z a prime number?
True
Let c(t) = -t**2 - 18*t - 16. Suppose -85 = 5*q + 4*l, 2*q = 3*q + 3*l + 28. Is c(q) composite?
True
Suppose 0*k = k + 30004. Is k/(-22) - 3 - 4/(-22) a prime number?
True
Let h = -2 - -4. Suppose -1 = -2*s + 5, h*s = -n + 6. Suppose -u = -n*p + 2*p - 139, 5*p - 4*u - 341 = 0. Is p composite?
True
Let p(a) = -745*a**3 - 3*a**2 - 6*a - 3. Let u be p(-2). Suppose 8*i - u = i. Is i prime?
False
Suppose -4*q + 6754 = -m + 6*m, 0 = 3*m - 4*q - 4078. Let o = -443 + m. Is o prime?
True
Let d(o) be the second derivative of -o**4/12 + o**3/2 + 1847*o**2/2 - 7*o. Is d(0) a prime number?
True
Suppose 3*u = 2*t + t - 3, -t = -3*u - 11. Is -1 + t/2 - -320 prime?
True
Suppose 3*v - 5*l = 5*v - 4188, 3*v - 5*l - 6232 = 0. Suppose v = 4*w + 5*t, 0 = -8*t + 4*t. Is w a composite number?
False
Let y(p) = 2*p**3 + 3*p**2 - p - 3. Let v be y(3). Suppose -4*o + 53 = -v. Is (-1 + (2 - o))*-1 a composite number?
False
Let j be 0 - (0 + (1 - 3)). Suppose 2*c + j*u - 16 = -0*u, u + 7 = 4*c. Suppose y - 133 = -3*m, 2*m - 195 = -c*y + 176. Is y a prime number?
False
Suppose 4*w + 451 = 4*a - 3*a, -5*a + 2237 = -2*w. Suppose -4*x = a + 977. Let n = -225 - x. Is n prime?
True
Let i(n) = 13*n - 15. Let j be i(8). Let w = -60 + j. Suppose 0 = g - 5*r - w, 0 = -3*g - 3*r + 17 + 142. Is g composite?
True
Suppose 2*a = 3*m - 61157, -3*m + 3209 + 57963 = a. Is m a prime number?
True
Is ((-87)/(-15))/((-3)/(-1335)) composite?
True
Let v be (1 - 0)/(-5) + 198/90. Is 104/2 - (-5 + v) a composite number?
True
Let b(x) = x + 24. Let s be b(-19). Suppose 5*g = 4*w + 2558, 2*g = -0*g + s*w + 1013. Is g prime?
False
Let j = 99141 - 42652. Is j prime?
True
Suppose -u - 4*g = 3, 2*g + 6 = 2*u + 4*g. Is (-21108)/(-10) - (-1)/u composite?
False
Let d(y) = -589*y + 16. Is d(-10) composite?
True
Suppose -39*i + 44*i = 51105. Is i a prime number?
False
Suppose -152*n + 141*n = -206569. Is n a prime number?
False
Suppose 2028 = -4*p - 4*t, 3 - 5 = -t. Let s = p + 714. Is s composite?
True
Let r(a) = 140*a - 1. Suppose 14 = 4*t - 22. Is r(t) a prime number?
True
Let q = -106 + 116. Is (1 - 22)/(34/q + -4) composite?
True
Let r(w) = 11583*w + 431. Is r(14) prime?
True
Suppose -4*p + 19 = -1, 3*c - 10 = -2*p. Suppose c = 5*r - 4011 - 2124. Is r a prime number?
False
Let k = -379 - -202. Let x = k + -29. Let p = 257 - x. Is p a composite number?
False
Is (4 - 38973/5)*55/(-11) a prime number?
True
Let p(z) = 6*z**2 - 2*z - 21. Let x = 14 + -7. Is p(x) a prime number?
False
Suppose -4*j + 1416 = c, -c - 5664 = -5*c + 4*j. Let n = c + -495. Is n a prime number?
False
Suppose 0 = -f + 5, -l + 5*l - 39 = -3*f. Suppose 0 = -l*c + 170 + 1336. Is c composite?
False
Let a(u) = -1195*u**2 - 12*u - 1. Let p(j) = 1793*j**2 + 18*j + 2. Let o(i) = 7*a(i) + 5*p(i). Is o(-2) a composite number?
True
Suppose -7*k = -24*k + 21454. Is k a composite number?
True
Let k(r) = -r**3 + 7*r**2 + 2*r + 5. Let d(z) be the first derivative of z**3/3 - 13*z**2/2 - 7*z + 5. Let m be d(14). Is k(m) composite?
False
Suppose -4*m - 7 = -3, -2*c = -4*m - 17130. Suppose -3*t = -c + 3286. Is t a composite number?
False
Let f be 6*((-38)/30 + 33/55). Is f/(-14) - 150/(-14) composite?
False
Suppose -36 = j - 5*j. Let s be 158/(-6) + (-6)/j. Let h = s + 48. Is h composite?
True
Let g(u) = 8*u**2 - u + 2. Let p be g(9). Suppose -2*f = -5*q + 1529, -f - 4*q - 143 = p. Let z = -539 - f. Is z a composite number?
False
Let u(r) = r**3 - 3*r**2 - 5*r + 7. Let p be u(9). Suppose -2*d - p = -4*i, 575 = -i + 6*i + 5*d. Is i a composite number?
False
Let f = 11 + -7. Suppose 223 + 166 = -2*g + n, g = -f*n - 217. Let v = -110 - g. Is v prime?
False
Suppose -34 + 10 = -4*o. Suppose q = -2*p + o*q + 11, 4*p - q = 13. Suppose -2*w = p*w - 325. Is w a prime number?
False
Suppose -3*r + 24 - 163 = k, 3*k + 445 = -2*r. Let u = k + 220. Is u a composite number?
True
Let f be (-6)/(-4)*1/((-6)/(-8)). Is f/(-7) - (-4473)/49 composite?
True
Let x(u) = 395*u**3 - u**2 - 2*u + 2. Suppose 5*p + 7 = -0*p - 4*m, -3*m = -4*p + 13. Is x(p) prime?
False
Suppose 0*x = -4*x - 176. Let f = -22 - x. Is (f/((-4)/2))/(-1) prime?
True
Suppose -2*x + 4*x + 4 = 0. Let w(t) = 2*t - 1. Let b be w(x). Let a = b - -27. Is a prime?
False
Suppose 44648 = -8*a + 144720. Is a a composite number?
True
Is ((-1)/2*2)/((-1)/2217) a prime number?
False
Suppose 842 = 2*d - 5*f, 3*f = -20 + 8. Suppose 6*i = 855 + d. Is i a composite number?
False
Is ((-24)/(-30))/(-2) - (-13041)/15 prime?
False
Let i(u) = 2945*u**2 - 9*u + 15. Is i(3) composite?
True
Suppose 1789 = -3*l - 1358. Suppose -5*j - 854 = 1186. Let i = j - l. Is i a composite number?
False
Is (-2)/2 - (-27 + -6885) a composite number?
False
Suppose 6*n + 9*n - 30105 = 0. Is (1 - 0 - 0)/(9/n) a composite number?
False
Suppose 0 = -2*j - 4*v + 11958, 3*v = 3*j - 20070 + 2088. Is j a com