7132)/(-191715) - 10) composite?
True
Suppose 3057865 + 363540 = 6*b + 59*b. Is b a composite number?
True
Let g be (-1)/(((-5)/10)/((-4)/(-8))). Suppose -2*v - 3*b - 20192 = 0, 4*v - b = -24665 - 15747. Is (v/6)/(g/(-3)) a prime number?
True
Let m = -173 + 247. Let v = m + -66. Suppose 0 = -v*o + o + 721. Is o prime?
True
Suppose 20 = -11*x + 6*x - 4*o, -x = 5*o + 25. Let r(z) = -395 + z + 673 + z**2 + 471. Is r(x) a composite number?
True
Suppose 2*i = -5*v + 2074787, 123596 = 4*v - 3*i - 1536252. Is v composite?
False
Let h(p) = -p**2 + 4*p + 1. Let l be h(3). Suppose 17*g - 2*r - 9 = 20*g, 0 = -3*g + r - 18. Is (-12490)/l*1/g*10 a composite number?
True
Let d(g) = 35*g**2 - 150*g - 281. Is d(36) composite?
False
Let m(o) = -5 + 2*o**2 + 4 - 5*o - 13 - 2. Let k be m(5). Suppose -k*p + 3814 = -7*p. Is p composite?
False
Let b(d) = 2572*d**2 + 3*d + 9. Is b(-2) prime?
False
Suppose 8 = 9*v - 10. Suppose -v*y + 219 + 145 = 0. Suppose -5*c = -y - 153. Is c a composite number?
False
Suppose 0 = 23*v - 1057000 - 3994789. Is v a composite number?
True
Suppose 2062617 = 103*s - 2267812. Is s a prime number?
True
Let q(z) be the first derivative of 73*z**4/2 + z**3 + 3*z**2/2 - 9*z + 65. Is q(2) composite?
True
Let s(t) = 2*t**3 + 11*t**2 - 22. Suppose -13 + 3 = 2*a. Let m be s(a). Suppose -1007 = -2*y - m*y - 3*q, q = -y + 203. Is y composite?
False
Let f(k) = -2*k**3 + 2*k**2 + 2*k - 7. Let t(p) = -p - 1. Let h(j) = -f(j) - 4*t(j). Let b be h(10). Let m = -749 + b. Is m a prime number?
False
Suppose -5*x = 4*a - 30330, 0 = -0*x + 3*x + 2*a - 18200. Let t = x + 1907. Is t composite?
True
Let m(w) = w**3 + 11*w**2 - 14*w + 15. Let i be m(-11). Let z = i + -149. Is (z/(-12) + 1)*-1167 a prime number?
False
Let t be (-2)/(6/(-116)*(-108)/(-29565)). Let u = t + 5622. Is u a composite number?
True
Suppose 21*w = -2*k + 163012, -32*w - 162892 = -2*k - 33*w. Is k prime?
False
Suppose 0 = 2*k - 4*k - 6, -5*n = k + 15908. Let t = n + 5886. Is t a composite number?
True
Let y = 2626 - 837. Let m = 1930 + y. Is m prime?
True
Let t(w) = 72*w**2 + 83*w - 4. Let j be t(-25). Suppose 14*z = 10097 + j. Is z composite?
True
Suppose -25 = -k - 0. Suppose 5*j + 11 - 31 = 2*v, -5*v - k = 0. Suppose 0*r = -4*r - 16, j*r = 4*m - 364. Is m prime?
True
Suppose -2*x - 2986 + 25634 = 0. Suppose 5*s - x = 12281. Is s composite?
False
Is (374/(-77) + 4)/((-6)/1374506) a prime number?
False
Suppose -35*g + 716588 = 11*g. Is g a composite number?
True
Is (-207912 - 11)*(2/5 - 28/20) composite?
False
Let x = 332 - 671. Let b = 620 + x. Suppose 0 = -y + 8*z - 4*z + b, 2*y - 550 = 5*z. Is y a composite number?
True
Let q = 122313 - 62804. Is q a prime number?
True
Suppose 69*a - 83437580 - 163951452 = -19*a. Is a a composite number?
True
Let h(i) = 8*i**3 - i**2 - 9*i + 19. Let z(b) = 39 - 2*b + 1 - 6. Let t be z(14). Is h(t) a composite number?
False
Let i(w) = 160767*w + 8030. Is i(41) a prime number?
True
Suppose 3*p - 2*p + 5*s = 21, 3*p - s = 143. Suppose 0 = 4*k - 4*u - 2152, -4*k - p*u = -47*u - 2149. Is k composite?
True
Let b = -2276 + 3676. Let g = b - 333. Is g prime?
False
Let h(b) = -930*b - 1421. Is h(-30) a prime number?
True
Suppose c - 3*l = 20331 + 4687, 5*l + 125080 = 5*c. Suppose c = 12*w - 57953. Let d = -4677 + w. Is d composite?
False
Let o = 657 + -605. Is 483244/o + 6/(-39)*1 a prime number?
True
Suppose 0 = 5742*j - 5729*j - 311207. Is j a prime number?
False
Let y(z) = -z**3 - 10*z**2 + 10*z - 8. Let j = 19 - 30. Let s be y(j). Suppose -s*u + 4*u - t - 252 = 0, 5*u - 2*t - 1257 = 0. Is u a prime number?
True
Let w(i) = -86676*i + 223. Is w(-1) prime?
False
Suppose -2*a = 4*p - 5*a - 383874, 95991 = p + 3*a. Is p prime?
False
Suppose -1 = -z + w, 7 = 2*z - z - 3*w. Let t(s) = 105*s + 3. Let j be t(z). Let l = 433 + j. Is l composite?
True
Suppose -13*v + 24*v = -218*v + 213806537. Is v a prime number?
False
Suppose 2*c + c - 97 = 2*n, -4 = 2*n. Suppose -c*x - 357847 = -80*x. Is x a composite number?
True
Let r = -167 + -1309. Let t = -2022 + -703. Let k = r - t. Is k prime?
True
Suppose -3*c - 2*c = -20. Suppose j = -108 + 111. Suppose j*n + l = 789, -c*n + 4*l - 310 = -1362. Is n prime?
True
Let y(n) = -5*n - 16. Let s be y(-5). Suppose s*z - 13*z = 696. Let t = 268 + z. Is t composite?
True
Suppose -13*z + 1652347 + 824244 = 0. Is z composite?
False
Is 1076*(-1426)/(-8) - 14 a prime number?
True
Let x be ((-6)/(-7))/(6/21). Suppose 0 = d + 5*g - 5162, -4*d + 20594 = -g + x*g. Is d a prime number?
True
Suppose 4*i - 81 = i. Let d = i - 25. Suppose 8*y - 6906 = d*y. Is y a composite number?
False
Let a be 9*-1 - (-67 + 49). Suppose 0 = 7*m - 3*m. Suppose m = a*n - 181 - 125. Is n a composite number?
True
Suppose -2*b + 1558 + 662 = 0. Suppose 2545 = 5*p - b. Suppose -887 = -2*t + p. Is t a prime number?
True
Is (-144)/252 + 2645148/28 a prime number?
False
Let h(s) be the second derivative of s**5/5 - 13*s**4/6 - 29*s**3/6 - 25*s**2/2 + 98*s. Is h(16) a prime number?
True
Let q(h) = 19031*h - 20552. Is q(33) a prime number?
True
Is (49318/3)/((-14)/(-21)) a composite number?
False
Let z = -233 - -2210. Let g = 3578 - z. Let m = g - 722. Is m a prime number?
False
Let x be 13/(104/109984) - -2. Let t(d) = -d**2 - d - 6. Let i be t(-5). Is 2/13 - (x/i)/1 a composite number?
True
Suppose 7*t + c - 355465 = 5*t, -4*t + 3*c = -710915. Is t prime?
False
Let y be (-3)/(1*3/(-7))*-1. Let m(a) = -a**3 - 5*a**2 + 11*a - 9. Let i be m(y). Let n(h) = h**3 - 8*h**2 - 15*h - 17. Is n(i) composite?
False
Let u be (-5)/(10/8)*555/60. Is (u - -36)/((-2)/13082) a prime number?
False
Let o = -44528 - -65565. Suppose -1384 = -7*g + o. Is g prime?
True
Let d(j) be the second derivative of 121*j**3/6 - 12*j**2 - 131*j. Is d(2) composite?
True
Let g = 3125 - 920. Let m = 4696 - g. Is m a composite number?
True
Suppose 6*p - 11*p = -f - 2795878, 0 = -p - f + 559184. Is p a composite number?
False
Is (1379604/16 - 11)*4 composite?
False
Let z(j) be the third derivative of -5*j**6/8 - j**5/12 + j**4/6 - j**3/2 - 90*j**2. Is z(-5) a prime number?
True
Let m(t) = -3*t**3 + 40*t + 2*t**2 - 121 - 86*t + 40*t + 13*t**2. Is m(-12) a prime number?
False
Let o be ((-390)/(-104))/(3/4) - -5. Let h = 567 - o. Is h prime?
True
Let n(x) be the first derivative of 1779*x**2 - 97*x + 43. Is n(3) composite?
True
Let t = -367 - -366. Let n(u) = -40829*u + 12. Is n(t) a prime number?
True
Let p = -8062 + 14655. Suppose -6*z + p = -27793. Is z prime?
False
Let t = -56 - -78. Let w = t + 1. Suppose w*m + 1838 = 25*m. Is m composite?
False
Let z(u) = 12880*u**2 - 7*u + 2. Let j(b) = -19321*b**2 + 10*b - 3. Let y(m) = -5*j(m) - 7*z(m). Is y(1) composite?
True
Let k(q) = -q**3 - 10*q**2 + 4*q - 361. Is k(-20) composite?
False
Suppose -5*l + 7646766 = -5*s + 917906, 3*l = 4*s + 4037311. Is l a prime number?
True
Let s(n) = 2506*n**3 - 6*n**2 + 140*n - 577. Is s(4) composite?
True
Suppose 16 = 152*n - 150*n. Is 16664/3 - n/12 composite?
True
Let v(b) = b**3 - 8*b**2 + b - 3. Let l be v(8). Suppose -l*c + 6*c = 373. Is (c/4)/(2/8) composite?
False
Let t = 145 + -134. Suppose t*q - 16*q = -33895. Is q prime?
True
Let o be (2 - 32/(-2))*-2. Suppose -2*z + 4 = 0, 5*p - 4*z - 231 = 336. Let n = o + p. Is n a composite number?
False
Suppose 2*y - 1102 = -k + 3*k, 4*k - 526 = -y. Suppose -u + y = -925. Is u prime?
True
Is (2/3 + 33742/(-6))/(5/(-85)) prime?
False
Let x = 364 - 362. Suppose -4482 = -2*b + 4*q, 0 = -x*q + 8 + 2. Is b a composite number?
False
Let v = 25390 - 11039. Is v a composite number?
True
Let l = 127954 + -78461. Is l a prime number?
False
Suppose 5*s = 214 - 4. Let g = s + -40. Suppose 5*w + 22 + 2 = n, -15 = -n + g*w. Is n prime?
False
Let s = -15273 + 50306. Is (1 + s)*(-17)/(-102) a prime number?
True
Let u(p) = -10*p + 48. Let t be 1 - (2 + 0 - (-9 + 10)). Suppose 4*i - 6*i - 22 = t. Is u(i) composite?
True
Is (146841/6)/((-142)/(-355) + 2/20) a composite number?
False
Let i(b) = -66*b**3 + 14*b**2 + 28*b - 3. Let c be i(-2). Suppose 0 = -0*f + 2*f + 628. Let h = c + f. Is h prime?
True
Let o(f) = f + 2 - 4*f**2 + 11*f - 7*f. Let w be o(-4). Let v = -63 - w. Is v prime?
True
Suppose -14*u - 7111 - 71009 = 0. Let v = 7913 + u. Is v prime?
True
Let r(g) = -101*g**2 + 2*g - 2. Let s 