 -423 = -11*d + 325. Suppose -d + 202 = 2*j. Is j prime?
True
Let l(g) = 26756*g**2 + 52*g + 101. Is l(-2) a composite number?
False
Let r(a) = -2*a + 32. Let b be r(0). Let f = b - 28. Suppose -4*v = -20, -v - f*v + 1029 = 2*m. Is m composite?
True
Suppose 0 = 4*c + 3 + 5. Let g(j) = -52*j**3 - 3*j**2 - 2*j + 2. Let u be g(c). Suppose 4*q = u + 114. Is q a prime number?
True
Let g(b) = 2*b**3 + 5*b**2 + b + 1. Suppose t + 0*x + 7 = -3*x, -3*t = 4*x + 16. Let u be g(t). Let w = u - -118. Is w a composite number?
False
Suppose -4*s = -3437 - 7071. Is s a composite number?
True
Suppose 0 = 4*c + 3*y - 4433, 2*c - 4*y + y = 2221. Is c a prime number?
True
Let v be 83040/(-195) - (-2)/(-13). Suppose g + 106 = -174. Let r = g - v. Is r composite?
True
Let r(n) = 5*n**3 + 4*n**2 - n - 2. Let d be r(5). Suppose -4*i + 3078 = -d. Is i composite?
True
Let k(g) = 4492*g**2 - 4*g + 5. Is k(1) composite?
False
Suppose -4 = 15*l - 17*l. Suppose -l*w + 858 = 24. Is w composite?
True
Let f(w) = -2*w**3 - 3*w**2 - 3*w - 9. Let c = -8 + 11. Suppose q - 5*m = 1, -c*q - 4*m = -0*m + 16. Is f(q) a prime number?
True
Let j(h) = -2*h**2 - 15*h - 17. Let k be j(-6). Is 181 - (-1 - 2 - k) a composite number?
True
Suppose -3*x - 3*v + 6 = 0, 0*v + 4*v = 0. Suppose 5*w + 5 = -4*k - 5, -x*w - 4 = k. Suppose g - 4 + 1 = k. Is g a prime number?
True
Let t(v) = -v**3 + 11*v**2 - 7*v + 8. Let i be t(7). Let s = 2208 - i. Is s a composite number?
False
Suppose -6910 = -7*c + 2043. Is c a prime number?
True
Suppose 61278 = 38*w - 32*w. Is w prime?
False
Let h be 2*2*6/8. Suppose -3*o - 2237 = -4*d, -2*d - 2*d + 2267 = h*o. Is d a prime number?
True
Let u be ((-1)/(1/1))/1. Suppose 4 = 2*o - 2*c, 4*o - 2*c = 1 + 11. Is (u + o)*(-19)/(-3) a composite number?
False
Let q be -20*(-5)/((-40)/(-1796)). Let n = q + -3143. Is n composite?
True
Is (-2)/(-7) - (-1)/(21/123831) a prime number?
True
Let i(l) be the first derivative of l**3/3 + 223*l + 8. Is i(0) a composite number?
False
Let m(g) = 11*g**3 - 5*g**2 - 9 - g + 13 - 13. Is m(4) a prime number?
False
Let r(k) = 338*k + 109. Is r(5) a composite number?
True
Suppose 120 = 3*z - 15. Let x = 1 + 13. Let d = z - x. Is d composite?
False
Let r = 542 + -288. Let d = r - 97. Is d a composite number?
False
Let w(z) = -4*z - 5. Let f be w(-6). Suppose f*x - 296 = 15*x. Is x a prime number?
False
Let j be (-4)/((-5)/((-5)/(-2))). Let u be 8/(-6)*171/(-114). Suppose -6*b - 2*q = -u*b - 2590, j*q + 6 = 0. Is b a composite number?
True
Let k = -30 + 6. Is (2/16 - (-27)/k) + 888 a composite number?
False
Let q(w) = 9*w + 206*w - 3 + 5*w. Is q(1) composite?
True
Let v = 40689 + -9122. Is v a prime number?
True
Let u be 90/20 - 1/(-2). Suppose -4*l + u*g + 707 = -3*l, 0 = -5*g - 10. Let c = l - 486. Is c composite?
False
Let x(a) = 6*a**2 - 2*a + 1. Suppose b = 4*i, -2*i - 7 = -3*b + 3*i. Is x(b) composite?
False
Suppose 3*v = -94 + 49. Suppose -46 = -o - 0*o. Let z = o + v. Is z a prime number?
True
Let o = -21 - 125. Is -1*(o - -2) + -2 + 3 a composite number?
True
Suppose 5*l - 62240 = 352965. Is l a composite number?
True
Let m(l) = 88*l + 2. Let i(a) = 31*a - 1. Let p(g) = 94*g - 4. Let b(n) = 7*i(n) - 2*p(n). Let k(y) = -17*b(y) + 6*m(y). Is k(2) prime?
False
Is ((-9948)/5 - -2)/((-4)/10) prime?
True
Suppose -15 = 2*q - 5*q. Suppose 4*k + 40 = d + 3*d, 2*d + 3*k = -q. Suppose 515 = d*m - 590. Is m a composite number?
True
Let g be 862*1/6 - (-2)/(-3). Suppose -5*w + g = -927. Is w composite?
True
Let a(j) = j - 6. Let m be a(8). Suppose -m*q - 6 = q. Is 222 + 3 + q + 0 composite?
False
Suppose -1741 = 24*z - 25*z. Is z composite?
False
Let f(i) = -66*i - 5. Let l be f(-5). Let t = l - 221. Suppose -r - 22 = -k, -2*k + 3*r = 3*k - t. Is k a prime number?
True
Let g be (-15 + 16)/(-1 - (-2)/4). Is ((g - -115)*-1)/(-1) prime?
True
Let j = 3 - 15. Let h = j - -14. Suppose 5*o = 3*g + 166, 0*o - h*g = -o + 29. Is o a composite number?
True
Let p be ((-3248)/(-20))/((-2)/25). Let o = -1357 - p. Is o prime?
True
Suppose -2*p + 4*p = -392. Let i = 607 + p. Is i a composite number?
True
Suppose 3*g + 2*p - 94357 = 0, g - 70*p - 31455 = -72*p. Is g a prime number?
False
Suppose -8 = 4*z, 2*z + 4879 = 3*j + 3*z. Suppose 4*v - j = -3*n, 3*v = 4*n + n - 2702. Let q = n - 330. Is q a prime number?
True
Let a(p) = -5*p**3 + p**2 - p + 2. Let d be (1/2)/((-2)/8). Let c be a(d). Let g = c - -21. Is g composite?
True
Let b(f) = f**3 - 43*f**2 + 48*f + 35. Is b(43) a composite number?
False
Is (-727)/(7 - (-216)/(-30)) composite?
True
Let b(o) be the third derivative of -o**6/120 - o**5/15 + o**4/3 + o**3 + 97*o**2. Suppose -2*h - 23 = -3*a, -23 + 6 = 2*h - a. Is b(h) composite?
False
Let t = 69 + -29. Let s be (t/(-16))/((-1)/2). Suppose 254 = s*i - 3*i. Is i composite?
False
Suppose 2*d - 2*z = 3*z + 95866, d + z - 47933 = 0. Is d composite?
False
Suppose -2*i = -1 - 3. Let u be i + 3 + 131 + 2. Suppose y = -3*n + u, -2*n = y + 40 - 131. Is n composite?
False
Suppose -u - 3*u - d = -1333, -3*u + 998 = -d. Suppose c + 3*n - 2045 = 0, -2*c + 3757 = 4*n - u. Suppose 5*w - c = -0*w. Is w composite?
False
Suppose 0 = -35*w + 46*w - 26521. Is w a composite number?
False
Suppose -3*o + w + 167 = -0*o, -4 = -w. Let l be (3 - (-2 + 5)) + o. Suppose -2*k + 90 = -0*k - 4*u, -k + l = -5*u. Is k composite?
False
Suppose 23590 = 5*j + 54*f - 57*f, 3*j = -3*f + 14178. Is j composite?
False
Suppose 3*x - 3 = 2*x. Suppose -4*l - x*w + 5291 = 0, 3*l + 3*w - 3977 = -w. Is l prime?
True
Let u(r) be the second derivative of 79*r**4/6 + 5*r. Let g be u(-2). Suppose -4*o + 4*a + 32 + 604 = 0, 4*o - 5*a = g. Is o a prime number?
True
Let y = 19 + -14. Suppose j - 15 = 4*h, -y*h + 14 = -4*j + 41. Suppose j*q - 609 = -3*p - 189, -5*p + 120 = q. Is q a composite number?
True
Suppose -226*v = -224*v - 141214. Is v prime?
True
Suppose 4*n + 2*o = 7 - 1, n - 5*o - 18 = 0. Let i(u) = -24*u + 7. Let h be i(n). Is (h + 3)/((-12)/30) prime?
False
Let f(x) be the first derivative of x**6/40 - x**5/30 - x**4/6 + x**3/3 + 2*x**2 - 10. Let s(r) be the second derivative of f(r). Is s(3) prime?
True
Let f = 29 - 23. Is (-2)/4 - (-357)/f a prime number?
True
Suppose -235864 = 203*u - 211*u. Is u prime?
True
Let y(l) = 58*l + 2. Let j be y(-2). Let b = 199 + j. Is b a composite number?
True
Let w(o) be the first derivative of -o**4 - 10*o**3/3 - o**2/2 - 10*o - 6. Let q be w(8). Is q/(-21) - (-2)/14 composite?
True
Suppose 4*u - 14 = 2. Let p be (-192)/(-36) + u/(-3). Suppose -300 = -3*n + 2*d + 143, -n + 161 = -p*d. Is n composite?
True
Suppose -w = 10*n - 8*n - 105605, 0 = -4*n. Is w a composite number?
True
Let h = 448 - 56. Suppose -9*t + h = -751. Is t a composite number?
False
Let t(s) = -s**3 + 2*s**2 + s - 6. Let z be t(0). Is z/(-30) - (-969)/5 a composite number?
True
Suppose 3*v = -7 + 13. Suppose -x - 1347 = -v*x. Is x a composite number?
True
Suppose 1607 + 24241 = 8*a. Suppose -5*c + 124 = -a. Is c prime?
False
Let a = -35 - -24. Let b = -8 - a. Suppose 642 = 3*o - b*y, 173 = o - 2*y - 38. Is o prime?
False
Let l be -1*(1 - -1)*266. Let x = l - -909. Is x prime?
False
Let n(k) = 61*k**2 - 2*k + 4. Let l be n(2). Let i = l + -129. Is i prime?
False
Suppose 0 = -4*o - 0*o + 2*i - 16, -3*i + 8 = 2*o. Let g be (o - 1) + 2 - -7. Is 3/2*212/g a prime number?
True
Let j(z) = 387*z**2 - 5*z + 5. Suppose 2*u + 11*h - 15*h = -16, -5*u - 15 = -5*h. Is j(u) composite?
False
Let c be 9130*1 + -1 - -1. Suppose 0 = -6*q - 1054 + c. Is q a composite number?
True
Suppose -5*x = -2*g - 28, 0 = -3*x - x + 2*g + 24. Suppose k + 3*k + 4*a - 16620 = 0, 0 = k + 4*a - 4155. Suppose x*h - 7*h = -k. Is h prime?
False
Let b be 2 + (0 - -2 - 1). Suppose 61834 = 91*w - 48*w. Suppose -2*i + w = 5*r - b*i, -5*r - i = -1432. Is r prime?
False
Is (-146)/50 + 3 - 2313773/(-25) a composite number?
False
Suppose -23*m + 15197 = -16*m. Is m a prime number?
False
Let f = -712 + 1141. Let j = f - 238. Is j composite?
False
Suppose -2*n - 2*n = 0. Let s = -10 - -7. Is (233 - s) + (1 - n) a composite number?
True
Let j be 2/((-9)/((-4941)/6)). Suppose -115 = -2*r + j. Is r prime?
True
Is 3683*-2*((-6)/4 - -1) composite?
True
Let n = -2714 + 4369. Is n prime?
False
Let x = 7 - 5. Is (19 - -2) + x/(-1) a prime number