 s(o) a prime number?
True
Let d = -8 + 11. Let g(n) = d*n**2 - n**2 - 3*n + 2*n**3 + 6 - 4*n**2. Is g(5) a prime number?
True
Let d = 17953 - 7317. Suppose 3*a = -a + d. Is a prime?
True
Is (-33)/(363/44) + (-1 - -15018) a prime number?
True
Let d(r) = 1060*r**3 - 6*r**2 + 2*r + 1. Is d(2) composite?
False
Let k(s) = -s**2 + 3*s - 4. Let b be k(3). Is (-3 - -9)/(b/(-158)) composite?
True
Is ((-18)/(-45))/((-14)/(-20545)) a composite number?
False
Let d(w) = -w**3 + 45*w**2 - 67*w + 34. Is d(31) prime?
True
Suppose 6 = -5*a + 26. Suppose y = 3*h, 0 = a*y - 7*h + 4*h - 45. Is ((-70)/y)/((-4)/18) prime?
False
Let d be (-1)/3 + 272/51. Is (-5)/(d/3) - -334 prime?
True
Let n(b) = 137*b**2 - 7*b - 7. Is n(9) prime?
True
Let f = 15 + -12. Let c be (f/(-4))/((-5)/20). Suppose v = -c*h + 250, -5*v = h + 111 - 1291. Is v a prime number?
False
Suppose 0 = -18*u + 101144 + 26098. Is u prime?
True
Let c(t) be the third derivative of -t**6/120 + 19*t**5/60 - t**4/24 - t**3 + 14*t**2. Is c(16) composite?
True
Suppose -3*y + o = -219, 3*o - 292 = -4*y + 8*o. Let j = y - 43. Suppose 2*v - 208 = j. Is v a composite number?
True
Let i(y) = y**2 - y**3 + 14*y + 9*y**2 - 689 + 675. Is i(11) a prime number?
True
Let i(j) = j**2 + 7*j + 15. Let l be i(-4). Suppose 111 = y - 2*r, l*r - 488 = -3*y - y. Is y composite?
True
Suppose 5*d = -0 - 25, 0 = 2*m + 5*d - 559. Let b = 151 + m. Let c = b - 258. Is c composite?
True
Let d(r) = -2*r - 2. Let g be d(-1). Suppose 2*z - 6 = g, -5*a + 3*z + 0*z + 546 = 0. Is a composite?
True
Let o = 5624 - 3045. Is o composite?
False
Let k(u) = -2*u. Let d be k(11). Let n be (-70)/d + 10/(-55). Suppose -2*r = 4*w - 410, n*r = -5*w + 429 + 186. Is r a prime number?
False
Suppose -k - 12 = -2*s, -5*s + 6*k = 3*k - 32. Is (780 - 0)/4 + s + -8 a prime number?
True
Suppose -559*q - 3048 = -567*q. Is q prime?
False
Let p be (9250/(-15))/(2/(-6)). Let s = p - 857. Is s a composite number?
True
Let p = 885 - 854. Is p prime?
True
Suppose 5*d - 5 = 0, 0 = 3*q - q - 2*d - 2172. Is q a composite number?
False
Let d(f) = f**3 + 6*f**2 - 6*f + 9. Let i be d(-7). Let a = i - 0. Suppose -130 = -v + 2*y - 13, -5*y = -a*v + 229. Is v a composite number?
False
Let a = -18761 + 32538. Is a prime?
False
Suppose 0 = 4*w - 2*u + u + 1127, 2*u = 4*w + 1130. Suppose -4*x + 780 = -9*x + 5*q, -3*x - 456 = 3*q. Let p = x - w. Is p prime?
True
Let z = 24469 + -16868. Is z composite?
True
Let h = -2407 + 4208. Is h a prime number?
True
Suppose -235 = 3*n - 235. Let s be (15/4)/((-3)/(-48)). Suppose 2*c - 6*c + s = n. Is c prime?
False
Let j(p) = -700*p**3 - p - 4. Let n be j(-2). Suppose -4*w = 2*i - 6705 + 1113, -i - n = -4*w. Is w a prime number?
True
Let o = 5463 + -2008. Is o a composite number?
True
Let i(p) = 18 + 0*p + 4 + 2 + 2*p. Let k be i(-12). Suppose 3*h + 2241 = 5*q, 4*h + 902 = 2*q - k*q. Is q prime?
False
Let t(p) = p**3 + 26*p**2 - 37. Is t(-24) a composite number?
True
Suppose -2*m + 3*m - 3 = 0. Suppose 3*q - 4 = v, -7*q = -m*v - 6*q + 28. Is v a composite number?
False
Let w(v) = -v**3 - 8*v**2 + 19*v - 7. Let f be w(-10). Is 7732/8 - f/(-6) a composite number?
False
Let w be 1*5*88/(-55). Let c = w + 13. Suppose -a + 57 = -5*k, c*k = -a + k + 39. Is a a composite number?
False
Let k(j) be the first derivative of -71*j**2/2 + 12*j - 6. Is k(-17) a composite number?
True
Let y = 2539 + -1663. Suppose y = -3*g + 7*g. Is g composite?
True
Let t(a) = 2*a**2 - 8*a - 13. Let h be ((-1)/2)/(435/110 + -4). Is t(h) a prime number?
False
Let l(q) be the second derivative of 71*q**8/6720 + q**6/240 - q**5/120 - 7*q**4/12 - 2*q. Let y(m) be the third derivative of l(m). Is y(2) composite?
True
Let t = 28 + -26. Suppose -t*d = 2*g - 446, 5*d + 669 = 3*g + 2*d. Let o = -44 + g. Is o a prime number?
True
Is ((3 - 2) + -5)*-1975 + -3 prime?
False
Let d(u) = -12*u + 17. Let l be (-3 - -4)*6*-3. Is d(l) prime?
True
Let v(l) = 75*l**2 + 22*l - 103. Is v(6) a prime number?
True
Suppose -3*b - 4*w = -w - 210, 2*w = 8. Let y = b - 149. Is 1/((-1)/y) + 2 a composite number?
True
Suppose 6 = d + 2*d. Suppose -4*j = -d*t, 3*j - t - 7 = 4*t. Is (j - 0)/(2/(-970)) prime?
False
Let w(a) = a**3 + a**2 + 6*a. Let g be w(7). Let i be -3*23*g/21. Is 10/(-80) - i/16 a composite number?
False
Let g(a) = -5*a**2 - 1 + 8*a - 3 - 5*a**2 + 3*a**3 + 2*a**2. Let d be 6 - (2 - 4/4). Is g(d) a composite number?
False
Let w = 6048 + -1415. Is w composite?
True
Let p be (8/(-10))/((-4)/10). Suppose -24 = 4*w + 3*r, p*w - 3*r + 48 = -2*w. Is 94 + 2 - w/(-3) a prime number?
False
Let i(h) = h + 1. Let g be i(8). Let v = 6 - g. Is v - (4 + -3)*-122 composite?
True
Let q = -25 - -27. Suppose -5*i - 680 = -2*r, 0 = q*r + 2*r - 3*i - 1346. Is r a prime number?
False
Let p(a) = 12*a**2 + 2*a - 6. Let q be -55 + 57 + 3 + 1*-1. Is p(q) a prime number?
False
Suppose -20*k - 24*k + 892628 = 0. Is k prime?
True
Suppose -13 = -3*r + 8*r + 4*m, -3*m - 8 = 2*r. Is (-108 + (-3 - -2))/r prime?
True
Let m be (-36)/(-3)*1554/(-18). Let w be 3/(1 + 128/(-127)). Let k = w - m. Is k a composite number?
True
Let k(o) = -7*o - 9. Let a be k(-8). Let h = 144 - a. Is h prime?
True
Let z = 43 + -58. Let k = z - -126. Is k a prime number?
False
Suppose 5*r - 6500 = -4*i + r, 2*i = 3*r + 3240. Is i composite?
True
Let c(h) = 809*h - 56. Is c(3) a composite number?
False
Suppose 862 = 3*m - 4*h, m + 4*h - 9*h = 269. Suppose 0 = s - 4*s - 489. Let b = s + m. Is b a prime number?
True
Suppose 0 = -9*m + 12714 + 21747. Is m a prime number?
False
Let a(t) = -57*t + 2. Suppose 0 = -5*f + 4*k + 67, k = 2*f + 4*k - 36. Let j(g) = g**2 - 15*g - 1. Let h be j(f). Is a(h) a composite number?
False
Suppose 5*a - 6*t + 2*t - 8533 = 0, -3*t = 5*a - 8554. Is a composite?
False
Let v(b) = -b**3 - 6*b**2 - 4*b + 9. Let r be v(-5). Suppose 11*i + r = 13*i. Suppose -i*n + 3*z = -185 + 31, 0 = 5*n - z - 385. Is n composite?
True
Let k be 3*1/(4/320). Suppose 0 = 2*i - 0*i - k. Let a = -65 + i. Is a a prime number?
False
Let d(m) = 6*m**2 + m - 4. Suppose 3 = 5*b - 7. Suppose 0 = -3*a - b + 11. Is d(a) a prime number?
True
Suppose 3*y = 2 + 7. Suppose y*r + 77 = 566. Is r a composite number?
False
Let o = 12115 + 4746. Is o a composite number?
True
Let d(n) = 3*n + 6. Let t be d(-5). Let u be (t/18)/((-1)/(-6)). Let f(h) = 14*h**2 + 5*h + 4. Is f(u) prime?
False
Let k(w) be the third derivative of w**4/8 + w**3 + 4*w**2 + 8. Let t = 6 + -1. Is k(t) prime?
False
Let a = -37099 + 64142. Is a a composite number?
False
Suppose -6 = 2*y, 4*y = -2*r - 0*r - 24. Let v = 1745 + r. Is v a composite number?
True
Let h(q) be the third derivative of 0*q + 3/20*q**5 + 1/6*q**3 + 0 + 1/24*q**4 - 8*q**2. Is h(6) composite?
False
Suppose -x + 0*x - 156 = -2*w, 3*w = 4*x + 224. Let k be ((-15)/4)/(30/w). Let p = k + 125. Is p composite?
True
Let o(d) = -3*d**3 + 15*d**2 - 3*d - 1. Let u(k) = 2*k**3 - 14*k**2 + 2*k + 1. Let c(h) = -3*o(h) - 4*u(h). Let l(v) = 5*v. Let n be l(-2). Is c(n) prime?
True
Let f(l) = -78*l - 4. Let q(p) = -2*p + 5. Let y be q(4). Let v be f(y). Suppose g = -g + v. Is g prime?
False
Suppose -5*b + 2*f = -47, 51 = 5*b + 4*f - 5*f. Suppose -y - b + 62 = 0. Is y composite?
True
Suppose -26705 = -5*v + 31670. Suppose 0 = 5*i + 5*o - v, -4*i + 9334 = -o + 2*o. Is i composite?
False
Suppose -2*x - 4*v + 6*v - 2132 = 0, -v + 2136 = -2*x. Is 9/81 - x/9 a composite number?
True
Suppose -z = -2*z + 4*r + 2100, -5*r + 10500 = 5*z. Suppose 0 = t + 2*t + 3*x - z, -4*x = -12. Is t composite?
True
Let l(j) = -27 - 39*j**2 + 56*j**2 + 3*j + 6 + j**3. Is l(-16) a prime number?
False
Let g = -373 + 756. Is g a composite number?
False
Let h = -150652 + 97394. Is (-14)/(-63) - h/18 composite?
True
Let l(u) be the first derivative of u**4/4 + 17*u**3/3 + 4*u**2 - 16*u + 17. Is l(-15) prime?
False
Suppose 2188 + 3776 = 4*b. Suppose -5*j + 29 + b = 0. Is j/14 + (-8)/(-28) a composite number?
True
Suppose 7*j + 21 = 84. Is ((-3)/j)/(5/(-16305)) a prime number?
True
Suppose 5*j = -4*m - 2270, 3*j - 5*m - 475 = 4*j. Let s = -54 - j. Suppose 4*p - 184 = s. Is p prime?
False
Suppose -30*t + 635 = -29*t. Is t a prime number?
False
Suppose -5*l + 541 = 3*c, -730 = -4*c - 0*l + 2*l. Suppose 3*a + m = 2*m + c, 0 = -a + 2*m + 69. Is a a composite number?