 - 55 = -c*d, -d + 4*l + 11 = 0. Is d a prime number?
True
Let o(h) = -8342*h - 3. Let j(t) = -t**2 - 25*t + 83. Let p be j(-28). Is o(p) a prime number?
False
Let p(y) be the first derivative of y**3/3 - 7*y**2/2 - 17*y - 18. Let u be p(11). Suppose -745 = -32*m + u*m. Is m composite?
False
Let c = 439 - -233. Let d = -83 - -247. Suppose 2*r - c = -d. Is r a prime number?
False
Let k = -477 - -882. Is (-1 + k)*(-522)/(-72) composite?
True
Let j = 63 + -27. Let q = j + -38. Is 1/3*(-1554)/q prime?
False
Let z be 6*(12/(-16))/(3/(-2)). Suppose 0 = 3*g + 2*b - 8649, -g - 5771 = -3*g - z*b. Suppose 5*m - g = 274. Is m a composite number?
False
Let i = 221 - 223. Is (0 + -1 - i)*10884/12 prime?
True
Suppose -116*p - 176690 = -111*p. Is (-2)/9 + p/(-18) a composite number?
True
Let g(t) = -2*t**3 - 9*t**2 + 3*t - 7. Let f be g(-5). Suppose -38 + 11 = f*p. Is ((-15)/p)/(2/282) prime?
False
Suppose -3*g + 2*u + 113531 = 0, 5*g - 147873 = 3*u + 41344. Is g a composite number?
True
Let f = 189876 - 72037. Is f composite?
False
Let c(z) = z**3 + 21*z**2 - 78*z + 735. Is c(86) composite?
True
Let g be ((-20)/30)/(2/(-9)). Suppose 0 = g*f + 3*d + 42, -f = -4*d - d - 16. Is 51/f*(-153 + -6) prime?
False
Let p be 5/((-50)/(-8812))*(1 + 4). Suppose -a + 3*z - 5*z + p = 0, -5*a = -2*z - 22030. Is a a composite number?
True
Is (-40936)/(-2) + (-27)/(63/21) a composite number?
True
Suppose -5*w - 4*c + 547 = 0, 120 = 2*w + 2*c - 100. Suppose s + 4*z - w = 1810, -5*s + 4*z = -9561. Is s composite?
False
Let c(n) = n**3 - 27*n**2 + 28*n - 54. Let q be c(26). Let j(g) = 1869*g**2 - g + 5. Is j(q) composite?
True
Suppose -93*x - 6*x + 8250561 = 0. Is x a prime number?
True
Suppose -49 = -4*x - 129. Is (1 + 134/(-3))/(x/1380) a prime number?
False
Let g = 57 - 3. Suppose 205 = 4*v - p, 0 = -v + 2*p + p + g. Is (-6 + v/9)/((-1)/627) prime?
False
Let r be 21/(-6) - (-2)/4. Let z(k) = -4*k + 6*k + 1 + 6*k**2 + 0 - 31*k**3 - k**2. Is z(r) a prime number?
True
Let f(i) = -152*i**3 + 11*i**2 - 304*i - 5130. Is f(-17) a composite number?
False
Let q(r) = -2*r**3 + 3*r**2 + 6*r + 3. Let c be q(-1). Suppose 1603 = -4*n + 2*a + 5719, -c*n = -4*a - 2046. Is n a composite number?
False
Let p be -379672*(-20)/(-15)*(-3)/8. Suppose -l = 3*l - p. Is l a composite number?
False
Suppose 0 = 49*y + 729972 - 260319 - 5682812. Is y a composite number?
False
Let m(n) = 132*n + 3. Let l be m(-13). Let o = 1736 - l. Is o a prime number?
True
Let j be (-1)/(((-2)/12)/(2/4)). Suppose j*i + i - 1884 = -4*q, -5*q + 5*i = -2345. Suppose -q = -39*y + 34*y. Is y a composite number?
True
Suppose 4*m + 37462 - 140262 = 0. Let v = m + -13183. Is v a prime number?
True
Suppose -2*f - 2*w + 5*w + 485 = 0, 2*f + 3*w - 515 = 0. Suppose -f*i = -255*i + 3065. Is i a prime number?
True
Is 19/(((-200)/(-177070))/20) a prime number?
False
Suppose 0 = -3*y - 2*r + 4*r + 18, 0 = -2*y + 5*r + 1. Suppose -3*p + y*p + 3*t = 10, 5*p - 5*t - 50 = 0. Is 1836/p + (-5)/25 prime?
True
Suppose -d + 2*w = 0, -3*d + 2*w - w + 5 = 0. Let y(i) = -i**2 - 11*i + 3. Let h be y(-9). Is 28/h*1101/d a prime number?
False
Let r(z) = 130595*z - 511. Is r(4) a composite number?
False
Let q = 13 - 13. Suppose 0 = -y - 5*t + 36 + 478, y - 2*t - 528 = 0. Is ((-5 - q)/(-10))/(2/y) composite?
False
Suppose j - 3482 = -4*o, 0 = 3*j - 4*o + 6*o - 10496. Let h = -339 + j. Is h a prime number?
True
Let a(n) = 166*n - 12. Let v be a(8). Suppose -2695 = -21*l + v. Is l prime?
True
Is 3/(35235306/(-2349021) - -15) prime?
True
Let s be (-3)/(-2) + -1 + (-1)/2. Suppose -3*z - r + 4624 = 0, s*r - r + 1544 = z. Suppose 555 = 5*q - z. Is q a prime number?
True
Let b(j) = 51*j**2 + 29*j + 147. Is b(32) prime?
True
Let w = 19 + -15. Suppose 0 = l - 5*l + 3*g + 6760, 2*g = -l + 1701. Suppose -w*t + 5489 = l. Is t composite?
True
Suppose -199*c - 16 = -203*c, -5*m + 74057 = -2*c. Is m a prime number?
True
Let k be -5 + 39/9 + (-22)/(-6). Suppose -r = f + 4*r + 15, -3*r = -k*f + 9. Let y(z) = z**3 + 3*z**2 + z + 1271. Is y(f) composite?
True
Let w be (48/(-15))/(36/(-210510)). Suppose 0*l + l = 3*z - w, 3*z = 2*l + 18707. Is z prime?
False
Let b = 379660 - 162669. Is b a composite number?
False
Is (-2)/(12 - (-6535176)/(-544596)) composite?
True
Let t = 66 - 54. Suppose -3*d - 1656 = -t*d. Let h = d + -113. Is h a prime number?
True
Suppose -12*z - 39*z = 10*z - 10289419. Is z a composite number?
True
Let a = -22729 + 58268. Is a prime?
False
Let d be (4 - 20/16)/((-3)/(-696)). Suppose -c - 711 = -2*c. Let w = d + c. Is w composite?
True
Suppose 32*u - 36*u + 140 = 0. Let z = u + -31. Suppose -610 = -5*b - 5*k, -5*b + z*k + 660 = -k. Is b composite?
False
Let f be (-75590)/(-8) - 7/(-28). Suppose 2*a = u + f, -4*u - 17371 = -4*a + 1517. Is a a composite number?
True
Let i(a) = 5*a - 1. Let d be i(2). Let w(f) be the first derivative of f**4/4 + f**3 - 7*f**2/2 - 11*f - 479. Is w(d) prime?
False
Let c(a) = -2*a + 18. Suppose 5*p + 49 = 94. Let n be c(p). Suppose -5*h = -n*h - 17285. Is h a composite number?
False
Suppose -101 = p - 3*s, p + 3*p = 5*s - 390. Let n = p - 27. Let g = 244 + n. Is g composite?
True
Let m = 24 - 18. Let w be -3 + (-2)/m + 39548/6. Is (-3)/(-15) + w/10 prime?
True
Let p(h) = 101*h**2 - 20*h + 6. Suppose 0 = 4*q - q + 15. Let x be p(q). Suppose 2*c = b + x - 233, 2*c + 5*b = 2398. Is c composite?
True
Let g = -130254 - -330893. Is g prime?
True
Let v be (9/4)/((-2)/(-8)). Let b be (v - 11)/(1/(-321)). Suppose x - b = -x. Is x prime?
False
Suppose -12*n + 13*n = 12. Is 1041 - (27/n - 1/4) a prime number?
True
Let j be (32/(-80))/(-1 + (-1722)/(-1725)). Is ((-894)/(-12))/(((-55)/j)/(-11)) composite?
True
Let t(q) = -509*q - 550. Is t(-51) prime?
True
Suppose 0 = 14*k - 76892 - 517814. Is k composite?
True
Let j(f) = 44*f**2 + 6*f - 9. Let a = -82 + 58. Let l = 28 + a. Is j(l) a prime number?
True
Let c(o) = 30341*o**3 + o**2 + 128*o - 129. Is c(1) prime?
True
Let c(i) = -i**3 - 4*i**2 + 7*i + 9. Let o be c(-5). Let b be (o/(-3))/((-16336)/16338 + 1). Suppose -b = -14*m + 7*m. Is m a prime number?
True
Suppose -19*x - 91 - 137 = 0. Is (10 + x)*(791/(-2) + 2) prime?
True
Let d(y) = 8*y**3 + 6*y**2 + 42*y + 33. Is d(23) composite?
True
Suppose -8864 = -3*q + 2*m, 3*m - 11847 = 7*q - 11*q. Let a = -379 + q. Is a a prime number?
True
Suppose 2*y + 2*y = 4*n + 1328, 3*n - 1676 = -5*y. Suppose y = -3*j - 986. Let f = 479 - j. Is f a prime number?
True
Is (2 - (-2276812)/8) + ((-1)/(-2) - 1) composite?
True
Suppose -287598 = -478*c + 472*c. Is c prime?
True
Let j be ((-1)/(-2) - -2)*(-16)/(-10). Suppose 0*y = -j*y + 5*u + 33, -22 = -y + 4*u. Is (-2*(-250 + -1))/y composite?
False
Let v(o) = -284*o - 63. Suppose -10*y + 5*y = 4*c + 75, -4*y + 5*c = 19. Is v(y) a prime number?
True
Let z be (2 - 9/4) + 30545/4. Suppose -6*j = z - 21982. Is j prime?
False
Let m be (1 + 0 + -108)*-45. Let h(j) = j**2 + 5*j - 25. Let n be h(-8). Is n/(3*(-3)/m) a prime number?
False
Let q(j) = 23506*j - 40. Let w be q(-8). Is (1 - 2)/(-8 + w/(-23512)) composite?
False
Let a(w) = -3*w**3 - 2*w - 9*w + 7*w - w**2 + 1 - 5*w. Let u be a(8). Let y = u + 2344. Is y a prime number?
True
Is 1 + 85*(-5 - 1134/(-30)) prime?
True
Suppose -2*n - 178*f + 376454 = -180*f, -n - 2*f = -188227. Is n a prime number?
False
Is ((6 - 1) + 2569/2)*482 a prime number?
False
Suppose 44*k + 1445883 = 105*k. Is k a prime number?
False
Suppose 8*p - 11*p + 6 = 0. Suppose -172 = 2*l + p*l. Let t = l + 170. Is t composite?
False
Let c(l) = 44*l**2 + 6*l - 31. Let s be c(7). Is 7 + (2 + s - -3) a prime number?
True
Suppose 223*n = 32871737 + 15506129 + 11178075. Is n composite?
True
Is ((-23584909)/334)/((-3 - (-5)/2)*1) a prime number?
False
Let h = -38 - -43. Suppose s - 6*s = -3*i, -4*i + 35 = h*s. Suppose 2*c - 5*r - 670 = c, 0 = r + s. Is c a prime number?
False
Suppose p + p + 22672 = -w, 16 = 4*w. Let x = p + 6118. Let a = 10523 + x. Is a prime?
True
Let t(v) = v**3 - 3*v**2 - 3*v + 116. Let l be t(0). Let i = 120 - l. Suppose -7554 = i*a - 6*a. Is a composite?
True
Let g be 0 + 0 - (8 - 16). Suppose -g*i = -12*i + 14696. Is (-20)/(-35) - i/(-14) composite?
False
Let u = 190 + -181. Suppose -13415 = -u*x + 4*x. Is x a composite number?
False
Suppose 0 = 3*x - 5*t - 57088, 321*t