 0. Suppose 0 = -5*u + 2*v - 5*v - 2, 3*u - v = z. Is 16 + 1 + (-6)/u prime?
False
Is (-14726)/(-8) - (-8)/32 a composite number?
True
Suppose 0 = 3*t + 4*l - 8, 5*t - 2*l = 16 + 6. Let w(d) = -d**2 + 4*d + 1. Let v be w(t). Is v*1/(3/111) a prime number?
True
Let w = 3 - -15. Suppose 59 + w = d. Is d a composite number?
True
Suppose -3*r + 5 = -4. Suppose 7 + 62 = r*c. Is c composite?
False
Suppose 0 = 3*q - q + 14. Let z(i) = -6*i + 9. Is z(q) a composite number?
True
Is 1/(-2*-2*(-1)/(-12652)) a prime number?
True
Let k(x) = -81*x - 1. Let h = 8 + -10. Is k(h) prime?
False
Suppose -3*h = 5*j - 1, 0 = -2*h - 3*h - 3*j - 25. Let v be -1 - -5 - h/(-4). Is 35/2 - (-3)/v a composite number?
False
Suppose 4*m + 2 = g + 10, 8 = 4*m - 2*g. Is (87/m)/((-1)/(-2)) a prime number?
False
Let s be (-70)/4*12/(-15). Let r = s - 7. Let i(c) = -c**3 + 6*c**2 + 7*c + 3. Is i(r) a composite number?
False
Suppose 0 = 4*j - 3*j - 77. Is j a prime number?
False
Let c = 199 + -1263. Let w = 1813 + c. Is w prime?
False
Suppose 2*m - 15 = -41. Let z = 2 - m. Is z composite?
True
Suppose -r = 3*r - 228. Is r a prime number?
False
Let q(k) = k**3 + 6*k**2 - 7*k - 10. Let t be q(-7). Is 669*(2 + t/6) prime?
True
Suppose 26 - 101 = -3*v. Is v a prime number?
False
Let h(b) = b + 3. Let t be h(3). Suppose 2*v = -0*v + 14. Let r = t + v. Is r a prime number?
True
Let f = -26 + 33. Let b = -167 + 117. Let t = f - b. Is t a prime number?
False
Suppose -3*v + 3*d + 411 = 0, -4*d - d = -3*v + 403. Is v a composite number?
True
Let i be 0*4/(-12) - 16. Is (-1548)/i + 1/4 composite?
False
Let o(y) = -y**3 - 5*y**2 + 4*y + 3. Is o(-8) a prime number?
True
Let r = 13 - -322. Is r composite?
True
Let s(k) = -k**2 + 10*k + 1. Let z be s(10). Is 12/(-9)*-69 - z a prime number?
False
Let l = -88 - -381. Is l a prime number?
True
Is (6265/10 + 2)/(2/4) a composite number?
True
Suppose -a - 4*y = -3093, 0 = 8*a - 6*a - 3*y - 6131. Is a a composite number?
True
Is (-3622)/4*(17 - 19) a prime number?
True
Suppose f = -5, 6*l - f - 260 = l. Is l a composite number?
True
Let g = 133 + 186. Is g prime?
False
Let p = 1 + 2. Is (-6)/p*(-27)/6 a prime number?
False
Suppose 2*z + 87 = 5*z. Let u be (-6)/21 + 23/7. Suppose u*o - z = -2. Is o a prime number?
False
Let u be 4 - ((-2)/(-1) - 0). Suppose 0 = u*g + 2*g - 8. Is (37/(-2))/(g/(-4)) a prime number?
True
Let a = -124 - -677. Is a composite?
True
Let i = -4 + 6. Suppose i*g - 705 = -g. Is g a composite number?
True
Let b = -2 + 5. Suppose 3*q = 5*r - 572, -3*r - 3*q - b = -351. Is r a composite number?
True
Suppose 15*j + 6829 = 26074. Is j a composite number?
False
Suppose 3*j - 218 = 2*j + 5*x, -x = 5*j - 1168. Is j prime?
True
Let n be 2/(-5) + (-3354)/(-10). Suppose 22*j = 17*j + n. Is j composite?
False
Let o(p) = -p**2 - 8*p + 4. Let l(a) = -4*a**2 - 25*a + 12. Let u(k) = -2*l(k) + 7*o(k). Is u(6) composite?
True
Let f = -1 + 0. Let y be 2 + (-37 + 2)*f. Suppose -y = 2*v - 3*v. Is v composite?
False
Let o(a) = a - 8. Let n be o(3). Let y(m) = -52*m - 7. Is y(n) composite?
True
Let w(d) = 71*d**2 + 28*d + 8. Is w(-9) composite?
False
Suppose 0 = -8*h + 3*h - 30. Let a(u) = u**2 - 4*u. Let l be a(3). Is (-2 - (-11)/l)*h a composite number?
True
Is (-3)/2*(-25396)/42 a composite number?
False
Let w = 140 - 61. Is w prime?
True
Let w(x) = 78*x + 1. Suppose -c + 5 = 2*f - 0*c, 4*f + 3*c = 13. Is w(f) a prime number?
True
Suppose 3*a - 612 = 3*k, 0 = 5*k + 11 - 1. Is a composite?
True
Suppose -2*s - 17 = 3*u, 4*u = 2*s - 7*s - 18. Let p(d) = 5*d**2 - 2*d - 2. Let j be p(2). Is u/(j/(-12))*1 a composite number?
True
Let a(u) = u**3 + 3*u**2 - 2*u - 1. Let b be a(-3). Suppose -2 = -b*i + 13. Suppose 65 = 5*s - 4*d, -4*s = -s - i*d - 39. Is s a prime number?
True
Let a = 5 - 3. Suppose 98 + 164 = a*x. Suppose 3*v = 2*v + x. Is v composite?
False
Let m(d) = d**3 - d**2. Let w be m(2). Suppose 6*c = w*c + 42. Is c a composite number?
True
Let p(s) = 22*s**2 - 3*s - 9. Is p(4) composite?
False
Suppose 0 = 2*v - h, 3*v = -4*h + 5*h - 1. Let m(l) = 22*l**2 - l. Is m(v) composite?
False
Suppose -2*d + x + 2*x = -21, -2*x = -5*d + 47. Let n = d - 6. Is n composite?
False
Let s = -26 + 92. Suppose 5*k = -4*t + s - 10, 3*k - 3*t = 12. Suppose 3*x = k*x - 20, -3*x + 74 = 2*q. Is q composite?
False
Let w be 28/8 + (-6)/4. Suppose -b = -n, w*b + 2*n + 6 = -2*b. Let p(j) = -257*j**3 + j**2 + 2*j + 1. Is p(b) prime?
True
Let n be 6 + 0 - (-4 - -6). Let j(q) = -n + 9*q + 12*q + 4*q. Is j(5) a composite number?
True
Suppose 0 = j - 1048 + 318. Suppose 5*g - 395 = -2*b, 3*b = -b + 2*g + j. Is b a composite number?
True
Let i(f) be the third derivative of f**5/30 + 2*f**3/3 - 5*f**2. Suppose l = 5*m + 7, -4*l - 3*m = 7 + 11. Is i(l) composite?
True
Suppose -y + 4 = 0, 2*x - 1154 = y + 4*y. Is x composite?
False
Suppose -37 - 43 = 5*k. Let i = k - -22. Is i composite?
True
Let g(k) = 2*k**2 - 7*k + 8. Is g(7) composite?
True
Suppose -61 = -3*z + 35. Suppose -z = -i + 5. Is i composite?
False
Let p(h) be the third derivative of 7*h**6/720 - h**5/24 - h**4/8 + 2*h**2. Let x(g) be the second derivative of p(g). Is x(4) a composite number?
False
Suppose 0 = -0*k + 5*k - 235. Let b = k + 51. Suppose b = g + g. Is g prime?
False
Let d(v) = -v**2 - 6*v - 7. Let k be d(-5). Let w(m) = m**3 + 3*m**2 - 2*m - 3. Let u be w(k). Suppose -j = j + u*o - 17, -o + 37 = 2*j. Is j a prime number?
False
Let r be (11/2)/(-1)*2. Let j = -16 - r. Let p = 31 + j. Is p a composite number?
True
Let q = 1340 + 215. Is q a prime number?
False
Let g = 17 + -6. Suppose -3*k + 7 + g = 0. Is k composite?
True
Suppose h = 4*h - 1749. Is h prime?
False
Suppose 0*v = -2*v + 4. Is (-13)/v*-2*1 a prime number?
True
Is (-1535)/(4/(0 + -4)) a prime number?
False
Let v(z) = -z - 1. Let o be v(-2). Let s be 2*(0/(-2) + -1). Is 49/(0 + o) + s a prime number?
True
Let b(f) = -f**3 + 11*f**2 - 11*f + 12. Let n be b(10). Suppose 6*w - w - 134 = -n*l, -4*l = -w - 268. Is l prime?
True
Suppose -5*y + 193 + 97 = 0. Is y a composite number?
True
Let h(n) = 2*n - 9. Let i be h(6). Suppose -l = -3*b - 2*l + 24, i*b = 5*l + 42. Is 3/(b/48) + -1 composite?
True
Is (16196/(-12))/(2/(-6)) prime?
True
Suppose 0 = -3*y - y. Suppose y = 3*w - 15, 3*h - 5*w = -0*w + 212. Is h a composite number?
False
Let y(x) = -18*x - 19. Is y(-10) a prime number?
False
Suppose -h + 0 = -4. Suppose -6 = -3*w, 2*w + 0*w = h*z - 472. Is z prime?
False
Suppose 3*o + 452 = -o. Let s = o - -192. Is s prime?
True
Is 5/(5/82) - -3 composite?
True
Suppose 5*q - 35 = 4*q. Is q prime?
False
Suppose -z + 6*z = 210. Suppose 0 = p - 3*p + z. Let m = p + -7. Is m prime?
False
Suppose 0 = -5*t + 513 - 1573. Is (3/2)/((-6)/t) a composite number?
False
Let o = -4 - -7. Suppose 0 = -z - 2*k + 41, -7*k = -3*z - o*k + 163. Is z a composite number?
True
Suppose -p = -4*p + 4*s - 7, 0 = s + 5. Let n = p + 28. Let x = n - 12. Is x a prime number?
True
Suppose 5*r + 175 = 5*t, 5*r + 69 = -3*t + 214. Suppose 5*l - 130 - t = 0. Is l a composite number?
True
Let w(p) = -p**3 - 7*p**2 + 2*p + 1. Let r be w(-7). Is (r/26)/((-2)/136) a prime number?
False
Let c = 5 - 9. Let z be 3/6 + (-58)/c. Suppose 0 = -5*h + z + 90. Is h prime?
False
Suppose 3*d - d - 365 = 5*w, -4*d + 4*w + 760 = 0. Let b = d - 128. Is b composite?
False
Let g(b) = -19*b - 1. Let c be g(3). Is (-3)/(-6)*-6 - c prime?
False
Suppose 3*u + 5 = 4*p, -2*u = -2*p + p. Let t(v) = -v**3 + 8*v**2 + 12*v - 5. Let y be t(9). Let a = y + u. Is a a prime number?
True
Suppose -2*y = -7*y + 8445. Is y composite?
True
Let o = 1 + 1. Suppose f - o*f = -127. Is f a composite number?
False
Let s(l) = 8*l**2 + 30*l + 25. Is s(12) a composite number?
True
Let f = -5 - 1. Let c be (-2 + 8)*f/(-9). Let o(t) = t**3 + 2*t**2 - 2*t + 3. Is o(c) prime?
False
Let c(o) = o**2 + o. Let h be c(1). Suppose 4*l = -3*r + 49, h*l = -3*l - 2*r + 56. Is l a prime number?
False
Suppose v - 2348 = -3*v. Is v composite?
False
Let v(s) = s**3 - 5*s**2 + 3*s. Let g be 3 + -2 + (1 - -1). Let k be v(g). Let h = 55 + k. Is h a composite number?
True
Let x(s) = s**2 + 5*s - 6. Let h be x(-6). Suppose 5*k - 156 = -3*d, 5*k - 5*d - 194 + 14 = h. Suppose -p + 46 = -k. Is p a composite number?
False
Suppose 0 = 7*v - 12*v + 1835. Is v