composite?
True
Let y = 200 - 198. Suppose -2*x = y*b - 1560, -2*b + 4*b - 3*x - 1555 = 0. Is b prime?
False
Suppose 7639876 = 196*a - 3618168. Is a a prime number?
False
Suppose 29*j - 28*j + 5*p = 4, 5*j - 4*p - 20 = 0. Suppose 36*o = v + 37*o - 1909, 0 = j*o. Is v a composite number?
True
Let j = -5381 - -24798. Is j prime?
True
Suppose 5913054 = 337*o - 6592651 + 2976356. Is o composite?
False
Let b be 183795/5 + 4 + 2. Suppose 32364 = 9*x - b. Is x prime?
True
Let h(p) be the first derivative of p**4/4 + 17*p**3/3 - 9*p**2 + 2*p - 2. Let t be h(-18). Is t/11 + 31734/66 prime?
False
Let k(t) = 9110*t**2 - 88*t + 33. Is k(28) a composite number?
False
Let y = -165062 - -284235. Is y composite?
False
Is (-195342121)/(-221) + (-1 - -15) + -2 composite?
True
Suppose p = 2*t - 3858 - 10260, 0 = 5*p. Let a = t - 4024. Is a composite?
True
Let j(m) = -m**2 + 25*m - 85. Let u be j(21). Let g = 10 + -10. Is -2 + u - -6*(g + 9) a composite number?
True
Suppose 212*u - 214*u = -180. Is 13001/4 - u/(-120) a composite number?
False
Let z be 3*(-2)/3 + -8. Let f = -14 - z. Is f/(-6)*(-1 + 485 + 5) composite?
True
Let j be 2 - -1*(3 + -2 + 0). Suppose -u - 480 = -j*k + u, 3*k - 5*u - 489 = 0. Suppose 3*g = v + k, 2*g - 3*g + 54 = v. Is g composite?
False
Suppose -1742219 = -4*l - 5*u, 5*u + 322652 = -3*l + 1629310. Let v be (l/(-12))/7 + 3/12. Let z = -1926 - v. Is z prime?
True
Let t = -19 - -25. Suppose 0 = -4*c + t*c - 5714. Is c a prime number?
True
Suppose 258715 = 360*l - 355*l. Is l prime?
False
Let g = -61714 - -123329. Is g composite?
True
Let s(o) = -7*o**2 + o**3 - 57*o - 57 + 0*o**2 - 3*o**2. Is s(26) composite?
False
Suppose -7*f - 12*f = -528010. Suppose 0 = -5*y + 5*n + f, 2*n + 7933 = -3*y + 24602. Is y a prime number?
True
Is (-148420)/(-6) - 7/(-84)*4 a prime number?
False
Let k = 54 + -77. Let f = k - -27. Is 375 + 8*f/(-8) a prime number?
False
Suppose -4*t + 2*l = -22, t + 2*l + 3*l = -11. Suppose 0 = -4*i - 5*w + 7701, -t*i + 4442 = w - 3271. Is i composite?
True
Suppose 2*m - 33 = -2*k - 5, -6 = -3*k. Suppose -h = 7*d - m*d + 2496, -4*d + 1997 = -h. Is d a prime number?
True
Suppose 0*f + 1280 = 5*f. Let v = 177 + -176. Is -3 + (v*f - 2) a prime number?
True
Let t = -4 - -5. Is 919/1 - (-2)/t prime?
False
Suppose 0 = -11*u + 10*u - 8. Let z(i) = -i**2 - 7*i + 13. Let c be z(u). Suppose -c*t + 7*t - 74 = 0. Is t a prime number?
True
Suppose -4*w + 3 = -9. Suppose -17 = -w*g + 5*c + 21, -5*g - 2*c + 84 = 0. Suppose -5*l - 8107 = -g*l. Is l a prime number?
False
Let w(u) = -4*u - 24. Let r = 45 - 51. Let a be w(r). Suppose 4*t - 2*z - 1516 = a, 5*t + 3*z + z = 1895. Is t a composite number?
False
Let o(w) = 37483*w + 338. Is o(5) composite?
True
Suppose g - 468425 = -14*g + 564520. Is g a composite number?
False
Let c be -1*10/8 - 851/(-92). Let p(d) = 381*d - 41. Is p(c) prime?
False
Is (-2431758)/(-42) - (-4 + (-3 - -7)) a composite number?
False
Suppose 4*d = 3*x - 26, 4*x + 8 = 3*x - 2*d. Is (-1 - -2 - -1)*1949/x a composite number?
False
Let q(k) = 44*k**3 - 39*k**2 + 3*k - 105. Is q(20) a prime number?
False
Let v(c) = 8*c + 16. Let w be v(-2). Suppose 4*s - 11424 = -5*x, -5710 = -w*s - 2*s - 3*x. Is s prime?
True
Suppose 3*r + 11 = -4*b, 13 = -4*r - 5*b - 1. Let d be 2 - r - (-4)/2. Suppose 4105 = -d*g + 10700. Is g prime?
True
Let a(y) = -2*y**3 - 18*y**2 - 62*y + 15. Is a(-13) a composite number?
True
Let v(c) = c**3 + 3*c**2 + 13*c + 42. Let n be v(-3). Suppose 0 = -3*g - 17 + 2, 6133 = 4*d + n*g. Is d a composite number?
True
Suppose 5254 + 10856 = -2*j. Let t = 5433 + j. Let r = -1715 - t. Is r a composite number?
False
Suppose 5*d = -2*t + 6498, 5*d = 3*t - 7427 - 2370. Let u = t - 1210. Is u a composite number?
True
Let w be (0/(-3))/((-8)/(-4)). Suppose 4*i - 6439 - 3293 = w. Suppose i = 5*r - 3*z, -4*r + 0*z + 1968 = 3*z. Is r prime?
False
Suppose 4*y - p - 334067 = 0, -2*p + 7641 = 2*y - 159375. Is y a prime number?
False
Let b(a) = 38*a**2 - 31*a - 20. Let i(x) = -13*x**2 + 11*x + 7. Let j(s) = 3*b(s) + 8*i(s). Is j(-7) a prime number?
True
Suppose -3*h + 1755 = -h - x, 3*x - 1759 = -2*h. Suppose 13*k = 5531 + h. Is k a prime number?
False
Let a be -2*15/6 + (-34125)/(-7). Let o = a + -2687. Is o prime?
False
Suppose -5*g = 3*b - 181050, 3*g = -4*b - 20075 + 261486. Is b a composite number?
True
Let d(n) = -n**3 - 15*n**2 - 47*n - 19. Let x be d(-11). Is (4 - (x - 6))*3543/(-4) a prime number?
False
Let j(x) be the first derivative of 23*x + 1/4*x**4 + 0*x**2 - 13 + 6*x**3. Is j(-18) prime?
True
Suppose 0 = -13*q + 14*q - 5*b - 60186, -240722 = -4*q - 2*b. Is q a composite number?
True
Let p(a) = -3*a + 1665. Let y be p(0). Let l = 112 + y. Is l prime?
True
Let s = 26946 - 7175. Is s prime?
False
Let y be (4/(-1))/((-3)/(-4764)*-4). Let l = y - -205. Is l a prime number?
False
Let k be -4*((-162)/24 + 6). Suppose u - 3*w = 5057, -2*u - 5047 = -k*u - 2*w. Is u prime?
True
Suppose -8*h = 18*h + 2834. Let k = -60 - h. Is k prime?
False
Let u(x) = -26*x**3 + x**2 - 2*x + 5. Let o be u(-3). Let c = 1224 - o. Is c a prime number?
False
Let z(o) be the first derivative of o**4 - o**3 + 7*o**2/2 + 14*o - 3. Let c(m) = m**3 + m**2 + m. Let i(r) = -3*c(r) + z(r). Is i(9) a composite number?
False
Let j = 54 - 61. Let l(u) = 4*u + 33. Let n be l(j). Suppose 0 = -n*v + 2267 + 2568. Is v prime?
True
Let v(i) be the second derivative of 307*i**8/3360 - i**6/240 + i**5/60 + i**4/4 + 20*i. Let q(c) be the third derivative of v(c). Is q(1) a prime number?
True
Let m(t) = -t**3 + 2*t**2 - 2*t - 353. Let c(i) = -2*i**3 + 3*i**2 - 3*i - 707. Let k(z) = -3*c(z) + 5*m(z). Let h be k(0). Suppose 278 = p - h. Is p prime?
False
Suppose -66280 = -61*q + 53*q. Suppose 3*o = -2*o + q. Is o a prime number?
True
Suppose 4*q - 404564 = 4*k, -3*k + 119099 = q + 17974. Is q composite?
True
Suppose 49*y = -30*y + 1118561. Is y composite?
False
Suppose -3626 - 419 = -5*z. Suppose -5*m - z = 2446. Let t = 1098 + m. Is t prime?
False
Let o(r) = 2*r**3 + 19*r**2 - 9*r + 13. Let z be o(-10). Let v(q) = 14*q**3 + 4*q - 1. Is v(z) prime?
True
Let v = 78 - 90. Is v*(-382)/16*2 a composite number?
True
Let n = -15 - -3. Let s(k) = k**2 + 10*k + 8. Let u be s(n). Is 46000/u - (-2)/(-4) a composite number?
True
Suppose 2*f - 94 + 84 = 0. Suppose s - 795 = -f*s - 3*z, -2*z + 6 = 0. Is s composite?
False
Suppose -3*r - 477 = -2*r + 2*p, 2*r + 3*p + 951 = 0. Let k = r + 792. Is k prime?
False
Is ((3 - 0) + 41)*(-117377)/(-52) prime?
False
Let q(x) = 1476*x**2 - 137*x + 10. Is q(-21) a composite number?
True
Let b = 953303 + -500544. Is b a prime number?
True
Suppose 6576898 = 25*d - 4789560 + 2288933. Is d a prime number?
False
Let j be (-1)/(-2)*((1 - 2) + 7). Suppose 0 = -3*v - 4*x + 21863, x - 7288 = 2*v - j*v. Is v a prime number?
False
Is (((-254142945)/42)/(-85))/((-6)/(-4)) prime?
True
Let q be 6/10*(0 - -10). Let d(u) = -u**2 + 7*u - 4. Let v be d(q). Suppose 2 + 168 = v*j. Is j prime?
False
Suppose -5*j + 5*a + 20 = 0, 3*a - 2 = 5*j - 22. Suppose -232 - 104 = j*v. Let o = 257 - v. Is o a composite number?
True
Suppose 24*i - 28*i = -191828. Suppose -6*t = -i + 7139. Is t a prime number?
True
Let a(m) = 328*m**2 - 2*m - 521. Is a(21) composite?
True
Suppose 11*v = -46*v - 12*v + 38113737. Is v a composite number?
True
Let w(l) = -229*l - 41. Let g be w(-14). Let v be (-2)/(208/105 + -2). Suppose -110*k + v*k = -g. Is k composite?
True
Suppose -c - 5*m + 12 = 0, c - 4*m = -2*c + 36. Is c/(-9)*636237/(-84) composite?
False
Let u = -960 + 1458. Let f = -229 + u. Is f a prime number?
True
Let p = 74 + -71. Let b be (3 + 6/(-9))/(p/153). Is (4 + -1)*(b + -6) a prime number?
False
Let f = -33 + 38. Suppose 7206 + 9779 = f*b. Suppose -2*z - b = -5*h, -4*z + 1354 = h + h. Is h a composite number?
True
Suppose 0 = g - 3*n + 8, -2*g - 12 = g - 3*n. Let b(h) = -286*h**3 + 2*h - 3. Is b(g) prime?
True
Let a(g) = 259*g**2 + 22*g + 3872. Is a(-93) prime?
True
Let w(p) = -p**3 - 70. Let n be w(0). Let f = -65 - n. Suppose -2*a - q + 4207 = -6*q, -f*a - q + 10558 = 0. Is a a prime number?
True
Let c(n) = 1486*n**2 + 16*n + 29. Is c(4) a composite number?
False
Let m(d) = -8 + d + 16 - 7. Let j be m(-1). Suppose 2*l + j*l = -4*p + 2808, 2*p - 1412 = -5*l. Is p a compo