7. Let r(m) = m + 1. Let s(z) = -j(z) + 2*r(z). Is s(-6) prime?
True
Suppose 3*s + p = 2*p + 29, 5*p = s - 5. Suppose -s = -0*w - 4*w + 2*x, x + 1 = 0. Suppose -1034 = -w*t + 608. Is t a composite number?
False
Let v = 142752 - 91303. Is v a composite number?
False
Suppose -3*w + w = -3*y - 51, -2*w - 5*y = -11. Suppose -r - 4 = -2*r, -4*r = o - w. Suppose -110 = -o*j - 3*j. Is j a prime number?
False
Is 2/5 + 932454/90 composite?
True
Let h be (2866/(-2))/(-3 - 102/(-36)). Let b = -5149 + h. Is b a prime number?
True
Let r = -2 - -8. Suppose -n + r = 1. Let x(z) = z**3 + 3*z**2 + 2*z + 1. Is x(n) a composite number?
False
Let r(t) = -5*t**2 + 14*t + 24 + 4*t**2 - 26. Is r(4) a prime number?
False
Suppose -4*l + 3*i = -6953, -1314 = -3*l + 3*i + 3900. Is l a prime number?
False
Let z(b) = 3*b**3 + 5*b**2 - 6*b + 2. Let j be z(2). Suppose -36*y + 4 = -j*y. Suppose -3787 = -5*f - y*f. Is f a prime number?
True
Let g(r) = 1130*r - 1 + 1107*r + 697*r. Is g(1) a composite number?
True
Let w(f) be the second derivative of f**5/20 - f**4/12 - 4*f. Let t be w(4). Suppose 5*i = 3*v - 350, -2*v + t = -5*i - 187. Is v a prime number?
False
Let o = 10901 - 5218. Is o prime?
True
Let o(j) = -2*j**3 + 20*j**2 + 2*j - 16. Let z be o(10). Is 147975/(-50)*z/(-6) composite?
False
Let a(b) = 5*b**2 + 14. Let o be a(5). Suppose 8 = 5*s - 7. Suppose -t - o = -3*t - s*y, -3*t - 2*y + 221 = 0. Is t composite?
True
Suppose u = -q - 3*u - 8, -5*q = -4*u + 16. Let l be -34*((-2)/2 - q). Is 44/(-8)*l/3 composite?
True
Let c = 5745 - 3671. Suppose 0 = -4*l + c - 258. Is l a prime number?
False
Let x = -5085 - -10468. Is x a prime number?
False
Is 50724/8*2*2/6 a composite number?
True
Suppose 12*o - 209074 - 201458 = 0. Is o prime?
True
Let v = -49 + 53. Suppose -v*a + 2122 = 2*r + 132, -3*a + 1491 = 2*r. Is a a composite number?
False
Let d be 4 + 15/(-21) + (-2)/7. Let k(y) = 44*y + 17. Is k(d) a prime number?
True
Let l be 68/18 - 6/(-27). Suppose -2*q = -2*y - 4*q + 1448, 2897 = l*y + 5*q. Is y composite?
True
Suppose 2*q - q + 1 = 0. Let d be q/2 - (-22)/(-4). Is ((-44)/6)/(d/27) composite?
True
Let d(p) = -p**3 + 2*p**2 - 2*p + 1. Let l be d(1). Suppose -b - 5*f + 932 = l, 142 + 740 = b - 5*f. Is b composite?
False
Suppose -2*w + d = 2*d - 8544, d - 12815 = -3*w. Is w a composite number?
False
Let z(r) = -7*r + 10. Let u(i) = 22*i - 29. Let l(g) = -3*u(g) - 8*z(g). Let h be l(-12). Suppose -h = j - 2*j. Is j a composite number?
False
Is 4 + 1/(-3)*(-12591)/1 a composite number?
False
Let i(l) = -2*l**3 + 9*l**2 + l. Let m(v) = -v**3 - 2*v**2 + 1. Let h(u) = i(u) + m(u). Let o be (12/(-10))/((-2)/(-10)). Is h(o) composite?
True
Let d be 30/(-7) + 4 - (-259)/49. Suppose 27 = 5*a + 4*l, -a + 0*a = -l. Suppose -d*v = a*k - 904, -4*k - v + 63 = -1131. Is k prime?
False
Suppose -n = -3*d - 24, -12 = -3*n - 3*d - 0*d. Let j = -7 + n. Suppose j*u - 174 = -u. Is u composite?
True
Let c be (2/(-1))/((-8)/(-4)). Let m be (c/2)/(5/(-340)). Let q = 3 + m. Is q a prime number?
True
Suppose 3*x - 8*b - 35699 = -6*b, x + 3*b - 11918 = 0. Is x a prime number?
True
Let r be 1/(-8) + 242/16. Is 12790/r*3/2 a composite number?
False
Suppose -36*x = -44*x + 415432. Is x prime?
True
Let n be (28/8)/(3/(-6)). Let d = n + 5. Is (2057/(-22))/(1/d) composite?
True
Suppose 0 = 6*r - 4237 - 1817. Is r composite?
False
Let b(g) = -6*g**3 + g + 1. Suppose 2*x + 2 = -0*x. Let p be b(x). Is 68 + -1 - p/3 a composite number?
True
Let q(k) = -10*k - 14. Let r be (0 + -1)/(1/13). Let x be q(r). Is -1*5/((-10)/x) prime?
False
Suppose 7*g = 13*g - 12. Suppose p + 2*n - 491 = -g*n, -n = -3*p + 1473. Is p composite?
False
Suppose 5*h = -3*r + 17651 + 16730, 3*r - 5*h = 34421. Is r composite?
False
Is 2*14082*-1*(-5)/20 a prime number?
False
Suppose -3*c - 11 = 4*r, 0 = 2*c + 2*c - 2*r - 22. Suppose q - 22 = -q + 4*w, -c*q = w - 5. Suppose d = -q*d + 4780. Is d prime?
False
Is (4966/26)/((-1)/(-127)) prime?
False
Suppose 0 = 5*t - 3*y + 992, 2*t = -2*y + 3*y - 396. Let f = -107 - t. Is f a composite number?
False
Suppose 0 = 4*o - 5*j + 1 + 16, -5*j = o - 27. Let r be 0 + (-367)/(-1) + o. Suppose 359 = 3*n + n - 3*a, -5*a = -4*n + r. Is n a composite number?
True
Let l(c) = -287*c + 2. Let t = -42 - -61. Suppose 0 = 4*i - a - 1, -4*a - t = -i. Is l(i) a prime number?
False
Is (281730/12)/((-2 + 6)/8) a composite number?
True
Let p be ((-40)/(-60))/(7/6 - 1). Is 10/p*-73*-2 a prime number?
False
Let z = -22 - -35. Suppose 3*d - z*d = -2170. Is d a prime number?
False
Let d be 28/(-4)*(46/(-7) - -6). Suppose 2*x + 3*x = -3*q - 50463, -3 = 3*q. Is 3/d - x/48 a prime number?
True
Let t = 11 - 8. Suppose -k + t*k = -68. Let y = -9 - k. Is y a composite number?
True
Suppose -12 = 3*h + 33. Let t be (50/h)/(4/18). Is (138/(-9))/(2/t) prime?
False
Suppose -9*j - 135 + 1746 = 0. Is j prime?
True
Suppose -2*o - 4 = -3*o. Let n(h) = -h + 4. Let l be n(o). Suppose l = -3*a - 0*a + 777. Is a a composite number?
True
Let z(a) = -a**3 + 2*a**2 - 3*a + 3. Let i be z(3). Let y be (-1056)/(-10) + i/25. Suppose 2799 = 6*r + y. Is r composite?
False
Suppose -4*j - 1 = -5*j, -z + 4*j + 549 = 0. Is z prime?
False
Let y = -23 - -16. Let b(d) = -d - 2. Let q be b(y). Suppose -q*t + 630 = -z, -2*t + 0*t - 3*z + 269 = 0. Is t a composite number?
False
Let a(q) = 1504*q - 565. Is a(26) composite?
True
Let k(f) = 4*f**2 - 21*f - 13. Let j be k(6). Suppose -j*n + 1982 = u - 18978, 4*n - 16752 = -4*u. Is n composite?
True
Let u(r) = r + 1. Let d(x) = -8*x + 1. Let s(w) = -d(w) - 5*u(w). Let a be s(5). Is a/(-3) + 62 - 2 prime?
False
Let h(q) = 9*q**2 + 2. Let w be h(4). Let x = w + 185. Is x prime?
True
Let w(r) = 58*r + 107. Is w(14) a prime number?
True
Let v = -235 - -415. Let m = -474 + v. Is 3 - (0 + 4 + m) a composite number?
False
Suppose 2 - 52 = -2*z. Suppose -5*o = -z, 5*r - 2*o - o - 790 = 0. Is r a composite number?
True
Suppose 0 = -4*x + 8, -3*o + o - 4*x + 26 = 0. Suppose 7217 = o*m - 4330. Is m a composite number?
False
Suppose 0 = -5*k + 5*v + 11120 - 45010, -k + 5*v = 6790. Let a be (1/2)/((-5)/(-20)). Is a/(-4) - k/10 a composite number?
False
Is -2 - -4 - (4 + -40312)/4 prime?
True
Is (48/144)/(3/38943) composite?
False
Let v be ((-4)/6)/(2/(-33)). Suppose a + v = 152. Is a a prime number?
False
Let g be ((-4)/(-8) - 1)*0. Suppose 3*k + g*k - 198 = 0. Suppose 6*b = b + 4*o + k, -5*b - 4*o = -74. Is b a composite number?
True
Suppose -4*r + 5*m = -175117, 4*r - 8713 - 166384 = m. Is r a prime number?
False
Is (6/4)/((-125165)/(-25030) + -5) composite?
False
Suppose -7*y + 39 - 4 = 0. Suppose -1191 = y*n - 6*n. Is n a prime number?
False
Suppose -16 = 8*q - 40. Suppose 8*g = -q*g + 3223. Is g composite?
False
Let m = -2 + 6. Suppose -m*d = -5*d - 12. Is (-4)/d + 752/3 composite?
False
Let h = 535 - -3466. Is h a composite number?
False
Suppose 3866 = 4*g - 2026. Is g a prime number?
False
Let i = -343 - -197. Is (-365)/i*(2526/10 + 1) composite?
True
Let t = 691 + -361. Let w = t - 181. Suppose -2*z + z + w = 0. Is z a prime number?
True
Let r(t) = -t**2 - 9*t - 17. Let z be r(-5). Suppose -5*w - 556 = -z*l, -3*l + 536 = -2*w + w. Is l a composite number?
True
Suppose 74*l - 78*l = -59876. Is l prime?
True
Let b(c) = -2*c**2 + 3*c**2 - c + 2*c + 4 + c**3. Let n be b(0). Suppose 5*t - n*a - 222 = 0, -4*t + 174 = -3*a - 2*a. Is t composite?
True
Suppose 0*m = 2*m - 8. Suppose -m*x + n + 3190 = 0, -4 = n + n. Is x a prime number?
True
Is 4569 + (-14)/(-4)*-2 a prime number?
False
Suppose -403*v = -397*v - 86718. Is v prime?
False
Let m(x) = x**2 + x - 1. Let s be m(0). Let a(j) = 1 - 5*j - 3 - 88*j. Is a(s) prime?
False
Let g = 64033 + -34736. Is g prime?
True
Let l(m) = -m**2 + 21*m - 1. Let o be l(21). Is -1 + 1406 - (o - 3) a prime number?
True
Suppose -f = -2*f + 51. Suppose 4*y + 143 = 3*z, -z + f - 5 = -3*y. Let a = 120 + z. Is a a prime number?
False
Suppose -12*t + 77076 = 2*s - 7*t, s - 38533 = -5*t. Is s prime?
True
Suppose 4*l - 48600 = -2*g, -4*g = 6 + 2. Is l a composite number?
True
Let u(y) = y**3 - 26*y**2 + 17*y + 126. Is u(32) composite?
True
Is ((-476)/(-136))/(0 - 1/(-22)) prime?
False
Suppose 3*c - 8 = 4. Let a be c/(-8) - (-9)/2. Suppose a*b - f - 4*f - 1326 = 0, -4*f = 2*b - 650. Is b a comp