u(-9) composite?
False
Let v(m) = m**2 - 2*m - 1. Let n(k) = 2*k**2 - 4*k - 2. Let j(w) = 3*n(w) - 5*v(w). Is j(4) a prime number?
True
Let p = -218 - -329. Is p prime?
False
Let n(j) = -2369*j - 9. Let w be n(-6). Suppose 4*i - w = -3369. Is i/(-6)*8/(-12) a composite number?
True
Is (-1)/(4/2344*-2) a prime number?
True
Suppose 2*u = 4*t - 3558, -3*t = -6*t + u + 2666. Is t a composite number?
False
Let r be ((-20)/15)/((-2)/537). Suppose -r = -3*c + c. Is c a prime number?
True
Is 2/7 + 477/21 a composite number?
False
Suppose j - 669 = 2*v, -v + 2021 = 4*j - j. Is j composite?
False
Suppose 0 = y + 2*y - 3*h - 69, -5*h = -2*y + 58. Let k be 1 - 1 - (2 - 4). Suppose -y = -k*m + m. Is m a prime number?
True
Let j be 2248/20 - (-3)/5. Suppose 15*a - 16*a = -j. Is a a prime number?
True
Suppose 2*g = 547 - 37. Suppose -6 - 1 = -q. Suppose q*s - 4*s = g. Is s prime?
False
Let j = -15 - -26. Let q = j + -9. Suppose 4*y + 3 = 15, q*y + 47 = h. Is h a composite number?
False
Let r = 229 + 2234. Is r a prime number?
False
Let u(o) = 26*o**2 - 2*o + 3. Let z be u(3). Is 8/12*z/2 a prime number?
False
Suppose 12*j - 1624 - 1916 = 0. Is j a prime number?
False
Suppose 3 = -0*c + 3*c - 3*y, -8 = -4*y. Suppose 780 = c*x + 3*k, x - 4*k = -0*k + 275. Is x prime?
True
Let k = -23 + 82. Let r = 114 - k. Is r composite?
True
Is (-2)/(-8) - 1842/(-24) prime?
False
Let y be (-1 + 2)/((-1)/(-2)). Suppose -y*s = -151 + 13. Is s a composite number?
True
Suppose 12 = -4*v, 4*q + 785 = -4*v + 3297. Is q composite?
False
Suppose 3*i = 3*w + 183, -4*i + w = -191 - 41. Suppose -i = -3*d - 0*d. Is d a composite number?
False
Suppose 593 = u + 2*f, 2*f = 4*u - 0*f - 2372. Is u composite?
False
Suppose -5*b + 6120 = -2425. Is b a composite number?
False
Suppose 5*p - 3235 = 3*s, 3*p = -0*p + 5*s + 1941. Is p composite?
False
Suppose 3*l = 2*l - 121. Let n = 204 + l. Is n a composite number?
False
Let d(g) = -g**2 - 4*g + 5. Let a be d(-4). Let w = 6 - 6. Suppose a*f = 455 - w. Is f a composite number?
True
Suppose -2 = -2*t + t. Suppose 15 = 5*a - t*a. Suppose -a*n - z = -0*z - 72, 5*z - 15 = -2*n. Is n a prime number?
False
Let s = -145 + 209. Let c = s + -33. Is c composite?
False
Let b be ((-75)/(-12))/5*4. Is 136 + -1 + (-20)/b a prime number?
True
Suppose n - 4*n = -12. Let i be (n/10)/((-2)/(-20)). Is (i - 7)*(-4)/2 a prime number?
False
Is 380 + 3 + (-2)/1 a composite number?
True
Let z be -21*69/(-1 - 2). Suppose 2*l = -r + z, -3*r = -7*r + 2*l + 1942. Is r a composite number?
True
Suppose 0*g + 3*g = -3*c + 285, 0 = -4*g - 2*c + 386. Let s = g - 51. Is s prime?
True
Suppose -2*h = 5*h - 4417. Is h a prime number?
True
Let t(u) = u + 7. Let r be t(-3). Suppose m + 354 = r*h + 3*m, 3*h + m = 263. Is h prime?
False
Suppose 0 = 4*b - 182 - 114. Suppose 3*k - b = k. Is k prime?
True
Suppose -5*d + 123 + 542 = 0. Is d composite?
True
Is 6 + -4 - (-19 + 0) a composite number?
True
Suppose -c - 1 + 4 = 0. Let o be (-80)/c - 2/(-3). Is (o/(-4))/(1/2) prime?
True
Suppose -9*b + 14*b = 1705. Is b prime?
False
Let u be (-1)/(2/(-12))*-1. Let b(q) = -5*q + 4. Is b(u) a composite number?
True
Suppose -3*r + 28 = -29. Is r prime?
True
Let a = -26 + 41. Suppose 2*v - a = -q, -2*q + 0*q = v - 45. Is q a composite number?
True
Let b(s) = 218*s**3 - s. Is b(1) prime?
False
Let c(a) = a**2 + 3*a + 5. Let x be c(-4). Let h(o) = -1 - o + x + 10. Is h(9) a prime number?
False
Let b = -49 + 306. Is b a composite number?
False
Suppose 0 = -3*g, 2*g + 2*g = p - 79. Is p composite?
False
Let u(o) = -o + 3. Let m be u(3). Suppose m*h = h - 6. Is h prime?
False
Let s(c) = 5*c**2 + c - 1. Let u be s(1). Suppose 590 = 10*q - u*q. Is q composite?
True
Suppose 5*c - 3777 - 657 = -2*s, 3*s - 6677 = -c. Suppose 3*o - 2*f - s = 2*f, 3*o + 4*f = 2243. Is o a composite number?
True
Let a(p) = 59*p**2. Let f be -4 - (0 + 6/(-2)). Is a(f) a composite number?
False
Let i = 2 - 3. Let b = i + 6. Suppose -b*o = -0*o - 445. Is o prime?
True
Suppose 679 = 3*g - 5*z, -4*g + 371 = z - 519. Is g composite?
False
Let m = 1132 - 659. Is m prime?
False
Let z = 17 - 11. Suppose -5*j - 173 - z = -2*r, -4*j - 405 = -5*r. Is r a composite number?
True
Suppose 3*g = 48 + 45. Is g composite?
False
Let k = -2 + 4. Suppose 3*i - 4*a - 1 = 22, -k*i + 30 = a. Is i a prime number?
True
Suppose -43*v + 42*v = -701. Is v a prime number?
True
Suppose 0 = 2*b - 15 + 5. Suppose 3*i + 3*v - v = 259, 0 = -b*i + v + 449. Is i a prime number?
True
Let m = 16 - 57. Let h = m + 84. Is h a prime number?
True
Let q(i) = 2*i**2 - 25*i + 5. Is q(24) a prime number?
True
Let w(z) = z**3 - 5*z**2 - 6*z. Let r be w(6). Let o(h) = h + 74. Let y be o(r). Suppose -2*s + 260 = 4*d + y, 3*s - 234 = 3*d. Is s a composite number?
False
Let u(r) = r**2 + 5*r + 6. Let q be u(-4). Is -2*q*(-1348)/16 a composite number?
False
Let a(l) = l**2 + 6*l + 3. Let r be a(-6). Suppose r*d = 2*d + 63. Suppose -d = -t + 32. Is t a composite number?
True
Let k be (-1)/((-38)/36 - -1). Suppose -k*h + 14*h = -140. Is h a prime number?
False
Suppose -2 = -2*q + 2. Is q/(-6) - (-1280)/24 a prime number?
True
Let p be 31 + (4*-1)/(-2). Suppose 0 = 3*a - 2*a + 3*v + p, -2*a - 66 = v. Is (a/(-6))/((-3)/(-30)) prime?
False
Let j(h) = -h**2 + 6*h + 10. Let u be j(8). Let m(f) = -2*f**3 - 5*f**2 - 5*f - 7. Let x be m(u). Suppose 33 = c + 5*i, x = 3*c - 3*i + 104. Is c composite?
False
Suppose -2*c = -0 - 4. Let z be 8/c*(-1)/2. Is z*1 - (-45)/3 a composite number?
False
Let o(n) = 4*n**2 + 15*n + 10. Is o(-11) composite?
True
Let j = 48 - -333. Is j a composite number?
True
Let b be 1 + 1*(-1 - 0). Suppose -j + b*j = -5. Suppose -j*s + 110 = -3*s. Is s prime?
False
Is 225 - (-2 + (-24)/(-4)) a composite number?
True
Let v be 1 - (3 + -3 - 1). Suppose y = -5*g + g + 60, -g - 93 = -v*y. Let p = y + 21. Is p composite?
True
Let y(l) = l**3 - l**2 + 2*l - 14. Is y(6) a prime number?
False
Is 38530/6 + 60/45 prime?
False
Let n = -22 - -16. Let t be 0 + (1 - -1) - n. Let x = t + -4. Is x a prime number?
False
Let u(d) = -36*d - 19. Is u(-16) a prime number?
True
Let u(c) = c**3 - 5*c**2 - 4*c + 6. Let p(f) = f**3 - 5*f**2 - 4*f + 7. Let q(h) = 5*p(h) - 6*u(h). Is q(-3) composite?
False
Suppose 3*v - 2*u = -6*u + 223, 2*u = -5*v + 353. Is v a prime number?
False
Let f be 3/1 + (-3 - -3). Suppose g + 4*l = -f*g + 804, -3*g + l = -595. Is g a composite number?
False
Is 447/(-2)*5/((-30)/4) composite?
False
Let g = 14 + -2. Suppose g = -0*v - 2*v + 2*t, -5*t + 6 = -2*v. Let q(o) = -6*o - 1. Is q(v) a composite number?
False
Let r(d) = 14*d - 7. Let j = -9 - -15. Is r(j) a prime number?
False
Let n be 3 - (5 - 4 - 521). Let k = -168 + n. Is k prime?
False
Let z(k) be the second derivative of k**3/6 + 11*k**2/2 + 2*k. Let a be 0*(4 - 2 - 1). Is z(a) composite?
False
Let f(t) = -15*t - 13. Let p(m) = 7*m + 6. Let a(w) = -6*f(w) - 13*p(w). Let i be a(-5). Suppose n = -j + 10, 0*j + i*n = j - 28. Is j prime?
True
Let s = -118 + 82. Is (-8020)/s - (-4)/18 prime?
True
Suppose 10 = 10*v - 8*v. Suppose 0 = 2*r - k + 2*k - 169, -v*r + 427 = 4*k. Is r prime?
True
Is 6 - 1 - (-2280)/15 a prime number?
True
Let x = -24 - -36. Let q = 53 + x. Is q a prime number?
False
Suppose 4*v - 3*p - 3243 = 0, -3*v - 5*p = -0*v - 2396. Is v a composite number?
True
Suppose -6*o + 3894 = -0*o. Is o composite?
True
Suppose 7*q - 15 = -5*y + 2*q, 0 = 4*y - 4*q - 4. Suppose -y*v + 145 = 3*v. Suppose 86 = 3*g + v. Is g a prime number?
True
Let c = -9 - -5. Let s(j) = -j**3 + 6*j**2 + j - 4. Let r be s(6). Let i = r - c. Is i composite?
True
Let q be 220/15 + (-1)/(-3). Suppose 4*t = 3*t + q. Is t prime?
False
Suppose -39 = 3*d - 3*s, -51 = 3*d + 3*s - 0*s. Let y be (-388)/(-10) - 3/d. Is 14*(y/6)/1 a prime number?
False
Is (4/(-6))/((-8)/2532) a prime number?
True
Let k = 3622 + -1715. Is k prime?
True
Let b(x) = 0 + x + 3*x**2 + 3 + 0 + 4. Is b(-6) composite?
False
Suppose -3*z + 0*x - 43 = -2*x, 2*z = -4*x - 2. Let r be (-1)/(-2)*18/(-9). Is 2 + r - (z + -1) a composite number?
False
Let g = 370 - 74. Suppose -5*u + g = 2*m, -m - 4*m + 713 = -u. Is m prime?
False
Let o = 2 + 2. Suppose -2*a - 5*z + 16 = 0, 3*a + 4 = -5*z + 18. Is 13/(a/o - -1) a composite number?
True
Is ((-5)/(-10))/((-1)/(-166)) a compos