a*r. Is r a composite number?
False
Let b(l) = l**3 + l**2 + 685. Let d be b(0). Let p = -378 + d. Is p a composite number?
False
Suppose 5*l - 11 = v, 4*l - 4 + 1 = -5*v. Let o = 2 + v. Is 42/8*(3 + o) a composite number?
True
Suppose 5*w + 13 = 3*u, 5*w + 6 + 27 = -2*u. Let v be (-815)/w - (4 - 2). Is (-2 - -3)*1*v composite?
True
Let f(h) = -h**3 - 5*h**2 + h - 8. Let i be f(-9). Suppose 4 = 2*w + 2, 0 = 2*c + 5*w + 355. Let y = i + c. Is y a prime number?
True
Let u = -334 - -781. Is u a composite number?
True
Suppose -5 = -5*l - 0*l. Is 2*l/4*110 composite?
True
Suppose -8*j + 777 = -j. Is j composite?
True
Let b(a) = -a**2 - 5*a + 5. Let f be b(-7). Let x(h) = 3*h**2 + 3*h - 6. Let v be x(f). Let r = v + -133. Is r prime?
False
Let o(l) = l - 1. Let a be o(1). Suppose -3*r + 270 = -3*k, 3*r - k + a*k - 272 = 0. Is r composite?
True
Is (-2 + (-56)/3)/(30/(-2655)) prime?
False
Let t = -13 - -23. Let w(s) = 4*s - 7. Is w(t) composite?
True
Suppose -v + 4 = 58. Let m = 107 + v. Is m composite?
False
Let b = -90 + 225. Suppose b = t - 0*t. Let s = t - 22. Is s a composite number?
False
Suppose 2*k + 30 = 7*k. Let y = -11 + k. Is (y/(-2))/((-3)/(-12)) prime?
False
Suppose -4*p - c - 4 = 0, p - 3*p = 5*c + 20. Suppose -t = -p*t - 211. Is t a prime number?
True
Let j(w) = -28*w - 3. Let s(h) = 29*h + 2. Let f be (0 - -5)*(-3 - -2). Let k(o) = f*j(o) - 4*s(o). Is k(5) composite?
False
Let u(f) = -f**3 - 6*f**2 - 4*f + 5. Let n be u(-6). Let r = 149 + n. Is r composite?
True
Let i = 1331 + -376. Is i a composite number?
True
Suppose 2 = 2*o + 5*r - 22, -3*o - r + 49 = 0. Let t = o + 88. Suppose -4*n + t = 1. Is n a prime number?
False
Suppose 3*r = 2*r. Suppose 0 = -h - r*h + 49. Is h composite?
True
Suppose -p + 5*r + 144 = 0, 0 = -4*p + r + 209 + 348. Is p a prime number?
True
Let b(l) = 2*l**3 - 8*l**2 + 7*l + 15. Is b(7) a prime number?
False
Suppose -w + 1112 = -3*p, -1114 = w - 2*w + 5*p. Is w prime?
True
Let k(y) be the first derivative of y**3/3 + 5*y**2/2 - 10*y + 1. Let o be k(-7). Suppose -117 = -o*g + 67. Is g prime?
False
Suppose 15655 - 2049 = 2*o. Is o composite?
False
Let z(n) = -26*n - 11. Is z(-9) prime?
True
Suppose -2*b + g = -3085, 2*g - 6945 + 771 = -4*b. Is b prime?
True
Suppose 3*h = -5*s + 13, -h - 4*s = -3*h - 6. Let j(b) = 111*b**2 + b - 1. Let k be j(h). Let u = -76 + k. Is u a composite number?
True
Let b(n) be the third derivative of n**6/120 - n**5/60 + 2*n**3/3 - n**2. Let t be b(0). Suppose -u = -2*d - 11, 2*u = -d + t*d + 24. Is u a prime number?
False
Let j be (3/(-4))/(3/(-36)). Is ((-3)/j)/(3/(-171)) a composite number?
False
Let o(g) = -3*g**3 - 2*g**2 - 2*g - 2. Let t be o(4). Let y = -157 - t. Is y a composite number?
True
Let s = -1 - -6. Suppose 0 = -4*z + 5*f + 183, -z + f = -5*z + 213. Suppose s + z = 3*n. Is n a prime number?
True
Let v be (4/6)/((-2)/(-6)). Suppose 0 = -6*r + v*r + 92. Is r composite?
False
Let f = 1 - -4. Suppose 3*k + 3*r = 1086, -4*k + f*r - 243 = -1718. Is k composite?
True
Suppose -3*y - 2*f + 2683 = 0, y + 4480 = 6*y - 5*f. Is y a composite number?
True
Let b(p) = -p**2 + 6*p + 9. Let y be b(7). Suppose -2*u = -y, -f - 5*u + 8 + 20 = 0. Is f prime?
True
Let u be (8/(-28))/((-2)/28). Suppose u*v - 1098 = 554. Is v a prime number?
False
Let y(t) = 27*t**2 - 2*t - 3. Let v = 2 - -1. Suppose 0 = -2*s + 8, v*z + z - s + 12 = 0. Is y(z) prime?
True
Suppose -r + 4 = 10. Let x(z) = z**2 - 7*z + 7. Let a be x(5). Let l = a - r. Is l a composite number?
False
Let k(p) = -6*p**3 + 3*p**2 - 5*p. Let g(j) be the first derivative of -7*j**4/4 + j**3 - 3*j**2 - j + 2. Let i(w) = 3*g(w) - 4*k(w). Is i(2) a prime number?
True
Suppose -6*x + 0*x = -2874. Is x a composite number?
False
Suppose -2*c + 2*j = 6*j - 290, -5*c + j + 692 = 0. Suppose -2*l = -283 - c. Is l prime?
True
Let f(o) = 9*o**3 - 3*o**2 - 4*o - 3. Let n be f(-2). Let p be (-6)/(-27) - n/9. Let z = 46 - p. Is z composite?
False
Let g(r) be the second derivative of 3/2*r**3 + 3*r + 1/4*r**4 + 4*r**2 + 0. Is g(-6) prime?
False
Let p(h) = 6*h - 2. Suppose 5*c = 3*i - 2, 3*c + 8 = -c + 4*i. Let n be p(c). Suppose 0 = 3*v - 4*m - 46, -v - m - n = 4*m. Is v a prime number?
False
Let l be (-27)/(-4) - 1/(-4). Suppose d - l = 53. Let t = 127 - d. Is t a prime number?
True
Is (2/6)/(2149/1074 - 2) prime?
False
Suppose 0 = 25*y - 29*y + 2588. Is y prime?
True
Suppose 0 = 2*i + b - 49, 4*b = 2*i - 23 - 41. Is i composite?
True
Let a be ((-2)/4)/(2/4). Let d be 0/((a - -2)/1). Suppose d = 2*m - 58 - 48. Is m a composite number?
False
Suppose 70 - 273 = -q. Is q a composite number?
True
Suppose -2 = 4*f - 5*f. Is f + (86 - 3) + 0 prime?
False
Suppose 3*f - 5 = 4. Suppose -f*d + 106 + 71 = 0. Is d composite?
False
Suppose 2*j - 3*o + 4*o = 435, 882 = 4*j - 2*o. Is j a composite number?
True
Suppose -4*z - 197 = -2*z - 5*j, j = -3*z - 287. Let r = 165 + z. Suppose 5*q - 249 = 4*t, -q - t = 3*t - r. Is q prime?
True
Let h be (-4)/(-15 + 3)*12. Is 4/8 + 506/h a composite number?
False
Is -1 + 4 + -377*(-5 - -1) prime?
True
Let x(y) = 6*y**2 - 4*y - 3. Is x(5) a prime number?
True
Let i be 4/(-6)*(-6)/2. Suppose -6*u + i*u + 812 = 0. Is u prime?
False
Suppose -d = 4*d - 140. Suppose 11 = -k - d. Let a = 76 + k. Is a a prime number?
True
Suppose j + c - 5*c = 420, 4*c = 3*j - 1284. Suppose 5*m + 8 - j = z, -2*m - 3*z + 173 = 0. Is m a composite number?
True
Let p(u) be the first derivative of -u**4/4 - 3*u**3 - 7*u**2/2 + 8*u - 3. Let o be p(-8). Is 14*5/2 + o a composite number?
True
Suppose -39*s = -35*s - 8636. Is s a composite number?
True
Suppose 5*i - 5 = -2*q - 3*q, q + 2 = 0. Suppose -201 = -3*c - i*w, -c - 4*w + 7*w = -75. Is c composite?
True
Suppose -3*o + 75 = 2*o. Suppose o = 4*r - 5. Suppose r*p = 245 + 390. Is p a prime number?
True
Let x(w) = w**3 + 29. Let f be x(0). Let s = 51 - f. Is s composite?
True
Let j(n) = -n**2 - 7*n - 1. Suppose 4*h = -5*g - 30, 3*g + 18 = -0*h - h. Let t be j(g). Suppose -t*x + 95 = -5*d + 5, -x + 38 = 3*d. Is x prime?
True
Let v = -490 + 10. Let q = -125 - v. Is q a composite number?
True
Let q = 9 + 22. Is q a prime number?
True
Let t(b) = -4420*b + 1. Is t(-1) a composite number?
False
Suppose -2*s + 8 = 4*a - 5*s, -5*s + 15 = -a. Suppose a*x - 3 = -13. Is (1106/21)/(x/(-3)) a composite number?
False
Let t be (375/(-6))/(1/(-2)). Let a be (25/(-4))/((-3)/24). Suppose 10*j - 5*j - 3*i = t, -2*i - a = -2*j. Is j a prime number?
False
Suppose -3*u - 5*v - 20 = 0, -3*u + 5 + 11 = -4*v. Suppose 2*n + 3*z - 97 = u, 2*n = n + 5*z + 68. Is n a composite number?
False
Suppose 0 = -4*h - k + 1879, 7*h - 3*h - 1881 = k. Let l = -4 - -9. Suppose 7*s - 2*s = l*b - h, -5*s = -15. Is b composite?
False
Suppose -4*u + 242 = -330. Is (4 + -5)*u/(-1) a composite number?
True
Let p be -14 - ((-2)/(-1) + -2). Let w be 1/(-3) + p/(-6). Suppose -2*u + 6*u - 154 = 3*d, 4 = -w*d. Is u prime?
True
Suppose 24 = 4*j - 4*k, -5*j + 0*k = -3*k - 28. Suppose 5*r - 3*i + 73 = 0, 0 = 3*r + j*i + 95 - 24. Let q = r - -108. Is q a composite number?
True
Suppose 13 = -4*w - 5*b + 1, -26 = -3*w + 5*b. Suppose -i - 313 = -5*r - 4*i, -r + 60 = -w*i. Is r composite?
True
Let w = -2 - -8. Suppose 5 + w = m. Is m prime?
True
Let d(f) = 3*f**2 - 33*f + 47. Is d(27) composite?
True
Let i(r) = 81*r**2 + 4*r - 2. Let c be i(4). Suppose -3*v + c = d, 0*v - 871 = -2*v - 3*d. Is v prime?
False
Suppose -974 = -3*b - 221. Is b a composite number?
False
Let m(q) = 3*q + 1. Let i be m(1). Suppose i*n + r - 13 = 0, 5*n - r - 20 = -6*r. Suppose 0 = o + n*o - 460. Is o composite?
True
Suppose 123 + 21 = 3*a. Let b = a + -11. Is b prime?
True
Suppose -y = -5*y + 2*i + 33862, -2*y + 3*i + 16933 = 0. Is y composite?
True
Suppose -y - 4*y + 10 = 0. Let v = y - 0. Suppose -6*b + 260 = -v*b. Is b prime?
False
Is (-14)/(69/71 - 1) a prime number?
False
Let n be 5/1 + -3 + -2. Suppose 2*d - 3*d = n. Suppose d*v - 8 = -4*v. Is v composite?
False
Let g = 399 + 1802. Is g composite?
True
Let n(t) = 56*t + 7. Let s(v) = 12*v**2 - 1. Let y be s(-1). Is n(y) prime?
False
Let y = 3 - 1. Let s be (1 - y)*12/(-3). Suppose s*x - 107 - 113 = 0. Is x a prime number?
False
Suppose -t + 24 + 357 = 0. Is t composite?
True
Suppose -3*s + s - 20 = 0. Let h = s + 8. Let i = h + 