+ 454 = -12*k. Is k a composite number?
True
Let q(j) = j**3 + 9*j**2 - 5*j - 11. Let d be q(-10). Let w be 1610/15 + 2/3. Let v = d + w. Is v a prime number?
True
Let l = 156 - 61. Suppose 2*o - l = 11. Is o composite?
False
Let m(s) be the first derivative of 10*s**3/3 - s**2/2 - 4*s + 1. Is m(3) prime?
True
Suppose 57 = -4*y + 3*k + 185, -3*k = -y + 23. Is y a composite number?
True
Suppose 2846 = 6*m - 4*m. Is m composite?
False
Let l be 28/6 - 4/(-12). Let q = 3 + l. Is ((-33)/12)/((-1)/q) a composite number?
True
Is 1/(846/422 - 2) prime?
True
Let v(t) = 2818*t**2 - 2*t - 1. Is v(-1) prime?
True
Let t = 10 - 6. Let m be (2/(-5))/(t/500). Let k = 84 + m. Is k a composite number?
True
Let f(v) be the third derivative of -7*v**6/120 - v**5/60 + v**4/8 + v**3/2 - v**2. Suppose 0 = -2*j - 8, j + 0*j = -5*c - 14. Is f(c) composite?
True
Suppose n = -0*n + 683. Is n composite?
False
Let p = 128 + 129. Is p a composite number?
False
Suppose -2*b - 3 = 3. Let u(t) = -8*t**3 - 3*t**2 + 3*t + 3. Let k be u(b). Suppose k = 2*w + 5. Is w composite?
False
Is (-1)/(-10) - 391284/(-360) prime?
True
Let h = 681 + -482. Is h prime?
True
Let s(r) = 17*r + 2. Let v(j) = 8*j + 1. Let k(p) = -6*s(p) + 13*v(p). Is k(5) a prime number?
True
Let q = -5 + 3. Is (-12)/q*282/12 a prime number?
False
Let c = 10 + -1. Suppose c*x - 4*x = 5. Suppose -x = -l + 2. Is l a composite number?
False
Suppose -g + 316 = 2*y - 3183, 13976 = 4*g + 3*y. Is g a prime number?
True
Let i(k) = 2*k + 19. Is i(8) prime?
False
Let r be 39/(((-84)/16)/(-7)). Let o = r + -27. Is o composite?
True
Suppose 4*i + 6 = -26. Let v(s) = s**2 + 4*s - 1. Is v(i) composite?
False
Let m be (-4)/10 + (-62)/(-5). Suppose -5*v + 32 - m = 0. Suppose v*a - 3*t - 137 = 0, 0 = a + 2*a + 4*t - 109. Is a prime?
False
Let q(p) = 26*p**3 + 3*p**2 + 2*p + 2. Is q(3) composite?
True
Suppose 36 + 120 = 4*r. Let y = r + -16. Suppose -s = -0*s - y. Is s prime?
True
Suppose -f + 24 = -l, -2*l - 2*l + 72 = 3*f. Let u(o) = 119 + f - 28 + o. Is u(0) composite?
True
Suppose -868 - 194 = 3*v. Let p = -423 + -80. Let j = v - p. Is j a prime number?
True
Suppose 0 = -f - 3*f - 4. Is f/(2/(-25))*2 a composite number?
True
Let s(d) = -70*d. Let n be s(-5). Suppose 51 = -g + n. Is g composite?
True
Suppose 4 = -3*l - 2*m, -4*l + 6*m = 2*m + 12. Let w be (-6)/8*(-6 - l). Suppose -5*p + s + 356 = 84, -5*p = -w*s - 266. Is p composite?
True
Let w be ((-6)/4 + 2)*10. Suppose 0 = 2*o - o - 5*x - 148, -178 = -o - w*x. Is o a composite number?
False
Suppose 0 = -3*l + 3*m + 3141, -8*l + 3*l + 5225 = -3*m. Is l a composite number?
True
Is (43 - -12)/(2 - 1) a composite number?
True
Suppose -5*g + 99 = -1236. Let q = g - 82. Is q a prime number?
False
Let s(k) be the third derivative of 7*k**4/12 + k**3/6 - 2*k**2. Let d be s(1). Suppose -4*b - 2*g = -b - d, -5*b + 4*g = -47. Is b composite?
False
Suppose 0*i - 12*i + 4548 = 0. Is i composite?
False
Suppose 4*s + 10 = 2*l, 10 = -0*l + 2*l - 5*s. Suppose 0 = -2*u + l*p + 428, 2*p + 219 = u - 3*p. Is u a composite number?
True
Let t = 331 - 661. Let x = t - -553. Is x prime?
True
Suppose c - 1 = -c + 3*r, -c + 2 = -r. Suppose -c*u + 3*o + 60 = 0, -2*u + 4*o + 36 = u. Is ((-148)/u)/(2/(-6)) composite?
False
Let j = -1 + 0. Let o(p) = -72*p. Let k be o(j). Suppose 3*r = 42 + k. Is r a composite number?
True
Let f(g) = -g**3 + 11*g**2 + 6*g - 11. Is f(9) composite?
True
Suppose -5*c - 10 = -5*u, 5*c - 4 - 10 = -3*u. Suppose 2*r = -r + 15, 3*v - u*r - 1152 = 0. Is v a prime number?
True
Suppose -1 = 3*c - 2*g + g, -3*g + 3 = 5*c. Suppose -x = -3*l + 2*x + 378, c = 2*x + 8. Let s = l - 73. Is s a prime number?
False
Suppose -56 + 24 = -5*w + 2*b, -3*w + 3*b = -12. Suppose -5 = -2*h - p, -2*h + 3*h - 5*p = w. Suppose -2*u + 385 = h*u. Is u a composite number?
True
Let c = -543 + 2390. Is c composite?
False
Is ((-2)/(-5) + 9/15)*149 a prime number?
True
Let x(l) = -l**3 + 10*l**2 - 3*l + 8. Let p be x(8). Let c = p + -33. Is c composite?
False
Let z = 284 - 427. Let i = -54 - z. Is i prime?
True
Let a be 8/(-20) - 32/(-5). Let c(k) = -10 - k + a*k + 0*k. Is c(7) a prime number?
False
Let n = 863 - 460. Is n prime?
False
Let u(n) = 2*n - 5. Let s be u(5). Let m = 85 + -82. Is 285/s - (m - 1) a composite number?
True
Let n = -534 + 916. Suppose 3*a - 53 = n. Is a prime?
False
Suppose -x - 4*i = -i - 121, 0 = 5*x - 3*i - 587. Is x a composite number?
True
Suppose -3*y - 4*k = -149, 4*k + 177 = 3*y + k. Is y composite?
True
Let u be 2/(-8) + (-51)/(-12). Suppose 0 = -2*y + u*c, y + 0*c - 2 = c. Suppose -y*n = 7 - 131. Is n prime?
True
Suppose -6*v + 506 + 280 = 0. Is v prime?
True
Suppose -4*n + 4565 = 3*g, -3*g - n + 4568 = -0*g. Is g a prime number?
True
Let g(n) = 3*n**3 - 2*n**2 - 3*n + 1. Let d(k) = -k**3 - 6*k**2 + 5*k - 10. Let f be d(-7). Suppose f*z - 20 = -8. Is g(z) prime?
False
Let c be (-50)/(-8) + 1/(-4). Let s(x) = 7*x - 4. Let p(r) = -8*r + 4. Let m(l) = 4*p(l) + 5*s(l). Is m(c) a composite number?
True
Suppose -j = -2*j + 7. Is 2/(-7) + 163/j a composite number?
False
Suppose -4*x + 0*d + 3*d + 15 = 0, -3*d - 15 = -2*x. Is (-381 + x)*2/(-6) a composite number?
False
Suppose -5*w + 1530 = -b, -5*b - 282 = -4*w + 3*w. Is w composite?
False
Suppose -29 = -3*z + 220. Suppose 3*b + u + 2*u - 273 = 0, -b + 3*u + z = 0. Is b composite?
False
Let g be 11876/(-18) - (-4)/(-18). Let p = g + 1135. Is ((-3)/(-5))/(5/p) a composite number?
True
Let j(a) = -a**2 + 3*a - 1. Let r be j(3). Let w = 0 + r. Is -10*((-2)/4 + w) prime?
False
Let a(j) = j**2 - 24. Is a(-19) composite?
False
Let l(n) = -5*n**2 + 21*n + 9. Let o(q) = -2*q**2 + 7*q + 3. Let b(z) = -3*l(z) + 8*o(z). Suppose -5*c - 11 = 14. Is b(c) prime?
True
Suppose -w = -3*z + 12, -3*w = -0*z + z + 6. Suppose h + z*h - 1228 = 0. Is h composite?
False
Suppose -2*s = 5*h - 7, 4*s = -h + s - 9. Suppose 2*r + 2*a = -84, -h*a + 108 = -r - 2*r. Let l = -4 - r. Is l a prime number?
False
Suppose 0*m + 5*m = 3985. Is m a prime number?
True
Let l be (3/(-1))/((-6)/(-4)). Let n be (2/14)/((-6)/(-42)). Is (-11)/(l + n) - -2 prime?
True
Let a be 3/(-12) + 52/16. Suppose -5*n - i = -257, -2*n + 100 = 2*i - a*i. Is n a composite number?
True
Suppose 3*z - x - 8 = 6, 4*x = -4*z + 8. Suppose z*c = -c - 30. Is -1 + 12/(-9)*c prime?
True
Suppose 0 = -12*u + 7*u + 2815. Is u composite?
False
Suppose -167 = k - 3*x, -5*k - 580 - 310 = -4*x. Let b = -115 - k. Is b prime?
True
Suppose 10 = 3*d - d. Let a = d + -2. Is 8*a/6 - 2 a prime number?
True
Let z(u) be the first derivative of -u**3/3 + 3*u**2 - 1. Let w be z(5). Suppose 0 = -2*g + w*a + 41, -2*g - 3*a + 25 = -24. Is g composite?
False
Let j(u) = 2*u - 1. Let y be j(0). Let i(p) = -102*p**3 + p**2. Is i(y) prime?
True
Let w be (-506)/7 + 2/7. Is (w + -2)/(-2) + 0 a prime number?
True
Suppose 3*s = -0*s. Suppose -k + 3*o + 310 = -174, s = -3*k + 2*o + 1417. Is k composite?
True
Let x(h) = 73*h - 2. Let t(f) = 3*f. Let p be t(1). Is x(p) a prime number?
False
Suppose 0 = 3*r - 16 + 4. Suppose 0*x - n = 2*x - 4, 2*x - 4*n = r. Let a = 11 - x. Is a a prime number?
False
Suppose 4*m + 4299 = 3*p + 940, -5*p = m - 5583. Is p a composite number?
False
Let w(v) = 2768*v**2 + 5*v - 2. Is w(1) a composite number?
True
Suppose -6*y + 312 = -2*y. Suppose -61 = -4*g - 225. Let z = g + y. Is z a composite number?
False
Let a be ((-60)/8)/(9/(-12)). Let f be (a/(-15))/((-4)/(-6)). Let r(h) = -107*h**3 + h. Is r(f) a prime number?
False
Let v = 3350 - 1951. Is v a composite number?
False
Let n(m) = -m**2 - m + 2. Let b be n(0). Suppose -58 = -3*k + 5*o, -b*k + 51 = -o + 10. Is k a composite number?
True
Suppose 2*p - 384 = p. Let x = p + -171. Suppose -x = -3*j + 3*l, -13 = -2*j - l + 117. Is j a prime number?
True
Suppose 2*x - 6*x = -8. Suppose -837 = -x*l + 461. Is l prime?
False
Let n = 400 - 221. Is n composite?
False
Let o(d) be the first derivative of 3 + 9*d**2 + 1/4*d**4 - 14/3*d**3 - 10*d. Is o(13) composite?
True
Suppose -81*s = -83*s + 1594. Is s composite?
False
Let v(m) = -m**2 - 7*m - 5. Let u be v(-5). Suppose u*o - 8*o = -129. Is o a composite number?
False
Let s be (-42)/2 - 0/2. Let u = s - -40. Is u a composite number?
False
Suppose 3*i = 3*m + 21, m - 8 = -2*i - 0*i. Is ((-143)/m)/(2/4) compos