 a prime number?
True
Let p(t) = -2*t + 30. Let q be p(3). Suppose -8*s - 8816 = -q*s. Is s prime?
False
Let r be -5 + 204/(-9) + 1/(-3). Is 8/(-28) + (-47692)/r a prime number?
False
Let v = 0 + 5. Suppose 0*i - 5*i + 3*d - 22 = 0, v*i + 29 = -4*d. Let g(a) = -12*a - 11. Is g(i) a composite number?
True
Let b(g) = g**2 - 13*g + 35. Is b(12) a prime number?
True
Let c(h) = -5*h**3 - 5*h**2 - 6*h - 3. Let x(l) = -l**3 - l**2 - l - 1. Let z(k) = -c(k) + 6*x(k). Let g be z(0). Is 1/(g*(-5)/2805) a prime number?
False
Suppose b + a - 3785 = 0, 4*b - 4*a - 7832 = 7300. Suppose 4*v = b + 676. Suppose 3*r + 2*w = 5*w + 831, 4*r + 3*w = v. Is r composite?
True
Let j be 3*(189 + (-6)/(-2)). Let y be (-9)/(-9)*(j + -1). Suppose -2*h - 201 = -y. Is h composite?
True
Let k(u) = 826*u - 11. Let c be k(5). Suppose 3413 = 4*h - c. Is h composite?
True
Let z = -803 - -230. Let n = z - -982. Is n prime?
True
Suppose -2*n = 5*w - 5 + 3, 5*n + 24 = 2*w. Suppose -2*l + l = -22. Suppose 0*c = w*c - l. Is c composite?
False
Is 70/(-14) - 20748/(-2) a prime number?
True
Suppose -3*h + 0*h + 9 = 0. Let z(j) be the third derivative of 215*j**4/24 - 2*j**3/3 + 16*j**2. Is z(h) prime?
True
Let a = 42 + -45. Is (21/(-6) - -2)*604/a a prime number?
False
Suppose -45*l = -1275699 - 531636. Is l a prime number?
True
Suppose -6*q + 6 = -4*q. Let s be (-1 - 0) + 3 + 2. Suppose -2*m = 5*o + s + 2, -4*m = q*o - 2. Is m composite?
False
Let w(j) = 4*j**2 - 8*j + 7. Let x(h) be the second derivative of -h**5/20 - 7*h**4/12 - h**3/6 + 3*h**2/2 + 5*h. Let y be x(-7). Is w(y) a prime number?
False
Let z(l) = 3 + 4*l**3 - 3*l**3 - 13*l**2 - 6 + 18*l - 11. Suppose 11 + 27 = 4*s - 2*q, -4*q - 16 = -3*s. Is z(s) composite?
True
Let r(s) = 321*s + 5. Let d(o) = -2*o + 24. Let k be d(11). Is r(k) composite?
False
Suppose -3461 = -4*t + 5*r, -2*t + 4*t + 4*r = 1750. Is t a prime number?
False
Suppose 72 = -0*r + 3*r. Suppose 0 = j - r - 37. Is -1 + j + 2 - 3 a prime number?
True
Suppose 0 = -3*z - 5*d + 21345, 5*z = 6*z + 4*d - 7115. Is z a composite number?
True
Suppose 4*s + 5*p + 0*p = 134904, 5*p - 20 = 0. Is s a composite number?
False
Suppose 40*p = 25*p + 97365. Is p prime?
True
Let y = 38 - 35. Let k = y - -44. Is k a prime number?
True
Let p = 99 + -103. Is p*1 - 2665/(-5) composite?
True
Let p(l) = 8*l - 9. Let v(j) = -j**3 + 2*j**2 + 5*j - 3. Let w be v(3). Suppose 0 = -2*x + w*o + 13, -x - o + 6*o + 3 = 0. Is p(x) composite?
True
Let r(b) = 4789*b + 770. Is r(8) prime?
False
Let w be -3 + (15 - (0 - 3)). Suppose -5*u - w = -2*r, u + r + 3*r + 25 = 0. Let j(z) = -z**3 - 2*z**2 - 3*z - 1. Is j(u) composite?
False
Let c = -29458 - -44427. Is c a prime number?
True
Let y(k) = -4*k**2 + 669. Let j(a) be the second derivative of -a**4/12 + 223*a**2/2 - 2*a. Let d(v) = 7*j(v) - 2*y(v). Is d(0) composite?
False
Let i(l) = -l - 9. Let u be i(-3). Is (u/(-9))/(6/801) a prime number?
True
Suppose 9*r - 7764 = 6*r. Suppose r = 3*w - 25. Is w prime?
False
Let j(z) = -z**3 - 31*z**2 + 22*z - 397. Is j(-41) composite?
False
Suppose -49293 - 54362 = -5*l. Is l a composite number?
False
Let v be 11014/3*((-21)/2)/(-7). Suppose -8*a + v = -8621. Is a a prime number?
False
Let y = 18661 - -4192. Is y composite?
False
Suppose -4*g = a - 156401, 4*g - 10*a - 156421 = -15*a. Is g composite?
True
Let o be -1*1 - (12 - 12). Let t(p) = -p**3 + 8*p**2 + 9*p + 10. Let l be t(9). Let i = l + o. Is i composite?
True
Suppose 76698 = 17*w - 47317. Is w a composite number?
True
Let a = 3837 - 2084. Is a a composite number?
False
Suppose 2*d + 3*f - 2*f - 318 = 0, -3*d = -f - 487. Suppose 7*h = 3570 - d. Is h a prime number?
True
Let g = 6 + -4. Suppose g*v - 3 = 1. Suppose -25 = -5*n + v*p, 5*n - 3*p = -7*p - 5. Is n composite?
False
Is -2 + 0 - (-19 + 7 - 67825) a composite number?
True
Let h = 5 - 3. Suppose -h*a - 2022 = -8*a. Is a a composite number?
False
Suppose 25*d + 14054 - 82129 = 0. Is d composite?
True
Let j(h) = 53*h + 16. Suppose -4*c + 3 = -25. Let k be j(c). Suppose 4*u + 2*y - y = k, 4*u - 4*y - 392 = 0. Is u a composite number?
False
Suppose 3*v = -x + 5*x - 10, 0 = 5*x + 3*v - 26. Suppose -64 + 0 = -d - 5*l, -x*l = 3*d - 181. Is d prime?
True
Let k be ((-433)/2)/(1/2). Let g be 2 - (3 + -1 + k). Suppose -3*s = 4*r - g, 2*r + 3*r + 4*s - 542 = 0. Is r a composite number?
True
Let b(s) = -2*s**2 - s - 1. Let u be b(-1). Is 83*(3 + u) + 0 composite?
False
Let r = -83 + 88. Is 12876/60 + 2/r composite?
True
Suppose 2*l = -0*l + 2*r - 10, -3*r = -2*l - 14. Let h = l + 1. Suppose 3*m - 181 - 56 = h. Is m a prime number?
True
Suppose 0 = 24*k + 325573 - 1300189. Is k prime?
True
Let r be 69/21 - (-12)/(-42). Let l be (-4)/r - 13/(-3). Suppose -l*z + 622 = -2*k - 1135, 2*z = -k + 1176. Is z a prime number?
True
Let d(k) = k**3 + 15*k**2 + 19*k + 30. Let h be d(-14). Is (-5)/(h/2) + 5025/12 prime?
True
Suppose 0 = 4*c - 5*g - 49, 2*g + 35 = 4*c - 23. Suppose 0 = 6*a - c*a + 3470. Is a prime?
True
Suppose -3*f + 701 = -2*c + 3807, -3*c = -5*f - 4657. Is c a composite number?
False
Let k(r) = 121*r**2 - 18*r - 16. Is k(13) composite?
True
Suppose a - 4*p - 67199 = 0, -p = -a + 96441 - 29233. Is a prime?
True
Let m = -55 + 40. Let l = 38 - m. Let a = l + -34. Is a a prime number?
True
Suppose -4*i = -4*a - 340, -3*a - 415 = 3*i - 8*i. Suppose -i - 131 = -y. Is y composite?
False
Let q = 1658 + -259. Is q a prime number?
True
Let g(r) = 1 - 311*r - 788*r + 25*r. Is g(-2) a prime number?
False
Let p(j) be the second derivative of -j**5/4 + j**4/6 + j**3 + j**2/2 + 5*j. Let n be p(-4). Is n - (-3 + 0 + 1) a prime number?
True
Let o be (-18)/63 + (-2)/(-7). Suppose 3*a + 3*t - 711 = o, -3*a + t = -0*a - 707. Suppose 0 = -3*x + 163 + a. Is x a composite number?
True
Suppose -4*o - 2538 = -2*x, -x + 630 - 1897 = 2*o. Let t = o + 1158. Let i = t + -273. Is i composite?
False
Suppose 33*w + 2638 = 34*w. Suppose -2*f + 2653 = l, -4*l + f + w = -3*l. Is l/9 + 2/(-3) a prime number?
True
Let m be (-4)/(-32) - 98181/(-24). Let h = m + 1916. Is h a composite number?
False
Let y(o) = -o**3 - 5*o**2 - 2*o + 10. Let p be y(-4). Suppose -2*t - j + 6*j = -1590, 2*t - 1562 = -p*j. Is t prime?
False
Let w be 14/35 + 22/(-5). Let m(x) = -7*x**3 - 5*x**2 - 5*x - 1. Let u be m(w). Let q = -170 + u. Is q prime?
False
Let r(l) = l**3 - 20*l**2 - 20*l - 19. Let z be r(21). Suppose 4*f = -5*p + z*p + 6914, -p + 2 = 0. Is f composite?
True
Let o = -64 - -66. Is (o + 1)*838*1/6 a composite number?
False
Let i be -2*(-3 + 5033/(-2)). Let f = i + 468. Is f a prime number?
True
Let k be (6528/18)/(1/3). Suppose -w + k = 303. Is w a prime number?
False
Suppose 5*l = -q + 18, -3*l + 7*l = -5*q + 27. Suppose 2*h + 1001 = q*h - 4*v, 0 = -2*h + 5*v + 1999. Is h a composite number?
False
Let w(x) = -25*x + 3. Let g be w(2). Let q = 6 - g. Is q a composite number?
False
Suppose -63294 + 328203 = 4*z - d, -66224 = -z - 3*d. Is z composite?
True
Let p(y) = -610*y - 2. Let r be p(-13). Is r/24 + (-2)/(-3) prime?
True
Is (1 - 2)/(((-32)/(-16918))/(-16)) a prime number?
False
Let h(m) = 58*m + 8 - 1 + 7. Let j be h(13). Suppose 3*g = 5*i + j, 4*i = -0*g - 5*g + 1243. Is g prime?
True
Suppose 5*w = 20, 4*h + 2*w + 2*w = 11084. Is h a composite number?
False
Suppose -35*n = 26*n - 1291919. Is n a composite number?
False
Let n = -154 + 157. Suppose -n*y = -5*b - 1481, -2*b - b = 12. Is y a composite number?
False
Let l = -4 + 19. Let k be 35/(-70) + (-2*2)/(-8). Suppose k*b - 5*b = -x - 292, -l = -5*x. Is b a prime number?
True
Let o(s) = 1258*s + 397. Is o(47) composite?
True
Let u(i) = 7*i**2 - 1. Let m(k) = k. Let s(g) = m(g) + u(g). Let b be s(-4). Let z = b + 142. Is z a composite number?
True
Let o(q) = 8*q**3 - q**2 - 8*q + 13. Let v be o(5). Suppose 3*y - 16719 = -v. Is y prime?
False
Let h = -22489 - -40160. Is h prime?
False
Let x = 37 - 30. Suppose -3 = 4*o - x. Is ((-13)/o)/(7/(-133)) a prime number?
False
Let o = -46 - -57. Let q(b) = 150*b - 19. Is q(o) a prime number?
False
Suppose 3*r = -10 - 5. Let s be -2*50/4*1. Is (-532)/(-10) - r/s composite?
False
Let i = -5 - -9. Is -3*(i + (-843)/9) a prime number?
True
Let s(w) = -2762*w**2 + 49*w - 62. Let p(n) = 920*n**2 - 16*n + 21. Let g(d) = 7*p(d) + 2*s(d). Is g(2) a composite nu