Suppose -21 = 3*u + 3*l, -2*u + 4*l = 2 + 12. Is a(u) prime?
False
Suppose -2*r = -165 - 257. Is r prime?
True
Let r = -1 - 0. Let k = -1 - r. Suppose 25 = -k*j + 5*j, 4*h = -4*j + 108. Is h composite?
True
Let m(x) be the third derivative of x**8/20160 - x**7/1260 - x**6/360 - x**5/60 + x**2. Let q(f) be the third derivative of m(f). Is q(5) a prime number?
True
Let h(d) = -d**3 - d**2 + d + 6. Let x be h(0). Is ((-2)/x)/(7/(-147)) prime?
True
Suppose -z = -30 + 6. Suppose t = 5*p + 97, -2*p + 5*t - z = 1. Is (p/(-12))/(2/30) a composite number?
True
Suppose -7 = g + 3. Let z(s) = -s**3 - 6*s**2 + 3*s - 11. Is z(g) a composite number?
False
Let m be -11 + -1*(1 + -2). Let l(u) = u**2 + 4*u - 13. Is l(m) prime?
True
Is 182/(-13)*26/(-4) a prime number?
False
Suppose 3*v - 112 = -v. Let j = 3 + 0. Suppose 5*x = -5*t + 90, 0 = j*t + 4*x - 21 - v. Is t prime?
True
Is ((-2104)/30 - 4/20)*-3 a prime number?
True
Suppose 0 = -0*j + 3*j - 15. Suppose -4*c - j*q = 5, -5*c = 2*q + q + 16. Is (48 - c)/(2 + -1) composite?
False
Suppose -15135 = -4*k - v, 0 = -2*k - 0*v + 4*v + 7590. Suppose -5*l + k = -0*l. Is l composite?
False
Let k(f) = 2*f**2 - 7*f - 2. Let i(o) = -o**3 + 6*o**2 - 4*o. Let z be i(5). Suppose y = z*y - 20. Is k(y) composite?
False
Let p be 2/(-1 - -3) - -2. Suppose -2*m + 4 = 0, 7*j - 4*j = -p*m + 138. Suppose 0 = -0*s + 4*s - j. Is s a composite number?
False
Suppose 0 = -2*n + 4*o - 5*o - 289, -2*o + 6 = 0. Let m = -31 - n. Is m a composite number?
True
Suppose -4*g + 2*l + 350 = 0, -g = -0*g + 5*l - 93. Suppose 1435 = 4*o + 343. Suppose -g = 5*w - o. Is w composite?
False
Is (-4 - 1)*(-5)/10*94 a composite number?
True
Suppose -4*r + 14 = -18. Let l = 11 - r. Suppose 5*s - m - 80 = -l*m, 2*s = 4*m + 8. Is s composite?
True
Let k(h) = 2*h - 2. Let y be k(2). Let o(d) = -1 + d - y*d - d. Is o(-4) a composite number?
False
Let h(n) = -n**2 - n. Let v be h(0). Suppose 2*j - 2*u = v, -4*j = u + 4*u - 36. Suppose 0 = j*r - 67 - 17. Is r a composite number?
True
Suppose -746 = -2*a + 2*c, -4*a - 1853 = -9*a - c. Is a composite?
True
Let h(u) = -220*u - 2. Suppose 0 = -3*q + q - 4. Let n be h(q). Is 2/4 + n/12 a composite number?
False
Let x = 15 - 7. Suppose 2*d = -2*d + x. Suppose 0 = q, -d*a + 0*q = q - 166. Is a composite?
False
Let a = 340 + 4963. Is a composite?
False
Is (-8808)/(-4)*(-2)/(-4) composite?
True
Let m(d) = d**2 - 2*d - 1. Suppose -x - 9 = -1. Is m(x) a prime number?
True
Let u(c) = -13*c. Let y be u(-4). Suppose -3*h = 4*m + 2 - 54, 5*h = 4*m - y. Is m composite?
False
Let r = -102 - -353. Is r a composite number?
False
Is (((-26236)/21)/4)/(2/(-6)) a prime number?
True
Let x = 9264 - 5275. Is x prime?
True
Let d = -12 - -12. Suppose t - 31 - 92 = d. Is t a prime number?
False
Let l be (8/(-10))/((-1)/65). Suppose -3 = 5*i - 13. Suppose 2*p - 42 = 2*d, -4*d + 2 = i*p - l. Is p a prime number?
True
Suppose -6*n - 2*n = -16424. Is n prime?
True
Let x = 582 + 339. Is x a prime number?
False
Let z(d) = 3*d**2 + 9*d + 18. Let s be z(-15). Let k = s - 392. Is k prime?
False
Let m(i) = 888*i + 10. Is m(1) a prime number?
False
Let p(u) = u**3 - 8*u**2 - 4*u + 11. Let y be p(7). Is (y/9)/((-2)/6) prime?
False
Let v be -2 + -2 + 4 + 0. Let f be (v + 1)*(3 + 0). Suppose 7 = -f*z + 37. Is z composite?
True
Suppose -2*v + 3*w + 334 = 0, 5*v + w - 2*w - 848 = 0. Suppose -s + 3*s - v = 0. Is s composite?
True
Let x be 3 + 0 + (-33)/(-3). Let d(p) = -p**2 + 14*p + 10. Is d(x) composite?
True
Let w = 11 + -4. Is 53 - 7/(w/(-2)) prime?
False
Suppose -2*o - 4*b + 2*b + 20 = 0, -5*b = -2*o - 15. Let i = 9 - o. Suppose 21 = 5*z - i*z. Is z a prime number?
False
Suppose -480 = -b - 4*b. Suppose 5*o - 119 - b = 0. Is o a prime number?
True
Let q = 1881 - 902. Is q a prime number?
False
Is 2/1 + (-2247)/(-3) composite?
False
Let n(j) be the third derivative of 9*j**4/8 + j**3/6 - 3*j**2. Let q be n(-1). Let t = 77 + q. Is t a composite number?
True
Suppose c + 3 = 5. Suppose -2*u + 4*f + 1102 = 0, 2*u - 1099 = c*f + f. Is u composite?
True
Let b = 312 - 178. Is b composite?
True
Let p be (-5 - -1)*(-4)/4. Suppose -c - 5*x = -133, -4*c + 746 = -p*x + 310. Is c a prime number?
True
Suppose 5*f + 9670 = 5*m, -2*m - m + 5808 = -f. Is m prime?
False
Let q be 6/(-1)*(-1 - 3). Suppose 3*s - 93 + q = 0. Is s a prime number?
True
Let i be (-12)/(-1) + -2 + -1. Suppose i*n - 6*n - 2463 = 0. Is n composite?
False
Let h be (2 + (-6)/4)*-14. Let v(s) be the third derivative of -s**4/6 - 7*s**3/6 - 9*s**2. Is v(h) a composite number?
True
Let c be 0 + 0 - (-65 - -1). Is 1/(-1) - c/(-2) prime?
True
Let o be (-1 + -2 + 3)/(-1). Suppose 2*b + 6 = 0, -4*z + o*b + 3*b + 149 = 0. Is z prime?
False
Let g(l) = 2*l**2 + l. Let u be g(2). Suppose 1 = 5*h - 9. Is h/u + 2536/20 composite?
False
Suppose 2*y - 5*c = 3019, 2*y = y + 5*c + 1512. Is y a composite number?
True
Let h(t) = t**3 + 7*t**2 - 2. Let f(k) = 2*k + 8. Let i be f(-7). Is h(i) a prime number?
False
Let l(z) = z**3 + 12*z**2 - 10*z + 11. Is l(-8) composite?
False
Suppose -2*r = 2*g - 0*r - 18, -g - 4*r = 6. Let j = 26 + g. Let l = j + -3. Is l a prime number?
True
Suppose 2*m = 3*m. Suppose 2*r + 88 = -m*r. Let y = r + 63. Is y prime?
True
Let f = -3 - -3. Suppose g - 61 = -2*r - 20, -3*g + 5*r + 123 = f. Suppose -k = -g + 8. Is k a prime number?
False
Suppose 0 = -4*w - n + 323, -4*n = -4*w + 2*w + 184. Is w a prime number?
False
Suppose 106*f = 111*f - 5495. Is f a prime number?
False
Suppose 4*c - p - 10 = 0, c - 3*p + 3 = -0*c. Is c a prime number?
True
Let m be (-3)/(3 - (-54)/(-20)). Is -6 - -9 - (m + 0) prime?
True
Let s be ((-6)/(-2) - 1)/1. Suppose -2 = -2*c, 0 = -3*u - 4*c + s*c + 371. Is u a composite number?
True
Let x be (-54)/2*(-31)/3. Let d = 33 + -30. Suppose -3*s = 2*v - 0*s - x, -4*v + d*s = -567. Is v a prime number?
False
Let j = 7 - 4. Suppose j = g + 3*s, 7*g = 2*g + 2*s - 19. Is 18 + (-9)/g - -2 prime?
True
Suppose 6*q = 558 + 3516. Is q composite?
True
Let a = -673 + 1470. Is a a prime number?
True
Let i be 1/(-3*(-3)/27). Let k be -2 - (-12)/i - 1. Suppose -k - 49 = -5*a. Is a prime?
False
Let d(x) = x**2 - 8*x - 15. Let t be d(10). Let r(h) = -2*h**2 + 13*h - 5. Let q(y) = -y**2 + 7*y - 2. Let s(c) = 5*q(c) - 3*r(c). Is s(t) a composite number?
True
Let n be (-2)/1 + 2*3. Suppose -n*a = -85 - 151. Is a a prime number?
True
Let f(b) = 9*b**2 + 9*b - 1. Let r be f(-6). Suppose 78 = x - r. Is x composite?
False
Suppose -5*m = -17 - 103. Suppose -2*c - m = -c. Let l = 57 + c. Is l a prime number?
False
Let u(z) = -9*z**3 - 8*z**2 - 4*z - 11. Is u(-9) prime?
False
Suppose w - 25 = 10. Is w composite?
True
Suppose 0*z + 4*l = -3*z + 13447, 3*z + 5*l - 13448 = 0. Is z composite?
False
Let t be (-1)/3*(-9 + 12). Let b = 30 - t. Is b composite?
False
Let d(k) = -k**2 - 8*k + 4. Let x be d(-8). Suppose x*l - 3*l = 83. Is l a prime number?
True
Suppose 4*u = -u - 5. Is 4 + u + (-8 - -88) a composite number?
False
Let v(u) = u. Let q be v(4). Suppose 0 = -h - q*h + 10. Is (-48)/(-15) + h/(-10) prime?
True
Suppose 6*x - 3*x = 3*f, 4*f - 4 = 3*x. Is f/(2/1) - -129 a composite number?
False
Is ((-8)/(-12))/(6*2/6786) composite?
True
Suppose 67 = -5*b - 208. Let m = 93 + b. Is m composite?
True
Suppose -5*k - 4*q = -19, -2*k = 6*q - q - 11. Suppose -2*p - 67 = -r - 5*p, -k*r + 257 = -5*p. Is r a prime number?
True
Let z(k) = -5*k + 2. Let u be z(2). Let m = 12 + u. Suppose 8 = m*a, 2*b + 6*a - 36 = a. Is b composite?
False
Let m be (7 + -1)*1/(-1). Let n(x) = -x**2 - 6*x + 4. Is n(m) a composite number?
True
Let r = 724 - 470. Is r prime?
False
Let a(p) = -14*p + 5. Let l be a(-5). Suppose -5*m + 467 = -218. Suppose -m = -4*w + l. Is w composite?
False
Suppose -4*w + 7 = -9. Suppose -3*z = 3*n - w*z + 109, -2*n = z + 66. Let d = 49 + n. Is d a composite number?
True
Let f(y) = y**2 + 17*y**3 - 3*y**3 - 1 + 0*y**2 - y. Is f(2) composite?
False
Let n(g) = 53*g**2 - g - 1. Let o = 3 + -4. Is n(o) a prime number?
True
Let w = -27 + 40. Let b = w + -7. Is (62/b)/((-8)/(-120)) a prime number?
False
Suppose c - 3 = -t, 3*c = 5*t - 0*c + 9. Suppose t = h + 4*b - 105, 8*h - 3*h - b - 483 = 0. Is h a prime number?
True
Suppose 4*x = -4*l + 16, -4 = l - 2*x - 23. Let s = l - 7. Suppose 0*n = -s*n 