 Is x composite?
False
Suppose -2*m + 3514 + 9400 = 0. Is m a composite number?
True
Let d = 166 + -97. Let n be ((-3)/9)/((-4)/1272). Let m = n - d. Is m composite?
False
Let b = -299 + 645. Let h = 513 - b. Is h a prime number?
True
Suppose 3*j = 482 - 143. Suppose -h - 2*r = -7*r - 10, 5*r + 20 = 3*h. Suppose 3*f + 2*x + j = 384, 0 = -h*f - 4*x + 453. Is f composite?
False
Let v = 27 - 25. Is (29/v)/(6/60) a prime number?
False
Let v = -184 - -881. Is v a prime number?
False
Suppose 2*v + 1 = -q, 12 = -3*v - 4*q - 2. Suppose 0 = -5*l + 4*d + d + 50, 5*l - 3*d = 40. Is 7*v - (l - 4) composite?
False
Is -1 + -1 - (1 + -11)*30 composite?
True
Suppose 3*u - 852 = -213. Let z = -143 + u. Suppose -k + z = k. Is k a composite number?
True
Let w = -4 + 6. Suppose -w*l = 3*l - 70. Is l prime?
False
Suppose 4*v + 76 = 5*d, -3*v - 2*d + 8 - 65 = 0. Let o = v - -53. Is o a prime number?
False
Suppose -7*p + 5*p = -1354. Is p prime?
True
Is (0 - (-5)/5)*269 prime?
True
Let b(a) = 49*a**2 + 2*a - 1. Let d(v) = v**2 - 8*v - 2. Let l be d(8). Is b(l) prime?
True
Let d = -109 - -402. Is d a composite number?
False
Let g be -5 - -7 - (-34 - 1). Suppose 4*r + 0*t - 148 = -3*t, -r - 5*t = -g. Is r a prime number?
True
Is 0 + 0 + 249 + -10 prime?
True
Suppose 6 = -5*u + 51. Suppose 0 = 2*g - u - 3. Suppose -z + 4*s = -g, 4*s - 6*s + 2 = 0. Is z prime?
False
Let d(g) = 2*g**2 - 10*g - 5. Is d(-6) a composite number?
False
Suppose 2*q - 6*q = -20. Let a(w) = w**2 - 6*w. Let k be a(q). Let c(s) = -s**2 - 7*s - 7. Is c(k) a prime number?
True
Let f(c) = 3*c**2 + 4*c - 5. Is f(-6) prime?
True
Let z = 25 - -33. Is z a prime number?
False
Is (392/(-40))/(1/(-5)) a prime number?
False
Let b(c) = 67*c + 36. Is b(13) composite?
False
Let k be 20 + (-5)/(10/4). Suppose 4*h - 6 = k. Is h composite?
True
Let h(p) = -21*p**3 + p**2 + 4*p + 1. Is h(-3) a composite number?
True
Suppose 0 = -5*v + 5, -v = 3*y + 4*v - 6227. Suppose 5*p = -5*n + 3170, 5*n = 3*p + y + 1072. Is n a composite number?
False
Let w(u) = u - 4. Let r be w(5). Is 0 + (130 + r - -2) prime?
False
Let g be 6*-1*(-16)/12. Let z = 27 - g. Is z composite?
False
Suppose 3*d - 5 = 4. Suppose 0 = 5*p + 5*x + 154 + 51, d*p = x - 111. Is -1 - p/(-1 + 2) prime?
True
Suppose 7*f - 4*f + 2*x + 2 = 0, 0 = 5*f + 3*x + 3. Suppose n + f*n - 67 = 0. Is n composite?
False
Suppose -24 = -f + 2*y - 5*y, -f + 20 = 4*y. Suppose 5*c - c - f = 0. Suppose -2*n = 2*q - 326, c*q - 4*q = 10. Is n a composite number?
True
Let f(y) = 3*y**2 - 6 - 3*y - 3*y**2 + y**2 - y**3. Let n be f(-5). Is n/6 - (-3)/(-6) a prime number?
False
Let a(r) = 41*r**2 - 4*r + 11. Let z(t) = -20*t**2 + 2*t - 6. Let k(c) = 3*a(c) + 5*z(c). Is k(2) a composite number?
True
Let d(j) = -164*j**3 - j**2 - j - 1. Let g(q) = q**3 - 12*q**2 + 11*q - 1. Let u be g(11). Is d(u) a prime number?
True
Suppose -209 = -q + 537. Is q a prime number?
False
Let n(s) = 8*s**2 - 3*s - 4. Let z(y) = 15*y**2 - 5*y - 8. Let f(k) = 5*n(k) - 2*z(k). Let j be f(4). Let h = j - 49. Is h composite?
True
Suppose -6*f + f = -1685. Is f a composite number?
False
Let i(d) = d**2 - 8*d - 5. Let j be i(9). Suppose -j*k - 3*n = -52, -47 = -4*k + 2*n + 25. Let h = 35 - k. Is h a prime number?
True
Let p(m) = -16*m + 19. Is p(-4) composite?
False
Suppose -2*d + 8 + 2 = 0. Suppose -k - 4*g + 81 = -2*g, -427 = -d*k + g. Is k/(-2)*(1 - 3) prime?
False
Let x = 5 - 7. Is 3 + 792/3 - x prime?
True
Let w(j) = 13*j**2 + 3*j + 13. Is w(6) a prime number?
True
Let x = -13 + 9. Let g be 3/(9 + -3)*-6. Is (-218)/x - g/6 a prime number?
False
Suppose -x + 4*x = 6465. Is x composite?
True
Suppose 0*z = z - 116. Suppose z + 131 = r. Let q = r - 170. Is q composite?
True
Let t(h) = 61*h + 19. Is t(4) composite?
False
Let n = 142 + -79. Suppose -v = -4*v + n. Is v a prime number?
False
Let t(h) = -5 + 2 - 18*h + 0. Is t(-7) prime?
False
Let n(r) = 2*r - 18. Let k be n(10). Suppose 4*h - 998 = -k*y, 0 = 2*y - 4*h + 101 - 1099. Is y prime?
True
Suppose 0 = -4*k + 12 + 248. Suppose -k = 4*a - 9*a. Is a composite?
False
Let z(w) = 130*w**2 - 2*w + 3. Let t be z(3). Suppose 3*c + 390 = t. Is c prime?
False
Let f = 8 - -2. Suppose 0 = 2*h + 328 - f. Let o = -70 - h. Is o prime?
True
Is (38/6)/(2/6) a prime number?
True
Let d be 37/2 + (-1)/2. Suppose 12 = 2*g - 3*x - 0*x, -3*g + x = -d. Is 267/g*(-4)/(-2) a prime number?
True
Let n be 4/(-6)*(-1233)/6. Suppose 2*k - n = 153. Is k a composite number?
True
Suppose -4*s = 5 - 53. Let k = 5 - s. Is 275/7 - (-2)/k a prime number?
False
Suppose 5 = x + 2. Suppose x*i - 4 = -4*f + 16, 2*f = -i + 10. Let g(h) = h**2 - 4*h + 5. Is g(f) a composite number?
True
Let b(q) be the second derivative of 11*q**4/6 + q**3/2 - 2*q**2 + 3*q. Is b(3) a prime number?
False
Let j(a) be the first derivative of 7*a**3 - a**2 + 3*a + 3. Is j(2) a composite number?
False
Suppose 1 = -u + p, -15 = 5*u + 4*p - 46. Suppose 0 = 4*m + u*z + 58, 0*m + 3*m = -4*z - 40. Is ((-424)/m)/(1/2) a prime number?
True
Let l(m) be the third derivative of -m**5/60 - 7*m**4/24 + 5*m**3/6 - m**2. Let w be l(-7). Suppose t = 3*q + 32, -w*t + 3*q + 69 = -67. Is t prime?
False
Suppose 267 = -12*r + 15*r. Is r prime?
True
Let i be 32/(-12)*3/(-2). Let g = i + 33. Is g prime?
True
Suppose 26*l = 28*l - 2606. Is l prime?
True
Let c = -24 - -15. Let k(y) = -4*y**3 - 7*y**2 + 4*y - 8. Let g be k(-7). Is 6/c*g/(-2) a prime number?
True
Suppose 0 = -n - r + 1, -3*n - 2*n + 26 = -2*r. Let k be (0 + -2)/(2/(-38)). Suppose 4*m = n*b - 352, 0 = 5*b + 5*m + k - 448. Is b a prime number?
False
Suppose 0 = -r - 4*r + 1080. Let y be r - 1*-2*1. Let p = y + -63. Is p a composite number?
True
Let l(n) = n**3 + 3*n**2 - 2. Let u be l(-2). Let f(g) = -u - 3*g**3 + 2*g**3 + g**2 + 1 + 2*g. Is f(-2) a prime number?
True
Let w(f) = 2*f**2 - 17*f + 15. Let m be w(11). Let o = 135 - m. Is o composite?
True
Let g(m) = m**2 + 3*m + 2. Let f be g(-2). Suppose 2*l = -3*s - f*s + 77, 2*l = 3*s - 73. Is s prime?
False
Suppose -18*x + 22*x = 16. Suppose 2*y = -5*n + 77, x*y + y = 4*n - 55. Is n prime?
False
Let z be 6/(-27) + 28520/36. Suppose -503 = -5*s + z. Is s a composite number?
True
Suppose -5*v + 4*v = 0. Suppose 0*k = 2*k + 4, -304 = -3*b - 4*k. Suppose -3*p + 127 + b = v. Is p a prime number?
False
Let q = 6 - 1. Suppose -2*l - 95 = -v, l - q*l + 392 = 4*v. Is v a composite number?
False
Suppose -2108 = -2*u + 5*g - 100, -5*u + 5047 = g. Is u composite?
False
Suppose -2*d = -2*n - 0*n + 3236, -n = 2*d - 1615. Let k = n - 1141. Suppose -5*g + k = 11. Is g a composite number?
True
Let b be ((-2)/6)/((-2)/24). Suppose -406 = -6*j + b*j. Is j composite?
True
Let o(w) = -w**3 - 9*w**2 - 12*w - 11. Suppose 0 = 3*y, -y - 6 = -3*x + 2*y. Suppose -m - 3*d - 20 = 0, -4*d = -m + 6 + x. Is o(m) a composite number?
True
Suppose 0 = -0*r - r. Is (9 + -2 + r)/1 a prime number?
True
Let t(y) = y**2 + 4*y + 3. Let v be t(-5). Suppose v*z = 12*z - 1060. Is z composite?
True
Let o = 1 + 3. Suppose -o*m = 0, -4*v - m = -46 - 30. Is v a composite number?
False
Suppose k = 112 + 49. Let w(c) = 207*c**2 + 2*c + 1. Let g be w(-1). Suppose r - 101 = -2*x + g, -x = -2*r - k. Is x a composite number?
True
Suppose 3*g = -0*g + 633. Is g a composite number?
False
Let i = 221 - 130. Is i prime?
False
Suppose 108*w = 105*w + 177. Is w a composite number?
False
Suppose -9*o + 5*o + 2564 = 0. Is o a prime number?
True
Suppose -4927 = -3*r + 3*q - 5*q, 2*q = -r + 1645. Is r a composite number?
True
Suppose -3*h - k + 7 = -6*k, 0 = -h + 2*k + 2. Suppose h*j + 2*o = 5*j - 23, -o + 71 = 5*j. Is j a prime number?
False
Suppose 15*d = 20*d - 8845. Is d a composite number?
True
Let b be (-7 + -1)*(-30)/8. Suppose b = 2*y - 40. Is y composite?
True
Let o(d) = d**2 - 2*d - 77. Is o(18) prime?
True
Let b(q) = 2*q**2 - 6*q - 10. Let w be b(5). Let v(l) = -l**2 - 19*l + 18. Let j(u) = 18*u - 17. Let h(r) = -3*j(r) - 2*v(r). Is h(w) a composite number?
True
Let i(f) = 2*f**2 + 11*f - 10. Suppose 5*d + 4 = -3*o, o + 2*o - 14 = 4*d. Let p be 1*1/(d/18). Is i(p) a composite number?
False
Let n(i) be the third derivative of i**4/6 - 3*i**3/2 - 4*i**2. Is n(10) composite?
False
Let l(m) = 8*m + 3. Let j(q) = -2*q + 4. Let h be j(-3). Is l(h) a prime number?
True
Is (-1)/(-2) - (5