 = -s**3 - s**2 + 1. Let m(l) = -6*f(l) - v(l). Let p be m(-8). Is j(p) prime?
False
Suppose 0*y - 3*y + 5*a = -62, 0 = -2*a - 8. Suppose -y*l = -12*l - 758. Is l a composite number?
False
Let v(b) be the second derivative of b**5/20 + 2*b**4/3 + b**3/6 + 2*b**2 - 10*b. Let q be v(-8). Is -1 + 4 + q - -648 prime?
True
Let w = 7 + -5. Is 12340/30 + w/(-6) a prime number?
False
Let n = -10 - -5. Suppose -40 - 48 = -2*j. Let z = n + j. Is z composite?
True
Let w(n) = n + 3. Let k(z) = z**2 - 5*z - 17. Let j be k(7). Let l be w(j). Suppose l = -4*u - 4*q + 324, -2*q + 84 = u - 1. Is u a composite number?
True
Let d(a) = -a + 14. Let c be d(7). Let g(i) = i**3 - 8*i**2 + 9*i + 4. Let p be g(c). Is -159*2*(-6)/p a composite number?
True
Let c = -45 + 47. Suppose -c*y + 1387 = -147. Is y prime?
False
Let i be 146421/77 + (-6)/(-14). Is 80/100 - i/(-10) a prime number?
True
Let x = -8799 - -25678. Is x a composite number?
False
Let h be (0/(4 + -7))/(-1). Let k(w) = -2*w**3 - 7*w**2 - 4*w - 2. Let s be k(-7). Suppose h = -o - 2*o + s. Is o prime?
False
Let n = -18 + 185. Let f = n + -40. Is f composite?
False
Let s = 1672 - 1131. Is s a prime number?
True
Suppose 12*w - 8673 = -9*w. Is w composite?
True
Let r(c) = -54*c - 17. Let u(g) = g**2 + 10*g. Let z be u(-9). Is r(z) composite?
True
Let b be (-6)/(((-18)/(-16))/(12/(-16))). Let k(g) = 27*g**2 + 4*g - 5. Is k(b) prime?
True
Suppose 0*j - 3*j + 6 = 0. Let c(m) = 2*m - m + j*m - 2*m + 144*m**2. Is c(-1) a composite number?
True
Suppose 9*j = -34*j + 23951. Is j composite?
False
Let t(n) = 5*n**3 + 3*n**2 + 3*n - 2. Let i be t(3). Let r(p) = i + 4*p - 5*p + 0*p. Is r(0) a prime number?
False
Is (-6 - 0) + 0 - -1507 prime?
False
Let l = 25985 - 1086. Is l a composite number?
True
Suppose 0 = 3*t - t - 8, n - 2*t = -9. Let m = n + 1. Is 0 + m - (-15 + -7) a composite number?
True
Let o(t) = t + 5. Let x be o(-5). Let s = -260 - -683. Suppose x = 7*i - s - 256. Is i prime?
True
Let l = -200 - -511. Is l composite?
False
Let m(w) = 0*w + 2*w**2 - 4 + 17 + 10*w. Is m(-13) a composite number?
True
Let j(z) be the third derivative of 17*z**5/30 + z**3/6 - 8*z**2. Let c be j(-1). Suppose n - c - 122 = 0. Is n composite?
False
Let q(t) = -2*t**2 - t - 1256. Let c(s) = -3*s**2 - 2*s - 1257. Let j(v) = 3*c(v) - 4*q(v). Is j(0) composite?
True
Let y(b) = -13*b - 5. Let a be y(-5). Let t(l) = -l**3 + 7*l**2 + 9*l + 3. Let f be t(8). Let n = a - f. Is n a composite number?
True
Suppose -54467 - 86038 = -3*g. Suppose 5*s + 0*w + 5*w - 46800 = 0, 0 = -5*s + 2*w + g. Is s composite?
True
Suppose 0 = 4*d - 3*d - 1193. Is d a composite number?
False
Let l(k) be the first derivative of -21*k**5/2 + k**3/6 + 6*k - 1. Let c(s) be the first derivative of l(s). Is c(-1) a prime number?
False
Let d(y) = y**3 + 5*y**2 - 8*y - 7. Let s be d(-6). Suppose 3*a - 639 = -f - 167, 2415 = s*f + 4*a. Is f prime?
True
Suppose 17*g = 12*g + 42870. Is 21/(-35) + g/15 a prime number?
True
Let c(k) = -749*k - 36. Is c(-7) a composite number?
True
Suppose -2*g + 62 = -78. Suppose -2*c + g = -4*d, -c = 5*d + 7 + 84. Is 4/d - 2982/(-54) a prime number?
False
Is (-2200120)/(-56) + 5 - (-1)/7 prime?
True
Suppose 13*i = 111934 + 169477. Is i composite?
False
Suppose -23*k = -26*k + 5331. Is k composite?
False
Let q = 2 - -44. Let m = q + 5. Is m composite?
True
Let k(g) = -240*g**2 + 15*g - 7. Let t(a) = -240*a**2 + 14*a - 6. Let b(x) = 3*k(x) - 4*t(x). Is b(2) prime?
True
Let s = -396 - -1141. Suppose 2*b - s = -303. Is b composite?
True
Suppose 4*l - 4*c + 92 = 0, -2*c + 90 = 3*l - 7*l. Is 1 - (3 - -5)*l a composite number?
True
Suppose -7*v = -3*v + 468. Let s be (-1*544)/(-1) + 4. Let r = s + v. Is r prime?
True
Suppose -k + 14 - 15 = 0. Is (k - 3252/9)*-3 a composite number?
False
Let q = 1 - -21. Suppose 4*v = 154 + q. Is (v/12 + -4)*-3513 prime?
True
Suppose 9*w - 10247 = 184. Is w a prime number?
False
Suppose 2*d = d + 4. Suppose -3*g - 2*g + d*w = 65, -5*w = -3*g - 52. Is 631 - 6*6/g prime?
False
Let k = 13 + -14. Let c be (-4)/((-3)/(k - -4)). Is (-1)/c + (-597)/(-4) composite?
False
Let v(f) = 4852*f**2 - 14*f + 35. Is v(4) a composite number?
False
Suppose -5*c + 12 = -4*w, -6*w + 5*c = -4*w + 6. Let k(g) = -1299*g + 10. Is k(w) composite?
False
Let h be (105/(-20))/(9/(-96)). Let g(b) = -h*b - 30*b - 3 + 12*b + 6*b. Is g(-2) a composite number?
True
Let j = 6580 + -4679. Is j a prime number?
True
Suppose 2*k = -5*j + 179, 0*j - 185 = -5*j - 5*k. Let s = j + -25. Is ((-20)/s)/((-4)/74) a composite number?
False
Let n(u) = u**2 - 42*u + 5. Let m be n(-27). Suppose 0 = -4*d - 0*d + m. Is d composite?
False
Suppose -25*p + 44592 = -24583. Is p composite?
False
Suppose -24*i + 28*i - 4*a - 20208 = 0, 5*i - 25256 = a. Is i composite?
False
Let r(b) = b**2 - 4*b - 4. Let n be r(5). Let z be (n - (0 + 0)) + -4. Let u(f) = -13*f. Is u(z) a prime number?
False
Let r be (-2514 + 0)/(0 - 2). Suppose -4*i = -7*i - 2580. Let f = r + i. Is f a composite number?
False
Suppose -4*a + 3*w = -5686 - 459, w = -2*a + 3075. Is a prime?
False
Suppose -6 = 3*g - 3. Let q = g - -5. Suppose -3*f + 2*f + 4*o + 83 = 0, 0 = 4*o + q. Is f a prime number?
True
Let x = -984 + 1925. Is x a prime number?
True
Let q = 1415 + 436. Is q prime?
False
Let i(q) = q**3 - 6*q**2 - 5*q - 12. Let o be i(7). Suppose 4*s - 391 = -m, o*s - 260 = -m + 121. Is m prime?
False
Let p = 1216 - -5397. Is p a composite number?
True
Is 26017 - (-1 + 5 + -8) composite?
False
Suppose -2*r - 3*y = -27038, 6*r + 5*y - 81114 = 4*y. Is r prime?
False
Let g(i) = 42 + i - 1 - 2*i + 4. Let c be g(0). Suppose n - 6*n + 2*p + 127 = 0, c = 2*n + 5*p. Is n a composite number?
True
Suppose 3*v = v + 4006. Is v prime?
True
Suppose 8*o - 8242 = 92982. Is o a prime number?
True
Suppose 2*y - 7 = -i + 8, 2*y + 3*i - 5 = 0. Let n = y - 11. Is (-164)/(-5) + n/(-5) a prime number?
False
Suppose 10*k + 11369 = 89739. Is k a prime number?
False
Suppose 11306 + 11513 = 19*j. Is j prime?
True
Suppose 0 = -3*o + 3*u + 15435, -2*u - 6979 = -3*o + 8458. Is o prime?
True
Let j = -128 + 62. Let b = j + 117. Let q = 88 - b. Is q a prime number?
True
Suppose -22*o = -4785 - 3421. Is o a composite number?
False
Let f be (0/5)/(2*-1). Suppose f = -3*v + 11 + 1. Suppose 0 = -v*n + 4*r + 284, -n - 4*r + 63 = -r. Is n a prime number?
False
Let m be (-6)/(3 - (-82)/(-26)). Let r be 123/m - 6/39. Suppose 0 = -0*t + r*t - 777. Is t composite?
True
Suppose -2375 = 4*k + k. Let z = 912 + k. Is z a prime number?
False
Let k(r) = -5*r**2 + 2*r - 2. Let t be -3*(-4)/(-6)*-1. Let h be k(t). Let s = h + 25. Is s prime?
True
Let a be 6 - 4 - 0/(-2). Suppose 3*i + a*p = 5*i - 172, 3*i - 290 = -5*p. Suppose 2*d - 224 = -i. Is d a prime number?
True
Suppose -2*x + 2 = -4. Suppose x*w - 2*w = 0. Suppose -2*b + 488 = 2*b + r, -2*r = w. Is b a prime number?
False
Suppose 0 = -4*p - 4*f + 11684, 4*p = 3*p + 2*f + 2927. Suppose -6*w + 785 = -p. Let j = -205 + w. Is j prime?
False
Suppose -3*z + 5*k = -11330, -7*z = -12*z + 4*k + 18905. Is z a prime number?
False
Suppose 2*t - 3*t = -4*l + 15, 3*l - 2*t - 15 = 0. Suppose l*b + b = 1484. Is b composite?
True
Suppose 3*d = -4*r + 41327, -4*r + 7*r - 4*d - 30989 = 0. Is r a prime number?
True
Suppose -2*y + 6 = -5*y. Suppose 0 = 5*p - 15, 4*r + 0*r + 4*p + 88 = 0. Is y/(-5) - 840/r composite?
True
Let w = 11 - 14. Let h(l) = 10*l**3 + l**2 - 2*l - 4. Let u(r) = -r**3 + r. Let y(t) = -h(t) - 4*u(t). Is y(w) prime?
True
Let z(f) = f**3 + 6*f**2 - 3*f - 2. Let k be z(-4). Let w = k + 135. Is w a composite number?
True
Let m = -2011 - 222. Is m/(-5) - -2*6/30 a composite number?
True
Suppose 2*f = 4*f - 34. Let p = 15 - f. Is (0 - p)*158/4 a prime number?
True
Suppose -c = -0*c - 504. Suppose -7*p + 4*p + c = 0. Let z = -13 + p. Is z composite?
True
Suppose -2*f + 7*f = 50. Suppose 5*u + 9 - 3 = 4*g, 4*u + f = -2*g. Is ((-3126)/(-12))/((-1)/u) a prime number?
True
Let v = 9 - -5. Let h be (-2 - 1) + v/2. Suppose -5*b + 1171 = -b - n, 0 = -h*b + 4*n + 1168. Is b prime?
True
Let u = 46 + 13. Let c = -8 + u. Is c prime?
False
Let h(m) = -22*m**3 + 8*m**2 - 9*m. Is h(-5) prime?
False
Let b(l) = 2*l**2 + l - 1. Let z be b(1). Suppose -4*g + 6848 = 4*r, z*r = 3*g - g + 3404. Is r a prime number?
Fal