 q, 0 = -4*y + j + 2751. Is y composite?
True
Let v(b) = 100*b - 31. Is v(11) a composite number?
False
Suppose -3*z + b + 7 + 27 = 0, 0 = -4*z - 2*b + 52. Suppose 42 - z = 5*o. Is (796/(-6))/(o/(-9)) composite?
False
Let u = -3342 - -12569. Is u a composite number?
False
Let h = -59684 + 85419. Is h a composite number?
True
Let w(u) = u**2 - 2*u + 3. Let y be w(9). Let z = 83 + y. Is z composite?
False
Suppose 15*v - 19*v = -64. Let p(x) = 28*x + 6. Is p(v) a prime number?
False
Let m = 346 + -5. Is m prime?
False
Suppose -2370*h = -2369*h - 13537. Is h composite?
False
Let k = 7 - 2. Suppose 0 = -3*n - 3*g - 2 - 10, -3*g - 12 = k*n. Suppose 3*h = -n*h + 39. Is h a prime number?
True
Let z(x) be the second derivative of 385*x**4/4 - x**3/3 - 10*x. Is z(-1) composite?
True
Suppose 5*q + 0*u + 48 = -4*u, 32 = -3*q - 4*u. Is 11230/4 + 4/q a composite number?
True
Let u be (6/9)/(2/(-120)). Let o be 250/u + 2/8. Is (o + -217)*(-3 + 2) a composite number?
False
Suppose 37*l - 323651 = 115280. Is l a prime number?
True
Suppose -2*w + 10*w - 113512 = 0. Is w prime?
False
Suppose 210 = 3*o - 3*n, 3*n + 427 = 5*o + 77. Let j = o - -465. Is j a prime number?
False
Let p(u) be the second derivative of -u**5/20 + u**4/4 + 4*u**2 + 8*u. Let d be p(4). Is ((-43)/(-3))/(d/(-48)) composite?
True
Is 2545*6*4/120 prime?
True
Suppose 3*v + 27*j - 38974 = 28*j, 5*v = j + 64956. Is v composite?
True
Suppose 2*s - 4402 = -4*p, -3*s + 0*p = -3*p - 6612. Is s prime?
True
Let t = 14721 - 7682. Is t a composite number?
False
Let o = 14344 + -6153. Is o prime?
True
Let h = 4091 - 420. Is h composite?
False
Let a(l) = 3*l**2 - 36*l - 37. Let k be a(16). Let f = 143 + k. Is f a composite number?
True
Let f = -12 - -29. Let n(o) = 20*o + 27. Is n(f) composite?
False
Suppose 0 = -2*i - 0 + 4. Is (4 - 3)*1774/i prime?
True
Let d(t) = -t**3 + 10*t**2 + 4*t - 2. Let i be d(10). Suppose 15 = 3*c, -5*c + i = w - 8*c. Suppose 307 = 2*j + w. Is j prime?
True
Is 24998/3*(114/12 - 8) prime?
False
Let p be ((-6)/(-9))/(12/126). Let h(g) = 9*g**2 + 15 + 7 - 3*g + 3*g**3 - 13 - g**3. Is h(p) composite?
True
Let p(i) = -109*i + 2. Let y be p(-8). Suppose -2*r = -4*g - 2006, 5*r + 5*g = -y + 5934. Is r composite?
False
Is (6 + -7)/((-27896)/27892 - -1) a composite number?
True
Let v(f) = -248*f + 405. Is v(-23) composite?
True
Let y = 8080 - 5153. Is y composite?
False
Let i(n) = 5273*n**2 + 41*n + 203. Is i(-6) a prime number?
False
Suppose -31*v + 279913 = -28258. Is v a prime number?
True
Let x(y) = 2*y**2 + 6. Let q be x(6). Let v be 3/(-2) - q/(-12). Suppose 0 = -3*a - 3*r - r + 333, v*a - 3*r = 584. Is a a prime number?
False
Let f = 7 + -4. Is ((-166)/f)/((-12)/18) composite?
False
Let s(o) = -1099*o + 171. Is s(-8) a prime number?
True
Let a(j) = 41*j - 14. Is a(5) a composite number?
False
Let x = 2658 + -1621. Let l = -304 + x. Is l composite?
False
Let x be (-6)/(-3) - (-1 - 0). Suppose 13 = b + 5*j - 429, x*b - 1337 = -4*j. Is b a composite number?
True
Suppose 3*m = 7*m - 56. Let c(l) = -l**2 + 13*l + 17. Let p be c(m). Suppose 8*s - 435 = 3*s + 4*z, -p*s - z + 261 = 0. Is s composite?
True
Suppose 10 = z - q, -64 = -5*z - 3*q + q. Let v be -3*((-356)/z + 0). Let y = v + -18. Is y composite?
False
Let u be (24/(-36))/(2/(-21)). Suppose -2*x + u = 21. Is x*(20*1)/(-4) prime?
False
Let i be 6*-3*(-2)/18. Suppose -i*w + 66 = -z + 169, -536 = -5*z + 3*w. Let o = 200 - z. Is o composite?
True
Let f(c) = -c + 10. Let h be f(6). Suppose -1982 + 210 = -h*u. Is u a composite number?
False
Is (-2 - -1)/(((-35)/(-6805))/(-7)) a composite number?
False
Let z(l) = -24*l + 143. Is z(-26) composite?
True
Suppose 3*u + 4*i - 1670 = -0*u, -4*u + 5*i = -2206. Suppose -r = -2*p - 284, 3*p = r - 3*r + u. Is -3 + r - 12/4 composite?
True
Let x = 28 - 144. Let t be (-1)/(-2) + 1/2. Is t + 0 - (x + 2) a composite number?
True
Let t(o) = o**3 + 26*o**2 - 40*o - 16. Is t(-19) composite?
False
Suppose -4*b + 0 - 4 = 0. Let p be (-2)/(-8) - b/(-4). Suppose 0 = -p*h + 5*h - 455. Is h a prime number?
False
Suppose 3*f - 11*f = 8. Is (-5483 - f)*(-3 + 30/12) composite?
False
Let c(n) = 690*n - 53. Is c(4) composite?
False
Let n = 102 - 100. Suppose -5*z = -2*l - 4881, -2*z - 3*l = n*z - 3914. Is z composite?
False
Let s(p) = -p**3 - 7*p**2 + 10*p + 7. Let v be s(-6). Let d = v - -166. Is d a composite number?
True
Suppose 0 = -1477*p + 1472*p + 100910. Is p a composite number?
True
Suppose -4*z - 3*q = 25, 0 = -3*z - 2*q + 6*q - 25. Is (-1143)/z + 6/(-21) a composite number?
False
Suppose -6*q - 4721 + 26567 = 0. Is q prime?
False
Suppose -2*n - 8 = 2*n. Is n + 180*((-300)/(-16))/3 prime?
True
Let g(p) = -71 - 85*p + 145 - 28. Is g(-7) a composite number?
False
Let q = 552 + -191. Let r = q + -246. Is r composite?
True
Suppose 3*s + 1365 = 4*v, -3*s = -2*v + 288 + 399. Suppose 2*r - 123 = v. Suppose -f + 213 = 5*m, -2*f + 3*f - r = 4*m. Is f prime?
True
Let s = 84 - -18. Let t(o) = 12*o + 5. Let p be t(1). Let v = s - p. Is v a composite number?
True
Suppose 6934 = 9*f - 9041. Suppose 0 = 4*g - 0 + 4, f = 4*z - 3*g. Is z a composite number?
False
Let m(w) = 11*w**3 + 12*w**2 + 27*w - 93. Is m(13) composite?
True
Suppose 0 = -b + 3*b - 160. Let y = 180 - b. Let g = y + -69. Is g a prime number?
True
Suppose 0 = -5*d + 3*v + 31760, 9432 = 3*d + 2*v - 9605. Is d prime?
False
Suppose 4*w - 3 - 5 = 0. Suppose -4*p + 224 = -3*o, p - 55 = w*o - o. Is p prime?
True
Let h(j) = -j**3 + j**2 - j - 1. Let m(c) = -4*c**3 + 23*c**2 - 24*c - 30. Let b(l) = -5*h(l) + m(l). Is b(-17) a composite number?
False
Let f(n) = -23*n**2 + 29*n + 5. Let x(d) = 45*d**2 - 59*d - 11. Let y(k) = -13*f(k) - 6*x(k). Is y(6) prime?
True
Let w = 30464 + -14971. Is w a prime number?
True
Let d be 96/18 - (-4)/6. Let s(i) = i**3 + 6*i**2 - 7*i - 7. Let g be s(d). Suppose -x - g = -3*z, 3*z = z + 2*x + 258. Is z composite?
False
Let y(i) = 2091*i - 229. Is y(38) a composite number?
False
Suppose 892 = -0*t + 4*t. Suppose -w + 2*w = t. Is w prime?
True
Let g be (4 - 5)*1 - -920. Let f = g + -588. Is f a prime number?
True
Let n = 2577 - -628. Is n composite?
True
Suppose u - 22 = 31. Suppose -598 = -5*z - u. Let n = 34 + z. Is n prime?
False
Let v be -4 + -3 + 21*3/9. Is (v - -5) + -10 + 384 a prime number?
True
Suppose 0 = -y + 5*j + 14172, -y - 5*j = -3*j - 14207. Is y a composite number?
False
Is (-1)/((5/(-953655))/(11/33)) composite?
False
Let v(u) = -4461*u - 76. Is v(-3) prime?
False
Suppose -452 = -3*o + 184. Let q be (29 - 25)/((-2)/o). Is ((-3)/(-4))/((-2)/q) a prime number?
False
Suppose -2*j - 2*b - 1024 = 0, 0 = 2*j - 2*b + 304 + 728. Let s be (-2)/(2/(-925)) + -2. Let w = s + j. Is w a prime number?
True
Suppose -4*q = 7 + 5. Is q + 39/6*68 prime?
True
Let w = 5413 + -3440. Is w a composite number?
False
Suppose 6 = 7*s - 4*s. Suppose s*c - 813 = -2*l + c, 1216 = 3*l - 2*c. Is l/(-8)*(-4 - 0) a composite number?
True
Suppose 3*v - 26 + 2 = 0. Let m be ((-502)/v)/(3/(-12)). Let d = 378 - m. Is d composite?
False
Let h(a) be the third derivative of 2*a**5/15 + 5*a**4/12 - 5*a**3/6 + 6*a**2. Is h(4) composite?
False
Let a = -3138 + 4981. Is a a composite number?
True
Let s be -2 - (-6)/9*12. Suppose l = -l + s. Is (-5)/(15/l)*-263 a prime number?
True
Let f(b) = -3*b + 1. Let o be f(2). Let k = 9 + o. Suppose u + 5*j - 138 = 184, -5*u - k*j + 1547 = 0. Is u prime?
True
Let x(s) = -2*s - 18. Let l be x(-10). Suppose h + 525 = l*g, 0*g - 3*h - 250 = -g. Is g prime?
False
Let j(g) = -6*g - 9. Let d = -11 + 11. Suppose -3*o + 4*o + 5*q = d, 2*o = -q - 9. Is j(o) prime?
False
Suppose y = 2*u + 13 - 1, 2*y = -5*u - 12. Is (-422)/(y/6*-3) composite?
False
Let x be 12/90 + (-73)/(-15). Suppose x*v = -3*y + 4*v - 2394, -5*y - 3998 = -v. Let g = -562 - y. Is g a prime number?
False
Let q be 63/42*(-3 - -1) - -5. Suppose -q*y = 8*y - 15530. Is y composite?
False
Let s(p) = p**2 - 26*p - 6. Let o(c) be the first derivative of 4*c**3/3 - 103*c**2/2 - 23*c + 9. Let g(l) = 2*o(l) - 9*s(l). Is g(13) a composite number?
True
Suppose h - 1809 = -v, 4*v + h - 7239 = -0*v. Suppose -14*z + 4*z = -v. Is z a composite number?
False
Suppose -7 - 2 = -3*o. Suppose -3*d - o + 12 = 0. Suppose -4*r - 1131 = -d*h, 5*h + 2*r - 820 = 1039. Is h a prime nu