True
Suppose 5*v - v = 12696. Let l be (8/(-12))/((-4)/v). Let r = -56 + l. Is r prime?
False
Suppose -5*g + 909 = -4*v - 5227, -5*g - 5*v = -6100. Suppose -7*w + 3*w - g = 0. Is (w + (2 - 3))/(-1) a composite number?
False
Let m(j) = -12*j - 51. Suppose -4*w - 3*f - 16 = 0, 1 = w + 3*f - f. Is m(w) composite?
True
Suppose 26761 = 21*l - 13160. Is l a composite number?
False
Suppose -4*j + 16 = -3*m, m - 1 + 9 = 2*j. Let t(z) = z**3 - z**2 + 3*z - 5. Is t(j) a prime number?
False
Let s(h) be the second derivative of 0 + 2*h + 3*h**2 - 3/2*h**3 + 1/6*h**4 - 1/10*h**5. Is s(-7) a composite number?
False
Let d = 25 + -17. Let b = -7 - d. Is 3*(1 - 2030/b) a composite number?
False
Suppose 65*v = 51*v + 8246. Is v a prime number?
False
Let m(s) = -s**3 - 2*s - 20 - 52*s**2 - 81*s**2 + 115*s**2. Is m(-19) a prime number?
True
Is (2 - 24/9)/((-40)/64380) a prime number?
False
Suppose -h - 4*h = -25. Suppose -543 - 777 = -h*y. Suppose 5*v - y = 161. Is v a prime number?
False
Let u(v) = 20*v**2 - 16*v + 10. Let n(m) = 10*m**2 - 8*m + 5. Let f(l) = -5*n(l) + 3*u(l). Is f(6) prime?
True
Suppose 0 = -5*s + 4*h + 30, -4*h + 3 = -17. Suppose s = 4*x + 2. Suppose -471 = -x*p + 115. Is p a prime number?
True
Suppose 5*d = -b + 68, -3*d + 115 = b + b. Suppose -b*u = -51*u - 148. Is u composite?
True
Suppose 4*o + 224090 - 47402 = -3*d, 44167 = -o - 2*d. Is -2 + (-2)/(-7) + o/(-105) prime?
True
Is 4 + (-2685 + 0)/((-2)/6) a composite number?
False
Suppose 4*z = 3*z + 131. Let a = 1968 + z. Is a prime?
True
Let k = -65 + 67. Suppose -k*a + 99 = -983. Is a composite?
False
Let d(w) = -w**3 + 15*w**2 + 6. Let f be d(15). Suppose -x - f*x = -1309. Is x prime?
False
Let q(p) = p**3 - 8*p**2 + 5*p + 8. Let i be q(7). Is -2 - i/(-4)*-142 a prime number?
True
Suppose -k - 5 + 4 = 0, 5*k = f - 439. Suppose -2*x + f = -3*a, 3*x - a - 442 = x. Is x composite?
False
Let i = 9925 + -4331. Suppose 0 = -5*l + 17831 + i. Is l prime?
False
Let u = 108 - 106. Is 561 + (1 - u) - (9 + -8) a prime number?
False
Is -1*(-109 + (-8 - -4)) a prime number?
True
Let n(v) = 4*v**3 - 11*v**2 - 2*v + 12. Suppose -15*i - 97 = -232. Is n(i) prime?
False
Let n(r) = r + 20*r + 7 - 113*r + 12. Is n(-5) a prime number?
True
Suppose 3*h + 6*t - 21 = 3*t, 4*h = -5*t + 30. Suppose -4*s = -h*l - 407 - 1348, -4*s = -4*l - 1760. Is s a composite number?
True
Let o = -19323 - -31759. Suppose -43*u + o = -39*u. Is u prime?
True
Let z(m) = -2*m**3 + 3*m**2 + 4*m - 3. Let u be z(3). Let l = 21 + u. Suppose -4*a + 4361 = l*a. Is a a composite number?
True
Let q(r) = -43*r - 7. Let f be (5 + 0)*(-156)/65. Is q(f) a composite number?
False
Let t(j) be the third derivative of 149*j**6/120 + 5*j**2. Is t(1) a prime number?
True
Let r be -4 - -1 - (-6)/3. Is r + 788 - 0/1 a composite number?
False
Let j be (15/6)/((-1)/(-2)). Suppose 0 = -j*i - 4*q + 342 + 729, q - 4 = 0. Is i composite?
False
Let s(x) = -x**2 + 7*x + 7. Let c be s(8). Let w be ((-12)/(-15))/(c/20). Let q = 3 - w. Is q a prime number?
True
Suppose 3953 = 3*d - 1090. Is d a composite number?
True
Suppose 0 = -2*n + 3*n - 5*v + 237, 4*n + 4*v = -996. Suppose -124 + 2572 = -4*u. Let l = n - u. Is l prime?
False
Suppose -7 = -2*p - 5*d, -3*p + d = 12 + 3. Let u be (-1161)/12 - (-1)/p. Let a = -51 - u. Is a a composite number?
True
Let h(n) = n**3 - n**2 - 5*n + 3. Suppose 4*z - 31 = -z - 4*d, 2*d = -3*z + 17. Let u be h(z). Let v = u + 73. Is v a prime number?
True
Let j(o) = 14 + o**2 - 2*o - 5 + 4 + 7*o. Is j(6) a prime number?
True
Suppose -4*y = 4*v - 1432, 5*y + 0*v - 2*v = 1797. Is y a prime number?
True
Suppose -155246 = -5*h + 3*u + 86604, -4*h + 193453 = 3*u. Is h a prime number?
False
Is (114/(-4) - 2)/((-5)/890) prime?
False
Let p(z) = -15*z - 25. Let f(u) = u - 27. Let o be f(11). Is p(o) a prime number?
False
Let w(g) = g**2 + 6 + 10*g**2 - 2*g**2 + 4*g**2 + 12*g. Let x be w(-6). Suppose 0*s - 3*s + x = 0. Is s prime?
False
Let y = -18 - -27. Suppose 0 = u - y - 16. Is u a prime number?
False
Is (2524/6)/((-38)/(-57)) prime?
True
Suppose 0*q = 3*q - 939. Suppose 3*r = 2*b - q, -b - 792 = -6*b - 2*r. Is b composite?
True
Let k = 57162 - 33043. Is k a composite number?
True
Let y(d) = -d**2 - 3*d + 1. Let g be y(2). Is (-2985)/g - 22/33 composite?
False
Let q(f) = f**3 + 12*f**2 - 2*f + 8. Let a be q(-9). Suppose -9*m + 604 = -a. Is m prime?
True
Suppose 48*c = 49*c - 14491. Is c composite?
True
Is (7/(-21))/((-11)/1248951) composite?
False
Suppose -3 = -y - 2*d + 12, 2*d + 75 = 5*y. Let n = y - 15. Suppose -2*a + n*a + 442 = 0. Is a prime?
False
Let i(z) = -z**3 + 13*z**2 + 4. Let d be i(13). Suppose -3*x + 129 = 2*r, -x + d*r = 3*r - 43. Is x a composite number?
False
Suppose -3*x + 15 = 0, -3*d - 5*x + 2328 - 182 = 0. Is d a composite number?
True
Suppose -x - 5*p = -12, -p = -5*x + 2*p + 4. Is x*(-2)/(-16) - 2606/(-8) composite?
True
Let w = 8475 - 5350. Suppose -3*v + 50 = g - 0*v, g + 2*v - 45 = 0. Is w/g + (-6)/21 prime?
True
Suppose -26580 = -3*j - 1323. Is j composite?
False
Suppose -2*c = -3*c + 5*f + 714, -4*c - f = -2793. Suppose -3*o - c = -6*o. Is o a prime number?
True
Suppose 7*z = -74 + 4. Let k(q) = -21*q - 29. Is k(z) a composite number?
False
Let c be (-5)/((-20)/(-12)) + 3. Suppose -t - 8 = -c*p + 3*p, 4*p = -t - 10. Is ((-6)/9)/(t/39) a composite number?
False
Suppose -9 = 8*h - 11*h. Suppose 0 = -3*p - 4 - 2, -1202 = -z + h*p. Suppose -10*l = -6*l - z. Is l a composite number?
True
Let i be ((-12)/8)/((-1)/(-142)). Let o = i + 303. Let p = 301 - o. Is p composite?
False
Let l be (-4)/(-5)*10/4. Suppose -u + 1 - l = 0. Is u + 2 - -17 - -3 composite?
True
Let d be 943 - (-12)/(4*-1). Suppose 4*h - 3196 - d = 0. Suppose -h + 309 = -5*x. Is x prime?
False
Let g(c) = 12*c**2 - 15*c - 36. Is g(-5) a composite number?
True
Is ((-26)/8)/(931/932 - 1) a prime number?
False
Suppose 3 = -3*r - 12. Let p = 13 + r. Suppose -12*w = -p*w - 1884. Is w a prime number?
False
Let d(c) = -c + 6. Let v be d(2). Suppose 2*u = v*r - 651 - 1349, 0 = -r - 2*u + 495. Is r prime?
True
Let c(w) be the second derivative of w**4/12 + w**3/2 - 3*w**2 + 2*w. Let k be c(-5). Suppose -6*s = -k*s - 1182. Is s a composite number?
True
Let k = -741 - -1314. Is k a composite number?
True
Suppose -6 = -3*b, -4*b = 3*u - 2*u - 5205. Is u a composite number?
False
Suppose -3*c = -13 + 4. Let o be -1*(-2)/c*3. Suppose 0 = -3*f - w + 1652, 0 = -4*f - w + o*w + 2205. Is f a prime number?
False
Let k(f) = -f**2 - 22*f - 90. Is k(-6) a composite number?
True
Suppose 4*u - 97917 = 5*l + 31540, -4*l - 4 = 0. Is u prime?
True
Suppose 2*m - 215 = -j, 2*m - 3*j = -59 + 278. Suppose 4*l + 549 = 5*f, -f = -2*f - l + m. Let d = 438 + f. Is d prime?
True
Let o(y) = -278*y**3 + 3*y**2 + 10*y + 4. Is o(-3) a composite number?
False
Let b = 1983 + 5328. Is b a composite number?
True
Let m(i) = 245*i - 468. Is m(19) composite?
True
Suppose -t = -5*t + 12452. Is t prime?
False
Let l(v) = -v**3 - 7*v**2 + 9*v + 13. Suppose 4*t + 30 = u, 4*t - u = -t - 38. Let h be l(t). Suppose -882 = -h*i - 272. Is i composite?
True
Let k(j) = 745*j - 8. Let i be k(2). Let s be 944 - -3*(0 - -1). Let w = i - s. Is w composite?
True
Is (40573 - 22)*(-2)/(-6) a composite number?
True
Suppose -2*j + 30 = 3*j. Let q(v) = v**3 - 7*v**2 + 6*v - 1. Let h be q(j). Is h*(649*-1 - 0) a prime number?
False
Suppose t - 3*t = -3*c + 7, 5*t - 2*c = -1. Let f be 5*195/(3/t). Suppose -4*y = y - f. Is y a prime number?
False
Let j(i) = i + 13. Let h = -22 - -12. Let y be j(h). Suppose 200 = 4*c - l, y*c = -l - l + 139. Is c prime?
False
Let i(a) = -159*a**3 - 4*a**2 - 11*a - 4. Is i(-3) a prime number?
False
Suppose -3*o - 72 = -405. Suppose -1617 = -6*c - o. Is c prime?
True
Let c = 115 - 111. Let s(j) = 1978*j - 9. Is s(c) a composite number?
True
Let q(a) = 2267*a + 23. Is q(4) a prime number?
True
Let c(z) = -771*z - 176. Is c(-42) a composite number?
True
Let z(w) be the second derivative of -w**4/12 + w**3 - 11*w**2/2 + 6*w. Let s be z(-8). Let l = s - -336. Is l a prime number?
False
Let n = 848 - -711. Let r = n + -424. Is r composite?
True
Let i(w) = -9*w**3 + 2*w**2 - 19*w - 15. Is i(-5) a composite number?
True
Let t = 26282 + -4119. Is t a composite number?
True
Let v(f) = -f**3 - 10*f**2 