e 3*y + 4*n = 77 + 738, 1080 = t*y + 4*n. Is y a composite number?
True
Let v(s) = -s**2 - 2*s + 3. Let m be v(-7). Let a = m - 44. Let o = a - -217. Is o a prime number?
False
Let c = 1371 + -272. Is c a prime number?
False
Is (1181/4)/(18/504) prime?
False
Let l = -2245 + 1318. Let p = 2582 + l. Is p composite?
True
Let t(n) = -46*n**3 + 1. Let p be t(1). Let f be 300/p*(-6)/8. Suppose f*i - 913 = 262. Is i a composite number?
True
Suppose -9781 - 14554 = -5*i. Is i a composite number?
True
Let a = 3319 - -2572. Is a prime?
False
Suppose z = 4*t + 2*z - 36, 5*t - 60 = -5*z. Let l be ((-36)/t)/(3/(-8)). Is (l/(-18))/(4/(-1146)) a composite number?
False
Let t(o) = -19*o**2 + 1 + 20*o**2 - 2 - 7*o. Let m be t(6). Let l(g) = g**3 + 8*g**2 - 5*g - 7. Is l(m) a composite number?
True
Let a be (-2)/(-11) + 35/(-11). Let v(n) = -1758*n - 13. Is v(a) a prime number?
True
Suppose -f = -u + 3 + 3, 0 = 4*u + 5*f - 15. Is 1968 - (-7 - -4) - (u + -3) a composite number?
True
Let m(q) = -1. Let t(z) = z**3 + 10*z**2 + 2*z + 3. Let f(o) = 2*m(o) + t(o). Let a be f(-6). Suppose -h = 3*h + v - 517, -4*v = h - a. Is h a prime number?
False
Suppose 22*n - 78023 = 11*n. Is n a composite number?
True
Let c = -14 + 16. Suppose -6*h - 915 = -x - c*h, 2*x - 1839 = -h. Is x a composite number?
False
Suppose 11 = 3*s + 5. Suppose -s*d + 448 = -3*q + q, 2*q + 667 = 3*d. Suppose -90 - d = -3*k. Is k a composite number?
False
Suppose d = -g + 413, -g = -3*d + 816 + 403. Suppose -2*s + d = -674. Is s a composite number?
False
Suppose -2*v + 17385 + 4441 = 0. Is v a composite number?
True
Let x = -19 + 21. Suppose -144 = 3*k + k + x*d, k + 36 = -d. Is (-9)/k + (-1494)/(-8) prime?
False
Let o(w) = 34*w**2 + 4*w - 5*w + 3 - 6. Is o(2) composite?
False
Let k(q) = -2*q**3 + 5*q**2 + 2*q - 5. Let s be k(6). Let r = s + 1608. Is r prime?
False
Is (6 - (-2108)/3)/(20/930) prime?
False
Is (2/(-6))/(7 - (-1113988)/(-159141)) a composite number?
False
Let x(z) = z**2 - 5*z - 4. Let o be x(7). Suppose -4*g + 2*g + o = 0. Suppose -g*t = -t - 1708. Is t composite?
True
Let z = -17530 - -26187. Is z a prime number?
False
Suppose -45145 = -5*t + 2*i, 9056 = t - 23*i + 28*i. Is t prime?
False
Let h = -8 + 14. Let l be (-574)/6 + h/9. Let f = -6 - l. Is f a composite number?
False
Let d = -6 - -23. Let c = -14 + d. Suppose -c*o + 1330 = 5*r, -4*o = -8*o + 2*r + 1782. Is o a prime number?
False
Suppose -2*z = -13 - 3. Suppose t - 2 = z. Is t - ((-1 - 2) + 0) composite?
False
Suppose -665 = -8*k + 3*k. Suppose -2*l - k - 179 = -2*s, 4*s + 3*l - 589 = 0. Suppose -39 = -2*h + s. Is h a prime number?
False
Let y(n) = 2*n**3 - 21*n**2 + 19*n + 15. Let d(p) = p**3 - 10*p**2 + 9*p + 8. Let g = -34 + 39. Let c(k) = g*d(k) - 3*y(k). Is c(9) prime?
True
Let g be 7*-3 - (-1 + -3). Let h(q) = -q**3 - 16*q**2 + 6. Is h(g) a prime number?
False
Let g be (-1)/((-18885)/(-9444) - 2). Is g/(-10)*10/(-4) a composite number?
False
Is (-45)/5 + 2725 + -9 composite?
False
Suppose -10 - 8 = -c. Suppose -3*t - 2*w - 3*w - c = 0, -3*t - 18 = -3*w. Is 30/t*(-2138)/10 a prime number?
True
Suppose 5*r - 3*k = 321, -3*k + 79 = 3*r - 104. Suppose 62*f - r*f = -2459. Is f a prime number?
True
Let o = 5166 + -3619. Let l = -1012 + o. Is l prime?
False
Let t(s) = -13*s - 4. Let o be t(-2). Suppose 5*k + 7 = o. Let p(a) = 15*a - 10. Is p(k) a composite number?
True
Suppose -s + 4*q - 19 = -2, -10 = -2*q. Let l be -1497*((-5)/s + -2). Suppose b - 1081 = -5*d, 0*b - 4*d + l = 5*b. Is b prime?
False
Let q(m) = 32*m + 15. Let r be q(-9). Is (-75)/(-30)*(0 - (r + -1)) a prime number?
False
Is (18955/(-170))/(1/(-22)) a composite number?
True
Let d = 49 + -27. Suppose 0 = -24*q + d*q + 1388. Let n = q + -215. Is n a prime number?
True
Suppose 4*m + m + 4*y - 907 = 0, 5*m - 3*y = 921. Let v = -89 + m. Let g = v + -60. Is g a composite number?
True
Suppose 2*y + 1038 = 5*s - 2*y, -2*s = 5*y - 435. Let d = 467 - s. Is d a composite number?
False
Is ((-11826)/7 - -2)/((-32)/112) a prime number?
False
Suppose 7*l - 10196 = 3*l + 4*v, 4*l - 5*v - 10191 = 0. Is l composite?
True
Let i(g) = 6*g**2 - 6*g - 5. Let s be i(-12). Suppose -3*f - x - 4*x + s = 0, -4*f + 5*x + 1218 = 0. Is f a prime number?
True
Suppose -12605 = -y + 10*a - 5*a, 2*a + 12605 = y. Is y a prime number?
False
Let t = 9108 + 953. Is t prime?
True
Let p = -40 + -23. Let a be p/(-2)*(-12)/(-9). Suppose m - 158 = o, -m + 4*o + a = -101. Is m a composite number?
False
Let y(m) = m**3 - 3*m**2 - 2*m - 5. Let c be (-105)/(-28) - 1/(-4). Let b be y(c). Is (-2)/b*(-20 - 67) composite?
True
Suppose 5*h + 2 = -z + 2*h, -5*z - 3*h = 34. Let q be (-2)/z + (-77)/(-28). Suppose -5*o - q*j = -295, 4*j - 295 = 4*o - 9*o. Is o a composite number?
False
Let h be ((-60)/(-36))/(5/6). Suppose -l + p - h = -5, -13 = 4*l + p. Is (-841)/l + (-9)/6 composite?
False
Let q = 2 + -7. Is 1 + (-4168)/q + 36/90 a composite number?
True
Is 2*-2 - (-42 - 18579) a prime number?
True
Is ((-80)/(-8))/(4/2866) a prime number?
False
Suppose -m - 233930 = -11*m. Is m prime?
False
Suppose 0 = -167*k + 162*k + 9925. Is k prime?
False
Suppose 0 = -0*o + 4*o + 5*j - 3, -4*j = -5*o + 14. Suppose -x + 322 = 2*h, o*h - x - 220 = 94. Is h composite?
True
Suppose 31*s - 40 = 26*s. Suppose -1342 = -s*r + 6*r. Is r a prime number?
False
Let u = 48 + -31. Let f = u - 14. Suppose 2*j - 573 = -f*y - 0*j, 573 = 3*y - j. Is y a prime number?
True
Let a = 7 + -6. Let k = a - -4. Suppose -k*c + 288 = 2*m, -m - 4*c - 157 = -2*m. Is m a composite number?
False
Let u(o) = 2*o**2 - 8*o + 8. Let v be u(4). Suppose -17 - 87 = -v*p. Is p a composite number?
False
Let u(r) be the second derivative of -r**5/20 + r**4/6 + r**3/3 - 4*r**2 - 10*r. Is u(-7) a composite number?
False
Suppose -9 = -9*f + 6*f. Let h be (4 - f)/(-3 + 2). Is 489/(h - 20/(-8)) a prime number?
False
Suppose 4*k - 2246 = -6*y, 2*k + 257 = 4*y - 1231. Is y prime?
True
Let g be (1*9/(-6))/((-1)/(-4)). Is (-1)/(-2) + g*371/(-4) prime?
True
Let v(g) = -g**3 + 5*g**2 + 2*g - 8. Let z(t) = t + 27. Let y be z(-22). Is v(y) a composite number?
False
Suppose -4 - 5 = 3*j, -84850 = -5*y - 5*j. Is y a composite number?
True
Suppose -4*z + 184 = -620. Let m be (9/(-6))/(3/(-10)). Suppose 8*i = 5*s + 3*i - 945, 0 = s + m*i - z. Is s prime?
True
Is (-7)/35 + 66056/5 a composite number?
True
Is (-9462)/(-15) + 3/15 composite?
False
Suppose 133535 = 17*h - 38386. Is h a prime number?
False
Let b = 40 - 36. Suppose -b*h + 1144 = -3*q - 2*q, -4*h + 2*q = -1156. Is h prime?
False
Suppose -3*z - 9 = 12. Let f be 188/(8/(-3 - z)). Suppose 173 = 3*x - f. Is x a composite number?
False
Suppose -3*v - 12609 = -3*b, -4*v - 11 + 3 = 0. Is b composite?
False
Let o = -146 + -136. Let i = 427 + o. Is i + 4/(-1) + 2 a composite number?
True
Suppose -98712 = -19*g + 14737. Is g composite?
True
Let b = 379 + -570. Let c = 713 + b. Suppose 5*i = 2*s - 526, -i = -2*s + 3*i + c. Is s a composite number?
True
Suppose 5*h - 269 = -x + 220, 0 = 2*x + h - 996. Let y = x + 1030. Is y prime?
False
Let f be (-210)/(-7)*2/3. Suppose 16*z - 4 = f*z. Is 1/z*1438/(-2) a composite number?
False
Let v(n) = n**3 + 13*n**2 - 12*n - 5. Is v(-10) composite?
True
Let h(d) = -6*d**2 - 11*d - 12. Let a be h(-10). Is 3/(-6 + 0)*a prime?
True
Let g = -46 - -47. Is -10*((1 - g) + (-23)/2) composite?
True
Suppose 47*b = 50*b + 5*q - 147527, 4*b - 5*q = 196656. Is b a prime number?
True
Suppose -2*d + 10 = -0. Let x(a) = a**2 - 6*a - 4. Let i be x(d). Let l(t) = -t**3 - 9*t**2 - 8*t + 7. Is l(i) a prime number?
True
Let z(r) = -r**3 - 17*r**2 + 19*r + 22. Let i be z(-18). Suppose -i*j - 684 = -7072. Is j a composite number?
False
Let p = -42 - -36. Is (-8)/p - (-43043)/21 a composite number?
True
Suppose 7*k = 225749 + 233444. Is k prime?
True
Let m(b) = -2*b**3 - 5*b + 19. Is m(-6) composite?
True
Let q = 3081 - 1568. Is q prime?
False
Suppose 0 = -5*k - 4*h + 8537, 0 = 16*k - 15*k + 2*h - 1705. Is k composite?
False
Let c(x) = 2*x**2 - x - 2. Let n be c(3). Suppose 0 = 5*m + n - 58. Let i = m + 170. Is i a prime number?
True
Let q = 2136 + 122. Is q a prime number?
False
Let n(f) = -2*f**3 + 7*f**2 - f - 12. Let k be n(-16). Suppose -4*v + 1120 = -k. Is v composite?
False
Suppose 0 = -3*v - 34 + 25, -5*k = 4*