+ -5 - 3. Let m(x) = -x**3 + 12*x**2 - 4*x - 14. Let t(u) = 6*u**2 - 2*u - 7. Let v(z) = 2*m(z) - 5*t(z). Is v(d) a prime number?
True
Let v(y) = -y**2 + 6*y - 43. Let b be v(6). Let m = 162 + b. Is m a prime number?
False
Suppose -i + 2*j - 4 = 0, -4*j + 7*j - 39 = -4*i. Suppose h - 665 = 4*u, -h + i*u + 662 = u. Is h prime?
True
Suppose -3*d = -3*s + 102, 2*s + 4*d - 57 = -7. Let k = s - -4. Is k composite?
True
Suppose -22899 = -20*v + 3*v. Is v prime?
False
Let j(o) = 30*o**2 + 27*o - 14. Is j(13) a composite number?
False
Suppose 2*y - 4*s = -2*y + 4, 2*y + 3*s - 2 = 0. Is ((-11696)/4)/(-4)*y composite?
True
Suppose -t - r + 1965 = 4*t, 1593 = 4*t + 5*r. Suppose -4*o + 34 = -14. Is (-4)/o - t/(-6) prime?
False
Let c(x) = 3*x**2 + 6*x + 3. Let y be c(-5). Let n be (-9)/4*y/(-4). Suppose -n = 2*z - 437. Is z a composite number?
True
Suppose 12*i = 14165 + 40903. Is i a prime number?
False
Suppose 0 = -2*u + k - 6*k + 2774, -2*u = k - 2790. Is u a composite number?
True
Suppose 3*l = b + 2*b + 9, 2*l - 4 = 0. Let f be 7 + (b - 7)/2. Is (f + 160)/((-2)/(-2)) prime?
True
Let p(s) = 4*s - 5. Let l be p(5). Let h = l + -11. Suppose 2*n = -10, o - 2429 = -2*o + h*n. Is o composite?
True
Suppose -1322 = -4*j + 2306. Is j prime?
True
Suppose -2*h + 5*n + 2160 = 0, 0 = -5*h - n + 4926 + 528. Suppose -3*j + h = -5*f - 394, 3*f = 2*j - 991. Is j prime?
True
Let q(s) = -s**2 - 7*s - 10. Let x be q(-5). Let j(u) = u + u - 2 + 5*u**2 + 0 + x. Is j(-3) a composite number?
False
Let d(f) = -f**2 + 9*f - 8. Let n be d(10). Let x = n + 28. Let y(p) = -p**3 + 15*p**2 - 2*p - 1. Is y(x) a composite number?
False
Let w = 26440 + 3087. Is w prime?
True
Suppose -13*u + 205 = -8*u. Suppose 2 = a - 5*h - 3, 3*a - 3 = 3*h. Is (a - -4) + u*3 a prime number?
True
Let q = 77 - 77. Let k(y) = 8*y + 469. Is k(q) a composite number?
True
Suppose -4*m = 5*q + 19662, 5*m - 5*q + 27883 = 3283. Let t = 8825 + m. Is t prime?
True
Let p(n) be the first derivative of -n**2/2 + 2*n - 4. Let j be p(3). Is ((-3)/6)/(j/62) prime?
True
Suppose 0 = -5*a + 5*h - 5, -3*a + 2*h + 3*h = -7. Let k(r) = 13*r**2 + 13*r + 17. Is k(a) composite?
True
Let h be 3 - (-2 + (-5 - 2)). Suppose -u - h = -4*u. Suppose 2*s + 12 = -3*m + 137, -u*m = -5*s + 255. Is s a prime number?
False
Suppose 10 = 5*s, 4*s - 21 - 12 = -5*h. Let k(y) = -h*y - 3 + 5 - 4*y. Is k(-9) a composite number?
False
Let k(j) = -187*j - 2. Let c(l) = -1. Let p(n) = -4*c(n) + k(n). Is p(-3) a composite number?
False
Let f = -29 - -168. Is f a prime number?
True
Suppose 4*j - 31375 = 3*j + k, -5*k - 31359 = -j. Is j prime?
True
Let a(g) = -33*g**3 - 4*g**2 - 4*g - 3. Let l be a(-2). Suppose -u + 2*u = -108. Let c = u + l. Is c a composite number?
True
Let q(i) = 156*i + 37. Let h(o) = 156*o + 38. Let k(n) = -6*h(n) + 5*q(n). Is k(-9) a prime number?
True
Let s(y) = -10*y + 8*y**2 - y**3 - 5 + 7*y + 2*y**3. Suppose -32 = -0*n + 4*n. Is s(n) a composite number?
False
Let w(r) = 2*r - 9. Let s be w(6). Suppose v - 2419 = -s*c, 5*c = v - 2616 + 6661. Is (-2)/3 - c/(-6) composite?
True
Let x = -4421 - 136. Let o = x - -6686. Is o prime?
True
Let w(b) = 277*b**2 - 27*b - 83. Is w(-3) prime?
False
Let t be (2/4)/((-3)/(-12)). Let s(a) = -a**2 + 5*a - 2. Let g be s(t). Suppose 0 = g*c - 496 + 116. Is c composite?
True
Let w be 4 + 78/(-24) - (-29)/4. Suppose w = -2*l - 0, o = 5*l + 465. Is o composite?
True
Suppose 3*k = 2*y - 1664 - 1379, 2*y - 3038 = 4*k. Let o = 1447 + -549. Let i = y - o. Is i a composite number?
False
Let p(l) = 7269*l**2 - 4*l + 1. Is p(-1) a prime number?
False
Let m = 723 - -908. Is m composite?
True
Suppose -3 = -4*t + 9. Suppose -103 = t*l - 313. Let c = l + -17. Is c a composite number?
False
Let x(r) = -r**2 + 5*r + 2. Let h be x(6). Let a be (-13)/6 - h/24. Let f(m) = 56*m**2 + 4*m + 3. Is f(a) prime?
False
Let v(o) = 61*o**2 - 13*o + 5. Is v(4) a prime number?
True
Let l = 37687 - 20652. Is l a prime number?
False
Suppose -693 = 2*r + 649. Suppose -2331 = 5*z + 5*u - 241, 2*u + 1664 = -4*z. Let m = z - r. Is m a composite number?
False
Let l be (-10)/(-55) + (-6)/33. Suppose l*o = -o + 877. Is o a prime number?
True
Let m(i) be the first derivative of -i**4 - 2*i**3/3 - 9*i**2/2 - 5*i - 2. Is m(-6) a prime number?
False
Let l = 38157 - -2756. Is l prime?
False
Suppose 0 = 3*y - 10 + 1. Suppose -y*s - o + 103 = o, 2*s + 5*o = 65. Is s a prime number?
False
Let z(p) = p**3 + 3*p - 2*p - 4 + 0*p**3 + 20*p**2 + 7*p. Is z(-17) composite?
False
Let n = 0 + 5. Let d be (38 + n)/(1/4). Suppose 35 = 2*x + 2*m - 51, 4*x - 2*m - d = 0. Is x a composite number?
False
Is 96/36 - 78871/(-3) composite?
False
Suppose w - 7 - 3 = -3*y, -w = -y + 6. Suppose -3*s = 5*a + 4 + y, 0 = -a - 4. Suppose 3*o - s*m - 272 = -5*m, 0 = -3*m - 3. Is o a prime number?
False
Let q(p) = 2*p - 1. Let y be q(-1). Let t be (y + 3)/3 + -2. Is -2*(247/t - 3) composite?
True
Suppose 5*y - 12*y = -153797. Is y prime?
False
Suppose -2*k = -12 + 6. Suppose 8*w + j + 35 = k*w, 5*w + 4*j = -35. Is ((-79)/2)/(w/14) a composite number?
False
Let a be 3/(6/(-2)) + 1. Suppose -6*c + c + 335 = a. Is c composite?
False
Suppose -10*x = -1923 - 1987. Is x a composite number?
True
Suppose 5319 = 5*d - 3491. Suppose d + 317 = 5*u + 3*o, -4*o = 8. Is u prime?
False
Let l(u) = 17*u**3 + 18*u**2 + 17*u + 9. Is l(7) prime?
True
Suppose 194154 = 2*g - 276028. Is g a prime number?
True
Is 8149*((-99)/(-9))/11 a composite number?
True
Let q(x) = 12*x**2 - 10*x + 5. Let g = -18 + 42. Suppose 3*u - g = 3*l, l + 1 = -3. Is q(u) composite?
False
Suppose -o - 100 = -575. Let x = o - -294. Is x composite?
False
Let g(x) = x**3 - x**2 + x + 5. Let m be g(0). Suppose -y + 3*s = -155, m*y + 2*s - 699 = -2*s. Is y a prime number?
False
Let p = -55 - -60. Suppose -2*z - i = 2*z - 23424, -i = p*z - 29281. Is z prime?
True
Is (-2 + (-6)/(-2))*30739/59 composite?
False
Let a = -230 + 336. Let c(t) = 0*t - 62 - 3*t + 97 + a. Is c(0) prime?
False
Let k be (1 - -5) + 4 + -7. Suppose 5*u + 85 = 2*p, k*u - 91 = -3*p + 5. Is p a composite number?
True
Suppose -4*h - 5*u = -130, -u - 3*u + 97 = 3*h. Suppose -33*m = -h*m + 178. Is m composite?
False
Let z(f) = f**2 + 7*f - 6. Suppose 0 = 5*x + 2*r + 45, 5*x = 2*r - r - 30. Let b be z(x). Let s(c) = -26*c - 7. Is s(b) a prime number?
True
Suppose -3*b = -0*b + 216. Let k = 259 - b. Is k a composite number?
False
Let s be 2/(-3) + 24/9. Suppose -2*q = z - 3*z + 38, -s*z + 26 = -5*q. Is z prime?
True
Suppose -5*j = 4*u + 180, 4*j - 2*u = 3*u - 103. Let w = -19 + 9. Let d = w - j. Is d a prime number?
False
Let v(s) be the third derivative of -s**6/120 - s**5/5 + 13*s**4/24 + 5*s**3/6 - 7*s**2. Let b be v(-10). Let u = 656 + b. Is u a composite number?
False
Suppose -2*z + 15 = z. Suppose 149 - 20 = v. Suppose -x - 4*b = -v, b - 435 = -3*x + z*b. Is x a composite number?
True
Let g(x) = 22*x - 60*x - 48 - 39 + 98. Is g(-9) prime?
True
Suppose 17*h + 3799 = 21462. Is h composite?
False
Let q(s) = 9*s**2 - 2*s - 4. Suppose -p = -0*p - 28. Suppose -5*a + 20 = 3*g - 2*g, 5*g = -a + p. Is q(g) a prime number?
True
Let p(f) = -11*f**3 + 6*f - 2. Is p(-5) a composite number?
True
Suppose -17*p + 2551 + 1240 = 0. Is p a prime number?
True
Suppose 29*d - 2211491 = -18*d. Is d prime?
False
Let q be 20/(-15)*6 - -3. Is (-5 - -51)*q/(-2) a composite number?
True
Let m = 13308 - 973. Is m composite?
True
Let i(r) = 135*r**2 - 23*r + 115. Is i(6) a prime number?
False
Let r = 9722 + -6783. Is r prime?
True
Let x(v) = -9*v**3 + v**2 + 2*v + 1. Let q be x(-1). Is ((-2054)/3)/(2*(-3)/q) composite?
True
Let y = -4 - -2. Suppose -27 = t - 36. Let p = y + t. Is p a prime number?
True
Suppose 0 = 70*l - 69*l - 4*c - 883, 4*l - 2*c - 3546 = 0. Is l a prime number?
True
Suppose a = -a + 8. Let u = a - 1. Suppose y = -u*z + 42, -2*z + z = y - 48. Is y composite?
True
Suppose 2*y + 4 = 12. Suppose -697 - 557 = -y*q - 2*a, -3*q + 908 = -5*a. Is q prime?
True
Suppose 5*b - 28429 - 1561 = -5*n, b = -2*n + 5995. Is b composite?
True
Is (-98868)/(-220) + (-2)/(-5)*-1 a prime number?
True
Suppose g - 31*g + 1570890 = 0. Is g composite?
False
Suppose 6*a - 1038 + 24 = 0. Let j(b) = -99*b + 3. Let v be j(-3). Let k = v - a. Is k composite?
False
Suppose 0*q + 4*q = 4*i + 