2 + 8*g - 3. Let u be b(6). Is (u - 2)/(3 - 2) a composite number?
True
Let o(q) = 17041*q - 333. Is o(4) prime?
False
Is -1*2 + 16 + 9323 prime?
True
Is (1 - (1280 + -2))/(-1) prime?
True
Let i(p) = p**3 - 14*p**2 - 16*p + 9. Let v be i(15). Is 4491/v*4/(-6) a prime number?
True
Let v(k) = -6*k**2 + 29. Let n(m) = 18*m**2 - m - 87. Let x(g) = 3*n(g) + 8*v(g). Is x(8) a prime number?
True
Let o = -5 - -10. Suppose -4*f - 4 = 0, o*z - 2*z - f - 4354 = 0. Is z composite?
False
Is (3 + 0)*-2*(-2942)/12 prime?
True
Let g(a) = a**2 + 14*a + 18. Let n be g(-13). Suppose n*w - 2*w = 1473. Is w prime?
True
Let c be ((-4)/(-12) - -3)*-3. Is 5/75*3 + (-52568)/c a prime number?
False
Let v(s) = s + 20. Let h be v(-12). Suppose h*r + 10 = 10*r. Is (-2218)/(-4) + r/(-10) a composite number?
True
Suppose -o + j = 21, -3*o + 6*o + 5*j = -63. Let z = o + 26. Is ((-2)/(-4))/(z/2110) a composite number?
False
Let r(m) = -m + 2. Let i be r(6). Let s be (12/9)/(i/6). Is (-1)/(-1) + 184 - s composite?
True
Let a(y) = y**2 - 4*y - 3. Let p be a(5). Suppose 1 = -p*r - 3*q + 2, 4*r = q + 9. Suppose 0 = -4*d + 16, 522 = 3*w + r*w - 2*d. Is w a prime number?
False
Let s = 19 - 16. Suppose -2*o - 9 - s = -5*d, -2*d = 2*o - 2. Let h = 21 - d. Is h composite?
False
Let p(k) = k**2 - 2*k. Let g = -29 + 31. Suppose 1 = -h - g. Is p(h) a prime number?
False
Let s(r) = -18*r**2 + 3*r - 14. Let z be s(11). Let n = -358 - z. Is n a composite number?
False
Suppose -c + 3*c = 0. Suppose c*v - 6 = -3*v. Suppose v*h - 33 = h. Is h prime?
False
Suppose -4*o + 6*o = -4. Is (o/4)/(3/(-8454) + 0) prime?
True
Suppose -463 = -7*l + 3016. Let t(w) = 4*w**2 - 2*w + 1. Let b be t(1). Is (-6 + l)*(b - 2) prime?
True
Let v = 24 + -40. Let n = v - -23. Let f = n + -3. Is f a composite number?
True
Is (-2 + 212580/16)*4 + -2 a prime number?
False
Suppose 2181 = b - 298. Is b prime?
False
Suppose 4*j = -3383 + 29067. Is j prime?
True
Let c(t) = -t + 1. Let s be c(-4). Suppose -s*l - 3*d = -403, -2*d = 4 + 4. Suppose -8 = -2*p, 4*b + 2*p = b + l. Is b prime?
False
Suppose p + 5*h - 37975 = 0, 151800 = -p + 5*p - 5*h. Is p composite?
True
Let o(b) = -3*b**2 + 5*b**3 + 60 + 2*b**2 - 57 - b - b**2. Let v = 15 - 11. Is o(v) a composite number?
True
Let g(v) = 11*v + 22. Let n be g(-2). Suppose 5*c - 2*h - 13881 = n, -5 + 3 = -h. Is c a composite number?
False
Suppose 5*p = -3*i - 23 - 22, -26 = 3*p + 2*i. Let n(c) = 0*c**2 + 6*c + 1 - 3*c + 3*c**2. Is n(p) a prime number?
True
Let t be 48/(-21) - (-2)/7. Let p be ((-7)/2 + t)*-12. Let l = p + -45. Is l prime?
False
Let r = 102 + -88. Let v(n) = n**2 - 4*n - 45. Is v(r) prime?
False
Let m(t) be the third derivative of 43*t**6/120 - t**5/120 - t**4/24 - 2*t**3 - 9*t**2. Let n(r) be the first derivative of m(r). Is n(1) prime?
True
Let p = 14571 - 9602. Is p a composite number?
False
Suppose 2*r - 7*r = -860. Suppose -r = -3*w - 0*a - a, 0 = -4*w + 4*a + 224. Is w a prime number?
False
Is (3 - 19/5)/(14/(-669235)) prime?
False
Suppose -6*f + 5*d + 247021 = 0, 41172 = -9*f + 10*f + d. Is f a composite number?
True
Let v(u) = -378*u**2 + 3*u - 3. Let a be v(2). Is 3/(-9)*(a + 0) prime?
True
Suppose 10*w - 6*w = 8. Suppose 17 = -4*l - 5*i, w*i - 15 = 5*i. Suppose 3*f - 206 = -z, -z + 227 = l*f + 26. Is z a prime number?
True
Suppose h - 3 = 5*n - 13, h + 4 = 3*n. Suppose 0 = 5*p - 5*r - 2475, h*p = -r + 2399 + 52. Is p a prime number?
True
Suppose 18712 = 4*k + 5*j, 4*j + 14065 = 3*k - 0*j. Let w = k + -1820. Is w a prime number?
False
Let r be (-3 - (-2 - -2))*472/(-6). Suppose -4*g = -1912 + r. Is g prime?
True
Let h(f) = 131*f**2 - 4*f - 13. Is h(-4) a composite number?
False
Let t(z) = -34*z**2 + 4*z - 5. Let r be t(5). Let j = 1006 - -476. Let a = r + j. Is a prime?
True
Let r(s) = s**3 + 12*s**2 - 2*s - 10. Let b be r(-11). Suppose 0 = -3*i + b + 176. Suppose -3*f + i = -f - u, -f = 5*u - 68. Is f a composite number?
False
Suppose 0 = -5*a - g + 6, g = -a - g - 6. Suppose -a*o - 6 = -0. Let s(l) = -l**3 - 2*l**2 - 3*l + 1. Is s(o) composite?
False
Suppose 3*s + 9033 = 4*o, 10*o - 6*o - 9032 = 4*s. Suppose -l = -0*l - 18. Is (o/l)/(2/4) prime?
True
Let k(i) = 4*i**2 + 22*i + 11. Let u be k(-5). Let m(q) = 487*q. Is m(u) a prime number?
True
Suppose 5 = -3*n + 14. Let x be 8/20*(n + 2). Is (x/(-6))/((-6)/2682) prime?
True
Suppose 24 = -c + 3*c. Let r(p) = p**2 - 13*p - 16. Let w be r(c). Is ((-203)/(-14))/((-2)/w) a prime number?
False
Let q = -1942 + 3105. Is q prime?
True
Let a(q) = 129*q**2 + 5*q - 31. Is a(4) composite?
False
Let d(z) = -12*z**3 + 4*z**2 - 6*z + 5. Let c = -25 - -29. Let h(x) = 11*x**3 - 4*x**2 + 5*x - 4. Let m(u) = c*h(u) + 3*d(u). Is m(3) composite?
True
Suppose 0 = r - 77 - 40. Let h be -1 + -1 + (63 - 1). Let z = h + r. Is z a composite number?
True
Suppose 0 = 13*y - 9*y - 43988. Is y a prime number?
False
Let f(k) = -5*k + 12. Let u be f(4). Is 99905/52 - (-2)/u composite?
True
Let c be 1010/4 + 12/(-24). Let l(r) = r**3 - 3*r**2 - 3*r - 4. Let v be l(4). Suppose -3*d - 2*d - 25 = v, -d + c = g. Is g a prime number?
True
Is (-13809)/(-5) + 7/((-280)/32) a composite number?
True
Suppose -10*k + 7*k = 0. Suppose -n - 3*o = -804, k = 2*n + o + 2*o - 1617. Is n prime?
False
Suppose 3*k + 1193 = r - 0*r, 4*r + 786 = -2*k. Is k/((-1)/(4/4)) prime?
True
Suppose 3*p - 8*p + 13 = -4*g, -p = 2*g + 3. Is (-1)/((p - 1) + (-2)/638) composite?
True
Let r(m) = 2*m**2 - 6*m - 3. Let t(h) be the second derivative of -h**4/12 - 5*h**3/6 + 5*h**2 + 7*h. Let b be t(-7). Is r(b) composite?
False
Let z = -471 + 1262. Is z composite?
True
Let w(r) = 3*r - 17. Let h be w(7). Let b = -1 - -3. Suppose -h*p = -5*s - 3*p + 425, b*s + 5*p = 170. Is s prime?
False
Is 5*(-638339)/(-65)*1 composite?
False
Suppose 3203 = 3*r - 1753. Suppose 4*k = 3*q + 3325, 0 = 2*k + q + q - r. Is k prime?
True
Is 24116*(10/4 + 36 + -38) a prime number?
False
Let o = 426 - -381. Is o composite?
True
Let r(u) be the second derivative of u**5/20 - u**4 - 13*u**3/6 - u**2 + 8*u. Let j be r(13). Is 17 - (j + 8/(-4)) composite?
True
Suppose z - 3*t + 8 = 0, z + 2*t = 24 - 7. Suppose 2*r - z*r + 280 = 0. Suppose 3*d + 17 = r. Is d prime?
True
Let y = -5677 - -10994. Is y a composite number?
True
Let m be (-8)/10 - (-24)/5. Is (-2)/8 + (-3173)/m*-1 composite?
True
Let h be ((-6)/(-4))/(1/2). Suppose -b - 902 = -2*g, 2*b - 1788 = -g - h*g. Is g prime?
True
Let b(g) = 5*g**2 + 4*g - 5. Let y be b(7). Suppose w + w = y. Suppose -7*p + 5*p + w = 0. Is p composite?
False
Suppose 4*h = -122 + 782. Suppose 0*m - h = -m. Let d = m + -44. Is d prime?
False
Suppose 3*y - 3*s - 1025 = s, -5*s - 1027 = -3*y. Let l = y + -194. Is l a composite number?
True
Let u(p) = 2*p**2 - 8*p - 17. Is u(14) composite?
False
Let y = 16 + -5. Suppose 0 = -y*d + 6*d + 2255. Is d a composite number?
True
Let g(h) = 243*h**2 + 111. Is g(14) a prime number?
False
Let y be 3/((-45)/(-474))*-60. Is 8 - (4 - 1) - y a prime number?
True
Suppose -16*p = -7*p - 117837. Is p a composite number?
False
Let r(v) = -10*v**3 + 13*v**2 - 30*v + 203. Is r(-20) prime?
False
Suppose -s = -2*s + y + 8327, -8335 = -s - 3*y. Suppose s = 3*d - 5*f, -5*d - 2*f + 13861 = -0*f. Is d composite?
True
Let l be -84*(284/12 + 0). Let p = -1291 - l. Is p composite?
True
Let m = -92 - -72. Is ((-12490)/m)/(1/2) a composite number?
False
Let w = -108 + 33. Let j = w + 113. Is j prime?
False
Suppose -37 = 2*s - s. Let l = 28 - s. Is 1 + (0 - 1) + l a prime number?
False
Let t be (27/(-12) + 0)*-344. Let o = t - 253. Is o prime?
True
Let t(f) = 382*f**2 + 7*f + 7. Let g(n) = 191*n**2 + 3*n + 3. Let k(l) = 7*g(l) - 3*t(l). Is k(-1) a prime number?
True
Let x = -7313 - -14808. Is x composite?
True
Let z be 2793/3 + 3 - 1/(-1). Suppose a + 4*a - 25 = 5*l, a - 5*l - 25 = 0. Suppose -t - u = -z, a = -t - u - 3*u + 941. Is t a composite number?
True
Suppose 0 = -29*i + 4*i + 180475. Is i composite?
False
Suppose 3*o = 75 + 42. Suppose -5*r = 3*a - 306, 3*a - 29 = -r + 265. Let l = a - o. Is l composite?
True
Suppose -d + 188 = -5*v + 72, 3*v = 3*d - 60. Let h = -28 - v. Is 248 - (h - -8 - 7) composite?
False
Suppose -2*q + 5 + 1 = 0. Suppose 4*l + f = -0*l - 5, q*l - 15 = 3*f. Let u(p) = -p + 62. Is u(l) composite?
True
Let m(d) = d**3 - 31*d**2