composite number?
True
Let h = 85 + -96. Let f = h + 684. Is f composite?
False
Let m(v) = -4685*v + 72. Is m(-1) composite?
True
Suppose 21 = -3*w - 33. Let p = -126 + 41. Let z = w - p. Is z a composite number?
False
Is (-104)/78 - 8167/(-3) prime?
False
Let m = -25705 + 53688. Is m composite?
False
Let d be 1*(-4)/(-8)*-8. Let b = d + 6. Suppose 3*i + 87 = b*y, -128 = -3*y + 5*i - 0*i. Is y a composite number?
True
Let a = -1 - -2. Let i = -3 - a. Is ((-4)/i)/((-1)/(-97)) a prime number?
True
Let s(k) = 1 + 2*k**2 + 5*k - 4*k**2 - 12 + 3*k**2. Is s(6) prime?
False
Suppose d - 24 = -5*d. Suppose -3*w + 6*w - 6 = 3*g, 0 = d*w + 2*g - 8. Suppose h = w*h - 391. Is h composite?
True
Suppose 0 = 34*g - 376382 - 476916. Is g prime?
True
Let h(x) = -x**3 - 2*x**2 + 2*x + 1073. Is h(0) prime?
False
Let z be 60/18 - (-4)/6. Suppose -z*g - g + 635 = 0. Is g a composite number?
False
Let q = 2 - 4. Let o(s) = -119*s + 1. Is o(q) a prime number?
True
Let m(x) = -x**3 - 20*x**2 - 27*x + 14. Let h be m(-24). Let y = h - 1555. Is y a composite number?
True
Let h = 13 + -9. Suppose h*z + z = -5*p, 10 = p - z. Suppose 0 = p*c - 494 - 681. Is c prime?
False
Let c = 357 - 98. Is c composite?
True
Let z(p) = -p**2 + 9*p + 27. Let a be z(11). Suppose -2*n + 2*o + 3*o = -51, 0 = a*n - o - 162. Is n composite?
True
Suppose 0 = 4*h - 7350 + 1882. Is h prime?
True
Suppose i = -253 + 1370. Is i prime?
True
Suppose o + 3*o = -2*l - 14, -3*o - 3*l - 9 = 0. Is 329 - -4*o/(-8) composite?
False
Let u(i) = -i**3 - 6*i**2 - 8*i + 8. Is u(-11) composite?
False
Let s = -85 - -330. Suppose -3*g - 4*z = -0*z - 683, -3*z = -g + s. Is g a prime number?
True
Suppose 2*r = -5 - 11. Let f be (r - (0 + -4)) + 3. Is (f/2)/((-3)/654) a composite number?
False
Suppose 313163 = 76*y - 443873. Is y composite?
True
Suppose -49 + 134 = 5*x. Let f = x - -114. Is f composite?
False
Suppose 3502 = -2*f + 2*y, -3*f - 2*y - 2*y = 5232. Is 6/4*f/(-6) a composite number?
True
Let a(d) = -2*d - 29. Let i be a(-11). Let f(k) = 33*k**2 - 17*k + 3. Is f(i) composite?
True
Suppose -776 = -23*k + 19*k. Let j = -31 + k. Is j prime?
True
Suppose -v + 5*v - 2*j + 104 = 0, 5*j = -4*v - 118. Let s = v - -241. Is s composite?
True
Suppose 26922 = 40*g + 2*g. Is g a composite number?
False
Suppose -8*o - 19*o = -16983. Is o prime?
False
Suppose -530 - 394 = 3*k. Let b = k - -449. Is b prime?
False
Let c = -1061 - -65. Let f = -1695 - c. Let g = -406 - f. Is g a composite number?
False
Let j be 0 + 1 + (-9 - -433). Let d = -714 + j. Let f = d - -540. Is f prime?
True
Let w = 65 + -70. Let z(i) = -103*i**3 - 4*i**2 + 2*i - 2. Is z(w) a composite number?
False
Suppose -7177 = -x - h, 0*x + 5*x + 2*h = 35885. Is x a composite number?
False
Let h be -1 + 1 + -1 + 1. Suppose -5*m = -h*m - 145. Let z = m + 58. Is z a composite number?
True
Let c = -8878 + 16187. Is c a prime number?
True
Suppose a + 205 = 2*a. Suppose 3*x + 14 = 131. Suppose -49 = 4*d + 5*g - a, 0 = -d - 2*g + x. Is d a prime number?
False
Let s be (11/(11/42) + 1)*50. Suppose -12*d = -2*d - s. Is d a prime number?
False
Let r be (5/(-2))/((-10)/(-40)). Let u = r + 13. Suppose -u*g = 2*n - 2*g - 827, -3*n = -4*g - 1235. Is n prime?
False
Let z = -82645 + 137874. Is z prime?
True
Suppose -3*u + u + 2 = 0. Let c be 1/u - (1 - 2). Suppose -c*a + 1059 = a. Is a a composite number?
False
Let h be ((-12)/10)/(3/(-10)). Suppose -3*z + 7*z + p = -h, -4*p = 4*z + 16. Suppose -2*x - x + 267 = z. Is x a prime number?
True
Let r(y) = y**2 - y - 14. Let b be r(6). Suppose 2*v + g = -17 + 49, b = v - g. Is (v/20)/((-2)/(-115)) a composite number?
True
Let t(r) = 4*r**2 + 2*r - 2. Let d be t(1). Let p be (6/d)/(6/36). Suppose -955 = 4*f - p*f. Is f a composite number?
False
Let u(p) = 2*p - 1. Let b be u(3). Suppose 1908 = -b*y + 7493. Is y a composite number?
False
Let n = 53000 + -35119. Is n a composite number?
False
Suppose -182*v + 12985 = -147*v. Let a be (-730)/(-3) - 4/(-6). Let q = v - a. Is q a prime number?
True
Suppose -4*k + 143 = -k + 5*d, -53 = -k - 3*d. Suppose 40*z - k*z + 1561 = 0. Is z a prime number?
False
Let z = -2 + 1. Let n be 60 + (z + 1 - 1). Suppose o + 0*o = n. Is o a composite number?
False
Suppose 2*t = 3*t + 3*v - 5255, -4*v - 5269 = -t. Is t a composite number?
False
Suppose 0 = 8*k - 3708 - 1588. Is k prime?
False
Let g(h) = -242*h - 7. Let n(o) = -4*o + 13. Let m be n(4). Is g(m) a composite number?
False
Suppose 0 = -5*h + 5*w + 45, -2*h + 4*w = w - 22. Suppose 7 = h*l - 3. Is -3*(1 - l) - -328 composite?
False
Is (-37 - -2)/7 + 8074 a prime number?
True
Let m(l) = -2*l**2 + 23*l + 17. Let c be m(12). Suppose c*y + 4*y - 5517 = 0. Is y prime?
True
Suppose -9 = -3*a, 2*w = -0*w - 3*a + 9. Let p be (w - -2)*309/(-2). Is (-2)/8 + p/(-4) composite?
True
Let n = 3203 - 1172. Let c = -1216 + n. Is c a prime number?
False
Let j be (5 - 6)/(2/(-14)). Let f(p) = 4*p - 20. Let y be f(j). Is -6*y/(-12) + 153 a prime number?
True
Let w = -2894 + 4217. Let r = -506 + w. Is r prime?
False
Let h = -1020 - -1660. Suppose 3*u = q + 559 + h, 2*u = q + 800. Suppose l - u = -2*l. Is l prime?
False
Suppose 2*g + 5*z - 123730 = 0, -10*g + 5*z = -13*g + 185595. Is g a prime number?
False
Let c = -23661 + 36266. Suppose 0 = 13*d - 18*d + c. Is d a prime number?
True
Suppose 5*a = -3*q + 3722, -3*a = -q + 319 + 931. Is 1/((4/q)/1) a prime number?
True
Let r(f) be the second derivative of -13*f**5/10 - f**4/4 - 2*f**3/3 - 3*f**2/2 - 7*f. Is r(-2) a prime number?
False
Suppose -57*c - 69 = -54*c. Let w = c - -88. Is w a composite number?
True
Is -6548*((-3)/(-10))/(78/(-65)) a composite number?
False
Suppose 2*v - v = -177. Let m be 0 + 3/(-9) - 82/6. Let c = m - v. Is c prime?
True
Suppose -2*q - 4*r + 30 = 0, -q + 0*r - 15 = -4*r. Suppose -3*d - 2*d - 4*p + 5827 = 0, -3*d + q*p = -3474. Is d composite?
False
Suppose -8*y + 7*y = -3. Suppose y*r - 166 = 260. Suppose -2*o + 472 = -r. Is o composite?
False
Suppose 0 = -9*z + 4*z. Suppose 22*k - 18*k - 44 = z. Is k a prime number?
True
Let h(t) = -724*t**3 - 5*t**2 - 9*t - 2. Let k be h(-2). Let b = -3639 + k. Is b a composite number?
True
Let n = -5996 + 10041. Is n a prime number?
False
Let j(q) be the third derivative of 0 - 1/12*q**4 - 5/6*q**3 + 0*q + 1/12*q**5 + 1/120*q**6 + q**2. Is j(-4) a composite number?
False
Let c be 9 - 6 - (0 + 1). Suppose -c*j - 2*j = -1172. Is j prime?
True
Let y = 3433 + -1112. Is y prime?
False
Let u = -40 + 63. Let a(f) = f**3 + 7*f**2 + 6*f. Let v be a(-6). Suppose -z + 4*p + u = v, -4*z + p - 2*p = -143. Is z a prime number?
False
Suppose -10*u = -42*u + 538976. Is u a prime number?
True
Is (-19)/(-38)*(8097 - (2 + -3)) prime?
True
Let r(n) = -10*n**2 + 17*n + 28. Let g(q) = -10*q**2 + 18*q + 27. Let f(k) = -7*g(k) + 6*r(k). Is f(-10) a prime number?
False
Let l = 4453 - 2272. Is l a composite number?
True
Let o(s) = 9*s**2 + 12*s + 16. Is o(-17) a composite number?
True
Suppose -2*a - 18689 = -5*i - 3*a, 2*i - 7454 = 5*a. Is i prime?
False
Is 440 + 5 + -5 + 5 composite?
True
Let z = -3662 - -12759. Is z a prime number?
False
Suppose -3*x + 35 = 3*t + 329, 2*t + 5*x = -187. Let r = 206 - t. Is r composite?
False
Let i = 5 - 1. Let m(n) = -6*n**2 + 37*n - 1. Let c be m(-8). Is i - ((-4 - -4) + c) a composite number?
True
Let a(l) be the first derivative of l**3/3 - 7*l**2 + 20*l + 18. Is a(-13) composite?
True
Let k = 2323 - -258. Is k composite?
True
Let i(s) be the second derivative of -7*s**3/6 - 63*s**2/2 - s. Is i(-20) a prime number?
False
Let u(x) = -737*x - 50. Is u(-11) prime?
False
Let u be (4/14 + 846/28)*2. Suppose 3*x = 322 - u. Is x prime?
False
Suppose -13*l + 15*l - 2 = 0. Let b(d) = 210*d**3 + d - 2. Is b(l) a composite number?
True
Let l(t) = -t - 3. Let n be l(-8). Is (1658/3)/(n*4/30) a prime number?
True
Let r = 7104 - -7159. Is r a composite number?
True
Let y(t) = -1888*t**3 - t**2 - t - 1. Let j be y(-1). Suppose 5 = -5*x - 15, 5*s + 2*x = j. Suppose 4*r - 813 = s. Is r a prime number?
False
Suppose -2*j = 2, 5*w - j + 0*j - 21 = 0. Suppose 3*y = -3*o - 0*o + 27, 4*o - 4*y + w = 0. Let p(b) = 3*b**2 - b + 9. Is p(o) a composite number?
False
Suppose -60*w + 543580 = -40*w. Is w a prime number?
True
Let q(n) = 6*n**3 - 3*n - 4. Let r be q(4). S