 the first derivative of -h**3/3 + 13*h**2/2 - 2*h + 3. Let k be m(10). Let p = k - 15. Is p a composite number?
False
Let n(x) = x - 53. Let p be n(0). Suppose d = -3*j + 3, 3*d + 9 = 6*d + 3*j. Is -3*2/d - p a prime number?
False
Suppose 3*d - 5*r - 3 = 8, 8 = 3*d - 2*r. Suppose 0 = 4*n - 768 - 332. Suppose -d*l + 7*l = n. Is l a prime number?
False
Suppose -21 = -6*x + 3*x. Suppose -x = 2*a - 181. Is a prime?
False
Let y be 0/(-4 - -3 - -3). Suppose y*h = 4*h. Suppose -4*d + 66 + 370 = h. Is d composite?
False
Suppose i + 2*t + 9 = 67, -4*i - 5*t = -223. Suppose -5*m + i + 243 = 0. Is m prime?
True
Suppose 0 = 4*f + 11 + 9. Let p(w) = -2*w**3 - 5*w**2 + 6*w - 1. Let n be p(f). Suppose -n = -2*k - 0*k. Is k a prime number?
True
Let h(l) = 2*l**3 - l**2 + 6*l - 7. Let x(v) = 5*v**3 - v**2 + 12*v - 13. Let j(w) = 7*h(w) - 3*x(w). Is j(-7) a prime number?
False
Suppose -2*f + 182 = 4*k, 3*k + 107 - 31 = f. Is f a composite number?
True
Suppose 5*p - 26 = 2*u - 4*u, 5*u = -4*p + 31. Suppose 2*z - p*z = -3*r - 646, -z - 3*r = -341. Is z a composite number?
True
Let q(f) = f + 8. Let a be q(-6). Let u(c) = c. Let o be u(0). Suppose 0 = a*y - o - 8. Is y composite?
True
Let t be 5*(-2)/(-4)*2. Let y be 1 - (0 + 2 + -509). Suppose -k = -t*k + y. Is k a composite number?
False
Let t(g) = 2*g**2 - g - 3. Let l(b) = b**3 - 6*b**2 + 4. Let v be l(6). Is t(v) a composite number?
True
Let h(t) = 18*t**3 - 2*t**2 - 11*t + 5. Is h(4) composite?
True
Let q be (12/(-18))/(1/(-501)). Is -2*(2 + q/(-4)) a prime number?
True
Let i(u) = 4 + 8 - 16 + 2*u + 11. Is i(0) a composite number?
False
Suppose -2*y - 485 = -5*b, 3*y + 388 = 4*b + 6*y. Is b composite?
False
Is 470 + (-2)/(4/2) composite?
True
Suppose -5*c + 2955 = -10. Is c composite?
False
Suppose 5*z - 131 = 1064. Is z a prime number?
True
Let s = 145 + -52. Suppose -6*k + s = -3*k. Is k a composite number?
False
Let v = -3 - 2. Let m = -5 - v. Suppose -4*j = -2*j - 3*u - 35, m = 2*j - u - 25. Is j composite?
True
Let i(k) = -k**2 - 6*k + 8. Let b be i(-8). Let p = 18 + b. Is p composite?
True
Suppose 6*u - 3*u = 93. Is u a prime number?
True
Let z be (-2)/1 - 2*6. Let s = 8 - z. Suppose 5*d + 4*k = 26, -3*d + s = -3*k - k. Is d a composite number?
True
Suppose -1618 = a - 3*a. Is a a composite number?
False
Suppose -1124 = -2*k + 3*c, -52 = -k - 2*c + 510. Is k a prime number?
False
Let y(k) = k**3 + 6*k**2 - 3*k - 4. Let p be y(-5). Suppose 2*t - 4*v - p = 14, 3*v = -2*t + 50. Is t prime?
False
Let g = 65 + 203. Suppose -3*t = t - g. Is t a composite number?
False
Let m(d) be the second derivative of -7*d**3/2 + d**2/2 - d. Let z = -22 - -20. Is m(z) a prime number?
True
Suppose 4*p = -5*y + 9*y + 78436, 2*p + 4*y - 39218 = 0. Is p a composite number?
False
Suppose -4*p + 5*x + 625 = p, -3*p + 379 = x. Let l = -61 + p. Is l a prime number?
False
Is (17/5 - 3) + 3766/10 prime?
False
Let q(z) = -z**3 + 6*z**2 + 5*z + 3. Let j be q(7). Let t = 3 - j. Suppose 0 = 2*d - 60 + t. Is d a prime number?
True
Suppose -3051 = -k - 2*j - 2*j, 0 = j + 3. Is k a composite number?
True
Let t(l) = 0*l - 2 - 5 + l + 4*l**2 + 5*l**2. Is t(-5) composite?
True
Suppose 0 = -5*i - u - 14 - 7, -3*i = -4*u + 8. Is 383/3 - i/(-6) a prime number?
True
Suppose 0*w - 2*w = -10. Suppose -v - w*z = -0*z - 7, 0 = 4*z - 4. Suppose 0*i - 63 = -3*x + 3*i, v*i + 108 = 5*x. Is x a composite number?
True
Let x(d) = 23*d**2 + d - 1. Is x(-2) a composite number?
False
Let h(l) = l**2 + 3*l + 3. Is h(9) composite?
True
Suppose 0 = i - 3*y + 4*y - 1, -2*i + 11 = -y. Suppose i*c = c + 1257. Is c a prime number?
True
Let c(a) = 4*a**3 - 5*a**2 + 3. Let s be c(6). Let t = s + -274. Is t a prime number?
False
Let y = 162 - 498. Let r = y - -481. Is r composite?
True
Suppose -3*y + z + 8 = -4*z, 0 = 4*y - 2*z - 6. Is -6 + 6 + 222 + y prime?
True
Let s(p) = -p + 8. Let i be s(6). Let t(q) = 6. Let m(b) = -b - 7. Let o(g) = i*t(g) + 3*m(g). Is o(-8) a prime number?
False
Let p = -16 - -22. Let c be ((-14)/3)/(p/45). Is (c/4)/((-3)/12) composite?
True
Suppose 0 = -4*c + 16, 0*w + c = 4*w - 24. Is w a composite number?
False
Let x = 6 - 4. Suppose 0 = 3*p + x*p. Suppose p = -4*u + u + 102. Is u prime?
False
Suppose 5*n - 33 = -3. Let d be 49/21 + (-2)/n. Suppose d*z + z - 471 = 0. Is z a prime number?
True
Let d = 278 - 396. Let u = d + 185. Is u prime?
True
Let c(n) = 5*n. Let z(x) = x**2 - 11*x + 1. Let b(d) = 5*c(d) + 2*z(d). Is b(-11) composite?
False
Suppose -5*l = 3*h - 13, 5*h + 30 = l + l. Suppose 173 = 2*p - 5*v, l*v = 2*p - 4*p + 143. Is p composite?
False
Let l = -1547 + 2830. Is l prime?
True
Suppose 4*v - 4*u - 20 = 0, 4*v + 5*u - 11 = -0*v. Let a be (101/v)/(3/12). Let f = a - 52. Is f composite?
True
Let i(u) = -310*u + 9. Is i(-4) a composite number?
False
Let x(d) = -d - 3*d + 17*d**2 + 12 - 9. Is x(4) prime?
False
Let k(h) = h + 3. Let j be k(4). Suppose 2*n = 2*r + r + 5, -j = -3*n + 5*r. Is ((-10)/15)/(n/(-114)) a composite number?
False
Suppose f + 4*x = -15, -3*f - 3*x = 13 + 32. Let s = f + 8. Let y(c) = -c**3 - 6*c**2. Is y(s) a composite number?
True
Let f be 4/6*(10 - -8). Let c = 37 - f. Is c prime?
False
Let r be 0/3 + 1 - -400. Let s = -274 + r. Is s a prime number?
True
Suppose 0 = -4*o + 4*q + 144, 0*o - q = 3*o - 92. Suppose 5*r - 3*s = -76 - 84, o = -r - 2*s. Let x = r + 71. Is x a composite number?
True
Suppose -5*x + 3*r + 16 = -28, 5*x + r = 32. Let p = x + 45. Suppose -n = 3*n - p. Is n a composite number?
False
Let n be (-7)/(-21) + 22/6. Suppose 0*x - 12 = -n*x. Suppose -x*r - 15 + 120 = 0. Is r prime?
False
Suppose 61 + 32 = 3*f. Is f a prime number?
True
Suppose 0 = 3*d + 5*j - 30, -5*j + 19 = -5*d + 69. Is d a prime number?
False
Let q(f) be the third derivative of f**6/120 + 3*f**5/20 + 3*f**4/8 - 2*f**3/3 + f**2. Suppose -14 = 2*x - 0. Is q(x) a composite number?
False
Suppose 3*c - 3 = -w + 4*w, 13 = 5*w + c. Suppose 3*f = -w*f + 20. Suppose -5*q - f*x + 16 = -38, 82 = 5*q - 3*x. Is q prime?
False
Let d = 64 - -3. Is d a prime number?
True
Let k(u) = u**3 - 7*u**2 - 9*u + 8. Let m be k(8). Let j be (-5 - (m + 1)) + -2. Is j/12 - (-77)/3 composite?
True
Suppose c + 5 = 4*c + 2*a, 3*c - 2*a - 13 = 0. Suppose -c*d + 537 = -318. Let s = -194 + d. Is s a prime number?
False
Suppose 5*j - 1121 = -286. Is j prime?
True
Let k = 317 + -160. Is k composite?
False
Is 42/4*266/21 a prime number?
False
Suppose p - x = 5*p - 4, -5*p + 5*x - 20 = 0. Suppose p*w - 9 = -3*w, 3*z - 666 = w. Is z a composite number?
False
Let p(g) = g - 2. Suppose 2*h - 19 = -3*t + 1, h + 4 = 2*t. Let d be p(h). Is (-1)/((-477)/237 + d) composite?
False
Let p = 92 + 35. Is p a prime number?
True
Let x = 62 - 12. Suppose -2*p + 44 = -2*g, 0*g = 2*p - 4*g - x. Suppose 5*t - i = 107, 3*i + p = t + 2*i. Is t a composite number?
True
Let y(i) = i**3 - i**2. Let s be y(2). Is ((-10)/s)/((-2)/12) prime?
False
Let u be 4/10*(9 - -881). Suppose -u = 6*i - 10*i. Is i a composite number?
False
Let b(l) = 305*l**2 + 4*l - 1. Is b(-2) prime?
False
Let u = 7 - 8. Is (-1869)/7*u/3 a composite number?
False
Suppose 4*b - 24 = -0*b. Suppose 5*s = -3*z + 323, s = 2*z - b*z + 51. Is s composite?
False
Is 248 + 8 - (-4)/(-2) a composite number?
True
Let z(i) = -4*i**3 + 5*i**2 - 6*i + 6. Let f(l) = 5*l**3 - 5*l**2 + 7*l - 7. Let h(j) = -3*f(j) - 4*z(j). Let s be h(4). Is (-369)/s - 10/(-35) composite?
False
Suppose b + 4 = 5*b, 3*g - b = -1. Let q = 0 + g. Is q/6 + 1*3 prime?
True
Suppose -v + 5014 = -z, -3*z - 10025 = -5*v + 3*v. Is v prime?
False
Let a(l) = 116*l + 2. Is a(4) a composite number?
True
Is 1 - 1 - 541/(-1) composite?
False
Is 356/6*12/8 prime?
True
Let q = 842 + -45. Is q prime?
True
Let z(k) = 104*k**3 + 3*k**2 - k - 3. Is z(2) a prime number?
True
Suppose 5*i - 3518 = 3*i. Is i prime?
True
Let w be (-7)/14 - (-9)/(-2). Let k(f) = -4*f**3 - 4*f**2 - 2*f + 9. Is k(w) prime?
True
Let o(h) = h**3 - 8*h**2 + 6*h + 7. Let f be o(7). Suppose 3*p - 4*z - 53 = f, 3*p - 3*z + 2*z - 56 = 0. Is p a prime number?
True
Let f(h) = 2*h - 19*h**2 - 2*h + 2 + 73*h**2. Is f(-2) composite?
True
Let h(i) = -12*i - 11. Let p(d) = d - 2. Let f be p(-7). Is h(f) composite?
False
Let y(a) = -1 - 3 - 2*a + 7. Let i be y(4). Is i*(-1 + 18/(-10)) a composite number?
Tr