= -10 - -18. Suppose k = 4*v - 0. Suppose 2*j - 12 = -2*j, 2*o - 16 = v*j. Is o composite?
False
Suppose -2*q + 3*q - 449 = 0. Is q prime?
True
Suppose 3*p - 356 = -p. Suppose -4*s - 2*v = -75 - 15, p = 4*s + v. Is s composite?
True
Let p be (-1)/3 - (-16)/3. Suppose -h - p*v + 19 = -0*h, -3*v + 59 = 4*h. Is h a composite number?
True
Let r(i) = -i**3 + 11*i - 2 + 0*i**3 + 2*i**3 - 9*i**2. Is r(8) composite?
True
Let n = 0 + 223. Is n a composite number?
False
Suppose 3*l - 487 - 74 = 0. Is l a composite number?
True
Let o = -103 - -248. Is o a composite number?
True
Let u(h) = 47*h**2 - 4. Is u(3) a composite number?
False
Let q(f) = -f - 4. Let z be q(-2). Is 1/(z/22)*-11 composite?
True
Suppose -2*t - 3*q + 1547 = 0, q - 3839 = -5*t + 3*q. Is t composite?
False
Let r(v) be the first derivative of -v**3/3 - v**2/2 + 5*v - 2. Let y be r(0). Suppose y*h - 2*x - 585 = 0, h - 87 = -2*x + 18. Is h a prime number?
False
Let g be (6 - 3) + (-1 - -1). Let u(z) = 7*z**3 - 4*z**2 - 3*z + 5. Is u(g) a prime number?
True
Suppose -3*g + 71 + 46 = 0. Is g a composite number?
True
Suppose 0*v = -4*v + 140. Is v prime?
False
Let o = -2885 - -9420. Is o prime?
False
Suppose 0 = -u - 4*u + 785. Suppose -i + m = -u, 3*i = 2*m - 5*m + 495. Is i composite?
True
Is 6 + 183 - (1 - -1) a composite number?
True
Let c(j) = j**3 + 9*j**2 + 6*j + 16. Let k be c(-11). Let d = 593 + k. Is d a prime number?
False
Let j(l) = -23*l + 3. Let w(v) = -v - 1. Let b be w(7). Is j(b) a composite number?
True
Suppose 0 = 4*m - 21 - 3. Suppose -2*n + 4*c + 8 = 0, 5*c + 9 + 2 = 3*n. Suppose w + 10 = m*w, 0 = l + n*w - 41. Is l composite?
False
Suppose 0*f + 2*f - 46 = -n, -5*n = -2*f + 34. Let h = 329 - 218. Let q = h - f. Is q a composite number?
False
Let i(d) = -d**3 - 5*d**2 - 6*d - 4. Let a be i(-4). Suppose a*w = 12 - 0. Suppose w*l - 75 = 36. Is l a composite number?
False
Let b(h) = -4*h**2 + 3*h - 3. Let n be b(-6). Let j = 554 + n. Is j a composite number?
False
Let v = 80 - 13. Let a = -18 + v. Is a composite?
True
Suppose a - 173 = 306. Is a composite?
False
Let f = 13 - 11. Is (-203 - 8)*(1 - f) a composite number?
False
Let x(g) = 160*g. Let u be x(-1). Let m = 60 - u. Suppose -2*n = 2*n - m. Is n prime?
False
Suppose -3*d = 2*d - 15. Suppose 636 = 4*a - 3*a + y, d*a - 5*y = 1868. Is a composite?
False
Let k(o) = 9*o**2 + 4*o - 32. Is k(9) composite?
False
Suppose 4*m - 4*c = 28, -4*m + c + 19 = 6*c. Suppose -z = s - m, 11 = -0*s + s + 2*z. Let g(k) = 133*k**2 - k + 1. Is g(s) composite?
True
Let v be (1/3)/(3/36). Suppose 108 - 24 = v*x. Is x a composite number?
True
Is (-1013)/(-5) - (-2)/5 composite?
True
Let r(u) = -u**3 + 5*u**2 + 9*u - 9. Let f be r(6). Let a(v) = v**3 + v + 36. Let n be a(0). Suppose n = 3*m - f. Is m a composite number?
True
Suppose 0 = 5*l + 7 + 3. Is (l/(-4))/((-3)/(-1002)) composite?
False
Let q(b) = -b**3. Let c be -1*(0 - 3 - -3). Let k be q(c). Suppose 5*m - m - 132 = k. Is m composite?
True
Let n(u) = -3 + u + 1 - u**3 + 0. Let q be n(-2). Suppose 3*t - 94 = 4*s, -5*t - q*s + 77 = -101. Is t composite?
True
Suppose -3*j + f - 4 = 0, -2*j - 4 = 2*f - 12. Let a be 1/(-2*1/(-6)). Suppose -4*o + a*o + 211 = j. Is o a composite number?
False
Let j(n) be the third derivative of -n**5/60 + 7*n**4/24 + 5*n**3/6 + 4*n**2. Is j(6) prime?
True
Let d(w) be the second derivative of -w**5/20 - w**4/3 - w**3/6 + w**2/2 - w. Let x be d(-4). Suppose -115 - 220 = -x*o. Is o a composite number?
False
Suppose -3*s + 4*q + 5216 = s, -5*s + 3*q = -6528. Suppose -6*x = -2*x + s. Is (-1)/(-2) - x/6 prime?
False
Suppose 3*o - 324 = 3*p, 2*o - 219 = p - 0. Is o composite?
True
Let y(o) = o**3 - 3*o**2 - 5*o + 6. Suppose 5*n - 33 = 3*g - 5*g, 3*g - 4*n + 8 = 0. Let c be y(g). Suppose -c*x - 23 = -p, -2*p - 3*x + 39 = -0*p. Is p prime?
False
Let t(o) = -51*o - 4. Is t(-5) prime?
True
Let l be (-1)/(-2 - (-14)/8). Suppose -4*d - 4*c + 8 = 0, -d + 0*c + 22 = -l*c. Is d a composite number?
True
Let w(d) = 54*d - 11. Is w(4) a composite number?
True
Suppose 2*z - m - 21 = 0, -z + 9 - 26 = 5*m. Let h = -4 - 1. Let c = h + z. Is c a prime number?
True
Let c(a) be the third derivative of 0 - 1/15*a**5 - 1/3*a**4 + 2*a**2 + 0*a + 1/120*a**6 - 1/3*a**3. Is c(6) a prime number?
False
Suppose -4*v + 5*y = -725, 0 = 6*y - 4*y + 2. Let d = -322 - -195. Let b = v + d. Is b composite?
False
Suppose -2*d + 103 + 295 = 0. Is d prime?
True
Suppose -81 - 46 = k - 3*f, 0 = -3*k - 3*f - 369. Let y = -5 - k. Is y a prime number?
False
Suppose -w + 1 = 19. Let t = -11 - w. Is t prime?
True
Let y(c) = -33*c. Let i be y(-1). Suppose i = q - 0*q. Suppose -5*x + 352 = -q. Is x composite?
True
Let y(l) = -2*l + 2213. Is y(0) prime?
True
Let v = -442 + 807. Is v a composite number?
True
Let g(w) be the second derivative of 19*w**3/6 + 9*w**2/2 - w. Is g(7) prime?
False
Let u(t) = -t**3 - 19*t**2 - 13*t - 29. Is u(-19) composite?
True
Suppose -5*k - 1712 = -7*k. Suppose 2*j - k + 194 = 0. Is j prime?
True
Suppose -f - 2*r = -14, -f + 4*r - 13 - 3 = 0. Suppose -f*l + 308 = -0*l. Is l composite?
True
Suppose 0*s = -s + 5, 3*z - 4*s - 784 = 0. Let i = 27 + z. Is i a composite number?
True
Let q = 7 + -4. Suppose 0*k - 191 = -5*k - q*j, k + 3*j - 43 = 0. Is k prime?
True
Is ((-6)/(-14) - 0) + 8790/21 a composite number?
False
Let o be (0 - -566)*(-3)/6. Let i = o - -540. Is i a composite number?
False
Let i = 2 - 2. Suppose 3*b + i*b = 4*s + 72, -4*s - 120 = -5*b. Suppose -4*h = -132 - b. Is h composite?
True
Suppose 2*u - 3*n - 1743 = 0, 0 = 3*u + 2*n - 6*n - 2613. Suppose 2*k - u = -k. Suppose 0 = 3*o - 4*t - k, 0*t = -4*o + 4*t + 384. Is o composite?
True
Suppose -2*w - 90 = j + 23, j = -4*w - 123. Let z = 206 + -386. Let a = j - z. Is a a composite number?
True
Suppose -5*d = x - 18, 3 = x + 2*d - 6. Suppose -x*g + 2 = 5. Let w(f) = 128*f**2 - 1. Is w(g) composite?
False
Let w = 15 + 22. Suppose w + 998 = 5*d. Suppose 8 = 4*t, 0 = x + 2*x + 3*t - d. Is x prime?
True
Suppose 2 = -2*u - 4*p, 0 = -2*p + 3*p + 1. Is u/2 + (-81)/(-6) prime?
False
Let h = 287 - -136. Suppose 0 = -5*n + h + 302. Suppose -3*a - 4*v = -n, -7*a + 2*v = -4*a - 121. Is a prime?
True
Let v(q) = -q**2 - q + 53. Let c(z) = -z**3 - 2*z**2 - z - 2. Let y be c(-2). Is v(y) a composite number?
False
Let m be ((-16)/10)/((-4)/10). Suppose 90 = -m*g - g. Is 303/27 + 4/g prime?
True
Suppose 3*s - 6 - 6 = 0. Suppose x + 4*j = 4 - 0, s*x = -5*j + 71. Let m = x + -11. Is m composite?
False
Suppose 5*y - 11834 = -1819. Is y a composite number?
False
Let a = 13 + -8. Suppose -12 = a*g - 82. Is g a prime number?
False
Let w(r) = -r**3 + 7*r**2 - r + 5. Let g = -47 - -67. Let d = g - 14. Is w(d) composite?
True
Suppose -2 = 4*s + 2. Let f be (6/15)/(s/5). Is (3/f)/(4/(-56)) composite?
True
Let z(j) = -j**2 - 12*j. Let b be z(-12). Let f be (1 + b)*(3 + 3). Suppose -332 = -5*i - 3*c + f*c, 5*i = 2*c + 333. Is i composite?
False
Let v(o) be the second derivative of 131*o**3/3 + o. Is v(1) a composite number?
True
Suppose 2*v + 18 + 18 = 0. Let a = v + 25. Is a composite?
False
Let r = -173 + 242. Suppose -5*m = 3*n - 232, 4*n + 2*m - 231 = r. Is n a prime number?
False
Let t(j) = -2*j**2 - 5*j - 2. Let w be t(-3). Let k(b) = b**3 + 7*b**2 + 4*b + 5. Let y be k(w). Suppose 18 = s - y. Is s a prime number?
True
Suppose 110 = -2*a - 4*h - 82, 5*a - 2*h + 420 = 0. Let q = -75 + 258. Let o = a + q. Is o a composite number?
False
Let w = 1110 + -721. Is w composite?
False
Suppose -4*k + 7 - 15 = -t, 0 = 5*k + 5. Let m(u) be the third derivative of u**6/120 - u**5/60 + u**4/12 + u**3/3 - 2*u**2. Is m(t) a composite number?
True
Let u(k) = 19*k**2 - 2*k + 2. Suppose -z - z = 14. Let p = z - -4. Is u(p) a composite number?
False
Suppose -44 - 1204 = -3*b. Is (-1 - -2)*(3 + b) composite?
False
Let p be (-2)/((-8)/(-2))*6. Let h be 3/9 - 11/p. Is (h - 3)/((-2)/(-22)) a prime number?
True
Let x(n) = -n**3 + 4*n**2 + 6*n - 2. Let l be x(5). Suppose 4 = l*u - 4*w, -1 = -2*w + 3*w. Suppose -o - 4*t + 69 = u, 4*o + t - 371 = 4*t. Is o composite?
False
Is -5*(-3)/((-15)/(-503)) prime?
True
Let o = 444 + -313. Is o a prime number?
True
Let s(a) = -30*a - 6. Let p be s(-5). Suppose 2*f + f = -3*g + 138, 3*g - p = 3*f. Let d = 68 - g. Is d a prime number?
