+ 11*b - 4. Let r be i(10). Is r/(-4) - (-33846)/12 prime?
True
Suppose -213*p + 251*p - 2703434 = 0. Is p composite?
False
Suppose 35 - 10 = 5*k. Suppose -k*f = -3*n - 13, n - 4*f + 15 = -1. Suppose n*t - 761 = -5*b, 2*b = -3*t - 169 + 745. Is t a composite number?
True
Let k(g) = 46*g - 133. Is k(27) a composite number?
False
Let m(d) = d**3 - 6*d**2 - 6*d - 9. Let i be m(7). Is i/(-6)*(-35*141)/(-5) prime?
False
Suppose 2 = -10*v + 9*v. Is -1*(-77 - (-4)/v) a composite number?
False
Suppose -5*w = -7*w. Suppose 3*z + w = -3. Let g(q) = -161*q**3 - q - 1. Is g(z) a prime number?
False
Suppose 3*t - 713 - 569 = -2*o, 2564 = 4*o - 2*t. Is o prime?
True
Suppose -5*w + 23374 = -4*d, 0 = 5*w - d - 2*d - 23378. Is w a prime number?
False
Suppose -13 = -4*a + 15. Suppose 0 = a*d - 4*d - 27. Is d prime?
False
Let v = 175616 + -108877. Is v a composite number?
False
Let s be (42/35)/(((-4)/(-5))/2). Suppose -i + 103 = a - 238, s*i + a = 1019. Is i a prime number?
False
Let t(o) = -3*o**2 + 9. Let p(s) = -2*s**2 + s + 10. Let g(x) = 5*p(x) - 6*t(x). Let q = 10 + -7. Is g(q) composite?
False
Suppose 9*q = 10 - 10. Suppose 4*o = -k + 4*k + 858, -o - 4*k + 205 = q. Is o a composite number?
True
Let o(s) = 255*s**3 + s**2 + 3*s + 3. Let w be o(-2). Let y = w - -15807. Is 2/(-9) - y/(-72) a composite number?
False
Suppose 13 = 6*q - 4*q + y, -19 = -2*q - 3*y. Is 3070/4 - ((-5)/(-2))/q a composite number?
True
Suppose -2*p + 801 = -677. Is p a composite number?
False
Let k(r) = 7*r**2 - 2*r - 2. Let t be k(-2). Let c be (4/10)/(2/t). Suppose 425 = -i + c*i. Is i a composite number?
True
Let a(m) = -m**3 + 19*m**2 + 16*m + 18. Let u be a(16). Suppose -y - 155 = -u. Is y a composite number?
False
Let b(h) = -h - 23. Let r be b(-16). Let p be (0 - r)*-2*2. Is 2/14 - 9264/p prime?
True
Let c = -15 + 18. Suppose 0 = 4*d + 3*s - 1445, c*s = -2*d + 7*s + 750. Is d prime?
False
Suppose 5*y = -3*b + 168180, y + b - 5467 - 28167 = 0. Is y a composite number?
True
Let n = 1032 + 227. Is n prime?
True
Suppose 5*d = -3*n - 14958 + 57264, -28211 = -2*n - d. Is n prime?
True
Let u = -9 - -4. Let f(z) = -z**3 - 4*z**2 + 6*z + 7. Let o be f(u). Is (o - 7)*116/(-10) a composite number?
True
Let y(p) = p**3 - 2*p**2 + 2*p. Let m be y(2). Suppose -9*k + 695 = -m*k. Is k a composite number?
False
Let y = 72 - 46. Suppose 55 = x - y. Suppose n = x + 130. Is n a composite number?
False
Let h = -249 - -360. Is h a composite number?
True
Is ((-9)/(-15)*5)/((-15)/(-22045)) prime?
True
Is (-16)/(-10) - 383494/(-10) a composite number?
False
Suppose -5*x - 5*m + 35310 = 0, -3*x = 2*m + 674 - 21859. Is x a prime number?
False
Let n(j) = -108*j + 9. Let m be n(-7). Let u = 1596 - m. Is u prime?
False
Is 50*10035/18 + -5 + 1 composite?
True
Is 6/(-27) + 15/(-27)*-18643 a composite number?
False
Let h be (-16)/(-4)*1/(-4). Let u be 0/h + (-5 - -7). Suppose -u*d + 111 = -d. Is d prime?
False
Let w be 1/((-5)/(-3))*5. Suppose -3040 = -w*m + 3005. Suppose -m = 7*k - 12*k. Is k prime?
False
Let s = 102195 - 70657. Suppose 3*m + 6*x - x - s = 0, 0 = -2*x - 10. Is 1/(m/(-2631) + 4) a prime number?
True
Suppose -973 = -s - 136. Suppose -1281 = -3*l - r, -2*l + 5*r + s = -0*l. Let x = 715 - l. Is x a composite number?
True
Suppose 16 = c + 3*c. Is 4/c + 3 - -129 a composite number?
True
Let z(d) be the second derivative of -d**4/12 + 4*d**3/3 + 19*d**2/2 + 18*d - 2. Let r be 90/11 + (-4)/22. Is z(r) a prime number?
True
Let c(f) = f**3 + 17*f**2 + 11*f + 10. Let b(s) = -s**3 - 17*s**2 - 10*s - 11. Let o(n) = 3*b(n) + 4*c(n). Is o(-11) prime?
False
Let u(d) = d**3 + 8*d**2 + 22*d + 9. Let o be u(-6). Let g = -14 - o. Is g composite?
False
Suppose -3*n = -15492 - 160209. Is n a prime number?
True
Let i be 4/(-5)*(3 + 2). Let j(k) = -2*k + 5. Let s be j(i). Suppose -m = -s - 240. Is m composite?
True
Suppose 0 = -8*w + 4 + 4. Is 0 - ((-121)/1)/w composite?
True
Let o = -78 + 80. Suppose -2*b = 5*w - 12269, -b + 7361 = w + o*w. Is w a prime number?
False
Let g be 11/(-33)*(-1 - 8). Suppose d + 12 + 36 = -g*s, -3*s - 138 = 3*d. Let h = 24 - d. Is h a prime number?
False
Let b be 1/(-8) - 6/(-48)*9. Is 625/b - 4*(3 + -4) prime?
False
Suppose -14*r + 25 = -15949. Is r a composite number?
True
Let d = -24196 + 53831. Is d a prime number?
False
Suppose 201 - 589 = 4*b. Let l = b + 470. Is l composite?
False
Suppose 5*x - 2*k = -7770, -3*k - 2*k - 25 = 0. Suppose 0 = n - 0 + 1. Is n/(-1 - 1552/x) a prime number?
True
Let d(c) = -c**2 - 12*c. Let q be d(-12). Suppose q = -3*l + 4 - 7. Is l/(-2) + (-759)/(-6) a composite number?
False
Let z(u) = u**2 - 10*u + 5. Let n be z(10). Suppose n*l + 11 = -2*s + 2, 0 = -5*s + 3*l + 24. Suppose 4*v - 142 = -2*m, 2*m - 4*v + 65 = s*m. Is m prime?
False
Let l = 90 + 2707. Is l prime?
True
Let l = -119867 - -177676. Is l prime?
True
Suppose 3*q = 9, -5*i + 3*q + q + 18 = 0. Let t(s) = 5 + 5*s + i*s - 3 + s. Is t(3) composite?
True
Suppose -4460 = -4*k - 112. Is k a prime number?
True
Suppose l = -v + 4492, -3*l = -6*l + 3*v + 13494. Suppose -5*t - m - 1255 = -12467, 3*m = 2*t - l. Is t composite?
False
Suppose b - 3*b = -3*q + 56, 3*b = -q + 26. Is 5/(q/672) + -2 a prime number?
False
Let l(t) = -t**3 - 5*t**2 - 5*t + 3. Suppose -2*k - 5*j = -42, -j = 2*k - 21 - 13. Suppose 2*w - k = 6*w. Is l(w) composite?
False
Let v(u) be the second derivative of u**3/2 + 7*u**2 - 5*u. Let p be v(7). Let n = p + 0. Is n prime?
False
Let x be ((-45)/20)/(-9) + (-510)/(-8). Suppose -5*y + 2549 = x. Is y composite?
True
Let c = 128 - -2826. Suppose k = -5*q + 5*k + 3697, -4*q = -2*k - c. Is q a composite number?
True
Let l = -8 + 3. Let i(h) = -2*h**3 - 4*h**2 + h - 5. Let v be i(l). Suppose o = -3*o + v. Is o prime?
False
Suppose -f = 2*n - 12436 - 21027, -f + 5 = 0. Is n composite?
False
Suppose 5*s + 0*s - r = 27, -4*r = s - 18. Suppose s*w = 12*w - 342. Suppose -w = -4*f + 5*h, 27 = 2*f + 4*h + 5. Is f a composite number?
False
Is 1660 - (8 + (-15)/5) prime?
False
Let i = 32227 - 16974. Is i composite?
True
Let t be ((-2)/(-8))/(2/40). Suppose 5*h = -n + h + 543, t*n = -h + 2639. Is n a prime number?
False
Let d be -2 + 2 - (2 + -4). Suppose 0 = 3*x + v - 3, 3*v - 9 = 2*x + d*x. Suppose x = y - 123 - 208. Is y a composite number?
False
Let r(o) be the second derivative of o**4/6 + o**2/2 - 2*o. Let c be r(1). Suppose 0 = -3*b - k + 394, -2*b + 56 = c*k - 195. Is b composite?
True
Suppose -p = p + 4. Let x = 2 - p. Is (x + -3)*(96 - -1) a composite number?
False
Suppose 0 = -4*o + 100 + 36. Let x = -27 + o. Is x composite?
False
Let w be 4/(-14) - 57/21. Is ((4890/(-4))/w)/(6/12) a prime number?
False
Suppose 3911 - 1303 = 4*m. Is (m/(-8))/(1/(-2)*1) a prime number?
True
Suppose 1463*u = 1447*u + 35696. Is u composite?
True
Let y = -9046 + 22257. Is y composite?
True
Let a(c) = 339*c**2 + 20*c + 53. Is a(-12) composite?
True
Let y(w) = -3*w - 18. Let p be y(-6). Suppose -3*k - 79 + 334 = p. Is k a prime number?
False
Let k(x) = 9*x**2 + 21*x - 28. Let q be k(18). Suppose -7*g - q + 12303 = 0. Is g composite?
False
Let b = -198 + 357. Suppose 0 = -x - 2*x + b. Is x a prime number?
True
Let s = -118 - -236. Suppose 2*i - s - 472 = 0. Is i a composite number?
True
Let v = 22 + 45. Let d = 356 - v. Is d a composite number?
True
Let q be (-1)/((-9)/48*4/6). Is (q + 20/(-5))*(-1778)/(-8) composite?
True
Suppose -1198 = -w + 3*o, 2*w - 2793 = o - 372. Is w composite?
False
Suppose -m + 16 = -7. Suppose 1496 = -m*z + 31*z. Is z prime?
False
Let b(f) = f**2 + 10*f + 12. Let n be b(-8). Let t be (-5)/(n - (-9)/3). Let y = 2 + t. Is y a prime number?
True
Let u = 1521 + -1014. Let w = 1016 + u. Is w a composite number?
False
Suppose -6*c + 0*c - 6 = 0. Is (-3 + (-49)/(-14))/(c/(-3602)) a composite number?
False
Let u(j) be the third derivative of -j**5/60 + j**4/3 + j**3/2 + 5*j**2. Let z be u(8). Is z/(-6)*-6 + 146 prime?
True
Let w = 10987 + -4934. Is w prime?
True
Let n(k) = -k + 2. Let z be n(-2). Suppose -3*r + z*r = 443. Is r a composite number?
False
Let c(j) be the first derivative of -17*j**2 - 5*j - 20. Is c(-8) prime?
False
Let q(y) = -y**3 + 10*y**2 - 4*y. Let g be q(8). Suppose 153 + g = 3*c. Is -4*4/(-8) + c composite?
True
Suppose 24*g - 2*t = 19*g + 40605, -3*g + t + 24362 =