2 + 0*p**2. Is x(4) a prime number?
False
Suppose -47 = 4*v - 15. Let b(x) = 5 - 4 - 4 - 19*x - x**2. Is b(v) prime?
False
Let v = 287 - 52. Is v a composite number?
True
Let t = 2407 + -1434. Is t prime?
False
Let q be (-4)/((-4)/3)*-15. Let y = -10 - q. Is y a composite number?
True
Let d be -2 + -1 + 0 + 2. Is 8/4 + (d - -30) a prime number?
True
Suppose -4*l = -4*d - 36, 4*d + l + l = -36. Let s be (-3)/(-9)*-1*d. Suppose 0 = -s*y + 5*r + 76, 0 = 5*y + 4*r - 54 - 48. Is y composite?
True
Suppose 0 = -0*l - l. Suppose -5*o + 2*c - 20 = -3*c, -5*o + 3*c - 14 = l. Is (-66)/3*o - -1 a composite number?
False
Suppose 2*h = -4*d - d - 16, -d = 5*h - 6. Suppose h*w = -w + 75. Let c = 46 - w. Is c composite?
True
Let g = 49 + -10. Is (-1 + g/2)*2 composite?
False
Let x(s) = -5*s - 1 - 2*s + 6*s. Is x(-5) composite?
True
Let d = -9 + 11. Suppose -d*f = 3*f - 545. Is f prime?
True
Let t be (1 + 0)*4/1. Suppose 3*j = t*j - 39. Is j composite?
True
Let x(c) = 7*c**3 - 5*c**2 + c + 6. Let b(a) = -a**3 - a**2 + 1. Let t(f) = 6*b(f) + x(f). Is t(11) a prime number?
True
Let d(w) = -w**2 - 5*w - 3. Let o be d(-2). Suppose -o*p - 2*p = -475. Is p composite?
True
Let l(u) = -65*u + 3. Let t be l(-5). Is (t + -3 - -2) + 2 prime?
False
Let j(b) = b**3 - b**2 + 3*b + 1261. Is j(0) composite?
True
Let k = 247 - 55. Let l = k - 65. Is l a prime number?
True
Suppose -13 = -4*n - 4*j - 1, 0 = -2*n - 5*j - 3. Let c(q) = q**3 - 6*q**2 + q - 3. Let s be c(n). Suppose s*p - 94 = p. Is p composite?
False
Suppose 0 = 4*x - 3*r + 88, -2*x - r + 23 = -3*x. Let k = 32 + x. Is k a prime number?
True
Let w be (-118)/4*(-4 + 2). Suppose 0*t - 2*t = 3*y - 247, -y + w = -4*t. Is y prime?
True
Let y be 118/(2/(-248)*2). Is (-8)/36 - y/36 a composite number?
True
Let g(y) be the second derivative of y**4/6 + y**3/3 + 9*y**2/2 - y. Is g(-8) a prime number?
False
Suppose 447 = k + 2*k. Is k a composite number?
False
Let b = 13 + -9. Suppose 2*i = b*i - 8. Suppose -37 = -i*u + 95. Is u a prime number?
False
Let j(u) = -u**3 - 3*u**2 + 3. Let k be ((-6)/4)/(4/8). Let w be j(k). Is 3/9*w + 96 prime?
True
Let g = 2 + 2. Suppose -y + 45 = 4*j, -g*y = -j - 4 + 28. Suppose 5*f - 3*f = 3*v + 163, j = -4*v. Is f prime?
False
Suppose 0 = -0*c - c + 2. Let i be (1/(-1) - -1) + c. Suppose i*o - 105 = -o. Is o composite?
True
Let t(j) = 3*j**2 - j - 3. Let x(s) = -1. Let v(c) = t(c) - 4*x(c). Is v(-6) a prime number?
False
Suppose -3*k - 6*k = -19611. Is k a composite number?
False
Let m(i) = i + 14. Let c be m(-11). Is -133*(-1)/c*3 a composite number?
True
Let s(t) be the second derivative of t**5/24 - t**4/8 + t**3/2 + 3*t. Let q(m) be the second derivative of s(m). Is q(8) prime?
True
Let h = 6 - -14. Let m = h + 3. Let g = m - 12. Is g composite?
False
Suppose 327 = l + 104. Is l a composite number?
False
Let u(k) = 10*k**3 + 10*k**2 - 2*k - 3. Let o(p) = -p**3 - p**2 + p + 1. Let m(j) = -6*o(j) - u(j). Let i(s) = -s**2 + s + 4. Let w be i(3). Is m(w) composite?
True
Let a = -23 + 218. Suppose -4*r = r - a. Suppose r = -5*t + 104. Is t a prime number?
True
Suppose a - 169 = 3*n, n - a + 4*a = -73. Let i(j) = -2*j**2 + 13*j + 14. Let f be i(13). Let x = n - f. Is x a composite number?
False
Suppose 2*q = 4, 3*k + 6*q - q - 259 = 0. Suppose -g = -0*g - k. Is g composite?
False
Suppose 5*q - 2*w = -3*w - 567, -5*w - 213 = 2*q. Suppose 2*j + 120 + 34 = 0. Let c = j - q. Is c composite?
False
Let m(y) be the third derivative of -y**4/24 - y**3/6 + 2*y**2. Let z be m(0). Is (-9)/z + 6/3 a composite number?
False
Let o be 1*(0 - 1) - 9. Let h = -6 - o. Is ((-4)/h)/((-2)/38) a composite number?
False
Let t(h) = -8 + 3 - 6 + 5*h + 0. Is t(10) composite?
True
Suppose 4*u + y = 33, -5*u - 3*y + 20 = -6*y. Is u prime?
True
Let m be (178/4)/(5/(-10)). Let f = m - -43. Is (-2)/((-88)/f - 2) a prime number?
True
Let n = -1 - -3. Suppose -2*l + 60 = n*l. Is l prime?
False
Let x = -21 + 206. Is x prime?
False
Let x(r) = -r**3 + 10*r**2 + r - 14. Let g be x(10). Is 2/g*158*-5 composite?
True
Let a = -151 + 276. Let k = a - 76. Is k prime?
False
Let v(j) = j**2 + 2*j + 4. Suppose 0 = n - 3. Is v(n) a prime number?
True
Suppose -p - 4 = -2*p. Suppose -f + p = -15. Is f prime?
True
Let n be (-2)/(-10) + (-23934)/(-30). Let f = n - 461. Is f a composite number?
False
Suppose 0 = -5*r - 5*o - 5, 3*o = 6*r - r - 19. Let u(v) = 6*v**2 + 4*v**r + v - 2*v. Is u(1) composite?
True
Let k be 5/(75/(-6))*50. Let z = -88 - -159. Let s = z - k. Is s composite?
True
Suppose -3*b - 2*b = 15. Let k be (-18)/b*(3 - 0). Suppose 2*m - 34 = k. Is m a composite number?
True
Suppose -6*b + 4*b + 106 = 0. Is b composite?
False
Suppose 5 = x + 4*x, 26 = 4*p - 2*x. Suppose 0 = 5*n - 5*m - 575, m = -2*n + p + 226. Suppose 5*c - 69 = n. Is c prime?
True
Suppose -4*p + 1595 = -737. Is p a composite number?
True
Let q = 39 - 66. Let n = q + 14. Is 1 + (-6)/2 - n a prime number?
True
Let y = -1 + 9. Let g = -4 + -1. Let x = g + y. Is x prime?
True
Let j = -46 - -71. Suppose m - 6*m = -j. Suppose -3*t - 11 - 60 = -2*s, -5*t = m*s - 140. Is s prime?
True
Let a = 105 - 209. Let m be 6/9 - a/6. Suppose 3*y - 74 = -5*j, y - m = 3*j + 2. Is y composite?
False
Suppose 658 = 3*c - c. Is c composite?
True
Suppose -296 = 5*u - 9*u. Is u prime?
False
Suppose -i - 10 = -2*u - 0*u, -4*u = i - 8. Suppose 4 = u*w + 16. Is 2/w - (-114)/12 prime?
False
Let y be 25/(-10)*(0 + -2). Let i = 464 - 301. Suppose 4*a = -y*n + 321, 4*a - 2*a - i = -5*n. Is a a composite number?
False
Let a be ((-1)/(-1))/(-1) - -1. Suppose -2*s = -a*s - 8. Suppose 4*v - 3*v + 23 = 3*q, 5*q - 10 = -s*v. Is q composite?
True
Let v(q) = 2 - 6 - 16*q + 13*q - 62*q. Is v(-3) composite?
False
Let m = 13 - 8. Suppose 0 = -3*v + 7*v - 20. Suppose -m - 390 = -v*c. Is c composite?
False
Let d(u) = 5*u**2 - 7*u - 1. Let g be d(6). Suppose 3*l - 3*o - g = -20, 0 = 5*o. Is l composite?
True
Is 5748/28 - (-4)/(-14) a composite number?
True
Let y(i) = i**2 - 6*i - 9. Let m be y(7). Is (m - 5)*4/(-2) a prime number?
False
Let c(w) be the third derivative of 0 + 0*w + 1/12*w**4 - 1/2*w**3 - 1/120*w**6 - 1/20*w**5 - 4*w**2. Is c(-5) a prime number?
True
Suppose 5*d + v - 285 = 3*v, -3*d + 160 = v. Is d a composite number?
True
Let s be 0 + (2 - 4)*-1. Let q be (0 + -1)*s*1. Is q/6 + 274/3 composite?
True
Let h(l) = -2*l**2 - l. Let s be h(2). Let n(q) = -15*q + 2. Let f be n(-2). Let a = s + f. Is a a composite number?
True
Suppose -1233 = -7*j + 244. Is j prime?
True
Suppose 4*d - 4 = 0, 2*n - 3*d = -7*d + 20. Suppose -n = 3*a + a. Is (-628)/(-8) + a/(-4) prime?
True
Let w be ((-22)/(-55))/(1/335). Let x = w - 49. Is x a prime number?
False
Let q = -70 - -105. Suppose 4*f + 5*w = 9 + 62, q = 2*f + 3*w. Is f composite?
False
Suppose -5*i = -11 - 4. Let w be (-4 + 0 - -18)*(-102)/(-4). Suppose -i*v = 2*h - 126, 0*h + 5*h - 3*v - w = 0. Is h composite?
True
Let c(r) = -r**3 + 8*r**2 + 5*r - 3. Is c(8) composite?
False
Suppose -2*o - 2*o + 84 = 0. Is o a composite number?
True
Suppose 5*p = 4*c + 39909, -2*p + 7*p + 3*c = 39937. Is p a composite number?
True
Let o = -277 + 511. Let s = o + -141. Suppose 5*g - 1048 = -s. Is g composite?
False
Let i(c) be the first derivative of 3*c**2/2 - 3*c + 1. Let a be i(2). Suppose 82 + 20 = a*v. Is v prime?
False
Let d = -10 + 61. Is d composite?
True
Let p(g) be the third derivative of -19*g**4/24 - g**3/6 - 2*g**2. Let t be p(-4). Suppose 0 = -3*y + 30 + t. Is y prime?
False
Suppose -3*v = v - 744. Let t be 570/4*(15 - 13). Suppose 3*x - v = t. Is x a composite number?
False
Suppose -4 = -x + 314. Let t = x - 191. Is t a composite number?
False
Let d be (8/10)/((-7)/70). Is (-3516)/d - 2/4 a composite number?
False
Suppose -2*i + 3*r + 15 = -3, -4*r - 31 = -5*i. Is (-3)/((-9)/21)*i a composite number?
True
Let u = 32 + 5. Is u a prime number?
True
Let a(y) = -6*y + 1. Is a(-3) a composite number?
False
Let w = 115 - 74. Suppose -g = -w + 10. Is g a prime number?
True
Let c(h) = 6*h**2 - 2*h + 1. Let u be c(1). Is 255/u + 0/1 a composite number?
True
Let r(o) = -o + 4. Let z(b) = b**2 - 3*b + 13. Let v(l) = -7*r(l) + 2*z(l). Is v(-2) a composite number?
True
Let m(u) = u**2 + 791. Is m(0) a composite number?
True
Suppose -2*p + 0*p = -6. Let b be (-2)/p - 