. Let a = s + z. Is a prime?
False
Suppose 0 = -5*q - 6*h + 2*h + 14627, 5*h + 14645 = 5*q. Is q prime?
True
Let l(i) = 2985*i + 37. Is l(2) composite?
False
Let r(l) = -2*l + 15. Let b be r(7). Let t be -5 - -1*(b + -2). Let i(v) = -74*v + 3. Is i(t) prime?
False
Let z = 3 + 0. Let b be 28/(7 - z) - -1. Is b + 29 + 3*-1 a prime number?
False
Suppose 0 = 2*y - 2*g - 853 - 6521, g = 4*y - 14760. Is y a prime number?
True
Let s be (-5)/(-25) + 57/15. Suppose -s*y + 1794 = -2*l, -y - 4*l - 1792 = -5*y. Is y a composite number?
False
Let w(t) = -81*t + 1. Let v be w(-4). Suppose -2*b - 4*n + v = -3*n, 4*n + 493 = 3*b. Is b a prime number?
True
Let q(n) = -237*n + 1. Let b(g) = -237*g + 1. Let k(a) = 7*b(a) - 6*q(a). Let v be k(-1). Let d = 365 - v. Is d a prime number?
True
Let r be 1*(-2)/2 - -6. Suppose -5*u - 2465 = -r*p, -2*p + 4*p + 4*u = 1010. Is p prime?
False
Suppose 3*o + 5*z = 26422 + 55140, 2*o = -z + 54363. Is o composite?
False
Let i be 478/(-16) - 3/24. Is 111436/10 - (-3)/i*6 prime?
False
Let f(t) be the first derivative of 83*t**4/12 - t**3/2 + t**2/2 - 3*t + 5. Let v(n) be the first derivative of f(n). Is v(-3) composite?
False
Suppose -5*c = -3*b - 492, 4*b = 3*c + 2*b - 296. Let a = -65 + c. Is a a prime number?
True
Suppose h = 2*v - 1, 5*v + 2 = 5*h + 12. Is 4/h*-51 - -3 composite?
False
Let l = 14 - 33. Let t(w) = -w**3 - 11*w**2 - 7*w - 34. Is t(l) composite?
True
Is (3 - (-18)/(-6)) + 53 a composite number?
False
Let p(q) = -48*q**3 + 2*q - 1. Let o = -11 + 13. Let m be p(o). Let r = -178 - m. Is r a composite number?
True
Let n(p) = -p**3 + 11*p**2 - 9*p - 5. Let h be n(10). Suppose -u - 5*s + 917 = 0, -5*u + s - h*s + 4543 = 0. Is u prime?
True
Let t(b) = -b**3 - 2*b - 5. Let u(l) = 5*l**2 - 7*l + 2 - l**3 + 2*l**3 + l**2 + l**2. Let r be u(-8). Is t(r) composite?
False
Suppose 0 = -z + 6*z + 15. Is (11/(33/(-1970)))/(2/z) composite?
True
Let j(q) = 19*q**2 - 2*q + 5. Suppose 5*y + 19 + 7 = -2*u, 5*u + 5*y = -35. Let a be j(u). Let b = a - 37. Is b prime?
False
Suppose 3*n + n = 0. Suppose n = 2*q - 2*l + 8, 0 = 3*l - 0*l - 6. Is (-4 - -3)/(q/170) a composite number?
True
Suppose 0 = -3*r + 6 + 6. Suppose -2*i = -4*s - 94, -197 - 16 = -r*i + 3*s. Let f = -38 + i. Is f a composite number?
False
Let j = -659 + 1440. Is j composite?
True
Let u(y) = -3*y. Let b be u(-1). Is (b - 0)/((-6)/(-68)) prime?
False
Let t be 1/(-5) + 498/15. Suppose 5*a = t + 2. Is 14/a*(-1166)/(-4) prime?
False
Let b = -256 + 476. Let d = -11 + b. Is d a prime number?
False
Let k be (2 - (-5)/(-4)) + (-18)/24. Suppose -2*g = a - 3*g - 627, k = 5*a + 5*g - 3155. Is a composite?
True
Let h(u) = -u**3 + 12*u**2 - 6*u - 7. Let s be h(5). Let w(n) = 2*n**2 - 52*n - 23. Let j be w(31). Let l = j - s. Is l a prime number?
True
Let b be (3/3)/(2/(-4)). Let f be 16 + (-3 - (b + 1)). Is (-193 - 1)*(-7)/f prime?
True
Suppose 0*x - 21 = -3*x. Let c(z) = -z**2 + 7*z + 5. Let r be c(x). Suppose r*j - 954 = -169. Is j a prime number?
True
Suppose -4*h - a = -51287, -a + 1867 + 10957 = h. Is h prime?
True
Let s = 1 + 0. Suppose -4*h = -5*c - 12, 8*h - 11*h = 3*c - 9. Is 130 + c + (s - 2) a prime number?
False
Let r(y) be the second derivative of y**5/20 - y**4/6 + 4*y**3 - 25*y**2/2 - 18*y - 1. Is r(16) a composite number?
False
Let o(v) = -24*v**3 - 2*v**2 - v + 56. Is o(-7) a prime number?
False
Let r = 131 - 127. Suppose r*i - 56 = -4*t, -t - 2*t = 5*i - 72. Is i composite?
True
Suppose 0 = 11*i + 8*i - 55651. Is i a composite number?
True
Let w = -165 - 374. Let y = 934 + w. Is y composite?
True
Let c be 6/2*36/(-54). Let w be (-864)/(-4) - 3 - c. Suppose 3*j = w + 130. Is j prime?
False
Let d = -81 - -77. Is (52/6)/((-15)/(270/d)) composite?
True
Let x be (3/(-5))/((-12)/(-60)). Is (-682)/x*(-24)/(-16) a prime number?
False
Suppose 0 = 3*i - 4*k - 29723, -5*i - 9*k = -10*k - 49510. Is i prime?
True
Let x be 10/25 - 1236/(-10). Let u be -10*2*x/(-16). Suppose -w - 3*o + 152 + u = 0, w = -o + 299. Is w a prime number?
False
Let i = -33 - -36. Suppose 3*x - 3*a - a = 10499, i*x + 5*a = 10454. Is x prime?
False
Let c(s) = s**2 + 11*s - 17. Let m be c(-13). Let y be 8/6*(m - 6). Suppose 176 + 184 = y*o + 4*t, 0 = o + 2*t - 95. Is o composite?
True
Let b = 13552 + -5931. Is b prime?
True
Let a(r) = -r**3 - r**2 - 8. Let v be a(0). Let q(k) = 22*k + 11. Let t(n) = 15*n + 7. Let z(c) = v*t(c) + 5*q(c). Is z(-2) a prime number?
True
Let v be -1*18/15*10. Let k be 219/v - (-2)/8. Is 3/18 + (-2859)/k a prime number?
False
Let h(s) = -8*s**3 - s**2 + 2*s - 6. Let l = 31 - 36. Is h(l) composite?
True
Let z(r) = r**3 + 17*r**2 + 5*r - 20. Let u be z(-14). Let q = u + -1432. Let f = -369 - q. Is f composite?
True
Let m(a) = -253*a + 53. Is m(-2) a composite number?
True
Suppose -4*l + d + 13 = 0, 0*d + 19 = l + 5*d. Let b(o) = -o**3 + 5*o**2 - 4*o. Let g be b(l). Suppose g = 2*s - 6*s + 1516. Is s a prime number?
True
Let u(s) = -28*s**2 - 6*s - 23. Let l(w) = -29*w**2 - 6*w - 23. Let c(b) = -4*l(b) + 3*u(b). Is c(-3) prime?
True
Let i = 5925 - 2132. Is i a composite number?
False
Let y = 38 - 33. Suppose y*q - 1813 = q - n, 0 = -3*q + 3*n + 1356. Is q a composite number?
True
Suppose 148499 = 2*m - 2*r + 5*r, 4*m = -2*r + 297018. Is m composite?
False
Let v = -3742 + 6059. Is v composite?
True
Let z(o) = 2*o**2 + 3*o + 2. Let a be z(-2). Let t be (-2)/a*1446/(-3). Suppose -3*y + 121 = l, -2*y - 3*y + t = 2*l. Is l prime?
False
Let w(d) = 22*d**2 + 12*d + 7. Let u(r) = 65*r**2 + 35*r + 21. Let t(o) = 6*u(o) - 17*w(o). Let l be (-900)/252 - 3/7. Is t(l) a prime number?
True
Suppose 62746 = 3*d - z, 14 = 5*z + 34. Is d a prime number?
False
Let a be (-8290 + -6)/(-4) + 0/(-2). Let d = 3437 - a. Is d composite?
True
Suppose 5*y - 474 - 146 = 0. Let j = 207 - y. Suppose -f + 36 + j = 0. Is f a composite number?
True
Suppose 5*f + 8638 = -5*g + 23613, 8973 = 3*g - 3*f. Is g a prime number?
False
Let w(h) = 7*h**2 - 2*h - 7. Let q(p) be the second derivative of -p**5/20 + p**4/2 + 2*p**3/3 - 7*p**2 + 4*p. Let o be q(6). Is w(o) composite?
False
Suppose h - 4*j + 8 = 5*h, j = -2. Suppose h*d = d + 63. Is (-10)/35 - (-2757)/d prime?
True
Let r(l) = 5*l**2 - 14*l + 21. Let s be r(12). Suppose -3*v + s = -0*v. Is v a composite number?
False
Let b = -16660 - -24231. Is b prime?
False
Let g be (-2)/12 - 25/30. Is (g + 5/10)*-102 composite?
True
Let w(u) = u**2 - u + 1. Let v(r) = -5*r + 0 - 4*r + 20*r**2 + 2*r + 8. Let q(l) = v(l) - 6*w(l). Is q(-3) a composite number?
False
Is ((-9)/(-18))/(4/86776) prime?
True
Let g(m) be the first derivative of 76*m**3/3 - 3*m**2/2 + 9*m + 11. Is g(4) a composite number?
False
Suppose -3 = -2*p - h - 1, -5*p + 6 = 3*h. Suppose 2*g + g - 12 = p. Suppose 69 = k + 5*s, g*s = 6*k - k - 229. Is k a prime number?
False
Suppose 0 = 2*m - 18 + 48. Is 7*((-5214)/m - (-12)/(-20)) a prime number?
False
Suppose -5*g = -q + 29, 3*g = -0*g + 4*q - 31. Is (g - -372)/((-1)/(-11)) a prime number?
False
Let w(g) = -374*g + 1. Let p be w(2). Is (2/(-6))/(1/p) a prime number?
False
Suppose 1601 = -2*m - 16775. Let b = -6466 - m. Is b a prime number?
False
Let v be (4/3)/(28/42). Suppose -4*m + j = -2*j - 2723, -3*m = v*j - 2021. Is m prime?
True
Suppose -4*t + 123*l - 118*l = -10526, 0 = 5*l + 10. Is t prime?
False
Let y = -1651 + 2999. Suppose -y = -2*d - 2*d. Is d a composite number?
False
Suppose 2*w = -2*i + 176572, -5*w - 4*i + 146552 = -294877. Is w composite?
True
Let c be 3 - -2 - (1 + 2). Let n be c/2*59 - -3. Suppose 0 = 5*o - n + 17. Is o prime?
False
Is (-86098)/(-8) - (-65)/(-260) a prime number?
False
Let j(s) = 202*s**2 + 17*s + 325. Is j(-14) a composite number?
False
Let u(i) = -i**3 + 13*i**2 - 10*i + 7. Let n be u(6). Let b = -593 + 605. Let o = n + b. Is o prime?
True
Suppose 6*p - p - 1320 = 0. Let z = -153 + p. Is z prime?
False
Is ((-4)/36 + (-213236)/(-72))*2 composite?
False
Let r be 6*-1 + 4 + 7. Suppose -w = 3*i - 109, -525 = -r*w - 0*i + 5*i. Is w prime?
False
Let c = -5242 + 8255. Is c a composite number?
True
Let j(m) = 4*m**2 + 12*m - 3. Let w be 1/((-19)/10 + 2). Is j(w) composite?
True
Suppose -t = 36*t - 1048913. Is t a composite number?
False
Suppose -12 = 8*i - 10*i. Suppose 0 = -2*a + 3*q + 1297, -q = -5*a + i*a - 646. Is a compo