e t(-54). Suppose -s = -4*l - j, 3*l - 3*j - 3523 - 236 = 0. Is l a prime number?
True
Let f = 73001 + -11130. Is f prime?
True
Suppose 7*m - 4*m = x - 112, 522 = 5*x + 4*m. Let k = -92 + x. Is k a prime number?
False
Let f(m) = 2*m**2 + 5*m - 3. Let c be f(-4). Suppose -c*x + 3*x + 1746 = 0. Is x a composite number?
True
Let i = 101193 + -71530. Is i a prime number?
True
Suppose 4*l + 5*d = 5*l - 6, -4*l + 2 = 2*d. Let c be l/((4 + -7)/(-9)). Suppose 10*q + i - 370 = 5*q, -2*q + 148 = -c*i. Is q a prime number?
False
Let l(t) = 24*t**2 + 489*t - 34. Is l(89) a prime number?
True
Suppose -2*a + 4*w = 20, 0*w + w + 22 = -4*a. Let p(k) = -2*k**3 - 7*k**2 + 6*k + 4. Let o be p(a). Let i = o + -59. Is i prime?
True
Let x = -32540 - -100723. Is x a composite number?
True
Let d = -85 - -90. Suppose -17557 = -g + 4*r, -d*g - 17575 = -6*g - 2*r. Is g prime?
True
Let v(p) = -p**3 - 13*p**2 + 2*p + 38. Let a be v(-13). Suppose 20 = -4*g + a. Is 574*(-1)/1*1/g composite?
True
Suppose -i = -3*l + 5*l, 4*l + 12 = -5*i. Is l + -255*(-13 + -6) a composite number?
True
Let o = -10 - -12. Suppose -h + 0 + 3 = 0, o*h + 6 = 4*c. Is (-2 + 4613/(-28))*(-1 - c) a composite number?
True
Suppose 0 = -8*d + 213651 + 12157. Let y = d + -19111. Is y prime?
False
Let r(h) = 126*h**2 - 33*h - 251. Is r(-28) prime?
False
Let w be (-20)/(-70) + (-2586)/(-14). Let l(d) = -393*d + 1 - 110*d - w*d + 60*d. Is l(-2) prime?
False
Suppose 0 = 5*b - 5*f, -b + 0*b = -2*f + 3. Suppose 7*d - b*d = 0. Suppose d = h - 4*h - 5*t + 2809, 5*t = -20. Is h a composite number?
True
Suppose 4*v + 4*v = 24. Suppose 2*p - v = 3*t, -t = -4*t - 2*p - 15. Is -1*617/t - 6/9 a composite number?
True
Let w(s) = -4*s + 51. Let v be w(11). Suppose -v*m = 3*l - 2*m - 14889, 5*l - 24815 = m. Is l composite?
True
Let o(u) = 166 - 53*u + 50*u - 59*u + 33 - 47*u. Is o(-6) a prime number?
True
Let r = -304 + 308. Suppose 3*g + 2*g + 4*x - 1461 = 0, -5*x = r*g - 1167. Is g a prime number?
True
Let s = 39097 - -23674. Is s composite?
True
Let n = 190382 - -366987. Is n a prime number?
True
Suppose 246305 = 10*j - 8*j + m, 5*j - 615750 = -5*m. Is j composite?
True
Let s = 5 + 47. Suppose -s = -3*f + 8. Suppose 0 = -5*w + f, 3*a + 3*w - 65 = 2704. Is a a composite number?
False
Suppose 3*u = -2*w + 1056026, 0 = 2*w + 341*u - 337*u - 1056026. Is w prime?
True
Suppose 2*u - 60 = -13*u. Suppose 5*v + u*i = 1633, v + 3*i + 1654 = 6*v. Is v prime?
False
Let w = -18 - -28. Suppose 4*p + 5 = 4*l - p, l = 5*p - w. Suppose 16 = l*x + 6, -4*x + 677 = 3*u. Is u prime?
True
Let h(i) = 2*i**3 + 7*i**2 + 19*i - 6. Let x be h(8). Suppose 5*n = -10, -w + n = -n - x. Is ((-17)/(-3) + -5)/(4/w) a composite number?
False
Let x(c) = c**3 + 3*c**2 - 4*c. Let t be x(-3). Suppose 12*z = 8*z - t, -4*k + 4*z + 10240 = 0. Is k prime?
True
Suppose -b - 4*k = -4*b + 71108, 0 = -4*k + 16. Suppose -4904 = -4*f + b. Is f prime?
False
Let p = -65 + 65. Suppose -3*n + 3*r - r - 2 = p, n - 2*r - 6 = 0. Let s(m) = -618*m + 19. Is s(n) a prime number?
False
Let h be 8/(-16) - (-1 + 5/(-2)). Suppose 0 = 2*t - h*t + 7. Suppose -t*r = -2634 - 845. Is r a prime number?
False
Suppose 0 = -q + 7445 + 4322. Suppose 47112 = 4*h - 5*k, -3*k + q = h - 7*k. Is h a prime number?
True
Let q(c) = -c**3 - 9*c**2 - 17*c - 18. Let u be q(-7). Suppose -3*x = -3, u*v + 11760 = x + 83438. Is v prime?
True
Let d(h) = 46*h**2 - 28*h - 42. Let y be d(22). Let w = -6499 + y. Is w a composite number?
False
Let x(s) be the second derivative of 5/12*s**4 + 41/6*s**3 + 0 - 19/2*s**2 - 10*s. Is x(-13) a composite number?
False
Let y = -4719 + 7896. Let z = y + -5673. Let f = 3751 + z. Is f a prime number?
False
Suppose -22064 = -7*n - 0*n. Let p = n + -1503. Is p a prime number?
False
Let p(c) = -c**2 + 8*c + 7. Let w be p(11). Is (-28)/(-182) + (-66010)/w a composite number?
False
Let g = 2127 + 835. Let j = 5207 - g. Suppose -p - 368 - 81 = -x, p + j = 5*x. Is x a prime number?
True
Suppose -25*m = 17*m - 637056. Let f = m - 8395. Is f a composite number?
True
Suppose -5*q + 0 + 10 = 0. Suppose i + 7 = g, -4*i = -5*g - q*i + 26. Let o(z) = -z**2 + 10*z - 3. Is o(g) a composite number?
True
Suppose 4*t + 3*b + 2875 = 0, 0 = t + 3*t - 5*b + 2835. Let r = t + 1232. Is r a composite number?
True
Suppose 15 = -5*w, -7*w + 2*w - 9 = 3*s. Is 0 + s + (9 - -4787) composite?
True
Let i(t) be the first derivative of 4*t**3/3 + 14*t**2 + 23*t - 60. Is i(-38) composite?
True
Let z be ((-10262)/(-4))/(-7*(-12)/168). Suppose 3*a + 3066 = 5*f - z, 4*f - 6536 = -3*a. Is f composite?
False
Let h(r) = r. Let j(k) = 337*k**2 + 5*k + 7. Let l(p) = -6*h(p) + j(p). Let m be l(-6). Suppose i - 6*i + m = 0. Is i a composite number?
True
Suppose 493 = -2*i + 41. Let u = 633 - i. Is u composite?
False
Suppose -270*c + 365*c + 487*c - 156716886 = 0. Is c a composite number?
True
Let x(f) = -48*f**2 - 2*f. Let v be x(4). Let w = -493 - v. Suppose 6*l - 3*i = l + 470, w = 3*l - 2*i. Is l a composite number?
True
Let f = -225 - -175. Is (10/8 - 1)*(-81800)/f a prime number?
True
Let o = 19364282 + -13153123. Is o a composite number?
False
Let c(j) be the first derivative of -21*j**4/2 - 2*j**3 - 5*j**2/2 + 2*j - 1. Suppose -10*l + 2 = -2*k - 8*l, -3*k + 2*l - 5 = 0. Is c(k) prime?
True
Let r = -457 - -458. Is 5 + 3 + 1732 + r composite?
False
Let k = 6413 - 4462. Let r = -3583 + k. Let z = r - -2609. Is z a composite number?
False
Let d(t) = -309*t**3 - 3*t**2 + 11*t - 16. Let b be d(2). Let a = b - -4639. Is a a composite number?
False
Suppose 498*t = 559*t - 1808833. Is t a composite number?
True
Let m = 2990485 + -1552038. Is m a composite number?
False
Let k(x) = 39 + 84*x - 16 - 25. Let n(z) = 83*z - 2. Let r(u) = 4*k(u) - 5*n(u). Is r(-5) a prime number?
True
Let h = 438762 - -24949. Is h prime?
True
Suppose -111 = 3*c - 5*p, 0 = 3*c - 8*c + p - 207. Let v be -12*(-2)/2*c/(-28). Suppose -16*l - 410 = -v*l. Is l prime?
False
Suppose 4*l - 2667588 = -87*l + 7*l. Is l composite?
True
Suppose 35*o - 30*o = 20. Suppose 0 = -9*v + o*v + 1955. Suppose 2*m = a + 677, -m + 2*a + v - 60 = 0. Is m a prime number?
False
Let o(c) = c**2 - 7*c + 5. Let m be o(12). Is -478*(m/(-10) + 5) composite?
True
Suppose 3*j - 312139 - 580074 = -5*y, 0 = 5*y - 3*j - 892177. Is y a prime number?
True
Let j(b) = b**3 + 79*b**2 - 230*b - 49. Is j(-69) a composite number?
True
Let f(x) = 918*x - 1765. Is f(22) composite?
True
Suppose -4*a = 11*j - 48, 3*a + 3*j - 36 = -2*j. Let y be 382/(-1 + (3 - 1)). Suppose -y = 10*p - a*p. Is p a composite number?
False
Suppose 13*a - 82 = 74. Let v(m) = -m**3 + 13*m**2 + 11*m - 32. Let u be v(a). Is u - -5*(6 - 5) composite?
True
Let v(y) = 30*y**2 - 8*y + 1. Let t(m) = -m**2 + 11*m - 24. Let z be t(7). Is v(z) a prime number?
True
Suppose 4*r - 4 + 20 = 0. Is 2210/68 + (-2)/r prime?
False
Suppose -12*w - 1553 = -11393. Is w/(-20)*11*-1 a composite number?
True
Suppose -34*w + 5*i = -39*w + 1111680, 3*w = 2*i + 666973. Is w composite?
False
Let y(f) = 3*f**3 - 32*f**2 + 36*f - 35. Is y(24) a prime number?
True
Let o(i) = i**3 + 29*i**2 + 8*i - 64. Let c be o(19). Suppose 2*r = -4*x - x + 87015, -x - 3*r = -c. Is x prime?
True
Suppose -4*i - 79 = -91. Suppose 4*l - 95 = -i*k + 298, 3*l - 390 = -3*k. Is k prime?
True
Suppose -105*n = -1165795 - 6229250. Is n a prime number?
True
Let b(k) = 9*k**2 + 2*k - 7. Let p be b(3). Let o = -76 + p. Suppose -o*u + 5*m = -1904, -2*u + m - 2*m + 966 = 0. Is u composite?
True
Suppose 0 = 4*z + i + 137, -2*z + 23 = -3*z - 4*i. Let y(h) = -2*h**2 - 80*h + 69. Is y(z) composite?
False
Let k(j) = j**3 + 10*j**2 - 2*j - 4. Suppose 54 = 2*b + 7*b. Let u be 1 - b/(-10)*(-1 - 9). Is k(u) composite?
False
Let c(v) = 29*v**2 + 835*v - 51. Is c(-115) composite?
False
Suppose m = 10*m - 27. Suppose -3*g - 3*q + 2664 = 0, -5*g + 2441 = -m*q - 2007. Is g a composite number?
True
Suppose -a = f - 364, a - 394 = -0*a + 5*f. Let d = -210 + a. Let l = 550 - d. Is l a prime number?
False
Suppose -7*j + 864534 = -15*j + 41*j. Is j a prime number?
False
Suppose k + 61 = -4*p, 2*p - 6*k + 4*k + 28 = 0. Let x(u) = -3*u**3 + 13*u - 17. Is x(p) a prime number?
False
Let c(l) = l**2 - 8*l + 14. Let q be c(5). Let h(p) = -4*p**3 + 2*p**2 + 3*p. Let k be h(q). Suppose -2*m + 234