composite?
True
Let d(h) = 4 - 28*h - 32*h + 19*h. Let z be d(-9). Let u = -210 + z. Is u a composite number?
False
Let k = -15 + 22. Suppose -k*m = -2*m. Suppose -3*o + 0*o + 993 = m. Is o a prime number?
True
Suppose -i = 370 - 8562. Suppose i = 6*v - 10738. Is v prime?
False
Let z(p) = 31*p**2 - 14*p + 170. Is z(13) a prime number?
True
Let x(l) be the second derivative of 11/4*l**5 - 4*l + 1/6*l**4 - 1/2*l**2 - 1/6*l**3 + 0. Is x(2) a prime number?
False
Let k(l) = 104*l**2 - 5*l + 7. Suppose 0 = x, -2*v - 2*x = -0*v - 4. Is k(v) a composite number?
True
Suppose 0 = -s + 47 - 42. Suppose 5*q = g - 5*g + 11809, 0 = s*q - 4*g - 11801. Is q composite?
True
Let d = 20 - 20. Let i(g) = 2*g + 563. Is i(d) prime?
True
Let l(w) = 5 + 42*w + 1 + 58*w + 1. Is l(4) a composite number?
True
Let b be (-7)/((-70)/12)*390. Suppose 2*v = -2*v + b. Suppose -5*p + 382 = v. Is p a prime number?
True
Let k be 286/(-6) - (-2)/(-6). Suppose -2*z - 198 = -2*f - 0, 3*z = 5*f - 293. Let j = k - z. Is j a prime number?
True
Let i = -327 + 2372. Is i prime?
False
Suppose 4*o = 8*o. Suppose 5*m - 262 - 98 = o. Is 5634/m - 3/(-4) a prime number?
True
Let x(q) = 1097*q + 166. Is x(3) composite?
False
Suppose 0 = 4*y + 5*r - 17736, 0 = 4*y - 2*y - 3*r - 8846. Is y a prime number?
False
Is (-807604)/(-7) + (21 - 32) a composite number?
False
Let y be 4/12 + 10/6. Suppose -4*m - 29 = -5*k, y*k + 4 = -m + 13. Suppose z = -3*w + 34, k*w - 37 = w - 3*z. Is w composite?
False
Suppose -4*c = 10 - 6. Suppose -34 = 9*h + 722. Is (-12504)/h - c/7 prime?
True
Suppose 4*m - 4*y + 376 = 0, -5*y = -m - y - 94. Let s = m + 345. Is s composite?
False
Suppose s + 2*s - 9 = 0. Let n(c) = 754*c - 8. Let u be n(1). Suppose -s*o = -o - u. Is o a composite number?
False
Let z = -1854 - -7027. Is z composite?
True
Let n be ((-7)/(35/6))/((-18)/43800). Let t = n + 909. Is t prime?
False
Suppose -33 = -3*v - 6. Suppose 5*c - 1 = v. Is (-179)/(-3) + c/(-3) prime?
True
Suppose 2*f = 3*i + 65507, -6*f - i - 3*i = -196482. Is f composite?
False
Let m be (30/(-25))/(6/(-15)). Suppose 0 = 4*d, -m = -3*z - 5*d + 21. Suppose -467 = -5*i + z. Is i prime?
False
Suppose -5*h - 41588 = -z, 0*h + 41573 = z - 2*h. Suppose -6*n + z = 10777. Is n a composite number?
True
Is (-12245)/(-20)*(5 + -1) a composite number?
True
Let x(y) = 0*y + 13 + 2*y - 5*y. Suppose -3*r + 2*z = 30, 5*r + 0*z - 5*z + 55 = 0. Is x(r) prime?
True
Let b = 4685 - 3132. Suppose -5*q + b = 4*a, -5*q - 789 = -2*a - 10*q. Suppose -104 + a = 2*t. Is t a composite number?
False
Let f(g) = 120*g**2 + 8*g - 9. Is f(1) composite?
True
Let z(n) = -8*n**2 - 133*n - 22. Is z(-16) a composite number?
True
Let n = -3 + 3. Suppose -5*w - 2*u = 191 - 3375, 2*w - u - 1279 = 0. Suppose q = n, -2*j = -q + 3*q - w. Is j composite?
True
Suppose 7851 = 5*d - 3*y - 5888, 4*d + 2*y - 11000 = 0. Suppose -4*b - 558 = -g + d, 4 = -2*b. Is g prime?
True
Let o = 1762 + -782. Let s = -628 + o. Suppose -4*j + 6*f + s = 3*f, 2*j + 2*f - 162 = 0. Is j composite?
True
Is (-7 - (-1 + -9)) + 5734 prime?
True
Let l be (-8)/10*(-120)/12. Is 3*l/12 + 77 a composite number?
False
Let g(y) = 3*y - 45. Let r be g(15). Suppose 0 = -2*b - 2*c + 42, c = 2*b + 2*c - 42. Suppose b = 3*s - r*s. Is s a composite number?
False
Let h be (-420)/28 - -1*(-1 - -1). Suppose -4 = z - 0*z. Is z*(h/4 - 4) a prime number?
True
Let c(j) = -157*j**3 + 6*j**2 + j - 7. Is c(-4) prime?
True
Let s(h) = -55*h. Let x(b) = 5*b. Let k(c) = 6*s(c) + 65*x(c). Let t be k(-1). Suppose 5*n = -4*d + 279, d - t*d = n - 59. Is n composite?
True
Let h(p) = -p**2 - 9*p + 2. Let k(d) = d**3 + 7*d**2 + d + 1. Let z be k(-7). Let s be h(z). Suppose -s = -5*o - 0, -2*f + 66 = -2*o. Is f a composite number?
False
Let d be (1 - -13735) + (2 - 3). Suppose -6*n + d = -n. Suppose n = 3*j - 175. Is j composite?
True
Let b(u) = 19*u**3 + 5*u**2 + 2*u + 2. Let a be (2/6)/((-7)/(-63)). Let n be b(a). Suppose 4*q + 4 = 0, 2*q + n + 472 = 4*x. Is x a prime number?
False
Let s = 32 + -28. Let a be 2/3 - (-870)/18. Suppose d - s = a. Is d a composite number?
False
Let b(t) = -12*t**2 - 9*t - 3. Let u be b(4). Let d = 62 - u. Is d prime?
True
Suppose 0 = -3*p - 2*s - 19, 7 = -3*p + 2*s - 4. Let q(i) = -5*i**2 - 8. Let g(f) = 15*f**2 - f + 23. Let o(k) = 6*g(k) + 17*q(k). Is o(p) composite?
False
Let b be (3 + -4)/((-2)/(-4)). Let v be (-22)/((-332)/164 - b). Suppose 2*m + v = 4*f - 0*m, -1130 = -5*f + 3*m. Is f a prime number?
True
Suppose 62*w = 4*a + 65*w - 11624, 5*w = -5*a + 14535. Is a composite?
False
Suppose -u - 4 = 0, 0 = -9*v + 8*v - 4*u + 717. Is v a composite number?
False
Let j = -3695 - -6540. Is j a composite number?
True
Suppose q - 2*q + 5*o + 9 = 0, 0 = -3*q - 4*o - 11. Is q/4 + (-44)/16 - -296 a composite number?
False
Let d(r) = 8*r**2 - 2*r + 1. Let v be d(1). Let s = -4 + v. Suppose -16 = -4*w, -5*m + w + 369 = -s*w. Is m prime?
False
Let o be (-1)/(1 - 2187/2186). Let a = o + -1233. Is a composite?
False
Is (-40)/(-28) + -2 - 116614/(-14) a composite number?
False
Let g = -112 - -863. Is g prime?
True
Is (4/4)/(2*2/19540) prime?
False
Suppose -31 = 2*b - 229. Suppose 3*m + 2*k + 10 = 8*m, 0 = -4*m - 2*k + 26. Suppose m*t = b + 1073. Is t prime?
True
Suppose 0 = -4*v - 8, 8193 - 2546 = 5*x + 4*v. Suppose -4*i + 7*i - x = 0. Is i a prime number?
False
Let h = -53 - -54. Suppose -9 - h = -2*f, -m - 2*f = -623. Is m prime?
True
Let o = 1263 - -435. Let w = o + 13. Is w a prime number?
False
Suppose 0 = 5*l - j - 6725, -3*l + 4035 = -50*j + 51*j. Is l composite?
True
Let c(y) = -406*y + 6. Let j be c(-3). Let b = -868 + j. Suppose 3*n - 307 - b = 0. Is n a prime number?
False
Let o(r) = 7*r - 1. Let z be o(4). Let h = z - 26. Is h/(-3) + 15092/42 prime?
True
Suppose 4*j - 26736 = -5*c, -14*c = -5*j - 15*c + 33399. Is j composite?
False
Let p = 127 + -248. Is (p/(-11))/((1 + -3)/(-662)) a composite number?
True
Suppose 0*d + 2*d = 0, -s + 2*d + 1157 = 0. Is s composite?
True
Is (522500/14)/2 + 22/77 a prime number?
True
Let b = 3632 - -25175. Is b a prime number?
True
Suppose 51 = 5*w - 2*w + o, -3*o = 4*w - 63. Suppose -w*t + 5*t = -4121. Is t composite?
False
Is ((-806572)/(-39))/((-8)/(-6)) a prime number?
True
Let q = -31 - -58. Let v = q + -51. Is 1723/4 + (-6)/v a prime number?
True
Let c = -145 + 794. Is c prime?
False
Let k = -28 + 22. Let r be k/1*2/(-4). Suppose j + 2*p = r*p + 83, -5*j = 4*p - 379. Is j composite?
False
Suppose 350536 = -49*i + 2957973. Is i prime?
False
Let d(r) = 80*r**2 + 8*r - 1. Is d(-4) a composite number?
True
Let m(l) = 93*l**2 - l - 1. Let x be (4 + -8)*2/4. Is m(x) a prime number?
True
Let v = 13 - 13. Suppose -4*d + o - 161 - 2050 = v, 0 = 5*d - 2*o + 2763. Let t = d - -1116. Is t a composite number?
False
Let f(n) = -5*n + 14. Let q be f(13). Let m = 136 + q. Is m a prime number?
False
Suppose r + 3*r - 5930 = -5*a, -5*r = 0. Let k = -307 + a. Suppose 5*t - 2*i - 4503 = 0, -5*i = 3*t - 2*t - k. Is t prime?
False
Is (-6 + 9)/1*(-127)/(-3) composite?
False
Let j = 255 - 136. Suppose 3*m - 2*q + 401 = 6*m, -m = -3*q - j. Is m prime?
True
Is 1624 - (3 + -1)/2 a composite number?
True
Suppose -16032 = 2*k - 4*k + 5*x, -2*k + 16040 = -3*x. Is k a prime number?
False
Suppose -2*i + 21 - 5 = 0. Suppose -i*c = -3*c. Suppose 3*n - 861 = -c*n. Is n a prime number?
False
Let s(j) = 8547*j**2 + 2*j. Is s(-1) composite?
True
Suppose -3*h + 30 = 2*h. Suppose 5*p = 5*k - 4855, -h*p = k - p - 995. Suppose 3*z + x = 4*x + 582, 5*z = 4*x + k. Is z a prime number?
True
Suppose -1 = z, 0 = -s + 4*z + 170 + 9553. Is s a composite number?
False
Let x(d) = -171*d**2 + d - 1. Let s be x(-2). Suppose -3*c - 1104 = 306. Let t = c - s. Is t prime?
False
Suppose -3*d = 5*r - 61, 4*r - 5*d + 15 = 49. Let n(m) = 3*m**3 - 7*m**2 - m**3 - m**3 - 10 + 9*m. Is n(r) a prime number?
False
Suppose 0 = -2*q - 194 + 1398. Suppose r - 219 = 3*t, -2*t + q = 3*r - 0*r. Suppose 5*i - 3*l - 2950 = 0, 5*l + 408 + r = i. Is i prime?
True
Let u(f) = -458*f - 3*f**2 - 5 + f**3 + 444*f + 18. Is u(6) a prime number?
True
Let b be (-1)/(4 - 285/70). Let p(k) = -2*k + 0*k - b*k - k**2 + 2*k**2 + 11. Is p(20) a prime number?
False
Suppose 17 = 3*b - 19. Suppose -4*c - q = -b, c - 1 - 2 = -q. Suppose m + 4*a - 401 = 0, 3*m