= -6*p. Is 1880/12 - p/(-3) prime?
True
Suppose -1 = m - 2*d - 22, -61 = -3*m + 4*d. Let a = -16 + m. Is a prime?
True
Let m(h) = -11*h**3 + 7*h**2 + 4. Let s(r) = r**3 - r**2 - 1. Suppose p - 1 = 4. Let v(f) = p*s(f) + m(f). Is v(-1) a prime number?
True
Let x(u) = -5*u**3 + 7*u**2 + 4*u + 5. Let f(w) = 6*w**3 - 6*w**2 - 5*w - 6. Let j(n) = 4*f(n) + 5*x(n). Is j(9) prime?
True
Let d be ((-25)/15)/(2/(-6)). Suppose 4*m = -4*g + 180, 0 = 3*g + d*m - 134 - 5. Is g a composite number?
False
Is (3 - -2) + 2326 - -2 prime?
True
Suppose 2*g + j + 8758 = 6*g, 4*j - 8748 = -4*g. Is g composite?
True
Let d = -7 + 15. Let w(l) be the first derivative of l**4/4 - 2*l**3 - 11*l**2/2 + 7*l - 1. Is w(d) composite?
False
Let g = 12 + -7. Let r(o) = o**3 - 5*o**2 + 8*o - 3. Is r(g) composite?
False
Suppose -2*l + 15 = l. Suppose -3*c + 3 = l*u - 22, -3*u = -4*c + 14. Suppose -u*s - 18 = -4*s. Is s a prime number?
False
Suppose p - 3 - 1 = 0. Suppose p*l + 5 = 81. Is l prime?
True
Let r = 3 + 0. Suppose f = -4*w + 21, -2*w - 2*f = r*f - 33. Suppose -w*u + 4*b + 220 = 0, 6*u - u + b = 263. Is u composite?
False
Let p = -56 + 691. Is p a composite number?
True
Let h = -7 + 10. Suppose -h*g + 4*m = 2*g - 88, 0 = -2*m - 4. Let s = 18 + g. Is s a composite number?
True
Let z = 9 - 7. Suppose -s - 2*y = 2*y - 161, 2*s - 292 = z*y. Is s prime?
True
Let h(d) = d**2 - 15*d + 9. Let f be h(10). Let y = 18 - f. Is y composite?
False
Suppose 5*j + 941 = 3*g - 539, -2*j = 4*g - 1930. Is g a composite number?
True
Let j(r) = -r + 9. Let d be j(7). Let v be (d/(-1) - -45)*1. Suppose 3*i = v + 98. Is i a prime number?
True
Let w(b) = 10*b**2 + 5*b + 4. Is w(-3) a composite number?
False
Let k = -437 + 688. Is k composite?
False
Let f be (-1 - 1 - -9)*2. Let o(i) = -i**2 - 6*i + 4. Let j be o(-7). Let m = f + j. Is m composite?
False
Suppose t = 2*t + 3. Let j(g) = -28*g + 4. Let r be j(t). Suppose -5*d = -d - r. Is d composite?
True
Let f be -1 + -6 + 3*1. Let g = 21 - f. Is g a composite number?
True
Suppose 50 - 185 = -3*p. Suppose 0 = -2*a - 3*a + p. Is 304/a - (-6)/27 a prime number?
False
Let t(y) = 22*y - 6. Let q be t(3). Suppose 4*z - q = 112. Is z prime?
True
Is (-20)/8*(-11370)/25 a composite number?
True
Suppose 3*m - 414 = 2*f - 6*f, 3*f - 304 = m. Let k = f - 67. Is k prime?
False
Suppose z + 217 - 643 = -2*j, j - 215 = -z. Is j a composite number?
False
Suppose -3*f - 6182 = -19163. Is f a composite number?
False
Is (-11)/44 + 298/8 prime?
True
Suppose 2*m + 3212 = 5*p, 3*p = 2*m + 2397 - 473. Suppose y = -y + 6. Suppose -r - y*r = -p. Is r prime?
False
Let x = -36 + 249. Is x a composite number?
True
Suppose -17 - 3 = -5*r. Suppose j - 6 = r*j - 4*u, 0 = -2*u + 6. Suppose a + j*a = 2*x - 91, 5*x = -4*a + 285. Is x a composite number?
False
Let x(w) = 108*w**2 - 4*w + 5. Is x(-3) a composite number?
True
Let c be 179/(-7) + (-18)/42. Let v = -16 - c. Is v composite?
True
Suppose 37 = 5*d + 4*w, -2*d + 3*w = -0 - 1. Suppose -d*f + 4*f = -251. Is f composite?
False
Let k be (56/6)/((-3)/(-36)). Suppose 2*a + 3*p + k = 6*a, -4*p = 16. Is a a prime number?
False
Let q(k) = -5*k**2 + 2*k**2 - 4*k + 4*k**2 + 2. Let l(g) = -2*g - 11. Let u be l(-9). Is q(u) a prime number?
True
Let t be (-76 + 3)*1/(-1). Suppose s = -4*h + 97, -5*s + t + 390 = -2*h. Suppose w - s = -2*w. Is w prime?
True
Let j(g) = -50*g - 2. Suppose -2 = a - 4. Let m be j(a). Let f = 155 + m. Is f a prime number?
True
Let b(p) = 1 - p + 6*p**3 - p - 2*p**2 + 0*p + 4*p**3. Is b(2) prime?
False
Suppose -5*g = -5*w + 5, 8 = -3*g + 3*w + w. Suppose 4*v + g*k - 1052 = 0, -7 + 2 = -k. Let b = -71 + v. Is b a prime number?
False
Let p be (8/(-3))/((-4)/6). Let x(b) = p*b + b**2 + b**2 - 2 - 3*b. Is x(3) composite?
False
Let g(q) = -5*q + 4. Let k be g(2). Suppose -n - 3*n = 108. Let c = k - n. Is c prime?
False
Suppose 0*c - 446 = -2*c. Is c a prime number?
True
Let v = 247 - -6. Is v composite?
True
Let f = -192 + 132. Let m be 4/30 + (-172)/f. Suppose 0 = -m*h + 5*h - 78. Is h a composite number?
True
Suppose 3*y + 2*z + 5 = 2*y, -3*y = 4*z + 15. Let j(v) = 3*v**2 + 4*v + 2. Is j(y) composite?
True
Suppose 5*w - 2*t - 153 = -12, 0 = w + t - 31. Suppose 0 = 5*l - w + 4. Suppose -l*o = -o - r - 267, -3*o + 203 = 2*r. Is o prime?
True
Suppose -4*o - 3*r + 1933 = 0, 0*o + 2408 = 5*o + r. Is o prime?
False
Suppose -3*d = -957 - 5346. Is d a prime number?
False
Suppose o - 4*n + 9 = 0, -n - n - 3 = -3*o. Suppose 122 = 2*c + 2*s, -2*c - 2*s + o*s + 110 = 0. Is c a prime number?
False
Let v be 1/3 - 114/(-9). Suppose -h - 2*o = -v, -5*o + 40 - 15 = 0. Suppose 5*t - 293 = 2*z, -t + 4*t - h*z = 183. Is t prime?
False
Let d be (6 - 2)*(2 + -1). Suppose 130 = k + d*k. Is k prime?
False
Let p(v) = 11*v + 1. Let k be p(-1). Is (-1 - 73)*k/20 prime?
True
Let f(u) = -u**2 - 9*u - 8. Let q be f(-7). Suppose 3*m - m - q = 0. Is (24/9)/(2/m) prime?
False
Let a = -1019 - -1632. Is a prime?
True
Let s(f) = -13*f + f + 3 - 2. Let h be s(-6). Let d = 108 - h. Is d prime?
False
Let j = 2314 - 1617. Is j composite?
True
Suppose 5*w - 2*p = 590, -w + 118 = -0*w + 5*p. Is w/4*(-3 - -5) a prime number?
True
Let o(j) = 44*j**3 + 2. Let b be o(2). Let h = 517 - b. Is h prime?
True
Suppose -26 - 24 = -2*r. Is 10/r - (-3593)/5 composite?
False
Suppose -4*c - 4*a = 88, 5*c = 2*a - 21 - 54. Let d = 2 - c. Is d composite?
False
Suppose 6*y - 4*y = -66. Is (-4)/(-22) + (-753)/y a prime number?
True
Let d(c) = -2*c. Suppose -3*k - 1 = -5*b, -2*b = 3*b - 5*k - 5. Let j be d(b). Is 0 + (j - 66/(-2)) a prime number?
False
Suppose 11 = -2*j + 5*g - 4, -j = -g. Suppose 2*x = n + 2*n - 95, 0 = -n - j*x + 26. Is n prime?
True
Suppose 8*g + 2631 = 11*g. Is g composite?
False
Let r(y) = -y**3 - 3*y**2 + 2*y - 3. Let n(g) be the second derivative of g**4/12 + g**3 + 3*g. Let v be n(-5). Is r(v) a composite number?
False
Let b(s) = -s**2 - s + 2. Let u be b(-2). Suppose -5*q = -t - 11, u = 5*t - 5*q + 4*q + 175. Let m = -14 - t. Is m a prime number?
False
Let t = 2031 + -650. Is t prime?
True
Let d = 6 - -9. Is d + (0/(-4))/(-2) a prime number?
False
Suppose -t = -w + 1462, -4*w - 2*t - t = -5813. Is w prime?
False
Suppose -4*k + j = -2*j - 290, -2*k = j - 150. Suppose k - 11 = 3*o. Is o composite?
True
Let p be ((-3)/(-1) - -1) + -2. Let k = p - 0. Is (-38)/k*(2 - 3) prime?
True
Let s(c) = -11*c**2 - 2. Let w(q) = 10*q**2 + q + 1. Let y(i) = 2*s(i) + 3*w(i). Let f be y(4). Suppose 5*t + 2*b - 38 - f = 0, 2 = 2*b. Is t composite?
True
Let l(k) = k**3 + 14*k**2 + 10*k - 36. Let z be l(-13). Let d = 2 + 1. Suppose 4*p + 2*i - 1078 = 0, d*p - 2*i = -z*i + 806. Is p a prime number?
False
Suppose -3*c + 2*p + 420 = 127, -292 = -3*c + p. Is c a composite number?
False
Let g be (-2 - (-3)/2)*-4. Suppose u = g*u - 2. Suppose 2*l - 15 = -p + 9, -u*l = -2*p + 54. Is p a composite number?
True
Let j(q) = 8*q**2 - 38*q - 17. Is j(12) a prime number?
False
Suppose 8*q = 4*q - 184. Let z = q + 67. Is z a prime number?
False
Suppose -2*v = -991 + 389. Is v prime?
False
Suppose 9*c - 10*c = -381. Is c prime?
False
Suppose -j = -5*j - 20. Let y = -18 + j. Let o = y - -66. Is o a prime number?
True
Suppose 5 + 15 = -4*a. Let j(s) = -s**3 - 5*s**2 - 2*s + 4. Let n be j(a). Let f = n - -19. Is f prime?
False
Let s be (-2)/(-4) + (-27)/(-6). Let d = 4 - 6. Let b = d + s. Is b a prime number?
True
Let d(k) = -2*k - 6. Let i be d(-4). Let l(q) = q**2 + 3*q + 0 + q + i. Is l(7) prime?
True
Let t(b) = -22*b**2 + 2*b + 2. Let m be t(2). Let u = -59 - m. Is u a composite number?
False
Suppose -2*j - 4*b = -302, -3*j - 153 = -4*j - 4*b. Is j a prime number?
True
Let h(s) = -s**2 + 1. Let k(y) = -4*y**2 - 4*y - 1. Let b(o) = -4*h(o) - k(o). Is b(2) a composite number?
False
Suppose 1878 + 2107 = 5*q. Is q composite?
False
Let y be (-62)/4*(0 + 2). Is y/(2/4*-2) composite?
False
Suppose -221 = -5*n + 189. Is n a prime number?
False
Let y(l) = 12*l**3 - l**2 - 2*l + 2. Let z be y(2). Let v = 203 + z. Is v composite?
False
Let o = -136 + -127. Suppose -2*p = -8, -5*p + 26 - 8 = 2*l. Is l/3*(2 + o) prime?
False
Let p(c) = -c**3 - 4*c**2 - 2*c + 8. Is p(-11) a prime number?
True
Suppose 0 = -5*i + 3*i + 320. Suppose -5*s - i = -s. Let p = s - -63. Is p a prime number?
True
Is (46 +