Let w be b(5). Suppose 3*j + q - 182 = -0*q, -w*q = 5*j - 315. Is j prime?
True
Suppose -r = -3*c - 355, -r - 1813 = -6*r - 4*c. Let u = -16 + r. Suppose 0 = 4*t + t - u. Is t prime?
False
Let k = -77 + 38. Let y be ((-28)/(-35))/((-2)/(-45)). Let g = y - k. Is g a composite number?
True
Let s = 679 - 224. Suppose j + 4*j = s. Is j a composite number?
True
Suppose -13*o + 4421 + 11946 = 0. Is o prime?
True
Is 4*20 + 1 - 2 prime?
True
Suppose -2*y - 10 = 0, 5*r + 3*y + 35 = -2*y. Is (-1)/(-2) - 691/r composite?
True
Suppose 4*t + 10*a = 5*a + 1032, 2*t = -a + 522. Is t composite?
False
Let f(q) = -q**3 - 6*q**2 - 5*q - 1. Let z = -4 + -1. Let o be f(z). Is (254/6)/(o/(-3)) a composite number?
False
Suppose 0*g - 546 = -5*g - 4*t, -4*g - 4*t + 440 = 0. Let b(v) = -v**2 - 12*v + 5. Let x be b(-9). Let s = g - x. Is s composite?
True
Let q be 3/15 + 488/10. Let l = 28 + q. Is l a composite number?
True
Suppose -100 - 11 = -3*v. Is v prime?
True
Let z = 11 - 7. Suppose -z*y = -j - 24, -j - 1 + 5 = 0. Suppose -i = y - 118. Is i prime?
False
Suppose 2*z + 8 = -4*q, 6*z + 5 = 4*z - 3*q. Suppose -4*y + h - 65 = 0, -2*y + z*h = 21 + 19. Let i = 20 - y. Is i a composite number?
True
Let b = -225 - -520. Is b a composite number?
True
Suppose -4*k - 2*b + 941 + 73 = 0, k = 4*b + 231. Is k a composite number?
False
Let o(f) be the first derivative of 8*f**2 + 3*f**3 - 1 - 2*f**2 - f - 5*f**2. Is o(1) prime?
False
Suppose -2*y - 80 + 474 = 0. Let g(n) = -n**3 - 10*n**2 - 2*n - 7. Let x be g(-6). Let q = y + x. Is q prime?
False
Suppose -5*m + 2*m + 22 = r, 0 = -2*m - 4*r + 8. Is (-12)/16 - (-4702)/m a composite number?
False
Suppose 388 = 5*n - 537. Suppose -9 = -i + n. Suppose 6*l = 4*l + o + i, 3*o = 5*l - 485. Is l composite?
False
Is (921/(-6))/((-2)/4) composite?
False
Let t be 1*(2 + 39 - -1). Let u = t + -10. Suppose 12 + u = 2*n. Is n a prime number?
False
Let h = 190 - 29. Is h a prime number?
False
Let c(p) = 4*p**2 - 2*p + 1. Let j(o) = -o**2 + o - 1. Let v(k) = -c(k) - 5*j(k). Is v(6) a prime number?
False
Let g = -1455 - -3073. Is g composite?
True
Let y(m) = m**3 - 3*m**2 - 2*m - 2. Let n be y(4). Suppose n*g - 3*g = 0. Let j = 19 + g. Is j a composite number?
False
Let k = 8 + -12. Is (1 - -1)/k*-38 a prime number?
True
Let c = 3 + 0. Suppose j + 5*o = -0*j, 5*o = -c*j. Suppose -q + 4*q - 39 = j. Is q a composite number?
False
Suppose 4*h + 4 = 0, -a - a + 935 = -h. Is a composite?
False
Let d(b) = 11*b**2 - b - 2. Let m be d(-9). Is m/6 - (-4)/(-6) composite?
False
Suppose -3*o + 618 = -447. Suppose 5*s = -0*s + o. Is s prime?
True
Let n(w) = w**2 - 5*w - 3. Is n(19) composite?
False
Let k be 3/((-9)/6) + -2. Let t = 4 + k. Suppose 4*f - 2*u - 31 = 55, t = 4*u - 4. Is f a prime number?
False
Suppose 0 = -3*m - 1 - 11, 0 = c - m + 95. Let i = -64 - c. Is i prime?
False
Let h be 2/(-6)*(-30 + -3). Suppose 3 - h = -4*i. Is i/(-4)*2*-47 a composite number?
False
Is 31 - -3*4/6 a composite number?
True
Suppose -2*g + o = -1955, -2*g - 982 = -3*g + 5*o. Is g prime?
True
Suppose 3*f + 0*z + 2002 = 5*z, -3*f = 5*z + 1982. Let o = 223 - f. Is o a prime number?
True
Let a be 100/15 - 2/(-6). Let u(k) = k**2 + 7. Let j be u(a). Let b = 93 - j. Is b a composite number?
False
Let i(t) be the first derivative of t**2/2 + t + 1. Let s be i(5). Is 2*(-2 + 123/s) composite?
False
Let b = -16 - -238. Suppose 0*m - a - 148 = -2*m, -3*m + b = 2*a. Is m prime?
False
Let w(x) = -2*x + 2. Let b be w(-3). Let u(k) = k**3 - 9*k**2 + 10*k - 5. Is u(b) a prime number?
True
Let n be 7/2*(-2)/1. Let g = -4 - n. Suppose 48 = 2*t - 4*k, 92 = 4*t - k - g*k. Is t a composite number?
True
Suppose 2*s - 10 = -0*s, -2*s = 2*v - 16. Suppose -v*d + 446 = 4*o, 0 = 4*o - 4*d - 458 - 2. Is o prime?
True
Is (342 + -5 - 2) + 1 + 1 a composite number?
False
Let k be 68/(-3)*1*-3. Suppose 0 = -h - h + k. Is h composite?
True
Suppose 5*j + 3*r + 322 = -0*r, 2*j + 4*r = -126. Let x be 4/(-18) + j/(-9). Let b(u) = 10*u + 7. Is b(x) prime?
False
Let r = 25 + 69. Is r composite?
True
Let c(p) = p**3 - 6*p**2 + 2. Let g be c(6). Suppose 2*l + g = l, 5*v - 43 = -l. Let j = v + -5. Is j prime?
False
Let t(p) = 19*p + 16. Is t(7) a composite number?
False
Suppose 5*p - 40064 + 13929 = 0. Is p a composite number?
False
Let s = 1782 - 1209. Suppose -g = 2*g - s. Is g prime?
True
Is 3865/4 - (-36)/48 a prime number?
True
Let i(l) = 3*l**3 - l**2 + 2. Let f be i(2). Is 143/f*(2 + 0) prime?
True
Suppose -2*l + 84 = -3*y + 461, -l + 249 = 2*y. Let u = -88 + y. Is u composite?
False
Let a = 2 + -3. Is 5/(-1*a/23) prime?
False
Let s = -1638 - -2307. Is s a composite number?
True
Let w = 417 - 214. Is (w/(-3))/(4/(-12)) composite?
True
Suppose 3*a + 2 = -16. Let q be (-52)/(-12) + (-4)/a. Let i = q + 9. Is i a prime number?
False
Suppose 463 + 295 = 3*n - x, -4*n + 1020 = x. Is n prime?
False
Let t(r) = -r**2 + 3*r + 4. Let g be t(5). Let q be 2/(-3)*(-9)/g. Is ((-12)/(-8))/(q/(-14)) a prime number?
False
Let s(f) = f**3 - 2*f**2 + 7*f - 1. Is s(5) a composite number?
False
Is (-4)/(8/(-6)) - -676 a prime number?
False
Let k be (-4)/18 + 542/9. Let s = k - 85. Let t = -18 - s. Is t a composite number?
False
Let a(c) = -c + 11. Let u be a(9). Suppose 3*g + 4*s = 59, 2*g + u*s = -0*s + 36. Is g a composite number?
False
Is (-9)/18 - (-534)/4 composite?
True
Let n(s) = -2*s - 3. Suppose 0 = 5*u + 4*v + 23, 0*u - 2*u = -5*v - 4. Let c be n(u). Suppose 5 = c*i - 16. Is i prime?
True
Is 813/2 - (-4)/8 composite?
True
Suppose -5*w + 1257 - 193 = -3*y, 1046 = 5*w + 3*y. Is (w/4)/(3/12) prime?
True
Suppose f - 118 = -49. Is f composite?
True
Let a = -5 - -242. Is a a composite number?
True
Suppose -6 - 2 = -4*y. Suppose y = v - 3*p, 3*p = 5*p. Is 0 + (14 - (v - 1)) a composite number?
False
Is (-3414)/(-9) - 3/9 a prime number?
True
Let w(k) = -2*k - 1. Let o be w(-2). Suppose -224 + 617 = o*c. Is c composite?
False
Suppose 4*q = 5*f - 10, -q = 4*f - 5 - 3. Suppose 3*m + k - 470 = q, -4*m + 5*k + 790 = m. Is m a composite number?
False
Suppose -3*r + 680 + 1261 = 0. Is r a composite number?
False
Suppose 0 = -4*z + 18 - 6. Suppose 5*o + 18 + 2 = -x, z*x - 3*o = 30. Suppose 93 = x*w - 2. Is w composite?
False
Suppose 3*f + 36 = -0*f. Let c be -4*(-1 + 3/f). Suppose 3*r = c*r - 70. Is r a prime number?
False
Suppose 3 = -t + 5. Suppose 3*s + 2*o = 583, -t*o = -4*s - 4*o + 774. Is s composite?
False
Let g(w) = -w**2 - 9*w - 9. Let r be g(-7). Suppose 2*j - 3*v + 36 = -30, -5*v = r*j + 215. Let b = j - -76. Is b a prime number?
True
Suppose 0*i + 159 = 3*i. Suppose 3*h + 2*j = i, h - 5*h + 2*j + 94 = 0. Suppose -o - h = -4*o. Is o a composite number?
False
Suppose -5*j = -5*f + f + 230, -3*j - 116 = -2*f. Is f a composite number?
True
Suppose 4*r = 2*h - 10, 3*h = 4*h + r + 1. Let z be (-1)/2 + h/(-2). Is z*(-54 + 1)/1 a composite number?
False
Let a = 46 + -85. Is a*4/(-12)*1 a prime number?
True
Suppose 4*w = -w - 25. Let l = w - -36. Is l prime?
True
Suppose 8 = 4*y - 0*y. Is (y - (1 + 0)) + 54 composite?
True
Let z(u) = u + 6. Let p be z(0). Is -3*(0 + (-52)/p) a composite number?
True
Suppose 0*l + c = -2*l + 3, -5*c - 15 = 0. Suppose -l*a + 2*a = 7. Let s = -4 - a. Is s a prime number?
True
Suppose -4*f - 2*s + 87 = -3*s, 0 = 4*f - 3*s - 93. Is f composite?
True
Suppose 5*l - 7 = -87. Let n = l - -28. Suppose j = -3, -29 = -2*y + j + n. Is y a prime number?
True
Let i(a) = 22*a**2 + a - 3. Let k = 23 - 19. Is i(k) prime?
True
Let m(f) = -f**3 - 9*f**2 - 9*f - 13. Let u be m(-12). Let n = -314 + u. Is n prime?
False
Suppose -4*a + 1172 = 160. Is a a composite number?
True
Let c = 22 - 13. Let d be (6/(-7))/((-2)/98). Let s = d - c. Is s a composite number?
True
Suppose q - 2*c = -3*c + 46, -181 = -4*q - 3*c. Let i = -76 + 134. Suppose -i = -3*h + b, 4*b = -3*h + 6*h - q. Is h a prime number?
False
Let o = -10 + 8. Let n(z) = 6*z**2 + z. Is n(o) prime?
False
Let i(h) = h**3 - 4*h**2 - 4*h + 5. Let k(g) = -2*g + 10. Let n be k(7). Let b be -2*6/n - -2. Is i(b) a prime number?
False
Let u be 6/(-4)*262/3. Let d = 540 + u. Is d a prime number?
True
Let b = 23 - -92. Is b a prime number?
False
Let s(a) = -3*a**3 - 7*a**2 + 2*a - 11. Is s(-6) a composite number?
False
Let a(q) = 81*q**2 - 15*q - 23. Is a(-9) a co