et y(m) be the first derivative of 4*m**3 - 5*m**2/2 - 6. Is y(-3) composite?
True
Let n be (15/(-9))/(2/78). Let j = 340 + n. Suppose j = 7*h - 2*h. Is h prime?
False
Is 1241254/42 + 2*(-4)/12 prime?
False
Suppose -w - 2*h + 34731 = 0, 107114 = 2*w - 2*h + 37646. Is w composite?
True
Suppose 2*n = -3*b + 3*n + 567, 5*b = -n + 937. Suppose p - 350 = -5*h, -b - 122 = -p + 5*h. Let m = p + -203. Is m a prime number?
True
Let z(g) = 3*g**2 + 2*g + 1. Let a be z(-1). Let l = -118 - -860. Suppose -a*m + l = -0*m. Is m prime?
False
Suppose -5*k - 2191 + 12386 = 0. Suppose 6*b = d + 3*b - 404, -4*b = 5*d - k. Is d a prime number?
False
Is (-8)/(16/(-162794)) + 4 + 0 prime?
True
Suppose 4*u = p - 8431, -54*u = -52*u + 6. Is p prime?
True
Let g(f) = -17*f + 11. Let c be g(-4). Suppose 3*d - c = -13. Is d a prime number?
False
Let v(z) = -2*z**3 - 2*z**2 + z - 4. Let j = 11 - 8. Let t = -8 + j. Is v(t) a prime number?
True
Let i = -116 - -164. Let y = -55 + 20. Let o = i - y. Is o prime?
True
Let y = -6431 - -9340. Suppose 0 = 7*k - 850 - y. Is k composite?
True
Let i = 0 + 58. Let x = -23 + i. Is x a prime number?
False
Let n be ((-25)/(-10))/(2/(-4)). Let d(x) = -x**3 - x**2 + 7*x + 10. Let u be d(n). Suppose -6*h + h = -u. Is h composite?
True
Let d(c) = 4*c + 3*c**2 + 2 - c**3 + c**2 + 1. Let f be d(5). Is (-496)/(-20) - f/10 a composite number?
True
Let l(j) = 43780*j + 217. Is l(6) prime?
True
Let r(g) = -2322*g - 5. Is r(-1) composite?
True
Let b(f) = 11*f - 4*f - 9*f - 6*f + 5. Is b(-4) a prime number?
True
Let r(t) = 28826*t + 35. Is r(4) a composite number?
True
Let y(c) be the second derivative of -61*c**3/3 + 3*c**2/2 + 7*c. Is y(-5) prime?
True
Suppose 39982 = 9*x - 14063. Is x prime?
False
Let n = -68090 - -96603. Is n a prime number?
True
Let k = -7 - -11. Is 2*(-4 - (-54)/k) composite?
False
Let h be 10255/1 + (-2 - -2)/4. Suppose 17*z - 24*z = -h. Is z a prime number?
False
Let i be (157944/20)/2 + (-4)/(-10). Let y = i + -2312. Is y a composite number?
False
Is 21/(-3) + (11228 - 6/(-1)) prime?
False
Suppose -5*c + 4 = 4*l, -5*l - 12 = -c + 3*c. Suppose -2470 + 338 = 4*v - 4*x, c*v - 5*x + 2131 = 0. Let o = -233 - v. Is o composite?
True
Let t(y) = -10433*y + 266. Is t(-21) a composite number?
True
Let g = 1089 - -3401. Suppose 2413 = 9*p - g. Is p a prime number?
False
Is 33/(-495) + 2469108/45 a composite number?
False
Suppose h - 3 + 1 = 0. Suppose h*l - 585 = -t, -t + 292 = -0*l + l. Is l prime?
True
Is (-3)/(-2) - (-6 + 13853/(-14)) a composite number?
False
Let t(x) = -x**3 - 3*x**2 + 4*x + 2. Let b be t(-4). Suppose -3*g + b*u + 152 = -5*g, 0 = 4*u. Let y = g + 133. Is y prime?
False
Suppose -1675 = -u + 4*b - 0*b, 8375 = 5*u - 4*b. Let g = u + -1022. Is g a prime number?
True
Let a = -152 - -460. Suppose -2*w + 0*o - 3*o - a = 0, 0 = -4*w - 3*o - 622. Let n = 240 + w. Is n prime?
True
Suppose -944 = -2*j + 6348. Is j a prime number?
False
Suppose -57*y + 78095 = -52*y. Is y prime?
True
Suppose -13*y - 7*y + 1108300 = 0. Is y a prime number?
False
Let l(o) = 207*o**2 - o + 1. Let u be l(1). Suppose -3*q - 3*s = -0*s + 621, -q + 3*s = u. Let p = 290 + q. Is p composite?
False
Let i = 14235 + -5158. Is i composite?
True
Let c(s) = s**3 + 8*s**2 + 11*s + 9. Let a be c(-10). Suppose 11*q = 5*q + 2970. Let r = q + a. Is r prime?
False
Suppose -4*j + 3*j = 4*s - 1, 4*j + 4*s - 16 = 0. Suppose -5*w + n + 1681 = j*n, -n = w - 336. Is w a composite number?
False
Let l be ((-20)/12)/(2/(-6)). Suppose 4*v - 2*j = 2*j + 264, l*j = -5. Let w = v + -46. Is w composite?
False
Suppose n + 2409 = 4*g, -3*n - 7194 = -0*n - g. Is (n - -7)/(2*(2 + -3)) a composite number?
True
Let p be (-3 + 0/5)/(-1). Suppose 3 = p*c, 4*c + 227 = -4*n + 1123. Is n prime?
True
Let p(g) = 13 + g**2 - 2*g + 8*g + 4 - g. Let q(m) = -m**2 - 3*m + 1. Let d be q(-5). Is p(d) prime?
True
Suppose -2*h + u + 7 = -82, -4*h + 193 = 3*u. Let a(f) = 20*f**2 + f + 1. Let d be a(2). Let p = d - h. Is p a composite number?
False
Let m(x) = x**3 - 9*x**2 - 10*x. Let z be m(10). Suppose z = 3*f + 5*f - 952. Is f prime?
False
Is (5 - (14 + -7))*(-966 - 1) a prime number?
False
Let y(f) = f**2 - 5*f - 4. Let p be y(6). Let k = p - -2. Suppose k*q - 413 = 31. Is q composite?
True
Suppose -4*j = -3*j - 3. Suppose 4*d - 147 = 5*k, -d + 42 = -4*k - j. Is d a composite number?
True
Suppose 0 = 5*d - 0*d - 233370. Is d/26 - (-14)/(-91) composite?
True
Is ((-1093521)/(-12))/11 + (-3)/(-4) composite?
True
Let p be (-7 - 8)*2/(-6). Suppose -4*z = -7 - p. Suppose s - j = 100, 2*s - 5*s - z*j + 282 = 0. Is s a prime number?
True
Let r = 32517 + -21266. Is r prime?
True
Let q be (44/6)/(4/12). Let p be 3/(-2) - (-99)/q. Suppose 2*w = -p*w + 425. Is w a prime number?
False
Let v(b) = 17*b + 21. Let z be v(-4). Let i = 400 - z. Is i a prime number?
False
Suppose -7*y = -y - 2676. Suppose -2*l + 814 = 3*i - 63, -l + i = -y. Is l a prime number?
True
Suppose 234543 = 9*a - 138606. Is a composite?
True
Let t be -13*(-1 - -2)*-1. Let m(d) = d - 3 + 0 + t*d + 2. Is m(6) a prime number?
True
Suppose 0 = 4*u + h - 660, 3*u + h = -4*h + 495. Let g = 15 - 69. Let q = g + u. Is q composite?
True
Let m = -88 - -1685. Is m a prime number?
True
Suppose 0 = -w + 3*s - 3 - 8, -w + 19 = 3*s. Suppose 5*q + 1954 = j, -w*j + 7864 = -q - 3*q. Is j a composite number?
True
Let l(m) = -3*m - 7. Let c be l(-4). Suppose c*j = 3*j + 586. Is j a prime number?
True
Suppose 3*f - 27 = -0*f. Let u(b) be the first derivative of b**4/4 - 3*b**3 + b**2 - 3*b - 5. Is u(f) a prime number?
False
Suppose -4*h + 7710 = 2*r, r = -3*r + h + 15438. Is r composite?
True
Suppose 4*p = 2*h - 22, -2*h + 6 = -p - 4. Suppose -h*g + 20 = g. Suppose -400 = -g*n + 3*k, n - 3*k = -7*k + 57. Is n composite?
True
Suppose 571*s - 115688 = 563*s. Is s prime?
True
Suppose 4*z = 4*k + 1752, 5*z + 3*k - 2150 = -0*k. Let s = 140 + z. Is s a prime number?
False
Let l(i) = i**3 + 10*i**2 + 4*i + 7. Suppose 16*b - 2*b - 140 = 0. Is l(b) a prime number?
False
Let k be (-2 + 453/3)*1. Let p = k + -52. Is p prime?
True
Let k(s) = 123*s**2 + 6*s + 22. Is k(5) prime?
False
Let d(z) be the first derivative of z**4/4 - z**3 - z**2/2 - 3*z + 4. Let x be d(3). Is ((-938)/x)/(3/9) a prime number?
False
Let k = -9380 - -14815. Is k a prime number?
False
Let t(f) be the first derivative of -f**4/2 + f**3 + f**2 - f + 80. Let w be (2/4 - 1)*4. Is t(w) prime?
True
Let l(f) = -f**2 - 6*f + 16. Let i be l(-7). Let q(t) be the second derivative of t**4/12 - 5*t**3/6 + 3*t**2/2 - t. Is q(i) a prime number?
False
Suppose -12017 - 18293 = -5*r. Suppose -4*q - r = -11*q. Is q a prime number?
False
Suppose 101976 = -12*k + 274716. Is k composite?
True
Let x = -1194 + 7325. Is x composite?
False
Suppose 5*t - 2*o - 132399 = 0, 11*o - 7*o - 52950 = -2*t. Is t a prime number?
True
Suppose -64*y + 1723763 = -23*y. Is y a prime number?
True
Let t = 1893 - 1042. Is t a composite number?
True
Suppose -3*q + 2*u = -6*q + 41, 0 = 4*q - 3*u - 32. Let t(x) = 100*x - 13. Let f be t(q). Suppose 4*a + f - 346 = 3*h, h = 3*a + 242. Is h prime?
True
Let g(d) = 9*d - 52. Let m be g(22). Let h = m + 108. Is h a composite number?
True
Suppose 0 = 2*t + 4*x + 20 - 8, -2*t - 2*x - 10 = 0. Let g(a) = a**2 + 6*a + 4. Let z be g(t). Is 42 - (7 - (-16)/z) composite?
True
Suppose -15 = k - 3*f, -2*k - 4*f - 7 = -27. Suppose 5*u - 3171 = -k*s + 4*s, -3*s = 5*u - 3178. Is u composite?
True
Let f(n) = -3*n + 2*n - 13 + 8*n - 6 + 55*n**2. Is f(6) a composite number?
False
Suppose -k = -d - 3368, -4*d + 0 = -8. Suppose k = 9*o - 7*o. Is o composite?
True
Let x(s) = 63*s + 4 + 329*s - 3. Suppose -3*b + 3 = -v, 3*b = -6*v + 2*v + 18. Is x(b) prime?
False
Let a(g) = -g + 1. Let q(o) = -37*o - 1. Let v(k) = 5*a(k) + q(k). Is v(-5) composite?
True
Let p = -865 - -5232. Is p a composite number?
True
Let d(m) be the second derivative of 52*m**4/3 - m**3/6 - 5*m**2/2 - 6*m + 4. Is d(-4) a composite number?
True
Let h(c) = 23*c. Let t be h(-4). Let p(o) = 7*o - 227. Let v be p(33). Is (-1)/(v/t)*13 composite?
True
Let l = -122 - -4. Let y = l - -296. Is y a prime number?
False
Let v(a) = -7*a**3 - 11*a**2 + 5. Let t be v(6). Let i = t + 3594. Is i a prime number?
False
Suppose -9*d = -10*d. Suppose 5*r + 1328 = 3*