*2 + 2*t - 5. Let h be c(-4). Let j = 16 - 12. Suppose 810 = 5*d - r, -h*r = -j*d + r + 664. Is d prime?
False
Suppose -795163 = -12*l + 383321. Is l a composite number?
False
Let o(n) = 1229*n**2 + 10*n - 23. Is o(8) a composite number?
False
Suppose -3*o + 60761 = -2*s, -4*o + 81010 = -5*s - 0*s. Is o composite?
True
Let t be 216 + 0*(-3)/(-9). Let a = t - -1740. Is (a - -4)/2 - 3 composite?
False
Suppose 20 = 5*x, -2*y + 2*x + 2 = 12. Is (-14)/(-10)*(-3505)/y a composite number?
True
Suppose -4*l + 21 = 5*z - 67, 3*z + 56 = 4*l. Suppose -43 = -5*v + l. Is 3/v + 4215/20 prime?
True
Let f(b) = 2*b**2 + 13*b + 2. Let q = 1 + -10. Is f(q) a prime number?
True
Suppose -1 = -2*m + 3. Suppose -5*v + f + 1316 = 0, -m*v - 4*f - 94 = -616. Is v composite?
False
Let r = 24 + -19. Suppose 0 = t + 4*a - 149, -777 = -r*t - 0*a - 4*a. Is t composite?
False
Let d = -17 - -21. Suppose -2*r - 88456 = -d*y, 5*y = -3*r + 18333 + 92215. Is (y/16)/((-4)/(-2)) a prime number?
True
Suppose 5*z = -l - 11, -6*l + l - 2*z = -37. Let i = l - -508. Is i a composite number?
True
Let z = 542 - 63. Is z a composite number?
False
Let o(g) = 81*g - 12. Suppose 6*j - 4 - 26 = 0. Is o(j) a composite number?
True
Let w = -1591 + 2598. Is w a composite number?
True
Let d(i) = -i**2 + 12*i + 12. Let f(y) = 4*y + 3. Let h(v) = -4*v - 3. Let w(m) = -6*f(m) - 5*h(m). Let g be w(-3). Is d(g) composite?
True
Suppose 0 = 7*k - 8*k. Suppose k = -4*v + 6*v - 1438. Is v a composite number?
False
Suppose 5*k - 155 = -5*p, 2*p = -4*k + 3*p + 104. Suppose 5 + k = 4*i. Suppose -i*r = -13*r + 795. Is r composite?
True
Let f(w) = -w**2 - 7*w - 4. Let m be f(-6). Suppose 0 = -l - m*l + 9. Is (-65)/(-3) + 1/l a composite number?
True
Let r(v) = 51*v**3 + 2*v**2 - 4*v + 5. Let u(w) = 50*w**3 + w**2 - 3*w + 4. Let f(a) = -3*r(a) + 4*u(a). Let y be f(-1). Let p = 46 - y. Is p a prime number?
False
Suppose 4*f - f = 8391. Suppose 0 = -2*z - 2*s + s + f, 3*s = z - 1388. Is z composite?
True
Let g be 1*2*(-3)/2. Let w(v) = -2*v**3 + 3*v**2 - 5*v - 2. Is w(g) a prime number?
False
Let c = 25042 + -16895. Is c a prime number?
True
Suppose 5*c - 16541 = -2*s, -2050 = -c + s + 1254. Is c a composite number?
False
Let k(c) = 387*c**2 + 29*c + 13. Is k(-6) prime?
False
Let f(k) = -k**2 - 5*k + 11. Let t be f(-6). Suppose 3*j = -t*j + 1304. Is j a prime number?
True
Let g(z) = 2*z**2 - 5*z + 1. Is g(-10) a composite number?
False
Suppose -u - 5*u + 990 = 0. Suppose -55 = q - 5*b + 28, -3*q + 2*b = 236. Let v = u + q. Is v a composite number?
True
Suppose 3*k - 735 = 453. Suppose p + 0*r = 2*r + 394, r + k = p. Is p a composite number?
True
Let g be ((-3)/(-9))/(1/24). Suppose -5*l - 2*q = -0*l - 14, -4*q + g = 0. Suppose 2*d + l*d = 1468. Is d a prime number?
True
Suppose 0 = -2*k + k - 203. Let v = 196 - 276. Let i = v - k. Is i a composite number?
True
Let r(b) = -b**3 + 3*b**2 - 4*b + 3. Suppose 7 = 2*i + 1. Let w be r(i). Is (1869/w)/(2/(-6)) a prime number?
False
Is ((-1)/4)/(62/(-129208)) composite?
False
Let g(s) = -s**2 + 11*s + 14. Let i be g(12). Suppose 3*p + 12 = 0, 5*n = 3*n + p - i. Let x(d) = -147*d + 2. Is x(n) composite?
False
Let g = -1466 + 6505. Is g a prime number?
True
Suppose -4*u - 8 + 26 = t, -4*t + 3*u - 4 = 0. Is (13332/24)/(((-3)/t)/(-3)) prime?
False
Let x = 3 - -134. Let p = x - 22. Is p prime?
False
Let k be (-5)/(-5) + -1 + 3. Let c be (24/2)/k + 3. Let m(o) = 2*o**3 - 11*o**2 + 8*o + 6. Is m(c) prime?
False
Let j be (-19)/3 + (-12)/(-36). Let o(v) = v**3 + 5*v**2 - 10*v - 11. Is o(j) a prime number?
True
Let f = -28 - -36. Let c(h) = 122*h + 17. Is c(f) a composite number?
True
Suppose 0 = -2*o - 2*x - 0*x + 4, -x = 3*o + 2. Is o + 5/(10/6)*13 prime?
True
Let v = -3 - -8. Suppose 3*l - 637 - 3392 = 3*w, -v*l - w = -6697. Suppose -5055 = -5*m - l. Is m a composite number?
False
Let i be -1*(-3 + -2) - 2. Suppose i*s = 2*a + 52, -3*a + a = -s + 24. Let t = s + 39. Is t a prime number?
True
Is 6/4*58780/30 a composite number?
False
Let w be ((-20)/(-25))/(3/15). Suppose 2394 = 2*i - 4*a, -5*i + 0*i + 5973 = -w*a. Is i a prime number?
True
Let h(j) = 432*j - 31. Is h(11) composite?
False
Suppose b = 0, 0 = 2*z - 3*b + 3134 + 2. Let g = 3006 + z. Is g composite?
True
Let o = 5517 + -3597. Let j = o + 325. Is j a composite number?
True
Let h(m) = -m**2 + 8*m - 11. Suppose -5*j = -7 - 18. Let z be h(j). Is z/6 - (-637)/3 a composite number?
True
Let q(n) = 2*n**3 - 16*n**2 + 6*n - 18. Let a be q(10). Suppose -a = -9*r + 11807. Is r prime?
True
Suppose -3*c + u + 4463 = 883, -2*u = c - 1205. Is c a composite number?
True
Let i be (1912/(-6))/(2/39). Is i/(-10) - -2 - (-8)/(-20) a composite number?
True
Let a = -58119 + 106870. Is a composite?
False
Let i(y) = y**3 - 6*y**2 + 8*y - 4. Let s be i(5). Suppose 7*f + 28 = s*f. Is f a composite number?
False
Suppose t + 5*o + 53 = 0, -4*t - 4*o - 161 = -o. Let i be (t + 3)/((-2)/(-30)). Is i/(-2) - (-9)/18 a prime number?
True
Is (-8 - 0) + (-56 - -3482) composite?
True
Let p = 23 + -21. Suppose 4*j - 304 = 3*r + p*r, -r - 75 = -j. Is j composite?
False
Let c be -2*(-3)/(-9) - (-20)/(-6). Let s(l) = -30*l**3 + 9*l**2 + l - 9. Is s(c) composite?
True
Is (12 - (-1 - -12))*19751 composite?
False
Let t(n) = -n + 1. Let u be t(-3). Suppose 0 = -3*y + f + 763, -u*f = -3*y + y + 522. Is y a composite number?
True
Suppose 3*b = 55 + 35. Suppose t - 307 = b. Is t composite?
False
Suppose 0 = 3*p + r - 201874, p - 11*r - 67293 = -13*r. Is p composite?
True
Let m = 1 - 1. Suppose -2*h + 255 - 1065 = 4*v, -v - 2 = m. Let g = 612 + h. Is g prime?
True
Is 2 - 1/((-1)/2984) a composite number?
True
Let y = -9 - -14. Suppose v - 5*v - 2*c + 2938 = 0, -y*v = -2*c - 3659. Is v a prime number?
True
Let u(f) = f**3 - f. Let w be u(2). Let k(j) = -31*j**2 + 7*j - 11. Let v(r) = 15*r**2 - 3*r + 5. Let o(c) = w*k(c) + 13*v(c). Is o(-4) a prime number?
True
Suppose -4*w = i - 18, 5*i = -4*w + 7 + 19. Let y = w - 0. Suppose y*l - 5*v + 23 = 247, v = 3*l - 157. Is l a prime number?
False
Let h(p) be the first derivative of 10*p**3/3 + 3*p**2 - 18*p - 2. Let v be h(8). Suppose -b = 179 - v. Is b a prime number?
True
Let h(o) = 3*o + 2. Let d be h(1). Let a = -3 + d. Suppose 2*f + 3*r + 0*r - 203 = 0, 0 = -2*r - a. Is f composite?
False
Suppose 0*i = -2*i - 4, -5*i - 2627 = -b. Is b a prime number?
True
Let g(f) = f**3 + f**2 - 8*f + 3. Let q = 14 + -9. Is g(q) composite?
False
Let x(u) = u - 21. Let o be x(9). Let i be 2*-898*3/o. Suppose t + 0 - 1 = 0, 3*t - i = -2*s. Is s a composite number?
False
Let k = 26327 - 7734. Is k a composite number?
False
Is 18/(-48) + (-60893)/(-56) a composite number?
False
Suppose 2*a - 2 - 2 = 0. Is 7/14 - (-529)/a a composite number?
True
Let m(v) = 2*v**2 - v - 1. Let w be m(-1). Suppose 8 = 2*f + w*f. Suppose 0 = 2*j + 6 - f, 163 = d - 3*j. Is d composite?
False
Is (48/8 - -9842) + 1 + 4 prime?
False
Let d = -15 - -15. Suppose -12 = 2*b - 92. Suppose 3*v = d, 5*j = -5*v - b + 195. Is j a prime number?
True
Let h = -1 + -2. Let o(f) = -f. Let u be o(h). Suppose 0 = -i - 4, u*t + 0*i = 3*i + 1239. Is t a prime number?
True
Let u = 2398 + -1601. Is u composite?
False
Let z(l) = 11*l**2 + 7*l - 55. Is z(30) composite?
True
Suppose -2*s - 1 - 1 = 0, -3*s + 275 = 2*p. Let g = p - -402. Is g composite?
False
Suppose 5*i - 15119 = -4*b - 922, 4*b = i + 14167. Is b a composite number?
True
Let n(h) = 245*h**3 + 235*h**3 + 46*h**2 - 1 - 46*h**2. Is n(1) a composite number?
False
Suppose 0 = 5*h, -h = g - 0*h. Suppose 4*s - 223 - 853 = g. Is s composite?
False
Suppose k = -11 - 1. Let r = k + 21. Suppose -4*c + 239 = -i, -4*i - r = -i. Is c a prime number?
True
Suppose -4*q - 7585 - 12380 = -5*h, -h - q = -3984. Is h a composite number?
False
Let r be ((-50)/(-30))/((-5)/(-6)). Suppose -r*x + 6 = 0, 0 = -w + 6*w - 4*x - 6283. Is w composite?
False
Let p(f) = -f. Let x be p(-5). Suppose 5*d = -3*t + 2184, -2*d - x*t + 0*t + 866 = 0. Let i = -187 + d. Is i composite?
False
Let q = 36 + -46. Let u(d) = 2*d**2 - 11*d + 16. Let h be u(q). Let l = -105 + h. Is l a prime number?
False
Suppose -14 + 5 = 3*i. Let d = 486 + -489. Is i/d - 4 - -302 a composite number?
True
Suppose -129*x - 132299 = -132*x + o, -x - 3*o = -44113. Is x prime?
True
