m, 0 = m - 3*x - 334. Is m a prime number?
True
Let g = 127777 + -67766. Is g a prime number?
False
Let p(r) = 6*r**2 + 39*r + 70. Is p(-31) prime?
False
Let h(c) = 72*c**2 + 169*c + 1. Is h(16) composite?
True
Let b(p) be the third derivative of p**6/60 - p**5/5 - p**4/12 - 37*p**3/6 + 34*p**2. Is b(11) a composite number?
False
Let d(r) = 8*r**3 - 21*r + 12. Is d(7) a prime number?
True
Suppose 0*s = s - 2. Suppose -d + s*x = x + 1, -5*d + 1 = x. Is (-7)/14*(d - 154) a prime number?
False
Let k be (-6)/15 + 32/5. Suppose k - 3 = m. Suppose -m*q = -599 - 178. Is q prime?
False
Let b = 16708 + -8501. Is b a prime number?
False
Suppose -2*f + 75028 = 4*t - 187506, -4*f + 196893 = 3*t. Is t a composite number?
True
Suppose -2*y - 19687 = -69409. Is y a composite number?
True
Suppose -2*v - 4067 - 14196 = -r, -r = -4*v - 18257. Is r composite?
False
Let d be (16 + -14)*3/(-2). Let q be 0/(-2 - (-3 - d)). Suppose -4*v + 14 + 62 = q. Is v composite?
False
Let f = -119 - -219. Suppose f = 3*z - 2*z. Let b = z - 21. Is b a composite number?
False
Let z = -4 + 7. Suppose -x - 4*g + 1376 = 0, -z*x = x + 3*g - 5556. Let w = -655 + x. Is w composite?
True
Let o(s) = s + 2*s + 2 + 2 - 8*s**3 + 22*s**3. Is o(3) a composite number?
True
Suppose -8*u - 43792 = -5*g - 7*u, 0 = -5*g - 3*u + 43804. Is g a composite number?
True
Suppose -4*a = -167 + 75. Suppose -a*v = -26*v + 19455. Is v a prime number?
False
Let z = 2179 - -803. Suppose -931 = 7*s - z. Is s composite?
False
Let y(j) = 290*j**2 + 45*j - 418. Is y(7) composite?
False
Is 1738040/70 + (-6)/42 a composite number?
True
Is (-4 + 9)/10*(0 - -75562) composite?
False
Let x be 14/4*156/91. Suppose x*j - j - 1330 = 0. Let y = j + -103. Is y composite?
False
Suppose -4*v - 2*k + 56 = 3*k, -3*k = -12. Suppose 3*b + 3*i - v = 0, 5*b + 0*b = -i + 15. Suppose b*y + 4*x - 374 = 0, 2*y - 7*x - 216 = -3*x. Is y prime?
False
Suppose 24*b - 262471 = -62191. Is b prime?
False
Suppose -9731 = -19*p + 2714. Is p composite?
True
Let i(g) = -2*g**2 + 3*g + 182. Let r(t) = t**2 - 2*t - 91. Let f(w) = 3*i(w) + 5*r(w). Let s = 0 - 0. Is f(s) composite?
True
Let c(p) = -p - 8. Let a be c(-15). Let o(u) = -3*u**2 - 5*u - 2. Let k(s) = 2*s**2 + 2*s + 1. Let x(g) = a*k(g) + 3*o(g). Is x(-6) composite?
True
Let p(s) = -s**2 - 11*s + 16. Let g be p(-13). Let a(b) = 23*b + 11. Let t be a(g). Let r = t + 506. Is r a composite number?
True
Let x be 6 - 6 - (0 - 1). Suppose -2*n = 2*d - 7 + x, -3*d + n = -9. Suppose -180 = -4*i - 2*f, 3*i + f = -d*f + 130. Is i a prime number?
False
Suppose -48*v + 2935 = -43*v. Is v a composite number?
False
Is 24/12*(-1)/(-4)*4322 a prime number?
True
Suppose 7*z = 3*z. Let s(c) = -c**2 + 8*c + 2657. Is s(z) composite?
False
Suppose 2*j = 3*v - 9655, 3*v - 12754 = -2*j - 3083. Is v a composite number?
False
Let p(s) = -89*s + 163. Is p(-14) a composite number?
False
Suppose 9*q + 4456 = 11*q. Suppose -3*v + 376 = -c + 1116, 3*c - v = q. Is c composite?
False
Let j = 1124 - 105. Is j a prime number?
True
Let g(k) = -26*k + 18. Let d be g(11). Let j = 643 - d. Is j prime?
True
Suppose -2*a = -a - 10. Suppose 3*q - 400 = -0*q - v, 5*v + a = 0. Is q a prime number?
False
Suppose 4*f - 4*o - 130563 = 23205, -5*o = 2*f - 76919. Is f composite?
False
Let i be 1/((-4)/(-38152)*2). Suppose 0 = 5*j + 1614 - i. Is j prime?
True
Suppose 16*j - 539 - 22485 = 0. Is j prime?
True
Suppose 9201 + 713 = 2*v. Is v prime?
True
Let z = -23 + 26. Suppose z*y + m - 424 = -0*y, 5*y - 3*m - 716 = 0. Suppose 6*i = 4*i + y. Is i a prime number?
True
Let i = -3 - -3. Suppose i*m + 5*m = 1930. Suppose -378 = -4*l + m. Is l composite?
False
Let p(n) = n - 37. Let w be p(7). Is ((-20)/w)/(3/(13266/4)) prime?
False
Let r(f) = 6947*f**2 + f - 1. Is r(1) a composite number?
False
Let t(b) be the second derivative of 1/6*b**4 + 0 - 2*b + 5/6*b**3 - 1/20*b**5 + 5/2*b**2. Is t(-5) a prime number?
False
Let c = -4832 - -6819. Is c composite?
False
Suppose 0 = 4*o + 4*v - 6556, -2*o = -6*o + 5*v + 6565. Let h = o - 243. Is h composite?
True
Let d = 20027 - -450. Is d a composite number?
False
Suppose -12*t = -21*t + 77967. Is t prime?
True
Suppose -144*i - 189776 = -160*i. Is i prime?
False
Let x = 5411 + 33924. Is x a composite number?
True
Let m(c) = -11*c - 6. Let x be m(6). Let k be (-1312)/(-9) - 16/x. Let y = k + -81. Is y prime?
False
Suppose 4*f = y - 7 + 2, 4*y = 3*f + 33. Suppose -13*d + 3148 = -y*d. Is d prime?
True
Let m(q) = q - 4*q - 3*q + 21*q**2 + 3*q - 3. Suppose b - 8 = 5*b. Is m(b) a prime number?
False
Let l = 1857 - 712. Is l a composite number?
True
Let h be (-526)/(4 + (-3 - -1)). Let p(g) = -3*g**3 - 5*g**2 - 10*g - 6. Let q be p(-6). Let v = h + q. Is v prime?
False
Let u be 0 + (-244)/(-28) - (-4)/14. Let i(o) = 50*o**2 + 11*o + 2. Is i(u) composite?
True
Let f be -11*((-2)/(-3))/((-2)/3). Is ((-4)/(-11))/2 - (-1725)/f composite?
False
Let j = -1298 + 3193. Is j prime?
False
Let z be (-3)/(6/4) + (-28 - -41). Suppose z*n = 7*n + 652. Is n prime?
True
Let m(d) = -d**3 - d + 4. Let c be m(2). Is (6 - (-27)/c)/(3/1004) prime?
False
Suppose -5*l - c = -10011, 0 = -3*c + 8 - 20. Is l composite?
False
Suppose d = 3*y + 726, -4*y - 2*d + 0*d - 968 = 0. Suppose -625 = 5*i + 5*v, -4*i - v - 502 = 4*v. Let p = i - y. Is p prime?
False
Suppose -2*n + 6 = -3*i, 0 = n - 4*i - 6 + 3. Let c be -3 + 6 + (26 - n). Is c/3*24 + 3 prime?
True
Let z(u) be the third derivative of u**6/120 - u**5/10 + u**4/12 - 5*u**3/6 - 5*u**2. Is z(6) a prime number?
True
Let i be (-2)/11 - (-3510)/66. Suppose 49*g + 84 = i*g. Is g a prime number?
False
Suppose -2*m = -2*p + 24, 4*p = -5*m + 6 - 57. Let j(v) be the second derivative of -8*v**3/3 - 13*v**2/2 + 10*v. Is j(m) a prime number?
True
Suppose 3*d + 3*h - 160 = -h, -4*d + 176 = -4*h. Let q = d + 161. Is q a composite number?
True
Let n(w) = 19*w**3 - 3*w**2 - 3*w + 1. Let c be n(3). Let z = c + -172. Let j = z + 25. Is j composite?
False
Let q = 2651 - -2490. Is q a composite number?
True
Let q(z) = 738*z + 43. Is q(18) a composite number?
False
Suppose 3*i - 6*i - 3*t + 12 = 0, -i + 12 = 5*t. Suppose 6*d - 20 = i*d. Suppose u - d*u = -764. Is u a prime number?
True
Suppose -13*n - n = -924. Let y = n + 425. Is y a composite number?
False
Suppose -30*t - 12687 = -245277. Is t a prime number?
True
Let b(r) = -75*r**3 - r**2 + 2. Let o be b(-1). Let s = o - 18. Is s composite?
True
Let j be (-3 + 3)/(-4)*1. Suppose o + 4 - 37 = j. Is o composite?
True
Suppose -k = -2*i + 15560, -3*i + 8249 + 15092 = -k. Is i a prime number?
False
Let m(z) = z**3 - 20*z**2 - 20*z. Let l be m(21). Suppose 0 = -l*h + 26*h - 1065. Is h composite?
True
Let s(b) be the second derivative of 11*b**4/12 + 5*b**3/3 - 2*b**2 - 37*b. Is s(-9) a prime number?
True
Let g(w) = w**3 - 2*w**2 - 4*w + 1255. Is g(0) prime?
False
Let p = 9423 + -4802. Is p a composite number?
False
Suppose 4*f - 11 = -z, -5*f + 4*z + z = -20. Suppose -2*y = 3*n - 616, 3*y + y = f*n + 1214. Is y prime?
False
Let o be (-1)/(-1) + 2/2*-1. Is 3 - (-446 - (o + 0)) a composite number?
False
Let u(l) = 46*l**2 - 3*l + 13. Is u(-12) composite?
False
Suppose 0 = 14*g + 6824 + 7372. Let c = 1601 + g. Is c prime?
True
Suppose -9*b - 6 = -11*b. Suppose 4*r + 255 = l, -3*l + 0*r + b*r + 756 = 0. Is l prime?
True
Suppose -2*a - 3*u + 2 = -4, -5*a - u = -15. Suppose 4*d = 13 + a. Suppose 498 = 4*r + 2*m, d*r + m = -4*m + 507. Is r composite?
True
Suppose 5*a = -5*c + 4*c - 353, 3*a = 2*c - 204. Is (-40)/a + 2274/14 prime?
True
Suppose 4*p - 3*p + 27 = 5*n, 2*n = -5*p + 27. Suppose -12*f = -n*f - 18. Suppose 5*h - 3*s - 50 = 0, -h - 3*h + 40 = -f*s. Is h a composite number?
True
Let a = 7125 + -4126. Is a prime?
True
Suppose -5*a = -5 + 15. Let t = 0 - a. Is (1/t)/((-8)/(-5072)) composite?
False
Let z be -2*(-1)/(-2)*-3. Let w(m) = -9*m**2 + z + 4 + 2*m + 11*m**2. Is w(5) a composite number?
False
Let m be 3 + -1 + -10 + 11. Suppose 185 + 52 = m*s. Is s a prime number?
True
Let b = -13 - -11. Let q be (2238/(-12))/(b/4). Suppose 3*z + n - q = -7, 109 = z - 4*n. Is z composite?
True
Suppose 11*k = -8*k + 878978. Is k a composite number?
True
Suppose 7*i - 3 + 10 = 0. Let m be i + (2 - 2) - -1. Suppose 3*j = -m*j + 387. Is j prime?
False
Let f(w) = -28*w -