q, 0 = w*j - 20. Is q composite?
False
Is -3*((392/(-3) - 2) + -3) a prime number?
False
Suppose 4*o = -12, 0*w = -3*w + 2*o + 6291. Is w a prime number?
False
Suppose 0 = -4*x + f + 1151, -45 = -5*x + 2*f + 1396. Is x a prime number?
False
Let s(f) be the first derivative of -f**3/3 + 13*f**2/2 + 5*f - 4. Is s(6) prime?
True
Suppose -l - 2349 = -4*k, -5*l - 611 = -2*k + k. Is k a prime number?
False
Let p = 3 + -4. Let k be 20/(-4*p/10). Suppose -3*y + 2*m = -75, 2*y + m - 5*m = k. Is y prime?
False
Suppose 1158 + 107 = 5*u. Is u prime?
False
Let y be (0 + -3)*(0 + 1). Let h = -1 - y. Suppose -h*x + 10 + 12 = -3*k, -11 = -x - 4*k. Is x prime?
True
Is (2/(-2))/((-4)/4708) a prime number?
False
Suppose 3*x - 2*w - 10303 = 0, -4*x + 7*w - 9*w = -13728. Is x composite?
False
Is 3 + -5 + 1937 + -4 a prime number?
True
Let c(u) = 7*u**2 + 19*u - 5. Is c(-7) a composite number?
True
Let z(f) = -f - 2 - 3 + f**2 + 7*f. Is z(4) a composite number?
True
Suppose -76 = -4*r + 1192. Is r a composite number?
False
Let j(v) = 4*v**2 - 17*v - 29. Is j(-10) a prime number?
True
Suppose 3*m - 5*m - 4 = 0. Let f = m + 4. Suppose -3*a + f*u - 2 + 153 = 0, -4*a + 2*u = -198. Is a a composite number?
False
Let i(h) = -h + 11. Suppose -17 = -2*x - 3*y, -4*x + 8 = -y - 19. Let n be i(x). Suppose n*q = 26 + 66. Is q a prime number?
True
Let a = -385 - -830. Is a a prime number?
False
Suppose -4*n = n - 1760. Suppose -2*p = -2*m - 2*m + n, -2*m = 4*p - 186. Is m a prime number?
True
Let u(w) = 16*w. Let f be u(1). Let d be -1 - (-3)/(-4 - -7). Suppose 79 = m - n, d = -m + 4*n - f + 101. Is m composite?
True
Let z(n) = -126*n - 25. Is z(-11) composite?
False
Suppose 4*k = 12 + 20. Let g(b) = b + 3. Is g(k) prime?
True
Let y(w) = -w + 5. Let v be (-2)/(-1) - 0 - -2. Let s be y(v). Suppose 0 = o - x - x - 81, -s = -x. Is o composite?
False
Suppose -3*x - h + 31 = 4*h, x - 5*h = -23. Suppose -5*u = x*f - 63, -34 - 41 = -5*f + 4*u. Is f composite?
False
Let v(f) = f**3 - 8*f**2 + 5*f + 10. Let l be v(7). Let d(q) = 4*q**2 - 8*q - 9. Is d(l) a composite number?
True
Suppose 5*l + 7 = 5*j - 8, 0 = 4*l - j + 3. Is 38 + l + 1 + 0 composite?
True
Let m(d) = 10*d**2 - 3*d + 1. Let s = 1 - -3. Is m(s) a composite number?
False
Let c be (6/4)/((-3)/(-88)). Is 10/(-15) + c/3 a composite number?
True
Suppose s + 2*s - 39 = -3*g, g + 15 = s. Is s prime?
False
Suppose 4*g = -0*g + 56. Is g a prime number?
False
Let x be -1 + (-1)/(3/(-18)). Suppose -1 = -r + 3*j, 3*j - 4 = -x*r + r. Is (12/9)/(r/3) a composite number?
True
Let m = 2 - 2. Let v(j) = -2*j**2 - j. Let u be v(1). Is m + 117 + 1 + u a composite number?
True
Let c(h) = 5*h**3 - 8*h + 5. Is c(4) composite?
False
Suppose 0 = r + 2*r - 705. Is r a prime number?
False
Suppose 0 = -2*d + 763 + 6311. Is d/45 - 2/(-5) composite?
False
Suppose -245 = 2*n + 195. Is (n/(-8))/(1/2) composite?
True
Let p(z) = 3*z**2 - 16*z - 2. Is p(11) prime?
False
Suppose 5*s - 34 + 109 = 0. Is s/12*(3 - 71) composite?
True
Let l be 1*-358*7/(-2). Suppose 269 = 5*r - 2*p + l, -r + p = 195. Let b = -37 - r. Is b prime?
False
Let o = -447 - -1262. Is o prime?
False
Let s(k) = -k**2 + k - 10. Let h be s(0). Let r(a) = a + 2*a - 2 + 1 + 2*a**2 - 8. Is r(h) a composite number?
True
Suppose 0 = -3*l - 5*p + 3851, 0 = 4*l - l - 3*p - 3819. Is l a composite number?
False
Let m be 2862/10 + 1/(-5). Let z = m + -129. Is z a composite number?
False
Suppose -3*c = -c - 3*j + 1, -2*j = 4*c - 38. Let p(s) = 2*s - 8 + 7*s**2 - s**2 - s**3 + c*s. Is p(7) composite?
True
Suppose 7*o - 5*i = 2*o + 1190, 5*i + 473 = 2*o. Suppose 0 = 2*x - o - 87. Is x a composite number?
False
Is 16/(-20) - 2098/(-10) composite?
True
Let o = -22 - -52. Let s be (-1)/6 - (-125)/o. Suppose 2*h + 0*h = -4*q + 46, -s*q = h - 27. Is h prime?
True
Let z(y) be the first derivative of y**3/3 - y**2/2 + 11*y - 2. Suppose 5*m + 34 = -3*d, 0*m + 4*m + 28 = -2*d. Is z(m) a prime number?
True
Let t(j) = j**2 - j - 1. Let v be (-3)/(39/(-15) - -2). Let b be t(v). Let n = 34 + b. Is n a composite number?
False
Let s = 9 + -7. Suppose 3*d = s - 20. Let u = 17 + d. Is u composite?
False
Suppose -4*v - 1475 = -5*v - n, -5*v - n + 7359 = 0. Is v a prime number?
True
Let s(b) = b - 13. Let x be s(9). Let d(w) = -w**2 - 6*w - 6. Let r be d(x). Suppose -52 - 14 = -r*a. Is a a prime number?
False
Let w(k) = 3*k**3 + k. Let a be w(-1). Let r(h) = h**3 + 5*h**2 + 3*h - 5. Let g be r(a). Is 2/((-12)/13 - g) prime?
False
Suppose -5*v = -4*f + 112, 3*v - 5*f + 35 = 2*v. Let j = 17 - v. Is j composite?
False
Suppose -3*d - 3*m = 3, 4*d - 5*m = 1 + 4. Suppose -4*b + d*b + 20 = 0. Suppose 3*s + 71 = t + t, -b*t + 3*s + 182 = 0. Is t a prime number?
True
Let r(j) be the first derivative of -3*j**2 - 5*j - 6. Is r(-6) prime?
True
Suppose 3412 = g + 3*g. Is g prime?
True
Let z(a) = a**2 - 3*a - 2. Let j be z(4). Is j/(-1 + (-98)/(-94)) a composite number?
False
Let v be 14/(-4)*(-12)/7. Let i = 17 + v. Is i composite?
False
Suppose -5*v = -1492 - 43. Is v composite?
False
Let d = 176 + 1. Suppose -2*i - 4*b - 3 = -d, 2*i - 209 = 3*b. Is i composite?
False
Let a = -6 + 11. Let f = a + 5. Is (-2)/f - (-588)/15 composite?
True
Suppose 3 = 2*l - 7. Suppose -d + 0*o + 7 = 3*o, 0 = -3*d + l*o + 21. Is d prime?
True
Suppose -4*s - 14 = -2. Let d = s - -5. Is (d/(-4))/((-3)/318) composite?
False
Let j(p) = -p**3 + 2*p. Let y be j(2). Let q(c) = c**3 + 6*c**2 + 4*c - 5. Is q(y) a composite number?
False
Let m = 221 - 130. Is m prime?
False
Suppose -3*s + 31 = -p, -3*p - 2 = 1. Suppose -s = -c + 3. Is c composite?
False
Let q(v) = -14*v + 1. Is q(-5) a prime number?
True
Is -12*(-610)/15 + 5 a composite number?
True
Suppose 9*r - 6*r = 0. Suppose r = d - 142. Is d a prime number?
False
Suppose -c = -y + 3, c = -5*y - 4*c + 5. Suppose 0 = g + y*v - 76 - 17, -278 = -3*g - 5*v. Let q = -54 + g. Is q prime?
True
Suppose -3*p + 1473 = -4*d - 4030, d = 5. Is p composite?
True
Let h be (-1)/(-5) + 5/(-25). Suppose 209 = 2*j + 5*a, 3*j + 0*a + a - 294 = h. Is j a composite number?
False
Suppose 3*v = -c + 187, -3*c = -v + 6*v - 313. Suppose 2 = -2*h, 5*h - v = -0*y - y. Is y composite?
False
Let n = -5 + 8. Let u(b) = 2*b - 1. Let g be u(3). Suppose 0 = -5*d + n*d - 4*s + 266, -5*d = g*s - 650. Is d a composite number?
False
Let c be (-5)/10 + (-42)/(-4). Is (318/c)/(3/15) a composite number?
True
Let c = -12 - -5. Is (-3)/c - (-326)/7 a composite number?
False
Let w be 5*1/(-5)*2. Let p(f) = -f**3 + f - 1. Let a be p(w). Suppose 3 = o + m - 5*m, 125 = a*o + 2*m. Is o a prime number?
True
Suppose -2*o = 5*p - 88, 4*p - p + 111 = 3*o. Is o a prime number?
False
Let i(s) = 3*s**2 + 19*s + 14. Let y be i(-12). Suppose -2*n + y = -0*n. Is n composite?
False
Let z(g) = -g**2 - 6*g - 6. Let k be z(-4). Let w = 2 - k. Suppose w = -2*h - h + 39. Is h composite?
False
Let h(u) = -1. Let x(t) = t. Let k(y) = -6*h(y) + 2*x(y). Let c be k(-4). Is c*1 - (-1 + -38) a prime number?
True
Let x(c) = -c**2 + 6*c - 3. Let d be x(3). Suppose j + 117 = -5*s, -s + d*s = -4*j - 498. Is (j/2)/(7/(-14)) a prime number?
True
Suppose a + 12825 = 4*s, 2*s - s - a - 3204 = 0. Is s composite?
True
Let v be 18/(-4)*(-116)/3. Let z = 263 - v. Is z composite?
False
Is (1*3/1)/((-3)/(-314)) a prime number?
False
Let n(d) = -d**2 - 15*d + 2. Let f be n(-13). Let y = f - -21. Is y composite?
True
Let c = 11 - -11. Is c composite?
True
Let o = 8 - 5. Suppose y = -v - 0*y - 45, 0 = -o*y - 12. Let k = -16 - v. Is k composite?
True
Suppose -5*b = -2*r + 6*r - 1531, b = 5*r + 312. Is b a composite number?
False
Let s(c) = -2*c**2 - 5*c + 2. Let x be s(-5). Let o = x + 209. Let y = o - 109. Is y a prime number?
False
Let i(p) = -877*p + 5. Is i(-2) prime?
True
Let z(a) = -2*a**2 + 11. Let m be z(8). Let u = m + 196. Is u a composite number?
False
Suppose -2*g + 6*g - 182 = -2*f, 0 = 2*g - 3*f - 95. Is g a prime number?
False
Let f = 372 + 1285. Is f a prime number?
True
Suppose 0 = -3*n - 18 + 6, -w = -5*n - 777. Is w a prime number?
True
Let z(k) = 2*k**2 + 8*k + 2. Is z(-6) prime?
False
Let a(h) = -42*h - 9. Let b be a(-5). Suppose -5*s + b = 16. Is s a composite number?
False
Let d(f) = f**3 - 1. Let k be d(1). Let b be 1*(k + -1)*-1. Is b/2 - 22/(-4) a composite number