+ 164*l + 2886. Is j(149) composite?
False
Suppose 4*u + 154 = 2*u. Let z = u + 88. Suppose z*n + 2252 = 13*n. Is n a prime number?
False
Suppose -26 = -7*l - 5. Suppose 25271 = 2*g - 3*i - 2408, -g + l*i = -13838. Is g prime?
True
Let h(c) = -c**3 - 6*c**2 + 22*c + 17. Let s be h(-9). Is (-9942)/(-4)*s/93 a prime number?
True
Suppose -4*f - 2*k + 383468 = 0, -381*f + 287605 = -378*f + 2*k. Is f prime?
False
Let v(j) = 34*j**2 - 13*j - 5. Let p be v(-5). Suppose 0 = -8*i + 346 + p. Is i composite?
False
Suppose -72 = -4*x - 12. Let a = 94 + -81. Suppose -138 = -x*p + a*p. Is p prime?
False
Suppose -4618 = -5*a + 3*g, 5*a = 2*a - 2*g + 2786. Let b = 3535 - a. Is b prime?
True
Let v(n) = 3*n + 30. Let g be v(0). Let p be g/4*(-456)/(-9) - 1. Let h = p - -142. Is h a composite number?
False
Suppose -2*z = -z - 2. Suppose -z*h + 4*n = 28, -3*n - 62 = 5*h - 5*n. Is (-673)/((-4)/(h/(-3))) a composite number?
False
Suppose 0 = 2*i - 170 - 76. Let k = i + -12. Is k a composite number?
True
Let b(i) = -14*i + 4 - 47 + 19*i. Let q be b(9). Is (10673/26)/(1/q) a prime number?
True
Let q(t) = t + 4. Let f(c) be the second derivative of c**3/3 + c**2 - 18*c. Let r be f(-2). Is q(r) a prime number?
True
Let n(d) = -d**2 + 4*d + 42. Let b be n(-7). Let o(y) = -y**3 - 33*y**2 - 36*y - 27. Is o(b) composite?
True
Suppose 24*k - 535474 = -170194. Let b = 23231 - k. Is b a composite number?
False
Let v(k) = 971 - 2989 + 985 - 27*k + 1001. Let x(g) = 2*g + 3. Let p be x(-5). Is v(p) a composite number?
False
Suppose 409*b = 411*b - 8. Suppose -7*y - 3*i = -b*y - 2859, -2*y + 5*i = -1906. Is y composite?
False
Let a be 12 - (-1)/3*-9. Suppose -8 = a*q - 11*q. Is 1876/q + (-3 - -3) composite?
True
Let h = -1139 + 5273. Suppose -5*p + 0*p = -15, 3*b = p + h. Suppose -3*a + 784 = -b. Is a composite?
True
Let q(p) = 2*p - 27. Let m be q(10). Let h(f) = -2*f - 15. Let c be h(m). Let v(n) = -408*n**3 + 3*n**2 + 5*n + 3. Is v(c) a composite number?
False
Let s(u) = -u**2 - 36*u + 355. Let m be s(-44). Let x(g) = 160*g - 5. Let a(y) = 159*y - 6. Let o(f) = -4*a(f) + 5*x(f). Is o(m) composite?
False
Suppose -2*s - 7*a + 3*a + 12 = 0, 4*s - 4*a = 0. Let v(q) = 3*q - 127*q**2 + 7 + 0*q - 3 + 129*q**s. Is v(-6) prime?
False
Let z(l) be the second derivative of -l**4/12 - 13*l**3/6 + 5*l**2/2 + 22*l. Let v be z(-13). Suppose -v*u + 2512 = -1423. Is u composite?
False
Let n be (8/(-14)*-1)/(154/539). Suppose -n*q + 1946 = -11956. Suppose 0*v = -7*v + q. Is v prime?
False
Suppose 5626 = -4*c + 2*o, -3*c = c + o + 5623. Let g = 2205 + c. Is g prime?
False
Suppose -5*z - 8538 - 9937 = 4*r, -2*r - 40611 = 11*z. Suppose -5*t = -5*b + 145, -2*b = 5*t + 2*b + 172. Let n = t - z. Is n composite?
False
Let r = -10 - -110. Let p be r/(-26) + (-6)/39. Let a(z) = -2*z**3 - 2*z**2 + 4*z + 9. Is a(p) prime?
True
Let k = 7495 - 1761. Suppose y + k = t, 0 = 40*t - 37*t + y - 17214. Is t a composite number?
False
Let l(a) = -6*a**3 - 3*a**2 - 89*a + 131. Let k(w) = -2*w**3 - w**2 - 30*w + 44. Let r(f) = 8*k(f) - 3*l(f). Is r(12) a prime number?
False
Let i be -2 + 1/(-3)*(-198)/6. Suppose -i*z - 15 = -14*z. Suppose 2*t - 786 - 445 = -d, z*d + t = 3683. Is d a composite number?
True
Let f(o) = 369*o**3 + 14*o**2 - 91*o + 623. Is f(9) prime?
True
Let o(q) = -3*q**2 + 4*q - 2. Let f be o(2). Let r be (-189)/f*2/3. Is 6314/r - 3/(-9) prime?
False
Suppose 4*x - 184 = 692. Let d = -5 - x. Let s = 555 + d. Is s a prime number?
True
Suppose -4 = 4*d - 4*w, -d + 4*w + 5 = 3. Let q be 158*(4 - (3 + 43/d)). Suppose 0 = 4*r + 5*r - q. Is r a composite number?
True
Let r(u) = -10*u**3 + 9*u**2 + 2*u + 25. Let i be r(-8). Let x = -2524 + i. Is x composite?
False
Is 98212 + 3 + (-14 - (7 + -13)) a composite number?
False
Let a(z) = -z**3 + z**2 - 6*z + 7. Let t(r) be the third derivative of 5*r**4/24 - r**3/2 - 2*r**2. Let p be t(-1). Is a(p) a composite number?
False
Let j(c) = 9*c**2 + 2*c - 3. Let i = 44 - 48. Let s be j(i). Suppose -h - 124 = -q - 0*h, q - s = -2*h. Is q prime?
True
Let j(a) = 46*a**2 + 2*a - 3. Suppose 3*v = 5 - 2. Let b be j(v). Suppose 31 = 46*h - b*h. Is h a prime number?
True
Let y be 2*(-93)/12*-2*2. Suppose 0 = -2*a + y + 18. Suppose -a*h - 3719 = -41*h. Is h a prime number?
True
Suppose 0 = -2*n - 282 - 314. Let f = n - -162. Let y = 129 - f. Is y prime?
False
Suppose -9192*b + 9178*b + 13733762 = 0. Is b a prime number?
False
Let a(h) = -7*h + 17. Let t be a(3). Let y be (0/2)/1*(-5)/10. Is 1819 - (y/t - 4 - -4) a prime number?
False
Let m = -11334 - -6783. Is -6 + (-4 + 6 - m) a prime number?
True
Let g(o) = o**2 - 36*o - 18. Let s be g(37). Suppose s*y - 8222 = 17*y. Is y prime?
True
Let g(o) = -394*o**3 + 9*o**2 + 17*o + 38. Is g(-7) a prime number?
False
Let s = -1107 - -331. Let x = -271 - s. Is x a composite number?
True
Let w be (-30)/(-24) - -5 - (-1)/(-4). Is w/(-21)*-7 + 471 a composite number?
True
Suppose 0 = -235*c + 216*c + 461795. Is c a composite number?
True
Let j(n) = 705*n**2 + 36*n - 143. Is j(4) a composite number?
True
Suppose 2026633 = 71*w - 10790074. Is w a prime number?
False
Suppose -2*y + 27363 = -2*p - 20429, 5*p = y - 23916. Is y a composite number?
True
Let o(u) = 7286*u + 1879. Is o(19) a composite number?
True
Suppose 10*m + 13*m = 102557. Let z = m - -4354. Is z a prime number?
False
Let k(l) be the third derivative of -67*l**6/120 + 7*l**5/60 + l**4/3 + 6*l**3 - 139*l**2. Is k(-5) a prime number?
False
Is ((-6054416)/(-40))/((-30)/(-75)) a prime number?
True
Is 10/(-40)*-4908146 + 3/6 a prime number?
False
Let q be 1 - ((0/5)/5)/(-1). Let y(i) = 4298*i - 15. Is y(q) a prime number?
True
Let l(s) = -3*s**2 + 3*s - 10*s + s**3 + 5*s - 4. Let c be l(4). Suppose 3*v + 2*v + 1749 = 3*h, -c*h + 4*v = -2332. Is h prime?
False
Let h be (-16367)/(6/20*(-5)/(-6)). Is (9/12)/((-39)/h) composite?
False
Let f = 65666 - -177851. Is f a prime number?
True
Suppose 0*w - 4*w - 5*g + 65 = 0, 3*w - 5*g = 5. Suppose 0 = 5*b - w, 4*n + 2*b - 8 = 3*n. Suppose -2*j - 4787 + 132 = -5*q, 2*q - n*j - 1846 = 0. Is q prime?
False
Let t(h) = -h - 1. Let s(a) = -50*a - 9. Let b(q) = s(q) - 2*t(q). Suppose 3*c - 44 = 14*c. Is b(c) prime?
False
Suppose 2*m = 4*r - 417114, 418*r - 416*r = -5*m + 208587. Is r a composite number?
False
Let t(c) be the first derivative of 3*c**3 - 7*c**2 + 18*c + 12. Let n be t(-19). Suppose 0 = -4*v + 3*k + n, v - 5*v + 3523 = -5*k. Is v prime?
True
Let p(y) = y**2 - 10*y + 26. Let f be p(6). Suppose 3*d + 2061 = 3*m - 930, -5*d = f*m - 2029. Suppose -u + m = v, 5*u - 3584 - 1476 = 5*v. Is u a prime number?
False
Let f(v) = v**3 - 96*v**2 + 1268*v - 488. Is f(109) prime?
False
Let x = 200982 - 110753. Is x prime?
False
Let d = -139396 - -233135. Is d composite?
False
Suppose -116*k + 3063362 = -10989959 - 4632075. Is k prime?
False
Suppose -5*x - 230119 = -i, -160*i + 162*i - 460292 = x. Is i composite?
False
Let l = -26713 + 63584. Is l a composite number?
False
Suppose -2*t + 348641 = -13*k + 16*k, 4*k - 5*t - 464824 = 0. Is k prime?
False
Suppose -5*s + 3*z = -7*s + 438505, -4*z + 4 = 0. Is s a composite number?
False
Let u(v) = 4*v**3 - 14*v**2 + 3*v + 20. Let l be (0 + (-44)/(-10))*(-55)/(-22). Is u(l) composite?
True
Let t(m) be the second derivative of 479*m**3/2 - 3*m**2/2 - 29*m. Let l be t(4). Suppose d = -x + l, d - 2*d = 3*x - 17239. Is x a prime number?
False
Suppose -13*u = 5*o - 19*u - 25863, -4*o + 4*u = -20688. Is o a composite number?
True
Suppose -9*f + 5*f = 4*x - 132, -2*f + 81 = 5*x. Suppose -21*m + f*m = 2149. Is m a composite number?
False
Let q = 61351 + -40482. Is q prime?
False
Suppose 3*k - 671085 = 2*t, -3*t = 5321 - 5330. Is k composite?
False
Suppose -3*y - 4*q = -y - 16, 2*y = 4*q + 8. Let d(o) = 13*o**2 - 3*o + 4. Let j be d(6). Suppose -s + j = 5*g, -y*s + 2*g = -2*s - 1926. Is s a prime number?
True
Suppose -21*k = -60*k - 60*k + 42271317. Is k prime?
False
Is 14158*(19 - 18) - 15 a prime number?
True
Let w = -54 + 55. Let h be 940/16 + w/4. Let k = h - -428. Is k composite?
False
Let c(m) = -85*m - 52. Let b be 4/(4/2)*375/(-30). Let g be (2*-10)/(-5) + b. Is c(g) a prime number?
True
Let n = -4792 + 16463. Is n composite?
True
Suppose -p = 12*p + 65. Let h = 1104 - p. Is h a prime number?
True
Let i = -31