-4*h = -h - 1413. Suppose n*t + h = 5*t. Is t prime?
True
Let x be 2/(-1)*(-6)/(-4). Let c = x + -2. Let r = c - -12. Is r a composite number?
False
Suppose -4*k - 20 + 8 = 0. Is (1/k - 0)/(3/(-3069)) a prime number?
False
Let y be ((-16*2)/1)/(-1). Let l(n) = -n**3 - 34*n**2 - 63*n + 32. Let p be l(-32). Suppose -29*v + y*v - 66 = p. Is v a composite number?
True
Suppose -2*y = r + 43, 0 = -y + 5*r - 3*r - 14. Let m be (-11304)/y - 2/10. Suppose m = f + 146. Is f composite?
False
Suppose 6 = 5*f - 9. Is 5*118/6*f prime?
False
Let m be 4*(2 + (-1)/1). Suppose 4*o + 11 = 5*y, y + 12 = 6*y - 3*o. Suppose -m*f + 527 = -y*f. Is f a composite number?
True
Let w = 2994 - 956. Is w prime?
False
Let y be (7 + -6)/(0 + -1). Is 4/4*(y - -80) a composite number?
False
Let g(c) = 16*c**2 + 3*c - 3. Let j = 2 - 5. Let i be g(j). Suppose -3*q - i = -7*q. Is q prime?
False
Suppose -3*k - q = -177982, -4*k + 2*q + 47436 + 189890 = 0. Is k a prime number?
False
Is 402/(-60) + 7 + (-316294)/(-20) prime?
False
Let z(j) = 141*j**3 + 9*j**2 - 13*j + 17. Is z(3) composite?
True
Let y = 805 + -170. Is y composite?
True
Let j(r) = 2223*r - 5. Is j(2) composite?
False
Suppose r - 3*v + 2649 = -3*r, 0 = -5*r - 2*v - 3294. Let l = r - -3053. Is l a prime number?
True
Let a(i) = 12*i**2 - 2*i - 1. Is a(-6) composite?
False
Suppose -3 = 3*b - 3*u, 0 = -2*b - 4*u + 31 - 9. Suppose -b*s + 554 = -145. Is s composite?
False
Let a(v) = 8*v - 3. Let p be -12*1/2*-1. Let j be 3/(-2)*(-20)/p. Is a(j) a prime number?
True
Let o(a) = 1 + a - 3 + 1 - 1. Let c be o(-2). Let j(m) = 4*m**2 + 5*m - 1. Is j(c) prime?
True
Let y(r) = 199*r - 23. Is y(6) a composite number?
False
Let c(x) = -47*x**3 - 5*x**2 + 2*x + 11. Is c(-3) composite?
False
Let h = -28088 + 57357. Is h prime?
True
Suppose -3*g + 0*x + 481 = -5*x, 4*x = -5*g + 851. Is g prime?
True
Let z(y) = y - 1. Let a be z(5). Suppose 0 = -5*h - 3*j + 4995, -2*h + 1333 = a*j - 679. Let u = h - 583. Is u composite?
True
Let q(d) = -1765*d - 26. Is q(-3) composite?
True
Is 11949 + (-384)/240*(-10)/4 a prime number?
True
Suppose 2716 = 4*y + 3*y. Suppose -6*h + y = -2*h. Is h prime?
True
Suppose -5*v - 5 = 0, -20*v = -p - 25*v + 4376. Is p composite?
True
Let l = -9 + 11. Suppose -3*w + l*w + 3 = 0. Is ((-499)/2)/(w/(-6)) a composite number?
False
Let f(l) = 3*l**2 + 10*l + 24. Let y be f(-6). Suppose -3*q = -5511 - y. Is q prime?
True
Suppose 18*m - 40742 = -8*m. Is m a composite number?
False
Suppose 2*v = -0*v - 2. Let p(w) = -4*w**3 + 2*w**2 - 1. Let a be p(v). Suppose -a*l = -610 + 15. Is l a composite number?
True
Let l be 39 - (4 - (-6)/(-2) - 4). Suppose l*x - 43*x = -1361. Is x a prime number?
True
Let p(d) = 60*d**3 - 4*d**2 - 5*d + 9. Let i be p(5). Suppose 2*c + 5910 = 4*u, 2*c - i = -5*u + c. Is u prime?
False
Suppose 4*n - 5602 = -4*q - 822, 4*q = -5*n + 5979. Is n prime?
False
Let p(b) = b**2 + 6*b - 6. Let z be (4 + -6)*(0 + -3). Let i be p(z). Suppose 2*d = -4*x + 134, 5*d + 7 + i = 2*x. Is x a composite number?
True
Suppose 5*v - 2112 = 2*v. Suppose 3*i + i = v. Suppose -5*w + 569 = -i. Is w a composite number?
False
Let c = -11848 - -19589. Is c a composite number?
False
Let r(l) = -432*l**3 + l. Is r(-1) a composite number?
False
Suppose o + w - 9740 = -0*w, -o - 4*w + 9740 = 0. Suppose -13*t + 9*t = -o. Is t a prime number?
False
Suppose -42*v + 53*v = 1463. Is v composite?
True
Is (2362*(-7 - -2))/(-2) composite?
True
Suppose -138*f - 391260 = -150*f. Is f a prime number?
False
Suppose -q = 2*v - 2719 - 402, 4*v = 2*q + 6230. Is v composite?
False
Suppose -2*u + 24771 = -5*r, -2*u + 0*u + 24726 = 4*r. Is u composite?
False
Let v(z) = -z + 1. Let u(q) = -8*q + 2. Let a(w) = u(w) - 4*v(w). Let x be a(-1). Suppose -c - x*c + 483 = 0. Is c a prime number?
False
Let g(k) = -k**2 - 6*k + 1. Let m be g(-5). Let y(n) = 3*n**3 - 3*n**2 + 3*n - 5. Is y(m) prime?
False
Suppose 2*c + 21 - 25 = 0. Is c*-2*(-228)/16 prime?
False
Suppose 2*w - 20808 = -5*u, u - w = 1892 + 2264. Suppose -4*c + 3164 = 4*y, -3*y + u = 4*c + 1000. Is c a prime number?
True
Suppose -4*r + 2*r = r. Is 29*12 - (r - -1) a composite number?
False
Suppose -5*d = -2 - 23. Suppose d*b + 2*x - 29 = 0, 3*x - 3 = 3. Suppose -804 = -4*g + 4*u, 5*u - 480 = -b*g + 545. Is g prime?
False
Suppose 4*h = j - 0*j + 18, 10 = 4*h + 3*j. Suppose 0 = h*w - 1237 - 3871. Is w a prime number?
True
Is 679/(-28)*(-2 + -146) prime?
False
Suppose 5*i + 4 = 14. Suppose 2*s = 8 + i. Suppose 2*m = -3*l + 806, -s*m - l = -343 - 1646. Is m prime?
True
Is (-41 - -42) + (1515*20)/2 composite?
True
Is (-1)/(14892/2979 + -5) a composite number?
True
Suppose 9*l + 5*l - 82922 = 0. Is l composite?
False
Let x(u) = 7*u**3 - 5*u**2 - 2*u. Let k be x(4). Suppose -123 = 3*s - k. Is s a composite number?
False
Suppose -10865 = 113*k - 118*k. Is k composite?
True
Let i = 72 - 44. Suppose 5*f + 67 + i = 0. Let z = f - -150. Is z a prime number?
True
Let t be (-102)/(-9) - 4/(-6). Let c = t + 65. Suppose 3*k + c = 4*k. Is k a prime number?
False
Let t be (-2 + 4)*114/12. Let i(n) = 2*n - 1 + t*n - 18. Is i(16) composite?
False
Let p(y) = y**2 + 9*y + 11. Let s be p(-8). Is 116 - (7/s + -3)*3 a composite number?
True
Let y(l) = 23 + 29*l - 4 + 1. Is y(7) a composite number?
False
Let s = 6824 - 2107. Is s a prime number?
False
Is (2*(-224 + 1))/((-66)/429) a prime number?
False
Suppose -1474 = -3*y + 5*y. Let r = y + 1090. Is r a composite number?
False
Let f(l) = 2*l - 1. Let t be f(3). Suppose 5*v = -t*j + 4625, 2*v + 567 = 3*j + 2397. Is v a composite number?
True
Suppose -2*j + 10779 = j. Is j a prime number?
True
Suppose -5*w = 2*c + 2*c - 7953, 4*w - 6384 = 4*c. Suppose -x + 1 = -1. Is x/(-3)*w/(-18) prime?
True
Suppose 2 = q - 0*q. Suppose 3*l = n - l - 447, -2*n = -q*l - 894. Is n a prime number?
False
Let s be -2*(4 - (6 + -1)). Suppose d - s*d - 2*r + 491 = 0, 5*d = -r + 2428. Is d a prime number?
False
Suppose 205 - 18213 = -4*t. Is t a prime number?
False
Let b = 993 - -20. Let o = b - 346. Is o composite?
True
Let a be -4 - 843/(-27) - 4/18. Is 2138/18 + 6/a a prime number?
False
Is (19220 - 2)/2 + 9 + -9 a prime number?
False
Let k(z) = -z**3 + 3*z**2 + 16*z - 19. Is k(-23) a prime number?
True
Suppose 0 = 17*n - 32119 + 3950. Is n prime?
True
Let x(w) = 11*w**2 + 2*w - 4*w - 8 - 2*w - 3*w**2 - w**3. Is x(5) prime?
True
Let a = -4576 - -6469. Is a a prime number?
False
Let q = -11 + 5. Is 2/6 - (5960/q)/2 a composite number?
True
Suppose -8*l = 4*i - 3*l - 16, -3*l = i + 3. Let f(n) be the third derivative of 7*n**5/60 + n**4/4 + 5*n**3/3 - 2*n**2. Is f(i) composite?
False
Let w(r) = -r**3 - 6*r**2 + 7*r + 3. Let k be w(-7). Suppose -3*z - k*x + 156 = 0, -250 = -3*z + 2*x - 89. Is z prime?
True
Let d(l) = 17*l**2 + 47*l - 69. Is d(22) a composite number?
True
Let t = -1902 + 2663. Let d = t + -388. Is d composite?
False
Let y(c) = 54*c**3 - 6*c**2 - c + 16. Is y(5) a composite number?
True
Suppose 12 = -4*h, 3*z - 3*h = z + 13. Suppose -5*m + 12 = z. Suppose 0 = -2*o - u + 265 + 237, m*o = -5*u + 486. Is o a composite number?
True
Let m = -5578 + 9963. Is m a prime number?
False
Let m be 60/(-14) - (-12)/42. Let v(r) = -r**2 - 9*r - 13. Let d be v(m). Is ((-5215)/d)/(-1 + 0) a composite number?
True
Suppose 5*w = -10*w + 37545. Is w composite?
False
Let r = 397 - 128. Is r a prime number?
True
Suppose 0*l - l + x + 3 = 0, -3*x = 4*l - 33. Suppose -f = 5*i - 3167, -1909 = -3*i + f - l*f. Is i a composite number?
True
Let k(h) = 495*h + 194. Is k(7) a composite number?
False
Let q(v) = 11*v**3 + 4*v**2 - 31*v - 10. Let t(p) = 5*p**3 + 2*p**2 - 15*p - 5. Let o(n) = -6*q(n) + 13*t(n). Is o(-6) a composite number?
False
Let b(w) = w**3 + 9*w**2 + w + 10. Let x be b(-9). Let o(a) = 500*a + 1. Let l be o(x). Suppose 0*m + l = 3*m. Is m prime?
True
Let y = -2452 - -4901. Is y composite?
True
Let d(n) = -43*n**2 + n + 4 - 2*n + 4*n. Let q be d(-6). Is (q/33)/((-2)/3) composite?
False
Let l = 13 - 10. Suppose -714 = -l*r + 423. Is r prime?
True
Suppose 5*r = 3*t - 88894, 4*r = -4*t + t + 88930. Is t/22 - ((-138)/(-33) - 4) a prime number?
False
Is 7*((-70775)/(-10) + (-12)/(-8)) a prime number?
False
Let o(i) = 104*i - 10. Let h be 2/14 - (-1189)/203. Is o(h) a prime number?
False
Suppose