 number?
False
Let c(b) = -9*b - 4. Let a be c(-3). Suppose 21*i = a*i - 1366. Is i composite?
False
Let g = 47 - 44. Suppose -3*r - 62 = -u, g*r + 2 = r. Let p = 104 + u. Is p a prime number?
True
Suppose 0 = -165*f + 161*f + 99032. Suppose -f = -2*o - 3*g, -g + 27759 = 5*o - 34110. Is o prime?
True
Is (-2)/4*(4 + -1 - (5 + 43572)) a composite number?
False
Let u be 6 + (5 - 11 - -12). Suppose 13990 = 2*p - 4*q, u*q - 14*q - 20985 = -3*p. Is p composite?
True
Let b(z) = -1332*z + 21. Let v be b(-5). Suppose -6681 = -3*i - 0*i + 2*f, -v = -3*i + 4*f. Is i a prime number?
False
Let r(c) = -c**3 - 33*c**2 - 3*c + 77. Let v be r(-33). Suppose 0 = -v*n + 174*n + 5570. Is n composite?
True
Let y be (-6)/(-3 - -1) - 0/(-7). Suppose -3*f + 3739 = 2*v, -y*f + 2 = -7. Is v prime?
False
Let v be 12*-1*(-20)/30. Is 3542/8 + 2/v a prime number?
True
Suppose s = 3*q - 2219, -3*q + 2235 = s + 2*s. Suppose 2912 = 9*i - 8*i. Suppose -j + t = -t - q, -i = -4*j - 5*t. Is j a prime number?
True
Let t(f) = 13*f**3 - 2*f**2 - 9*f. Let r be t(-5). Suppose 5*s - 2453 = -4*o + 10082, 0 = o. Let g = s + r. Is g a composite number?
False
Suppose 3*g - 3*q - 1023 = 0, 3*q - 1745 = -g - 4*g. Let o(y) = -124*y + 209. Let u be o(-16). Let t = u - g. Is t composite?
False
Suppose 0 = 102*p - 100*p - 18. Let c be (3 + (-21)/p)*6/1. Suppose -c*g = -5*x + 12793, 2*g + 12799 = 5*x - 0*x. Is x prime?
False
Suppose -k + 13044 = 2*q - 1590, 2*k + 29252 = 4*q. Let g = 14824 - q. Is g a prime number?
False
Suppose 4*s = 4*x + 3163760, 4*s - 95*x - 3163767 = -98*x. Is s prime?
False
Suppose 28*w + 288341 = 720073. Is w a prime number?
False
Let l = -99 - -49. Let w = l - -50. Suppose -o + f + 401 = -w*o, -5*f = -4*o + 1608. Is o prime?
True
Let p(y) = 226*y + 1543. Is p(39) composite?
False
Let h be (-3)/((4 + -8)/4). Is (h - 8 - 764)*-1 a composite number?
False
Suppose 132*u - 664739 = 131*u. Is u composite?
False
Let u be (2*-268)/(1/(-7)). Suppose -2*x + 3824 = -4*d, 4*x + 37*d - 7612 = 33*d. Suppose -2*a - 4*l + x = 0, -3*l - u = -4*a + l. Is a prime?
False
Is -21 - (-10 + -428699) - 5 composite?
False
Suppose -12*x + 19*x = 182. Suppose x*j - 4367 = 15*j. Is j a composite number?
False
Let j = -16318 - -31761. Let f = j - -1898. Is f a composite number?
False
Suppose 562*i = 587*i - 29626775. Is i a composite number?
False
Let t be -2 - ((-48)/(-60) - (-110888)/(-10)). Suppose 5*x - 3*g - t = g, 5*x - 11095 = -5*g. Is x a prime number?
False
Let u(j) = 1424*j - 54. Let t be u(33). Suppose 624*p = 626*p - t. Is p a prime number?
False
Suppose 5*h - 20 = 0, 28*m = 29*m + 4*h - 13. Let a(f) = -f**3 + 4*f**2 - 4*f + 2. Let n be a(3). Is 839 + n + m/(-3) prime?
True
Let s(z) = -3*z**2 + 3*z + 4. Let g be s(-2). Let h = g + 20. Suppose -15*d = -h*d - 12429. Is d a prime number?
True
Suppose -15*j + 16*j = -3. Is 4027 - (j + 3 - 6) prime?
False
Let r(i) = 4*i**2 + 18*i + 53. Let k be r(-3). Is 87344/28 + (-15)/k a composite number?
False
Let b(i) be the second derivative of 637*i**4/12 - 3*i**3/2 + 9*i**2/2 - 7*i. Let a(s) = -s - 1. Let f(m) = -2*a(m) + b(m). Is f(2) a prime number?
False
Let q = -262 + 3428. Suppose 2*k = -4*n + 3166, 0*k + 2*k = 4*n + q. Is k prime?
True
Let v(b) = -550*b - 21. Let f(n) = -n**3 - n**2 + 29*n - 1. Let r be f(5). Is v(r) a composite number?
True
Is (-166730)/(-4)*(-39 - -41) composite?
True
Let q(u) = -u**2 - 3*u + 2. Let g be q(-3). Suppose 0 = 5*o, -3*o + 6753 = m + g*m. Is m composite?
False
Let s(o) = o**3 - o**2 + 11*o - 26. Let b be s(11). Let m be (8/10)/(3/b). Let v = m - -71. Is v a composite number?
False
Let x(l) be the first derivative of 29/2*l**2 - 12*l - 12. Is x(7) prime?
True
Suppose 0*g = 6*g - 10*g + 6735464. Is g a composite number?
True
Let m be 2/(1 - 511/513). Let d be (7 - 632/88) + 2726/(-11). Let p = d + m. Is p prime?
False
Is 1891 + (-14)/(-7) - (-1 - -1) composite?
True
Suppose -141*l + 3*q + 2534568 = -138*l, -4*q - 12 = 0. Is l composite?
True
Suppose -15*j - 9*j = -96. Suppose -j*c + 34952 = -5*l, 0*c - 17470 = -2*c + 4*l. Is c prime?
False
Suppose -5*i + 1018030 = 21*v - 16*v, 9*i - 1832424 = v. Is i a prime number?
False
Suppose -21 = -q + 98. Let u be (-1508)/18 + 2*1/(-9). Let d = u + q. Is d composite?
True
Let c = 2271 + -1441. Let u = 68 - c. Is u/(-5)*(-5)/(-2) prime?
False
Let f be 1/((4/2)/(396/(-18))). Let v = f - -17. Is (2/v)/(9/108) + 2625 prime?
False
Suppose 5*k - 204 = -0*k - 2*n, 3*k + 4*n - 114 = 0. Is (644/12)/((k/(-18))/(-7)) a composite number?
True
Suppose 0 = -82*o + 87*o + 40, 0 = 4*y + 2*o - 42876. Is y composite?
False
Let t = 5 + -1. Let a be (3 - -18)*(-50952)/77. Is 2/t - a/16 a composite number?
True
Let l(o) = -2*o**3 - 21*o**2 + 3*o - 39. Suppose -f = -2*c - 7, 5*c - 5 + 0 = -2*f. Let a(i) = -i**3 + 5*i**2 - i - 11. Let u be a(f). Is l(u) prime?
True
Let y(a) be the first derivative of 15 - a**2 + a + 10*a**2 - 2*a**2. Is y(13) a composite number?
True
Suppose 237*c = -53*c + 15182679 + 11162371. Is c composite?
True
Suppose 11*c - 3337 - 2240 = 0. Suppose -64626 = c*p - 510*p. Is p a composite number?
True
Let d be (9/(-5))/(6/(-20)). Suppose -15 = d*w + 9. Is (w + 1573/3)/(2/6) a composite number?
True
Let a(j) = 2*j - 21. Let v be a(13). Let f(c) = -v*c - 3*c + 11*c + 2*c**2 + 3*c**2 - 7. Is f(-9) a prime number?
False
Let v(u) be the third derivative of -u**6/120 - 7*u**5/60 - u**4/4 + 13*u**3/6 + 6*u**2. Let k be v(-6). Let x(b) = 11*b**2 + 2*b + 16. Is x(k) composite?
False
Let s(a) = -5*a + 115. Let l be s(14). Suppose 2*y + 14513 = 3*b, 2*b + 48*y = l*y + 9658. Is b composite?
True
Let u(q) be the first derivative of 1/2*q**4 + q**2 - 31*q + 46/3*q**3 - 17. Is u(-21) a prime number?
False
Suppose 3*i - 5*k = -22, 5*k - 26 = i + 3*i. Let g be -1 + 6 - ((-16)/i - 2). Is g/(-2)*(-460)/6 a composite number?
True
Is 49/21 - 6/18 - (-445896 + 1) composite?
True
Let u be -4 + (-20)/(-15)*3. Suppose -2*z + 0*z + 544 = u. Suppose t = -2*s + 105, 0 = 3*t - 4*s - 33 - z. Is t prime?
True
Let u(p) = 143*p**3 + 4*p**2 - 26*p + 10. Is u(4) a composite number?
True
Suppose 8*h - 3*h - 4*c - 878719 = 0, h - 3*c = 175757. Is h composite?
True
Let t(r) be the first derivative of r**4/4 - 4*r**3/3 + r**2 - 4*r - 5. Let w be t(6). Suppose w = 2*b - 102. Is b composite?
True
Let f(k) = -k**2 + 21*k + 101. Let y be f(24). Suppose y*v - 207945 = 14*v. Is v a composite number?
True
Suppose 2*o = -3*d + 70510, -4*o + 25*d = 21*d - 141100. Is o a prime number?
True
Suppose 0 = 5*p - 3*s + 35 + 50, 25 = 5*s. Is 13391 + (p - -9) + -1 a composite number?
True
Let t = 329257 + -233874. Is t composite?
False
Let d(f) = f**3 - 13*f**2 + 16*f - 45. Let c be d(12). Suppose c*g - 2*y - 533 = 0, 5*g = 3*g + 3*y + 352. Is g a composite number?
False
Let v(s) = -1892*s - 20. Let h be v(13). Let i = -5495 - h. Is i prime?
True
Let y(q) = -16*q + 2*q**2 - q + 44*q. Is y(-19) composite?
True
Suppose -26*c + 17*c - 27 = 0. Is -1 + (-5)/c + (-45619)/(-21) prime?
False
Suppose 0 = -3*g + 8 - 23, -4*g - 101 = 3*p. Let d = 30 + p. Is (511/d + -4)*3 prime?
True
Let g(w) = -6*w**3 + 0*w**3 + 4 - 89*w + 100*w. Let t(i) = -i**3 - 5*i**2 + 2*i + 3. Let x be t(-5). Is g(x) composite?
True
Suppose -w - 1289 = 4*s, 2*w + 2*w = 5*s - 5114. Let j = 1030 + -1862. Let p = j - w. Is p prime?
True
Let k(h) = 41092*h - 3661. Is k(11) prime?
True
Let t be (332/6 - 0)*(-23 + 56). Let v = t + -1255. Is v composite?
False
Suppose 3*t = 476 + 2407. Suppose -z + t = p, -4*z + p - 168 = -3997. Is z a composite number?
True
Suppose 0*y - 5*d = -y + 20, -5*d - 20 = -2*y. Suppose -10*k + 6*k + 388 = y. Let v = 140 - k. Is v a prime number?
True
Suppose -309623 = 12*s - 1963547. Is s prime?
True
Let b(d) = -5013*d - 1534. Is b(-31) composite?
True
Suppose z - 27 = -2*w - 3*w, 18 = 2*w + 4*z. Suppose -2*q = 2*q - w*x - 1611, 5*q + 2*x - 2055 = 0. Is q a prime number?
True
Let k = 22 + -10. Let z = k + -12. Is -4 - -6 - (z + 1 + -201) prime?
False
Let w = 147 - 76. Suppose -n + k - w = 1, k - 348 = 5*n. Let u = -16 - n. Is u a prime number?
True
Let l = 120316 - 34625. Is l a prime number?
True
Let u(i) = -7246*i**2 + 7*i + 8. Let a be u(-1). Let w = 17636 + a. Is w a composite number?
False
Suppose -19*i - 2*m = -14*i - 719189, -2*i + 287668 = -3