 Let v = l + d. Is v a prime number?
True
Let d(h) = 260*h**3 + 5*h**2 + 12*h - 93. Is d(10) a prime number?
True
Let x = 28 - 1. Let u = x + 32. Is u prime?
True
Let m(l) = l**3 + l**2 + l - 1. Let c(z) = 9*z**3 - 5*z**2 - 5*z + 6. Let y(u) = -c(u) - 5*m(u). Is y(-3) a composite number?
True
Let y = -122 - -111. Is 2/y + (-4197)/(-33) a prime number?
True
Let t = -173 - -247. Suppose -t*j = -70*j - 18292. Is j a prime number?
False
Suppose 13494 + 1429 = l. Is l composite?
False
Let v = -30145 + 45362. Is v a composite number?
False
Suppose -4*x - 5*x + 424971 = 0. Is x a composite number?
True
Suppose -7*c + 53 + 38 = 0. Let l(p) = 13*p - 24. Is l(c) a composite number?
True
Let b = -697 - -2172. Suppose -o + c + b = 0, o - 2393 = 2*c - 914. Suppose -3*w + 686 = -o. Is w a prime number?
True
Suppose 0 = 4*s + 5*d - 27831, -2*d - 3*d = -2*s + 13893. Let q = s - 3655. Is q composite?
False
Let p be (-34)/3 - (-46)/(-69). Let h = 17 + p. Suppose h*y = y + 708. Is y a composite number?
True
Let o(d) = 1553*d**3 + d**2 + d + 1. Let a be o(-1). Let u = a - -2595. Is u a composite number?
True
Suppose -2*d + 1211 = 3*n - 4718, -4*n = -4. Is d prime?
True
Suppose -5*t - 47 + 992 = 0. Suppose 5*l - t - 66 = 0. Suppose -y = f + y - l, 158 = 3*f + y. Is f prime?
True
Let a = -9 - -24. Let x(p) = -p**3 + 16*p**2 + 6*p + 22. Is x(a) a composite number?
False
Suppose -79*b = -45*b - 23494. Is b composite?
False
Is 152588*(5 + (-190)/40) a composite number?
True
Let s = 131 - 4224. Let o = s + 5928. Is o a composite number?
True
Suppose -16*u - 9 = -19*u. Suppose -u*r + q + 4407 = 0, -6*r + 7345 = -r + 4*q. Is r prime?
False
Suppose -93*f - 10 = -94*f. Suppose 8*t + 826 = f*t. Is t composite?
True
Let t(l) = 4*l + 10. Let a(b) = -5*b - 11. Let x(w) = 3*a(w) + 4*t(w). Let d be x(-4). Suppose 1118 = d*j + i + 4*i, 1110 = 3*j - 3*i. Is j a composite number?
True
Let n be 2/(-7) + (-4050)/35. Let h = 181 + n. Is h a prime number?
False
Suppose 40418 = -349*s + 351*s. Is s prime?
False
Let s(r) = -18*r + 7. Let a(u) = -2*u - 16. Let m(n) = 4*n + 32. Let x(y) = -5*a(y) - 2*m(y). Let b be x(-11). Is s(b) composite?
True
Is -3 + (2 + 0 - -3 - -60755) a composite number?
False
Suppose -4*k + 208 = -4*n, -15 = -5*k + 5. Is (-3928)/n + 2/12 a composite number?
True
Let h be (4 - 3)*(0 - -3). Let f(y) = 41*y + h + 21*y + 0. Is f(4) a prime number?
True
Suppose -i - 3 = -5. Suppose 0 = i*w + 7 - 13. Suppose -w*k + 706 = -k. Is k composite?
False
Let h(k) = -k**3 - 8*k**2 - 7*k + 3. Let m be h(-7). Suppose -5*q + m*q + 2366 = 0. Is (-20)/(-30) + q/3 a composite number?
True
Let s = 21 + -12. Suppose -s*n + 673 = -3332. Is n composite?
True
Suppose 27*q = 29*q - 136322. Is q a prime number?
True
Suppose -a = 5 - 7. Suppose 5*d - a*d - 255 = 0. Is d composite?
True
Let u be (-126)/(-45) - 8/10. Let a = -4 - -3. Is (u/a - -2) + 191 prime?
True
Let z(r) = r**2 - 1. Let a(c) = -11*c**2 + 3*c + 9. Let g(q) = -a(q) - 2*z(q). Let w = -10 - -5. Is g(w) a composite number?
False
Let c(w) = 3*w**2 - w - 15. Let q be c(-9). Let b = q - -440. Is b prime?
True
Let u be 8259*8/(-9)*3/4. Is u/(-6) - 12/18 composite?
True
Suppose -4*v + 6 = -3*f, 4*v - 19 = -2*f - v. Suppose -5*k - 1424 = -h, 3*h - 3*k = -f*k + 4314. Is h prime?
True
Let y be 18508/12 - 4/(-6). Suppose 488 = 5*h + y. Let o = h + 374. Is o a prime number?
True
Let a be 2/(-8)*(-7 - 1). Let f be a*(-7)/(7/(-2)). Let g(q) = q**3 - q**2 + 5*q - 1. Is g(f) prime?
True
Let i be -1*(809 - (-6 + 2)). Let w = i - -1676. Is w prime?
True
Let l be -2*(20988/(-8))/(-9). Let j = -329 - l. Is j a composite number?
True
Let u = -6703 - -3598. Let r = u + 4367. Is r prime?
False
Let y(p) = -p**2 + 1. Let q(a) be the first derivative of -a**4/4 - 2*a**3 + a**2/2 + 37*a + 3. Let w(g) = q(g) - 6*y(g). Is w(0) composite?
False
Let w = 47 - 44. Suppose 3353 = w*n - 5644. Is n a composite number?
False
Let b(a) = -14*a + 7. Let r be b(7). Let t = r + 177. Suppose 5*l = -3*d + t, 2*l + l = -3*d + 48. Is l prime?
True
Let n be 226/(-1 - (-3 - -3)). Let t = n + 411. Is t a prime number?
False
Let q(y) = y**3 - 15*y**2 - 13*y + 21. Is q(20) a prime number?
False
Suppose -14*v + 6*v + 7512 = 0. Is v a prime number?
False
Suppose 3*r + 969 + 4035 = 0. Let d = -1177 - r. Is d prime?
True
Is -28154*(-5 + 7)*1/(-4) a prime number?
False
Suppose -4*o + 3 + 13 = 0. Suppose -o*h = -5*h + 4. Suppose 5*p + 4*b = 79, 2*b = -h*p - 11 + 73. Is p a prime number?
False
Let o(d) = d**2 + 4*d + 3. Let w be o(-2). Let x = 8 + w. Is x prime?
True
Is (-96 - -9168) + (-1)/1 a prime number?
False
Let a = 22 - 24. Is (28/(-70))/(a/1070) composite?
True
Is 38689*(2/(-19) + 315/285) prime?
False
Let k(p) = 2*p**2 + 16*p + 8. Let a be k(-8). Let n = 9 - 6. Let h = a + n. Is h prime?
True
Let h(a) be the third derivative of -5*a**4/12 - 13*a**3/6 - 12*a**2. Is h(-5) a prime number?
True
Suppose 3*k = k + 6. Suppose -1034 = -2*r + k*c, -3*c - c + 2585 = 5*r. Is r composite?
True
Let g = 2734 - 869. Is g a composite number?
True
Let b(a) = 2*a**3 - 4*a + 3. Let t(z) = -z**3 + 8*z**2 - z + 4. Let i be t(8). Let n be 6/4 - i/8. Is b(n) prime?
True
Is (-20)/8 - 12455/(-10) prime?
False
Let q = 618 + -392. Is q a composite number?
True
Suppose 3*i = 4*i. Suppose 16 = m + 4*v - i, m - 4*v = -16. Is 3*(-1 - m) - -62 a composite number?
False
Suppose 5*p - n - 13 = 2, 0 = 4*n. Suppose -h - 193 = -p*c + h, 2*h - 122 = -2*c. Suppose -2*y = 3*v - c, y - 2*v - 101 = -2*y. Is y prime?
False
Suppose 4*q + 3*p - 55855 = 0, 35450 - 7525 = 2*q - p. Is q a composite number?
False
Let y(x) be the second derivative of -x**5/20 - 5*x**4/6 + 2*x**3 + 13*x**2/2 - 6*x. Let g be y(-11). Suppose -g*k - 1732 = -4686. Is k a composite number?
True
Let t(l) = 17538*l**2 + 27*l - 26. Is t(1) composite?
False
Let b = 60198 - 6697. Is b prime?
False
Let o be (-2 + 63)/(-3 + 343/112). Is o/4*(-103)/(-4) composite?
True
Let l(q) = 52134*q**2 + 10*q - 9. Is l(1) prime?
False
Let o(w) = 7*w**2 + 4*w + 55. Is o(-16) composite?
False
Let n(o) = 3814*o - 15. Is n(2) a composite number?
True
Let a = 52 - -19. Let b = 142 - a. Is b composite?
False
Suppose 7*a = 5702 + 1326. Let c(o) = o**3 + 6*o**2 + 5*o. Let l be c(-5). Suppose a = 4*n - l*n. Is n composite?
False
Suppose 5*s - 20 = 0, -2*q + 5*s + 8136 = 2070. Is q a prime number?
False
Suppose -2*o = 3*g - 1167, 5*g - 1945 = -0*g + 3*o. Is g a prime number?
True
Suppose 884 = 2*z - 1914. Is z a composite number?
False
Let f(i) = i**2 + 7*i + 2. Let l be f(-7). Let a be l/(-8) + (-966)/(-24). Let s = 119 - a. Is s composite?
False
Let m(q) = 528*q - 91. Is m(21) a composite number?
True
Let i be 1 - (-2)/(2/5). Let y(m) = -m**2 + 6*m + 4. Let r be y(i). Let v(t) = 2*t**3 - 5*t**2 - 3*t - 1. Is v(r) composite?
True
Suppose 0 = -c + i + 4592 + 125, 3*c - 14154 = 2*i. Suppose 5*b - 10*b + 5*f = -c, -b + 956 = -5*f. Is b a prime number?
True
Suppose 5*i - 1865 = 95. Let k = 9 + -6. Suppose -1853 + i = -k*g. Is g a composite number?
False
Let n(v) = v**2 + 2*v - 3. Let p be n(-3). Let j be (-1 + 3/2)*p. Is 0 + (j - -417) + 2 composite?
False
Suppose 0 = -5*v - 2*d - 3*d - 1010, -3*v + 4*d = 578. Let y = v + 848. Let i = 913 - y. Is i prime?
True
Let j = -5 + 9. Suppose 0 = j*t - 46 + 10. Suppose -n + 14 = -t. Is n a prime number?
True
Suppose -s + 178*c + 64063 = 175*c, -128144 = -2*s - 3*c. Is s a composite number?
True
Let r = 42 - 54. Let p(v) = -26*v - 7*v - 13 - 5*v. Is p(r) a composite number?
False
Suppose 0 = -3*o + 6, -4*o + 22394 = 2*w - 0*o. Suppose 0 = -4*u - i + w, 2*i = 3*i - 5. Is u a prime number?
True
Suppose 6 = -2*l - 0*l. Suppose -3*v - 1 - 6 = -2*x, -v = 4*x - 35. Is 194/l*(-12)/x a prime number?
True
Suppose 5*m - 12 = 4*n, -2*m - 5 = 3*n + 4. Let k(c) = -15*c. Let u be k(n). Suppose u = 2*q - 213. Is q a composite number?
True
Let q(i) = 48*i**2 + i - 3. Suppose -4*p - 28 = -4*t, 2*t - p - 2*p - 19 = 0. Is q(t) prime?
True
Suppose -59*g + 698487 = -54*g + 2*o, 2*o = 2. Is g a prime number?
True
Suppose 0*o + 2*b = 5*o - 60, 0 = 3*o - 4*b - 50. Suppose -2*j = -o*j + 7792. Is j prime?
False
Let a(u) = 14*u + 31. Let y be a(-5). Let t = 368 - y. Is t a composite number?
True
Suppose 0 = 3*r - 4*x - 1477 - 5031, 2*x - 10812 = -5*r. Let l = r