= -12253*b - 101. Is d(-6) a prime number?
True
Let n(r) = 90358*r**2 - 17*r + 12. Is n(1) a composite number?
False
Let v be (168/(-72))/(2/(-6)). Suppose -4*n + 3*x + 11800 = 0, -v*x = 2*n - 3*x - 5878. Is n a composite number?
True
Let h(s) = s - 26. Let d be h(28). Let m(r) = 9*r**2 - r**2 + 8*r**d + 3*r - 10 - 4*r**2. Is m(-19) a prime number?
False
Suppose -4*u + 4*f = 12, -u - 4*f = 3*u + 4. Let w be ((-3)/4*2*u)/1. Suppose w*x = 7*x - 364. Is x prime?
False
Let f(m) = 2*m**2 - 2*m - 5. Let z be f(-2). Let o(i) = 5*i**3 - 5*i + i**2 + 7*i**2 + z + 21. Is o(6) a prime number?
False
Suppose -2*x + 19 = -5*o, -3*x = -3*o - o - 18. Let r be x/(-6) - (-60)/18. Suppose 2*u = 4*j - 3*u - 12282, -6 = -r*u. Is j a composite number?
True
Let f(x) be the first derivative of 491*x**3 - 5*x**2 - 2*x - 79. Is f(-3) composite?
True
Suppose -3*q + 9 = 0, -2*g + 3*g - 517 = 3*q. Let t = g + -160. Suppose -t = -5*k - 81. Is k a composite number?
True
Let p be 12/(-2)*-2*(-22 + -9). Let u = 536 + p. Is (-7)/14 + 5/(-2) + u a composite number?
True
Suppose -42*w + 1232646 + 1368708 = 0. Is w composite?
True
Let c(m) = 95*m**2 + 275*m + 81. Is c(-26) a composite number?
True
Suppose 3*d + 7*t = 4*t - 2220, 4*d = 5*t - 2978. Let c be (d - 3)*(-2 + 0)/2. Suppose -2*g + 281 = 3*z - 17, c = 5*g - 4*z. Is g prime?
True
Let f(z) = z**3 + 9*z**2 - 31*z - 213. Let l be f(-7). Is 4/(-34) - (-329370)/l a composite number?
False
Is ((-15)/(-60))/((-11)/(-25183268)) composite?
True
Suppose -3*p + 0 + 16 = -4*i, 2*p - 3*i = 11. Suppose -769*z + 783*z - 42 = 0. Suppose -t - p*d + 6819 = 0, 0*t + 5*d - 20429 = -z*t. Is t composite?
False
Let h be (3*(-1640)/150)/(2/(-970)). Suppose -i = -v - h, -18*i + 17*i - 5*v + 15890 = 0. Is i a prime number?
False
Let z = 364 + 950. Let d(t) = t**3 + t**2 - 6*t + 3. Let n be d(0). Suppose -105 - z = -n*b. Is b prime?
False
Let i(d) = 227*d**2 - 2*d - 1. Suppose -137 = 6*u - 35. Let b = -19 - u. Is i(b) prime?
True
Suppose 26*u + 94288 = 236534. Is u prime?
True
Let g(y) = -y**2 - 5*y - 18. Let v be g(-4). Let b(c) = -78*c - 31. Let p be b(v). Let k = p + -172. Is k a prime number?
False
Suppose -3*x + 11 + 1 = 0. Suppose -2*j = 4*t - 126, -x*t + j + 129 = 4*j. Is 4/10 + 136038/t a composite number?
True
Let q(c) = 878*c + 2387. Is q(160) composite?
False
Let h(y) = -y**2 + 6*y + 18. Let k be h(8). Let r be (0 + 3)/(k/2). Suppose -3*f = -r*t - 690, 4*f - 5*t - 698 = f. Is f a composite number?
True
Suppose 22528 = -11*i - 5*i. Let k = i - -2606. Is k prime?
False
Let q be (3/(-12))/(19/(-1064)). Suppose -110809 = -q*h - 15*h. Is h prime?
True
Let z(b) = -43*b - 671*b - 116 + 41 - 110 + 68*b. Is z(-6) composite?
False
Is ((-36)/(-60) - (-610898)/20)/((-5)/(-10)) a composite number?
False
Let l(g) = g**3 - 20*g**2 - 3*g - 175. Let n(c) = -c**2 - 13*c - 6. Let z be n(-4). Is l(z) prime?
False
Let g(o) = -118*o + 1 - 3 - 17*o - 49*o. Let f be g(-1). Suppose -n - f = -5*c, 55 = 5*c + n - 133. Is c a prime number?
True
Let l = 373 - -364. Let b = 2898 - l. Is b a composite number?
False
Suppose -4*t + 5*g + 210842 = 0, 20*t - 21*t = g - 52697. Is t a prime number?
False
Let t = -5 - -51. Let n = t - 39. Suppose -3*y = -n*y + 18188. Is y a prime number?
True
Let i = -20 + 32. Let r = i - 10. Let d(p) = 116*p**3 - 3*p**2 - p + 3. Is d(r) a prime number?
False
Let f(w) = w + 2. Let k be f(0). Suppose -k*y - 2*d = 2*d - 24, -5*d = 4*y - 48. Suppose y*j - 8*j - 1516 = 0. Is j a prime number?
True
Let f = -938 + 928. Is (f/45)/1 + (-88528)/(-18) a prime number?
False
Let t = -35093 - -55543. Suppose -p + t + 103 = -5*s, 3*p - 2*s - 61685 = 0. Is p a composite number?
False
Let m(r) = -r**3 + 12*r**2 - 11*r - 9. Suppose -5*y + 52 = -q - 8, 3*y - 2*q - 43 = 0. Let n be m(y). Is 310 + (2 + (-10)/6)*n a prime number?
True
Suppose -3*p - 2*x = 2*x - 990, -5*x - 637 = -2*p. Let h = 1414 - 801. Let d = h - p. Is d a composite number?
True
Let p(y) = -y**2 - 11*y + 5. Let n(g) be the third derivative of -g**5/60 - g**4/6 + 5*g**3/6 + 17*g**2. Let l be n(-6). Is p(l) composite?
True
Suppose 0 = 3*s + 3*z - 42, 32*z - 28*z + 12 = 0. Let w(h) = 82*h - 167. Is w(s) a prime number?
False
Let w(l) be the first derivative of 46*l**2 - 7*l - 57. Is w(9) a composite number?
False
Let y = -39 - -42. Suppose 4 + 2 = y*s, 4*s = -o + 4503. Suppose -o = -6*m + m. Is m prime?
False
Let u = -12698 - -18621. Is u composite?
False
Let c = 174653 - 92744. Suppose -c = 7*r - 16*r. Is r composite?
True
Let g(n) = -n**2 - n + 76. Let r(d) = -d**2 - 15*d - 14. Let x be r(-14). Let u be g(x). Let l = 481 + u. Is l prime?
True
Let h(s) = 7*s**3 + 20*s**2 + s - 27. Let d be h(9). Let k = -2000 + d. Is k composite?
True
Is ((4/4)/1)/((-16)/(-2844752)) a composite number?
False
Let y = -896 - -530. Suppose -10*u + 4*u - 21411 = -33*u. Let i = u + y. Is i a prime number?
False
Suppose 12*b - 28298 + 244778 = 0. Let i = b - -30497. Is i prime?
True
Let u = 158267 - -87504. Is u a composite number?
False
Suppose 2*n - 429394 = 4*p, -74*p + 644055 = 3*n - 71*p. Is n a prime number?
False
Let h(y) = 50 - 11*y + y**3 + 0*y**3 + 18*y**2 - 7*y - 53. Is h(-16) a composite number?
False
Let d = 61 + -58. Suppose -a + 5*a = 4*j, 0 = -a - d*j + 16. Suppose f = -a*s + 449, -2*s = s - 5*f - 354. Is s a prime number?
True
Suppose 2*w + 26 = 3*a, 11*w - 8*w = 15. Let m(n) = 6*n**3 + 15*n**2 + 6*n - 31. Is m(a) prime?
True
Let w(p) = 235*p**2 + 47*p - 587. Is w(27) composite?
True
Suppose 19*m - 1185926 = -123579. Let w = m - 35548. Is w prime?
False
Let q be (4/(-5))/(6/(-22935)). Suppose -3*f + c + 4 = 0, 0*c = 4*f - 4*c + 8. Suppose -3*h = x - 9813, -f*h + q = 3*x - 6755. Is h composite?
False
Suppose 40*q - 261472 = 854728. Is q prime?
False
Let m(l) be the third derivative of 17*l**4/24 + l**3/3 + 9*l**2. Let q be m(-1). Is -3*(-3065)/q*-1 a prime number?
True
Suppose 1491831 = 3*r + v, 2276743 = 7*r - v - 1204216. Is r composite?
False
Let c = 60585 + -31628. Is c a composite number?
True
Suppose -4*f = 8, 3*f + 25 = 4*i + 7. Suppose -2*m + 6443 = -5*x - 1667, -i*x + 8078 = 2*m. Is m prime?
False
Let p be (-1 + 2)*(-2 + (-5 - -10)). Suppose -2*d + p*i + 19705 = -26791, -d + 5*i + 23241 = 0. Is d composite?
False
Suppose -7*w + 10 + 18 = 0. Suppose -w*j + 29801 = -1203. Is j composite?
True
Let i = -109668 - -204355. Is i a composite number?
False
Suppose -11*d + 9*d + 26150 = 0. Suppose 3*x = 4*j + d, j + 6576 = x + 2218. Is x a prime number?
True
Let f = 1217 + -628. Suppose f = -4*n - 171. Is ((-22)/(-55))/(2/5) - n prime?
True
Let x(a) = a**2 - 9*a - 29. Let b(n) = -n**3 + 16*n**2 + 19*n + 26. Let l be b(17). Suppose -12*f = -16*f - l. Is x(f) a prime number?
True
Let u(h) be the third derivative of 0*h - 1/12*h**5 - 1/6*h**4 - 9*h**2 + 0 - 1/20*h**6 - 2*h**3. Is u(-5) a composite number?
True
Let d(w) = 576*w - 273. Let g(u) = 1728*u - 821. Let z(f) = 7*d(f) - 2*g(f). Is z(15) prime?
False
Suppose -4*r - 2*l = 70, l + 5 = 6. Let s(a) = 7*a**2 + 16*a - 49. Is s(r) prime?
True
Let q be 4 + ((0 - 0)/(-2) - -2). Suppose 0 = 3*d - q, -5*a + 4*a + 3*d = -3505. Let v = a + -1710. Is v a composite number?
False
Let r(d) = 337*d**2 - 2*d + 2. Let t = 35 + -34. Let p be r(t). Suppose s = 2*s - p. Is s a prime number?
True
Let q = 893 - -684. Suppose 26000 = i - 3*j, -24422 = -i + 2*j + q. Is i composite?
False
Suppose -49*l = -42*l - 21. Suppose 39975 = l*r + 5796. Is r prime?
True
Suppose -28 = -2*y + 4*m, 0*m = 3*m. Let l be (-1 - -1) + (-3)/((-21)/y). Is -489*l/(-12)*2 a prime number?
True
Suppose -2*n + 14 = -4*n - 2*l, -5*n = -l + 41. Is 3 - 140/n*544/20 a composite number?
False
Let c = 177 + -179. Is (17740/c)/(-6 + 4) composite?
True
Let p be (-3)/1 + (-721 - 4) + 0. Suppose -3*k = -2*q + 293 + 80, -4*k - 370 = -2*q. Let b = q - p. Is b a composite number?
False
Suppose -t - 5*d = -7737, -35*t - 2*d = -37*t + 15498. Is t a composite number?
True
Suppose -d = 5 - 2. Let j(v) = 113*v**2 + 2*v - 7. Let m be j(d). Is ((-20)/(-8) - 2)*m prime?
False
Suppose -5*o - 52 + 459 = a, -5*a + 2064 = -4*o. Suppose -14*k + 5*l = -13*k - a, -3*k = 3*l - 1272. Is k prime?
False
Let k(z) = -z**3 - 3*z**2 - 4*z - 6. Let t be k(-3). Suppose -32 + 8 = t*r. Is r + ((-17715)/(-3) - -4) prime?
False
Let p = -