14. Suppose 10 = i*n - o, n - 2*o - 2 = 3*o. Suppose -3*g + 230 = n*g. Is g composite?
True
Let v(m) = 13*m**2. Let l be v(-1). Suppose -l = -2*u + u. Is u a prime number?
True
Let m = 130493 + 14642. Is m composite?
True
Suppose 2*u - 2 = 12. Is (u/28)/((-3)/(-5028)) prime?
True
Let k be -2 - (-11)/((-66)/(-24)). Suppose -y + 4*q = -2723, -4*q = 7*y - k*y - 13519. Is y prime?
True
Let r = 28 + -12. Let v = r - 15. Suppose -5*i + 573 = -2*j, 5 - v = -j. Is i a prime number?
True
Let y(r) = 10*r**2 + 2*r - 12. Let f(n) = -11*n**2 - n + 13. Suppose -5*z + 3*z + 12 = 0. Let k(c) = z*y(c) + 5*f(c). Is k(-6) a prime number?
True
Let w = -13 + 24. Let n = 14 - w. Let c(i) = 16*i - 1. Is c(n) prime?
True
Let d be 45/(-75) - 4/10. Is (-3040)/(-2 - 0) + (-3)/d a prime number?
True
Let r = -27 - -31. Suppose 0 = 3*b - 7*b + 20, -24 = -u - r*b. Suppose u*x - 80 = -3*v, -7*x = -2*x + 3*v - 103. Is x prime?
True
Suppose 67 + 149 = -4*b. Let k = 8 - b. Is k a composite number?
True
Suppose 40 = 2*t + 8*t. Suppose -2*p + 3023 = l, t*l - 12082 = -3*p - 0*p. Is l a composite number?
False
Suppose -18 = -5*s + 3*a, -4 = -7*s + 4*s - 5*a. Suppose 9*k + 757 = 2566. Suppose 6*d - k = s*d. Is d a prime number?
True
Let b = 14857 - 7040. Is b composite?
False
Let l be -1 + -10*(-3)/(-3). Let q(i) = -8*i + 8. Let h be q(l). Suppose -3*v - h = -273. Is v composite?
False
Let o = 771 - -1274. Is o a composite number?
True
Suppose 2*n = 7*n. Is (n - -5)/(1/157) a prime number?
False
Suppose 3*z + 33 = 3*b - 1233, b - 3*z - 430 = 0. Suppose -864 = -4*l - 3*q, -3*q + 8*q - b = -2*l. Is l a prime number?
False
Let d(f) = -17*f**3 - 7*f**2 + 5. Let l be d(-5). Let z = l - 1006. Is z a prime number?
False
Let z(g) be the second derivative of -g**5/4 + 7*g**4/12 + 4*g**3/3 + g**2/2 + 4*g. Is z(-7) prime?
True
Let h(j) be the second derivative of j**3/3 - 3*j**2 + 3*j. Let t be h(8). Suppose 8*q + 38 = t*q. Is q composite?
False
Suppose -320*g - 22702 = -322*g. Is g prime?
True
Let h(t) = t**3 + 2*t**2 - 3*t - 5. Let w be h(8). Suppose -d + 2*o + 273 = 0, -2*o = -3*d + w + 188. Is d a prime number?
True
Let g = -1 + 7. Let o = 9 - g. Let m(z) = 86*z - 7. Is m(o) prime?
True
Is 76/342 + 97945/9 a composite number?
False
Let x = 1742 + -863. Is -2*(2 - x/6) a composite number?
True
Suppose -72*o + 69*o + 2493 = 0. Is o composite?
True
Let j be -3 - (2 + 1/1). Suppose -57 = -4*n - u, -u + 9 = -4*u. Is 2814/n - j/(-10) a composite number?
True
Suppose -w = 5*c + 10 - 2, c - 5 = 2*w. Let z(q) = q + 3. Let g be z(-5). Is (g - c)/((-3)/159) a prime number?
True
Suppose -2*f = -s + 1356, -2*f + 5207 + 1597 = 5*s. Suppose 3*q + 4056 = 2*o - 0*o, q + s = -2*o. Let a = -941 - q. Is a composite?
True
Let n be (-166)/(-3)*(-48)/(-2). Let j = n + -847. Is j a composite number?
True
Let k be 30/(-40) - 614/(-8). Let m be ((-10)/2)/((-2)/(-6)). Let u = k - m. Is u a composite number?
True
Suppose 15 - 5 = 5*g. Is 1902/5*5/g a composite number?
True
Let c = -10 + -171. Let u = 372 + c. Suppose -t + u + 162 = 0. Is t a composite number?
False
Suppose -2*i - 4*h = -3462, 2*h = 8*i - 11*i + 5197. Is i a composite number?
False
Let w be 2*(3 + (-15)/6). Is ((-9)/(-18))/(w/170) composite?
True
Suppose 26 + 46 = 3*r. Suppose -2*z + 110 = -r. Is z composite?
False
Is ((-5)/2 - -2)*(-15028 + 14) prime?
True
Suppose 2*x + 4 - 6 = 0. Let g be x - -16 - (8 - 11). Let v = g - 17. Is v a composite number?
False
Suppose -155073 = -5*u + 4*c, 4545 = 3*u + 5*c - 88484. Is u composite?
False
Suppose -25 = 3*b - 8*b. Suppose -4*z - b*j + 1054 = -767, -5*z = 5*j - 2270. Is z composite?
False
Let d be ((-4)/(-3))/(8/18). Suppose -2*x + 3*x + 471 = 5*b, -d*x = 5*b + 1433. Let n = 783 + x. Is n a prime number?
True
Let n(g) = 2*g**2 + 17*g - 10. Let s be n(-10). Is -3 + 75/s + (-625)/(-4) composite?
False
Suppose 0 = -2*q, 4*q - 51519 - 27491 = -5*f. Is f a composite number?
True
Suppose 0 = 7*m + 11 - 39. Suppose m*i - 1217 = 2123. Is i a composite number?
True
Is 15/(420/59843) - (-1)/(-4) composite?
False
Is 2 + (10/(-45) - 26950/(-18)) a composite number?
False
Let a = 79 + -79. Suppose -5*y + 18869 = 4*c - 2*y, -2*c - 3*y + 9427 = a. Is c a prime number?
True
Suppose -2*x + 757 = 63. Is x a prime number?
True
Let x = 4058 - 1687. Is x a composite number?
False
Suppose -12*b = -11*b + 4916. Is b/(-16) - 3/36*3 a composite number?
False
Let d(l) = -l**2 + 7*l. Let z be d(6). Suppose -5*g - 7 = -z*g. Is g composite?
False
Suppose 2*n = 6*n - 16. Suppose 2*b - 3*b = -o - 17, -3*b + 71 = -n*o. Is ((-316)/16 - -3)*o prime?
False
Suppose -115 = -3*r + 5. Suppose 22 + r = 2*g. Is g composite?
False
Suppose 5*v = -s + 2*s - 3709, v = 2*s - 7463. Is s a prime number?
False
Let l be (-3)/(12/(-16)) - 7. Let a be -2 + (-1 - (4 + l)). Is (-235)/a + (-9)/(-36) prime?
True
Let u(r) = -95*r + 86. Is u(-21) a composite number?
False
Let g(t) = -t**2 - 8*t - 10. Let j be g(-7). Let u be 2 + -535*j/3. Suppose -3*q = -456 - u. Is q a composite number?
False
Let l be (-1 + 5)/((-10)/(-5)*1). Suppose -509 = 2*j + l*t - 1761, -3*t = -j + 646. Is j composite?
False
Suppose u - 5*z - 7684 - 29 = 0, 3*u + 4*z = 23177. Is u a composite number?
False
Let k = 4657 + -3258. Is k a composite number?
False
Let i = 58853 - 40314. Is i a prime number?
True
Suppose -14*x + 2*a - 78901 = -19*x, 0 = a + 2. Is x a prime number?
False
Let f be 2974*(1 - 0 - 1 - -3). Suppose -2688 + f = 6*p. Is p prime?
True
Suppose 54*k - 61*k = -172571. Is k a prime number?
False
Suppose a - 5*o - 15 = -2*o, -16 = -4*a + o. Suppose -633 = -a*c - 0*c + 5*u, 4*c = u + 844. Is c a composite number?
False
Let i(f) = f**3 - 2*f**2 + 3*f - 2. Let d be i(3). Suppose 3*g = -g + d. Suppose 2*y - 3490 = -5*c - 615, g*y + 2845 = 5*c. Is c composite?
True
Is ((-124788)/(-16) - (-3)/(-12)) + 2 prime?
False
Let z = -206 + 105. Let t(g) = -6*g**2 - 4*g - 1. Let f be t(-3). Let a = f - z. Is a composite?
True
Suppose 0 = -0*q - 2*q + 888. Let g = -157 + q. Is g a composite number?
True
Let k(y) = -y**3 + 5*y**2 + 3*y + 3. Let f be k(5). Let r be ((-2)/6)/((-2)/f). Suppose 8 + 163 = o - 4*x, -o - r*x + 206 = 0. Is o prime?
True
Let q = 301199 + -205594. Is q prime?
False
Let u = -9284 - -30699. Is u composite?
True
Suppose -587 = -5*t + 793. Let d be (310/8)/(1/4). Let l = t - d. Is l a composite number?
True
Suppose -4*r - 8 = -4*a, 2*a - a + 5*r + 16 = 0. Let p(m) = -m**3 - m. Let y(c) = 5*c**3 + 7*c + 7. Let j(w) = a*y(w) - 6*p(w). Is j(6) a composite number?
True
Let p be 76/28 - (4/(-14) + 0). Suppose 2037 = p*y - 930. Is y a prime number?
False
Let z = 647 + -1336. Let a = 98 - z. Is a prime?
True
Suppose 3*m - 22 = -t + 3*t, -m + 6 = -2*t. Let r = m + -10. Let a(g) = 30*g**2 + 2*g + 3. Is a(r) prime?
False
Let l = 114 + 4207. Is l composite?
True
Suppose -33397 = -12*k - k. Is k prime?
False
Suppose -6667 = -5*j - 2*w, -4*j + 6825 = 4*w + 1489. Let f = j + -944. Is f a composite number?
False
Let m be -2 - -5 - -458*4. Suppose -4*d - 2*r + 2450 = 0, 3*d - 2*r - m = -4*r. Suppose -6*x + x = -d. Is x a composite number?
True
Let b be (0 + 2 - 1)*-14. Let f be (b/5)/((-7)/455). Is f - -3 - 2*-1 prime?
False
Let k(n) = -n**2 - 5*n + 7. Let r be k(-5). Suppose r*l - 2*l = 60. Suppose f = -f + l. Is f a prime number?
False
Let z(c) = -58*c + 35. Is z(-26) composite?
False
Suppose 19882 = 5*q - 4*d, -q + 5*q = -3*d + 15887. Let h = 5613 - q. Is h a composite number?
True
Suppose 2*b - 10018 = -4*a, 0*a - 2*b = -2*a + 5000. Is a composite?
False
Suppose 2*v + 3*v = 0. Suppose v = 5*x - 5*d - 2 - 8, 26 = 4*x + 5*d. Suppose -x*i + k + 160 = -584, -3*i - k = -565. Is i prime?
False
Suppose c + 3*h = -8, -5*h - 35 = 5*c + 5. Is ((-138)/(-4) + c)/((-1)/(-2)) a composite number?
False
Let s = 14718 + -4867. Is s prime?
True
Let p be 1/((7/(-2))/(-7)). Suppose -p*x = -y + 119, -4*x = -5*y + 949 - 330. Is y a composite number?
False
Let g = 473 - -494. Is g prime?
True
Let y(f) = f**3 + 26*f**2 - 23*f - 71. Is y(18) a composite number?
True
Let q(k) = -k**2 - 4*k + 3254. Let r(x) = -x + 1. Let v(y) = q(y) - 3*r(y). Is v(0) a composite number?
False
Suppose -20*k + 21*k = 1249. Is k a composite number?
False
Suppose -4 - 1 = 5*f. Let c be (-16)/4 - 1/f. Is (-2 - c)/(4/652) a prime numb