= 16, -2*p = -d + 25. Is d composite?
False
Let m be ((-4)/5)/(1/(-5)). Let i be 2 - 0/(-1) - -2. Suppose 0 = -s - q + m + 10, -s + 26 = i*q. Is s a prime number?
False
Suppose -5*g + 105 = 30. Is 848/20*g/6 a composite number?
True
Let j(x) = -x + 141. Is j(0) a composite number?
True
Let k(d) = -d - 8. Let o be k(-11). Suppose o*n - 230 = -2*n. Is n prime?
False
Let h(q) = -q**2 - q + 1. Let o(z) = -6*z**2 - 5*z + 42. Let u(m) = -5*h(m) + o(m). Suppose 0 = -2*w - 0*w. Is u(w) a prime number?
True
Suppose 0 = -0*s - 5*s + 1080. Suppose -4*z + s + 352 = -i, 5*i - 735 = -5*z. Is z a composite number?
True
Suppose -5*o = -3*p - 6, -2*o - o - 6 = -5*p. Suppose 28 = p*q - 50. Is q composite?
True
Is ((-2)/(-2))/((-2)/(-170)) a prime number?
False
Let o = -4 + 6. Suppose -a - 3*y = -18, o*a + 3*a = -3*y + 30. Suppose a*m + 50 = 8*m. Is m composite?
True
Suppose 2*h + 320 - 32 = 0. Let y = h + 305. Is y composite?
True
Let o(u) = u - 2. Let m be o(2). Suppose 4*n - g - 12 = 0, 0 = 5*n + 2*g - 23 + 8. Suppose m*p - p = -5*h - 20, -n*h - 78 = -5*p. Is p composite?
True
Suppose 0 = 8*p - 3*p - 15. Suppose 0 = -p*h - 4*d - 8, d - 12 + 1 = -4*h. Is h prime?
False
Suppose 3*n + 130 = -437. Let q = 65 - n. Is q prime?
False
Suppose 2*m - 5*m - 15 = 0. Let w(t) = 3*t**2 + t + 4. Let s be w(m). Is (0 - (-1)/2)*s a prime number?
True
Let x = -24 + 317. Is x a prime number?
True
Let k = -417 - -768. Let c = k - 160. Is c a composite number?
False
Let n = 276 + -149. Is n prime?
True
Let q be (-121)/4 + (-2)/(-8). Let v = -11 - q. Is v a composite number?
False
Let h(u) = -u**3 - 4*u**2 - 3*u + 3. Let y be h(-3). Suppose 4*a + 11 = y*o, -4*o + 3*o + 8 = 3*a. Is o*-93*(-1)/5 a composite number?
True
Suppose -2*k + 93 = 5*y, 5*y = 3*k + y - 197. Is k composite?
False
Suppose -p = w - 8, -p - 3*p + 27 = 3*w. Suppose -p*y + 4*s = -89, s + 67 - 16 = 2*y. Is y prime?
True
Suppose -3*y = -2*w + 52, 33 = 2*w - 5*y - 19. Is w a composite number?
True
Let d(k) = k**3 - 6*k**2 - 3*k - 9. Let j(m) = -2*m**2 - 9*m + 0*m + 2*m**3 - 26 - 16*m**2. Let g(v) = -8*d(v) + 3*j(v). Is g(-4) prime?
False
Let o = 1047 + -548. Is o a composite number?
False
Let k be (-614)/(-6) - (-4)/(-12). Suppose k = 4*f - 382. Is f prime?
False
Suppose 1772 = 4*m - k, -k - 1486 - 729 = -5*m. Is m a prime number?
True
Suppose 0 = x + o - 1 - 1, 4*x + 10 = 5*o. Suppose 4*v = -x + 88. Is v a prime number?
False
Let o(m) = 1 - 2 + 2*m**2 - 51*m**3 + 0. Let d be o(1). Let y = -11 - d. Is y composite?
True
Let p(u) = -u**2 - 6*u + 1. Let o(b) = -3*b**2 + 1 + 0*b - b + 2*b**2. Let t(l) = -4*o(l) + p(l). Is t(-2) a composite number?
False
Let m = 271 - 152. Let q = m + -52. Is q a composite number?
False
Let z = -37 - -155. Let g = 175 - z. Suppose s - 58 = g. Is s a composite number?
True
Suppose -5*a - 20 = 0, 3*b + 2*b + 45 = -5*a. Let f = 18 + b. Is f a composite number?
False
Suppose -7*k - 24 = -3*k. Is k/(-10) + (-64)/(-10) a composite number?
False
Let f(z) = -z**3 + 11*z**2 + 17*z - 18. Let j be f(12). Is j/18*141*1 composite?
True
Let q = 29 - -38. Is q a prime number?
True
Suppose 91 = 4*v + 5*u, 0*v + 5*v = -u + 98. Let i be 0 + 1*(0 + 4). Let w = v + i. Is w a composite number?
False
Let b(w) = 243*w + 40. Is b(33) composite?
False
Suppose s - 810 = 4*s + 3*w, 0 = -s - 4*w - 270. Let p = -149 - s. Is p a composite number?
True
Let t = 572 + -195. Is t a composite number?
True
Is (-368)/(-8)*(-3)/(-2) a prime number?
False
Suppose 3*s - 16 = -s. Suppose 3*i + 3*z - 7*z - 267 = 0, -356 = -4*i - s*z. Is i composite?
False
Let z = -3 - 0. Let c be 160/3 - 2/z. Suppose s + 5 = c. Is s composite?
True
Suppose -1194 = -5*r + 271. Is r a composite number?
False
Is (-1)/((-2976)/(-993) - 3) a composite number?
False
Let g(a) = 1. Let f(m) = -31*m + 8. Let r(h) = -f(h) - g(h). Is r(6) a composite number?
True
Let a(h) = h**3 + 2*h**2 - 7*h + 5. Is a(7) a prime number?
True
Suppose i + 0*k - 3*k = -48, -2*i = -5*k + 95. Let h be 4 + 5/(20/24). Let t = h - i. Is t a composite number?
True
Let o be (5/(-10))/(2/(-20)). Is (-1)/o - 888/(-15) prime?
True
Let j be ((-4)/2 - -3)*4. Suppose 2*l - 3*h + 3 = 0, l - 1 = -3*l - h. Is (-286)/j*(-2 - l) composite?
True
Suppose 3*t + 1758 = 4*b - b, -1172 = -2*b - 3*t. Is b composite?
True
Let v be -4 - -1 - (-9)/3. Suppose -3*q - 3*m + 396 = -v*q, 4*q = -m + 525. Is q a composite number?
False
Suppose -5*j + 4*b = -18, 2*b = -3*b + 15. Let o be j/1*(-4)/3. Is 2/o - (-1162)/8 a composite number?
True
Suppose -10*p + 1734 = -5056. Is p a composite number?
True
Suppose 4*o + 4*b - 31 = 281, -5*o = -b - 396. Is o composite?
False
Let h be 1 - (-8*2)/(-1). Is (-6)/h - 723/(-5) prime?
False
Let g(f) = -f**3 + 11*f**2 + 6*f + 11. Is g(11) a composite number?
True
Suppose -90 - 85 = -5*d. Let t(n) = -28 + 107 + d*n - 34*n. Is t(0) prime?
True
Suppose 0 = 12*m - 9*m - 669. Is m a composite number?
False
Let j be (1 + 11)*(-17)/(-4). Let v be (-6)/(-8) + 177/(-12). Let g = j + v. Is g a prime number?
True
Let s = 36 + -5. Suppose 0 = -3*y + 4*y - s. Is y a prime number?
True
Is 1062/12 - (-2)/4 prime?
True
Let l(k) = -k**3 - 4*k**2 - k + 3. Let f(r) = -r**3 + 4*r**2 + 4*r + 2. Let w be f(5). Let z be l(w). Is 36 - (1*z)/(-3) a composite number?
True
Let w = 327 + -203. Suppose 0 = -3*l + 5*y + 187, -3*y - w = -3*l + l. Is l a prime number?
True
Let r(j) = 22*j - 1. Suppose 0 = -4*f - f - 15. Let z be r(f). Let y = 224 + z. Is y a composite number?
False
Suppose -4*v + 6*n = 2*n - 1000, 4*n + 253 = v. Is v prime?
False
Let x = 409 - -72. Is x prime?
False
Suppose -u - 2*u = -42. Suppose -a + 42 + u = n, -a = 1. Is n composite?
True
Let s be ((-48)/20)/((-6)/20). Let c = 18 - s. Is c composite?
True
Suppose 4*w - 419 = 3*w. Is w prime?
True
Suppose 2*p = -3*p + 10. Let v(j) = -4 + 39*j + 0 + 3. Is v(p) a prime number?
False
Let s be (0 - (-6)/(-4))*-2. Is (-1)/(s + 1344/(-447)) composite?
False
Suppose 3*u - 4*q + 6 = 0, 4*u - q = -3*q - 8. Is 204 + 9 - (-4)/u a composite number?
False
Let p = -8 - -4. Let x = p - -4. Suppose -3*i - 3*u + 255 = x, 0 = u + 3*u - 8. Is i a prime number?
True
Let g(u) = -826*u + 1. Is g(-4) a composite number?
True
Suppose -2*k - 1001 = -3*f, -3*f + 1281 = 5*k + 266. Is f a composite number?
True
Let g(c) = -c**3 + 3*c - 1 + c + 0*c**3 + 2*c**2. Let j(a) = a**2 + 9*a + 10. Let h be j(-7). Is g(h) composite?
False
Let p = 341 - 228. Is p prime?
True
Suppose 0 = 4*n - 893 + 61. Suppose 2*l = 3*r + n + 247, 4*l - 5*r = 915. Is l a prime number?
False
Suppose 4739 = -3*f - 4*k, f + 1589 = -k + 2*k. Let j = -698 - f. Is j a prime number?
True
Let b(l) = -l + 9. Let n be b(5). Is ((-1438)/n)/(7/(-14)) prime?
True
Suppose 0 = -9*f + 4*f + 1315. Is f a prime number?
True
Suppose -36*x - 1361 = -37*x. Is x a prime number?
True
Let n(g) = g**3 + g**2 - g. Let v(a) = -4*a**3 - 8*a**2 + 6*a - 1. Let p(y) = -6*n(y) - v(y). Suppose 5*l = 4*j - 2, -4*j = l + 3 + 7. Is p(j) a prime number?
False
Suppose 0 = -10*i + 5*i - 135. Let n(p) = -p**2 - 5*p - 6. Let j be n(-6). Let h = j - i. Is h a prime number?
False
Suppose -4*o + 5*m + 2603 = -1728, 2*o - 2173 = 5*m. Is o a composite number?
True
Suppose -3*t + 2*t = -506. Let k = t - 283. Is k a composite number?
False
Let o(r) = -r**2 + 2*r. Let d be o(-9). Let b = -68 - d. Is b a composite number?
False
Let a(y) be the first derivative of y**3/3 + 4*y**2 - y + 2. Suppose 0*u = -5*u + 30. Is a(u) composite?
False
Suppose -171 = -g - 2*m - 33, 0 = 4*g + m - 552. Suppose 0 = -2*t + 2*o + 484, -g - 585 = -3*t + 2*o. Is t composite?
False
Suppose -4 = -0*j + 2*j - 4*q, -5*q = 5*j - 35. Suppose j*i - 2*i - 8 = 0. Suppose -g + 3*k + 280 = 4*g, -227 = -i*g + 3*k. Is g composite?
False
Is (2/(-6))/((-1)/222) a prime number?
False
Let t = -1 + 1. Is 3 - (-31 - (t - -3)) composite?
False
Let w(m) = 8*m - 1. Let i be w(3). Suppose 0 = -4*g - o + i, 0 = 2*g - 3*g - 4*o - 13. Suppose -g - 60 = -z. Is z a prime number?
True
Let k(m) = -83*m - 1. Is k(-4) composite?
False
Let c(r) = r**3 + 7*r**2 - 4*r - 3. Let k be c(-8). Let d = k - -72. Is d composite?
False
Suppose 5*g - 1158 = -4*v + 635, v - 442 = 5*g. Is v composite?
True
Suppose -2*d = -25 - 45. Suppose d + 35 = 2*v. Is v prime?
False
Let v = 206 - 105. Suppose j + 4*h