umber?
False
Let i be (2 - -5) + (5 - 8). Suppose -4*d - 1909 = -3*v, -i*d = -2*v - 6*d + 1268. Suppose 5*r = 10*r - v. Is r a prime number?
True
Suppose -2*k - 2809 = 5*q, 5*k = -4*q - 1321 - 5710. Is k/(-14)*68/6 composite?
True
Suppose j = 3*o + 3*j - 1312, -3*j = -6. Let l = o + -275. Is l composite?
True
Let m = 194 + -95. Let x be (m + 2 + 0)/1. Suppose 2*a - 2*y - 70 = 2*y, -x = -3*a + 4*y. Is a a prime number?
True
Let i(u) = -203*u + 22. Let y(x) = 68*x - 7. Let t(m) = -2*i(m) - 7*y(m). Let o(a) = -a**3 + 6*a**2 - 3. Let w be o(6). Is t(w) a composite number?
True
Let m be (-3 - -1) + 4 - (4 - -1). Is (-5)/2*(40374/15)/m a composite number?
False
Let g be 234/15 - (-6)/(-10). Let o = g - -126. Is o composite?
True
Suppose 0 = 10*z - 7*z + 15. Let x(a) = 11*a**2 - 6*a + 2. Is x(z) composite?
False
Let c be 2/(-4) - 5086/(-4). Suppose -3*h - 6 = 0, 4*z + 3*h + c = -251. Let a = 710 + z. Is a a composite number?
False
Let q = 2 + 1. Suppose -i - 2*h + 32 = 0, 3*i - 101 = -4*h + q*h. Is i composite?
True
Let m(r) = 3707*r - 101. Is m(2) prime?
False
Let l be (-380016)/260 + 1*2/(-5). Let t = -321 - l. Is t composite?
True
Suppose -119 = -k + 4*i, -k + 3*i + 0*i = -117. Is k + (-3)/(-12)*0 composite?
True
Let l be (-12)/4 - (-2 - 874). Suppose 3*n + 57 = -l. Is -1*(n + (1 - 2)) prime?
True
Let m(f) = -f**2 - f + 1. Let i(q) = 5*q**2 + 6*q - 2. Let n(d) = i(d) + 6*m(d). Let x be n(0). Suppose 70 + 246 = x*z. Is z a composite number?
False
Let y(b) = -8*b**3 - b. Let r be y(-1). Is 3/r - (-184)/6 a composite number?
False
Let k = -6 + 2. Let s(u) = u**3 + u**2 - u. Let f(y) = 6*y**3 + y**2 - 5*y - 5. Let o(g) = -f(g) + 3*s(g). Is o(k) a composite number?
True
Let x be (-20070)/(-33) + 6/(-33). Let p = x - 405. Is p prime?
False
Suppose -2*i - 3*i = 0. Suppose 0 = -w - i*w + 2. Suppose 76 = w*c + 10. Is c prime?
False
Suppose -4*s = 2*c - 26, -s - 3*c = 4*s - 30. Suppose 3*o = 4*o - s. Let a = o + 68. Is a a composite number?
True
Let o(j) = 17*j + 26. Let m be o(13). Let z = m - -89. Suppose z + 182 = 2*x. Is x a prime number?
False
Let n(x) = -9*x + 8. Let a be n(6). Let q = -111 - -194. Let c = a + q. Is c a composite number?
False
Let k = -31822 - -57767. Is k composite?
True
Let t be 4/10 + 19/((-855)/(-4842)). Let r(y) = -y**2 - y - 3. Let d be r(0). Is t + 1 + (d - -5) a composite number?
True
Let c = -8 + 12. Let y be 4 + (2 - 2) - 1. Suppose -z + 662 - 33 = y*f, -c*f + 3*z = -856. Is f a prime number?
True
Let t = 24 - 12. Let l = -7 + t. Suppose -2*o = -l*o + 255. Is o a composite number?
True
Is 5 + -2 - -3 - (1 - 13812) a prime number?
False
Suppose -4*y + 48 = -0*y. Suppose 2*t = 8, -3*f + 4*t - y = -f. Suppose -5*j - 3*p + 404 = 0, -45 = 5*j - f*p - 434. Is j composite?
False
Let d(v) = 8*v**2 + 19*v + 12. Let s(u) = -u**2 + 1. Let t(b) = d(b) + 5*s(b). Is t(17) a composite number?
True
Suppose -7*p + 3730 + 2535 = 0. Is p prime?
False
Let r(y) = -627*y - 53. Is r(-8) composite?
True
Let m(z) = 19*z + 5. Let q be (24/9 + -2)*9. Is m(q) composite?
True
Let a be (-1)/(4 - (-21)/(-5)). Suppose 306 = a*d - 4*t, -2*d + d + 61 = -t. Suppose k - d - 65 = 0. Is k prime?
True
Suppose -2*z + 1838 + 1308 = 0. Suppose 0 = c + z + 257. Is ((-10)/(-15))/((-4)/c) prime?
False
Let r(x) = 39*x**3 - 2*x**2 - 2*x. Let i be 1 + (-3 - (3 + -7)). Let s be r(i). Suppose 109 = -v + s. Is v prime?
True
Let x = 10 + -6. Suppose -6*d = -x*d + 16. Is ((-12)/d)/(-3)*-78 a prime number?
False
Let m = 22 - 22. Suppose m*n - n = -23. Is n a prime number?
True
Let p(f) = -f**2 + f + 2. Let y be p(0). Suppose 89 = -y*c + 3*c. Is c prime?
True
Suppose 0 = -2*g - 4*v + 13542, -6*g + 2*g + 5*v + 27019 = 0. Is g a composite number?
False
Let n(m) = 11*m + 40. Let d be n(-4). Let i(s) = -11*s**2 + 5*s + 10. Let r(w) = -11*w**2 + 5*w + 11. Let c(g) = -6*i(g) + 5*r(g). Is c(d) a prime number?
True
Is (-5811660)/(-780) + -3*(-4)/78 prime?
True
Suppose -2*z = 2*m - 16132, 17 = 4*m - 3. Is z prime?
False
Suppose -2*p - 4 = 0, 4*d = 2*d + p + 1208. Let c = -248 + d. Is c a composite number?
True
Let r(t) = 16750*t + 163. Is r(12) composite?
False
Suppose -2*g + 9 - 1 = 0, 4*c = 4*g + 19632. Suppose 7*k + 1517 = c. Is k composite?
True
Let o(q) = 9*q**2 - 154*q + 152*q + 6 - 16 - 3*q**3. Let w be o(-7). Let f = -677 + w. Is f a composite number?
False
Suppose 4*q - 4*k - 46632 = 0, 0 = 4*q - 3*k + 1766 - 48397. Is q a composite number?
False
Let t = 57 - 44. Suppose -t*z = -22*z + 4797. Is z a composite number?
True
Suppose 4*d - 611 = 13617. Is d a prime number?
True
Let y(l) = 9*l**3 - 20*l**2 + 13*l - 1. Let q(t) = 5*t**3 - 10*t**2 + 7*t - 1. Let b(m) = 11*q(m) - 6*y(m). Is b(-7) prime?
True
Let q be (-15)/(-2)*16/24. Suppose 0*k = q*k - 1945. Is k prime?
True
Let d be (-7)/((-21)/10848) + -2. Let u = d - 1893. Let t = u + -1138. Is t a composite number?
True
Let h(a) = 5805*a - 923. Is h(4) composite?
True
Let b(a) = a**2 - a. Let o be b(1). Suppose o = -7*w + 10*w - 60. Suppose h + 5 - w = 0. Is h composite?
True
Let q = -3736 + 1688. Let z = 4825 + q. Is z a composite number?
False
Suppose 48*h + 482221 = 85*h. Is h a prime number?
True
Suppose 4*g = 2482 + 1186. Let o = g - 510. Is o prime?
False
Suppose -4*j + 11163 = 4*s - 5833, 4*j + 12775 = 3*s. Is s a composite number?
False
Suppose -2*s = 2, -2*b + 3788 + 2099 = 3*s. Suppose -m + 1465 = -2*u, -3*u + b = 2*m - 2*u. Is m prime?
True
Let b(f) = -4*f**3 - 17*f**2 - 12*f + 10. Is b(-9) a prime number?
True
Suppose 0 = 8*b - 40 + 8. Suppose 3*v + 787 = b*v. Is v prime?
True
Suppose -16*s + 8300 = -20*s. Let j = -552 - s. Is j a prime number?
True
Let l = 5 - 16. Is (1/(-5))/(l/16885) prime?
True
Let f = 1 - -1. Suppose 3*r - 3*x = r + 1, 21 = f*r + x. Suppose 47 = 5*a - r. Is a a composite number?
False
Let g(i) = -11597*i**3 + i**2 + 15*i + 16. Is g(-1) a prime number?
False
Suppose -331 - 729 = -4*t. Let g = 783 - t. Suppose 4*k - 2*n - 45 - 453 = 0, 2*n = -4*k + g. Is k a prime number?
True
Let a = -18117 + 27619. Is a composite?
True
Let d = 8055 + -5446. Is d a prime number?
True
Let p(a) = 31*a - 28. Let q be p(-12). Let t = q - 181. Let l = 994 + t. Is l prime?
False
Is (0 - 22)*-3089*4/8 prime?
False
Let t(u) = u**2 + u + 67. Let f be (-2 - 0)/((-5)/(-5)). Let r = -2 - f. Is t(r) a composite number?
False
Let f(s) = -8 + 30*s + 34*s + 37. Is f(12) a composite number?
False
Let t(m) be the second derivative of -m**4/12 - 4*m**3/3 - 5*m**2 - 2*m. Let x be t(-6). Is -7 + 92 + (x - 1) a prime number?
False
Let y(o) = 5*o**2 - 1. Let l be y(-1). Suppose k + 0 = -t + 3, 2*k + l*t = 4. Suppose -k*p + 597 + 119 = 0. Is p a prime number?
True
Let l = -10 - -22. Let s be l/15*(-5)/(-1). Suppose 0 = 5*y + r - 325, s*r = -3*y + 91 + 104. Is y a prime number?
False
Let d(l) = -3*l**2 - 3*l + 2. Let i be d(9). Let n = 1811 + i. Is n composite?
False
Let r(b) = 1399*b + 24. Is r(11) prime?
True
Let h(q) be the first derivative of -81*q**4/4 - 5*q**2/2 - 5*q + 7. Is h(-4) a composite number?
True
Let y = 8155 - 3764. Is y a composite number?
False
Is 1 + 1 - (128 + -3)*-7 a prime number?
True
Let p = 37 - 27. Let h(q) = q**2 - 10*q + 5. Let d be h(p). Is 0 + 11 - (d + -7) a prime number?
True
Suppose -8*y + 4*y = 720. Let r = 561 + y. Is r prime?
False
Let s be (-2 - -1)/(2/(-778)). Let t = -371 + 241. Let j = t + s. Is j prime?
False
Suppose 2*w = 4112 + 1566. Is w a prime number?
False
Suppose -4*f + 7*f - 553 = s, 2*s + 920 = 5*f. Suppose 2*b = -b - f. Let l = -27 - b. Is l composite?
True
Let n be (-3766)/(-2) + 3 + 0. Let i = n - 1329. Is i prime?
True
Let l = -649 + 127. Let f be (-8505)/(-11) + 248/88 + -3. Let o = l + f. Is o prime?
True
Let d be (-1623)/(-2) + (-7)/14. Suppose -v + 5 = -5. Is v/40 - d/(-4) a composite number?
True
Let y(w) = 287*w - 1. Let h(g) = 286*g - 1. Let u(f) = 5*h(f) - 6*y(f). Suppose -9 = 5*p - 4. Is u(p) composite?
False
Let g = 0 - 1. Let m(v) = -140*v - 1. Is m(g) composite?
False
Let c(v) = v**2 - 5*v - 20. Let q be c(7). Is ((-2)/(-3))/(q/(-171)) composite?
False
Let d(b) = b**3 - 11*b**2 + b - 8. Let w be d(11). Suppose 4*y - 582 = -2*z, -3*z + 672 + 204 = w*y. Is z composite?
False
Let y(v) be the third derivative of -153*v**4/8 - 5*v**3/3 - 6*v**2. Is y(-3) a prime number?
True