*l - 1 - 2, 4*a = 4*l + 9432. Is a composite?
False
Let f = 20 + -43. Let u be 1/3 + f/(-3). Suppose u*m - 4*m = 172. Is m composite?
False
Suppose -4*x + 248 = -0*x + 4*y, -3*y = 9. Is x a prime number?
False
Let c(h) = -280*h**3 + 2*h**2 + 4*h + 11. Is c(-2) a composite number?
False
Suppose -u - 5 = -2*u. Let q be 6/u + 2/(-10). Suppose 2*h - 95 = l, q + 4 = -5*l. Is h a prime number?
True
Let l = -250 + 579. Is l a prime number?
False
Let k(u) be the first derivative of u**2/2 - 2*u - 1. Let z be k(4). Suppose -z*r + 34 = 14. Is r composite?
True
Let q = 0 + 2. Suppose h - 23 + 7 = q*i, 0 = -5*h + 5*i + 75. Is h a composite number?
True
Let j(d) = 2*d**2 + 11*d - 3. Let s be j(-8). Suppose -h + 58 = -s. Suppose 5*r = 3*y + h, 3 = -r + 3*y + 2*y. Is r prime?
False
Let t = -577 - -1246. Is t a composite number?
True
Is ((-1742)/8)/((-8)/32) a composite number?
True
Let a(g) = 28*g + 5. Let h be a(5). Let n = 276 - h. Is n composite?
False
Suppose 8*d + 2595 = 11*d. Is d composite?
True
Let u(f) = -6*f**2 - 2*f + 1. Let o be u(1). Let k(b) be the first derivative of -b**3/3 - 5*b**2 - 2*b + 1. Is k(o) a prime number?
True
Let r(p) = -p**3 + 27*p**2 + 7*p - 16. Is r(21) composite?
False
Let n = 1264 + -755. Is n a composite number?
False
Suppose 172 = -5*x - 408. Let v = x + 175. Is v composite?
False
Let m = -27 + 97. Suppose 0 = -x - 4*x + m. Is x prime?
False
Is (-1464)/(-5) - (-5)/25 a prime number?
True
Let n = -2 - -4. Let k be (n*9/6)/1. Suppose -k*p + 0*p - 2*c = -363, 3*p - 363 = c. Is p prime?
False
Suppose -2*h = -2, 2*f - 777 = -0*f + h. Is f a prime number?
True
Suppose 0*a = 5*a - 7195. Is a composite?
False
Let t = 0 + 0. Let f(w) = w**3 - w**2 - 2*w - 10. Let c be f(-5). Is c/(-3) + (t - -1) a prime number?
False
Suppose 15 + 164 = m. Is m a composite number?
False
Suppose 0*o = 4*o, 2633 = s + 4*o. Is s prime?
True
Suppose 3*c + 2*c - 5 = 0. Let b = -35 - -81. Is 3/(c - b/52) prime?
False
Let x = 1768 - -2974. Is x prime?
False
Let a = -38 - -65. Suppose -3*c + 83 = 4*o, 0*o - a = -c - o. Is c a prime number?
False
Is -3*1 - (-20214)/9 prime?
True
Is 24/(-16)*(-3246)/9 composite?
False
Let k(d) = 93*d**2 - 24. Is k(7) a prime number?
False
Let d = -31 + 18. Is 3/((-55)/d + -4) prime?
True
Let f(l) = 96*l + 10. Is f(4) a prime number?
False
Is 44/3*3/2 prime?
False
Let j(c) be the first derivative of c**3 - c**2 + 4*c + 6. Is j(-5) prime?
True
Let a be (-13)/(-2) - 4/(-8). Is (-5574)/(-42) - (-2)/a composite?
True
Suppose -6*w = -4*w. Let d(o) = w*o - o - 11*o - 1. Is d(-6) prime?
True
Suppose 4*k - 290 - 1266 = 0. Is k a prime number?
True
Let b(n) be the first derivative of 149*n**3/3 - n**2/2 - n - 2. Is b(-1) composite?
False
Let c(j) = -j**2 + 8*j + 1. Let z be c(8). Let d(s) = 6*s + 1. Let g be d(z). Is g/14 + (-43)/(-2) composite?
True
Suppose 14*g - 2502 = 13*g + 3*h, 0 = -g + 2*h + 2507. Is g prime?
False
Suppose -t + 4531 = 5*f, 6*f - 3*t = 3*f + 2733. Is f prime?
True
Suppose -4*i + 9*i - r - 2241 = 0, -5*r = -20. Is i a prime number?
True
Suppose -4*b + 4*f - 20 = -0*b, -f + 21 = -5*b. Let q be (0 + 0)/(b - -6). Suppose -g + q = -51. Is g a composite number?
True
Let o(y) be the third derivative of -y**5/60 - 5*y**4/24 - y**3/2 - 3*y**2. Let g be o(-4). Suppose 21 = p - 3*l, 4*p - l + g - 30 = 0. Is p a composite number?
True
Suppose 3 + 5 = -g + 2*l, 23 = 4*g + 3*l. Is (0 - (-111)/6)*g a prime number?
True
Let i = 3596 + -1939. Is i prime?
True
Let v be 2/(-6) + (-6)/9. Is v/(1/127*-1) a composite number?
False
Let n be (-8)/(-12)*69/1. Suppose -4*m + n = h - 110, -156 = -4*m - 3*h. Is m a prime number?
False
Let z(c) = 11*c**2 - c - 2*c + 7*c - 4 + 11. Is z(8) prime?
True
Suppose -5*r - 5*u = 0, -3*r - 4*u + 4 = 9. Is 158 - (r + 2/(-1)) a composite number?
True
Suppose 3*h - 134 = -4*t, 5*h - 204 = 2*t + t. Suppose -6 = k + 3*j, -4*k = -3*j + 27 + h. Is (310/k)/((-4)/42) prime?
False
Let q(h) = 3*h + 1 + 25*h**2 + h + 9*h**2 - h. Is q(-2) a prime number?
True
Suppose 11 = 5*r - 29. Let l(f) = f**3 - 7*f**2 - 2*f + 7. Is l(r) a prime number?
False
Let p(k) = -4*k + 1. Let z be p(-1). Is (-1313)/(-5) + 2/z composite?
False
Suppose 5239 = 6*k + 1345. Is k a composite number?
True
Let w = 25 - 13. Suppose -j = 2*j - w. Suppose -b - j*b = -325. Is b composite?
True
Let m(w) = -2*w. Let k be 2/(0 + -2 + 0). Let t be m(k). Suppose 0 = t*b + 4, -6*b - 180 = -5*n - b. Is n a prime number?
False
Suppose -3*b - 917 = -0*m - 5*m, 3*m - 613 = 2*b. Is 2*b/(-4) + 0 a prime number?
True
Let r = 42 + 1097. Is r a prime number?
False
Suppose 17 = 2*x - 1. Is x a composite number?
True
Let k(f) = f**2 + 28. Let j be k(0). Let y be (2 - 1)*(26 - 1). Let g = j + y. Is g a prime number?
True
Suppose -3*t + 4*t + 4*l = 2, -3*l = 4*t + 5. Let y be 0 + (t - -1) - -3. Is y/(-9) + 1844/36 a composite number?
True
Is (4 - 0 - 0) + 363 prime?
True
Is 2/1 - 17*-17 a composite number?
True
Let y be (-4 + -9)/(2/(-50)). Suppose -2*c + y = 3*c. Is c prime?
False
Let w = 18 + -11. Let r(b) = w - 3*b - b + 3*b. Is r(0) a composite number?
False
Suppose -4*j = -2*j - 4. Suppose -2*f = j*f - 424. Suppose -g = g - f. Is g a composite number?
False
Let a(t) be the second derivative of t**4/3 - 4*t**3/3 + t**2/2 - 2*t. Is a(6) composite?
False
Suppose -1 - 7 = -4*g. Suppose -g*s + 7*s - 25 = 0. Let i(j) = -j**3 + 7*j**2 + 4*j + 7. Is i(s) composite?
True
Let n(k) = -574*k**3 - 2*k**2 - 2*k - 1. Is n(-1) composite?
True
Let t = 5 - 1. Suppose 2*v - v = -3, -4*v - 592 = -t*d. Is d prime?
False
Suppose -4*b = -3*c - 20, -2*c + 0 = -4*b + 20. Let g be (1*-2)/((-2)/4). Suppose c*z - g*z = -332. Is z a composite number?
False
Suppose 10 + 0 = -5*w. Let a = -4 - w. Is (148/(-12))/(a/42) composite?
True
Is (-5 - 283/2)/(2/(-4)) a composite number?
False
Is 1/2*(2829 - 6 - 5) composite?
False
Let x(v) = 2*v**2 - v. Let a be x(-1). Suppose -a*w - w = -136. Is w prime?
False
Let l = 3 - 2. Suppose i = l + 4. Suppose 15 = 3*r, 4*r + 237 = i*z - 318. Is z prime?
False
Suppose 5*f = -2*q + 1555, 0 = 4*f - 2*q - 1447 + 203. Let w = -68 + f. Let x = w - -64. Is x composite?
False
Let a(w) = -331*w - 5. Is a(-4) composite?
False
Let v = -23 + 15. Let t(m) = -7*m + 3. Is t(v) a prime number?
True
Let p(m) = -6 + 3 - 2*m + 4 - 6 + 2*m**2. Is p(5) prime?
False
Let h = 157 + 250. Is h a prime number?
False
Let f = 368 - 77. Is f prime?
False
Suppose -5*x - 3*z + z + 1255 = 0, -4*x + 1016 = 4*z. Is x a composite number?
True
Suppose 14*c - 2132 = 10*c. Is c a composite number?
True
Suppose -y + 764 = 3*y. Is y prime?
True
Is (-42)/(-35) + (-4949)/(-5) composite?
False
Is (-1 + -1)*-859*3/6 a prime number?
True
Suppose 0 = -3*t + 4*l - 17, t + 4*t - 5*l + 20 = 0. Is (1316/12)/(t/3) composite?
True
Let o(a) = a**2 - 6*a - 4. Let m be o(6). Let j = -45 - -23. Is 229/11 + m/j composite?
True
Let h = 1 - -2. Suppose 226 = -h*t + 5*t. Is t a prime number?
True
Let y(q) be the second derivative of -q**5/20 + 2*q**4/3 + q**3/3 - 3*q**2/2 - 3*q. Is y(8) a prime number?
True
Let j = -858 - -1527. Is j a prime number?
False
Suppose 6*q - 12 = -3*h + 2*q, -q - 27 = -3*h. Suppose u + 12 = -h. Is ((-12)/(-8))/((-3)/u) prime?
False
Suppose -4*r + 820 + 0 = 0. Is r prime?
False
Suppose 0*n + 1020 = 2*n - z, 3*n - 3*z = 1527. Let k = n - 278. Is k a prime number?
True
Is -6*(-1)/3 - -107 a composite number?
False
Suppose 0 = -d + 2*r + 57, -3*d - r + 33 = -138. Let q = 106 + d. Is q prime?
True
Suppose 23*j - 4*j = 11077. Is j a prime number?
False
Let a be (-4 + 2)*(-2)/4. Is (-2 - -1)*a*-13 prime?
True
Is (1772/2)/(-14 - -16) composite?
False
Let x be 5 + 1/(2/(-4)). Suppose 3*g - 3*m + 4*m = 176, -5*g - x*m + 300 = 0. Is g a composite number?
True
Let a = -1056 + 3451. Is a a composite number?
True
Suppose a = -0*a + 127. Is a composite?
False
Let i(u) = 3*u**2 + 7*u - 1. Let x(v) = v**2 - 4*v + 1. Let r be x(5). Is i(r) a composite number?
False
Let f = 156 + 95. Is f a prime number?
True
Suppose 2*m + 16 = -4*h, 0*h - 2*h - 5*m - 8 = 0. Let w = h - -9. Let l = 74 + w. Is l composite?
False
Suppose -4*q + 752 = 2*w + w, 2*q + 5*w = 362. Is q a composite number?
False
Let a(v) = 26*v - 1. Let p(f) = 25*f - 2. Let b(r) = -6*a(r) + 5*p(r). Is b(-3) a prime number?
True
Let x(a) = -3*a*