2*a. Suppose a = 8*x - w*x. Is x a composite number?
True
Let v = -5319 - -14324. Is v a composite number?
True
Let k(l) = -l**3 + 17*l**2 - 18*l + 30. Let d be k(16). Is (-48 - -2 - d)*57/(-12) a composite number?
True
Suppose 2*l - 3*l + 3*z + 18 = 0, -l + 10 = -5*z. Let o = -169 + 294. Let r = o - l. Is r prime?
False
Let w = -23112 + 38135. Is w composite?
True
Suppose -95*u = -68*u - 657369. Is u a prime number?
False
Let c(x) = 371*x**2 + 2*x - 2. Suppose 5*q + 19 = 4*v, 0*v + v - 4 = q. Let y be c(v). Let j = y - -8. Is j a composite number?
False
Let t be (-1 + 21)/1*(-458)/(-4). Suppose -4322 - t = -12*k. Is k a composite number?
True
Let i = 4064 - 2521. Is i prime?
True
Suppose 0 = 98*v - 90*v - 188248. Is v composite?
False
Suppose -2*x + 4*h - 2*h = 958, -2*x - 2*h - 950 = 0. Let t(k) = 78*k**2 - 5*k + 7. Let g be t(3). Let f = g + x. Is f a composite number?
True
Let z(a) = -2521*a**2 + 16*a - 8. Let j be z(4). Is j/(-32) + (-1)/(-4) prime?
True
Let x be (4/1 + 10)*(-15)/(-2). Suppose -162 = -2*v - v. Let n = x - v. Is n a composite number?
True
Let y(v) = 73*v + 62. Is y(35) a composite number?
False
Suppose 3*m + 6 - 204 = -5*d, 2*d - 83 = -5*m. Let t(s) = 0*s - 2*s + 1 + d*s**2 + 5*s + s. Is t(4) prime?
True
Let q be 10/25 - (-2)/(-5). Suppose -3*d + 6*d + 132 = q. Is (-5 - -1)*561/d a composite number?
True
Is ((-4)/8)/((-23)/117346) a composite number?
False
Let f(p) = -p**3 - 15*p**2 - 6*p + 37. Suppose -q - 25 = 5*j, 53 = -5*q - 3*j - 28. Is f(q) prime?
True
Suppose -52*h + 46*h = -104772. Is h composite?
True
Let a(k) = -k - 1. Let f be a(-4). Suppose -2*j + 1 - f = 0. Is (-190 + j)/(9 + -10) a composite number?
False
Let p(u) = 4*u**2 + 6*u - 31. Let i be p(10). Suppose 3*r - i = -0*r. Is r a prime number?
False
Let j = 7113 - 3913. Suppose -j = 8*i - 18504. Is i composite?
False
Let g = 162500 - 113907. Is g a prime number?
True
Let c be 6 + 0 - 4 - 9. Let q be 3/c - (-31)/7. Is 86 - (q + 5/(-1)) a composite number?
True
Let p be 34/10 + 0 - (-64)/(-160). Suppose -5*m + 4*m + 946 = 5*z, 4*z - 2783 = -p*m. Is m composite?
True
Let w = 99 + -93. Suppose -791 = 5*k - w*k. Is k composite?
True
Let v(x) be the first derivative of -3*x**4/4 - x**3/3 + x + 2. Let o be v(-1). Is -1 - (3 + o*-51) a prime number?
True
Let o(k) = -9 - 8*k**2 - 6*k - 7*k**3 + 0 + 4*k**3 - 10*k**3. Let b be o(-6). Suppose 5*t - b = -472. Is t composite?
True
Suppose 5*w = j + 3125, -w + 309 = -j - 316. Let k = -330 + w. Let a = -36 + k. Is a a prime number?
False
Let v(d) = d**2 - 2 + 1 - 23*d**3 + 29*d**3. Is v(2) a prime number?
False
Suppose -q - 3*j = j + 8, 5*j = -10. Let l = -43 + 114. Is l - q/(-4 - -3) a prime number?
True
Suppose 5*f + 1 - 11 = 0. Suppose -15 = 7*g - f*g. Is (11 - 0)*(10 + g) a composite number?
True
Suppose -458 = 2*s - f, 3*f + 219 = -2*s - 255. Let b = 503 - s. Is b prime?
False
Let g(t) = -161*t + 9. Let c be g(12). Is (-3 - 0)/9*c prime?
True
Let w = 7 + -11. Let m = w + -26. Let t = 49 - m. Is t composite?
False
Let h(b) = 96*b**2 + 7*b + 50. Is h(-7) composite?
True
Let t(x) = 645*x**3 - 9*x**2 + 24*x + 5. Is t(3) composite?
True
Suppose 3*w - 5*w = 2*o + 4, 22 = 5*w - 3*o. Suppose 0 = 2*m + w*n - 3116, 5*m - 7822 + 20 = -n. Is m a prime number?
False
Let y = -8730 - -17261. Is y a composite number?
True
Let t be (1 - -1)/((-4)/(-478)). Let x = 244 - 192. Let y = x + t. Is y a prime number?
False
Suppose 0 = -67*k + 71*k - 8. Suppose -k*r - 2*w + 1396 = -7*w, -2*r - 5*w = -1396. Is r a prime number?
False
Suppose 9*a = 5*a + 1012. Suppose r - a = -4*i, 3*i + 4*r = -2*i + 330. Is i a composite number?
True
Let m = -26 + 12. Let q = -11 - m. Suppose -z = -q*z + 238. Is z prime?
False
Let z(c) be the first derivative of -193*c**4/4 + 2*c**3/3 - c + 1. Suppose -5*f + 3*g = -2*f - 9, g - 1 = 5*f. Is z(f) a prime number?
False
Suppose 11*d + 26 = -18. Is 7/d + 9/12 + 1260 a composite number?
False
Is (-3831)/2*(-214)/321 composite?
False
Let r be ((-8)/(-32))/((-1)/(-4)). Let w be 930/((-20)/(-8) - r). Suppose 4*v - 2*d - w = 0, 4*v - 616 = d + 2*d. Is v prime?
True
Let a(s) = 2034*s**2 + 25*s - 65. Is a(4) composite?
False
Let i(k) = 16*k**3 - k**2 + 15*k - 5. Is i(6) a composite number?
True
Let k(u) = 1282*u - 143. Is k(28) composite?
False
Let j = 4802 - 2295. Is j a prime number?
False
Let v = 576 - 270. Let t = v + 845. Is t a composite number?
False
Is (12/(-30))/((-22)/217415) prime?
False
Let v be (-4)/(-22)*1 - (-53)/11. Suppose 5*n + v*r - 945 = 0, -3*n + 4*r + 539 = -0*n. Is n prime?
False
Let q = 295 - -219. Let n = 637 - 898. Let c = q + n. Is c composite?
True
Let o = 3419 - 2405. Let v = 577 + o. Is v a prime number?
False
Let j(k) be the third derivative of -29*k**6/360 + k**5/40 - 3*k**4/8 - 8*k**2. Let f(n) be the second derivative of j(n). Is f(-5) a composite number?
False
Let h(r) = -2*r**2 - 31*r - 22. Let w be h(-15). Let j(q) = -q**3 + 9*q + 13. Is j(w) a composite number?
False
Suppose -872 = h - 2*h - 5*d, d = -h + 884. Is h composite?
False
Suppose -r + 6*r = -15, 4*d - 43704 = -4*r. Is d/(-1)*2/(-6) - 4 a composite number?
True
Suppose -13*g + 11*g - 48 = 0. Let c = g + 10. Let f(i) = i**2 + 8*i - 17. Is f(c) prime?
True
Let w be (1 + 2)*1 - -2. Suppose 5*b = y - 102, 4*y + 3*b - w*b = 318. Is y composite?
True
Let d be (-1)/4 - 5565/(-20). Suppose 2*u - 1872 = -d. Is u prime?
True
Suppose 51*m - 433442 + 71189 = 0. Is m a composite number?
False
Is (-51378)/(-8)*-2*(-12)/18 a prime number?
True
Let k(a) = 406*a**2 - 3. Is k(-2) a prime number?
True
Suppose 607936 - 5367 = 11*b. Is b prime?
True
Let c = 3214 - 168. Is c a composite number?
True
Suppose -3*u + 54594 - 5208 = 0. Is u composite?
True
Let f(d) = 748*d**2 - 17*d + 81. Is f(4) composite?
False
Let i = 68 - 65. Suppose -4*t - 2*v - 631 = -5*t, -5*t = i*v - 3103. Is t a prime number?
False
Let p(d) = -36*d**3 + 2*d**2 + d - 1. Let u be p(2). Let n = u + 688. Is n a prime number?
True
Let w(d) = 22*d + 7. Let x be w(7). Suppose 509 = 2*y + x. Let n = y + -25. Is n prime?
True
Let n be (4/2 - -2)*4. Suppose -10*g - 90 = -520. Suppose m - g = n. Is m prime?
True
Suppose 0*o = -o - 5*z + 2053, 4*z = -3*o + 6203. Is o prime?
False
Let i = 26185 - 14391. Is i a prime number?
False
Suppose b = -1, 2*b - 27173 = -3*a - 2368. Is a a composite number?
False
Suppose -2*h + 25 = -5*y + 6, -4*h = y - 5. Suppose 16 = o - h*b - 2*b, -2*o - 4 = b. Suppose -q - q - 3*g + 926 = o, -3*g + 1395 = 3*q. Is q prime?
False
Let d be 19/7 + 6 + (-200)/35. Is -4*(d/2)/((-24)/3316) a prime number?
True
Let x be (-4917)/((30/5)/(-6)). Let v = -526 + x. Is v a prime number?
True
Suppose 3*u + 3*a = 8*u + 16, -15 = 5*a. Let d be u/15 + 314/6. Let l = -19 + d. Is l composite?
True
Let c be (-1)/(-10)*-2 - (-182)/35. Suppose -c*s + 3*h + 2095 = 2*h, 0 = -4*h. Is s prime?
True
Let x(p) = 7437*p**2 + 2. Is x(-1) prime?
False
Suppose -9*p - 2*p = -33. Suppose p*g = 185 + 934. Is g a prime number?
True
Let i(a) = a - 3. Let y(x) = 1. Let t(s) = -i(s) + 4*y(s). Is t(-7) prime?
False
Let j(c) = -c + 10. Let n be j(0). Suppose -5*m - 3*h - n = -1, 0 = -3*h - 9. Suppose 3*a = 3*k - m*k + 573, -4*k = -2*a + 390. Is a a prime number?
False
Let y = 9701 - -12005. Is y prime?
False
Let a = -4971 + 7016. Is a prime?
False
Suppose 113 = -2*b - 3*w, -b + 5*b - w = -191. Is 6/14 + (-5418)/b a composite number?
True
Let z = 8 + -6. Let b be 1/z - 525/(-10). Let l = 88 - b. Is l prime?
False
Suppose -4*p + 13 = t, 2*t - 26 = -t + p. Suppose 13*z - 17684 = t*z. Is z composite?
False
Let k(a) = 70*a**2 + 6. Let s be k(5). Suppose -4*y - 2*u + s = 190, -787 = -2*y - 5*u. Is y composite?
True
Suppose -6 = 24*v - 18*v. Is (-166)/(-5) + 4 - v/(-5) prime?
True
Let f(d) = 100*d**2 - 3*d + 77. Is f(6) a prime number?
True
Suppose -13 = 4*i - 21. Suppose -7*t + 391 = 2*c - i*t, -2*c + 394 = 4*t. Is c a prime number?
False
Let n(a) = -a**3 + 21*a**2 - 27*a + 2. Let d(p) = -p**2 - 14*p - 14. Let o be d(-11). Is n(o) a composite number?
False
Suppose -r = 5*k - 330 - 657, 4*r = 5*k + 3948. Suppose 0*q + 5*d + 1011 = q, d = -q + r. Is q composite?
False
Let w be (-10)/20 - (-4629)/6. Let h = -5 - -10. Suppose -h*q + 304 = -w. Is q composite?
True
Let o(y) = -42*y + 3. Let u(r) = 10*r + 33. Let 