Let r be ((-5)/20*-10)/(5/(-10)). Is (17240/(-15) - r)/(4/(-12)) a prime number?
True
Suppose 5*m = 0, 0 = -11*u + 16*u + m - 615955. Is u prime?
True
Suppose -40 = -m - 7*m. Suppose -4*j + 0*j + m*i = -541, -5*i = 4*j - 491. Suppose -2*p + j = 3*v - 70, -p = 2*v - 132. Is v a composite number?
True
Suppose 0 = -2*w + 2*z + 2315476, -3*w + 66*z = 65*z - 3473224. Is w prime?
False
Let m(v) = 21*v**3 + 30*v**2 + 9*v + 17. Let r be (-1)/((-4)/72*2). Is m(r) a prime number?
True
Suppose 2740 = 3*r + 47*r - 3010. Suppose 0 = -5*d - 158 - 32. Let l = r + d. Is l a prime number?
False
Let a(z) be the first derivative of -461*z**5/60 - z**4/24 - 8*z**3 - 18. Let t(h) be the third derivative of a(h). Is t(-1) a prime number?
False
Let r(k) = 13068*k**2 - 46*k - 51. Let a(p) = p**2 + 2*p + 1. Let n(q) = -4*a(q) + r(q). Is n(-1) prime?
True
Let j = -143 - -141. Is (j + 6/4)*-3886 prime?
False
Is (2565/108 - 24)*18472/(-2) a composite number?
False
Suppose -4*n - 13*n = -5*n - 2389164. Is n a composite number?
True
Suppose -3*f = -5*o - 4175, -4*f + 9*f = -o - 835. Let v = o - -231. Let t = v - -1013. Is t composite?
False
Suppose -3*f = -2*j - 452, -250 = 2*j + f + 218. Let s = 147 - j. Is s*(-5)/15*-3 a prime number?
True
Let n(c) = -19470*c + 5357. Is n(-16) a prime number?
False
Is (-1416)/(-1062)*(-1716483)/(-4) prime?
True
Let a be 54/21 + (-9)/(-21). Suppose -a*u + 23892 = u. Suppose 6*g - 4965 = u. Is g prime?
True
Suppose -21*r - 9*r + 130110 = -15*r. Is r a prime number?
False
Suppose 0 = 3*f - 4*l - 138539, -f - 2*l + 72868 = 26715. Is f a composite number?
True
Let t = -34 - -47. Suppose 0 = 3*b - o - t, 4*b - 3*o - o = 28. Suppose -b*h - 3*a + 45 = a, 3*h - 66 = 3*a. Is h composite?
False
Suppose 0 = -2*n - 3 - 49. Let d = -30 - n. Is 6/d*530/(-15) prime?
True
Suppose -2118 = 2*v - 2*t - 78, -5*t = -5. Let b = -553 - v. Is b a composite number?
True
Is (-31004655)/99*(-12)/20 composite?
False
Let k(z) = 2*z**2 + 8*z + 15. Let a(o) = -4*o**2 + 847*o - 3 - 27 - 863*o. Let y(j) = -4*a(j) - 7*k(j). Is y(-8) composite?
False
Let y = -8 - -5. Let v be (1541/y - -3)*-6. Suppose -k - 5011 = -5*n, 1967 = 5*n + 4*k - v. Is n a composite number?
True
Suppose 0 = 22*b + 5*b + 338040. Let f = -7937 - b. Is f a prime number?
True
Suppose 56 = 2*a + 40. Let w = a + 8. Is (-8)/w - (-107)/(-2)*-1 composite?
False
Suppose k = -880 - 1073. Let b = k + 3688. Is b composite?
True
Is (-93 - -91)/(2/(-55313)) prime?
True
Suppose 3*h - 4*h = 7*t - 893, -4*h = 12. Suppose 113*w = t*w - 6765. Is w composite?
True
Let f(s) = -s**3 - 11*s**2 + 27*s + 20. Let a be f(-13). Suppose -a*b + 123 = -1634. Is b a composite number?
False
Let i = 299841 + -105370. Is i prime?
True
Suppose -5*v = 4*b - 10*v + 208579, -4*b = 4*v + 208624. Let m = 76542 + b. Is m prime?
True
Let u(s) = -82817*s + 11. Let a be u(-1). Let w = -51741 + a. Is w prime?
False
Suppose -2*n - 37 = -5*t, -n - 3*t = 2*n + 3. Is 14188 + 9 + -2 - n a prime number?
False
Suppose j + 4*t - 11137 = 0, -79*j + 4*t = -84*j + 55589. Is j composite?
False
Suppose 2*h = -180 + 802. Let m be (4/(-24)*-86)/((-2)/(-6)). Suppose -6*f + m = -h. Is f composite?
False
Suppose 30 = -5*m - 4*k, 5*m - 2*m = 4*k - 18. Is (m/(6/(-1)))/((-3)/(-897)) a composite number?
True
Suppose 3*r - 4 = 29. Suppose -155285 = -r*c - 47584. Is c a composite number?
False
Let w(b) = 123*b**3 - b + 3. Suppose -6*x + 4 = -4*x. Suppose 0 = -g + 4*z + 14, -z + 3 + x = 4*g. Is w(g) prime?
False
Let z be 2 - 5666 - (-7 + 8). Let w = 10063 + z. Suppose -j + w = 5*l, 3*l + 4*j = 2*l + 891. Is l a prime number?
False
Suppose 0 = -r + 4*r + 21. Let b(i) = i**3 + 6*i**2 - 7*i - 10. Let f be b(r). Let y(s) = s + 31. Is y(f) a composite number?
True
Suppose -l - m + 47 = 0, l - 4*m - 188 = -3*l. Suppose 4*k = -4*p + 184, -3*k = p + 4*p - 230. Let r = p + l. Is r a prime number?
False
Is 16/24 - ((-1758925)/21 + -2) composite?
False
Let n(i) be the second derivative of 35*i**3/3 + 31*i**2/2 - i - 36. Is n(15) a prime number?
False
Let g = 2650 + 8967. Is g a composite number?
False
Let r(z) be the first derivative of 6*z**2 + 21 - 41 - 4*z**2 + 1603*z. Is r(0) a prime number?
False
Let l(f) = 1859*f**2 + 19*f + 214. Let q(b) = 372*b**2 + 4*b + 41. Let w(s) = -2*l(s) + 11*q(s). Let p(r) = -3*r**2. Let k be p(1). Is w(k) a composite number?
False
Let s be (-12)/30 - 37/(-5). Let l(g) = 573*g + 176*g - s + 58*g. Is l(4) a composite number?
False
Suppose 0 = 4*y + 4*i - 3340 - 324, 3*y = 2*i + 2758. Let w be y/(3/(-2)*1). Let r = w + 1169. Is r prime?
True
Suppose -2*m = 2*z + 12, 2*z - 2*m - 2*m = -42. Let k(f) = 47*f**2 + 23*f + 13. Is k(z) composite?
True
Suppose 34457 = v + 14*h - 15*h, 0 = -v + 4*h + 34457. Is v a composite number?
False
Suppose -5*m + 384191 = 94*o - 93*o, 0 = 4*m - 24. Is o a prime number?
False
Suppose 5*t - 6*x = -3*x + 56113, -2*t = 3*x - 22441. Suppose 29306 + t = 16*s. Is s a composite number?
True
Suppose 5*x + 2*q - 2 = 8, 3*x - 20 = -4*q. Let k(s) = s**3 - 3*s**2 - 12*s + 1 + 5*s**2 - 6 + x*s. Is k(6) a prime number?
True
Suppose -20*w = -9*w + 11*w - 1201222. Is w composite?
False
Suppose 0 = 25*c - 3698 - 1102. Suppose -2*s + 2*q = -c, -4*q + 0*q - 8 = 0. Is s a composite number?
True
Let u = 592 - -2141. Let t = u + -1293. Let p = 2689 - t. Is p a prime number?
True
Let z be ((-22)/(-110))/(2/(-10)). Let p = -19 + 13. Is z - p/(-1)*-31 a composite number?
True
Suppose 8*h = 5*z + 9*h - 201388, -4*h + 80566 = 2*z. Is z prime?
True
Let s(g) = 5 + 12*g - 27*g - 27*g. Let a(m) = -577*m - 1734. Let k be a(-3). Is s(k) a composite number?
False
Let j(d) = 4*d - 2. Let w be j(1). Suppose -2*k - w*k + 432 = 0. Suppose -1162 = -4*a - 5*f, -177 = -a - 4*f + k. Is a composite?
False
Let f = 16 + -21. Let q be (-17 + 1)*f/10. Suppose q*k - 11*k + 3831 = 0. Is k composite?
False
Let k = 72 - 68. Suppose -k*a - 476 = -3*a. Let r = 243 - a. Is r prime?
True
Let o = -82 + 98. Suppose -o*t - 266694 = -22*t. Is t prime?
True
Suppose -39*t + 137921834 = -3*t + 122*t. Is t prime?
True
Let r(y) = -5*y - 1842. Let v be r(0). Let f = -613 - v. Is f composite?
False
Is ((196/(-21))/7)/((-24)/4677390) a composite number?
True
Suppose 0 = 5*j - 34*x + 38*x - 824779, 0 = 5*j + 2*x - 824797. Is j a composite number?
False
Let s be 1 + ((-572)/(-55))/((-4)/(-30)). Suppose 2*p + f = -2*p + s, -2*p + 22 = 4*f. Is 20 - p - (-867 - 0) a composite number?
True
Let g = -228 + 315. Suppose 0 = -g*i + 79*i + 21752. Is i composite?
False
Suppose -671*z = 148776829 - 598187802. Is z a prime number?
True
Suppose -98*k + 14*k + 59394733 - 7846369 = 0. Is k a prime number?
False
Suppose -3*j - 2 = -5. Suppose -5*m + 3*p = 2, -3*m + 2*p = -0 + j. Is -3 + 1920 + m/(-2)*4 a composite number?
True
Let l(h) = 74839*h - 4925. Is l(13) composite?
True
Let y(t) = 7205*t**2 + 29*t + 26. Let x(j) = 3604*j**2 + 14*j + 13. Let s(v) = 13*x(v) - 6*y(v). Is s(-2) a prime number?
False
Let b(v) = -1764*v + 3901. Is b(-17) composite?
False
Is 6525981/33 + (3 - (1 - 0 - 0)) a prime number?
True
Let k(i) = -94*i - 45. Let a be k(-5). Let w = 1096 - a. Is w a composite number?
True
Let t = 457 + -452. Suppose -65549 = -6*d - t*d. Is d a composite number?
True
Let d(z) be the third derivative of 0*z + 0 + 29/6*z**4 + 5/3*z**3 - 11*z**2. Is d(12) composite?
True
Suppose -37*p + 989 = -5116. Suppose 2*h + 10 = 7*h. Is 5 + (-14)/h + p prime?
True
Let c = 9035 - 4994. Let a = -5 + 620. Suppose -a = 6*k - c. Is k prime?
True
Suppose -5*s + 2*i - 4625 = 10829, 0 = 4*s - 3*i + 12359. Let q = s - -15933. Is q prime?
True
Let x = 10285 - -9819. Suppose 6*b + 2710 = x. Is b a prime number?
False
Let w be ((-64)/(-48))/((-1)/(-3)). Suppose -4500 + 37088 = w*o. Is o a composite number?
False
Let q(v) be the second derivative of 63*v**4/4 + v**2 + 99*v. Is q(5) composite?
True
Let k(v) = v**2 + 18*v - 95. Let s be k(-22). Let x(c) = -10*c**3 + 4*c**2 - 24*c - 1. Is x(s) prime?
True
Let s(q) = q**2 + 12*q - 6. Let b = -41 + 53. Let f = -4 - b. Is s(f) a composite number?
True
Let q be ((-39)/(-5))/((-2)/(-10)). Let c = q - 37. Suppose n - 252 = d, -5*n = c*d - 1803 + 550. Is n composite?
False
Suppose -3*w + 16 = 4*a + w, -5*w = -10. Suppose -5*g - 1 = 4, 17131 = 3*x + a*g. Is x a composite number?
F