prime?
False
Let z(l) = 449*l + 10. Is z(8) composite?
True
Let k = 1 + -1. Suppose 0 = -8*f - 2*f + 1590. Suppose -3*p + f = -k*p. Is p composite?
False
Suppose 16*r - 13535 - 5873 = 0. Is r a composite number?
False
Let z(a) = 408*a**2 - 28*a - 11. Is z(8) a composite number?
True
Let m = -84 - -88. Suppose -m*r = -3953 + 277. Is r a prime number?
True
Let g = -10 + 20. Let v = 10 - g. Suppose -4*h = -0*p - p - 312, v = -3*h - 2*p + 245. Is h a composite number?
False
Suppose -s + 11003 = 4*v, 4*s + 0*s - 44051 = -3*v. Is s a prime number?
False
Suppose 0 = 17*u - 20*u + 7509. Is u prime?
True
Let i be (-65)/2*10/25*4. Let a = 729 + i. Is a a prime number?
True
Suppose 0 = -m + 3*c + 59, 4*m - 88 - 193 = -3*c. Suppose -r + n + 4 + m = 0, -4*r + 258 = 2*n. Is r composite?
False
Let o(x) = x**3 + 12*x**2 + 9*x - 3. Suppose 3*y - 22 = 5*w - w, 3*y + 27 = -3*w. Is o(w) a prime number?
True
Suppose 5*b = -87 + 772. Let m = b + -96. Let s = 170 + m. Is s a prime number?
True
Suppose -3*b - b - 2*h + 10526 = 0, 10525 = 4*b + h. Is b a composite number?
True
Let z(q) = q**3 + 2*q**2 - 3*q + 3. Let d be z(-3). Is 0/d + 1351 - -4 a composite number?
True
Let b(g) be the second derivative of 289*g**4/12 + 2*g**3/3 + g**2/2 - 13*g. Is b(2) prime?
False
Let a = 11881 + -4092. Is a composite?
False
Let h(y) = -y**3 + 7*y**2 + 2. Let q be h(7). Is 7/(q - 3)*-127 prime?
False
Let q(k) = -17548*k - 15. Is q(-1) composite?
True
Suppose -5 = j, c - 2*j - 1122 = -3*c. Suppose -2166 = -2*n - c. Suppose 0 = -5*q + 3*s + n, q + s - 3*s - 193 = 0. Is q composite?
True
Suppose -4*k + 218 = -15*d + 16*d, 2*d - 5*k - 397 = 0. Is d composite?
True
Let c(q) = 3*q**3 - 22*q**2 + 29*q - 65. Is c(19) composite?
False
Suppose -3*d + 3453 = 5*m, -3*d + 6*m + 3453 = 3*m. Is d composite?
False
Let x be 206 + 1*(3 - 4). Suppose -2*y + x - 1379 = -4*g, 1167 = 4*g + 5*y. Is g prime?
True
Let j = -6 - -9. Let x = -21 + 23. Suppose 958 = x*o + 3*o - 3*a, 0 = -j*o - a + 572. Is o a composite number?
False
Let j(h) = -220*h + 13. Let o be j(10). Let l = o + 4044. Is l composite?
True
Suppose -194*d = -191*d - 12, -5*k = -5*d - 66695. Is k prime?
False
Suppose 0 = 4*y + 2*c + 10, -y + 6*c + 20 = 2*c. Let p be y + 0 - (-3 + 1). Let f = 35 + p. Is f composite?
False
Suppose 9 = 3*k + t, 3*t = -k + 5*t - 4. Let d be (3 - (-15)/(-5))/k. Suppose -4*s + d*o = o - 3190, 4*o = 4*s - 3180. Is s a composite number?
False
Let o = 191 + -96. Suppose -93*i = -o*i + 11846. Is i a composite number?
False
Let p be 2 - (1 - -1) - 0. Suppose 83*b - 6021 = 74*b. Suppose 4*s + 5*t - b - 378 = p, -4*t = 3*s - 785. Is s a prime number?
True
Let b(z) = z**2 - 11*z + 14. Suppose 4*n - 30 = -k + 14, 5*n + 2*k = 58. Let r be b(n). Suppose 2*a + r*a = 210. Is a a composite number?
True
Let a(t) = 136*t + 12. Let d be a(5). Suppose 2*i + 80 = 3*h + d, 5*h = -10. Is i composite?
True
Let s(z) be the first derivative of 4*z**3/3 + 5*z**2/2 - 2*z - 8. Let j be s(13). Suppose 2980 = 4*g - 5*f, 3*g - 2974 = -2*f - j. Is g a composite number?
True
Suppose -2*q + 200 + 218 = 0. Is q a composite number?
True
Suppose -5*x - 608 = -3*o + 381, -5*o + 1715 = 5*x. Let j = o + 207. Let p = 1038 - j. Is p a prime number?
False
Let l = -404 + 4371. Is l a prime number?
True
Let q be (-39)/(-91) + (-13074)/(-21). Let w = q - 356. Is w a composite number?
True
Let a(v) = -13*v**2 - 6*v - 11. Let d be a(5). Let t = d + 635. Is t a composite number?
False
Let l = 28 + 769. Is l prime?
True
Suppose 0 = 43*s - 41*s - 134242. Is s a composite number?
False
Suppose 0 = -w + 5*m - 2909, 3*w - 8*m + 8777 = -3*m. Is w/(-5) + (-8)/(-40) composite?
False
Let b(o) = -63*o**3 - 3*o**2 + 5*o - 6. Is b(-7) prime?
False
Let p = -4 - -8. Suppose -2*l = -p*v + 8, 0*l = 4*l + 5*v + 16. Is (-1288)/12*6/l a composite number?
True
Suppose -h - 185934 = -5*y, -22143 = 2*y - h - 96516. Is y composite?
True
Let u(q) be the third derivative of q**4/12 + 8*q**3/3 + 8*q**2. Let g be u(-7). Suppose -5*p - 334 - 323 = -g*f, -5*f = 4*p - 1659. Is f a prime number?
True
Let k be (0/(-2))/(15 - 13). Suppose 2*c - d - 361 = 80, k = -c + 3*d + 208. Is c prime?
True
Suppose -q + 49658 - 2026 = 3*o, 4*q - 4 = 0. Is o a prime number?
True
Let u be (-42)/(-10)*(-2 + 7). Let t = u - 380. Let l = -216 - t. Is l composite?
True
Suppose g = -3*g + 24. Suppose -2*t + g*t = 3*m - 7243, -4*m + 9656 = -4*t. Is m prime?
False
Suppose t = -6 + 7. Suppose 14 = 5*g - t. Is 264 - ((g - 3) + 2) prime?
False
Suppose 0 = -c - u + 20447, 19*u = 4*c + 14*u - 81752. Is c a prime number?
True
Is (-2 - -1) + 2 - (2 + -878) composite?
False
Let t be ((214260/8)/(-5))/(4/8). Is (-8)/(-12) + -2*t/18 prime?
False
Suppose 0*s = 3*o + s - 64128, -4*s + 42742 = 2*o. Is o prime?
True
Let l(b) be the second derivative of 19*b**5/60 + b**4/24 - 4*b**3/3 - 9*b. Let x(d) be the second derivative of l(d). Is x(3) prime?
False
Let a(h) be the second derivative of -208*h**3/3 + 7*h**2/2 - 34*h. Is a(-3) a composite number?
True
Suppose 12*n + 2*w - 2768 = 8*n, -2*n = 2*w - 1386. Is n prime?
True
Suppose -6*b + 335899 + 99779 = 0. Is b composite?
False
Let i be (42/8)/((-1)/(-4)). Let q = i + 16. Is q prime?
True
Let c(r) be the first derivative of -r**4/2 + 8*r**3/3 - 7*r**2/2 - 3. Let z be c(6). Let i = z - -353. Is i composite?
False
Let z(t) = -t**3 - 4*t**2 + 8*t - 4. Let a be z(-6). Suppose -5*p + a = -p. Suppose -4*r + 732 = -m + 3*m, 0 = p*m + 20. Is r a prime number?
False
Let o be 2/6*3*1. Suppose -o = -u + 3. Suppose -h + u = -3. Is h prime?
True
Let n = 2 + -7. Suppose -36*w = -38*w + 88. Is w/(-8)*(3 + n) prime?
True
Suppose 0 = -2*v + 3*x - 4 - 6, 0 = -3*v - 3*x + 15. Suppose 0 = -p + 3 + v. Is (-34)/(-6)*60/p prime?
False
Let o(q) = 449*q**2 - 3*q + 3. Is o(5) a prime number?
True
Suppose 77*y + 194635 = 1474452. Is y a composite number?
True
Let b(h) be the third derivative of h**5/12 - 5*h**4/24 - 31*h**3/6 - 2*h**2 - 3. Is b(-15) prime?
False
Is (2/9 - (-116)/(-36)) + 662 prime?
True
Let z = -5 + 30. Suppose z*o = 20*o + 36175. Is o a prime number?
False
Suppose -12*k + 16*k - 5036 = 3*x, 3*k + 5*x - 3777 = 0. Is k composite?
False
Suppose -3*b + 2 = -f - 9, b = -f + 9. Let k be b/(-2)*(-32)/20. Suppose -26 = -4*g + 2*g + k*x, -5*g - 4*x = -65. Is g composite?
False
Let t be (15/(-20))/((-2)/(-8)). Let b = t - -9. Let j(i) = -i**3 + 7*i**2 + 5*i - 7. Is j(b) composite?
False
Let f(c) = 612*c**2 + 2*c + 7. Is f(-3) prime?
False
Let d(l) = 0*l + 4*l + 15 - 3*l + 0*l. Let r be d(-10). Suppose 552 = r*b - 473. Is b composite?
True
Let o = 124 - 87. Suppose -o*z = -39*z + 7726. Is z composite?
False
Let c(t) = -2*t**2 + 4*t - 3. Let m be c(2). Let z(s) = -3*s**3 + 2*s**2 + 3*s - 3. Is z(m) a prime number?
False
Let l be (0/1)/((-4)/2). Suppose 4 = -5*v + 19. Suppose l = -4*o + 16, v*u - 3*o + 96 = 7*u. Is u a composite number?
True
Is 636/(-16)*(-138080)/120 a composite number?
True
Suppose 82*f - 85*f + 2397 = 0. Is f composite?
True
Let p(m) be the third derivative of m**4 - 5*m**3/6 - 6*m**2 - m. Suppose -2*a + 24 = 2*u, 3*u + a - 9 = 21. Is p(u) a composite number?
False
Suppose -3*o + 6 + 3 = 0. Suppose 5*m - p = 214 + 366, 4*p + 365 = o*m. Is m prime?
False
Let d be ((-4)/(-8))/(1/12). Suppose 4332 = d*u + 1086. Is u prime?
True
Suppose 0 = a - 3*y - 611, a - 606 = 7*y - 3*y. Is a composite?
True
Suppose -t + 1 = -1. Is t/10*906 + (-21)/105 composite?
False
Let r = 11 + -6. Let y(k) = 154*k + 261. Let w be y(6). Suppose f - 4*f + 1190 = r*j, 5*j = -2*f + w. Is j a prime number?
False
Let p(y) = 1958*y**2 - 4*y + 3. Let d be p(2). Let k = d - 5324. Suppose o - 1 = 1, 5*m - k = -4*o. Is m a prime number?
True
Suppose -28*f - 272092 = -32*f. Is f prime?
True
Let z be 1 + 1541 + 2 + -4. Let y be z/130 - 4/(-26). Suppose -h + y = h. Is h composite?
True
Suppose 5*a + 24 = -2*k, 3*a - 15 = 3*k - 0*a. Let s(o) = 8*o**2 + o + 8. Is s(k) prime?
False
Let f(l) = -l**3 - 4*l**2 + 5*l + 5. Let t be f(-5). Suppose 0 = t*s - 16 - 4. Suppose -3*x + x + 674 = s*c, 4*x = -c + 1348. Is x composite?
False
Suppose 5*r + 23080 = -3*r. Let a = r + 5952. Is a prime?
True
Suppose 0 = -r + 3*u + 12, 2*r + u + 8 = -u. Suppose 4*p - 3*i + 1838 = r, -4*p + i = p + 2303. Let j = -250 - p. Is j a prime number?