m(v) prime?
False
Suppose 15*z + 24 = 18*z. Suppose 2*d + 1632 = 5*a, -2*a = 2*a + z. Let c = d + 1378. Is c prime?
True
Let g(i) = i**2 + 3. Let r be g(20). Suppose -s = -4*n + 2731, -n + r + 282 = 2*s. Is n composite?
False
Let i = 1173 + 1793. Is i a prime number?
False
Let n(t) = -372*t**3 - 9*t**2 - 3*t + 7. Is n(-2) prime?
True
Suppose 0 = 4*i + 5*g - 3767, -4*i + 5149 = 2*g + 1379. Is i composite?
True
Let j(w) = -6*w + 28. Let i(h) = 12*h - 57. Let o(c) = -3*i(c) - 7*j(c). Is o(12) a composite number?
False
Let g = 22 + 1271. Is g prime?
False
Let m(d) be the second derivative of d**5/20 + d**4/2 - d**3/3 - 10*d**2 - 2*d. Let l be m(-6). Is (-14)/l*(639 + -11) prime?
False
Suppose 16 = -5*f + 1. Let g be -167 + 8 - (1 + f). Let j = -2 - g. Is j a prime number?
False
Suppose -424 = -2*z - 146. Let v = z + 190. Is v a prime number?
False
Let d = -227 - -88. Let k = 786 + d. Is k composite?
False
Let x = 222 + -158. Let b be x/(-24)*3*1. Is (1 + 3)*(-2098)/b prime?
True
Let j(z) = -z**2 + 14*z + 22. Let q be j(16). Is (q + -2)/6*769/(-2) a composite number?
False
Let k(j) = -j**3 + 3*j**2 + 5*j + 2. Let z be k(4). Let d be z/(-3)*25/(-10). Suppose d*m = -l + 89, -5*l + 0*m = -m - 549. Is l a prime number?
True
Let k be 4/(-26) - (-886)/13. Let f = k - 31. Is f a composite number?
False
Let n = 206 + -90. Suppose n = 4*s - 360. Is s prime?
False
Let y(o) = o. Let s be y(6). Suppose -10 - 8 = s*z. Let n = z - -180. Is n prime?
False
Suppose -6483 = 41*k - 56462. Is k prime?
False
Let c(u) = 10*u**2 + 7*u - 49. Is c(8) a prime number?
True
Suppose -4*j - 2*m + 57 = -3*m, j - 6 = 3*m. Suppose 0*z - 3*z + j = 0. Suppose z*y + 1034 - 3690 = -3*f, 25 = 5*y. Is f prime?
True
Suppose h + 70 = -4*h. Let c = h - -4. Is 28/8*c/(-1) prime?
False
Suppose 2*t + 2*t = 2*b + 79356, 79380 = 4*t + 4*b. Is t a composite number?
False
Let s(m) = -m**3 + 11*m**2 + 3. Suppose 3*p = 7*p - 44. Let c be s(p). Suppose -882 = -c*o + 231. Is o a composite number?
True
Suppose -5*d + p + 1 = 10, 15 = -5*d - 5*p. Is 21/9 + d + (-13952)/(-12) prime?
True
Let v(w) = 32*w**2 + 12*w + 10. Is v(21) a composite number?
True
Let r be -4 + -1 + 0 - -5. Is 1 - ((2 - 1070) + r) a composite number?
False
Is (262266/12)/(13/26) a prime number?
True
Let n = -212 + 655. Is n a composite number?
False
Suppose -5*g + 35 = 5*w, -2*g - 10 = 4*w - 30. Let j be 3*(0/(-7) - -5). Suppose -w*z + j = -2*a + 4*a, 50 = 4*a + 2*z. Is a a composite number?
True
Suppose 4*k - 251 + 809 = 2*p, 2*k + 282 = 4*p. Let w = -12 - k. Is w a composite number?
False
Let m = 6398 - 4363. Suppose 3*k - 3*p - 268 = 1238, -4*k + m = 5*p. Is k a composite number?
True
Suppose 0 = -16*o + 15*o + 2. Suppose -o*j = 4*q - 1574, j + 5*q - 310 = 477. Is j a composite number?
False
Suppose 8197 = 7*y - 21000. Suppose 3*t = y + 224. Is t a prime number?
False
Suppose 5*l + a - 3752 = 0, l = -0*a - a + 748. Let i be 5 - (1 + 1) - -1167. Let c = i - l. Is c composite?
False
Suppose -b + 2*k + 6533 = 0, 0 = 3*b - 4*k - 4085 - 15520. Let i = b - 4360. Is i prime?
True
Suppose 0 = 2*l - 796 - 1630. Is l composite?
False
Let w(x) = -65*x - 8. Let g be w(-9). Suppose -8*i = -g - 135. Is i a prime number?
True
Let m(g) = -3*g**2 + 30*g + 57. Let t(x) = x**2 - 15*x - 28. Let w(i) = -2*m(i) - 5*t(i). Let f be w(-13). Suppose 0 = 3*l - f*l - 705. Is l prime?
False
Suppose -5*s + 4107 + 91408 = 0. Is s a composite number?
True
Let b(g) = g**2 + 8*g + 4. Let a be b(-8). Let v(k) = k + 11. Let r be v(0). Suppose -r + 1 = -2*o, a*w - 901 = -5*o. Is w prime?
False
Let f = 25 + -14. Let j = f + -7. Is 553/j + 6/8 a composite number?
False
Let k(s) = -4*s**3 + 4*s**2 + 2*s - 4. Let n be k(-4). Let m = n - 557. Let u = m + 394. Is u prime?
False
Suppose -2 = -2*w - 4. Let q be 2 + w + 3 - -1. Let s(f) = f**3 + f**2 + f - 6. Is s(q) a prime number?
True
Let v = 27164 - 2833. Is v composite?
True
Suppose 0*f = -5*f + 5*z + 1305, z - 1317 = -5*f. Let a = -16 + f. Is a a composite number?
True
Let w = -117 + 121. Suppose -g - w*i + 2327 = 174, -3*g = 2*i - 6479. Is g a prime number?
True
Let i be (-373 - -5)/(-1) - (1 + 1). Let z = i - -557. Is z composite?
True
Suppose -x = -4*x + 9, 2*c - 3 = x. Suppose 5224 = c*v - 935. Is v prime?
True
Suppose 87 = 5*h + 2. Let r(d) = -10*d - 10. Let b be r(-8). Let o = b - h. Is o composite?
False
Let i = 19 - 14. Suppose -i*l - 3*d = -530, d + 4*d = -2*l + 193. Is l a composite number?
False
Suppose 6*r + 1206 = 6060. Is r composite?
False
Suppose 72689 = -33*p + 638936. Is p a prime number?
True
Suppose 5*i - 8696 = -4*j, 5*j - 2*j - 6525 = -3*i. Is j composite?
False
Let b = 187 - -195. Suppose 6*i + z - b = 4*i, 0 = 3*i + 2*z - 573. Is i a composite number?
False
Suppose -3*b + 433 + 332 = 3*m, 3*b - 263 = -m. Is m a prime number?
True
Suppose -3*p - 12 = -6*p. Suppose -p*a = -19 + 3. Suppose a*t - 4*v - 340 = -128, t - 53 = -2*v. Is t prime?
True
Let r(w) = -27*w + 5. Let t = 12 - 10. Suppose -5*c - 4*g = -g + 21, 12 = -c + t*g. Is r(c) a composite number?
False
Let b(h) be the first derivative of 5*h**2 + h + 9. Let k be b(-7). Let z = -46 - k. Is z a composite number?
False
Suppose 1891 + 11365 = 8*w. Is w composite?
False
Let b be 1 - (4 - 4) - -2. Suppose -4*a = -5*j + 15, -b*j + 6*j - 5*a = 9. Is 327 - (-6)/j - 0 a prime number?
False
Let d be (0 - (-18)/(-8))*-52. Suppose 5*v + 7 = -2*o, -o + 26 = 4*o - 2*v. Suppose -5*m - 3*g = -d, o = 2*g - 4. Is m a composite number?
True
Let i(z) = z**2 + 11*z + 20. Let f be i(-8). Is 12/(-8) + (-2522)/f prime?
False
Let k(f) be the second derivative of -f**4/12 + f**3 - f**2 - 5*f. Let r be k(3). Is -2*(217/(-2))/r composite?
False
Let b = -2698 - -9895. Is b a composite number?
True
Let b = 67 + -37. Let h(t) = 4*t**2 - 29*t**3 + b*t**3 + 4 + t**2 + 7*t. Is h(7) a composite number?
False
Let k = 17902 - 12521. Is k a composite number?
False
Let n(x) = 17*x**2 - 7*x + 7. Let u be n(-6). Suppose i - 2*i + u = 0. Let k = i + -442. Is k prime?
False
Let j = -3857 - -7671. Is j a prime number?
False
Let s = 6 - 4. Let o(m) = -2*m + 125 + m + s + 3*m. Is o(0) a composite number?
False
Let l(w) be the second derivative of 19*w**4/12 + w**3 - 2*w**2 + 7*w. Let t = -3 - -6. Is l(t) composite?
True
Let f(m) = 195*m**3 + 4*m**2 - 4*m + 1. Let w(d) = d**2 - d. Let i(a) = -f(a) + 2*w(a). Let k be i(1). Let z = -134 - k. Is z a composite number?
True
Is (6057/15)/(11/55) a prime number?
False
Let a = 15 - 14. Let o be ((-8)/(-10))/(2/(-5)). Let n = a - o. Is n a composite number?
False
Let n = 534 - 281. Is n a composite number?
True
Let b be 4/((-2)/(-4) + -1). Let j(z) = z**3 + 7*z**2 - 9*z + 1. Let d be j(b). Is (-1281)/(-9) + 6/d composite?
True
Let g(k) = -71*k + 12*k**2 + 37*k + 33*k + 48. Is g(7) a composite number?
True
Suppose -42*a = -34*a - 12280. Is a a composite number?
True
Let z(k) = -k + 7 - k**3 + 14*k**2 - 3*k + k**2. Let i(c) = c**2 - c - 6. Let n be i(-3). Is z(n) prime?
True
Let c = -218 + 7567. Is c a prime number?
True
Let k be 2*(-1)/7 + 150/35. Suppose 4*d - d - 2*s = 4187, -k*s = -4*d + 5580. Is d composite?
True
Let r(h) = h**2 - 3*h - 2. Let b be r(2). Let q be 4*2/b + 605. Is q/6*(-2)/(-3) prime?
True
Let f be 3/(-9) - (-7)/3. Suppose -3*y - 13 = -v, 0 = -f*v - 8 - 2. Is 59730/75 - y/10 prime?
True
Is (-2 - -6356) + -2 + (-2)/(-2) a prime number?
True
Let m = 13 - -64. Is m a prime number?
False
Let n = 7178 - 4569. Is n a prime number?
True
Let p(q) be the first derivative of -19*q**2/2 + 9. Let g be p(-3). Let x = g + -4. Is x a composite number?
False
Suppose -3*l + 0*l = -15. Let i be 18*(1 + l/(-15)). Is (804/(-10))/(i/(-30)) composite?
True
Let o(q) = 118*q + 25. Suppose 5*m + 11 = 26. Is o(m) a composite number?
False
Let d be 6/(-2*(-4)/5140). Suppose -8*q + 7649 + d = 0. Is q a composite number?
True
Let z(n) = -n**3 + 19*n**2 + 11*n - 10. Is z(11) prime?
False
Suppose -6*z - 71583 + 225525 = 0. Is z composite?
False
Suppose 2*h + s + 55 = -h, 5*h + s + 89 = 0. Let o(l) = 2*l**2 + 13*l + 38. Is o(h) prime?
False
Suppose -2*j + 898 = -1404. Is j composite?
False
Suppose -5*o = 2775 - 84580. Is o composite?
False
Is (-6 - (-3 - 2))/((-1)/18427) composite?
False
Let h = 7 + -5. Suppose h*n + 19 = 5*k - 0*k, 5*n - k - 10 = 0. Sup