 a composite number?
False
Let b = -8 - -12. Suppose 2*m - 197 = -d, m - 202 = -d + b*m. Is d prime?
True
Let z(c) = c**2 + 7*c + 6. Let n be z(-6). Suppose -h - 3*h = n. Suppose 0 = -2*f - h*f + 38. Is f a composite number?
False
Let y be (3/(-4))/((-3)/12). Suppose -42 = -5*h + y*h. Is h composite?
True
Let j = 21 + -13. Suppose 0 = h + q + j, 3*h - 24 = 6*h + q. Is (-78)/h*(-1 - -5) a prime number?
False
Let y be (-12)/(-30)*(1 - 16). Is 38/4*y/(-3) prime?
True
Let p be (7 + -1 + -1)/1. Suppose -21 + 82 = 3*c + p*i, -i + 53 = 4*c. Let m = c - -19. Is m prime?
True
Is ((-7596)/(-90))/(2/5) composite?
False
Let s be (5 - -1173) + 0 + 1. Let q = s + -660. Is q composite?
True
Suppose 3*x = 2*x + 45. Suppose f = -4*k - 74, -3*f + k = -7*f - 281. Let v = x - f. Is v composite?
True
Let w(d) = 11*d**2 + 32*d - 13. Is w(24) composite?
True
Suppose -8 = 11*m - 7*m. Is (1 - 211/2)*m a composite number?
True
Suppose 4*w = -r + 6*w + 6, 0 = 5*r - 3*w - 23. Suppose 2*y - r*y + 50 = 0. Is y prime?
False
Let o(u) = -36*u - 1. Is o(-8) a prime number?
False
Let w = -448 + 1245. Is w a prime number?
True
Let m = -16 + 18. Suppose -m*z + 2*p + 36 = 0, -3*z + 105 = 2*z - 2*p. Is z a composite number?
False
Suppose 5*q = -13 - 292. Is -2 + 0 + 0 - q composite?
False
Let r be (-96)/(-15)*45/2. Suppose 2*x - r = -x. Suppose -2*t - 5*c + x = 0, -3*c - 10 = -4*t + 34. Is t composite?
True
Suppose 452 = 5*c - 143. Is c composite?
True
Let k be (-4)/(-2) - (-46 + 2). Suppose -l = -2*l + k. Is l prime?
False
Let z(h) = 1 + 0*h + 5*h**2 + 6*h - 4*h. Let b be z(-1). Suppose 0 = -d - 0*d + 5*y + 93, -3*y - 338 = -b*d. Is d prime?
True
Suppose m - 25 - 86 = 0. Let x(h) = h - 9. Let z be x(9). Suppose z = -4*d - m + 571. Is d a prime number?
False
Let q = 49 - 31. Suppose t + 0*r - 20 = 2*r, -t = -4*r - q. Is t a composite number?
True
Suppose 4*x + 2*j - 1491 = -435, 4*j + 1294 = 5*x. Is (x/6)/(21/63) a prime number?
True
Let m = -17 - -11. Let a(z) = z**2 + 5*z - 2. Let h be a(m). Suppose -h*n = i - 7*n - 34, i - 5*n - 36 = 0. Is i prime?
True
Suppose -6191 = -2*i - 5*g, 4*i = i - 4*g + 9283. Is i a prime number?
False
Suppose 2*k - 22 = 30. Is k a prime number?
False
Suppose 3*t - d - 4*d = 1235, -4*t - d + 1662 = 0. Is t a composite number?
True
Suppose -4*a = 1974 - 5882. Is a a composite number?
False
Is 6213/9 - (-4)/6*1 composite?
False
Let j = -5 - -8. Suppose 12 = -j*r - 6. Let y = 51 - r. Is y a prime number?
False
Let w(s) = -3*s - 1 + 2*s - 5*s**2 + s**3 + 0*s**3 - 3*s. Let i = -13 - -19. Is w(i) a composite number?
False
Let d be (-2 - -5) + (0 - -1). Suppose 5*x - d*x = 53. Is x a composite number?
False
Suppose 4*x + 13 = -7, -3*x = -3*o + 93. Suppose d = c + o, 5*d - 2*c - 98 = d. Is d a composite number?
False
Suppose -c = -5*c + 920. Let m(l) = l**3 - 2*l + 1. Let v be m(1). Suppose -b + 4*a = 5*a - 78, 3*b - a - c = v. Is b a composite number?
True
Let f(b) = b**2 - 9*b. Let s be f(9). Let q(r) = -r + 14. Is q(s) a prime number?
False
Let j(n) = 8*n + 334. Is j(0) a prime number?
False
Let a be ((-6)/4)/(2/24). Let p be 2*3*(-6)/a. Suppose h - 17 - 489 = -4*q, 0 = -p*q + 4*h + 262. Is q composite?
False
Let r = 21 + -15. Is 3/r*-2*-163 a prime number?
True
Let d(y) = 63*y - 2. Is d(3) a composite number?
True
Suppose -6*q + 11*q = 715. Is q composite?
True
Suppose -n + 0*n + 3 = 0. Suppose -2*o + n*x = -11, 2*o = -2*x - 3*x + 3. Let d(f) = 2*f**2 - 2*f - 5. Is d(o) a prime number?
True
Suppose -y = -2*y - 10. Is (14/(-4) - 2)*y composite?
True
Let i = 2202 - 943. Is i a prime number?
True
Let n = -1659 + 7802. Is n a composite number?
False
Suppose 2*z = 3*z - 90. Let p = z + -13. Is p composite?
True
Let a(r) = -7 + 3 + 15*r - 48*r. Is a(-6) a prime number?
False
Let r = 109 - -61. Let g = r - -17. Is g a composite number?
True
Suppose -2*d + 482 + 404 = 0. Is d prime?
True
Let l be (3/(-9))/(1/(-6)). Suppose -l*u + 26 = -0*u. Is u a prime number?
True
Suppose -10 - 2 = -3*k. Let c be k/2*-2*4. Is 8*2/(c/(-14)) a composite number?
True
Let d(n) be the third derivative of n**6/20 - n**5/30 + n**3/6 - 2*n**2. Let l be d(1). Suppose b - 30 = l. Is b a composite number?
True
Let q(r) be the second derivative of r**3/6 + r**2 + 2*r. Let s be q(-2). Suppose s = 3*g - 11 - 10. Is g a composite number?
False
Suppose 2*f + 237 = 1907. Is f a prime number?
False
Let k(b) = b**2 + b - 1. Let q be k(2). Suppose 0 = 5*p, u + 2*p + 3*p = 2. Suppose 4*j - 154 = -u*c, -2*c + 265 - 73 = q*j. Is j a composite number?
True
Let b = -18 + 29. Let x = 3 + b. Is (-1 - -1*x) + 1 prime?
False
Let x = 844 + -557. Is x a prime number?
False
Let h = 190 - 11. Is h prime?
True
Let j be ((-3)/(-9))/((-3)/(-54)). Suppose 0 = -2*m + 32 + j. Is m composite?
False
Suppose 2*y - 27 = -11. Let g = y + 27. Is g prime?
False
Let s = 0 - -5. Suppose -p + 3*b = -673, -s*b + 1730 + 1635 = 5*p. Is p prime?
True
Let a = 3109 + -1998. Is a a prime number?
False
Let w = -386 + 671. Suppose 3*b = -2*b + w. Suppose b = -u + 4*u. Is u prime?
True
Suppose -3*x + 6 = 5*o, 2*o - 5*o = 0. Suppose 2*z - 22 = 4*f, 3*f = -z + x*z - 13. Suppose 2*g + 1255 = z*g. Is g composite?
False
Let x(g) = -37*g. Let z = -1 - -5. Suppose -19 = -a + z*v, -v - 1 = -3*a + 1. Is x(a) prime?
True
Let q(m) = -m**2 + 12*m - 10. Let i be q(8). Let r = 32 - i. Is r/35 + 453/7 prime?
False
Let i(q) = 5*q**2 - q - 1. Let v be i(-1). Suppose -v*h = -0*h - 295. Is h prime?
True
Let a(f) = 7*f + 1 + 4*f + 67*f**2 - 10*f. Is a(-1) composite?
False
Let q(u) = 2*u**2 - 10*u + 1. Let a(x) = 2*x**2 - 9*x + 2. Let r(j) = 3*a(j) - 2*q(j). Is r(5) prime?
True
Suppose -5*w = -3*w. Suppose 0 = z + 4*v - 259, -5*z - 5*v + 760 + 505 = w. Is z composite?
False
Suppose -2*q + 4*z + z + 78 = 0, 3*q = 2*z + 128. Is 1074/22 - (-8)/q composite?
True
Let d = -4 + 26. Let u = -15 + d. Is u composite?
False
Let u = 384 + -254. Let c = 425 - u. Is c a prime number?
False
Let y = 1 + -5. Let i be y*2/(-1) + -3. Suppose 0 = 3*m + i*f - 45, m + 2*f - 1 = 5*f. Is m prime?
False
Suppose 0*i - 223 = -i. Is i prime?
True
Let z(v) = -7*v**3 - 7*v**2 + 15*v + 16. Is z(-9) a composite number?
True
Suppose -2*w + 0*w = -f - 185, -4*w + f = -373. Suppose z - w = -0*z. Let m = z + -41. Is m composite?
False
Let h be ((-9)/3)/(-3)*-1. Let x(s) = 632*s**3 - s**2 - 3*s - 3. Let c(w) = -633*w**3 + w**2 + 4*w + 4. Let d(a) = -2*c(a) - 3*x(a). Is d(h) a prime number?
True
Is 3747*(-12)/9*4/(-16) prime?
True
Suppose 2*b - n + 2*n = 1003, -4*n - 978 = -2*b. Is b prime?
True
Let r(q) = -6*q - 2. Suppose 4 = 5*n - 3*n. Let i(g) = -5*g - 2. Let p(j) = n*r(j) - 3*i(j). Is p(8) a composite number?
True
Let i be (-45)/6*8/(-3). Suppose -2*q = -187 - 31. Is q/5 + 4/i a prime number?
False
Suppose 4*a + 2*b - 16 = 0, -3*a + 21 - 2 = 5*b. Suppose -a*k + 2*k = -145. Is k composite?
True
Suppose -4*m - 119 = -5*x, -6*m = -2*m + 4. Is x a prime number?
True
Let a(h) = -h**3 + 10*h**2 - 6*h - 1. Suppose 0*g = -g + 8. Is a(g) prime?
True
Let s = 1582 + -719. Is s a composite number?
False
Suppose s - 4*y = 175, -2*s - y + 311 = 4*y. Is s prime?
True
Let t(p) be the first derivative of p**2 + 1/3*p**3 - 2*p + 1. Is t(-4) a prime number?
False
Suppose 0 = 4*g - 28 - 44. Is g/(-12)*106/(-3) a composite number?
False
Let f(g) = 542*g**3 - g**2 - g + 1. Is f(1) a prime number?
True
Let p be 28/8 - (-1)/2. Let q be 1/p - (-15)/4. Suppose 7*o + q*r = 2*o + 777, -2*o + 308 = 3*r. Is o a prime number?
True
Let r = 637 + -346. Is r a composite number?
True
Let w = 7 + -1. Suppose 7*l = w*l + 39. Is l a prime number?
False
Let b(w) be the second derivative of -w**5/20 + w**4/12 + 5*w**3/6 + w**2/2 + w. Let k be b(-4). Let u = -30 + k. Is u prime?
True
Let q(w) = -21*w + 8. Is q(-7) a prime number?
False
Suppose 4 - 10 = -3*z. Suppose -z*p + 51 = p. Let o = 8 + p. Is o composite?
True
Let d(o) be the second derivative of -o**3/6 + 11*o**2/2 + 3*o. Let w be d(5). Suppose 4*v = w*v + 10, 3*v = m - 17. Is m a composite number?
False
Suppose 5 = 4*f + 1. Is f/4 - (-215)/20 a prime number?
True
Suppose 3*o - 24 + 9 = 0. Suppose -3*f = o*b - 7, 5*f - 24 = b + 3*b. Is (b - -4)*(-98)/(-6) a prime number?
False
Suppose r - 923 = 1896. Is r composite?
False
Suppose -3*k + 27 = 69. Let u = 8 - -3. Let j 