 = -4*f + 2*f + 178. Let z = 38 + f. Is z a prime number?
True
Let j(z) = -910*z - 9. Is j(-2) composite?
False
Let g be (-1)/((-3)/6 - 0). Suppose -2*c = g*c. Suppose -p + 2*x + 45 = c, 102 = -2*p + 4*p + 2*x. Is p a composite number?
True
Suppose 0 = -3*u + 5 + 1. Suppose -u*l - 4*y - 202 = -0*l, -5*y - 299 = 3*l. Let n = l + 140. Is n a composite number?
False
Let g(k) = -k - 5. Let x be g(-3). Let t(u) = -47*u + 1. Is t(x) composite?
True
Let u = 394 - 183. Is u composite?
False
Let z = 4 + 0. Suppose -4*o + 6 = z*l - 10, -3*l = o - 2. Suppose -394 = 4*u + o*m - 1301, u + 5*m = 238. Is u a prime number?
True
Suppose 38*u = 42*u - 1228. Is u a composite number?
False
Suppose -27*l = -30*l + 891. Suppose -3*h = -336 - l. Is h composite?
False
Let m(l) = 105*l - 4. Let p(o) = 210*o - 7. Let w(n) = -11*m(n) + 6*p(n). Let c be w(2). Is (2/4)/(2/c) prime?
True
Let g(v) = v**3 + 10*v**2 - v + 1. Is g(-9) composite?
True
Let r(d) = -d**2 + 8*d + 9. Let y be r(7). Let n = y + 53. Suppose -4*z = -z - n. Is z a prime number?
True
Suppose 0 = -11*u + 9*u - 168. Let n = -51 - u. Is n a prime number?
False
Let y(v) = 8*v**2 + 2*v - 4. Is y(3) a composite number?
True
Let u = -10 - -45. Is u a prime number?
False
Is (35 - (-3 - -6)) + 1 a composite number?
True
Let f = -31 - -59. Suppose 3*p = -u + f, u = -2*p - 0*p + 27. Is u a composite number?
True
Suppose -r + 3590 = 3*z - 1806, -3*r - 1802 = -z. Is z a prime number?
False
Suppose -o + 4 = 2. Suppose 3*k - 17 + o = 0. Suppose 75 = z - 5*t, k*t = -15 - 5. Is z a prime number?
False
Let l(i) = 2*i**3 - i**2 + 2*i - 1. Let s be l(1). Suppose 4*c + 36 = 2*x, s*x - c = 7*x - 68. Is x a prime number?
False
Let k(l) be the first derivative of l**4 - l**3 + l**2 - 3*l - 1. Let r be (-14)/(-5) + 24/(-30). Is k(r) a prime number?
False
Let p(c) = 3*c**3 - 3*c**2 + c + 1. Let v = 4 + -1. Let b(g) = g**2 - 3*g + 4. Let x be b(v). Is p(x) composite?
False
Suppose -188 = 2*w - 670. Let x = -4 - -9. Suppose -x*l + w = 66. Is l prime?
False
Suppose 4*h - 464 = 588. Is h a composite number?
False
Suppose -2*r - 252 = -5*d, -3*r = -r + d + 264. Let h = 246 + r. Is h composite?
True
Let b = 150 - 87. Suppose 4*r - b = r. Is r a prime number?
False
Let l(a) = 46*a + 24. Is l(7) a prime number?
False
Let r(i) = 65*i + 21. Is r(26) composite?
True
Let s(c) = 492*c + 43. Is s(10) prime?
False
Suppose -7*c + 657 = -10*c. Is (4 - c/(-2))*-2 prime?
True
Let b be (1/(-3))/((-10)/180). Is (324 + (b - 4))/2 a prime number?
True
Let b be (-54)/6*-5*1. Let l = b - 26. Is l prime?
True
Let l = -2405 + 3790. Is l composite?
True
Let h(a) = -a**3 + 24*a**2 - 24*a + 22. Is h(17) a composite number?
False
Let x = 199 + -132. Is x prime?
True
Suppose -2*d + 391 = 3*f, 4*d + 3*f - 572 = 201. Is d a prime number?
True
Suppose -15*m + 10906 = -m. Is m composite?
True
Let a(f) = -f - 5. Let h be a(-8). Suppose 789 = h*o + 156. Is o a composite number?
False
Let k(l) = -10*l + 2. Let w be k(9). Let m = w - -269. Is m a prime number?
True
Suppose 3*a - 115 = u, -5*u = -4*a - 95 + 241. Let i = a + -80. Is i/(-2) - (-3)/6 prime?
False
Is -3 - (-8)/4 - (1 + -1849) composite?
False
Suppose 44 = 3*z - 157. Is z prime?
True
Let n = -424 - -1188. Suppose -2*u - 2*k = -k - 756, -2*u + 3*k = -n. Is u a composite number?
False
Let h be (-3 - (3 + -3)) + 6. Suppose 0*d - 4300 = -4*d. Suppose v = 5*t + 215, 3*v - d = -2*v + h*t. Is v a composite number?
True
Suppose 0 = -4*q - 3*b - b - 48, 0 = -5*q + 3*b - 28. Let h(r) = -r - 10. Let k be h(q). Is ((-1)/(-3))/(k/(-114)) a composite number?
False
Suppose -4*f + 370 = -2*f. Suppose -9*h = -4*h - f. Is h composite?
False
Let j = -1 - 0. Let d be j/(-3)*(-1 - 2). Is 79 - (-2 + d + 5) a prime number?
False
Suppose -2*g + 3*g = 5*t + 1312, -3*g = -6. Let n = 383 + t. Is n a composite number?
True
Let k be 3*(15/(-9) - -2). Is (-2)/6*(k - 112) prime?
True
Let j(u) = 2*u**3 - 11*u**2 + 11*u + 3. Is j(9) composite?
True
Let s(v) = 6*v**2 + 5*v - 5. Suppose -4*r - 11 = -5*c + 2*c, -2*r = -5*c + 23. Suppose 7 + 13 = c*u. Is s(u) a composite number?
True
Let v = 8931 - 4666. Is v prime?
False
Let c(n) = n**2 + 6*n + 5. Let f be c(-5). Suppose 2*y - 7*y + 40 = f. Is y + 0 - (-1 - 1) composite?
True
Suppose -2*g + 0*g = -8. Suppose -5*h = n + 19, h + 14 + 5 = -g*n. Is -2 - -35 - (2 + n) composite?
True
Suppose -1066 + 76 = -4*l + 2*f, -l - 4*f = -234. Let y = 391 - l. Is y composite?
True
Let l = 10 + -14. Let n = 14 + l. Is n prime?
False
Let p(f) be the first derivative of -5/2*f**2 + 1/2*f**4 - 1 + 1/3*f**3 - 3*f. Is p(4) a prime number?
False
Suppose -3*i + 3135 = 2*x - 5*x, 4176 = 4*i - 5*x. Is i a prime number?
True
Let w(l) = -12*l**3 - 2*l**2 + 4*l - 1. Let s(r) = -r**2 + r - 1. Let n be 1*-3*3/(-9). Let j(m) = n*w(m) - 2*s(m). Is j(-1) a prime number?
True
Let l be -19*(-94 - -1)/(-3). Let q = -140 - l. Is q a prime number?
True
Let u = -86 - -307. Suppose 8 = -4*v, 0*s - 3*s - 5*v = -u. Is s a prime number?
False
Let f(a) = -12*a + 1 - 15*a + 0. Is f(-2) a prime number?
False
Let u be 4*-1*(-17)/4. Suppose -2 = b - u. Is b prime?
False
Let g = -170 - -325. Is g prime?
False
Let c(x) = -x**3 - 5*x**2 - x + 1. Let l be c(-5). Suppose n = 3 - 24. Is l/n - (-30)/7 composite?
True
Let j = -769 - -1980. Is j composite?
True
Suppose 12 = -3*i, 3*l = l + i + 16. Suppose -3*t + 51 = -2*k, 4*k - l = -2*t + 12. Is t a composite number?
True
Let i(t) = -t + 13. Let h be i(11). Suppose -2 - 2 = -4*x - 4*w, -x - h*w = 0. Suppose -x*b - 2*b + 3*a = -53, -3*b + 24 = 3*a. Is b a prime number?
True
Let a(k) = -k + 14. Let m be a(10). Suppose 5*b - 668 = 3*q, 0*q - m*q = -4*b + 536. Is b a prime number?
False
Let d(q) = -q**2 - 13*q - 9. Let n(a) = a**3 - 8*a**2 - 2*a + 8. Let t be n(8). Is d(t) a prime number?
True
Let j(a) = -a**2 - 7*a + 3. Let v be j(-7). Let h be (-18)/24 - v/(-4). Suppose h = -z - z + 186. Is z a prime number?
False
Let c = 956 + -663. Is c composite?
False
Suppose f - 3*u = 6*f - 177, u = -4*f + 143. Is (0 - -12)*207/f a prime number?
False
Suppose 17 = 3*o - 19. Suppose 0 = -17*a + o*a + 725. Is a a composite number?
True
Let c(t) = 2*t**2 - 9*t + 13. Is c(9) prime?
False
Let h(j) = -5*j**3 + 7*j + 35. Is h(-6) a prime number?
False
Suppose 0*g - g + 1 = 0. Let f be g + -1 + -5 + 7. Suppose -256 = -4*l - 2*b, f*b = -5*l - 0*b + 321. Is l composite?
True
Let n(h) = 423*h**2 - 6*h - 2. Let t be n(3). Suppose -1249 = -4*j + t. Is j a prime number?
True
Let l be ((-4)/10)/(2/(-10)). Suppose 0 = -l*b + 4*j + 4, 10*j = -2*b + 5*j + 4. Suppose 0 = b*g - 5*g - 5*m + 347, -597 = -5*g + m. Is g a prime number?
False
Let g(l) = 63 + 11 - l - 9. Is g(0) prime?
False
Let p(v) = -v**2 + 6*v - 3. Let m be p(5). Suppose m*d - d = 149. Is d prime?
True
Suppose 3*z = -3*m + 5 + 67, 0 = -2*z - 3*m + 51. Is z prime?
False
Let v(b) = b**3 + 8*b**2 + b - 5. Let k = -24 + 16. Let d = -15 - k. Is v(d) prime?
True
Suppose 0 = -3*m - 27 + 129. Suppose -u + 24 = -m. Is u a composite number?
True
Let l be 4/6 + (-705)/(-9). Let c = l + -55. Let q = 7 + c. Is q composite?
False
Let i(j) = j**3 - 4*j**2 - 5*j + 7. Let h be i(5). Suppose 5*r + h + 3 = 0. Is (7/(-2))/(r/52) a prime number?
False
Let h be -1 + 2 + (0 - 1). Let b be 12 + ((-2)/(-1) - h). Suppose m = 2*m - b. Is m a composite number?
True
Suppose -22 - 3 = 5*k. Let u(v) = v**2 + 3*v + 3. Let w be u(k). Let z = w - 9. Is z composite?
True
Is 220 - (171/(-63) + (-6)/21) prime?
True
Let j be ((-4)/(-10))/((-3)/(-30)). Suppose -j*y + 120 = -28. Is y a prime number?
True
Let a(l) = -l**2 - 6*l - 9. Let k(z) = -2*z. Let y be k(3). Let v be a(y). Let t = 10 - v. Is t prime?
True
Let t(m) = -15*m - 8. Suppose 10 = -2*q + 4*q. Suppose -3*c + 39 = -q*a + 13, -a = 2*c + 13. Is t(a) prime?
True
Let j(i) = i**3 + 3*i**2 - 4*i. Let l be j(-4). Suppose l = -5*q + 182 + 113. Is q composite?
False
Suppose 4*d = 4*u + 24, -3*d - 13 = -5*u - 39. Suppose 0 = 4*z + 28 - 8, -d*p = 4*z + 4. Suppose 84 + p = 4*l. Is l composite?
False
Let z(g) = -2*g + 19. Is z(8) a prime number?
True
Let s(w) = -4*w - 5. Let u = 8 + -10. Let p be (u/(-3))/((-10)/105). Is s(p) a prime number?
True
Let u = 121 + -54. Is u composite?
False
Let q = 405 - -2072. Is q composite?
False
Suppose 16*n = 20*n - 15