= 5*c**3 + 8*c**2 + 12*c + 29. Let n be w(-7). Is -3 - (n + -5) - 7 prime?
True
Suppose -n + 5*v + 45528 = -69514, -n + v + 115054 = 0. Is n a prime number?
True
Let f(w) be the third derivative of 5*w**6/4 + 11*w**5/60 - 5*w**4/6 - w**3 - 6*w**2 - 10*w. Is f(3) a composite number?
True
Suppose 5*k - 356 = -2*z, 2*z - 3*k - 260 - 96 = 0. Suppose 173*y + 8340 = z*y. Suppose 0 = 12*m - 8*m - y. Is m composite?
True
Is 537/(-716) - ((-17038986)/8)/3 prime?
True
Let k(p) = -8*p**2 + 13*p + 3. Let a be k(-3). Let b = 117 + a. Suppose 5*m + b = -11, m = -5*v + 2351. Is v composite?
True
Let l = -65 + 70. Suppose b - 10 = -5*u - 4*b, 3*b - 16 = -l*u. Suppose -6*a + 2545 = -u*a. Is a composite?
True
Suppose 5*w + 3 = 23. Suppose 12 = 4*u + 4*l, -u - 3*u - 12 = -w*l. Suppose 17*y - 13*y - 6028 = u. Is y a composite number?
True
Suppose -2*m + 32 = 14*m. Suppose -4*n + 1442 = m*x, -4*n - 1928 = -5*x + 1621. Is x composite?
True
Let a(j) = -40*j + 1. Let d(c) = 39*c - 2. Let f(q) = 2*a(q) + 3*d(q). Let m be (-15)/(-10) + 28/8. Is f(m) a prime number?
True
Let q(f) = 1073*f - 1085. Is q(18) composite?
False
Suppose -4*d + 6493 = 5*u, -7*d - 5*u + 8110 = -2*d. Suppose -2*m - 503 - d = 0. Is 0 - 6/(24/m) a composite number?
True
Suppose 0 = 2*i + 3*x - 26, -4*i + 36 = -2*x. Suppose -6*l = -i*l - 10284. Let j = -1424 - l. Is j prime?
False
Let k = 2593 + 6330. Is k prime?
True
Suppose 78*s = 31*s + 4303837. Is s composite?
False
Suppose 3 = -4*y + 15. Suppose 0 = -i - y*a - 0 - 4, 3*i + 5*a = -4. Suppose -i*u + 2*h = -162, -4*h + 36 = u - 35. Is u composite?
False
Suppose 10*z - 74 = 26. Suppose -6672 = -z*y + 3898. Is y a composite number?
True
Let q be (48092/6)/(48/72). Let b = -3706 + q. Is b prime?
True
Suppose -3*n - d + 6 = -6*d, -5*n + 10 = 3*d. Suppose -s + 4395 = n*s. Suppose 5*i - s = -410. Is i composite?
False
Let c(i) = 12*i + 13249. Is c(-16) prime?
False
Suppose -14*d - 110376 = -422702. Suppose 4*c = -p + 6*c + 4467, 5*p - d = -3*c. Is p composite?
False
Suppose -91553 - 78911 = -7*m. Suppose 113726 = 18*n - m. Is n a composite number?
True
Let t be 162/2*7/(-273)*-13. Is (-27940998)/(-3726) - (-2)/t prime?
True
Let a be (-45)/(-27) - 16/(-12). Suppose -10117 = -3*m - 2*g + a*g, 2*m - 6738 = -g. Is m a prime number?
True
Suppose 0 = 8*u - 6*u - 8466. Suppose -u = 8*w - 11*w. Suppose -431 - w = -3*q. Is q a composite number?
True
Let b(r) be the third derivative of -19*r**5/60 + 7*r**4/24 + 17*r**3/6 + 6*r**2. Let s(x) be the first derivative of b(x). Is s(-6) prime?
False
Suppose 0 = 16*l - 12*l - 3844. Let p = l - -438. Is p composite?
False
Suppose 2*o + 759*y - 1731432 = 761*y, -y = -3*o + 2597142. Is o composite?
True
Suppose 256*p - 31465225 = 231*p. Is p prime?
False
Let s = -259 + 21108. Is s a prime number?
True
Suppose 6*b - 43 = -4*o + b, -b + 11 = o. Suppose 5*h - 5*y + 48 - 18 = 0, 4*h = y - o. Is ((-2605)/(-20))/(h/(-8)) a composite number?
False
Let t be 22796/10 - (-315)/(-525). Let l = 12082 - t. Is l a composite number?
False
Let u(h) = -5*h**2 + 8*h + 15. Let j be u(7). Let a = j - -3329. Is a prime?
False
Let d(r) = -r**2 - 3*r + 3. Let n be d(1). Let b be -2 - (n/(-2) - 11/2). Is b/(-7) + 29854/161 a prime number?
False
Let g(y) = -74*y**3 - 15*y**2 - 4*y - 16. Suppose 8*i - 3*i = -5*c - 60, 0 = -i + 2*c + 3. Is g(i) a composite number?
False
Is 0/(-2) - (-98666 + -12 - -16) prime?
False
Let x(m) = 1851*m - 92. Let q be x(15). Suppose 2*h + 3*u = q, -2*h = -16*u + 15*u - 27653. Is h prime?
True
Suppose 325*t - 633809 = 314*t. Is t prime?
False
Let i(a) = 679*a + 20. Let y be i(-6). Let m = -1477 - y. Is m prime?
False
Let t(d) = 486*d**3 - 3*d + 2. Suppose 4*m + 3*g - 5*g + 494 = 0, -4*m + 5*g - 503 = 0. Let c = m + 123. Is t(c) a composite number?
True
Suppose -75*q + 341837 = c - 77*q, c + 2*q = 341829. Is c prime?
False
Let u(f) be the third derivative of 7*f**5/15 + 3*f**4/8 - 2*f**3/3 - 62*f**2. Is u(-3) a composite number?
True
Let s(v) = v**3 + 3*v**2 - 14*v - 19. Let w be s(-5). Suppose w = c, -6*u + 5*c - 13268 = -9*u. Is u a prime number?
True
Let t be 294/288*6 + 2/(-16). Suppose -t*b - 3160 = -26836. Is b a composite number?
True
Let x(a) = -9*a + 31. Let s be x(3). Is 12/80*s - 42372/(-55) prime?
False
Let f = 81 + -79. Suppose -13622 = -f*c - 3*y, -10*c + y - 20419 = -13*c. Is c composite?
True
Suppose -232*j + 279*j = 45076901. Is j a composite number?
False
Let l(c) = 89*c**2 + 31*c - 118. Let o be l(-29). Is -1 + (-1)/((-4)/o) composite?
False
Let q be (-4)/(-4)*(-2 + -30). Let w be -1 + (-18634)/(-3) - q/48. Suppose 0 = -2*j + t + 3107, 0*t + 3*t + w = 4*j. Is j a prime number?
False
Suppose 0 = 5*f + 5*o + 5, -f + 4*o + 17 = -o. Suppose 0 = -2*w + f*i + 1648, 1654 = 2*w - 0*i - 4*i. Is w prime?
True
Suppose 5*w = -0*w - 4*r + 20895, w - 3*r = 4179. Let d = w + -37389. Is d/(-80) + (-1)/8 prime?
False
Let u = -3258 + 1234. Let x = -439 - u. Is x a composite number?
True
Suppose 3*i - 22 = 95. Suppose -165*n + 173*n = 112. Let b = n + i. Is b a composite number?
False
Let i(k) = 4*k + 29. Let t be i(15). Let m = 96 - t. Is (-1 - -2)/((21/69)/m) prime?
True
Let w(x) = 26*x - 23. Let g = 66 + -61. Let s be w(g). Suppose -3*b + 2*m + 92 = -0*b, 3*b + m = s. Is b composite?
True
Let n(s) = 6152*s + 261. Is n(10) a composite number?
False
Let b = 793 + 11644. Is b a prime number?
True
Let x(u) = 430*u**3 - 6 + 3 - 7*u**2 + 4*u**2 + u**2 - u. Is x(2) composite?
True
Let m(a) = -a**2 - 11*a - 25. Let n be m(-4). Suppose -2*x = -2*j + 846, -6*x + n*x + 6 = 0. Let s = j - 291. Is s prime?
False
Is (-15 - (-2813632)/(-80))*-5 composite?
True
Suppose -5588 = 5*f + 21937. Let i = -2738 - f. Is i prime?
True
Let s = -1832 + 9112. Let h be (-4)/(-6) - (-30)/9. Suppose l - 5*l = h*q - s, 4*l = 5*q + 7253. Is l a composite number?
True
Suppose 5*g - 2*i = 7391761, -827970 = 2*g + 2*i - 3784680. Is g prime?
True
Let n(u) = 9*u**2 - u - 3. Let g(o) = -o**3 + 6*o**2 - 6*o + 11. Let v be g(5). Suppose -x = 4*j + v, -2*x + 3*j + 11 = 1. Is n(x) a prime number?
True
Let g = -96 + 40. Is 63/g + 1 - 1257/(-8) a composite number?
False
Suppose 186*q + 3066284 = 238*q. Is q a composite number?
False
Is (((-9)/6)/(((-510)/1000420)/17))/1 a prime number?
True
Suppose -40 = -2*o - 3*o. Suppose 13 = 7*a - o. Suppose f = a*u + 183 + 409, -u = 2. Is f composite?
True
Let u(d) = 4564*d**3 - 4874*d**3 - 12 + 4*d - 10 - 3*d**2. Is u(-5) composite?
True
Let t(k) = -7 + 52 - 4*k - k. Suppose 566*m = 576*m + 200. Is t(m) composite?
True
Suppose -4*l - 50218 - 9965 = -j, 3*j + 3*l = 180534. Is j a prime number?
False
Suppose 0 = 5*d - 2*d - 2313. Let i = d + -450. Suppose 0 = x - 2, 0 = -0*z - z + 5*x + i. Is z composite?
False
Suppose -7*z + 1799 = -3500. Let m(d) = -10*d + 12. Let x be m(3). Let q = x + z. Is q prime?
True
Let a(b) = 371*b**3 + 3*b**2 + 99*b - 506. Is a(5) composite?
False
Let d = -106 - -108. Let o be (6 - d) + -1 - -2. Suppose 13*r + o*r = 17622. Is r composite?
True
Suppose -4*h - 19878 = -2*w, 4*w - 4 = -0*w. Let c = -1140 - h. Is c prime?
False
Let k be 0 - 4/8*(5 - 19). Let p(t) = 15*t**3 - 4*t**2 + 8*t + 16. Is p(k) composite?
False
Let j = 73 - -3520. Is j prime?
True
Is 37637 + -2*(-7)/1 prime?
False
Suppose -2 = -v + 1, -5*q + 9756 = 2*v. Suppose r = 3*j - 2929, j - q = -j + 2*r. Is j composite?
False
Let j(b) = 7979*b + 9. Let r be j(15). Suppose -3*p + r = l, 9*l = 5*p + 6*l - 199504. Is p a composite number?
True
Let d(a) = -64*a - 23. Let h be d(-2). Is h/35 - (-20246 - 0) a composite number?
False
Let n(l) = l**3 - 37*l**2 + 73*l - 47. Let i be n(35). Is (87/i)/((-3)/(-410)) a prime number?
False
Suppose 2*g = 5*x - 972197, -x + 3*x + 3*g = 388856. Is x a composite number?
True
Let z(t) = 730*t**3 - t**2 + 4*t - 2. Let r be z(2). Suppose 0 = 5*k - o - r, -2 = o - 0. Suppose 0 = -3*m + 2*x - 185 + k, m - x - 326 = 0. Is m composite?
False
Is -1 - -187338 - (26 - 26)/(-17) a composite number?
False
Let i(o) = -o**3 - 27*o**2 + 59*o + 29. Let n be i(-29). Suppose l + 4*a + 6638 - 26023 = n, -77477 = -4*l + 5*a. Is l a composite number?
False
Let x = -723 - -707. Let u(p) = 54*p**2 - 23*p - 163. Is u(x) composite?
False
Suppose -185 = -3*j + 22. Suppose j*q - 71*q = -526. Is q a composite number?
False
Let u 