*2 - 9*a - 16. Let i be (-4)/(6 + (-25)/5). Let v be f(i). Suppose v*t = -12, 16*z + 5*t + 173 = 17*z. Is z composite?
True
Let u = -2511 - 255. Let z = 1933 - u. Is z a composite number?
True
Is (54/36)/(3/3386) a prime number?
True
Let t(y) = 32*y**2 - 16*y + 25. Suppose 104*d = 98*d + 42. Is t(d) a composite number?
False
Suppose 4*s - 5*s = -15. Suppose -s*v - 1480 = -2*o - 17*v, 4*o - 3*v = 2953. Is o prime?
True
Suppose -102*r + 46305405 = 33*r. Is r composite?
True
Let i(h) = -32*h + 6. Let w = -38 + 62. Suppose 5*p + w = -1. Is i(p) composite?
True
Let s be 7 + (-416)/(-56) + 3/(-7). Is (s/21)/((-4)/(-4506)) composite?
False
Is (39/52)/((-12)/(-21124816)) composite?
False
Is -450745*(1 - (-60)/(-50)) a prime number?
True
Suppose -4*r = -46888 - 103060. Is r a prime number?
False
Suppose -3*h - 1306 = -4*p, 2*p + 4*h - 1292 = -2*p. Let n = 1912 + p. Is n composite?
False
Let z = -2644 - -69365. Is z a composite number?
False
Let x = 233886 - 18872. Is x a prime number?
False
Suppose 364*q = 7825450 + 24102082. Is q a composite number?
True
Suppose 0 = -o + 4, -5*o = -8*w + 10*w - 364. Suppose -170*r = -w*r - 74. Is r*(-51)/(-6)*-2 a composite number?
True
Let n = 124 - 119. Suppose -n*r - 11*o + 18210 = -8*o, -o = 2*r - 7283. Is r a prime number?
False
Suppose 4*q = 3*i - 466, 0 = 4*i - 0*q - 4*q - 628. Suppose -5*z - t + 312 + 428 = 0, -573 = -4*z + 3*t. Let v = z + i. Is v prime?
False
Suppose 0 = -125*r + 120*r - 2*z + 539899, r - 2*z = 107987. Is r prime?
True
Let u = 51680 + -30033. Is u a composite number?
False
Suppose 2*m = -m. Let u = 155 - 155. Suppose u = k - m*k - 157. Is k composite?
False
Let l(a) be the third derivative of 11*a**8/20160 - a**7/5040 - a**6/720 + 11*a**5/60 + 21*a**2. Let j(s) be the third derivative of l(s). Is j(-6) composite?
False
Suppose 2*y + 0*g - 5*g - 451396 = 0, -4*y + 902848 = 4*g. Suppose 24*q = 12*q + y. Is q a composite number?
True
Let s(r) be the second derivative of -19*r**5/20 + r**4/3 - r**3/2 + r**2/2 + 83*r. Is s(-6) prime?
False
Let g(v) = v**2 + 11*v - 177. Let c be g(-20). Is 273/182*9070/c a prime number?
False
Let s(i) = -1588*i**3 - 3*i**2 - 4*i - 2. Let v be s(-1). Let n = 2428 - v. Is n prime?
False
Let b be (76/(-266) - (-277)/14)*18. Suppose -29906 = -353*l + b*l. Is l a prime number?
False
Let c(k) = -84*k - 15. Let l be (-3)/((-3)/1 + 210/56). Let t be c(l). Suppose 5*i + t = 3376. Is i a composite number?
True
Suppose 0 = 4*k - 12. Suppose w = k*w - 18. Is (-12)/w - 1695/(-9) prime?
False
Let s(p) = 2*p**3 - 38*p**2 + 45*p + 11. Is s(20) a prime number?
False
Let x(p) = -p**2 + 23*p - 31. Let z be x(30). Let g = z - -320. Is g composite?
False
Is 11554125/7 - -2*(-4 + 27/7) prime?
True
Suppose -13*d = -8*d + 45. Let b = d + 14. Let k = b - -28. Is k a prime number?
False
Let x(y) = 6817*y**2 - 19. Let c be x(4). Suppose 2*l - 4*o - c = -3*l, -5*o + 15 = 0. Suppose 5*u - 2*u = l. Is u prime?
False
Is (0 - 6)/(2064/(-5851784)) a prime number?
True
Suppose 0 = 2*n - 2882 + 848. Suppose 10*w = 7817 - n. Let x = 1881 - w. Is x prime?
True
Suppose -4*z = -2*n + 379280, 30*n - 28*n + 2*z - 379298 = 0. Is n a prime number?
False
Let a be 109/2 + 1/(-4)*-2. Let r = -49 + a. Is (-47671)/(-39) + (8/r)/2 a composite number?
False
Suppose f - 3*f + p + 30 = 0, -82 = -5*f - p. Suppose -4*j + 2*j - f = -4*z, 5*z = 4*j + 17. Suppose -j*g + 335 = 3*g. Is g composite?
False
Let j(b) = 7*b**3 - 24*b**2 + 39*b - 131. Is j(15) a composite number?
False
Let l = 86 - 351. Let f = l - -486. Suppose -1563 - f = -8*d. Is d prime?
True
Let s(f) = 2678*f - 863. Is s(14) a composite number?
False
Let x(f) = -5 - 6 + 2*f - 7*f + 14*f + 4 + 8*f**2 + 25*f**3. Is x(4) prime?
False
Let n(b) be the first derivative of b**4/4 + 31*b**3/3 - 11*b**2/2 - 48*b + 69. Suppose 54 + 70 = -4*r. Is n(r) a composite number?
False
Suppose 3*j - 4*j = -4*b - 1903, b = 5*j - 9610. Let d be (2861819/(-985) - 2/20)*(-4)/3. Suppose -v = -0*v - 4*n - j, -2*v = -n - d. Is v a composite number?
True
Let y be 232/48 + 13/6 + -2. Suppose -37713 = -3*w - 35*r + 40*r, -2*w + y*r + 25142 = 0. Is w a composite number?
True
Suppose -4*p - 12 - 21 = -5*z, z - p = 6. Suppose z = i + 2*i + 3*c, 0 = i - 2*c - 9. Suppose 3*y - 1978 = -i*b, -b - b + 3*y = -787. Is b a prime number?
False
Let y(q) = 13*q**2 - 33*q + 21. Let m(a) = 6*a**2 + 10*a - 24. Let d be m(2). Is y(d) a composite number?
False
Suppose -3*f - 4*d - 11970 = -6*f, f = -5*d + 3990. Is 2/(f/3985 - 1) composite?
True
Suppose -r + 172131 = -28*g + 26*g, 172137 = r - 5*g. Is r prime?
True
Let h(w) = -36*w - 9. Let c be h(5). Let a = 392 - c. Is a a prime number?
False
Suppose 0 = -246*u + 248*u + 150. Is 18/225 + (-15369)/u composite?
True
Is (5 + -77672)*(8 - 275/33) composite?
False
Suppose k - 13 - 99 = 4*u, 3*k = -3*u - 84. Let c = -36 - u. Is (c + 9)/((-2)/(-1446)) a prime number?
False
Let y be 3*(-4)/((-24)/2). Let p(n) = 2 + 10*n - 11*n + 7481*n**3 - y. Is p(1) composite?
False
Let p(a) = 238*a**2 - 301*a - 178. Is p(35) a composite number?
False
Let l be (14/28)/((-34)/36 + 1). Suppose -42000 - 22089 = -l*y. Is y a composite number?
False
Suppose 756 = 20*t - 2*t. Suppose 3*h - t = 15. Is h a composite number?
False
Let h(o) = -o**2 + 35*o - 168. Let s be h(17). Is 3748/6*207/s composite?
False
Let o(r) = r**3 - 39*r**2 - 181*r - 358. Is o(77) a composite number?
False
Let o = 100993 - 48560. Is o a composite number?
False
Is (-107 - 2)*(-4 - -5)*-79 a prime number?
False
Let b(c) = 31482*c + 703. Is b(9) a prime number?
True
Suppose 7*f + 175 + 91 = 0. Is -1 - (1125/4)/(f/1824) a prime number?
True
Let m(o) = o**2 + 7*o + 8*o - 38 + 6*o**2 + 5*o**3 - 23. Is m(6) prime?
True
Is -16015*(1 - (-20)/25 - 2) composite?
False
Let f = -531 - -534. Suppose 3*g - 2*o - 52329 = -20386, -o - 31945 = -f*g. Is g prime?
False
Let q be 6/(4/(-1) + 5). Suppose 5*b + a - 17105 = 0, -a + q*a = -b + 3421. Is b composite?
True
Let h(i) = 424*i + 11. Let y(r) = -419*r - 22. Let w(z) = 4*h(z) + 5*y(z). Let g be (-4)/(-6) + (-94)/6. Is w(g) a composite number?
True
Suppose 0 = 2*w - 3*h - 23, w + 30 = 6*w - 2*h. Suppose w*c - 1944 = 1084. Is c prime?
True
Let i be (-5)/(-2)*(-24 + 22). Let y(x) = 29*x**2 - 7*x - 21. Is y(i) a prime number?
True
Suppose 7*c - 356 + 384 = 0. Is (-3326)/c*-2*-5 prime?
False
Let i = 816925 + -298692. Is i composite?
False
Let r(s) = -5*s - 11. Let w be r(-5). Let c be (-2)/(-4) - (-21)/w. Suppose 5*f = c*m - 3*m + 1659, -f + 4*m + 315 = 0. Is f a composite number?
False
Let n(u) = 7*u**3 + 8*u**2. Let m(k) = 8*k**3 + 9*k**2 + k + 1. Let o(r) = 6*m(r) - 7*n(r). Let d be o(-3). Is (-7)/(-21) + (-1760)/d prime?
True
Suppose -246*o - 267*o + 3186504 = -477*o. Is o prime?
False
Let y(l) = 19913*l**2 + 70*l - 97. Is y(-6) a composite number?
False
Let y = -328 - -322. Suppose -1 + 73 = -4*i. Is (-1593)/i*(-44)/y prime?
False
Let w(c) = 3*c**2 - 2*c + 303. Let o = -337 - -337. Is w(o) a prime number?
False
Suppose 0 = 47*w - 583380 + 17641. Is w composite?
False
Suppose 23*g - 19*g + 2256 = 0. Let s = g - -1117. Is s prime?
False
Suppose -17 = 4*m + s - 0*s, -8 = 4*m + 4*s. Let q be -453 - (5/m + -3). Let o = -96 - q. Is o a prime number?
True
Let k(z) = 5*z + 50. Let y(m) = -m**3 - 20*m**2 - 10. Let t be y(-20). Let v be k(t). Suppose 0 = 2*d - v*d - 438. Is d a composite number?
True
Let s(x) be the second derivative of x**4/12 + x**3 - 42*x**2 + 48*x. Is s(9) a prime number?
False
Suppose 4*o - 3*o = 845. Suppose n = -o + 2993. Suppose -n = -4*r - 2*r. Is r composite?
True
Suppose -19 = -5*r + 6. Suppose -r*m = 2*v - 32463, 0 = -3*m + 3*v + 13243 + 6218. Is m composite?
False
Suppose 60 = 152*v - 158*v. Is (-1310)/(-4) + 105/v + 9 prime?
False
Suppose -2*g = -3*h - 13, g = -4*h - 2*g - 40. Let y be 1*(9 + h)/((-2)/(-5)). Suppose 0*w + 3850 = y*w - 5*u, 3854 = 5*w - u. Is w a composite number?
True
Suppose 34*l - 37*l = 5*s - 30999, -5*l - 18579 = -3*s. Let d = s + -2300. Is d prime?
False
Suppose 8*z + 2*t = 4*z, 4*z - 2*t = 0. Suppose -5*m - 3*l + 4280 = z, 2592 = 3*m - l - 2*l. Let a = -8 + m. Is a a prime number?
False
Suppose 0 = u - 2*i - 1, -1 = u - i - 3. Suppose 2*w = -u*c + 46252, 2*c - w - 30839 = 2*w. Is 18/99 - c/(-22) prime?
True
Let z(u) = -2*u**2 