 k = l - -87. Is k a prime number?
False
Let o(z) = z**3 + 30*z**2 + 6*z + 20. Let m be o(-23). Let b = m + -362. Is b prime?
False
Let k(z) = z + 7. Let x be k(-5). Let q(h) = x - h + 0*h + 267*h**3 - 35*h**3. Is q(1) a composite number?
False
Suppose 0 = 46*y - 72*y + 488956. Is y composite?
True
Let j(f) = -5693*f + 19. Let g be j(-8). Suppose -12*c + g = 4175. Is c a composite number?
False
Suppose 115*b - 1964 = 111*b. Is b composite?
False
Let l(k) = -2*k - 13. Let m be l(-6). Let t be ((-111)/9)/(m/(-3)). Let o = t + 122. Is o composite?
True
Suppose -40671 = 12*g - 243267. Is g composite?
False
Let y(j) = 2*j - 4266. Let k(h) = h - 2133. Let l(n) = -5*k(n) + 3*y(n). Let f be l(0). Is (-6)/(-21) + f/(-7) composite?
True
Let i be 2/(-5) + 764/10. Suppose 3*n = 83 + i. Suppose 0*v - v = -n. Is v prime?
True
Let m = -2086 + 4589. Is m prime?
True
Let h = 1539 - 752. Is h a prime number?
True
Let w(z) = z**3 + 3*z**2 + 2. Let h = -15 - -12. Let g be w(h). Suppose -4*r + g*y = -r - 215, 0 = 4*y + 16. Is r a composite number?
True
Let f be 0/((-3)/6*2). Suppose f = -2*u - 2, -2*q + 4*u = -q - 193. Suppose 5*x + q - 994 = 0. Is x a composite number?
True
Let z = 56546 + 33677. Is z a prime number?
False
Let h be (16/10)/(-2) + 96678/(-90). Let l = -186 - h. Is l a prime number?
False
Let c = -16 - -22. Suppose -v = c*v - 5201. Is v a composite number?
False
Let h be 0/((-5)/(15/9)). Suppose h = -k - 0*k - 2*a + 534, 0 = -4*k - 4*a + 2148. Suppose -74 = -2*i + k. Is i composite?
False
Suppose -100*d + 104*d + 5*y = 4416, 4*d - y = 4392. Is d prime?
False
Let f be ((-502)/10)/((-7)/35). Suppose 0*a + f = a. Is a a composite number?
False
Let s(u) = 1082*u - 5. Let z be s(4). Suppose -15*q + 12*q = -z. Is q composite?
True
Let z(s) = -12 - 1579*s**3 + 0*s + 3*s - 5 + 18 + 2*s**2. Is z(-1) a composite number?
False
Let j be ((-952)/6)/(8/(-24)). Suppose j = -c + 5*c - 4*r, 0 = 5*r. Is c prime?
False
Let r = 2883 - -3168. Suppose -1354 = -5*m + r. Is m prime?
True
Suppose -8*a + 4*a - 12 = 0. Let r be a + 1 + -2 + -30. Is (r/3)/(6/(-45)) a prime number?
False
Let u be -12*14*1/(-6). Suppose m = -6*m + u. Suppose m*z - 2*z - 370 = 0. Is z composite?
True
Let i(o) = 2*o**3 - 24*o**2 - 20*o + 11. Suppose -2*t + 3*b + 11 + 18 = 0, b = 5*t - 92. Is i(t) prime?
False
Suppose h - 9 = -7. Suppose -h*d = 5*o - 432, 3*o = -3*d + o + 626. Suppose j = -15 + d. Is j a composite number?
False
Suppose -5*a = 3*r + 2*r - 5, 0 = -5*r + 4*a + 14. Suppose 0 = -r*g - 26 + 6. Is 2/5 - 486/g composite?
True
Let b be 2*-2*57/(-76). Suppose 7 - 2 = n. Suppose -b*s = -n*s + 66. Is s a prime number?
False
Let r = 15401 - -39402. Is r composite?
True
Suppose -4*t = 18634 - 86726. Is t a composite number?
True
Suppose 1062 = -c + 2*u, 2145 = -2*c - 5*u + 3. Let v = 1905 + c. Is v a composite number?
False
Suppose 0 = -151*b + 157*b - 106626. Is b a prime number?
False
Suppose -y + 830 = 5*n, 4*y - 3412 = 2*n + n. Let f = 1491 - y. Is f composite?
False
Let w = -14 - -11. Let h = 7 + w. Is 1 + -1 + 508/h a composite number?
False
Let m(b) = -b - 15. Let t be m(-18). Is (24/(-9) + t)/((-2)/(-7698)) a composite number?
False
Let x = 11 - 11. Suppose -211 = -3*q + i, 2*i + 67 = q - x*i. Is q a composite number?
False
Let p(v) be the third derivative of -v**5/20 + 3*v**4 - 5*v**3/6 - 2*v**2 + 5*v. Is p(22) prime?
True
Suppose 5*k - k - 8 = 0. Suppose 0 = -3*v - 14 - 16. Is 25/v*(k + -6) composite?
True
Let c(a) be the first derivative of a**3/3 + 2*a**2 - 3*a + 5. Let h be c(-5). Suppose 4*r - 326 = h*r. Is r a composite number?
False
Is 4996/10 + (48/(-40))/2 composite?
False
Suppose 0 = -5*l, -3*p = 2*l - 2636 - 226. Let z = p - 509. Let a = z + -212. Is a prime?
True
Suppose 27*i - i - 394238 = 0. Is i a prime number?
False
Suppose 0 = -r - 1, z + 3*r - 12 = -2*z. Suppose 0 = z*q - 4 - 6. Suppose 0 = q*i + 3*i - 655. Is i composite?
False
Let w be 4203/27 + (-4)/6. Let f = w + -66. Is f a prime number?
True
Suppose 6 = 3*m - 4*b + 18, -m + 15 = 5*b. Suppose l + 5*o - 201 - 130 = m, o = 4*l - 1219. Suppose -t + 10 = 2*u - 153, -4*u + 2*t = -l. Is u prime?
True
Let q be (-7)/(-21) + 6514/6. Suppose -p + 226 = q. Is p/(-4) - (0 + -2) a composite number?
True
Let h = -715 + 2126. Is h a prime number?
False
Let f = -737 - -1056. Suppose 4*d = 1611 - f. Is d + 3 + (-3 - -6) prime?
False
Let x = 573 + -270. Suppose -3*v - 4*y = -913, y - x = -v - y. Is v composite?
False
Let w = 704 - -93. Is w prime?
True
Let y(g) be the first derivative of 5 - 5/2*g**2 + 68*g**3 - 5*g. Is y(-2) a composite number?
False
Suppose 7792 = 3*w + 5*j, w + 2*j - 1047 = 1550. Is w a composite number?
True
Let p = 9 - -3. Suppose 0 = -2*l + 5*m - 4*m - 1, -2*m - 6 = 0. Is ((-1218)/p)/(l/4) prime?
False
Let w(z) be the third derivative of 2*z**2 + 0*z**4 + 0*z + 1/6*z**3 + 3/10*z**5 + 0. Is w(4) composite?
True
Let v(d) = d**2 - 16*d - 35. Let z be v(18). Let s(u) = 52*u + 3. Is s(z) a composite number?
True
Let q(h) = -h**3 - 7*h**2 - 9*h + 4. Let s be q(-4). Is (0 + -4)*((-2030)/s)/(-5) a prime number?
False
Let g(t) = 1940*t - 105. Is g(19) a prime number?
False
Let w = -8 - -9. Suppose 17 + w = 3*s. Is 3/s*-2 - -420 prime?
True
Suppose 7*i = 5*i + 18. Let p be 2 + -6 + i + 2. Suppose -p*g + 1266 = -g. Is g a composite number?
False
Let o(r) = 2*r + 6. Let y be o(3). Is 8394/8 - (3/y - 0) a composite number?
False
Let i(n) = -n**3 + 7*n**2 + 2*n - 1. Suppose 19 = 4*f - m, 3*f = 3*m - 0*m + 12. Is i(f) a prime number?
True
Suppose -5*k + 3*k + 961 = 5*v, 2*v = -2. Let p = k + -196. Is p composite?
True
Suppose 5*v - 2*z = 3935, v - 16*z - 787 = -20*z. Is v composite?
False
Let w = -1 - -9. Let q(n) = 18*n - 52*n**2 + 4 + 50*n**2 - 6. Is q(w) a prime number?
False
Let b(s) = 63*s**2 + 2*s - 56. Is b(21) a prime number?
False
Let q(o) = o**2 + 3*o - 33. Let k = 49 + -32. Is q(k) a composite number?
False
Let b(l) = 1231*l**2 - 19*l + 3. Is b(8) composite?
True
Let r(f) = -4*f + 0*f - f - 7 + 9*f**2 + 5. Suppose 3*h + 4*s + 4 = 0, 3*s = 2*h - s - 24. Is r(h) a prime number?
False
Let n(i) = -15*i + 5. Let j be n(2). Let t be ((-18)/15)/(10/j). Suppose -5*d + 1274 = 4*a - 2*d, 0 = -t*a + d + 949. Is a a prime number?
True
Let v be (64398/24)/(2/(-8)). Let c = -7300 - v. Is c composite?
False
Let k be 20/4*6/15. Is (4 - (-609)/6)*k a prime number?
True
Suppose 4*r - 16 = 2*r. Let g(v) = -1 - v**2 + 14*v - 1 + 18 - 5. Is g(r) a prime number?
True
Suppose 5*d = -15, 5*d - 669 = -2*i - 0*i. Suppose 4*s = 1514 - i. Is s a prime number?
True
Let v = -3349 - -7620. Is v a composite number?
False
Let u = 3198 - 1639. Is u a composite number?
False
Let g(p) = -6*p**3 + 3 - 11*p**2 - 9 - 5*p**3 + 10*p**3 - 5*p. Let y be g(-10). Let q = y - -423. Is q a prime number?
True
Let y(m) be the second derivative of m**4/6 + m**3/3 - 5*m**2/2 - 5*m. Is y(4) composite?
True
Let q be (4/8)/(3/12). Suppose -z - 2*z + 2599 = 5*s, 0 = 3*z - q*s - 2585. Is z a prime number?
True
Let a = -48 - -357. Let q = a - -248. Is q a composite number?
False
Let l = -28 - -6. Let c = l - -25. Suppose -288 = -c*j + 129. Is j a composite number?
False
Let k be ((-14)/6 - -2)*-3. Suppose -p + 0*p + k = 0, 16 = 5*f + p. Suppose 3*a - 54 = -2*x + 63, f*a = -4*x + 219. Is x a composite number?
True
Let h(s) = 24*s**2 - 6*s - 12. Let t be h(11). Suppose 3*a = -267 + t. Is a a prime number?
True
Is -28394*(5/(-10) - 0) composite?
False
Let y(c) = c**3 + c**2 - c + 4. Let t be y(0). Let p = -4 + t. Suppose p = 3*j + 6, 5*j - 74 = -g - 3*g. Is g composite?
True
Let s be 2*107/2*-1. Let a(c) = 8*c - 4. Let d be a(-3). Let q = d - s. Is q prime?
True
Let n = -22786 - -56445. Is n composite?
True
Suppose 0 = -2*f - 5*b + 4, 5 = -2*f + b - 3. Is (-2 - f)/(4/(-3412)*-1) prime?
True
Suppose -3*n + 8268 = 3*z, -4*n = -0*n - 3*z - 11031. Is n composite?
True
Let f = 323 + 91. Suppose -f = -2*i + 2*g, g - 649 = -3*i - 3*g. Is i a prime number?
True
Suppose 3*t = 2*i - 11 + 93, -5*i + 94 = 4*t. Suppose -4*f = -h - 8*f + t, 58 = 2*h + 5*f. Is h prime?
False
Suppose 0 = 5*c + 2*g - 28867, -c - 5*g - 28860 = -6*c. Is c prime?
False
Let c = 1415 + -422. Is c prime?
False
Let a = 265 - -298. Is a a composite number?
False
Let w(y) = -354*y + 4. Let h be w(-3). Suppos