-1 = -2*k - u, j*k + 2*u - 10 = 7*k. Is w(k) prime?
False
Suppose 937319 = 95*i - 12*i. Is i a composite number?
True
Suppose 5*g = -5*m, 0 = m - 3*g - 2*g - 18. Suppose -12 = -6*z + 192. Let w = z + m. Is w composite?
False
Let y(p) = 18*p**2 + 4*p - 11. Let x(f) = 2*f**2 + f. Let m be x(1). Let t be 2/m*(-360)/48. Is y(t) a prime number?
True
Let d = -181244 + 362655. Is d composite?
True
Suppose 41*s - 2300815 - 948343 = 19*s. Is s composite?
False
Suppose 0 = -33*i + 4514310 + 4344093 + 2929758. Is i a composite number?
True
Let d(v) = -2*v**2 - 35*v - 19. Let h be d(-17). Let m(o) = -963*o - 7. Is m(h) a prime number?
False
Let m = 353412 + -171323. Is m prime?
True
Is (11 - 7772)*-1 - 14 prime?
False
Suppose 2*c = k + 68, 2*c - c - 2*k - 31 = 0. Suppose -39*r + 436 = -c*r. Is r prime?
True
Let q(m) = -m**3 + 13*m**2 + 281*m + 41. Is q(-18) prime?
False
Let s(z) = 50*z**2 - 4*z + 55. Let r be (-28)/(-6)*351/234. Is s(r) prime?
True
Suppose -144378 = 28*r - 169043 - 287507. Is r a prime number?
True
Suppose -10 = -2*q + 5*u, -5*q + 4*u + 10 = -u. Suppose -9*p - 5077 + 24508 = q. Is p composite?
True
Let c(f) = -f**3 + 15*f**2 + 17*f - 13. Let t be c(16). Is (-1)/t - (-149032)/39 composite?
False
Suppose 1113143 = 24*b - 1651681. Is b a composite number?
False
Suppose 184 = 2*b - b + z, 0 = -4*b - 5*z + 733. Let t = 1608 - 2263. Let i = b - t. Is i a prime number?
False
Suppose 4*k - 2 = -2*t, k - 2 = 3*k. Suppose -4*m - 54 = t*c, -m + 2*c - 13 = -5. Is m/24 - 79/(-2) a prime number?
False
Let t be (-374608)/(-13) - 0*(-3)/(-6). Suppose -87*b - t = -103*b. Is b prime?
True
Let a(f) = -f. Let q be a(0). Let l be 1/(((-2)/3310)/(-1)). Suppose q*m - l = -m. Is m a composite number?
True
Let r(b) = b**3 - 2*b**2 + b. Let o be r(2). Is o*(0 + 141/2) a prime number?
False
Let y = -47 + 51. Is (-9)/(-18) - 2*(-1873)/y prime?
True
Let u(b) = b**2 + 7*b + 5. Let a be u(-11). Let p = a + -49. Suppose 4*m + 20 = p, -5*g = -3*m - 268 - 3532. Is g prime?
True
Let y be (296/5)/((-7)/(-35)). Suppose -11*o - y = -9*o. Let i = o + 381. Is i prime?
True
Let t be (6/18)/(1*1/75). Suppose s + v - 10 = 0, -4*s + v + t = 10. Suppose -s*l + 4*l = -5*w - 2747, l = -5*w + 2767. Is l a prime number?
False
Let o(h) = -h**2 + 8 + 20*h - 30 - 11*h. Let p be o(5). Is (-13)/(p/122*6/6) prime?
False
Let b = -138 - -140. Suppose 3*f - 4796 = -u, -23915 = 3*u - 8*u - b*f. Is u a composite number?
True
Let c be (-25)/(900/(-24)) - 736/6. Let r = c + 249. Is r a prime number?
True
Suppose 0 = 3*x + o - 91977, 200*o = 201*o + 6. Is x prime?
True
Let p(a) = -233*a + 187. Let j = 91 + -105. Is p(j) composite?
False
Suppose -2751156 = -6*j - 6*j + 5166240. Is j a prime number?
True
Let b(n) = 783*n - 33. Let l be b(11). Let v = l - 4183. Is v composite?
False
Let q be (-16902)/12 - (-6)/(-4). Let t = q + 510. Let s = t + 1669. Is s composite?
False
Let d be 16/12 - 18040/(-6). Suppose -4*w - i - d = i, 2*i + 1506 = -2*w. Let n = w - -2796. Is n prime?
False
Suppose 0 = -4*k + 24, -3*f - 14*k = -9*k - 1547163. Is f composite?
True
Let a be 2/(-10)*10/6*-6. Suppose p = 3*w + 5857, 7816 = -6*w + a*w - 2*p. Let l = 2872 + w. Is l a composite number?
False
Let v be (-26)/(-39)*(-9)/(-2). Suppose v*r = -3*r + 498. Let y = r + -14. Is y composite?
True
Suppose 0*q + 4*q + 4 = 2*g, -4*g - 4*q - 4 = 0. Suppose g = -2*o - 3*o + 1535. Is o composite?
False
Let b(d) = -95*d + 14. Let k be (10/(-1))/5 - 3. Let l be b(k). Suppose -9*y = -12*y + l. Is y composite?
False
Let l = 30 + -39. Is 6 + (-39678)/(3 + l) a prime number?
True
Let t = -264099 + 373802. Is t prime?
False
Suppose 0 = 55*s - 47*s - 24. Suppose -3*i = -s*j + 2355, 2347 = -30*j + 33*j - 5*i. Is j composite?
True
Let f(k) = 2*k + 51. Let a be f(-21). Suppose a*b - 35648 = 22978. Is b a composite number?
True
Let a(r) = r**2 + 23*r - 36. Let w be a(-25). Suppose 18*q - 5588 = w*q. Is q a composite number?
True
Suppose 117909 = -7*c + 106*c. Is c a composite number?
True
Suppose -4*d + 1025467 + 547029 = 4*z, -3*d - 786243 = -2*z. Is z composite?
True
Let f = 54638 + -34690. Let m = f - 11663. Is m a prime number?
False
Let o = 212 - 215. Let a(n) = 1336*n**2 - 16*n - 1. Is a(o) prime?
True
Suppose -31*q + 5090279 = -3*q + 25*q. Is q prime?
True
Suppose -105*c - 128675 = -110*c. Is c composite?
True
Let d(t) = t**3 + 3*t**2 + 3*t + 2. Let c be d(-2). Let p(l) = 4*l - 5. Let j be p(c). Is 1/(-5) + (-3146)/j prime?
False
Let w(u) = 71*u - 91. Let h(d) = 32*d - 48. Let a(r) = r + 1. Let c(y) = -3*a(y) - h(y). Let o(b) = -11*c(b) - 6*w(b). Is o(-16) a composite number?
True
Is (0 - 354343)/(26 - 27) composite?
True
Let k(d) = -645*d + 159. Let y(l) = -1291*l + 318. Let n(u) = -13*k(u) + 6*y(u). Is n(12) composite?
True
Suppose -21*v + 690 = -6*v. Suppose v*j = 36*j + 24110. Is j a composite number?
False
Let g = -22 + 34. Let v be (-2 - (-18)/g) + (-13)/(-2). Is (6/(-9) - 0)/(v/(-2367)) a prime number?
True
Suppose 2*v = 6*v + 48. Let c be (1/(-1))/(v/48). Suppose -5*f + 2274 = 3*o, 6*o + 2*f - 1516 = c*o. Is o prime?
False
Suppose 5*l - 3*m - 3448216 = 4701195, 6*m = -12. Is l prime?
False
Is 5238546/(29 - (-513)/(-19)) prime?
False
Let a(x) = 750*x - 8. Let i be a(-3). Let d = -1324 - i. Suppose s + s - d = 0. Is s a prime number?
True
Let d = 90647 - -12866. Is d a prime number?
False
Let d(o) = -40*o**3 - 7*o**2 - 8*o - 4. Let k = 443 + -448. Is d(k) a prime number?
True
Suppose 3*u = -23*d + 26*d - 31620, -5*u + 10 = 0. Suppose 2*v + 0*h - d = -2*h, 0 = 3*v - 5*h - 15797. Is v composite?
True
Suppose 2*m + 3*m - 625550 = 0. Suppose 7*o - 5*o + 5*z + 15 = 0, 0 = -3*o - z - 29. Is (-6)/o + -2 + m/25 composite?
False
Suppose -812*m = 2*w - 807*m - 322336, 5*w - 805885 = -5*m. Is w a prime number?
False
Let g be (-3 + 6)*2/3. Let y be 709*7 - (21 - 21). Suppose y = 3*h + u + 3*u, g*h - 3316 = u. Is h composite?
False
Let c(g) = 109*g**3 + 7*g**2 + 13*g + 3. Let q(p) = -p**3 - p - 1. Let x(b) = -c(b) - 5*q(b). Let s be x(-4). Let v = s + -3169. Is v composite?
True
Let b = -63 + 121. Let z = -49 + b. Suppose -8*t = -z*t + 415. Is t composite?
True
Let d(h) = 2*h**2 - 17*h + 17. Let k(a) = a**2 + 7*a - 23. Let l be k(-10). Let g be d(l). Let m(s) = -23*s + 14. Is m(g) a composite number?
True
Let z(d) = -4*d + 6. Let q be z(0). Suppose -q*f - 18762 = -67104. Is f a prime number?
False
Let l be 1/3*-4*(18 + 2010). Let p = -1081 - l. Is p prime?
False
Let w(f) = 854*f**2 + 44*f - 230. Is w(22) a prime number?
False
Suppose -386428 = -3*t - j, -2*j - 315524 = -4*t + 199690. Is t a prime number?
False
Let r = 447 + -468. Is 2018 + 0*(-7)/r composite?
True
Suppose 555*o = 551*o - 28. Let a(i) = -697*i + 36. Is a(o) prime?
False
Let w(n) = -n**3 - 3*n**2 + 3*n. Let p = 41 + -45. Let q be w(p). Suppose 0 = -2*t + 1 + 3, t + 4106 = q*k. Is k prime?
False
Suppose x + 158838 = 6*y, 4*y - 3*x - 90671 = 15221. Is y a composite number?
True
Suppose 44*t = 61*t - 4652101. Is t prime?
True
Suppose 5*n = 0, r + 5*n = 4*r - 12. Suppose 0 = r*u - 4, 313 = v - 2*u - 1046. Is v a prime number?
True
Let c(f) = 10*f + 3. Let t be c(5). Let j = 49 - t. Is (2/4)/(j/(-1192)) a composite number?
False
Let n(v) = -1189*v - 16. Let g(f) = 793*f + 15. Let w(l) = 793*l + 16. Let t(r) = 5*g(r) - 4*w(r). Let i(a) = 5*n(a) + 8*t(a). Is i(3) prime?
False
Let p be 16/56 + (-5928500)/(-35). Is 5/((-125)/(-10)) + p/10 composite?
True
Let q = -96945 - -288008. Is q a composite number?
True
Let k(q) = -137756*q - 1019. Is k(-3) prime?
True
Let o(q) be the third derivative of 1/30*q**5 + 7/6*q**3 + 0*q**4 + 4*q**2 + 0*q + 0 + 1/60*q**6. Is o(6) a prime number?
False
Let h(p) be the third derivative of 4*p**5/15 + 17*p**4/12 + 55*p**3/6 + 51*p**2 + p. Is h(-13) composite?
True
Let b be -7 + (-64)/(-9 - -5). Let z(a) = 78*a**2 - 13*a - 4. Is z(b) composite?
False
Suppose 2*k = 5*b - 46, 5*b - 8*k + 4*k = 52. Suppose -b*a = -2*a - 21678. Is a prime?
True
Let k(m) = -29*m**3 - 17*m**2 + 21*m + 33. Let l(d) = 14*d**3 + 8*d**2 - 11*d - 16. Let f(c) = 3*k(c) + 7*l(c). Is f(7) prime?
True
Let c(u) = -927*u**3 + u**2 + 4*u. Let d be c(-2). Suppose 4*k = 5*j + 7396, 0 = 8*k - 4*k - j - d. Let f = k - 1243. Is f a prime number?
False
Let y(s) = 50*s**3 - s**2 + 6*s - 4. Let a be y