 Is n(6) a prime number?
False
Suppose 5*q - s - 35 = 3*s, 0 = 5*q - s - 20. Suppose -2*x + 20 = 5*t - x, -3*t + q*x - 6 = 0. Suppose p = 3*r + 50, -3*p + t*r + 104 = -40. Is p prime?
True
Let b(c) = 4*c**2 - 6*c + 3. Is b(-8) a composite number?
False
Suppose -2*u - 1225 = -7*u. Suppose r = 3*r + x - u, 487 = 4*r + 5*x. Suppose -r + 40 = -m. Is m a composite number?
False
Suppose -5*t + 6*t = 9. Let j(o) = 46*o - 5. Is j(t) prime?
True
Let v = -124 - -278. Let n be (-50)/2*(-2 - 1). Let d = v - n. Is d a prime number?
True
Suppose 7*i - 4*i = 5*b - 3431, 677 = b + 4*i. Is b a composite number?
True
Let a(y) = y**3 + 2*y**2 - 5*y - 1. Is a(5) prime?
True
Is 14/21*(-654)/(-4) a composite number?
False
Let c(z) = -z**2 + 9*z - 4. Suppose -5*u - 4 = -39. Suppose -r + u = -0*r. Is c(r) composite?
True
Let x(j) = -j**3 - 4*j + 4. Let z be x(-10). Suppose 3*a - 3*t = 4*a + 526, -2*t + z = -2*a. Let q = a - -734. Is q prime?
True
Let q(m) = 2*m**2 - 4*m - 3 + 0*m - 3*m**2. Let z be q(8). Let i = z - -154. Is i a composite number?
True
Let z = 12 + -8. Suppose g - z*g + 75 = 0. Is g a composite number?
True
Let s = 1344 - -167. Is s composite?
False
Let l = -1304 - -2847. Is l a composite number?
False
Let i(n) = -10*n**3 + 4*n**2 + 2*n + 2. Let a(y) = -y**3 + y**2 + y - 1. Let q(j) = 2*a(j) - i(j). Let s be q(3). Let v = s + 27. Is v prime?
False
Let g(u) = 259*u - 13. Is g(20) a composite number?
False
Let d(b) = -8*b**3 - 3*b**2 - b - 2. Let k be d(-3). Let l = k + -101. Is l prime?
True
Let a = -3 + 3. Suppose 3*v + 5*f - 258 = a, -3*f = v - 7*f - 103. Is v prime?
False
Let y(u) = -7*u**2 - 7 + 13*u**2 + 8*u**2 + u - 3*u. Is y(4) prime?
False
Let z(k) = -k**2 + 5*k - 4. Let o be z(6). Let b = o + 19. Is b a composite number?
True
Let c = -100 + 146. Let j = 339 - c. Is j prime?
True
Suppose -2*r - k = -117 - 69, 4*k + 348 = 4*r. Is r prime?
False
Suppose 0 = -3*b + 8*b - 5. Is 2/((6/99)/b) composite?
True
Let m = -8 - -4. Is (74/m)/(3/(-6)) a composite number?
False
Suppose j = -4*u + 1342 - 173, -2*u + 5*j + 601 = 0. Is u prime?
True
Suppose -5*v + 1247 = 3*n - 698, -2*n = 0. Is v prime?
True
Suppose 0 = -16*n + 13*n + 18. Is n composite?
True
Suppose 0*c - c - 4*l + 3389 = 0, -4*c + 13611 = 5*l. Is c composite?
True
Let j(w) = w - 5. Let o be j(0). Is o*(2 - 24/5) prime?
False
Let m(f) = 4*f. Let a(y) = -y**2 - 8*y. Let x(j) = -2*a(j) - 5*m(j). Is x(3) a composite number?
True
Let h(x) = 3*x**2 + 8*x + 7. Let m be h(-5). Let n = m - -2. Suppose 0 = 3*k + 6, 2*u - 4*k + 10 - n = 0. Is u composite?
False
Let p(q) = -q**3 - 2*q**2 - q + 25. Is p(0) composite?
True
Suppose 30 = 7*z - 2*z. Suppose z*c = c + 185. Is c a composite number?
False
Suppose 2*x = w + 953, x = -0*x - 5*w + 504. Is x composite?
False
Let z(l) be the second derivative of -l**5/20 - l**4/4 - l**3/6 + l**2/2 - 2*l. Let g be z(-3). Suppose 3*t = g*t - 115. Is t composite?
True
Let g(q) = -q**2 + 10*q + 9. Let n be g(10). Let a(y) = 13 + 9 - y + n. Is a(0) composite?
False
Suppose -2*g + 3*x + 13 = 0, 4*g - 23 = -x + 6*x. Suppose g*y = -2*d - 0*y, d + 4*y + 15 = 0. Suppose -d - 6 = -s. Is s a composite number?
False
Suppose 0 = -4*d + 2*f + 2534, -2*d = 2*d - 5*f - 2549. Is d a prime number?
True
Let w(x) be the second derivative of x**5/20 + x**4/4 - 2*x**3/3 - 3*x**2/2 - 2*x. Is w(-3) a prime number?
False
Is (-6)/(-15) - 2626/(-10) prime?
True
Suppose 0 = 4*j - 16 - 4, 478 = -4*v + 2*j. Let i = v - -194. Is i a composite number?
True
Suppose -j + 925 = 3*j + 3*f, -4*f = -5*j + 1195. Is j a composite number?
True
Let i(t) = t**3 - 5*t**2 - 4*t - 8. Let n be i(6). Is 1548/28 - n/14 a composite number?
True
Let h(l) = 126*l**2 - 4*l + 3. Is h(2) prime?
True
Suppose -1 - 5 = -2*u. Let o be ((-4)/3)/(u/18). Is (31/(-2))/(4/o) a composite number?
False
Suppose -1 = 5*b - 11. Suppose 4*n = -3*m + 154 - 3, 0 = b*n + 4. Is m a prime number?
True
Let i be 58784/(-99) + 2/(-9). Is i/(-3) - 6/(-2) a composite number?
True
Suppose -d - 3 = 5*f, 0*d - 4*d = 3*f - 5. Suppose w + 5*o = -30, -5*w + d*o - 3*o - 30 = 0. Let c = -2 - w. Is c prime?
True
Let g be ((-9)/(-12))/(2/24). Let x be 10/6 - (-2)/6. Is (x - 39/g)*-3 a prime number?
True
Let m be (1/(-1))/(-1) + 3. Suppose 4*n = 12, 5*y + 18 - 95 = -m*n. Let z = 32 - y. Is z prime?
True
Let s(d) = d**2 - 3*d - 6. Let i be s(6). Is ((-69)/i - -2)*-4 a composite number?
True
Let p(j) = -j**3 + 20*j**2 - 14*j + 17. Is p(18) a composite number?
True
Let y be (12/30)/((-1)/10). Is -20*y/(32/14) composite?
True
Let r be (34 - 0)*2/(-4). Let m be r/3*(-24 + 0). Suppose -5*p + 4*b = -m - 135, 3*b = -4*p + 223. Is p composite?
True
Let c = 126 - 70. Let f = c + -100. Let h = -31 - f. Is h prime?
True
Is ((-145)/3)/(7/(-21)) a prime number?
False
Let b = 76 - 44. Is (-8)/b + (-269)/(-4) prime?
True
Let i = 5 - 3. Suppose -8 - 2 = i*v. Let y(w) = -w**3 - 5*w**2 - 2*w + 1. Is y(v) prime?
True
Is (-1 + (2799/(-4))/3)*-8 a prime number?
False
Suppose 0 = -3*q + 7 + 5. Suppose -w = 3*x - 6*w - 159, -2*w - 226 = -q*x. Is x a composite number?
True
Suppose -4*n + 3 = -49. Let l = n + -8. Suppose 4*y - 4*q - 464 = -0*y, 2*y - 253 = -l*q. Is y a composite number?
True
Let g be (3 - -11)*(1 + 0). Suppose -d + g = d. Suppose v - 5*j = 35, d*v - 2*j = 2*v + 129. Is v a prime number?
False
Let a(t) = 12*t**2 - 13*t + 8. Is a(9) a prime number?
True
Suppose -1821 = -6*d + 1761. Is d prime?
False
Let j be (0 - -6)*6/12. Suppose -j*h + 242 = 4*y, h + 232 = 4*y - h. Is y a prime number?
True
Let b(m) = 134*m + 59. Is b(13) a prime number?
True
Let a be ((-2)/3)/((-1)/450). Suppose 3*b - 129 - 42 = 0. Suppose b + a = 3*i. Is i prime?
False
Suppose 5 = -q, -5*u + 584 = -u + 4*q. Suppose 2*x + 5*g = 59, 37 = 5*x - g - u. Is x composite?
False
Is (2/6*1)/(19/332823) composite?
False
Suppose -9 = -3*s - q + 129, 5*s + q - 232 = 0. Let z(c) = 3*c + 24. Let b be z(-10). Let k = s - b. Is k a composite number?
False
Let w be (0 + -2)/(1/(-3)). Let u be (-9)/3*(-4 - 19). Suppose 3*v - w*v + u = 0. Is v a prime number?
True
Suppose -3*d = 4*g + 29 + 7, g - 10 = 4*d. Let s(i) = -i**2 - 5*i + 6. Let b be s(g). Suppose -5*h + 144 = 4*n - 669, b = h + 3*n - 167. Is h prime?
False
Let j(w) = w**3 + 3*w**2 - w + 4. Let d be j(-4). Let u = -2 - d. Is u a composite number?
True
Let y = -1613 - -3002. Is y prime?
False
Let g(y) = 5*y - 4. Suppose 2*f + 3 = x - 6, 2 = 2*x. Let v = f - -15. Is g(v) prime?
False
Let o(a) = a**2 - 4 + 2*a**2 + 2*a - 2*a**2. Let d be o(7). Suppose z - 2*z = -d. Is z a prime number?
True
Let h(z) = 46*z - 1. Let b = -24 - -17. Let c = -5 - b. Is h(c) composite?
True
Let c(n) = 39*n - 6. Let x(z) be the second derivative of z**3/6 - z**2/2 + 3*z. Let q(g) = c(g) - 5*x(g). Is q(2) a prime number?
True
Let f(h) = -h**3 - 6*h**2 - 5*h + 4. Let d be f(-5). Suppose -4*g - 200 = -9*g + 5*s, d*s - 106 = -3*g. Is g composite?
True
Let q(d) = 5*d**2 - d. Let i be q(-1). Let n be 11*3*(2 - 1). Suppose 0 = -5*z, -i*t + n = -5*t - z. Is t a composite number?
True
Let j be (-3 + 21)*(-1)/2. Let d be (-4)/(-6) + 141/j. Let p = 52 + d. Is p prime?
True
Let i = -8 + 12. Suppose 3*c = 4*x - 27, 3*x - i*c - 22 = -0*x. Is ((-39)/x)/(1/(-4)) prime?
False
Let z = -3 - 0. Is 414/12*(-4)/z a composite number?
True
Let r be (-70)/(-4) + (-2)/(-4). Let n = -26 + r. Is 230/n*(2 - 6) a prime number?
False
Let p be ((-30)/9)/(2/(-366)). Suppose 5*b + 5*c = p, b - 87 = -5*c + 35. Is b a prime number?
False
Let x be (-3)/((-23)/10 + 2). Let d = x - 3. Is d a prime number?
True
Let b(x) = x + 5. Let d be b(10). Suppose 0 = -q + 2*m + d, -5*q = m + 3*m - 145. Is q prime?
False
Let n = 289 + -170. Is n prime?
False
Let r(i) = 2*i**2 + 11*i - 5. Is r(8) a prime number?
True
Suppose 5*s - 4*n = 6716, 4*s + n - 5356 = -0*s. Suppose 3*z - s = -z. Suppose 5*m = -0*m + z. Is m prime?
True
Suppose -3*d = -d - 186. Is d a composite number?
True
Suppose 2*n + n = 15. Suppose 4*i - 2*y + 7*y = n, -5*y = -5. Suppose i = 2*v - 54 - 128. Is v a composite number?
True
Let a = -12176 + 18385. Is a a prime number?
False
Is (-1)/(-2) + 2850/4 prime?
False
Suppose 3*h - 4*r = -645, 0 = -2*h - 5*r + 6*r - 435. Let b(a) = 19*a**2 - 4*a - 4. Let d be b(-4). Let n = d + h. Is n a composite number?
False
Suppo