7) composite?
True
Suppose 377 - 92 = 5*k. Let i = k + -31. Suppose 23*r = i*r - 255. Is r composite?
True
Suppose 19*m + 8*m - 58185 = 0. Suppose 2*i - m - 4167 = 0. Is i composite?
True
Let y = 92513 - -104394. Is y prime?
True
Let u(s) = -s**3 - 5*s**2 + 7*s + 5. Let n be u(-8). Suppose 5*v = -3*y - 234, 3*v + y + n = -y. Let d = v + 134. Is d a prime number?
True
Let d(l) = -144*l - 1. Let c(r) = -431*r + 4 - 21 + 6 + 9. Let f(h) = 2*c(h) - 7*d(h). Is f(1) prime?
True
Suppose -5*v + 0*v - 195 = 0. Let d = v + 48. Suppose d*o - 1199 = 7072. Is o a prime number?
True
Is 130/26*(-370298)/(-10) composite?
False
Is (-9 + -1 + 9)/(3/(-762369)) composite?
True
Let l(n) = -76*n - 831. Let i be l(-11). Suppose 0 = -0*r + 5*r - 23780. Suppose p = i*p - r. Is p a prime number?
False
Let g = -30 - -35. Suppose -g*t + t = -20. Suppose t*p - 2399 = 2*d, -d + 1257 + 1136 = 5*p. Is p a prime number?
True
Suppose -q - 10 = -5*r, 4*r - q + 3 = 2*q. Let m(z) = r + 3 - 3 + 51*z + 2. Is m(11) a composite number?
True
Let y = -1686781 - -3061328. Is y a prime number?
True
Suppose 0 = -42*y + 526087 + 194717. Is y composite?
True
Let r(m) = m**3 + 5*m**2 - m - 5. Let v be (-4)/(-4) - (-48)/(-8). Let y be r(v). Is 5*6/30 - (y - 3754) a prime number?
False
Let d(l) = -9*l**2 - 3*l + 12. Let z(o) = -4*o**2 - o + 6. Let m(h) = 3*d(h) - 7*z(h). Let t be m(4). Suppose 0 = -n - t*n + 177. Is n composite?
False
Suppose v + 601569 = -o + 1939374, 4*o - 2675608 = -2*v. Is v prime?
False
Let l(v) = v**3 - 6*v**2 + 4*v - 6. Let f be l(6). Let k(w) = -w**3 + 18*w**2 - w + 21. Let i be k(f). Suppose -177 = -6*d + i*d. Is d composite?
False
Let w(y) = 15*y**2 + 172*y - 83. Is w(-34) a prime number?
False
Let v be 1*(6 + -532) + -5. Let x = v - -5698. Is x a composite number?
False
Let n(r) = 4338*r + 4299. Is n(5) a composite number?
True
Let p be (6/(-5))/(78/(-195)). Suppose p*q = -3*r + 26772, -5*r + 11316 = -q - 33322. Is r a prime number?
False
Suppose 6*w - 34*y = -38*y + 307510, -w = y - 51249. Is w a composite number?
False
Suppose -27*h + 15*h + 72444 = 0. Is h prime?
True
Let w be 72/30*(3 - -2). Suppose -w*b + 2*b + 30 = 0. Suppose c - 3439 = -0*c + 2*a, -b*a = -4*c + 13741. Is c a prime number?
True
Suppose 0 = 5*z - 4*i - 45 + 14, 2*z - 5*i - 26 = 0. Let p(y) = 9*y**3 + 3*y**2 - 6*y + 3 + 10*y**z + 3*y. Is p(2) a composite number?
True
Suppose 3*g - 25 = -0*g - 5*z, 25 = g + 5*z. Suppose g = -2*a - 0*a + 118. Is a prime?
True
Suppose 3*p - 110 = 34. Let w = -43 + p. Is (-517*w/10)/((-1)/2) prime?
False
Let m = 35 + -31. Suppose 3*s + 5*t = 179, m*s = 7*t - 2*t + 262. Suppose n + n - 4*c = 96, c = -n + s. Is n prime?
False
Let q(j) = 1589*j + 90. Let x(v) = -4768*v - 271. Let b(l) = -7*q(l) - 2*x(l). Is b(-11) a prime number?
False
Let i = -956 + 2427. Is i prime?
True
Let c(m) = m**2 - 6*m + 7. Let g be (3 - 133/35)/((-2)/10). Let b be c(g). Let j(d) = -1472*d + 5. Is j(b) a prime number?
False
Let r(c) = -36448*c + 1129. Is r(-16) a prime number?
False
Let o(w) = 25371*w - 15. Let s be o(3). Let h = s - 47947. Is h composite?
False
Let g(c) = -c**3 - 13*c**2 - 12*c + 3. Let s be g(-12). Let l(h) = h**3 - h**2 - 2*h - 7. Let t be l(s). Let f(r) = 46*r + 17. Is f(t) prime?
False
Suppose 0 = -3*r - v + 123819 - 22870, 5*r + 2*v - 168247 = 0. Suppose 5*k + 4*s = r, -2*s + 5919 = 4*k - 21003. Is k composite?
True
Suppose 59*u - 1418034 = 53*u. Suppose -11*g + 223956 = -u. Is g a composite number?
True
Let t = 34153 + -15756. Is t a prime number?
True
Suppose 0 = 4*x - w + 5*w - 12, 5*w = -4*x + 11. Suppose 2*l = l + x. Let p(a) = 26*a**3 + 2*a**2 + 5*a + 1. Is p(l) a composite number?
True
Let s(r) = 308*r**3 - 3*r**2 + r + 1. Let m(c) = c**3 - 5*c**2 + 6*c - 7. Suppose -5*w = -5*a + 10, w + 7 + 7 = 4*a. Let f be m(a). Is s(f) composite?
False
Let o(s) = 32*s**2 - 9*s + 13. Let k be o(10). Suppose -x - 3*l + k = 0, -x = 2*x + 5*l - 9373. Suppose -22*b + x = -16*b. Is b prime?
True
Let k be (-968)/(-176) - (-3)/(-6). Let i = 6184 - 2556. Suppose 0 = s - k*s + i. Is s composite?
False
Let d(c) = 19*c - 163. Let j(o) = 2. Let s(m) = -d(m) + 4*j(m). Is s(7) composite?
True
Suppose -132*s - 15*s + 59982277 = 46*s. Is s prime?
True
Suppose 35 = 2*o + 55. Is (-16)/40 + 116*(-124)/o a prime number?
False
Let s(w) = 304*w**2 + 62*w - 575. Is s(9) prime?
False
Let o be 42*(6/8)/(24/592). Suppose o = 3*p - 237. Let w = p + -160. Is w prime?
False
Let f(k) = -1783*k**3 - 2*k**2 + 2*k - 9. Is f(-2) prime?
True
Let l(y) = -2*y**3 + 2*y**2 + 10*y + 11. Let j be l(-2). Is (-2)/(-4)*3*56690/j a composite number?
False
Is 2034757/6*(50 - 44) a composite number?
False
Let o be (6 + -1)/(10/50). Let s(t) = 4*t - 7. Let f be s(o). Let z = 1786 - f. Is z prime?
True
Suppose 16*k = 2*f + 17*k - 1524712, 3*f - 2287067 = -2*k. Is f prime?
False
Let m = 296 + -281. Is 3*(-17 + m - (-3098)/6) prime?
True
Suppose -29*i + 30*i = 5. Suppose -6*q = -q + 3*g - 1, 3*q + i*g = -9. Suppose 4*z + 129 = -q*w + 3*w, -2*w = -3*z - 283. Is w a prime number?
True
Let m(f) = 79*f**2 - 120*f - 1090. Is m(-9) a composite number?
False
Let m(r) = 512*r**2 + 74*r + 143. Is m(-16) composite?
True
Let z = 41295 - 5956. Is z prime?
True
Suppose 0 = 4*z - 20, 47*u - 48*u = -5*z - 304662. Is u a prime number?
True
Suppose -11479*o = -11432*o - 24527467. Is o a composite number?
False
Let n(v) = -v**3 + 33*v**2 + 117*v - 17. Is n(32) composite?
False
Let d be 682/14 - 6*10/(-210). Is (48 - d)*(-1 - 2038) prime?
True
Suppose -y + 32640 = 2*y - 3*o, -2*o = 3*y - 32660. Let d(q) = 12*q**2 + 5*q - 2. Let b be d(1). Suppose -b*w + y = -3*w. Is w prime?
True
Let d be (8/6)/(18/(-1161)). Let j = d + 97. Let n(m) = m**3 - 4*m**2 + 4*m - 4. Is n(j) prime?
True
Suppose -788 = -6*w + 1030. Suppose w = -3*o - p, -3*p + 72 = -4*o - 332. Let x = 159 + o. Is x composite?
True
Let p = 110 + -102. Is -138*(-118)/p*(-6)/(-9) composite?
True
Let r = 310030 + 232987. Is r prime?
True
Suppose 4*i - 5*i - 5*w + 4337 = 0, 3*i + w - 13095 = 0. Is i a prime number?
False
Let z(g) = 51*g**2 + 2295*g + 23. Is z(52) a composite number?
True
Suppose 3*r - 6*r + 276 = 0. Let o = r + -86. Suppose 2*a - o*a = -2524. Is a a composite number?
False
Suppose -5*u = -4*s - 970097, 4*u - 776074 = -67*s + 69*s. Is u a composite number?
False
Suppose -d + 15 = -3*w, -d - 10 = 4*w + 3. Suppose 0 = d*h - 4*g - 1265, 8*g = -h + 13*g + 429. Is h a prime number?
True
Let q be (1/3)/((-4)/12) + 7. Suppose -8*y = -q*y + 14. Is ((-19)/(-3))/(y/(-609)) prime?
False
Let x be ((-18)/48)/(6/(-8))*4. Let q(y) = y**3 + 7*y**2. Let j be q(-7). Suppose j = -3*f - 5*k + 1877, -x*k = 8 - 4. Is f prime?
False
Suppose 3*a - 4*f - 907654 = 0, f + 1378 = 1374. Is a a composite number?
True
Suppose -2*i - 5*p - 15 = 0, 12 = -4*i - 4*p - 0. Suppose i = -29*x + 40*x - 208615. Is x prime?
False
Suppose -3*u + 4*h = -2 - 35, 4*u - 3*h - 54 = 0. Suppose 34*r = u*r + 20311. Is r a prime number?
True
Suppose 2 = -y + 6. Suppose v = 2*h - 21, y*v = -3*h + v + 36. Is 1203/4 + h/44 a composite number?
True
Suppose 3*z + p = 93, -8*z + 132 = -4*z + 4*p. Is 2628 + 2 + (27 - z) composite?
True
Suppose -6*a + 82 = -20. Suppose 22*o - a*o - 13355 = 0. Is o prime?
True
Let z(w) = -181*w**3 + 3*w**2 + 4*w - 12. Let p be z(3). Let q = p - -8509. Is q a prime number?
False
Let t be 0 + (43 - (15 + -7)). Is 10/t + 189514/14 composite?
False
Let v(n) = n**3 + 6*n**2 + 2*n + 12. Let i(f) = -f**2 - 7*f + 12. Let b be i(-9). Let p be v(b). Suppose p*z - 2735 = -z. Is z a composite number?
True
Let t(z) = 99*z - 248. Let c be t(15). Suppose 0*y - 25 = -5*y, 30 = 5*d + 4*y. Suppose 0 = s - d*s - 3*l + c, -3*s = -2*l - 3733. Is s a composite number?
True
Is 0*3/21 - -522019*2/2 prime?
False
Let y = -7 + 9. Suppose 5*b - 65 = -4*i, y*i - 50 = -2*i - 2*b. Let h(a) = 5*a**2 + 10*a + 13. Is h(i) a composite number?
False
Suppose -73*u - 18486907 = 258*u - 162692022. Is u a prime number?
False
Is 33663702105/16359 + 2/(-7)*1 composite?
True
Let s(q) = 59*q**2 - 4*q + 9. Let u be (-2 - (-10 + 2)) + 2/(-1). Is s(u) prime?
True
Let n be 3/1 - 0/4. Suppose -n*y + 5*s + 17854 = 0, 2*y = 4*s + 6223 + 5679. Is y a prime number?
True
Suppose 0*u + 2*k = u + 5300, 0 = 3*u - 5*k + 15900. Let m = u - -3772. Let h = m 