
Let m(r) = -8*r**2 + r. Suppose -2*k + 1 = 7. Let i be m(k). Let x = i - -113. Is x composite?
True
Suppose 5*h + 11 = -3*b + 6*h, b = -4*h + 5. Let l(y) be the third derivative of y**5/12 + y**4/6 + y**3/6 + 2*y**2. Is l(b) prime?
False
Let f(d) = -4*d**2 - d - 1. Let n be f(-1). Is ((-1)/n)/((-2)/(-296)) composite?
False
Let o(v) = -v**3 - 12*v**2 - v - 8. Let c be o(-12). Suppose -3 + 127 = c*w. Is w a composite number?
False
Let d(s) = s - 5. Let w be d(4). Let n = 6 + w. Suppose r + 130 = n*l, -8 = 2*r + 2. Is l a prime number?
False
Suppose -133 = 5*v - 858. Let q = 252 + v. Is q a composite number?
False
Let h(f) be the second derivative of -7*f**3/3 - 5*f**2/2 + 2*f. Is h(-6) a prime number?
True
Suppose -3*q - 5*k - 13 = 2, -4*k - 20 = 4*q. Let t = -2 - -14. Let w = q + t. Is w a prime number?
True
Suppose 5*h = 15 - 5. Let o(b) = 0*b - b**h + 10 + 0*b**2 + 10*b. Is o(9) composite?
False
Let j = -1 + 3. Suppose 0*t - j*t = -22. Let n = 20 + t. Is n a composite number?
False
Let n be 108/(-30) - 4/10. Let y(s) = 10*s**2 - 3. Is y(n) prime?
True
Let u(m) = 6*m**3 + m - 1. Let p be u(1). Suppose 0 = -6*x + 4*x + 42. Suppose -o - p = -x. Is o prime?
False
Let t be (-1)/6 + (-115)/(-6). Let v(l) = 19 + l + t + 6 - 7. Is v(0) composite?
False
Suppose v - 2*x + x - 744 = 0, -3*v + x = -2242. Is v a composite number?
True
Suppose 0*m - 5*m = -25. Suppose s - 4*d = 24 + 41, -m*s + 379 = -2*d. Is s a composite number?
True
Suppose 0*s = -2*s - i - 7, -2*s - 2*i - 6 = 0. Let d(y) = -y**3 + y**2 + y + 3. Is d(s) prime?
True
Let f(u) = 3*u - 8. Let v be f(7). Suppose -v = -r - 3*n + 21, -4*n + 96 = 4*r. Is r prime?
True
Let n = 15 + 0. Is n a composite number?
True
Let x be (4/10)/(1/5). Suppose 0 = -5*m - 5*p + 110, x*m - 18 = p + 17. Is m a composite number?
False
Suppose 0 = 5*k - 0*k - 15. Is 754/k + 1/(-3) prime?
True
Let r(q) = q**3 + 6*q**2 + 9*q - 21. Is r(10) a prime number?
True
Let l be 24/(-84) + 4/14. Suppose 5*u + p - 1114 = -l*u, -2*u - p + 445 = 0. Is u prime?
True
Let k(g) = 2. Let x(w) = w - 3. Let r(l) = 3*k(l) + 4*x(l). Let s be r(7). Is 810/s + 16/88 a composite number?
False
Suppose 372 = -0*l + 3*l. Suppose -2*d - l = -6*d. Is d composite?
False
Suppose c - 2*b - 9 = -0*b, -30 = -5*c - 5*b. Let v(u) = 2 + u**2 + c*u + 0 + 3*u. Is v(-11) a prime number?
True
Suppose 5176 = 3*l + 352. Let s = l + -797. Is s a prime number?
True
Let p(l) = 3*l. Let r(a) = -5*a**3 + a**2 + 2*a + 1. Let b be r(-1). Let g be p(b). Is 1/3 + 310/g a prime number?
False
Let j(a) = a**2 - a + 1. Let u be j(-6). Let b be (-1)/(-5)*-4*-5. Suppose 0 = -b*n + 3*n + u. Is n a prime number?
True
Is 699/9 + (-6)/9 a composite number?
True
Let k(r) = -r**3 + r**2 + 14*r - 6*r**2 + 12 + r**2. Is k(-9) a prime number?
False
Let c = 63 + -37. Is c composite?
True
Let n be (-2 + 6)/(-2)*-8. Let b = 65 + -25. Suppose 0 = 3*y + a - 58, -a - n - b = -3*y. Is y a composite number?
False
Suppose 4*j - 9*j = -35. Suppose 0*d + 2*d + 3*m - j = 0, 5*m = -5. Is (17*6)/(d + -3) a composite number?
True
Let x(q) = q**3 - 10*q**2 - 4. Let t be x(10). Let b = 19 - t. Is b prime?
True
Suppose 0 = 11*d - 3*d - 18440. Is d composite?
True
Let b(g) = -g**2 + 7*g + 6. Let o be b(8). Let n(v) = -v**3 + v - 1. Let z be n(o). Suppose z*f = 238 + 107. Is f a composite number?
True
Let a = -87 - -178. Is a composite?
True
Let h(n) = 46*n + 54*n - 3*n - 4*n. Is h(1) a prime number?
False
Let q(u) = -u**2 - u + 5. Let s be q(0). Suppose s = -4*l + 17. Suppose -175 = -5*d + l*p - 8*p, -5*d + 159 = p. Is d a prime number?
True
Let v = -7 + 24. Let z = -10 + v. Is z composite?
False
Let r = -5 + 8. Suppose -r*h + 4*h - 49 = 0. Is h a composite number?
True
Suppose 5*v - 8 = v. Is 0 + v + (112 - -5) composite?
True
Let l be 9/(-15) + (-18)/(-5). Suppose 0 = -l*c - 15, c - 441 = -4*a + 2*a. Is a composite?
False
Let d = 82 - -619. Is d a composite number?
False
Is ((-2)/6)/((-7)/21777) a prime number?
False
Suppose 3*a = h - 54, 5*a - 3 = -3*h + 117. Let o = 6 + h. Is o composite?
True
Let k = -198 + 397. Is k prime?
True
Suppose -3*v - 2*v - 2*b = -723, 148 = v - 3*b. Is v prime?
False
Let w(m) = 5*m**3 + 1. Let p be w(2). Suppose -j + p - 4 = 0. Is j prime?
True
Let l(m) = 683*m**2 + m - 1. Let i be l(1). Suppose -2*v + 621 = -i. Is ((-2)/(-4))/(2/v) prime?
True
Is (1 + (-21)/(-2))*14 composite?
True
Let k(b) = b**2 - 8*b - 6. Let v be k(9). Suppose v*n - 627 = -0*n. Is n a composite number?
True
Let c(h) = 2*h**3 - 10*h**2 - 8*h - 45. Is c(14) a prime number?
True
Let c be (6/(-4) - -1)*-34. Let m(y) = 2*y + 12. Let s be m(-7). Is (c - -1)*(-1)/s composite?
True
Let v(z) be the third derivative of -z**4/3 - z**3/2 + 5*z**2. Suppose -5*a + 0*a = 25. Is v(a) a composite number?
False
Suppose -4 = -3*l + 2. Let f be 1*(l - 3) - -1. Suppose 0 = -f*c - 2*c + 8. Is c composite?
True
Let q(w) = w**2 - 2*w + 2. Let i be q(2). Suppose i*j - 9 - 17 = 0. Is j composite?
False
Let o(g) = g**3 + 3*g**2 - 4*g. Let m be o(-3). Suppose 3*t = -t + m. Suppose -t*w = -199 - 158. Is w prime?
False
Suppose 4*z - 1155 = -z. Let t = 22 + -20. Suppose 37 + 117 = t*u - 4*p, -3*u + 4*p + z = 0. Is u prime?
False
Suppose 128 = -5*q - 2. Let a = -15 - q. Let h = a + -4. Is h a composite number?
False
Let b be -3 + 1 - (-3 - 2). Suppose -w - 20 = -b*i, 2*i - 4*i + 4*w + 30 = 0. Suppose -t + 5 = j, -2*t = -0*t - i*j - 24. Is t prime?
True
Suppose -z - 827 = -3684. Is z prime?
True
Is (13/(-1))/(2/(-62)) a composite number?
True
Suppose 0 = -o + 2*x - 7, -4*x + 3*x = 3*o. Is (o - 3/(-6))*-254 a composite number?
False
Let h = 49 - 115. Let t = 155 + h. Is t a composite number?
False
Let q(x) = 2*x**2 + 6*x + 3. Let m be q(-5). Suppose -m = -5*s - 3. Suppose 19 = -3*r + 4*r + s*o, 0 = -5*r + 3*o + 164. Is r a prime number?
True
Let k(f) = 48*f**2 - 3*f + 5. Is k(-4) a composite number?
True
Suppose 2*z + 2*l = 2, 3*l + 8 = -z - l. Suppose 0 = z*r - 238 - 10. Is r a prime number?
False
Let g(f) = f**2 + 5*f + 5. Let x be g(-4). Let u be 18 + (4 - (1 + x)). Let z = -1 + u. Is z prime?
True
Let c = 18 + -2. Is (2/1 - -1) + c composite?
False
Let y(p) = 24*p**2 + 5*p - 2. Let a be y(6). Suppose -3*d = d - a. Is d a prime number?
True
Let h = 1 - -2. Let d = h + 0. Suppose d*r + 5*w - 8 = 533, 0 = 5*r - 2*w - 943. Is r prime?
False
Suppose 2*l - 222 = -4*l. Is l a composite number?
False
Suppose 5*k = w + 12, -4*k + 15 = -5. Is w/2 + 2/4 a prime number?
True
Let p be (-1 + -2)/(1 + -2). Let i be ((-4)/6)/(-1)*p. Suppose i*w + 98 = 4*w. Is w composite?
True
Suppose -x - 2 = 5*r, -13 + 3 = -4*r + 5*x. Suppose -5*n = -r*n - 20. Suppose -n*j + 111 = -j. Is j prime?
True
Is 3/((12/(-326))/(2 + -4)) prime?
True
Suppose -5*z + 5*y = -3250, 5*z - 3*y - 3246 = -2*y. Is z a composite number?
True
Suppose z = -2 + 8. Is -118*(-2 + -1)/z prime?
True
Suppose 3*h + 33 + 42 = 3*r, 5*r + 2*h - 160 = 0. Suppose 7*w + r = 177. Is w a prime number?
False
Suppose 4*w - w - 871 = -2*p, -5*w + 418 = p. Is p composite?
False
Suppose m = -5*t + 4677 - 1307, -3*t + 2022 = 4*m. Is t prime?
False
Let q(k) = -96*k - 13. Is q(-2) composite?
False
Let c be ((-16)/(-12))/((-2)/(-69)). Let h = c + 99. Is h a prime number?
False
Let o(t) = 3 + t - 2 - 4*t + 0*t. Let v be o(-1). Suppose -v*l - 65 = -5*l. Is l a composite number?
True
Is (-1)/2*(1 + -1595) prime?
True
Let b(c) = -7*c**2 - 3*c - 6. Let o(k) = -20*k**2 - 9*k - 18. Let d(j) = 17*b(j) - 6*o(j). Is d(-8) prime?
False
Suppose 20*p = 22*p - 1034. Is p composite?
True
Suppose 4 = 3*i - 5*y + 24, 0 = i - 4*y + 16. Suppose i = -4*m - m + 795. Is m composite?
True
Suppose 5913 = -3*u + 6*u. Is 12/(-66) - u/(-11) a composite number?
False
Let x = 77 - 26. Is x prime?
False
Let z(h) = -10*h + 1. Is z(-3) a prime number?
True
Is 1/7 - (-398)/7 prime?
False
Let u(m) = 6*m**3 - 6*m**2 - 3*m - 7. Let z be u(6). Let g = 3 + -1. Suppose 3*h = -g*h + z. Is h prime?
True
Let s = -595 + 2388. Is s composite?
True
Let c = 4 + -7. Let g = c - -25. Is g a composite number?
True
Suppose 6*b - 3*b - 5*d - 23 = 0, 12 = -3*d. Let l be -1*(0 - b) + 1. Suppose -2*a = j - 31, 0 = l*j - 5*a + 4*a - 77. Is j a prime number?
True
Suppose 4*n - 87 - 49 = 0. Suppose 3*j - n = 32. Is j a prime number?
False
Suppose 1 + 2 = -