z) be the second derivative of z**4/12 - z**3/6 - z**2 + z. Let t be v(0). Is t/3*3 - -35 composite?
True
Let b(z) be the second derivative of z**4/12 - z**3 + 7*z**2/2 - z. Let a be b(5). Is 22/a + 2/1 a prime number?
True
Suppose -2 = 3*q - 2*i + 6, -5*i = -4*q - 13. Is 3/q*1272/(-36) a prime number?
True
Let p(l) = -655*l - 2. Let c(u) = u**3 + u**2 - 2*u - 1. Let s be c(-2). Is p(s) a composite number?
False
Suppose -5*n - 5427 + 16942 = 0. Suppose 4*h = -3*h + n. Is h a prime number?
False
Let s be (-4)/(-10) - 486/(-10). Let l = 70 - s. Is l composite?
True
Let d(x) = -x**3 + 9*x**2 - 5*x - 1. Let o(j) = -j**2 - 11*j - 6. Let l be o(-6). Suppose 4*t - l = -0*t. Is d(t) composite?
True
Let c = -128 - -344. Suppose 2*b = -5*y + c, -5*y = b - 2*b + 93. Is b a prime number?
True
Suppose 3*g - 6367 = 5*y, -g - 8478 = -5*g + y. Is g prime?
False
Suppose -16*x = -13*x - 879. Is x a composite number?
False
Suppose -4 - 1 = 5*o. Let y = 5 + o. Suppose -5*n + y*n + 269 = 0. Is n a composite number?
False
Suppose -567 = -4*r + l - 206, -4*r + 362 = -2*l. Let s(x) = -x**2 + 7*x - 11. Let p be s(11). Let h = p + r. Is h composite?
True
Let m be 4/(8*(-2)/(-12)). Suppose -18 + 57 = m*b. Is b a prime number?
True
Suppose -3*h = -3*g + 18, 0*h = -g + 3*h + 14. Suppose g*o - 364 = -2*o. Is o prime?
False
Let k(s) = 46*s**2 + 2*s - 1. Suppose -3*r = -5*n - 23, r + 0*n - n - 5 = 0. Is k(r) a prime number?
True
Suppose 2*t - 4*y = -4, y = 6*y. Is -5 - t - (-151 + -1) a composite number?
False
Suppose 4*o - 1047 + 243 = 0. Let h = -3 - -6. Suppose h*a + 0*a = o. Is a prime?
True
Let p(o) = -o**3 - 13*o**2 + 18*o - 11. Let q be p(-15). Suppose x = -48 + q. Is x composite?
True
Let u(h) = h**3 + 8*h**2 - 6*h + 7. Let a(b) = b**3 + 9*b**2 + 10*b + 8. Let i be a(-8). Is u(i) a composite number?
True
Is (-6273)/(-12) + 2/8 composite?
False
Let u = -26 - -43. Suppose -3*j - h = -u, -j + 2*h - 13 = -4*j. Let x(b) = 21*b + 10. Is x(j) a prime number?
True
Is (1709/2)/(150/20 - 7) prime?
True
Suppose 3 = p, -4*x + p + 2019 = 6*p. Is x prime?
False
Suppose 5*o + 2*g = 1299, g - 1032 = -4*o + 3*g. Is o composite?
True
Let v(i) = -i**3 - 8*i**2 - 6*i - 4. Let y be v(-7). Let d be 2*y + 1 + -4. Is (155/d)/((-2)/10) a composite number?
False
Suppose -z - 11539 = -4*z + 2*f, -3849 = -z - 2*f. Is z prime?
True
Let j(x) = -4*x + 1. Let i be j(2). Suppose 58 = 5*a - a - 3*c, -a + 5*c = -23. Let f = i + a. Is f composite?
True
Suppose 5*h + 14 = 2*q, -4*h - 7 = -q + 3. Suppose 0*c - 5*c + q*g - 159 = 0, 0 = -2*c + 2*g - 60. Is 2 - (c/3 + -2) a prime number?
False
Suppose -3 = -4*c + 3*c. Suppose -f + 492 = c*f. Is f a prime number?
False
Suppose c = 5*d + 44, -c - 3*c + 110 = 2*d. Let k = c + 29. Let z = -27 + k. Is z composite?
False
Let g(d) = -d - 1. Let i be g(-3). Suppose -4*u + 442 = 4*m - i*m, 0 = 3*u - m - 344. Is u prime?
True
Suppose 5*y - 723 = -4*t + 3178, -2*t = -3*y - 1967. Is t a composite number?
True
Suppose 0 = -12*z + 10*z + 2998. Is z prime?
True
Let c = 456 + 63. Suppose -m = -r - 154, -2*m + r = -c + 208. Is m a prime number?
True
Let k = 1425 + -958. Is k prime?
True
Let v = 317 + 78. Is v prime?
False
Suppose 49 = 5*s - 151. Suppose 0 = -u - 4*z + 371, u = 2*z + 307 + s. Is u a composite number?
True
Let l be 2*(1 + 0) - 0. Suppose 0 = -l*u - 5*v + 13, 3*u - 3*v + 11 = 5*u. Suppose -c - 161 = -2*g, u*g = -c + 2*c + 319. Is g prime?
True
Let m(d) = 23*d**2 + 1. Let n be m(-3). Suppose 2*i + 4*p - 16 = 0, 0*p + 4 = -5*i + p. Suppose j + 3*r = 2*j - 72, 4*j + 4*r - n = i. Is j a composite number?
True
Is 542 + (-3 - (-3 + 1)) a composite number?
False
Let v = 410 - 249. Is v a composite number?
True
Suppose -4*j = -5*j + 1031. Is j a composite number?
False
Suppose -2*n + 1852 + 690 = 5*t, 3*t = 4*n - 5084. Is n prime?
False
Suppose 3*g + 4*o - 5*o = -7, 2*g + 3*o - 10 = 0. Is g*(-3 - (160 + -2)) prime?
False
Let r(s) = 2*s - 3. Suppose -32 = -3*j - 5*y, 6 = 2*y - 2. Let a be r(j). Suppose -a*g + 155 = -230. Is g composite?
True
Suppose -x - 4 = 6. Let u(r) = -r**3 - 10*r**2 - 6*r + 7. Is u(x) a composite number?
False
Let i = 101 - -264. Is i prime?
False
Let b(y) = -3*y - 3. Let p be b(-4). Let a = -5 + p. Suppose 5*w + 3*d = 240, 3*d - 107 = -2*w + a*d. Is w a prime number?
False
Suppose -5*w = -3*w - 284. Let l = -63 + w. Is l composite?
False
Suppose 0 = -5*i - 2*z - 20 + 1033, 0 = 5*z - 20. Suppose -4*s - i = -7*s. Is s composite?
False
Let a be (-4)/6 - (-11)/3. Suppose 4 = a*h - 0*h - u, 0 = -4*h - 3*u + 14. Suppose 54 = h*q - 2*p, -q + 2*p + 12 = -19. Is q a prime number?
True
Let y be (-2)/9 + (-100)/(-45). Let q(t) = 4*t + 1. Let u be q(1). Suppose 5 = u*a, 0 = y*l + a - 3*a - 24. Is l a composite number?
False
Let q(s) = 21*s**2 - 3*s - 4. Is q(-7) prime?
False
Is (-6459)/(-18) - 1/(-6) a prime number?
True
Let q(i) = -i**3 + 7*i**2 + 7*i. Let y be q(7). Suppose 2 = 2*x + 12, 5*x + y = 4*a. Is a a prime number?
False
Let m be 2*4/((-4)/(-125)). Is 1/(-4) - m/(-8) a prime number?
True
Let k(g) = g**2 + 5*g - 2. Let o(c) = c**3 - 5*c**2 - 6. Let b be o(5). Let m be k(b). Suppose 251 = 3*q + m*i, -3*q - i = 2*q - 390. Is q prime?
False
Let l = 9 + -4. Let r be (-3)/l + (-234)/(-15). Is r/3*114/10 a prime number?
False
Let y = 43 + -61. Is 6/y - (-562)/3 a composite number?
True
Let c = -335 + 1242. Is c prime?
True
Suppose 4 = -3*t + 16. Suppose -z + t*z = 1638. Is z/5 - (-2)/(-10) a composite number?
False
Let i = 202 + 245. Is i composite?
True
Suppose 5*m - 3 = 4*m. Suppose -m*s = 2*s + 10. Is (7*(-4)/2)/s composite?
False
Suppose 5*a = -3*r + 215, -6*a - r + 125 = -3*a. Is a/(-4)*7/(-2) composite?
True
Let s = -10 - -15. Let a(l) = -l**3 + 4*l**2 + 5*l - 7. Let f be a(s). Is 14/(-49) + (-933)/f prime?
False
Let l be (-24)/2*(-15 + 4). Let b = -50 + l. Suppose -3*c - 87 = 3*w - 255, -4*w = -2*c + b. Is c prime?
False
Is 4 + 334 + (-3 - -6)/(-3) prime?
True
Let q = -821 + 1348. Is q a prime number?
False
Suppose -5*k = 2*f - 120 - 149, -55 = -k - f. Is k a composite number?
False
Is 1 + 288 + 1 - (-4 - -1) a composite number?
False
Let d(r) = 3*r**2 + 9*r - 7. Let z(o) = 2*o**2 + 9*o - 7. Let q(n) = 3*d(n) - 4*z(n). Let f(t) = 2*t**2 - 17*t + 14. Let w(y) = 4*f(y) - 7*q(y). Is w(5) prime?
True
Let t be -1 - 171*(0 + -1). Suppose 0 = -r - r + t. Is r prime?
False
Is ((6 - 11) + 2)*3958/(-6) a composite number?
False
Let h = 2 - 0. Suppose h*d = 5*a - 38, 5*d - 21 = -4*a + 2*a. Is a/10*(1 - -4) a composite number?
True
Is 2 + -2 - 4/(20/(-6365)) prime?
False
Let j = -9 - -8. Let n be j/(2/10*-1). Suppose -w - 4*k = -103, 134 = -5*w + n*k + 524. Is w prime?
True
Let m be (6/(-4))/(6/(-16)). Suppose -9*v = -m*v - 265. Is v a prime number?
True
Let u(x) be the third derivative of x**7/720 - x**6/120 + x**5/20 + x**2. Let o(a) be the third derivative of u(a). Is o(4) composite?
True
Let g(o) = -o. Let t be g(-2). Let h be (-1)/t*(5 - 5). Suppose h*y + 4*y - 196 = 0. Is y prime?
False
Suppose 8*a - 5*a - 4*m - 262 = 0, -4*m = 5*a - 490. Is a composite?
True
Let n = 2117 - 898. Is n a prime number?
False
Let o(c) = -4*c**3 - c**2 + c + 1. Is o(-3) a prime number?
True
Let r = -4 - 5. Let l be 6/r - 8/6. Is (-7)/(l + (-9)/(-5)) prime?
False
Is (-28)/35*295/(-2) prime?
False
Let g = -293 - -544. Is g a composite number?
False
Let u be (4 - (-192)/(-20))*-5. Suppose 31 = 3*y - 8. Let d = u - y. Is d prime?
False
Suppose -x + 70 = -0*x. Let l = 117 - x. Is l composite?
False
Is 3919 - (-1)/((-28)/8 + 4) prime?
False
Let a = 201 + -118. Let k = 330 - a. Is k composite?
True
Is 1949/8*(6 - 2)*2 prime?
True
Let j(l) = 10*l**2 + 4*l - 9. Let x be j(-9). Suppose x = 4*u + 193. Is u a prime number?
False
Let g(a) = -14*a - 9. Is g(-4) prime?
True
Let c(v) = -7*v**2 + 2*v - 3. Let o be c(-3). Is (1 - -1 - o)/2 a composite number?
False
Suppose -4 = -2*o, o - 3*o = -4*i + 8. Suppose -213 = -i*k + 2*k + 2*x, -4*k = 4*x - 900. Is k a composite number?
True
Let a = 3702 - 1892. Suppose -a - 55 = -5*x. Is x a composite number?
False
Let t(u) = u**3 - 11*u**2 + 12*u + 23. Is t(11) prime?
False
Let p(m) be the first derivative of 122*m**3/3 - m**2 + 3. Let r be p(-2). Suppose 504 = 4*o + j, -2*o + r = 2*o + 4*j. Is o composite?
False
Suppose 3*g = 5*g - 3802. Is g a