Let v be b(22). Let s be v/5 - -3 - -6. Suppose -4*o - 495 = -5*o + 2*w, 3*o + s*w - 1507 = 0. Is o a composite number?
False
Suppose 33 = -25*m + 158. Suppose -m*a + y = -28346, -3*a + 28349 = 2*a - 4*y. Is a composite?
False
Suppose 78*a - 22*a - 2797816 = 0. Is a a composite number?
True
Let x be -43984 - -2*(-1 + 4). Is 9/(-6) + x/(-4) a composite number?
False
Let g(v) = -2*v**2 - 56*v - 186. Let w be g(-24). Let c be (-4)/14 + (-107)/(-7). Is ((-96215)/(-25) - 4) + w/c composite?
True
Let x(w) be the second derivative of 4331*w**3/3 - 4*w**2 - 62*w + 1. Is x(1) prime?
False
Suppose 3*h - 3*l - 7179 = 0, 5*h = 3*l - 3385 + 15352. Let s = 2879 + h. Is s prime?
True
Let a = 784 - 782. Suppose -3*j = a*r - 19507, 3*j - 19618 = 3*r - 136. Is j a prime number?
False
Suppose -5*s - f + 19223 = -114779, 5*s = 3*f + 134014. Is s prime?
True
Let x(j) = 6*j + 3. Let t be x(0). Suppose z = -0*z - y + 335, t*y = 4*z - 1368. Suppose 5*u + 0*b = 3*b + z, 5*b + 59 = u. Is u prime?
False
Suppose -276550 = -32*f + 28*f + 5*r, 4*f + 4*r - 276568 = 0. Suppose 0 = 3*m - 23*m + f. Is m composite?
False
Let o(s) be the third derivative of s**6/120 - s**5/15 - 5*s**4/24 + 2*s**3/3 - 5*s**2. Let l be o(5). Is (-73140)/(-108) + l/(-18) a composite number?
False
Is (-22738996)/(-276) + 4/(-6) a prime number?
True
Let l = -274525 - -463432. Is l composite?
True
Let g = -11 + 19. Suppose -2*p + 24 = -g*p. Is p - (4 - 341 - 4) a prime number?
True
Let f = 1669 - 1669. Let c = 114879 + -52586. Suppose f = -3*n - 8*n + c. Is n a composite number?
True
Let q(r) = 3*r - 504. Let c(g) = -5*g + 1008. Let a(b) = -4*c(b) - 7*q(b). Let m be a(0). Let x = 1483 + m. Is x a composite number?
True
Let m = 126624 + -67693. Is m a composite number?
True
Let s(k) = k - 21397. Let q be s(0). Let j = q - -36906. Is j a prime number?
False
Let u(b) = -212*b + 2329. Is u(-59) prime?
False
Suppose 2*k + 0*k - 6 = 0. Let s be ((-1)/2)/(k/(-9036)). Suppose m = 4*m - s. Is m a prime number?
False
Let w(t) = t**3 + 14*t**2 - 50*t + 13. Let s be w(-17). Is 2/s - (-1895635)/82 composite?
False
Let r = -80565 + 42288. Is ((-26)/(-39))/(2/r*-1) a prime number?
False
Let q = -229 + 260. Suppose -1831 - 69748 = -q*t. Is t a composite number?
False
Let r = -41500 - -67229. Is r composite?
True
Let b(n) be the first derivative of -140*n**2 - 38*n - 2. Is b(-15) composite?
True
Let a = 1130849 + -660138. Is a composite?
False
Let c(x) = 27 - 17*x + 2 - 9*x**2 + 2*x**2 - 3*x. Let n be c(14). Is (4/6)/((-2)/n) + 0 a prime number?
True
Suppose 5*y - v - 351374 = 0, 2*y - 689*v + 687*v = 140564. Is y a prime number?
False
Suppose -8*q + z + 10 = -5*q, 3*z + 12 = 0. Is ((-129)/(-12) - 5)/(q/152) prime?
False
Let n = -402 - -425. Suppose -51571 = 10*g - n*g. Is g a prime number?
True
Suppose 2*v + 5*x = 3, -5*x + 6*x - 15 = -4*v. Let k(z) = 29*z**3 + 2*z**2 - 10*z - 1. Is k(v) a prime number?
True
Let o(w) = 16*w**2 + 9*w - 2. Let k be o(6). Suppose 4*r - 5*y - k = 0, -7*r + 2*r + 4*y = -776. Suppose 5*c - r = -3*c. Is c prime?
True
Let g(v) be the first derivative of -v**4/2 + 3*v**3 - 13*v**2/2 - 13*v + 6. Is g(-8) composite?
True
Let y(i) = -36*i + 57. Let x be y(3). Let s be (-3)/12 + (-1159)/4. Let z = x - s. Is z a prime number?
True
Is 36/(-42) + (-47613)/(-7) a prime number?
False
Let f = -875 - 377. Let k = 4059 + f. Is k a prime number?
False
Let k(u) = u**2 + 12*u + 15. Let c be k(-11). Suppose 2*j = a - 4894, 4*j - 6*j + c*a - 4900 = 0. Let o = -1661 - j. Is o a prime number?
False
Let k(y) = -2*y**3 - 23*y**2 - 3*y - 23. Let n(b) = 6*b + 42. Let o be n(-6). Suppose -16 = -o*q + 7*q. Is k(q) composite?
True
Suppose 94730 = 41*y - 330809. Is y a composite number?
True
Suppose -3790176 + 493175 = -31*x + 3010786. Is x prime?
False
Suppose 3*t + 1942745 = 8*t. Suppose -30*n = -149141 - t. Is n a prime number?
True
Let t(a) be the third derivative of -229*a**4/24 - 39*a**3/2 - 7*a**2 - 6*a. Is t(-14) a composite number?
False
Let u = -2778 + 5157. Let i = 117 + u. Suppose -i = -4*y + 1972. Is y composite?
False
Suppose -5*d + 5 = 2*m, 35 = 5*d - 5*m + m. Let h(r) = r + 8 + 24*r**2 - 10*r + 19 - r**d. Is h(22) prime?
True
Let f(q) = 55*q**3 + 39*q**2 - 12*q + 3. Is f(10) prime?
False
Let o = 45168 + -23275. Is o prime?
True
Let g(o) = 3*o**3 + 11*o**2 + o - 10. Let a be g(-3). Is ((-8)/120*a)/((-2)/20346) composite?
False
Let n = -99 + 65. Let l = 22 + n. Is -4*(699/l - (-1)/(-2)) prime?
False
Suppose 2*m = 0, 4*o + 2980 = 5*m - 5004. Is o/(-16)*(3 + 1)*1 prime?
True
Let n(s) = -4022*s**2 + 8*s - 7. Let z be n(1). Let x = 3750 - z. Is x composite?
True
Let j be (-6)/(9/(-295623)*-6). Let p = j - -62764. Is p a composite number?
False
Is ((-43)/(-129))/(1/(-5) + (-548728)/(-2743590)) composite?
False
Let r = -206967 + 290665. Suppose -26*v + 267752 = r. Is v a prime number?
True
Suppose 0 = 2*s + 5*x - 482183, -4*s - 1205501 = -9*s + 2*x. Is s a prime number?
False
Let l be 1043/1 - (7 + -6). Suppose -4*v = -l - 294. Is v a composite number?
True
Suppose -49*a + 1399346 = -269971 - 606194. Is a a composite number?
False
Suppose -65 = -5*h - 2*u, -7 = -4*h + 5*u + 12. Suppose 5913 = h*z - 24854. Is z composite?
False
Let h be (31/186)/(2/60). Is 5147/((1/h)/(10/50)) prime?
True
Let g(m) = -m**2 - m + 1. Let o(i) = 2*i**2 + 5*i + 199. Let f(n) = 3*g(n) + o(n). Let u be f(0). Let x = 351 - u. Is x composite?
False
Is (-70)/(-63)*3/2 - (-16592)/6 composite?
False
Suppose -116*q + 9*q = 15*q - 30402278. Is q composite?
False
Is (4 - (-6544340)/28)/(4/(29 + -1)) a prime number?
False
Let v(i) be the second derivative of 707*i**4/12 + i**3/6 - 7*i**2/2 + 62*i. Is v(-3) a composite number?
False
Let d = 29 + -26. Suppose d*b + 12 = 9*b. Suppose -2*y + 6793 + 6073 = b*n, 2*y = 2*n + 12866. Is y a composite number?
True
Let i(q) = -q**3 + 7*q**2 + q + 2146. Let x be i(0). Suppose 2*o = 4*j + x, 5*j = o - 162 - 902. Is o a composite number?
True
Suppose 10*j + 34*j - 21387198 = 2*j. Is j composite?
True
Let d(g) = 16985*g + 6822. Is d(13) a prime number?
True
Let b = 10376 - 4336. Suppose -12*y + 10076 = -b. Is y composite?
True
Let k(n) = -4*n + 15 + n - 6*n - n**2. Let b be k(-10). Suppose b*l - 927 = -h, 5*l + 2355 + 346 = 3*h. Is h prime?
True
Let j = 1021765 - 543272. Is j a prime number?
True
Let x(r) = 17*r**2 + 4*r + 21. Let b = 29 - 17. Let a be x(b). Let s = -928 + a. Is s a composite number?
True
Let w = -44 + 49. Suppose 2*c + c = -w*o + 183, 4*o - 5*c = 139. Is (-5277)/(-4) - 9/o prime?
True
Suppose 33812 = -n - 3*r + 110298, -5*n + 382419 = 4*r. Suppose -6*i - 5*i + n = 0. Is i composite?
True
Let p be (-20166)/(-24) - (-6)/8. Let f = -300 + p. Suppose f = n - 4*d, 4 = -2*d - 2. Is n composite?
True
Let u be (1/(-4)*4)/((-2)/(-78)). Let p = u - -206. Is p composite?
False
Let a(t) be the third derivative of 25*t**5/12 + t**4/12 + 2*t**3 - 13*t**2. Let p(d) be the first derivative of a(d). Is p(2) a prime number?
False
Let a = -1419 + 4195. Suppose 2*r = 4*n + 2006 + a, 0 = -5*r + 4*n + 11979. Is r prime?
True
Suppose -8*p - 5*j = -529887, -132453 = -2*p - 23*j + 18*j. Is p prime?
True
Is (22354/16)/(7 - (-715)/(-104)) a prime number?
True
Let c(r) = -70*r + 13. Let p(l) = 6*l**2 + 28*l - 4. Let q(n) = 5*n**2 + 28*n - 4. Let s(j) = -6*p(j) + 7*q(j). Let o be s(28). Is c(o) a prime number?
True
Let z(d) = -4*d**3 + 23*d**2 + 1058*d + 157. Is z(-80) composite?
True
Suppose -3*h = y + 2*h - 17, -h = y - 17. Let s(i) = 1126*i**2 + 14*i - 14. Let x(k) = -375*k**2 - 5*k + 5. Let g(f) = y*x(f) + 6*s(f). Is g(1) a prime number?
False
Suppose -9584968 - 1387882 - 2548947 = -31*v. Is v prime?
False
Let h(l) = -40*l**2 - 10*l - 32. Let t(z) = -z**2 + 3*z + 7. Let n(w) = -h(w) - 5*t(w). Let y(i) = -2*i**2 + 3*i. Let o be y(2). Is n(o) a prime number?
False
Suppose t + 3*t - 28 = j, 5*j = 5*t - 35. Suppose t*k + 6 = 20. Suppose -632 - 2054 = -k*h. Is h a prime number?
False
Let j be (-58)/(3/174*-4). Let g = j - -9564. Is g a prime number?
False
Suppose 32 + 84 = 29*a. Suppose a*q = 4*g - 15729 + 1157, 4 = -2*q. Is g a composite number?
True
Let y(z) = 298*z**2 + 19*z - 67. Let v be y(19). Suppose -15202 = -14*l + v. Is l a composite number?
True
Let p be (5/(-50))/(2/(-20)). Is 1 - 0 - p - (-6300 - -1) co