omposite number?
False
Let t = -7 + 12. Suppose 0*c + 11 = c. Suppose 0 = t*n + c + 9, 3*n + 322 = 2*l. Is l a prime number?
False
Suppose -f - 7 = -2*d, d = -f + 7 - 2. Suppose -s = d*s + 5*p - 10775, 3*s + 5*p - 6469 = 0. Is s a prime number?
True
Let u(b) = 3*b**3 + b**2 - b + 1. Let j be u(1). Suppose -j*k + 3*k = -3. Suppose 5*h - k*h = 374. Is h a composite number?
True
Suppose 0 = -o + 1 + 1. Is 2524/12 + o/3 a prime number?
True
Let p = -8793 - -34652. Is p prime?
False
Suppose 5*p + 15 = 0, -1 = -5*g + 5*p + 14. Suppose 4*d - 2*c + 6 = c, g = -d + c - 2. Is (-2 - -267 - 2) + d a prime number?
True
Let n be 11 - (-2 + 2 + -1). Let h = 14 - n. Suppose h*b = g - 27, -5*g + 0*b + 162 = -b. Is g prime?
False
Is 68/51 + 41986/6 a prime number?
False
Let w(h) be the third derivative of 131*h**5/60 + h**4/8 - h**3/2 + 9*h**2. Is w(2) a composite number?
True
Let f = -294 - -721. Is f prime?
False
Let x be (-15)/(-2)*44/(-33). Is (-1)/2 + x/4*-195 composite?
False
Let i be (1/3)/((-7)/(-84)). Let n(k) = k**3 - 5*k**2 + 5*k - 2. Let w be n(i). Suppose 4*y = -2*d - 0*d + 590, -5*d - w*y + 1467 = 0. Is d a composite number?
False
Let n be (-2)/9 + 12212/36. Let x be (8 - 7)/(1/n). Suppose 5*k - 76 = x. Is k a composite number?
False
Let s be ((-14)/(-21))/2 - 4/(-6). Is (7 - (s + (0 - -1)))*131 a prime number?
False
Let f(s) be the third derivative of -s**6/20 + s**5/12 - 13*s**4/24 - 19*s**3/6 - 8*s**2. Is f(-10) prime?
False
Let p = -51 + 28. Let k = 28 + p. Suppose 0 = k*q - 25, -5*g = q - 269 - 131. Is g prime?
True
Let k = 315 + -216. Let l = -44 + k. Is l prime?
False
Suppose 0 = -3*u + 5332 + 584. Let n = 3449 - u. Is n a prime number?
False
Let v be (-2 - 0)/(1/((-90)/(-12))). Let o(a) = 2*a**3 + 32*a**2 - 17*a - 20. Is o(v) a prime number?
False
Let c(q) = -q + 14. Let t be c(13). Suppose t + 4 = a. Suppose -v + 139 - 439 = -a*l, -3*l - v = -172. Is l prime?
True
Let b = 11 + -7. Suppose b*z = 2*z + 6. Is (-1 + -2)/(z/(-79)) a prime number?
True
Let d(b) = 75*b**2 - 13*b - 19. Let p(i) = -2*i**3 - 16*i**2 + i + 1. Let h be p(-8). Is d(h) composite?
True
Let x(g) = 17*g**2 - g - 1. Let c = -37 + 35. Is x(c) a composite number?
True
Suppose 51*v + 43*v = 856246. Is v composite?
False
Let x(y) = 15*y**2 - 14. Let k be x(-3). Let v(g) = -g - 1. Let i be v(-3). Suppose i*t - 101 = k. Is t a prime number?
False
Let j(q) = 15*q**2 + 184*q + 46. Is j(-45) a composite number?
True
Suppose -5*i = -12 + 37, 0 = -3*o - 4*i + 6289. Is o a composite number?
True
Let o = -39 + 64. Suppose l + a + o = 4*l, 5*l - a = 39. Is (l - 3) + 9/1 a composite number?
False
Let m(y) = -10 + 5*y - 3*y - 37*y. Let s(v) = 4*v + 13. Let r be s(-5). Is m(r) composite?
True
Let a(r) = -1011*r - 574. Is a(-7) a composite number?
True
Suppose 75*h + 963030 = 105*h. Is h prime?
False
Let a = 95 + -92. Let i(u) = 9*u**2 - 5*u + 2. Let d be i(-7). Suppose a*m + 0*c + c = d, -c = -m + 158. Is m a composite number?
True
Let y(v) = 85*v**3 + v**2 + 5*v - 3. Let b be y(2). Suppose 0 = 2*d - 2*u - 1174, d + 104 = -3*u + b. Is d composite?
False
Let p(u) = -5*u + 6*u + u**3 + 2*u**2 + u - 5*u**2. Let h be p(2). Suppose h = -3*q + 39 + 396. Is q a prime number?
False
Suppose 11*d = 6*d + 2645. Let k = d + 36. Is k a composite number?
True
Let h = -1121 + 21332. Is h composite?
True
Suppose 4*a - 14212 = t, -13*a + 9*a + 14196 = -5*t. Is a composite?
True
Let f(j) = 6*j + 1. Let s be f(1). Let l = s + -7. Suppose a = -3*t + 22, l*a + 38 = 4*a + 2*t. Is a a composite number?
False
Suppose -4*f = -5*f - f. Suppose 3*m = -3*z + 918, m + f*m + 1 = 0. Is z a prime number?
True
Let r(n) = -n**2 - 6*n + 1. Let y be r(-6). Let u(v) = -1 + 3 - y + 177*v + 0. Is u(2) a prime number?
False
Let a(v) = -v**2 + 4*v - 3. Let p be a(4). Let i be ((-130)/p)/((-8)/(-300)). Suppose -2*o + 149 = -i. Is o a prime number?
True
Let h be (8/(-10))/((-2)/50). Let y = h - 14. Suppose -4*b + y*b = 98. Is b prime?
False
Let d(a) = 12*a**2 - 15*a + 25. Suppose 0 = 4*g - 4*f - 24, -5*g - 4*f = -3 - 45. Is d(g) composite?
False
Suppose -50*b + 46*b + 12 = 0. Suppose -i + 10 = -b*c, -2*i + 5*c + 60 = 3*i. Is i a prime number?
True
Let n(f) = -17*f + 4. Let x be n(-3). Let b = -30 + x. Let m = b + -6. Is m prime?
True
Let p(r) = -18*r**3 - 3*r**2 - 4*r - 4. Is p(-3) prime?
True
Let n(y) = -109*y**3 - 4*y**2 - 5*y + 1. Is n(-6) a prime number?
True
Let l(g) = g**2. Let m(c) = -3*c**2 + 13. Let v(d) = 7*d**2 - 26. Let j(t) = 13*m(t) + 6*v(t). Let k(n) = j(n) - 2*l(n). Is k(6) a prime number?
False
Let q = 39 - 33. Suppose 1180 = -q*y + 16*y. Is y prime?
False
Let o(g) = -g**3 + 5*g**2 - 3*g - 2. Let i be o(2). Suppose 10 = n - i*p + p, 3*p + 26 = 5*n. Suppose -n*f + 584 = 4*r, 2*r - 3*f - 158 = r. Is r prime?
True
Let v = -1894 + 3551. Is v a prime number?
True
Suppose 28*x - 5*w = 29*x - 42499, -4*w = -x + 42517. Is x prime?
True
Let o(v) = -37*v + 1. Let a be o(-12). Suppose -2*d + a = 3*g, 3*d + 601 = 4*g - 2*d. Is g composite?
False
Let x = -23393 - -35680. Is x a prime number?
False
Let i(y) = -2*y**3 - 10*y**2 + 28*y + y**3 - 13*y - 11 - 22*y. Is i(-10) a composite number?
False
Let c = -24 + 28. Suppose c*x = 3*x + 77. Is x prime?
False
Is 1/((-2)/38814*-3) prime?
True
Let d = 166 + 3823. Is d prime?
True
Let d(p) = p**3 + 2*p**2 + 6*p + 5. Let o(k) = k**2 + 6*k + 6. Let l(b) = -7*d(b) + 6*o(b). Is l(-6) a prime number?
False
Let n(r) = -81*r**2 + 21*r - 5. Let x(l) = -16*l**2 + 4*l - 1. Let z(t) = 2*n(t) - 11*x(t). Suppose -6 = 10*u - 16. Is z(u) composite?
False
Let p(u) = -8*u**3 + u. Let t be p(1). Let h(x) = -5*x + 3*x - 2 - 2*x - 9*x. Is h(t) prime?
True
Let b(z) = 208*z**2 - 3*z + 30. Is b(-5) a prime number?
False
Let b be 4/((-24)/(-30)) - 3*1. Suppose b*i - 2159 - 719 = 0. Is i composite?
False
Let n(p) = -p**2 + 13*p + 9. Let a be n(14). Let w(x) = 13*x**2 + 5*x + 7. Is w(a) a prime number?
True
Let d(y) be the third derivative of y**5/60 - 8*y**3/3 - 5*y**2. Is d(-15) a composite number?
True
Let v(p) be the second derivative of -p**4/12 + 6*p**3 - 25*p**2/2 + 22*p. Is v(26) prime?
False
Let w(m) = 18*m**2 - m + 419. Is w(0) composite?
False
Suppose 0 = c - 3*i - 2, 0 = 4*c - 4*i - 8. Suppose -c*d = -4*d + 642. Is d a composite number?
True
Suppose -3*i + 3*r = 4*r - 9, -3*r = -2*i + 6. Let c(z) = -40*z**2 - 2. Let t be c(i). Let x = 519 + t. Is x composite?
False
Let h(r) = -418*r**3 + 5*r**2 + 5*r + 5. Let l(y) = -y**2 - y - 1. Let d(k) = h(k) + 4*l(k). Is d(-1) a prime number?
True
Let n = -5 + 33. Suppose 339 = -n*v + 31*v. Is v prime?
True
Suppose 3*i - 2*i - 9 = l, 0 = i + 4*l + 16. Suppose -719 = -i*o + 873. Let y = o - 237. Is y prime?
False
Let m(w) = -2*w**3 + 3*w**3 - 8 + 23 - 9*w**2. Is m(10) a composite number?
True
Suppose -4 = -3*g - 1. Let q be ((-7)/(21/(-6)))/g. Suppose 0*r = 3*r - 15, q*j + 4*r - 186 = 0. Is j a composite number?
False
Suppose -6582 = 130*j - 136*j. Is j a composite number?
False
Suppose -14 = 9*j - 2*j. Is (1 - (748 + -1))*j/4 prime?
True
Suppose 3*u = -16 - 5. Let w = u + -18. Is 5/w - (-2032)/10 composite?
True
Let m = 1601 + -1104. Suppose 4*s = -5 + m. Is s composite?
True
Let f(v) = 123*v - 11. Let w(m) = -m**3 + 6*m**2 + m + 4. Let a be w(6). Is f(a) a composite number?
True
Let r(u) = -45*u - 32. Let n be r(-14). Suppose -1619 - n = -3*w. Is w prime?
True
Let s(z) = 301*z**2 + z - 1. Let o(w) = -w**2 - w - 2. Let d(l) = -o(l) + s(l). Let b = -3 - -2. Is d(b) composite?
True
Let v(p) = 60*p - 5. Let x(o) = -181*o + 14. Let l(m) = 8*v(m) + 3*x(m). Let g = 79 - 80. Is l(g) a prime number?
False
Suppose -9*p + 59906 = 5*y - 12*p, -11998 = -y - 5*p. Is y prime?
False
Let h = -3235 + 6500. Is h composite?
True
Let l(p) = -86*p + 31. Let m(w) = 2*w**2 + 21*w + 33. Let k be m(-8). Is l(k) composite?
True
Let u be (-3 + 8)/5 + 2. Suppose 0 = -u*q - q + 1660. Is q a composite number?
True
Let i(u) = 293*u. Let l be -1*(-2)/(-2)*(-3 + 1). Is i(l) composite?
True
Let a be 1/(1 + 63/(-66)). Suppose 0 = 2*n - 7*n - 25, 2*n + a = 3*t. Is (-2 + 374/8)*t a composite number?
False
Is 8235/4 + 1 + 24/(-32) a composite number?
True
Let k(t) = -t**3 + 2*t**2 - 17*t - 37. Is k(-23) a composite number?
True
Is 279/6*(-7982)/(-39) a prime number?
False
Suppose -7*t - 3605 + 