*m = m - 7844. Is m a prime number?
False
Let p(f) be the first derivative of f**3/3 + 5*f**2/2 + f - 2. Let d be p(-5). Let v = 6 + d. Is v a prime number?
True
Let f(n) = 3*n - 2. Let m = 4 + 3. Is f(m) a composite number?
False
Suppose -4*w = -t - 54 + 1774, -4*t + 2150 = -5*w. Let j = w + 693. Is j composite?
False
Let x(g) = g**3 - 9*g**2 + 9*g - 4. Let z be x(8). Suppose 0*a = z*a - 40. Is a a prime number?
False
Let t(w) = -29*w**3 + 2*w**2 - w. Let s be t(1). Let p = -7 - s. Is p composite?
True
Let c = 4 - -1. Suppose 3*f - 4*w = 99, -5*f + c*w = -f - 133. Is f prime?
True
Suppose -250 = -y + 1315. Suppose -4*t = -5*x - y, t + t = -2*x + 760. Suppose -3*v - t = -8*v. Is v a prime number?
False
Let t = -93 + 162. Is t composite?
True
Suppose -2*p - 3*p = 0. Suppose 6 = 2*t - p*t. Suppose t*d - 15 = 0, -5*d = 3*f - 3*d - 295. Is f composite?
True
Suppose 0 = -7*j + 2*j + 210. Let m = j - -15. Is m composite?
True
Let k be -35 + 5/((-5)/(-2)). Let n = 52 + k. Is n a composite number?
False
Suppose -2*t + 32 = 2*t. Let r = -6 + t. Suppose 5*v - 13 = r. Is v a composite number?
False
Let j = 4851 - 812. Is j prime?
False
Suppose -3*x - 2*h + 347 = 0, -2*h + 4 = -4. Suppose -3*u + x = 2*p + 2*u, -4*u - 122 = -2*p. Is p a composite number?
False
Let a be (-103 + 0)/(-1*1). Suppose 3*o = 5*d + 95, -d = -5*o + 2*o + a. Is o a composite number?
True
Let s(l) = -2*l**3 - 3*l**2 - 2*l. Let w be s(-2). Let h be (-1)/(-4) + 46/w. Let z(b) = b**2 - 3*b + 1. Is z(h) composite?
False
Let u = 6 - 4. Let k be 37*u*(-3)/(-6). Let y = k - 18. Is y a prime number?
True
Let s(u) = -5*u + 2. Let d(q) = 14*q - 6. Let j(g) = 4*d(g) + 11*s(g). Let y be j(7). Is 1*13*y/5 prime?
True
Let h be (-1)/2 - 21/(-6). Suppose 0 = -q + 26 - h. Let j = -2 + q. Is j composite?
True
Let r be ((-16)/20)/((-1)/(-5)). Let h be (2/r)/(1/(-154)). Let p = h - 54. Is p composite?
False
Let u(i) be the second derivative of -15*i**3/2 - i**2 + i. Let y be 1/(-1 - (-2)/3). Is u(y) a prime number?
False
Let p = 2477 + -1509. Let y = p - 549. Is y composite?
False
Suppose 12 = 3*k - 0*k. Let p be 443/k - (-4)/16. Suppose 2*w - 151 = p. Is w a prime number?
True
Suppose 3*l + 3*l - 1338 = 0. Is l a prime number?
True
Is (22131/36)/(1/4) prime?
True
Is (-79)/(-2)*(13 - 11) prime?
True
Suppose -m = -12 + 4. Let b = 16 - m. Let i = b - -2. Is i a prime number?
False
Let m = 7 + -5. Suppose -m*f + 77 = -81. Is f a prime number?
True
Suppose 55 = 4*h - 1. Let q be (-1)/(-3) + (-16)/(-6). Suppose h + 64 = q*t. Is t prime?
False
Is 2563 + (-10)/5 + 2 composite?
True
Let a(h) = 29*h**3 - h**2 - 1 - 31*h**3 - 2*h**2. Suppose 4*j - 4 = -16. Is a(j) a prime number?
False
Suppose -192 = -2*w - 28. Is w a prime number?
False
Let y(v) = v + 18. Let m be y(-15). Suppose 0 = m*x - 325 - 146. Is x a prime number?
True
Let k(n) = 3*n**2 - 2*n + 3. Is k(-6) a composite number?
True
Let l(n) be the second derivative of -n**4/12 + n**3/6 + 23*n**2/2 + 3*n. Is l(0) a prime number?
True
Let d(k) = -k**2 + 8*k - 3. Let w be d(8). Let a be (18 - (1 + w))/1. Suppose 5*x = -0*x + a. Is x a composite number?
True
Let w be 1328/(-18) + 4/(-18). Let q = w + 153. Is q a composite number?
False
Suppose l + 0*l = -5, d + 4*l = 93. Is d prime?
True
Suppose 0 = 2*t - 3*o - 5, 0*t + 2*t = -3*o + 11. Suppose 5*c = t + 181. Is c prime?
True
Let t(l) be the third derivative of 5*l**4/12 - l**3/6 + 2*l**2. Let o be t(1). Suppose -4*y + 85 = o. Is y composite?
False
Let w(h) = 11*h + 1. Suppose -5*g = -21 - 4. Suppose -g*n + 3 = -2*n, -2*n = 2*z - 18. Is w(z) composite?
False
Suppose 29 = 4*p + 9. Let r = 3 + p. Let x(y) = -y**3 + 9*y**2 - 8*y + 11. Is x(r) a prime number?
True
Suppose 5 = 2*v - 4*o + 1, 0 = 5*v - 3*o + 18. Let p(j) = -20*j - 1. Is p(v) composite?
True
Let z(j) = 2*j - 2. Let t be z(0). Is -1 + 2 - (-206 - t) a composite number?
True
Let q(k) = -k**2 + 7*k - 6. Let p be q(5). Suppose -p*a = a - 10. Suppose -3*w = -15, -3*s + w = -a*s - 54. Is s a prime number?
True
Let x(h) = 2*h**2 - 4*h + 9. Suppose 3*c + 0*w = 5*w - 28, -2*w + 7 = 3*c. Let y(g) = 6*g**2 - g - 1. Let q be y(c). Is x(q) a composite number?
True
Suppose 6482 = 6*s - 15508. Is s a composite number?
True
Is (-4 + -2)*(-17)/2 composite?
True
Suppose 0 = 14*g + g - 14295. Is g prime?
True
Let m(k) = 18*k**3 - 3*k**2 - 3*k + 3. Is m(3) a composite number?
True
Let c(r) = 11*r + 10. Suppose 2*m = m + 31. Suppose 4*f + 3 - m = 0. Is c(f) composite?
True
Let a = 2 + 1. Suppose 209 = a*v - 2*v. Is v a prime number?
False
Suppose -3*x + 3*m + 18 = 0, -24 = -3*x + m - 0*m. Let i = x + -7. Is 30 + (3 - 4/i) a composite number?
False
Is (6/4 + -1)*6 a prime number?
True
Suppose -1021 - 602 = -3*j. Is j prime?
True
Suppose -115 = -3*p + 20. Let d be 6/15*p/(-3). Is ((-310)/d)/((-1)/(-3)) a composite number?
True
Let s be 4 - (-3)/(9/(-6)). Suppose s*g = -h - 2*g, h - 12 = -g. Is ((-4)/h)/((-1)/436) a composite number?
False
Suppose 5*d - 5 = -25. Is (-2)/d + 342/4 a prime number?
False
Suppose -16 = -4*w, 6930 = l + 4*l + 5*w. Is l a prime number?
False
Is 10/25 + (-366)/(-10) a composite number?
False
Suppose 4*o + 12 = 8*o. Let r = -2 + o. Is r*2*(-69)/(-6) composite?
False
Let q(l) = -l**2 - 5*l + 4. Let t be q(-5). Suppose -3*k - 213 = -t*m - 46, 3*k = -m - 142. Is (-12)/3 + 2 - k a prime number?
True
Suppose 0 = -z - 0*z + 193. Let k = z + -102. Is k prime?
False
Is (24 - 22)*4621/2 a prime number?
True
Let w be 3 - (3 - (-14 + 2)). Is 374/8 + (-3)/w a prime number?
True
Is ((-7)/(-28))/((-1)/(-388)) composite?
False
Let u be (-12)/(-16) - (-838)/(-8). Let o = u - -151. Is o prime?
True
Let x = -157 + 1064. Is x a prime number?
True
Let z be 0 + -1*(-3)/3. Let b(k) = 22*k**3 - k**2 + k. Let d be b(z). Suppose 20 = 3*a - d. Is a a composite number?
True
Let d be 85/15 + 2/6. Suppose -p = -d*p + 185. Is p composite?
False
Let h(m) = m**3 + 4*m**2 - 5*m - 19. Is h(13) composite?
False
Let u(h) = 182*h + 5. Is u(3) composite?
True
Suppose 2*v - 153 = -2*f + 77, -4*v + 5*f = -460. Is v prime?
False
Let n = 1 - 0. Let f be -10*2/(-4) - n. Suppose 2*y + j + 511 = 6*y, -f*y - 5*j = -493. Is y prime?
True
Suppose 4*x + 3 - 11 = 0, s + 5*x - 103 = 0. Is s a prime number?
False
Suppose 0 = -4*m - 7 - 5. Let y = m + 14. Is y a composite number?
False
Let i be 1/(((-14)/(-116))/7). Is 2/(-8) + i/8 a prime number?
True
Let a = 2 + 1. Let v(s) = 2*s**3 - 3*s**2 - 4*s + 4. Is v(a) a prime number?
True
Suppose 15*y = 5*y + 3070. Is y prime?
True
Suppose -5*t - 20 = 0, -4*t = 5*d - 750 + 101. Is d a composite number?
True
Suppose 0 = q + 4*a + 289, 0 = -q + a + a - 319. Let h = -213 - q. Let n = 241 - h. Is n prime?
False
Let x(m) be the third derivative of m**7/5040 + m**6/48 + m**5/60 - m**2. Let o(a) be the third derivative of x(a). Is o(0) composite?
True
Let k(f) = 4*f**2 + 2*f - 3. Let q be k(3). Is q/1 - (-3 - 1) prime?
True
Suppose -2*h = p - 3*p - 9456, h = -p + 4738. Is h a prime number?
True
Let k be (3 + (-2)/1)*3. Let n(v) = 4*v**2 + v - 2. Is n(k) a prime number?
True
Let h = 6 - 10. Let u(m) = 3 + 28*m - 10*m - 8*m - 12*m. Is u(h) a prime number?
True
Suppose -n + 3618 = 2*h + 3*h, -3612 = -5*h + n. Is h composite?
True
Let m = 744 - 89. Is m composite?
True
Let l = -5101 + 8362. Is l a prime number?
False
Suppose -4*f - 121 = 4*i - 1105, 5*i + 4*f = 1231. Is i prime?
False
Let r(w) = -37*w. Suppose -3*d + 0 - 3 = 0. Is r(d) prime?
True
Let b(f) = 2*f + 1 - 5 - 1. Is b(9) a composite number?
False
Let t(c) = c**2 - 3*c + 3. Let d be t(2). Let x = d + -2. Is (-4 - -41)/(x/(-1)) a composite number?
False
Let q = 5 - 2. Suppose -2*n = -q*y - 17, 13 = n + 4*y - y. Is n composite?
True
Let b(k) = -17*k - 9. Is b(-8) composite?
False
Is 903 + -1*(1 + 3) a prime number?
False
Let a(s) = -4*s + 3. Let o be a(2). Let c = o + 5. Suppose c*x - 255 = -5*x. Is x prime?
False
Suppose 1650 = 5*m - 3*q - 1180, -4*m = -q - 2257. Is m a prime number?
True
Is 2867 + -2 + (1 - (-9)/(-3)) a composite number?
True
Let l be ((-2)/3)/((-6)/45). Suppose -l*s = -22 + 2. Is (s - 7)*(-38)/6 prime?
True
Let w(r) = -4*r**3 + 9*r**2 + 2*r - 8. Let f be w(11). Let m = f + 5914. Is m a prime number?
True
Suppose 0 = -3*q + 8*q - 395. Is q composite?
False
Suppose 2*v = 5*x + 117, -6*