e -5*t = 2*x + 849, 0*x - 4*t - 1728 = 4*x. Let z = x + 624. Is z prime?
False
Suppose -15*z = -2*z - 32539. Is z prime?
True
Let v(l) = 37*l**2 - 47*l - 21. Is v(-18) composite?
True
Suppose 10 = 2*z + 2. Let k(i) = 11*i**2 - z*i**2 + 9*i**2 + 1 + 2*i - 4*i**2. Is k(-1) a prime number?
True
Suppose 0 = 942*w - 953*w + 126313. Is w a composite number?
False
Suppose -5*y = 3*s - 5383, -5*s + 5*y + 8985 = -0*s. Let r = -4361 - -6199. Suppose 2*j - r = -2*g, -j + 951 + s = 3*g. Is g prime?
False
Let k = 53 + -75. Let z = -23 - k. Is 1 - -189 - z - 0 a prime number?
True
Suppose 454 = -2*j - 2*i, 212 = -2*j + j + 2*i. Is (47*-2)/(12/j) composite?
True
Suppose 3052 = 4*d + 4*t, -2*t - 763 = -d + 3*t. Is d composite?
True
Suppose 61139 = 370*m - 357*m. Is m a composite number?
False
Let h(v) = 27*v**3 - 2*v**2 - 3*v + 9. Is h(4) prime?
True
Let d = -28 - -30. Suppose 5 = g + 2*c, g - c + 1 = 3. Suppose 371 + 222 = g*l + d*p, 0 = 4*l - 4*p - 804. Is l composite?
False
Let c = 2909 + -2053. Let i = c - 177. Is i a composite number?
True
Let w(k) = -69 + 47*k**2 + 64 - 5*k**2. Is w(-2) prime?
True
Let d = 7614 + -3293. Is d a composite number?
True
Let n(l) = l**3 - l**2 - 3*l - 8. Let y be n(6). Suppose 0 = 4*p - 3*j - 308, 2*p + 0*p - y = -4*j. Is p composite?
True
Let a(i) = 37*i**3 - 4*i**2 + 41*i - 379. Is a(8) a composite number?
False
Suppose -4*q - 1309 = -253. Is (1306/(-8))/(8 - q/(-32)) prime?
True
Suppose -3*w - 4*m - 38 = 0, -5*w + 2*m - 4*m - 68 = 0. Let o = w - -19. Let h(i) = 3*i**3 + 6*i**2 + 7*i - 7. Is h(o) a prime number?
False
Suppose 2*a = -3*a - 4*f + 258, -2*f = -3*a + 168. Let n = 305 - a. Is n a prime number?
True
Suppose -3*i = 3*k - 2*k - 14, 4*i = k + 7. Suppose 5*y = -5*u + u + 7015, 4*u = i*y - 4177. Is y a composite number?
False
Let p = -12 - -10. Let w be (1 - 1)/3 - p. Suppose -4*m + 278 = -w*m. Is m a composite number?
False
Let l be (16/10)/(7/(-5250)). Let u = l + 575. Let s = -278 - u. Is s composite?
False
Let v(a) = 4*a**2 - 8*a - 9. Suppose -4*z - 11 = -d, 3*d - 8*d = 3*z + 37. Is v(z) composite?
True
Is 1436*30/(-36)*(-3)/5 a prime number?
False
Let j be (-3)/(-1)*(-32)/6. Let g be (3*2)/(j/(-24)). Is 2383/g + (-10)/(-45) composite?
True
Let c(y) = y - 8. Let q(g) = -2*g + 17. Let d(k) = -13*c(k) - 6*q(k). Let u be d(5). Is 1 - 2 - (-25 - u) a prime number?
False
Let n = 19443 - 10355. Suppose -r = 3*v + 2231 - n, -3*r + 6849 = 3*v. Is v prime?
True
Suppose 0*h - 4*h + 65744 = 0. Suppose 0 = 3*w + w - h. Is w prime?
False
Let q = -198 - -1151. Is q prime?
True
Suppose 0 = -3*n - 8 - 4. Let q be 8/(-6)*6/n. Suppose 5*w + 10 = 0, -j + q*w + 19 = -52. Is j a composite number?
False
Suppose -2*g + 1715 + 42 = -5*h, 2*g - 2*h - 1754 = 0. Suppose 6*y - 9*y = -4*y. Suppose y = 4*w - 2*a - g, -3*a + 20 = 2*a. Is w prime?
False
Let l be ((-64)/(-12))/((-10)/(-45)). Let a = -27 + l. Is (-1)/(a*4/1524) prime?
True
Suppose -198 - 81 = -z - q, -1403 = -5*z - 3*q. Let o be (z*(-4 - 0))/(-2). Suppose 0 = 2*v - 3*i + 8*i - o, 0 = v + 3*i - 281. Is v a composite number?
False
Suppose 2*s - 6 = -2*r, -5*r = -5*s + 19 - 4. Suppose r = -3*p - 8 + 581. Is p a prime number?
True
Let j = -23 - -45. Let m = -22 + j. Let p(t) = -t**3 + t + 31. Is p(m) composite?
False
Let f(u) = 390*u - 173. Is f(11) a composite number?
True
Let g = 24 - 24. Suppose -d + g*d - 83 = -x, -x - 2*d = -71. Is x a prime number?
True
Suppose 0*z = -5*z + 25. Suppose z*j = 802 + 498. Let v = j - -159. Is v a prime number?
True
Let l(t) = t + 241. Is l(-8) a composite number?
False
Is (1 - -32865) + -51 + 49 - -5 a prime number?
True
Let i(r) be the third derivative of r**5/20 + r**4/6 - 5*r**3/2 + 11*r**2. Let p be i(-11). Suppose 283 = 2*f + 5*h, f - 3*f = -2*h - p. Is f a prime number?
True
Suppose 2*b = -4*f - 4, -b + f - 5 = 6. Let z(j) = -4*j**3 - 11*j**2 - 3*j + 1. Is z(b) a prime number?
False
Let l be 1/(3 - 2)*0. Let z(m) = l*m - 13*m - 6*m**2 + 5*m**2 - 1 + m. Is z(-6) prime?
False
Let f = 18 - 52. Let s = 25 + f. Let d = s + 398. Is d a prime number?
True
Suppose -3 = -w - i, i + 3*i - 12 = -3*w. Suppose -10*u + 0*u + 1270 = w. Is u a composite number?
False
Let i be (10 + 0)*(-20)/(-25). Is 6/(-24) + 2386/i composite?
True
Suppose 0 = -0*y + 8*y - 88. Suppose -y*g = -9*g - 1402. Is g a composite number?
False
Let m(v) = -2*v**3 - 8*v**2 + 25*v + 2. Is m(-13) a prime number?
True
Let w = 18381 + -4802. Is w a composite number?
True
Let o be (-2432)/(-10) + 1/(-5). Let i = -92 - -66. Let h = o + i. Is h prime?
False
Suppose -127 = -n + 3*w + 194, 2*n - 642 = -3*w. Let l = n - 152. Let c = l - -418. Is c composite?
False
Suppose -1181 - 3254 = 5*b. Let z = b + 1696. Is z composite?
False
Let n = -31 + 22. Is -907*((-1)/3 - (-6)/n) prime?
True
Is -2*12079/(-2) + 0/(-10) composite?
True
Let p(g) be the second derivative of 17*g**5/10 + g**4/3 + g**3/6 + g**2/2 + 2*g. Let h be p(-3). Is -1 + 1 - (h + 7) prime?
True
Suppose -3*c = -9, r - 3*r - 3*c = -1. Let v be (3/3*r)/2. Is 2905/21 + v/(-3) a prime number?
True
Suppose -4*h + 5312 = i, 0 = -2*i - 4*h + 7726 + 2894. Let d = -3303 + i. Is d a composite number?
True
Let k(l) = 0 + 10*l**2 + 70*l - 58*l - l**3 + 4. Is k(11) a composite number?
True
Let y = 1826 - 681. Is y composite?
True
Let g = 2 + 0. Suppose 74 - 99 = -5*s. Suppose -2*u - u + 641 = s*t, 250 = g*t - 2*u. Is t a prime number?
True
Let b(g) = g + 7435. Is b(0) a composite number?
True
Let a be -2*57*-4*-8. Is (-4)/(-2) + (-13 - a) a composite number?
False
Let u be 17/((-68)/(-1320)) - -3. Suppose -5*r + m + 0*m = -327, -5*r + 4*m + u = 0. Is r prime?
False
Suppose x - 1 = 0, 0 = 2*o - x - 2*x - 1. Suppose -o*g = -g - 1423. Is g composite?
False
Suppose -3*c + 2*t + 7 = -28, -5*c + 53 = 2*t. Is 42/(-231) - (-585)/c a prime number?
True
Suppose 2*z + 42 = i, z - i = i - 24. Let v = -16 - z. Suppose -749 = -4*l - 3*s, 0*s = -5*l - v*s + 937. Is l composite?
True
Let m = 364 - 105. Suppose 414 + m = u. Is u a composite number?
False
Let t(o) = -2 + 2*o + 0*o + 0*o - 3*o. Let i be t(-2). Suppose -3*v = 5*j - 2470, j + 5*v - 514 + 42 = i. Is j prime?
False
Let m(z) = z + 2. Let q be m(4). Let h be (-214)/(-6)*54/q. Suppose -557 = -2*d + h. Is d prime?
True
Is ((-641)/2)/((-5)/10) a composite number?
False
Suppose -w + 3192 + 851 = 2*s, w - 4046 = -s. Is w prime?
True
Let w(n) = -n + 4. Let m be w(4). Suppose m = 2*a - 11 + 33. Is (2/4)/(a/(-8822)) a composite number?
False
Let b be 230/5*(0 + -2). Suppose -2213 = -5*o + 3*c, 5*o - c = 651 + 1570. Let u = o - b. Is u prime?
False
Suppose -3*q = -5*q + 6. Suppose -3*a + q = -3*f, -6*a + 2*a + 8 = -2*f. Suppose -a = -4*s + 145. Is s composite?
False
Let j(h) = -11*h**3 - 4*h**2 + h - 1. Let a(y) = -y**3 - 3*y**2 - y - 7. Let v be a(-3). Is j(v) prime?
False
Let o(w) = 256*w**2 - 24*w + 43. Is o(9) composite?
False
Let j = 8717 + -5608. Let f = j + -2068. Is f a composite number?
True
Let h = -12 - -9. Let m(c) = 2*c**3 - 3*c**2 - c - 1. Let k be m(2). Is h - k - 0 - -17 a composite number?
False
Is (-3*12603/(-18))/((-7)/(-14)) prime?
True
Is -1*(-2927 + -7 - -7) prime?
True
Let n be ((-14)/(-6))/((8/(-996))/(-2)). Is (-3 - (-6 - -2))*n a composite number?
True
Let j be (6/4)/((-1)/6). Let m be 3/2 - j/6. Suppose 4*g - 421 - 536 = 5*u, -m*g = -3*u - 714. Is g composite?
False
Suppose 4*g + 0*g = 12. Suppose -5*d + 5 + 0 = -5*k, 0 = 2*k - d - 2. Suppose -y + 92 = -g*v, -y - v + 329 = k*y. Is y composite?
False
Let j = -7 + 18. Let g = j + -10. Let p(d) = 127*d. Is p(g) composite?
False
Let t = 9832 + -3823. Suppose -4*c = -s - t, -c - 3*s = -6*c + 7513. Is c prime?
False
Suppose -w + 5 = 3. Is (-1 + 0 + w)/(4/388) composite?
False
Let h(w) = -w**2 + 16*w + 4691. Is h(0) composite?
False
Let k(r) = 2*r**2 + 4*r - 7. Let a be k(5). Suppose 3353 = -4*s - a. Is (2*-1)/(4/s) a composite number?
True
Let d(l) = -527*l + 8 + 1 + 54*l. Is d(-8) a prime number?
True
Let b(f) = -9 + 12 + 12 + 6 + 18*f**2 + 2*f. Is b(9) prime?
False
Let i(z) = -566*z**3 + 6*z + 17. Is i(-2) a composite number?
True
Let b(k) = 2248*k - 59. Is b(4) a prime number?
True
Let v(p) = p**2 - 22*p + 23. Let m be v(20). Let u(f) = 6*f**2 - 14*f - 29. Is u(m) prime?
False
Let b = 153 - -6670. Is b a prime number?
True
Suppose 4*q