et w(m) = 2*m. Let q be w(3). Let j = q - 0. Is j prime?
False
Suppose s + 56 = 5*c + 5*s, -3*s - 4 = -2*c. Suppose j - c = -3*j. Is j a composite number?
False
Suppose d = -53 + 502. Is d a composite number?
False
Let h(l) = 158*l**2 + 2*l + 1. Is h(-1) composite?
False
Suppose t = -0*t + 75. Let x = -16 + t. Is x a composite number?
False
Let j be (4/(-5))/((-3)/30). Let m = 6 - j. Is 126 + m/(-1) + -1 composite?
False
Let b be (-2)/((4/(-5))/2). Suppose -b*f + 4*z + 449 = 0, 4*f - 4*z + 0*z - 360 = 0. Is f a composite number?
False
Suppose -2*j + 11*h - 6*h + 12 = 0, -2*h - 4 = 0. Is (6 - -2) + (-2)/j prime?
False
Let i(r) = r**3 - 4*r**2 + 26*r - 25. Is i(10) prime?
False
Suppose 0 = 3*f + 4*a + 9, 6 = -3*f - 0*a - 3*a. Let r be ((1 - 1)*f)/2. Suppose 2*n + 2*v - 304 = -v, 2*v + 4 = r. Is n prime?
False
Is 2/10 + (-6828)/(-10) prime?
True
Suppose 0*q + 3*o = -3*q - 27, 2*o = 4. Let p(y) = y**3 + 13*y**2 + 2*y + 3. Is p(q) prime?
True
Let o be ((-15)/6 + -2)*2. Let b = -4 - o. Is 682/8 + b/(-20) prime?
False
Let o(t) = 35*t + 9. Let b(p) = p + 1. Let v(l) = -4*b(l) + o(l). Let s be v(4). Let a = s - 14. Is a composite?
True
Let f(l) = -19*l**3 - 3*l**2 + 20*l**3 - 3 + 13*l**2 + 11*l. Suppose -3*g = 2*g + 3*v + 31, -47 = 4*g - 5*v. Is f(g) a composite number?
False
Is 1/1 + -1 + 1261 + -2 a composite number?
False
Let t(f) be the first derivative of f**4/4 - 10*f**3/3 - 9*f**2 + 15*f - 1. Is t(12) composite?
True
Let s be 3070/4*(-6 + 4). Is s/(-20) + (-1)/(-4) composite?
True
Let r = 3 + -3. Is (r - (1 - 57)) + -3 a prime number?
True
Suppose -4 + 6 = u. Suppose u*f - n - 11 = 12, -2*f - 5*n + 53 = 0. Is f a prime number?
False
Suppose -5*r + 0*r = -25. Suppose -r*a + 1269 = 214. Is a a prime number?
True
Let f(b) = 42*b**3 - 1. Let o be 1*-1 + 0/(-1). Let z be f(o). Let u = z + 120. Is u composite?
True
Let r(h) = h**3 - 8*h**2 + 11*h - 9. Suppose -7 = p - 3*g + 21, 4*p - 5*g + 105 = 0. Let q = -18 - p. Is r(q) a prime number?
True
Let m(o) = 101*o - 3. Is m(2) composite?
False
Let l(z) = 3*z - 4*z - 2*z - 5. Suppose -2*n - 17 = -t, -4*n + 5*t - 35 = -10. Is l(n) prime?
False
Suppose -18 = -l - 4*c, 0 = -l + c - 2 - 0. Suppose -l*v = -v. Suppose -w - 2*w + 90 = 3*r, v = 2*w + 4*r - 50. Is w composite?
True
Suppose -2*b - 3*h = -53, b + 2*h - 105 = -4*b. Is b a composite number?
False
Suppose 0 = 2*d - 155 - 39. Is d a composite number?
False
Is 2106/8 - 2/8 prime?
True
Let x be (1 + (-7 - 0))*-65. Suppose -2*y + 554 = -3*k, -1 = 2*k + 7. Let v = x - y. Is v a prime number?
False
Let w be 3 + 1 + (-10)/(-5). Let s(u) = 25*u + 7. Is s(w) a composite number?
False
Suppose 0 = -3*a - a + 36. Let n be (a/4)/((-1)/4). Let g(i) = -2*i + 4. Is g(n) prime?
False
Let l(j) = j**3 + 2*j**2 - 4*j - 2. Let m be l(-3). Let d(k) = -3*k + 12*k + 4*k. Is d(m) composite?
False
Suppose 13 = p + 2*r, r + 32 = p + 4. Is p prime?
True
Let h(i) = -20*i + 3. Is h(-11) a composite number?
False
Let w(s) = -s - 7. Let c be w(-7). Suppose -2*p + 2*h + 150 = c, -41 = -p + 3*h + 42. Is p a prime number?
True
Let h(m) = 56*m**3 + m**2 + m + 1. Let l be h(-1). Is l/(-3) - 6/(-9) a composite number?
False
Let j = -4 - -4. Let x(s) = -13*s**2 + 9*s - 76. Let z(f) = -3*f**2 + 2*f - 19. Let h(k) = 2*x(k) - 9*z(k). Is h(j) a prime number?
True
Suppose -2*n = 347 - 3. Let c = n - -267. Is c a prime number?
False
Let p(g) = 6*g**2 + 1. Let m be p(-1). Let k(r) = 2*r**2 - r. Is k(m) prime?
False
Suppose r - 17171 = -10*r. Is r a composite number?
True
Suppose 3*m - 957 = -3*k, -5*m + 5*k = 2*k - 1595. Is m a prime number?
False
Let w = -34 - -3. Let s = w + 53. Is s a composite number?
True
Is 2/(-3)*137928/(-16) a composite number?
True
Suppose -k = -a - 166, -a + 0 - 3 = 0. Is k a prime number?
True
Let j(c) = -265*c. Let x(n) = n**2 - 3*n - 1. Let i be x(3). Is j(i) composite?
True
Let s(u) = -u**2 + 63*u - 49. Is s(30) prime?
True
Let h(k) = k**3 - 6*k**2 + 2*k - 8. Let l be h(6). Suppose -771 = -l*t - 5*w, w - 592 = -4*t + t. Is t a prime number?
True
Let d(g) be the first derivative of -1 - 13/2*g**2 - g. Is d(-6) composite?
True
Let m = 164 + -25. Is m a composite number?
False
Suppose 36 = 2*i - 6*i. Let t be 30/i*42/(-4). Suppose -w + t = 4*w. Is w composite?
False
Suppose -2*r = -5*t + 9, 3 - 15 = t - 5*r. Suppose -t*z - 2*q = 2*z - 315, z - 2*q - 75 = 0. Is z a composite number?
True
Suppose c + 0*c = 163. Is c composite?
False
Let v be (-2)/10 + (-62)/(-10). Let l = 36 + -21. Let t = l - v. Is t prime?
False
Let g(r) be the second derivative of r**4/12 - 5*r**3/6 - 7*r**2/2 + 3*r. Is g(7) a prime number?
True
Let m = 290 + -53. Is m a composite number?
True
Let v = 468 + 203. Is v prime?
False
Is 2/(-6)*(-96 + 3) a prime number?
True
Let o(y) be the second derivative of 2/3*y**4 + 7/6*y**3 + 0 - y + 5/2*y**2 + 1/20*y**5. Is o(-6) prime?
False
Let z be (-3)/24*-4*0. Suppose -4*g + z*g = p - 17, -4*p - 3*g = -133. Is p a composite number?
False
Let i be -1 + 6/(-3) + 0. Let d = i - -8. Suppose 0 = -0*t - 5*t + 3*b + 47, 27 = d*t + 2*b. Is t composite?
False
Suppose 0 = 2*n + 2*n - 5*t - 1179, -4*t - 588 = -2*n. Suppose 3*u = -u + n. Is u composite?
True
Let h(j) = 39*j - 13. Is h(4) a prime number?
False
Let y(z) = 787*z**2 - 6*z + 6. Is y(1) composite?
False
Let d(t) = -t**3 - 9*t**2 - 14*t - 25. Is d(-11) prime?
False
Suppose -5*v - 4*w + 356 = 0, 4*w = -3*v - 64 + 276. Suppose 2*k - 43 - 27 = -3*s, -2*k - 4*s = -v. Let m = k + 21. Is m a composite number?
False
Suppose 0 = -2*w + 4*l - 8*l - 10, -5*w - 4*l = 7. Is (w - -2)/6*502 composite?
False
Suppose 6*r - r - 1055 = 0. Is r prime?
True
Suppose 2*w + w - 12 = 0. Let i = 30 + -32. Is (3 - 50/w)*i a composite number?
False
Let f(k) = -16*k + 4. Let o = -16 + 9. Let a be f(o). Suppose v + u - a = -2*v, -4*v - 3*u = -163. Is v prime?
True
Suppose 0 = -4*u + 1333 + 679. Suppose 0 = 2*x - x - u. Is x a composite number?
False
Let b(v) = 19*v**2 - v**3 - 25*v**2 + 3*v - 4 + 0*v + 13. Is b(-7) a prime number?
True
Let q be ((-4)/(-8))/((-2)/(-20)). Suppose -q*y = -5, 2*u = 7*y - 3*y + 6. Suppose -3*t - 2*t = 3*c - 110, -3*t = -u*c - 32. Is t composite?
False
Suppose -i = 5*j - 1275, -3*i + 0*j - j = -3797. Suppose -i = -o - 4*o. Is o a prime number?
False
Let g = 506 + -175. Is g a prime number?
True
Suppose 5*f + 1 = 56. Let z = -9 + f. Suppose z*a = a + 139. Is a composite?
False
Let b(z) be the third derivative of -z**7/840 - z**6/90 - z**5/24 - z**4/4 - z**3/2 + 3*z**2. Let d(l) be the first derivative of b(l). Is d(-4) prime?
False
Suppose -3*p + 3*a = -279, 0 = -p - p - 4*a + 192. Is p prime?
False
Suppose -54 = -5*s - 4. Is s a composite number?
True
Suppose 2*q - 4*q = -8. Suppose 4*t - 5*n = 104, 115 + 17 = q*t + 2*n. Is t a prime number?
True
Let b = 103 - 54. Suppose 4*p - 91 = b. Is p prime?
False
Suppose 0 = -4*p - p + 10. Is ((-226)/4)/(p/(-4)) a composite number?
False
Is (-140)/(-6) - 10/30 composite?
False
Suppose 0 = m + 13 - 7. Let s = 40 - m. Is s prime?
False
Suppose -k + 20 = -279. Suppose -k = -5*o - 69. Is o a prime number?
False
Let j = 10 + -10. Suppose j = -5*a + 3*b + 14 + 108, 5*a - 2*b - 118 = 0. Is a a composite number?
True
Let x be (54/24)/(1/76). Suppose 7*b + k - 215 = 2*b, 0 = -4*b - k + x. Suppose 12 + b = 4*t. Is t a prime number?
False
Let u = -38 - -78. Let w = -25 + u. Is w composite?
True
Let d(q) = -10*q + 6. Suppose -c - 3*c + 42 = -5*n, 33 = -4*n + 3*c. Let l be d(n). Let v = 29 + l. Is v a composite number?
True
Let u be -2 - (0 + -7 + -3). Suppose -w = u - 91. Is w a prime number?
True
Suppose 3*i - 1 + 4 = 0. Let k = 22 - i. Is k a composite number?
False
Suppose n - 73 = 195. Is (-6)/4*n/(-3) prime?
False
Let r = -8 - -61. Is r composite?
False
Let p be (-646)/4 + 4/(-8). Let h = p + 251. Is h a composite number?
False
Let v = 53 + -24. Is v*3*(-10)/(-15) a prime number?
False
Let l be 0 - 0 - (-10 - -6). Let u = 0 + l. Suppose -13 = -u*v + 139. Is v prime?
False
Let v(h) = -h**2 - h. Let x be v(1). Let b = 4 + x. Suppose 5*c = -b*w + 61, 4*w - 29 = 3*w - 2*c. Is w prime?
True
Let z(f) = -f**2 - 2*f + 3. Let k be z(-3). Let a = 95 - 33. Suppose k*r + a = 2*r. Is r a composite number?
False
Let n(s) = -10*s - 1. Suppose -4*g + 15 = -g. Suppose p + g = -1. Is n(p) a com