v(h) be the third derivative of h**6/120 + 2*h**5/15 + h**4/6 + 2*h**2. Let p be v(-6). Let f = -1 + p. Is f a composite number?
False
Suppose 0*w - 4*w = 4*h - 84, 0 = 4*w - 3*h - 84. Is w prime?
False
Suppose -2*g = 4*a - 56, a + 7*g - 4*g - 24 = 0. Let i = a + -6. Suppose i = q - 4*x - 69, -3*x - 352 = -4*q. Is q a composite number?
True
Suppose -w + 9 = z, 4*z + 0*z = 3*w + 1. Let u = 7 + -1. Is (u - -4)*22/z a prime number?
False
Suppose -b = 2*u - 38, -6*b + 4*b + 61 = -u. Suppose 2*m - 6*k + 3*k - 65 = 0, m = k + b. Is 3 + m + (1 - 0) a composite number?
True
Let a(y) be the first derivative of -y**4/4 + y**3 + y**2/2 - y + 2. Let j be a(3). Suppose 10*u - 4*z - 22 = 5*u, 2*u = -j*z - 2. Is u prime?
True
Let k(s) = 2*s**2 - 5*s + 2. Let d be k(3). Suppose 2*w - 8*c + 4*c = 314, c + 803 = d*w. Is w a prime number?
False
Suppose -5*f = 10, -2*f = l - 0*f + 5. Is l*159/((-3)/1) a prime number?
True
Suppose 5*p - 1592 = -y, -5*p + 2*p - 2*y = -951. Is p a prime number?
False
Is -514*((-1)/(-5))/(6/(-15)) a prime number?
True
Let n be (-194)/(-6) + (-2)/6. Suppose -92 = -2*l + 2*i + 3*i, -l + 3*i = -45. Let s = l - n. Is s composite?
False
Let s be (1 + 0)/(3/9). Suppose -2*r + 10 = -s*o, -3 = r - 4*o - 8. Suppose 4*i - 214 = -0*b - 2*b, 0 = r*i - 3*b - 262. Is i a composite number?
False
Suppose 4*d - 5*z - 1661 = 1788, 2*z = 3*d - 2578. Suppose -2*i = -4*i - c + d, 2*i - 862 = -4*c. Is i composite?
True
Let d(r) = 2*r**2 + 2*r - 1. Let b be d(-2). Suppose -b*a = 2*k + k - 9, -3*k = 5*a + 1. Is (k/(-24))/((-1)/33) prime?
True
Let w(f) = 7*f + 16. Let d(n) = -3*n - 8. Let q(l) = -7*d(l) - 4*w(l). Is q(-6) composite?
True
Let u = 1 - -2. Suppose -2*d - u*l + 71 = 0, -l = 2*d - 6*l - 47. Is d a composite number?
False
Suppose -4*h = -7 + 27. Let q = h - -10. Suppose -2*v = -q*t + v + 397, -365 = -5*t - 5*v. Is t a prime number?
False
Let h be (-4)/18 + 48/(-27). Let j be 102*h*2/8. Let y = 86 + j. Is y a prime number?
False
Let c be 33/(-2 - (-92)/44). Is c - (-6)/9*3 prime?
False
Suppose 880 = -5*a - 5*o, -3*o = 2*a - 4*a - 337. Let l = 17 - a. Suppose 3*f = f + l. Is f a composite number?
True
Let b(l) = l**3 + 4*l**2 + 3*l + 4. Let q be b(-3). Suppose -54 = -q*c - 2. Is c a composite number?
False
Suppose -2*r + 2*w = -0*r - 54, -3*w - 59 = -2*r. Is r prime?
False
Let k = 6360 - -2330. Is (k/(-5))/(-1 + -1) prime?
False
Suppose 165 = 3*r - y, 0 = -3*r - y + 257 - 92. Let p = r + -80. Let s = -12 - p. Is s composite?
False
Let w = -10 - -14. Let i = 7 - w. Suppose -4*u + 232 = -4*b, 4*u - i*b = 2*u + 119. Is u prime?
False
Let x(z) = 6*z - 11. Suppose 4*i = -0*i + 4*d + 84, -4*i = -5*d - 81. Suppose -h + 4*h = i. Is x(h) a composite number?
False
Let z(v) = 4*v**2 - v + 9. Let p be z(-8). Suppose -p = -4*t + 571. Is t composite?
False
Suppose 0 = 4*o - 4*q - 48, -3*o + 10 = 3*q - 14. Suppose -3*l + o = 2*l. Suppose -l*w - 465 = -7*w. Is w a composite number?
True
Let w(p) = p + 1115. Is w(0) a prime number?
False
Let l = 1634 + -547. Is l a prime number?
True
Suppose -5*w = 5*x - 15, -3*w + x - 2*x + 11 = 0. Suppose k + 4 = 3*l, 2*k - 4*k - 10 = -w*l. Let b = k - -13. Is b composite?
True
Suppose -2*m = 3*m + 10. Let s(l) be the second derivative of -47*l**3/3 - l**2/2 - l. Is s(m) composite?
True
Suppose 3*b - 2*u - 4441 = 0, 1703 - 6142 = -3*b + 4*u. Is b a prime number?
True
Let u = -11572 + 22475. Is u a prime number?
True
Let t be -1*1*-842 + 2. Suppose 5*p - t = -4*y, -y - 5*p + 1055 = 4*y. Is y composite?
False
Suppose -4*w = 5*o - 23, -4*w - 3*o = -6 - 27. Let h = w + 22. Let v = -19 + h. Is v composite?
True
Is 27*2 + -1 + -2 composite?
True
Suppose 19 = l + l - v, -2*v - 24 = -2*l. Let s(n) = 2*n + 9. Is s(l) prime?
True
Let d be (-334 - -1)/((-9)/6). Suppose -d = -7*c + 4*c. Let s = c - 35. Is s composite?
True
Let y(c) = c**2 - 5*c - 2. Let w be y(6). Suppose 0 = -2*v - i + 4, w*v + i - 5 = -1. Suppose v = -l + 6*l - 255. Is l composite?
True
Suppose 0 = -5*h + 575 + 60. Is h composite?
False
Let d(q) = 4*q**3 - 9*q**2 - 3*q - 25. Is d(8) composite?
False
Let d(w) = 8*w + 1. Let h be d(1). Suppose -4*p + p = -h, -v + 5*p - 10 = 0. Suppose -v*t - 183 = -818. Is t prime?
True
Let a(h) = -15*h - 3 + 12*h + 15*h. Is a(2) a prime number?
False
Suppose -5*i + 25 = 0, -5*o - 4*i + 73 + 67 = 0. Let d be ((-158)/(-4))/((-1)/(-26)). Is d/4 + 6/o a prime number?
True
Suppose -4*m - 86 = -2*o - 8*m, 285 = 5*o - 4*m. Is o a prime number?
True
Suppose -562 = -4*k - 54. Is k a composite number?
False
Let x be 1 + (-1 - 10) + 2. Is (-102)/x + (-2)/(-8) a composite number?
False
Let u(k) = 22*k**2 - k - 4. Suppose -x - 2*x + 9 = 0. Is u(x) prime?
True
Let r(h) = 13*h**2 + 3*h - 31. Is r(-6) composite?
False
Let a(v) = 2*v**3 + 5*v**2 + v - 3. Let s(w) = -6*w**3 - 14*w**2 - 4*w + 10. Let i(q) = -17*a(q) - 6*s(q). Is i(5) a prime number?
True
Let d(c) = c**2 + 2*c - 18. Is d(15) prime?
False
Let p = -4 + 16. Let u = 17 - p. Suppose 4*n + 431 = u*j, -7 = 2*n + 1. Is j prime?
True
Let n = 163 + -81. Let g = n - -81. Is g a composite number?
False
Suppose 5*f - 5*w = 1055, -5*w = 5*f - 0*w - 1055. Is f prime?
True
Let b(u) = 2*u**3 - 6*u**2 + 4*u - 5. Let p = 6 - 2. Is b(p) composite?
False
Let h(u) be the third derivative of 47*u**5/60 - 7*u**2. Is h(-1) a composite number?
False
Let o(l) = -1197*l - 3. Is o(-2) a prime number?
False
Suppose 0 = -2*w + w + 165. Suppose 157 = 2*d - w. Is d prime?
False
Let r = 176 + -94. Is r a prime number?
False
Let v(r) = -52*r**3 + 2*r**2 - 1. Is v(-1) prime?
True
Is 2667 - 18 - (1 - 1) a prime number?
False
Is -3*(1 + 0) + (1064 - 6) a prime number?
False
Let s be (-5)/2 + 4/(-8). Is -37*(2 - (0 - s)) a composite number?
False
Suppose a = 3*t + 361, t + 0*t = -5*a + 1805. Suppose -6*o + 318 = -3*o. Suppose 4*k = 5*g + a, -k + 2*k - o = -4*g. Is k composite?
True
Let u(r) = 2*r - 3. Let i be u(-5). Let t = 23 + i. Is t a prime number?
False
Suppose g = -4*g + 1595. Is g prime?
False
Let x(c) = c**3 + 6*c**2 - c + 7. Let p be x(-6). Suppose 3*l = p - 4. Is l/(((-5)/3)/(-5)) a composite number?
True
Let u = 13 - -21. Is u prime?
False
Let n(o) = -5*o**2 + 5*o - 8. Let d be n(8). Let j = d + 139. Is j/(-7) + 6/(-21) composite?
True
Let p(s) = 5*s - 3*s - s**3 + 8*s**2 + 2*s**2 - s. Let z be p(10). Is 74/5 + 2/z a composite number?
True
Let h be 1/6*72/12. Let z be (2/(-3))/((-1)/(-3)). Is (-116)/z - (-1 + h) a prime number?
False
Suppose -4595 = -5*k - 3*l, -4*k = -2*l - 4936 + 1260. Is k a composite number?
False
Suppose 2*o = -3*o + 5275. Is o composite?
True
Let v = -1396 - -4067. Is v a prime number?
True
Let w = 2 - 0. Suppose 0 = -5*y + p - 8 + 53, w*p = -y - 2. Suppose -76 = -y*x + 4*x. Is x a composite number?
False
Let s(j) = 16*j + 13. Is s(9) prime?
True
Let t be 12/(-9)*(-9)/6. Suppose 42 = -t*w - w. Is (28/6)/(w/(-105)) a prime number?
False
Suppose 0*o + 5*o = -2*h - 5, 2*o + 2 = 5*h. Let q be 6/o*(-3)/9. Suppose q = -3*g - 4*j, g = 5*g + 3*j - 9. Is g prime?
False
Let r = -8 + 4. Let h be (r - -1)*(-4)/12. Is h + (4/(-2) - -35) composite?
True
Suppose 1 - 5 = 4*c. Let t be 6*c*70/(-6). Suppose u - t = 7. Is u a composite number?
True
Is 9838/14 + (-22)/(-77) composite?
True
Is (-101 + -15)*(-11)/4 a prime number?
False
Suppose -13*p = -15*p + 5614. Is p composite?
True
Suppose -4*b + 5*v + 1166 = -0*b, -2*b - 3*v = -594. Suppose b = 2*w - 8. Suppose -5*k - w = -406. Is k a prime number?
False
Suppose 5*n - 3*v - 4379 = 0, 4*v - 2*v + 4381 = 5*n. Is n prime?
True
Suppose f + t = 4*f - 36, -f - 2*t = -12. Suppose f*h - 635 = 7*h. Is h a prime number?
True
Let s(r) = -16*r + 1. Let b be (-2)/(-7) + (-65)/7. Let m be 3*(-6 - b/3). Is s(m) a composite number?
True
Let t(k) = 4*k + 10. Let w be t(-5). Let n be (9/(-6) - -1)*w. Suppose -5*g = -2*l + 21, n*l = 4*l + g + 6. Is l a composite number?
False
Let j(o) = o**2 - o + 127. Let h be (0/(-3 - -1))/2. Is j(h) composite?
False
Let d(r) be the third derivative of r**4/24 + 2*r**2. Let j(t) = -5*t + 1. Let l(i) = -5*d(i) + j(i). Is l(-3) prime?
True
Let j(d) = -d**3 - 2*d**2 + 4*d. Let u be j(-3). Let v be (2*3)/(3/u). Is 3/((-9)/v)*2 a prime number?
False
Suppose -2*i + 3*y = 131 - 811, 4*i - 2*y = 1352. Is i prime?
True
Let v = 19 + -1. Is (-2 - -3) + 