 - 7*n - 5. Let o be u(-5). Let v(f) = 7*f**2 - 2*f + 1. Let m be v(1). Suppose -451 + m = -o*t. Is t prime?
True
Let h(n) = 4*n**3 + 4*n**2 - n. Let s(u) = u - 1. Let t be s(8). Is h(t) composite?
True
Is (-3)/(2 + (-3)/6) - -2899 a composite number?
False
Suppose 5*q - 7*q - 6 = 0. Is (-1)/q*(-3759)/(-7) composite?
False
Let z(d) = -d**3 + 7*d**2 - 2*d + 4. Let m be z(7). Is m/4*(-4482)/45 a composite number?
True
Let g(q) = -q**3 - 16*q**2 - 21*q - 32. Suppose -2*h - 4*y - 72 = -22, 14 = -2*h + 5*y. Is g(h) composite?
True
Let r = -14 - -22. Suppose 5*i = 2*w + w + 7, 0 = -2*i - 4*w + r. Suppose -i*g - 52 = -290. Is g a composite number?
True
Let j(c) be the first derivative of 1897*c**4/2 - 2*c**3/3 + c - 10. Is j(1) composite?
False
Is 5*(-10)/(-25)*7677/6 prime?
False
Let d = -3378 - -2099. Suppose 1045 + 20471 = 11*r. Let a = d + r. Is a a composite number?
False
Suppose 0 = -6*k - 0 + 6. Let w(h) = 1360*h**3 + 3*h - 2. Is w(k) a prime number?
True
Let r(o) = 40*o + 179. Is r(12) a composite number?
False
Let h(q) = -21*q + 1. Suppose 3*p = d - 5, -d + 5 = -3*p + p. Let i(u) = -10*u. Let y(r) = d*i(r) - 2*h(r). Is y(-6) a composite number?
True
Let k be (-1914)/77*14*-1. Suppose 5*q - 457 = k. Is q composite?
True
Let w(q) = -q**3 - 16*q**2 - 16*q + 22. Let b be (-5)/2*(-24)/30. Let i be b/8 - (-61)/(-4). Is w(i) a composite number?
False
Suppose -5086 = 5*h - 21461. Let n = -2298 + h. Is n a prime number?
True
Let m(n) = n**3 + 12*n**2 - 17*n - 73. Is m(-8) a prime number?
False
Suppose 0 = i - 2 - 1. Let h be 9*(i - 8/3). Suppose 823 - 186 = 4*p - h*l, 0 = -2*p - 4*l + 302. Is p a prime number?
True
Let o be 12/8 - (-1 + (-6195)/10). Suppose -135 = -g + o. Is g composite?
False
Suppose 3*o + 15 = g, -1 + 2 = 3*g + 2*o. Suppose 0 = g*h + 5*x - 1681, h + 0*x = 4*x + 549. Is h a prime number?
True
Suppose 56 - 43 = 13*g. Suppose 2 = -4*f - 2. Is (g + f)*-1 - -529 a composite number?
True
Suppose 63032 = f + v, -2*f - 45321 = 3*v - 171386. Is f prime?
True
Suppose -10 = j - h, j + 3*h + 40 = -2*h. Let n be ((-18)/j)/((-3)/495). Let o = 383 + n. Is o composite?
True
Let a(q) = 222*q + 33. Let b(r) = r. Let o(f) = -a(f) - 2*b(f). Is o(-5) prime?
True
Let q(n) = 3*n - 14. Let c be q(6). Suppose 143 = c*r - 197. Is r a composite number?
True
Let b be -2 + 8/(-1 + 5). Suppose b = -5*j + 4*l + 47, 23 = 5*j - 2*j - 5*l. Suppose 0 = 13*h - j*h - 358. Is h a composite number?
False
Let h(a) = 28*a**2 - 7*a - 19. Is h(-26) composite?
True
Is ((-13 + 14)/(-3))/((-2)/44358) a prime number?
True
Suppose -3824 = -6*v + 6442. Is v a prime number?
False
Is -6 + (-54219)/(-6) + (-1)/(-2) prime?
False
Suppose -2*q + 9*s = 4*s - 3830, 4*s + 9575 = 5*q. Is q a prime number?
False
Let n(k) = -617*k**3 - 3*k**2 + 5. Let c be n(-2). Suppose 0 = 8*l - 5*l - c. Is l prime?
False
Let b = -9 + 66. Let j = b - 32. Is j prime?
False
Let n(p) = 703*p**2 - 2*p. Let c(w) = w**2 + 17*w + 1. Let j(q) = -q - 6. Let m be j(11). Let k be c(m). Is n(k) composite?
False
Let s(r) = 236*r - 1. Let v be s(1). Suppose 0 = 5*x - 1420 - v. Is x a composite number?
False
Let b = 12125 - 7612. Is b prime?
True
Let v = 11483 - -1034. Is v prime?
True
Let q(x) = 50*x**2 - 13*x - 1. Let y be q(-4). Suppose 4*m - 2*m + 297 = b, -3*b - 2*m + y = 0. Is b composite?
True
Let m be (27/9)/((-1)/(-1)). Suppose 2*i + 91 = m*i. Suppose -5*a - 5*s = -470, a - 2*s + 6 = i. Is a a prime number?
False
Let o(j) = -58*j + 13. Let s = -67 - -62. Is o(s) prime?
False
Let v = 11301 + -5236. Is v a composite number?
True
Let h(z) = -162*z - 8. Let w be h(-12). Suppose 858 + w = 2*l. Is l prime?
False
Let s = 101761 - 14962. Is s composite?
True
Let p(s) = s**2 - 4*s + 2. Let m be p(4). Let f be (-5)/(2/(-4)*m). Suppose -3*k = 2*h - 2*k - 499, f*h - 5*k = 1270. Is h a composite number?
False
Let w = -16969 - -27774. Is w a prime number?
False
Let p = 39 - 36. Suppose -6*i = -p*i - 633. Is i a prime number?
True
Suppose 16*u = 54481 - 2465. Is u composite?
False
Let s(w) = 3*w + 12. Let r be s(-5). Let g be (-338)/r*3 - 4. Let l = 1121 - g. Is l prime?
True
Suppose 5*b - 3*b - 2*u - 2488 = 0, 4*b - 5*u = 4975. Suppose -3*o + 2*p + b = 0, 2*p - 5*p = -2*o + 830. Is o prime?
False
Is (1646892/(-21))/(-3) + (-8)/56 prime?
True
Suppose 0 = -7*s + 117306 + 24556. Is s a prime number?
False
Let n(r) = -r**3 + 9*r**2 + r - 8. Let x be n(7). Let a = x + -53. Suppose -w = w - a. Is w a composite number?
True
Is (13 + -16)*(-42 - -1) prime?
False
Let m(p) = 2*p**3 + 4*p**2 + 15*p + 8. Suppose 2*v - 9 = -2*f + 3*v, -2*v = -10. Is m(f) a composite number?
True
Suppose 0 = 14*q - 7*q - 129773. Is q a prime number?
True
Let v(u) = -27*u - 2. Suppose g - 11 = 3*b, 0 = b + 3*g + 6 + 11. Let i(k) = k**2 + 6*k. Let c be i(b). Is v(c) composite?
True
Let b(j) = -382*j - 31. Is b(-3) a prime number?
False
Let f(p) = 112 - 3*p**2 - 3*p**2 + 4*p**2 - 113 + 8*p**3. Is f(6) a prime number?
False
Let x(v) = v**3 - 2*v + 5. Let l(t) = -2*t**3 + t**2 + 3*t - 6. Let u(d) = 2*l(d) + 3*x(d). Let b be u(2). Is 635/b*(-2 - -5) a prime number?
False
Let y(v) = v. Let b be y(9). Let m = b + -6. Suppose -5*q + m = -4*q. Is q composite?
False
Let s(w) = -66*w + 37. Let p be s(-6). Let a = -284 + p. Is a a prime number?
True
Suppose -17*q + 14*q + 54 = 0. Suppose -q*h + 55 = -13*h. Is h prime?
True
Let v(s) = -s**3 + s**2 - s + 1. Let t(a) = 4*a**3 - 2*a**2 - 4*a + 10. Let m(y) = t(y) + 3*v(y). Is m(6) prime?
True
Let w(u) = -2*u**3 + 3*u**2 - 8*u - 11. Let d be w(-7). Suppose -2*t = -0*t + d. Is (0 + (t - 4))/(-1) composite?
False
Let j = -4 - -13. Let a = 11 - j. Suppose -4*h = 4*v - 612, 771 = 5*h + a*v - 0*v. Is h prime?
False
Is 291042/5 - (-21)/35 a prime number?
False
Let h = -67 - -73. Suppose -3*l = -2*w + h*w - 15184, -l = -2*w + 7582. Is w composite?
False
Let x = 14 + -9. Suppose -2573 = -4*t - x*j, 2*t + t = -3*j + 1932. Is t a composite number?
False
Let a(m) = m + 2. Let y be a(-4). Is (7/y)/((-1)/22) a prime number?
False
Let m be (-1458)/18 + 1*3 - 4. Suppose -3*q = 3*c + 17 + 115, -2*q - 5*c - 103 = 0. Let b = q - m. Is b a prime number?
True
Let w(a) be the third derivative of -23*a**4/12 - 19*a**3/2 - 10*a**2. Is w(-13) a prime number?
True
Suppose -28856 = -2*x - 6*x. Is x composite?
False
Suppose 3*r - 12905 = -5*w - 2*r, 2*w - 5160 = -r. Is w composite?
False
Suppose r + r = -o + 2496, -2*r + 2508 = -5*o. Is r a prime number?
True
Let g = 297 + -94. Is g a composite number?
True
Suppose 3*v + k = -3*k + 6, -2*v + 4 = 3*k. Suppose 3*u + 3*g - 375 = 0, -4*u + 5*g - v + 484 = 0. Is u a composite number?
True
Is (-24)/132 + 1834785/99 composite?
True
Let n = 1953 + -554. Is n a prime number?
True
Let z = -1057 + 643. Is (z/8)/(-9)*68 composite?
True
Is 34964/(-6)*39/(-26) a prime number?
True
Let b(s) = 218*s + 321*s + 1 - 129*s. Let j be b(-1). Let i = j + 632. Is i a prime number?
True
Let o = 3328 + 2409. Is o composite?
False
Let i = 7 + -29. Let a = i - -37. Is (-5)/a + (-1112)/(-6) a prime number?
False
Is 130/39*11493/6 a composite number?
True
Suppose -4*r = -9*r - 4*n + 19, -4*n = r - 7. Suppose 1407 = 5*o - 2*v + 466, 0 = -r*o + 4*v + 573. Is o a prime number?
False
Suppose 4*i = 4*g + 42416, 3*g + 53018 = 4*i + i. Is i composite?
True
Suppose -4*c + 2*c + 9806 = 0. Is c composite?
False
Let d(v) be the second derivative of -193*v**3/6 - v**2 - v. Let q be (-1)/3 + 2 + 16/(-6). Is d(q) a composite number?
False
Let m = 158 - 160. Is m + 10690/12 - (-7)/42 a prime number?
False
Let z(y) = 426*y**2 - 19*y + 44. Is z(3) a prime number?
True
Suppose 3*z = -4*r + 3230, -22*z = -5*r - 18*z + 4053. Is r a composite number?
False
Let g = 99 - 58. Suppose -2*a - 2*r = 3*r - 202, 3*r - 6 = 0. Let f = a - g. Is f a prime number?
False
Let t(u) = 234*u + 47. Is t(26) prime?
True
Suppose 32*b - 3*b = 48053. Is b a composite number?
False
Let v be 32/80 - (-2)/(-5). Suppose v = -6*y + 2499 + 411. Is y a prime number?
False
Let h = 8094 - 2113. Is h prime?
True
Let g be (14/(-3))/((-4)/306). Let x = 457 + -603. Let q = x + g. Is q a prime number?
True
Let i(o) = -o**2 + 17*o - 9. Let k(s) = 18*s - 10. Let b(f) = -3*i(f) + 2*k(f). Is b(10) a composite number?
False
Suppose -4*t + u + 911 = 3750, -t = -4*u + 706. Let w = 1009 +