7. Suppose w = 3*g + 5*u, -2*u - 653 = -3*g - 160. Is g prime?
True
Let u = -166 - -237. Suppose 3*w = s - 68, -s - 4*w + u = 24. Is s a composite number?
False
Let t = 30 + -23. Is t a composite number?
False
Suppose v - 645 = 2*b - 166, 0 = 5*v + 3*b - 2343. Is v a composite number?
True
Suppose -2*j = b - 3 + 2, 6 = -3*j - 4*b. Suppose -j*q + 2*p + 1296 = 0, 1952 = -0*q + 3*q - 5*p. Suppose -2*y + q = 2*y. Is y a prime number?
False
Let f be (-14)/2 + 5 + -2. Let q(k) = -20*k + 2. Let w be q(-3). Let z = f + w. Is z composite?
True
Suppose 56 = k + 4*v, -6*k - 2*v = -k - 352. Let s = k - 13. Is s prime?
True
Suppose 0 = 5*t + w + w - 287, -4*w - 193 = -3*t. Suppose 0 = -3*u - 5*c + 21 + 17, -5*c = 4*u - t. Let p = u + -15. Is p composite?
True
Let c = -26 + 113. Is c a composite number?
True
Suppose 44 + 48 = 4*r. Is r prime?
True
Let o(q) = 7*q**2 + 2*q + 5. Let a be o(5). Suppose a = -2*z + 3*z. Suppose 3*w + 25 = z. Is w a prime number?
False
Suppose -2*j - 5*s + 3*s + 430 = 0, 3*s = -2*j + 434. Is j prime?
True
Let b = -14 - -37. Let a = b - 11. Is 8/(-3)*(-99)/a a prime number?
False
Suppose 3*y = d + 17, 5*d = 4*y - 5*y + 27. Suppose -3*g - 5*a - 29 = -y, -a - 5 = 0. Is g + -1 + 107 + 2 a prime number?
True
Suppose 0 = 2*l - 2*p - 2, -l + 3*l = p + 6. Suppose -3*d + 0*t + 549 = 2*t, 4*d + l*t - 725 = 0. Is d a prime number?
False
Suppose 244 = 2*x - 5*o, -5*x + o = 50 - 614. Suppose 0 = 4*u - x + 28. Is u a composite number?
True
Suppose 4*x + 19060 - 4505 = 3*u, 6 = -3*x. Is u a composite number?
True
Let k be (0/3 - 2)*-2. Suppose 5*d = k + 6. Is 48 - (d + -3)/(-1) composite?
False
Suppose 0*g - 4*w = -4*g + 4152, -5*w + 5200 = 5*g. Is g a prime number?
True
Let v be 1 - (32 + 2 + -3). Suppose -l = 5*o - 92, -3*o = 2*o + 3*l - 86. Let m = o - v. Is m prime?
False
Suppose 168 = 2*d + m, -2*d = 4*m - 5*m - 164. Is d prime?
True
Let a(r) = -9*r - 8. Let t be a(5). Is (-1)/((-2)/(-6))*t composite?
True
Suppose 2*n - n = -3*x + 7741, 0 = n - 4. Is x composite?
False
Let c(z) be the second derivative of z**5/20 - z**4/3 - 7*z**3/6 + 9*z**2/2 - 5*z. Is c(6) prime?
False
Let y = -8 - -9. Let t(n) be the third derivative of 53*n**6/120 - n**5/60 + n**4/24 + n**2. Is t(y) a prime number?
True
Let i(k) = -k**3 + 7*k**2 + k - 4. Let p be i(7). Suppose 304 = p*r - 131. Is r composite?
True
Suppose -4*c = -33 - 3. Let s = c - 2. Is s - (-1 + 2/2) prime?
True
Let j be -30*((-6)/(-4) + -3). Let b = 8 + j. Is b a prime number?
True
Let w be (1/(-2))/((-3)/6). Let q(k) = 15*k**2 - 2*k + 0 - 2 + 3. Is q(w) composite?
True
Suppose 4*i + 0*i = 296. Is i composite?
True
Is (2/8)/(6/23784) a composite number?
False
Let u(o) = 134*o**3 - 2*o**2 + 2*o - 1. Is u(1) prime?
False
Suppose -2*g = -3*g - 5, 5*g = -2*y + 289. Is y a composite number?
False
Let g(p) = -16*p - 138. Is g(-31) composite?
True
Suppose -631 = -3*q + 4442. Is q a composite number?
True
Let j(t) = -t + 10. Let o be j(-13). Suppose -p + 172 = o. Is p a prime number?
True
Suppose 3*o - 2954 = o. Is o composite?
True
Suppose 0 = 5*q - r - 118, -q + r + 32 = -2*r. Suppose -2*w = o + 41, -3*w - 58 = -5*o + q. Let z = 241 - w. Is z composite?
False
Suppose 4*o - 2*i - 44 = 0, -5*o = -0*o + 4*i - 29. Let k(x) = 22*x - 7. Is k(o) composite?
False
Suppose 2*x + i - 108 = 0, 4*x + 4*i - 222 = -i. Is x a composite number?
False
Suppose 0 = 3*j + 3, h - 4*h + 1397 = 4*j. Is h a prime number?
True
Let b(s) = -438*s**3 + 3. Let i(q) = 1. Let l(v) = -146*v**3 + 7. Let j(k) = 6*i(k) - l(k). Let o(x) = -4*b(x) - 11*j(x). Is o(1) a composite number?
True
Suppose 0 = b - 4*w - 1056, 5 = -3*w + 2. Is b/6*6/4 composite?
False
Let x = -105 - -153. Suppose -5*j = v - 33 - x, 4*v - 372 = 4*j. Is v a composite number?
True
Is 4 - (-1 + -282 + 0) a composite number?
True
Let l be 9*6/45*-5. Let y = l + 6. Suppose -4*p - 31 + 387 = y. Is p composite?
False
Suppose 38 = 4*i - 542. Is i composite?
True
Let b(g) = -11*g**2 - 2*g + 9. Let o(u) = 4*u**2 + u - 3. Let i(p) = -3*b(p) - 8*o(p). Let t = -3 + -5. Is i(t) composite?
True
Let c(j) = -159*j - 16. Is c(-13) a prime number?
False
Let k = -671 + 1024. Is k composite?
False
Let q(y) = y**3 - 5*y**2 - 4*y - 7. Let o be q(6). Suppose 2*a = 2*w - 15 + 3, -o*a - 6 = 3*w. Suppose -b = w*b - 92. Is b a composite number?
False
Let l(h) = 5*h + 19. Is l(8) a prime number?
True
Let t(x) = -x**2 + 18*x + 21. Let z be t(19). Suppose 0 = -3*n - 0*y - y + 208, -4*n = -z*y - 274. Is n a composite number?
True
Let w = -47 - -460. Is w prime?
False
Let f = 119 + -70. Is f a composite number?
True
Let i = -2 + -1. Let f(b) = -11*b**3 - 5*b**2 - 3*b - 4. Is f(i) prime?
True
Let p = 92 - -53. Is p composite?
True
Let k be 1/2 - 49/(-14). Let y be k + -3 - (-2)/2. Suppose -4*d - y*u = -96, 92 = 4*d - 0*u + 4*u. Is d a composite number?
True
Let n(l) = -252*l + 49. Is n(-10) composite?
True
Suppose p + q - 5 = 0, -q - 5 = -3*p + 6. Suppose 5*a + 11 = p*w, -5*w = -2*w - 4*a - 8. Suppose -39 = -w*u + 17. Is u a prime number?
False
Let s be (-12)/(-24) - 118/(-4). Is -2 + s*(-100)/(-8) a prime number?
True
Let a be 0/(-1) - 0/3. Is 0/(2 + a) + 35 a composite number?
True
Let l(y) = 14*y**2 - 11*y - 13. Let x be l(11). Suppose 0 = 5*z + 15 - 5, 4*m + 2*z = x. Is m composite?
True
Suppose 5*i = 168 + 7. Is i composite?
True
Let n be (6/3)/(-1) - -7. Suppose v - 25 = 2*w, -5 = -v - n*w - 15. Suppose -4*f - v = -155. Is f prime?
False
Suppose -2*n = -96 - 42. Is n a prime number?
False
Let c(h) = 55*h - 3. Let f(d) = 12*d - 16*d + 3 - 52*d. Let z(m) = -2*c(m) - 3*f(m). Is z(2) composite?
False
Suppose 104 = 3*s + 4*u, s - 2*s + 38 = 2*u. Suppose 137 = o + s. Is o prime?
True
Is (5 - (4 + 2))/((-1)/47) a composite number?
False
Suppose -2036 = -t - 2*p - 633, 2*t = -p + 2800. Is t a composite number?
False
Suppose -m = 4*m - 15. Suppose p = m*r - 131, 182 = -0*r + 4*r - 5*p. Is r prime?
True
Let o(a) = 12*a**3 + 3 - 4 + 2 - a. Is o(2) prime?
False
Let n be -3 + 103*(-2 + -1). Let y = -199 - n. Is y composite?
False
Suppose -9 + 23 = j. Suppose -4*x = 3*u - j - 569, 388 = 2*u + 2*x. Suppose -2*g = -5*b - 3*g + 331, 3*b = -2*g + u. Is b prime?
True
Let z(c) = 95*c**3 - 3*c**2 + 6*c + 3. Is z(3) composite?
True
Let a(f) = -3 - 1 + 0 - 8*f + 5*f**2. Let n(i) = -i**3 - 6*i**2 - 5*i - 5. Let y be n(-5). Is a(y) a composite number?
True
Suppose -m = -2*m. Let t be (3 - m)*(-4 + 0). Let l = t - -19. Is l a prime number?
True
Let v(o) = 2*o**2. Let n be v(-1). Let q(w) = 32*w**2 + 3*w - 3. Is q(n) prime?
True
Suppose 0 = -2*t + 24 + 4. Suppose 5*l - 1091 = t. Is l a composite number?
True
Let p(j) = -44*j**2 + 6*j + 7. Let s be p(7). Is s/(-14) + (-3)/2 a composite number?
False
Suppose 2*l - 4 = -0*l. Suppose 0 = -0*f - l*f. Suppose 36 = 2*q - f*q - 3*t, 0 = q + 5*t - 5. Is q composite?
True
Suppose 0 = 5*w + 356 - 1101. Is w composite?
False
Let n(w) be the first derivative of w + 1/2*w**2 + 2 + 14/3*w**3. Is n(-2) prime?
False
Let i = -2 + 2. Suppose i*x = 4*x - 228. Suppose -m + x = 2*m. Is m composite?
False
Let f(t) = -26*t - 1. Let k be f(-3). Let d(l) = 2*l**3 - 11*l**2 + 5*l + 14. Let w be d(7). Let z = w - k. Is z prime?
False
Let s(b) = -56*b**3 - 2*b - 1. Suppose 0 = -4*p - 3*j + 4, 2*p + 28 = 5*p - 4*j. Let r(g) = g**2 - 4*g - 1. Let w be r(p). Is s(w) a prime number?
False
Let b(w) = 21*w**2 - 4. Let n be b(-4). Suppose -2*t - 2*t = -n. Is t a composite number?
False
Suppose -2*h = a - 0*a - 16, 3*h = 3*a + 15. Suppose -4*o + h*b + 33 = 2*b, 0 = b + 1. Is o prime?
True
Suppose -p + 6 = -0*p. Suppose 3*v - p*u - 202 = -u, 0 = 2*v - 3*u - 133. Is v composite?
False
Suppose 0 = -5*w + 5*d + 1540, -d + 2*d - 920 = -3*w. Is w prime?
True
Let n = -967 - -2484. Is n composite?
True
Let l = 396 - 151. Suppose -5*v + 218 = 3*q - l, 0 = -v - 5*q + 75. Suppose 0*f + f - v = 0. Is f prime?
False
Let p be 3*(-6)/27*-6. Suppose 0 = -2*c + p*c - 6. Suppose 0 = 3*t - 3*y - 468, 0 = -c*t - 5*y - 0*y + 476. Is t prime?
True
Suppose 0 = -2*i + i + 5. Suppose -i*j + 11 - 26 = 0. Let t = 29 + j. Is t a composite number?
True
Suppose s - 5*o + 22 = 0, s = 2*o + 2*o - 18. Let d(y) = 3*y**2 - 2*y - 3. Is d(s) prime?
True
Suppose -4*b - 2 = 6, 0 = -a - b + 251. Suppose -a = -3*c + 374. Is c a prime number?
Fa