pose -j = -x*j + 76. Is j a composite number?
True
Let r(s) = s**3 + 2*s**2 + 4*s - 4. Let n(j) = j**2 - 2*j + 3. Let l be n(2). Is r(l) prime?
True
Suppose q - 3*q = 3*c - 149, 0 = 4*c - q - 217. Is c a composite number?
False
Suppose 4*x - 1228 = -0*x. Is x a prime number?
True
Let f = -17 - -103. Let p = f - 9. Is p composite?
True
Let k(m) = -59*m**2 - m - 1. Let u be k(-1). Let h = u + 34. Is (-4090)/h - (-3)/(-5) composite?
False
Let l be (-1 - 2)/(3/(-2)). Suppose 0 = -l*o + 10. Suppose 4*q - 173 = o*x, -3*q + 113 + 19 = -3*x. Is q a composite number?
False
Let m be 4 + (-18 - (3 - 2)). Is 1341/(-6)*10/m composite?
False
Let s(k) = -k**2 + 4*k + 1. Let m be s(3). Let f(u) = 4*u**2 - 2*u + 3. Let v be f(2). Suppose 0 = -3*g, g - v = -j + m*g. Is j prime?
False
Suppose 0 = -n + 212 - 63. Is n prime?
True
Let q = 7 + -5. Suppose 0 = -4*n + w + 146, q*n - 121 = -n - 5*w. Is n composite?
False
Let q(z) = 16*z**2 - 4*z + 9. Let m(u) = -17*u**2 + 5*u - 9. Let o(l) = 2*m(l) + 3*q(l). Is o(8) a prime number?
False
Let l(p) = 162*p - 1. Let w = 2 - 1. Is l(w) prime?
False
Suppose 0*f - 160 = -4*f. Suppose 2*o + f = 114. Is o a composite number?
False
Let t(q) = q**2 - 10*q - 8. Suppose 42 - 6 = -4*k. Is t(k) a composite number?
False
Let n(b) = -10*b**2 + 3*b + 1. Let o be n(-4). Suppose -815 - 91 = -3*s. Let r = o + s. Is r composite?
False
Suppose -5*y - 7*b - 25 = -4*b, 27 = -y - 5*b. Let s be 144/2 - (y + 3). Suppose -2*u + m = 2*m - s, -83 = -2*u + 3*m. Is u a composite number?
False
Suppose 0 = f - 0 - 6. Let c be (1 - f)/((-1)/1). Suppose c*y - 36 - 84 = -5*p, 4*p - 78 = 2*y. Is p a prime number?
False
Let l(z) = 4*z + 1. Let c(b) = 7*b + 5. Let v(d) = -7*d - 4. Let a(y) = 2*c(y) + 3*v(y). Let g(i) = 3*a(i) + 5*l(i). Is g(-7) a composite number?
True
Suppose -2*b - o - 648 = -4*b, 1282 = 4*b + 5*o. Is b a composite number?
True
Let j be (-2)/(4/2) + 6. Suppose 30 = j*b - 100. Is b a composite number?
True
Suppose -2*d - 5*h = -31, -2*h = -2*d - h + 1. Suppose g - 3*n - 12 = 0, 4*g - d*n - 6 - 6 = 0. Suppose g = -3*z - 0*z + 12. Is z prime?
False
Let t(v) = 3*v - 2. Let y be (1/3)/((-2)/(-24)). Is t(y) a composite number?
True
Let w(c) = 34*c + 11. Let p be w(8). Suppose p = -3*n - 503. Is 2/7 + n/(-14) composite?
False
Let p(m) = 11*m**2 + 2*m - 1. Let o be p(-7). Suppose 4*v = -o + 84. Let j = -41 - v. Is j composite?
True
Let t = -222 + 31. Is t/((-3)/(-1) + -4) composite?
False
Let w(q) = -q**2 - 7*q - 7. Let m be w(-6). Let a(k) = 10*k**2 + k. Let l be a(m). Suppose 5*u - l*u = -524. Is u a composite number?
False
Let r(f) be the third derivative of 4*f**5/15 + 5*f**4/24 - 2*f**3/3 + 2*f**2. Let d be r(3). Let n = d - 64. Is n prime?
False
Let r be 7/1 - (3 - -1). Suppose -r*h + 53 = 2*v, -v - 2*v = -2*h - 112. Is v prime?
False
Suppose 2*m + 1 = -1, -5*x + m = -8286. Is x a composite number?
False
Suppose 3799 = 5*s - 2*x, s = 3*s - 5*x - 1507. Is s a prime number?
True
Is (-141)/6*(-84 + -2) prime?
False
Suppose -3*j + b + 19 = -b, -3*j - 3*b = -9. Suppose -j*w + 3*w + 412 = 0. Is w a prime number?
False
Let w(o) = o**3 - 10*o**2 + 11*o + 3. Let y = -10 + 19. Is w(y) a prime number?
False
Let d = -171 + 300. Is d composite?
True
Let n(b) = b. Suppose -c - 3 = -2. Let k(f) = -f**2 - 2*f - 1. Let o(q) = c*k(q) - 2*n(q). Is o(8) composite?
True
Let j = 189 - 619. Is (-30)/(-20)*j/(-3) prime?
False
Let n(t) = -97*t. Let p(h) = 2*h + 2. Let q be p(-3). Let r be (q/6)/(4/6). Is n(r) a prime number?
True
Is ((-746)/3)/(20/(-30)) prime?
True
Let p be (-1)/(7/4 + -2). Suppose -2*i + i - 7 = -3*z, p = 4*z - 4*i. Suppose z*d - d - 18 = 0. Is d a prime number?
False
Suppose 0 = 5*o - o - 128. Let d be (138/(-4))/((-8)/o). Suppose -c + 42 = p, -c + d = 4*p - 3*c. Is p composite?
False
Suppose 15 = 2*i - 7*i. Let m be (-2 - -11)/(i/(-15)). Suppose -5*u + 79 = 2*l, l + 4*u = m - 4. Is l composite?
False
Let q(n) = -30*n + 18. Let o = 11 - -2. Let r be q(o). Let c = -231 - r. Is c a prime number?
False
Let p = 10 + -5. Suppose 5*l = -a, -3*l = -3*a - 13 - p. Is l/(-4) + 308/16 prime?
True
Let f be (-7)/2 - (-3)/6. Let t be (f + 1)*9/(-6). Suppose t*u - u - 14 = 0. Is u a prime number?
True
Let s(i) = i + 3. Let t be s(11). Suppose 5*p - v = 54 - 6, p + 2*v = t. Is p a composite number?
True
Suppose 970 = 2*y - o, 954 = 2*y - 4*o - o. Is y composite?
False
Suppose -8 = 2*w - 4*w. Suppose w*g + 97 = 5*g. Is g prime?
True
Let x(p) be the first derivative of p**3/3 + 3*p**2/2 + 2. Let g be x(-4). Suppose g*r - 37 = 15. Is r a composite number?
False
Let y = 1021 - 372. Is y a prime number?
False
Let z be ((-120)/25)/((-2)/(-20)). Let f = 79 + z. Is f prime?
True
Let a(d) = -d**2 - 5*d - 3. Let c be a(-3). Suppose 18 = p + c. Is p a prime number?
False
Let g(z) = 32*z + 9. Let q be g(-6). Let d = -96 - q. Is d a composite number?
True
Let s be 40/7 - 10/(-35). Let a be ((-89)/(-3))/((-2)/s). Is (a/(-1) - -2)/1 composite?
True
Let q be (-9890)/(-8) + 5/(-20). Let o be 4/(-14) + q/14. Let a = o + -53. Is a a composite number?
True
Suppose a = 5*a - 12. Let w(t) = 2*t - 2. Let i be w(a). Suppose 45 = i*m - 47. Is m composite?
False
Let a(j) = j**3 - 16*j**2 + j + 7. Is a(16) prime?
True
Is 3 + 3/((-15)/(-1250)) composite?
True
Suppose 0 = 3*d - d. Suppose -j - 73 + 30 = d. Let m = 8 - j. Is m a prime number?
False
Suppose -5*g - 3*v = 60, 4*g + 20 = -g + 5*v. Let p = 74 - 162. Is (g/(-6))/((-6)/p) a composite number?
True
Let t(n) = -9*n**2 - 7*n. Let k be t(-5). Let b = k - -333. Is b a prime number?
False
Let u = -3188 - -6395. Is u prime?
False
Let x(w) = 170*w - 53. Is x(6) prime?
True
Suppose -3*n + 0*n + 3012 = 5*i, 5*n - 3*i = 5054. Is n a composite number?
False
Let q(k) = 81*k + 1. Is q(8) a prime number?
False
Let s(a) = 0*a - a + 0*a + 7. Is s(0) a composite number?
False
Suppose -16 + 2 = -2*z. Let t(n) = 14*n - 7. Is t(z) composite?
True
Let h(d) = d + 5. Let c be h(-7). Let m be 5*(-2)/(4/2). Is (-3129)/(-35) - c/m composite?
False
Let v be 0 + 5/((-15)/18). Is (87 + 10)/((-2)/v) prime?
False
Let m(k) = 126*k**2 + 5*k - 31. Is m(6) a composite number?
True
Let o = 16 - 62. Let t = o + 205. Suppose t = 3*p + 12. Is p a prime number?
False
Suppose 0 = 58*x - 63*x + 7405. Is x prime?
True
Suppose 0*g - 8*g + 2840 = 0. Is g prime?
False
Let q(z) = 5*z**2 - 2*z + 7. Suppose -2*y - 3 = 7. Is q(y) a composite number?
True
Suppose 2*l - 328 - 30 = 0. Is l a composite number?
False
Let o(j) = -j - 4. Let b be o(-4). Let d = 70 + -1. Suppose b*y + y = d. Is y a prime number?
False
Let w be ((-4)/(-2) - 0) + 1. Suppose -w*c - c = -32. Suppose 0*j - c = -4*j. Is j a prime number?
True
Let a be (-127 + 0)/(-5 + 4). Suppose a = -5*y + 1302. Is y a composite number?
True
Let j(q) be the third derivative of -1/6*q**3 + 0 - 2*q**2 + 0*q + 11/12*q**4. Is j(6) a composite number?
False
Let g = -217 + 470. Is g a composite number?
True
Let y(d) = -218*d. Is y(-1) prime?
False
Let u(a) be the first derivative of -1/2*a**2 + 3*a + 1/3*a**3 - 3. Is u(0) composite?
False
Let w(n) = n**2 + 8*n + 5. Is w(-12) a prime number?
True
Suppose 0 = 8*o - 3*o - 25. Suppose 1 = 3*p + 2*z, 0 = -z - 1 - 3. Suppose 8*n - p*n = 3*h - 45, 0 = -o*h - 5*n + 75. Is h a prime number?
False
Suppose -5*h = -3*k - 4*h + 1442, -h + 963 = 2*k. Is k prime?
False
Let z be ((-6)/8)/((-3)/12). Let y = 3 - 2. Let k = z + y. Is k a prime number?
False
Suppose 8*c - 5 = 3*c. Suppose 5 + c = l. Suppose 3*u - 338 = b, -4*u + 4*b + 434 = l*b. Is u composite?
True
Let m be (-2)/(-4) + 14/4. Let p = m + 3. Suppose -6*s - 113 = -p*s. Is s a composite number?
False
Let s(h) = -16*h**3 - 2*h**2 - h - 5. Is s(-4) composite?
False
Suppose 5*u + 5215 = 10*u. Is u prime?
False
Is (-2)/(-5) - (-22692)/20 composite?
True
Let y(b) = -b**2 - 17*b - 5. Is y(-14) prime?
True
Suppose -2*c = -5*c - 30. Let u(a) = a**2 + 2*a + 11. Is u(c) a prime number?
False
Let o(k) = 4*k**2 + 3*k + 4. Let a(t) = t**2 - 6*t - 7. Let y(h) = -h**2 + 6*h + 6. Let s(g) = 4*a(g) + 3*y(g). Let i be s(7). Is o(i) composite?
False
Suppose -2*p = -964 - 118. Is p composite?
False
Suppose -h - 39 = 71. Is ((-1)/2)/(1/h) composite?
True
Let p(v) = 345*v**2 - 1. Let s be p(1). Let u = s - 195. Is u prime?
True
Suppose -i = -3*y + 3, -4*y -