= -15*r - 10509. Suppose 0 = -4*z - 2*s - 3*s + r, 2*s = -5*z + 4383. Is z composite?
False
Let q = 26220 + -18465. Let f = q + -4478. Is f prime?
False
Let g(p) be the third derivative of p**6/24 - 2*p**5/15 + p**4/24 - 17*p**3/6 - 60*p**2 + 1. Is g(7) composite?
True
Let n be 4/(-14) - (688/(-14))/4. Suppose 0 = -2*w - n + 4, o - 21 = 3*w. Let k(x) = 3*x**2 + 5*x + 5. Is k(o) a prime number?
True
Suppose 45*x = 610 - 1060. Let f(d) = 0 + 4 - 7*d**2 - d**3 - 16*d + 3. Is f(x) prime?
True
Let u = 50 + -46. Suppose u*l - l = 15. Suppose 6*h + 2*z = 2*h + 232, -2*h - l*z + 108 = 0. Is h a prime number?
True
Let z(y) = 15*y - 22. Let f(i) be the first derivative of -i**3/3 - 9*i**2/2 - 13*i - 45. Let r be f(-3). Is z(r) prime?
True
Let y(x) = 3 + 9*x + 2*x + 2 + 7*x. Let a(p) = -35*p - 10. Let v(t) = -2*a(t) - 5*y(t). Is v(-20) a composite number?
True
Let z(b) = 721*b + 10. Let q be 1/((6/1)/78). Is z(q) a prime number?
False
Let w(f) = 290*f**3 - f**2 - 291*f**3 - 2*f**2 + 5 + f. Let j be w(-3). Is j/2 - (-871 + 9) a prime number?
True
Let g = -41 - -17. Let r be ((-40)/g)/(5/6). Suppose r*l - 1464 = -98. Is l prime?
True
Let w = -22 + 33. Let h = w - 6. Suppose 0 = h*p - p - 1708. Is p a composite number?
True
Suppose 19*i - 36*i = 31*i - 15408. Let q = 6 - 4. Suppose -q*v + 61 = -i. Is v composite?
False
Let j = 911 + -794. Suppose -119*f + j*f = -10090. Is f a prime number?
False
Let j(i) be the first derivative of i**4/4 - 2*i**3/3 - i**2 + 5905*i + 209. Is j(0) prime?
False
Suppose 0 = 10*r - r + 18. Let z be (-15)/25 - (-172)/20. Is (r/z)/(4/(-2032)) composite?
False
Let f(o) = 676*o**3 - 25*o**2 + 140*o + 65. Is f(6) a prime number?
True
Let a be 2/((-80)/(-810)) + 2/(-8). Is ((-4)/(-10))/(a/100) + 2067 a prime number?
True
Suppose -6*u - 32 = 2*u. Is 5280/6 + 1 + u a composite number?
False
Is 55*((-189013)/44)/(10/(-8)) a composite number?
True
Suppose -166 = 6*a - 52. Let q = a + 11. Is 5319/13 - q/(-52) prime?
True
Is (112/42 + -4)*438579/(-12) prime?
True
Let z = 18953 + -11830. Is z a composite number?
True
Suppose 19*z + 13909 + 9613 = 0. Is z/(0 + (-8)/44) + -4 composite?
True
Let d(g) be the second derivative of g**5/20 - g**4/4 + 629*g**2/2 + 2*g + 51. Is d(0) prime?
False
Is -1*90/54*2324265/(-25) a prime number?
False
Let u = -5712 + 35375. Is u composite?
False
Let l(n) = 3*n**2 - 32*n + 2. Let g(u) = 2*u + 6. Let c be g(4). Let a be l(c). Suppose -8*s + 6*s = -a. Is s composite?
False
Suppose b - 9221069 = -142*b. Is b composite?
False
Let i(t) = 24*t**2 - 102*t + 2141. Is i(-101) a composite number?
True
Let i(o) = 4500*o + 1541. Is i(23) prime?
False
Let o be 9/5 - (-40)/(-50). Suppose 10*v = 9*v + o. Is (113 + 18)/(2 - v) composite?
False
Let t(c) = c**2 + 7*c - 6. Let y be t(-8). Let k be (7/y - 0)*2274. Suppose 14*v - k = 11*v. Is v a prime number?
False
Let i(q) = 1436*q - 63. Let z be i(-10). Let u = z + 25774. Is u a prime number?
True
Let x be (-804)/18 - 2/6. Is (x/(-3) + -1)/(14/203) prime?
False
Suppose 53*r - 50*r = 6156. Suppose -589 + r = p + 4*h, 0 = 2*h - 4. Suppose 5*w = 4*y + 9580 + p, -2*y - 10 = 0. Is w composite?
False
Let c be (-2)/5*(-10)/1. Suppose -1 = 2*x - 5*g, 0*x + c*x + g + 57 = 0. Let u(a) = -a**3 - 10*a**2 - 15*a + 7. Is u(x) a composite number?
False
Let i(a) = 297*a - 11. Let f(x) = -297*x + 10. Let w(p) = 5*f(p) + 4*i(p). Let n be w(-3). Is n/(-13)*(-14)/6 a prime number?
False
Suppose -4*q - 5*r = -8, 8*q + 3*r + 4 = 10*q. Is q*2 + (-19 - -754) a prime number?
True
Let m(y) = -72*y**2 + 11*y - 7. Let w be m(-10). Let c = w + 13346. Is c a prime number?
True
Let s(g) = 1766*g + 66. Let o be s(-21). Is (-3)/(-2)*(-4 + o/(-18)) a composite number?
False
Let y = 1031 + -3750. Let s = 5328 + y. Is s prime?
True
Let z = 2975 + 127. Suppose z = 2*x - t + 383, -9 = -3*t. Is x prime?
True
Let d(r) = r**3 + 4*r**2 - 22*r - 8. Let n be d(-7). Is (-1 - -1211) + (3 - n)/4 prime?
False
Suppose 385945 = 5*c - 5*k, 39*c = 41*c - 3*k - 154376. Is c a prime number?
True
Let d be (-24)/84 + 228/14. Suppose -3*u + 1409 = -2*a, -5*a = 4*u - 0*a - 1848. Suppose 17*w - u = d*w. Is w prime?
True
Is (-45)/(-10) - 16778254/(-76) a composite number?
False
Let x = 2864678 + -1222687. Is x composite?
True
Let j = -123 - -195. Is (2 + (-3987)/(-2))*(74 - j) a composite number?
True
Let y be 12/(-54) + (-4692)/27. Let q = -155 - y. Is q composite?
False
Let c(i) = -28*i**2 - 135*i - 380. Let m(q) = -9*q**2 - 45*q - 127. Let v(l) = -3*c(l) + 8*m(l). Is v(37) prime?
True
Let x be (-1 + 3 - 3) + 1085. Suppose -2*z = -3*f + z + 1641, 4*z + x = 2*f. Let h = 1367 - f. Is h prime?
False
Suppose 0 = k - v - 0*v - 16, -5*v - 32 = -k. Suppose 4*z = -3*o + 1240, -4*z - 51 = -2*o - 1271. Suppose z = k*l - 11*l. Is l a composite number?
False
Let p be (-1251)/(-15) - 15/(-25). Suppose -166 = -3*u + 5*x, -2*x = -u + p - 27. Suppose -2*r + u = 3*v - 37, -4*v = -8. Is r a composite number?
True
Let s(d) = 2*d**3 + 2*d**2 - 6*d - 2. Let z be s(-4). Let i = -70 - z. Is 474/i + (2 - 35/14) composite?
True
Let x(g) = 2*g + 20. Let i be x(-6). Let z = 8 - i. Is 534 - (-3 - z - -2) a prime number?
False
Let g = 11542 - -32599. Is g composite?
True
Suppose 0 = -2*k + l - 13, -3*k = 5*l + 9 + 4. Let z be k/(-7)*(28/6)/1. Is (-1 + 0)/(z/(-236)) a composite number?
False
Is 762/(-508)*2*183637/(-3) composite?
False
Suppose -7*i = -i + 156. Let r = 25 + i. Is (4191/9 - r/3) + 3 a composite number?
True
Let p = 1800 + -323. Is (10/5*p)/2 composite?
True
Is (-13027)/(-3722)*3/(42/11263052) a prime number?
True
Let l(y) = 4*y**2 - 3*y + 11. Let m be l(-8). Let t be 3*6/(18/m). Let h = t + 86. Is h prime?
False
Suppose -2724289 = -11*m - 4*k, 313*m - 309*m - 2*k - 990654 = 0. Is m prime?
False
Let v(y) be the third derivative of y**6/120 - 13*y**5/60 + 2*y**4/3 + 19*y**3/6 - 5*y**2. Let z be v(13). Let s = 1636 - z. Is s a prime number?
True
Let r be (-4)/(-1)*691 - 1. Suppose -a = 5*g - r, -2367 + 7869 = 2*a + 4*g. Is a prime?
False
Is -13*((-15)/(-9) - 2)*(5748 - 81) prime?
False
Let u be 2/22 + 2329158/286. Let o = 13083 - u. Is o a prime number?
False
Is ((-144)/16 + 17)*(-589795)/(-20) prime?
False
Let j(l) = 471*l - 64. Let r(z) = -1412*z + 191. Let c(f) = -17*j(f) - 6*r(f). Is c(5) composite?
False
Suppose -232*f + 233*f = 2*g + 539073, 4*f - 2156348 = g. Is f composite?
False
Let c(l) be the third derivative of l**5/4 + l**4/8 - 11*l**3/6 - 22*l**2. Let y be (-144)/(-10) + (-42)/(-70). Is c(y) composite?
True
Let c(l) = -6*l**2 - l - 16. Let o(n) = -3*n**2 - 8. Let u(r) = 4*c(r) - 9*o(r). Let a be u(5). Suppose -137 = -8*j + a. Is j a composite number?
True
Let u = 80 + -76. Suppose 4*r + u*y + 11 = -5, -3*r - 10 = 2*y. Is (-142)/(-4) - (-2)/(-4) - r a composite number?
False
Let b = 245652 - 165729. Is b prime?
False
Let y be 20/(-110) + 171/33 + -2. Suppose -y*x = -2*w - 3*w - 260, -215 = 4*w - x. Let l = 218 + w. Is l a composite number?
False
Suppose -4*d - 2*o + 3*o + 16 = 0, d - 2*o = 4. Suppose -d*a = -3*r + 34917, -4*r + 0*r - 5*a = -46587. Is r composite?
True
Suppose -33*t - 1967238 + 4271810 + 4217911 = 0. Is t composite?
False
Let v be 2724 - ((-86)/(-16) + 12/(-32)). Suppose 0 = 2*k - v - 8775. Is k composite?
True
Suppose 0 = -53*g + 48*g - 80. Is -3*g/216 - (-474303)/27 a prime number?
False
Let w(c) = 2043*c + 25. Let p be w(4). Suppose 5*m - p = -2*m. Is m composite?
False
Suppose 22258465 = 115*m + 40*m. Is m prime?
False
Let b(v) = -2*v**2 + 156. Let k(x) = -3*x**2 - x + 313. Let o(t) = -5*b(t) + 3*k(t). Suppose -r = -2*r. Is o(r) a prime number?
False
Suppose 4*j + 38 = 2*u, -5*j - 4*u = -0*u + 67. Is (-60)/110 + (-2 - 109071/j) prime?
False
Let j be (1 - -3)*-2*5/(-40). Let c be (j/((-2)/(-6)))/(-1). Is (-1)/c*3*757 prime?
True
Let h(n) = 407*n**2 - 10*n - 24. Let f be h(-4). Suppose -3*i + 19514 = 6*k - 5*k, 5*k - f = -i. Is i composite?
True
Let n(g) = -20*g**2 - 27*g - 73. Let t(l) = 19*l**2 + 25*l + 72. Let r(a) = 6*n(a) + 7*t(a). Is r(16) a prime number?
False
Suppose -388*w = -396*w - 2688. Suppose 2*z = 38 + 2516. Let y = w + z. Is y a composite number?
False
Suppose 17*w = 444995 + 392187. Is w prime?
False
Is -1 + (-9858417)/(-21) + (-15)/35 a composite number?
True
Let a(x) = -3*x + 48. Let q be a(-45). S