 0*l = 2*c - 3*l - 155, -j*c = -5*l - 395. Is c prime?
False
Let q be (3 + -3)*-1 + 56. Suppose n - 38 = u, -2*u + 4*u - q = -2*n. Is n prime?
False
Suppose -3*u = 4*t - t - 57, 0 = 4*t - 3*u - 48. Suppose -5*p = t, -3*j - p + 3 = -j. Suppose -5*z + 32 = j*f, 0 = 4*f + f - 4*z - 115. Is f prime?
True
Let q(g) be the first derivative of -g**3/3 - 9*g**2/2 + 5*g + 1. Let l be q(-9). Suppose -96 = -3*y - 5*r + 2*r, 5*y - l*r = 210. Is y prime?
True
Suppose -2*w + 326 = 3*z, -3*w + 0*z + 4*z = -523. Is w a prime number?
False
Suppose -3*f = 2*f - 5255. Let x = f + -711. Suppose -5*u - 75 = -x. Is u a composite number?
False
Let u = -8 - -13. Suppose 5 = u*t - 0. Is t/(-6) - 1641/(-18) prime?
False
Suppose 3*b - 3*g - 1284 = 0, 2*g = 2*b + g - 855. Let h = b + -236. Is h prime?
True
Let l be 1*6*(3 + -16). Let j = -6 - l. Suppose 3*g + g - 4*v = 68, -4*g + 5*v + j = 0. Is g a composite number?
False
Let z(v) = 2*v**3 - 4*v**2 - 2*v - 1. Let d be (2/(-6))/(4/(-12)). Let i(j) = 4*j**2. Let y be i(d). Is z(y) prime?
False
Let y(m) = -4*m - 8. Let i be y(-6). Suppose k + 2*k = -z + i, 2*k = 4*z + 20. Let s = 13 + k. Is s composite?
False
Suppose -2*m + 6 = 3*h - 12, 0 = 4*h - 16. Let j(u) = -m - u**2 + 3 - 12*u + 3. Is j(-10) a composite number?
False
Let t(f) = 2*f**2 + 3*f + f + 5 - f + 0*f. Let i be t(5). Suppose l + l = i. Is l a composite number?
True
Let m = -143 + 223. Suppose 3*z + m = 281. Is z a prime number?
True
Suppose 14 + 4 = -3*c. Let v(a) = 13*a**2 + 5*a - 1. Is v(c) a prime number?
False
Let w(p) = p**2 + 2*p - 2. Let c(o) = 12*o**2 - 7*o - 5. Let n(h) = -6*h**2 + 3*h + 2. Let g(x) = -2*c(x) - 5*n(x). Let z be g(1). Is w(z) a prime number?
False
Let q(a) = -a**3 - 11*a**2 + 12*a - 4. Let f be q(-12). Is (-262)/f + 2/(-4) a prime number?
False
Let q(t) = 2*t**3 + 2*t**2 - 3*t + 4. Let s be q(-3). Let p = 4 - s. Is (1 - 0) + p + -3 a prime number?
False
Suppose -6*m - 10*m = -8864. Is m a prime number?
False
Suppose 3*h = 2*z - 11, z - 2*h - 7 - 1 = 0. Suppose -2*f + 260 = -4*y, 4*f + 16 = -0*f. Is (y/2)/(1/z) composite?
False
Let h = -244 + 403. Let l = 392 - h. Is l a prime number?
True
Let s(o) = 4*o**2 + 3*o. Let f(x) = 5*x**2 + 2*x + 1. Let u(k) = -2*f(k) + 3*s(k). Is u(3) composite?
False
Let f(k) = 2*k + 5. Let b(c) = c - 1. Let t(w) = -4*b(w) - f(w). Is t(-6) composite?
True
Suppose -7 = 4*f + 1, 3*f + 322 = 4*k. Is k prime?
True
Suppose -2*h + h + 4 = 0. Let o be -2 + h + (0 - 0). Is (-234)/(-12)*(o + 0) prime?
False
Let p(t) = 2*t**2 + t - 7. Let w be p(-6). Is w/4*12/3 a prime number?
True
Suppose -3*k + 1 = -4*k. Is 35 + k + (-1 - 2) a prime number?
True
Let k = 4751 - 3373. Let a be k/8 - (-2)/(-8). Suppose 5*y = 623 + a. Is y prime?
False
Let f(u) = u**2 + u + 5. Let s be f(0). Suppose -3*d = -2*n + 2*d + 179, -s*d = -4*n + 333. Is n a composite number?
True
Suppose -2*l = -7*l + 2*a + 11, -4*a = -l + 13. Let h be 15/5 - (-2)/l. Suppose h*m - 52 = 23. Is m a composite number?
True
Suppose -39*y = -36*y - 3219. Is y a prime number?
False
Suppose -4*l - 156 = -2*j, 0*j + j - 72 = -l. Is j composite?
True
Is 11/22 - 101/(-2) composite?
True
Is ((-14)/4)/(3 - 935/310) prime?
False
Suppose -2*b - 20 = -0*b. Let x = 8 + -10. Is 1/1 - b - x prime?
True
Is (-74)/(-3) - 16/(-12) prime?
False
Let a(h) = -h - 57. Let u(d) = d - 3. Let q be u(3). Let v be a(q). Let i = v - -94. Is i a composite number?
False
Suppose a - 6 + 1 = 0. Suppose a = -3*q + 191. Suppose 2*o + l - 34 = o, 2*o + 4*l - q = 0. Is o a composite number?
False
Let d(w) = 14*w**2 - 1. Is d(1) composite?
False
Is (-2436)/(-18)*18 - -1 composite?
False
Suppose -22 = i - 4*x, i - 2 = -3*i - 2*x. Let c = 4 - i. Is c a prime number?
False
Let u be 0*2/(-6) - -5. Suppose -u*i = -i - 532. Is i prime?
False
Is (17/(-2))/(7/7)*-46 a prime number?
False
Let d be -8 - -5 - 1*-1. Let f be -2 - (-4)/d - -2. Is f/12 + (-302)/(-12) a prime number?
False
Let c(i) = -45*i + 43. Is c(-14) prime?
True
Is (-18)/27*(6919/(-2) - 1) prime?
False
Let h = 3232 - 1795. Is h a composite number?
True
Suppose d = -0*d + 422. Let i = -279 + d. Is i prime?
False
Suppose -2116 = -4*x - l + 4*l, -3*x = -3*l - 1587. Is x a prime number?
False
Suppose 3*f + c - 2189 = -4*c, 4*f - 5*c = 2942. Is f a composite number?
False
Let u(b) = b**2 - 13*b + 19. Is u(-15) a composite number?
False
Suppose 0 = -l + 3*u + 101, -4*u - 357 + 79 = -3*l. Suppose 2*c - l = 14. Suppose c - 6 = 4*k. Is k composite?
False
Suppose 4*k - 1497 = 5*b - 4*b, 1870 = 5*k - b. Let u = k - 262. Suppose -2*h - h + u = 0. Is h prime?
True
Let p = 43 + -200. Let w = 288 + p. Is w prime?
True
Let k(j) = j. Let h be k(4). Suppose 5*v + h = -l + 41, -l - v + 45 = 0. Is l a prime number?
True
Let j = -1 + 1. Suppose 3*v + 3 = 4*v + 4*w, j = 5*v - w - 15. Suppose r + 154 = v*r. Is r a composite number?
True
Suppose -447 = -3*v - 4*d, 6*d - 745 = -5*v + d. Is v composite?
False
Let s be (-1)/(-2) - (-27)/6. Suppose s*b + 530 - 113 = 3*g, -2*b + 530 = 4*g. Suppose m = 3*m - g. Is m a prime number?
True
Let g(j) = 41*j**2 + 12*j - 24. Is g(5) a prime number?
True
Let z be 0/1 - (-82 - 3). Suppose -j + 10 = 4. Let b = z + j. Is b a composite number?
True
Suppose -c - 5*f + 72 + 234 = 0, -c - f = -294. Is c composite?
True
Let g(p) = 20*p + 11. Is g(9) a composite number?
False
Suppose z - 6*z = 555. Let g = 270 + z. Is g prime?
False
Let t(k) be the first derivative of 29*k**2/2 - 4*k + 3. Is t(3) composite?
False
Let z(t) = 138*t - 15. Is z(4) prime?
False
Suppose -4*t + 7*x - 20 = 2*x, -5*t - 3*x + 12 = 0. Suppose t*d + 4835 = 5*d. Is d prime?
True
Suppose 3*p - 4*t = -5 - 8, -5*p - 2*t = 13. Is (-3 - 10/p)*471 a prime number?
True
Let i(n) = 13*n**2 + 4*n + 18. Is i(7) composite?
False
Suppose -4*r + 49 - 191 = -2*c, 3*c - 213 = 5*r. Let p = c + 26. Is p composite?
False
Suppose 71 = i + 2*k, -2*k = -5*i + k + 407. Is i composite?
False
Suppose 2*v - 2*q - 5 = 7, v = 2*q + 8. Suppose -4*t + 20 = v. Is (5/t)/((-4)/(-464)) a prime number?
False
Let h(t) = t**2 + 5*t + 4. Let c be h(-3). Is 74*(c + 15/6) a prime number?
True
Suppose -3*u + 48 = -48. Suppose 0*r = 4*r - u. Suppose 476 = -4*w + r*w. Is w a composite number?
True
Suppose -2*c + 2 = -c. Suppose y - 3 - 4 = c*b, -1 = b. Is (-1)/y - (-21)/5 a composite number?
True
Let k be 8/6*9/6. Let l be 2 + k + 0 - 1. Suppose 3*j = 3*c - 129, 0*c - 5*j = -l*c + 137. Is c prime?
False
Suppose v - 738 = 101. Is v composite?
False
Suppose -4*s = -2*s - 52. Let k = -18 + s. Suppose -k = 4*d, -5*a + 280 - 49 = 2*d. Is a a composite number?
False
Let l be 2/8 - (-58)/(-8). Let r = l + 10. Suppose r*a - 38 = -p, -3*p - 5*a + 27 = -107. Is p a prime number?
True
Let t = 5 - 3. Let j be ((-1 - -1)/2)/t. Suppose -v + j = -c + 6, 3*c = -3*v + 42. Is c composite?
True
Is (-61552)/(-40)*(1 + 6/4) prime?
True
Let x = 18 + -13. Suppose -p + x = 4*p. Is (-60)/(-2) + (2 - p) composite?
False
Let f(n) = -12*n - 3. Suppose 7 = -4*o + 5*p - 0, 3*p + 15 = -4*o. Is f(o) composite?
True
Suppose 7*t + 293 = 888. Is t a prime number?
False
Is (1 - 12/20) + (-37758)/(-30) a composite number?
False
Let w be 12/3 + -2 - -2. Let q = w - 2. Suppose 0*f - 298 = -q*f. Is f a prime number?
True
Suppose -1337 = -3*r + 250. Suppose 242 = 3*u - r. Is u prime?
True
Let s(b) = b - 2. Let a be s(4). Suppose a*g + 276 = 6*g. Is g prime?
False
Is 228 + (-1 - -31)/(-6) prime?
True
Let b(x) be the second derivative of 5*x**4/6 - 2*x**3/3 - x**2/2 + x. Is b(4) prime?
False
Let x(s) = s**3 - 3*s**2 + 4*s - 4. Let q be x(3). Let a(p) = -p**3 + 8*p**2 + 3*p + 9. Is a(q) a composite number?
True
Suppose -4*v - 3*f + 9 = -6*v, -5*f = 4*v - 37. Suppose -v*m = 2*m - h - 1451, 3*h = 12. Is m prime?
False
Let r(k) = k**2 - 5*k - 3. Let t be -6*(1 - 4)/3. Let c be r(t). Suppose -c*n + 42 = -27. Is n composite?
False
Let v(m) = -15*m - 5. Let r be v(-4). Let l = r - 0. Is l prime?
False
Suppose 2*z - 2*m - 10 = -m, -3*m = 3*z + 3. Let u = 2 - z. Is 21 + u - 1*-2 a composite number?
True
Let o be 28/6 + 15/45. Let t = -3 - -1. Is ((-28)/10)/(t/o) a composite number?
False
Suppose -1159 - 546 = -5*h. Is h prime?
False
Let d(q) = q**3 - 5*q**2 + 4*q - 6. Let o be d(5). Let h be 541/7 + (-4)/o. Suppose -2*i + h = -i. Is i composite?
True
Let w(z) 