 (0 - (-5)/30)*6. Let k(p) = -63*p**3 - p**2 - 4*p + 1. Let g(m) = -64*m**3 - m**2 - 3*m + 1. Let h(f) = -3*g(f) + 2*k(f). Is h(s) prime?
True
Let f(y) = y**3 - 12*y**2 + 11*y + 2. Let q be f(11). Suppose -p + 6*p + q*a = 0, 4*p = -a. Let m(j) = -j**3 + j**2 + 89. Is m(p) a composite number?
False
Let u(y) = -1760*y + 27. Is u(-11) a prime number?
True
Suppose 3 = r - 2*d, -5*r - 3*d = -0*d - 28. Suppose 0*n - r*n = -25, -4*t - n = -1793. Is t a prime number?
False
Let j(a) = 5*a + 3*a - 3 - 12*a**2 - 4*a + 74*a**2. Suppose 0 = -5*h - 15, -3*x = -2*x + 3*h + 7. Is j(x) composite?
True
Let j(l) = -l**2 - 9*l + 6. Let f be j(-9). Suppose -f*a + 17*a = 3377. Is a composite?
False
Is (0 - 0) + 14587 + 82 a prime number?
True
Let h = -791 + 558. Let w = -24 + -82. Let g = w - h. Is g a composite number?
False
Suppose -1 + 337 = 14*z. Is z/9*(-198)/(-12) + -1 prime?
True
Suppose 7*p - 3*p = 1960. Let g be p - ((-12)/3 + 2). Suppose i + 3*i = g. Is i composite?
True
Suppose -2*l = 5 - 77. Suppose 2045 = l*n - 31*n. Is n composite?
False
Let q = -163 - 534. Suppose 4*z = 5*r + 1674, 6*z + 692 = -2*r + 2*z. Let y = r - q. Is y composite?
False
Let q be (-92)/(-10) - 13/65. Suppose -6188 = -q*y + 5809. Is y a composite number?
True
Let u = -30042 + 17911. Let w = -8142 - u. Is w composite?
False
Let l(x) = 184*x**2 + 2*x - 1. Suppose -15*c + 19*c - 4 = 0. Is l(c) composite?
True
Let p = 13 - 23. Let l(k) be the second derivative of -3*k**3/2 + k**2/2 - 7*k. Is l(p) a composite number?
True
Suppose -103*h - 6059 = -104*h. Suppose 0 = -6*z + h - 161. Is z prime?
True
Let s(l) = 12*l**2 - 7*l - 4. Let p = 1 + 6. Is s(p) prime?
False
Let x(z) = -3*z**2 + 11*z + 12 + 2*z**2 - 4*z**2 + 5 - 2*z**3. Is x(-6) prime?
False
Let y(a) = 8*a**2 - 15*a - 73. Is y(16) a composite number?
True
Suppose 4*n - n = -27. Let f be (n - -15)/((-1)/2). Is (-8)/f - (-1202)/6 composite?
True
Let i = 3548 - 1279. Let m be -3*(40/15 + -4). Suppose -3*s - 2*s - i = -3*r, -5*r + m*s = -3773. Is r a prime number?
False
Let o be -2*(-2)/(-16) - 52/(-16). Is 3/(2 + 1)*(250 + o) prime?
False
Suppose 0 = -n - 5*q + 947, 7*q = -2*n + 4*q + 1922. Is n composite?
False
Is 1/(-8 + (-76223)/(-9527)) a prime number?
True
Let f = 1180 + -479. Is f a composite number?
False
Suppose 7*t - 4510 - 150813 = 0. Is t prime?
True
Is 2/(-18) + ((-1415784)/(-108) - -18) composite?
False
Let x(k) = 695*k**2 + 8*k + 13. Is x(-2) composite?
False
Suppose 0 = y + 5*m - 10, 8 = 2*y - 2*m. Suppose -3*x - 4 + 17 = y*i, 5*i - 2*x - 8 = 0. Is (413 - 2) + -1*i composite?
False
Let t be -3 + 1/1 + -5 + 44. Suppose 0 = -d + 417 + t. Is d a prime number?
False
Let x = -44514 + 84999. Is x/30 + 1/(-2) composite?
True
Let i(d) = -1022*d - 39. Is i(-7) prime?
False
Let r be 6/3*(-5 - -3). Let s(z) = -5*z**3 - 3*z**2 + 3*z + 5. Is s(r) prime?
False
Let n be (300/10)/(-1 + 0). Let t be 268/5 + (-12)/n. Suppose -2*i = -t - 12. Is i composite?
True
Suppose 0 = 3*n + r - 7091, -7526 - 4283 = -5*n + 3*r. Is n prime?
False
Let l(j) = -1366*j + 11. Is l(-2) a composite number?
True
Suppose -4*p + 18 = -4*y + y, 5*p - 23 = 4*y. Suppose -p*q + 116 = 2*w - q, -w + 4*q + 53 = 0. Suppose r + w = 5*r - b, -b = -3*r + 42. Is r a prime number?
False
Let q be -1 - 3183 - 1*3. Let l = q + 4548. Is l composite?
False
Let v(x) = 3*x + 9. Let n(j) = 2*j + 10. Let y(a) = 5*n(a) - 4*v(a). Let o be y(-10). Let g = o + -1. Is g composite?
True
Let s(m) = 7*m**2 + 22*m + 188. Is s(-39) prime?
False
Let h(s) = s**2 + 3. Let l be h(-2). Let d(j) = -l - 4 + 7*j - 3 - 3. Is d(9) a prime number?
False
Let o(q) = -2*q**3 - 12*q**2 - 7*q - 45. Let m be o(-8). Let d = -221 - -63. Let k = m + d. Is k composite?
False
Let a = 298004 - 203269. Is a a prime number?
False
Let v be (-27)/18*(-14)/3. Suppose -6*u + v*u = 403. Is u prime?
False
Suppose -29876 = r - 12*r. Is (12/(-10))/(r/455 + -6) a composite number?
True
Is -2*(0 + -2*18182/8) a prime number?
True
Let l be (-4)/(-10) + 4/(-10). Suppose -v + 4 = 0, l = 4*i - 5*v - 13814 + 2454. Is i a composite number?
True
Suppose -971 = 5*u + 4*h, 5*u = 2*u - 2*h - 581. Let c(z) = 3*z**2 - 9*z + 14. Let a be c(6). Let w = a - u. Is w a prime number?
False
Let l be ((-14)/4)/(2*2/(-8)). Let c(h) = 14*h**3 - 4*h**2 - 19*h + 20. Is c(l) composite?
False
Let g = 10 - 9. Let l be (2 + -2)/2*g. Suppose 7*u - 9*u + 158 = l. Is u composite?
False
Let c(h) = 8*h**2 + 31*h + 37. Is c(-16) composite?
True
Let g(c) = 4*c**2 - 17 - 3*c - 14*c + 4*c + c**2. Is g(16) a prime number?
False
Suppose -3996 = -q + 2*k + 4901, -44524 = -5*q - 3*k. Is q a composite number?
True
Suppose -4*j - 30478 = -4*x - 9026, 4*x + 2*j = 21428. Is x composite?
True
Let z be 2/(-6) + 644/6. Let i = z + 1049. Suppose 4 = -2*y, 4*y + i = f + 3*f. Is f composite?
True
Let a be 4/(-3)*5970/20. Let k = -63 - a. Is k a composite number?
True
Let g(i) = 1834*i**2 + 12*i + 29. Is g(-2) a composite number?
True
Suppose 0*n + 4*n - 8 = 0. Suppose 0 = -6*h + n*h + 4348. Is h composite?
False
Let o(r) = 3706*r**3 + r**2 + 32*r - 32. Is o(1) prime?
False
Let w(a) = 33*a + 2. Let t be 27*1*(-17)/(-51). Let y be w(t). Let x = y + 32. Is x prime?
True
Let a(v) = 4*v - 8. Let l be a(5). Let s(z) = z**2 + 21*z - 17. Is s(l) prime?
True
Suppose -3*r = -24*d + 19*d + 38942, 3*r + 23364 = 3*d. Is d composite?
False
Suppose -5*p - 4*f = f - 165, 2*f + 58 = 2*p. Let q = 82 - p. Is q a composite number?
True
Suppose -3*h - k = -h - 36, 0 = 2*k - 8. Let c(g) = -2*g + 38. Let m be c(h). Suppose -41 = 3*i - m*i + 4*b, -26 = -2*i + 3*b. Is i composite?
False
Suppose -8*z + 275 = -1269. Let s = z - -258. Is s a composite number?
True
Let f = 1 - -6. Suppose 9*a - f*a - 1082 = 0. Is a prime?
True
Let i(r) = -1556*r + 34. Let z be i(-12). Suppose 6*n = 6020 + z. Is n a prime number?
False
Suppose -3*l = 4*a - 18 - 14, -3*a - 5*l = -35. Let u(b) = 3*b**3 + 6*b**2 - 16*b - 6. Is u(a) prime?
True
Suppose -x + 4*j + 6 = 0, -2*j = 4*x - 4*j - 10. Suppose -q + x*q - 2 = 0. Suppose 0 = -q*b + 504 - 26. Is b a composite number?
False
Let r = 626 + -179. Let g = r + -82. Is g prime?
False
Let h(y) = -y**2 + 5*y - 6. Let k be h(4). Let z(p) = -20*p**3 + p**2 + 7*p + 11. Is z(k) a prime number?
False
Let a(x) be the second derivative of 3*x + 8/3*x**3 + 1/2*x**2 + 0. Is a(10) composite?
True
Suppose -2*d + 10 = 4*k, 0*k - d = -k - 5. Suppose 50*m - 52*m + 398 = k. Is m a composite number?
False
Suppose 0*j = 2*j - 15562. Is j a composite number?
True
Suppose 100 = 3*h + 2*h. Let k = -13 + h. Is (-2)/k - 65/(-7) composite?
True
Suppose 0*t - 5*t + 7510 = 0. Suppose -27*n - 2*n = -87. Suppose -n*k = -k - t. Is k a prime number?
True
Is 1*(-1 - 2128)*(13 - 14) composite?
False
Suppose 5*z + 6376 = -2254. Let h be -2*1/2 - z. Let j = h - 890. Is j composite?
True
Suppose -3*p - 3032 + 95987 = 0. Suppose 6*m - 11*m + p = 0. Is m a composite number?
False
Suppose -24930 = -2*l - p + 5*p, 0 = 5*l + 2*p - 62349. Is l composite?
True
Let l(u) = -6*u**3 - 1. Let y be l(-1). Suppose 0*o - y*o = -230. Is o a prime number?
False
Let k be 28/(-15) - (264/(-45) + 6). Is -1*(k + (-3 - -6))*-1193 a composite number?
False
Suppose 3*h = 3*l + 1266, 3*h - 4*l - 1270 = l. Let f be 1195 - -4 - (-4)/2. Let t = f - h. Is t a composite number?
True
Let w(g) = -g**2 - g - 11. Let z(q) = 6*q**3 - 2*q**2 - 2*q - 1. Let x be z(-1). Let b be w(x). Let t = b - -132. Is t a composite number?
False
Let m = -9 - -2. Let v = m - -11. Suppose -2*t - v = -4*t. Is t prime?
True
Let s(t) = -t**3 + t**2 + 11*t - 5. Suppose -3*z = -5*k - 23, -3*k + 5*z = k + 21. Is s(k) prime?
True
Let p = -1 + 5. Suppose -g = 1, p*z + 206 - 4113 = -g. Is z a composite number?
False
Suppose 19*q - 21*q + 69538 = 5*w, 5*q + 4*w = 173879. Is q prime?
False
Is (3 - (-138501)/21) + (-34)/119 composite?
True
Let a(w) = 945*w + 14. Let x be a(-3). Let y = -1686 - x. Is y a prime number?
False
Let r(a) be the first derivative of -1 - 6*a + 7/3*a**3 - 2*a**2. Is r(5) a prime number?
True
Is 1/((-5)/(-15))*(-1478)/(-6) a prime number?
True
Let y = 116 + 2175. Is y composite?
True
Suppose 3*b - n - 17733 = -522, 28685 = 5*b + n. Is b a composite number?
False
Is 2/16 + (-290115)/(-168) composite?
True
Suppose -2*t + 4415 + 25062 = q, -3*q + 29467 