35, 4*t + 26 + 6 = -2*p. Let z = -2 - t. Suppose -212 = 3*u - z*u. Is u a prime number?
True
Let j be 1 + 3 + (-8 - -4). Suppose -6*f + 10*f - 3148 = j. Is f a composite number?
False
Let q = -12 + 16. Suppose 115 = g - 4*x, q*x - 11 = 1. Is g prime?
True
Suppose -13*t + 9*t + 260 = 0. Is t a prime number?
False
Suppose -v = -10 - 0. Suppose 0 = -5*o + o + 2*y + 16, -5*o - 5*y = v. Is (-4)/(-6)*483/o a composite number?
True
Let x(l) = 71*l - 2. Is x(3) composite?
False
Suppose 2*h - 4*h = -5*v + 18, -3*v - h + 13 = 0. Suppose -4*t + 9 = 3*p - 0, -3*t + 12 = v*p. Let k = 6 - p. Is k a prime number?
True
Let j = -319 - -696. Is j composite?
True
Let c(q) be the second derivative of -q**5/20 - q**4/12 + 5*q**2/2 - q. Let d be c(0). Let v = d + 17. Is v a prime number?
False
Let v = -2363 + 5970. Is v prime?
True
Suppose u = -3*u + 344. Let i = -20 + u. Is i/((-3)/1 + 5) composite?
True
Let k = -4 - -7. Suppose k*i + 4 + 197 = 2*u, -i = -u + 98. Suppose 2*p - 77 = u. Is p a prime number?
False
Suppose -2*p + 0 = -4, 3*p - 1234 = -4*g. Is g prime?
True
Suppose 4*i = -0*i. Suppose 6*s - 3*s = i. Suppose -g + 2*g - 7 = s. Is g a prime number?
True
Let d = 4 + -2. Suppose -3*b + 11 = -d*b. Is b prime?
True
Suppose 0 = 3*g - 2*g - 15. Let u = g + -8. Is u a prime number?
True
Let z(s) be the second derivative of s**4/3 + s**3/3 + 3*s**2 - s. Let f = 119 + -123. Is z(f) a prime number?
False
Let u(c) = -c**2 + 7*c + 5. Let b be u(7). Suppose b*m - 380 = 3*q, 5*q + m + 476 = q. Let o = -85 - q. Is o composite?
True
Suppose -16*v = -17*v + 3637. Is v a prime number?
True
Let c = 342 + -229. Is c prime?
True
Let p(q) = -q**2 - q + 2. Let u be p(-2). Suppose -3*s + 12 = -u*s. Suppose -3*b + 121 = 2*v, 3*v - v + s*b = 122. Is v a composite number?
False
Suppose 3*r - 506 = r. Is r prime?
False
Let v = 17 + 468. Suppose -2*j + 644 = 4*t, -5*t = -2*t + j - v. Is t a composite number?
False
Let g be ((-4)/(-5))/(1/35). Suppose g = 5*k - 2. Is k a prime number?
False
Suppose 0 = -5*u + 1083 + 22. Is u a prime number?
False
Let v be (-1)/((-4)/16 + 0). Suppose -v*d = j - 352, 4*d + j - 328 = 6*j. Is d a composite number?
True
Let f(o) = -357*o**3 + o**2 + o + 3. Is f(-2) a prime number?
True
Is ((3009 - -4) + -3 - -4)/2 prime?
False
Suppose -4168 = -4*j + 4*n, -2*j - 4*n + 2090 = -0*n. Is j prime?
False
Let n(h) = h**2 + h - 1. Let c be n(-3). Suppose -4*y - y = 3*l - 427, 5*y = c*l + 435. Is y a prime number?
False
Suppose 5*g = y + 14, -2*g - 3 = 3*y + 5. Let j = 33 + g. Is j composite?
True
Suppose 4*u - 3*y + 808 = 0, -4*u + 0*y + y = 800. Is -3 - (u + 3) - 2 a composite number?
False
Is (2 + (-14)/(-4))*(9 - -29) a prime number?
False
Suppose 639 = -2*k + 4*i + 261, i + 3 = 0. Let y be (-2)/7 - k/21. Let h = y + 4. Is h composite?
False
Let b = -2373 - -3928. Is b composite?
True
Let w(a) = 1024*a + 2. Let o be w(-3). Let m be 2/6 + o/(-6). Suppose 0*z - z - 2*c = -135, -4*z - c = -m. Is z a composite number?
False
Let f(r) = -1 - 84*r + 20*r - 20*r. Is f(-5) a composite number?
False
Is (-51)/(-85) + 564/10 prime?
False
Let m(k) = 8*k - 19. Suppose 20 = 6*h - 2*h. Suppose 8 = p - h. Is m(p) a composite number?
True
Suppose 20 = -4*i - i. Let b(m) be the third derivative of -m**6/120 - m**4/12 - 5*m**3/6 + m**2. Is b(i) prime?
True
Is 1087/((-3 - -2)*-1) composite?
False
Suppose -3*u + 7*u - 8 = 0. Suppose h = u*h - 39. Is h composite?
True
Suppose 0 = 9*s - 11*s + 442. Is s prime?
False
Let s be 21/9 + (-4)/(-6). Suppose -c = -5*p - 62, -4*p - 16 = -s*p - 2*c. Let u = 47 + p. Is u a prime number?
False
Let b = 6 - -61. Is b a composite number?
False
Is 6*(-2)/(-20) + (-12812)/(-5) a prime number?
False
Suppose 5*g = 5*r + 20, 0*r + 16 = 4*g + 5*r. Suppose p = -p + 8. Suppose 0 = -g*c + o + 186, p*c + 3*o = o + 192. Is c a composite number?
False
Let k = -199 + 506. Is k prime?
True
Let g(n) = 4*n**3 - n**2. Let o be g(-1). Let c(m) = m**2 - 2*m - 1. Is c(o) prime?
False
Let c(m) = -52*m + 3. Let d be c(4). Let v = d - -422. Suppose 5*n = 268 + v. Is n composite?
False
Let v(b) = -376*b**3 + 3*b + 4. Let x(j) = -376*j**3 + 4*j + 5. Let t(n) = 4*v(n) - 3*x(n). Is t(-1) a prime number?
False
Let n = -257 + 391. Is n a composite number?
True
Let q(f) = f**2 + f + 5. Let b be q(-4). Let r be 3 + (3 - (b - -1)). Is r/(-4) - 76/(-1) prime?
True
Suppose 403 = 4*n + 5*w, 2*w = 5*w - 9. Let d = n - -12. Is d a prime number?
True
Suppose -38 = -2*u + 60. Is u a prime number?
False
Suppose 3*l + 62 - 1000 = -g, 0 = -3*l + 5*g + 908. Is l a composite number?
False
Let l(p) = -15*p**2 - 13*p + 7. Let q(h) = 7*h**2 + 6*h - 3. Let r(a) = 6*l(a) + 13*q(a). Is r(10) a prime number?
True
Let h = -235 - -160. Let x = h - -186. Is x a composite number?
True
Suppose -5*k + 4*m = -12155, 0 = 4*k - 4*m + 2*m - 9730. Is k composite?
True
Suppose 9*d + 3765 = 14*d. Is d a composite number?
True
Let n(b) be the second derivative of 121*b**4/12 + b**3/6 + b**2/2 + b. Suppose -r - 5*x + 9*x = -7, -4*r - x = 6. Is n(r) prime?
False
Let m = 48 + -28. Let r be (6/12)/(1/m). Is 906/r + (-10)/(-25) a composite number?
True
Let w be -1 - (2 + 1 - 0). Let j be (-1*10)/(3 + w). Is 0 + 1 + 2 + j a composite number?
False
Let d = -530 - -918. Suppose -9*u + 5*u = -d. Is u prime?
True
Suppose 22 = 5*r - 3. Suppose 5*s = r*o + s - 220, -5*s - 132 = -3*o. Suppose o = 4*f - 0*f. Is f composite?
False
Is -4 + 2 + 382 - 1 a composite number?
False
Suppose -3*f = -9 + 3. Suppose -c = -f*o - 109, -c - 5*o = c - 263. Is c prime?
False
Let d(v) = v**3 - v**2 - 3*v - 14. Is d(7) a composite number?
True
Let x be ((-1)/(-1))/((-4)/496). Let h = -69 - x. Is h composite?
True
Let f(c) = -18*c + 37. Is f(-11) a composite number?
True
Suppose 9 = -3*y + 6*y. Let b = -30 - y. Let z = 55 + b. Is z prime?
False
Suppose 4*v - v = 5*m - 3718, -5*m - 4*v = -3746. Is m prime?
False
Let f(s) = -36*s + 11. Is f(-7) composite?
False
Suppose -2*w = -6*w + 5*n + 22, -3*w - 1 = 5*n. Suppose 378 = w*a - 153. Is a a prime number?
False
Suppose -v + q = -19, -5*q = -14 + 4. Is v a composite number?
True
Suppose q - 515 = u, -3*q + 2*q - 5*u = -485. Suppose -a + q = a. Let f = a + -170. Is f a prime number?
False
Suppose -4*f + c = -825, 5*f = c - 6*c + 1000. Is f composite?
True
Suppose -956 = -3*c - 3*w - w, 4*c + 4*w - 1272 = 0. Let u = -155 + c. Is u composite?
True
Is ((-1389)/12)/((-1)/28) a composite number?
True
Let x(u) = 8*u**2 - 8*u + 3. Is x(8) a composite number?
True
Let k(t) = -t**3 - 8*t**2 - 7*t - 2. Let p be k(-6). Is ((-15)/2)/(24/p) a prime number?
False
Let n(h) = -6*h**3 - 3*h**2 + 3*h + 1. Suppose -4*y + 6 = 2*z + 20, -4*y - 20 = 4*z. Is n(z) a prime number?
True
Let n = 302 + 351. Is n composite?
False
Let l be ((-112)/(-24))/(2/(-6)). Let j be ((-312)/30)/(2/(-25)). Is 4/l - j/(-14) prime?
False
Let s(m) = m**3 - 7*m**2 + 7*m + 4. Let w = 6 - 11. Let c(l) = -l**2 + l + 1. Let i(h) = w*c(h) + s(h). Is i(3) a composite number?
True
Suppose -2*i + 79 = 3*h - 8, -h = i - 41. Is (27/i)/(1/28) a composite number?
True
Suppose 2*f + 2*v = -f + 10, -3*f + 2*v + 14 = 0. Suppose -228 = -f*q + 248. Is q composite?
True
Suppose 2605 = 5*s + 220. Let r = -83 - 23. Let u = r + s. Is u a composite number?
True
Let a(m) = 2*m**2 - 2*m - 1. Let u be a(2). Suppose 0*q = u*q - 63. Is q a prime number?
False
Suppose 0*x + 5*x + 616 = 3*r, -192 = -r - 5*x. Is r a prime number?
False
Let b(n) = 3*n**2 + n**2 + n**2 + n**3 + n**2. Let o be b(-6). Suppose -5*d - 2*q + 459 = -4*q, o = 4*d - q - 366. Is d composite?
True
Suppose 4*b - 5*z - 2856 = 0, -5*z = -5*b - z + 3561. Is b a composite number?
False
Let u = 4 - 1. Suppose 7*w - 5*w = 786. Suppose 0*d + u*d = w. Is d a prime number?
True
Suppose -2 = -2*k + 2. Suppose 2*p - 9 = -5*y + 140, -k*y = 4*p - 50. Is y a composite number?
False
Suppose 8*p - 5385 = 3*p. Suppose -2*y + 753 = -3*t - 2*t, 3*t = -3*y + p. Suppose -3*k = -2*g + g - y, 5*k - 2*g - 607 = 0. Is k a composite number?
True
Is 1 + 1555 + (-6 - -3) composite?
False
Suppose 3*h = 7*h + 2*y - 10064, -2*h + 5030 = 2*y. Is h a composite number?
True
Let b(f) = 2*f**2 - 3*f + 1. Let z be b(2). Suppose 0 = -5*r + z*p + 262, 2*p - p = -r + 54. Is r a composite number?
False
Let r = 2 - -1. Suppose -22 = -5*x + r