 t(a) = -4*a + 6*a - a - 4*a + 63. Let j(c) = 14*b(c) - 4*t(c). Is j(18) a composite number?
True
Suppose -680*g = -675*g - 3*q - 996556, 5*g + 4*q - 996577 = 0. Is g composite?
False
Let w(b) = -17*b + 215*b**2 - 58 - 61*b**2 + 401*b**2 - 9*b + 17. Is w(-6) a composite number?
True
Suppose 68*v = -4*a + 63*v + 414439, -3*v - 3 = 0. Is a composite?
True
Let q = -17 + 8. Is (-8)/(-12) - 4413/q composite?
False
Let t(v) = 3*v**3 + 4*v**2 + 5*v - 3. Let a be t(-6). Let k = a - -2338. Is k composite?
False
Let n(s) = -31*s + 6. Let c be n(-5). Let u = -107 + c. Is 51798/u + (-2)/9 composite?
True
Let w be ((-207)/(-27) + -11)*12/(-10). Suppose 0 = -3*t + 9, w*t - 4423 - 11126 = -3*r. Is r prime?
True
Let x = -65955 - -123322. Is x a composite number?
False
Let s = 34 - 35. Let v be (5/(-10))/(s/250). Suppose -3*z + v = -508. Is z prime?
True
Let k = -33 - -39. Let y(j) = j**3 - 7*j**2 + 6*j. Let a be y(k). Is a + (2 - (-160 - 1)) a prime number?
True
Suppose 3*a + 1047 = v, 0 = 5*v - 2*a + 4*a - 5167. Suppose -399 - v = -3*g. Suppose 4*q + 3*p - g = 1882, 4*p = 5*q - 2919. Is q prime?
True
Suppose 0 = 250*d - 251*d + 984. Let h = 2057 - d. Is h a composite number?
True
Let g(r) = -5*r**3 - r**3 + r**3 - 9 - r**2 - 3*r. Let c = 5 + -9. Is g(c) composite?
False
Let q be 4/26 - (-264)/143. Suppose j - 3*j = -2756. Suppose -x + 3670 = 5*s, -q*s + 73 + j = -3*x. Is s composite?
False
Let d(q) = 8*q + 13. Let c be d(-24). Is (-2937)/99*3*c composite?
True
Suppose 5*d + 0*r = -r + 199018, 4*d = -5*r + 159227. Is d a composite number?
True
Suppose -5226648 - 1481391 = -39*r. Is r prime?
True
Suppose 5*j - 3*d + 8457 = 0, j + 3*d + 1439 = -238. Is (40/(-24))/(1/j) a composite number?
True
Let a(q) be the third derivative of q**5/20 - q**4/24 - 11*q**3/6 + 30*q**2. Let t be 3/(-4 + 12/4). Is a(t) a prime number?
True
Suppose -4*y + 66*c = 67*c - 1800484, 0 = 4*y + 2*c - 1800476. Is y a composite number?
True
Suppose -15*t = 6*t - 457149. Let j(h) = -h**2 - h + 15. Let o be j(0). Suppose 4*f - o*f = -t. Is f prime?
True
Suppose 0 = u - 0 - 9. Let p(b) = 0 + 4 - 8 + 13*b**2 + b - u. Is p(-5) composite?
False
Suppose -5*z - 28897 = 5*n + 2488, 4*z = 3*n - 25108. Let b = -498 - z. Is b prime?
True
Let u(y) = 424*y**2 + 10*y - 5. Let c be u(6). Suppose 6*j + c = 5*g + 4*j, 0 = -3*j + 9. Is g prime?
False
Let a = 28507 + -9963. Suppose -a + 5540 = -4*b. Is b prime?
True
Suppose 17*n - 236597109 = -340*n. Is n a prime number?
False
Suppose 240 = 13*t - 16*t. Let u = 77 + t. Is 5 - (-13)/u - 398/(-6) prime?
True
Let r = 51 + -46. Suppose q - 3*q = r*z + 7, 0 = -3*z - 3*q + 3. Is 168 - (z/18 + (-10)/12) a prime number?
False
Let y be (-2)/(12/3642)*(-1 - 0). Suppose 0 = -3*t - u + 15241, -t + 4*u + y + 4456 = 0. Is t composite?
True
Let y be (485/2 + 1)*(-20)/5. Let s = -301 - y. Is s a prime number?
True
Let t(q) = -2*q**3 - 2*q**2 + 5*q + 4. Let v be t(-3). Let d = v - 15. Is 2965/25 + (-6)/d a composite number?
True
Let l(p) = 3*p**2 + 7*p - 6. Let x be l(2). Is (-17 - x)*(2 - 3)*13 a prime number?
False
Let n(i) = -9308*i + 4509. Is n(-5) prime?
False
Suppose -11*z + 7*z + 247468 = 0. Is z a prime number?
False
Let f(q) = 146*q**3 + q**2 + 7*q - 15. Let x be f(-5). Let d = -10642 - x. Is d a composite number?
True
Let q = 12 - 27. Is q/(-6) + -3 - 50001/(-14) a composite number?
False
Suppose 3*a - 470 = -5*d, -3*a + 379 = 7*d - 3*d. Let n = -93 + d. Is ((-9)/18)/(n/2740) a prime number?
False
Let y(l) = 93*l + 65. Suppose -7*o - 55 = -83. Is y(o) prime?
False
Let l = 146 - 148. Is ((-5)/l)/(-3 + 88669/29554) prime?
False
Let m = 151 + -151. Suppose m = -2*u - 3*u + 1605. Is u composite?
True
Let x be (11/(-5) + 3)/((-2)/(-10)). Suppose -x*q = 2*q - 48. Suppose -q*j + 137 = -15. Is j prime?
True
Suppose 2667 = 2*p - 2717. Is (-3)/((-24)/p)*2 a prime number?
True
Let h(c) = -8 - 131*c - 309*c - 40*c + 22*c. Let v be h(-5). Suppose -7*q = -21*q + v. Is q a prime number?
True
Let n = -416 - -423. Suppose n*b - 5 - 9 = 0. Is b a prime number?
True
Let v(q) = 3050*q**2 + 8*q - 23. Is v(4) a composite number?
False
Let s be ((-1)/(-2))/((-6)/70428). Let a = -1728 - s. Is a a prime number?
False
Let j(d) = 4*d - 9. Let x be j(0). Let w be ((-48)/x)/(1/537). Suppose -4*h = -w + 796. Is h composite?
True
Suppose -3*u + 16 = 4*q, 4*q = u + u + 16. Let k(x) = 9*x - 90. Let r be k(10). Suppose q*n - 281 - 1667 = r. Is n a prime number?
True
Let w = 136 - 132. Suppose -11938 = -w*c + 12550. Is c a prime number?
False
Suppose 2*a - 24*a = -13222. Is (2 - -8)*a + 3 prime?
False
Suppose -16 = -5*d + u, -18*d + 14*d + u + 12 = 0. Suppose 3074 = 2*l - 3*i, 241 = d*l - 3*i - 5919. Is l a prime number?
True
Is 3/(12/3704024)*((-34)/(-4) + -8) prime?
True
Let u(s) = s**3 - 2*s**2 + 4*s - 4. Let f be u(4). Suppose -5*h - 4*a - f = 0, -3*a = -h - 5*a - 10. Is 6/h*(-80)/15 a composite number?
True
Suppose 8984 = -15*b + 505589. Is b a composite number?
False
Let k(z) = -4*z**3 - 11*z**2 - 9*z + 4. Let p(h) = 5*h**3 + 12*h**2 + 10*h - 3. Let u(a) = -6*k(a) - 5*p(a). Let j be u(5). Let w = j - -325. Is w composite?
True
Let q(t) = t**3 + 17*t**2 - 23*t + 5. Is q(14) a composite number?
True
Let r(z) = z**3 + 78*z**2 + 132*z + 97. Is r(-56) a prime number?
False
Let y be (16348 + 2 - 3) + 2 + -2. Suppose y = 4*k - 0*k + 5*s, 0 = -5*k + 2*s + 20409. Suppose 2*n + k = 3*h + 3*n, 4*h + 2*n = 5444. Is h prime?
True
Let i be (28/(-12) + 2)*-9. Suppose -5*w + 10 = 0, -w - 1198 = -2*t - i*w. Is t composite?
True
Let a be (-2 - 10/5)/((-1)/2). Let w(r) = 2*r**2 - 7*r + 18. Let x be w(a). Is 47592/x - (-2)/10 prime?
False
Let n(v) = 264*v**3 - v**2 + 2*v + 2. Let w be (-2 - -1)*-1*-1. Let q be n(w). Is q*(12/(-15))/4 a composite number?
False
Let t = 55 + -53. Is ((-1)/(-2))/(t*11/126676) a prime number?
True
Let b = 3008 - -404. Suppose z - 1855 = b. Is z composite?
True
Let r = 3088 - 1337. Let k(p) = p**3 + 4*p**2 - p - 6. Let w be k(-3). Suppose 0 = 4*h - w*h + b + r, h = -5*b + 892. Is h prime?
True
Let y(r) = 55*r**2 - 13*r - 1. Let w(a) = 56*a**2 - 16*a - 2. Let f(d) = -4*w(d) + 5*y(d). Is f(-2) prime?
False
Let x(n) = 834*n - 44. Let q(v) = -835*v + 38. Let p(j) = -7*q(j) - 6*x(j). Let b(u) = -u**2 + 5*u + 1. Let t be b(5). Is p(t) prime?
True
Let v(o) = o**2 - 2*o - 3. Let c be v(-2). Suppose c*m + 7*k - 15091 = 5*k, -3*m = 2*k - 9053. Is m prime?
True
Suppose 8 + 23 = 5*m - 3*z, 23 = 5*m + z. Let x(u) = 4*u**3 - 2*u**2 + 11*u - 5. Let i be x(m). Suppose 979 = 3*q - i. Is q prime?
False
Is (((-2)/(0 - -6))/((-60)/211392360))/2 composite?
False
Let c(u) = -4*u + 5. Let a be c(-32). Let i = a + 13. Is i composite?
True
Let n be 1/(-3) + 60/18. Suppose -15 = 3*z, -5*z + 656 + 729 = n*j. Suppose -8*g = -13*g + j. Is g prime?
False
Let h(o) = o**3 - 36*o**2 - 42*o + 54. Let r be -4*(38/(-4) - (13 - 13)). Is h(r) composite?
True
Let r(w) = 15*w + 4. Let f be ((-1)/(-2))/((-2)/28). Let d be (4 - 0) + f - -5. Is r(d) composite?
True
Let l(t) = -7 + t**3 + 3*t - 6*t + 13*t**2 + 6*t + 8*t. Let i be l(-12). Suppose 5*v = 3*q - 2416, 2*q - 2195 = -i*v - 576. Is q a composite number?
True
Let w = -146656 + 508989. Is w prime?
True
Is 12 + -39 - -14 - -9371 composite?
True
Let k be (-312)/(-15) - (-8)/(-10). Suppose 3*w = 5*h + 60, 5*w - 4*w + 2*h = k. Is (w/12)/(1/111) composite?
True
Let r(x) = 3*x**2 + 4423. Let q be 2 + 3 - ((-1 - -4) + 2). Is r(q) composite?
False
Let f = 51209 - 79519. Let s = -15519 - f. Is s a prime number?
True
Suppose 0 = g - 3*f - 31016, -29*g + 26*g + 2*f + 93055 = 0. Is g composite?
False
Let h(c) = -c**3 + 11*c**2 - 9*c + 1. Let m be h(10). Suppose m = -5*q - 4. Is q/3*(4 - 187) a prime number?
False
Let a be (-56)/(-140) + 2/(10/(-107)). Is (-28587)/a - (-10)/(-35) a prime number?
True
Let c(r) = r**3 + r**2 - r + 515. Let f be c(0). Let p = f + -36. Is p a composite number?
False
Let r(b) = 9*b + 787. Let j(q) = q**3 - 6*q**2 + 2*q - 11. Let a be j(6). Suppose a - 21 = -m - 4*l, 4*l - 20 = 0. Is r(m) a composite number?
False
Let c(r) = -r**3 - 14*r**2 + 16*r + 20. Let m = -4 + -11. Let d be c(m). Suppose 0 = 8*x - d*x - 879. Is x prime?
True
Let l(y) be the second derivative of 217*y**5/10 - 5*y**4/12 + y**3 - 7*y**2/2 + 195*y. Is l(2) a prime number?
True
Suppose