*f + 2*p + q = -v*p. Is f composite?
True
Is -7 + (-1170)/(-6) + 6 composite?
True
Let s = -23 + 7. Suppose -2*m + 8*m = 156. Let j = m + s. Is j prime?
False
Let d = 1496 - -215. Is d a prime number?
False
Let h = 835 - 509. Suppose 5*r = -214 - h. Let f = 199 + r. Is f composite?
True
Let q be -2 - 15/(-5) - -2239. Suppose 3*c - 5*m = 1656, q = 4*c + m + 3*m. Is c composite?
False
Let g = 24932 + -17637. Is g prime?
False
Let c(x) = -x**2 + 3*x + 7. Let m be c(4). Suppose 0 = m*p - 616 - 407. Is p composite?
True
Suppose -2*a + 6*a + 3*z = 16600, -20747 = -5*a - 3*z. Suppose -a = -5*d + 2148. Is d composite?
False
Let r = 29 + -26. Suppose -p = -7 + r. Suppose 3128 = p*x - 3396. Is x prime?
False
Let b be (5 + -1 + -3)*16. Let g = b - 15. Is g/(-2)*(13 + -177) a prime number?
False
Let y = 818 - -3. Is y prime?
True
Suppose 3*q = 2368 - 8053. Is (-1 - 0)/((-5)/q)*-1 a composite number?
False
Let p(a) be the second derivative of -3*a**5/5 + a**4/12 + a**3/6 + a**2 - 17*a. Is p(-1) a composite number?
True
Let u be 3/3 + (-761 - 2)/1. Is ((-2)/(-1))/((-12)/u) a composite number?
False
Let i = -4 - 11. Let b = i + 18. Suppose 0 = -5*q + 3*h + 1324, -b*q + h - 4*h + 780 = 0. Is q composite?
False
Suppose -3*s + 30 = -3*h, -s + 31 = -4*h + 6. Suppose 5*c = 4*y - y - 621, 0 = 3*y + s*c - 591. Let v = -11 + y. Is v a composite number?
False
Suppose -57630 = -14*w + 53544. Is w composite?
True
Let p(k) = k**3 - 22*k**2 + 127*k - 137. Is p(62) composite?
True
Suppose -2*a - 2*v = -2516, -v - 876 = -3*a + 2886. Is a composite?
True
Suppose i + 12 = -5*i. Let v(k) = 291*k**2 - 6*k - 11. Is v(i) a composite number?
True
Suppose -11*h + 113576 = 4*k - 7*h, 0 = 2*h + 10. Is k a composite number?
True
Let h(f) be the first derivative of 3*f**3 + 3*f**2/2 - f - 4. Is h(-4) composite?
False
Let g(f) = 11*f + 9 + 82*f**2 + 0*f**3 - 76*f**2 + 4*f**3 - 5*f**3. Is g(7) prime?
True
Let w(r) = 126*r**2 + 15*r + 16. Is w(9) a prime number?
True
Suppose 3*k - 3129 - 21338 = 4*o, 4*k - 4*o = 32616. Is k composite?
True
Let r = 2482 - -6259. Is r a composite number?
False
Let r(y) = 563*y + 2. Let k be (-12)/(-3)*1 - 1. Suppose l - 4*l + k = 0. Is r(l) a prime number?
False
Let a(t) be the first derivative of -t**3/3 + 4*t - 5. Let u be a(3). Let n = 14 - u. Is n prime?
True
Suppose 2*s - 2*r + 0*r = 3148, s - 1568 = 3*r. Suppose -s = -4*q - 3*d, -2*q - 7*d = -6*d - 789. Is q prime?
False
Suppose 105*k = 53*k + 155948. Is k a prime number?
True
Suppose -9*n = -205109 - 97012. Is n a composite number?
False
Let i be (-244)/(-36) + (-8)/(-36). Suppose 5*l + 3 = -i. Is (97/2)/((-1)/l) composite?
False
Suppose 20*k + 700 = 19*k. Let y = -253 - k. Is y a prime number?
False
Is (1 + 0)*(-38 - -31) - -29350 a composite number?
True
Let c be (-12)/9 + 4/3. Suppose c = 3*y - 7*y + 1204. Suppose 0 = 4*d - 31 - y. Is d composite?
False
Suppose 3*u + 7695 = s + 4*u, -3*u - 9 = 0. Suppose -5*y + s = y. Is y prime?
True
Suppose 4*g - 5*n - 40 + 14 = 0, 0 = -4*g - 3*n + 42. Suppose -g*s = -6*s - 6054. Is s a prime number?
False
Let n(g) = 753*g**2 + 3*g + 1. Is n(2) composite?
False
Suppose 4*n + 7*m - 2472 = 3*m, -2*m - 2 = 0. Is n a composite number?
False
Suppose 4*v + v = 0. Suppose 4*q = 4*j - q - 1719, 2*q = -5*j + 2190. Suppose 4*t - j = -v*t. Is t prime?
True
Let s(k) = 7*k**2 + 37*k + 33. Let n(j) = -6*j**2 - 36*j - 33. Let b(t) = -3*n(t) - 2*s(t). Is b(-23) a prime number?
True
Let j(q) = 543*q - 2. Let h be j(1). Let s = h - -2758. Is s a composite number?
False
Let s(v) = v**3 + 45*v**2 - 66*v - 102. Is s(-46) a composite number?
True
Let d = -86 - -88. Suppose 2*l - t = 1039, -d*l + 1554 = l - 3*t. Is l a prime number?
True
Is 7 - 2 - (-17246 + -7 + 1) composite?
False
Suppose z = 5*v - 6927 - 19153, -2*z = 2*v - 10420. Suppose -39*n - v = -44*n. Is n composite?
True
Let q be -15 - 0*5/10. Is (-35)/3*q + 2 a prime number?
False
Let u = -13030 + 37499. Is u a composite number?
False
Suppose -5*y + 3*t + 10 = 0, -y - 14 - 1 = -4*t. Suppose -4*i = 2*f - 2, -y*i - 6 + 16 = 5*f. Is -2*f/12*-118 a prime number?
True
Suppose -1249 = -6*j - 241. Let p = 494 - j. Is p prime?
False
Suppose 3*p + k = 14213, -3*p + 2*k = -p - 9486. Is p prime?
False
Let k(j) = -23*j**3 + 6*j**2 + 53*j + 5. Is k(-7) composite?
False
Suppose -o = -2*w + 6, 0*o - 3*o + 3*w = 24. Is 6/o - (-4280)/50 a composite number?
True
Let f be 2*(-22)/(-4)*-2. Let i = f - -5. Let h = i + 166. Is h composite?
False
Let y = 13479 - 8300. Is y composite?
False
Is (-10)/(-2) - (7 - 223) a prime number?
False
Let f(v) = 9*v**2 + 3*v - 13. Let x(d) = 4*d**2 + d - 7. Let h(q) = -3*f(q) + 7*x(q). Let l be h(4). Is (l/(-4))/((-4)/(-4744)) a composite number?
False
Suppose -l - 36 = -5*l. Suppose -3890 = -l*b - b. Is b a composite number?
False
Let x be 1/(-2)*0/(-1). Let s(y) = 2*y. Let k be s(x). Suppose 2*i = -k*i - 6, 5*i = -a. Is a a prime number?
False
Suppose -49*a + 13*a = -922068. Is a a composite number?
True
Suppose -5*a - 120 = 5*q, 0*q = 5*a - 5*q + 140. Let t = a + 13. Let g(p) = p**3 + 13*p**2 - 14*p + 9. Is g(t) a prime number?
True
Let y(r) = r**2 - 6*r - 9. Suppose -4*b + 12 = -16. Let d be y(b). Let k(v) = 12*v**2 - 4*v - 3. Is k(d) a prime number?
True
Suppose 4*w - 20*w + 47344 = 0. Is w a composite number?
True
Suppose 223*b + 135553 = 234*b. Is b a composite number?
False
Suppose 0 = -z - 3*w + 5, 6*w - 3*w = 2*z + 17. Is z/(-20) - (-2254)/5 prime?
False
Let n(r) = 13308*r**3 - 8*r**2 + 12*r - 3. Is n(1) prime?
True
Let m(w) = 14*w**3 + 8*w**2 + 20*w - 21. Is m(8) prime?
False
Let c = -232 + 150. Let y be -1*201 - (0 - -2). Let p = c - y. Is p a composite number?
True
Suppose -2*o + 4630 = -0*o. Suppose 0 = 47*f - 52*f + o. Suppose f + 792 = 5*u. Is u a prime number?
True
Suppose 3*t - 1866 = -4*y + 2*y, 5*t - 3085 = 5*y. Let a(d) = d**3 + 2*d**2 + d. Let c be a(-1). Suppose 5*h - h - t = c. Is h prime?
False
Suppose 4*y - 20 = -4*m, -22 = -y - 3*y - 3*m. Suppose 18*p - 12001 = y*p. Is p a composite number?
False
Is (97 + -96)/((-2)/(-142602)) composite?
True
Suppose 11 = -2*x + 13, x + 47451 = 4*t. Is t a prime number?
True
Let o(c) = 56*c + 74. Suppose 5*u - 30 = 2*u. Is o(u) a composite number?
True
Let b be (-77)/5 + 3/(-5). Let x = b + 21. Let l(p) = p**3 - p**2 - 5*p + 7. Is l(x) a prime number?
False
Suppose -t + 3*m + 5 = 0, -4*t - t - 3*m = -43. Let h(q) = -7*q + 0 + t - 3*q - 1. Is h(-6) a composite number?
False
Suppose 4*q - 104492 = -4*f, -2*q - 5*f + 0*f + 52261 = 0. Is q/30 - (-4)/10 prime?
False
Let j = -5402 + 2818. Is ((-3)/6)/(4/j) a composite number?
True
Let v(p) = p**3 - 3*p**2 - 6. Let d be v(3). Let n(q) = -8*q**3 - q**2 + 7*q + 21. Is n(d) a composite number?
True
Suppose 22 = 5*o + 7. Suppose 7*t = o*t - 16. Is (-2109)/(-4) - t/(-16) prime?
False
Let u be 94/(-30) - (-4 + (-116)/(-30)). Is ((-2)/u)/(50/102075) composite?
False
Let q = 324 + 235. Is q composite?
True
Let p be 856/6*(-174)/4. Let d = p + 3696. Is (d/(-15))/(6/9) prime?
True
Suppose -5*y - 2*x + 10577 = -4145, 2*x - 2938 = -y. Suppose -1352 = -7*i + y. Is i prime?
False
Suppose 5*u = -5, -3*i = i + 4*u - 80. Let v be 5244/i + (-8)/(-28). Suppose p + 360 = 4*x, v = 3*x - 5*p - 37. Is x prime?
True
Suppose 3*z - 448 = -w + 213, -4 = 2*w. Suppose -4*a + 951 = -z. Is a a composite number?
False
Let m be (24/36)/(2/(-39)). Let d = 30 + m. Let q = d - -22. Is q composite?
True
Let a be -2 - ((20 - 22) + (0 - -3)). Is (-241000)/(-350) + 2/(-14)*a prime?
False
Let g(n) = -71*n + 24. Let o = -5 - 5. Is g(o) prime?
False
Suppose -3*y - 2 = -4*y. Suppose -2*i - 4981 = -19*i. Suppose 0 = 3*p - y*p - i. Is p a composite number?
False
Is (-216105)/(-21) + 176/28 + -6 composite?
True
Let x be 2*(20/(-16))/5*-4. Suppose -x*g - 116 = -862. Is g prime?
True
Is (1 + -5)*(-34305)/12 a composite number?
True
Suppose 5*a - 7*a = p - 9, 5*p - 21 = 2*a. Suppose a*z + 1323 = z - 2*t, -4*t + 2670 = -2*z. Let o = z + 2248. Is o composite?
False
Suppose -2*d - 37 = 5*q, -q - 38 = 3*d + 3*q. Let o(k) = 12*k**2 + 7*k - 1. Let f be o(d). Let x = f + 89. Is x a prime number?
False
Let p = 52 + -49. Suppose y - p*q = 205, 3*q + 0*q + 627 = 3*y. Is y a composite number?
False
Suppose -3*r + 5*f - 19 + 3 = 0, 2*f - 4 = 2*r. Is (r/2)/(33/233