 prime?
True
Let p(d) be the third derivative of -11*d**4/12 - d**3/3 + 6*d**2. Let k be p(-1). Is (-30)/k*(-932)/6 a composite number?
False
Let s = 28 + -2. Suppose -29*g = -s*g - 2463. Is g composite?
False
Let u(d) = -d**3 + 13*d**2 + 13*d + 18. Let n be u(14). Suppose n*w = 5*i - 2073, 1654 = 2*i + 2*i - w. Is i composite?
True
Suppose 2*c = 4*z - 2876, -4*z - 4*c + 2876 = -0*z. Let q = -1035 + z. Let d = 705 + q. Is d prime?
True
Suppose -4*p + 12 = 12. Suppose -4*c + 815 + 413 = p. Is c a prime number?
True
Suppose 5*z - 1 = -26, a - 2*z - 2949 = 0. Is a prime?
True
Let c = 8 - 7. Let r = c - -1. Suppose -212 = d - 5*d - 2*m, 0 = r*d + 2*m - 102. Is d a composite number?
True
Suppose -m - 4*q = -38570, -2*m + 5*q + 77682 = 516. Is m a composite number?
True
Let h(w) be the second derivative of w**4/12 - 5*w**3/3 - 2*w**2 - 25*w. Is h(11) a composite number?
False
Suppose 188 = 4*i + 4*w, 0 = -4*i + 3*w - 4*w + 188. Suppose -5*o = -i - 923. Is o a prime number?
False
Let l(y) = 11*y**2 - y. Let p be l(1). Let v = -8 + p. Suppose -282 = -v*g + 5*t + 294, -4*t = -4*g + 1164. Is g composite?
False
Suppose -8*a + 3*a + 630 = 0. Let n = 30 + a. Suppose -6*v = -192 - n. Is v composite?
True
Suppose -2*d = -4 - 2. Suppose 25 - 106 = -d*j. Is (-6)/27 + 3111/j a composite number?
True
Is (-8 - -10)*(-2309)/(-2) a composite number?
False
Let r(y) = y + 1. Let w be r(3). Suppose -w*v = 4*d - 20, -5*d + 0*v = 4*v - 24. Suppose 2*x - x - 7 = -q, -d*x = 5*q - 28. Is x a composite number?
False
Let s(p) = p**3 + 14*p**2 + p + 16. Let q be s(-14). Is 59 - ((4 + q)/3 + -1) prime?
False
Suppose -3*u - 3864 = -3*w, 2*w - 8*u = -4*u + 2570. Is w prime?
True
Suppose 0*n - 5*n + 4*x + 2141 = 0, n + 5*x = 405. Let m = 438 + n. Is m a prime number?
True
Is (1 - (-5)/(-2))*(-475224)/36 a composite number?
False
Let p(u) = 5*u**2 + u + 3 - 3*u**3 + 0*u**3 + 0*u**2 + u**3. Let o be (15/10)/(3/(-10)). Is p(o) a composite number?
False
Let a(t) = 266*t - t**3 + 8*t**2 - 275*t - 14 + 9*t**2. Is a(11) composite?
False
Let w(t) = 8*t**2 - 11*t - 12. Let d be w(-14). Let f = d - 833. Is f a prime number?
True
Let v = -14 - -18. Suppose -10*d + 1818 = -v*d. Is d prime?
False
Let h(r) = 78*r - 11. Let n be (-18)/21*14/(-3). Is h(n) composite?
True
Suppose -230 = -3*y - 161. Let d = 190 + y. Is d a prime number?
False
Suppose -3944 = -8*p - 0*p. Suppose -8*u + p = -7*u. Is u composite?
True
Let d(w) = 650*w - 3. Let h(n) = 3*n**2 + 3*n + 26. Let k(z) = -z**2 - 2*z - 13. Let g(f) = -2*h(f) - 5*k(f). Let p be g(6). Is d(p) a prime number?
True
Suppose 0 = 12*f - 7032 - 37260. Is f a composite number?
False
Let y(r) = 14*r**2 + 6. Let p be y(10). Let l = -367 + p. Is l prime?
True
Let w be (-4)/10 - (-28)/20. Let v = 1 - w. Suppose v = 4*t - 5*r - 66, 44 = 3*t + r - 15. Is t a prime number?
True
Let a = 16 - 15. Let i be (a/(-1))/(1/(-1)). Is i/((4/11)/4) a composite number?
False
Let j(x) = 357*x**2 + x + 1. Let b be j(-2). Let z = b + -1014. Is z prime?
False
Let o be (-2812)/(-22) - (-8)/132*3. Let a be 52 + (3 - 2) - -1. Let z = o - a. Is z composite?
True
Let c(k) = k**3 - 14*k**2 - 15*k + 4. Let d be c(15). Suppose 2*z + 554 + 1488 = 4*j, -1537 = -3*j - d*z. Is j a prime number?
False
Let j be ((-32)/(-24))/((-2)/6). Let q be -8 - j - (4 + 797). Let u = -450 - q. Is u composite?
True
Let u = -5833 + 14364. Is u a composite number?
True
Let r be 4*2/(-4) + 5. Suppose 12 + 11 = 2*q + r*v, 3*v - 3 = 3*q. Suppose -12 = -q*k, 0*g + 5*k + 299 = 2*g. Is g composite?
False
Suppose -5*s = -16 - 34. Suppose 0 = -5*p + s - 15. Is 140/16*(-4)/p a prime number?
False
Let k(d) = -720*d - 1. Let m = -17 - -65. Let i be m/(-36)*6/4. Is k(i) prime?
True
Suppose 3*c + 2*c - 5 = 0. Let l(u) = -c + u - 14*u - 1. Is l(-3) composite?
False
Let f(j) = 588*j + 7. Let v = -5 - -9. Is f(v) prime?
False
Is (0 + 10/(-15))/(4/(-47958)) a composite number?
False
Let l(r) = -17*r - 44. Let w(o) = 7*o + 119. Let p be w(-22). Is l(p) prime?
False
Let j be ((-42)/(-15))/((12/15)/4). Suppose 7*l - j*l = -1435. Is l a composite number?
True
Is -11*(4190/5)/(8/(-4)) composite?
True
Let s(m) = -59*m - 21. Let n(x) = x**3 - 5*x**2 + 5*x + 1. Let r be n(4). Let k(f) = 29*f + 10. Let w(q) = r*k(q) + 3*s(q). Is w(-7) a prime number?
True
Let f be (-12)/(-18)*(5 + 1). Suppose n = 5*m - 2240, -5*n - 2220 = -m - f*m. Is m composite?
False
Let d(n) = -468*n**3 + 3*n**2 - 29*n + 7. Is d(-5) a composite number?
False
Let x(d) = 16*d**2 + 67*d + 106. Is x(45) prime?
True
Suppose 2*l - 3*u = 11187, l - 35*u = -40*u + 5626. Is l a prime number?
False
Let r be 1/(4/(-14200)*-2). Suppose -20*u + r = -15*u. Is u prime?
False
Suppose -2*w + 4*r + 23332 = 0, -3*w + 34995 = -2*r - 3*r. Is w/30 + (-2)/(-6) a composite number?
False
Let f(b) = -b**2 - 13*b - 16. Let m be f(-13). Let o = m - -27. Is o prime?
True
Let c(t) = 319*t - 31. Is c(6) a prime number?
False
Suppose -3*k - 49800 = -3*a, 0 = -3*a - k + 55543 - 5731. Is a composite?
False
Is 3 + ((-48080)/(-5 + 0))/1 prime?
True
Suppose -93 = 3*z - 204. Is z prime?
True
Suppose 6 = -3*u, -m + 0*m = 5*u - 52. Suppose -2*j + 18 = m. Is (-2)/4 - 3949/j a composite number?
False
Let k(p) = 40*p**2 - 20*p**2 + 24*p - 28 + 10*p - 21*p**2. Is k(27) composite?
True
Suppose 2*k = -4*i + 10, 0*i - 2*k + 10 = i. Suppose -2*r + 3 = -5, c - r = i. Suppose -2*y + 3*y = -c*q + 949, 5 = 5*y. Is q a composite number?
True
Let r = 128 + -125. Suppose -2*a = -163 - 97. Suppose 341 = r*m - a. Is m a composite number?
False
Let x(d) = -4*d**3 - 3*d**2 + 4*d - 1. Let z be x(3). Let k be (0 - -2)/(16/(-1976)). Let b = z - k. Is b a composite number?
True
Let v(t) = -t**3 + 18*t**2 - 54. Is v(-17) a prime number?
True
Suppose 0 = -50*m + 42*m + 23384. Is m a prime number?
False
Let v = -102 + 114. Is (6805/(-10))/(-2*3/v) a prime number?
True
Suppose -2*i - 8313 = -5*i - 4*n, 2*n = 2*i - 5542. Is i a prime number?
False
Let m(o) = 7398*o**3 - 1. Is m(1) a composite number?
True
Let m(f) = -2*f**3 + 14*f**2 + 6*f - 37. Let r be m(7). Suppose 0 = 4*j - 3*q + 13 - 1, -5*j + 8 = 2*q. Suppose j = -r*h + 901 - 291. Is h a prime number?
False
Suppose 0 = -5*k - 3*f + 3, 0 = -3*k - 3*f - 1 - 2. Is 86*(k - (-5)/(-2)) a prime number?
True
Suppose 36 - 12 = s. Suppose 0 = s*c - 22*c - 1114. Is c a composite number?
False
Suppose -a - 16 = -3*b, b = a - 0*b + 6. Let m(p) = -396*p**3 + p**2 - p - 1. Is m(a) a prime number?
True
Suppose 2*z + v - 689 = 0, 0 = -3*z - 5*v - 352 + 1382. Let j = z + 52. Is j a composite number?
False
Let d = 5 + -3. Let v(s) = -37140 + 293*s**2 + 9*s**2 + 37137 + 4*s. Is v(d) prime?
True
Suppose -8 = -4*y + 8*y. Is 2*(-5)/20 - 1083/y prime?
True
Suppose 2*h + h + 3*t + 141 = 0, -5*t - 139 = 3*h. Let k = h + 110. Suppose -2*f + 5*g + k = 0, 4*f - 4*g + 0*g = 124. Is f a composite number?
False
Suppose -6*k + 12384 + 78162 = 0. Suppose -5*b + k = -2*q - 2*q, 15099 = 5*b + 4*q. Is b a prime number?
True
Let v = 8409 - -19018. Is v composite?
False
Let n(x) = -x**2 + 10*x - 13. Let t be n(8). Suppose 0 = -4*l + t*h + 3176, 0*l - 5*h + 2411 = 3*l. Is l a composite number?
False
Let c = -36 + -46. Let v = -174 - c. Let b = v - -211. Is b a prime number?
False
Let f be ((-87)/(-4))/((-2)/(-8)). Let h = -10 + -30. Let j = h + f. Is j composite?
False
Let u(r) = -4*r - 33. Let q be u(-9). Suppose -3*y = q*y - 510. Is y prime?
False
Let l(t) = t**3 + 8*t**2 - 5*t - 9. Suppose 0*f + f + 33 = 0. Let p = 25 + f. Is l(p) a prime number?
True
Is (-10)/(-105) - 859686/(-126) a prime number?
True
Let i = -1039 + 47. Let l = 1773 + i. Is l composite?
True
Suppose 5*n + 2*j = -5, -3*j + 0*j + 1 = -n. Let d be (5 - 2)*1 - n. Suppose -a + 218 = d*r - 59, 5*a + 202 = 3*r. Is r a composite number?
True
Suppose 0 = 3*b + 4*p - 14619, -17*b + 22*b = -3*p + 24365. Is b composite?
True
Let f = 1 - -1. Suppose -5*c = -23 - f. Suppose 0*p + c*p = -5*q + 1095, -4*p = q - 870. Is p a prime number?
False
Let x = 0 + 6. Let t be x + (-2 + -1 - 0). Is t + 115 + -2 + -3 prime?
True
Let g = 4 - 1. Suppose 2*m = 2*k - 2*m + 6, 0 = -3*k + 4*m - g. Suppose -k*a - 3*d = -276, 6*d = 2*d - 20. Is a composite?
False
Let l(g) be the second derivative of -g**6/120 + g**4/12 + 11*g**3/2 + 3*g**2/2 + 7*g. Let s(y) be the f