248*q - 11. Is x(r) prime?
True
Let i(h) = 16*h**2 + 226*h - 83. Is i(-52) composite?
True
Let c = 21 - 26. Is (c/(15/(-7389)))/3 prime?
True
Let z be (-7482)/(-9) + (-14)/(-21). Let m = z + 250. Is m a prime number?
False
Suppose 0 = -39*p + 35*p - 4*z + 139908, 2*p - z - 69966 = 0. Is p a composite number?
False
Let h(y) = y**2 - 6*y - 19. Let j be h(9). Suppose -3*v + 4*z + 3553 = 0, -4*z - 4756 = -4*v - j*z. Is v a composite number?
False
Let y(m) = m**2 - 3*m + 13. Suppose i + 3*n - 5 = 5*n, 5*n = 3*i - 13. Suppose -c + 5 = -i. Is y(c) composite?
False
Let w(m) = m**3 + m**2 - 6. Let s be w(0). Let x(u) = u**2 + 5*u - 4. Let d be x(s). Suppose -k - d*p = -221, 0 = 8*k - 4*k + 3*p - 859. Is k prime?
True
Suppose -5*y + 2917 = -4*y. Let b be 3/(y/730 + -4). Let u = b - -1199. Is u prime?
False
Suppose -754 = 4*a + 478. Let t = a + 515. Let k = -4 + t. Is k a prime number?
False
Let o(x) = -5*x**3 + 3*x**2 - 5*x + 16. Let z be 117/(-18) + 2/(-4). Is o(z) a prime number?
True
Let d(u) be the third derivative of 79*u**5/60 - u**3/3 - 8*u**2. Is d(-2) a composite number?
True
Let f(o) = o**2 - 3*o - 4. Let a be f(4). Suppose -2*h + 0*h + 1240 = a. Suppose 218 = 2*i - h. Is i a composite number?
False
Let a be (-1)/(-1)*(175 - 2). Suppose g = a - 52. Is g a composite number?
True
Let x be (3 - -2)*(-19)/(-5). Let r be (-2)/(-8) + 1523/4. Suppose 22*u - r = x*u. Is u composite?
False
Let d = 119 - 84. Is (-60)/d - -2 - (-6254)/14 a composite number?
True
Is (37835 + 11 + -13)*1 composite?
True
Suppose 43148 = 33*t - 29*t - 2*q, -5*t + 53936 = -3*q. Is t a prime number?
False
Is (3 + (-5 - 2))/((-2)/2357) a prime number?
False
Let r(q) = 2*q**3 + 9*q**2 - 18*q + 24. Let i be r(16). Suppose 0*f - 5*b = 4*f - i, -4*b + 12799 = 5*f. Is f prime?
False
Let l = 133 + -128. Suppose -q + m = -812 - 170, l*q + 3*m - 4886 = 0. Is q prime?
False
Let b(k) = 3*k**2 - 4*k + 9. Let i(c) = -3*c - 9. Let f be i(-7). Suppose 0*n + 2*n - f = 0. Is b(n) a composite number?
True
Suppose -3*b + 3 + 3 = 0. Suppose -b*d = -0*d - 2030. Let o = d - 710. Is o prime?
False
Let w(i) = 7639*i - 26. Is w(3) prime?
False
Suppose p = 4*p + 36. Let r be (-164)/p + (-4)/6. Let t = 32 - r. Is t prime?
True
Let r(j) = j**3 + 7*j**2 - j - 2. Let p be r(-7). Suppose p*o + 6007 = 4*n + 4*o, -7520 = -5*n + 5*o. Is n a prime number?
False
Let y = 30 + -30. Is ((-5)/1)/((y + -3)/381) a composite number?
True
Let u = 2640 - 1734. Let w = u + -599. Is w composite?
False
Let r(v) = 22*v. Let h be r(3). Let q = h + 104. Let n = 255 - q. Is n composite?
True
Let j = 23 - 14. Suppose 2*k - 343 = -j. Suppose 5*s = -3*h + 3 + k, 5*h + 99 = 4*s. Is s composite?
False
Let u(g) = -g**2 - 12*g + 12. Let q be u(-13). Let n(d) = 1149*d**2 - 3*d - 3. Is n(q) composite?
True
Suppose -2*r - v - 3*v = -8, 0 = 3*r + 4*v - 8. Let b = 3 + 1. Suppose -1588 = -r*z - b*z. Is z prime?
True
Let h = 32 - 30. Suppose -5*l + f + 16810 = -h*f, 13446 = 4*l - 2*f. Is l composite?
False
Suppose -22*j + 6*j + 424240 = 0. Is j a prime number?
False
Suppose 3*z - 400 = z. Is -1*z/(-1) - (0 - -1) a composite number?
False
Let t(a) = -5*a - 21. Let x be t(9). Let b be 1/(-4) - x/(-24). Is 952/3 - (-1)/b prime?
True
Let r = -2 - -7. Suppose -r*o - 8 = 12, 0 = -5*h - 4*o + 379. Is h a prime number?
True
Let r be 0/(3/(4 - 7)). Suppose 3*g - 483 = g - 5*u, g - 5*u - 264 = r. Is g a prime number?
False
Suppose 0 = 5*o + 4*k - 36501, 5*o + k - 36477 = 3*k. Is o composite?
False
Suppose -13*w + 12*w = -4. Suppose 8*q = w*q + 1180. Is q a prime number?
False
Suppose 5*m = -4*m + 11808. Suppose 6*i + m - 5386 = 0. Is i a composite number?
True
Suppose -14*l + 113805 = 25675. Is l composite?
True
Suppose -4*w = -l - 975, -2*l + 0*l + 2*w = 1938. Let q = 163 + l. Let r = 1427 + q. Is r a composite number?
True
Is (-14231)/(-2) + 5/((-30)/9) prime?
False
Let h be (277 - -11)*4/3. Suppose 5*d + 223 - 2124 = -4*z, -3*z - h = -d. Is d a composite number?
True
Is -1*3 - (6 - (874 + -14)) a prime number?
False
Is 0 + 6 + (3135 - 4) a composite number?
False
Let m(c) = 2*c**2 - 5*c + 2. Let p be m(-8). Suppose 11*u - p = 9*u. Is u prime?
False
Suppose 0*j = -j + 839. Suppose 9*c - 8*c - 576 = 0. Let n = j - c. Is n a composite number?
False
Let o be (115/(-4) + -2)/(72/(-384)). Let u = 51 + 22. Let m = o - u. Is m a composite number?
True
Suppose -4 - 6 = -2*r. Suppose -r*b = -3*b - 118. Is b prime?
True
Let i = -24 - -28. Suppose 0 = -i*w - 0*w + 1012. Is w composite?
True
Suppose -y = 3*l - 6092, 10*y - 7*y - l - 18226 = 0. Is y composite?
True
Let j be (-1 - 3)*(-27)/12 - 3. Is -2 + j*(-898)/(-4) a prime number?
False
Let o(v) = v**3 + 9*v**2 + 6*v - 1. Let i be 3*((-3)/(-9) + -3). Let t be o(i). Suppose -n = -t - 6. Is n a prime number?
False
Let i be ((-1)/(-2))/(10/20) - -1215. Let y = 2319 - i. Is y a composite number?
False
Suppose -27*c + 23*c = -83404. Is c a composite number?
True
Let r = 5393 - 1606. Is r a composite number?
True
Let a be ((-5)/(-15))/((-2)/(-18)). Suppose -262 = -a*q + 689. Suppose -3*d + q + 292 = 0. Is d prime?
False
Let x = -23 + 28. Suppose -4*z = -x*z + 1657. Is z composite?
False
Let r(p) = 2*p**2 + 14*p - 155. Is r(-46) prime?
True
Suppose -26*b = -9*b - 136. Is b/12 + (-18076)/12*-1 composite?
True
Let l be 3 + (-4 - -2) + 33. Suppose -8*b + 3002 = l. Is b prime?
False
Is (592 + -14)/((-6)/(-81)) - -4 prime?
False
Let q(c) = 4131*c - 155. Is q(4) a composite number?
False
Let p(w) = 2*w**3 - w**2. Let r be p(1). Suppose 9 = 3*a - g, -2*g + 3 = 4*a + r. Is (4 - 2268/a)/(-2) a prime number?
False
Let t = 74 + -51. Let u = t + -16. Is 8/(-14) - (-375)/u prime?
True
Is (-54999)/(-5) + 3 - (-2)/10 prime?
True
Let w(y) = -y**2 + 12*y - 16. Let v(r) = r**3 - 6*r**2 + 3*r - 7. Let g be v(6). Let s be w(g). Is (1 - 14 - -2)*s prime?
False
Is (0 - -2)/6 - 11824/(-24) prime?
False
Is 10*(-6)/4*33/(-9) a composite number?
True
Is (2 + -5)/((-1)/7817*3) composite?
False
Suppose -2*q = -44343 + 18545. Is q a prime number?
True
Let b be 22*((-1)/2)/(-1). Let w = b + -11. Is 463 - w/(-2 + 3) a prime number?
True
Let l(c) = 909*c**2 - 17. Is l(6) prime?
True
Let g = 270 + 758. Suppose -3*n - g = 352. Let h = -167 - n. Is h prime?
True
Let z(o) = -5*o**2 - 19*o + 32. Let m(r) = -r**2 - 5*r + 8. Let u(v) = -9*m(v) + 2*z(v). Let p be u(4). Suppose p*s = 103 + 341. Is s prime?
False
Suppose -5*f - 4*a - 119 = 0, -2*f - 143 = 3*f - 2*a. Let m(l) = 6*l**2 + 3*l + 2. Let r be m(-3). Let b = r - f. Is b prime?
False
Let q = -58744 + 92507. Is q composite?
True
Let o(c) = 1667*c**2 - 3*c + 1. Is o(3) a prime number?
False
Suppose -y - 78 = -3*y. Let b(z) = 2 - 3 - z**2 + 6 + 16*z - y*z. Is b(-14) prime?
True
Let v = -4694 + 8363. Is v prime?
False
Suppose 41*t = 99249 + 20922. Is t a prime number?
False
Is (3 + 1)*(-11)/(176/(-1164)) a composite number?
True
Is -2 - (-2 - 6) - -2095 composite?
True
Let b be (1/2)/(1/6). Suppose -4*k + 21 = -0*k - p, b*k - 3*p - 27 = 0. Suppose -661 = -k*m + 5*y, -2*y = -3*m + 163 + 324. Is m composite?
True
Suppose 0 = -5*t + 2*r - 19, 5 - 6 = 2*t - 3*r. Let c(n) = n**3 + 7*n**2 + 8*n + 4. Let b be c(t). Is ((-7)/b)/(1/(-178)) a prime number?
True
Let a(u) = -u + 1. Let v be a(-1). Suppose 0 = 3*g + 9, -g - 7 = -0*k - v*k. Suppose 4*n - 204 = -2*m, -k*n = -3*n - m + 49. Is n a composite number?
False
Suppose -120 = 5*n - 15. Is ((-1778)/n)/((-4)/(-6)) prime?
True
Let d be 9/(-21) - (-20816)/28. Let k = d + -489. Is k prime?
False
Let v(h) = 3*h + 10. Let m be v(-5). Let c be (-1 + 3/1)*m. Is ((-98)/(-4))/((-5)/c) prime?
False
Let v be 0/(0/(-2) - 2). Suppose m - 4*m + 2*i + 1291 = 0, 4*m + 5*i - 1683 = v. Suppose 2*p - 431 = -5*w, -2*w = -7*w - 4*p + m. Is w a prime number?
False
Let o = -40 - -612. Let z = -5 - -5. Suppose 4*x + 48 - o = z. Is x a prime number?
True
Suppose 4*k - 1030 = -l, 506 = 53*k - 51*k - 4*l. Is k a composite number?
False
Let i(j) = -5 - 507*j**3 + 503*j**3 - j + 2*j**2 - 5*j. Is i(-4) composite?
False
Suppose -136937 - 92370 = -31*q. Is q prime?
False
Let i(o) = -415*o - 9. Let v(p) = 208*p + 5. Let b(s) = -6*i(s) - 13*v(s). Is b(-3) a composite number?
False
Let j(z) = z**2 - 8. Let q be j(4). Suppose -4*v = 3*b + 7, 2*b - 4 = -3*v - q. Suppose 332 = -v*h + 1414. Is 