(u) a composite number?
True
Let n(m) = -34*m**3 + 8*m**2 + 34*m - 31. Is n(-9) prime?
True
Let s(o) = -3589*o + 113. Is s(-6) a prime number?
True
Suppose 2*h + 102 = 2*i + 3*i, 4*i + 204 = -4*h. Is (-2)/(-17) - (1240680/h)/8 composite?
False
Suppose -2*g + g = -2, 4*g = 3*v + 8. Suppose 4*h = 2*s + 3*h - 9, 2*s - 2*h - 12 = v. Suppose -s*d = d - 84. Is d a composite number?
True
Let i(h) = 39*h - 84. Let l(s) = -13*s + 28. Let r(q) = -3*i(q) - 8*l(q). Is r(-10) a composite number?
True
Let y(x) = -51*x**2 + 6*x + 9. Let m be y(4). Let d = m - -2182. Is d prime?
True
Let x(a) = -a**3 - a**2 + 2*a + 3. Let n be x(-2). Suppose n*w = -6 - 18. Let g(p) = -p**3 - 6*p**2 + 13*p + 9. Is g(w) prime?
False
Suppose 0 = 73*o - 1790833 - 176298. Is o a prime number?
True
Let k(x) = -21*x + 7. Let q(c) = -41*c + 15. Let s(m) = 5*k(m) - 2*q(m). Is s(-4) a prime number?
True
Suppose -21 + 25 = 4*n. Suppose -h = -n - 1. Suppose -3*t + h*a + 99 = 0, 3*t = -2*t + a + 158. Is t a prime number?
True
Is (-1050860)/(-52) + 6*(-2)/(-78) a composite number?
True
Suppose -5*x - 8 = -x. Let a = x - -91. Is a composite?
False
Let p = 1886 - 1299. Is p composite?
False
Suppose -6*z + 4*z = -r + 931, 0 = -2*r + 2*z + 1856. Suppose t = 2*m - r - 661, -3*t + 2397 = 3*m. Suppose -5*q + 0*q + m = 0. Is q a composite number?
True
Let x(u) = 3*u + 12. Let f be x(-4). Suppose f*d = -3*d + 2451. Is d a prime number?
False
Let y = 319 - -48. Let r = y + -20. Is r a prime number?
True
Suppose 2 - 32 = 5*f. Let m = f + 6. Suppose -t + 72 = -m*t + 2*i, -3*i + 367 = 5*t. Is t prime?
False
Suppose -6972 = -13*j + j. Is j prime?
False
Let l = -18 + 22. Suppose -h + 4*o - 8457 = -6*h, 4*h - l*o - 6780 = 0. Is h prime?
True
Let f = -5120 + 10107. Is f a prime number?
True
Is ((-20)/60)/(4/(-605508)) a prime number?
True
Suppose 2*d - 7406 = 7088. Is d composite?
False
Let r = 6 + -14. Let f be (r/20)/((-2)/20). Is (f/4 + -104)*-1 prime?
True
Let m(c) = -2*c**2 + 3*c + 29. Let a be m(24). Let d = a - -2006. Is d a composite number?
True
Let c(m) = m**2 + 6*m - 14. Let s be c(-8). Suppose -s*h + 65 = 3*z - 6*z, -5*z = -2*h + 59. Is h a composite number?
False
Let s be 18/15*(-10)/(-3). Suppose -3*o - s*t - 18680 = -7*o, t - 23356 = -5*o. Suppose o = 4*u - 5*w, 2*u - 544 = -w + 1795. Is u a composite number?
True
Let p be (4 - (4 + -2)) + 0. Suppose -4*g + 25 = g, 4*w = -p*g + 30. Let k(s) = 13*s**2 + s + 7. Is k(w) prime?
True
Let a = -1309 + 1868. Suppose -4*k - 3 = -a. Is k a composite number?
False
Let p = 43 + 124. Let x be (-4)/22 - 801/11. Let d = p + x. Is d a composite number?
True
Let c = -15445 - -25286. Is c prime?
False
Let i = -66030 - -129061. Is i composite?
False
Let r(y) be the second derivative of y**5/20 + 5*y**4/12 + y**3/6 - 7*y**2/2 - 11*y. Let k be r(-3). Suppose k*z - 1353 = 5*z. Is z prime?
False
Suppose 3*y = 4*y. Let l be 4 + (553 - y/3). Let i = l + -78. Is i composite?
False
Let p = 28 + -19. Suppose p*n - 1080 = 4*n. Suppose -2*c = -290 - n. Is c prime?
False
Let k(v) = 112*v - 116*v + 0 + 14*v**2 + 3. Is k(2) a composite number?
True
Suppose 5*i = f + 263, 3*f + 858 - 80 = 4*i. Let h(d) = 2*d**2 + d + 22. Let b be h(19). Let x = b + f. Is x a prime number?
False
Let o = -6 - -10. Suppose -368 = -2*b + q + 3*q, o*b - 2*q - 760 = 0. Let h = b - 101. Is h a prime number?
False
Suppose -5*k = -10, w - 2*w + 2904 = 3*k. Suppose 7*r + 4221 = -w. Let z = -386 - r. Is z composite?
False
Suppose 22 = -4*j + 4*l + 94, -3*l = 5*j - 66. Let t = j - 10. Suppose -38 = -t*i + 427. Is i a composite number?
True
Let d(l) = -l**3 + 7*l**2 + l - 7. Let a be d(7). Suppose 0*x - 2249 = -4*b - x, a = -5*x - 15. Is b a composite number?
False
Is (13/(-39))/(2/(-62202)) composite?
True
Let f(m) = -3*m**3 + 3*m**2 + 23*m + 122. Is f(-7) composite?
True
Let s(v) = 18*v**2 - 8*v + 5. Let m = 3 - -2. Is s(m) prime?
False
Let g(x) = 89*x**2 + 13*x - 7. Is g(-5) a composite number?
False
Suppose 3*b - 4 + 10 = 0. Suppose 4 + 8 = 2*t. Is 1162/21 + b/t a prime number?
False
Let k = 5 + -4. Let w = -2 - k. Is 7/(7/w) - -1160 a prime number?
False
Let w(a) = -1616*a - 15. Is w(-2) composite?
False
Suppose 235 = 2*l - 3*x, 0 = 2*x - 7*x + 5. Suppose 0 = -5*a + 306 + l. Is a a prime number?
False
Let a(w) = 55*w + 3. Let l be a(-4). Let h = l - -306. Is h a composite number?
False
Let l = 150 + 101. Is l a composite number?
False
Let l = -370 + 234. Let g = 27 - l. Is g composite?
False
Let y(f) = f**3 + 5*f**2 - 9*f - 1. Let a be y(10). Suppose 2*m - 3*i - a = 0, 4*m + 3*i - 2*i = 2811. Is m prime?
False
Suppose -4*h + 3*r - 8 = h, -12 = 5*h - 2*r. Is (h/2 + 1)/((-2)/298) composite?
False
Let h(q) = q**2 - q + 4. Let b be h(4). Let j be (5/(20/(-52)))/1. Let g = b + j. Is g a composite number?
False
Suppose 162 = 5*o - 3. Suppose -o*x + 12145 = -28*x. Is x prime?
False
Let w(n) = 7*n**2 - 2*n + 7. Let c = 27 - -5. Suppose 8*q + c = -3*f + 3*q, -8 = 5*f - 3*q. Is w(f) a composite number?
False
Suppose 12*x + 54523 = 19*x. Is x prime?
True
Suppose 6*a - 2*a = 3*y - 3793, 5*y = a + 6299. Is y prime?
True
Let x(j) = -2*j**2 - 15*j + 8. Let n be x(-9). Let w = 96 + n. Is w a prime number?
False
Let x be (-180)/42 + 8/28. Is (x - 261/6*-6)*1 prime?
True
Let q(s) be the second derivative of s**5/20 - 11*s**4/12 + 5*s**3/3 - 5*s. Let x be q(10). Suppose i + i - 374 = x. Is i prime?
False
Let h(f) = f**2 + 5*f - 3. Let i be h(-6). Let v(j) = -6*j + i*j + 2*j + 0*j + 37. Is v(0) a prime number?
True
Suppose -2*n = 4*i + 64, i + 0 + 11 = 2*n. Let u be (-1)/(1 - i/(-12)). Suppose u*t = 1415 + 381. Is t a prime number?
True
Is ((-3386)/6)/(48/(-144)) a prime number?
True
Let j = -6 - -26. Let f be 1/(j/6 - 3). Suppose -f*w + 1095 = -s, -4*w - 5*s = -w - 1095. Is w a composite number?
True
Let z = -222 - -3149. Is z a composite number?
False
Let h(f) = 3*f**2 + 6*f - 4. Let t be h(10). Suppose 2*o + 90 - t = 0. Is o prime?
False
Suppose 4*j = 6*j - 4. Let y(s) = -31*s + 3 + 1 - j. Is y(-5) a composite number?
False
Let s = -77 - -24. Suppose 2*f - w - 289 = 2*w, 0 = -2*f - 2*w + 274. Let a = s + f. Is a composite?
True
Is (-2 + -12)/(2/(-541)) prime?
False
Suppose -2*a + 11101 = -5*s + 57006, 3*s - 3*a - 27534 = 0. Is s a prime number?
False
Let h = 1106 + -405. Is h composite?
False
Let k(t) = 5*t**2 + 12*t + 9. Let n(x) = 2*x - 11. Let h be n(8). Suppose -4*s - 41 = -2*s + h*j, 3*s + 3*j + 39 = 0. Is k(s) prime?
True
Let k = 5 + -3. Let u(x) = 1 - 1 - 1 + k - 44*x. Is u(-2) a prime number?
True
Let m be (4/7)/(2/14). Suppose 8 = 3*o - 2*g - 9, -16 = -m*o + g. Suppose o*j = 6 + 555. Is j a prime number?
False
Suppose -17 = -5*l - 4*s, 0*s + 4 = -2*l + 2*s. Suppose 0 = 4*v - l - 7. Suppose v = -2*a + 16. Is a prime?
True
Let j(l) = 4*l - 3*l - 4*l + l - 6. Let u be j(-7). Suppose -5*v + u*v - 207 = 0. Is v a prime number?
False
Suppose 0 = -3*w + 5*v + 18, -3*w - 5*v + 26 + 22 = 0. Suppose 5*a - w = p, 0*a = -2*a + 3*p + 7. Suppose 1 + 109 = a*d. Is d prime?
False
Let y(z) be the first derivative of 22*z**3/3 + z**2 + z + 14. Is y(-5) a prime number?
True
Is ((-2)/3)/(38/(-1078383)) prime?
True
Let g = -24 - -24. Suppose g = 3*r - 30. Is r prime?
False
Suppose 3*m = -d + 2*m + 201, -4*m - 206 = -d. Suppose -b + 0*u = 4*u - d, 590 = 3*b - 4*u. Suppose -135 = -3*k + b. Is k composite?
True
Let v(y) = y**2 - 30*y - 31. Let u be v(35). Let f = 313 - 153. Suppose -3*s = 5*n - u, 3*s + n = -4 + f. Is s a prime number?
True
Suppose -u - 1195 = 2760. Let t be (-2)/4 - u/10. Suppose 9*d - t = 4*d. Is d a prime number?
True
Suppose w + 4*w - 2*r = 27, 5*w - r = 26. Let s(v) = 0*v**2 - w*v**2 + 34 + 6*v**2 - 15. Is s(0) a prime number?
True
Suppose 6 = -10*u + 36. Suppose 1004 = w + u*w. Is w a composite number?
False
Let c(a) be the second derivative of -a**7/840 - a**6/72 + a**5/10 + a**4/24 - 2*a**3/3 - 3*a. Let r(n) be the second derivative of c(n). Is r(-9) prime?
False
Suppose -3*l = p + 8, 4*p - 17 = l + 3. Suppose 2*z - 341 = -p*v + 1327, 2*z = v - 427. Is v a composite number?
False
Suppose -q - 4 = -3*q. Suppose -986 = -2*k - 4*l, 9 = q*l + 1. Is k a composite number?
True
Let q = 2 - -14. Suppose -16181 = -q*o + 5*o. Is o a composite number?
False
Is 11411 - (10/(-20))/((-3)/36) a prime number?
False
L