 m = 3*j + 3*w - 619 - 1115, 3 = -3*w. Let x = j - 392. Is x a prime number?
False
Let m be (2 - 6)/(2/(-4)) - -1. Let w be m/2*34/(-12)*-36. Suppose z - w = -3*p - 2*p, 3*z - p - 1313 = 0. Is z a prime number?
True
Let n be (-4)/(-6)*(-50 - -59). Suppose n*s - 7507 = -2*m + 2077, 3*s - 2*m = 4789. Is s composite?
False
Suppose 0 = 2*u - 3*y + 22 - 7, 3*y - 15 = -2*u. Is (-21927 - u)*(65/(-15))/13 composite?
False
Suppose -28 - 308 = -12*d. Suppose d*b - 2871 - 174005 = 0. Is b prime?
True
Let m(k) = k**3 + 69*k**2 - 341*k - 73. Is m(-48) a prime number?
True
Let b(p) = -6*p - 25. Let g be b(-4). Is (g/(-3))/((-23)/(-800331)) prime?
False
Suppose 47187 = -7*t + 8771. Let j = 2788 + t. Let d = 5333 + j. Is d prime?
True
Suppose -4*p + 5213 = 4*m - 10263, -3866 = -m + 2*p. Let c = m + 6795. Is c prime?
True
Let l be -2377*(20/(-4) - 15). Let m = -21201 + l. Is m prime?
True
Let g = -45167 + 146458. Is g prime?
False
Suppose 2*i = 3*i + p + 3, 2*i - 4*p - 12 = 0. Suppose i = 2*m + 5*m - 1169. Suppose 2*z = 515 + m. Is z composite?
True
Let o(n) = -n**3 + 29*n**2 + 3*n + 82597. Is o(0) composite?
True
Let t = -137831 - -279480. Is t composite?
False
Suppose -5*x = -4*d + 608713, 22*x - 18*x = -d + 152194. Is d prime?
False
Suppose 5*x = -3*c + 29201, 0 = 4*x - c - 13065 - 10289. Suppose -5*k + 7*k + x = q, 4*q + k = 23356. Is q composite?
False
Let n = 22307 - 34247. Let b = -973 - n. Is b composite?
True
Let o(r) = r**3 + 3*r**2 - 2*r - 1. Let w(c) = c + 1. Let m(v) = -o(v) + 4*w(v). Let g be m(-4). Is -1115*(3/g - -1 - 1) prime?
False
Let k(a) = a**2 + a + 5647. Let n be k(0). Let v = n - 3049. Suppose -v - 332 = -5*u. Is u composite?
True
Suppose -q + 150 = 24*q. Suppose q*x + 9*x - 19065 = 0. Is x a composite number?
True
Let q(b) = 7*b - 5*b**2 + 10 - b**2 - 8 - 7 + b**3. Let z be q(5). Suppose 8*j - z*s - 7705 = 3*j, 3*j - 4648 = -2*s. Is j a composite number?
True
Suppose 8*j = 5*j + 57. Suppose -j*z = -15*z + 4. Is 11880/15 + (1 + 0)/z composite?
True
Let i = 43 - 24. Let v = i - 21. Is 6988/14 + v/14 a composite number?
False
Let w(b) = -b**3 + 13*b**2 - 21*b - 8. Let s be w(11). Suppose 2*a = -3*v + 158, -5*a + 76 = -s*v - 298. Suppose 3*p - a = 179. Is p prime?
False
Suppose -4*c + 4 = -3*c. Let h be 138/7 + c/14. Suppose 0 = 19*f - h*f + 445. Is f composite?
True
Suppose 3*a + 96 = 3*m, 6*a - 123 = 10*a - 3*m. Is 18/a + 3/(18/24766) a prime number?
True
Suppose -5*x = 3*q - 4*x + 331, 0 = 3*x + 3. Is 1502*1/(-5)*q/4 a composite number?
True
Suppose -u = -1355 - 748. Is u*1 - (34 + -32) a composite number?
True
Suppose -b = -2*s + 1561, -5*b + 831 = 5*s - 3094. Let t = -209 + s. Is t composite?
True
Let f = 0 + -1. Is ((-35)/(-14) + f)/(1/1814) a prime number?
False
Let q(v) = 46*v**3 + 20*v**2 - 5*v + 11. Let h be 4 - ((-63)/(-84) - (-11)/(-4)). Is q(h) a prime number?
False
Let u(l) = 316*l**3 - 5*l**2 + 4*l + 24. Let j be u(5). Suppose -14*t + j = -123695. Is t composite?
True
Suppose 4*x - 5*u = 237024, 7*x - 296285 = 2*x + 5*u. Is x a composite number?
True
Let l = 567427 - -160350. Is l a prime number?
True
Let p be 52*((-2)/(-20) - 28/(-70)). Suppose 694740 = -p*q + 56*q. Is q a prime number?
False
Let r be 9/(-15) + (-80)/(-50). Let f be (17 - 13) + 215*r. Suppose 0 = -3*o - 3*z + f, -o - o + 143 = 5*z. Is o a prime number?
False
Let n = -28785 - -52632. Let r = -15320 + n. Is r a prime number?
True
Suppose 5*b = -v + 10 + 13, -2*v + 14 = 2*b. Is (309426/195)/(b/10) a prime number?
True
Let t = -231860 - -343887. Is t prime?
False
Is (-31618)/(15/(-20)*(-96)/(-612)) prime?
False
Let z(a) = -a**3 + 14*a**2 - 11*a - 19. Let k be z(13). Let s be 1220/k - 20/70. Suppose 0 = 2*r - s - 584. Is r a composite number?
False
Let w(x) = 29*x**2 - 8 - 14*x + 34*x**2 - 62*x**2. Let y be w(15). Is (-4 + y - 7) + 1145 a composite number?
True
Let y be (172/(-258))/(2/(-15)). Let r = -2 + 2. Suppose 5520 = 4*p - 2*x, y*p + 2*x - 6891 = -r*x. Is p prime?
False
Let n(t) = 10622*t + 43. Let y be n(1). Suppose -30*x + y = -1065045. Is x prime?
False
Suppose -10*c + 9 = -7*c. Suppose c*l = 2*n - 3*n - 506, -972 = 2*n - 2*l. Let m = -300 - n. Is m a prime number?
True
Let g = 916 + 4723. Is g a prime number?
True
Suppose 548 = 5*a - 2*s, -4*s = 12 + 4. Let b be (-326)/(-9) + (-24)/a. Is (-9)/(b/(-2984)) - (3 + 0) composite?
False
Let k(w) = 12232*w + 7750. Is k(13) a composite number?
True
Let h = -76357 - -123428. Is h prime?
False
Let t(a) be the first derivative of -a**2/2 + 3*a + 8. Let k be t(11). Let x(p) = -p**3 + 6*p**2 + 18*p + 5. Is x(k) prime?
True
Suppose 5*g + 0*g - 26 = -y, y - 35 = -2*g. Suppose -5*o - 5*l - 155 = 0, -y = o + o - 5*l. Is (o/(-12)*-3)/((-2)/46) prime?
False
Suppose -5*b = 4*m - 352, 3*m = 2*b + 43 + 221. Suppose -5429 = -m*x + 27*x. Is x a prime number?
True
Let p = 45 + -33. Suppose -p*x + 16*x = 8. Is (x + 16/(-6))*10977/(-2) a composite number?
False
Is ((-1)/9)/((-339)/1909916847) prime?
True
Is (-12372 + -1)/(2*(4 - 2) - 5) a prime number?
True
Suppose 0 = 3*h + 5*t - 19411, 0 = 7*h - 11*h - 2*t + 25872. Is h prime?
False
Suppose 17 = h - 3*g, -9*h = -7*h - 2*g - 14. Suppose -4*f + 26 = 6. Suppose h*i + 4*p - 867 = 295, -p = f*i - 2905. Is i a prime number?
False
Let k be (-6)/(-3) - (19 - 23). Suppose -y + 4*r - 38949 = -k*y, -y + 5*r = -7784. Is y a prime number?
True
Suppose -x - 3 = -0. Let o(h) = -2*h**2 - 5*h + 1. Let f(g) = 16*g**2 - 32*g - 3. Let a(l) = f(l) - 6*o(l). Is a(x) prime?
False
Let k(o) be the second derivative of -3*o**5/10 - o**4/3 - 40*o**3/3 - 11*o**2/2 - 26*o. Is k(-11) a composite number?
True
Suppose -3*v - 3 = -4*v. Suppose -2*g + 4*r + 122 = v*g, -4*g = 3*r - 79. Suppose 2*h - g = 48. Is h composite?
True
Let a(q) = -6932*q - 39. Is a(-5) prime?
False
Let c(h) = -4*h + 37. Let r be c(8). Suppose r*q - 3498 + 348 = -p, 0 = -4*p - 5*q + 12675. Let m = -2024 + p. Is m a prime number?
True
Suppose 32*i + 207 = 303. Suppose -4*s = 1601 - 4597. Suppose -2*h = -i*h + s. Is h a composite number?
True
Let t(f) = -4*f**2 - 2*f - 11. Let u(o) = 6*o**2 + 2*o + 12. Let i(c) = 3*t(c) + 4*u(c). Is i(-13) a prime number?
True
Let b(l) = -439*l + 395*l - 2801*l + 262 - 1346*l. Is b(-7) a prime number?
True
Let m(z) = z**2 + 4*z + 8. Let b be m(-2). Suppose -9445 = b*t + 5*f - 38504, -5*t + 3*f = -36370. Is t a composite number?
True
Let u = 6756 + -4471. Is u composite?
True
Is (-16)/64 - (-164489)/52 a prime number?
True
Let r(u) = -2*u**3 + 14*u**2 - 8*u + 1. Let q be r(11). Let m = -748 - q. Is m a prime number?
True
Suppose 2*c - 87 = -31. Suppose -2*h = -9*h + c. Suppose -l - 2*p = p - 1814, p - 7201 = -h*l. Is l composite?
True
Suppose 6*q + 2013219 = 5*h + 3*q, 0 = -4*q + 8. Suppose 0 = 38*i + 13*i - h. Is i prime?
False
Let c(m) = 4*m + 2. Let u be c(2). Let q(v) be the third derivative of v**5/6 - v**4/3 - 31*v**3/6 + 6*v**2 + 148*v. Is q(u) composite?
True
Suppose 0 = 7*l - 7 - 7, -2*l = 3*d - 791818. Is d a composite number?
True
Let m be (366/9)/((-6)/(-18)). Suppose -i + 2 = 0, -184 = 4*y - 5*i + m. Let g = 53 - y. Is g composite?
False
Let q be 10/(3 + -2) + (-12 - -12). Let o(k) = 6*k**2 - 14*k + 27. Is o(q) prime?
True
Suppose 263*g + 18*g = 158055178 - 34599233. Is g a composite number?
True
Suppose -k + 55 = 5*a, -a = 3*k + 60 - 183. Let t be -3*(2 - k/12). Suppose -t*b = -i - 4245, 4240 = 4*b + 2*i + 2*i. Is b prime?
True
Let z = -75 - -73. Let j be z/(-6)*10/((-10)/(-9)). Suppose -2*o = -4*p + 3076, j*p + o - 473 = 1824. Is p prime?
False
Suppose 0 = 152*n - 158*n + 102. Let j(d) = 5*d**2 + 4*d - 2. Let i(l) = -14*l**2 - 13*l + 5. Let a(g) = 6*i(g) + 17*j(g). Is a(n) composite?
True
Let f be 12/(-1) - (15 - 17). Let c(t) be the second derivative of t**4 + 5*t**3/3 + t**2/2 - t + 5. Is c(f) prime?
False
Suppose 173*k = -3*v + 169*k + 9935, -2*v + 6595 = -3*k. Is v composite?
True
Let c(m) = 164*m**2 + m + 5. Let g be c(2). Let k be (-1 + -5)*1/(-2). Suppose -6*i + g = -k*i. Is i a prime number?
False
Let z(y) = 7*y**2 + 3*y. Let s be z(-1). Suppose -s*n - 8 = -x, 3*x + 12*n - 8 = 8*n. Suppose -x*m + 2121 = -5*g, -m - m = -g - 1059. Is m a composite number?
True
Let j(n) = -2*n**2 - 8*n + 5. Let l be j(-4). Suppose x + 4*t = -12, -15 = 4*x + x + l*t. Suppose -2*y - 4*u + 238 = x, -