l(k) - 5*t(k). Let r be 74/14 + (-4)/14. Is d(r) prime?
False
Let j = 46 + -75. Let v = j - -64. Is v prime?
False
Let b(w) = 14*w**3 + 2*w**2 - 6*w + 7. Is b(4) composite?
False
Let t be (0 - -1)/(6/(-354)). Let h = t + 126. Is h a prime number?
True
Let h = 207 - 112. Is h prime?
False
Let r = 164 - -75. Is r prime?
True
Let q(y) = 5 + 2 - 76*y - 1 - 3. Is q(-4) prime?
True
Let c(n) = -n**2 + 1. Let o be c(-1). Let a(w) = -4*w**2 + 2. Let r(z) = -5*z**2 + 3. Let t(x) = -6*a(x) + 5*r(x). Is t(o) a composite number?
False
Let j(w) be the third derivative of w**6/120 - w**5/60 - w**4/24 + 437*w**3/6 + 3*w**2. Let o be j(0). Suppose -o + 102 = -5*n. Is n prime?
True
Let g be 2 - 1*889 - -2. Let u be -6*(-3)/12*2. Is (2/u)/((-10)/g) a prime number?
True
Let s(w) = -w**2 - 7*w + 11. Let b be s(-9). Let a(j) = -j - 2. Let d be a(b). Suppose 21 = d*k - 34. Is k a composite number?
False
Let t(b) = -8*b - 24. Let c be t(-11). Let h = 385 + -236. Let i = h - c. Is i a prime number?
False
Is 10/(-25) - (-3157)/5 a prime number?
True
Let u = 1008 - 2047. Let c = -498 - u. Is c prime?
True
Let b = 3750 - 2111. Is b composite?
True
Suppose 4*h + 21 = 7*h + 3*o, 2*o - 9 = -h. Let s(a) = 2*a - 2. Let q be s(2). Suppose 111 = h*m - q*m. Is m composite?
False
Let x(y) = y**2 - 5*y + 2. Let p be x(5). Is (125 - 0/(-3)) + p composite?
False
Suppose -316 = 10*b - 9146. Is b a prime number?
True
Let s(r) = -6*r - 13. Is s(-11) prime?
True
Suppose 4*h + 1900 = -d + 13012, 0 = -5*h - 5*d + 13905. Is h composite?
False
Suppose -a + 3*v - 332 = a, 4*a = v - 684. Let k = a + 325. Let o = k - 100. Is o composite?
False
Let f(b) = 6*b - 1. Let v be f(6). Let m(l) = 11*l + 2. Let r be m(-2). Let x = v + r. Is x a composite number?
True
Suppose 0 = 4*s + 11 + 5. Let w(i) = -2*i + 5. Is w(s) a prime number?
True
Suppose -3*r + 18 = -2*w, 4*w - w + 25 = 4*r. Suppose p - 778 = j - r*j, -5*j = 4*p - 1299. Is j a composite number?
True
Suppose -3*x - 4*f - 3 = 0, 0 = 5*x - 0*x + 5*f + 5. Let d = 4 + x. Suppose -2*j + d = -1, 4*v - j - 486 = 0. Is v a prime number?
False
Let s = -42 - 305. Let z = -208 - s. Is z composite?
False
Let s(u) = u**3 - 3*u**2 - 8*u + 6. Let y be s(5). Suppose -z - 3*z = -y. Suppose 58 = c + g, -5*c - 3*g = -z*g - 260. Is c a prime number?
True
Suppose 0 = -3*j + 14 + 16. Is (-1644)/(-30) - (-2)/j prime?
False
Suppose -2*j + 0*y + 6 = y, -4*j = -5*y + 2. Suppose -j*m + 981 = -5*g, 3*m = g - 0*g + 1478. Is m composite?
True
Let n = -1245 + 1744. Is n prime?
True
Suppose 2*h = -0*h + 3722. Suppose -5*q + 1858 = n, h = -q + 6*q + 2*n. Is q composite?
True
Suppose -2*f = -5*f + 3, 2*f - 6387 = -5*m. Is m composite?
False
Let j(q) be the first derivative of -17*q**2/2 - 4*q + 18. Let p be (-1)/(-4) - (-26)/(-8). Is j(p) prime?
True
Suppose 8 = 7*l - 9*l. Let s(r) = -2*r**3 - 2*r**2 + 4*r + 3. Is s(l) a composite number?
False
Is 7388/36 - ((-4)/(-18) + 0) prime?
False
Suppose 0 = -0*o - 5*o - 4*u + 2003, 4*o = -3*u + 1603. Is o a prime number?
False
Let x = -6 + 4. Let u(h) = h - 15. Let j be u(13). Is j/((x/(-13))/(-1)) a prime number?
True
Suppose -2*w - w + 30 = 0. Let d = w - 0. Is d a composite number?
True
Let y(l) = l**3 + 13*l**2 - l + 9. Is y(-11) composite?
True
Suppose -2037 = -2*k - k. Is k a composite number?
True
Let x = 2054 - 2904. Suppose 2*q = -8, -3*i - 18 - 16 = -5*q. Is x/(-18) - (-4)/i a composite number?
False
Is (0 - (2 + -3))*47 composite?
False
Let h be 8 + -4 + 1*-2. Suppose -h*f + 136 = -286. Is f prime?
True
Let n = 0 - 6. Let d be -3*5*2/n. Suppose 2*u = -5*s + 199, -d = -s - 0*s. Is u prime?
False
Let m(b) = -b**3 + 8*b**2 + 11*b - 3. Let r be m(9). Suppose -4*i + 1 + r = 0. Is i/18 - (-291)/27 a composite number?
False
Is -1 + -2 + -5 + 7 + 420 composite?
False
Suppose -2*j = -4*d - 3594, -3*d + 7*d - 3594 = -2*j. Is j prime?
False
Suppose -3*b - 18 = -3*j, 0 = -3*j - 2*j + 4*b + 26. Let v = 0 - j. Let k = 24 + v. Is k composite?
True
Let s(k) = 14*k + 11. Is s(12) composite?
False
Suppose 0 = 3*v + 2*a - 19, -3*a = -3*v - 7 + 1. Let c be 2/3 + (-53)/v. Is 1*(2 - 4 - c) a prime number?
False
Suppose 3*a = -a - 3*z + 886, -2*a - 3*z = -440. Is a prime?
True
Let y = 6 + 151. Is y a prime number?
True
Let d(c) be the first derivative of 8*c**3 + c**2 - 3*c + 4. Is d(2) a composite number?
False
Let v = -4 + 11. Is -1*(-1016)/(v - 3) composite?
True
Suppose p + 4*z + 36 = 0, 5*z = 2*p + 37 - 4. Let g = 55 + p. Is g prime?
True
Suppose -20*s + 1652 = -6*s. Is s prime?
False
Let q = -899 - -2022. Is q a composite number?
False
Suppose 4*x = 22 + 2718. Is x a composite number?
True
Suppose -3*k + 4*p + 10 = 0, 0 = -4*k + 3*k + 3*p + 10. Is ((-1 - -1) + -106)/k composite?
False
Let a = -3307 - -4639. Let m be (-2)/7 + a/(-42). Let p = m + 71. Is p a composite number?
True
Let d = 6 - 15. Let a be (6/4)/(d/(-300)). Suppose 1235 = 5*n - a. Is n a composite number?
False
Let b be -1 + 5 - 1*2. Suppose b - 284 = -3*n. Is n composite?
True
Let z(i) = -i**3 - 11*i**2 - 4*i + 15. Suppose 5*y - v + 6 = 17, y = -3*v + 15. Let c(t) = t**2 - 8*t + 4. Let j be c(y). Is z(j) a composite number?
False
Let t(d) = d**3 - 4*d**2 - 2. Let q be t(4). Is (4 + -3)/(q/(-190)) a composite number?
True
Suppose -v - 194 = -603. Is v composite?
False
Let j(r) = -r**2 + 8*r - 2. Let p be j(6). Is (p/(-4) + 2)*-98 a composite number?
True
Suppose -3*l + 124 = -2*v, -4*l + 124 = -5*v + 3*v. Is (v/(-6))/(2/6) prime?
True
Suppose 5*x - 18 = 4*n, 0*x + 4*x + 3*n - 2 = 0. Suppose -x*s = -5*s + 285. Suppose 0*f + 5*f - s = 0. Is f prime?
True
Let o = -5 + 14. Suppose 4*q - o = q. Is q/(-6)*4/(-1) a composite number?
False
Let c(n) = n**2 - n - 4. Let o(r) = 2*r - 9. Let g be o(6). Let b be c(g). Suppose 2*x - 12 = -b*x. Is x a prime number?
True
Is (5/2)/5*1382 a prime number?
True
Suppose 0 = 2*w - 5*t - 3 - 6, 0 = 4*w - 3*t - 25. Let r(g) = g**3 - 6*g**2 + 3*g - 5. Let o be r(w). Let x = 80 + o. Is x a prime number?
False
Let n = 520 - -88. Suppose -44 = -4*g + n. Is g a prime number?
True
Let w be -2*(-1 + 3 + -1). Let r(v) = -v**3 - 2*v**2 - 2*v - 1. Let s be r(w). Suppose -74 = -4*p + 2*x, s*p - x - x - 53 = 0. Is p a prime number?
False
Let p(g) = -2*g**2 - 10*g - 6. Let c be p(-7). Let u(q) = -16*q**3 + 2*q + 1. Let k be u(-1). Let w = k - c. Is w composite?
True
Let a(p) = -6*p - 5*p**2 + 8*p - p**3 + 5*p + 9. Is a(-7) a prime number?
False
Let u(a) = 40*a - 4. Let b be u(-10). Let r = b - -695. Is r prime?
False
Let j be ((-2)/(-2))/(5/25). Suppose -b = -2*b + 5*x + 69, j*x - 167 = -3*b. Is b composite?
False
Suppose 2*o + 3*o - 10 = 0. Suppose -i + 5*j = -117, -i - 3*j + o*j = -129. Is i a prime number?
True
Let f(p) = -12*p - 21. Is f(-11) composite?
True
Let c = -13 - -16. Is 2 + (188 - c/1) prime?
False
Let w(k) be the second derivative of k**3/6 + 17*k**2 - 4*k. Is w(0) prime?
False
Let w(y) = 7*y**3 + y**2 - 4. Let j be w(3). Suppose -b = b - j. Is b prime?
True
Let n = -14 - -8. Is 3/(-2)*40/n prime?
False
Let f = 728 + -1152. Let k = 635 + f. Is k a composite number?
False
Suppose 2*k = -3*k - 25. Let g be (-1 - 5)*k/15. Let u = 5 + g. Is u a prime number?
True
Let l = 3 - 7. Let a(x) = 14*x**2 - 3*x - 3. Is a(l) composite?
False
Is (-2*(-3)/18)/(5/2355) composite?
False
Let f(b) = 16*b**2 - b - 11. Let k be f(-6). Let n = -206 + k. Is n composite?
True
Let m(b) = b + 7. Let r be m(-5). Suppose 0*d = r*d. Suppose 2*y = -5*w + 7, -y + d*w - 2*w + 5 = 0. Is y a composite number?
False
Is (-3)/21 + (-27288)/(-14) a prime number?
True
Let r be (-2 - 2)*1*-4. Suppose -4*w = r, -4*w - 12 = -y + 35. Is y prime?
True
Suppose 3*b - 310 = -3*z - 2*z, -2*z - 5*b + 105 = 0. Is z a prime number?
False
Suppose 5*f - 4*n + 15 = 0, -2*f - 3*n - 2 - 4 = 0. Let o be 3*62*(-1)/f. Suppose -3*k + 4*d - o = -6*k, -3*d = -3*k + 69. Is k composite?
True
Let r = -793 - -1272. Is r prime?
True
Let u = 1570 - 1085. Is u a composite number?
True
Suppose -2975 - 1069 = -4*y. Is y a composite number?
True
Let f = 52 + 531. Is f a prime number?
False
Suppose 9*r - 2*r = 11543. Is r a prime number?
False
Suppose -3 = -4*t + 9. Suppose -32 = -t*o - 14. Is 15/(-10)*(-436)/o composite?
False
Let g(m) = -m**2 + 8*m - 5. Let q be g(7). Suppose -q = -5*a + 43. Is a composite?
True
