w + w, 28 = 4*w + 2*a. Is (-138)/(-4) - w/(-12) prime?
False
Let m = 1417 + -704. Is m a composite number?
True
Let x(k) be the third derivative of k**7/360 + k**6/360 - k**5/120 - k**4/12 - 3*k**2. Let f(v) be the second derivative of x(v). Is f(-2) a prime number?
True
Let z(t) = -31*t**3 - 2*t + 1. Let d(c) = 7*c + 7 - c**2 - 3 + c**3 - 9*c - 2*c**2. Let k be d(3). Is z(k) prime?
False
Suppose 4*x + 2*t - 41 = 7*t, -2*x - 5*t = 17. Suppose 0 = -x*w + 20, 2*k + 2 = w + 1. Suppose 4 = k*m - 26. Is m a prime number?
False
Suppose 0 = 6*v - 2*v - 5*i - 23, 12 = -4*i. Suppose -478 - 224 = -2*u + 2*o, v*o + 1412 = 4*u. Is u composite?
True
Let y = -10 - -16. Suppose -3*d - 4*p + 8 = -y*d, 0 = 3*d - p + 20. Let f = 14 + d. Is f a prime number?
False
Suppose 82 + 64 = 2*k. Let p = k + -2. Is p prime?
True
Let n be 54/13 - (-2)/(-13). Suppose n*c - 160 + 21 = -5*o, -5*o - 109 = -4*c. Is c prime?
True
Let a(t) = t + 10. Let o be a(-10). Suppose 5*f - 914 + 169 = o. Is f a composite number?
False
Suppose 26 = -0*h + 3*h - 4*o, 5*h - 58 = 3*o. Suppose -4*g = 3*v - 2 - h, -v - 1 = -5*g. Is 68 + 0 + g + -2 a composite number?
False
Let s(m) = 27*m**3 - 3*m + 1. Is s(2) composite?
False
Let u be 21*((-3)/1)/(-3). Let s = 2 + u. Is s a composite number?
False
Suppose -4*u = -u - 12. Let g(y) = -y**2 + 8 + u*y + 6*y - 5. Is g(8) composite?
False
Let r(t) = 4*t**2 - 12. Let b be r(10). Suppose -4*g = -b + 72. Is g a composite number?
False
Let g = 34 + 21. Is g a prime number?
False
Let x = 3 + -5. Let v(p) be the first derivative of 7*p**3/3 + 3*p**2/2 + p + 1. Is v(x) a composite number?
False
Let x be 1*4 + (-5 - -6). Let c(n) = 3*n - x + 10*n - n - 4*n. Is c(7) prime?
False
Suppose 5*d - 184 = -4*p + 12, -5*p = 5. Suppose -3*m - 2 = k + 5, -4*k + 5*m = -d. Let f(i) = -i**3 + 6*i**2 - 2*i - 5. Is f(k) a composite number?
True
Suppose -7*l = -2*l - 5*i - 375, 0 = 3*i - 9. Let n = l - 47. Is n composite?
False
Suppose l = 3*l - 134. Is l a prime number?
True
Let y be 126*(8/(-3) - -2). Let f be (5 + -2)*y/(-9). Suppose 0 = 4*l - f. Is l a prime number?
True
Suppose -5*p + 0 = -10. Let k be 0 + 4 + (0 - p). Is 48 - -3*k/(-6) a composite number?
False
Suppose 2*g - 4*z + 78 = 312, -2*z + 343 = 3*g. Is g a composite number?
True
Suppose 5*u - 5 - 5 = 0. Suppose -l = u*l + 18. Let s(i) = i**3 + 9*i**2 + 2*i - 7. Is s(l) composite?
False
Suppose -3*r - 100 = -2*g, 5*g - 54 - 175 = -3*r. Is g composite?
False
Suppose -4*h = -2*n, 4*h = -4*n + 2*h. Suppose o - 6*o + 1205 = n. Suppose 5*z + 56 - o = 0. Is z prime?
True
Suppose 4*a = -0*a - 8. Is 33*(8/3 + a) composite?
True
Suppose -5*j + 429 = 4. Is j composite?
True
Let m(g) = -10*g - 1. Let t = 1 - 3. Let i be m(t). Suppose -3*q + 128 = 5*a + i, -5*q + a + 219 = 0. Is q prime?
True
Let q = 5 + 13. Let z = 8 - q. Let o = z - -43. Is o prime?
False
Is 4/10 + ((-2718)/(-10))/3 a prime number?
False
Let d(i) = i**3 + 7*i**2 - 11*i - 4. Let m be d(-8). Is (-14648)/(-10) + 4/m prime?
False
Suppose -4*y = -h - 288 - 24, 75 = y - h. Is y composite?
False
Let o(i) = i**3 + 10*i**2 - 14*i - 13. Is o(-10) a prime number?
True
Suppose -5*f + 354 = f. Is f prime?
True
Let z(j) = 3*j + 2. Let v be z(2). Is 300/v + 1/(-2) a composite number?
False
Let v(p) = 0 - p**2 + 2 - 9*p**3 + 6 - 12 - 8*p. Is v(-3) a composite number?
True
Let q(u) = -52*u + 1. Let n be q(-3). Suppose n = 2*t - t. Is t prime?
True
Suppose 0*x = 5*d - x - 24, -14 = -3*d + x. Suppose -3*i - 93 = 5*h - 2*h, -179 = d*h - i. Let j = h - -54. Is j a composite number?
False
Let r = -2 - -7. Suppose -j + 78 = -0*j - o, -2*j + 4*o = -156. Suppose 4*k - r*a - 81 + 10 = 0, 4*k + 2*a - j = 0. Is k prime?
True
Let b be (-13)/(3 + -3 + -1). Suppose -5*j = 5*a - 35, 4*j - 3*a + b - 69 = 0. Is j composite?
False
Suppose -4*i = 5 + 11. Is (i - 1)/(1/(-2)) composite?
True
Let r be (-1017)/7 + (-6)/(-21). Let f = 645 + r. Let b = f - 169. Is b a composite number?
False
Let v = -5 - -10. Suppose 4*m + 5 = 2*t + 23, -v*t + 15 = 0. Is (165/m)/(1/2) prime?
False
Suppose 2*l - 5*x = 307, 204 + 375 = 4*l - 3*x. Is l a prime number?
False
Let b(h) = 130*h**2 + h. Let m = -3 + 8. Suppose 4*q - u - 13 = 2*u, -u = -m*q + 8. Is b(q) prime?
True
Is 1 + 11/(-9) + (-594870)/(-270) composite?
False
Let y be (-2)/3 + 22/6. Suppose y*k = -3*k + 4014. Is k a composite number?
True
Let i(a) = 100*a - 23. Is i(15) a composite number?
True
Is (-6)/(-8) + (-9266)/(-8) a prime number?
False
Suppose d + 6*l + 56 = 4*l, -l - 109 = 2*d. Suppose -2*k - 1 + 11 = -2*h, h + 4*k = -5. Let c = h - d. Is c a composite number?
True
Let k be 1*(2 + 6/3). Is k/16 + (-75)/(-4) a prime number?
True
Let x(v) = -56*v + 4. Let d be x(7). Is 12/8*d/(-6) a prime number?
True
Suppose -176 = -2*w - s, 2*w - 4*s - 186 = -0*s. Is w prime?
True
Let m(z) = 4*z**3. Suppose 5*q = 6*q - 2. Let h be m(q). Suppose u = 17 + h. Is u a composite number?
True
Suppose 0 = -2*l - 2*f + 112, -2*l = -l + 2*f - 60. Let w(h) = -h**3 - 2*h**2 + h + 2. Let v be w(-2). Is 1 - l*(-1 + v) composite?
False
Suppose -85 = -4*g + 135. Is g a composite number?
True
Let v(x) = 57*x - 1. Is v(2) composite?
False
Let a = -7 - -3. Is ((-7)/4)/(a/848) a prime number?
False
Suppose 4*g = 5*p + 1, -3 - 13 = -g - 4*p. Let o = -1 + g. Suppose -o*w + 2*s + 37 = 0, -2*s + 1 = -1. Is w prime?
True
Let b(r) = 22*r + 3. Is b(8) prime?
True
Suppose -w = 5*x - 3*x - 55, 4*w + x - 192 = 0. Is w composite?
False
Is (2456/(-16))/(1/(-2)) a composite number?
False
Suppose 172 = 4*h - 5*o, -o + 249 - 63 = 5*h. Let y = 57 - h. Is y prime?
True
Let v = 565 + -121. Is 1 + 5/(10/v) prime?
True
Suppose 0 = 41*z - 39*z - 578. Is z composite?
True
Let r(l) = 3*l**2 + 29*l + 19. Is r(-16) a prime number?
False
Suppose r = 3*r - 5*u - 141, 0 = u - 3. Suppose -4*y + 323 = 5*c, -3*y + 3*c + 300 - r = 0. Is y composite?
True
Let x(a) = a + 4. Let l be x(-8). Is (-382)/l*6/3 a composite number?
False
Let q be (138/9)/((-1)/15). Let c = -127 - q. Is c a composite number?
False
Let p = 28 + -17. Let a = p - -36. Is a composite?
False
Let c(h) = 5*h**3 - 9*h**2 + 4*h - 7. Let q be c(6). Let z = q + -453. Suppose 0 = -l + 5*a + 97, -4*l + 7*a + z = 4*a. Is l composite?
True
Let r = 846 - 167. Is r composite?
True
Let s = -17 - -9. Is 2*74/s*-2 a prime number?
True
Let w = -61 - -730. Is w a prime number?
False
Let k be ((-10)/6)/(2/6). Let y be (-1)/k + 9/5. Suppose -z = a - 25, y*z = -2*z + 16. Is a prime?
False
Let c(n) = -n**2 + 7*n - 6. Let o be c(5). Suppose -3*w = o*b - 158, -58 = -2*w - 3*b + 46. Is w a composite number?
True
Let k(n) = 2*n**3 + 5 + 5*n**2 + n**3 + 4*n - 2*n**3. Let h be k(-4). Suppose 2*y - 187 = -h*p + y, 5*p - 191 = -3*y. Is p prime?
True
Let a(h) = h**3 - 6*h**2 + 10*h - 9. Is a(6) a composite number?
True
Suppose 5*t - 6 = 24. Let m(p) = 20*p - 7. Is m(t) a composite number?
False
Let c(z) be the third derivative of 13*z**6/720 + z**5/40 + z**4/8 - 2*z**2. Let x(w) be the second derivative of c(w). Is x(4) composite?
True
Let q = -176 + 511. Is q composite?
True
Let p = 476 + -239. Is p composite?
True
Let p = 3 - 3. Suppose 0 = -2*x - p*x + 596. Suppose 0 = 2*s - 4*t - x, 3*s - t - 2*t = 447. Is s a composite number?
False
Let t = -6 + 10. Suppose -t*d = -0*o - 3*o - 126, -2*d + 5*o = -56. Is d prime?
False
Suppose 29803 - 9038 = 5*p. Is p composite?
False
Suppose 0 = -3*n + 5*b + 1649, -1639 = -6*n + 3*n - 5*b. Let p = -337 + n. Is p a prime number?
True
Suppose 3*k + 18 = 45. Let t = 112 + k. Is t a composite number?
True
Let q(b) = b**3 + 2*b + 2. Let m be q(0). Suppose 0 = -h - m*h + 633. Is h a prime number?
True
Let j = 214 - -29. Let w = j - 164. Is w a prime number?
True
Suppose -3*o = -2*o. Suppose o = -2*l + 3 + 3. Is l prime?
True
Suppose -5*i - 715 + 90 = 0. Let h = 435 + -643. Let l = i - h. Is l a prime number?
True
Let v = 1484 - 999. Is v a prime number?
False
Let m(t) = 917*t**3 + 2*t**2 - 3*t + 1. Is m(1) prime?
False
Suppose 12*c + 69 = 2745. Is c prime?
True
Let x(f) = -3*f**2 - 2*f - 1. Let l be x(-1). Is (2 + -21)*-31 + l prime?
True
Suppose -2*h - 8 = -4*v + 2*h, -3*v - 15 = 4*h. Let g be v - -2 - (1 + -27). Let p = g - 8. Is p a prime number?
True
Let h(k) be the first derivative of k**4/4 + 2*k**3 - k**2 + 3*k - 5. Let a = 