Let v(q) = -5*j(q) - 4*k(q). Let o be v(7). Suppose 115 = 5*c - o. Is c a prime number?
False
Suppose -16112 = 5*v - 2*m - m, -3*v + 3*m - 9666 = 0. Let d = v + 1605. Is d/(-6) + 6/(-9) composite?
False
Let z = -1260 + 1895. Is z a composite number?
True
Let u = -185 + 122. Let t be (-4)/((15/3)/140). Let h = u - t. Is h composite?
True
Suppose b + 29 + 26 = 0. Suppose -45 = -q - 3*d, q - 15 = d + 2*d. Let u = q - b. Is u a prime number?
False
Let j = -136 - -431. Is j composite?
True
Let x(f) be the second derivative of -5*f**3/6 - 5*f**2/2 + f. Is x(-4) a composite number?
True
Suppose 0 = 4*o - 8. Suppose 5*m = 4*y + 2*m - 16, -o*m = 8. Is (-21 - 0)*(-2 + y) prime?
False
Suppose -14 - 2 = -4*o. Is o/(-12) - 356/(-6) prime?
True
Let w = 1737 - 1180. Is w prime?
True
Let k be -10*((-6)/2 - -5). Let n = -32 - k. Let w = n + 21. Is w prime?
False
Suppose 0 = 3*j + 5*n - 24, 0*n + 3 = n. Is j*(-2 - -3)*5 a prime number?
False
Let v = 8 - 8. Suppose 0*p + p = v. Suppose 2*u + p*a = -2*a + 236, -4*a + 591 = 5*u. Is u a prime number?
False
Is 2 + 0 - (-442)/2 a composite number?
False
Let t(o) = 4*o**2 - 10*o + 3. Let d(s) = 8*s**2 - 21*s + 7. Let p(j) = -6*d(j) + 13*t(j). Suppose 3*x + 9 = 3*m, 2*x = -2*x - 20. Is p(m) a composite number?
True
Let q be (-2)/(-11) + (-4)/22. Suppose 2*b + 2*o - 572 = q, -2*o = -3*b - 0*o + 883. Let s = -200 + b. Is s prime?
False
Let a(o) = -14*o + 17. Is a(-13) composite?
False
Let x be 4/16 - (-15)/4. Suppose -x*o = -121 - 99. Is o a composite number?
True
Let v(l) = l**2 - 2*l - 4. Let i be v(4). Suppose -y = i*y - 10. Suppose -y*r = -8 - 12. Is r prime?
False
Let h(a) = 12*a + 31. Is h(3) composite?
False
Let s(t) = -3*t - 9. Let c be 12/(-10)*15/(-3). Let l be 12/1*(-3)/c. Is s(l) a prime number?
False
Let t(a) = 3*a**2 - 5*a + 3. Suppose 0 = -2*u + 5*p - 32, 0 = u + p + 2*p - 6. Let s(h) = -h**3 - 7*h**2 - 7*h - 2. Let b be s(u). Is t(b) composite?
False
Let y(b) = 3*b**2 - 4*b + 1. Let t(k) = -k**2 - k. Let w(h) = 3*t(h) - y(h). Let c be w(2). Let d = c + 45. Is d a composite number?
True
Let o(t) = -2*t + 18. Let i(v) = 2*v - 19. Let x(b) = -3*i(b) - 4*o(b). Is x(11) composite?
False
Suppose 5*r - 2816 = -4*z, 2*r - 5*r - 2848 = -4*z. Is z a composite number?
False
Is 114 - 0 - 2/(-2) composite?
True
Let g = 0 - 0. Let k = 42 + 49. Is (g/(-1) - k)*-1 a composite number?
True
Suppose -k - 29 = -0*k. Let w = k + 76. Is w a composite number?
False
Let i(t) = -t**3 + 9*t**2 - 5*t - 10. Let l = -8 - -15. Is i(l) composite?
False
Suppose -r - 2*r + 18 = 0. Let o be 4/(-10) + (-47)/(-5). Let b = r + o. Is b a composite number?
True
Suppose -3*j + 221 = 5*t, -12 = -5*t + 4*j + 195. Suppose 0 = b - 66 + 234. Let s = t - b. Is s a composite number?
False
Let c = 1 + 3. Suppose 1050 = 6*p - p + c*n, 3*p = 3*n + 603. Is p a composite number?
True
Suppose -3*w - 3*q = 963, -w + q - 423 = -92. Let r = w - -177. Let s = -82 - r. Is s a prime number?
True
Suppose -3*l + 9 = 0, 3*l - 1658 + 138 = -z. Is z composite?
False
Let d(n) = 273*n**2 + 2*n - 2. Let o be d(-2). Suppose 2*m - o = -2*y, y - m = -y + 1080. Is y a composite number?
False
Let c = 467 + -168. Is c a prime number?
False
Let z(s) be the second derivative of -s**5/20 - s**3/2 - s**2/2 - 2*s. Is z(-6) a composite number?
False
Let k(a) = a**3 + 10*a**2 - 3*a + 1. Is k(-10) prime?
True
Let w be 0 + 0 - (-1 + 1). Suppose w = 2*m - 5*d - 278, m + 2*m - 3*d = 399. Is m a prime number?
False
Suppose -2*f - m = -4*f + 5, -m = f + 2. Let c be (146/(-4))/(f/(-2)). Let w = c + -16. Is w a prime number?
False
Suppose -4*d = -k - 5, -2*k - k = 2*d - 13. Suppose -4*o + 40 = 5*g - o, 5*g + d*o = 40. Let v(z) = -z**3 + 10*z**2 - z + 7. Is v(g) a prime number?
True
Let f(n) = -18*n**2 + 4*n - 3. Let z(c) be the first derivative of -c**2/2 + c - 2. Let s(g) = -f(g) - 2*z(g). Is s(2) composite?
True
Let u be 42/8*(-40)/(-15). Let x = 9 - u. Is 5*((-328)/x)/4 a prime number?
False
Is ((-15532)/(-66))/(2/3) a composite number?
False
Let j be 3228/(-21) - (-4)/(-14). Let r = 318 + j. Suppose 0 = -5*l - 25, -4*w = -l + 19 - r. Is w a prime number?
False
Let l(y) = -7*y + 2*y**2 + 0*y**2 + 2*y - 2. Is l(-7) composite?
False
Suppose 0 = -3*m + 4*m - 372. Suppose p - m = -3*p. Is p a prime number?
False
Let w(g) = -g**2 - 11*g + 4. Let s be w(-11). Suppose -s*t + t = -75. Is t a composite number?
True
Let f = -261 - -1246. Is f prime?
False
Let h be 5 + (3 - 1) + -1. Suppose -h*z = -5*z - 511. Is z prime?
False
Let q = -61 - -244. Is q a prime number?
False
Is 6/27 - (-2311)/9 a composite number?
False
Let q(a) = a**3 + 2*a**2 - 2*a - 2. Let k be q(-2). Suppose -k*r = -5*r + 15. Suppose 0 = z + 2*z + r*w - 197, 5*w = -5*z + 315. Is z prime?
True
Suppose s - 4 + 10 = 0. Let v(c) = 5*c + 1. Let l(p) = -3*p. Let k(u) = 7*l(u) + 4*v(u). Is k(s) prime?
False
Let c(k) = -k + 12. Let h(j) = j**3 + 6*j**2 + 6*j + 1. Let u be h(-4). Let v be c(u). Suppose v*z - 46 = n + n, -2*n - 4 = 0. Is z a prime number?
False
Suppose -3 = -5*m + 7. Suppose -4 = -5*y - 2*l, m*l - 2 = -3*y + 2. Suppose y = -4*z - 64 + 204. Is z a prime number?
False
Let a(w) = -w**3 + 9*w**2 - 3*w + 10. Let h be a(7). Suppose h = n + t, -318 = -4*n + 4*t - 2*t. Is n a composite number?
True
Let f(m) = -m**2 + 5. Let o be f(0). Suppose 3 - 18 = y + o*p, -15 = -y + 5*p. Suppose 3*r - 38 - 15 = 4*v, y = r + 5*v - 5. Is r a prime number?
False
Suppose 0 = -2*a + 53 + 85. Is a composite?
True
Suppose 0 = -5*w + 4*b + 244, -5*b - 5 = -0*b. Let s be ((5 - -1) + 0)/2. Suppose s*u - w = -3*k, 124 = 5*k + 4*u + 45. Is k prime?
False
Suppose -299 - 1295 = -2*j + 2*r, -3*r = 2*j - 1594. Is j composite?
False
Let r be -6 + 6 + (-231)/(-1). Suppose 2*i - r = -i. Is i a composite number?
True
Suppose 0 = 4*z + 2*w - 10, -3*z + 3*w - w = 10. Suppose -3*f + 55 = -a - z*a, -f + 3*a = -13. Is f a prime number?
True
Let r = -19 + 9. Let k(i) = -i**3 + 8*i**2 + i - 8. Let v be k(8). Is (-2 - v)*15/r prime?
True
Let x be ((-5)/5)/((-1)/3). Suppose 5 = 2*o + x*p - 9, 4*p = 4*o - 68. Is o composite?
False
Let s = 210 - 83. Is s a composite number?
False
Let z(g) = -g**2 + 7*g - 1. Let i be z(5). Suppose i = 4*x - 3. Suppose 8*k = x*k + 295. Is k prime?
True
Let z(s) = -3 - 9*s + 0 - 15*s. Let b be z(-4). Suppose 0 = 4*o - o - b. Is o prime?
True
Let w(p) = p**2 + 4*p + 3. Let k be w(-3). Let r(y) = -y**2 - y + 409. Is r(k) composite?
False
Let i be (-6 + 8)*(0 + -4). Let m(l) = l**2 - 6*l + 7. Is m(i) prime?
False
Suppose h - 68 = 5*h - 4*i, 0 = h - 5*i + 33. Suppose -2*k + 66 = -5*f, 2*f - 30 = -k + 3*f. Let v = k + h. Is v prime?
False
Let m(l) = l**3 + 2. Let j be m(2). Let g be 16/j*(-220)/(-8). Suppose -r + 15 = -g. Is r composite?
False
Let y(p) = -68*p**2 + 3*p + 3. Let s be y(-2). Is s/(-7) + 4/(-14) a prime number?
False
Let p = -19 - -438. Is p composite?
False
Suppose 10 = -0*z + 2*z. Suppose 100 = z*l - 285. Is l prime?
False
Let y be ((-15)/(-3) + 1)*1. Let h = y - -61. Suppose 3*t + 6*c = c + h, 5*c = -t + 29. Is t composite?
False
Suppose 4*z - 6 = 10. Suppose -5*n - 5*g = -450, 48 = n - z*g - 37. Is n a composite number?
False
Let f = 2 - 3. Is (-1 - 1) + (-99)/f composite?
False
Suppose 4*w + 5*k - 4158 = 0, 5*k + 3136 = 5*w - 2*w. Is w composite?
True
Suppose 4*v + 65 = 5*s, 28 = 2*s + 4*v - 6*v. Let i be ((-3)/4)/((-7)/28). Suppose -2*m + s = m - i*j, 0 = 5*m + 4*j - 15. Is m a prime number?
True
Let w(q) = -q - 10. Let v be w(-12). Suppose v*u - 335 = -97. Is u composite?
True
Suppose p = 24 + 157. Is p a composite number?
False
Let s(b) = 5*b - 7. Let v(p) = p + 4. Let a be v(0). Suppose r + 4*g = -a + 2, r = -g + 4. Is s(r) composite?
False
Suppose -651 = -4*z + z - x, 0 = -z - 5*x + 217. Is z a composite number?
True
Let b = 48 - 5. Is b a prime number?
True
Is (-3)/(-1) + -1 - (-24 + -1431) a prime number?
False
Suppose 4*o = -2*q - 7 - 13, -q + 18 = -5*o. Let z be -2 - -7 - 0 - q. Suppose z*l - 115 = 2*l. Is l prime?
True
Let a(w) = w**3 - 10*w**2 - w - 9. Let g be a(11). Let b = 100 + g. Is b prime?
False
Let g(a) = a**3 - 4*a**2 - 4*a - 4. Let d be g(5). Let l(k) = d - 2*k + 0 - 9*k. Is l(-6) prime?
True
Let l = 319 + -12. Is l prime?
True
Let x = 6 + -9. Is (1/x)/(7/(-6447)) a prime number?
True
Suppose -h + 0*h - 