f composite?
False
Let l = -6 - -10. Suppose -a - 471 = -l*k, a - 124 = -k - 0*a. Is k a prime number?
False
Let z = -5 - -8. Let d = z + -4. Let j(k) = -56*k - 1. Is j(d) prime?
False
Let u(n) = -n + 6. Let g(w) = w**3 + 7*w**2 + 7*w - 2. Let q be g(-6). Let f be u(q). Let l = -4 + f. Is l prime?
False
Suppose v = 3*v + 3*s - 21, 0 = 3*v + 5*s - 34. Suppose -r - 5*m = -9 - v, -5*r - 2*m + 37 = 0. Is r a composite number?
False
Let h(x) = -558*x - 1. Is h(-1) prime?
True
Let d(y) = y**3 - 2*y**2 + 4*y + 1. Let j(n) = -2*n**3 + 2*n**2 - 5*n - 2. Let x(t) = 6*d(t) + 5*j(t). Is x(-3) a composite number?
False
Let b = 11 - 1. Suppose -b*m + 6*m = -172. Is m prime?
True
Let g(w) = 2*w**3 + 9*w**2 - 3. Let p be g(-7). Let v be (2 + -3)*(-1 + p). Is ((-2)/3)/((-2)/v) a prime number?
True
Let q = 21 - 2. Is q prime?
True
Let m(b) = -b**3 + 13*b**2 - 8*b + 10. Let k be m(11). Let f = k - 53. Is f a prime number?
False
Let t(f) = -70*f + 3. Let z be t(3). Let c = z - -542. Is c prime?
False
Let b(h) = -h**3 + 14*h**2 - 5*h - 15. Is b(13) a prime number?
True
Let j = 5 + -2. Suppose 2*v - 16 = -j*s, 4*s - 2*v + 1 - 27 = 0. Is -2*1*(-159)/s a prime number?
True
Let s(f) = 441*f + 10. Is s(4) a composite number?
True
Suppose 0 = 5*n - 0*n - 170. Let z = -15 + n. Is z prime?
True
Suppose 5*s - 4*s - 383 = 0. Is s a prime number?
True
Let c(z) = 3*z**2 - z. Let k be c(1). Is (-3)/(140/(-68) + k) composite?
True
Let p(v) = 12*v**2 - v. Let i = 2 + -3. Let k = i + 2. Is p(k) prime?
True
Suppose -7*j + 1342 = -3*j + 2*n, 5*j + 4*n - 1679 = 0. Let r = -36 + -96. Let z = r + j. Is z composite?
True
Suppose 2*b + 2*b + 4*o - 20 = 0, -5*b + 25 = -5*o. Suppose -4*q + 6*q = 2*g + 466, 1165 = b*q + 3*g. Is q composite?
False
Let b = 2395 - 4514. Let c = b + 2982. Is c a composite number?
False
Suppose n = -2, -g - 4 = 4*n + 4. Suppose -4*w - 2*m + 2 = g, 2*m = 4*w - 0*m + 10. Is (8 - -2) + (w - -2) prime?
True
Suppose -4*n + 54 = 3*t, -13 = -t - 0*t - 3*n. Let o = 37 - t. Is o a prime number?
False
Suppose -4*q + 250 = 3*r, -4*r + 170 = -2*r + q. Suppose -r = -0*a - 2*a. Is a a composite number?
False
Is 4/(-6)*669/(-2) a prime number?
True
Let r = 58 - 63. Let j(q) = -q + 1. Let i(f) = 10*f + 16. Let x(t) = -i(t) + 10*j(t). Is x(r) a prime number?
False
Let t(a) be the second derivative of -31*a**8/1344 + a**6/720 + a**5/120 - a**4/6 + 3*a. Let u(f) be the third derivative of t(f). Is u(-1) a prime number?
False
Suppose 5*p - 77 = 28. Is p a composite number?
True
Let w = -115 + 279. Suppose 2*i - w - 482 = 0. Is i composite?
True
Let x(j) = -293*j**3 + 2*j**2 + j - 1. Is x(-1) composite?
False
Let w be (2 - 316)*6/(-4). Suppose k + 2*k = w. Is k a composite number?
False
Let s(z) = 4*z + 1. Let g be s(1). Is 1175/(-10)*(-6)/g a composite number?
True
Let p be 1149/15 - (-2)/5. Suppose -5*s + 0*n = 5*n - 80, 5*s - p = -2*n. Is s prime?
False
Let u = 57 - 15. Let b be (-4)/(-6)*(-126)/(-4). Let t = u - b. Is t prime?
False
Is (23/2)/(2/68) prime?
False
Let m = -5 + 9. Suppose -o + 60 = -5*w + 4*o, m = -2*w - 3*o. Is w/(-12)*(-111)/(-2) prime?
True
Let t(x) = -x**3 + 2*x - 3. Is t(-6) prime?
False
Suppose -55 = -0*a - 5*a. Is a a composite number?
False
Let x(y) = 3*y**2 + 3*y - 5. Suppose 4*q - 9 - 23 = 0. Is x(q) a composite number?
False
Let r(p) = -p + p**2 + 9 - p + 0*p. Is r(-12) prime?
False
Let p(m) = 3*m**2 - 7*m + 1. Is p(-10) prime?
False
Suppose -117 = -f - 5*s, 208 = 2*f + s - 8. Suppose -542 = -5*v - f. Is v a composite number?
True
Suppose -z = -7*z + 5334. Is z a composite number?
True
Suppose 6*v - 536 = -2*v. Is v composite?
False
Let u be (-1)/(1 - 48/44). Suppose 16 = m + 3*l + 6, -2*m = -3*l - 2. Suppose -m*p + 4 = 0, -5*w + 22 + u = 3*p. Is w composite?
True
Suppose -4*r - 5092 = -8*r. Suppose 2*v = 3903 - r. Is v composite?
True
Suppose 0 = 3*a - 6*a + 10299. Is a a composite number?
False
Let j = 0 - -3. Suppose 2*p + 7*v = j*v + 94, 3*v = -4*p + 203. Is p a prime number?
True
Suppose 4*f = 2*p - 6, -15 = -4*f + 3*f - 5*p. Suppose f = 3*j + j - 260. Is j composite?
True
Let a(o) = 2*o**2 - 4*o - 6. Suppose l = 2*l + 5. Let x be a(l). Suppose 4*h - x - 84 = 0. Is h composite?
False
Let v(p) = -p**2 + p - 2. Let t be v(0). Let q(n) = 12*n**2 + 10*n - 10. Let m(d) = 4*d**2 + 3*d - 3. Let l(b) = 7*m(b) - 2*q(b). Is l(t) prime?
True
Suppose 0 = 4*y - 5*y + 111. Is y composite?
True
Let y = 235 + -164. Let h = y - 49. Let c = 13 + h. Is c composite?
True
Suppose -3*o = -0*f + 2*f - 21, -14 = -3*f - o. Let u(b) = 0*b + 2*b**2 + 2*b**3 + 1 + b + 1. Is u(f) a prime number?
False
Suppose -10 = 3*y + 2. Let i(r) = r + 3. Let x be i(y). Let f(c) = -19*c**3 + c**2 + c. Is f(x) prime?
True
Suppose -271 + 842 = m. Is m prime?
True
Suppose -684 - 822 = -2*x. Is x composite?
True
Is (469/3)/((-12)/(-36)) prime?
False
Let m(r) = -r**2 - 3*r + 3. Let o be m(-3). Suppose -o*w + 227 = 4*x, -x + 148 = 3*w - 82. Is w a prime number?
False
Suppose 2 = -2*s + 12, -2*l = 4*s - 138. Is l prime?
True
Suppose 4*q + 3*r = 1367, -716 = -2*q - 2*r - 32. Is q prime?
False
Let d(p) = 32*p**3 + 5*p**2 - p + 7. Let x(i) = -i**3 - i**2 - 1. Let o(h) = d(h) + 6*x(h). Let s be o(-2). Let l = -82 - s. Is l a prime number?
True
Suppose -4*t + 346 = -2. Suppose a - 4*z - t = 0, -5 = -2*z - 3. Is a a prime number?
False
Suppose -u + 1232 = o, 5*u - 10*u - 2*o = -6157. Is u composite?
False
Let g(s) = s - 9. Let q be g(11). Suppose 0 = -q*k - k + 429. Is k prime?
False
Let p(l) = l + 4. Let q be p(0). Suppose -o = q*u + 2, -40 = -9*o + 4*o + 5*u. Suppose 0 = -8*c + o*c + 514. Is c composite?
False
Let b(k) = 4*k**2 + k. Let d be b(-1). Suppose d*t - 516 = -t. Suppose -t = -5*o - 34. Is o prime?
True
Let m(k) be the first derivative of -k**4/4 + 5*k**3/3 + 7*k**2/2 + 2*k + 1. Suppose -4*s - 3*a + 26 = 0, -4*s + 3*a = s - 19. Is m(s) prime?
True
Is ((-97)/(-3))/((-118)/30 - -4) a composite number?
True
Is 4*-814*(-1)/8 a prime number?
False
Suppose -u + d = -3989 - 3856, -5*u + 4*d = -39229. Is u prime?
False
Suppose -2*f + 18 - 8 = 0. Let c be (-4)/14 - 32/(-14). Suppose -2*n - 9 = 2*l - 81, c*n - 189 = -f*l. Is l a composite number?
True
Let c(z) = 14*z. Let d(p) = -41*p + 1. Let x(i) = 7*c(i) + 2*d(i). Let n be 1*(0 - (-2 + 0)). Is x(n) prime?
False
Let a(z) = -z**2 - z - 82. Let f be a(0). Let v = 147 + f. Is v a composite number?
True
Let u(w) = 13*w**2 + 4*w - 9. Let l be u(6). Suppose 2*v = -v + l. Is v a composite number?
True
Let y(o) = -o**3 + 8*o**2 + o - 3. Suppose -3*a - 6 + 27 = 0. Is y(a) a prime number?
True
Suppose 3*r + 54 + 46 = 2*c, 0 = 4*c + r - 214. Is c composite?
False
Let d be (-3)/6 + (-107)/(-2). Let p = d - 4. Is p a composite number?
True
Let r(d) = -17*d**2 + 3*d - 3. Let c be r(-3). Let v = c - -376. Is v prime?
True
Let m(s) = -8*s - 6. Let l(k) = -2*k + 2. Let i be l(2). Let p = -7 - i. Is m(p) a composite number?
True
Suppose 0 = 4*a + a + 25. Let k(b) = b**3 + 4*b**2 + b + 5. Let r be k(a). Let p = 10 - r. Is p prime?
False
Let m = -52 + -46. Let f = -45 - m. Let v = f + -34. Is v a composite number?
False
Let y(c) = 5*c**2 + 2*c - 5. Let w be y(8). Let m = 492 - w. Is m a composite number?
True
Let g(a) = a**3 - 9*a**2 + 2*a - 1. Let p be g(9). Let z = p - -102. Is z a composite number?
True
Is (-1)/(-4) - 3063*(-2)/8 prime?
False
Let q(v) = 53*v - 14. Is q(5) a composite number?
False
Suppose 0 = -m + 6*m. Suppose 0*h + h = -y + 11, y - 2*h + 4 = m. Is y prime?
False
Suppose -3*t = -4*t + 6. Suppose -9 = 3*d - 3*i, -t*d + 4*d + 3*i = 9. Suppose -u + d*u + 77 = 0. Is u a composite number?
True
Suppose 0 = -3*a + 7*a. Suppose -2*x + a*x = -30. Is x a prime number?
False
Let v(j) = -9*j - 8. Let w be v(-9). Let f = w + -42. Is f composite?
False
Let q = 12 - 10. Suppose 0 = 2*r + 5*b - 426, -q*r = -b + 4*b - 434. Is r a composite number?
False
Suppose -a = -4*y + 12 + 4, -2*a + 1 = 3*y. Suppose y*b = 324 + 75. Is b a prime number?
False
Suppose -2*c + 0*b + 11 = b, -12 = -3*c + 3*b. Suppose -c*s - 27 = 13. Let l = -2 - s. Is l prime?
False
Let v = -3 + 3. Suppose 3*y - 7 = -4*o, -o + y + 3*y - 22 = v. Is o/(-11) - 1461/(-11) a composite number?
True
Let h = 20 + -12. Suppose 3 = -5*f + h. Let v = 14 + f. Is v prime?
False
Suppose 185 = -3*i + 728. Is i