ose 0*z - z + w = 0. Is z prime?
False
Let k(w) = 64*w + 1. Let f be (13 + -8)*(-2)/(-10). Is k(f) a composite number?
True
Let w = 14 + -10. Suppose -3*r = -w - 5. Is (-3)/r - (-1 + -7) composite?
False
Suppose 514 = -i + 5*w + 2887, -4671 = -2*i - 5*w. Suppose 7*p - i = 3*p. Is p a composite number?
False
Let b be -1 + (2 - 1) + 4. Suppose b*w + 19 - 227 = 0. Is (w/6)/(1/3) a prime number?
False
Suppose 3*l - 940 = -i, -4 = -3*l - 1. Is i composite?
False
Suppose -3*y + 8*y - 20 = 0. Suppose p - 26 = -l, -y*p + 3*l = -54 - 22. Let s = p - 16. Is s a prime number?
False
Suppose -2*x - 15 = x. Let d(s) = -s**3 - s**2 - 3. Is d(x) prime?
True
Suppose 0 = -4*v - 4*z + 68, -v - z - 2*z = -21. Let n = 13 + -10. Suppose -2*b + v = n. Is b a composite number?
True
Suppose -4*i + 2*m = -1 - 3, 0 = 2*i + 3*m - 2. Suppose 12 + i = b. Is b composite?
False
Let u = 367 - 206. Is u a prime number?
False
Let m be (19*9)/((-2)/(-6)). Let z = m + -289. Is (-4)/12 - z/(-6) a prime number?
True
Let j(a) = 8*a**2 - 7*a + 11. Let r(h) = 7*h**2 - 6*h + 12. Let g(m) = 5*j(m) - 4*r(m). Is g(10) composite?
False
Let q(x) = 954*x + 1. Is q(4) prime?
False
Suppose 2*m + 6*x - x = -19, 0 = -5*m - 4*x - 5. Suppose 0 = 4*k - 5*t - 331, -4*k - m*t + 313 = -2*t. Is k composite?
False
Suppose -1582 = -2*r - 224. Is r a composite number?
True
Let z = 89 + -42. Let f = z - -26. Let k = f - 40. Is k a composite number?
True
Let t be (-3)/15 - 4/(-20). Suppose -150 = -2*s - 3*b - b, -b - 5 = t. Is s composite?
True
Let t = 198 - 139. Is t composite?
False
Let c = 147 - -146. Is c a composite number?
False
Let n(u) = -u**3 - 4*u**2 - 4*u - 1. Let w be n(-3). Suppose w*g - 6*g = -1028. Is g prime?
True
Suppose -5 = -5*j, 3*y - y = -j - 19. Let o = -6 - y. Suppose 34 = o*u + 5*r, u + 4*r + 0*r - 14 = 0. Is u a composite number?
True
Suppose -5*m = 3*d - 6, m - 8 = -m - 4*d. Suppose 4*l + 4*x - 344 = m, 0 = l - 0*x + 4*x - 98. Is l a composite number?
True
Let y(j) be the third derivative of 11*j**4/24 - 4*j**3/3 - 2*j**2. Is y(7) a prime number?
False
Let x be (-449)/(-5) - (-1)/5. Let m = 16 + x. Is m a prime number?
False
Let h(o) = -16*o**3 - 2*o**2 + 3*o + 3. Is h(-4) composite?
False
Let s(k) = k**3 + 8*k**2 - 5*k - 12. Let x(b) = b**2 - b - 1. Let c(y) = -s(y) - x(y). Is c(-10) a prime number?
True
Let o be 4/14 - 5811/(-21). Suppose 0 = 2*r + 5*t - 536, -4*r + 3*t + 303 = -769. Suppose 5*n = o + r. Is n composite?
False
Let z(b) be the third derivative of -b**6/120 + 3*b**5/20 - b**4/8 + 4*b**3/3 - b**2. Is z(7) composite?
True
Suppose -1 - 14 = -5*i. Suppose 0*g - 18 = -i*g. Is g a prime number?
False
Suppose 0 = -2*r - 4*s - 32, -3*r - 43 = 5*s. Is 89 + r - 2*-1 a composite number?
True
Let x(i) = -i**2 + 6*i. Let a be x(5). Suppose 0 = b + 4*b. Suppose b*o + 185 = a*o. Is o composite?
False
Let q be (0 - -1) + 4 - 1. Suppose 0 = q*z - 25 - 3. Suppose 4*g - 35 = -z. Is g composite?
False
Let a(y) = 19*y**2. Let j be a(-2). Suppose 35 = 3*c - j. Is c a composite number?
False
Let d = 32 + 131. Is d prime?
True
Suppose -y + 177 = -152. Suppose -2*x = 5*i - 733, -y - 86 = -3*i + 5*x. Is i composite?
True
Let f(d) = 4*d + 3. Let x(l) = -l**2 - 7*l + 10. Let p be x(-8). Suppose -2*u - p*u = -32. Is f(u) a prime number?
False
Suppose -2*x - q - 4*q + 407 = 0, 3*x = 3*q + 558. Is x prime?
True
Let y = -631 - -1300. Is y prime?
False
Let b = -14 - -19. Is (-7 + b)/((-2)/37) a prime number?
True
Suppose y - 4*y = 0. Suppose -3*f + 9 = y, -3*i - 525 = -2*i + 5*f. Is 6/(-10) + i/(-25) prime?
False
Let t = 3 + 76. Suppose -3*l = 3*j - 108, 5*l + t = 5*j - 51. Is j composite?
False
Let x(j) = 11*j**3 - 2*j + 1. Let o be x(1). Suppose -t + o = t. Suppose 2*q + 22 = -4*i + 152, -i = -t*q - 49. Is i a prime number?
False
Is -1 + 2 - 1296/(-9) a composite number?
True
Suppose c - 4*i - 11 = 0, 0 = -c + 5*c - 3*i - 18. Suppose -c*y = -5*a - 262, -2*y = -0*a + 5*a - 183. Is y a prime number?
True
Is (-1)/(-3)*(1211 + -8) a composite number?
False
Let u = -11 + 14. Let s(c) = -c**3 + 4*c**2 + c - 3. Is s(u) prime?
False
Let k(i) = i + 6. Let w be k(-6). Suppose w = 4*x + 559 + 713. Is x/(-14) - 2/(-7) composite?
False
Suppose -3*q = -77 - 16. Is q a composite number?
False
Let s = -918 + 1315. Is s a prime number?
True
Let x(n) = 483*n**2 - n + 7. Is x(2) a prime number?
False
Suppose -2*s - 5*f + 1206 = 0, -3*f = -5*s - 2*f + 3069. Is s composite?
False
Let l(m) = -m**3 + 0*m + 6*m**2 - 3*m + 0*m - 5. Let d be l(5). Suppose -q - 114 = -h, d*h + 4*q - 600 = 3*q. Is h composite?
True
Let g(h) = 16*h**2 + 2*h - 2. Suppose -5*m - 3 = -53. Let u be 4/m + 12/(-5). Is g(u) a composite number?
True
Let o(f) = -f**3 - 5*f**2 + 7*f - 9. Let j be 42/(-5) - (-4)/10. Is o(j) a prime number?
True
Suppose -20 = 5*r - 10*r. Suppose 0*a - 132 = -r*a. Is a prime?
False
Let l = 182 - 122. Suppose 0*d = -4*d + l. Is d a composite number?
True
Let a = 25 + -49. Let g = a + 546. Is g/14 + 6/(-21) composite?
False
Suppose -o + 4*k + 356 = k, -2*k + 1035 = 3*o. Is o composite?
False
Let k(p) = 60*p**2 - 2*p + 1. Let c be k(2). Suppose 0 = 5*o - 2*o - c. Is o composite?
False
Suppose 0*o + 5*f - 124 = 4*o, 4*f = 2*o + 56. Let n be -26*((-15)/6 - 1). Let b = o + n. Is b a composite number?
True
Let r(n) = 2*n**3 + 12*n**2 + n - 4. Let a be r(-8). Let j = -59 - a. Is j prime?
False
Let r(x) = -4*x**3 - 5*x**2 + 13. Is r(-6) prime?
False
Let y(j) = -30*j - 4. Let q be 5 + -5 - (-12)/(-2). Let v be y(q). Let k = 265 - v. Is k prime?
True
Let l = -25 - -51. Let z be (12 - 1)*1/1. Let d = z + l. Is d composite?
False
Let s(d) be the third derivative of d**6/120 - 7*d**5/60 + 5*d**4/24 + d**3/3 + 2*d**2. Let r be s(6). Is 53/5 + r/(-10) a composite number?
False
Suppose -h + 2 = -2*a - 1, 0 = -3*a - h - 17. Let c(u) = -8*u - 5. Let r be c(a). Suppose -w = -r - 8. Is w a prime number?
False
Let a(m) be the second derivative of m**5/20 - m**4/2 - 2*m**3/3 + 5*m**2 + 6*m. Suppose 0 = t + 4*t - 35. Is a(t) prime?
True
Let m = 69 - 20. Is m prime?
False
Let g(s) = 3*s. Let h be g(2). Is (-3 + 7)*111/h prime?
False
Let o(f) = -f**3 + 2*f**2 + 2*f + 3. Let a be o(3). Suppose a = -q - 0 - 25. Is 4/10 + (-3965)/q composite?
True
Let b be -1 - 1/((-2)/2). Suppose 40 = f - b*f. Suppose f = 2*l - 34. Is l a composite number?
False
Let v(r) = -2*r**2 + 5*r - 9. Let j be v(6). Let f be -2*11/(11/(-54)). Let d = j + f. Is d composite?
True
Let o(u) = 3*u - 1 + 0 + 2*u - 4*u. Let j be o(-8). Is -2 - (-81)/(j/(-3)) composite?
True
Let c(q) = 187 - 5*q**2 + 3*q**2 - q + 3*q**2. Is c(0) a prime number?
False
Let v(j) = -j + 1. Let z be v(1). Suppose -5*t = 4*n - 248, z = 2*n - 0*n + 4*t - 118. Is n a prime number?
True
Suppose -2*m + 1485 = 3*m. Suppose -m = -0*h - 3*h. Suppose 2*v + 2*b - 42 - 10 = 0, 5*b - h = -4*v. Is v a composite number?
False
Let d = -388 + 589. Is d composite?
True
Suppose -3*m + 61 = 25. Let w = m - -70. Is w a composite number?
True
Let c be (7 + 5)*(-6)/4. Let b = c + 32. Is b prime?
False
Suppose 0*q = q - 229. Let s = -127 + q. Suppose i - 5 = r + 20, -4*i + 2*r = -s. Is i a composite number?
True
Let v be (-4)/(-6)*78/(-4). Is v/(1 - (1 + 1)) composite?
False
Suppose y - 6*y + 4*i + 1181 = 0, 0 = -4*y + 4*i + 948. Suppose -4*v - 3*k + 946 = 0, v + 0*k - y = k. Is v composite?
True
Let v(i) = -i**2 - i + 191. Let y be v(0). Let o = 318 - y. Suppose -4*x + o = -3*x + f, 3*f = -5*x + 635. Is x composite?
False
Suppose r - 15 = -2*r. Suppose -2*j - 4 = 0, 3*z + 4*j - r*j - 1031 = 0. Let a = z - 120. Is a a prime number?
True
Suppose 395 = v + 4*v. Suppose -h + v = -11. Suppose 5*q + 5*t - h = 0, 38 = 3*q - 4*t - 37. Is q composite?
True
Let t(b) be the first derivative of 17*b**4/2 - b**2/2 + 4. Is t(1) composite?
True
Suppose -3*j + 742 = -2*b + 261, 643 = 4*j - b. Is (j - 1) + 3 + 0 composite?
False
Let i(a) be the second derivative of 2*a**4/3 + a**3/3 - 5*a**2/2 - 2*a. Is i(-4) prime?
False
Let a(v) = 2*v - 2. Let y be a(3). Suppose -s - w = 0, -s - y*s + 14 = -2*w. Suppose 2*c - 4 = 0, d + s = -0*d + 4*c. Is d composite?
True
Suppose -3*f + 5*j = j - 1885, 3153 = 5*f - j. Is f prime?
True
Suppose 0 = -2*d - 4*p - 228, -7*d - 584 = -2*d - 4*p. Let g = d + 171. Is g composite?
True
Is (2 - -1 - 4)*-557 a co