-477. Is w a composite number?
True
Let p(n) = -n**2 - 6*n + 5. Let f be p(-9). Let g be (-4)/f + 11226/(-33). Is (-18)/(-81) - g/9 a composite number?
True
Suppose 3*o = -2*j + 2032, 1466 = j - 5*o + 437. Suppose 5*m - 46 - j = 0. Is m prime?
False
Suppose s + 7 = 3*d, 5*d - d = 2*s + 10. Let t be d - (-7 + (-4)/(-2)). Suppose -t*v + 133 = -6*v. Is v composite?
True
Suppose 2*y + 94 = 2*m, -10 = -4*m + 2*y + 182. Is m prime?
False
Let o = 2835 + -1438. Is o composite?
True
Is -1 - 2/4 - 241/(-2) a prime number?
False
Suppose -4*a = -398 + 50. Is a a composite number?
True
Suppose 5*q = 2*g - 230, 0*g + 2*g = 4*q + 230. Is g a composite number?
True
Let o(g) = -3*g**2 + g. Let x be o(-5). Let v = x - -135. Is v composite?
True
Is 6164/24 + (-2)/(-12) a prime number?
True
Let g(j) = -140*j**2 + 1. Let h be g(1). Suppose b + 4*c - 224 = 0, -2*b - 2*b + 5*c + 854 = 0. Let a = b + h. Is a composite?
True
Let n = 143 + -54. Is n prime?
True
Suppose o - 678 = 468. Suppose 0 = 5*q + 4*s + 10, -s + 2 = -q + 2*s. Is ((-1)/3)/(q/o) a prime number?
True
Suppose -4*g = -2*g. Suppose -2*o + o + 211 = g. Is o prime?
True
Suppose 4*g - 6 = -5*w, 4*g - 10 = w + 8. Suppose 3*x = -g*q - 0*q + 467, 427 = 4*q - 5*x. Is q a composite number?
False
Let z(m) = m**3 - 4*m**2 - 7*m + 4. Let s be z(6). Suppose 2 + s = 3*w. Is 663/w + 1/(-4) composite?
True
Let d(l) = l**3 + l**2. Let x be d(1). Let i(q) = 18*q**3 + 4*q**2 + q. Let y(f) = -17*f**3 - 3*f**2 - f. Let c(r) = x*i(r) + 3*y(r). Is c(-1) prime?
False
Let o(l) = 287*l + 3. Let g be o(4). Suppose 13*q - g = 12*q. Is q a composite number?
False
Let x be 83/9 - 6/27. Let s(q) = -2 + x*q + q**2 - 5 - 8. Is s(-12) a prime number?
False
Let p be (-1)/(-2) - 6/(-4). Let y be -5*-1*p - -2. Is (15/y)/1*52 a composite number?
True
Suppose 5*n = 3*n + 8. Suppose n*f + 5*t + 250 = 8*f, -f + 2*t = -64. Suppose 0*x + i - 15 = -x, f = 5*x + 2*i. Is x prime?
False
Suppose -8 = -2*v - 0. Let s = 4 - v. Suppose 2*b - 12 - 18 = s. Is b composite?
True
Let f(p) = -29*p + 3. Let q be f(4). Let h = 296 + q. Is h composite?
True
Let x = 337 + -10. Let a = -462 + x. Let m = 230 + a. Is m composite?
True
Let r(o) = -31*o - 33*o - 72*o + 27*o. Is r(-1) a prime number?
True
Is (-15)/35 + (-1588)/(-14) composite?
False
Suppose 6*a - 810 - 1476 = 0. Is a a composite number?
True
Let t(a) be the first derivative of -a**4/4 + 5*a**3/3 + 3*a + 2. Let h be t(5). Suppose 7*x - h*x - 76 = 0. Is x a composite number?
False
Suppose 2*z - z = -3*b - 81, -b = 3*z + 283. Let n = z - -23. Let h = -36 - n. Is h a composite number?
False
Let m(c) = -9*c. Let d(w) = 27*w + 1. Let q(s) = 4*d(s) + 11*m(s). Let f = 24 - 19. Is q(f) composite?
True
Let l(h) be the first derivative of 13*h**3/3 - 3*h**2/2 + h + 2. Is l(2) prime?
True
Let o(a) = -4*a + a**2 + 3 - 5 + 1 - 2. Let m be o(6). Let w = m - 7. Is w a composite number?
False
Suppose 0 = -x + 2*x + 293. Is x*(1 + (-8)/4) prime?
True
Let b(i) = i**2 - 2*i - 4. Suppose 4*q = 5*o - 13, -5*q - 5*o + 11 = -8*q. Let r be 1/q - 30/(-4). Is b(r) a prime number?
True
Suppose -2*x = -5*x - 2*t, 0 = 2*t + 6. Suppose -4*w = -16, -x*u - 59 = -7*u + 4*w. Let b = 8 + u. Is b a composite number?
False
Suppose 2*i - 4 = -x, -4*i + 1 = -5*x + 21. Suppose 2*t - t = 6. Let z = t + i. Is z prime?
False
Suppose a + 3*a - 4 = -4*w, 0 = 5*a - 3*w + 3. Suppose -6*h + h + 20 = a. Suppose -d - 58 = -f, -5*d - 156 = -h*f + 76. Is f a composite number?
True
Let u be -12*3/(3*-3). Suppose w = -3*q + u, -3*q - w = -4*w - 24. Suppose 3*s = -q, r - 5*s + 3*s = 12. Is r a composite number?
True
Suppose 2*r + 1 = -3*a, 4*a - 5*r = -r + 32. Suppose a*h - 9 = -4*y, -5*h = -y - 0*y - 38. Is h prime?
True
Suppose -10 = 2*j, w + j + 1 - 7 = 0. Let f = -4 + w. Is f a prime number?
True
Let b(i) = i**2 + 11*i + 11. Is b(9) a composite number?
False
Let w(m) = 38*m - 32. Is w(17) composite?
True
Let s = 312 - 5. Is s a prime number?
True
Let c(t) = 4*t**2 - 9*t + 11. Let n be c(8). Suppose -n + 46 = -i. Is i prime?
True
Let r = 9 + -6. Let m(l) = l**3 - l - 1. Is m(r) a composite number?
False
Let z be (10*1)/2 + 2. Let y = 6 + z. Is y prime?
True
Is 2*4672/4 + (-1 - 2) a prime number?
True
Suppose 5*r - 4*r - 2 = 0. Suppose 2*z = -r*z + 60. Is z a composite number?
True
Let w = -5 + -7. Is (-42)/w*7*2 composite?
True
Suppose 11*u = 20*u - 11853. Is u composite?
True
Let o(a) be the second derivative of -3*a**5/20 + a**4/12 + a**2/2 - 2*a. Let r(k) = k**2 - 5*k + 1. Let z be r(4). Is o(z) prime?
False
Let t(x) = -1 - 4*x**3 - 3*x + 9*x**2 - 11*x**2 - x**3. Suppose -2*f = -6*f - 8. Is t(f) composite?
False
Let s be (1 - (-10)/(-6))*-27. Let p be -2*-1*s/4. Suppose w - 2 = -t + p, 4*w = 4*t - 44. Is t a prime number?
True
Let l(z) = -z**3 + 18*z**2 + 4*z + 15. Is l(18) a prime number?
False
Suppose -215 - 615 = -5*i. Let v = 45 + i. Is v prime?
True
Let z(c) = 31*c**2 - 5*c - 3. Suppose r + 4 = 1. Is z(r) a prime number?
False
Let w(c) = 21*c**3 - 5*c**2 + 2*c - 7. Is w(3) a composite number?
False
Let z(t) = 4*t + 55. Is z(8) a prime number?
False
Let c(b) = -b**2 - 11*b + 15. Let n be c(-11). Suppose p + 2 = -2*l + 7, -5*p = 5*l - n. Suppose -98 = -4*d + l*d. Is d a prime number?
False
Is 3824/20 + (-2)/10 a prime number?
True
Let m(b) = 186*b + 17. Let o(z) = 124*z + 11. Let w(j) = -5*m(j) + 8*o(j). Is w(2) a prime number?
True
Suppose 4*a = 4*b + 8, 0*b - 5*b - 10 = -4*a. Suppose -4*d + 737 = 3*w - a*w, -w = 1. Is d prime?
False
Let s(c) = c**2 + 10*c - 9. Suppose 4*z - 2 = -y - 0*y, -z - 52 = 4*y. Let n = y + 20. Is s(n) prime?
False
Let n(y) = -y**3 - 5*y**2 + 4. Let f be n(-4). Let h = f + 23. Is h a prime number?
True
Suppose 0*n + 3*h = 2*n - 52, 0 = -2*n - 5*h + 68. Is (n - -4) + -2 + 0 a prime number?
True
Suppose 5*w - 3*w = 262. Is w composite?
False
Let s = -10 + 5. Let c = s + 19. Is c composite?
True
Let t(v) be the third derivative of -v**5/60 - 7*v**4/24 - v**3/2 + v**2. Let b be t(-6). Suppose b*g + d - 19 = 3*d, -27 = -4*g + 3*d. Is g a composite number?
False
Let d be -2 + 0 - (-2)/(-1). Let s be (d/6)/(8/(-36)). Suppose 3*j + w = -s*w + 50, -2*w + 18 = j. Is j a prime number?
False
Suppose 32 = 5*p - p. Let b be (1*-2)/((-4)/p). Suppose 0*d + b*d + 3*y = 208, -5*y + 20 = 0. Is d prime?
False
Suppose 0 = -4*s - 1 + 21. Suppose 401 = s*y - 44. Is y a composite number?
False
Let z(p) = -2 + 22*p**3 - 1 + 2 + 2*p. Suppose 0 = r - 3*l - 7, -r + 2 = 4*l + 9. Is z(r) a prime number?
True
Let y(o) = 199*o + 5. Is y(2) a prime number?
False
Suppose 5*m - 3*m = 0. Suppose 5*d - z - 1724 = m, 2*d - 4*z - 1031 = -d. Let s = -234 + d. Is s a composite number?
True
Suppose 0 = -4*s + 2 + 126. Let c be (-2)/2*1 + 24. Let t = c + s. Is t a prime number?
False
Let m(t) = 5 - 13*t - 2 - 3*t. Is m(-8) composite?
False
Is -1*7/(-1)*1 a composite number?
False
Let z = 7705 + 760. Is z prime?
False
Let q(j) = j**3 + 2. Let n be q(0). Let g(y) = -4*y + 3*y + 4*y**n - 3*y**2. Is g(3) a prime number?
False
Let b(i) = i**3 + 8*i**2 + 5. Let r be b(-8). Suppose -3*c - 5*l - 45 + 847 = 0, -4*c + 1011 = -r*l. Is c composite?
True
Suppose 3*l - 2*r = -0*l + 62, r = l - 20. Suppose 0 = 5*k + 2*w - 56, 3*k + 5*w = 4*k - l. Let f = k + 34. Is f prime?
False
Suppose 0 = -2*l - 2*l - 28. Let h = -2 - l. Suppose -3*b + h + 25 = 0. Is b prime?
False
Let l be 66/(-14) + 2/(-7). Let r(g) = -114*g - 7. Is r(l) a composite number?
False
Suppose -5*o + 3*p = -2*o + 12, o - 2*p = 0. Let y = 47 + o. Is y composite?
True
Let x(w) = -w + 0*w - 3 - 2*w. Let y be x(-2). Suppose 3*k - 3 = c, -4*c - y*k = -12 - 6. Is c composite?
False
Suppose -5*k + 6803 = 738. Is k prime?
True
Suppose h = 2*h - 269. Suppose -5*v + h = -396. Is v composite?
True
Let c = 62 - 36. Suppose c = 4*t - 14. Suppose -18 = -5*y + 4*a, -5 - t = -y - 3*a. Is y composite?
True
Suppose -r = 5*x - 28, 20 = -0*x + x + 5*r. Suppose 5*y = x + 170. Is y a prime number?
False
Suppose -z - z - 3*r + 179 = 0, -3*z + 3*r = -306. Is z a prime number?
True
Suppose -15 = -0*p - 3*p. Suppose 5*b - 255 = 2*v - 6*v, -b + 51 = -p*v. Is b composite?
True
Let x = 4 - 1. Let f be x*(-2 - (-10)/3). Suppose -f*a + 30 = -46. Is a prime?
True
Suppose -2*i = -7*i - 55. Let o = i - -48. Is o a composite number?
False
Let 