umber?
True
Let p(d) = -16*d + 7*d + 6*d - 4*d - 21*d - 39. Is p(-28) a composite number?
True
Let s = 26892 - -28901. Is s composite?
False
Suppose -2*y + 6*o + 20 = 4*o, -3*y = 5*o + 10. Suppose -3*w - y*k = -3533, 2*k - 3 = 5. Is w a composite number?
False
Suppose 16*u - 19*u = -39. Let h = -15 + u. Is (-6502)/4*4*h/4 a prime number?
True
Let k(d) = 57*d**2 + 24*d - 154. Is k(45) prime?
True
Let d be (-3)/21 - 61138/98. Let p = 11153 - d. Is p a prime number?
True
Suppose -3*i + 6*i = 15. Suppose -1 = g - 3, -4*c + i*g + 30 = 0. Is c + -12 + 1*360 a composite number?
True
Suppose 43454 = y - 5*m, -3*y = 40*m - 38*m - 130481. Is y prime?
False
Suppose 11*j - 8 - 36 = 0. Suppose j*t = -2*b + b + 41248, t - 10309 = -b. Is t a composite number?
False
Suppose 6822 = -18*d - 666. Let o = 875 + -3258. Let m = d - o. Is m composite?
True
Suppose 0 = -4*m - 24 - 4. Is 1 + 5573 + 10/(-5 - m) prime?
False
Suppose 3*b - 18471 = -5*v - b, -3*b - 3679 = -v. Is v composite?
False
Let p be 950 + (12/16)/((-3)/12). Let o = 10 - -10. Let k = p + o. Is k prime?
True
Is (20*23/460)/(3/1764687) prime?
True
Suppose -i + 12111 + 21766 = -6816. Is i a composite number?
False
Let b = -364 - -366. Suppose 0 = 5*i - 3*u - 137769 + 20935, 46733 = b*i - u. Is i composite?
True
Let j = 21918 - -20177. Is j prime?
False
Suppose -24*w - 82 - 86 = 0. Let d(t) = -2025*t + 226. Is d(w) a prime number?
True
Suppose -2*h + a + 18 = 7, 6 = -3*h - 3*a. Suppose 165 = -h*j + 1422. Is j composite?
False
Let o(t) = -460 - 5*t**2 + 2409 + 2*t**2 + 5*t**2. Suppose -8*q + 4*q = 7*q. Is o(q) a composite number?
False
Let s be (35/15)/1*6. Let g(n) = 108*n - 115. Is g(s) a prime number?
False
Suppose -3*g + 34 = 2*i, 21 = -3*g + 5*g + i. Suppose 0 = -g*u + 7*u + 1027. Is u a composite number?
True
Let b(s) = s**2 - 3*s - 1. Let x(u) = -u**2 + 7*u - 2. Let v be x(6). Let y be b(v). Suppose 2*m + 6955 = y*p, 4662 = -2*p + 4*p + 5*m. Is p prime?
False
Suppose 2*s = 5*d + 4191, -s = -13*d + 9*d - 3354. Suppose f = -f - 4196. Let q = d - f. Is q prime?
True
Let w(z) = 109*z**2 - 115*z - 813. Is w(-7) prime?
True
Let z be 2/16 - (-75)/40. Suppose -3*l + 2873 + 5670 = -4*d, z*l - 5657 = -5*d. Is l a composite number?
True
Let i be ((-3)/4)/((-225)/600). Suppose t = i*t - 1823. Is t a composite number?
False
Let g(p) = p**2 + 2*p - 1. Let o(s) = -12*s**2 - 37*s + 130. Let n(m) = -6*g(m) - o(m). Is n(39) a composite number?
True
Let l be 34/9 + 4/18. Suppose -5*c - 5*b + 30 = 0, b + 8 = 2*c - b. Suppose 2*t - 428 = -4*q - 4, -l*t + c*q = -861. Is t a prime number?
False
Let z(o) = o**2 + o. Let v(t) = 7*t**2 + 13*t + 31. Let c(a) = v(a) - z(a). Is c(-15) a composite number?
False
Let u(h) = h**3 + 6*h**2 - 3*h - 10. Let v be u(-6). Let j(z) = 4*z**2 + 6*z + 18. Let y be j(v). Is (-1)/(((-970)/y + 3)/2) composite?
True
Let d be (-3)/(81/(-38226)) - 4/(-18). Suppose 5*t = 13*t - d. Let l = 336 - t. Is l a prime number?
False
Let g(n) = -n**2 + 10*n - 20. Let w be g(5). Suppose -b + w*r - 131 = -1695, 5*r = 25. Is b prime?
False
Let b be 3/(-15) + 66/(-60)*-2. Suppose 2 = -5*i - u + 1, -4*i = 2*u + b. Suppose 4*o - 4688 = 3*a, i - 4 = a. Is o composite?
True
Let d(b) = -2200*b - 379. Is d(-23) prime?
True
Let t = 6972 + -242. Let q = t + -3746. Suppose r + q = 9*r. Is r prime?
True
Is ((-8*3)/8)/1 + 1660 a prime number?
True
Let o(v) = -26188*v**3 + 10*v**2 + 10*v + 1. Is o(-1) a composite number?
False
Suppose 3*n - 3*m = 12, n - 5*m - 11 = -n. Suppose 0 = 2*h - 5*h + 3, -14302 = -n*k + 5*h. Is k a prime number?
False
Let k = -102849 - -232640. Is k composite?
True
Let j = -148243 + 558390. Is j a composite number?
True
Suppose -3*x + 35976 = -8*x - 2*u, u = 4*x + 28773. Let k = x + 18937. Is k prime?
True
Let d(i) be the first derivative of 2543*i**2 - 7*i + 2. Let f be d(2). Suppose -5*t + 2*t = 6, 5*t = 3*y - f. Is y prime?
False
Let c = 329552 - 42249. Is c prime?
False
Suppose 5*v - 51171 = 5*x + 63164, 3*v - 91464 = 4*x. Is x*((-52)/12 + 4) a prime number?
True
Let m(f) = -2*f**3 + 15*f**2 + 10*f + 6. Let j be m(8). Is j/((24/1244)/3) prime?
False
Let o = -2926 - -691. Is -9 + (-183)/(-21) - o/7 prime?
False
Suppose -80*o - 1128226 = -102*o. Is o a composite number?
False
Suppose -81142*f = -81115*f - 45395289. Is f a composite number?
False
Let m = 940860 - 628081. Is m composite?
False
Suppose -b - 11*z = -7*z - 80715, 0 = 3*b - z - 242171. Is b prime?
False
Let b = -52703 - -78278. Suppose 2*n - b = m, 4*n - 8*n - 3*m = -51145. Is n prime?
False
Suppose 0 = -k - 4*m + 263363, -2*m = 171*k - 172*k + 263327. Is k a prime number?
False
Is (-2)/6*2*43376283/(-6) composite?
True
Let h(r) = -487*r - 11 + 21 - 38 - 24. Let x be h(-5). Suppose 5*v = 4*a - x, -5*a + 2*a + 1786 = -5*v. Is a prime?
False
Let n(i) = -232*i**2 + 2*i - 16. Suppose 5*y - 5*w = 40, -5*w = -y + 4*y - 8. Let r be n(y). Is r/(-3) - 8/192*8 prime?
False
Let d(j) be the first derivative of -325*j**2/2 + 42*j + 37. Is d(-7) prime?
False
Suppose 0 = 4*n - 24 + 36. Let g be (n + -38407)/(-5)*-2. Is 1/(3 - g/(-5122)) a composite number?
True
Let p = -53434 + 487757. Is p composite?
False
Let l(r) = -3*r - 8*r**2 - 14 - r + 7*r**2 - r**2. Let j be l(-5). Is ((-87)/12 + 3)*j a composite number?
True
Let r(v) = -1188*v**2 + 3*v + 2. Let j be r(-1). Let n = j + 2199. Let u = 1781 - n. Is u composite?
True
Let s(t) = t**3 + 12*t**2 - 30. Let o be s(-7). Suppose 223*b = o*b + 47224. Is b a composite number?
False
Suppose -314*o = -19343288 - 8843437 + 7283431. Is o composite?
False
Let x(j) = 10*j - 60. Let k be x(7). Suppose -4*g + 30127 = c, g + 11*c - 7534 = k*c. Is g a prime number?
False
Let j(b) = -17480*b - 8871. Is j(-76) a composite number?
False
Let z = -384 + 386. Suppose -5*g = -c + 30145, 4*c + z*g - 156457 + 35877 = 0. Is c a composite number?
True
Let b = 84 - 55. Let c = 32 - b. Suppose i = c*r + 232, 0 = 5*r - 2 + 17. Is i composite?
False
Suppose -15 = -5*o, -2*a - 105*o + 106*o + 51803 = 0. Is a a composite number?
False
Let t(o) = 5282*o + 1167. Is t(7) a prime number?
False
Suppose -6*r - 31 = 221. Let l = -41 - r. Is 2*l/((-6)/(-7311)) composite?
False
Let y(d) = 15*d**3 + 30*d**3 + 3 - 4*d**3 + 18*d**2 - 24*d**2. Is y(4) a composite number?
False
Let c be (-9270)/(-45) + (0 - (0 - -2)). Suppose 2*l = -c + 1958. Is l a composite number?
False
Is (3 - 56/20)*400195 composite?
False
Suppose 0 = 69*l - 61*l. Let g(a) = -2*a - 3. Let m be g(-3). Suppose 0 = -0*r + m*r - h - 1494, -r - 2*h + 505 = l. Is r prime?
True
Let o(u) = u**2 - 9*u - 21. Let s be o(15). Let a = -47 + s. Let n(x) = -x**3 + 24*x**2 + 12*x + 30. Is n(a) a composite number?
True
Let r(o) = o**3 - 4*o**2 - 7*o + 5. Let s be r(3). Let b be (40/s)/(2/(-5))*3. Suppose -b*p + 8210 = -2*p. Is p composite?
False
Suppose -17*i - 4 = -18*i, -3*q - 248 = i. Let w = q - -229. Is w prime?
False
Let u(d) = d**2 + 5*d - 57. Let c be u(-10). Let z(b) = 35*b**2 - 10*b - 22. Is z(c) a composite number?
True
Let f = -72 + 83. Suppose -f*p = -4 - 40. Suppose 147 - 599 = -p*g. Is g a prime number?
True
Is -9 - (-74943)/(-132)*(-16)/3 a composite number?
False
Suppose -2*v + 6 = 2. Let q be -44*(220/(-16) + v). Suppose l - a - q = a, 0 = 2*a. Is l composite?
True
Let a be -2 - 24/(-9) - 462/(-9). Let k = a + 21. Let h = 167 - k. Is h prime?
False
Let k(d) = -d**3 + 112*d**2 - 367*d + 29. Is k(73) a prime number?
False
Suppose 5*u - 5 = 0, -p - 3*u = -4*u - 1296. Let h be 60/18*(-6)/(-4). Suppose h*m = 1098 + p. Is m a prime number?
True
Let y(p) = 209*p**2 + 8*p - 2. Suppose -7*u - 6 = -9*u + 4*c, -3*u + c + 9 = 0. Is y(u) a prime number?
False
Let t(p) = -28*p**3 + 6*p**2 + 12*p - 11. Let s be t(-7). Let l = -5052 + s. Is l prime?
True
Let u(g) = 1459*g**3 + 6*g**2 + 18*g - 102. Is u(5) a prime number?
False
Suppose -255611 = -4*l - 3*j, -2*l + 127819 = -2*j - j. Is l a prime number?
False
Suppose 0 + 4 = 2*x + 3*r, 4*r = 4*x - 8. Let w(m) = -43 + 2*m**3 + 2*m + 5*m**2 + 5*m**x + 56. Is w(8) prime?
True
Suppose -3*x - 5*x + 701648 = 8*x. Is x composite?
False
Let o = -12121 - -43938. Is o prime?
True
Suppose 5*k - z - 5398 = 0, -3*k + 3*z - 2149 = -5*k. Suppose 5*m + n - 2663 = -3*n, -2*m = -3*n - k. Is m a composite number?
True
Suppose 2*f - f = 5. Let o(m) = 9*