 Is j composite?
False
Suppose -44*u + 50*u - 5*n = 47227, -3*u + 4*n + 23621 = 0. Is u prime?
True
Let q(l) = l**3 + 8*l**2 - 9*l + 6. Let a be q(-9). Let y be (6/21)/(20/280). Suppose v - a*v = 4*c - 834, -y*v = c - 203. Is c prime?
True
Suppose 6*o - 63 = -15*o. Suppose 0 = -3*w + o*y + 669, 3*y + 4 = -w + 227. Is w a prime number?
True
Let m(g) = -12*g**2 - 11*g - 2028. Let r(n) = -5*n**2 - 5*n - 1013. Let d(l) = 2*m(l) - 5*r(l). Is d(0) composite?
False
Let j(w) = -w**3 - 9*w**2 + 11*w + 14. Let b be j(-10). Suppose 3*n = a - 1900, 3835 = 2*a - b*n + 5*n. Is a composite?
True
Let j = -17478 + 61156. Is j a composite number?
True
Let z(l) = l**2 - l. Let i be z(2). Let t be (-136)/(-44) + (-2)/22. Suppose i*h - 2581 = x, -h + x + 5167 = t*h. Is h composite?
True
Let x be (-2)/(2/(-3)) + -3. Suppose x = -f + 2*f - 7. Suppose 331 = 4*b + 3*h, 3*b + 355 = f*b - 5*h. Is b composite?
True
Let p(t) = -87*t - 143. Suppose 0 = -5*k - 20, 0 = -7*r + 4*r - 4*k - 28. Is p(r) a composite number?
True
Let j(p) be the first derivative of -p**3 + 61*p**2 - 30*p - 202. Is j(37) a prime number?
False
Let c(d) = d**2 + 3*d - 1. Let r be c(-4). Suppose q = -2*h + r*q + 1568, -q = -2*h + 1573. Is h prime?
False
Suppose 102 = 5*v + 3*g, v + 5*g - 51 = -13. Suppose -j = 5*j - v. Suppose -j*d = -15, 241 + 1999 = 4*w - 4*d. Is w a prime number?
False
Let r(z) = 381*z + 251. Let o be r(-7). Let h = o - -4169. Is h a prime number?
True
Let l = -3695 - -6454. Suppose -8*s + 3137 = -l. Is s a prime number?
False
Is 2*(-143)/26 - -20538 a prime number?
False
Suppose -43*z + 85*z - 90747945 = -93*z. Is z prime?
False
Let s be -2*254818/84 + 218/2289. Let j = s + 10056. Is j a composite number?
False
Let q = -5000 - -2396. Let r = 1579 - q. Is r a composite number?
True
Let p(h) = -737*h**3 + 63*h**2 - 15*h - 28. Is p(-9) a composite number?
False
Suppose 4*i - 4*r = 469972, 4*i = -r + 41105 + 428887. Is i a composite number?
False
Let q = 44638 - 19747. Is q a prime number?
False
Let c(o) = 409*o. Let n be 4/(-12)*(-2 - 1). Let d be (-2)/(2/(-2)) - n. Is c(d) a composite number?
False
Let v(o) = 474*o**2 - 19*o - 1. Suppose 5*b = -0*b - 4*d + 12, 5*d + 10 = 0. Is v(b) a composite number?
False
Suppose -f + 5 = 2. Let p(n) = -13*n**3 + 16*n**f - 8*n - 5 + 0*n**2 - 19*n**3 + 4*n**2. Is p(-4) a composite number?
True
Suppose 0 = -l - 5*s, 3*l + 48 = 6*l - s. Let o be 1620/25 - (-3)/l. Let a = 62 + o. Is a a prime number?
True
Suppose -2743 + 10447 = -8*s. Let a = s - -2222. Is a prime?
True
Suppose -4*f = -5*s + 55127, 6*f - 14730 = -4*s + 29390. Is s prime?
True
Let b = -118 + 177. Suppose -5*u = -5 - 5. Suppose -g + 309 = u*c, 4*g + b = 2*c - 275. Is c prime?
True
Suppose -2*r - 145792 = -2*l, -33*l = -28*l - 2*r - 364495. Is l composite?
False
Is 276998/18 + (-74)/(-333) a composite number?
True
Let p = -657627 + 1562348. Is p a prime number?
True
Let q(n) = 6370*n - 571. Is q(3) a prime number?
True
Suppose 0 = -3*w - 5*i + 279289, -4*i - 14122 = 3*w - 293415. Is w prime?
True
Let s = -633 - -643. Is s/4 + 11*(-14572)/(-8) a composite number?
True
Let g(t) = -11*t**2 - 38*t + 128. Let r(x) = -7*x**2 - 25*x + 85. Let v(d) = 5*g(d) - 8*r(d). Is v(-27) a prime number?
True
Let w = 48221 + -1372. Is w a prime number?
False
Let j = 544434 + 97447. Is j a composite number?
False
Let g = 117 + -109. Suppose g = -z - z. Is (2159 - z) + 0 + -2 a composite number?
False
Let h(y) = -316*y - 9. Let p be 5 - (1 - (0 + -5)). Is h(p) prime?
True
Suppose -r = 3*i - 6*r - 3678, 9 = 3*r. Let l = i - -2995. Suppose 2*x = l + 900. Is x a composite number?
True
Let w(c) = 1135*c**2 + 474*c - 27. Is w(-14) composite?
False
Suppose -2*c - 22 + 28 = 0. Suppose -4*p - 39260 = -c*y, -4*y + 52348 = -6*p + p. Suppose -2*l + 6526 = 4*t, 0 = -4*l + 7*t - 5*t + y. Is l composite?
False
Let h(t) = -t**3 - 24*t**2 + 105*t + 1479. Is h(-32) a prime number?
True
Let p(g) = 2*g**3 + 12*g**2 + 7*g - 15. Let b be p(-5). Suppose -5*q + 6*l - 8*l + 13597 = 0, 5*q - 2*l - 13613 = b. Is q composite?
True
Let j(k) = 1149*k**2 + 2*k - 12. Let w be j(2). Let m = w - -1445. Is m composite?
True
Suppose -7170 = -2*t + 9*v - 8*v, -10757 = -3*t + v. Is t a composite number?
True
Suppose 0 = -5*n + 25, 194*n - 190*n = -5*r + 697465. Is r a prime number?
False
Let t(p) = -10*p - 12. Let r = 140 + -100. Let k = r + -45. Is t(k) a prime number?
False
Let b(m) = 2*m**3 - 2*m**2 - 7*m - 2. Let g be (4/6)/((-3)/(-9)). Suppose 4*o + g*q - 9 = 5, 4*o + 5*q - 5 = 0. Is b(o) composite?
False
Suppose -3*n = 2*q - 390913, -21*n + 18*n + 390901 = -4*q. Is n prime?
True
Suppose p + 814200 = 4*q, -2*q + 253474 = -p - 153628. Is q a prime number?
True
Let d = 76924 + -40521. Is d composite?
True
Is (176661/(-486))/(2/(-44)) a composite number?
True
Let n(k) = k**3 - 4*k**2 - 5*k - 1. Let g(d) = d**2 + 5*d + 5. Let v be g(-5). Let h be n(v). Is (h - (-3452)/(-12))*(-30)/4 a prime number?
False
Let h = 62687 + -12330. Is h composite?
True
Let h(s) = -s**3 - s**2 + s. Let v be h(1). Let p be 2/4*(v - 5)*-1. Suppose -5*t + 326 = -p*t. Is t a prime number?
True
Let n(i) be the third derivative of 113*i**4/24 - 35*i**3/3 - 24*i**2. Is n(37) a prime number?
True
Let r(q) = -3*q + 9. Suppose 2 = -2*t + 2*h, -3*t = -0*t - 5*h + 1. Let y(g) = -4*g + 9. Let u(s) = t*y(s) + 3*r(s). Is u(-12) prime?
False
Suppose -4*a + 43245 = z, 4*z - 21*a - 172944 = -25*a. Is z a composite number?
True
Suppose 17*t - 482292 = 13*t - 5*d, -844121 = -7*t + 5*d. Is t composite?
True
Suppose 3*z = -l + 1721, 41*z - 43*z + 1147 = l. Suppose -z*k = -568*k - 9564. Is k prime?
False
Let j(q) be the first derivative of -255*q**2 + 131*q - 53. Is j(-17) a composite number?
True
Let l(g) = 2*g**3 - g**2. Let s be l(-3). Let i be (-85 - -77) + 503*2. Let m = i - s. Is m prime?
True
Let h = -21 - -25. Let j = -55 + 51. Is ((-4106)/h)/(2/j) a composite number?
False
Suppose -168167 = -786*y + 794*y - 785695. Is y prime?
True
Suppose -v + 2*u - 5 = -3, v - u + 1 = 0. Suppose v = 5*w - 1431 - 2314. Is w a prime number?
False
Suppose 65*x - 218*x + 84677875 = -28*x. Is x prime?
True
Let s be (-4)/(24/90)*(-2)/10. Suppose -2*g = 4*m - 3362, -106 = -s*m + 3*g + 2402. Is m a prime number?
True
Let x(p) be the second derivative of p**5/10 - 19*p**4/12 - 19*p**3/6 + 35*p**2/2 - 40*p. Is x(18) a prime number?
False
Let v(p) = p + 62. Let t be v(-60). Suppose -t*h + 5156 = -3*x, 7368 + 5527 = 5*h - 5*x. Is h prime?
False
Is 79202340/297 - 6/11 a composite number?
True
Let g(u) = 85*u - 18. Let d(h) = -1. Let k(c) = 4*d(c) + g(c). Is k(5) a composite number?
True
Suppose -21*g + 1345360 = 59*g. Is g a composite number?
True
Let j(t) be the second derivative of 242*t**3/3 + 3*t**2/2 - t + 8. Is j(4) composite?
True
Suppose 0 = -5*v + 322 + 918. Let i(m) = -324*m + 49. Let u be i(-2). Let j = u - v. Is j a prime number?
True
Let m(b) = 125*b + 113. Let l be m(21). Suppose -5*z = -2*s + l, -3*s + 3*z = 4*z - 4141. Is s prime?
False
Let k(j) = 9*j + 23 + j**2 - 2*j**3 - 5*j**2 + 5*j**3. Let q(m) = m - 1. Let d(y) = k(y) + 6*q(y). Is d(7) prime?
False
Suppose -6*n = -v - 2*n - 14, -4*n = 3*v + 122. Is 219/(-6)*v/1 a prime number?
False
Let h = 133677 + 28858. Is h a composite number?
True
Let b(c) = -13*c + 5. Let u be b(0). Is ((-6531)/(-12))/(u/20*1) composite?
True
Suppose -3*o = -2*l - 37156 + 292371, -2*l - o = -255235. Is l composite?
True
Let s(d) = 25*d + 245. Let h be s(-9). Is 6/h + 3658940/200 prime?
False
Let x(n) = 26*n - 15. Let r(m) be the second derivative of -77*m**3/6 + 22*m**2 + 10*m. Let k(f) = 4*r(f) + 11*x(f). Is k(-8) a prime number?
False
Let v(m) = 6*m**2 - 4*m - 19. Suppose 0*x - 5*x + 125 = 4*h, -5*x + h = -125. Is v(x) composite?
False
Is (-88)/(-13 - -2) - -1485243 a composite number?
False
Let k be (3 - 7) + 4*90 - 4. Suppose 5438 = 6*p - k. Is p composite?
True
Is (-1406040)/(-15) - (6 + -3) prime?
False
Let r = 50 - 47. Suppose 2*p - 1221 = -r*q, 6*p = p - 15. Is q a prime number?
True
Let k(z) = -158*z**2 - 18*z + 57. Let o be k(4). Let i = o - -3946. Is i a composite number?
True
Let b = -80 + 83. Suppose 2*y = 3*r - 3991, -3*r + r = b*y - 2678. Is r a composite number?
True
Let r be (27/6 - 2/(-4)) + -2. Let b be (-27)/(-18)*(-4)/r. Is ((-502)/4)/(1