4*k + 59603 = -z*y. Is k a composite number?
True
Let r(i) = 669*i**2 - 126*i + 1246. Is r(11) prime?
True
Is (-25646)/((-126)/(-35) - 4) a composite number?
True
Let r(g) = -13*g**3 - 42*g**2 - 82*g + 27. Is r(-10) a prime number?
False
Suppose -44*n + 2*n - 27*n + 23234163 = 0. Is n a composite number?
False
Suppose -9*b = -4105768 + 1162417. Suppose -21*r = -3*h - 23*r + b, 2*h - 218026 = r. Is h prime?
True
Suppose 0 = 2*y + 79 - 51. Let i(d) = -157*d - 179. Is i(y) a prime number?
False
Is (-286)/2717 - (1 + 6418776/(-57)) a prime number?
False
Suppose -4*x - 3*x + 21 = 0. Suppose -w - x*w + 308020 = 0. Suppose 10*j - w + 13475 = 0. Is j a prime number?
True
Is 318224 - (3 - -7) - 11 prime?
True
Let n be ((-24)/(-18))/(12/27). Suppose 0 = -5*p - 5*j + 7200 + 7300, -n*p + 5*j = -8676. Is p composite?
False
Suppose 2*y = 8 + 32. Suppose -h - y = -5*j, 3*h + 28 = 2*j + 7. Suppose 3*k + 561 + 467 = u, 0 = -j*u - 3*k + 3096. Is u a composite number?
False
Suppose 181*k + 182*k = 374*k - 8870477. Is k a composite number?
True
Suppose -4*u + f - 11 = 4*f, 2*f = 3*u + 4. Let z be (u/(-3))/((-1)/(-801)). Suppose z - 85 = x. Is x a prime number?
True
Let m(x) = -x**3 + 2*x**2 + 29*x + 80. Let p be m(-3). Suppose 0 = p*u - 41*u + d + 13529, 3*u - 13525 = 2*d. Is u prime?
False
Suppose z - 4*n + 5216 = 5*z, 3*z + n = 3914. Suppose -v + 2542 = -z. Is v composite?
False
Let q(o) = -3*o - 5. Let p be q(-4). Is -15441*(p/(-12) + 4/16) prime?
True
Is (462/56)/11 - (-1)/(4/433201) a prime number?
True
Let g(y) = 315*y**2 + 18*y - 22. Suppose -2*q - 3*q = -s - 10, 19 = -3*s + 4*q. Is g(s) composite?
True
Suppose 331*z - 31657 = 328*z + 5*a, -a = -2*z + 21114. Is z a composite number?
False
Suppose -4*t - 223063 = -2*b + 3515, 4*t + 793043 = 7*b. Is b prime?
False
Let r = -2919 - -6142. Is r prime?
False
Suppose 3*i - 8703 = -3*j - 0*i, 2*j - 2*i = 5798. Is j/4 - 66/11 composite?
False
Suppose -3*m - 14 = -x - 55, -4*m + 5*x + 62 = 0. Let l(i) = 3*i**3 - 26*i**2 - 2*i + 17. Let y be l(m). Let c = y + -1557. Is c a prime number?
True
Let w(b) = -5*b - 20. Let g be w(-5). Suppose 2*j = 2*j - g*j. Is (j - -1) + 705/(-1 + 6) composite?
True
Let j = -233160 + 859667. Is j composite?
True
Let w(z) = z**3 + 8*z**2 + 2*z + 22. Let q be w(-8). Let n be q/33 - 47283/(-33). Suppose 2*c - 3*d = 953, 0 = -3*c + 2*d - d + n. Is c a prime number?
False
Let q(g) be the third derivative of g**5/30 + 31*g**4/24 - 29*g**3/6 - 9*g**2 + 3*g. Is q(32) composite?
False
Is (16/96*-3*2)/(1/(-519641)) a composite number?
True
Suppose 2*h = -8, -3*x - 12 = x + 3*h. Suppose l + x*l = 1967. Is l prime?
False
Let t be 1*(50 - 5)/(-5). Is t*11454/(-9) + 5 prime?
False
Let a = -24 + -627. Let s = a - -1130. Is s prime?
True
Let k(b) = b**3 - 9*b**2 - 16*b + 148. Let n be k(9). Suppose -n*d + 38839 = -1653. Is d a prime number?
False
Suppose 89 = z - l, 2*z + 3*l - 124 = 34. Suppose -27863 = 74*x - z*x. Is x a prime number?
False
Suppose 0 = 2*k - c - 1464, 5*c = -3*k + 7*k - 2934. Is 4/34 + 0 + 2667333/k composite?
True
Suppose g = -3*n + 5745, -4*g - 1840 = -2*n - 24792. Is g a composite number?
True
Suppose -4*l + 13589 = 4*p + 533, 3*p - 4*l - 9813 = 0. Suppose 5*q - 55 + 35 = -5*k, 0 = -5*k + 3*q + 12. Suppose 564 = -k*t + p. Is t a prime number?
False
Let h = 308 + -311. Is (-4 - -2)*-321*h/(-9) prime?
False
Suppose -2*c - 4042 = -2*f, 2*f - 153 = -5*c + 3875. Is f prime?
False
Suppose 10*d = -5*i + 12*d + 472507, 3*i = -d + 283491. Is i a composite number?
True
Let a(p) = -p**3 + 10*p**2 + 3*p - 25. Let k be a(10). Let b(n) = 29*n**3 + 2*n**2 - n - 11. Is b(k) a composite number?
False
Let d = 338 + -162. Let u = -119 + d. Let j = u - -134. Is j composite?
False
Let d(j) = -4*j + 25. Let v be d(7). Let u(p) = -65*p**3 - 2*p**2 + 4*p + 6. Let t be u(v). Suppose 1634 + t = 5*y. Is y a composite number?
False
Let h(j) be the third derivative of 13*j**5/20 - j**4/12 + 25*j**3/6 + 28*j**2 - 1. Is h(4) prime?
True
Let g(f) = 108*f**3 + 9*f**2 - 12*f + 13. Let s be g(7). Suppose 0 = 12*z + z - s. Is z a prime number?
False
Suppose 15 = 25*c - 26*c. Let g be (4/3)/((10/c)/(-1)). Suppose -3*y = 5*x - 327 - 524, -2*x = -g*y + 578. Is y prime?
False
Suppose -3106717 = -10*o + 284773. Is o a composite number?
True
Let z be (2/8)/(4 + (-948)/240). Suppose 5*y - z*s + 31029 = 165129, 0 = -s + 1. Is y composite?
False
Let f(r) = r**2 + 2*r + 3. Let n be f(0). Is (-1990 - -5)/(2 - n) prime?
False
Let j be 2/15 - 5/(-150)*86. Let x be 2 + (4 + -2 - 0). Suppose -2049 = -4*h - j*q + 3418, -x*h + 3*q = -5437. Is h prime?
False
Let f = -61 + 51. Let z be -7*-6*f/(-105). Suppose 0 = 8*c - z*c - 508. Is c composite?
False
Suppose -8*u + 3*u + 4 = 2*c, 5*u + 10 = 5*c. Suppose 5*a = -5*p - 0*p, c*a = -4*p. Suppose 10 = -2*x, -b + p*b = 2*x - 23. Is b composite?
True
Suppose 0 = 25*i - 110 + 10. Suppose -4138 - 2410 = -i*c. Is c a prime number?
True
Let x = -534165 - -969284. Is x a prime number?
False
Let r(c) = c + 20. Let k be r(-15). Suppose -k*x - 7420 = -0*x. Let q = -227 - x. Is q prime?
False
Let m be (-1)/2*(18 - 110). Suppose 4*b + m = -5*h + 339, -5*b + 320 = -3*h. Is b a prime number?
True
Let q(y) = -y**3 - 8*y**2 - 7*y - 1. Let z be q(-7). Let d(j) be the first derivative of 296*j**3/3 - 3*j**2/2 - j - 483. Is d(z) prime?
False
Suppose 26*q - 4*m = 28*q - 267514, -5*m = -4*q + 535054. Is q prime?
False
Suppose -65*n - 54*n = -51304827. Is n a prime number?
False
Let r(k) = -k**3 + 4*k**2 + 15*k - 21. Let n be r(6). Is 2/(4/3565) + n/2 a composite number?
True
Suppose -2*c - 6475 = -3*v - 3*c, c + 8638 = 4*v. Let f(w) = -w**3 + 20*w**2 + 3*w + 7204. Let o be f(0). Let r = o - v. Is r a composite number?
True
Is ((-128156102)/171 + 2/(-18))*3/(-9) composite?
True
Suppose -6*c + 38021 + 45259 = 0. Let a = c + -7932. Let s = a - 3291. Is s composite?
False
Let h be 6*(-6 - 203/(-14)). Is h/119 + 163108/14 a composite number?
True
Let d(x) = 1041*x - 1457. Is d(12) a prime number?
False
Let m = -3771 - -235822. Is m prime?
True
Let t be 2/8 + (-4811)/(-68). Let k = 264 - t. Is k + (-1)/(-2*(-1)/4) composite?
False
Let y be 40/(-12)*6/(-4). Let t(s) be the first derivative of 29*s**2 + s - 89. Is t(y) composite?
True
Let b(x) = -x**3 - 2*x**2 + x + 3. Let f be b(-1). Let z(h) = 1187*h**3 - h**2. Is z(f) a prime number?
False
Let g be 5*5*-3*10/(-125). Is 26996/3 + -1*(-2)/g prime?
True
Suppose 0 = 5*q + 4*y - 655357, 14*y = -q + 11*y + 131078. Is q a prime number?
False
Let a(b) = 3*b**2 - 26*b - 1336. Is a(-67) composite?
False
Suppose 85 = -7*l + 1. Is 5235 + 0 + (l - -8) a prime number?
True
Suppose 10*h - 2 = -2. Suppose -t = -3*k + 3*t + 18, -2*t - 6 = h. Let f(c) = 167*c**2 + 3*c - 5. Is f(k) a prime number?
False
Let i = -17 - -64. Let z = -43 + i. Suppose -z*x - 5*w + 4377 = 91, -5*w = -10. Is x prime?
True
Suppose 346529 + 416281 = 30*c. Is c composite?
True
Suppose -4*h + 0*h - 108 = 0. Suppose -4*s = 3 - 19, -k - s = 69. Let v = h - k. Is v prime?
False
Suppose -12*y = -2723873 + 531845. Is y a prime number?
False
Let w(u) = -13*u**2 + 3*u + 2. Let c(o) = -26*o**2 + 7*o + 4. Let l(d) = 3*c(d) - 7*w(d). Let x be l(-1). Let g(b) = 74*b + 1. Is g(x) a prime number?
False
Let b(d) = -170*d - 231. Let h be (-18 + 37)/(-1 - 0). Is b(h) prime?
True
Let w(y) = 85*y**3 + 3*y**2 + 513*y - 2556. Is w(5) prime?
True
Suppose 5*l - 88555 = -2*r, 4*r - l + 4*l = 177145. Suppose 5*c = -3*a + 44296, -5*a + r = 5*c - 0*a. Is c prime?
True
Let u(s) = 123*s**2 + 34*s + 218. Is u(32) a composite number?
True
Let a = -7187 + 37738. Is a a prime number?
False
Let f = -82 - -88. Is (1282*1)/(f - (3 - -1)) a prime number?
True
Suppose w - 382 = -389, -4*w = -3*d + 57031. Is d a composite number?
False
Let a = 8256 - 5562. Suppose -5*j - g + 2673 = 3*g, -a = -5*j + 3*g. Is j composite?
True
Let w(g) be the first derivative of g**5/12 + 19*g**4/24 - 14*g**3/3 + 1. Let v(k) be the third derivative of w(k). Is v(6) prime?
True
Suppose 55*q - 13145 = 9783 + 11887. Suppose -5*d + d = -1684. Suppose -2*w = 3*a - 4*a - d, -3*w + 2*a = -q. Is w prime?
False
Let u(g) = -g**2 - 10*g - 14. Let t be u(-6). Let i be (-4 - -3)*(t/1 + -1). Is 2300/8 + i/(-6) prime?
False
Let a(y) = 1220 - 1055 + 220*y + 61*y + 8*y. Is a(14) a