?
False
Let o = 292 - 81. Is o prime?
True
Suppose -4*o + s = 6, -s - 10 = 4*o - 4*s. Let f(p) = 22*p**2 + p + 1 - 1. Is f(o) composite?
True
Let c(n) be the first derivative of -5*n**2/2 - 8*n + 3. Let k(i) = i + 1. Let z(j) = -c(j) - 3*k(j). Is z(5) a prime number?
False
Let x be -14*(6/(-4) - -1). Suppose -z - 518 = -2*t, 4*z - x = -23. Is t prime?
True
Let k be (-2)/(-6) + 1365/9. Let a = k + -73. Is a prime?
True
Suppose -2*u + 4*o = 4, 4*u - 12 = -6*o + 4*o. Suppose -2*p = 4*x - 218, -2*x - u*x = -p - 209. Let m = -31 + x. Is m a prime number?
False
Let q(v) = 33*v - 1. Let i(s) = s. Let r be i(2). Is q(r) composite?
True
Let q be 6 - -1*(1 - 4). Let j(h) = 2*h + q - 15*h**2 + 42*h**2 + 0 - 4. Is j(2) a composite number?
True
Let i be 5*(-3)/(-3*1). Suppose -i = g - 2*g. Suppose -g*p = 3*h - 188, 26 = 3*p + 2*h - 87. Is p composite?
False
Let g = 0 - -3. Suppose -g = x - 7. Suppose -3*v - 7*f = -4*f - 261, -x*v + f + 368 = 0. Is v a composite number?
True
Let p = 4 - 3. Let x(d) = d**2 - d - 4. Let m be x(-2). Is (-1 - (-160)/m)/p prime?
True
Let k(o) = -o**2 + 18. Let s be k(0). Suppose -s + 53 = t. Let z = -14 + t. Is z composite?
True
Let d be (513/2)/(12/16). Suppose -l - 3*c = 4*l - 530, -3*l + 3*c = -d. Is l a prime number?
True
Is (-1)/1*-1*22 prime?
False
Let p be 1 + -1 - (3 + -3). Suppose -4*c + 5*h = -c + 3, p = 2*c - 3*h + 1. Suppose 0 = -c*d + 3*z + 236, 5*d + 5*z = -0*d + 295. Is d composite?
False
Suppose 4*o = 2*o + 8. Suppose -o*t - t - 5 = 0. Is 31 - (-1 - (t + 2)) composite?
True
Let n = -21 + 111. Suppose f = 4*f + n. Let s = 97 + f. Is s prime?
True
Suppose 2*f + 10 = 2*q + 2, -3*f - 6 = 0. Suppose -q*i + 1 = 5*t - 184, t - i = 37. Is t a composite number?
False
Suppose 4*s - 294 = 38. Is s a prime number?
True
Let h(i) = -4*i**3 - 2*i**2 - i. Let w = 5 + -6. Let j be h(w). Suppose -x - 2*x = -j*m - 165, 3*m = -5*x + 259. Is x a composite number?
False
Let k(r) = -4 + 0 - 4 + 3*r. Let v be 2/1 + (10 - 3). Is k(v) a prime number?
True
Let u(z) = -z**3 - 2*z**2 + 3*z + 1. Let s be u(-3). Is 154/7*(s - 0) prime?
False
Let n(l) = 1 + 3 - 70*l - 5. Is n(-2) prime?
True
Let f = -3 - 0. Let y = f + 34. Suppose 4*s = 29 + y. Is s prime?
False
Let m(p) = p**3 - 15*p**2 - 15*p - 14. Let q be m(16). Suppose 4*s = -q*d + 146, 0 = 2*s - 2*d - d - 77. Is s prime?
True
Let u = -2 - -7. Suppose -u = a + 3. Let j(c) = c**2 + 1. Is j(a) a prime number?
False
Let o(g) = 39*g**2 + 4*g - 3. Suppose -u + 14 = 4*f, u + 1 = -0*u + f. Is o(u) a composite number?
True
Suppose -p = -2*n + 881, p = 2*n + 6*p - 875. Suppose 2*z = -122 + n. Is z a composite number?
True
Suppose 11*d + 84717 = 20*d. Is d composite?
False
Suppose 6*n = -3*n + 3222. Is n a composite number?
True
Let p(n) = -n**2 - 7*n - 2. Let j be p(-6). Let d be 465/4 + (-1)/j. Suppose u - b - d = 0, 2*b + 2*b = -12. Is u a prime number?
True
Let n = 2625 - -572. Is n a prime number?
False
Let a(c) = -c**2 + 3*c - 1. Let n be a(2). Let k be 21/(-7) + (4 - n). Suppose -m = -k*m - 191. Is m prime?
True
Let c = -34 - -125. Is c a composite number?
True
Suppose -3*u - 8 = 4*w, -4*u - 6 = 3*w - u. Is (-2)/((-8)/(-790))*w composite?
True
Suppose c - 49 = 100. Is c a prime number?
True
Let y be (-3)/(2/1 + -5). Is 1/(3/(201/y)) composite?
False
Is 4/30 - (-634564)/420 prime?
True
Let r be ((-3)/(-6))/(1/6). Suppose -r*w + 8*w = 190. Let y = 13 + w. Is y composite?
True
Suppose 0 = -3*b - 2*b. Suppose -q = -b*q - 35. Is q composite?
True
Let w(b) = b**3 + 3*b**2 - b - 1. Let k be w(-3). Suppose 0*r - 208 = k*r. Is 3 + (r/(-1))/2 prime?
False
Suppose 20191 = -15*m + 55756. Is m prime?
True
Let i(o) = 3644*o**3 - 3*o**2 + 2*o. Is i(1) a composite number?
False
Suppose 0 = 5*z + n - 65, z + 2*n = 3*n + 7. Let q(r) = 59*r**2 + 3*r. Let o be q(-3). Is o/z - 1/2 a prime number?
True
Let p be (-4)/(-10) + (-1221)/15. Let m = 266 + p. Is m prime?
False
Let t = 12 + 479. Is t composite?
False
Let m(p) be the second derivative of p**6/72 + p**5/120 - p**4/24 - 2*p**3/3 - 3*p. Let n(z) be the second derivative of m(z). Is n(3) composite?
False
Let t(q) = -5*q**3 - 3*q**2 - 7*q + 3. Let z(b) = b**3 - b**2 + 1. Let w(v) = -t(v) - 6*z(v). Is w(8) a prime number?
False
Is (477/(-12))/(21/(-56)) composite?
True
Let u be 6/24 - (-51)/(-12). Is ((-24)/20)/(u/1730) a prime number?
False
Let m(f) = f**3 + 3*f**2 - 3*f + 1. Let a be m(2). Let r = 23 - a. Suppose -2*p + 0 = -r. Is p a composite number?
True
Let d = -215 - -306. Is d a composite number?
True
Let w(c) = 2*c**2 - 9*c - 3. Let y(l) = -l**2 + 14*l - 16. Let h be y(12). Is w(h) a composite number?
False
Suppose 0*v = 4*v - 1380. Suppose -s - 2*s + v = 0. Is s composite?
True
Let j(d) = -d**2 + 5*d - 5. Let c be j(4). Let w be 110 + 0/(-2 + c). Suppose x + x = w. Is x prime?
False
Let a(w) = 8*w - 1. Let b(n) = -7*n + 1. Let j(y) = -2*a(y) - 3*b(y). Let r be j(1). Suppose -r*o + 215 - 3 = 0. Is o composite?
False
Suppose 5 = 2*j - j - d, -22 = -5*j + 4*d. Suppose 0 = y - 0 - j. Suppose -2*l + y = 0, -5*l = 3*p - 87 - 167. Is p a prime number?
True
Suppose 3*d - 252 = 21. Suppose 0*i + 3*n = 2*i - 16, -2*n - 8 = 0. Suppose -4*z + i*c = -47 - 35, 5*c + d = 4*z. Is z composite?
False
Is (39/12)/((-5)/(-60)) a prime number?
False
Let h(k) = k**2 - 7*k + 4. Let w be h(7). Suppose 9*v - 1645 = w*v. Is v composite?
True
Let g = -3062 - -4413. Is g composite?
True
Suppose 5088 = -5*k - t, 4*t + 724 + 1304 = -2*k. Let f = -431 - k. Is f prime?
True
Let j(f) be the second derivative of -f**5/60 + 5*f**4/12 - 7*f**3/6 + 3*f**2/2 - f. Let v(s) be the first derivative of j(s). Is v(7) a composite number?
True
Let v(k) = -k**2 + 551. Is v(0) a composite number?
True
Let b(w) = -24*w**3 - 2*w**2 - 3*w - 4. Let y be b(-3). Suppose 5*q + 0*q - y = 0. Is q composite?
False
Suppose -5*a + 0*d + 2*d = -22, d - 15 = -4*a. Suppose -a*m - 84 + 416 = 0. Is m a composite number?
False
Suppose -2*p = -124 - 14. Suppose 4*x - 4*m = 648, 3*x + 5*m + p = 515. Is x a composite number?
False
Let z be -2 + 14 - 3 - 3. Suppose z*v - 410 = v. Is v prime?
False
Let r(x) = 139*x**2 - x - 1. Is r(-1) prime?
True
Suppose 3*g + 2258 = 5*j, 0 = 4*j + 5*g - 930 - 869. Is j a composite number?
True
Suppose 0 = -4*i - 4*i + 2608. Suppose 5*u + l - 16 = 0, -2*u = -3*u - 4*l - 12. Suppose -i = -u*b - 98. Is b a composite number?
True
Let v(h) = 2*h**2 + 2*h - 2. Suppose 5*f - 6 = -36. Let l = -4 - f. Is v(l) a composite number?
True
Suppose -x - 747 = -u - 4*u, -3*u = -x - 449. Is u a composite number?
False
Let f = -90 + 39. Let s = -32 - f. Suppose 3*t - 44 = s. Is t composite?
True
Suppose 5*y - 3 = -13. Let x(v) = 12*v**3 + 2*v**2 + v. Let c be x(y). Let h = -35 - c. Is h a composite number?
True
Suppose 4*d - 5*b = 3*d + 15, -24 = -4*d + 2*b. Suppose 2*u = -l - d, 2*l + 0 = -2*u - 2. Let w = u + 13. Is w prime?
False
Let w = 18 + 7. Suppose -2*h + 2*d - 19 = -69, -h = 3*d - w. Is h prime?
False
Let o = 41 + -19. Is o composite?
True
Let j be (-1 + -1)/((-14)/35). Suppose -i + 6*i + 15 = 0, -82 = -j*a + 4*i. Is a a prime number?
False
Suppose -282 = -m + 86. Let t = m + 75. Is t a prime number?
True
Let p be (-1 + -29)*4/(-6). Suppose 4*g + g = p. Suppose g*d + 37 = -3*v + 115, v + d = 25. Is v a composite number?
True
Let g(f) = 22*f + 3. Is g(5) a prime number?
True
Let i(o) = 12*o**2 - o - 2*o**2 + 1 - 2. Is i(2) prime?
True
Suppose -85 = 4*o - 3*o. Let f = -60 - o. Is f prime?
False
Let d(b) = 18*b + 3. Let s be d(-3). Let c = 72 + s. Is c a prime number?
False
Suppose -p = -2*s + 4*s - 117, 3*s = -2*p + 231. Suppose l + 29 = p. Is l a prime number?
False
Suppose -3*j = -j - 5*k - 98, 3*j - 5*k - 137 = 0. Is j a prime number?
False
Let b(s) = 2*s - 9. Let v(a) = 5*a**3 + a. Let m be v(1). Let w be b(m). Suppose 0 = -w*f + 3*t + 135, -3*f + 4*t + 1 + 130 = 0. Is f prime?
False
Suppose -3*d + 17 = 4*q - 0, -2*q - d = -9. Suppose -q*s = -76 - 199. Is s a composite number?
True
Suppose 5*t + 169 = 2*t + f, 5*f + 51 = -t. Let a = t + 125. Is a composite?
True
Suppose l - 3*l = -222. Is l a composite number?
True
Let n(y) = -5*y**3 - 2*y**2 - 2*y - 4. Let u be n(-3). Let f = 165 - 84. Let w = u - f. Is w composite?
True
Let c = 273 + -394. Suppose v = 2*i - v - 548, -4*v + 294 = i. Let d