 - 3571. Let m be s(4). Is c(m) a prime number?
True
Suppose 2*v = -5*w + 12, 4*w + 22 - 58 = 5*v. Suppose 0 = w*o + 12, 5*s - 3*o + 1920 = 15284. Is s composite?
False
Let a be 12 - (2 + -1 + 3). Let r(u) = u**3 - 4*u**2 + 3*u - 7. Let s be r(a). Let m = s - 146. Is m a prime number?
True
Let t be -1 + 2 + 2 + (-44)/(-1). Suppose t = -2*d - 449. Is (-1 - 147)*d/32 a composite number?
True
Is -4*15/(-10) - (-5 - 13560) composite?
True
Let a(w) = w - 3. Let n be a(2). Is 7899 - (1 - (n + 16/4)) a composite number?
False
Suppose -6*w - 6*w + 40836 = 0. Let p = 7156 + w. Is p prime?
True
Suppose -29*h + 55*h = -29016. Let j = h - -1849. Is j composite?
False
Let m(w) = 22*w - 18. Let n be m(1). Suppose -n*s + c + 4*c + 23371 = 0, -5*c - 11693 = -2*s. Is s prime?
True
Let j(b) = -78*b - 965. Let n be j(36). Suppose 0*q + 4*q - 24368 = 0. Let w = n + q. Is w composite?
True
Let c = -781 + -816. Let x = c - -3823. Suppose 12*u + x = 18*u. Is u prime?
False
Suppose -4*i + 1823594 - 165189 = -634631. Is i a prime number?
False
Suppose -57*a + 147924 - 55356 = 0. Let k(d) = 214*d**2 + d. Let w be k(-1). Let q = a - w. Is q a prime number?
False
Let r = -31167 + 46649. Is r a prime number?
False
Let g be -5 + -4 + (11 - 0). Suppose -d = -3, -g*b + 5*d = 2*b - 12269. Is b prime?
False
Let m be (20/16)/(3/(11 - -1)). Suppose 0 = m*x + o - 2043, -5*x + 1235 = -2*x - 4*o. Is x a prime number?
True
Is 5 + 2684/(220/(-264) - (-43)/48) a composite number?
True
Let n be 8632/(-5) + (-124)/(-310). Let h be 14759/6 + (-4)/(-24). Let s = n + h. Is s prime?
False
Let n be (-3)/(-9) - 580/(-15). Let z be 4/((n/(-18))/(-13)). Let u = 142 - z. Is u prime?
False
Suppose -45*k - 209 - 61 = 0. Is 8842/k*(-12 + -6 + 12) a composite number?
True
Is 92392956/60 - (1/15)/(25/(-150)) composite?
False
Let h(m) = -5*m**2 - 23*m + 9. Let o(i) = 4*i**2 + 23*i - 8. Let j(c) = -5*h(c) - 6*o(c). Let l be j(23). Is (6 - l) + (-4 - -2 - -680) a prime number?
False
Suppose -61*s + 67*s = 4*w + 141610, 3*w = -4*s + 94418. Is s composite?
False
Let y(z) = z**3 + 5*z**2 + 13*z - 2. Let b be y(-4). Is (-227239)/(-9) + -4 + b/(-9) a prime number?
False
Suppose 83*c - 2724330 + 589819 = 0. Is c prime?
True
Suppose -13*w + 6343592 = 8*w - 3866587. Is w a prime number?
False
Let u be 1/(3/(-243)) + -3. Let c be (-3)/(-7) + (-300)/u. Let j(d) = 283*d - 18. Is j(c) a composite number?
True
Suppose -1425*b - 10774100 = -1445*b. Is b a composite number?
True
Let f(a) = 7*a**2 - 28*a + 27. Suppose 72 = 6*r - 30. Is f(r) a prime number?
False
Is ((-618984)/(-48))/(3/34) a composite number?
True
Let x = 947219 - 446700. Is x a composite number?
False
Let n be (-24)/(-20)*2*10/(-4). Is (8/n)/(7 + (-233)/33) composite?
True
Let u(p) = 22*p - 29. Let t(g) = -g**3 + 7. Let k be t(0). Let r(x) = -68*x + 87. Let n(d) = k*u(d) + 2*r(d). Is n(12) a prime number?
False
Let f(g) be the second derivative of 187*g**5/60 - g**4/4 - 7*g**3/6 + 7*g**2/2 + 35*g. Let k(t) be the first derivative of f(t). Is k(-2) a composite number?
True
Let l = 1201570 - 232337. Is l a composite number?
False
Let t = -51 + 61. Suppose 0 = -4*a + y - 0*y + 2, t = 5*y. Suppose 2*k - 9 - a = 0, 2*m + k = 663. Is m prime?
False
Suppose -14*s - 658868 = -24*s - 18*s. Is s composite?
False
Let a be 88/(-10)*105/(-21). Suppose 46*r - a*r = -4*c + 4318, 2*r = -5*c + 4321. Is r a prime number?
True
Let f(u) = -u**2 - 3*u + 4. Let h be f(-3). Let v = -3204 - -3214. Suppose 0 = v*i - h*i - 8742. Is i prime?
False
Let w = -6093 - -1715. Let f = w - -14241. Is f a prime number?
False
Let v(k) = -9*k**2 + 17*k - 33. Let s be v(10). Let i = 1650 + s. Is i prime?
True
Let g(f) = 3*f**2 - f + 2. Let c be g(1). Suppose -i - 69 = -c*i. Is i*-3*19/(-3) prime?
False
Let m(o) be the first derivative of 3*o**3 + 7*o**2 + 16*o + 47. Is m(-19) prime?
True
Let w(o) = 228*o - 25. Let x(r) = 116*r - 13. Let a(t) = 6*w(t) - 11*x(t). Suppose g - 12 = -0*g. Is a(g) prime?
True
Suppose -6 = -14*t + 15*t + g, 5*t = -4*g - 35. Let r(v) = -1350*v + 311. Is r(t) a composite number?
False
Let h(c) = -7*c**2 + 15*c - 29. Let g(d) = -5*d**2 + 14*d - 29. Let t(r) = 3*g(r) - 2*h(r). Let z be t(6). Suppose -z*v = -v - 43698. Is v composite?
False
Let j = 110 + -104. Suppose 14*b = 13*b - j. Let w(y) = 24*y**2 + 15*y + 13. Is w(b) a composite number?
False
Suppose 5*g - 11298 = -3*z, 15*g - 17*g - 7516 = -2*z. Is z a prime number?
True
Let f(h) = 510*h - 47. Let o = 325 + -317. Is f(o) prime?
False
Let q(c) = 513*c. Let r be q(-2). Let v be 156/260 + (-13762)/(-5). Let i = r + v. Is i a composite number?
True
Let b(n) = n**3 - 11*n**2 - 9*n + 5. Let k be b(9). Let t be 2/(-4) - -3*(-2415)/10. Let f = k - t. Is f a prime number?
True
Suppose 0 = -171*u + 174*u - 9336. Suppose -64417 = -11*z + u. Is z a composite number?
True
Is 11706412/28 - (-6)/5*150/210 a prime number?
True
Suppose -4*d + 6496 = -1112. Suppose -13*q = -581 - d. Is q prime?
True
Let k(z) = -5*z - 5. Let a be k(3). Suppose 0 = 3*y - 7*y - 84928. Is 12/a - y/20 a composite number?
False
Suppose -a + 4*x = 5*x - 571, 2*a = -5*x + 1145. Suppose 2*w = 8*w + a. Is (1 - w/3)/((-16)/(-24)) a composite number?
True
Suppose -6*d + 11*d - 20 = 0. Let i(f) = -4*f - 3*f + 2 + 0*f - d. Is i(-3) composite?
False
Suppose b + 3 = -1, -2*s = 3*b + 8. Suppose -3*v = -s*x - 30, -4*v - 5*x - 4 + 21 = 0. Is (v - 3) + (336 - 4) composite?
False
Let r = -397 + 895. Suppose r = 3*q - 66. Let f = q - -3. Is f prime?
True
Let y = -727808 + 1095829. Is y a prime number?
True
Let w(m) = -4*m**3 + 19*m**2 - m + 15. Let o(l) = -5*l**3 + 20*l**2 - 2*l + 16. Let r(f) = -5*o(f) + 6*w(f). Is r(-13) prime?
True
Suppose -4*n = 2*x + 1102, 0 = -6*x + 2*x + n - 2204. Let v = x - -951. Suppose 4*f + 814 = 4*z + 3*f, -v = -2*z - 3*f. Is z composite?
True
Suppose 0 = -13*i + 20*i - 63. Let g be 4/(-6) - (-7 - (-2685)/i). Let r = 441 + g. Is r a prime number?
True
Let u(r) = -6297*r**3 - 14*r**2 - 42*r - 34. Is u(-3) a composite number?
True
Let g = 44 - 38. Let k(n) be the first derivative of 5*n**3 + n**2 - n - 59. Is k(g) composite?
True
Suppose -40*m + 8125 = -53*m. Let y = m - -788. Is y a composite number?
False
Let p = 105274 - 60863. Is p a prime number?
False
Let g be 1/(7/560) - (0 - -2). Suppose -g*f + 4904 = -70*f. Is f prime?
True
Suppose -108*p + 50*p = -51*p. Suppose 4*c = -20, 3*c = l + 5*c + 7. Suppose -3*o + 15 = p, -u + 35 = u - l*o. Is u composite?
True
Suppose -13*f - r + 5519301 = 0, 2*r + 849106 = -2*f + 4*f. Is f prime?
False
Suppose -4*h - 3*x - 8 = 0, -2*h + 6*h - x = 8. Suppose 0 = -2*g + 23 - h. Let t(f) = 4*f**2 - 14*f - 13. Is t(g) prime?
True
Let h = 372 - 372. Suppose -3*k - 3*f = -13626, h*f = -4*f + 20. Is k a prime number?
False
Let r = 431391 + -78064. Is r prime?
False
Let w(a) = 5*a - 9 - 4*a**2 - 12*a - 4 - 3*a**2 + 26*a**3. Is w(7) a composite number?
False
Is ((-300)/25 - (-1443975)/12) + (-1)/4 composite?
False
Suppose -4*g - 3050 = -2*p, 2*g + 3*p + 128 = -1409. Suppose -5*d + 16612 = -d. Let k = g + d. Is k a prime number?
True
Let j = -653480 + 925201. Is j prime?
False
Suppose 26 = 5*g + s, -2*s - 2 = 6. Let y(o) = g*o + 8*o - 25 - 53*o - 39*o. Is y(-7) a composite number?
False
Suppose 0 = 3*z + u + 5690, 3*z + 0*u + 5660 = 5*u. Let s = z + 3412. Is s a composite number?
True
Suppose -1824507 + 502497 = -17*q + 2490427. Is q a composite number?
False
Suppose 624*r + 2689722 = 642*r. Is r a composite number?
True
Is (2/(-6))/(157/(-227894763)) prime?
True
Let y = 50 + 358. Let o(h) = 321*h - 3155. Let t be o(9). Let k = y + t. Is k composite?
True
Suppose 5407602 + 1781057 = 137*c - 1676474. Is c a prime number?
True
Let h(y) = 25*y**2 + 168*y + 124. Is h(35) prime?
True
Suppose -2*n - 150324 = -2*i, n = 24*i - 27*i + 225470. Is i a composite number?
True
Let k(p) = -727*p + 33. Let b(x) = x**3 + 3*x**2 - x + 7. Let t be b(-4). Let q(r) = -485*r + 22. Let z(i) = t*k(i) + 7*q(i). Is z(7) a composite number?
False
Suppose 124*q - 137094016 = -4*q. Is q prime?
True
Suppose 1 = -5*s + 21. Suppose -4*l + n - 371 = -s*n, -5*n = -2*l - 183. Let b = 541 + l. Is b composite?
True
Suppose -5*c = -3*k - 1, -c - 1 = -2*k + 3. Suppose 2*h - 1121 = 3*f - 241, -k*h + 1305 = 3*f. Is h composite?
True
Suppose -2*m +