4/y composite?
True
Let x(j) = -909*j - 5. Let m be x(-1). Let b = m + 639. Is b a composite number?
False
Let n be -123 + (-3 - -6*1). Let o = 233 + n. Let g = o + -42. Is g a composite number?
False
Is (4/7)/((-104)/364) + 4891 a composite number?
False
Suppose -32581 = 10*a - 104351. Is a a prime number?
True
Let a be 1537 - ((-4)/12)/(1/(-9)). Suppose 3*m - 4627 - a = 2*l, 4*m - 5*l = 8217. Is m a prime number?
True
Suppose 22303 = 15*l - 14582. Is l a prime number?
True
Suppose -5*m + 30432 = 4*r, 3*r - m = -2*m + 22835. Suppose -2*j + 0*d + 5*d = r, -j + 2*d = 3808. Is (-28)/210 + j/(-30) prime?
True
Suppose -2*y + 24*v = 20*v - 4910, 9800 = 4*y - 3*v. Is y a composite number?
False
Let b = 30725 + -15538. Is b prime?
True
Let j(u) = -4*u - 9. Let r be j(-4). Suppose -2*a = -r*a + 1115. Is a prime?
True
Let z = -25627 + 38700. Is z a prime number?
False
Let m = -1548 - -8835. Suppose -4*o = -7*o + m. Is o a prime number?
False
Let f(g) be the first derivative of -g**3/3 + 8*g**2 - 10*g + 9. Let y be f(15). Is (-79)/(y/(-15)*3) composite?
False
Suppose 10*q - 168 = 3*q. Suppose -q*i + 28*i - 5748 = 0. Is i composite?
True
Let r be (22/3)/((-7)/21). Is ((-63)/2)/9*r a composite number?
True
Suppose -3*w + 5*w - 20 = 0. Let b = -10 + w. Suppose b*o + 138 = 3*o. Is o composite?
True
Suppose -7*i - b + 25 = -3*i, -b + 1 = 0. Suppose 0 = -m + i*m - 20. Suppose -73 = -w - m*f - 16, 2*f = -10. Is w a prime number?
False
Suppose 0 = 18*p + 1940308 - 5975854. Is p a prime number?
True
Is 7 + 0 - (-50430)/3 composite?
True
Let t = 11895 + -6586. Is t prime?
True
Let q = 44967 + -17372. Is q a prime number?
False
Let g = 49480 - 27365. Is g prime?
False
Is (57827/4)/7*4 prime?
False
Suppose 5*g = -15, 0 = 2*s + 4*g + g - 14191. Is s a prime number?
True
Let n(g) be the third derivative of 2*g**5/15 - g**4/8 + 7*g**3/3 + 5*g**2. Is n(9) composite?
True
Suppose -3*x + 20927 = 3*y - 18337, 2*y + x = 26181. Is y a prime number?
True
Let h be (-4)/2*(14/4 - 4). Let u(t) = t - 7. Let z be u(5). Is z + (-516)/(-4)*h composite?
False
Let k(w) = -65*w + 1. Suppose -15*d = -11*d - 12. Suppose -d*n - 6 = -0*n. Is k(n) a composite number?
False
Suppose -2270 = -5*n + 2230. Let s(a) = 44*a**2 - 16*a + 82. Let u be s(6). Suppose 0 = 4*w + p - 2033 - u, w = -p + n. Is w composite?
True
Let g = 17 + -20. Let v = g + 1. Is (-185)/v*(5 - 3) a composite number?
True
Suppose 2*s + 13*i - 100586 = 16*i, -4*s = 4*i - 201132. Is s a composite number?
False
Let n be ((-7)/(4/4))/(-1). Let l be -55*n/1 - 3. Is (-3)/7 + l/(-7) a prime number?
False
Suppose 355 = c - 6*c. Let l be c/(-2)*(1 - 23). Is l/(-9) - 4/(-18) a composite number?
True
Let n(t) = -55*t - 7. Let q be n(-10). Let o = q + -170. Is o composite?
False
Let q = 273593 - 159772. Is q a composite number?
True
Let c(z) = -84*z - 15. Let o(r) = -r - 1. Let g(v) = c(v) - 12*o(v). Let b be g(-12). Suppose -3*u + b = 3*n, 3*n + 574 = 5*n + 4*u. Is n a prime number?
False
Let c(j) = 17*j**2 + 6*j - 3. Let a(v) = 6*v - 1. Let k be a(1). Let m = 9 - k. Is c(m) a composite number?
False
Let p(h) = h**2 + 15*h - 16. Let v be p(-16). Suppose 4*t - 194 = -7*g + 2*g, 4*t + 3*g - 190 = v. Suppose 0*f = -2*f + t. Is f composite?
False
Let b = -11 + 14. Suppose 0 = -2*u - 1 - b. Is 568/16*(-4)/u prime?
True
Let h be 2/(-1) - ((-10)/5)/(-1). Is h/(-14) - 1821/(-21) a prime number?
False
Let u = -14042 + 42325. Is u prime?
True
Suppose -4*t + 23 = j, -3*j + 9 = -3*t - 0. Suppose 2*p = j*p. Suppose p + 658 = 2*s. Is s a composite number?
True
Suppose 3*l + 18 = 2*r, 0 = -r - 4*l - 5 - 8. Suppose -w + r*f + 1847 = -f, 0 = -3*w + 2*f + 5541. Is w a prime number?
True
Suppose -5*k - 2*n = -2918, 4*k - 5*k + 589 = -5*n. Suppose c - 254 = -o, 4*o = 4*c + k + 408. Is o a composite number?
False
Let n = 75 - -49. Let j = 333 - n. Is j a composite number?
True
Let t(w) = 9*w**2 + w - 13. Let f be t(-5). Is f/6*170/15 a prime number?
False
Suppose -3 = -3*b + 2*b. Let f be 2 - (30/b)/(-2). Let r(k) = 3*k - 15. Is r(f) composite?
True
Let h(v) = 10*v - 27. Let t be h(3). Suppose 908 = t*q - 715. Is q prime?
True
Suppose 18 = 20*h - 18*h. Is (-9016)/(-35) - h/15 a prime number?
True
Suppose f - 7*u + 3*u - 3 = 0, 1 = -u. Let z be (-12)/(-15)*(-5)/f. Is 4*z/32*118 a prime number?
True
Suppose 2*i - 3*d = 37319, 5*i = -23*d + 26*d + 93302. Is i prime?
True
Let z(p) = 21*p - 8. Let x(j) = 22*j - 8. Let v(b) = 4*x(b) - 3*z(b). Let k = -66 - -77. Is v(k) composite?
True
Let n(o) = -23*o**3 + 13*o**2 - 11*o - 62. Is n(-8) prime?
False
Suppose -3*c + 802 = -4*c - q, 0 = 2*c - 5*q + 1576. Is (-15 + c)*(-1)/3 a prime number?
True
Suppose -3*j - 15 = -8*j. Suppose 2*o = -o - j*a, 0 = a. Suppose -r = 5, o*r + 2*r - 2242 = -4*t. Is t a prime number?
True
Suppose 3*o - 8*o + 20 = 0. Let y be ((-2)/(-1))/(o/10). Suppose -176 = -y*h - 1. Is h prime?
False
Let d = -18569 + 43176. Is d prime?
False
Let z(w) = -6*w - 3. Let p be z(-2). Let x = p + -6. Is 115 + (-3 - -2*x) a composite number?
True
Suppose -6322 = -5*b - 272. Suppose -2*s = 3*s - b. Suppose -8*j + 6*j + s = 0. Is j composite?
True
Let i = 167 - 305. Let v = i - -269. Is v a composite number?
False
Let b be 10/2 + -8 + 12. Let j = b - -80. Is j a prime number?
True
Is (5 - 129768/56)/(1/(-7)) a prime number?
False
Suppose -2*a = -8*a + 48. Suppose q - 2*j - 705 = 0, a*q - 5*q - 2093 = -5*j. Is q a composite number?
False
Suppose 18*l = -24*l + 121170. Is l composite?
True
Suppose -24*v = -23*v - 2389. Is v a composite number?
False
Let u(p) = -p**3 + 4*p**2 - 3*p - 2. Let x be u(4). Let l(b) = -64*b**2 + 27*b**2 + 20*b**2 + 18*b**2 + 9. Is l(x) a prime number?
False
Let r(t) = -20*t + 15. Let l = 117 - 171. Let y be 1/3*(l - -3). Is r(y) a prime number?
False
Suppose -q - 2 = -8. Suppose q*s = s + 30. Is s a prime number?
False
Let o(y) = 39*y**2 - 39*y - 13. Is o(6) a composite number?
True
Suppose -r - 4*r = 0. Suppose -2*u + r*u = 0. Suppose u = f - 209 - 188. Is f composite?
False
Let i = 39 - 95. Let n = 70 + i. Is n a prime number?
False
Suppose 0 = 14*u - 15*u + 13. Suppose -1141 = 6*d - u*d. Is d a composite number?
False
Let w(d) = -5*d**3 + 16*d**2 - 10*d - 6. Is w(-5) prime?
True
Suppose 0 = -2*q - 0*q + 4*u + 14, 17 = -4*q - u. Let x(w) = -67*w - 7. Is x(q) composite?
True
Let l = 280 - 196. Suppose l*v - 89*v + 21005 = 0. Is v a prime number?
True
Is 5 + 3372 + 6 - 6 composite?
True
Let r(a) = 3*a**2 - 30*a - 200. Is r(-27) prime?
True
Suppose 205*d + 34480 = 221*d. Is d a prime number?
False
Let m(n) = n**2 + 10*n + 10. Let q = -2 + 5. Suppose p = 4*l + q*p + 36, -3*p = -6. Is m(l) composite?
True
Let t(d) = 7*d - 11. Let x = 2 + 6. Let z be t(x). Let o = -10 + z. Is o prime?
False
Is (2502/4*(-16)/(-12))/2 a prime number?
False
Let d = 4534 - -3319. Is d composite?
False
Let z(n) = -2*n**2 + n + 1. Let s be z(-1). Is 88/(-12)*-3*(-61)/s a composite number?
True
Let g(n) = 91*n + 6. Let y be (48/(-6) - -7)*(2 - 17). Is g(y) a composite number?
True
Let b = -726 + 6520. Is b a prime number?
False
Let w(i) = 7*i**3 - 4*i**2 - 6*i - 7. Let d be w(6). Let g = -706 + d. Suppose 2*t + 5*p - g = 0, 0 = -4*t + t + 3*p + 918. Is t prime?
True
Suppose -3*f + 5474 = 563. Is f a prime number?
True
Let b = 3946 - 1985. Is b prime?
False
Suppose 20*n = 4*y + 25*n - 14564, 0 = -5*n. Is y prime?
False
Suppose 5*r = 5*s - 34 - 16, 3*s + 4*r + 5 = 0. Suppose -5192 = -s*b - 1657. Is b composite?
True
Let j = 129788 + 18569. Is j a composite number?
True
Suppose -5*v - 5*o = -50 - 70, 112 = 4*v - 4*o. Let u = v + 737. Is u prime?
False
Is 1/(4 - 139026/34758) prime?
False
Let j(w) = w**2 - 11*w + 15. Let g be j(10). Suppose 19 + 1 = -g*s, 0 = 2*b + 5*s - 3226. Is b a prime number?
False
Let t = -4546 + 12215. Is t a composite number?
False
Is 58/3*(-3 + (-93)/(-2)) a prime number?
False
Is (-2223061)/(-328) - 6/(-16) composite?
True
Suppose 19*r + 6 = -13. Is 1643/7 - r/(63/18) prime?
False
Let i = 9 - 8. Let p be (1 - (0 + i))/1. Is (1 - p)*(308 - 1) prime?
True
Let x be (1502/(-8) + 4)*8/(-3). Suppose 8*o = x + 174. Is o a prime number?
True
Let y(x) = x**3 + 3*x**2 + x + 1. Let d be y(3). Let a = d + -38. Suppose 2*w - a = -3*w, 0 = 3*n + w - 16. Is n a prime number?
False
Suppose 0 = -4*h - 2