-92 + 489. Is j a prime number?
True
Let a = -138 + 283. Is a a prime number?
False
Let a(l) = 3*l**2 - 9*l + 5. Let w = 5 + 2. Is a(w) composite?
False
Is (4 - 6)*-2 - -19 composite?
False
Let f(p) = -15*p. Let h be f(-3). Let u = 14 + h. Is u composite?
False
Is (-26)/(-65) + (-19026)/(-10) composite?
True
Let q = -396 - -699. Is q a prime number?
False
Suppose 2*j + r - 28 = 0, 2*j + j - 4*r - 53 = 0. Let p = j - 24. Let t(o) = -o**3 - 8*o**2 + 7*o - 7. Is t(p) a prime number?
True
Let g be ((480 - 1) + -2)*1. Is g/(-3)*2/(-3) composite?
True
Let y = -15 + 29. Suppose 0 = -2*w - 2 + y. Is w composite?
True
Suppose -4*p + 0*p = 36. Let w be 3/p + (-3)/(-9). Suppose m = -w*m + 47. Is m a composite number?
False
Suppose 0 = -3*f + 2*f - 5. Let k(v) = -6*v - 3*v + 2 + 2*v. Is k(f) prime?
True
Is 605/(-20)*4*-1 a prime number?
False
Let o = -7 - 5. Let i be (48/14)/(o/(-462)). Suppose 257 = 5*l + y - i, 0 = 2*y - 8. Is l prime?
False
Suppose 2*z + 3*v + v - 22 = 0, -3*v + 9 = -z. Let l = -68 - -68. Suppose l = -z*y + 2*y + 13. Is y a prime number?
True
Let y(b) = b**3 + 11*b**2 + 10*b + 7. Is y(-8) composite?
True
Suppose 2*z + 2*o + 35 = 7*o, -2*z - 3*o = -5. Is (-531)/(-15) - (-2)/z prime?
False
Suppose 11*b = 7*b. Suppose 2*u - 4 = u. Suppose 0 = -b*g - u*g + 356. Is g composite?
False
Let k(b) = -b**3 - 6*b - 4. Let f(m) = 2*m**3 + 11*m + 7. Let o(z) = 6*f(z) + 11*k(z). Is o(2) a prime number?
False
Let r be (-68)/18 + 2/(-9). Let p = r - -6. Suppose -50 = -p*q - 2*q - 2*i, 95 = 5*q - 4*i. Is q a composite number?
True
Let k = -8 - -6. Let a be (-3)/(-2)*(k - -4). Suppose -p - 50 = -5*v, -a*p = -4*p. Is v prime?
False
Let b(f) = f - 7. Let l be b(5). Let q be 7*1 - l/(-1). Suppose 0 = q*i - 10, -2*x - 5*i = -x - 47. Is x a prime number?
True
Let l be 3/((-1)/((-2)/(-3))). Is 0 - ((-4 - 403) + l) a composite number?
False
Suppose -1195 = -9*q + 23294. Is q a composite number?
True
Suppose 1297 = 5*v - 678. Is v a prime number?
False
Let q = 19 - -7. Let w = 5 + 6. Let g = q - w. Is g a composite number?
True
Let y be 2/(5/((-705)/(-6))). Suppose 0 = -l + y + 18. Is l prime?
False
Let s(v) be the first derivative of v**4/4 + 2*v**3 - 3*v**2 + 2*v - 2. Let t be s(-7). Let y(q) = -q**3 - 4*q**2. Is y(t) prime?
False
Let i(a) = 42*a**2 + 6*a + 31. Is i(8) a prime number?
True
Suppose -2*n + 1620 = 3*n. Let z = n + -133. Is z composite?
False
Let a = 668 - 401. Is a a composite number?
True
Is 6415/6 - (-4)/(-24) a composite number?
False
Let m = -8 + 13. Suppose -179 + 814 = m*s. Is s prime?
True
Let y(v) = v**3 + 2*v**2 + v + 7. Is y(5) a prime number?
False
Is (-1)/(-3) - (-5364)/27 prime?
True
Let v = -8 - -11. Let x be (0/(-2 + v))/(-2). Suppose x = -5*l - 4*m + 169, 3*l = 2*l + 3*m + 49. Is l composite?
False
Suppose -9 = -f - 3. Let j be ((-6)/(-5))/(f/15). Suppose d = j*d - 8. Is d a composite number?
True
Let y be (-20)/(-8) - (-6)/4. Suppose y*q - 2*x = -q + 1321, -4*x - 787 = -3*q. Is q prime?
False
Let b = 4137 - 1238. Is b a composite number?
True
Suppose 3*k - 1 - 2 = 0. Let x be k + -3 + 7/1. Let n(y) = 6*y + 7. Is n(x) a prime number?
True
Suppose 2*z - 3*z = 2. Let o be 1/z*2*12. Is 2/8 + (-153)/o a composite number?
False
Suppose 0*r = -r + 4*v + 699, -5*v - 3570 = -5*r. Is r composite?
False
Is 120/6*((-301)/(-4) + -2) prime?
False
Let h(o) = 2*o - 10. Let n be h(8). Suppose -n + 1 = 5*i. Is 91 - ((1 - i) + 0) prime?
True
Let v(t) = 13*t**2 + 4*t - 3. Suppose 5*s = 3*s + 4. Is v(s) a prime number?
False
Is (1 + 2 + -5)*-71 composite?
True
Suppose 0 = 2*l - 5*l. Suppose -n + l*b - 23 = 3*b, -3*b = -6. Let w = n - -126. Is w a composite number?
False
Suppose -15*v + 20*v = 4310. Is v composite?
True
Suppose 5*q = 5*v + 5, -4*v + 4 + 32 = 4*q. Let a(o) = 8*o**2 + o. Let k be a(-1). Suppose -15 = q*n, -n - 198 = 2*y - k*y. Is y composite?
True
Let l be (4/1)/4*-45. Let y = 40 + -131. Let r = l - y. Is r a prime number?
False
Let s(c) = 119*c - 5 - 23*c + 35*c + 39*c. Is s(2) a composite number?
True
Suppose -13709 = -18*g + 16513. Is g a prime number?
False
Let c be -4 - (2 + 0 - 1715). Suppose -c = 5*g - 5134. Is g a composite number?
True
Let m be 10/(-3) + (-1)/(-3). Let v = 3 - m. Is v composite?
True
Let a = 11 - 7. Suppose a*l = l + 921. Is l a prime number?
True
Is (2 - 1) + -1 - -1097 a composite number?
False
Let w(b) = b**3 - 5*b**2 + 24*b - 1. Is w(14) a composite number?
False
Let j(g) = -4 - 24*g - 2 - g + 6*g. Let b be (7/4)/((-3)/12). Is j(b) composite?
False
Let z(d) = -15*d**2 - 4*d + 9. Let r(u) = -7*u**2 - 2*u + 4. Let w(g) = -5*r(g) + 2*z(g). Is w(-11) composite?
True
Let j = 5 - 0. Suppose -167 = -5*a - b, -j*b + 6 = a - 37. Is a a prime number?
False
Let h = -275 + 1389. Is h composite?
True
Let x(w) = w - 7. Let l be x(10). Suppose 2*s + 0*s + 68 = 2*d, -d + 34 = l*s. Suppose -3*h + 2*m = -d, 3*m = -2*h - 2 + 16. Is h prime?
False
Let u(r) = -7*r**3 - 4*r**2 - 2*r + 6. Let p be u(4). Let s = -261 - p. Is s composite?
True
Suppose 5*k = 2*k + 429. Is k a composite number?
True
Suppose 0 = l - 0*l - 2*t - 1529, 5*l - 5*t = 7660. Is l prime?
False
Let j be 0*(-1)/4 + -21. Let d = j - -34. Is d prime?
True
Let p(s) = 3*s. Let d be p(1). Suppose y + d = 17. Is y a prime number?
False
Let d(c) = 107*c**2 + 1. Let l be (-4)/(-6)*(-9)/3. Let s be d(l). Suppose -y - 2*y + s = 0. Is y a composite number?
True
Let g(z) = z**3 - 5*z**2 - 8*z + 9. Let h be g(6). Let d = 11 - h. Let i = d + 19. Is i a prime number?
False
Suppose -5*n - 38 + 8 = -3*w, 2*n + 2*w + 12 = 0. Let m(r) = -r**2 - 9*r - 4. Is m(n) prime?
False
Let h be (-11)/(-1 - (-99)/96). Let d = -209 - h. Is d a composite number?
True
Suppose 101 + 794 = 5*x. Is x*(-2 + (-2 - -5)) composite?
False
Let x(c) = 3*c**3 + 4*c**2 - 5*c + 7. Is x(8) composite?
False
Suppose 3*o - 7*o = 3*v - 2620, -o = -2*v + 1754. Is 2 - (-2 + v/(-4)) prime?
True
Suppose 4*k + 0*g - 12 = 2*g, 5*k + 4*g - 15 = 0. Let q(w) = 86*w - 2. Let m be q(2). Suppose -i - 4*v + 9*v + 62 = 0, k*v - m = -5*i. Is i prime?
True
Let c(h) = 13*h**2 + 8*h - 3. Is c(5) composite?
True
Let c be 6/(-12)*(-1 - 1). Let w be c*12*(-6)/(-9). Let o = w + 2. Is o a prime number?
False
Let t be (-36)/(-15) - 4/10. Let w be (-43)/t*(4 - 2). Let l = w - -80. Is l prime?
True
Suppose 2*u - 5*k - 34 = 0, -3*k - 14 - 33 = -5*u. Let w = 11 - u. Suppose l - 6 = w. Is l a prime number?
False
Suppose -3*j - 9 = -2*j + 3*q, 2*q = 3*j + 27. Let o = 14 - j. Is o composite?
False
Suppose 20 = -2*j + 198. Is j a prime number?
True
Let t(j) = -2*j + 4. Let r be t(3). Let q be (-1)/(-1) + -4 + r. Is (-2)/q + (-26)/(-10) composite?
False
Let k(w) = w**3 + 6*w**2 + 3*w + 6. Let g be k(-5). Is g/(-24)*(-342)/4 a composite number?
True
Let w(r) = 11*r**2 + 5*r - 7. Is w(5) a prime number?
True
Let v = 817 + -554. Is v composite?
False
Suppose -2*y = h + 3, -5*h - 9 = 16. Suppose -3*x - 3 = 0, 0 = -0*t + 3*t + x + y. Is (t - -2)/(4/66) composite?
True
Let y be (-3)/(-9) + 8/3. Suppose 0 = y*b, a - 1 = b + 34. Is a a composite number?
True
Let l = -28 - -53. Suppose -a = -5*u - 7, -u = 2*a + 2*u + l. Let i(v) = -v**2 - 8*v + 2. Is i(a) a prime number?
True
Let j = 1193 - 835. Is j prime?
False
Suppose 5*o - 5386 = 4*z + 16, -z + 2 = 0. Is o prime?
False
Suppose 3*z = -4*s - 2*z + 295, -2*s + 149 = 3*z. Suppose u - 2*f = -u + s, 4*f + 16 = 0. Is u a composite number?
False
Suppose -n = 5*j - 10, 4*j - 8 = 2*n + 3*n. Suppose -2*b + n*b + 254 = 0. Is b a composite number?
False
Suppose v + 2*v - 2*s - 2147 = 0, 2*v + 2*s - 1418 = 0. Is v a composite number?
True
Let r(v) = v - 2. Let h be r(6). Suppose -3*w + 145 = d, 2*d + h*w - 725 = -3*d. Is d composite?
True
Suppose 13*s - 14*s = -1199. Is s composite?
True
Suppose 0*d - 17 = -5*d + m, -2*m = -5*d + 19. Is (-1)/(4/((-3516)/d)) a composite number?
False
Suppose 0 = -5*w + 2*n + 108, -3*n = -w - 0*n + 19. Is w a composite number?
True
Let k be 2 - (-5)/(-2)*-100. Let s = k - 155. Is s composite?
False
Let b(x) = x**3 + x**2 - x + 3. Let y be b(0). Suppose -v = 2*v + 15. Is (v/(-2) - y)*-142 prime?
True
Let f(u) = 6*u**3 - 5*u**2 + 6*u + 5. Let i(c) = -6*c**3 + 4*c**2 - 5*c - 4. Let h(j) = -3*f(j) - 4*i(j). Is h(2) prime?
False
Let o be (14/4)/(2/12). Suppose 5*p - 4 - o = 0. Suppo