0, -j + 5*q = -1351. Is j a composite number?
False
Let x(y) = -y**3 + 15*y**2 + 3*y - 14. Let z(m) = m - 1 - 3 + 1 - 2 + m**2. Let n be z(4). Is x(n) composite?
False
Let r(m) = m**3 + 8*m**2 - 6*m + 13. Let y be r(-9). Let z(p) = p**2 - 19*p - 19. Is z(y) a composite number?
False
Suppose 12 = m - 0*m. Suppose 17*n = m*n + 380. Let k = n + 403. Is k prime?
True
Let z be 2/10 + (-203)/(-35). Suppose z*q = 363 + 399. Is q prime?
True
Let w = 14226 - 9315. Is w a prime number?
False
Let t(o) = o**3 + o**2 + 2*o + 10. Let c be t(0). Suppose 179 = -9*u + c*u. Is u a prime number?
True
Suppose 0 = 4*j + 2*r - 81726, 57635 = 5*j + r - 44521. Is j composite?
False
Suppose 0 = -3*j - 5*l + 26, 0 = 4*j - 2*l - 2*l - 24. Suppose j*b - 2*b + 535 = 0. Let c = 12 - b. Is c composite?
True
Let z(l) = 3*l + 1. Let t be z(1). Let s be (-216)/(-40) - t/10. Suppose 4*b - 480 = -s*v - b, v + 4*b - 111 = 0. Is v composite?
True
Suppose 0 = -3*h + 870 + 297. Is h a prime number?
True
Let w(p) = 2*p + 12. Let j be w(-7). Is (-479)/(3*j/6) a prime number?
True
Suppose 5*f = -5, -5*r = -4*r - 4*f - 14870. Is r prime?
False
Suppose 7 = 3*u + 10. Is 587/(u/2 - (-18)/12) a prime number?
True
Let b(q) = 2463*q**3 + 2*q**2 - 3*q - 1. Is b(1) composite?
True
Suppose 4*c = -8, 2230 + 178 = 2*r + 3*c. Suppose 5*s = -5*m + 5960, 0 = -s + 5*m - m + r. Is s a composite number?
True
Suppose 5*c = 4*c, 5*y - 3*c = 10. Suppose -2*b - y*f + 4308 - 48 = 0, 4*b - 2*f - 8514 = 0. Is b prime?
True
Is (4 + -3)*(-2 + 9469) prime?
True
Is 17059/(-5)*(-2 - (-9)/(-3)) a prime number?
False
Let l = 1710 - 996. Suppose 0 = 2*j - 3*g - 1572, -3*j = 3*g - 3087 + l. Is j composite?
True
Let b(s) = s**3 - 17*s**2 + 15*s + 14. Let l be b(16). Is (3900 + l)/(9 + -6 + -1) a composite number?
False
Suppose -2*k - 1242 = -3*k. Let x(p) = 2075*p. Let l be x(1). Suppose k = 3*v + 3*u, -l = -5*v - u - 3*u. Is v a prime number?
True
Let u(m) = m**3 + 11*m**2 - m - 1. Suppose 2*j + 17 = 5*h + 101, -3*j = -5*h - 86. Let a = h - -10. Is u(a) composite?
True
Let v = 3637 + 750. Is v a composite number?
True
Suppose 247317 = 1612*l - 1605*l. Is l a prime number?
False
Suppose -512 = -5*s + 4398. Is s prime?
False
Let h be 6/7 + 8/56. Is (47 - h)*2/4 composite?
False
Suppose 3*r + 48332 = 5*a + 3343, -4*a + 35994 = -r. Is a composite?
False
Is 3/((-5)/(-20490)*6) composite?
True
Let d(o) = o**2 + 4*o - 5. Let s be d(-5). Suppose 3*n - 5*z = 2832 - 529, -5*z + 10 = s. Is n prime?
False
Suppose 2*g = 4*a + g - 59424, 0 = -4*g + 16. Is a composite?
True
Let q(c) = 93*c - 2 + 2 - 1. Is q(3) a prime number?
False
Suppose 5*c - 16*y = -11*y + 106875, -5*y = -4*c + 85496. Is c a prime number?
True
Let u = 2629 + 570. Suppose -3*l + u + 626 = 0. Suppose -3*f - 42 = -l. Is f a prime number?
False
Suppose 3*d - 4*i + 2772 = 0, 5*d - 5*i + 382 + 4233 = 0. Let q = 1552 + d. Let x = q + -379. Is x a prime number?
False
Suppose -4*n = 8, -3*n + 5 = -t - 5*n. Let o = 172 + t. Let y = o + -94. Is y a composite number?
True
Let s = 975 + -526. Is s a prime number?
True
Let j be (-2)/10 - (33/(-15) + 0). Is (-2 + j + -1)*-1 - -330 composite?
False
Let k(n) = 31*n + 12. Let i(y) = -31*y - 13. Let x(l) = -4*i(l) - 5*k(l). Is x(-7) prime?
False
Let n = -5511 - -40048. Is n a prime number?
True
Suppose -2*i - 7576 = -4*k, -5*i - 865 = 5*k - 10350. Is k a composite number?
True
Suppose 2*s - 6*s = -p - 378, s + p = 92. Is s prime?
False
Let y(a) = a**3 + 20*a**2 + 13*a - 23. Is y(-15) prime?
True
Suppose 0*v - 4*v + 108 = -l, -5*v = 5*l + 440. Let n = 241 + l. Is n composite?
False
Let c be 3494/(-3)*(-27)/(-18). Let b = -852 - c. Is b a composite number?
True
Let k = 46 + -77. Let p = k + 25. Is (-115 + p/2)/(-1) prime?
False
Suppose 3*p + p = 12. Let y(u) = 3 + 2*u - 4 + p*u**2 - 2*u**2. Is y(6) composite?
False
Suppose -13*u - 1348 = -17*u. Is u a prime number?
True
Is 35 + -24 + (-17832)/(-1) a composite number?
True
Let q = 12874 + -4791. Is q a composite number?
True
Let r = 39 + -25. Let m(x) = 17*x - 47. Is m(r) composite?
False
Suppose 10*h = 103332 + 16318. Is h prime?
False
Suppose -2*s + 2 - 22 = 2*f, 4*s = 2*f - 4. Is 119 - (0 - f/(-2)) prime?
False
Suppose -4 + 1 = -3*g. Let h be ((-158)/(-4))/(g/10). Suppose 0 = 4*s - d - 3*d - 348, 5*s + 3*d = h. Is s prime?
False
Let i = 178 - 260. Let b = i - -135. Is b a prime number?
True
Let k(j) be the third derivative of -j**6/120 - j**5/15 + 5*j**4/24 - 2*j**2. Let u be k(-5). Suppose -3*q = 0, 5*m - 555 = -u*q - 5*q. Is m prime?
False
Let u be 5 + (-2 - (-10)/(-5)). Is (-3)/(u*(4 - (-25595)/(-6395))) prime?
True
Let h(o) = 6*o**2 + 5*o - 59. Is h(-6) a prime number?
True
Let q = -8 + 10. Let i(l) = -l**2 + 3*l + 2. Let a be i(q). Is 193 + (2/1 - a) a prime number?
True
Is 5/1 + (4 - 7 - -26805) a composite number?
True
Let g be -2 - (-1 - 1) - -2. Suppose g*c = c + 51. Is c a composite number?
True
Suppose -119621 = -14*g + 28401. Is g a prime number?
False
Suppose -3*n + 5 = -2*n. Suppose -8*u + 141 = -n*u. Is u prime?
True
Let d(l) = -108*l + 6. Let t be d(-8). Let m = 1237 - t. Is m a prime number?
True
Let h(u) = 0 - 1 + 12*u + 1 + 5. Let l be h(7). Suppose 3*f - 4*f + l = 0. Is f a composite number?
False
Let b be -3 + 11 + 0 - 2. Let l be 0/((3 - 6) + b). Suppose l*u - 345 = -5*u. Is u a composite number?
True
Let t = -7 + 57. Suppose 3*w = -d + 44, 49 = w + 5*d + 11. Let k = t - w. Is k composite?
False
Let i = -25 - -45. Let u = 23 - i. Suppose u*o - 185 = -2*o. Is o a prime number?
True
Let j(y) = 80*y - 291. Is j(40) prime?
True
Let w(p) be the second derivative of p**4/4 + 3*p**3 + 23*p**2/2 + 17*p. Is w(18) a prime number?
True
Let h(o) = -36*o + 10. Let u(v) = -35*v + 9. Let y(s) = 2*h(s) - 3*u(s). Is y(8) a composite number?
False
Let m = 37807 + -22836. Is m composite?
True
Let m = -43 - -43. Suppose -g + 5013 = 3*w, m = -w - 5*g + 1882 - 211. Is w composite?
True
Let j be (0 - 0/2) + 0. Let t be (93/2)/((-27)/(-72)). Is j + t - (-3)/(-1) a prime number?
False
Suppose 8*l + 4*l - 156 = 0. Suppose u + 3*q = 86, 73 + l = u - 3*q. Is u a prime number?
False
Suppose 14 = 5*q + 4. Suppose 74 = q*v - 24. Is v composite?
True
Suppose -47 = 5*c - o, 5*c = -5*o - 12 - 23. Let r = c - -21. Suppose r = 4*w, w + 3*w - 150 = -2*i. Is i prime?
False
Let z(x) = -6*x**2 - 5*x - 4. Let n be z(-3). Let l be 2502/(-24) + (-9)/12. Let a = n - l. Is a a composite number?
True
Let i be ((-12)/10)/((-12)/24280). Suppose 0 = -2*x + u - 3*u + i, -3*u + 2431 = 2*x. Is x prime?
False
Suppose -5*k + 1330 = 5*u - 1815, 4*k - u - 2536 = 0. Is k/5 + (-20)/(-50) a prime number?
True
Let w(p) = 1913*p**2 + 95*p + 619. Is w(-7) a composite number?
True
Suppose 0 = -3*d - 2*p + 23 + 1124, p = -5*d + 1900. Is d composite?
False
Let o(h) be the third derivative of 301*h**6/10 + h**5/60 - h**4/8 + h**3/6 + 14*h**2 - 3. Is o(1) prime?
False
Let i(v) = -493*v - 183. Is i(-8) composite?
False
Suppose 6*z = -0*z + 396. Suppose 2*l = 3*o - 99, z = 2*o + 3*l + l. Let j = o + 14. Is j a composite number?
False
Suppose 3*j - 3*w - w - 52 = 0, 5*w = 2*j - 37. Let n(s) = 64*s - 57. Is n(j) prime?
True
Let g = 6933 + -3728. Is g composite?
True
Let c(r) = -2 + 6*r - 3*r**3 - 5*r + 4*r**3 - 2*r**3 + 2*r**2. Let q be c(2). Suppose -3*k + 952 + 611 = q. Is k a composite number?
False
Suppose -2*c = -4, -21*c + 130261 = 3*r - 25*c. Is r prime?
False
Let j be (-7)/(-35) - 6/5. Let a be (2 - 1 - -1)/j. Is (a + 35 + -2)/1 a composite number?
False
Let i(a) be the second derivative of a**4/12 + a**3/2 + 5*a**2/2 - 2*a. Is i(-9) a composite number?
False
Suppose -5*a + 0*g + 6013 = 2*g, 3 = -3*g. Let r = 1964 - a. Is r prime?
True
Is (-72)/27*3 + 41341 prime?
True
Let u(n) = 946*n + 11. Is u(2) a composite number?
True
Let d(k) = -k + 1. Let o be d(-5). Suppose -2*w = w - o. Is ((-89)/w)/(11/(-22)) prime?
True
Let g(y) = 10*y. Let h be g(2). Suppose 0 = 5*l + h, 3*r = l + l + 389. Is r prime?
True
Suppose -4*p - 32 - 22 = -5*t, 3*t - 38 = p. Let r(n) = n**3. Let h(o) = -7*o**3 + 15*o**2 + 9*o + 13. Let f(b) = h(b) + 6*r(b). Is f(t) prime?
False
Let l(b) = 6*b**2 - 7*b - 5. Let y be l(6). Let i = y + -68. Suppose -2*t = -9 - i. Is t a prime number?
False
Suppose -4*x + 2*x = 3*f - 14422, -3*f = 3*x - 21630. Suppo