 3*v = -3. Suppose -10*p + 1094 + 2216 = g. Is p a prime number?
True
Is 51756/54 - 16/36 composite?
True
Suppose -2*m = 4*g - 195780, -g - 5337 + 54296 = -3*m. Is g a prime number?
True
Suppose -11649 = -5*k - 6*j + 2*j, 3*j + 12 = 0. Is k a prime number?
True
Let g = -783 + 777. Let l(q) = -8*q**3 - q**2 + 2*q + 4. Let o be l(-3). Let m = g + o. Is m a prime number?
True
Let j(d) = -212*d**3 + d**2 + 5*d + 5. Is j(-1) a composite number?
True
Let a(l) = 17*l**3 - 2*l + 31. Is a(10) prime?
True
Let b(k) = -207*k**3 - 7*k**2 - k + 30. Is b(-5) a composite number?
True
Let p = 3363 - 574. Is p prime?
True
Let m(i) = 242*i**2 + 30*i + 131. Is m(-6) a composite number?
False
Suppose -28*o + 33*o - 3305 = 0. Suppose -2*z + o - 75 = 0. Is z composite?
False
Let t = 74 + -53. Suppose 2*i - 107 = 5*p, -3*i + 2*p = -3*p - 168. Let u = i + t. Is u a composite number?
True
Suppose -3*s + 47 = 5*m, 2*s + 53 = 6*s - 3*m. Let b(o) = o - 19. Let u be b(s). Is (-2226)/u + (-1)/5 a composite number?
True
Is (-24)/(-60)*785/2 composite?
False
Suppose -2*w = 5*q - 86277, 6*q = 2*q + 2*w + 69036. Is q a composite number?
False
Suppose -5*u = -20, 4*u - 16 = -3*j + 12. Let z be -8 + j + 4 + -303. Let t = 50 - z. Is t a composite number?
False
Suppose -2 = -l, -2*v + 2*l + 30 = -0*v. Suppose -v*b = -16*b - 426. Suppose -2*y - k + 217 = 0, b = 5*y + k - 109. Is y prime?
False
Let f be -21*(1 + 10/(-3)). Suppose 0 = -53*z + f*z + 8212. Is z a prime number?
True
Suppose -u - 4*u = 0, -4*c = -4*u - 24. Let x(l) = -l**3 - 4*l**2 + l - 1. Let d be x(-5). Suppose 2*o = 2*p - d + 1, 0 = -3*o - c. Is p a composite number?
False
Let n(h) = -h**3 + 6*h**2 - 4*h - 3. Let b be n(5). Suppose 0 = b*g + p + 44 - 192, -4*g + 312 = -2*p. Let u = g - 11. Is u composite?
True
Suppose -x = -3 + 6, 0 = -4*c - 4*x + 24. Let f(n) = n**3 - 8*n**2 - 6*n + 7. Is f(c) a prime number?
False
Let i = -9 - -11. Let y be (-3 - -3)/(i - -1). Suppose -2*d = -y*d - 678. Is d a composite number?
True
Suppose -5 + 13 = 4*l + 4*h, l - 4*h = -8. Suppose -5*a + 21 = 2*b, l = 5*b - 17 + 2. Suppose -5*d + a*d = -530. Is d a prime number?
False
Let s = -3900 - -2625. Let i = 608 - s. Is i prime?
False
Let q(y) = 332*y - 2. Let l be 2/12 + (-136)/(-48). Let v be q(l). Is v/12 + 1/6 composite?
False
Suppose -3*r = 2*k, 0 = 3*k - 0*k - 4*r. Suppose 0 = 4*q - 17*q + 52. Suppose k = q*w - 3*w - 335. Is w prime?
False
Suppose 2*i + 4 + 0 = 0, -5*i + 8 = 2*c. Let z(m) = -2*m - 4 + 16*m + 23. Is z(c) a prime number?
False
Let x(r) = 43*r + 2 + 0 - 4. Let t be 6/33 - (-62)/22. Is x(t) a prime number?
True
Let n(o) = -182*o + 2. Let b be n(-2). Let q = -217 + b. Is q composite?
False
Suppose -13*b - 2192463 = -130*b. Is b a composite number?
True
Suppose 0 = -k - v - 2 - 4, -4*k - 27 = v. Let o(y) = -23*y + 2. Is o(k) prime?
True
Suppose -5*d - 5*s = -15, s = 3*d - 10 - 3. Let p(l) = -18*l - 13. Let i(a) = 18*a + 13. Let u(x) = d*p(x) + 3*i(x). Is u(-9) prime?
True
Let w = -14 - -2. Let x be (-10)/4*w/10. Suppose -357 = -x*u - 0*u. Is u prime?
False
Let u(v) = 312*v + 31. Let g = -22 - -29. Is u(g) a prime number?
False
Let j(g) = -3*g - 2. Let n be j(-3). Suppose -4434 = -n*v + v. Is v a prime number?
True
Let x(f) = f - 511. Let h be x(0). Let b = h + 177. Let i = -41 - b. Is i composite?
False
Let q(x) = -x + 2. Let v be q(-2). Suppose -17 = -v*n - 1. Suppose -40 + 884 = n*j. Is j composite?
False
Let h(u) = -25*u + 3. Let d(q) = q - 1. Let b(g) = 8*g + 3. Let k(v) = -b(v) - 5*d(v). Let a(m) = -3*h(m) + 5*k(m). Is a(2) composite?
True
Let t = 68528 - -5775. Is t a prime number?
False
Let a be (-3)/((-3)/(-7)) + -1. Let l(j) be the third derivative of j**5/12 + j**4/12 - j**3 + 2*j**2. Is l(a) composite?
True
Is (-5 - (-4 + 0))*-32311 prime?
False
Is ((-1896)/(-48))/(1/58) composite?
True
Let n(k) = -3*k**3 + 2*k + 1. Let o be n(-1). Suppose 10 = 4*r - o. Suppose -3*x + 162 = 3*y, r*y + 225 = 4*x - 2*y. Is x a prime number?
False
Let x(b) = -b**3 + 31*b**2 + 9*b + 19. Is x(30) prime?
False
Is ((-323829)/9)/(-11)*17 a composite number?
True
Let p(m) = -63*m + 348*m - 127*m + 471*m. Is p(1) a composite number?
True
Let l = -4 - -72. Let f = l - 13. Is f a prime number?
False
Suppose 32784 + 51188 = 28*q. Is q prime?
True
Let z(g) = 34*g - 19*g + 2*g**2 - 10 - 18*g. Suppose 0 = 4*w - 5*n + 57, 2*w + 41 = 6*n - n. Is z(w) a prime number?
False
Let u(b) = 8*b**2 - 2*b**2 - 1 - 2 - b**3 - 7*b + 3*b**2. Let y be u(8). Suppose 5*n - o + 5*o = 1067, 2*n + y*o - 437 = 0. Is n prime?
True
Suppose 0 = 16*i - 18*i + 102. Is 4322/34 - 6/i a composite number?
False
Suppose 4*n + 36*f - 34*f = 3968, -4953 = -5*n + f. Is n composite?
False
Suppose 169 = -12*c + 3457. Is c a composite number?
True
Suppose 0 = -q - w + 867, -851 = -q - 5*w - 0*w. Is q a prime number?
False
Let c = 18 + -22. Let p(d) = -d**2 - 3*d + 4. Let l be p(c). Is 3 - (l - (-1 - -345)) a composite number?
False
Let p(q) = 2*q + 13. Let x be p(-12). Let j be (-25)/2*x*2. Suppose 0 = -5*y - 0*y + j. Is y a composite number?
True
Let s = 17 - 13. Suppose -22 = -q + s*v, q - 11 = -2*q + v. Suppose -95 - 23 = -q*h. Is h a prime number?
True
Let h(g) = 0 + 13*g**2 - 2*g + 3 - 6 + 0. Suppose 0*f = 2*f + 4. Is h(f) prime?
True
Suppose 2*h - o - 3*o - 4 = 0, -28 = -5*h + 4*o. Is h/3 - 2 - 314/(-6) a prime number?
True
Let h = 91 + -86. Suppose -5*s + 4 = -6, 0 = -5*p - h*s + 2105. Is p prime?
True
Let w(a) = 112*a**2 - 38*a - 151. Is w(22) a prime number?
False
Let r(q) = -8*q**3 - 8*q**2 - 3*q - 2. Let y(j) = -17*j**3 - 16*j**2 - 6*j - 4. Let g(d) = 5*r(d) - 2*y(d). Is g(-5) a composite number?
False
Let h = 37 + -32. Suppose h*y - 4*p - 13 = 0, 0 = y - 3*y - 2*p + 16. Suppose -y*n + 295 = 5*g, -g - 3*g = 5*n - 295. Is n a composite number?
False
Let q be 54876/36 - 2/(-3). Let h = q - 738. Is h prime?
True
Let y(h) = -185*h + 1. Let n(b) = 370*b - 1. Let p(i) = 2*n(i) + 5*y(i). Is p(-2) composite?
False
Suppose -3*g + 1975 = -2*g. Suppose 0 = 6*s - s - g. Is s composite?
True
Let z(b) be the third derivative of -b**6/120 + b**5/30 - b**4/24 - 5*b**3/6 + 4*b**2. Let a be z(0). Let q(u) = -3*u**3 + 10*u + 6. Is q(a) composite?
False
Is ((-6)/51)/(-1) - 411656/(-136) composite?
True
Let f be 4481/5 + ((-7)/5)/7. Suppose f = 3*k + 5*y - 247, 3*k = 4*y + 1143. Is k a composite number?
True
Is -3*(-8)/(48/41014) prime?
True
Let r(a) = -19*a + 10. Let s be r(-5). Suppose -3*k = -5*x - 620, k - s - 104 = 4*x. Is k composite?
True
Suppose 0 = 3*z - 6, -7*y - 4*z + 12 = -5*y. Suppose -y*x + 18368 - 1517 = 3*q, -4*q + 22473 = x. Is q a prime number?
False
Let l(m) = 35*m**2 - 22*m - 16. Let o be l(9). Let g = -1540 + o. Is g a composite number?
True
Let x(r) = 999*r**2 - 28*r - 96. Is x(-5) composite?
True
Let k be 19/5 + (-4)/(-20). Suppose 3*l - 2 = k. Suppose -217 - 1029 = -l*i. Is i composite?
True
Let a(t) = 20*t**2 + 43*t + 341. Is a(-14) a composite number?
False
Suppose 0 = -12*v + 73427 + 16657. Is v a prime number?
True
Let r = 9012 - 3263. Is r a composite number?
False
Suppose -11*g = 10*g - 3507. Is g prime?
True
Let q be (14 + -7)*164/14. Is (-4 - (-26)/4)*q a composite number?
True
Let m be -1*(-3 + (-1 - -1)). Let h = m - 0. Suppose 97 + 476 = h*r. Is r composite?
False
Let r = -49 + 51. Suppose -2*n - 5*h + 1864 = 0, -4*h = r*n - h - 1856. Is n composite?
True
Let c(q) be the second derivative of 3*q**5/20 - q**4/6 - q**3 + 6*q**2 + 16*q. Is c(5) composite?
False
Let h = -922 - -1560. Let r be (-1)/((-2)/(-2)) + h. Suppose -r - 18 = -w. Is w composite?
True
Suppose l - 7361 = -5*a + 4*l, 5*a = 4*l + 7363. Is a prime?
True
Let s = -40 - 75. Let t = s - -256. Suppose -t - 345 = -3*u - k, -4*k = u - 173. Is u a composite number?
True
Suppose 2*x - 3*n - 84199 = 0, 7 = 4*n + 3. Is x a composite number?
False
Let f(c) = 9*c - 4. Let o(y) = y. Let g be o(6). Let w be f(g). Let s = -35 + w. Is s a composite number?
True
Suppose 2*m = -33*m + 365645. Is m a prime number?
False
Let t = 4746 - 2299. Is t a composite number?
False
Let o(r) = 517*r**2 - 5*r + 3. Is o(7) a composite number?
False
Let s(c) = 151*c + 3. Let a be s(2). Suppose 2*w + t - 1901 = 0, -a - 643 = -w - t. Is w composite?
False
Let w = -7 + 10. Let k be 2/(-3) + 119/w. Suppose 2*u - k = 229. Is u p