Let y = 522 + 138. Suppose -2*v = -5*v + y. Let a = -153 + v. Is a a prime number?
True
Let t = 64 - 33. Is t a composite number?
False
Let f = 1 + 1. Suppose -f*d + 6*x + 608 = 2*x, x = d - 306. Suppose 4*s + 0*s - d = 0. Is s a prime number?
False
Let v = 30 + -21. Let r = v + -6. Suppose 0 = -t + r - 1. Is t a prime number?
True
Suppose -y - 368 = 3*y. Let u = y - -171. Is u composite?
False
Let g be 21/14*(-4)/(-3). Suppose k = 5*r + g*k - 91, 12 = -3*k. Is r composite?
False
Let z = -2 + 8. Suppose z*y - 191 = 3*y - 2*q, 5*y = -q + 330. Is y composite?
False
Let l(q) = 5*q**2 + 2*q. Is l(7) a composite number?
True
Suppose -1 = -4*b + 19. Suppose 430 + 1555 = b*a. Is a a composite number?
False
Let h(n) = n**3 - 9*n**2 + 2*n - 10. Let c be h(9). Let v = c - -14. Is v prime?
False
Is 1 - (0 + -178 - (-4 - -3)) prime?
False
Suppose -2*y + 4 + 2 = -s, 2*y = 2*s + 8. Suppose 5*t = q - 22, -2*q + 5*t + 16 = y*t. Is 1/(97/(-49) + q) prime?
False
Suppose 3*s + 16 = -20. Let y = s + 22. Is y composite?
True
Suppose -i + 628 = 3*i. Is i composite?
False
Is (0 - 1266/(-2))*(-286)/(-78) prime?
False
Let k be (-1 - -5)/(-2) + 179. Let h = 340 - k. Is h a prime number?
True
Suppose -33 = -2*r + 5*r. Let u = -7 - r. Suppose -j + 4 = -5*j, u*c - 2*j = 262. Is c a composite number?
True
Is (66 - 1) + -1 + 1 prime?
False
Let p = 5 - 5. Is 2*(p + 67/2) a prime number?
True
Suppose -4*h = -5*h + 5. Let t be (20/15)/(4/54). Suppose -h*w = -t - 247. Is w prime?
True
Let p(y) = -y + 13. Let g be p(0). Let r = g + -8. Suppose -3*w - b = -196, -3*w + r*b - 243 = -7*w. Is w composite?
False
Let g be (-4)/14 + (-4)/(-14). Suppose g*y + 204 = 4*y. Let w = y - 14. Is w a composite number?
False
Suppose 1245 = 4*p - p. Is p a composite number?
True
Let j(h) be the third derivative of h**6/120 - h**5/30 - h**4/12 + 2*h**3/3 + h**2. Let a = 4 + -1. Is j(a) prime?
True
Suppose 2*f + 17 = 4*r + 7, -4*r + 3*f + 9 = 0. Suppose 4*v + 28 = g - v, -3*g + 120 = r*v. Is g a prime number?
False
Let r(o) = 16*o - 2. Let w be r(2). Suppose p + w = 6*p. Is p composite?
True
Suppose 0*d - 216 = -3*d. Suppose -d + 18 = -3*q. Suppose 3*n - q = 219. Is n prime?
True
Suppose 3*d + 25 = 88. Let c = d - -48. Is c a prime number?
False
Let c be 4/(-16) + 25/4. Suppose k = c*k - 695. Is k prime?
True
Let i(m) = -m. Let g(h) = -39*h - 2. Let x(u) = g(u) + 6*i(u). Let w be (-10)/4 - (-3 + (-28)/(-8)). Is x(w) composite?
True
Suppose -25 = 4*v - 9*v. Suppose -5*o = 2*w - 2579, v*o = w + 4*w + 2565. Is o a composite number?
True
Let u(v) = 71*v + 17. Is u(27) prime?
False
Is 10/(-3)*6963/(-22) composite?
True
Let q(w) = 4*w + 6. Let b(l) = -9*l - 11. Let k(n) = 3*b(n) + 7*q(n). Let j be k(-9). Is 14*1 - (3 - j) a composite number?
False
Suppose 193 = l + 4*f - 89, -4*l + 2*f + 1092 = 0. Let h(w) = -2*w**3 + 3*w**2 + 4*w - 4. Let q be h(5). Let x = q + l. Is x a prime number?
False
Let h(c) = -c**2 + c + 1. Let p be h(1). Let a be (-16)/6 + (-4)/(-6). Is (p/a)/((-1)/154) composite?
True
Let j = 15 - 9. Let k = j - 3. Suppose -50 = -k*z - 11. Is z composite?
False
Suppose -3*m - 4*t + 1771 = -6*t, 3*t - 594 = -m. Is m a composite number?
True
Let x be (-397)/(-2*1/(-6)). Is x/9*6/(-2) composite?
False
Suppose -5*i = -2*y - 80 + 23, 4*i - 3*y - 47 = 0. Let r be i/(3/18*3). Suppose g = -3 + r. Is g composite?
False
Let r(c) = 17*c**3 - 3*c**2 + c + 1. Suppose -4*k + 4 + 4 = 0. Is r(k) a prime number?
True
Suppose -7 = 4*x + 3*u, x - 5*x + u = -13. Suppose -4*b + 44 = -x*q, -2*b - 2*q + 6*q = -10. Is b a composite number?
False
Let j(r) = 0 - 2*r - r**3 - 5 - 7*r - 9*r**2. Is j(-10) composite?
True
Suppose 6*z - 162 = 3*z. Let p be (-206)/(-14) - 8/(-28). Suppose 3*g = z - p. Is g composite?
False
Let p(r) = r**2 + 7*r + 1. Let y be p(-7). Is (1/y)/((-1)/(-257)) prime?
True
Suppose -3*y - 3*m = 6, 2*m + 16 = 4*y - 0*y. Suppose d + d = -y. Is -37*d/(-2)*-2 a prime number?
True
Suppose -3*s + 3 + 6 = 0. Suppose -s*n + 6*n = 156. Let h = 86 - n. Is h prime?
False
Let n(d) = 87*d**2 + 3*d + 1. Let s be n(-2). Suppose 3*b = -70 + s. Is b a prime number?
False
Let j(g) = 6*g + 2 - g**3 - 7 + 3*g**2 - 1. Let h be j(4). Is -2 - (h - 84 - -1) prime?
True
Is 2344/6 - 2/(-6) a composite number?
True
Suppose 4*y = 53 + 163. Let x = y - 23. Is x composite?
False
Suppose -12 = 3*r, -6*x + x = 2*r - 2447. Is x composite?
False
Suppose 3*l - 3*k - 138 = 0, 4*k + 33 = 2*l - 67. Suppose -i - l = -3*i. Is i a composite number?
True
Let h be 6/9*(-18)/(-4). Suppose 4*q = h*q + 299. Is q a prime number?
False
Suppose -7727 = -5*s + 4*b, -4*b + 1127 = -3*s + 5768. Is s a prime number?
True
Is ((-1842)/(-10))/(78/15 + -5) a composite number?
True
Let k = -601 + 1080. Is k prime?
True
Suppose 2*v - 6 = 4. Suppose 0 = -v*o + o + 660. Let m = -70 + o. Is m a prime number?
False
Let j(n) = n**3 + n**2 + 2*n + 3. Let y(l) = 2*l**3 + 3*l**2 + 3*l + 6. Let v(t) = 13*j(t) - 6*y(t). Let d = 35 - 28. Is v(d) a prime number?
True
Let t(c) be the first derivative of 2 - 1/2*c**2 + 55*c. Is t(0) composite?
True
Is 1260/27 + (-2)/3 a prime number?
False
Let l(m) = 8*m**2 - 7*m - 1. Is l(-6) a composite number?
True
Let j be (-85)/(-10) + 2/4. Let t(a) = -a - 3*a + j*a. Is t(2) composite?
True
Let a = 414 + -221. Suppose 33 = 2*f - a. Is f a prime number?
True
Suppose 4 = y + 2. Is y - -51 - 6/3 a composite number?
True
Let j = 0 + 4. Is (-3)/j - 511/(-4) a prime number?
True
Suppose 5*o = -4*g + 7711, -5*o + 4*g + 4633 = -2*o. Is o prime?
True
Is (-5139)/(-27) - 4/(-6) composite?
False
Let f = -12 - -8. Is (f/3)/(4/(-222)) composite?
True
Let q be -2 + 3 - -2 - 13. Is ((-139)/(-2))/((-5)/q) a composite number?
False
Let x(g) = -g - 8. Let a be x(-7). Let p be -340 - (a - (-6)/3). Is p/(-4) + 1/(-4) composite?
True
Let o be 10*(3 - (-26)/4). Suppose -5*r = -r - b - 380, -r = b - o. Is r prime?
False
Let t = -104 - -180. Let d be (1 + 50)*(-2)/(-6). Suppose -h = j - d - t, -4*h = -2*j + 198. Is j composite?
True
Suppose -5*w = -5*s + 15, -5*s - 2*w - w = -31. Suppose 267 = s*t - 438. Suppose 2*b = -0*b + 3*j + 69, 5*j + t = 4*b. Is b a composite number?
True
Let s = -18 - -145. Suppose 5*y = 15, 5*l + 0*l - s = y. Is l a composite number?
True
Suppose -3*o - 4539 = -6*o. Is o a prime number?
False
Let x(p) = -4*p**2 + 2*p**3 + 2*p**3 - 3*p**3 + 341 + p + 3*p**2. Is x(0) composite?
True
Let g(c) = -90*c - 2. Let m be g(-3). Suppose b + 3*b = m. Is b a composite number?
False
Suppose -25195 = -16*k + 20341. Is k a composite number?
True
Suppose -2*b - 10 = -d, 0*b - 2*b = -5*d + 34. Is (6/(-9))/(d/(-441)) prime?
False
Suppose v - 4*k = 1221, 3*v = -2*k + 1417 + 2274. Let c = -810 + v. Is c composite?
False
Let l = 282 - 193. Is l a composite number?
False
Let p = -904 - -1271. Let d = p - 242. Is (-6 + d)*(1 + 0) a composite number?
True
Let a(h) = -24*h**3 - 3*h**2 - 2*h + 1. Is a(-2) a composite number?
True
Let r = 113 - 81. Suppose 52 = -3*w - w. Let d = w + r. Is d composite?
False
Let i(t) = t + 4. Is i(9) prime?
True
Let f(l) = -l - 4. Let j be f(-3). Is (j - (-369)/(-2))*-2 a prime number?
False
Let x be (-2)/(-5) + (-54)/(-15). Suppose 2*z - 150 = -5*l, 0*l = -x*z + 2*l + 348. Is z composite?
True
Let c(j) = -j**3 - 2 + 0*j - 3 + 5*j. Is c(-5) a composite number?
True
Let s = 397 - 194. Is s composite?
True
Let m = 14 + -6. Let x = m - 3. Suppose -5*h + 445 = k + 4*k, x*k + h - 445 = 0. Is k a composite number?
False
Suppose 7*w = 2*w - o + 1752, 2*w - 687 = -5*o. Suppose 2*h + 61 = w. Is h a prime number?
False
Let d(p) = p**2 - p + 12. Let x be d(0). Let s be ((-2)/6)/(4/x). Is (1 - s)*(-15)/(-2) composite?
True
Suppose -j + 64 = -99. Is j a prime number?
True
Suppose -5*l + 201 = -2*l. Let w = -48 + l. Is w prime?
True
Suppose 0 = 2*z + 2*z. Suppose -5*p + o = -4*o - 85, -3*o - 6 = z. Is p composite?
True
Let t(p) = p**3 + 10*p**2 + 8*p - 4. Let o be t(-9). Let j be 2/(-4) - o/(-2). Suppose 0 = j*b - 8, 4*b + 181 = 3*s - b. Is s a prime number?
True
Let u(z) = -219*z - 8. Is u(-3) prime?
False
Suppose 0 = -a - u - 11 + 29, 0 = 4*a + 5*u - 71. Is a composite?
False
Let l(u) = -6*u**3 - 12*u**2 - 23*u - 7. Is l(-9) a prime number?
False
Let i(r) = 77*r + 22. Is i(5) a composite number?
True
Suppose -11*f + 20894 = -6837. Is 