v be 1*-1*(-9328)/11. Suppose 7*k - 9*k = -v. Let z = k - 221. Is z composite?
True
Is -82645*4/(-20) + -10 a composite number?
False
Let f be (-10)/15*18/(-2). Let y = f + 12. Is (3 + (-32)/12)*y a composite number?
True
Let g = -29051 + 45928. Is g composite?
True
Let a(x) = -4*x**2 + 236*x - 17. Is a(45) a prime number?
True
Let z = 26 + -27. Is ((-2 - -214) + z)*1 a composite number?
False
Suppose -2*g + 17 - 11 = 0. Suppose 2*m - 422 = g*a - 4*a, 229 = m - 4*a. Is m a prime number?
False
Suppose -5 = -5*b + 6*b, 0 = -5*z + 2*b + 9725. Is z composite?
True
Suppose -14*z + 6 = -12*z. Suppose z*w - 7518 = -3*w. Is w prime?
False
Let x(u) = 14*u**2 + 11. Let a be (-2)/8 - (-406)/56. Is x(a) a prime number?
False
Suppose v - 4*v - 4*t = -6568, t = -2*v + 4382. Let b = v - 1221. Is b composite?
False
Suppose 0 = 3*p + 18 + 30. Let s(a) = -22*a - 17. Let d(k) = 44*k + 33. Let w(q) = 6*d(q) + 13*s(q). Is w(p) composite?
True
Let t = 33 - 37. Is t + 7240/15 - (-3)/9 prime?
True
Let b(s) = 7*s**2 + 4*s + 6. Let y be b(10). Let v = y + -448. Suppose 16*m = 14*m + v. Is m composite?
False
Suppose -c = 2133 - 442. Let w = -1174 - c. Is w prime?
False
Let v(k) = -136*k + 299. Is v(-17) a prime number?
False
Let g = -14 - 5. Is ((-452)/(-6))/(1 - g/(-21)) a composite number?
True
Let y(v) = 3*v**3 - 5*v**2 - 3*v + 7. Let z be y(5). Is (-2710)/(-22) + (-44)/z a composite number?
True
Is 7*(-10 - (-159990)/70) a prime number?
False
Let g = 5199 + -2286. Is g a prime number?
False
Let w be ((-2)/7)/1 + 168235/(-35). Is w/(-22) + 6/(-4) a prime number?
False
Suppose 6*g = -y + 3*g - 11, -4*y + 3*g + 16 = 0. Is (-1 + 0)/(y + 6612/(-6609)) a prime number?
True
Let k = 24689 + -16048. Is k composite?
False
Let s(o) = 4*o**2 - 25*o + 2. Let w(a) = 3*a**2 - 17*a + 1. Let q(t) = -5*s(t) + 7*w(t). Let k be q(-6). Let z(m) = -m**3 + 3*m**2 - 1. Is z(k) prime?
True
Suppose -5*o = 4*s - 3538, 3*o - s - 988 = 1128. Is o a prime number?
False
Let b(k) be the third derivative of -k**6/120 + 3*k**5/10 - 3*k**4/8 - 17*k**3/6 - 7*k**2. Is b(9) a prime number?
True
Is ((-19 - -12)/35)/(1/(-12955)) prime?
True
Let f be ((-5)/(-15))/(2/18). Suppose -m + 5*z + 244 = 0, 0 = f*z + z - 8. Is m a prime number?
False
Suppose 9*g = 7*g + 302. Let r = 273 - g. Is r prime?
False
Suppose 2*m = 3*w - 64, -m = 2*w - w - 13. Let i be 1948/18 - 4/w. Suppose -2*n + 22 = -i. Is n prime?
False
Suppose b - 14 = -5*l, -7*l = -4*b - 2*l + 6. Let o be (-2)/(0 + b/(-6)). Suppose t + 0*t + i - 212 = 0, 2*t = o*i + 419. Is t a prime number?
True
Let j(u) = -358*u + 58. Is j(-6) prime?
False
Let g(c) be the first derivative of -39*c**2 + 25*c + 15. Is g(-13) a prime number?
True
Suppose -9126 = -10*a + 12964. Is a a composite number?
True
Let j(w) = 3*w**2 - 9*w - 13. Let u(d) be the first derivative of -3*d**2/2 - 3*d - 2. Let s be u(-4). Is j(s) a composite number?
False
Suppose -38183 = -5*j - 3*g, 7651 = j + 5*g - 8*g. Is j a prime number?
True
Let s = -39 - -1314. Let b = s + -572. Is b prime?
False
Let b = 9 - 13. Let q be ((-16)/(-2) - 4)/1. Is 3198/q*b/(-6) a prime number?
False
Suppose -5*f = 2*c - 26, 3*f - 7*f + 2*c + 10 = 0. Is (-4158)/(-6) - (f - 8) a composite number?
True
Suppose -3*k - 11 = 2*i, -5*i - 15 = -0*k + 5*k. Suppose -3*a + 1487 = i*l, 3*a + 3*l = -l + 1477. Is a a prime number?
True
Suppose -3*n = -1 - 11. Suppose -x - 606 = 4*i, 2*x = n*x + 5*i + 1218. Is (-2 + 1)*x/2 composite?
False
Suppose 17*l - 7*l = 6*l. Suppose a = -2*z + 207, l = -3*a - 2*z - 3*z + 623. Is a composite?
False
Suppose m = y + 2409, 12090 = 5*m + 8*y - 4*y. Let u = 2847 + m. Is u prime?
True
Let f = 9 + -13. Is (f + (-1950)/(-4))*2 prime?
True
Suppose 2*l + 0*l + 8 = 0, -4*a + 72300 = 2*l. Is a a composite number?
False
Let l(t) = 13*t**2 - 3*t - 5. Suppose -v - 20 = 4*v + f, -2*v = -5*f + 35. Is l(v) prime?
False
Let p = 1 + 17. Let c = p - 14. Suppose -c*o = -315 + 103. Is o a composite number?
False
Let a(w) = -36*w + 113. Let o be a(3). Suppose 5*j + 0*j = -2*u + 2484, -4*j = -2*u - 1998. Suppose -h + j = o*h. Is h prime?
True
Suppose 119354 = 9*w - 434137. Is w composite?
True
Let y(w) = 305*w**2 + 3*w - 13. Is y(3) prime?
True
Let g(k) = -118*k - 88. Let b be g(-16). Suppose 2*a + 4*s = b + 1602, -a = -4*s - 1677. Is a composite?
False
Let u(p) = 683*p**2 - 4. Is u(-3) prime?
True
Let g(x) = x**2 + 7*x + 8. Suppose -w - 7 = -2, -4*f - 41 = w. Is g(f) a prime number?
False
Let j be 10/(3 - 2) - 1. Suppose j*w = 8*w + 521. Is w composite?
False
Suppose -4*q = -q - 36. Suppose -4*c = 5*g + 15, c + 6*g = 2*g - q. Suppose -3*o + 122 = -2*o - 3*a, c = 3*o - 4*a - 351. Is o composite?
False
Is 989656/10 - 9*(-10)/(-150) a prime number?
False
Let u be ((-2)/(-6))/((-4)/(-60)). Suppose o - u*b = 212 + 105, -5*o - 2*b = -1585. Is o a composite number?
False
Let j = 1735 + 672. Is j a prime number?
False
Let o = -429 + 1500. Suppose -o = -2*l + 1927. Is l composite?
False
Let i be (-8)/24 - 17/3. Is ((-29331)/11)/(-3) - i/33 a prime number?
False
Let a(g) be the second derivative of -4*g - 1/20*g**5 + 3*g**2 - 1/2*g**3 + 5/12*g**4 + 0. Is a(4) composite?
True
Let h be 4/(-14) - 27566/(-98). Let t = h - -260. Is t a prime number?
True
Let z(h) = 1468*h + 199. Is z(6) a prime number?
True
Let c(g) = g**3 + 7*g**2 + 6. Let q be c(-7). Let p(o) = -o - 11. Let i be p(-7). Is i/q + 431/3 composite?
True
Suppose 25*a + 6 = 27*a. Suppose -5*h = a*h - 1016. Is h composite?
False
Let t = 18 - 11. Suppose t*k - 241 = 18. Is k composite?
False
Suppose -2*k - 4*b = -7064, 4*k - b = 4849 + 9243. Suppose k = 5*d - 11131. Is d composite?
True
Let s(t) = -t + 6. Let r be s(4). Let c(g) = -3*g - 2*g**2 - r - 3*g**3 + 6*g**3 + 3*g**3. Is c(5) composite?
False
Let s = -7819 + 19720. Is s prime?
False
Let z = 25 - 23. Suppose 6*v - v = -4*l + 3395, z*l - 679 = -v. Is v prime?
False
Let j(c) = 18*c**2 - 15*c + 26. Is j(11) prime?
True
Let j = 8 - 5. Suppose 0 = -j*n + 2 - 11. Is 521/(1*n/(-3)) a composite number?
False
Let v = -89 + 89. Suppose -783 = -5*q - v*q + k, -5*q + 3*k + 779 = 0. Is q a prime number?
True
Suppose f - 28 - 18 = -o, -15 = -5*o. Suppose -f = 3*x + 17. Is 4038/15*x/(-8) a prime number?
True
Suppose 0 = -2*h - 6, 5*g - 3*h - 1128 = 2*g. Is g a composite number?
False
Suppose 4*g - 5*i = 16, 4*g + 4*i - 16 = 5*i. Suppose -4*x = g, 3*b - x - 189 = 2*x. Suppose -17 = -s + b. Is s a prime number?
True
Suppose -4*h = -4*q + 5*q + 380, 5*q + 20 = 0. Let c = h + 213. Is c a composite number?
True
Let u(i) = 4*i**2 - 2*i + 1. Let m be u(1). Suppose 0 = -d + 699 + 1670. Suppose m*q - 22 = d. Is q a prime number?
True
Suppose -5*l = 3*c - 3656, -l + 5*c - 369 = -1117. Is l a composite number?
False
Let k(w) = -w - 7. Let q be k(-9). Suppose q*t = 3*x - 0*t - 2667, 2*x + 4*t - 1778 = 0. Is x prime?
False
Let d(j) = 3*j**2 - 44*j + 13. Let k(c) = c**2 - 15*c + 4. Let g(l) = 4*d(l) - 11*k(l). Let n be g(9). Is ((-358)/5)/(2/n) a composite number?
True
Suppose 0 = -2*h - 5*i + 9*i + 916, 4*h = -5*i + 1858. Suppose 2*v = h + 292. Is v composite?
True
Suppose 3*z + 13 = -4*x, -4*x + 14 = -8*x - 2*z. Let c(o) = -63*o - 1 + 0 - 26*o. Is c(x) prime?
False
Let t(i) = 7*i + 66. Let s be t(-9). Let q be 21/(-1 - 0) - -1. Let c = s - q. Is c a prime number?
True
Suppose 5*w + 1 = 2*a, 0*w + 15 = -5*a - 5*w. Let k be 447/(-6) + (-1)/a. Let q = k - -123. Is q a composite number?
True
Let u be 2/(3 - (1 - (-3 + 3))). Is ((-870)/(-9) - -5)*(4 - u) a composite number?
True
Suppose 0 = 5*p + s - 25977, 6*p - 2*p = s + 20787. Suppose 2*w - p = -838. Is w a composite number?
False
Let q = -63 - -29. Let y = -18 - q. Let g = y - 1. Is g composite?
True
Suppose -12 = -p - 10, -4*n + 5*p + 5866 = 0. Is n prime?
False
Let f = 33429 - 13912. Is f a composite number?
True
Let i be 8 + 1*-6 + 2. Is ((-361)/(-4))/(i/16) composite?
True
Let n(d) = -d**3 - 4*d**2 + 3*d - 4. Suppose 0 = -s - 1 - 4. Let w be n(s). Suppose -w*h + 424 = 2*h. Is h a prime number?
True
Let b be (63/(-27))/(1/(-3)). Let w(q) = -11 - 24*q + 9 - 10 - b. Is w(-10) a prime number?
False
Is (6 + 235/(-40))/(3/347064) prime?
True
Let y = 2515 + 1406. Is y composite?
True
Let m = 2789 - -6604. Let i = m + -6511. Suppose 207 = -5*l + i. Is l a composite number?
True
Suppose