 = -x**2 + 5*x - 2. Suppose 3 = 5*l - 7. Let u be o(l). Suppose -u*k + 106 = -2*k. Is k composite?
False
Let s(u) = -u**2 - 14*u - 21. Let c be s(-2). Let q(o) be the third derivative of o**5/20 + o**4/12 + 2*o**3/3 - o**2. Is q(c) prime?
True
Let r(m) = 1115*m**3 + m**2 - 2*m + 1. Is r(1) prime?
False
Let p = -65 - -110. Suppose 2*h = 2*w - 70, 2*w + 4*h - p - 1 = 0. Is w a composite number?
False
Let i(j) = -8*j - 2. Let b(f) = -4 - 6*f + 3*f + 1 - 5*f. Let r(a) = -5*b(a) + 4*i(a). Is r(6) a composite number?
True
Let s = 2 - 0. Suppose -2*f = s*f - 20. Suppose f*k = 3*h - 126, -62 = -2*h - 0*k - 4*k. Is h a composite number?
False
Let m be 46/8 + (-2)/(-8). Is (15/m + -2)*1310 a prime number?
False
Suppose 3*d = -3*d + 3378. Is d prime?
True
Let i(g) = g**3 - 3*g**2 - 6*g - 5. Is i(6) a prime number?
True
Let f = 911 + -394. Is f prime?
False
Let g = 4 + 0. Suppose g*c = c + 897. Is c composite?
True
Let n = -16 + 18. Suppose -n*i - 593 = -3*i. Is i a composite number?
False
Suppose 11*u - 6*u = 20. Suppose u*s - 3*s = 167. Is s a prime number?
True
Let k = -2 - -5. Suppose -2*v - 9 = b, -k*b + 7*v = 3*v + 17. Is (-2)/(b - -1)*201 prime?
True
Let m be (-6)/(-4)*(-20)/(-6). Let q(z) = -27*z + 42. Let k(i) = -11*i + 17. Let j(a) = 12*k(a) - 5*q(a). Is j(m) a prime number?
False
Let c = -13 + 9. Let r = 6 - c. Is r a composite number?
True
Let g(y) = 443*y**2 - 5*y + 5. Is g(1) prime?
True
Suppose 0 = 3*h + 6, -i + 28 = 2*i - 2*h. Suppose 1 = g - 0. Is g*(8*i + 3) prime?
True
Let u(f) = 4*f**2 - f + 1. Suppose p + 0 = 3. Is u(p) a prime number?
False
Let l(r) = -r**3 + 3*r**2 + 2*r - 3. Let x be l(2). Suppose -3*a + x*a = 56. Suppose 0 = -5*b + 3*v + 70, 0 = -2*b + 3*v + 2*v + a. Is b composite?
True
Let v(h) = -3*h**3 + h. Let g be v(-1). Let q = 0 - g. Is (-2)/4*q + 2 a prime number?
True
Let x = 6 - 6. Suppose -11 = 4*v + l - 139, -2*v + 5*l + 86 = x. Is v prime?
False
Suppose 2*r + 2*u = 3*r + 68, -u + 3 = 0. Let v = 125 + r. Let d = v + 28. Is d a prime number?
False
Let a(f) = -f - 3 + 7*f + 4*f + 7. Is a(7) a prime number?
False
Suppose -2*d = p - 202 - 71, 4*p - d = 1047. Is p composite?
False
Let i = -2 + 21. Is i*(9/(-3))/(-3) a prime number?
True
Let x = -4 + 0. Let m be 1 + 0 - (-5 - x). Suppose -3*p + 3*u + 30 = 0, -3*p - p = m*u - 16. Is p composite?
True
Let s(o) = 357*o + 2. Let t be s(1). Let q(z) = z + 240. Let y be q(0). Let w = t - y. Is w prime?
False
Let k(r) = 6*r**2 - 4*r - 1. Let x(v) = 31*v**2 - 20*v - 4. Let d(n) = 11*k(n) - 2*x(n). Is d(-2) a composite number?
True
Is (2 - 3)/((-10 - -3)/3409) a prime number?
True
Is (12 - 13) + 2020/2 prime?
True
Suppose 5*b - 3 - 22 = 0. Suppose -o = -b*o - 188. Let r = o - -112. Is r prime?
False
Let g be (-4)/26 + (-48)/26. Let a(d) = d**2 + d + 1. Let k be a(g). Suppose 0 = r - 4*l - 155, k*r + r - 3*l - 646 = 0. Is r composite?
False
Suppose 0*g - 2*g - 2*j = -2884, 2*j = -10. Suppose -4*k - 3*z + g = 0, -k + 4*z - 2*z = -348. Is k prime?
False
Let k(l) = l**3 - 5*l**2 + l - 14. Is k(7) composite?
True
Suppose c - 2*c + 204 = 0. Let x = c - 115. Is x composite?
False
Suppose -5*i - 85 + 10 = -3*u, -4*u - 4*i + 132 = 0. Let y be u/(-9)*6/(-4). Suppose 0 = j - 6 - y. Is j composite?
False
Let r(i) = i**2 - 8*i + 15. Let a be r(6). Suppose -2*o - 907 = -a*o. Is o a prime number?
True
Let m(i) = -i**3 - 5*i**2 + i + 9. Let h be m(-5). Suppose -h*r + 75 = 2*k + 21, 0 = -2*k - 3*r + 56. Is k a prime number?
True
Let c be 2/(-10) + 2236/5. Suppose -74 = 5*j - 3*o - c, 0 = -j + o + 73. Is j a prime number?
False
Suppose -9*g = -4*g - 20. Suppose 2*l - g*l + 158 = 0. Is l prime?
True
Let v = 6 + -3. Suppose -2*a = -v*a. Is 3 + 0 + a/(-1) composite?
False
Let h(f) = f**2 + 8*f - 6. Let s be h(-8). Let x(o) = -o**2 - 5*o + 6. Let c be x(s). Suppose 3*g - 4*g + 53 = c. Is g a prime number?
True
Let p(r) = r**3 - 16*r**2 + 22*r - 19. Suppose 2*l - 5*l - b = -48, b + 42 = 3*l. Is p(l) prime?
False
Suppose 733 - 3288 = -5*w. Is w composite?
True
Let t(d) = 4*d**3 + 4*d - 1. Is t(6) a prime number?
True
Let u = -38 - -72. Suppose d - n = -0*d - u, 5*d + 160 = 3*n. Let x = 6 - d. Is x a prime number?
False
Let u = 191 - 106. Let x = u + -60. Is x a composite number?
True
Let i(g) = 5*g**3 + 3*g**2 + 6*g - 1. Let f(k) = k**3 + 1. Let j(u) = 4*f(u) - i(u). Is j(-6) prime?
True
Let k be 955/(-2)*(-16)/10. Suppose -4*n + u = -k, 4*u + 0*u + 191 = n. Is n prime?
True
Suppose -136846 - 99914 = -24*n. Is n a prime number?
False
Let l = 98 - -17. Is l a prime number?
False
Suppose 0 = -m - 2*m + 93. Is m a composite number?
False
Let x be 313*1 - 27/(-9). Let p = x - 225. Is p composite?
True
Suppose 728 + 163 = 3*c. Let a = 998 - c. Is a prime?
True
Let v = -3 - -6. Suppose v = -d + 8. Let j(z) = 2*z**2 + 3*z + 2. Is j(d) a composite number?
False
Let h = 102 - 95. Is h a composite number?
False
Let i be (2/2)/((-2)/(-10)). Let r = i + -33. Let j = -7 - r. Is j composite?
True
Let k = -631 - -2366. Is k composite?
True
Let b be (2 + -1 - 3)*-2. Suppose 0 = 5*l - 5*x - 605, l + b*x - 342 = -2*l. Is l a composite number?
True
Let o = 425 - 234. Suppose 3*t - 82 = o. Is t composite?
True
Let r(g) = g**3 - 5*g**2 - 5*g - 6. Let d be r(6). Suppose -4*k + k = -12. Suppose q - 2 = d, -k*u = -3*u - 2*q + 1. Is u prime?
True
Let l(s) = -s**3 - 13*s**2 - 18*s - 7. Is l(-12) composite?
True
Suppose -3*b - 2*u = -3*u - 44, 3*u - 18 = -b. Suppose -3*y = 2*y - b. Is y composite?
False
Let k(x) = 3*x - 2. Let s be k(2). Suppose -4*p + 5*m - 4 = 0, 3*p - 5*m + s = -m. Suppose -210 = -p*n + 5*h, -3*n - 28 = h - 195. Is n a prime number?
False
Let d(z) = z**3 - 7*z**2 - 10*z + 17. Is d(9) a prime number?
True
Suppose -2*c + 2*g - 64 = 0, 0 = -2*c - g - g - 44. Is (-6)/c - (-1339)/9 a composite number?
False
Suppose 0 = 9*c + 608 - 6269. Is c a prime number?
False
Suppose -2*s + 5*o - 5 = 0, s + 0*o = -o - 6. Let a = s + 7. Suppose 5*v - 57 = a*v. Is v a prime number?
True
Let b(d) = 9*d**3 - 15*d**2 + d + 3. Is b(8) prime?
True
Let h = 2573 + -1654. Is h prime?
True
Let a(x) = x**3 - 6*x**2 + 7*x - 8. Let s be (-11)/((-22)/12) + 3. Is a(s) prime?
False
Suppose -f + 4*o - 1296 = -5*f, 0 = 2*f - 3*o - 643. Is f a prime number?
False
Suppose -b = 0, -3 = -y - 0*b - 4*b. Suppose 5*c - y*c = 142. Is c a prime number?
True
Suppose 0 = 4*v + 12, -6*l + 3*l - v + 6 = 0. Suppose -l*r = r - 356. Is r a composite number?
False
Let t(j) = -j**2 + 2*j - 8. Let l be t(6). Let a = 23 - l. Is a composite?
True
Let w(h) = 4*h**3 + 3*h**2 - 4*h + 5. Is w(4) prime?
True
Let a(p) = 3*p + 3. Let x be a(-3). Let j(u) = -u**3 - 3*u**2 + 3*u + 1. Is j(x) a composite number?
True
Let n(g) = 23*g + 1. Let w(u) = -u. Let t(x) = -n(x) + 6*w(x). Let s be t(-2). Suppose -s = -2*f - f. Is f composite?
False
Let b = 230 - 135. Suppose -75 - b = -5*m. Is m a prime number?
False
Let r(w) = -w**3 + w - 1. Let a(p) = 5*p**3 + p**2 - 2*p + 11. Let i(k) = a(k) + 6*r(k). Let t = 7 + -11. Is i(t) composite?
True
Let t(m) = 38*m + 1. Let z(c) = -c**2 - 1. Let h(x) = 11*x - 12. Let u(n) = h(n) + z(n). Let g be u(9). Is t(g) a prime number?
True
Let v = 195 - 117. Let g = v - 35. Let d = -30 + g. Is d a composite number?
False
Let z(g) = g**3 - g**2 + 8*g + 5. Is z(6) a composite number?
False
Let w(h) = -7*h - 3. Let k be w(-3). Let i be (14/(-6))/((-2)/k). Suppose -2*s + i - 7 = 0. Is s composite?
False
Let j(t) = -2*t - 63 + 4*t - t - t**2. Let q be j(0). Let i = 114 + q. Is i a composite number?
True
Let u(k) = -2*k**3 + 11*k**2 + 7*k - 2. Let a be u(-7). Let l = 1673 - a. Is l a prime number?
True
Suppose 46 = -k - k. Let x(s) = s**2 - 5. Let j be x(7). Let v = j - k. Is v a prime number?
True
Let f(w) be the first derivative of w**2/2 + 21*w - 4. Is f(0) a composite number?
True
Let s(o) = -o**3 - 6*o**2 - 10*o - 7. Is s(-6) a composite number?
False
Suppose 2*k - 345 = -3*k. Let l = -39 + k. Suppose 0 = u - 4*u + l. Is u a prime number?
False
Let h = 341 + -34. Is h a composite number?
False
Let s(z) = 2*z**2 + 2*z + 3. Let a be 0/(-1 - (-3 - 0)). Suppose a*d - 8 = 4*d. Is s(d) a prime number?
True
Let o(w) = -w**3 + 4*w**2 - 2*w - 1. Let m be o(2). Let g be ((-184)/(-10))/(5/25). Suppose 0 = s + m*s - g. Is s a composite number?
False
Suppose -5*z