Let a(t) = 11*t - 14. Let r be a(8). Is r/(-4)*(-27 - -5) composite?
True
Let i(h) = 44*h**2 + h + 10. Let o be i(-4). Let t = -477 + o. Is t a prime number?
True
Let r(l) = -1. Let m(j) = j**2 + 5*j - 3. Let t(h) = -m(h) - 5*r(h). Let s be t(-6). Suppose 195 = -s*p + 5*p. Is p composite?
True
Let b = -46 + 81. Suppose 3*z + 5*j - 3 = 6*z, -5*z = 5*j - b. Suppose -365 = -z*d - 49. Is d prime?
True
Is (-2 + (-115742)/10)/(28/(-140)) a prime number?
True
Suppose 0 = 4*h - b + 52, -b = -3*h - 30 - 9. Let f(r) = r**2 + 14*r + 18. Let s be f(h). Suppose -s*z + 981 = -614. Is z a composite number?
True
Let i(f) be the second derivative of -2*f**3 + 3*f**2 + 2*f. Let g be i(-8). Suppose 0 = 2*u + 3*d - 21 - 36, -3*u + d = -g. Is u a composite number?
True
Let w = -607 + 2786. Is w a prime number?
True
Is 6/4 + 21341133/198 a prime number?
False
Suppose 0 = 82*z - 374332 - 126114. Is z composite?
True
Let k(z) = -2*z**3 + 10*z**2 + 8*z - 9. Is k(-5) a prime number?
False
Let b(p) = 191*p**2 + 264*p + 2. Is b(-5) a prime number?
True
Let c(h) = 55*h**2 + 6*h + 60. Is c(17) prime?
True
Let o(s) = -s**3 + 8*s**2 - 13*s + 6. Let k be o(5). Suppose k*x - 13*x = 1773. Is x a prime number?
False
Is 15817*-2*(-6)/12 composite?
False
Suppose -m - 4 = -5*h + 3, -m + 14 = 2*h. Is m/(-36) - 21025/(-45) prime?
True
Let w = 1 - -3. Suppose 3*p - w*p - 35 = 0. Is (p/10)/(2/(-28)) a composite number?
True
Let f(s) = -120*s - 72 + 74 - 67*s. Is f(-5) prime?
True
Suppose 2*r = -8*v + 4*v + 32, 5*v - 30 = -5*r. Let n(j) = 641*j - 25. Is n(v) prime?
False
Is 1 - -4 - 31104/(-6) prime?
True
Let r = -22 + 10. Let s(u) = u**3 + 13*u**2 + 12*u + 1. Let y be s(r). Is 111*y*(-4)/(-12) composite?
False
Is (-2)/3*(64260/(-24) + 9) prime?
False
Let a(x) = 251*x**2 - 40*x + 23. Is a(-10) a prime number?
True
Is (160/(-15) + 11)*(137589 - 0) prime?
True
Let l(n) = 67 - 45*n + 45*n - 43*n - 70*n. Is l(-8) composite?
False
Let n(p) = 321*p**2 - 2*p + 9. Suppose 3*x + 18 = 2*f, -3*x + 2*x - 16 = -4*f. Is n(x) prime?
True
Is ((-2)/1 - 3) + 5465 + -23 a composite number?
False
Let b be (4/12 + 0)*-6. Let i be b/(-4) - 2/(-4). Is (150/18)/(i/3) prime?
False
Suppose 458*q - 461*q = -2667. Is q a composite number?
True
Let n = -73 + 69. Let x(u) = u**3 + 5*u**2 + 6*u + 7. Let g(b) = b**3 + 4*b**2 + 6*b + 6. Let w(i) = -4*g(i) + 3*x(i). Is w(n) a prime number?
False
Suppose -21*k = -6*k - 1635. Is k a composite number?
False
Suppose -5*l + 12667 = 3*r, r + 4*l = -0*l + 4227. Is r prime?
True
Suppose -w = -1 - 4. Let p(v) = -v**2 + 4*v + 4. Let x be p(w). Let u(c) = -121*c**3 + c**2 + c + 1. Is u(x) a prime number?
False
Suppose 0*d + d + 5*h - 14 = 0, -5*h - 220 = -5*d. Let f = -20 + d. Is f composite?
False
Let k(a) = -2*a**3 + a**2 + a + 7. Let z be 36/(-3)*(-2)/(-3). Is k(z) a prime number?
True
Suppose 0 = n - 4*n + 63. Let i = 338 - n. Is i a composite number?
False
Suppose g + 7292 = -3852. Is 1/(-5) - (g/(-10))/(-7) prime?
False
Let u(k) = 183*k + 449. Is u(30) prime?
True
Let w(x) = -x**2 - 7*x - 4. Let f be w(-6). Suppose 3*y + n = f*n + 15, 0 = -4*y + n + 20. Suppose 5*k = y, -2*l + 191 = 3*l - 4*k. Is l a composite number?
True
Let l be -3*10 - 3 - 1. Let s(y) = y**2 - y - 65. Let d be s(0). Let u = l - d. Is u a prime number?
True
Let w(y) = y**3 - 8*y**2 + 12*y + 4. Let x be w(12). Let m = -333 + x. Is m a composite number?
True
Let k(x) = -94*x**2 - 4*x + 1. Let v(h) = h. Let l(w) = -k(w) - 6*v(w). Is l(-2) prime?
True
Suppose -5276 = 98*z - 102*z. Is z a prime number?
True
Suppose -5*b = -5*z + 1670, 13*z = 10*z - 2*b + 987. Is z prime?
True
Let t(m) = -m**2 + 10*m - 10. Let f be t(8). Suppose -4*k - f*x = -x - 334, -2*x = 4. Suppose -5*u + 3*u = -k. Is u prime?
True
Let n(t) = 4*t**2 + 14*t + 17. Suppose -r - r - 40 = -4*z, -z = -5*r - 19. Is n(z) composite?
False
Is (-3)/(-4)*129628/69 a composite number?
False
Let o = 35208 - 14417. Is o composite?
True
Suppose 2*t + 2*h - 1058 = 0, 2*t + 5*h = 4*t - 1086. Let o = t + -216. Is o a composite number?
False
Let i be (-7)/(35/15) - -6. Suppose -2*x = -5*u + 303, 5*x + 315 = 8*u - i*u. Is u a composite number?
False
Let i(b) = b - 1993. Let u be i(0). Let q = u + 3186. Is q a composite number?
False
Is 56/(-196) - 181155/(-7) a prime number?
False
Let i be ((-204)/(-16) - 4)*764. Suppose 5*c - i = -2*c. Is c prime?
False
Let m(l) = 344*l**2 - 5*l - 1. Let j be m(3). Suppose 0 = 3*d - j + 689. Is d a prime number?
True
Let l(n) = 2046*n + 247. Is l(27) prime?
False
Suppose -x + 994 + 1192 = 0. Is x a prime number?
False
Let s(a) be the third derivative of -a**6/120 + 19*a**5/60 - 5*a**4/12 + 19*a**3/6 - 7*a**2. Is s(18) prime?
True
Let u(m) = 48*m + 41. Is u(6) a composite number?
True
Let p(o) = 176*o - 11. Is p(15) a prime number?
False
Suppose 6*j = 3*j + 405. Let z = j + -56. Is z a prime number?
True
Is -62*1665/(-250) + (-4)/(-50) composite?
True
Let w = 2164 + 25. Is w composite?
True
Let b(a) = 1113*a**2 + a + 3. Is b(-1) a prime number?
False
Suppose x + 26 = -2*x + 4*p, 3*p = x + 17. Let u be ((-1)/x)/((-3)/(-48)). Suppose 83 = i - u. Is i composite?
True
Let u be (-8)/6*(-168)/32. Let a(b) = -5*b - 5 + 3*b**3 - 5*b**3 + 4*b**3 - 8*b**2. Is a(u) prime?
False
Let p = -1500 - -2150. Let l = -283 + p. Is l a prime number?
True
Suppose -229 - 23 = -12*v. Is 46*(111/v)/(2/7) composite?
True
Let h(o) = -o + 8. Let k be h(6). Suppose -3*u + 2505 = 3*g + k*g, -991 = -2*g + u. Let a = g + -287. Is a prime?
True
Let r(u) = u - 3*u + u + 157 + u**3 - u**2. Suppose 2*w = 7*w. Is r(w) a prime number?
True
Suppose 0 = -6*f - 3*f + 36. Suppose 0 = -f*b - 2*k + 1428, -5*b + 4*k + 1763 = k. Is b a composite number?
True
Let q(d) = 70*d**2 + 36*d - 11. Is q(-8) a composite number?
True
Suppose 3*z = -i - 3*i - 4, -22 = -i + 5*z. Suppose 754 = k + i*f, 0*k - 2*f + 3738 = 5*k. Is k composite?
True
Let u(i) = -i**3 - i**2 + i + 35. Let w = -21 - -32. Suppose 5*c = 3*f - 4 - w, 2*c - 5*f = -25. Is u(c) a prime number?
False
Let w(d) = -20*d**3 + d**2 - 13*d - 20. Let z be w(-7). Suppose 0*k = 5*h - 5*k - z, 5*k = 15. Is h a composite number?
False
Let u(c) = -41*c - 4. Let s be u(3). Let m be (-3)/(-5*4/(-460)). Let g = m - s. Is g composite?
True
Is 4246/5 + (408/(-40) - -10) a prime number?
False
Suppose 4*x + 2*n = 1541 - 4275, -666 = x - 3*n. Let j = 1364 + x. Is j composite?
False
Suppose -3*h + 437 = 2687. Let p = -527 - h. Is p prime?
True
Let b be (-12)/8*(-4)/3. Suppose 22 = y + 4*x, -b*y - 12 = 2*y - 4*x. Suppose -206 - 216 = -y*h. Is h a composite number?
False
Is ((-4)/(-6))/(1/6537) composite?
True
Let x(c) = c**3 - 11*c**2 + 13*c + 2. Let i be x(11). Let z = -99 + i. Is z prime?
False
Let z = 5 + 185. Let f = z + 111. Is f prime?
False
Let k(v) = 21 - 8 + 10*v + v + 16. Is k(12) a prime number?
False
Suppose -5*j - 4406 = -3*o - 0*o, -2*j - 4412 = -3*o. Suppose -2*x = 4*a + 3*x - 2966, 2*a - 3*x = o. Is a a composite number?
False
Suppose -3*w + 4*r = 14, -2*w = -5*r + 7*r. Let z(q) = -55*q**3 - q**2 - 3*q + 3. Is z(w) a prime number?
False
Let j(n) = 2817*n - 6. Let h be j(3). Suppose 16*q - 21*q = -h. Is q prime?
False
Suppose 299377 + 33413 = 10*r. Is r prime?
False
Let u = 33810 - 18841. Is u prime?
True
Let f(l) be the first derivative of -18*l + 2/3*l**3 - 2 - 9/2*l**2. Is f(13) a prime number?
False
Let a(y) = 70 - 40 + 15*y**2 - 47 - 9*y. Is a(9) a prime number?
True
Suppose -5*i + 2*b + 42 = -2*b, -2*b = 6. Let s(q) = 75*q**2 + 2*q - 8. Let v(m) = 224*m**2 + 6*m - 23. Let g(n) = i*v(n) - 17*s(n). Is g(1) prime?
False
Let u be (0 + -10)*7/(-14). Suppose 2*o + 222 = u*o. Is o prime?
False
Let m(y) = -y**3 - 8*y**2 + 11*y + 20. Let w be m(-9). Suppose w*p + 5262 = 8*p. Is p a composite number?
False
Let b = -4243 - -9104. Is b a composite number?
False
Let z = -2824 + 5357. Is z a composite number?
True
Let y(o) = -6*o**3 - 3*o**2 + 6*o**2 - o**2 + 5*o**3 - 2 - 22*o. Is y(-15) a composite number?
False
Let x(w) = 8*w**2 + w + 1. Let c be (-36)/(-10) + (-10)/(-25). Let j be (-8)/6*(-6)/c. Is x(j) composite?
True
Let n(y) = y**3 + 7*y**2 - y - 7. Let u be n(-7). Suppose u*l = -h - 2*l - 9, -5*l = 15. Let t = 40 - h. Is t a prime number?
True
Let q be (8/(-12)*2)/((-2)/1050). Suppose 0 = s - 4*i - 511, i + q + 350 = 2*