Let j be v(13). Let c = 887 - j. Is c prime?
False
Let w(t) = 3*t + 53. Let l be w(-16). Let y be ((-120)/32)/l - (-46)/8. Suppose 0 = -p + 3, y*k + 3*p + 636 - 8360 = 0. Is k a prime number?
True
Let z = -4 + 7. Let q(u) = 136*u**2 + 8*u - 1. Let f(i) = -138*i**2 - 9*i + 2. Let t(p) = 8*f(p) + 9*q(p). Is t(z) composite?
False
Suppose -3625 = 1294*z - 1299*z. Suppose 3*q - z = 5434. Is q prime?
True
Let k = -198999 + 331660. Is k composite?
False
Let c(l) = 13*l**2 + 50*l - 40. Let h(g) = -9*g**2 - 33*g + 27. Let q(k) = 5*c(k) + 7*h(k). Let t be q(-16). Is 56/4*t*(-2)/(-4) a prime number?
False
Let m(v) = -3*v**3 - 53*v**2 - 53*v - 76. Is m(-21) a composite number?
True
Suppose -5*m = -3*m - 32. Suppose -i - m*i + 98617 = 0. Is i prime?
True
Is 13/((-260)/(-3306630))*(-14)/(-21) a composite number?
False
Let l = -32 + 34. Suppose -5*r + 3853 = 4*a, -4*r + 1093 + 829 = l*a. Suppose -3212 = -5*u - a. Is u composite?
False
Suppose 6*m = -139*m + 28456975. Is m a prime number?
False
Let k be (150/(-100))/(1/2). Is 29/(((-15)/355)/k) a composite number?
True
Suppose 0 = r + 11 - 18. Suppose -2*w - 2*z - 8114 = 0, 16207 = 3*w - r*w + 3*z. Let y = -2545 - w. Is y prime?
False
Let f be 3/3 - 22/(-2). Let y be (3 - 0)/(13 - f). Suppose a + 3327 = y*m, 164 = m + 2*a - 945. Is m a composite number?
False
Suppose -2*a + 3*q - 742 = -49012, 3*q = -5*a + 120696. Suppose -4*z = -5*d + a + 12162, -3*d - 5*z = -21743. Suppose -6*r - d + 21590 = 0. Is r prime?
True
Let g be (16/3 - 2)/(6/(-1017)). Let m = g - -2400. Is m a prime number?
False
Let d = -1 + 6. Suppose 3*n - 50 = -7*n. Suppose -5*x + n*s + 2750 = 0, -d*x - 4*s + 2794 = 89. Is x a composite number?
True
Let s = -290052 - -526693. Is s a prime number?
True
Let n be ((-26)/(-4))/((-2)/704). Let s be 2/4*4*n/32. Let v = s + 1405. Is v a prime number?
False
Let b(p) = 443*p - 21. Let q = 195 + -190. Is b(q) composite?
True
Let a = 180327 + -108950. Is a a prime number?
False
Is 3/6 + ((-846486)/(-36) - 5) a composite number?
False
Let f = -80 + 82. Suppose 5*j - 4*q = 71971, f*j = -0*q - q + 28791. Is j a prime number?
False
Suppose -z + 3*z - 6 = 0. Suppose -112 = v - 597. Suppose 3*f + 291 = 3*r, -2*r - z*r + v = 4*f. Is r composite?
False
Suppose -19*a - 13571 = -139102 - 27590. Is a a composite number?
False
Suppose 22*u + 30 + 36 = 0. Let c(r) = -499*r - 88. Is c(u) a prime number?
True
Suppose 2*c - 3*o - 19 = 0, -4*o = -c + 20 + 2. Suppose -x + c*z = -0*z - 3, -x - 7 = -4*z. Suppose -x*k = -5*k - 4504. Is k composite?
False
Suppose 0 = -2*d - d - 3*u + 30, u = -5*d + 30. Suppose 5*s = 4*k - 13051, -16280 = -0*k - 5*k - d*s. Is k composite?
False
Let b = 273 - 260. Suppose -3*r - 225190 = -b*r. Is r a composite number?
True
Let m = -39378 - -72209. Is m prime?
True
Suppose -653*t + 631*t + 4877114 = 0. Is t a composite number?
True
Suppose -48*f + 442815 = -33*f. Is f a prime number?
False
Let w(o) = -2 - 626*o**2 + 1367*o**2 + 2*o + 303*o**2 + 3055*o**2. Is w(1) a composite number?
False
Let a(t) = -222837*t**3 - 3*t**2 + 29*t + 32. Is a(-1) prime?
False
Let x = 305346 + -153569. Is x composite?
True
Suppose -5*c = 329*q - 330*q + 56771, -5*q = c - 284011. Is q a prime number?
False
Suppose -4355117 - 1543644 = -82*b + 4076621. Is b a prime number?
False
Suppose 0 = x + 6*x + 3577. Suppose 0 = -3*p - 4 - 5, 3*w = -5*p - 879. Let d = w - x. Is d a composite number?
False
Let q be 2 + ((-1)/1 - -2). Suppose -5*v - m + 6116 = 0, -5 = v + q*m - 1231. Suppose -3624 = l - 4*l - 3*a, 0 = -l + 2*a + v. Is l a prime number?
True
Let o(p) = -235*p**3 + 4*p**2 + 5*p + 19. Is o(-3) composite?
True
Let z(d) = -d**2 + 20*d + 69. Let g be z(23). Suppose g = 2*l + 3*u - 272, 0 = -3*u - u - 8. Is l a composite number?
False
Let s(h) = 3*h + 144. Suppose -9*l + 6*l + 25 = 2*f, 4*f - 5 = 3*l. Is s(f) a prime number?
False
Let q(r) = 9*r**3 + 7*r**2 - 2*r + 26. Let t be q(11). Suppose 8*i + 1638 = t. Is i a prime number?
True
Suppose 3*f + 5425 = 2*n, -4*n - 4*f - 1032 + 11832 = 0. Is n a composite number?
True
Suppose -2*j = -4*j - 10. Let z be 35/15*-3*j. Is (z/(-10) - -3)*-106 composite?
False
Let q(j) = j**2 - 12*j + 16. Let o(b) = -b**3 - 2*b**2 + 8*b + 10. Let a be o(-4). Let d be q(a). Is 1524/(-18)*6/d prime?
True
Is (-26 + (-3100)/(-120))*2*-1342059 a prime number?
True
Let c be (-3382)/114 - ((-4)/(-3))/1. Let z(j) = -123*j + 220. Is z(c) a composite number?
True
Suppose 83*p = 1894715 + 308852. Is p a prime number?
False
Let v(p) = -p**3 - 17*p**2 + 23*p + 22. Suppose 0 = -7*r + 9*r - 38. Suppose 6*a = 5*a - r. Is v(a) composite?
False
Suppose -4*y = -2*a + 6, 4*y + 0*y - 9 = 5*a. Suppose -4*v - 451 = -2*t - 1351, -v = 2*t - 215. Is (-15 + 11)*v/y a composite number?
False
Let s(b) = 3*b**2 + b - b + 5 - 5*b**2 + b**3. Let x be s(3). Is (x/(-1))/(3735/(-745) + 5) a prime number?
False
Suppose -23*h = -94 + 25. Suppose 0 = -h*u - 3, 4*u + 62519 = 4*d + u. Is d a prime number?
True
Let v = 6 + 3. Let x(l) = v*l**2 + 521 - 18*l**2 + 10*l**2 + 2*l. Is x(0) prime?
True
Let b(n) = 8*n + 6431 + 12*n - 10*n. Is b(0) a prime number?
False
Let l(j) = 7*j**2 + 2*j - 9*j**2 + 4*j**3 - 3*j**3 - 12. Let k be l(7). Suppose r - 82 = k. Is r a composite number?
True
Let a be (0 + 36/30)/((-2)/(-15)). Let d be 30/a*150 - 3. Let l = -102 + d. Is l composite?
True
Let s(t) = 1070*t**3 + 9*t**2 + 29*t - 9. Is s(10) composite?
False
Let z be ((-501)/(-7) - -2) + (-15)/(-35). Let q = z + 3824. Is q a composite number?
True
Suppose 475568 + 25536 = 16*y. Is y prime?
True
Let q be (-1*3)/(57/266). Let m be ((-21)/q)/(1/4). Suppose 1024 - 226 = m*g. Is g prime?
False
Let j(x) = -x - 8. Let k be j(-5). Let c(q) = -23*q**2 - 2*q - 12. Let b(h) = 22*h**2 + 2*h + 11. Let d(p) = 5*b(p) + 4*c(p). Is d(k) a prime number?
True
Suppose 3*c = 3*k - 5363984 + 510728, c = 5*k - 8088748. Is k composite?
True
Suppose -52924 = -5*h + 2*w, h - 3*w = -6*w + 10595. Let m = 18733 - h. Is m prime?
True
Let z be (3*33)/(19/551). Is 4/(-10) - (z/(-15) - -4) composite?
True
Let g(m) = -7*m - 20. Suppose -13*k = -8*k + 20. Let s be g(k). Is (4/s)/((-2)/(-872)) a prime number?
False
Let q(s) = s**3 + s + 1069. Let k be -21*(20/84 - (-4)/(-7)). Suppose -k*w + 10*w = 0. Is q(w) a composite number?
False
Let w = -83 - -85. Suppose -w*c = 3 - 7. Suppose 6*h + c*h - 5416 = 0. Is h a prime number?
True
Let z(a) = 3*a - 27. Let c be z(12). Let g(y) = -35*y + 1068. Let v(i) = -9*i + 267. Let m(x) = c*v(x) - 2*g(x). Is m(0) prime?
False
Suppose 10 = 5*s, -3*c - 4*s = -2*c - 11. Suppose -5*d = -q + 652, 2*q - 3316 = -3*q - c*d. Suppose -690 = -3*u - n + q, 2*u - 3*n = 883. Is u a prime number?
True
Let z = 2203 - 637. Suppose 3140 = 3*h - 3499. Let r = h - z. Is r composite?
False
Let q(d) = d**3 - 5*d**2 - 10*d - 23. Let l be q(7). Suppose -l*p + 3600 = -46235. Is p a prime number?
True
Let k(u) = 3204*u**2 + 887*u + 8078. Is k(-9) a prime number?
True
Is 10 + 3/(2 + 1)*139651 a prime number?
True
Let k(s) = s**3 + 76*s**2 + 58*s + 98. Is k(-73) composite?
True
Let t be (8/(-10))/((-4)/10). Let r be (2 + -8)*(-36)/108. Suppose -2*g + 1274 = t*y, y + r*y - 641 = -g. Is g prime?
False
Suppose 0 = 4*b + 2*n - 2, 2*b = 4*b + 3*n - 7. Is ((b - -1) + 13285)*(-20 - -21) a composite number?
True
Is 107411 + (-5)/45*0 a prime number?
False
Let h be 2/7 + (-2 - (-60)/(-14)). Let a be (-3 - h)/9 + 4686/9. Suppose 1747 - a = 2*v. Is v prime?
True
Let a(x) be the first derivative of -x**4/4 + 16*x**3/3 - x**2 + 13*x + 9. Let t be a(13). Suppose 3*y + t = 5*y. Is y prime?
False
Let v = -49 + 56. Let x(z) = v - 10 - 53*z - 18 - 3. Is x(-7) composite?
False
Let i = -344 - -350. Let s(z) = 258*z + 13. Is s(i) a prime number?
False
Suppose 0 = -b - 5, -4*j = 2*b + 3 - 1. Let t(h) = 272*h**3 - h + 1. Let m(k) = 272*k**3 - k**2 + 2. Let v(a) = -2*m(a) + 3*t(a). Is v(j) a prime number?
False
Let h(o) = 722*o - 14. Let r be h(1). Let v be 3/1*76/12. Suppose -v*l = -15*l - r. Is l a prime number?
False
Let o be 0 + 0*(-2)/2. Suppose -11*n - 753 = -841. Suppose o = n*x - 7*x - 1315. Is x prime?
False
Suppose -21*v + 8384872 + 4752911 = -3802434. Is v prime?
False
Let i(a) = 5462*a + 5. Let s(p) = -8193*p - 9. Let b(u) = -7*i(u) - 5*s(u). Is b(3) prime?
False
Let b(x) = -x + 21. Let