ppose 1873 = 4*k - 3*d, 0 = 3*k + d - 1484 + 76. Suppose -6240 = 7*s + 13*s. Let w = k + s. Is w a prime number?
True
Suppose -x - 4*x = 5*u - 10, -4*x + 5 = 5*u. Let b(p) = 11*p - 1. Let n(v) = -21*v + 2. Let f(c) = -5*b(c) - 3*n(c). Is f(x) composite?
True
Let l be (6 + 28)*(-45)/(-6). Suppose 0 = 5*t - l - 1070. Is t composite?
True
Let x = 11391 - 2728. Is x a prime number?
True
Suppose 4*c - 5*l = 29496, -2*l - 3*l = -c + 7389. Is c composite?
False
Suppose -6*p + p + 110 = 0. Suppose -p = -3*b - 4. Let w = b + 49. Is w a prime number?
False
Let y = 192 + 20. Is 2*5/(-10) + y prime?
True
Let t = 7 + -7. Suppose 4*q + 6 = 5*s + 22, -q - 5*s + 4 = t. Suppose -q*j = -5*k - 210, 0 = j + 4*j - 2*k - 271. Is j prime?
False
Let n = -237 - -441. Is (-36407)/(-9) - (4 + n/(-54)) a composite number?
True
Suppose 4*h + h = l - 10397, 0 = 3*l + 2*h - 31259. Is l a prime number?
False
Let z(t) = 75*t + 13. Let c be z(11). Is 1/(c/(-839) + 1) prime?
True
Let t be (-212)/6*(-1290)/20. Suppose i + 4*q = 1203, 4*i - t - 2499 = q. Is i a prime number?
False
Suppose -5*j - 6*v + v + 40 = 0, -3*j - v + 20 = 0. Suppose 0*m + 1326 = j*m. Is m a prime number?
False
Suppose -4*i + f - 34051 + 461679 = 0, 5*i + 2*f = 534522. Is i a composite number?
True
Let v(d) = -3*d - 12. Let s = -9 - -4. Let a be v(s). Suppose a*q - 63 = 2*r, 0*q - 4*r - 84 = -4*q. Is q composite?
True
Suppose 8*i - 7*i = -2*v + 33986, -v + 16993 = 3*i. Is v composite?
False
Is (-5 + 136/24)*(-21678)/(-4) prime?
True
Let w(f) = 2*f**3 - 2*f**2 - f. Let j be w(-1). Is j*8/(-12) - -679 a composite number?
True
Suppose 5*d - p - 17005 = 0, -4*d - 2*p = -7089 - 6515. Is d a prime number?
False
Suppose 49*l - 1733812 + 489653 = 0. Is l prime?
True
Let c = -17 + 19. Suppose -4*s = c*s - 1518. Is s composite?
True
Let d(y) be the first derivative of y**4/4 + 16*y**3/3 + 9*y**2/2 - 15*y + 17. Is d(-9) composite?
True
Let z be (11 - 12)/((-2)/(-4)). Let i(t) = 1110*t - 1. Let f(m) = -3329*m + 2. Let h(g) = 6*f(g) + 17*i(g). Is h(z) a composite number?
False
Let b(o) = 2*o - o + 0*o + o**2 + 254 + 287. Let l = -4 - -4. Is b(l) a composite number?
False
Suppose 2*i + 87 = 93. Suppose -4 = j, j + 32 = 3*m - 4*j. Suppose n - 5*f - 420 = -m*n, 4*f + 251 = i*n. Is n a prime number?
False
Let d(v) = v - 6 - 2 + 4. Let k be d(6). Suppose 5*b + z - 1862 = -537, -k*b + 3*z + 530 = 0. Is b composite?
True
Let x = 23 - 13. Let j = 5346 + -3548. Is j/10 - 8/x composite?
False
Let o be ((-2660)/(-6))/((-9)/54). Let p = 8667 + o. Is p a prime number?
True
Let k = 32 + -27. Suppose k*t - 18 - 352 = 0. Is t composite?
True
Suppose 0 = 5*d - 4*l - l - 3340, -l + 5 = 0. Is d a prime number?
True
Suppose -3*a - 2*a + 5 = 0, 0 = x + 4*a - 29. Let f(b) = -b**3 - 5*b**2 - 9*b - 13. Let h be f(-3). Is 17995/x + h/5 a composite number?
False
Suppose -y = 3*x - 68560, -2*x - 2*y = -25216 - 20492. Is x prime?
True
Let d(m) = 171*m**3 - 4*m**2 - 4*m - 14. Is d(5) composite?
True
Let j = 7179 + -1052. Is j a composite number?
True
Let t(h) = h - 732. Let v be (-6 + 6)*(0 - 1). Let n be t(v). Let a = -463 - n. Is a a prime number?
True
Let j(c) = 718*c - 133. Is j(5) prime?
True
Suppose -i + 3 + 2 = 0, i = 5*r - 150. Let y be r - (-1 + 1 + -4). Suppose -13*m + 12*m = -y. Is m composite?
True
Let h(s) = 2762*s + 289. Is h(26) a prime number?
True
Suppose 0 = -2*q + 3*q - 2. Suppose 4*a + 4 = 0, 4 = -q*w + 5*a - 5. Let r(z) = -z**2 - 10*z - 2. Is r(w) a prime number?
True
Suppose -7*z - 2882 + 8279 = 0. Is z prime?
False
Suppose 21 = 3*y - n, n - 5*n = -2*y + 24. Suppose k = -0*k + y. Is 393/k + 3/2 a prime number?
True
Let k(b) = -b**3 - 69*b**2 - 221*b - 157. Is k(-66) a composite number?
False
Suppose 0 = -4*a + 4*x + 10248, -x + 3*x = -3*a + 7696. Is (a/(-10))/((-10)/25) composite?
False
Suppose 6*r + 52 = 2*r. Let w = -5 - r. Suppose -i + 5*i - 4*g - 116 = 0, 4*g = w. Is i a prime number?
True
Let r(n) = 2960*n - 13. Is r(1) a composite number?
True
Suppose 2*q - 3*l = 2076, 6*l = 2*q + 2*l - 2076. Let u = -541 + q. Is u a composite number?
True
Let i = -36 + 51. Suppose 8*y - 7*y - i = 0. Is y prime?
False
Let g(j) = -295*j - 159. Is g(-7) composite?
True
Let h(y) = y**3 + 14*y**2 - 14*y + 22. Let l be h(-15). Let i(k) = 218*k + 19. Let d be i(l). Is (d/30)/(2/4) a prime number?
True
Let c(r) = 6371*r**2 - 7*r - 2. Let y be c(2). Suppose 6*x = y + 6818. Is x composite?
False
Suppose 0 = g + 3*z - 16, 0*g - g + 21 = -2*z. Suppose -h + g = -1. Is (-1428)/(-10) + 4/h a composite number?
True
Suppose -312 + 3212 = 4*o. Let g = -306 + o. Is g a prime number?
True
Let f(k) = k**2 - 6*k + 27. Let p be f(16). Let v = 984 - p. Is v prime?
True
Let w = 2182 - 651. Is w prime?
True
Suppose -3*r + 338 = w, -5*w - 30 - 427 = -4*r. Suppose r = y - 144. Is y composite?
False
Suppose 82*s + 155570 = 92*s. Is s a prime number?
False
Suppose -5*q + 16 = 2*r, 18 + 4 = 5*q - r. Suppose -264 = -4*v + q*i, 5*v - 5*i - 331 = -i. Is v a composite number?
False
Let w(u) = -11158*u - 485. Is w(-4) a composite number?
True
Let w(d) = -d**3 + 23*d**2 - 13*d - 17. Is w(16) a composite number?
False
Let v(r) = -747*r**3 - 2*r**2 + 1. Let n be v(-1). Let k = 10 - 11. Is k/((-748)/n + 1) prime?
True
Suppose -4 = -4*f, 2*t - 20117 = -4*f + 17781. Is t a composite number?
False
Suppose -l + 121 = -106. Let u = -138 + l. Is u a composite number?
False
Suppose 4*y - 12230 = -3514. Is y composite?
False
Let y = -17 - -12. Let n = y + 3. Is ((-1)/n)/((-5)/(-2390)) prime?
True
Suppose 12*m - 8*m = -16. Let c(x) = 6 - 9*x - 3*x - 5*x. Is c(m) a composite number?
True
Suppose -2*b = -83 - 2201. Let i = 1621 - b. Is i composite?
False
Let a = 17157 + -7846. Is a a composite number?
False
Let p = -733 + 1462. Let r = p - 419. Suppose 2*d + 146 = 5*d + 5*j, -5*d + 5*j + r = 0. Is d a composite number?
True
Let o(s) = -s. Let l be o(-6). Suppose 10*q - l*q = 2716. Is q a composite number?
True
Let y(v) = -2*v. Let r be y(-9). Let n be 4/r + 94/(-18). Is 708/(-10)*n/2 a composite number?
True
Suppose 4*j - 38 - 34 = 0. Suppose -i + 3*i + j = 0. Let c(q) = -q**3 - 9*q**2 - 5*q + 13. Is c(i) a composite number?
True
Suppose -35*d - 15 = -40*d. Suppose 13*v - d*v - 1590 = 0. Is v composite?
True
Suppose 3*k + 2020 + 794 = 0. Let g = 323 - k. Is g a prime number?
False
Suppose -3*b + 4*g = -19623, 2*b + 2*g + 13080 = 4*b. Let x = b + -4366. Is x prime?
False
Suppose 0 = k - 1, s + 15*k - 14*k - 69190 = 0. Is s a prime number?
False
Let n(r) = 180*r + 211. Is n(7) a prime number?
True
Let x = 1 + 6. Suppose x*p - 23 - 40 = 0. Suppose 4*l - p*l = -110. Is l prime?
False
Suppose -9*u - 32*u = -70069. Is u a composite number?
False
Suppose -n - 957 = 665. Let o = n - -2509. Is o a prime number?
True
Suppose -32*g + 5*q = -27*g - 765, -3*g + 451 = -5*q. Is g a prime number?
True
Let k(n) = n**3 - 3*n**2 + n - 2. Let j(s) = -2*s - 9. Let w be j(-8). Let d = w - 2. Is k(d) a composite number?
False
Suppose 0 = 2*g + 3*g. Let w(l) = l**2 - l + 1255. Is w(g) composite?
True
Suppose 3*r + 3*v = 30, -4*r = -2*r - 2*v. Suppose -3*d = -r*d. Is (1 - (0 - d))*59 a composite number?
False
Let w(p) = -p**3 - 18*p**2 - 3*p - 9. Let m(x) = x**2 + 21*x - 2. Let y be m(-20). Is w(y) composite?
False
Suppose 8*j - 3*j = 2*s + 405, -2*s = 3*j - 259. Suppose -2*l - 3*p = -j, 39 - 155 = -4*l + 4*p. Is l composite?
True
Suppose -4*v - 4*m + 23 - 7 = 0, 16 = -4*v + 4*m. Suppose -4*i = 5*h - 3*i - 3700, 3*h - 4*i - 2197 = v. Is h a prime number?
True
Suppose 0 = -p - 4*f + 1491, -2*p - f - 26 + 3043 = 0. Is p a prime number?
True
Let c = 5 + -12. Let b(k) be the first derivative of -k**4/4 - 5*k**3/3 + 5*k**2 + 3*k + 31. Is b(c) a prime number?
True
Let v be (113/2)/((-2)/(-4)). Suppose -100 = -3*u + v. Is u a prime number?
True
Let l(o) = -4 - 7*o**2 - 4*o**3 - 2*o + 4*o**2 - 3*o. Is l(-5) composite?
True
Suppose 70 = 6*j - 392. Is j composite?
True
Let j(v) = -v - 8. Let w be j(-4). Is (4/w)/(-1) + 248 a prime number?
False
Is (-3)/(4 + 457400/(-114344)) a composite number?
False
Suppose -s + p + 8 = 0, 3*s - 5*p - 3 = 13. Let j be (s/(-2))/((-6)/4). Suppose 663 = 5*z - 4*y, -j*y = -4*z + y + 534. Is z a prime number?
True
Suppose 816374 = -9*u + 35*u. Is u prime?
False
Let d = -216 + 2447. Is d