 a prime number?
False
Let q(w) = -2*w**2 + 4*w. Let x be q(5). Let u = 162 - 160. Is (-6255)/x + u/4 a composite number?
True
Let v(o) = -o**3 + 9*o**2 - 9*o + 11. Let x be v(8). Suppose -2*r - 1044 = -4*b, x*r - 493 = -2*b + 45. Let f = 390 - b. Is f a prime number?
True
Suppose -55*o = -63*o + 306088. Is o composite?
False
Is 26824/(-112)*(0 - 10) composite?
True
Let n(c) be the third derivative of -c**5/60 - c**4/6 - 2*c**3/3 - 10*c**2. Let a be n(-5). Is 409*3/a*-3 prime?
True
Let u(k) = -k**3 - 14*k**2 + 31*k - 18. Let v be u(-16). Is ((-1744)/(-20) - v)*1*5 a prime number?
False
Let g(a) = 16*a**2 + 17*a + 2. Let l(c) = -c - 5. Let u be l(2). Is g(u) prime?
False
Suppose -118304 = -26*c - 6*c. Is c composite?
False
Let j(r) = -r**2 + 10*r - 15. Let q be j(7). Is ((-177)/q + 3)*-2 composite?
False
Let c(o) be the second derivative of 321*o**3 - 7*o**2/2 - 29*o. Is c(2) composite?
True
Let j be (-4 + 26/(-7))*-7. Is (-2359)/(-9) + (-6)/j a composite number?
True
Suppose 2*r - 460 = -4*m, m + 5*r + 38 - 153 = 0. Is m prime?
False
Let v(t) = -318*t**3. Let m be v(-1). Suppose -4*l = -6*l + m. Suppose -2*w - w + l = 0. Is w prime?
True
Let u(y) = 2*y**2 - 2*y - 5. Suppose 5*v - 5*p - 95 = 0, 4*v + 5*p - 4*p = 66. Suppose o = a - 6, -4*o = -a + v + 13. Is u(o) prime?
True
Suppose 5*n + 4*v = 3160, 0*v - 613 = -n + 3*v. Suppose -2*l = l - 6, 0 = -3*c - 5*l + n. Is c a prime number?
False
Let m(y) = 3*y**2 - 12*y + 11. Is m(17) prime?
False
Suppose -1 = t - 15. Let d = t + -12. Suppose 0 = 3*n + 2*k + 3*k - 618, 3*n = -d*k + 627. Is n a prime number?
True
Let y(k) = -15*k**3 + 8*k**2 + 21*k - 5. Is y(-6) composite?
True
Let m = -4 + 7. Suppose m*g - 28 = -g. Suppose -g*t = -4*t - 333. Is t composite?
True
Let o(j) = -2*j + 4*j + 16 - 13*j - 21 + 20*j**2. Is o(6) prime?
False
Suppose -119 + 35 = -2*a. Suppose -r = 8 - a. Is r a prime number?
False
Let x(k) = k**3 - 10*k**2 + 9*k + 3. Let f be x(9). Suppose -f*b + 2724 + 2679 = 0. Is b composite?
False
Suppose -73733 = -24*i - 6221. Is i a prime number?
False
Let i be (0 + 1)*0/(-5). Suppose -61 = v - i*v. Let z = v + 96. Is z a composite number?
True
Suppose -242*d = -199*d - 1447294. Is d a prime number?
False
Let b = 2 - -4. Suppose 9 + b = -q. Let f = q + 134. Is f a composite number?
True
Suppose s - 3*s = 2*n - 332, -2*s + 5*n + 311 = 0. Suppose -5*q = -2*q. Suppose -3*d + 4*z + 101 = 0, q = 5*d - 4*z - 0*z - s. Is d a prime number?
True
Let q be -31*3/(-3)*1416/12. Suppose -3644 = -3*n + f + 1843, 2*n - q = 5*f. Is n a prime number?
False
Let b(z) = 17 + 3 + 19 - 12 - 37*z. Is b(-14) a composite number?
True
Suppose -2*d + 2493 + 732 = 5*k, -4*k + 2597 = 5*d. Suppose -c + 1027 - 368 = 5*j, 3*c = 5*j - k. Is j a composite number?
False
Let r be (-2034)/2 - (-2 - -3). Let q = 1697 + r. Is q a composite number?
True
Let h(w) = 13785*w + 46. Is h(1) a composite number?
False
Suppose i + 402 = 5*v, 3*i + 28 = 2*v - 138. Suppose 2*j - 1268 - v = 0. Suppose -j = -2*q + b, -2*q = -0*q + 4*b - 674. Is q prime?
True
Is 10*(-18)/(-45) + 17919 a composite number?
False
Suppose 25 = 5*p - 5*m, -4*m - 4 = -2*p + 8. Is (-534)/p*(-1 - 1) a prime number?
False
Let w(z) = z**2 - 8*z - 18. Let n be w(10). Suppose n*d = 3*p - 646, 0 = 3*p - 8*p + d + 1086. Is p a composite number?
True
Suppose 19*h + 94 = 21*h. Let b = h - -68. Is b composite?
True
Let b = 322 + -198. Let z = b + 25. Is z prime?
True
Let m(q) = 35*q**2 + 28*q + 148. Is m(-27) prime?
True
Let b = -1605 - -2733. Let j = b - 797. Is j prime?
True
Let p(r) = 58*r**2 + 31*r - 160. Is p(17) prime?
False
Suppose 96759 = -12*k + 21*k. Is k a composite number?
True
Let d(o) be the third derivative of 7*o**5/60 - 5*o**4/24 - o**3/2 + 6*o**2. Let i be d(-3). Is (-1 + 3 - 3) + i composite?
True
Let r(f) = 22*f - 249*f - 64*f - 1 - 69*f. Is r(-1) a prime number?
True
Let z = 18332 - 11827. Is z a composite number?
True
Let l = 106963 + -38382. Is l prime?
True
Suppose 3*o - 3 = 4*w - 18, 3 = w. Is 379/(5 - (o + 5)) prime?
True
Let r = 11523 - 4400. Is r prime?
False
Suppose 0*a - 3*a + 1188 = 0. Suppose 8044 = 4*h + a. Is 2/(-4 + h/476) prime?
False
Suppose 84 = m - 5*m. Let x be (2 - m)*-1 - 1. Let z = x - -73. Is z composite?
True
Suppose -j = 0, -4*v + 2*j + 330 = -3*v. Suppose -40*n = -46*n + v. Is n composite?
True
Suppose 0 = o - 1 - 3. Suppose o*z - 25 = -z. Suppose d - k + 0*k = 223, -3*d = z*k - 669. Is d a prime number?
True
Let f(o) = 56*o + 37. Let k(j) = 55*j + 38. Let w(i) = -3*f(i) + 4*k(i). Is w(11) a prime number?
True
Let m = 15 + -12. Suppose m*y - 7*y = 4*q - 4568, -5*q = -3*y + 3418. Is y a composite number?
True
Let t be (-6)/(-9) - 67/(-3). Suppose 5*n - t = -3. Suppose -y + 87 = n. Is y prime?
True
Suppose -141 = -5*d - 156. Is 4 - -2*d/2 - -678 composite?
True
Suppose w = p + 4*p - 225, 2*w = -3*p + 122. Is (p/132)/(1/5331) a composite number?
False
Suppose 3*u - 4 = u. Suppose 5*x - 202 = 2*h, 2*h - 3*x + 390 = -u*h. Let p = h + 281. Is p a prime number?
False
Suppose 5*h = -3*t - 10, -h + 7*t - 3*t - 25 = 0. Is 4/h*15993/36*-10 prime?
False
Let j(a) = -14*a**2 - 3*a - 2. Let w(d) = d**2 + 1. Suppose -1 = -2*b - 3. Let c(r) = b*j(r) - 5*w(r). Is c(-3) composite?
True
Suppose -5*j + 3420 = a, -3*j - 675 = -5*a - 2755. Is j prime?
False
Suppose 0 = 3*h - 2*h + 1. Let k be ((-2)/(-4))/(h/(-224)). Suppose -k = 5*o - 767. Is o a composite number?
False
Suppose -y = s - 114, 628 = 5*y + s + 74. Is (y - 1) + 10/(15/3) a prime number?
False
Let a = -5043 - -13450. Is a composite?
True
Suppose 5*b = 3*t - 8484, 2*t - b - 5014 = 649. Is t a composite number?
False
Let o = -47275 + 80046. Is o a prime number?
True
Let x(q) = q**2 - 5*q + 4. Let a be x(5). Suppose -a*s + 29 = -479. Is s a composite number?
False
Let o be 1/1 - (-3)/3. Suppose -o*n = n + 384. Let w = n - -361. Is w prime?
True
Suppose -410*o + 385*o = -464575. Is o composite?
False
Suppose 6 = v + 2. Let c(g) = -g**2 + 4*g + 5. Let x be c(v). Suppose 0 = x*q - 0*q - 115. Is q a prime number?
True
Let s = 8 - 6. Suppose -s*i + 4*x = -2, -2*i + x + 4*x + 3 = 0. Is 317/(1 + i - -1) prime?
True
Let y(h) be the third derivative of -h**6/15 - h**5/60 - h**4/24 + h**3/6 + 7*h**2. Is y(-3) prime?
True
Let p(d) = -2*d**2 + 9*d - 4. Let t be p(4). Suppose 17*r - 14*r - 12 = t. Suppose a + 2264 = r*q, -3*a = -5*q - 0*a + 2837. Is q a composite number?
True
Let n be 2/(-6)*-1*-3. Let v be (19 - 8)*(-6)/n. Suppose 4*p - 266 = v. Is p a composite number?
False
Suppose 114339 = 3*n - 5*m, -3*n = 5*m - 6*m - 114339. Is n prime?
True
Suppose -t - 2*t = -2*d - 14453, 0 = -4*d + 8. Is t a composite number?
True
Let i(a) be the second derivative of a**4/6 - 13*a**3/6 + 11*a**2/2 + a. Let c(o) = 13*o**2 + 24*o + 23. Let u be c(-1). Is i(u) a prime number?
False
Suppose 0 = 2*p - y - 100 - 76, 0 = -2*y. Suppose 22 = -3*m + p. Is m composite?
True
Is -7*23590/(-20) + (-1)/(-2) a composite number?
True
Suppose -20 = -4*h, 125*q + 128277 = 126*q - 2*h. Is q prime?
True
Suppose 0 = 4*v + 2*j + 3712, 0 = -j + 7 - 3. Let c = v - -1714. Suppose 6*o = c + 554. Is o a prime number?
True
Let x = -370 - -958. Let b = x + -386. Is (-1)/(-3)*(5 + b) prime?
False
Let s(h) = 279*h**2 - 9*h + 19. Is s(3) prime?
True
Let n = -593 + 855. Let c = 411 - n. Is c a composite number?
False
Let j(g) = 22*g**2 + 25*g + 2. Let s(w) = w**3 - 27*w + 1. Let q be s(-5). Is j(q) a prime number?
True
Let z be -8*(-2)/(-4) - -55. Is 2/(-2)*(14 - z) composite?
False
Let t be 73 + (-5 - -7 - (-2 + 4)). Let w = 124 - t. Is w a composite number?
True
Let i = 33667 - 23660. Is i a composite number?
False
Suppose 2*y - 62336 = -5*m, -m + 62344 = 6*y - 4*y. Is y a composite number?
True
Is (1582 - -1) + 0/(8/(-1)) prime?
True
Suppose -3*y - 6 = 3*q, -q + 5*y + 12 = -5*q. Suppose 0*g + 4*g = -q*v + 372, 2*v - 5*g = 381. Suppose 6*b - v = 4*b - 5*p, 4*b - 3*p = 376. Is b prime?
False
Suppose 3656 = 9*x - 3706. Let k = x - 429. Is k prime?
True
Suppose -5*r - 1635 = -14635. Suppose 1949 = 3*s + 2*v, 0 = -4*s - 0*v - 4*v + r. Is s composite?
True
Suppose -3*v = -261 - 10353. Let t = 8919 - v. Is t a prime number?
True
Let c(j) = j**3 - 16*j**2 + 33*j - 26. Let g be c(28). Suppose -g = -4*l + 2130. Is l prime?
True
Suppose -3*n - 7*l + 