). Suppose 0 = n + q*n - 339. Is n a prime number?
True
Is 13 - (-1 - 1/1) composite?
True
Let y(w) = 2*w**2 + 9*w. Let h(v) = 0 - 3*v**2 + 0 + 1 - 2*v. Let a be h(-2). Is y(a) a prime number?
False
Suppose 9*o - 4*o + 4*u - 4291 = 0, 5*o = 3*u + 4298. Suppose -145 - o = -4*i. Is i prime?
True
Let p(b) = -2*b - 9. Let f be p(-6). Suppose 8*q - 165 = f*q. Is q composite?
True
Let n(f) = -f**2 - 4*f + 7. Let h be n(-5). Let q be -2 + (h + -1)*-4. Is (26/(-6))/(2/q) a composite number?
False
Suppose -5*c = -4*k + 130, -4*c + 40 + 3 = k. Let s = 130 - k. Is s a composite number?
True
Suppose -u - i + 1 = 3, 4*u + 5*i + 13 = 0. Let p be (1 + -3)*(-71 - -1). Suppose -u*y + p = y. Is y prime?
False
Let n = 3 + -4. Let l = -2 - n. Is (l/1 - -18) + 2 a composite number?
False
Suppose 2*m + 3*m + a - 126 = 0, 0 = a + 4. Let d = 42 - m. Suppose 60 - d = 4*o. Is o composite?
False
Let x be (-8)/(-6)*801/6. Suppose 34 = 4*o - x. Is o prime?
True
Let g(z) be the third derivative of 11*z**5/120 - z**4/12 - z**3/6 + z**2. Let f(d) be the first derivative of g(d). Is f(5) a composite number?
False
Suppose 3*c - 3 = 4*o, -2*c - 4*o + 2 + 20 = 0. Suppose 0 = c*b - 51 - 289. Suppose -4*z + b + 24 = 0. Is z composite?
False
Suppose -49 = -4*o + 111. Suppose -2*p + 26 = -o. Is p prime?
False
Let o(z) = 20*z**2 - 11*z - 14. Is o(-5) composite?
False
Suppose 0 = 2*q - 3*w + 1, 2*q = 6*q + 4*w - 8. Is (0 + 10 + q)/1 a composite number?
False
Let s(v) = -v**2 + 3*v - 7. Let y be s(7). Let r(a) = a**2 - 25. Let l be r(0). Let p = l - y. Is p a prime number?
False
Let l(g) = -25*g - 14. Is l(-7) a prime number?
False
Let o = 16 - 8. Suppose -5*x = -4*l - 8, x - 4*l = -x + o. Suppose -4*z + 84 = -x*z. Is z prime?
False
Let c(t) = -60*t**3 + 4*t**2 + 6*t + 1. Is c(-3) a composite number?
True
Suppose -l - 20 = -5*l. Suppose -o = 3*t - 2*o - 295, -l*t - 5*o = -505. Suppose 0*z - z + 52 = 3*i, 0 = 2*z + 5*i - t. Is z a prime number?
True
Suppose 6*l - l - 455 = 0. Is l prime?
False
Suppose 2*a - 202 = 2*b, 2*a + 299 = -3*b + 4*a. Let x be (-3)/(-5 + 2) - b. Suppose 745 = 5*m - o, x = m - 4*o - 51. Is m composite?
False
Let b(k) = k + 16. Let l be b(-12). Let w be l/(-6)*18/(-4). Suppose -i + 40 = w. Is i a prime number?
True
Let n(r) = r**2 + r - 2. Let t be n(2). Suppose -318 = -t*b + 262. Is b a composite number?
True
Let z be -2 + 1 - (-15)/(-1). Suppose 0 = 4*i - 3*x - 88, 5*x + 134 = 5*i + 19. Let d = i - z. Is d a prime number?
False
Suppose 0*i - 32 = -2*m - i, -4*i = 4*m - 64. Suppose 0 = -4*d - 0 + m. Is 13/d - (-3)/(-12) composite?
False
Let n be 70/22 - (-6)/(-33). Is n*(248/(-6))/(-4) composite?
False
Let p be (-10)/(-8) - 2/8. Suppose h + 2*z = -p + 9, -4*z + 16 = -3*h. Suppose h = -6*o + 3*o + 39. Is o prime?
True
Is (-38)/(-8) + (-36)/48 a composite number?
True
Let s(z) = 71*z**2 + 8*z + 11. Is s(-4) a composite number?
True
Suppose -2*v + 152 = -4*p - 278, -4*v = 5*p - 873. Is v a prime number?
False
Suppose 280 = 2*c - 334. Is c a prime number?
True
Suppose y + 3 = 0, -4*z + 2*y - y + 3 = 0. Let v be 4*1 - (2 - z). Suppose 3*a - 37 = v*a. Is a a composite number?
False
Suppose -2*i - 7 = -3*p - 0, i - 4*p + 16 = 0. Suppose 4*g + 4 = -5*s, 4*g = -0*s - 4*s - i. Suppose 2*l - 2*q + s*q = 72, 5*l = 3*q + 174. Is l a prime number?
False
Suppose -5*z + 3*q - 8*q = -585, -5*z = -3*q - 625. Suppose -5*g - z = -307. Is g composite?
False
Let n be (2/(-6))/(7/(-7665)). Let v = -106 + n. Is v prime?
False
Is (-1)/(-1) - 3 - (-331 + -2) prime?
True
Let g(b) = 2 - 13*b - 27*b + 3. Is g(-5) a composite number?
True
Let s = -2 - -9. Let h = s - 4. Suppose 0 = 2*r + h*z - 55, 2*r + 65 = 4*r + z. Is r composite?
True
Let v be 1 - (-1)/(-1)*-1. Suppose 5*w - v*g + 20 = -0*g, -5*w - 2*g - 40 = 0. Is (2/4)/(w/(-552)) composite?
True
Let c(y) = y**2 - 11*y + 22. Let t be c(9). Suppose -3*h + 5*p - 416 = -4*h, -t*p = 2*h - 814. Is h prime?
True
Let z(q) be the second derivative of q**4/6 + 13*q**3/6 + 11*q**2 + 5*q. Is z(-9) prime?
True
Let q be 6 + -3 - (-1 - 1). Let d(o) = -25*o - 2. Let v be d(-4). Suppose -5*i = 25, -4*w - v + 359 = -q*i. Is w prime?
True
Suppose 1856 = 4*g - 20. Is g composite?
True
Let c(l) = 13 - 27*l**2 - 2*l + 31*l**2 - 5*l + 44*l**2. Is c(4) composite?
True
Let u = 8 + -7. Let y = 5 - u. Suppose 52 + 32 = y*o. Is o composite?
True
Let g(h) = -h**3 - 8*h**2 - 4*h - 6. Let s be g(-8). Let l = 51 - s. Is l prime?
False
Let q = 9 - 9. Suppose 3*j + 3*p - 759 = q, -3*j + 761 = 2*p + 2*p. Is j a prime number?
True
Suppose -3*j = 5*g - j + 8, 3*g - 16 = 4*j. Suppose 4*v + 5*u = -g*v - 61, -2 = 2*u. Is 3/(-3)*(-1 + v) a composite number?
True
Let a(v) = 6*v - 2. Let b be a(2). Let l be 22/b + (-1)/5. Suppose -l*r + 20 = -0. Is r a composite number?
True
Let k = 2 + 0. Let s(b) = 7*b**2 - 2*b - 3. Let y be s(6). Is k/(-4) + y/6 a prime number?
False
Is (-1)/(2/(-8)) + 33 a composite number?
False
Suppose 566 = -a + 3*a - 4*z, 303 = a + 2*z. Is a prime?
True
Suppose -3*c + 404 = -5*u, -u - 2*u - 5*c - 222 = 0. Let k = 154 - u. Is k a composite number?
False
Let h(p) = -6*p**3 + p**2 + 5*p + 5. Is h(-3) composite?
True
Let z(m) = 230*m + 1. Let k be z(-1). Let v = k - -368. Is v a composite number?
False
Let q = 2 - -4. Suppose -f + q = 4*p - 116, 0 = p + 4*f - 23. Is p prime?
True
Let d(w) = -w**2 + 6*w. Let r be d(5). Suppose -a + 786 = r*a. Is a a composite number?
False
Let y(z) = 5*z**2 - 4*z + 1. Let r(x) = -x**3 - 4*x**2 - x + 2. Let s be -2 + -2 + 0/(-1). Let t be r(s). Is y(t) a prime number?
True
Let i(x) = -37*x**2 - 4*x - 3. Let t(y) = -110*y**2 - 12*y - 9. Let a(c) = 11*i(c) - 4*t(c). Is a(-2) composite?
False
Suppose -4 = 3*z - 1. Let n be (z/2)/((-2)/(-8)). Let s = n + 9. Is s a composite number?
False
Let t(j) = j**2 + 7*j - 7. Is t(10) prime?
True
Suppose 10*v - 7870 = -0*v. Is v prime?
True
Let r = 803 - 468. Is r prime?
False
Let r(b) = 37*b - 12. Let n(y) = -111*y + 36. Let j(l) = -3*n(l) - 8*r(l). Is j(13) a prime number?
False
Suppose -o + 0*s - 2*s = 1, 3*o = 3*s + 6. Let b(v) = 46*v**2 - 6*v - 4. Let j(c) = 45*c**2 - 7*c - 5. Let k(h) = 6*b(h) - 5*j(h). Is k(o) prime?
False
Let q = 0 - 1. Is (q - -87) + (-3 - -6) a composite number?
False
Suppose -5068 = -3*v + 3299. Is v a composite number?
False
Suppose 6*r = 4*r - 5*j + 411, 2*j = -2*r + 408. Is r prime?
False
Let o be (-29)/(-2) + (-2)/(-4). Let u = o + -53. Let b = u + 60. Is b prime?
False
Let t(i) = -i**3 - 5*i**2 + 8*i - 5. Is t(-7) prime?
True
Let p(o) = -o**3 + 4*o**2 + 4*o + 5. Let c be p(5). Suppose -4*l + 37 = -z, -l + c*l - 148 = 4*z. Is (2/(-1))/2*z a composite number?
False
Let m(q) = 29*q - 18. Is m(7) composite?
True
Suppose 0 = 5*y + 193 + 112. Let t be 2/(-3) + (-1900)/(-15). Let z = t + y. Is z a composite number?
True
Let f(a) = a**3 + 7*a**2 - 2*a - 10. Let z be f(-7). Suppose -298 = -z*v + 2*v. Is v a composite number?
False
Is (-6)/(-10) + (-55104)/(-60) a composite number?
False
Let k = 20 + 95. Is k a prime number?
False
Let y(t) = t**3 + 12*t**2 + 8*t + 23. Is y(-10) a prime number?
False
Suppose -4*p = -28 - 76. Suppose 5*d - 70 - 185 = 0. Let f = d - p. Is f prime?
False
Let b(r) = -r + 8. Let t be b(5). Suppose -4*g = 2*a - 56, -3*a + 5*a - 53 = -t*g. Is a prime?
False
Suppose 4329 = 2*y + c, -y - 8643 = -5*y - 5*c. Is y a prime number?
False
Let n(t) = -t**3 - t**2 - t. Let o be n(-2). Suppose o*w - 272 = 2*w. Suppose -f - p + 21 = -0*p, w = 4*f - 4*p. Is f a composite number?
False
Let y(k) = -164*k**3 + 2*k**2 + 2*k + 3. Is y(-2) a composite number?
False
Suppose -5*s - 10 = -40. Is s a composite number?
True
Let q(a) = -70*a**3 + 2*a**2 - 1. Is q(-1) composite?
False
Let v(j) = j + 11. Let r be v(-9). Suppose -3*s - r*s = -125. Is s a prime number?
False
Suppose q - 10 = w, 4*q - 6*q = 2*w - 20. Let c be (24/5)/(2/(-10)). Let d = q - c. Is d a composite number?
True
Suppose 265 - 49 = -3*o. Let v = -29 - o. Is v a prime number?
True
Suppose 1 = -3*p + 16. Suppose 25 = -p*n, -302 = -5*r + 2*n + 103. Is r prime?
True
Let c be (-3)/(-2)*(-12)/(-9). Let y(n) = n**3 - n**2 + 3*n - 1. Is y(c) a composite number?
True
Suppose -4*b + 4*y = -112, 5*b + 2*y = -0*y + 140. Let a = 21 + b. Is a composite?
True
Let o = -2 + 4. Let k be (-1 - -1)/(o - 5). Suppose 