 15*v + 16*v - 43*v + 1441788. Is v composite?
True
Suppose 2*i - r - 6 = 2*r, -3*i + 3*r + 9 = 0. Suppose -3*d - 3 = -0, 2*h - 351 = -i*d. Suppose -m + h = 2*m. Is m a composite number?
False
Suppose -2*k + 1160993 = 5*k - 1018758. Is k a composite number?
False
Let c(y) = -y**2 - 14*y - 31. Let m be c(-11). Suppose -17*b - m*o = -20*b + 14109, 4*o = 0. Is b prime?
True
Let d be (-42)/(-98) - 32/(-7). Suppose 0 = 3*l - d*l + 9190. Suppose -3*k + l = -n, -n - 3*n = 4*k - 6116. Is k a composite number?
False
Suppose 269010 = 2*l + 16*l. Suppose 0 = v + 4, -7410 = -k - 3*v + l. Is k composite?
False
Let s = 6964 + -231. Is s composite?
False
Let o(u) = -u - 9. Let n be o(-9). Suppose -4*k = 2*w - 6*w, -2*k - w - 3 = n. Let d(t) = 1902*t**2 + 1. Is d(k) composite?
True
Let g be (-8)/(3/(-3)) + -1. Suppose g*l = l + 3384. Suppose 2*s + 210 = -4*z + 764, 2*z - l = -2*s. Is s composite?
True
Let c(v) = 35*v**2 - 19*v + 23. Let d(r) = -18*r**2 + 9*r - 12. Let q(t) = 3*c(t) + 5*d(t). Let m be q(13). Is (2/(-4))/((-2)/m) composite?
True
Let h(f) be the second derivative of 3*f**5/20 - 7*f**4/12 - f**3/6 + 11*f**2 - 7*f. Let x = -789 - -798. Is h(x) prime?
False
Let o = 854880 - 427667. Is o composite?
False
Is ((-64105)/(-3) - 1)*(23 - (-2726)/116) a composite number?
True
Let c(v) be the first derivative of 1608*v**2 + 14*v + 163. Is c(3) a prime number?
False
Suppose -3*o - 5*p = -601296, -2*o = -4*o + 5*p + 400889. Is o a composite number?
False
Is (4 + -3)/((42/821471)/6) prime?
True
Let t(k) = 796*k**2 - 3. Suppose 4*o - 8 = 2*h, -4*h = -6*h + 3*o - 5. Is t(h) prime?
True
Suppose -2*x - 5*u = -136103 + 53771, -8 = -4*u. Is x a prime number?
True
Suppose -d + 19 + 24 = 4*k, -6 = -2*d. Suppose w = -k*w + 33. Suppose w*j = 3*m + 46 + 884, 4*j + 4*m - 1216 = 0. Is j a prime number?
True
Suppose -2*y - y + 2*j + 162 = 0, 5*j = 5*y - 265. Suppose -5285 = 51*c - y*c. Is c composite?
True
Let g(w) = 140*w**2 - 7*w + 15. Let l be g(-8). Let y = l + -2658. Is y composite?
False
Suppose 230*p - 228*p + 3*v - 25360 = 0, -p = -4*v - 12647. Is p a composite number?
False
Let j be 88331 + 0 + (-4)/(-2) + 0. Suppose -22*h + j - 28427 = 0. Is h a composite number?
True
Let i(t) = 269464*t + 445. Is i(3) a composite number?
False
Let y = 14 - -718. Let i = 5483 - y. Is i a composite number?
False
Let t be ((-20)/2)/(-5)*1. Is 660 - t/(-6)*-3 composite?
False
Let w = -577816 + 901918. Is 2/(-8)*-2 - w/(-76) composite?
True
Let t(v) = 7*v - 293. Let f(u) = -20*u + 879. Let o(z) = 3*f(z) + 8*t(z). Suppose -3*l + 3 = -2*l + 3. Is o(l) prime?
True
Suppose 33934 + 20282 = 12*t. Suppose -3*x = -12*x + t. Is x a prime number?
False
Suppose 5*g = m + 4, 3*g + 8 = 7*g + 4*m. Is (2 - g)*-4 + 6035*3 prime?
False
Let g(u) = 84808*u - 179. Let j be g(-7). Is j/(-23) + (-9 - (-1045)/115) a prime number?
True
Let v be (70/25)/((-4)/(-10)). Suppose -v*w = -0*w - 15043. Suppose 0 = -3*x + w - 22. Is x prime?
True
Let m(h) = 247*h**3 + 4*h**2 - 13*h + 99. Is m(4) prime?
True
Let q(d) = d**3 + 5*d**2 + d - 10. Let b be q(-4). Suppose b*c = 5*c - 2634. Let v = -361 + c. Is v prime?
False
Let v = -222399 - -408172. Is v composite?
True
Suppose 14*q - 9*q - 4*b - 20 = 0, -5*b = 2*q - 8. Suppose 14*k - 12*k + 5*i = 1467, q*i - 3625 = -5*k. Is k a prime number?
False
Let q = 43 - 18. Suppose -46 = -3*t - q. Suppose t*d = d + 4614. Is d prime?
True
Let l = 89 + -85. Suppose 0 = l*m - d - 2625, 5*m + 9*d - 3250 = 4*d. Suppose 1079 + m = 6*u. Is u a prime number?
False
Let s(p) = 273*p**2 - 2*p - 160. Let w be s(13). Let t = 80066 - w. Is t a composite number?
True
Is (29115519302/(-306))/(-59) - 2/(-9) prime?
False
Let f = 113224 + -382048. Is f/(-28) - (6 - (-129)/(-21)) prime?
True
Let z = 18073 - 10364. Is z prime?
False
Suppose -23*s = -3*s + 12*s - 4595488. Is s prime?
True
Let g(n) = 5*n + 588 + 5*n - 6*n + 115. Is g(0) composite?
True
Suppose -4*s + 34227 = -3*d, 4*s - 42790 = -s + 5*d. Suppose 5*w - 1332 - s = 0. Is w a composite number?
True
Suppose -4 = -3*u - u - y, -5*u + 2*y = -18. Suppose 7*a - u*t = 4*a + 11939, -3*t = 12. Is a composite?
True
Suppose 48 = -22*y - 238. Let k(w) = -12*w**3 - 16*w**2 - 27*w - 18. Is k(y) a composite number?
False
Let q = -100593 + 173104. Is q a composite number?
True
Suppose -4*v - 2*c + 19346 = -v, -2*v - c = -12896. Let f = v - 3789. Is f a composite number?
False
Suppose 5*u - s = 516475, 0 = u + 4*s - 109118 + 5844. Is u a composite number?
True
Suppose 0 = 3*j - 23 + 14. Suppose 3382 = 4*b - j*b - 5*g, 17045 = 5*b + 2*g. Is b prime?
True
Let n be 10713 - ((-5)/(-20))/((-3)/(-12)). Suppose -14*p + 9980 = -n. Is p a composite number?
True
Let a(f) = -54*f**2 - 9*f - 13. Let u be a(-5). Let m = u - -8429. Is m a composite number?
True
Suppose -3*k = -k - 6078. Suppose 0 = 2*x - 3525 - k. Is (-21)/(-42) - x/(-4) prime?
True
Let y = -11 + 12. Let k(i) = -108*i + 3. Let x be k(y). Is (-3490)/(-14) + 30/x prime?
False
Let d(p) = -p**2 - 20*p + 3. Let w(f) = -f**3 - 5*f**2 + 11*f + 5. Let v be w(-7). Let j = -36 + v. Is d(j) a composite number?
False
Let s = 51443 - -30068. Is s composite?
True
Let l(z) = z**3 - 4*z**2 - 16*z + 27. Let y be l(6). Suppose y*b + 5*c - 6181 = 327, b - 2136 = 5*c. Is b a composite number?
False
Is (-72)/20 - -4 - ((-983499)/(-15))/(-1) a prime number?
False
Let h = 753 - 747. Is -3 + h + -1 - -14897 a prime number?
False
Suppose -236299 - 22073 = -36*o. Let l = o + -3078. Is l a composite number?
False
Suppose 0 = 4*m + m - 2*a - 240747, m = -3*a + 48163. Is m a composite number?
True
Let i(d) be the second derivative of 79*d**3/2 - 5*d**2/2 - 30*d. Let g be i(1). Let b = 701 - g. Is b prime?
False
Let m be ((-6)/18)/((-4)/24). Let a(x) = 5*x - 2. Let n be a(m). Suppose 4*y = n*y - 1996. Is y prime?
True
Suppose -4*g = 5*s - 329, -2*g = g - 3*s - 267. Suppose -18 = 84*i - g*i. Suppose -4*c - 9865 = -i*c. Is c composite?
False
Let x = 185 - 162. Suppose -3696 = x*p - 74513. Is p a composite number?
False
Let o = -25 + 29. Suppose 4*b - 210 = -2*p - 0*p, o*b = -5*p + 207. Is b a prime number?
True
Let q be 4 + 2 - (-1 + 5) - -30711. Suppose l - 2 = -6, 5*l + q = 3*v. Is v composite?
True
Let g(x) = 2 + 535*x**2 - 323*x**2 + 679*x**2. Is g(2) a composite number?
True
Let a = -1244836 - -1774899. Is a composite?
False
Let b be 43428/49 + -8 - (-2)/(-7). Let y = b - -2669. Is y a composite number?
False
Let i(y) = 33782*y - 877. Is i(2) a prime number?
False
Suppose 103 = 5*o - 112. Let s = o - 36. Suppose -4*i = 4*j - 3092, 3072 = -3*j + s*j - i. Is j composite?
False
Suppose -24*a + 19*a = -3*h - 564635, -3*a + 338781 = -3*h. Is a a composite number?
False
Suppose 13*j - 2307 = 16*j + 3*s, 0 = 2*j - 3*s + 1558. Let g = j - -2310. Is g composite?
True
Is 36125 - (2/1 - 1)*-6 a composite number?
False
Let l(m) = 1932*m**2 - m - 2. Let s be l(2). Suppose 3*j = 3*w - 22101, -s = -4*w + j + 21732. Is w a prime number?
False
Let l(z) = 50*z**2 + 32*z - 61. Let m be l(2). Let u = 582 - m. Is u prime?
True
Let g = 34101 - 11189. Suppose -5457 = -11*v + g. Is v prime?
True
Suppose 256 + 628 = -4*o. Let v = o + 430. Is v a prime number?
False
Let j(v) be the first derivative of 2*v**3/3 + 4*v**2 + 7*v + 250. Suppose 4*w + 19 = -21. Is j(w) prime?
True
Suppose -29*f + 10*f + 36*f = 788341. Is f a prime number?
False
Suppose -3*d = 5*u - 284704, 474528 = 5*d + 12*u - 9*u. Suppose 26*x - 14*x = d. Is x prime?
False
Let x be 13/(-2) + 6/(-12). Let y(q) be the third derivative of 2*q**5/3 - 3*q**3/2 - 13*q**2 + 4*q. Is y(x) a prime number?
True
Let r(q) = -q**3 - 44*q**2 + 91*q - 43. Let i be r(-46). Suppose -143558 = -3*c + 2*p + 7153, c = -i*p + 50248. Is c prime?
False
Let m(p) = -2143*p - 518. Is m(-15) composite?
False
Let n(t) be the third derivative of 703*t**4/24 - 155*t**3/6 - 5*t**2 - 10. Is n(6) prime?
False
Let f = 62618 + 20229. Is f prime?
True
Let k = 948 + 924. Suppose -k = 5*t - 4462. Suppose 0 = -6*h + 4*h + t. Is h composite?
True
Let g be (-1 + 0 + -2)*(-11 - -12). Is (-7 - (g - 2))/(4/(-4054)) prime?
True
Suppose -11*f + 19*f = 32. Suppose f*b = 34628 - 11608. Is b a prime number?
False
Suppose -15*a - 67435 = -1389820. Is a prime?
False
Let l be ((-236)/3)/(2/39). Let b(h) = h**3 + 26*h**2 - 11*h + 39. Let a 