 composite number?
False
Let s = 15 - 16. Let k(m) be the third derivative of -31*m**6/120 + m**5/60 + m**4/12 + m**3/6 + m**2. Is k(s) a prime number?
True
Suppose 4*d - 15 = 3*k, -3*k - 15 = 2*d - d. Let o be (-8)/(-20) + (-23)/k. Suppose 0*y - y = w - 2, 0 = -2*w + o*y + 39. Is w a prime number?
True
Suppose -15 = -3*s - 2*m, 0 + 6 = 2*m. Suppose -g = -3*t + 814, -4*t + 2*g = s*g - 1083. Is t composite?
False
Let y(x) be the second derivative of x**4/6 - 7*x**3/6 - x**2 + 12*x. Let k be (-74)/14 + 2/7. Is y(k) composite?
False
Suppose 0*k - 4*t - 224 = -4*k, 5*k - t - 276 = 0. Is k composite?
True
Suppose -40225 = -19*x + 14*x. Is x a prime number?
False
Let n(y) = -5*y**3 + 5*y**2 - 4*y + 5. Let o be n(4). Let d = 606 + o. Is d composite?
True
Suppose 4*s - z - 6536 = 0, -6556 = -4*s - 0*s - 4*z. Suppose -h = 4*h - s. Is h prime?
False
Suppose 127 = -3*u + 370. Suppose 5*x - u - 29 = 0. Is x composite?
True
Let n be -2 + 599 + 2 + -4. Suppose 0 = -4*c - c + n. Is c a composite number?
True
Let d = 90 + 59. Is d prime?
True
Let l(q) = -7*q + 5. Let t = -3 + 3. Suppose 2*p - 6 + 14 = t. Is l(p) a composite number?
True
Suppose 4*c = q - 285, 5*c = -2*q + 6*q - 1085. Is q prime?
False
Let t(c) = -21*c**2 - 55*c + 66. Let n(z) = -4*z**2 - 11*z + 13. Let m(f) = -11*n(f) + 2*t(f). Is m(-10) prime?
True
Suppose -15 - 3 = -j. Suppose 3*h - j - 75 = 0. Let z = -5 + h. Is z prime?
False
Let y be (-2)/(2/(-14)*2). Let i be (-30)/y + 4/14. Is (i/6)/(10/(-375)) a prime number?
False
Suppose 4*b - 500 = 4*l, l - 245 - 138 = -3*b. Is b a prime number?
True
Let s(u) = -u**2 + 11*u. Let z be s(10). Is (z/15)/(2/93) composite?
False
Suppose -157 - 111 = -4*d - 2*m, 0 = -d + 5*m + 45. Is d composite?
True
Let x be -1*2/(-5)*45. Is 2570/x - (-4)/18 a composite number?
True
Suppose -3*v + 24 = -3*t, -14 = -5*v - 2*t - 2. Suppose v*z + 64 - 212 = 0. Is z a prime number?
True
Let o = 232 - 21. Is o prime?
True
Let y(x) = 2*x**3 - 4*x**2 + 8*x + 5. Is y(6) prime?
False
Suppose -2536 = -2*i - 242. Is i a composite number?
True
Suppose 2*y + 0*y = 5*r + 9, -y = -r - 6. Let g = y + 8. Is ((-12)/g)/((-2)/10) prime?
False
Suppose 3*x - 640 + 85 = 0. Is x composite?
True
Is 1*-1*(-2 - -3)*-2813 composite?
True
Let y be 21/6*2*1. Suppose 0 = -y*u + 3*u + 8. Suppose 906 = 3*f - h, h - 304 = -f + u*h. Is f a prime number?
False
Suppose 0 = -2*c + 282 - 16. Is c a composite number?
True
Let v be (-12)/9*711/6. Let s = 465 + v. Is s composite?
False
Suppose 3*l + 4 = -w + 4*l, 3*l = 0. Suppose 0 = 3*a - 0*s + s + 48, -32 = 2*a + s. Is 4/((a/22)/w) composite?
True
Let s(n) be the third derivative of -7*n**6/24 + n**5/30 + n**4/24 + n**3/6 + 6*n**2. Is s(-2) prime?
False
Suppose 2*h - 496 = -2*z, z = 3*z - 6. Suppose 0 = -3*r + h + 202. Is r prime?
True
Let d be (2 + -1)*(0 - 0). Let v(m) be the third derivative of m**5/60 + m**4/24 + 37*m**3/6 + 6*m**2. Is v(d) a composite number?
False
Suppose -2*t + 480 = -1618. Is t a prime number?
True
Suppose q - 4*y = 199, -3*q - 199 = -4*q + 3*y. Is q a prime number?
True
Let l = 280 - 131. Is l a prime number?
True
Is 1/7 - (-112784)/98 a prime number?
True
Suppose m - 3*m = -520. Suppose 2*i = m + 66. Is i composite?
False
Is (-974)/8*(24 + -52) a composite number?
True
Let l = -113 - -240. Is l composite?
False
Let c = 11 - 9. Is 51/15 - c/5 a prime number?
True
Suppose 0 = p + 5*c - 2, 0*p - 4*p + 2*c + 30 = 0. Suppose -p*q + 5*q = -382. Is q prime?
True
Let c(x) be the first derivative of -x**3/3 + 8*x**2 + 11*x + 1. Suppose -5*b + 4*o + 46 = -22, 0 = 3*b + 3*o - 30. Is c(b) a prime number?
True
Suppose -4*h - 2*q = -2574, -2*q - 3*q - 1898 = -3*h. Is h a prime number?
True
Let n(z) = 13 - z**3 - 9*z - 7*z**2 + 3*z - 4*z**2. Is n(-11) a prime number?
True
Let z = 219 - 107. Is z + 0 + 0 + 1 a composite number?
False
Let d(i) = 15*i**3 - 3*i**2 - 5*i + 2. Let r be d(3). Suppose 0 = g - 2*g + r. Is g a composite number?
True
Is (9/2)/(48/1312) a composite number?
True
Let x(m) = -46*m + 1. Suppose -y - 8 = -0*y - 2*b, -2*y = 4*b. Is x(y) composite?
True
Let x(m) = -m**2 + 3*m + 2. Let i be x(-2). Let w be (0 + 2)*(-4)/i. Is (52 + (-2)/(-2))*w composite?
False
Suppose -19*m + 15*m + 2636 = 0. Is m a composite number?
False
Let i(l) = 21*l**3 - 2*l**2 + 2*l. Let b(n) = -85*n**3 + 9*n**2 - 9*n. Let z(y) = 4*b(y) + 18*i(y). Suppose 2*w - 5 = -3*w. Is z(w) a prime number?
False
Let h(w) = 281*w - 4. Is h(3) prime?
True
Let s = 12 - 10. Suppose 0 = -5*q + s*q + 285. Is q prime?
False
Let x(f) = f**3 - 10*f**2 + 10*f - 9. Let p be x(9). Let n be 3 - 423/(3 - p). Let r = n - -203. Is r prime?
False
Is 1/(26188/(-6548) + 4) prime?
True
Suppose 16 = 2*k + 2*k. Suppose 0 = -k*p - 14 - 6, 5*x + p - 1320 = 0. Is x a prime number?
False
Suppose -7 = -2*p + 3. Suppose -4*h - p*x = -25, h + x - 8 = -2*x. Suppose -5*g - 45 = -b, h + 3 = -4*g. Is b a composite number?
True
Let o be -2 + ((-4)/(-1) - -1). Suppose -o*r + 4 = -8. Suppose r*f - 2*f = 26. Is f prime?
True
Suppose -7*r + 6*r + 15 = 0. Is r a composite number?
True
Let t = 117 + 652. Is t a composite number?
False
Suppose -3*j = 5*u + 3 + 3, 0 = -3*u + 3*j - 18. Let o be u/(-2)*(-40)/6. Is ((-8)/o)/(2/185) composite?
True
Let d(y) = 10*y**3 - y**2 + 1. Let q be d(-1). Let o(k) = k**2 + 7*k - 11. Is o(q) a composite number?
False
Suppose 0 = 3*l - 2*a - 2, -2*l + 43 - 10 = 5*a. Suppose -22 = -l*w - 66. Is w/2*(-16 - -2) a prime number?
False
Suppose 4*o = -5*h + 287, -3*h + 170 = -2*o - 11. Let k = 39 - h. Let n = 97 + k. Is n composite?
True
Is 6 + (-5 + 2 - -490) a prime number?
False
Let f(n) = -2*n**2 - 6*n + 3. Suppose 0*y - y - 11 = 0. Let v be f(y). Let s = -124 - v. Is s a prime number?
False
Let t be (-2)/9 + 88/(-9). Is 262/4 + 5/t composite?
True
Let n = -4 - 0. Is 6/(-24) - 845/n a composite number?
False
Suppose -2*y + 89 = -n + 2*n, -3*n = 5*y - 221. Is y a prime number?
False
Suppose t - 2 = 3*t. Is 2*t/(4/(-178)) a prime number?
True
Let x(y) be the first derivative of -3*y**4/4 - 5*y**3/3 - 5*y + 1. Let c(d) = 2*d**3 + 4*d**2 + d + 4. Let t(z) = -4*c(z) - 3*x(z). Is t(4) composite?
False
Suppose 247 = -20*v + 21*v. Let z = v + -69. Is z prime?
False
Let f = -8 - -12. Suppose 13 - f = 3*b. Is (26/(-4))/(b/(-6)) composite?
False
Let l = -1 - -1. Suppose l*r - r = 2. Is -158*r*(-2)/(-8) a composite number?
False
Let t = -211 + 308. Is t composite?
False
Let j = 97 - 23. Suppose 5*a - j = 4*a. Is (a/(-4))/((-3)/6) a composite number?
False
Suppose 2*i = 4*i - 6. Suppose 0 = n + 5*u + i - 6, -3*n = 5*u + 1. Let d(h) = -3*h**3 + h**2 - 3*h - 3. Is d(n) prime?
True
Suppose 3*r = r - 4, 5*z = -r + 1053. Suppose 2*o - 11 - z = 0. Is o a prime number?
False
Let f = 5 - 3. Suppose 142 = f*w + i, 0 = w - 2*w - 5*i + 89. Is (-1)/(-2) + w/2 a composite number?
True
Let j = 363 - -160. Suppose 4*k - x - 513 = 0, j = 4*k + 2*x - 5*x. Is k composite?
False
Let i be (-8)/(-10)*(-15)/(-6). Suppose i = -v - v - 3*w, -3*v = 2*w - 7. Is 3*1/(1/v) prime?
False
Suppose 375 = 2*z - 935. Suppose 1494 + z = h. Is h prime?
False
Suppose 3*c + 13 + 5 = 0. Let x = -8 - c. Is -1 - 0/x - -86 a prime number?
False
Suppose 0*v - 5*v = 4*p - 1082, -542 = -2*p - 3*v. Let k = -102 + p. Is k a composite number?
True
Suppose -4*n - 2*j - 2*j = -20, 25 = -5*j. Let f = 42 - n. Suppose -2*m + 42 = -f. Is m composite?
False
Let h be -4*3/(-3) + 805. Let q be 18*46/3*-2. Let i = h + q. Is i a prime number?
True
Suppose 0 = 5*f - 4*t - 191, 2*f + t - 54 = -3*t. Let r(w) = -2 + f*w + 21*w + 3. Is r(1) a prime number?
False
Let o be (6/(-3))/((-8)/(-36)). Let h = o - -52. Is h composite?
False
Suppose 3*h + k - 456 = 270, -4*h + k + 975 = 0. Suppose 5*m = h - 8. Is m a prime number?
True
Let i be 1 - (-2 - 3/1). Suppose -572 = -4*k + 4*p, k = i*k - 3*p - 705. Suppose y + y = k. Is y a composite number?
True
Let g(q) = 11*q**2 + 2*q + 1. Is g(3) a prime number?
False
Let w = -5 + 5. Let p = w - 3. Is -1 - 3/p - -13 prime?
True
Suppose 0*l + 2*l = -2*y + 68, 3*y + 84 = 3*l. Is l a composite number?
False
Suppose -5*f - z = 24, 0 = z + z + 8. Is 1/((-4)/(-508)) - f a prime number?
True
Suppose 2*a - 190 = -0*a - 4*m, -4*a + 3*m = -347. Is a a composite number?
False
Let d(c) = 4*c**2 + c. Let u be d(-2). Let s = -7 + 