 composite?
True
Suppose -4*d = 6 - 82. Is d composite?
False
Suppose -3*u - 3*d + 45 = 0, -2*d = -3*u + 23 + 37. Let q = 41 - u. Is q prime?
True
Let v = -7 - -12. Suppose -2*u + v*p + 87 = 0, -77 = -2*u - 0*p + 3*p. Is u prime?
True
Suppose 4*v + 4*x - 3*x - 8384 = 0, 5*v + 3*x - 10487 = 0. Is v a composite number?
True
Let z = 11 + -4. Is z prime?
True
Suppose k - 2*z - 154 - 5 = 0, k - 4*z = 161. Is k a composite number?
False
Let a = -2645 + 3904. Is a prime?
True
Is (-3)/((-1084)/268 + 4) composite?
False
Let y = 392 - 243. Is y composite?
False
Let v = -2 - -4. Suppose -2 - 18 = -m + v*n, 0 = 4*m + 5*n - 119. Is m a prime number?
False
Let x(t) = -t**2 + 6*t. Let r be x(6). Suppose r = 5*l - 10*l + 20. Is l a prime number?
False
Let j(v) = 126*v - 1. Is j(2) prime?
True
Is 0/1 - 1814*(-5)/10 a prime number?
True
Let z(s) = -3*s**3 + 2*s**2 + 7*s + 7. Let q = 12 - 17. Is z(q) prime?
True
Suppose 4*h = 7*h - 159. Is h a prime number?
True
Let g = 8 + -16. Let y be g/(-4)*41/(-2). Let m = 75 + y. Is m a prime number?
False
Let j(h) = 6*h**2 + h. Let s be j(1). Suppose 262 = r + 3*i, s*i - 15 = 2*i. Is r a composite number?
True
Let s = -37 - -15. Suppose -2*q = -5*q + 135. Let i = q + s. Is i prime?
True
Suppose 0 = 2*b + 2*o - 4*o - 3822, 3*o = -15. Is b composite?
True
Suppose -12*l + 9*l = -573. Is l composite?
False
Let x = 43 - 0. Suppose -3*f = 7 - x. Suppose -f = z - 35. Is z a composite number?
False
Let j(k) = 12*k**2 - 5*k + 6. Is j(-7) composite?
True
Suppose -2*s - 5*y = -6*s - 5, 0 = -5*s + 5*y - 10. Let m = s + 3. Is (1 + -162)*(-3 - m) prime?
False
Suppose -94*y + 96*y = 6010. Is y a composite number?
True
Is (-74585)/(-95) + (-4)/38 a prime number?
False
Suppose 1995 = 8*d - 3*d. Let a = -145 + d. Is a prime?
False
Let o(m) = -73*m + 66. Is o(-11) prime?
False
Let u be ((-2)/2)/(3/(-15)). Suppose 2*g - u*p = 365, -373 = g - 3*g - 3*p. Is g a composite number?
True
Suppose -x + 590 = 3*l, -5*x = -0*l - 2*l - 2899. Is x prime?
False
Suppose 3*l + 0*l = -3*h + 249, -166 = -2*l + 2*h. Is l a prime number?
True
Let p(w) = -w**3 + 7*w**2 + 9*w + 4. Let b(r) = -r**3 + 7*r**2 + 9*r + 4. Let h(d) = 4*b(d) - 3*p(d). Let z be (-6)/(-9) + (-19)/(-3). Is h(z) composite?
False
Let h be (-6)/((30/(-4))/5). Suppose 42 = -h*n + 270. Is n composite?
True
Let t = 3 - -2. Suppose t = 2*a - 1. Suppose a*j + 6 = 0, 0 = -5*g + 4*g + 4*j + 10. Is g a composite number?
False
Let b(f) = 30*f**2 - 12*f + 23. Is b(-10) composite?
True
Let w(z) = z**3 + 5*z**2 + 4*z - 1. Let g be w(-4). Is 51 + 0 + g + 3 composite?
False
Let d(q) = -q - 2. Let r be d(6). Let k(a) = a**3 + 8*a**2 - a - 6. Let b be k(r). Suppose -b*v - 4 + 18 = 0. Is v composite?
False
Let z(h) = h**3 - 3*h**2 + 4*h + 11. Is z(9) a composite number?
True
Let k = -176 - -387. Is k a composite number?
False
Suppose -r + 10 = 3*r + 2*l, l - 1 = -r. Suppose 2*i = -r*i + 870. Is i composite?
True
Suppose 0*a - 285 = -5*a. Let j = 106 - a. Is j a composite number?
True
Let h(p) = 18*p**2 - 7*p - 18. Is h(13) prime?
False
Let q(h) = -35*h + 7. Let u be q(-3). Let y = 167 - u. Is y a composite number?
True
Let s = 157 + 180. Is s prime?
True
Let r = 1983 - 428. Is r prime?
False
Suppose 7*u - 49 = 6*u. Suppose 3*s - 62 = u. Is s composite?
False
Suppose 0 = 2*i + 11 + 1. Let r(y) = -y**3 - 8*y**2 - 13*y - 1. Let m(u) = -u + 1. Let d(a) = 4*m(a) - r(a). Is d(i) a composite number?
False
Suppose -25 = -2*k - 3*q, 4*q = -4*k + 8 + 32. Suppose -6 = -y - 2. Is 63/k - y/(-10) prime?
True
Is 2810/3*36/24 a composite number?
True
Suppose t - 6*t + 4*l = -20, -5 = 3*t + l. Let m(n) = n**3 + 6*n**2 - 5*n. Let q be m(-4). Suppose t = 5*v + 3*w - 2*w - q, 0 = 3*v - 2*w - 39. Is v prime?
True
Suppose -4*u = 0, 3*u - 97 + 3 = -2*l. Suppose n + 9*a + 27 = 4*a, 0 = -3*n - 5*a - 31. Is l/n*(-4)/2 a prime number?
True
Is 144 - (-3)/((-18)/30) a composite number?
False
Let q(r) = -74*r + 2. Let h be q(-5). Suppose -3*u = -0*u - h. Suppose 109 = 3*v + n, -2*v + 3*n + u - 44 = 0. Is v a composite number?
False
Suppose -5*l + 102 + 28 = -2*n, 2*l - 4*n - 36 = 0. Suppose 0 = 5*b - 3*f - f - 35, -4*f = 4*b - l. Is b prime?
True
Suppose 0*l + l + 5 = x, -5*x = -4*l - 18. Is (-1*118)/(l + 5) composite?
False
Let x(k) = 5*k - 1. Let r be x(1). Is 1 - -1 - (-884)/r a composite number?
False
Let z = 788 + -285. Is z prime?
True
Suppose 2*y = -3*y - 3*i + 4018, 0 = 5*y + 5*i - 4020. Is y composite?
True
Suppose 2*b + 2*x - 76 = -0*b, 4*x = 5*b - 226. Suppose -15 = -3*u + b. Is u a composite number?
False
Let j(h) be the third derivative of -h**4/24 + 5*h**3/6 - h**2. Let f be j(-5). Suppose 0 = g - 0 - f. Is g a composite number?
True
Let z = 5 + -2. Suppose -4*r + 94 = 2*c, 0 = 2*c - 7 - z. Is r composite?
True
Let u = -3153 - -2121. Let f be (u/30)/((-1)/20). Is (f/24)/((-4)/(-18)) a composite number?
True
Let l(k) = 1018*k + 23. Is l(6) prime?
True
Suppose 6 - 46 = 5*h. Let j = -6 - h. Is j prime?
True
Suppose -s = -0*s + 4. Let v(k) = 13*k - k**3 - 14*k + 5 - 4*k**3 + 2*k**3 - 5*k**2. Is v(s) a prime number?
False
Suppose 0 = -5*n + 25, 5*p + 0*n - 785 = 4*n. Is p a composite number?
True
Is ((-2134)/(-55))/(2/5) prime?
True
Let d be (-3 - 277)*2/5. Let g = d - -52. Let j = -25 - g. Is j a prime number?
False
Let z(x) = x**3 - 6*x**2 + 6*x - 8. Let l be z(6). Suppose l = -5*s + 93. Is s prime?
True
Is (2/(-6))/((-6)/17874) prime?
False
Suppose -4*t - r - 88 = 0, 2*r + 9 = 1. Let x be (-1 - 0)/(3/t). Let o(m) = 14*m - 1. Is o(x) prime?
True
Let q = -186 + 306. Suppose 5*u - 128 = -483. Let m = u + q. Is m composite?
True
Let o(r) = 10*r**2 + 8. Let u be o(6). Let s = 197 + u. Is s composite?
True
Suppose -5*m = -6*m + 20. Suppose 3*n + z - 5*z = 28, -4*n + m = -z. Suppose 84 = n*a - 0*a. Is a prime?
False
Suppose -4*r = 4 - 12. Is ((-112)/12)/(r/(-3)) a composite number?
True
Suppose -3*s - 5*y + 36 = -y, 46 = 5*s + 2*y. Suppose 4*w + 4*a = s*a + 8, a = -2*w + 1. Let r(z) = 38*z**3 - 1. Is r(w) a composite number?
False
Let f(k) = k**2 - 6*k + 2. Let n be f(6). Suppose -4*o - n*h + 3318 = 0, 9*o - h = 4*o + 4130. Suppose -3*m = -o + 338. Is m composite?
False
Suppose -2*s = 5*n - 28, 4*s = -5*n + 13 + 13. Let z be (-9)/n*2*-1. Suppose -2*f - 13 = -z*f. Is f composite?
False
Let k = 297 - 137. Suppose 65 - k = -5*r. Is r composite?
False
Suppose -2*s - 2*u - 10 = 0, 2*s + 17 = -2*s - 3*u. Let b be (3/s)/((-4)/1240). Suppose b = 8*n - 3*n. Is n a prime number?
False
Let n(s) = 186*s**2 + 2*s - 15. Is n(5) a prime number?
False
Let g be 11 + (-2)/(2 - 0). Let s(l) = 2*l**2 + 0*l + 0*l - 13. Is s(g) composite?
True
Suppose 10*c - 8419 = 9*c. Is c a composite number?
False
Is ((-12)/10)/((-22)/(-55)) + 3136 prime?
False
Is 4/(-16) - 375/(-12) a prime number?
True
Suppose -3*q + 2686 = 2*j, -3*q - 2670 = -2*j - 2*q. Is j prime?
False
Is (-36)/(-48) - 1010/(-8) prime?
True
Let g = -7 + 13. Let b = g + -5. Suppose 0 = 3*y - 22 + b. Is y prime?
True
Let a(h) = h**2 + 2*h + 4. Is a(-7) composite?
True
Let u = 418 - 57. Is u prime?
False
Suppose -5*b + 228 = -d, -4*b - 5*d + 194 = -0*d. Let z = 143 - b. Is z prime?
True
Let z(i) = -i**3 + 5*i**2 - i + 5. Let u be z(5). Suppose -4*w - w = -4*o + 232, u = o + w - 49. Is o a composite number?
False
Let z(d) = 33*d**2 - d + 1. Let n(i) = 133*i**2 - 4*i + 4. Let b(y) = -2*n(y) + 9*z(y). Is b(-2) prime?
True
Let h(r) = -27*r - 20. Let n(g) = 9*g + 7. Let f(z) = -6*h(z) - 17*n(z). Is f(2) a prime number?
True
Let t(n) = 47*n**2 + n - 9. Is t(6) composite?
True
Let a = -108 - -375. Is a a prime number?
False
Suppose -7*j + 6*j = -31. Suppose 4*t - j - 109 = 0. Is t a prime number?
False
Suppose 1275 = 5*o - 5*f, -5*f + 1 - 6 = 0. Is o composite?
True
Let a(o) = -23*o + 12. Is a(-5) composite?
False
Let q be ((-1)/((-1)/(-1)))/1. Let c be 0/(1/(q/(-3))). Let b(n) = n + 13. Is b(c) composite?
False
Let r(c) = 4 - c + 0*c - 3. Let n be r(-3). Suppose 92 = 3*v - 4*q - 31, n*q + 12 = 0. Is v prime?
True
Is 2/(6600/(-1652) - -4) a prime number?
False
Is ((-42)/(-3))/((-8)/(-212)) composite?
True
Is (18/4 + -4)*9382 prime?
True
Suppose 0 = 3*d + 48 + 51. Let x = d - -70. Is x prime?
True
Suppose 0 = z - 21 - 21. Let c = 202 - z. Let m = c - 17. Is m composite?
True
Let o(m) = 4*m**3 - 2*m**2 