te number?
False
Suppose 0*z + 4*z = 20. Suppose z*v + 4*r = 165, -20 = 4*r - 0*r. Is v a composite number?
False
Suppose s + 2 = -0*s. Is -8*s/4 + 373 a prime number?
False
Suppose -16*k = -13*k - 1551. Is k prime?
False
Suppose 2*w = 16*w - 4634. Is w prime?
True
Suppose -3*p = 2 + 1. Let i be ((-279)/(-6))/(p/(-2)). Suppose -i = -3*a - 5*b, 2*b - 124 = -4*a + 5*b. Is a prime?
True
Suppose -183 = 4*o + 2*j - j, -j = o + 42. Let d = 114 - o. Is d composite?
True
Suppose 0 = -8*w + 19 + 277. Is w a prime number?
True
Let x(f) = 4 + 3 - 33*f - 7. Is x(-1) a composite number?
True
Let u(v) be the second derivative of -v**4/12 + v**3/6 + 65*v**2/2 + 4*v. Is u(0) a composite number?
True
Suppose -9*v + 487 = -5*v + q, 499 = 4*v + 5*q. Is v prime?
False
Let s(l) = -l**2 + 2*l - 1. Let n be s(1). Suppose -2*t = -5*g + 305, 3*t - 221 = -4*g - n*t. Is g a prime number?
True
Is (124/(-16))/(3 + -2)*-44 a composite number?
True
Let i(w) = -w**3 - 6*w**2 + 13*w + 13. Is i(-14) a prime number?
True
Let u(v) = v - 7. Let z be u(10). Suppose -z*j = j - 16. Suppose -2*l + j = -0*l. Is l prime?
True
Let p(n) = 64*n**3 + 3*n**2 - n - 5. Is p(2) composite?
True
Suppose -1410 = -6*y - 4*y. Is y composite?
True
Let o(k) = k + 72. Let u be ((-2)/(-6)*0)/(-2). Let g be o(u). Suppose -25 - 8 = -2*a + 3*n, -3*n + g = 3*a. Is a prime?
False
Suppose -2*i = -7*i + 5. Let v(p) = 3*p**2 - 1. Let s be v(i). Let a = 7 + s. Is a composite?
True
Let k(x) = 3*x**2 - 10*x + 9. Let q be k(6). Suppose -2*d - 6 + 0 = 0, -5*v = -5*d - 685. Let m = v - q. Is m prime?
False
Suppose 0 = -23*m + 20*m + 6951. Is m composite?
True
Let z = 8155 - 3526. Is z composite?
True
Suppose 4*y = -12 + 44. Is (-771)/(-21) - y/(-28) composite?
False
Is (-483)/(-5) + 6/15 composite?
False
Suppose 0*i = -5*i + 725. Suppose a + i = -4*u + 886, -2982 = -4*a + 2*u. Is a a prime number?
False
Let r(y) = -16*y**2 + 6*y + 8. Let i be r(6). Let v = i + 947. Is v prime?
False
Let f = -336 - -493. Is f a composite number?
False
Suppose 0*i - 8 = -2*i. Let n be (-26)/(-13) - 1*-1. Suppose -z - 167 = -n*s, -i*z - 2 = 6. Is s a composite number?
True
Let g = 1137 + 302. Is g a prime number?
True
Suppose -3*g - 27 = -0. Let k(s) = -s + 1. Let y(o) = 2*o - 11. Let u(j) = 6*k(j) + y(j). Is u(g) composite?
False
Suppose 45*m - 633 = 42*m. Is m composite?
False
Let u = 412 - 117. Is u composite?
True
Let j(n) = -n + 6. Let q be j(6). Suppose -h + 4 = 0, q*i + i - 5*h + 33 = 0. Let k = 32 + i. Is k prime?
True
Let q(n) = 11*n + 1. Suppose 3*v - 49 = -16. Let o(g) = -34*g - 3. Let u(c) = v*q(c) + 4*o(c). Is u(-1) prime?
False
Let r = 251 - -302. Is r a composite number?
True
Let j(v) = 85*v**2 - 4*v + 13. Is j(4) a composite number?
True
Let h(p) = 5*p + 1. Let r(k) = -26*k - 4. Let c(d) = 11*h(d) + 2*r(d). Let v be c(-3). Let s(y) = -37*y - 5. Is s(v) a prime number?
False
Suppose -13 = -4*q - 33, 0 = 2*m + 2*q - 816. Is m prime?
False
Let c(g) be the first derivative of -g**7/840 - g**6/360 + g**5/120 + 23*g**4/24 + g**3 - 3. Let k(v) be the third derivative of c(v). Is k(0) a prime number?
True
Suppose 5*g + 5 - 1 = 3*v, 0 = 3*g + 4*v - 15. Suppose -4 + 10 = o. Let a = g + o. Is a a prime number?
True
Let p = -64 + 33. Suppose -2*u + 60 = u. Is (-4)/u + p/(-5) a prime number?
False
Suppose 77 = s + 3*q, -5*q + 4 = -16. Is s a composite number?
True
Let l be (82/3)/(6/9). Suppose -3*d + 54 = t - 11, t = 3*d + l. Is t a prime number?
True
Let z(y) = y + 3. Let r be z(-3). Suppose 13 = k - r*k - 4*u, k - 4 = u. Let l(o) = 77*o**3 + o - 1. Is l(k) a composite number?
True
Suppose 2*z + 36 = 5*z. Suppose 0 = a + 2*a + z. Let w(p) = -21*p - 5. Is w(a) composite?
False
Let m(h) = 2*h**2 + 10*h + 5. Is m(-8) prime?
True
Suppose 3*m + 3*p - 2*p = 526, 0 = -2*p - 10. Let w = m + -80. Suppose -2*j - w = -3*j. Is j a composite number?
False
Let z be 504/(-10) - 2/(-5). Let k = z - 29. Is (0 + k)*(-2 + 1) a prime number?
True
Suppose l + 263 = d, -4*l + 3*l + 2*d = 264. Let i = l + 414. Let t = 245 - i. Is t composite?
True
Suppose 9*a + 6449 = 3*d + 4*a, 5*a - 2183 = -d. Suppose 5*x = -15, -x = 4*y + 8685 - d. Is (-6)/(-8) - y/28 a composite number?
False
Let p be 0 + -3 + -6 + 9. Suppose 65 = -p*i + 5*i. Is i a composite number?
False
Is -4 - -1553 - (4 + (3 - 4)) a prime number?
False
Let l = 7282 - 543. Is l prime?
False
Let z(g) = -g**2 + 2*g + 2. Let j be z(3). Suppose -40 = l - 2*y, -y - 43 = l - 6. Is (1*l/2)/j prime?
True
Let r be (1 - 7)*-9 + 1. Suppose 4*d = 81 + r. Is d composite?
True
Let s(d) = d**3 + 2*d**2 - d - 1. Let m be s(-2). Suppose 0 = 5*w - 5*h + 25, -h - m = w + 2*h. Let z(g) = 4*g**2 + 3*g + 3. Is z(w) prime?
False
Suppose 3*l - 2640 = -3*p, p + 4*l = -0*p + 889. Is p composite?
False
Let l = -33 - -79. Is l a composite number?
True
Let h(w) = -11*w - 9. Suppose 8 = -v + 1. Let p be h(v). Suppose -3*t + 31 = -p. Is t a prime number?
False
Let m be -1 + (2/2 - -608). Suppose 4*t + m = 4*w - 0*w, -w = 3*t - 164. Is w a prime number?
False
Let h(b) = -b**3 - 2*b**2 + 3*b. Let i be h(-4). Suppose -f - 5*l - 100 = -4*f, f = -l + i. Is f composite?
True
Let u be 443/(-7) + 8/28. Let c = u + 140. Suppose -2*k = -161 - c. Is k a prime number?
False
Let h(l) = 7*l**3 - 4*l**2 - 2*l + 3. Let s be h(3). Suppose 3*z + s = 8*z. Suppose 5*i = y - 18, -2*y + 14 = -2*i - z. Is y composite?
False
Let h(v) = 4*v**2 - 10*v - 13. Is h(-9) a composite number?
False
Suppose 3*i + 0*i - 189 = -4*p, 0 = -5*i + 4*p + 283. Suppose -u = -2*u - i. Let f = -22 - u. Is f a prime number?
True
Let h = -7 + 53. Is h a composite number?
True
Let a = 39 - -100. Is a prime?
True
Let g(o) = 8*o + 1. Let f be g(-2). Let b be (-236)/6 - 5/f. Is b*(15/9 + -2) a composite number?
False
Let j be 8 - 0 - 2 - 3. Suppose -105 = -j*f - 0*f. Is f prime?
False
Suppose -a - h = -76, 3*h - 3 = -12. Is a composite?
False
Let c = 1458 - 721. Suppose -4*k - 3*i + 1042 = 0, c = 4*k - 5*i - 289. Is k composite?
True
Suppose -3*o = 0, -1556 = -2*z + 5*o - 4*o. Is z prime?
False
Suppose -31*t + 26*t = -1595. Is t prime?
False
Let m(l) be the third derivative of -l**6/40 + l**5/60 - l**4/12 + l**3/6 - l**2. Suppose 3*s - 4*p = 11, 2*s = -7*p + 5*p - 16. Is m(s) a composite number?
False
Suppose 4*q + q - 424 = -i, -q + 1314 = 3*i. Is i prime?
True
Let x(y) = 16*y**3 - 2*y**2 + 3*y - 4. Is x(3) prime?
True
Suppose -4*k = 4*s - 3664, 5*s = 2*k + 4*s - 1841. Is k a prime number?
True
Let u = -131 + 50. Let y = -58 - u. Is y a prime number?
True
Suppose -6 = 2*o - o + 4*x, -x = -4*o - 7. Is (-2922)/(-18) + o/(-3) a composite number?
False
Suppose 3*b + 370 = 6847. Is b a composite number?
True
Let j = -9 + 5. Is (-4)/16 - 105/j prime?
False
Suppose -4*k - 176 - 40 = 0. Let l = k + 85. Is l a prime number?
True
Let x(m) = 4*m - 2. Let q be x(4). Let v(n) = -n - 3. Let c be v(-6). Suppose -q = -c*y + 2*y. Is y a composite number?
True
Let b = -101 + 220. Is b a prime number?
False
Let c = 2 + 1. Suppose 0*x - x + k = -c, x - 4*k + 6 = 0. Suppose -325 = y - x*y. Is y a prime number?
False
Let t be -4*(13 - (1 + -2)). Let i = 23 - t. Is i composite?
False
Suppose -5*q + 8 + 12 = 5*s, 12 = -s - 5*q. Is (-5)/(-20) + 86/s composite?
False
Suppose -5*p = -3*a, 0 = -p - 2*a + a. Let t be p*1/(-2)*1. Suppose r - 2*r + 13 = t. Is r a prime number?
True
Suppose 15 = -5*q + 10*q. Suppose -2*c + 3*c - 1493 = -5*p, -4*p - q*c + 1190 = 0. Is p composite?
True
Let w = -1 + 7. Let m(r) = 18*r**2 + 4 + w*r + 2 - 4*r - 3. Is m(-2) prime?
True
Let b(n) = -n**3 + 12*n**2 - 11*n + 2. Let v be b(11). Suppose 5*u - 55 = v*k, 0 = 3*u - k - 2*k - 42. Is u a composite number?
True
Suppose 5*s - 3 = -13. Let q = 55 - s. Is q a prime number?
False
Let a(m) = 2*m + 2. Suppose 3 = -5*p + 4*p. Let i be -3*4/9*p. Is a(i) composite?
True
Suppose 5*h - 23 = 2*g, -3*g + 5*h - 17 = h. Suppose -r + g = -1. Suppose -4*o + 102 = b, 0*o + 3*o - r*b = 82. Is o prime?
False
Let w = 535 - 278. Is w a prime number?
True
Let q(s) = 4*s**2 - 1 + 4*s**2 - 15*s + 21*s. Is q(-5) a composite number?
True
Suppose 0 = 4*x - x - 36. Let s = x + 25. Is s prime?
True
Let f(j) = -j**2 - 14*j - 8. Let s = 9 + -18. Is f(s) a prime number?
True
Suppose -9*p + 2766 = -9267. Is p a composite number?
True
Let i(d) = 12*d**