w*l = -3*x + 190, 5*x = -2*l + 88. Is l composite?
True
Let p = -10 + 1. Let u(d) = d**3 + 10*d**2 + 8*d - 1. Let c be u(p). Suppose 2*v - c*v = -1722. Is v prime?
False
Suppose -f = 4*o - 30741, -4*o = -3*f + 129763 - 37556. Is f prime?
False
Let h = -32278 - -65852. Is h a composite number?
True
Let p = 285 - 6. Suppose 103 + p = 2*a. Is a composite?
False
Suppose 0 = z - 6*z, -4*z = -5*i + 42815. Is i a prime number?
True
Suppose -2*t = 3*n - 18 + 3, -3*n = t - 15. Let z be (4 - (-4)/(-2)) + t. Suppose -379 - 39 = -z*w. Is w a composite number?
True
Suppose 4*i + 0*h + 5*h - 33 = 0, i + h - 7 = 0. Is 377 + i - (5 - 5) composite?
False
Suppose 24 = 4*i - 48. Let v be (6/i)/((-1)/(-159)). Suppose 0*p = p - v. Is p composite?
False
Suppose 0 = -3*d + 2*j + 440, -4*d + j = 4*j - 598. Let c = 545 - d. Is c a composite number?
False
Let k(s) = 478*s**2 - s + 2. Let c(v) = -v - 13. Let h be c(-14). Is k(h) prime?
True
Let g = 6127 + -3590. Is g composite?
True
Let w(r) = 2*r**2 - 1. Suppose -12 = 4*h - 4. Let m be -1*2/(h/5). Is w(m) composite?
True
Let k(w) = 2760*w - 31. Is k(1) composite?
False
Let f(s) = -s**3 - 16*s**2 - s - 12. Let i be f(-16). Let a = 1 + i. Suppose -3*g - g + 119 = 3*l, -170 = -a*l - g. Is l a prime number?
False
Let c = 48243 + -24824. Is c prime?
False
Let m = 138352 + -97579. Is m prime?
False
Let z = 136289 - 75700. Is z a prime number?
True
Suppose 4*r - 394 = q, -r - 5*q - 206 = -3*r. Suppose v - r = 81. Is v prime?
True
Let m(j) = 57*j - 2. Suppose 2*q - 4 = -0*y + 5*y, 0 = -5*q - 5*y + 10. Suppose -5*u - q*f = -4*u + 5, -4*f - 15 = -3*u. Is m(u) composite?
True
Let d(l) = l**3 + 3*l**2 - 6*l - 3. Let y be d(-4). Suppose -5*n + 76 = -5*s - 3*n, 2*s + y*n + 42 = 0. Is 4/2*(-616)/s composite?
True
Let z(g) = 263*g - 27. Is z(2) a composite number?
False
Is (750/(-8) - 1)/(24/(-96)) a composite number?
False
Suppose -57416 = -10*z + 2*z. Is z a composite number?
False
Let i(w) be the first derivative of -w**4/2 - 11*w**3/3 + w**2/2 - 19*w + 11. Let d be i(-8). Suppose b + d = 2*b. Is b a composite number?
False
Let z be (-9)/(-15) + -1*23424/(-10). Let g = z - 97. Is g composite?
True
Suppose 21*d - 1844585 = 4*d. Is d composite?
True
Suppose 18*z = 12*z + 42600. Is 3/2 - (2 + z/(-8)) a prime number?
True
Suppose 0 = -3*s - 5*s + 16. Suppose 0 = -s*f - f - 6, 34402 = 4*i + 5*f. Is i prime?
False
Let w = 20 + -27. Let l(g) = -g**3 - 6*g**2 - 10*g - 4. Is l(w) composite?
True
Let r(k) = 5*k**3 + k**2 - k. Let n be r(1). Suppose 0 = b - 2*b - n*c + 199, 5*c + 219 = b. Is b a prime number?
False
Let c(l) = 3*l**3 + 2*l**2 - 3*l + 5. Suppose -2*x - 5*b + 5 = -8, -3*b = 3*x - 15. Is c(x) prime?
False
Let u = -7878 + 14573. Suppose 7*t - u = -402. Is t a prime number?
False
Suppose 100574 = 12*b - 423358. Is b a composite number?
False
Suppose -2*r = -2*c + 6, 3*c + r - 15 = 6*r. Suppose 435 = 5*u - c. Is u a prime number?
False
Let i(w) = 744*w - 13. Is i(9) a composite number?
True
Suppose 0 = -2*a - w + 10, -a + w - 2*w = -6. Suppose a*z - 13 = 43. Suppose 0 = 4*h - 2*h - z. Is h a composite number?
False
Let o(l) = 4*l - 21 + 2*l**2 - l**2 + 0*l**2. Let b = 55 + -45. Is o(b) composite?
True
Let i be -25*(-4 + 7 + 16). Let r = -62 - i. Is r composite?
True
Let x(j) = -j**3 - 8*j**2 - 11*j + 1. Let v be x(-11). Suppose 4*w = 3*w + v. Is w prime?
False
Let c = 21 + -21. Let p(d) = -2*d + 221. Is p(c) composite?
True
Let b = -349 + 1079. Suppose b = 5*t + v, -5*t + 3*v = -971 + 261. Is t prime?
False
Let x = 2535 + -1682. Is x prime?
True
Let a = -59 - -77. Let b = a + 655. Is b prime?
True
Suppose 123805 = 2*v + 9*v. Is v a composite number?
True
Suppose -5*n - t + 6*t + 1230 = 0, 3*t - 266 = -n. Is n a composite number?
False
Let c(h) = h**2 + 5*h + 4. Let n be c(-4). Suppose 0 = -n*b - 2*b + 4. Is (-6 + -33)*b/(-3) composite?
True
Let a(w) = -2*w**3 - 4*w**2 + 5*w - 4. Suppose 0*c + 3*c + 15 = 0. Is a(c) composite?
True
Suppose 2*r - 2*d = 0, -3*r + 33 = 4*d - 2. Suppose -2*f + r*g + 6 = 3*g, 3*f - 5 = 2*g. Is -1 - 1 - 151/f prime?
True
Let a be 3 + 5 + (-3)/(-1). Let v = a - 17. Let p(z) = -18*z + 1. Is p(v) a prime number?
True
Let s(o) = 54*o - 38. Let w be s(10). Let z = 1473 - w. Is z composite?
False
Let w be 2970/(-50) - (-6)/(-10). Let n = w + 25. Let u = -25 - n. Is u composite?
True
Let i be -5 - -9 - (-3 + -2 + 7). Suppose 5*l = -15, 0 = 4*y - 5*l + 6*l + 3. Suppose g + n = 327, y = -i*g - 4*n + 716 - 70. Is g a prime number?
True
Suppose 4*x - 17 = -1. Let h = x - 2. Suppose -g - h*a + 6*a + 131 = 0, 3*g - 328 = -a. Is g composite?
True
Let f(c) = c**2 + 14*c + 15. Let q be f(-13). Is 581 - (q - (1 + -1)) prime?
False
Let w = 18 + -16. Suppose -5*l + 2526 = -w*l. Is l a prime number?
False
Let o be (0 - 165)/(5/5). Let w = 694 + o. Is w composite?
True
Let p = 18 + -19. Let v be (-479)/(-1)*7 + p. Let h = v + -2311. Is h prime?
False
Let c(f) = 344*f + 5. Is c(7) a prime number?
False
Let y(j) = 41*j**3 + 4*j**2 + 3*j - 5. Let f be y(3). Let s = -752 + f. Is s a prime number?
False
Suppose 2*l = -2*j + 252, -5*l = -4*l. Suppose 4*q = q + 15. Suppose -c = 3*d - 2*d - j, -c - 636 = -q*d. Is d a composite number?
False
Let o be 4*1/(-2)*2. Is 2/o*(10 - 1012) prime?
False
Suppose 3*p + 0*f + 51 = -5*f, 85 = -5*p - 2*f. Let w = p - -19. Suppose -6*a + 3*a = -w*d + 23, a + 90 = 5*d. Is d composite?
False
Let r = -1881 + 4460. Is r a composite number?
False
Is (-2 + 3 - -1 - -3)*1409 a composite number?
True
Is 1 - -2 - (11 - (-11 + 71252)) composite?
False
Let o be -8*(-5)/30*3. Suppose 5*d - o*a - 2620 = -a, 0 = -5*d - 5*a + 2580. Is d composite?
False
Suppose -2*b + 98558 = 2*s, 13*b - 8*b - 246395 = 3*s. Is b a composite number?
False
Let n(v) = v**2 - 6*v - 5. Let j be n(7). Suppose -j*q + 53 = -327. Suppose 3*g - 371 = q. Is g composite?
True
Let w = 187 - -210. Is w a composite number?
False
Suppose 17*d = -19*d + 1762812. Is d a composite number?
True
Suppose 2*n + 5*u = 33, n = -3*u - 0*u + 19. Let h = n - 4. Let v(w) = -w + 22. Is v(h) prime?
False
Let y(f) = 140*f + 33. Is y(20) composite?
False
Let y = -249 + 459. Let t = -133 + y. Is t a composite number?
True
Suppose 5*x - 69 = -24. Let y = 3 + 2. Suppose -y*s + x*s - 260 = 0. Is s a composite number?
True
Let c(s) = -87*s**2 + 3*s + 2. Let u(p) = -88*p**2 + 4*p + 1. Let f(j) = -4*c(j) + 3*u(j). Is f(-3) a prime number?
True
Let i = 1754 + -243. Is i a composite number?
False
Let c be (26 - 3) + -1 + 2. Let h be -3*(-4)/c*6. Suppose -166 - 125 = -h*u. Is u a prime number?
True
Suppose 5*a + 7005 = 5*v, -239*v + 2804 = -237*v - 3*a. Is v prime?
True
Let r = -57 - -3328. Is r a composite number?
False
Suppose -s = -3*o - 9, 0 = 5*o - 17 - 8. Suppose g + 56 = -s. Is (2 - 0) + (7 - g) a composite number?
False
Let i(x) = x. Let b(a) = -145*a + 3. Let w(p) = -b(p) - i(p). Is w(4) prime?
False
Is 1/(-26) - (-57749995)/4498 prime?
False
Is ((-255)/102)/((-1)/8882) prime?
False
Let h = 5571 - 2320. Is h prime?
True
Let o = -6362 + 9913. Is o a prime number?
False
Suppose 0 = 3*c - 5*b + 1279, 0 = 3*c + 2*b + 466 + 778. Let n = 1227 + c. Is n a prime number?
True
Suppose 0 = 3*h + 2*l - 21, -h - 2*l = 3*l - 20. Is 1977/h - (-18)/(-45) composite?
True
Suppose 12*d = 7*d - 60. Let h = d + 11. Is h/(-7) + (-2370)/(-21) composite?
False
Let m(b) = -35*b**3 - 13*b**2 - 32*b - 27. Is m(-8) composite?
False
Suppose -a = 4*v + 2*a - 88944, -5*v + 111169 = a. Is v composite?
True
Suppose 3*t - 5*k + 7*k - 988 = 0, 0 = t - 4*k - 306. Is (-4)/((-24)/21)*t composite?
True
Let q(a) = 2*a**3 + 2 - 1 + 5*a + a**2 - a. Let n be q(4). Suppose 542 = 3*i + n. Is i a composite number?
False
Let d = -14 - -17. Suppose 13 - 1 = d*s. Suppose -s*h + 544 = -4*g, -139 - 248 = -3*h - 4*g. Is h prime?
False
Let m(z) be the first derivative of z**4/4 - 2*z**3/3 + 367*z + 41. Is m(0) a composite number?
False
Is (4/8)/(7/318122) a prime number?
False
Let b = 64 - 34. Let k be ((-244)/(-5))/(4/b). Suppose 2*h - 4*t - k = -0*t, -2*t + 2 = 0. Is h composite?
True
Let y(x) be the first derivative of 17*x**2/2 + 2*x + 5. Is y(7) composite?
True
Let m(p) = 586*p**3 - p + 1. Is m(1) a prime number?
False
Let i = 6348 + -3773. Suppose 13*p = 8*p + i. Is p a composite number?
True
Suppose -5*h + 