 c composite?
False
Suppose 15*x - 8294 = 101611. Is x a prime number?
False
Let j(t) be the second derivative of 301*t**4/12 - t**2/2 - 15*t. Let s be j(-1). Suppose -453 = -3*n + s. Is n a prime number?
True
Let x(i) = -46*i. Let t(z) = z**2 + 3*z - 1. Let h(v) = 2*v**2 + v - 3. Let a be h(0). Let w be t(a). Is x(w) composite?
True
Let b = 751063 - 411626. Is b composite?
True
Suppose -259 + 1591 = -3*j. Let g = -151 - j. Is g a prime number?
True
Suppose 4*m = -2*k + 50, -5*k + 5*m + 34 = -46. Is (k/(-3))/((-6)/1206) a composite number?
True
Suppose -1285 = -5*s - 5*r, -39*s - 769 = -42*s - 4*r. Is s prime?
False
Let k be ((-35)/3)/((-2)/(-18)). Is 14/k + (-18017)/(-15) prime?
True
Let i(f) be the second derivative of 9*f**4/2 + f**3/3 - f**2/2 - 22*f. Is i(-3) prime?
True
Let y(g) = g + 12. Let p(b) = -b - 1. Let i(h) = -2*p(h) + y(h). Is i(11) composite?
False
Suppose -3*v = -2*v + 3*b - 3923, 3*b - 6 = 0. Suppose -14*s + 55143 - v = 0. Is s a prime number?
True
Suppose -5*v - 7 = a + 4, -3*v = a + 5. Suppose a*q - 5*p - 349 = 0, 32 = -q - p + 108. Let d = q + 16. Is d a composite number?
False
Let n = 18 + -13. Suppose -82 = -n*l - 7. Suppose -y + 16 + l = 0. Is y a prime number?
True
Suppose -2*n = -n - 15. Suppose -n = -0*w - 5*w. Suppose -3*f + 0*f - c + 867 = 0, 0 = w*f - c - 867. Is f a prime number?
False
Suppose 0 = -3*v + 3*k - 6, -2 = 2*v - 4*k + 2. Is (-3416)/(-16) - (-5)/v a composite number?
False
Let h(o) = -2*o**2 - 7*o - 9. Let j(c) = 2*c**2 + 8*c + 9. Let a(p) = -6*h(p) - 5*j(p). Is a(-14) a prime number?
True
Suppose -2*v + 4*w + 1802 = 0, -w - 3614 = -4*v + 11. Suppose 2*o = o + v. Is o a composite number?
False
Let o(u) = -u**2 + 4. Let b be o(0). Suppose -y - y + d + 9300 = 0, -2*y = -b*d - 9306. Is y a composite number?
False
Let z = -298 + 1353. Is z prime?
False
Let q = 4186 + -255. Suppose 3*v = -2*v - r + q, 0 = v + r - 783. Is v a composite number?
False
Let r(p) = -69*p - 37. Suppose 0 = 4*i + 2*i + 60. Is r(i) a composite number?
False
Let j = -1424 + 2460. Let v = -737 + j. Is v prime?
False
Let r = -63 + 69. Suppose r*w - 1216 = 290. Is w a prime number?
True
Let c(m) = 19*m**2 - m - 23. Suppose -3*q - 27 = 2*p - 5*p, 0 = 4*q + 12. Is c(p) a prime number?
False
Let f be ((-10)/(-3))/(48/216). Is (170/f)/((-4)/(-30)) a composite number?
True
Suppose 0 = 9*i - 125302 + 13153. Is i prime?
False
Suppose 6*v - 8*v + 4384 = 4*t, 4*t = 3*v - 6546. Is v a prime number?
False
Suppose -2*y - 13 = 25. Let j = -15 - y. Suppose 0 = j*r + r - 155. Is r a composite number?
False
Suppose 0 = -5*o + 5*q + 65, -5*o + 2*q = -0*q - 53. Suppose -o*r = -7*r - 1478. Is r composite?
False
Let j = 6 - 3. Is 3 - ((-1)/j + (-58041)/27) prime?
True
Let o(y) = 1 + 1 - 34*y**3 - 9*y**3 - 2*y**2. Is o(-4) composite?
True
Suppose 5*u - 5 = 0, -2*h + 3*u + 0 = 3. Suppose 4 = -f + 2*r, -4*f + 2*r + 14 = -h*f. Is f a composite number?
True
Suppose -7*x + 5*x = -8. Suppose 17 = x*i - 3. Suppose -2*c - 3*h = -90, -200 = -4*c - 6*h + i*h. Is c prime?
False
Let k = 22 + -16. Suppose 4*d - 7 = -y - 0*d, 0 = -5*d + 5. Let i = k + y. Is i composite?
True
Let m(r) = r**3 - 16*r**2 + 15*r + 15. Let d be m(15). Let b(f) = -f**2 + 33*f + 4. Let x be b(d). Suppose 4*w = -16, 2*j - 4*j + x = -3*w. Is j composite?
False
Suppose -5*s + 26846 = 3*z - 3*s, 4*z - 5*s = 35787. Suppose -3233 = 9*r - z. Is r a composite number?
True
Let h be 260/(28/26 - 1). Suppose 2*c - 2234 - h = 0. Is c composite?
True
Suppose -143693 = 27*v - 38*v. Is v a prime number?
True
Is (212/2)/(0 + 2/157) a composite number?
True
Suppose k + 4 = 3*i - 4, 2*k + 4*i = 14. Let g(o) = 1022*o + 5. Is g(k) a prime number?
False
Let s = 0 - -14. Let x be ((-468)/(-42))/(1/s). Let i = -94 + x. Is i a prime number?
False
Let m = -1334 + 2939. Suppose 5*h + 15 = 0, 2*q - 553 = 4*h + m. Is q composite?
True
Let n(q) = -6*q**2 + 2*q - 15. Let f be n(-11). Let s = -1073 - f. Let k = 729 + s. Is k prime?
True
Let i = -1845 + 3878. Is i a prime number?
False
Suppose 19 = -z + 2. Let y = -14 - z. Suppose 557 = 2*u - 5*j, 261 = -y*u + j + 1129. Is u a prime number?
False
Let v be 6*-3*4/(-18). Suppose 2*x - 965 = 3*k - 2*k, -v*x + 4*k + 1928 = 0. Is ((-44)/6)/((-14)/x) prime?
False
Let r(a) be the first derivative of -a**4/24 + 13*a**3/6 - 3*a**2/2 - 7. Let y(n) be the second derivative of r(n). Is y(-18) a composite number?
False
Suppose 786 = 2*r - 4376. Is r a prime number?
False
Suppose -p = 4*x + 4*p - 97187, -p = x - 24296. Is x prime?
False
Suppose 0 = -0*f - 2*f. Suppose -l - l = f. Suppose -4*i - 58 - 391 = -5*j, 5*j + 2*i - 443 = l. Is j a composite number?
False
Suppose -6*v - 41 = 3*o - 4*v, o = -5*v - 31. Let p = -7 - o. Suppose -p*n + j = -3185, -5*n + j + 924 = -3058. Is n a prime number?
True
Suppose -3*j + j + 5*z - 22 = 0, 0 = -3*j - z - 16. Let a be j*((-1)/(-2) + 0). Is a/12 + 282/8 a composite number?
True
Suppose 4*o = -2*w + 75450, 10*w + 2*o = 8*w + 75442. Is w composite?
False
Suppose -4*v + 11717 = 3*t, 4*v - 3196 = 3*t + 8503. Is v a composite number?
False
Let u(h) = h**3 + 8*h**2 - 7. Let x be u(-8). Let o be (-22)/(-7) - x/(-49). Suppose -531 = -0*q - o*q. Is q prime?
False
Let v(o) = -o**3 + 8*o**2 - 8*o + 10. Suppose 4*w - 8*w + 28 = 0. Let k be v(w). Is ((k - 2589)/(-3))/2 prime?
True
Let q(o) = o**2 - 4*o + 5. Suppose 0 = -4*f + 8, 2*j - 4*f + 3 + 1 = 0. Suppose h = -j*u - 3*u + 26, u - h = 4. Is q(u) composite?
True
Let s = 14011 + -4488. Is s a composite number?
True
Let y = -17453 - -38664. Is y a prime number?
True
Let o(k) = 1 + 2 + 212*k - 211*k + 18*k**3. Is o(2) a composite number?
False
Let r = -5 - -9. Suppose 3*k - r = k. Suppose 7070 = k*h + 616. Is h composite?
True
Let w be -3 + (5 - 1) - -2. Suppose o = 6*o + w*v + 355, o + 2*v = -78. Let r = o + 130. Is r a prime number?
False
Suppose 2*j + 18 + 0 = -2*o, 2*j + 4*o = -20. Is 4/j*1514*-1 composite?
False
Let f(a) be the first derivative of 4*a**3/3 + 15*a**2/2 - 3*a + 11. Is f(-14) a prime number?
True
Let b = 3646 - -51. Is b composite?
False
Let f be (-6)/(-8) - 1/(8/(-15138)). Suppose f = 2*o - 5465. Is o prime?
False
Suppose -2*n = -i - 4*n + 14433, -4*i = n - 57725. Is i a composite number?
False
Let q be 2/(-8)*-2*(7 - -24477). Is -3 + (q/9 - 14/63) prime?
False
Let t be 1 + 3 + 1 + -1. Let q be 0 + t + -6 - 0. Is q/6*3*-191 composite?
False
Let m(n) = -n**3 - 6*n**2 - 7*n - 7. Let t be m(-5). Suppose 0 = t*p - 1691 - 1570. Is p a prime number?
True
Let f(h) = -h**2 - 5*h + 7. Let n be f(-6). Suppose 3 - n = o - 3*v, -3*o + v = -14. Suppose 0 = -l - 2*y + 53 - 4, 20 = -o*y. Is l composite?
True
Suppose 4 = 2*o + 2*d - 2, -2*d - 6 = 0. Suppose -1634 = 4*x - o*x. Is x a prime number?
False
Let p be 8831/7 + 9/(-42)*-2. Is (-1)/(-2*1/p) prime?
True
Is 48/(-168) + (-46937)/(-7) - 4 prime?
True
Let i(t) = 5090*t**2 - t - 2. Is i(-1) prime?
False
Suppose -4*g - 10 = 3*b, 0*b + b = -5*g + 15. Let f(q) = -175*q - 15. Is f(b) prime?
False
Let i(m) = -m**3 + 9*m**2 - 10*m - 13. Is i(5) a composite number?
False
Suppose -5*l + c = -29, 0*l - 3*c = 2*l + 2. Let d(q) = 41*q**2 - 5*q + 6. Is d(l) a composite number?
True
Is 6/(-36)*(-4 + -2)*148429 prime?
True
Suppose 0 = -3*n - 3*h + 259845, 5*n = -h + 359418 + 73641. Is n composite?
True
Let l be 5/(25/15) + 5700. Suppose -7*z = -1360 - l. Is z a prime number?
True
Let w(h) = h**3 - 9*h**2 + h - 6. Let c be w(9). Suppose 5 + 5 = 2*v, -5*r - 2*v + 80 = 0. Is (r/4)/(c/42) a composite number?
True
Suppose -v + 2311 + 1482 = 0. Is v prime?
True
Suppose -12 = -u + 6. Is ((-537)/4)/(u/(-72)) a prime number?
False
Let a(w) = -595*w + 27. Let r(o) = -297*o + 14. Let d(u) = 3*a(u) - 5*r(u). Is d(-7) prime?
True
Suppose 5*u = -x - 18, u - 26 = -3*x + 6*u. Suppose -x*b = 3*b - 90. Let y = b - -17. Is y prime?
False
Suppose -33593 + 11841 = -8*a. Is a prime?
True
Suppose 65 = -4*u - 187. Let z = -71 - -172. Let w = u + z. Is w prime?
False
Let h(k) = -103*k + 38. Let v be h(-3). Is 0 + 0 - (0/5 - v) a composite number?
False
Let s be 3 - -2 - (2 + -2). Suppose -4*n + f = -17, 0 = n + 3*n + 5*f - 11. Suppose 368 = 3*v + s*g, n*v + 9 = 2*g + 543. Is v a prime number?
True
Let a = 23 + -53. Let s = a + 31. Is (1/5)/(s/1655) a prime number?
True
Suppose 4 + 12 = 4*a. S