 - 13, -4*q = -h + 9. Let m(o) = -19*o - 3. Is m(q) a composite number?
True
Suppose 0*y + 4*u - 3482 = -2*y, 4*y - 2*u - 6924 = 0. Is y composite?
False
Let j(w) = 4*w**2 - 3 + 3*w**2 - 3*w - w**2 - 4*w**2. Is j(-8) a prime number?
True
Suppose -2*x + 758 = 4*z, -2*z - 2*z + 1877 = 5*x. Let m = x + 36. Is m prime?
True
Suppose 24 + 44 = -f. Suppose 2*l - 4*h + 2*h = 288, 3*l = -4*h + 439. Let r = f + l. Is r a composite number?
True
Suppose 21 - 297 = -6*p. Is p prime?
False
Suppose -546 + 16 = -2*v. Is v prime?
False
Let m(g) = 7*g - 1. Let d(b) = b. Let u be d(6). Let r = u + -1. Is m(r) a prime number?
False
Let m(b) = -6*b + 5*b - b**3 + 0*b**2 - 3*b**2. Let d be m(-3). Suppose -12 = -2*f - 2*f, -2*f = -3*c + d. Is c composite?
False
Suppose -2*x + 8 = 2*x + l, -4*l = 5*x + 1. Suppose 0 = 4*h - 5*s - 10, h + 4*s + 8 = -0*h. Is h + 1 + 2 + x a composite number?
True
Suppose 3*t = -2*u + 248, -8*u = t - 3*u - 61. Is t prime?
False
Let k = 1050 - 373. Is k prime?
True
Let y(u) = 35*u. Let d be y(1). Let w = 2 + d. Is w a composite number?
False
Is (-1*106)/(-7 - -5) prime?
True
Let k = 39 - 23. Let g = -2 + k. Suppose 41 = s - g. Is s composite?
True
Let w be 2*2*(-14)/8. Let b(t) = t**3 + 10*t**2 + 2. Is b(w) a prime number?
True
Suppose -3*g = -2*i + 1055, -4*i + 8*g - 5*g + 2125 = 0. Is i a composite number?
True
Suppose 0 = 5*d + 2*y - 7*y - 25, -4*d - 4*y + 4 = 0. Let j(q) = 14*q - 4. Let v be j(d). Is v/2*4/2 prime?
False
Let j(p) = 153*p**2 - 2*p - 49. Is j(-6) a composite number?
False
Let g(n) = -n**2 + 9*n - 5. Let m be g(7). Suppose -2*l = -5 - m. Suppose 3*r + 412 = l*r. Is r a prime number?
True
Let m(h) be the third derivative of 0*h + 2*h**2 + 1/120*h**6 + 0 - 1/12*h**4 - 5/6*h**3 - 1/20*h**5. Is m(5) composite?
True
Suppose -t = 2*t + 3. Let o(q) = -1 + 14*q**2 + 0 + 18*q**2. Is o(t) composite?
False
Suppose 3*d + 2*z - 932 = z, 5*d = -3*z + 1552. Is d composite?
False
Is 8/(-12)*(-39921)/14 a prime number?
True
Let z(h) = -2*h - 5. Suppose -2*l = 5*x + 28, 2*x + 5*l + 19 = -9. Let o be z(x). Is (67/3)/(1/o) composite?
False
Let c = -2 - -6. Suppose 1096 = c*i - 0*i. Is i prime?
False
Let g(s) = -5*s**3 + 3*s**2 + 5*s - 8. Let c(z) = 4*z**3 - 3*z**2 - 5*z + 7. Let n(q) = 6*c(q) + 5*g(q). Is n(-5) a prime number?
False
Let q = 96 + 342. Let x = q + -203. Is x prime?
False
Let y = -102 - -151. Let c(x) = -x**3 - 12*x**2 - 14*x - 15. Let q be c(-11). Let g = y - q. Is g a prime number?
True
Let z = -24 - -61. Is z a composite number?
False
Let t(d) = -6*d - 1. Let m be t(-1). Suppose -3*o + 58 + 52 = m*f, 0 = -5*o - 2*f + 177. Is o prime?
False
Let b(a) = -a - 1. Let d = 15 - 21. Let u be b(d). Suppose 0*z = u*z - 110. Is z a prime number?
False
Suppose -5*z = -z - 1940. Is z a prime number?
False
Let o be 4/(42/39 + -1). Let y be o/14 + 2/7. Suppose 4*m + n = 8*m - 80, y*m - 92 = 4*n. Is m composite?
False
Let a(w) be the second derivative of 7*w**4/4 - w**3/3 - w**2/2 + 3*w. Is a(-1) prime?
False
Suppose 0*h - h = -4. Let s(r) = 2*r**2 + 5. Is s(h) a composite number?
False
Let i be 2 - 0*(-3)/9. Suppose -346 = -i*y + 288. Is y a composite number?
False
Let l be (36/15)/(3/10). Let r = 18 - l. Suppose 2*q - 51 = -3*d, -4*d + 3*q = -5*d + r. Is d a composite number?
False
Let p = 9 + -8. Is ((-260)/6 + p)*-3 prime?
True
Is ((-6)/9)/(2/(-267)) prime?
True
Suppose 0 = 4*k - 2 - 14. Suppose 5*s - k*t = 1043, s + 2*s + t - 636 = 0. Is s a prime number?
True
Let w(r) = -391*r - 5. Is w(-1) a prime number?
False
Let t(u) = u**2 - 9*u - 2. Let o be t(9). Is (-3 - o)*(3 + -56) a composite number?
False
Suppose l - 3*x + 1703 = 3*l, -4*l = 5*x - 3411. Is l prime?
True
Let n be ((-1)/1)/(1/(-191)). Let h be -2 - (-8 + 1 - -3). Suppose -h*u - 3*o - 31 = -n, 5*o + 375 = 5*u. Is u a prime number?
False
Suppose 0 = -3*i + 159 - 36. Let m = -7 + i. Is m prime?
False
Suppose -s + 2*z = -4, -2*s + 5*s = -5*z - 10. Suppose 5*p + 0*u - 2*u = 18, s = -5*p + 5*u + 30. Is p a prime number?
True
Let a be -1*(4 + -3 + 0). Let f = 7 + a. Is f prime?
False
Let i(x) = x**3 + 15*x**2 + 12*x - 17. Is i(-12) prime?
True
Let c be 2*1/(-1 + 3). Is (c - (-187 + 2)) + 1 a composite number?
True
Suppose 4*c = -0*z + z + 982, -2*z - 1226 = -5*c. Suppose 11 = -3*s - 1. Is (2 - c/s)*2 composite?
False
Suppose 0 = -2*y + 889 + 357. Is y a prime number?
False
Let c(w) = w**2 - 7*w + 8. Let z be c(6). Suppose 4*l - 2*d - 10 = 0, 0 = l - 2*d - z*d + 1. Suppose -78 = -3*a - 0*a + l*r, -2*a + 47 = -r. Is a composite?
True
Let n be (2 + -1)/(5/755). Suppose -826 + n = -3*i. Suppose 0 = -4*p + 667 + i. Is p composite?
False
Suppose -v = -10 - 1. Is v composite?
False
Suppose r + t + 4*t + 8 = 0, 4*t + 8 = 0. Let f(o) = 38*o**2 - 2*o - 1. Let w be f(r). Suppose -2*s + 4*j - w = -3*s, -5*s - 2*j + 807 = 0. Is s prime?
True
Suppose -7*j + 2*j = -15. Suppose -4*r + 13 + j = 0. Suppose 8*b - 3*b + 4*n = 50, -3*b - 2 = -r*n. Is b a composite number?
True
Let w be (-3)/(-15) + 74/5. Suppose -u + 31 = -w. Is u prime?
False
Let q = 0 - -4. Suppose q*o = 5*o - 3*z - 135, 2*o = 2*z + 278. Is o composite?
True
Let f = 1423 + -636. Is f a composite number?
False
Let a be 3 + (29 - (-4)/2). Suppose -2*w - v + 28 = 0, -3*w + w + a = -2*v. Is w a composite number?
True
Is (-8 + 3)*(-68)/10 a composite number?
True
Let g = 2 - -5. Suppose -2*y - 625 = -g*y. Suppose 6*d - d - y = 0. Is d a composite number?
True
Let n(f) = f**2 - 9*f - 2. Let g be n(8). Let q(s) = 3*s**2 + 11*s - 13. Is q(g) a composite number?
True
Let y(d) = -63*d + 1. Is y(-8) a composite number?
True
Suppose 2*c + 17 = d - 0, 4*d - 57 = -3*c. Let g be (-3)/(-2)*50/d. Suppose 0*l = g*l - 55. Is l prime?
True
Let c(h) = h - 4. Let z be c(4). Is (-3)/(-3 - z) - -36 composite?
False
Let m(q) = q**3 - 9*q**2 + 7*q + 4. Let o be m(7). Let f be 3/(-3) - o/1. Let z = 75 - f. Is z composite?
False
Let l = 137 + -90. Is l a prime number?
True
Let m = -14 - -17. Let v be (3*2)/((-6)/(-4)). Suppose g + 2*a = -0 - m, v*g = 5*a + 53. Is g prime?
True
Let w(x) = 34*x**3 - 2*x**2 - 2*x - 1. Let i be w(-1). Is -1 + 3 - i/5 a composite number?
True
Let c be ((-3)/2)/(9/(-12)). Suppose 4*s - x - 3*x - 8 = 0, 4*x = -5*s + 10. Suppose -s*p + 343 = 5*j, -c*j + 1 = -p - 138. Is j prime?
False
Let i = 705 + -184. Is i prime?
True
Let k(q) = 23*q**2 - 15*q + 17. Is k(-7) prime?
True
Let p(y) = 108*y**2 - y - 1. Let g(j) = 107*j**2 - j - 1. Let l(t) = 5*g(t) - 4*p(t). Is l(-1) a prime number?
True
Suppose -3*w - 9 = 0, -3*w = 2*g - 0*w - 9. Let t(u) be the first derivative of u**2 - 11*u + 4. Is t(g) a composite number?
False
Suppose -2*c - 27 = 21. Let s = c + 59. Is s composite?
True
Let z(q) = -10*q**2 - 3*q + 9. Let d be z(9). Is d/8*2/(-3) composite?
True
Suppose -4*h + 9*h = 1985. Is h prime?
True
Let x = 7 - 2. Let d(m) = 3 - 4*m + 3 - x. Is d(-9) composite?
False
Let n(m) = -12*m**2 + m. Let f be n(-1). Is (-16)/4*f/4 a composite number?
False
Let s(a) = a**2 - 2*a - 1. Let l be s(-4). Suppose -3*w + 368 = l. Is w a composite number?
True
Let b(a) = -a. Let y(n) = -6*n + 2. Let h(x) = 3*b(x) - y(x). Is h(3) a composite number?
False
Let u be 2/7 + 380/(-7). Is ((-2)/2 - u)/1 a prime number?
True
Suppose 0 = 3*u - 12, 2*g + 3*u - 3 - 1 = 0. Let n = g - -4. Is (-1 + n)*53/(-1) composite?
False
Let u(f) = -f + 11. Let j be u(9). Suppose 3*g - g = -j, 28 = a - 3*g. Is a a composite number?
True
Let t = -11 + 242. Let p = t - -22. Is p prime?
False
Let n(u) = 5*u**2 + 3*u + 1. Let t = -8 + -2. Let a = t + 7. Is n(a) composite?
False
Let r = 40 - -169. Is r prime?
False
Suppose 440 = 5*z - 35. Is z a prime number?
False
Let z(b) = -4*b**3 + 6*b**2 + b - 2. Let h be z(-4). Suppose -4*j - 5*l = -h, -3*j - 3*l + 257 = 2*l. Is j prime?
True
Suppose -1542 = -3*k + 3366. Suppose -5*g + k = 131. Is g a composite number?
True
Suppose q = -1 + 5. Suppose -72 = -u + 141. Is u + (-2)/4*q prime?
True
Let h(s) = -s**2 - 7*s - 2. Let q be h(-5). Let g = -7 + q. Is g/((-48)/50 - -1) a prime number?
False
Is 58095/99 + 6/33 composite?
False
Let m(z) = -z**3 - z**2 + 169. Is m(0) prime?
False
Let c(y) = 6*y + 9. Let o be c(-6). Let u = -65 - o. Let i = u - -75. Is i a prime number?
True
Suppose 6*q = 8*q - 940. Let c = q + -328. Is c a prime number?
False