= 973*g + 57758. Is g a composite number?
False
Let z be ((-14085)/6)/5*6. Let x = 24005 + z. Is x/10 - (-9)/45 prime?
False
Suppose -3*v + 12 = -2*u, -3*v + u + 15 = -2*u. Suppose -v*z - 1134 = -4*z. Let b = z - -832. Is b prime?
True
Let k = -5351 + 9644. Let y = 7220 - k. Is y a composite number?
False
Suppose 5*g + 3*l - 143592 - 115850 = 0, -3*g + 155663 = 4*l. Suppose 4*i = -v + 207451, i = 2*i - 5*v - g. Is i/40 + 2/5 prime?
True
Let k = 217 + -142. Let j = 81 - k. Suppose 0 = j*m - 234 - 528. Is m a composite number?
False
Suppose 33*l - 28*l - t = 175890, 2*l - t = 70353. Is l a composite number?
True
Let s(w) be the third derivative of -55*w**4/24 - 17*w**3/6 + w**2 - 2. Is s(-4) composite?
True
Let k(a) = -2*a**2 - 2*a + 628. Let z be k(0). Let r(m) = 2*m - 1. Let l be r(-1). Is (l/(-2))/(6/z) prime?
True
Suppose -d + z = 3*z, -5*z - 25 = 0. Suppose -2*j = -0*j - d, 0 = 3*k - j - 7168. Is k prime?
False
Suppose -100*u - 14 = -102*u. Suppose 2*w = -5*b + u*b + 64536, 0 = -5*w - 2*b + 161305. Suppose 0 = 6*d + 5*d - w. Is d composite?
True
Let s = 13953 - -2612. Is s a composite number?
True
Suppose 0 = 27*q - 29*q + 10. Suppose 3*t + 12 = -0, 2*f - 72966 = -q*t. Is f prime?
True
Let j(s) = 16278*s**2 - 3*s + 4. Let h be j(3). Is -2*(-6)/32 + h/104 a prime number?
True
Let y = -5127 + 13374. Is y a composite number?
True
Let o(h) = 314*h**2 + 6*h - 3. Let t = 550 + -554. Is o(t) a prime number?
False
Let z = -4905956 - -8369437. Is z prime?
False
Let k(o) = -2*o**2 - 20*o - 15. Let t be k(-9). Suppose 0*g - 2*g = -6, t*a = -5*g - 8355. Let u = -1883 - a. Is u a prime number?
True
Let k be 297*1/((-2)/2). Let q be (-2)/(6/(-2367)) + 5. Let l = q + k. Is l prime?
False
Let n(t) be the third derivative of 17/6*t**3 - 7/20*t**5 + 0*t + 0 - t**4 + 16*t**2 - 1/120*t**6. Is n(-20) a prime number?
True
Suppose -5*h - 18049 = 2076. Let k = 217 - h. Suppose 0 = -2*r + 2*y + k, -9*r + 4*r + y = -10597. Is r composite?
True
Suppose -38*t - 51*t + 3224328 - 621167 = 0. Is t a composite number?
True
Suppose -5*w - 4*h + 96421 = 0, -h + 96439 = 21*w - 16*w. Is w prime?
True
Let n(u) = -2*u**3 - 7*u**2 - u + 3. Let p be n(-6). Suppose f + 69 = p. Suppose -f = -2*g + 50. Is g a prime number?
False
Suppose 0 = -6*t + 21 - 3. Let i be 3/(-18)*-3*(t - 3). Is 0 + (-1 - i - -650) a composite number?
True
Is (13 - (-5 - -9)) + 34412 composite?
False
Is (-5 + 3550209/26)*2 a prime number?
True
Let x(m) = -14*m**3 - 3*m**2 + m + 2. Let u(p) = p**3 - 5*p**2 + 3*p + 6. Let r be u(3). Let t be x(r). Let h = 909 + t. Is h prime?
True
Suppose 5*u + 3*a = -2190, -2*u + 4*a = 2*u + 1720. Let s = u + -216. Is (2 - s/9)/((-2)/(-30)) a prime number?
False
Suppose -916*k - 49146 - 18153 = -919*k. Is k a prime number?
True
Let g(x) = -13 + 2*x - 1 - 8 + 3. Let b be g(12). Suppose -b*c = -5*z + 4885, -z + 0*z - 2*c + 977 = 0. Is z prime?
True
Suppose -2*r + 11 = 1. Suppose -s + 2 + r = 0. Suppose -s*f = -492 + 149. Is f prime?
False
Let k = 236123 + -145810. Is k a prime number?
True
Let u be (-6)/30 + (-3314)/5. Let n = u - -1580. Is n a composite number?
True
Suppose -d + 5*d = -4*p, -2*d = -3*p - 15. Let c(s) = -53*s**3 - 2*s + 1. Is c(p) a prime number?
False
Let u = 597842 - 316699. Is u composite?
True
Let m(f) = -121*f - 2. Let b be (3/2 + -2)*(-3 - 7). Suppose 3*n - 1 = -4, 1 = 4*c - b*n. Is m(c) a composite number?
True
Suppose -92*q - 30 = -97*q, -4*v = -5*q - 2394838. Is v a composite number?
True
Let o be 1*-4 + -54 + 59. Is (1 + o)/(16/8)*3041 a composite number?
False
Let q(h) = 1292*h**2 - 186*h + 4839. Is q(29) a composite number?
True
Suppose -3*l - d + 62793 = -197980, -5*l = 4*d - 434631. Is l composite?
False
Let s(o) = -2*o - 41. Let c(i) = i + 42. Let p(r) = -7*c(r) - 6*s(r). Let v be p(9). Is 2852/16 + v/(-4) a prime number?
True
Let o(x) be the third derivative of 73*x**5/30 + 3*x**4/8 - 49*x**3/6 + 95*x**2. Is o(6) a prime number?
True
Let n(f) be the second derivative of 13*f**3/6 + 45*f**2/2 - 12*f. Is n(8) composite?
False
Let v(w) = 18*w**3 + 19*w**2 - 9*w - 3. Let u be v(9). Is (u/15 + -6)*1*5 composite?
True
Let v(w) = 4*w + 28. Let x be v(-7). Suppose 7*z + z - 16 = x. Suppose -2*a + 655 = l, -5*a + z*l + 993 = -2*a. Is a composite?
True
Let r(t) = 13*t**3 + 4*t**2 - 2. Let j be r(1). Suppose 17*s + 2*v - 1422 = j*s, -3*v + 3547 = 5*s. Is s a prime number?
False
Let c = -108786 + 281378. Suppose 3*d - 129441 = -4*i, -4*i + c = -9*d + 13*d. Is d a composite number?
False
Is (-17445904)/(-42) - (-4)/16*(-4)/(-3) composite?
False
Let f(i) = 2*i + 32. Let w be f(-13). Let o be 45230*(-4)/(-24) + (-2)/w. Suppose o = 3*t + 5*l - 809, -2*l = -t + 2775. Is t composite?
True
Suppose 32*b - 36 = 20*b. Suppose 3*y + 2*y + 2963 = b*p, 3*p = 2*y + 2969. Is p a composite number?
False
Suppose -2*v + 2*c - 654 + 176 = 0, 0 = 2*v + 4*c + 460. Let r = 346 + v. Let u = r - -447. Is u a prime number?
True
Let t(b) = b**3 - 27*b**2 + 36*b - 53. Suppose m = 4*p - 140 + 31, -2*p + 51 = 3*m. Is t(p) prime?
True
Let o = 3159 - 1328. Suppose -3709 - o = -5*b. Suppose 0 = 2*y + 5*j - 2577, -3*y - 4*j + 2761 = -b. Is y a prime number?
True
Suppose -10*m - 52 = -8*m. Let r = m + 37. Is (-700)/(-3) + r/(-33) a composite number?
False
Let t be (-2)/(-3) - (3 - (-13)/(-3)). Let g(m) = 63*m**2 + 75 - 18 - 3*m - 2*m - 62*m**t. Is g(-24) composite?
True
Suppose -5*o = -2*q + 3, -3*q + 12 - 5 = -5*o. Is (-1 - (-18)/24)/(o/(-13964)) a composite number?
False
Suppose q + 2*q = 3*a + 35844, -3*a + 5*q = 35850. Is a/(-5)*(0 + 1) composite?
False
Suppose 4*r + 2*t = 4, -6*r - 3*t = -9*r + 12. Suppose 5*d - r*c = 8285, -2*c - 3793 = -2*d - 473. Is d a composite number?
True
Suppose -170*q + 218536384 = 50156654. Is q a prime number?
True
Suppose -9*x = -24*x + 45. Suppose -3*j = 4*u - 4253, j - x*j - u + 2827 = 0. Is j composite?
True
Let s = 52534 - -143539. Is s prime?
True
Let b(p) = -p**2 - 12*p + 24. Let g be b(-14). Is 8012 - (-3 - g)*(3 + -2) a composite number?
False
Let y(g) = -1247*g + 1209*g - 2284*g. Let a be y(1). Let r = 3273 + a. Is r a composite number?
True
Let a = -268 + -890. Let r = 12913 - a. Is r a prime number?
True
Suppose 0 = -3*t + 24, -t + 1950213 = 4*i + i. Is i composite?
True
Is ((-111)/666)/((-5)/4393110) prime?
True
Suppose -27*u - 2625 - 3207 = 0. Let w = 523 + u. Is w a prime number?
True
Let g(t) = 3*t**2 + 9*t + 7. Suppose 16 = -3*c + 136. Suppose 3*y + y = c. Is g(y) composite?
False
Let q(p) = 5 - 28*p + 13*p**2 - 5 + 16*p**2 - 41. Let n be q(-23). Suppose -4*r + n - 1565 = -5*l, 4*l - 10823 = -3*r. Is r a prime number?
False
Suppose 20*q + p = 16*q + 804609, p = -3*q + 603458. Is q a composite number?
False
Suppose 20 = 4*z - 0*k - 4*k, 5*z - 26 = 4*k. Let w(p) = -6*p + 8 + 3 + 2 + 12*p**2. Is w(z) a composite number?
False
Suppose -117 = -2*v + 1637. Suppose -482 = -j - 5*m - 184, -2*m - v = -3*j. Is j prime?
True
Suppose 2*m + 4*h - 452 = -h, 0 = -4*h. Suppose 282 + m = 4*p. Suppose 0 = 2*g - 3*g + p. Is g prime?
True
Let p = 14854 - 1347. Let s = -5150 + p. Is s a prime number?
False
Let r(a) = -42 - 80*a + 92*a - 33*a - 62*a. Suppose 5*m + 8 = -17. Is r(m) a prime number?
True
Let b(t) = -3*t**2 - 86*t + 32. Let i be b(-29). Let w(j) = 1515*j**2 - 16*j + 4. Is w(i) a prime number?
True
Let g(n) = -60*n + n - 35*n + 12*n - 5. Is g(-18) a composite number?
False
Let m = 140357 - 12580. Is m prime?
False
Let f(z) = 46*z + 9. Suppose 3*x + 13 = 4*x. Let m = -6 + x. Is f(m) prime?
True
Let i = 217794 - 24829. Is i composite?
True
Suppose 5*d + 224 = -9*d. Is (-45512)/d - 3/2 a prime number?
True
Suppose 0 = -229*v + 240*v - 210914. Is v composite?
True
Let s(d) = 214*d**2 + 82*d + 1607. Is s(-34) prime?
True
Suppose -g = -5*c - 0*c - 7193, -4*c - g = 5758. Suppose 367 + 399 = -b. Let p = b - c. Is p prime?
True
Suppose 0 = 3*l - 2*r + 383 - 1850, -4*l + 1973 = 3*r. Is l composite?
False
Suppose 50*g = 54*g - 48. Let l(a) = a**2 - 15*a + 37. Let i be l(g). Suppose 2*s = -6, -i - 159 = -j - s. Is j a composite number?
False
Let m(n) = 3*n - 22. Let i be m(7). Let s(h) = -3*h - 6. Let o be s(i). Is 61 - o/((-12)/8) prime?
True
Suppose 1479 - 14058 + 330 = -9*k. Is k a prime number?
True
Let q(k) be the first derivative of -k**4/2 + 8*k**3/3 