55 - (-361)/11 prime?
False
Let j(a) be the second derivative of 2*a**3/3 + 3*a**2/2 + 11*a. Suppose -4*c = -3*q - 41, -8 = -2*c + 2*q + 14. Is j(c) composite?
True
Let z(d) = -2*d + 4. Let n be z(3). Let k be (-164)/(n/(2 - 0)). Suppose -2*m = -2*b - k, 2*m = -3*b - b + 134. Is m composite?
True
Suppose -21 = -3*o - 0*l + 5*l, 0 = -3*o + 4*l + 21. Suppose -o*u = -2*u - 575. Is u prime?
False
Let k(r) be the second derivative of 11*r**6/120 + r**5/40 + r**4/24 - r**3/6 - r. Let g(i) be the second derivative of k(i). Is g(-2) composite?
False
Suppose 4*m - d = -2*d + 18, -4*d = 5*m - 17. Suppose m*f - 246 = 79. Is f a prime number?
False
Is (234/36)/(2/268) composite?
True
Let p(y) be the third derivative of -1/12*y**5 + 0 + 0*y - 7/6*y**3 - 1/6*y**4 - 2*y**2 - 1/120*y**6. Is p(-6) a composite number?
False
Let z be (3/(-12))/((-2)/16). Suppose z*b - 240 = -3*b. Let h = b - -21. Is h composite?
True
Let o = 0 - 10. Is o/5*6/(-4) composite?
False
Let v = 165 + -61. Suppose j - v = 5*z, 4*z - 415 = -5*j - 40. Is j prime?
True
Let v(j) = -j**2 - 2*j + 2. Let h = 11 + -15. Let q be v(h). Is (-4)/(-6)*(-117)/q a composite number?
False
Let u = 7 + -6. Is u/6 - 33/(-18) a prime number?
True
Let d(i) be the third derivative of 13*i**4/8 + 7*i**3/3 + 3*i**2. Is d(7) a prime number?
False
Let c(b) = -b. Let s be c(-3). Suppose -r = 2*r + s. Is (-714)/(-9) + r/3 composite?
False
Let a(x) = x**3 + 16*x**2 + 16*x + 10. Is a(-14) prime?
False
Let g = 3 + -2. Let w = g - -2. Is w composite?
False
Is (14/(-4) - -4)/(2/4764) composite?
True
Suppose -5*w + 3*w + 304 = -2*t, -5*w - t + 748 = 0. Suppose 0 = -4*s - 16, 4 - 3 = l - 5*s. Let d = w + l. Is d a composite number?
False
Let f be (-4 - -7) + 1007 + 1. Suppose 5*c = -286 + f. Is c a prime number?
False
Suppose 0*i = -4*i. Suppose -2*f + 4*f - 60 = i. Suppose -f = -h + 7. Is h a prime number?
True
Let k(q) = q + 14. Let r be k(-4). Let g = r + 5. Is g composite?
True
Suppose 0 = x + 2*x - 12. Suppose m - x*m + 66 = 0. Is m a prime number?
False
Let h(r) = -4*r + 1. Let v be h(-1). Suppose v*l - 538 = 317. Suppose 5*b = 2*c - 91, -5*c - l = -8*c - 4*b. Is c prime?
True
Let f(h) = h**3 + 4*h**2 - 7*h - 7. Let m be f(-5). Suppose 5*i - m*a - 1010 = -0*a, 2*i - 385 = 5*a. Is i a composite number?
True
Let n(p) = -2*p**3 + 8*p**2 - 10*p + 4. Let b(r) = -r - 3. Let v be b(0). Let x(h) = -h**3 + 9*h**2 - 10*h + 3. Let q(f) = v*x(f) + 2*n(f). Is q(-12) composite?
False
Let y(f) = 45*f**2 - 3*f - 11. Is y(4) composite?
True
Is (-12)/(-3)*(-1)/(2/(-101)) prime?
False
Let u = 4 + -72. Let s = u + 99. Is s a composite number?
False
Let j be (-2 - 0/4)*-2. Suppose 3*n - j*a = -n + 20, -2*a + 11 = 5*n. Is n prime?
True
Let w(p) = 240*p - 7. Is w(2) composite?
True
Let k(w) = 33*w + 5. Let v be k(6). Let z = v + -69. Let p = z + -65. Is p composite?
True
Let z be 6/(-10) + (-36)/(-10). Suppose 29 = s + u - 100, -2*u - 377 = -z*s. Is s composite?
False
Suppose 3264 = u + 1085. Is u prime?
True
Let k(m) = 2*m**2 - 6. Let a be k(3). Is 10350/a - (-1)/2 a prime number?
True
Let a(i) = i**2 + i + 1. Let n be a(-4). Suppose -5*r + 7 = -n. Suppose -22 = -r*m + 134. Is m composite?
True
Suppose 3115 = -6*u + 7*u. Suppose -3*k = -8*k + u. Is k a composite number?
True
Let q(o) = o**3 + 24*o**2 + 23*o + 14. Is q(-23) a prime number?
False
Let p(j) = j**2 + 2*j - 2. Let i be p(8). Is i - ((-6)/3)/2 a prime number?
True
Is ((-290)/(-3))/(2/3) composite?
True
Suppose 5*g = -3*l + 255, 4*l - 192 = 2*l + 4*g. Suppose -6*d = -d + l. Is (-2)/(-1 + d/(-22)) a prime number?
True
Let s(z) = z**2 - 14*z + 23. Is s(-12) prime?
False
Suppose 40*p = 44*p - 1388. Is p prime?
True
Suppose -p = -2 - 1. Is -1 + -2 + (p - -37) prime?
True
Suppose -16*k = -14*k - 74. Is k a composite number?
False
Let u = -4 - -8. Suppose s - 10 = -u*s. Suppose -3 + 25 = s*o. Is o prime?
True
Suppose 9*k = 5*k + 652. Is k prime?
True
Let t(n) = 902*n - 3. Is t(2) a composite number?
False
Is 2449 - ((-4 - (-6)/2) + -3) composite?
True
Let t(o) = o**2 + 10*o + 6. Let d be t(-4). Is (-598)/d + 10/(-45) a prime number?
False
Let u(c) = 2*c - 3. Is u(5) a prime number?
True
Suppose -5*m + 4 + 8 = i, 5*i - 2*m - 6 = 0. Let b(f) = 127*f - 3 - 2 + 2. Is b(i) a composite number?
False
Let u(x) = -7*x + 3*x + 8*x - 5 + 6*x**2 - x**3. Is u(6) a composite number?
False
Let p(g) = g**2 + 9*g + 6. Let a be p(-7). Let m be (-1)/2 + (-4)/a. Suppose 2*h = -m + 14. Is h composite?
False
Let h be 6/(-4) + 2/(-4). Let k = 0 - h. Is k*(111/2)/3 a prime number?
True
Suppose 2*f - f - 21 = 0. Is f composite?
True
Suppose -2 = 2*f - 5*o + 1, -2*f - o - 9 = 0. Let u = 4 + f. Suppose 6*p + 4*b - 219 = p, u = -2*b - 8. Is p a prime number?
True
Suppose -5*i + i + 2*l = -18, 0 = -5*i - 3*l - 5. Is 3 + (305 + -1)/i prime?
False
Let w(s) = 346*s**2 - 8*s + 3. Is w(2) composite?
True
Suppose -8 = l + 3*l. Let c = 2 + l. Suppose c*m - 5*m = -175. Is m composite?
True
Suppose -3426 = -5*m + 1019. Is m prime?
False
Let u(l) be the first derivative of l**3 + l**2 + 4*l - 3. Suppose 5*p - 4*p + o = -1, 3*p - 3*o - 21 = 0. Is u(p) a prime number?
True
Let f(y) = 0*y - 4*y + 12 + 2*y. Let m be f(8). Is (m/2 - -3)*21 a prime number?
False
Let u = 264 - 41. Is u prime?
True
Suppose 2*z + 0*z = 0. Is (z - (-2 + -4)) + 0 a composite number?
True
Let n(x) = 11*x + 2*x**2 - 2*x**2 - 9 + 0*x**2 - x**2. Is n(6) composite?
True
Let o = -5 - -8. Let k be o/((-3)/(-2)) + 2. Suppose z - 161 = -2*z - m, -k*z + 3*m = -232. Is z prime?
False
Let z(w) = 12*w - 11. Is z(5) composite?
True
Let b(l) = -152*l - 1. Let c be b(-1). Suppose c = 4*a - h, a = -3*a - 4*h + 136. Is a a prime number?
True
Suppose -5*p = -x - 44, p + 2*x = 3*x + 12. Let h = p - -22. Suppose 0 = -2*y + 2*u + 36 + h, 3*u - 49 = -y. Is y a composite number?
False
Let l = 20 - 14. Let t = -3 + l. Suppose t*g = 57 + 36. Is g a prime number?
True
Let u be (-141)/(-2) - 6/12. Suppose 0 = p + p - u. Is p composite?
True
Let z = 17 - 15. Is (-1)/((-506)/(-254) - z) composite?
False
Is (-6 - -288)/(-2)*26/(-6) prime?
False
Suppose 26 = -2*q + 80. Suppose q = 2*k + 9. Is k composite?
True
Suppose 0 = 2*c - 420 + 88. Let b be 1 - 2 - c/(-1). Suppose -3*i = -8*i + b. Is i composite?
True
Let m be 139 - 1/2*0. Suppose 5*z - m = 36. Is z a composite number?
True
Is (-1)/2*(-8 - 418) a composite number?
True
Suppose -r - 43 = -2*r + 2*o, 0 = 4*o + 16. Is r composite?
True
Suppose 62 + 23 = w. Is w composite?
True
Suppose 0*b + 4*k = 5*b - 15, -2*b + 3*k = 1. Let q = -4 + b. Is 36 + (2 - q)/1 composite?
True
Let g(o) = o**2 - 2*o - 3. Let s be g(-2). Let j(v) = 3*v**2 - 16*v + 7. Let q be j(11). Suppose s*h - q = 3*h. Is h composite?
False
Let f(j) = 6*j**2 + 11*j - 7. Let x be f(-11). Let o = x - 305. Is o prime?
True
Let w = 166 - 102. Let f be 1/5 + (-2040)/(-50). Let d = w - f. Is d composite?
False
Is (8 - 2) + 2387 - 4 prime?
True
Suppose -i = -3*o - 2*i + 2789, 2*o - 1858 = -i. Suppose -2*g - 5*d = -919, -3*d = -2*g - 4*d + o. Is g a composite number?
False
Suppose -25 = 5*b, 2*k - k + 3*b + 15 = 0. Let v(z) = k*z - z - 4 - 1 + z**2. Is v(4) composite?
False
Let i(v) = -v**3 + 4*v**2 + 3*v + 4. Let o be i(5). Let b(s) = -s + 3. Is b(o) prime?
False
Suppose 5*l + 2*b - 10 = 0, 6*b - 3*b - 5 = -5*l. Suppose -5*v - 19 = -l. Is 37 + (-6)/(-9)*v prime?
False
Let w(r) = -r**2 - 13*r + 2. Let t be w(-13). Suppose t*g - 301 = g. Is g prime?
False
Let k = -2612 + 4093. Is k a composite number?
False
Let o = -3 - -3. Is o + 44 + -1 + 3 composite?
True
Suppose f - 14 = 3*f. Let m(y) = 7*y**2 + 5*y + 7. Let i be m(f). Suppose -4*d + 85 = 3*n - 136, 0 = -5*d + 4*n + i. Is d a prime number?
True
Let z = -1367 - -3430. Is z composite?
False
Suppose 0*j + 3*j = 6. Let g(n) = 25*n**3 - 3*n**2 + n + 1. Is g(j) a composite number?
False
Suppose 0 = i + 2*i - 9. Suppose -i*u = -605 - 328. Is u a prime number?
True
Suppose -3*j = 5*a - 48, 14 = 4*j - 4*a - 18. Is (3 - 5) + (j - 0) a prime number?
False
Let y(d) = -d + 4. Let u be y(7). Let z be (12/(-9))/(u/(-9)). Is (3 + -1)/z*-602 a composite number?
True
Suppose 5*p - 5*r - 30720 = 0, r = 2*p + 2*r - 12285. Is p a prime number?
True
Let g = -123 + 368. Suppose -4*p = -g - 531. Suppose -2*f + p = -4*t - 76, -5*f + 3*t + 6