 -4182*d. Let u(z) = -47*z. Let v(y) = -6*p(y) + 533*u(y). Is v(11) composite?
True
Let y be -3 - (77 - 3 - -2). Let k = -26 - y. Is k composite?
False
Let n(q) = -q**3 + 10*q**2 - 11*q - 7. Suppose -3*g = -42 + 18. Is n(g) prime?
False
Is 979/6 - (-6)/(-36) a prime number?
True
Let b = 969 + -428. Is b a composite number?
False
Let s be (-5)/20 + (-566)/8. Let o = s + 148. Is o prime?
False
Suppose 63 = -3*r + 4*y + 510, -568 = -4*r - 4*y. Is r composite?
True
Let f(v) be the first derivative of 20*v**3 - v**2/2 + 2. Is f(1) a prime number?
True
Let q(r) = 57*r - 6. Let n be q(8). Let s = n + -239. Is s composite?
False
Let o(k) = -229*k - 9. Is o(-2) prime?
True
Let n = 9 - 6. Is 3 - n - (-15 + 0) a prime number?
False
Let y(c) = -4*c + 0*c - 4 - 2 + 4*c**2. Let m be y(5). Suppose i = -i + m. Is i composite?
False
Let n be (-6 - -9) + (1 - 0). Suppose -2*b = -o + 2*o - 75, -125 = -3*b - n*o. Is b composite?
True
Suppose 40*d + 12068 = 44*d. Is d prime?
False
Suppose 2*u + 15 = -5*m, -9 = -4*u - 5*m - 24. Suppose u = 3*z + 4*l - 6, -3*z + 3*l + l + 6 = 0. Is z/((-1)/(113/(-2))) a composite number?
False
Let r(j) = 50*j + 17. Is r(9) composite?
False
Is 3848/6 + 2/(-6) a composite number?
False
Let x(z) = -z**3 - 7*z**2 - 7*z - 9. Let y be x(-6). Let t = -2 - y. Is (38 - -1) + t + -1 composite?
True
Let g be (-1 - (4 - 6))*4. Suppose -2*w = -0*w + 4*j - 562, -1377 = -5*w + g*j. Is w composite?
False
Suppose i + 2*i - 15 = 0. Suppose -i*d + 4*k - 2 = 0, d + d + 14 = -5*k. Is (-5 - (d + 0)) + 22 prime?
True
Let x = 3 + -5. Let u be (2/(-2))/(2/x). Is 1*53*u/1 composite?
False
Suppose -5*y - 172 = -1227. Is y a composite number?
False
Is (-3)/(6/(-2788)) + 5 composite?
False
Let g(s) = 7*s + 5. Let m(n) = n. Let w(d) = g(d) - 5*m(d). Let q be w(8). Suppose 4*x = 3*x + q. Is x a composite number?
True
Let m(g) = 24*g**2 + 16*g + 51. Is m(-8) a composite number?
False
Let s(r) = -r**2 - r + 667. Let f be s(0). Suppose 0 = 3*j - 5*y - 2009, -2*j + 699 = 2*y - f. Suppose -j = -5*k - 283. Is k composite?
False
Suppose 5*s - 35 = -5*c, 4*c - 20 = -0*c. Suppose s*h - 40 = 34. Is h prime?
True
Let x = 4564 + -617. Is x composite?
False
Suppose 4*b + 856 = -4*o, 0 = 3*o - 0*o. Let x be (-2)/5 + b/(-10). Let k = x - 6. Is k prime?
False
Let d(q) = -q + 11. Let t be d(7). Is (t - -1)*-13*-1 prime?
False
Let d(u) = -u + 31. Let i(q) = q**2 + 7*q + 9. Let t be i(-6). Suppose 0 = z - t*z. Is d(z) a composite number?
False
Suppose 9*a = 16*a - 6181. Is a composite?
False
Is 1 - 1 - 1932/(-12) a prime number?
False
Suppose 4*b - 20 = 9*b. Suppose -5 = p + 3. Let v = b - p. Is v prime?
False
Let j = 13 - -148. Is j prime?
False
Let m(a) = 62*a - 3. Let w(s) = 124*s - 5. Let c(r) = -11*m(r) + 6*w(r). Is c(10) composite?
True
Suppose 0 = 20*h - 11*h - 33606. Is h composite?
True
Suppose 0 = -14*b + 10*b + 12412. Is b composite?
True
Let h be (-4)/(-10) + (-252)/30. Is (h/24)/((-2)/1578) composite?
False
Let m(z) = z + 2. Let l be m(0). Let f = -2 - -4. Suppose -5*q = -2*q + l*k - 113, -f*k = -q + 43. Is q a composite number?
True
Let v = -12 + 17. Let h = v - 5. Suppose -4*r + 4*b - b = -302, -3*b + 6 = h. Is r a composite number?
True
Suppose -3*z + 4*q = 0, 0 = -0*z - 3*z - 3*q. Suppose z = g - 5*g + 148. Is g a prime number?
True
Let c(k) be the first derivative of k**3 + 9*k**2/2 + 5*k - 5. Suppose 5 + 30 = 5*l. Is c(l) a prime number?
False
Let v(i) = -i**3 - 5*i**2 - 8*i - 1. Suppose 2*l + 2 = h, -5*h - 40 = -h + 4*l. Is v(h) prime?
True
Is 1013 - 9/(27/6) a prime number?
False
Suppose 0 = -i - 4*z + 9, -z + 3 = 2*i + 6. Let y be 0/7 - 19/1. Is (-3)/i*-1*y prime?
True
Let o(y) = 122*y. Let h be o(1). Let a = h + -63. Is a a prime number?
True
Let t = 4 + -2. Let s = -1 - t. Is -26*s/2 + -2 prime?
True
Is 355/7 - (-12)/42 a composite number?
True
Let k = -15 + 11. Is k/(-6) + 43/3 a prime number?
False
Let n be 2 + 1320 + (-5 - -7). Suppose 8*l = 12*l - n. Is l composite?
False
Suppose -3*o - r = -13, 8*r = -3*o + 4*r + 25. Is o prime?
True
Suppose -q + 8 = 3*u, 0 = 5*q + u + 2*u - 40. Let o = -5 + q. Is (-42)/8*(-1 - o) composite?
True
Suppose m - 4 = -3*m. Suppose -8 = 4*p - 4*n, p - 14 = -0*p - 3*n. Is m/p*-2*-13 a composite number?
False
Let t = 5 - 3. Let w = 67 - t. Is w a prime number?
False
Let c(h) = 59*h**3 - h**2 + 2*h - 1. Is c(1) a composite number?
False
Is 106/3*(-21)/(-2) a composite number?
True
Let k(j) = -j**3 + 9*j**2 - j + 12. Let b be k(9). Is b/(3/194) - 3 a prime number?
True
Let u = -121 - -281. Suppose 0 = 5*a - k - 180, -2*a - 3*a + 5*k + u = 0. Is a a composite number?
False
Let r = -283 + 684. Is r composite?
False
Suppose 3*b - 4*j - 32 = 0, -3*b = -j - 10 - 16. Is (-4)/b + 1068/8 composite?
True
Suppose h + 21 = -2*h. Let z(m) = m**3 + 7*m**2 - 2*m - 10. Let a be z(h). Let n = a - -2. Is n a prime number?
False
Let t = 41 - -36. Is t a prime number?
False
Suppose -f + 10 = 5*i, 3*i - i - 5*f - 4 = 0. Suppose -i*h + h - 40 = 0. Let k = 155 + h. Is k a composite number?
True
Suppose 3*t - 337 = 2*t. Let r = t - 479. Let j = r - -285. Is j prime?
False
Let d(o) = 3*o**3 + 2*o - 1. Let p be d(1). Suppose -5*f + 1 = -p*f. Is -1*(0 - f - 34) composite?
True
Let v(u) = -300*u + 19. Is v(-24) prime?
True
Let b(i) = -4*i**2 + 0 - 3 - 5*i + 6*i**2 - 4. Let f be (2 + 4/(-3))*9. Is b(f) a composite number?
True
Let t(l) = 4*l**2 + 4*l + 2 + 3*l**2 - 3*l**2. Is t(-3) a prime number?
False
Suppose 2*i = -2*f + 4, -i - 12 = -0*f - f. Is f/((-28)/8) - -117 prime?
False
Let j = -361 + 1680. Is j prime?
True
Let s = 5 + -2. Let g(y) = 8*y**2 - s - 6*y + 0 - 4*y**2. Is g(-5) prime?
True
Let d be 1185/6*8/10. Suppose w - 3*w + d = 0. Is w composite?
False
Suppose 2*o + 3 = -4*i - o, 3*i + o = -6. Is ((-9)/i - 181)/(-2) a prime number?
True
Let o(g) = -141*g - 1. Let y be o(-1). Suppose d - y = -25. Is d composite?
True
Let x = 132 - 221. Let f = -50 - x. Is f prime?
False
Suppose 0 = 4*m - 620 - 636. Is m a composite number?
True
Is (-843)/(-2) - (-11)/22 composite?
True
Let h = 135 + -8. Is h a prime number?
True
Suppose 3 = -0*b + b. Is -1 + (21 - (0 - b)) a prime number?
True
Suppose 0 = 2*r - 6*r + 664. Is r prime?
False
Let m = 11 + -3. Let u(s) = 32*s + 7. Is u(m) composite?
False
Let z(j) = 20*j + 2. Let o be z(-6). Let b = o - -83. Let i = 124 + b. Is i prime?
True
Let u be (2 + (-14)/(-4))*2. Suppose u + 10 = 3*c. Is c a composite number?
False
Let r(i) = -22*i**3 - 2*i**2 - 2*i + 2. Let j be r(-2). Suppose -4*q + j + 278 = -4*b, 0 = -4*q + 5*b + 450. Is q composite?
True
Suppose -28*a = -22*a - 3318. Is a a composite number?
True
Suppose -2*b = 5*j + 22, -9 = 2*j - 1. Let y be (b + 3)*1 + -5. Is 27/6*(-10)/y a prime number?
False
Let q(i) = -187*i + 8. Is q(-5) prime?
False
Suppose 15 = 3*b - 4*p - 5, -4*b = 5*p - 6. Suppose -b*q + 24 = -28. Is q a prime number?
True
Let l(j) be the first derivative of 7*j**2/2 - 4*j - 2. Let s be 2/(-3) + (-20)/(-3). Is l(s) composite?
True
Let w(v) = v + 8. Let m be w(-2). Let r(y) = -y - 3 + 7*y + y. Is r(m) a composite number?
True
Let x(n) = -85*n**3 - 2*n**2 - 4*n - 3. Is x(-2) composite?
False
Let m(v) = 20*v - 3. Let j be (-52)/(-14) - 6/(-21). Let p be m(j). Suppose k + 22 = p. Is k a composite number?
True
Let i be 3 - 1 - (-2 + -110). Suppose 5*a + 19 - i = 0. Is a a composite number?
False
Let c = 4 + -5. Let h = 2 - c. Suppose -h*p + 0*p = -105. Is p prime?
False
Let c = -247 + 380. Suppose 128 + c = 3*i. Is i a composite number?
True
Let c be 3/((-2)/(8/(-3))). Suppose -5 = -c*w + 7. Suppose -u + w*s - 3 = 0, 3*u - 9 = 2*u - s. Is u a composite number?
True
Suppose 2*f - 171 = -f. Is 7/(-3 - (-174)/f) prime?
False
Let v be 3/((-111)/(-51) + -2). Suppose -v - 507 = -4*t. Is t prime?
True
Suppose 0 = -2*b - 3*m + 580, 2*b + 2*m - 282 = 300. Is b composite?
False
Suppose 1352 = 2*z - 2*t, 4*z - 3*t = -806 + 3505. Is z prime?
False
Let p be (46/8)/(3/24). Let s be (-4)/(-10) + p/10. Suppose 34 = 2*u + 2*l, s*u - 51 - 54 = 5*l. Is u composite?
False
Suppose -3*m - 6 = -4*c + 2, 4*m - c = 11. Let o be -2 - (m + -2*1). Is 2 + o + (1 - -26) prime?
False
Let o(r) = -3*r**3 - 6*r**2 - 5*r + 1. Is o(-5) prime?
True
Let h(m) = m**2 + m + 2. Let t(f) = f**3 - 5*f**2 - 5. Let c be t(4). Let x be (-6)/