-0*a. Let f = a + 132. Is f composite?
False
Let w = 5 + -2. Let q(s) = -2 + 2*s**w + 7*s + s**2 - 7*s**2 - 4 + 1. Is q(4) a composite number?
True
Let t = -201 - -436. Suppose 4*j + 47 = t. Is j prime?
True
Suppose 5*u = -0*u + 3*p - 975, -u = -5*p + 173. Let n = 527 + u. Is n a composite number?
True
Let b(v) = -v**2 - 5*v - 3. Let x be b(-3). Suppose 2*j = 9 - x. Suppose 0*m - 5*g = -j*m + 95, 2*m = -5*g + 80. Is m composite?
True
Suppose -2*h = -4*z + 13050, 2*z - 5996 = -2*h + 532. Is z prime?
False
Let n(o) = o**2 - 1. Let t(y) = 3*y**2 - 1. Let a(q) = 4*n(q) - 2*t(q). Let g be a(-4). Let r = 1 - g. Is r composite?
True
Suppose -43 = -b - 3*o, -2*o = -4*b - 0*b + 116. Is b a prime number?
True
Let w(b) = b + 286. Let x be w(0). Let j be -1 + -2 + (-6)/(-2). Suppose j = 3*h - f + 2*f - x, -3*h + 284 = -f. Is h composite?
True
Let l(j) = -15*j + 1. Let v be l(-4). Suppose -w + 4*n + 13 = 0, 3*w - n = w + v. Is w a composite number?
True
Suppose 130 = -3*r - p, 5*p + 23 + 143 = -4*r. Let d = 11 - r. Is d prime?
False
Suppose 0 = -0*q - 4*q + 3636. Let j be q/6*4/(-3). Is j/(-3) + (-1)/3 prime?
True
Let l be (-6)/9 - 76/3. Let q be (l*6)/((-6)/(-4)). Let z = -71 - q. Is z a composite number?
True
Suppose -15*n + 951 = -12*n. Is n a composite number?
False
Suppose 2*q + 178 = -3*f + 9, 0 = -3*q + 3*f - 291. Let r = q + 205. Is r a prime number?
True
Suppose 2*o - 3*o + 8 = -4*g, 0 = 4*g + 8. Suppose o = -4*a + 41 + 43. Is a a composite number?
True
Let y(g) = 46*g + 11. Is y(8) prime?
True
Let v(q) = -q - 8. Let p be v(-5). Is 2/p + (-1311)/(-9) a prime number?
False
Let s be 5*(2 + 1227/15). Suppose v + s = 2*v. Is v a composite number?
False
Let x(d) be the second derivative of 3*d**3/2 + d**2/2 + d. Is x(2) composite?
False
Let h(q) = 50*q**3 + q**2 + q + 1. Let m be h(2). Suppose -667 = -7*y + 2*y - l, -3*y + m = 4*l. Let g = y + -54. Is g a composite number?
False
Let l(u) = 8*u**2 + 8*u - 3. Is l(4) a prime number?
True
Let v be 18/45 - (-10772)/(-5). Let d = v + 3043. Is d a prime number?
False
Let b = 370 - 227. Let p = b + -76. Is p composite?
False
Suppose p + 18 - 137 = -r, -5*p = -5. Is (0 - -1)/(2/r) composite?
False
Suppose 3*n = -2*n + 3635. Let w = 1268 - n. Is w prime?
True
Suppose -7*y = -2*y - 22205. Is y composite?
False
Suppose 2600 + 1330 = 6*f. Is f prime?
False
Let i(z) = 10*z**3 + z**2 + 2*z + 1. Suppose 4*w + 2 = 10. Is i(w) a prime number?
True
Suppose 0 = 2*c + c - x - 113, -5*x + 101 = 3*c. Is c a prime number?
True
Let a = 340 - -1221. Is a a prime number?
False
Suppose 0 = m + o - 197, -o - o + 6 = 0. Is m a composite number?
True
Is (-2678)/(-14) + 26/(-91) prime?
True
Let l = -30 - -43. Let n = l - 9. Is 35 - 2/n*2 prime?
False
Suppose -d = -0*d - 6. Let t(u) = -4*u + 5 - 3*u**2 + u**3 - u - 2*u**2. Is t(d) prime?
True
Is 21245/63 + (-2)/9 a composite number?
False
Let p be 1 + -1*(-2 - -1). Suppose 45 = p*a + 5*x, -x = a - 3*x. Suppose 3*f + 12 = t, 5*t - f = 7*t - a. Is t a composite number?
True
Let d(h) = 9*h**2 - 4*h - 11. Is d(6) a prime number?
False
Let r(v) = 1 + 12*v + 7 + 37*v - 2. Is r(5) prime?
True
Let c = 27 + 99. Is c + (-1 - -4 - 0) a prime number?
False
Let u(p) = -p + 1. Let h(j) = 3*j**2 - 2*j + 4. Let n(y) = h(y) - 3*u(y). Is n(3) prime?
True
Suppose 2*l + 2*l = p - 83, 5*p = 4*l + 399. Is p a composite number?
False
Let q = -6 - -8. Suppose 4*f - q = -6. Is (-166)/(f - (1 - 0)) composite?
False
Suppose 0 = -d + 37 + 32. Is d prime?
False
Let w(v) = 2*v**3 - 13*v**2 + v + 5. Is w(9) composite?
False
Suppose 8*s - 4*s = -60. Let f = 25 + s. Let v = f + 4. Is v prime?
False
Let t(l) = -62*l - 6. Is t(-2) a composite number?
True
Suppose 0 = g + 4*h + 108, 3*g - h + 363 = -0*g. Let v = 178 + g. Suppose -4*a + v = -162. Is a composite?
True
Suppose -1573 - 2962 = -5*c. Is c composite?
False
Let u = -23 - -1057. Suppose -626 - u = -4*r. Is r a prime number?
False
Let p be (-3 + 93/6)*34. Suppose 5*s - p = -90. Suppose s = z - 3*c, -21 = -z + c + 56. Is z prime?
False
Let p(o) = -o**2 + 8*o + 12. Let z be p(9). Is -1 + z + -5 + 89 a prime number?
False
Suppose x = t + 8 - 1, 5*t = -5*x - 15. Is ((-1)/(-3))/(x/318) a prime number?
True
Suppose -2*a - 2*u = 3*a + 5, 3*u = 3*a + 24. Let t(o) = -2*o + 1. Is t(a) a prime number?
True
Suppose 0 = -16*b + 12*b + 348. Is b prime?
False
Let j(p) = -4*p - 2. Let r be j(-5). Let w = r - 3. Suppose -w = -2*c + 55. Is c composite?
True
Let t(o) = 4*o**3 - 2*o**2 + 2*o - 1. Let d be t(1). Suppose d*f + f = 92. Is f a prime number?
True
Is ((-2)/2)/((-8)/1784) a composite number?
False
Let k = -450 - -685. Is k composite?
True
Let p = 66 + 35. Let d = -69 - -59. Let m = p - d. Is m a composite number?
True
Let y(s) = -2*s - 2. Let c be y(-3). Suppose -p - q + c*q + 35 = 0, -p + 2*q + 31 = 0. Is p a prime number?
True
Let d be (2 - 0/2) + 0. Is 10*(d + 7/2) a composite number?
True
Let l = 6 - 1. Let p = -6 + 9. Suppose 0*t - l*t = p*u - 121, -2 = -t. Is u prime?
True
Let d(i) = -i**3 - 5*i**2 + 6*i + 1. Let b be d(-6). Let o be 141 + (2 - 1) + b. Suppose -4*a + 5*t + 157 = 0, o + 44 = 4*a + 5*t. Is a a composite number?
False
Suppose -3*m + 3*y = -8*m + 2167, 0 = -5*m + 2*y + 2147. Is m a prime number?
True
Let q(p) = -p**2 + 6*p + 2. Let h be q(6). Let m(w) = 9*w**3 + 0*w**2 + 12*w**3 - 3*w + 7*w - 3*w**2 - 3. Is m(h) a composite number?
True
Let b(p) = 1. Let w(l) = 2*l**2 - 3*l - 3. Let m(h) = -5*b(h) + w(h). Is m(6) composite?
True
Suppose 0 = -4*c + 4*j + 52, c - 13 = -0*c + 4*j. Suppose f - 3*n - 6 = 0, 2*f + 1 - c = -4*n. Suppose -5*a + f = -9. Is a a composite number?
False
Suppose 3*y - 5 - 17 = 4*d, -d = 4. Suppose y*z - 7*z - 15 = -2*o, z - 105 = -5*o. Suppose 0*h + o = 5*h. Is h prime?
False
Suppose -1505 = -6*m + m. Is m composite?
True
Let a = 124 - -133. Is a a prime number?
True
Suppose 5*v = 5*g + 54 + 21, -g - 54 = -4*v. Is v composite?
False
Let q(u) = -u - 11. Let k be q(-6). Let n(b) = b**3 + 6*b**2 - 7*b - 2. Is n(k) prime?
False
Suppose 12 = 2*h - 2*i, -5*h = 2*i + 3*i - 10. Suppose -5*q + h*q = -14. Is q a prime number?
False
Let u = 58 + -4. Suppose 38 + u = 4*d. Is d prime?
True
Suppose -3*y = 2*s - 0*s, 3*s - 5 = -2*y. Let a = 3 - s. Suppose u - 1 - 3 = a. Is u a composite number?
True
Let s = 69 + -12. Is s composite?
True
Suppose 3*m + 4 = -5. Let z = -2 - m. Let b = z - -3. Is b a composite number?
True
Let i = 4745 - 1252. Is i a composite number?
True
Let i = 19 + -12. Suppose -a = -0 - i. Is a a prime number?
True
Let a be 1/(1 + (-226)/227). Suppose -4*o - o = 0, g - 108 = 3*o. Let i = a - g. Is i prime?
False
Suppose -b = -3*b - 432. Suppose 6*c = c - 1565. Let a = b - c. Is a a composite number?
False
Suppose -2*v - 3*v = -265. Is v a prime number?
True
Suppose 4*h = 4*d + d - 16, -h = -3*d + 11. Let q be (0 - -3) + 2*h. Suppose -2*f + 209 = q*a, 3*f + 114 = 3*a + 396. Is f a composite number?
False
Suppose -392 = 3*t - 4*y + 2*y, 263 = -2*t + 3*y. Is (4 + -1 + t)*-1 prime?
True
Suppose 0*v - v + 18 = 0. Let r = 28 - v. Is r composite?
True
Is -2 + 1 - (-197 + 5) a prime number?
True
Let c(o) = -10*o**3 + 2*o**2 - 2*o - 3. Let g(r) = r + 8. Let u be g(-10). Is c(u) a composite number?
False
Let r(t) = 0 + 8*t**2 - 1 + 2*t + 4 - 2. Is r(3) prime?
True
Suppose 1980 = 4*w - 5*i - 713, -5*w + 3340 = -i. Suppose 1 - 11 = -2*j, -w = -t + 2*j. Is t a composite number?
False
Let c(w) = 474*w**2 + w + 2. Is c(3) a prime number?
True
Let v(r) = r**3 + 8*r**2 - 2*r - 4. Let k be v(-9). Let g = k - -134. Is g prime?
True
Let n(j) = -35*j + 12. Is n(-5) a prime number?
False
Suppose 0 = -2*h + 106 - 32. Is h + 0/(2 - 0) prime?
True
Suppose -4 = -4*h + 8. Is (-4479)/(-9) - 2/h a composite number?
True
Let z(m) = -m**3 - 7*m**2 + 8*m - 5. Let r be z(-8). Let g = 30 + r. Is g composite?
True
Suppose 0 = q + z - 6, -2*q - 10 = -4*q - 3*z. Let l be (-46)/(-6) - (-1)/3. Suppose 2*n + q = -4*r - 2*n, -r = -n - l. Is r prime?
True
Suppose 0 = -6*n + 487 + 3365. Suppose 3*k - k = n. Is k prime?
False
Suppose -m + 20 = 3*m. Let r(f) = 4 - 15*f - 7*f + 37*f. Is r(m) a prime number?
True
Let s(l) = l**2 + l + 339. Let h be s(0). Is 3*3*h/27 prime?
True
Is -422*(1 - 14/4) a prime number?
False
Suppose 3 + 12 = 5*o. Let z(t) = 7*t**2 - 3*t. Let x