mber?
False
Suppose 2*r - 356 = 250. Is r composite?
True
Let c(p) = p**2 + 10. Suppose -f + 1 = -8. Is c(f) a composite number?
True
Suppose 5*z = 5*o - 12580, -5047 = -2*o + 3*z - 6*z. Is o prime?
False
Is 103/3 + 2/3 a prime number?
False
Let r be (-3 + 1)*(-2)/2. Suppose -8 = -r*j - 0*j. Suppose -j*g + 2*z = -144, 0*g = 4*g + 5*z - 158. Is g prime?
True
Let d be 2*(-2)/(-8)*34. Let l = 28 - d. Is l a prime number?
True
Let w(q) = -75*q**3 - q**2 + q - 3. Is w(-2) prime?
False
Let c(k) = 7*k**2 + 2*k - 5. Let j be c(5). Suppose j = 3*n + 3*g - 8*g, -5*n + 322 = -g. Is n a composite number?
True
Suppose -3*p + 1890 = 543. Is p prime?
True
Let j(o) = 12*o - 7. Suppose -4*n - r + 0*r + 13 = 0, 0 = -3*r + 15. Let y be (1/(-3))/(n/(-36)). Is j(y) a composite number?
True
Let l = 82 - 3. Is l a composite number?
False
Suppose 0*p + 445 = 3*m + 2*p, 0 = -4*p - 4. Is m a composite number?
False
Let q = 23 + -8. Suppose 7 = d - 3*l + 14, 5*d - 7 = l. Suppose -d*v + v = -q. Is v a composite number?
True
Let d = -4 + 10. Suppose -2*a + d*a - 52 = 0. Suppose 0 = -8*q + 3*q + 5, a = o - q. Is o a composite number?
True
Let q = 57 - -32. Is q a prime number?
True
Let w = -8 - -11. Is 106/w*6/4 a composite number?
False
Let q = 28 + -16. Is ((-30)/8)/(q/(-32)) a prime number?
False
Let r(a) = 3*a**2 + 12*a - 13. Is r(10) prime?
False
Suppose x - 10 = 2*b - 6*b, 3*x = -4*b + 14. Suppose 3*j = 4*j - 155. Suppose -3*g = b*g - j. Is g composite?
False
Let m(a) be the second derivative of 104*a**3/3 + 7*a**2/2 - 3*a. Is m(3) prime?
True
Suppose j - 20 = -4*j. Suppose 293 = 5*t + 3*r + 24, -j*r + 47 = t. Is t a composite number?
True
Suppose -3*f = 3*j - 14352, j - 4788 = -5*f - 0*f. Is j a composite number?
False
Suppose -5*p - 1996 = -3*s, s = -2*s - 3*p + 1980. Is s a prime number?
False
Suppose 0 = 3*d - 167 + 2. Is d a composite number?
True
Suppose -3*b + 4*i = 21, 0 = 2*b - b - 4*i + 15. Is ((-6)/(-9))/((-1)/b) prime?
True
Let o(s) = 0 + 2*s + 3 - s**2 + 2*s. Let x be o(4). Is (-1)/x - 76/(-3) composite?
True
Let z(j) = 60*j - 5. Let l be z(6). Suppose 6*x = x + l. Is x prime?
True
Let j be (-4)/(0 - 2) + -12. Let t = j - -18. Suppose -t = -r + 14. Is r composite?
True
Is (10/5)/(2/83) prime?
True
Let k(z) = z**3 - 17*z**2 + 4*z - 15. Is k(17) a prime number?
True
Let j be (-104 - -1)/(1/(-2)). Let l = j + -103. Is l a prime number?
True
Let p(b) be the first derivative of b**4/4 - 7*b**3/3 + 7*b**2/2 - 1. Let s be p(6). Suppose 0 = -5*l + s + 149. Is l a composite number?
False
Let t = -530 + 1215. Is t a composite number?
True
Let s be 3 - ((2 - 0) + -2). Suppose 6*r - s*r = 177. Is r a composite number?
False
Let r(h) be the third derivative of -h**4/24 + h**3/3 - h**2. Let s be r(0). Is (-138)/(-2 - 0) - s a prime number?
True
Suppose -3*k + 2*k - 4*l = 0, -2*k = 4*l - 4. Suppose 578 = k*j - 410. Is j a prime number?
False
Let v be 0*(-3*1)/(-3). Suppose -5*b = -v*b - 15. Suppose 2*j - 10 = -f + 5, b*j = -2*f + 30. Is f a composite number?
True
Is (-22)/55 + 14317/5 composite?
True
Is (-2)/(-2)*(175 + 4) a prime number?
True
Let m(w) = -390*w - 23. Is m(-7) a prime number?
True
Suppose 2*p = 51 + 355. Is p prime?
False
Is (-359)/(-6 + 5) - (-1 + 1) a prime number?
True
Let a(l) = 2*l - 10*l - 7 + 1. Let d be a(-6). Suppose b - 5*p = 69, b - d = 2*p + 27. Is b a composite number?
True
Let k(g) = g + 1. Let v be k(1). Let u(o) = 26*o + 1. Is u(v) prime?
True
Let r = 24 - 21. Suppose -4*d = r*c - 125, 0 = -c - 4*d + 38 + 9. Is c composite?
True
Suppose 0 = -0*i + 4*i. Suppose i = z - 4*z + 957. Is z prime?
False
Let d be -10*(2 + (-6)/5). Let c = 75 + d. Is c a prime number?
True
Let d(v) = 17*v + 4. Suppose -2*w + 2*f + 5 = 3*f, -4*f - 16 = -4*w. Is d(w) a prime number?
False
Suppose -31 = -3*o + 422. Let j = -96 + o. Is j a composite number?
True
Let v(d) = 2*d**2 + 5*d + 1. Let k be (3 + -3 - 5)*-2. Is v(k) prime?
True
Let t(v) = 938*v + 13. Is t(3) prime?
False
Let v(a) = 59*a - 17. Is v(10) prime?
False
Let l be (-40)/(-3) + (-5)/15. Suppose 4*q + 0*x - 212 = 2*x, -5*x - 10 = 0. Suppose -q = -c - l. Is c prime?
False
Let r be 1 - -2 - (3 + -77). Suppose -4*m = 673 - r. Is (-10)/35 + m/(-7) a prime number?
False
Suppose 0 = -i + 2*i + 3*l - 364, 4*i + 3*l - 1501 = 0. Is i a prime number?
True
Is (-1334)/(-5) - 1/(-5) composite?
True
Let u = -86 - -251. Suppose u - 977 = -4*j. Is j prime?
False
Let y(k) = k**2 - 5*k + 11. Let a be (6*-3)/(-3) + 2. Is y(a) prime?
False
Let k = -150 - -215. Is k a composite number?
True
Suppose 8 = 4*s + n - 3*n, -3*s + 5*n = -6. Suppose a = 5 - s. Suppose -2*b + 71 = -l, 2*b + a*l + 11 = 62. Is b composite?
True
Suppose 0 = 3*r - o - 947, -6*r + r - 3*o = -1569. Suppose j = 6*j - r. Suppose -84 = -3*x + j. Is x composite?
True
Suppose -5*y + w + 194 = -1282, -3*w - 1478 = -5*y. Let f = y + -156. Suppose 4*j + j = -5, -4*g - j = -f. Is g a composite number?
True
Let p(h) = -3*h**2 - 7*h - 3. Let w(b) = -3*b**2 - 6*b - 3. Let j(s) = -3*p(s) + 2*w(s). Is j(-7) composite?
True
Let d(w) = w**2 + 5*w. Let y be d(-7). Suppose -5*g = -y - 21. Is g a composite number?
False
Let v be (-40)/6*(-57)/(-2). Let r = -63 - v. Is r a composite number?
False
Suppose 293 = t - 5*d, -2*t + d = -d - 586. Suppose x + 3*x = 5*k - 1447, -t = -k - x. Is k a prime number?
False
Is (43/(-2) - -3)*(4 + -18) a prime number?
False
Let t(c) = -c + 11. Suppose -3*s + 2 = -25. Let b be t(s). Suppose 24 = -b*z + 66. Is z a composite number?
True
Let c(w) = 8*w**2 + w - 2. Is c(5) a composite number?
True
Let b(l) = l + 540. Let k be b(0). Let j = k + -293. Is j a composite number?
True
Suppose o = -5*j + 67, 0 = -5*j + 5*o + 51 + 4. Let a(i) = 3*i**2 - 13*i - 7. Is a(j) a prime number?
True
Let i(v) = v**3 - 3*v**2 - 8*v + 6. Is i(8) composite?
True
Let o(r) = 0 + 4*r**2 - 4 + 2 - r - 5*r. Is o(-6) prime?
False
Suppose -5*a + 2 = q - 16, -4*a + 2*q + 6 = 0. Suppose 5*u - 68 = -2*n, -4*u + 5*u = a*n + 17. Is u a prime number?
False
Let m be 4 - (-2 + (-4)/(-1)). Suppose m*y = 5*b - 1 - 24, 0 = -b + 2*y + 5. Suppose -h + 4 = -b. Is h composite?
True
Let a(x) = x**3 + 8*x**2 - 2*x + 1. Let k = -3 + 3. Let f = k + -6. Is a(f) a composite number?
True
Suppose -q - 267 = 155. Is q/(-22) + 4/(-22) composite?
False
Let x = 1 - 1. Let l(w) = -w**3 - 7*w**2 - 7*w - 20. Let h be l(-8). Suppose x*p - h = -p + 3*g, 0 = -5*p - 2*g + 449. Is p composite?
True
Let m(g) = -89*g**3 - 1. Let r be m(-1). Suppose 0*k - r = -w - k, 4*w = -k + 349. Is w composite?
True
Suppose 2*t - 13 = -3*c, -3*c + t + 7 = -18. Let j(r) = -9*r + 8. Let x be j(c). Let n = x - -92. Is n prime?
True
Suppose 4*m + 59 = -21. Is 2 - (m - (3 - 3)) a prime number?
False
Suppose -2*u = -3*u + 3. Let q(k) = -k + 1. Let s be q(u). Is (-2 + 20 - s) + 1 a composite number?
True
Suppose 1528 = 5*v - 3*l, 5*v - 3*l = -2*l + 1526. Is v composite?
True
Suppose 3*h + 6 = 0, -v + 2*v = 2*h + 503. Is v prime?
True
Let i be 1/(-1) + (-4)/(-1). Suppose 0*r - r + i = 0. Let u(k) = -k**3 + 5*k**2 - k. Is u(r) a composite number?
True
Let a(x) = 3*x**2 - x. Let b be a(-3). Let y(j) = 20*j**3 + j**2 + j. Let l be y(-1). Let i = l + b. Is i a prime number?
False
Suppose 54 + 260 = 2*z. Is z composite?
False
Let n(u) = -6*u**3 - u**2 - 2*u + 2. Let c be n(-3). Let z = c + -82. Is z composite?
False
Let v = -473 - -140. Let r = 472 + v. Is r prime?
True
Let z = 28 - -451. Is z a prime number?
True
Is 12 - (-6)/(0 + -3) composite?
True
Let h(t) = -6*t - t - 13 - t + 8*t**2. Is h(-9) a prime number?
False
Let m(t) = 2*t**2 - 10*t - 15. Is m(16) prime?
True
Suppose -p - 9*p + 10090 = 0. Is p a prime number?
True
Let f(y) = y**3 + 8*y**2 + 3*y - 3. Suppose s - 23 = 5*a + 3*s, -2*a = -s + 11. Is f(a) a composite number?
True
Suppose -2*j + p + 2*p = 40, -2*p - 6 = j. Let n(f) = -f**3 - 12*f**2 + 20*f + 15. Is n(j) a prime number?
True
Suppose -5*a + g + 4 = 0, -a = -0*a - 5*g - 20. Let r(m) = 104 - m**2 + m + a*m**2 + 23. Is r(0) composite?
False
Let s(n) = 16*n**3 - 7*n**2 - 4*n + 6. Let j be s(6). Let f = j + -2269. Is f composite?
True
Suppose -2505 = -16*s + 13*s. Is s composite?
True
Suppose -3*x = w - 971, 2*w - 926 - 1016 = -3*x. Suppose c - 332 = -3*l + 623, 3*l - w = -5*c. Is l prime?
True
Let o(h) = h**3 + 