w + w = -3*v + a, 0 = -2*w + 4*v + 70. Is w composite?
False
Suppose 2*x = 10, x - 2227 = -2*z - 0*z. Is z prime?
False
Let m = 568 - 267. Is m prime?
False
Suppose 2*k + 4*a - 8 = 0, -5*a = k + 1 + 7. Suppose -2*b - 2*w = -k - 82, 5*b - w - 259 = 0. Let u = 88 - b. Is u a composite number?
False
Is 1/(1 - 9530/9535) prime?
True
Let h(k) = -k**3 + 5*k**2 - k - 47. Let w(a) = -a**2 - 1. Let r(b) = -h(b) - 6*w(b). Is r(0) a composite number?
False
Let z(k) = k**2 - 6. Suppose 0 = -2*j - 0*j - 16. Is z(j) a prime number?
False
Let o = -6 + 5. Let c = o + -2. Let q = 10 + c. Is q prime?
True
Let x(v) = 2*v + 4. Let f be x(3). Suppose k = -5 + f. Let y(d) = 9*d + 2. Is y(k) prime?
True
Let f = -4 + 4. Suppose 4*u + y - 28 = f, 0*u + 4*y + 35 = 5*u. Let x = 20 - u. Is x a prime number?
True
Is -1 + (-35271)/(-27) + (-4)/(-6) prime?
False
Let h = 106 - 30. Suppose -4*a + 0*j + h = -2*j, 2*j - 32 = -2*a. Let k = -3 + a. Is k prime?
False
Let v(l) = -15*l - 83. Is v(-26) a prime number?
True
Let r = 1395 - 838. Is r composite?
False
Suppose 0*y = 3*y + 15. Let i = 5 + y. Let a = 39 - i. Is a a composite number?
True
Suppose -13433 = -3*v - 1316. Is v composite?
True
Let i(m) = m**2 + 5*m - 19. Is i(-13) a prime number?
False
Let q = 57 - 818. Let k = q - -1134. Is k a composite number?
False
Let a = 3149 + -1812. Is a a prime number?
False
Suppose -3*l - 5*y + 876 = 0, -5*l + 0*y = -4*y - 1423. Is l prime?
False
Suppose 84 = r - 4*r. Let t = 51 + r. Is t a prime number?
True
Let y(o) = o**2 + 8*o + 5. Let b be y(-8). Suppose 5*h = b*s + 50, -4*s = h - s + 2. Let f = h - -8. Is f a prime number?
False
Suppose 0*y = y - 4. Is 819/15 + y/10 a prime number?
False
Let p = -11 + 64. Is p composite?
False
Let o be (-258)/(-4) - (-2)/(-4). Suppose -p = 5*s - 900, 3*p - 258 + o = -s. Is s prime?
True
Let f be (-16)/(((-12)/(-26))/(-3)). Suppose f = -0*r + 4*r. Suppose -3*v = -v - r. Is v prime?
True
Suppose 16 = p - 48. Let o = p + 3. Is o a composite number?
False
Suppose -n = -u + 3*n - 11, u - 5*n + 9 = 0. Let q = 0 - u. Is q prime?
True
Suppose -2*n - s + 19 = 0, 4*n - 2*s - 3*s - 59 = 0. Is n a prime number?
True
Is (0 - 2/(-7)) + 76401/63 a prime number?
True
Let k = 9 + -5. Let a(g) = 11*g**2 - 4*g - 1. Is a(k) prime?
False
Suppose -7*c + 344 = c. Is c prime?
True
Suppose -y = -4*f - 293, 3*f + 287 = -f + 3*y. Let v = 139 - f. Is v a prime number?
False
Is (-11625)/(-20) - (-1)/(-4) a prime number?
False
Suppose 0 = 4*y - 5*f - 2309, 4*f = -6*y + 5*y + 551. Is y prime?
True
Let x be 20/(-6)*(-30)/25. Suppose 5*i + 5*p = 185, 3*i - 127 + 16 = x*p. Let o = i - -28. Is o a composite number?
True
Let j(h) = h**3 - 10*h**2 - 4*h + 5. Let w be ((-22)/(-4))/((-9)/(-18)). Is j(w) prime?
False
Suppose 0 = 3*f + 3, 2*n + 4*f - 1179 = f. Is n composite?
True
Suppose 0 = -5*k - c + 179 + 541, -25 = -5*c. Is k prime?
False
Suppose p + 4843 = 5*p + 3*a, 0 = -5*p - a + 6062. Is p composite?
False
Suppose 0 = -5*j + j + 132. Is (-6)/j + (-2943)/(-33) a composite number?
False
Suppose -5*u = -103 - 12. Is u a composite number?
False
Suppose 2*q = -4*c + 32, 5*c - 3*q - 43 = -4*q. Suppose -3*f = -c, 3*s = 5*f + 601 + 182. Let i = s - 133. Is i a composite number?
True
Let m = -142 - -257. Is m composite?
True
Is 967 + 2 + -2 + 0 a prime number?
True
Suppose 3*k = -2*y - k + 40, -5*y - 3*k + 107 = 0. Let d = y - 49. Let q = -8 - d. Is q composite?
False
Suppose -5*w - 2*v + 17 = 0, 0*w + 5*w + 4*v = 9. Suppose -40 = k - 5*k. Suppose -w*y - k + 75 = 2*b, -y = -2*b - 1. Is y prime?
True
Is (118/(-8))/(2/(-40)) a prime number?
False
Suppose -12*b - 10 = -11*b. Let q be ((-8)/b)/(2/340). Suppose 4*c - 155 = 3*v + q, -c + 59 = 2*v. Is c a prime number?
False
Let o(q) be the second derivative of 10*q**3/3 + 9*q**2/2 + 3*q. Suppose -2*b - 3*b + 14 = 2*y, -y + 7 = b. Is o(y) composite?
False
Is (-4 - -2)*2 - -225 a prime number?
False
Suppose -t + 4*w = -0*t - 3, 3*w = t - 2. Let s be ((-1)/t)/(2 + -3). Is 14 + (-3 - (-1 + s)) prime?
True
Let p(q) = 2*q**2 - 2*q - 1. Let y be p(-1). Suppose -s + 2*z + 557 = 0, 2*s = -y*s - 5*z + 2830. Is s composite?
False
Let b be 5/2*(-1 - -3). Suppose -a + 149 = 3*p, -b*p - 133 = -3*a + 2*a. Is a composite?
True
Let z(f) = 2 + 0*f**2 + 4*f**2 - f**2 + 2*f - 4*f**2 - f**3. Let m be z(-2). Is 386/4 + 1/m a composite number?
False
Suppose 0 = -4*c + c + 6. Suppose -3*i - c*i = -3*y - 427, 4*i - 5*y = 352. Is i prime?
True
Let b(w) = 25*w + 3. Let d(t) = -t + 1. Let v be (-10)/(-4)*(-20)/25. Let x(o) = v*d(o) - b(o). Is x(-6) composite?
True
Is 1/((-12)/(-921))*4 prime?
True
Suppose -1030 = 7*j - 3753. Is j a prime number?
True
Suppose w + 2*b - 114 = 0, 0*b + 12 = 3*b. Suppose 0 = 2*x - w. Is x composite?
False
Let d(u) be the first derivative of 13*u**3/3 - 2*u**2 - 5*u + 2. Is d(4) a prime number?
False
Let x be ((-1)/2)/(1/4). Is 110 - (x - -4 - 1) composite?
False
Let p = -3 + 1. Let o be -2*3*1/p. Suppose o*v = 2*c - 27, 95 = c + 4*c - 2*v. Is c a prime number?
False
Let w(g) = g**2 + 14*g - 1. Suppose l = -3*l - 24. Let s be w(l). Let a = 86 + s. Is a a prime number?
True
Suppose -5*u + 11 = -5*c + 1981, -1967 = -5*c + 4*u. Is c composite?
True
Let w = -2 + 2. Suppose 3*f - 2*n + 4 = w, 0 = f + 2*n + 3*n - 10. Is (f + -2)*(-42)/4 prime?
False
Let b = 5506 - 8981. Let x = -2076 - b. Is x composite?
False
Suppose -f + 0*f = -3. Suppose -f*d = -79 - 152. Is d composite?
True
Let z = 5 - 1. Suppose 0*c = z*c - 16. Suppose -11 + 3 = -c*r. Is r a composite number?
False
Let f be (-2 - 201/(-12))*12. Suppose 0*r + 3*r = f. Is r a composite number?
False
Let z(m) = -m - 7. Let o be (-5 - -3)/(2/10). Is z(o) a prime number?
True
Let b = 710 + -173. Is b composite?
True
Suppose -4*v + 3 = -4*b - 21, -28 = 3*b + 2*v. Let p be b + 5 + (-5)/(-1). Suppose y - 357 = -p*y. Is y a prime number?
False
Suppose -2*w + 3*c = -c - 222, 0 = 4*w + c - 435. Is w a composite number?
False
Let m(l) be the first derivative of -7*l**2/2 - 10*l + 7. Is m(-12) a composite number?
True
Suppose 5*w - 2*w + 6 = -x, 2*w - 3*x = -15. Let v(h) = 123*h**2 + 2*h + 3. Let z(j) = -j**2 + j + 1. Let l(b) = w*z(b) + v(b). Is l(-1) composite?
False
Suppose -2*z - 2*z = -12. Suppose 4*a + 53 = z*d, 0*a + 27 = d + a. Is d composite?
False
Let h(a) = a**2 + 3*a + 2. Let t be h(-3). Suppose 0 = -5*v + o + 22, 5*v - t = 3*o + 24. Suppose -5*d - 4*p + 465 = -2*p, 3*p + 395 = v*d. Is d composite?
True
Let m = 1164 + 2869. Is m a composite number?
True
Let x(n) = 855*n - 35. Is x(6) a prime number?
False
Let o = -22 + 16. Let r(i) = i**3 + 5*i**2 - 9*i - 3. Let h be r(o). Suppose -5*q - f + 155 = -3*f, h = 3*f. Is q prime?
False
Suppose 5*r - 892 = -2*o, -5*r + 4*r + 173 = -5*o. Is r composite?
True
Let a(w) = -423*w - 1. Let j be a(-1). Suppose -j + 84 = -2*l. Suppose 4*y - 262 = -3*d, -5*y + 162 = 2*d - l. Is y composite?
False
Suppose 0 = 2*i - 3 - 1. Let w(j) = -4 - j**3 + j**2 + 9*j + j**2 - i*j + 3*j**2. Is w(5) a composite number?
False
Let z(s) be the third derivative of s**5/30 - 7*s**4/12 + 13*s**3/6 - 2*s**2. Is z(9) a prime number?
False
Let l(d) = -d**2 + 10*d + 3. Suppose -6*p + 16 = 4*i - 2*p, -14 = -2*i - 5*p. Suppose -i = -t + 6. Is l(t) a composite number?
False
Is (-13 - -9)/((-2)/7) composite?
True
Let j(n) = -7*n - 6. Is j(-3) a prime number?
False
Let b be (-4)/(-14) - (-24)/14. Let m = -1 + b. Suppose 34 = q + m. Is q a prime number?
False
Let x(d) = 3*d**2 + 3*d + 1. Suppose -3*c - 3 = 3*n, 2*n - 3 - 1 = 0. Is x(c) a composite number?
False
Is -1477*((-24)/(-21))/(-4) prime?
False
Suppose 2*d = 2 - 0. Is 82 - (d/1 + -2) a composite number?
False
Suppose 5*s = 462 + 813. Suppose -3*l = 3*g - 2*l - s, -5*l = 2*g - 170. Is g a prime number?
False
Let o(s) = -s**2 + 5*s + 2. Let j be o(5). Suppose -42 = 2*x - 4*x - j*r, -5*x + 4*r = -105. Is x a prime number?
False
Suppose 0 = 8*y - 6*y - 310. Suppose w + 4*w = y. Is w a prime number?
True
Is (-7)/(2/211*1/(-2)) a composite number?
True
Let t(r) = 3*r**2 + r + 4. Let m be t(-3). Let p(q) = m*q**2 + 5*q - 2*q - 1 + 11*q**2. Is p(2) composite?
True
Suppose -3*h - 4 = -5*h. Is (2 - 3 - h) + 26 a prime number?
True
Let y(r) = 33*r**2 - 10*r + 9. Is y(4) composite?
True
Suppose -4*b = -8 - 8. Is 201/2*b/6 prime?
True
Suppo