x - w. Is i a prime number?
True
Let s = -242 + 6979. Is s composite?
False
Suppose 2*y + 3*y = 46745. Is y a composite number?
False
Let i = 12025 - 8162. Is i a prime number?
True
Let b = -33 + -1. Let n = b + 220. Suppose 4*r = -38 + n. Is r a composite number?
False
Suppose 19743 = 13*a - 3839. Is a a composite number?
True
Let m be (-2)/(-15) + (-27506)/(-255). Let v = m - -253. Is v composite?
True
Let u(c) = -c**3 + 10*c**2 - 8*c + 4. Let f be u(9). Suppose 0 = -f*g + 9*g + 2084. Is g composite?
False
Is 9 - 7 - (1084/(-2) + 2) composite?
True
Let j be 2*10/8*2. Suppose 9*f = -j*a + 4*f + 2235, -447 = -a + 5*f. Is a composite?
True
Suppose 4*o = -f + 4*f - 127, f - 89 = 3*o. Let i be (-91)/o - 1/4. Suppose i*m - 111 = -0*m + 3*x, 2*x - 4 = 0. Is m a prime number?
False
Suppose 59810 = 14*n - 35516. Is n a composite number?
True
Suppose 4*j = j - 15. Let f(r) = r**3 + 6*r**2 - 4. Is f(j) a composite number?
True
Let z = 36 - 30. Suppose -z*x + 1145 = -1093. Is x a composite number?
False
Suppose 5*n = -20433 + 187318. Is n a composite number?
False
Suppose -4*o = w - 31197, -3*o = -4*w - 37421 + 14028. Is o a prime number?
False
Suppose 389*d - 376*d = 287573. Is d a prime number?
False
Suppose 8*l - 1102 = 6*l. Is 10/35 - l/(-7) a composite number?
False
Let w(f) = 104*f**3 - 2*f - 5. Let q be w(-3). Let p = -1008 - q. Is p a prime number?
False
Let m be 1/((-1)/4) + 6. Suppose -2*v + 804 = -2*f, -4*v + 824 = -2*v + m*f. Suppose v + 757 = 4*k. Is k prime?
False
Suppose 2*q = 3*d - 14, 12 = d + 2*d - 3*q. Let m = 34 - d. Suppose -4*l + m + 48 = 0. Is l composite?
False
Is 15/5*(-2 - 676/(-12)) composite?
False
Let n be (4/3)/((-2)/(-6)). Let f(u) = 6*u**3 - 3*u**3 + 6*u - 4*u - 2*u**3 - 2 - 3*u**2. Is f(n) prime?
False
Let t = 1258 - 800. Let a = t - 259. Is a a composite number?
False
Let o(l) = 112*l**3 - l**2 - 2*l. Let v be o(2). Suppose -w - v = -4*p, -2*p = w + 4*w - 422. Is p a composite number?
True
Let d(n) = n**3 - n - 3. Let t be d(2). Is (-1)/((-5)/4605*t) a prime number?
True
Let o(k) = -3*k + 11. Let l(m) = m - 1. Let q(z) = 2*l(z) + o(z). Let v be q(6). Suppose -p - t + 365 = v*p, 2*t - 93 = -p. Is p composite?
True
Let c(r) = -r**2 + r + 3. Let m be c(0). Let y(q) = -1 + q**2 + 4*q**3 - 5*q**2 - 2*q + 4*q + m. Is y(2) a prime number?
False
Let c be 4*((-27)/(-9))/(2/1964). Let n be (1*(15 - 0))/1. Is c/n - 9/15 prime?
False
Let u(o) = -o**3 + 4. Let a be u(0). Let s(v) = v**3 - v**2 + 4*v - 2. Let j be s(a). Let c = 113 - j. Is c a composite number?
True
Let j(c) = -168*c**2 + 12*c - 6. Let y(w) = -335*w**2 + 23*w - 11. Let b(l) = 5*j(l) - 3*y(l). Is b(5) composite?
True
Let g = -134 + 79. Let n = -20 - g. Is n a prime number?
False
Let q(a) = -a**2 + 14*a + 4. Let n be q(11). Suppose 3*h + 10 - n = 0. Suppose h*s - 4*s - 935 = 0. Is s prime?
False
Suppose 0 = 2*y - y + 5. Let r(u) be the first derivative of 4*u**3/3 - 2*u**2 + 7*u + 267. Is r(y) composite?
False
Suppose -4*j = -3*j. Suppose 2*w = -6 - 0, -4*q + w + 23 = j. Suppose 0*t - q*t + 4925 = 0. Is t composite?
True
Suppose 17040 = -0*d + 3*d. Suppose 4*a - d = 4068. Is a a composite number?
False
Let x be 4*(30/(-2))/3. Is x/(-10) + (1754/1)/2 composite?
True
Let l(x) be the third derivative of 7*x**4/12 + 3*x**3/2 + 18*x**2. Is l(13) prime?
True
Let s(m) = -2*m**2 - 10*m + 3. Let b be s(-5). Is 3/(b/(-1))*298/(-2) a composite number?
False
Let m = 164 + -159. Suppose -7613 = -4*f - 0*f + m*h, 7625 = 4*f - h. Is f a prime number?
True
Let q(r) = 3*r**3 + 4*r**2 + 18*r - 16. Suppose 2*y = -3*h + 6*h - 23, -h + 4*y = -1. Is q(h) a composite number?
False
Let s = -9 + 302. Is s composite?
False
Let o(p) = -1908*p + 307. Is o(-10) a prime number?
True
Suppose -10 = 2*b + 8. Let x be (3 - 5)/(6/b). Suppose -8*i + x*i = -905. Is i composite?
False
Let y(c) = -11*c - 1. Let w be y(3). Let i be w/(-119) + (-4)/14. Suppose 5*n = 15, -l + 3*n + 105 - 21 = i. Is l prime?
False
Suppose -k + 4*v + 44409 = 0, 2*k - 7*v - 88842 = -11*v. Is k a prime number?
True
Let i(s) = 59*s**3 + 3*s**2 + 81*s + 34. Is i(9) a prime number?
True
Suppose 20*h = -0*h + 454780. Is h a prime number?
True
Let f(k) = 208*k + 83. Is f(15) a prime number?
True
Suppose -p - p + 3*t - 1 = 0, 4*p - 3*t - 7 = 0. Suppose p*i - i = 522. Let z = i - 11. Is z a prime number?
True
Let m = -2394 + -550. Let s = m - -1036. Is 5*(s/(-15))/4 composite?
True
Let z = 9460 + -11. Is z/66 - 1/6 composite?
True
Let j(g) = 50*g**2 + 8*g - 59. Is j(7) prime?
True
Let t(w) = w**2 - 5*w - 8. Let u be t(7). Suppose -14 = -5*f + u. Suppose -388 = -f*a - 0*a. Is a prime?
True
Let n(f) = -f**3 - 15*f + 1. Is n(-7) prime?
True
Suppose -65*t = -55*t - 80950. Is t a composite number?
True
Suppose 472592 = 29*l - 25019. Is l a prime number?
True
Let u(r) = r + 2. Let j be u(3). Let i be 4 + 168/(-44) + 4/(-22). Suppose i = 5*q + 3*h - 472, -q - j*h + 280 = 2*q. Is q prime?
False
Suppose y = 3*y - 28. Let g = -9 + y. Suppose -98 = -3*j + o - 0*o, -4*j = g*o - 137. Is j a prime number?
False
Suppose -4*t = -380 + 1300. Let p = t - -421. Is p a prime number?
True
Let a(d) = -d**3 + 6*d**2 + 7*d + 1. Let b be a(7). Let g be (3 - 257)*b/(-2). Suppose -4*x + 121 = -g. Is x composite?
True
Suppose 4*b = -4*d - b + 82, 0 = -d - 3*b + 24. Suppose -3*j + d = -0*j. Let o(k) = 7*k**2 - k + 7. Is o(j) a prime number?
False
Suppose 4*d = 3*m + 6019, 5*m + 10053 = -3*d - d. Let b = m - -2923. Is b a prime number?
False
Let m(y) = -2305*y**2 - 5. Let p be m(-3). Is p/(-30) - 2/3 composite?
False
Suppose 5*r + 0*x = x + 29, 5*r + 4*x = 9. Is (2/6)/(17834/(-3567) + r) composite?
True
Let k(h) = 2*h**3 - 20*h**2 - 11*h - 15. Let u = -6 + 20. Is k(u) prime?
True
Is (4 - 7522/(-14)) + 4/(-14) a prime number?
True
Let c(v) = 6*v**2 + 3*v - 5. Let m be c(-8). Let h be (-3 + 35)/((-1)/(-6)). Let d = m - h. Is d composite?
False
Let l = 7187 + -3980. Is l a composite number?
True
Let p(m) = 5*m**3 - 7*m**2 + 6*m - 6. Let i = 4 + -3. Suppose 4*l = -i + 17. Is p(l) a prime number?
False
Let w = 194 + 1265. Is w prime?
True
Suppose -4*b = -4*d + 92564, -5*d = 6*b - 9*b - 115697. Is d a prime number?
False
Is (-3)/(9/(-29976)) + -3 a composite number?
True
Suppose 1029284 - 5331342 = -46*q. Is q composite?
False
Let u be 4 + 0*5/(-5). Suppose -u*s + 535 = 2*g + 3*g, -3*g = s - 328. Is g composite?
True
Let r(x) = -x**2 - 14*x + 6. Let z be r(-12). Is 47/3 + (-20)/z a prime number?
False
Let i be 4/(-2)*(-5)/2. Suppose 3*k - 4*f = 105, 10*f = -4*k + 5*f + 109. Suppose -446 + k = -i*g. Is g a composite number?
False
Suppose y + 3599 = 3*i, -5*i = -5*y + 4*y - 6001. Is i a prime number?
True
Suppose -8*k + 164205 = 49237. Is k composite?
True
Let k be 36/42*(-28)/(-6). Suppose 0 = -k*g + 184 + 52. Is g a prime number?
True
Suppose 3*x = -2*x - 50. Let y be 15/x + (-1719)/2. Let g = y + 1424. Is g composite?
False
Suppose -d = -2*k - 3119, -6728 - 2574 = -3*d - 5*k. Is d a composite number?
False
Suppose 17*b = -9*b + 61334. Is b a prime number?
False
Suppose 47*m - 46*m - 1543 = 0. Is m a composite number?
False
Let y = 643 + -385. Suppose -3*u + 6 + 0 = 0. Suppose -u*q = 2*g - y, -g + 2*q + 135 = -0*g. Is g a prime number?
True
Suppose 0 = w + 1 - 6. Suppose 2*i - 7 = w. Suppose 295 = 5*s - 4*c, c - 190 = -3*s + i*c. Is s a composite number?
True
Is (-7)/(35/30) - -2185 prime?
True
Let o = -10 - -15. Is 369/o + 7/35 composite?
True
Let r be 6444/11 + 22/121. Let o = r - 260. Is o a prime number?
False
Is 936 + ((-21)/315 - (-212)/30) composite?
True
Suppose 0*s + 1785 = -5*g + 5*s, 0 = -5*g - 2*s - 1764. Let x be 551 + (1 - -10 - 3). Let u = g + x. Is u composite?
True
Suppose -660 = 3*c - 2*l, 3*c + 663 = -l + 4*l. Let b = 351 + c. Let k = b - 94. Is k a prime number?
False
Let h(x) = x**3 - 6*x**2 - 7*x + 5. Suppose 4 + 3 = m. Let b be h(m). Suppose 0 = a - 0*a + b*q - 460, 4*a - 1925 = -3*q. Is a composite?
True
Let o be 4/4 - (-5)/(-5). Suppose 4*z - y - 6548 = o, -3*z + 3838 + 1073 = 2*y. Is z a prime number?
True
Suppose -s = -2*s + 6. Let c be (4/s)/((-2)/3). Is (-1)/((-3)/2448) + c composite?
True
Suppose 4*t + 8*z - 28584 = 9*z, -2*t = -5*z - 14274. Is t a composite number?
True
Let l(j) be the third derivative of -j**6/120 - j**5/6 - j**4/6 + 11