58) + (k - -2) composite?
True
Suppose 2*n + 167 = -3*l + 4413, -2*n - 2*l = -4250. Is n prime?
True
Let s(m) = 4*m**2 + 0*m + m + m + m**3. Let l = 7 - 10. Is s(l) a composite number?
False
Suppose 2*j - 4 = -2*v, -v + 22 = -4*j + v. Let l = 4 + j. Is (l - 1) + (-212)/(-4) a prime number?
True
Suppose 3*r - 13*r + 25690 = 0. Is r a composite number?
True
Let u be (-12)/(-4)*(-4)/(-6). Suppose -4*q = -2*l - 18 - 4, 2*q = -u*l - 10. Is (l/4)/(3/(-12)) a prime number?
True
Let y(u) = u**3 - 5*u**2 - 7*u + 7. Let g be y(6). Let f(q) be the first derivative of 19*q**3/3 - 1. Is f(g) prime?
True
Suppose x = -3*x + 36. Let n(o) be the third derivative of -o**5/60 + 5*o**4/12 - o**3 + o**2. Is n(x) a composite number?
False
Let k(n) = 21*n**2 + 3*n - 1. Is k(-3) composite?
False
Let c = 11 - 6. Suppose -3*s = -4*q - 17, 24 = -s + c*s - 5*q. Is s a composite number?
False
Let l(c) = c**3 + 9*c**2 - 15*c - 9. Let a(n) = n**3 + 9*n**2 - 15*n - 8. Let s(f) = -4*a(f) + 5*l(f). Is s(-10) a composite number?
False
Let d(v) = v**2 - 3*v - 15. Let t be d(-6). Is (1166/6)/(13/t) composite?
True
Let r(h) = h**2 - 1. Let z be r(1). Let p(o) = 4*o - 6 - 1 + z*o. Is p(8) a composite number?
True
Is 5/(-20) - (3 - 5058/8) prime?
False
Let g = 6 - 6. Suppose g = u - 1 + 2. Is (-5)/((-2)/(-38)*u) a composite number?
True
Let d(m) = -m**3 + 7*m**2 - 9*m - 20. Is d(-6) prime?
False
Is (-9)/(-12) + (-25497)/(-36) a prime number?
True
Suppose -3*m - m + 32 = 0. Suppose 3*v - v + 151 = -5*w, 412 = -5*v - w. Is (v/(-2))/(4/m) a composite number?
False
Let f = 25 - 15. Let k be 1 + f/2 - -2. Suppose k*l - 231 = 5*l. Is l a prime number?
False
Let r(q) = -15*q**2 + 5*q + 11. Let j(m) = -m**2 + m + 1. Let v(y) = 4*j(y) - r(y). Let g be v(6). Let n = g - 172. Is n composite?
False
Suppose 0 = -4*s + 12, 5*k - 5*s - 230 = 90. Is k a prime number?
True
Let j = -188 - -92. Let c be j/(-7) + 2/7. Suppose 3*n + 3*a - 47 = -a, c = n + a. Is n prime?
False
Suppose 4*g - 16 = -0*g. Suppose -5*x = 2*c - 45, -c - g*x + 18 = 3. Is c composite?
True
Let b = -335 + 644. Is b a composite number?
True
Let k(f) = 24*f + 9. Let h be k(-7). Let n = -80 - h. Is n a composite number?
False
Let h(k) = 1277*k**2 - 3*k + 3. Is h(1) composite?
False
Let t(o) = 3*o**2 + 8*o - 13. Is t(-8) a prime number?
False
Let g(h) = -h**3 + h**2 - h + 6. Suppose 0 = -0*b - 3*b. Is g(b) a composite number?
True
Suppose -10*y + 14*y - 1364 = 0. Is y prime?
False
Let s(v) be the first derivative of 14*v**3/3 - v**2/2 - 4*v - 2. Is s(3) prime?
False
Let v(o) = 12*o**2 + 20*o - 7. Is v(10) a composite number?
True
Suppose b - 4 = 0, -3*w = -b - 3*b - 191. Let o = -14 + w. Is o a prime number?
False
Let a(u) = u**3 + 4*u**2 - 5*u + 5. Let r be a(-5). Suppose 0 = 4*i + f + 5, 4*i - 2*i = -r*f + 11. Is i*(-1)/((-2)/(-13)) a prime number?
True
Is -262*(0 - (-3)/(-6)) prime?
True
Let t(v) = -11*v + 7. Let o be t(-7). Suppose -i + 0*r + 43 = -4*r, -3*r = 3*i - o. Suppose 2*j = 8, 0 = -5*k + 4*k + 2*j + i. Is k a prime number?
False
Is 1/(((-6)/(-86))/3) a composite number?
False
Suppose 0*d - 4*m = -d + 309, d - 3*m = 305. Is d composite?
False
Suppose r = 5*b + 3 + 25, 3*b = 3*r - 12. Is 2/(4/b) - -10 a composite number?
False
Suppose 5*i + 42 = -4*y, 2*i + 7 = -y - 8. Let a = 19 + i. Suppose 4*q - 5*m - 61 = 0, -q + m + a = -m. Is q a composite number?
False
Suppose -2*l + 3*l - 10 = -3*t, -3*l - 14 = -2*t. Suppose -t*m = -6*m + 42. Is m a composite number?
True
Let x be 1*15/3 + 2. Is x/((-10)/4 + 3) a prime number?
False
Let m be -2 - ((2 - 2) + -2). Suppose m*a + 2*a - 20 = 0. Is a composite?
True
Let t(d) = 2*d**3 - 4*d**2 - d + 4. Let y(l) = -l**3 + 3*l**2 + l - 4. Let x(j) = 2*t(j) + 3*y(j). Is x(3) a prime number?
False
Let x be -3*((-8)/6 - 0). Suppose -m + x*j = -11, 3*j + 18 = m + 3*m. Is m a composite number?
False
Suppose -5980 = -2*p - x, 3*p + 0*x + x = 8971. Is p composite?
True
Suppose -2*p + 253 = 95. Is p composite?
False
Suppose -t = -1 + 14. Let q = 46 - t. Is q prime?
True
Let z = 15 - 1309. Is z/(-5) - 5/(-25) a prime number?
False
Suppose -5*r + 4*y = -690 - 355, -5*r = 2*y - 1075. Is r a composite number?
True
Let d = 4 + 0. Suppose -1 = c - d. Suppose -c*z + 105 = -144. Is z a prime number?
True
Is 11/(-33) + 1762/6*2 composite?
False
Suppose 0 = y - 0 - 1, -5*y + 273 = 4*a. Is a prime?
True
Let f be (1 - 2)*-4 + -3. Suppose n = f + 4. Suppose 0*y = -n*y + 605. Is y a prime number?
False
Let y(m) = -1098*m - 1. Is y(-1) composite?
False
Suppose 3*x = 2*u - 21, -2*u + 8 = -4*x - 6*u. Let g(l) = 16*l**2 - 3*l. Is g(x) a composite number?
True
Let y be (-192)/4*(-2)/4. Suppose w + 23 = 5*r, 3*r + 3*w - 7*w = y. Is -2*(-38)/r - -3 a prime number?
False
Let r = -30 + 9. Suppose 3*s + 5*x - 28 = 0, 0 = 2*s + x + 4*x - 22. Is 215/7 - s/r composite?
False
Suppose 0 = -2*j - j + 327. Suppose 0 = -b + 48 + j. Is b prime?
True
Suppose -5*b + 13 + 2 = 0. Suppose b*j + 94 = 4*r, -r + 10 = 5*j - 2. Is r prime?
False
Let u = 17 - -73. Let j = 127 - u. Is j a composite number?
False
Let r = 4792 - 3311. Is r a composite number?
False
Let g(x) = -x**2 - 4*x + 7. Let a be g(-5). Suppose j - 91 = -4*u, j + a = -u + 102. Is j a prime number?
True
Let z(s) = 3*s**3 + s**2 + 3*s - 9. Is z(4) a composite number?
False
Let z = -102 - 46. Let v = z - -269. Is v a prime number?
False
Let x(q) = -q**3 + 9*q**2 - 8*q + 4. Let s be x(8). Suppose 3*y = n + 16, 3*y = s*n + 22 + 6. Is (-114)/n*(-8)/(-6) prime?
False
Let h = 6 + -2. Suppose -h*a + 28 = -3*a. Suppose -d + a = y, 5*y + 90 = 7*d - 2*d. Is d composite?
False
Suppose 4*m - 374 = 2*m. Is m a prime number?
False
Let k be (-4)/(12/9)*-1. Suppose u + k = 22. Is u a prime number?
True
Suppose 25 = -3*c - 5. Let m = 14 + c. Suppose m*d - 117 = 191. Is d composite?
True
Let h(y) = 2*y**2 - 9*y**2 + y**3 - 1 - 4*y**2 + 7*y + 3*y**2. Is h(10) a composite number?
False
Let c(r) = r**2 + 32. Let y = 0 - 0. Let s be c(y). Let n = 85 - s. Is n composite?
False
Let y be 1*8 + (-4)/2. Let f = y - 3. Is (-1)/((f/(-39))/1) a composite number?
False
Suppose 5*o - 71 = 2*o + 5*w, 0 = w + 1. Is o composite?
True
Let z = -291 - -540. Is z a composite number?
True
Let z(i) = 3*i + 1. Suppose -d + a - 8 = -1, -5*a = -4*d - 31. Let c = 8 + d. Is z(c) a composite number?
False
Let m(p) = 14*p**2 + 5*p + 18. Is m(-11) prime?
True
Let q be (-8)/20 + 44/10. Suppose g + q*g + 5*c = 525, -2*c = 5*g - 525. Suppose 4*y - y = g. Is y a prime number?
False
Let q(r) = -r + 85. Let a be q(0). Suppose 3*h - a = 2*h. Is h composite?
True
Let h be (-474)/(-4)*(-16)/(-12). Let k = -61 + h. Is k a prime number?
True
Suppose -m - 2 + 20 = 0. Let u = -11 + m. Suppose -2*t + 15 = -u. Is t a prime number?
True
Suppose -k = -2*k + 12. Suppose -k = 2*l - 6*l. Suppose -l*g + g = -1162. Is g prime?
False
Is (-4)/((-20)/(-15)) - 922/(-1) a composite number?
False
Let g = -40 + 129. Suppose 5*y - g = -9. Suppose x + 3*u - y = 0, -2*x + 34 = 2*x + 2*u. Is x a prime number?
True
Let f be 951 - (2/1 - 1). Suppose 4*t = w - 322, 0 = -3*w - 3*t + 7*t + f. Is w/10 - (-2)/(-5) a prime number?
True
Let l be (-5 + -2 + 2)*-7. Suppose 0 = i + i - 8. Suppose -i*g = g - l. Is g a prime number?
True
Suppose -3*a - 389 = -4*u, -3*u + 138 = -2*a + a. Let q = -66 - a. Is q composite?
True
Let m(c) = -45*c + 8. Is m(-5) composite?
False
Suppose 0 = 4*u - 4 - 4. Suppose -2*l - v + 10 = v, -u*l - v = -6. Suppose 3*g - 110 - l = 0. Is g a composite number?
False
Let s = -1193 - -1686. Is s composite?
True
Suppose -5*k - 2*b = -1475, -4*k - 288 = -5*k + b. Is k composite?
False
Suppose -6 = t - 4*t. Suppose t*p = -5*b + 111, 0 = 2*p - 3*b - 140 + 37. Is p prime?
True
Let b be -5*3/(30/104). Let m = b + 100. Let d = m + -13. Is d a composite number?
True
Suppose -9*z + 4*z = 0. Suppose 0*i + 5*b = 5*i - 15, -4*i - 5*b + 39 = z. Is i prime?
False
Let p be (27/6)/(3/(-4)). Is (-194)/(-3)*(-27)/p composite?
True
Suppose -f = -2*f. Suppose f*m - m = -37. Is m a composite number?
False
Let h(w) be the third derivative of w**5/60 + 37*w**3/6 + w**2. Is h(0) prime?
True
Suppose -g + 0 = -3. Suppose -k - 538 = -0*l - l, -g*k = -l + 546. Is 6/(-15) - l/(-10) a composite number?
False
Let u(l) = -6*l - 11. Is u(-5) prime?
True
Let r = 38 + 216.