Let k be (-1)/((-4)/(-8)*-1). Suppose -99 = 4*r - 5*r. Suppose k*q - 381 = -r. Is q a prime number?
False
Let t(z) = 6*z**2 - 78*z + 3. Let b be t(13). Let l(q) = -3*q + 8. Let y be l(-9). Suppose 0 = 4*m - b*m - y. Is m a composite number?
True
Suppose c - 169 = 42. Is c a composite number?
False
Let k(a) = 3609*a + 118. Is k(7) prime?
False
Let x(o) = -2099*o + 113. Is x(-4) a composite number?
True
Let s(y) = 22*y**2 + y + 13. Is s(-6) a composite number?
True
Suppose -101 = -4*y + 131. Is (y/3)/(-1 - 426/(-414)) a prime number?
False
Suppose -5*j + 3*u + 34971 = 0, -4*u - u - 10 = 0. Suppose -2083 = 10*h - j. Is h prime?
True
Let h = 23 - 63. Is (-44020)/h + (-3)/2 a composite number?
True
Let y(x) = -662*x - 47. Is y(-20) composite?
True
Let y(j) = 5*j**2 - 8*j + 4. Let l be y(-4). Suppose -2*x = -2*k - l, 3*x + 2*k - 43 = 2*x. Is x prime?
True
Let z be (-1 - -2)*-13*-1. Suppose -14*w + z*w + 5 = 0. Is 55/w*(-1 + 2) a composite number?
False
Suppose -10*y = -8*y - 4. Suppose y*z = 575 + 831. Is z a composite number?
True
Let n(i) = -i**2 - 4*i + 10. Let t be n(-5). Suppose 3*w + 0*z = 5*z + 2731, -917 = -w + t*z. Is w a prime number?
True
Let t be 5/(-60)*3 + (-930)/(-8). Is t + (-4 - (0 + -7)) composite?
True
Is (-3468675)/(-90) - -3 - (-5)/(-6) composite?
False
Suppose 55621 = 10*u + 11711. Is u a prime number?
True
Suppose -2*z + 29162 + 94507 = 5*g, -4*g + 98942 = 5*z. Is g prime?
True
Let f(l) = l**2 - 3*l - 5. Suppose -4*m - 16 = 4*u, -3*u + 5*m - 10 = 18. Is f(u) composite?
True
Let v = 12 + -9. Suppose -y - 4*t + 13 = 0, -v*y + 4 = -y - 3*t. Suppose -y*u + 284 = -771. Is u a composite number?
False
Let f = 36 - 38. Is (-19705)/(-7)*f/(-2) a composite number?
True
Let y(r) = -r**3 - 16*r**2 + 21*r - 1. Is y(-18) prime?
True
Suppose -5*g - 2*u = -38, -5*g = 5*u - 18 - 32. Let j(l) = -l + 9. Let v be j(g). Suppose a = v*a - 502. Is a a prime number?
True
Let b = 12 + -7. Suppose i - 6258 = -b*i. Is i a prime number?
False
Let h(c) = 389*c**2 - 6*c + 9. Is h(2) composite?
False
Let v(h) = -5*h - 6. Let q be v(2). Is (q/(-6))/((-6)/(-9)) - -751 composite?
True
Let t be (-6)/60*8*(-4 + -1). Suppose t*w - 25 = -w, m = 3*w + 1466. Is m a composite number?
False
Suppose 0 = 3*i + 2*i - 10. Suppose 2*m = i*p - 2854, -p - 4*m = p - 2830. Is p composite?
False
Let t(h) = 80*h. Let g be t(-1). Let z be g/(-6) - 4/12. Let c = 172 + z. Is c prime?
False
Suppose -o = -2*u + 19973, 5*u - 49913 = -121*o + 117*o. Is u a composite number?
True
Let b = -1 - -1. Let j = -20 - -23. Suppose -j*y = 2*m - 166, 2*y + b*m = -4*m + 100. Is y composite?
True
Suppose -10*l + 205 = -2725. Is l a prime number?
True
Suppose -2*v + 15 = -0*v - 3*n, -3*v + 3*n + 15 = 0. Suppose v = -2*a - 5*a + 6041. Is a prime?
True
Let n be (-3)/(-5) - 294870/(-50). Suppose 4399 = 7*c - n. Is c a prime number?
True
Let c = -4367 - -6298. Is c composite?
False
Suppose -3488 + 727 = -o - 4*m, 4*o - 11098 = 2*m. Suppose -5*p - o = -7038. Is p composite?
False
Let y = 34354 + -19371. Is y a composite number?
False
Suppose -2*x = x + 10908. Suppose -6*y + v + 18 = -2*y, -4*y + 5*v = -26. Is x/24*y/(-3) a prime number?
False
Suppose -13*y - 13 = -39. Let s(b) = 216*b**2 + 4*b - 10. Is s(y) prime?
False
Let d(f) = -1. Let s(k) = 68*k + 12. Let r(n) = 28*d(n) + 2*s(n). Let y be r(-6). Let i = -489 - y. Is i composite?
False
Is (2*(-772)/8)/(2/(-6)) prime?
False
Let z = 2858 - -1036. Let h = -2779 + z. Is h a prime number?
False
Suppose -3*d - 13513 = -5*k - 4*d, 3*k + d - 8109 = 0. Suppose 4*h + 3*a = 2717, -2*a - k = h - 5*h. Is h prime?
True
Let s = -27 + 47. Suppose v + 10 = 4*o - 7, 4*v = -s. Suppose -24 = -o*g + 51. Is g a composite number?
True
Suppose 134*s - 153*s + 11989 = 0. Is s a composite number?
False
Is ((-8)/(-48))/(3/171198) a composite number?
False
Let y(d) = -d**3 - 5*d**2 + 9*d - 52. Is y(-9) a prime number?
True
Let o(r) = -5 + 9 - 2 + 11*r. Is o(4) prime?
False
Suppose 1 = -2*b + w, 3 = -b - 2*w + 10. Is (-1748)/(-12)*(2 + b) composite?
True
Suppose 3 = -9*b - 6. Let o = -46 - -118. Let v = b + o. Is v prime?
True
Suppose 0 = -5*t + 2*j + 243765, -5*t + 56*j = 55*j - 243760. Is t a composite number?
False
Suppose 3*p - y = p - 2, -4*y = 3*p - 8. Suppose p = -2*i + 2170 + 1692. Is i prime?
True
Let x = -2373 + 3790. Suppose 5*f - 23 - 2 = 0, x = 3*a + 2*f. Is a composite?
True
Let n = 77 + -72. Let m(t) be the first derivative of 2*t**3/3 - t**2/2 + 6*t + 2. Is m(n) composite?
True
Let w be 32/3 - (-2)/(-3). Let v be (-136)/(-4)*(2 - 6/4). Let b = v - w. Is b a prime number?
True
Suppose -15*m = 4*m - 52079. Is m composite?
False
Suppose 9*p = 6*p. Is 446 - (p - 4)/(-4) a composite number?
True
Let y = 27 + -27. Suppose -4*w + 5*s + 122 = 0, w + y*s - 23 = 5*s. Is w composite?
True
Suppose -2*o + 3*v = -26942, -53*o = -57*o - v + 53884. Is o a composite number?
True
Let w(r) = -16 + 14 + r + 56*r**2 + 6 + 8*r. Is w(9) a prime number?
True
Let i(q) = q. Let v be i(-3). Let d be v/(-9)*-10*-30. Let x = d + -47. Is x a prime number?
True
Let a = -214 + 509. Suppose 1039 = 2*w - a. Is w a composite number?
True
Let z(f) = -f - 120. Let t be z(0). Let g = t - -278. Is g a composite number?
True
Let o = -12868 - -21521. Is o prime?
False
Let y = 1700 + -353. Suppose 0 = -6*w + 3*w + y. Is w composite?
False
Suppose 0*a + 4*a - 2*g = 3900, a - 975 = -g. Let r = a + -646. Is r prime?
False
Suppose 2*u - 15 - 3 = 0. Suppose 0 = -4*t + 7*t - u. Suppose t*q + 379 = 4*l, -4*l + 4*q = 5*q - 391. Is l a composite number?
False
Let o(z) = -43*z**3 + 5*z**2 - 2*z + 12. Let t(x) = -44*x**3 + 6*x**2 - 3*x + 13. Let g(q) = 6*o(q) - 5*t(q). Is g(-4) composite?
True
Suppose 39558 = -3*a - 20706. Let m be (-1)/5 - a/90. Suppose 0 = 14*k - 15*k + m. Is k a prime number?
True
Let r be -4*5/(14 - 4). Is 17668/(-42)*(r - (-2)/4) a prime number?
True
Let o be (-37)/(-7) - 4/14. Suppose 5*h + 905 = -5*s, 0 = o*h - 5*s + 3*s + 933. Let v = 24 - h. Is v prime?
False
Suppose 0*u - 3*u + 364 = 2*y, 4*y = -3*u + 368. Let o be ((-1)/(-2))/(1/u). Suppose 2*p - 170 = o. Is p a composite number?
True
Let r(q) be the first derivative of 41*q**3/3 + 2*q**2 - 2*q + 6. Is r(5) composite?
True
Let n(l) = 233*l**2 - l. Let m be n(-1). Suppose 2*i - 3*i = -m. Let o = i - 140. Is o prime?
False
Suppose -17*g + 54197 = -6*g. Is g prime?
False
Suppose 34*i + 377530 = 44*i. Is i composite?
True
Let s be -3 - (-2)/((-2)/(-3)). Suppose s = -2*x + 713 + 1189. Is x prime?
False
Let m(r) = 14*r**3 - 9*r - r**2 - 9 + 4*r**2 + 6*r + 0*r**2. Is m(5) a composite number?
False
Let s = 2178 - 1267. Is s prime?
True
Let b be (-2 - -1)*(60 + (-1 - 1)). Let x = b - -1467. Is x a prime number?
True
Let l = 8409 + -3539. Suppose -14*z = -4*z - l. Is z a prime number?
True
Let m = 7109 - 3676. Is m prime?
True
Let x(r) be the second derivative of -25*r**3/3 + 18*r**2 - 17*r. Is x(-7) composite?
True
Let c be (2/1 - -2)*14625/(-60). Let h = 1192 - c. Is h composite?
True
Suppose 6*g - 20354 = -4880. Is g prime?
True
Suppose -5*j = -4*j + 3. Let q(v) be the third derivative of -v**6/120 - v**5/60 + v**4/24 + 2*v**3/3 + 16*v**2. Is q(j) a composite number?
False
Is (-5366)/(3/21*-2) a prime number?
False
Is (-1 - -1) + (13609 - (23 + -11)) a prime number?
True
Let w be 30/4*7/(-21)*4. Is w/(-35)*14*(-1414)/(-8) a composite number?
True
Let m be 7/(-21) - (-1016)/(-3). Let v = m - -489. Let b = 265 - v. Is b prime?
False
Let a = 5 - 3. Suppose 0 = 31*z - 29*z. Suppose a*q - q - 35 = z. Is q a composite number?
True
Let w be 55792/80 - 4/10. Suppose -83 = -2*s + w. Let l = 283 + s. Is l a composite number?
False
Let w(v) = v + 9. Let c be w(-5). Suppose -c*d = -d - 3999. Is d a prime number?
False
Suppose -4*j = 4 - 12. Let l(i) = -8*i - 4. Let y be l(j). Is 1*158*y/(-8) composite?
True
Let x(w) = w**2 - w - 2. Let z be x(-2). Suppose -4*m - 2*r = -1990, r = -4*r + 15. Suppose -4*f - z*s + m = 0, -f + 5*s = -133 - 9. Is f a prime number?
True
Let n = 5 - -7. Is 1305/5 - n/3 prime?
True
Let v be 6/3 + (-1 - -5). Let r = 21 - v. Suppose 3*y - r = 0, y = -j - 3*j + 649. Is j a composite number?
True
Let z(u) = 4*u**2 + u - 6. Let j(g) = 3*g**2 + g - 6. Let m(q) = -7*j(q) + 6*z(q). Let d(p) = 6*p**2 + 52*p + 24. Let n be d(-8). Is m(n