 = g - -1326. Is u prime?
True
Let w(i) be the first derivative of 2*i**3/3 - i**2/2 + i - 5. Let t be w(1). Suppose t*l + 558 = 1532. Is l prime?
True
Let p(g) = 19*g + 28901. Is p(0) prime?
True
Suppose 9*h + 15118 = 117349. Is h prime?
False
Let a = 127 - 3792. Let g = a - -6186. Is g prime?
True
Let r(y) = -4*y**3 - 10*y**2 - y - 16. Let z be r(-12). Suppose -24 = 4*l - z. Is l composite?
False
Is (-2 - -2979) + (-1 - 15/5) a prime number?
False
Suppose -b = 5*j + 12431 - 100355, 3*b = -3*j + 52752. Is j prime?
False
Let h = 18742 + -13271. Is h a composite number?
False
Is (-612)/10*(5 + -235) - -1 a composite number?
True
Suppose 6003 = -14*t + 11*t. Let d = t - -5360. Is d prime?
True
Suppose -517 = -3*f + 704. Is f prime?
False
Let d(i) = -2*i + 1. Let v be d(-4). Suppose -v = 2*o - 5*o. Suppose -o*y + 6*y = 1407. Is y composite?
True
Let z = -659 + 38. Let w = -131 - z. Suppose v + 2*v = -5*y + w, 0 = -2*y - v + 195. Is y a composite number?
True
Let s(n) be the second derivative of 73*n**5/120 + n**4/6 - 5*n**3/3 + 8*n. Let v(w) be the second derivative of s(w). Is v(3) a prime number?
True
Let d = -37 + 41. Suppose -2*g = 2*i + 3*g - 16, -4*g = 5*i - 23. Suppose 3*r = d*z + 217, 4*r + r - i*z = 380. Is r a prime number?
True
Suppose -9*a - 2*a + 18887 = 0. Is a composite?
True
Is -10 - ((-131538)/11 + 1) prime?
False
Suppose 0 = -9*h + 6*h + 4*s + 473, 0 = 3*h + 3*s - 501. Is h prime?
True
Let a(n) be the third derivative of 23*n**4/24 - 13*n**3/3 - 12*n**2. Is a(5) a composite number?
False
Let d be (-1 - (-12)/8)*0. Is d/7 + -1 + 408 prime?
False
Let s = 107 - 102. Suppose 0 = -s*u - 1206 + 5811. Is u a prime number?
False
Let q be 1/(-2)*-4 - -42. Let b = 3 - -17. Suppose 18*a + q = b*a. Is a a composite number?
True
Suppose 2*c = -6*t + t + 10006, -10018 = -5*t + 4*c. Suppose 13348 = 10*l - t. Is l a prime number?
False
Let u = 64 - 62. Suppose -u*b = 3*d - 2527, 48 = d + b - 796. Is d composite?
False
Let b be 226/4*(0 - (4 - 2)). Let f = 124 - b. Is f a prime number?
False
Suppose -5*g + 5*f + 5475 = 0, -g = -2*f - 645 - 455. Suppose l - 23 = z + g, -2*z + 8 = 0. Is l prime?
True
Let n(c) = 772*c**2 + 39*c + 10. Is n(7) composite?
True
Suppose -3*c = 5*a - 17918, 3*c - 4*a + 11942 = 5*c. Is c prime?
True
Suppose -14*g + 181043 + 309353 = -2*n, 0 = -2*g + 2*n + 70048. Is g a prime number?
False
Let v = -3 - -12. Suppose v*u - 13*u + 1172 = 0. Is u prime?
True
Suppose 4*c - 843 = -3*p, 0 = -3*c - 4*p + 3*p + 636. Let m be 6/((-633)/c + 3). Is m - (-3 + 4 + 1) a composite number?
False
Suppose -5*a = -9*a + 4. Let u(b) be the third derivative of 17*b**6/60 + b**5/30 + b**4/24 - b**3/3 - 4*b**2. Is u(a) composite?
True
Suppose -4*c - 14 = -11*c. Suppose -4*r - 1 = 5*q, 3*r = -c*q - 5 - 1. Is r/(-6) - 2855/(-15) a prime number?
True
Let a(u) = u + 2. Let j be a(-6). Let q be j/((-4)/(-23)) + 1. Let z = 31 + q. Is z prime?
False
Let w = -586 + 310. Let v(z) = 42*z - 7. Let y be v(5). Let d = y - w. Is d prime?
True
Let d = 41 + -39. Suppose -d*h - 5*w + 2529 = 0, -h + 0*h + 1242 = -5*w. Is h a composite number?
True
Let r = -11 - -7. Let z be 15/2*r/(-6). Suppose 0 = -0*s + z*s - 265. Is s a prime number?
True
Let f be (-5)/(2/(-78)*1). Let y = -457 - f. Is y/(-6) - (-1)/3 prime?
True
Let c = 2896 - -2605. Is c composite?
False
Suppose -4*m = -9*m - 25. Let t(g) = 12*g**2 + g + 1. Let z be t(m). Suppose -2*b = 2*r - z, b - 4*b = -3*r + 414. Is r prime?
False
Is (2 - (-430)/(-6))*-3 composite?
True
Suppose 3*k = -0*k + 4*c + 44, -3*k + 53 = 5*c. Let b be (-16)/(-6)*(13 - k). Is (b + 6)*(-142)/4 prime?
True
Suppose 4*f - s - 817 = 2*s, 3*f = -2*s + 634. Let d = 459 + f. Is d/6 - 3/18 a composite number?
True
Let r = -20 - -26. Let d be (-2)/(r/(-9)) + 2074. Suppose -2*t + 5*t + d = 5*i, -i - t = -409. Is i composite?
True
Suppose 171836 + 507674 = 26*p. Is p a prime number?
False
Let s = 206711 - 120258. Is s a composite number?
False
Suppose 0 = -3*u + 9 - 0. Let k = 292 + 106. Suppose -k - 9 = -2*v - 3*x, u*v - 617 = 2*x. Is v composite?
True
Let v be 105/(-10)*122/3. Let n = v + 1181. Suppose -7*g + 2*g + 2*d + 1861 = 0, 0 = -2*g - 4*d + n. Is g a prime number?
True
Let t(i) = -i**2 - 3*i**2 - 5*i + 6 + 10*i**2. Is t(-7) prime?
False
Let j = 8 - 3. Suppose -5*v = 3*y - 1 - 3, -j*v = 5*y - 10. Let f(w) = 93*w**2 - 2*w - 1. Is f(v) a composite number?
True
Suppose -888347 = -47*g + 788331. Is g a prime number?
False
Let m = 47 - 43. Suppose 2*w = -m*y + 1334, -w - 3*y + 567 = -99. Is w a composite number?
True
Suppose -2*m = -5*m + 3*b - 666, -218 = m - 5*b. Let z = m + 336. Is z composite?
False
Suppose 0 = -2*f + 7*d - 6*d + 2953, 1473 = f - 4*d. Is f a composite number?
True
Is (-401618)/56*(-4)/1 a prime number?
True
Let z = -59 + 62. Suppose -2*y + z*q = -1687, -y + 836 = 4*q - 3*q. Is y a prime number?
True
Suppose 2*v = -3*u + 8290, 4*v - 5*u = 17418 - 794. Is v prime?
False
Let g(s) = s**3 + s**2 - s. Let k(v) = -3*v**3 + 6*v**2 + 27*v + 13. Let l(u) = -g(u) + k(u). Is l(-6) composite?
True
Let i(n) = 94*n - 1. Let p(q) = 93*q - 2. Let m(y) = -6*i(y) + 5*p(y). Is m(-5) composite?
False
Suppose -12*b + 57 = -3. Let g(r) = -3*r**3 - r**2 + r - 3. Let x be g(-3). Suppose 2*i = b*i - x. Is i prime?
False
Let s = 598 - 435. Is s a prime number?
True
Suppose g + 8771 = 5*x + 1701, 5 = g. Suppose 5*n = -10 - 10, x = 5*l + 5*n. Is l prime?
False
Let f(i) = -2497*i**2 + 16*i - 2. Let s be f(4). Is s/(-15) + (-3 - (-16)/6) prime?
True
Let s be 12/(-4 + 6)*-219. Let j = -127 + 1978. Let a = j + s. Is a composite?
True
Let c = -7 + -29. Let w = 186 + c. Suppose -i = -5*a + w, -2*a + 37 = -0*a - 5*i. Is a a composite number?
False
Let u(p) = 6*p**3 - 5*p**2 + 4*p + 3. Let a be (-6)/(-8)*(-48)/(-9). Is u(a) prime?
False
Let x(w) = -52*w + 3. Suppose 5*t - 16 = t. Let p be (-8*(-2)/t)/(-1). Is x(p) prime?
True
Suppose -z - 7188 = -3*z. Let m = z + -1811. Is m composite?
False
Suppose 11*z - 5*z = -30. Let y(f) = -6*f - 9. Is y(z) composite?
True
Let b(a) = 4*a**2 + 5*a - 18. Let p be b(6). Is p - (-4 - (-9)/3) a composite number?
False
Suppose -4*w = -2*m - 18, 4 + 0 = w. Let h be (1 - 1/1)*m. Suppose -2*s - 31 + 189 = h. Is s composite?
False
Let n be (-13183)/(-7) - (3 + (-76)/28). Suppose -4*y = -n + 655. Is y prime?
True
Let u be 5898/12*(-4)/(-2). Let a = u - 685. Is a a composite number?
True
Is -1 + 0 + -15 + 4934 a prime number?
False
Let h(z) = -z**2 - 4*z. Let q be h(-3). Suppose 5*o - 14 = -4*g + 14, 2*o = -q*g + 14. Suppose 2*f = 5*y - 2793, f = -2*y - g*f + 1102. Is y composite?
False
Let s be (3 + -1)/(147/141 + -1). Suppose 0 = -2*w - 3*h + 23, 0*h - 2*h + s = 3*w. Is w a composite number?
False
Let o = -384 + 91. Is 1/((-5)/(5*o)) a prime number?
True
Suppose 0 = -14*w - 14188 + 244446. Is w composite?
False
Let y(b) = 3327*b**2 - 11*b - 3. Is y(2) composite?
True
Suppose -17*n + 6 = -15*n. Suppose -3*m + 8*m + 278 = 2*t, -n*t = -3*m - 435. Is t prime?
True
Let o(d) = 5598*d + 53. Is o(3) a prime number?
False
Suppose -4 = -2*x - 0. Suppose 2*u - 2*b = 10, -2*b = -u + 6 + x. Is 1/u - (-3423)/6 prime?
True
Let l be (-40)/6 + (-8)/(-12). Let p be l/(-4)*(-8)/(-3). Suppose p*h - 84 = -0*h. Is h a prime number?
False
Suppose 2*t - 1 = p, -10 = -6*t + t + p. Suppose t*m = w + 3256, 3*m - 5*w + 4373 = 7*m. Is m a prime number?
True
Suppose m + 4*t = -t + 2471, 3*m - 7461 = t. Suppose -5*r = 2*o - m, -4*o + 6*r + 5008 = 7*r. Is o composite?
True
Suppose -f = -4*q - 3*f + 136674, -f - 34176 = -q. Is q a composite number?
False
Suppose -7 = 7*h - 28. Suppose -3*j = z - 695, h*z + 886 - 2931 = j. Is z a composite number?
False
Let n(y) = y**2 - 4*y + 4. Let u be n(3). Let w be u + (2 - 3) - -2. Suppose -k + 4 = 0, 0*p - 5*p = -w*k - 807. Is p a prime number?
True
Suppose -4*y + 29 - 9 = 0. Suppose 4 = -0*g - g, 2*q + y*g = 860. Suppose -5*b + 1695 = q. Is b a prime number?
True
Suppose 5*a - 4*h - 974 = 0, h + 384 = 2*a - 2*h. Let n = a + 53. Let l = 454 - n. Is l a prime number?
False
Let x be 3 + 0 + (-1263)/(-3). Suppose -4*o - 44 + x = 0. Suppose 0 = 3*t + r - 0*r - 241, -t + o = 4*r. Is t a prime number?
True
Let q(h) be the third derivative of -h**6/15 - 3*h**5/5 - 2*h**4/3 - 13*h**3/6 + 40*h**2. Is q(-10) a composite numbe