
False
Suppose 13 = 4*o + 5, 124 = -c + 3*o. Let p = c - -337. Suppose 8 = -n + p. Is n a prime number?
True
Suppose 5814 = 31*b - 40*b. Let f = -339 - b. Is f prime?
True
Let m = 1382 + -862. Let w = m + -359. Suppose 3*v + 4*s = w, -3*v + 3*s = -v - 96. Is v composite?
True
Suppose 0 = -4*m - 1413 + 23777. Is m a prime number?
True
Let i(o) = 281*o - 10. Let s be i(5). Suppose x - 2*j = s, -3*x + j + 4193 = 3*j. Is x a prime number?
False
Let a(s) = 70*s**2 - s. Let u = -8 + 12. Suppose 0 = -3*y - 2*j + 1, -3*y + u*j + 0*j + 7 = 0. Is a(y) prime?
False
Let x = -10 + -1. Let r(t) be the second derivative of t**4/12 + 2*t**3/3 + 5*t**2 - 18*t. Is r(x) a composite number?
True
Let v(r) = -r**2 + 81*r - 17. Is v(30) prime?
False
Let t(x) = 26*x**3 + x**2 - x + 2. Let j be t(2). Let z = 2349 - 2556. Let h = j - z. Is h composite?
False
Suppose 9*f - 10 = 4*f. Suppose -f*p - 383 - 203 = 0. Is (p/(-4))/(1/4) composite?
False
Let n = 20 - 14. Suppose 4*g = n*g - 1162. Is g a prime number?
False
Let a = 6152 + 29885. Is a a composite number?
False
Let i = 57795 - 35632. Is i composite?
True
Let f = 4772 + -1109. Suppose -b + 10*b = f. Is b composite?
True
Suppose -151735 = -19*t + 19246. Is t a composite number?
False
Let o(a) = -545*a**3 + a. Let m be 4 + ((-2)/2 - 4). Let z be o(m). Let g = -249 + z. Is g composite?
True
Suppose -5*b + 3408 = 2*s - 1699, -5*s - 4*b + 12810 = 0. Is s a prime number?
False
Suppose -3*q + 105*t - 108*t + 76632 = 0, 0 = 3*q - t - 76652. Is q a composite number?
True
Suppose 5*d - 1133 = 1567. Let a = 713 + d. Is a a prime number?
False
Let m(f) = 7*f + 25. Suppose -10*y = 3*y - 78. Is m(y) a composite number?
False
Suppose 4*x - 6*x + a = -14494, 0 = x + a - 7250. Suppose -384 + 392 = -2*g. Is -2 + (x/(-4))/g prime?
False
Is (-3 - 248/(-80)) + (-48218)/(-20) a prime number?
True
Let r = -5479 - -9986. Is r composite?
False
Let h(y) = 3*y**3 - 1. Let k be h(-1). Is (32 + -4)*(-11)/k prime?
False
Suppose -246 = -z - 3*v + 44, 3*v - 876 = -3*z. Suppose -5*d = -4*d - z. Is d a prime number?
True
Suppose 3*z + 54551 = 56*o - 51*o, -z = 4*o - 43634. Is o composite?
False
Suppose 3*v - 8688 = 3*h, 0 = 4*v - 24*h + 25*h - 11599. Is v a composite number?
True
Is -2 - -4 - 6/(18/(-5397)) a composite number?
False
Suppose 0 = 4*b - 2*q - q - 22, b = -3*q - 2. Suppose 0 = -v + b*n + 9, 4*n = -2*v + 5*n + 11. Suppose v*d = d + 628. Is d a composite number?
False
Suppose -b = b - 330. Suppose -p + 37 = -b. Is p a composite number?
True
Suppose 11*x + 5*x = 1488. Let d = 21 + -35. Let q = d + x. Is q a composite number?
False
Let z be (32/(-1))/(1/(-2)). Suppose -2*r + z = 5*s + r, 64 = 4*s - 4*r. Let d(l) = 2*l**2 - 17*l + 3. Is d(s) a prime number?
True
Suppose -4*v - 7*v + 27236 = 0. Suppose -8*o = -v + 180. Is o a composite number?
True
Let b(u) = u**2 + u. Let m be b(1). Suppose -m*p + 375 = o, -4*o + 0*p = 3*p - 1510. Is o a prime number?
True
Suppose -5*q - 682 = g, -3*g = -6*q + 2*q - 557. Let b = -79 - q. Is b composite?
True
Let x(j) = -40*j + 4. Let c be x(-4). Suppose -u + 57 + c = 0. Is u composite?
True
Suppose 3*p + 3*k = 1818, -k - 1814 = -3*p - 0*k. Suppose -14*f = p - 7479. Is f composite?
False
Suppose 4*w - 1264 - 31 = 5*d, 0 = 4*d - 4*w + 1032. Let c = d - -378. Is c prime?
False
Let z = -4 - -12. Let j(u) = -6*u + 2*u - 5 - z + 2. Is j(-8) composite?
True
Let x = -14 - -24. Suppose -4*j + x*j - 4218 = 0. Is j a prime number?
False
Suppose 3*b = 8 - 2. Is ((-2515)/(-10))/(b - 6/4) prime?
True
Suppose -12 = -3*v, 0*v = -5*o + v + 41. Is (0 - -4 - o)*-29 a prime number?
False
Let t = -2 - -7. Suppose -6*m - 343 = -3*w - m, t*w - 625 = -5*m. Suppose -2*c + c = -w. Is c prime?
False
Let f be (12/(-15))/(2/10). Let m be (2/f)/(5/(-590)). Let y = m - -8. Is y a prime number?
True
Suppose -v = -c + 1462, c - 5839 = -3*c - 5*v. Is c prime?
False
Suppose -2*d = -5*d + 19833. Let j = -3408 + d. Is j a composite number?
False
Let b(k) be the first derivative of k**3/3 + 7*k**2/2 - 7*k + 2. Let i be b(-8). Is (-2)/i*382/(-4) a composite number?
False
Let v(f) = 18*f**2 + 49*f + 38. Is v(-16) composite?
True
Let t(s) be the first derivative of -205*s**2/2 - s + 14. Is t(-2) composite?
False
Let i = -27 + 63. Let v(c) = -i*c + 1 - 2 + 0 - 30*c. Is v(-4) a composite number?
False
Is 2*6159 + (-13 - (-3 - 5)) composite?
True
Is -1*(-6)/4*1562442/63 a composite number?
False
Let c(j) = 88*j**2 - 1. Let b be c(-1). Let x = b + 118. Suppose 0 = -2*l - x + 995. Is l prime?
False
Let x = -24268 - -99927. Is x a composite number?
False
Let r(f) = 2*f**2 + 2*f - 2. Let z be r(-2). Suppose -z*m + 96 = 2*m. Is ((-123)/(-2))/(12/m) prime?
False
Suppose -4*n + 55 = 7. Let s(m) = 11 + m**2 - 2*m + m + m**2 + 18*m. Is s(n) a prime number?
True
Let p be (1/(-2))/((-2)/1332). Let y = p - 237. Suppose 3*q + y = 3*k - 24, 170 = 5*k + 5*q. Is k prime?
True
Let o(j) = -47*j + 4. Let s = -7 + 11. Suppose s*q = 3*w - 7, -q + 2 = -w - w. Is o(w) prime?
False
Let s = 645 + -357. Suppose 0 = g - 4*g + s. Let c = g + -29. Is c a prime number?
True
Let u(y) = 58*y + 1. Suppose -3*m = 3*m - 24. Is u(m) composite?
False
Let q(i) = 4*i + 2. Let m be q(2). Suppose -6402 + 1172 = -m*v. Is v composite?
False
Suppose 0*a = -3*a + p - 4313, -3*p + 5759 = -4*a. Is 3/(a/(-716) - 2) prime?
False
Is (-4 - 85/(-20))/((-1)/(-5036)) prime?
True
Let k = 8 - 14. Let p = k + 11. Suppose 0 = -p*l + 4*c - 0*c + 153, 3*l - 114 = -5*c. Is l prime?
False
Let j(q) = 1858*q**2 + 11. Is j(3) a prime number?
False
Let c = -10931 - -169272. Is c a prime number?
True
Let c(i) = -i**3 + 4*i**2 - 4*i + 4. Let p be c(3). Let v(l) = -22*l**3 + l**2 - 2*l + 2. Let a be v(1). Is (a/6)/(p/(-6)) prime?
False
Suppose d - 10*k - 351 = -15*k, 0 = d + 4*k - 355. Is d a prime number?
False
Suppose 0*m = -4*m + 37476. Suppose m = n - 4*n. Is -3*1*n/27 a composite number?
False
Let o = -17 - -18. Suppose -2*j + 3*j + o = 0. Is j/3 + 778/3 composite?
True
Let l(r) = 115*r + 87. Is l(18) composite?
True
Is (35/(-21) - 4/(-6))*-5147 prime?
True
Let r(m) = -26 + 84 + 3*m**2 - 2*m**2. Suppose 0 = 9*z - 7*z. Is r(z) composite?
True
Suppose 16*h - 10574 - 193922 = 0. Is h a prime number?
True
Let k be (4/2 - -3) + (-6)/(-6). Suppose 27153 = k*b - 5901. Is b composite?
True
Let a = 10465 - 3930. Is a prime?
False
Let d(i) = 171*i**2 + 9*i - 5. Is d(3) a prime number?
False
Let n(l) = -l**3 + 3*l**2 + 5*l - 4. Let x be n(4). Suppose -7 = a + m - 4, x = -a + 4*m + 2. Is ((-13)/a)/(9/522) a prime number?
False
Let q(p) = -2*p**3 - 11*p**2 + 9*p - 3. Let u(j) = -2*j**2 + 17*j - 19. Let m be u(8). Is q(m) prime?
True
Suppose -16093 = -7*s + 115318. Is s prime?
True
Let x be (-24)/(-108) + (-2)/9 + 2306. Suppose -3*a + 3*v - 173 + x = 0, 0 = -2*a + v + 1418. Is a prime?
False
Suppose -21*d + 14*d + 9527 = 0. Is d a composite number?
False
Suppose -5*r + 15 = 3*q - 14, 5*q - 18 = -4*r. Is r prime?
True
Suppose -3412 - 6790 = -2*o. Suppose 2*f = 4713 + o. Is f prime?
False
Let x = -87 + 89. Suppose -2*r + 7682 = 2*p + x*r, 16 = 4*r. Is p a prime number?
True
Let k = -2482 - -3655. Let g = k - 632. Is g a composite number?
False
Let c be 220/(-12) - (1 - 12/9). Is (c - -19) + 104/2 composite?
False
Let t(z) be the second derivative of z**5/20 + 3*z**4/2 - 4*z**3/3 + 19*z**2/2 - 39*z. Is t(-12) composite?
True
Let k(s) = -s**3 - 9*s**2 - 8*s + 7. Let q be k(-8). Let z = 1 + q. Is 39 + 0*2/z composite?
True
Let s(v) = v - 11. Let t be s(15). Suppose t*q - 196 = 176. Suppose -g + q = 2. Is g a composite number?
True
Let g(f) = f**2 - 2*f + 2. Let a be g(3). Suppose 5312 = -a*c + 13777. Is c a prime number?
True
Let j = 1670 + -979. Is j a prime number?
True
Is 15/(180/150*(-10)/(-268)) a composite number?
True
Suppose -o = 4*l - 24, -2*o + 0*l + 92 = -3*l. Suppose 2*s + 3*s + o = 0. Let u = s + 66. Is u a composite number?
True
Let b = 8 + -5. Let q(l) = -7*l - 3 + 2 + 10 - b*l. Is q(-14) prime?
True
Let c(l) = -3*l**3 - 11*l**2 - 97*l + 17. Is c(-14) prime?
True
Let r = 4 + 3. Suppose -a = -8 - 2. Suppose -a*c = -r*c - 483. Is c a prime number?
False
Suppose -5*u = -3*a + 3785, -u - 71 = -a + 1188. Is a a composite number?
True
Suppose -s + 12 = -2*s - 4*q, -15 = s + 5*q. Let d be 0 - s - 3 - -4. Is -159*(8/12 