-15*u + 2*h = -20*u + 153787. Is u a composite number?
False
Let a(g) = 38 + 6*g + 22*g + 73*g - 26. Is a(5) a composite number?
True
Let f be (1406 - (-2 + 6)) + -3. Suppose 5*k - h = -64 + f, 0 = -2*k - 5*h + 534. Is k prime?
False
Suppose 3*t + 14 = 86. Suppose 0 = -5*x - 9 + t. Suppose -r = x*r - 452. Is r composite?
False
Suppose -16914 = -44*u + 38*u. Is u composite?
False
Let y be -3*(-1)/(-9)*87. Let t = y + 60. Is t prime?
True
Suppose 2 = -4*k + 3*i + 5, -k - 3*i - 3 = 0. Is 967*1 - (-4)/(-8)*k prime?
True
Let k(q) = -2*q**3 - 7*q**2 - 6*q - 4. Let s be k(-7). Let n(l) = 4*l**2 - 37*l + 70. Let g be n(18). Let d = g - s. Is d prime?
False
Let b(a) = 35389*a - 78. Is b(1) a prime number?
True
Suppose -2*a - 4*w + 5454 = 0, -a - 3*w = -2*a + 2722. Suppose -a = -3*g - d, -4*d = -2*g + 7*g - 4551. Let o = g - 620. Is o composite?
True
Let q be 4 + 254 - (-4)/4. Suppose 5*n - 4*a - q = -66, 4*n + a = 146. Is n prime?
True
Let n = -2362 + 23801. Is n prime?
False
Let f be 64/80 + 13901/5 + 0. Suppose 3*j = 8*a - 6*a + f, 3*j = a + 2784. Is j composite?
False
Let p(h) = 3*h**2 + 61*h - 785. Is p(42) prime?
True
Let c = -9 + 12. Let b(f) = f**3 - f + 4. Let t be b(c). Let l = t + -22. Is l a composite number?
True
Let d(l) = -l**2 - 9*l - 2. Let r be d(-8). Let k(o) = 16*o - 13. Is k(r) a composite number?
False
Suppose 4*o - 39 = -5*l + 14, o + 2*l - 14 = 0. Let q be (-1272)/9*(-27)/o. Suppose d - q = -d. Is d a prime number?
False
Let r = -361 + 621. Let f be -4 - (-2 + -9 + 2). Suppose a - f*a = -r. Is a prime?
False
Suppose 0 = 3*d + 3 - 9. Suppose 10 = a - 30. Suppose -d*r = 2*r - a. Is r prime?
False
Suppose -3*o = -5*q - 55072, -2*q - 1 = 9. Is o a composite number?
True
Let u(y) = -y. Let h(t) be the second derivative of -5*t**3/3 + 7*t**2/2 + 4*t. Let c(k) = -h(k) - 2*u(k). Is c(8) composite?
False
Let o be -1 - ((-13982 + 2 - -1) + -4). Suppose 1280 = 13*x - o. Is x a prime number?
False
Suppose -3*n + w = -37094, 0 = -131*n + 134*n + w - 37096. Is n prime?
False
Suppose -4*t + 277 = -23. Suppose -n + 20 + t = 0. Is n a prime number?
False
Let y(j) = -j**2 + 2*j + 20. Let v be y(6). Let k(w) = -w**3 - 4*w**2 - 5*w + 3. Is k(v) prime?
True
Suppose -439 = -3*x + 3*c - 2953, -4*x - 3346 = -c. Let p = -579 - x. Is p a composite number?
False
Is (10 + 84196/21)*3/2 composite?
False
Suppose w - 499 = -64. Let d be (113/1)/((-5)/10). Let n = w + d. Is n a prime number?
False
Let l be 3*2/(-4)*-2. Suppose 0 = -d - j + 37, -d = -l*d + j + 68. Is d composite?
True
Let l be (-48)/(-4)*(6/8)/1. Suppose 0 = -l*b - 0*b + 1719. Is b prime?
True
Let d(t) = -t**3 - 14*t**2 - 30*t - 130. Is d(-29) composite?
True
Let d(b) = b**3 - 4*b**2 + 7*b + 1. Suppose -2*c = c - 27. Is d(c) a prime number?
False
Suppose 11 = 4*a + 3. Suppose -a*p + 5*p = -504. Is p/(-9) + 2/6 a prime number?
True
Let m = -27 + 45. Suppose -2*n = -3*c - 16, -n = -0*c - 4*c - m. Suppose -n*j + j + 2*i + 79 = 0, 0 = -4*j - 2*i + 336. Is j a composite number?
False
Let p = -20845 + 30612. Is p prime?
True
Let x = -46 - -25. Let d be (-2)/(-3) + 14/x. Suppose 0 = 2*r + 2, -3*w + d*r = -2*r - 539. Is w prime?
True
Let r = 29804 - 16717. Is r prime?
False
Let d(v) = -v**3 + 8*v**2 - 9*v. Let i be d(6). Suppose 16 = -4*p - z, 4*p + 4*z + i = -10. Is 28/p*24/(-16) composite?
True
Suppose -4*i + 2*i + 8 = 0. Let c be -3 + 16/i + -87. Let x = c + 213. Is x a composite number?
False
Suppose 3*s - 1146 = -0*s. Is s prime?
False
Suppose 0 = o + 2*o + 4*c - 2383, -2*o + c + 1596 = 0. Is o prime?
True
Suppose -2*z = -4, -3*n + 1502 - 298 = -z. Let k be (1/(4/(-6)))/((-135)/630). Suppose 5*i + k = n. Is i prime?
True
Let f be (-14)/2 + (-10)/(-2). Let k(v) = 2*v**3 - 3*v**2 - v + 1. Let z be k(-2). Let j = f - z. Is j prime?
True
Is 12889/4 + 6/((-144)/30) composite?
False
Is ((-15)/(-3) + -1)*(-44901)/(-108) a prime number?
True
Let w(r) = -4*r**3 - 3*r**2 + 2*r + 9. Let y be -13 - -9 - 0/(-2). Is w(y) a composite number?
True
Let c(w) = 233*w**2 + 196*w**2 - 349*w**2 + 7 - 7*w. Is c(-6) prime?
False
Let b = 109 - 130. Is (6/b - 2/(-7)) + 2329 composite?
True
Is ((-1662)/12)/((-2)/116) a prime number?
False
Let b(l) = -l**3 - 6*l**2 - 7*l + 4. Let y be b(-4). Suppose y = -d + s + 76 + 112, -s = 3. Is d a prime number?
False
Let s = 7440 + -2683. Is s a prime number?
False
Let u be (-1208)/12*609/(-14). Let s = -3000 + u. Is s a prime number?
False
Suppose 594 + 1764 = -6*x. Let u be (-16)/(-12)*x/2. Is ((-33)/22)/(3/u) composite?
False
Let g = 10 + -4. Let i(a) = 10 + 15 + 2*a + 9 - 31. Is i(g) a prime number?
False
Let g = 210044 + -139065. Is g composite?
False
Let z = 4584 + -2639. Is z a composite number?
True
Let y be 51099/6 + (28/(-8) - -3). Suppose -24*g = -20*g - y. Is g a composite number?
False
Suppose 2*i = 3*k - 771, 0*i = 4*k + 3*i - 1011. Suppose 0 = 5*j - 0*j + k. Let l = 118 + j. Is l composite?
False
Let b be 200/56 - (-6)/14. Suppose b*o = k - 12, -o + 5 - 3 = k. Suppose -4*y + 1763 = 3*w - 2*y, k*y = -2*w + 1178. Is w prime?
True
Suppose -105*a + 1430757 + 16248 = 0. Is a a prime number?
True
Suppose 0 = 2*q - h - 252, -2*q - h = 55 - 311. Is q composite?
False
Suppose -f - 3*y = 3, -y = 2*f - 3 - 1. Suppose 4*b - m = -2*m + 414, -3*b + f*m = -303. Is b prime?
True
Let r(h) = -14*h - 19. Suppose -x - 2*x - 45 = 0. Is r(x) prime?
True
Suppose n - 5*o = 29, -4*n - 6*o - 4 = -2*o. Suppose -n*v = -2*v - 710. Is v prime?
False
Let b(z) = -z - 1. Let t(i) = 8*i + 1. Let c(w) = 2*b(w) + t(w). Let u be c(1). Suppose -3*s = -2*y - 465, -u*s + 2*y = y - 782. Is s prime?
True
Let f(c) = c**3 - 17*c**2 - 18*c - 2. Let t be f(18). Let x(n) = -n**2 - 2*n - 3. Let o be x(-5). Is o/9*31/t composite?
False
Let v(c) = 145*c**3 - c**2 - 4*c + 6. Let a be v(3). Suppose -993 = -h - 4*k, -3*h - 2*k = -7*h + a. Is h composite?
False
Let x = 18 + -14. Let a(w) = 58*w + 7. Is a(x) prime?
True
Let j be (3*-1)/((-1)/(-1)). Let o be 5*(1248/20)/j. Let n = o + 441. Is n composite?
False
Is ((-271193)/(-26) + -5)/(1/2) prime?
False
Let t = -32596 + 64079. Is t a composite number?
True
Suppose 3*s + 2*s = -26205. Is s/(-8) - 8/64 prime?
False
Suppose -7*k + 5*k = -2*z + 13728, 0 = -4*k - 4. Is z a composite number?
False
Let h = -25 + 9. Let a = 81 + h. Let v = a + -12. Is v composite?
False
Let h(z) = -z**2 - 4*z + 6. Let y be h(-5). Let b be (-696)/(y - 4) + -2. Let g = 497 - b. Is g prime?
False
Suppose d + 0*d = 2. Let c(u) = 23*u**3 + 3*u - 3. Is c(d) a composite number?
True
Let y(l) = -l**3 - l + 17. Let h be y(0). Suppose -h = 2*v - 187. Suppose 3*x = 272 + v. Is x composite?
True
Let i = 43 - 35. Is (-2)/i + 989/4 a composite number?
True
Let m(q) = -q**2 - q + 4. Let k be m(-4). Let x = k - -11. Is x a prime number?
True
Suppose 0 = -4*k + 5*k + 208. Let y = k - -34. Let j = y - -292. Is j a prime number?
False
Suppose 0 = 3*z + 15, -z = 3*g + 1407 - 496. Let x = g - -445. Is x prime?
False
Suppose 0 = -k - 3226 + 10763. Is k prime?
True
Suppose -4*m = -l + 31, 0 = 5*l - 5*m - 38 - 72. Is l a prime number?
True
Let k(g) = -26 + 11 + 4 + 5*g**2 + g**3 - 8*g. Is k(7) a prime number?
True
Let c(o) be the second derivative of 31*o**7/2520 + o**6/240 - o**5/40 - o**4/6 - 5*o. Let z(k) be the third derivative of c(k). Is z(2) a prime number?
True
Is (4110939/315)/(6/10) a composite number?
False
Let p(n) = 242*n**3 - n**2 - 10*n - 6. Is p(5) a prime number?
True
Let l(t) = t**3 - t**2 - t + 161. Let r(p) = 3*p. Let o be r(0). Is l(o) a composite number?
True
Let h be (-8)/(-28)*21/3. Suppose h*r + r = 1257. Is r a prime number?
True
Let n = 73 + -32. Let p = -73 + n. Is (-38)/(-4) - 16/p prime?
False
Let u(s) = -28*s - 9 - 24*s - 4. Is u(-6) a composite number?
True
Let q(i) be the second derivative of 49*i**4/12 + i**3/3 - i**2/2 - 8*i. Is q(-2) a prime number?
True
Let o = -684 + 1160. Let h = 75 + o. Is h prime?
False
Let f(o) = o**3 + 5*o**2 + 4*o + 5. Let q be f(-4). Let n(c) = c - 5. Let j be n(8). Suppose 25 = -q*g, -685 = -j*h + 5*g - 99. Is h a prime number?
False
Suppose w - 5*h - 2286 = 1293, 14270 = 4*w + 3*h. Is w composite?
True
Let i = 3715 + -2022. Is i a prime number?
True
Let a(g) = 88*g + 1. Let c(n) = n**3 + 4*n**2 - 2*n + 7. Let m be c(-5). Let v be (-2)/m + (-27)/(-36). Is 