 be g(9). Suppose 3*o + 15 = 2*f, n*o + 7 = -3*f - 3. Suppose -5*r = -f*r - 195. Is r a prime number?
False
Let c = -302 + 489. Is c prime?
False
Suppose u = -4*l - 492, -4*l + 0*l - 3*u = 484. Let v = l - -178. Let o = v + -7. Is o a composite number?
False
Let x be (-8)/5*(-5)/2. Suppose 2*v + u = 2*u - 4, 0 = 3*v - u + x. Suppose 5*m + 3*a - 161 = 0, 3*a + 179 = 5*m - v*a. Is m prime?
False
Let s(d) = -d**3 - 7*d**2 - 14*d + 3. Is s(-10) composite?
False
Suppose -3*j = -6, 0*j - 4*j + 33 = 5*r. Let m(w) = -w**3 + 5*w**2 + 2*w - 4. Is m(r) a prime number?
False
Let u(v) be the first derivative of -v**4/4 + 10*v**3/3 + v**2 + 4*v - 1. Let i be u(8). Suppose -2*a + i = 2*a. Is a a composite number?
False
Suppose 0 = -6*w + w. Suppose 3*o = -2*g + 2*o + 582, -g + o + 297 = w. Is g prime?
True
Let k(q) = -11*q**2 - 12*q - 6. Let g(b) = b + 1. Let w(v) = -4*g(v) - k(v). Is w(5) a composite number?
False
Suppose -4 - 28 = 4*g. Is (13/2)/((-4)/g) composite?
False
Let a(k) = k**3 + 26*k**2 + 25*k - 11. Is a(-20) prime?
True
Let b(w) = 51*w**3 + w**2 - 1. Suppose 5*d - 77 = 48. Let l be 30/d - (-1)/(-5). Is b(l) prime?
False
Is (-949)/(-3) - 4/(-6) a composite number?
False
Suppose p = -p. Suppose p*z + 10 = 5*z. Suppose -8 = z*j, -2*a = j - 19 - 39. Is a a prime number?
True
Let n = 1 + 14. Is (n/20)/(2/88) a composite number?
True
Let o = 8 - -22. Let n = o + 23. Is n prime?
True
Suppose 0 = 2*z + 5*d + 17, 2*z - 5*z - 4*d - 8 = 0. Suppose s + 37 = 3*p, -5*p - z*s + 47 = -2*s. Let n = p + -4. Is n prime?
True
Let o(d) = 16*d - 7. Suppose -4 = 3*g - 28. Is o(g) prime?
False
Let f(r) = 7*r**2 - r. Let n be f(-1). Let b(v) be the second derivative of v**5/20 - 7*v**4/12 - v**3/6 + 9*v**2/2 - 5*v. Is b(n) a composite number?
True
Let d(r) = -r**3 + 6*r**2 + 9*r - 10. Let w be d(7). Is ((-508)/3)/w*-3 a composite number?
False
Let n(q) = -q**3 - 6*q**2 - 3*q - 5. Let g be n(-5). Let t be 1/(-1*3/g). Suppose 3*k - 130 = t*f, -2*k - 2*f = -57 - 3. Is k a prime number?
False
Suppose 3 = 3*m, 2*h - m = 5*h - 14200. Is h a prime number?
True
Let y(d) = 7*d**3 - 16*d**2 + 16*d + 5. Let c(m) = 4*m**3 - 8*m**2 + 8*m + 3. Let x be ((-21)/28)/(2/(-8)). Let k(q) = x*y(q) - 5*c(q). Is k(7) a prime number?
True
Let v = -6 + 0. Let p = 9 + v. Suppose -p*k = -33 + 12. Is k prime?
True
Let k(g) = g**2 - 1. Let j(l) = 3*l**2 - 8*l - 6. Let y(q) = j(q) - 4*k(q). Let x be y(-6). Suppose -4*r - 9 = h, -4*h - 4*r = -14 - x. Is h composite?
False
Suppose 5*n - 3*o - 1613 = 0, 3*n - 648 = n + 4*o. Let w = 471 - n. Is w prime?
True
Suppose 0 = l - 2, -3*m + 3*l - 2 = 1. Let n = m - 0. Is 3 - n - (0 + -47) a composite number?
True
Let v be 1/3*(2 - -10). Suppose 0 = -0*z + v*z - 4. Is z + 18/(1 - -2) prime?
True
Let r = -16 - -3. Let d = r - -23. Is 554/d + 2/(-5) prime?
False
Suppose 3*i + 2676 = -0*m + 3*m, -5*m + 2*i = -4451. Is m a prime number?
False
Let t(b) = b**2 + 9*b + 1. Let c be t(-9). Let q = 7 + c. Let g(o) = o + 6. Is g(q) a composite number?
True
Suppose w - 8147 = -3*i, -3*w + i = 3*i - 24441. Is w composite?
False
Let z(j) = 61*j - 7. Let c be z(5). Suppose o + o - c = 0. Suppose 4*p = p + 5*s + 532, p - o = -4*s. Is p composite?
True
Let o = 21 + 39. Suppose 0 - o = -4*v. Is v a composite number?
True
Let n = -6 - -15. Let x(i) = 16*i + 1. Is x(n) a prime number?
False
Let r be (-16)/(-10) + (-12)/(-30). Suppose 4*d = -5*l + 555, -444 = -2*l - r*l - 4*d. Suppose f - 2*u = -2*f + l, 0 = -4*f + 4*u + 144. Is f a prime number?
False
Let z(s) = 98*s - 5. Is z(2) composite?
False
Let k(o) = -o**2 + 5*o. Let v be k(5). Suppose -3*w + 6*w - 1293 = v. Is w prime?
True
Is ((-2)/(-3))/((-12)/(-17946)) composite?
False
Let c = -498 + 801. Is c a prime number?
False
Let q = 91 + -63. Suppose -55 = -5*j - 2*b + 63, 4*b + q = 2*j. Suppose -o + 2*n + n = -j, 2*o - n = 49. Is o prime?
False
Let n be (18/(-15))/(1/(-20)). Let i = -18 - -32. Let m = n - i. Is m a prime number?
False
Let p(w) = 2*w - 5. Let s be p(4). Suppose -s - 5 = 2*h, -3*c = 3*h + 27. Let g = 58 + c. Is g a prime number?
True
Let w(o) be the first derivative of o**4/4 - o**3/3 - 5*o**2/2 + 5*o + 2. Is w(4) a composite number?
True
Let g(l) = -l**3 + l**2 + l + 1. Let r be g(-1). Suppose 1 = r*a - 29. Is a a prime number?
False
Let o = 1151 + -564. Is o a composite number?
False
Let b(f) = f**2 + 6*f + 6. Let w be b(-6). Let k = w + -1. Suppose k*g + 12 = l, 30 = 5*l + 2*g + 3*g. Is l prime?
True
Let h be (4/6)/(22/33). Is h + -3 + 7 + 2 a prime number?
True
Suppose -c + 6 = c. Let h be (28/12)/((-1)/(-12)). Suppose -y - c*y + h = 0. Is y composite?
False
Let g be 0*(-2)/6 + 4. Suppose 4*a + 12 = 0, g*a + 443 = 5*c - 14. Is c composite?
False
Suppose 0 = 7*o - 1589. Is o + 0 - (-4 - -5) a prime number?
False
Let g = 459 + -202. Is g a prime number?
True
Let n(v) = -7*v**2 + v. Let z(l) = -15*l**2 + 3*l - 1. Let g(h) = 13*n(h) - 6*z(h). Let m(k) = 6*k**3 + k**2. Let t be m(-1). Is g(t) a composite number?
True
Let z(h) = h + 2. Let g be z(6). Let n(b) = 7*b**2 + 1. Is n(g) prime?
True
Let r be (-3 + 4)/(2/14). Suppose r*f = 2*f + 395. Is f a composite number?
False
Let a be 1 - 3 - -2 - -1. Let f be 2*(0 + (a - 12)). Is (3/3 - f)*1 prime?
True
Let k(h) be the first derivative of -h**3/3 - 4*h**2 - 9*h + 2. Let q be k(-6). Suppose -3*r + 96 = -3*n, 4*r - n - 134 = -q. Is r prime?
False
Suppose -13*s = -18*s + 12385. Is s composite?
False
Let r(p) = 5*p**2 - 3*p - 2. Let u be r(7). Let z be -2 + (u - (-3 + 0)). Suppose -z = -4*w + 157. Is w prime?
False
Let f(g) be the first derivative of -6*g**2 - 5*g - 1. Let r = -24 - -18. Is f(r) composite?
False
Let i = -1162 + 1745. Is i composite?
True
Suppose 5*p - 557 = -o - 149, 4*p = -4*o + 336. Suppose z = 82 + p. Is z prime?
True
Let p(l) = -l**3 + 4*l**2 + 2. Is p(3) prime?
True
Let o = -106 + 208. Suppose -x = x - o. Is x a composite number?
True
Let y be (-3*1)/((-6)/8). Let o(k) = -k + 5. Let w be o(y). Is (w/(-1))/(2/(-66)) a prime number?
False
Let i(n) = n**2 + 14*n - 6. Let w be i(-9). Let h = -34 - w. Suppose h + 6 = p. Is p prime?
True
Suppose v = 2*v - 2. Let o be (1 + 1)/(1/v). Suppose 7*i = o*i + 63. Is i composite?
True
Suppose -648 + 241 = -h. Is h a composite number?
True
Suppose -5*h = -0*h - 245. Is h a composite number?
True
Let x = -155 - -314. Let a = x - 82. Is a prime?
False
Let t(p) = 7*p**2 - 4*p + 7. Let y(q) = 20*q**2 - 11*q + 21. Let d(o) = 11*t(o) - 4*y(o). Let l be d(-5). Let i = l - -117. Is i a composite number?
True
Let x = -4 - -4. Suppose x = -3*f + 18 - 3. Suppose 3*k - 6*l - 213 = -4*l, f*l + 360 = 5*k. Is k a composite number?
True
Suppose -2880 = -4*v + 2*w, 0 = 5*v - w - 0*w - 3594. Is v prime?
False
Let l(k) = 1 - 23*k**2 + k - 3*k + 64*k**2. Is l(2) composite?
True
Is (4 + -5)/1*-787 composite?
False
Is (2/(-4))/(22/(-3916)) prime?
True
Suppose 2*q + 45 = 7*q. Is (208 + q/3)/1 a composite number?
False
Let w(d) = d**2 - 2*d - 1. Suppose -k = -2*g - 2*k + 9, 4*k = -5*g + 18. Is w(g) prime?
True
Let t be (82 - -4) + (-1 - 1). Suppose -5*i + 1009 = t. Is i composite?
True
Suppose 5*o - 2*n + 18 = -n, 0 = -4*o + 5*n - 27. Let l(j) = 28*j**2 - j + 2. Is l(o) prime?
True
Suppose -2*p + 4*p + 3*a - 472 = 0, -4*p - 2*a = -952. Is p a composite number?
False
Suppose -2*q = -3 + 7. Let a be (5 - (4 + q)) + 3. Is a*3/6 - -52 prime?
False
Let z(i) be the first derivative of i**4/4 + 3*i**3 - 11*i**2/2 - 4*i + 3. Suppose 5*q - 3*q = 4*v + 30, 3*q = -5*v - 65. Is z(v) a prime number?
False
Suppose -4*g + 20 = 0, g - 279 = -4*m + 150. Is m a prime number?
False
Suppose 3*m = m. Let o be 29*(3 - (3 - 5)). Suppose m*r - o = -r - 2*t, t + 2 = 0. Is r composite?
False
Let d = -1177 - -1680. Is d prime?
True
Let m(t) be the second derivative of t**4/6 + 2*t**3/3 + 5*t**2/2 + t. Suppose 0 = -17*v + 20*v + 18. Is m(v) a prime number?
True
Let c = -12 - -14. Suppose -4*i + 6 = -2*j - 8, 5*i + 5 = -2*j. Is -14*i/c*-11 prime?
False
Let c(n) = 2*n**2 - 12*n + 15. Is c(-12) a prime number?
False
Let q be (6 + -5)*(-372)/(-2). Let t = q + -95. Is t prime?
False
Let h(f) = 5*f**2 + f - 4. Let y be h(3). Suppose -x + 9 = -y. Is x a prime number?
True
Let y(n) = 2 + 0*n**2 - 2*n - n**2 - 5*n**3 + 6*n**3. Let h be y(2). Suppose 24 = 3*l - b, l - h*b