- 6. Let v be f(4). Let q be o(v). Suppose q*z + 5*y = z - 13, 2*y = 8. Is z prime?
False
Suppose -5*l = t - 23, 4*l - t = -5*t + 28. Suppose 0 = -l*g - 432 + 2108. Is g a composite number?
False
Suppose 0 = -4*r - j + 7449, 5*r + 6*j = j + 9330. Is r a prime number?
True
Suppose t - 1 = -4. Is 3*(-2 - 19/t) composite?
False
Suppose b + 0*b = -1. Is (66 - (2 - b)) + 2 a prime number?
False
Let f = -7 - -7. Suppose 0*a - 3*a = f. Suppose a*d - 70 = -5*d. Is d composite?
True
Let l(h) = 24*h + 7. Is l(8) a composite number?
False
Let n(w) = -3 + 4 + 249*w - 39*w. Is n(1) a prime number?
True
Let m(k) = -k + 12. Let z be m(10). Suppose -6*h + z*h + 8 = 0. Suppose 0 = -2*a - h*j + 128 + 26, 0 = -3*j - 6. Is a prime?
True
Suppose -3*a - 7656 = a. Is 6/2 - a/3 composite?
False
Let z(l) = l**2 - 11*l - 9. Is z(14) a prime number?
False
Suppose -17*n + 7970 = -7*n. Is n prime?
True
Let y = 239 + -94. Suppose 700 = 5*c + y. Is c a prime number?
False
Let t be (-2)/(-5) + (-354)/(-15). Let b be ((-24)/16)/((-2)/(-12)). Let r = t - b. Is r composite?
True
Suppose -f = -3*f + 74. Is f a prime number?
True
Is 2 + -2 - (-6492)/4 a prime number?
False
Suppose 2*b - 3 = 3. Suppose -6*d + 753 = -b*d. Is d a prime number?
True
Let d(j) = 14*j**2 - j - 1. Let u be -2*(1 - (-6)/(-3)). Is d(u) composite?
False
Suppose -3*l + 0*n + 4*n = -16, -3*l - 5*n + 7 = 0. Suppose -6*c + 3*q + 39 = -c, -l*c + 3*q + 33 = 0. Suppose d + 65 = c*d. Is d composite?
False
Let i(g) = g**3 - g**2 - 6*g - 1. Let k be i(-5). Let h = 200 + k. Is h a composite number?
False
Is (-4)/(-4)*(588 - 1) a composite number?
False
Let i(q) = -5*q - 4. Is i(-3) a prime number?
True
Suppose 3*m - 382 = -5*c, -3*m = -4*c - 28 + 339. Is c prime?
False
Let r(i) = -13*i**2 - 6*i + 4. Let p be r(-5). Let a = p - -422. Is a prime?
True
Suppose 789 = x - 4*p - 464, -1253 = -x + 3*p. Is x composite?
True
Let u(h) = 5*h + 4. Is u(3) a composite number?
False
Suppose -t + 23 = 5*w, -w + 12 - 3 = -2*t. Let h be (t + 20/6)*6. Is (66/(-8))/((-2)/h) composite?
True
Let k(j) = -16*j + 14. Is k(-5) prime?
False
Suppose 277 = q - 5*k, -5*k = 3*q + q - 1158. Is q a composite number?
True
Let q = -85 + 298. Is q a prime number?
False
Let m be -2 - 1/(-1) - -369. Suppose 368 + m = 4*w - i, 4*w + 3*i - 752 = 0. Is w prime?
False
Suppose 0 = -g + 6 + 385. Is g prime?
False
Let j be (-4)/(-14) - (-2)/(-7). Suppose 5*s - 5*a - 757 = 1093, j = -a + 3. Is s a prime number?
True
Suppose 8*r - 6*r = 94. Is r a prime number?
True
Suppose 4*l - x - 2002 = 0, -7*x - 2497 = -5*l - 3*x. Is l a composite number?
True
Suppose 3*w = -2*w + 3765. Is w composite?
True
Let l = 219 - 85. Is l composite?
True
Let c = 1025 + -334. Is c a prime number?
True
Let o(t) = -2*t + 5. Let f(j) = -j + 3. Let s(x) = 5*f(x) - 3*o(x). Let c be s(2). Is (93/12)/(c/8) prime?
True
Suppose -5 = 5*d + 5, -2*x = -d - 8. Let g(r) = -24*r + 17. Let t be g(-7). Suppose 8*f = x*f + t. Is f a composite number?
False
Let y = 12 - 17. Let p(j) = -16*j + 3. Is p(y) composite?
False
Let v(m) = -m**3 - 3*m**2 + 5*m + 9. Let y be v(-4). Suppose 2*i + 1211 + 142 = y*t, -i - 273 = -t. Is t prime?
True
Suppose -t = 4*w - 0 + 2, 3*w - 37 = t. Let x = 63 - t. Is x a composite number?
True
Let p(f) = -f**3 + 9*f**2 + 9*f - 11. Let v be p(8). Suppose 4*m - 297 = 2*n + v, 2*n - 108 = -m. Is m prime?
False
Let i(a) = 4*a**2 + 6*a + 3. Let r(n) = -11*n**2 - 18*n - 9. Let u(d) = -8*i(d) - 3*r(d). Let k = -1 - 5. Is u(k) a composite number?
False
Let j be (-3)/(-2)*(-6)/(-9). Let r be -4*(j*-3 - -2). Is 27/4 + 1/r prime?
True
Let v(r) = 8*r + 9. Let h be v(7). Suppose 3*t + 8 = 2*i, -2*i + 0*i + 8 = t. Suppose 3*m = i + h. Is m prime?
True
Suppose d = 2*d + 16. Let z = 33 - d. Is z prime?
False
Let s(a) = a**3 - a**2 - a. Let z be s(1). Let f(k) = k + 3. Let l be f(-3). Is (-124)/z + l - 1 prime?
False
Let g = -2 + -3. Let j(p) = 5*p**3 + 3*p**2 - 4. Let w(a) = -a**3 + a**2 - a. Let f(c) = -j(c) - 3*w(c). Is f(g) composite?
False
Is ((-85)/20)/((-1)/20) a composite number?
True
Suppose 2*v = 6*v - 812. Is v composite?
True
Suppose -3*y + 5*y - 7818 = 0. Is y composite?
True
Suppose i = 4*y, -5*i - 6*y + 22 = -4*y. Suppose 0 = i*b - 788 + 264. Is b prime?
True
Let s(i) = i**3 + 6*i**2 + 2*i + 8. Let y be s(-6). Is (-510)/y + 3/(-6) prime?
True
Suppose -7*o + 8*o + 1 = 0. Let n(j) = -59*j + 2. Let d be n(5). Is (-3 - -3)*o - d a composite number?
False
Let u(p) = -2*p - 12*p**2 + 6 - p**3 + 2*p**2 + 5. Suppose 8 = -5*y - 42. Is u(y) composite?
False
Suppose -12*r = -14*r + 7658. Is r a prime number?
False
Let n = 664 - 449. Is n composite?
True
Let h(a) = -747*a**3 - 4*a**2 + 5*a - 3. Let p(q) = q**3 + q**2 - q + 1. Let s(z) = h(z) + 4*p(z). Is s(-1) a prime number?
True
Let a(z) be the second derivative of 11*z**4/3 - z**2/2 + 8*z. Suppose 0 = 4*r + 4. Is a(r) a prime number?
True
Let c(w) = 40*w**2 + 0 + 5 - 3 - 3. Is c(-1) a composite number?
True
Suppose -2*t = -3*u - 6748, -2*t - 3*u - 659 + 7419 = 0. Is t composite?
True
Let u(n) = -n. Let t(b) = 85*b - 2. Let k(z) = t(z) + 2*u(z). Is k(3) composite?
True
Let m(k) = -k**3 - k**2 + k + 6. Let q be m(-5). Suppose q = 3*r - 184. Suppose -5*y + r = -60. Is y a prime number?
True
Let o(w) = w**3 + w + 4. Let c be o(0). Suppose 565 = g + c*g. Is g prime?
True
Let f(d) = -12*d**2 - 13*d + 1. Let n(h) = -h - 1. Let q(i) = -f(i) + n(i). Is q(6) a prime number?
False
Let j(r) = 2*r - 4. Let b(q) = -5*q + 11. Let n(f) = 4*b(f) + 11*j(f). Is n(3) composite?
True
Let c = -24 + 60. Suppose -6*a = -2*a - c. Is a composite?
True
Suppose -7*c + 7579 = 4*c. Is c prime?
False
Let m(s) be the first derivative of -66*s**2 + 7*s - 2. Let r(j) = 263*j - 13. Let x(p) = -11*m(p) - 6*r(p). Is x(-1) a prime number?
True
Let h = 3 + 0. Suppose -202 = -2*k - 0*k + 4*v, -k = -h*v - 106. Is k a composite number?
True
Let f(o) = -o**2 - 5*o - 1. Let w be f(-4). Let a = -1 + w. Is (-3 - -2)/(a/(-182)) prime?
False
Suppose -1933 = -2*g + l, 0*g + 4*l = -4*g + 3872. Is g a composite number?
False
Let g(i) = -7*i**3 + 11*i**2 + 4*i - 6. Let d(s) = 13*s**3 - 21*s**2 - 8*s + 12. Let p(j) = -6*d(j) - 11*g(j). Is p(5) composite?
True
Let j = 5 - 3. Let z be (0 - 0)/j + 5. Suppose z*t + 0 = 50. Is t prime?
False
Let k = -1489 - -4308. Is k a composite number?
False
Let d(g) = g**3 + 8*g**2 - 9*g + 2. Let m be d(-9). Suppose -m*k - 152 = -3*k. Is (2/4)/(4/k) prime?
True
Suppose -y - 4*y - 1205 = 0. Let v = y + 404. Is v a composite number?
False
Suppose 0*s - s = 3*p - 47, -94 = -2*s - 3*p. Is s a prime number?
True
Let t be 1/4 + 469/28. Is t - (-3 + 0)/(-1) a composite number?
True
Suppose -4*a = -168 - 708. Let o = -87 + a. Suppose m = -3*m + o. Is m a composite number?
True
Let l be (3/6)/((-4)/(-24)). Suppose -2*q + l = -n + 1, 0 = 4*n - 8. Suppose 0 = q*f - 0*f - 30. Is f a composite number?
True
Let s(h) = 2*h**2 - h + 9. Is s(4) a prime number?
True
Suppose 0 = 5*k - 1 - 4. Is k + 3/((-9)/(-39)) a composite number?
True
Suppose 2 = a - 1. Suppose -a*t - 572 = -4*g, -2*g + 106 + 180 = -2*t. Is g prime?
False
Suppose 25 = -3*l - 0*z + z, -5*l - 3*z = 37. Let n(c) = -c - 6. Let t be n(l). Is (53*(1 - -1))/t a prime number?
True
Suppose 3*u = u + 10. Suppose j - 20 = 5*l - 1, 35 = u*j - 5*l. Suppose 3*y = 2*c, 5*y - 24 = -j. Is c prime?
False
Suppose 158 = 3*d - d. Let c(p) = -p**2 - 16*p - 14. Let j be c(-12). Let x = d + j. Is x a prime number?
True
Let f = -286 - -426. Let u = f + 239. Is u prime?
True
Let f be (-60556)/18 + (-4)/(-18). Let s be f/(-14) - 8/28. Suppose 5*k = -s + 1255. Is k prime?
False
Suppose -2*z - 2*p + 10 = 0, -5*z + 15 = -p - 4*p. Suppose 5*w - 3*a + 199 = 752, -z*w = 4*a - 468. Is w prime?
True
Let n(b) = b**3 - 4*b**2 - 2*b + 14. Is n(8) composite?
True
Let l = -8 - -5. Let v be 45/2*(1 + l). Let f = 186 + v. Is f composite?
True
Is ((0 - -1)*37*7)/1 a prime number?
False
Suppose -35*n + 28*n + 18529 = 0. Is n a composite number?
False
Let t be (-6 - -1)*(13 + 0). Let x be (10/45)/(2/18). Is 1 + -2 - (t + x) composite?
True
Let i be (-6)/(-33) + (-18)/(-22). Let j be ((-12)/5)/i*-15. Suppose j = -3*y + 183. Is y a prime number?
False
Suppose 5*m = 1411 + 314. Is (-1 + -1)/((-6)/m) composite?
True
Suppose -i + 3*i - 76 = 0. Let o =