 j + 2*u - 339 = 0, -w*u = -j - 62 + 385. Is j prime?
True
Is -40 + 41 + 156800/2 a prime number?
True
Let s = -202 + 139. Let d = 94 - s. Is d a prime number?
True
Suppose 0 = -5*w + 26969 - 8814. Let z be -2 - (2 + -5 + -2). Suppose 3*h = -0*x + 3*x + 2718, -z*x = 4*h - w. Is h composite?
False
Suppose 32*l + 3*s = 27*l + 37538, 4*s - 37539 = -5*l. Is l a composite number?
False
Suppose 5*p + 5*a = 1745, -4*a - 564 - 104 = -2*p. Suppose -5*n = -4*c + 537 - 181, -p = -4*c + 2*n. Suppose -5*w - c = -254. Is w a composite number?
True
Let y(m) = -4*m - 17. Let c be y(-9). Let s = c + -9. Suppose -5*f = -3*a + 116, -2*a - 4*f + 60 = -s. Is a a composite number?
False
Is 4 - ((-934)/5)/((-6)/(-210)) a composite number?
True
Let u = 22 + -17. Suppose -4*r - u = -17. Suppose -5*m - f + 5481 = r*f, 3*m + 3*f = 3288. Is m composite?
False
Let h(b) = b**3 - 2*b - 4. Let q be h(-2). Let g(c) = -32*c + 3. Let s be g(q). Let i = -5 + s. Is i a composite number?
True
Let m(z) = z**2 + 6*z + 1. Let n be m(-3). Let k(q) = -q**3 - 9*q**2 - 10*q - 11. Let f be k(n). Suppose 4*p - 166 = -2*l, 4*l + f*p - 344 = -0*p. Is l prime?
False
Let v = 1228 + -629. Is v a composite number?
False
Let q(j) = j + 10. Let y be q(13). Let x = y + 74. Is x composite?
False
Is 7/196*7 + 206550/8 a composite number?
False
Suppose -25 = -3*u - 2*u. Suppose u*j = -411 + 1946. Is j a composite number?
False
Let j(h) = 91*h**2 + 6*h - 4. Suppose -2*i - 20 = 4*s - 6*i, 0 = -s - 2*i + 1. Is j(s) a composite number?
False
Suppose -k = -27 - 280. Let b be 4/10 - (-92)/20. Is (k - b) + (1 - 2) a composite number?
True
Is 27897/5 + 40/(-100) composite?
True
Suppose -4*u = -z - 2578, -5*u - 10172 = 5*z + 2843. Is (15*(-4)/(-36))/((-2)/z) prime?
False
Let l(b) = -7*b - 3 + 0*b - 4 - 171*b**2. Let a(i) = 85*i**2 + 3*i + 3. Let x(k) = 5*a(k) + 2*l(k). Is x(-1) a composite number?
False
Suppose -846 + 198 = -3*h. Let b = h - -157. Is b prime?
True
Suppose x = -3*a + 386, -18*x + 20*x - 3*a - 781 = 0. Is x prime?
True
Let g be ((-12)/(-10))/((-9)/(-3810)). Let l = g + 345. Is l a prime number?
True
Suppose 7*u - 16 = 15*u. Is ((-10746)/(-81))/(u/(-3)) composite?
False
Suppose -5*n - 25 = -5*m, 0 = 2*m - 4*m + 3*n + 13. Suppose 7*d - m*d - 2515 = 0. Is d composite?
False
Let y(j) = -158*j + 34. Let c(m) = -158*m + 35. Let r(d) = 5*c(d) - 4*y(d). Is r(-7) prime?
False
Let g(a) = -a**2 + 42*a - 4. Is g(9) a composite number?
False
Suppose 114048 = 5*c + 3*c. Is 2 - 22/10 - c/(-55) composite?
True
Let m(w) = 157*w**2 + 10*w + 19. Is m(-8) a composite number?
True
Let b = 6852 + -3861. Is b composite?
True
Let v(h) = 175*h - 6. Suppose -12*p - p + 91 = 0. Is v(p) a prime number?
False
Suppose 0 = 4*t - 2*c + 4510, -4*t + 4*c + 1903 = 6423. Is (t/(-2) + -4)/(3/6) composite?
False
Let w be (-10)/1*(-9)/15. Suppose 0 = -2*c + w*c - 2456. Suppose c = 4*p - f + 154, 3*p = 4*f + 345. Is p a composite number?
True
Let s(z) = -z - 4. Let u be s(-3). Let b be 6 - ((2 - 0) + u). Suppose -w - 4*x + 47 = 0, 3*w - 7*w = -b*x - 188. Is w composite?
False
Let j(k) = -k**2 + 12*k - 7. Let n be j(12). Let h = n + 22. Is h a prime number?
False
Let f(s) = 522*s**2 - s. Let n be ((-32)/10)/4*-50. Let t be ((-1)/(-5))/(8/n). Is f(t) prime?
True
Suppose -3 = -c - 0. Is c + -6 + (6 - -1190) prime?
True
Suppose 2*m = m + 580. Let b = m + 309. Is b composite?
True
Suppose -11*h + 14*h = -411. Let y be h/9 - (-4)/18. Is 9549/6*(-10)/y a prime number?
True
Let w = 105878 - 63057. Is w composite?
False
Let c be 2/(-2) + (-8)/((-12)/(-6)). Is 3 - 19610/(-25) - (-2)/c a composite number?
False
Let x(g) = g + 0 - 3 + g**3 - 2 + 1 + 4*g**2. Let i be x(-3). Is 32 + ((-6)/i - -2) prime?
True
Let w(v) = -v**2 - 4*v - 7. Let f be w(-3). Is (2302/4*f)/(-2) prime?
True
Let o = 21 - 29. Let l be o/52 - (-67)/13. Suppose 4*x - 441 = -l*v, 3*v + 5*x - 213 - 49 = 0. Is v a prime number?
True
Suppose 0*q - 3*q - 672 = -2*l, 5*q = -l + 336. Suppose 0 = -5*h + p - 3*p + 427, -4*h = 3*p - l. Is h a composite number?
True
Let r(y) = -4*y**3 - 20*y**2 - 9*y - 15. Is r(-26) a composite number?
True
Let t be 2*-3*2/(-4). Let z(s) = 5*s + 1. Let q be z(t). Is (-1)/(-2) + 3464/q a prime number?
False
Suppose 10 = 4*a - 3*g + 3, -4*g + 16 = a. Let f be 3*a/9*3. Suppose 4*p - 5*w = 115, -f*p - 2*w + 39 = -111. Is p composite?
True
Let p = 359163 - 245272. Is p composite?
False
Let d(f) be the second derivative of f**7/840 + f**6/72 - f**5/60 + f**4/4 + 2*f. Let a(c) be the third derivative of d(c). Is a(9) a prime number?
True
Let v(z) be the second derivative of z**5/10 + z**4/3 - 5*z**3/3 - 2*z**2 - 6*z. Let c be v(-8). Is c/(-12) - (-4)/(-6) composite?
True
Suppose u + 1063 = 4*p - 2066, -u = -5*p + 3911. Suppose 5*d - 403 - p = 5*i, d - 239 = 2*i. Is d composite?
True
Let x = -1507 - -15758. Is x a prime number?
True
Let x(n) = -27*n - 13. Let y be (-11)/((-22)/24) - -2. Let w = 4 - y. Is x(w) a prime number?
True
Let n = 361 - -20. Is n a composite number?
True
Suppose 4*t + 873 = -331. Let v = t + 880. Is v prime?
False
Let q(t) = t + 9. Let u(c) = -c - 9. Let o(m) = -2*q(m) - 3*u(m). Let f be o(-11). Is 21*f/(12/(-26)) a composite number?
True
Let n(o) = -o + 9. Let d be n(12). Is 148*d/(-12)*(-1 - -2) prime?
True
Let f(k) = k**2 + 15*k - 1. Let d be f(-15). Is (-1 + 1 + 1 - 632)*d a composite number?
False
Is (-33)/(-1 - (-2568)/2586) composite?
True
Suppose -5*g + 4*a = -5807, -4*g + 6*a + 4651 = a. Is g a composite number?
True
Suppose -15 = 4*q - 59. Let x(a) = -a**3 + 10*a**2 - 2*a - 6. Let g be x(q). Let i = g + 340. Is i a composite number?
False
Let c(t) = -6 + 8*t - 9*t - 10 - 2*t. Let g be c(-6). Suppose 4*k - r = 169, 3*k + g*k = 2*r + 209. Is k a prime number?
True
Let r(b) = b**3 + 3*b**2 - 20*b + 26. Let h be r(12). Let x = h + -1159. Is x a prime number?
True
Suppose 2*v = 229 + 1111. Suppose 0 = -7*o + 3*o + 3*l + 895, 3*o = l + v. Is o a prime number?
True
Let k(w) = 4*w**2 - 7*w + 4. Let x(n) = -7*n**2 + 14*n - 7. Let c(h) = 5*k(h) + 3*x(h). Let v = 6 + -3. Is c(v) composite?
False
Suppose -48*q - 52672 + 837424 = 0. Is q prime?
True
Let o(r) = 9*r**3 - 17*r**2 - 2*r - 1. Is o(6) composite?
False
Let b = 15625 - 3632. Is b composite?
True
Let r = 10151 + -5184. Is r a composite number?
False
Let g be 3 + 1 - (-4 - -287). Let u = 1882 - g. Is u prime?
True
Let u = -112 - -111. Is u - -1190 - (3 + -3) prime?
False
Suppose 0 = 3*c - 2*q + 1, 5*c - 40 = 2*q - 7*q. Let t = c - -1. Is (18 + t)/(4/10) a prime number?
False
Suppose 0 = 3*i - 0*i + 18. Let x be ((-18)/(-4))/(1/i). Is x/9*1889/(-3) a composite number?
False
Let k(q) = q**2 - 4*q - 6. Let f be k(5). Let d be (0 - (6 - 4)) + 4. Is (-447)/(-2) + f/d a composite number?
False
Suppose -4*q - 8*q + 50844 = 0. Is q a prime number?
False
Suppose 8*d = -a + 10*d + 21047, -3*a = -2*d - 63141. Is a a composite number?
True
Let r be 4/20 + 126/(-30). Is -77*(r/(-8))/((-1)/2) a prime number?
False
Let x(c) = c**2 - 7. Let p be x(3). Let h be 1*(3 - p - -27). Is h/2*(-1)/(-2) prime?
True
Suppose 0 = 3*n + 3*z - 19380, 2*z - 4*z = 5*n - 32297. Suppose 0 = -3*p - 0*p + n. Is p prime?
True
Let y(m) = 9*m + 4*m - 13 - 3*m + 3*m. Let o be y(-5). Let r = o - -173. Is r a prime number?
False
Is (5/10)/((-13)/(-359866)) composite?
False
Is 7 + (-16)/8 + 23510 a composite number?
True
Suppose 2*x = -3*g - 3*x + 7, g + 5*x = -1. Let z be (-14)/(-3) - 20/30. Suppose g*h + z*n - 940 = 0, 4*n + 601 = 2*h + 119. Is h composite?
True
Let d(o) = -57*o + 27. Is d(-20) a composite number?
True
Suppose 3 - 12 = -l. Suppose -8*j + l*j = 221. Is j a prime number?
False
Suppose -10 = 3*k + 4*f, 0 = 5*k - f + 2*f - 6. Is ((-625)/(-10) - -1)*k prime?
True
Suppose -28*b + 24236 = -1160. Is b a prime number?
True
Let g(z) = -3259*z**3 + 3*z**2 + 3*z + 2. Is g(-1) a prime number?
False
Suppose 44*u = -23*u + 318183. Is u prime?
False
Let q(u) = 4*u**2 - 3*u - 16. Let w = 29 + -22. Let v be q(w). Let p = 115 + v. Is p composite?
True
Let m(j) = j + 6. Let a be m(-13). Let d(u) = -u**3 + 3*u**2 + 7*u - 4. Is d(a) prime?
False
Let f(c) = -187*c + 18. Let b be f(-14). Suppose -o - 1761 - 905 = -3*k, 0 = -3*k - 5*o + b. Is k prime?
True
Let a = -157 - -1598. Is a a prime number?
False
Let s = 5925 - 1988. Is s