 5*n - 5*d, d - 3 = 0. Is n a composite number?
False
Let t = 7 - 10. Let y(m) = -m**3 - 2*m**3 - 8*m**3 - 3*m**3 + 1. Is y(t) composite?
False
Let t = -5 - -8. Suppose 0 = -p - o - t + 8, 4*p + o - 11 = 0. Suppose -2*g + 718 = 5*j, 2*j = g - p*j - 359. Is g a composite number?
False
Let r(y) = -y**2 + 2*y + 5. Let j be r(0). Suppose 2*l + 0*l + 5*u = 629, -j*l = 3*u - 1544. Is l prime?
True
Let f = 13 - 13. Suppose f*t + t = 134. Suppose -5*g = -4*d + 860, 0 = -5*d + 4*g + t + 941. Is d composite?
True
Suppose 0 = 16*m - 108610 - 160558. Is m prime?
True
Let n(m) = 364*m - 29. Let k be n(5). Let c = k + -1100. Is c a composite number?
False
Let n(w) = 27*w**2 + 4*w + 3. Suppose -2*a + 5*p + 16 = 0, -3*a - 2*p + 4 - 18 = 0. Is n(a) prime?
True
Let u = 18 + -16. Suppose u*m - 6 = 0, 3*z - 459 = 4*z - 4*m. Let q = 740 + z. Is q prime?
True
Is 3*(1 - 46928/(-21)) prime?
False
Let s(b) = 2*b**3 - b + 1. Let q be s(1). Let a(j) = 42*j + 84. Let l be a(-2). Suppose l = -2*w - z + 1785, 2*w + 4*z = -q*w + 3560. Is w a prime number?
False
Suppose 152*s - 2331 = 143*s. Is s a prime number?
False
Let b be (-334)/(-10) - 2/5. Let g = -203 + 214. Suppose -g - b = -2*t. Is t prime?
False
Suppose -206*i + 15 = -201*i. Let v be (-1)/4 - (-2)/8. Suppose 6*c - u = 2*c + 147, -3*u + i = v. Is c prime?
True
Suppose 5*v + 2*o = -515, 4*v + 2*o - 4*o + 430 = 0. Let w = v - -292. Is w a prime number?
False
Let k(b) = -b**2 + 13*b + 14. Let p be k(14). Suppose p*w + 3590 = 2*w. Is w a prime number?
False
Let d(w) = -8*w - 1. Let z be d(-1). Let x(g) = 7*g**2 + 7*g - 16. Let t be x(7). Suppose 0 = z*v - 999 + t. Is v prime?
True
Let m(d) = -d**2 - 11*d - 19. Let v be m(-8). Let k(g) = 174*g - 41. Is k(v) prime?
True
Let d(u) be the first derivative of u**3 - u**2 - 14*u + 19. Is d(7) a prime number?
False
Let z = 12990 + -2809. Is z a composite number?
False
Suppose -26351 = 2*w - 3*w. Is w composite?
True
Let w be (2 - 497*-2)*1/2. Suppose p + p - w = 0. Is p prime?
False
Let d(l) = 571*l + 140. Is d(11) a prime number?
True
Let r(x) = x**2 - 3*x - 4. Let s be r(4). Suppose -4*c - b + 64 = -249, c - b - 72 = s. Is c a prime number?
False
Let a(m) = -3462*m - 19. Is a(-5) a prime number?
True
Let z(u) = -u**3 + 15*u**2 - 33*u - 28. Let x(b) = -b**3 + 3*b**2 + 2*b - 7. Let q be x(4). Is z(q) a prime number?
False
Let d = -8 - -67. Is d a prime number?
True
Suppose -c + 0*c = 4*w - 23, 5*w - 31 = -2*c. Suppose w*o = 5*j - 3148 - 712, -3*j + 2356 = 5*o. Let g = 1108 - j. Is g composite?
False
Let x(q) = -q**2 + 8*q - 6. Let y be x(6). Let n(l) = 4 - 8 - 47*l + y*l. Is n(-9) a composite number?
True
Suppose -10*h - 45 = -h. Is (-20)/(-50) - (2458/h - 1) prime?
False
Suppose a = -2*a + 3*b + 33, -3*a = -b - 39. Suppose 3*y - 1 - a = 0. Suppose 6*z - 2*z - 487 = -y*c, -3*z + 366 = 4*c. Is z a prime number?
False
Suppose -23 = -5*r + 22. Let x be 282/(-9)*r/(-6). Let a = x - -442. Is a prime?
False
Let l(u) be the second derivative of -u**5/20 - u**3/6 - 4*u**2 - 10*u. Is l(-6) prime?
False
Let i = 78 + -85. Let j(d) = -d**2 + d + 84. Let z be j(0). Let u = z - i. Is u composite?
True
Suppose 0 = 3*i + 2*f - 37795 - 4364, 0 = 3*i + 4*f - 42165. Is i composite?
False
Let k = 402 - -82. Let a = 705 - k. Is a a composite number?
True
Let x = 13065 + -3364. Is x prime?
False
Suppose -2*m + 8 - 4 = 0. Let v = 13 - 11. Suppose 0 = -m*j - v*j + 508. Is j a composite number?
False
Let x be 1 + ((-6)/2 - -4). Suppose 2*h = h + k + 273, -x*k = h - 288. Suppose 4*t + 2*b - h = 0, 0 = 3*t + b - 5*b - 181. Is t prime?
True
Let x(w) = 2 + 4 - 3 - 2425*w - 2. Let l be x(-3). Is l/6 - (-10)/30 a prime number?
True
Is 212/(-6)*7/(70/(-795)) prime?
False
Suppose -30994 = -20*a + 155546. Is a a prime number?
False
Let a(o) = -o - 1. Let g(i) = -32*i + 1. Let f(v) = 3*a(v) - g(v). Let m be 62/6 + (-16)/12. Is f(m) a composite number?
False
Suppose -4*j = -3*k + 14291 - 754, -5*j = -3*k + 13541. Is k a composite number?
False
Let b(x) = -4*x**2 - 2*x + 2 + 0*x + 5*x**2. Let p be b(3). Suppose -p*u + 201 = -194. Is u a prime number?
True
Suppose 54718 = x - 5*o + 2*o, -273560 = -5*x + 5*o. Is x a composite number?
False
Let t = 78809 + -44488. Is t prime?
False
Suppose 36*i - 6702 - 138 = 0. Suppose 0 = 2*l - 10, -w - 64 = -l + 2*l. Let u = w + i. Is u composite?
True
Let c(j) be the first derivative of 785*j**2/2 + 2*j + 15. Is c(1) a composite number?
False
Suppose -151065 = -3*k - 4*r, -5*r = k - 3*r - 50353. Is k a prime number?
True
Let w = -48 - -44. Is (-2976)/(-6) + 1 + w a prime number?
False
Let i = -2224 - -4214. Is i/8 + (-8)/(-32) a prime number?
False
Is 46681/3 + ((-11)/33 - 1) composite?
False
Suppose 15862 = -5*w + 54257. Is w composite?
True
Let n(g) = 0*g - 3*g - 7 + 72*g**2 + 3 + 4*g. Let f(i) = -i**2 + 18*i - 20. Let h be f(17). Is n(h) a composite number?
False
Suppose -n + u + 8573 = 0, 9*u = n + 4*u - 8581. Is n composite?
True
Let t = 241 + -128. Is t a prime number?
True
Is -8 + -5 + 7 - 41412/(-3) a prime number?
False
Suppose -u + 5*l - 8 = 0, 2*u = l + 3 + 8. Let r(o) = o - 3. Let n be r(u). Suppose -3*d = m + n*m - 435, 5*m = -2*d + 435. Is m composite?
True
Is (-1)/(-5) + 22784/40*3 a prime number?
True
Suppose -25*w + 309658 = -515167. Is w composite?
False
Suppose -8*a = -10*a + 32. Suppose 0 = -18*b + a*b + 868. Suppose 0 = -0*v + 2*v - b. Is v a prime number?
False
Is (-3 + 5)/(-6*2/(-2292)) a prime number?
False
Suppose -1768 = 4*j - 40820. Is j a composite number?
True
Let q(o) = -448*o - 13. Suppose 5*a + 60 = -5*c, 6*a + 32 = a + 2*c. Is q(a) composite?
False
Let t be (-458)/(-14) + -4*4/(-56). Let v = t - -1148. Is v prime?
True
Let a = 1254 - 709. Suppose 68 + a = 3*l - 5*c, -4*c - 828 = -4*l. Is l composite?
False
Is 150/125 - (-128678)/10 a composite number?
True
Let c(n) = n**2 - 18*n + 32. Let t be c(16). Suppose t*m - 613 = -m. Is m composite?
False
Let z(k) = k**2 + 11*k - 8. Let o be z(-12). Suppose -2*c - 5*w = -0 - o, 0 = -3*c - 4*w + 6. Suppose 3*y + c*y - 5*f = 1535, -y + 2*f + 307 = 0. Is y prime?
True
Suppose -2*d - 5*k = -22059, 3*d - 19849 = -5*k + 13237. Is d composite?
False
Let y(u) = 550*u + 3. Is y(4) a composite number?
False
Let g = -32 - -22. Suppose 56*w = 49*w + 44310. Is (w/(-75))/(4/g) a prime number?
True
Let a = -280 + 455. Suppose 2*f - 4*v - 120 = -0*v, -3*f + a = -v. Is f a prime number?
False
Let n(f) = 4*f - 24. Let m be n(5). Is 3/3*-2*1882/m a prime number?
True
Let c(z) = 2*z + 11. Let o = -25 - -25. Suppose 9*u - 12*u = o. Is c(u) prime?
True
Let q(y) = 164*y - 3. Let a be q(-2). Let m = 834 + a. Is m a prime number?
True
Suppose 52*s + 11080 = 53*s. Suppose -b - 7*b + s = 0. Is b a composite number?
True
Suppose -709*m + 705*m + 124028 = 0. Is m composite?
True
Let q be ((-3)/6)/((-4)/(-3568)). Let k = q - -725. Suppose -d + 870 = k. Is d a prime number?
False
Let s be (-1 + -100)*-1*(10 + 5). Let y = -974 + s. Is y composite?
False
Let d(p) = 50*p**2 - 2*p + 1. Let a be (-2 + 3)/(2/6). Let g be d(a). Let q = g + 142. Is q prime?
True
Suppose -p = 3*g - 3668, 0 = 2*g + 2*p + 2*p - 2442. Let m = -865 + g. Is 1/(((-7)/m)/(-7)) a prime number?
False
Let f = -22 - -24. Is -53*((2 - 9) + f)/1 a prime number?
False
Suppose a = -a - 70. Let s be a/(-7) - (1 + 2). Suppose -4*l + 0*h + h = -120, 0 = s*l + 5*h - 82. Is l a composite number?
False
Suppose 0 = -13*p + 2*p + 28490. Suppose 5*u - 2*t - 3241 = 0, p = 4*u - 3*t - 0*t. Is u prime?
False
Let n be (-87)/(-6)*(-4)/2. Let v = n - -21. Is (-2)/v + (-7026)/(-24) prime?
True
Let z(n) be the third derivative of 1/24*n**4 - n**2 - 1/60*n**5 + 163/6*n**3 + 0 + 0*n. Is z(0) prime?
True
Let l be 1 + -120 + 0/(-2). Let r be (-9)/(-15) - 1233/5. Let y = l - r. Is y a composite number?
False
Let s(g) = 251*g - 2. Is s(17) composite?
True
Is 745 - 5 - (0 - 5) a prime number?
False
Let a = 26 + -16. Let c = -1911 + 22756. Is ((-2)/a)/((-11)/c) prime?
True
Let c(t) = -t**2 - 20*t - 79. Let l be c(-6). Suppose -4*s - 548 = -2*f - 2548, s - 482 = l*f. Is s prime?
False
Let y(t) be the second derivative of t**3/6 - t**2 + 7*t. Let f be y(4). Is 2216/14 - f/7 a prime number?
False
Let t = 7063 + -3302. Is t a composite number?
False
Let m(f) = 57*f**2 - 4*f + 1. Let n be m(4). Suppos