ite number?
True
Let b(w) = -9*w - 14. Let g(p) = p**2 - 11*p - 8. Let l be g(11). Is b(l) prime?
False
Let q = 56 + -93. Let l = -52 - q. Let x = 29 + l. Is x a composite number?
True
Suppose -4*v - 3*h + 430 = -2*h, 2*h = -3*v + 320. Let s = v - -19. Is s composite?
False
Suppose 3*a = a - 12. Let s(h) = -2*h**2 - 7*h - 4*h**2 - h**3 - 3 - 2. Is s(a) a prime number?
True
Let y be (4 - 1)*-1*-4. Let w be 78/(-4) - y/(-8). Is (-105)/w - (-2)/12 prime?
False
Is ((-2 - -3)*976 - -3)/1 prime?
False
Suppose 4*x + 4*o = 14712, -4*o + 2*o - 14742 = -4*x. Is x composite?
True
Suppose o = -0*o + 3. Suppose 0 = 2*f - 2*g - 14, o*g + 25 - 10 = 2*f. Is f a prime number?
False
Suppose 2*k + 374 = 4*k - 4*f, 2*f = -6. Suppose 3*y = -2*n + 250 + k, -3*n = 2*y - 284. Is y prime?
False
Suppose 3*u = 33 + 87. Let j = u - -2. Suppose -3*w - j = -108. Is w composite?
True
Suppose 5*u - 3*u - 6 = 0. Suppose 5*o - 2 = 2*s + 1, u*o + 1 = 4*s. Is 9 - ((0 - s) + -1) composite?
False
Suppose -p + 6 = 5. Let j be p + 1 + (0 - 1). Is (-3 - 323)/(j + -3) prime?
True
Suppose -4*a = 296 + 324. Let d = a + 340. Is d prime?
False
Let c be (-39)/(-12) - (-2)/(-8). Let u be (5 - 2)/((-1)/(-21)). Suppose c*t + 0*t - u = -4*p, -2*t + 42 = -p. Is t prime?
False
Suppose 15*l = 7*l + 3352. Is l a composite number?
False
Let y(k) = 8*k**2 - 9*k + 24. Is y(13) a prime number?
True
Let y(h) = -260*h + 1. Let k(u) = 260*u - 1. Let v(p) = -5*k(p) - 6*y(p). Suppose a - 3 = -2*a. Is v(a) a composite number?
True
Let a(r) = 13*r**3 - 4*r**2 - 5*r - 5. Is a(4) a composite number?
False
Let l = 9 - 11. Is (-20)/(-2) + (-1 - l) composite?
False
Suppose 3*h - 75 + 30 = 0. Suppose -4*o + 1 = -h. Suppose 138 = 2*b + i, -b - o*i + 133 - 50 = 0. Is b composite?
False
Suppose -x + 3*i - i + 4 = 0, -3*x - 3*i = -30. Is (-7032)/6*(-2)/x a composite number?
False
Let x be ((-54)/5)/((-51)/(-340)). Let k be -124 + -1 + (0 - -2). Let o = x - k. Is o a composite number?
True
Suppose -3881 = -0*x - 2*x + t, 0 = -3*x + 3*t + 5814. Is x prime?
False
Suppose 0 = -r + 2*r - 5. Suppose 3*i = -2*i - 25, 4*j - 33 = r*i. Let p(n) = 17*n + 1. Is p(j) a prime number?
False
Suppose -3*i + 6*i = -3. Is (-4 + 5)*(-11)/i composite?
False
Let w(l) = -159*l + 12. Is w(-5) composite?
True
Let v be (0 + -1)*-231 - 1. Suppose -v = -5*x + 120. Suppose 5*j = -0*j + x. Is j composite?
True
Let m(g) = g**2 - 4*g + 4. Let h be m(3). Suppose h = -4*k + 17. Suppose -402 + 46 = -k*z. Is z composite?
False
Suppose -3*x + x - 4 = -a, 5*a + 2*x + 16 = 0. Is (-640 - -2)*1/a a composite number?
True
Suppose -3*p = 68 - 245. Is p prime?
True
Suppose 5*p + 4*b = 16537, 4*p - b - 6607 = 2*p. Is p a prime number?
False
Let d(t) = -6*t - 3*t + 10 + t. Let l(w) = 1. Let u(v) = -d(v) + 3*l(v). Is u(9) a composite number?
True
Let h(b) = b + 6. Let m be h(-6). Let f = 5 - 3. Suppose -3*a + 149 = -m*d + f*d, -2*a + d = -111. Is a prime?
True
Let f be 2 + -1 - -9*14. Suppose -4*d + f = -3*v, 4*d + v = 5*v + 124. Suppose -4*s + 106 = -d. Is s composite?
True
Suppose -308 = 7*n - 11*n. Is n a prime number?
False
Let q be (-270)/(-33) + (-4)/22. Suppose 6*r - q = 2*r. Suppose 0 = u - 5*v - 134, -244 = -2*u - 0*v + r*v. Is u a composite number?
True
Suppose -4 + 0 = 2*n. Let v be (-2)/3*(-224 - n). Is (-2)/(-3) - v/(-12) a composite number?
False
Let d(y) = y**3 - 12*y**2 - 9*y - 9. Is d(13) a composite number?
False
Let b(q) = 4*q**2 + 7*q - 6. Let w(s) = -9*s**2 - 14*s + 11. Let f(a) = 5*b(a) + 2*w(a). Is f(5) a composite number?
True
Let h(c) = -c + 7. Let q be h(0). Suppose 103 - q = 4*t. Suppose -2*n = 2*w - t - 50, -4*n = w - 37. Is w prime?
True
Suppose 5*j - 10 = 2*r, 8 = -r + 3*j + j. Suppose r*p = -p. Is (-29)/(-1) + 2 + p prime?
True
Let b be (0 - 3)/(-3) + 1. Let k be (402/(-4))/((-3)/6). Is b/(-3 - (-609)/k) a prime number?
True
Let m be 5*2/(-10)*-4. Let j = -16 - -10. Is (m/j)/(6/(-279)) composite?
False
Let p(l) = -l + 1. Let j(s) = -12*s + 9. Let q(a) = -j(a) + 4*p(a). Is q(7) prime?
False
Let o be (6 + -1)*(-4)/(-10). Let l = o + 19. Is l a prime number?
False
Let g(w) = -w + 9. Let n be g(11). Is 2/1*(-97)/n a prime number?
True
Is (2 - 1)/(3/609) composite?
True
Let j(d) = 101*d - 3. Is j(10) prime?
False
Let p(r) = -r - 5. Let q be p(-5). Suppose q = -2*v - v. Suppose -y + v*y = -14. Is y composite?
True
Let z(a) = 9*a. Let k be z(11). Suppose t - k = -3*j, t + 4 = 1. Is j a prime number?
False
Let l = 144 + -67. Is l composite?
True
Let i = -229 + 350. Is i prime?
False
Let n = -2 - -5. Suppose -n + 75 = 2*i. Suppose -r = 5*m - i, -r = -2*m - 1 - 0. Is r prime?
True
Let g(k) = 16*k**2 + k - 2. Let i be g(2). Let l = 129 - i. Is l composite?
True
Let c = 2 + -2. Let t = 15 + -11. Suppose t*i + 59 = 3*w, c*i = -w + i + 18. Is w prime?
True
Let d = 634 + -248. Let p = d - 225. Is p prime?
False
Let u(c) = -20*c**3 + c**2 - 2*c + 1. Let y be u(1). Let f be 44/10 + 8/y. Suppose 0 = -f*n + 44 + 104. Is n composite?
False
Suppose -5*c - 18 = -78. Suppose 2*v + 0*v = -2. Is 6/v*(-30)/c a prime number?
False
Let y(q) = q**2 - 4. Let v be y(-3). Suppose -v*p - 4 = 1. Is p/((9/(-3))/111) a composite number?
False
Suppose -8*m + 19*m = 8767. Is m prime?
True
Let s(j) = -115*j. Is s(-1) a prime number?
False
Suppose 2*s = -s - 486. Let d = s - -241. Is d prime?
True
Let v be (-1)/((2 + -1)/(-4)). Suppose l = v*l - 105. Is l composite?
True
Let r = 6 - 2. Suppose -r*a + 575 = a. Suppose 6*i = i + a. Is i composite?
False
Let b be 136/(-24) - 2/(-3). Let g(u) = -u**3 - 3*u**2 + 4*u + 1. Is g(b) a prime number?
True
Let k(j) be the second derivative of j**4/6 + j**3/2 + j**2 + 8*j. Is k(-7) prime?
True
Let f(b) be the third derivative of b**5/20 - 5*b**4/24 + b**3/2 + 4*b**2. Is f(5) composite?
False
Let k = 8561 + -6114. Is k a composite number?
False
Suppose -2*g + 10 = 3*w, -g - 2*g - 2 = -4*w. Let i = -29 - -74. Suppose w*n - 5*n = -i. Is n composite?
True
Let o(a) = -a**3 + 0 + 6*a**2 - 1 + 3*a - 9*a**2. Is o(-6) prime?
True
Suppose 3*j - 1 = 4*f, -j + 11 = 3*f + f. Let p(i) be the second derivative of i**4/4 + i**3/2 - i**2/2 + i. Is p(j) a prime number?
False
Let v = -11 - 70. Let i = 412 - 176. Let x = v + i. Is x a prime number?
False
Let l be (-6)/4*8/(-6). Is l + -1 - (0 - 30) a prime number?
True
Let r = 2904 + -2017. Is r prime?
True
Suppose -4*k = -v + 14, -3*k - 33 = 4*v - v. Is 1 + 44/(-3)*v a prime number?
True
Let j(m) = -m**2 + 2*m + 271. Is j(0) composite?
False
Let t = -4 + 3. Let b be (-1 - 1) + t + 0. Let y(i) = -i**3 + 4*i + 4. Is y(b) prime?
True
Let i = -44 + 165. Is i a prime number?
False
Suppose -4*j = 2 + 6. Let o = 98 - 40. Is 0 + o + j/(-2) a prime number?
True
Let u = 198 + 769. Is u composite?
False
Let m(d) = d**3 - 6*d**2 + 7*d - 4. Let n be m(5). Suppose -n*x = -x - 30. Is x prime?
False
Let b = 978 + -415. Suppose 3*s = -1015 - b. Let n = -99 - s. Is n prime?
False
Let r = -796 - -134. Let d be r/14 - (-6)/21. Let c = -28 - d. Is c composite?
False
Suppose -4*b + 13 = -11. Is b a prime number?
False
Suppose 2*p - 87 = 211. Is p a prime number?
True
Suppose -4*s + 5628 - 2192 = 0. Is s a prime number?
True
Let s(h) = -1950*h - 1. Is s(-1) a composite number?
False
Is (-3)/(2/(44/(-3))) a composite number?
True
Suppose -w + 3*w - 774 = 4*u, 391 = w + 2*u. Is w composite?
False
Let i(m) = -3*m + 16. Is i(-6) prime?
False
Let u(q) = q**2 - 2*q - 11. Suppose 5*w + 4*f = 32, -5*w + f + 38 = 2*f. Is u(w) a composite number?
False
Let b(i) = -i**3 + 10*i**2 + 4. Let f be b(10). Suppose 0 = 3*h - o - 109, -o + 84 = 2*h + f*o. Is h composite?
False
Suppose 0*r = n + r + 133, 0 = -5*r + 10. Is (-2117)/(-9) - (-30)/n a prime number?
False
Let o(n) = -n**3 - n**2 + 8*n + 1. Let a be o(-6). Let q be (-1)/(-3)*3 + a. Suppose -q = -4*d + 2*d. Is d composite?
False
Let v(s) = s**2 - 6*s - 4. Let l be v(7). Suppose -l*a + 662 = -a. Is a a composite number?
False
Suppose -3*w + 2 = k, 5*k - k = -16. Suppose -w*t - 427 = -2*p - p, 4*p - 571 = t. Is p a composite number?
True
Let d(h) = 5*h + 2. Let m = -4 - -2. Let f be d(m). Let j = f + 17. Is j prime?
False
Suppose -t - 1 = 0, 0 = 4*j + t - 3*t - 134. Is j a composite number?
True
Let u be (3 - 2) + -141 - 2. Let a = u + 200. Is a a prime number?
False
Let v = -1 - -5. 