Let x = -18 - -21. Suppose x*j = -0*j. Suppose m + m - 354 = j. Is m prime?
False
Let w = 21 - 5. Let h be (w/(-20))/((-1)/(-5)). Let o(d) = -3*d**3 - 4*d**2 + 6*d + 9. Is o(h) a prime number?
True
Let f(s) = -s**3 + 3*s**2 + 7*s. Let x be f(5). Let o = 15 + x. Suppose 3*m = -o*m + 207. Is m composite?
True
Suppose 11 = 2*b - 3*c, 0 = -3*c + 2*c - 1. Suppose 101 = m - b*h, -5*h = 3*m - 7*m + 393. Is m prime?
True
Let t be (-2)/4*(-1 + -3). Suppose t*v = -3*a - 1, -5 = -3*v - 3*a - 2. Suppose 0 = q - 2*l + v*l - 203, 4*l = 4. Is q a composite number?
True
Let y(m) be the first derivative of -m**5/40 + 13*m**4/24 + 2*m**3 + 4. Let w(g) be the third derivative of y(g). Is w(-8) a composite number?
False
Let k be (-16)/(-56) + 66/14. Let g(b) = 43*b**2 - 4*b. Is g(k) a composite number?
True
Let p = 4411 + 0. Is p prime?
False
Let n(i) = -2*i - 6*i - 2 - 3. Suppose -15 = 3*r + 3*s, 5*s - 47 = 4*r - r. Is n(r) a prime number?
True
Is (-11)/44 - (-3 - 128313/4) prime?
False
Suppose -34*t = -24*t - 1410. Suppose -7*x + 2750 = -t. Is x a prime number?
False
Suppose -3*q + 0*m + 3 = 4*m, -3*q = -4*m - 27. Let p = q + 2. Suppose 3*x = -4*c + p*x + 516, 0 = c + x - 125. Is c prime?
True
Suppose 3*f + 0*f = 15. Let i = 4 - f. Let q(t) = -89*t. Is q(i) composite?
False
Let u = -582 + 1502. Suppose 6*s + u = 14*s. Is s prime?
False
Let y = 733 - 367. Is (-3 - y)/(-3) + 4 composite?
False
Let o be -8*((-36)/(-8))/(-9). Let j be (o + -2)*466/(-4). Let l = j - -614. Is l composite?
True
Let s(q) = q**2 + 9*q + 16. Let l be s(-7). Suppose -3*r + l*y - 2 = 0, r + 2*r - 5*y = -14. Suppose r*h + h = 4*j + 505, 0 = -5*h + 2*j + 823. Is h composite?
False
Let w = 124 + -121. Suppose -4*g + 2*g = -4*j + 4830, 0 = -w*j + 2*g + 3623. Is j a prime number?
False
Suppose -14*t + 12*t + 8 = 0. Suppose 0 = t*n + 3*a - 3835, -n - 1915 = -3*n - a. Let w = n + -656. Is w a prime number?
False
Let a = 22 - 13. Suppose -4 - a = -x. Is x prime?
True
Suppose 4*x + 5*m = -7, -5*x - 6*m + 2*m = 2. Suppose -3936 = 2*d - 6*d + x*j, 4*d + 4*j - 3924 = 0. Is d a composite number?
False
Suppose -3*n + n = -8418. Suppose n = w + 1096. Is w a prime number?
False
Suppose 408*w + 18 = 399*w. Let d be 2*2/(-12)*-6. Is (d/6)/(w/(-1146)) prime?
True
Let y = -28 - -26. Let d = y - -4. Suppose -b + 5*q - 2048 = -5*b, d*b = 2*q + 1042. Is b a composite number?
True
Let l be (1 + 1)*821 + -2. Suppose l - 279 = f. Is f a prime number?
True
Suppose 5*f + 38419 = 4*m, m - 4494 - 5095 = -4*f. Is m a prime number?
True
Is (-4 - -1)/(5 + (-76298)/15259) prime?
True
Suppose 0 = l - 2*y - 128, 0 = l + 2*y - 20 - 120. Is l prime?
False
Suppose 2*q = 2 - 0, -5*t = -5*q - 17990. Is t a prime number?
False
Let f be (-1)/3 + 5 + (-14)/3. Suppose -2*d - 6*d + 88 = f. Is d a prime number?
True
Let h(g) = -g + 10. Let q be h(5). Suppose -5*f = -4*r, -q = -2*f - 13. Let i(k) = -k**3 + 8*k**2 + 7*k + 3. Is i(r) a prime number?
True
Suppose -25 = 5*d, 3*k = -5*d - 11 - 14. Suppose 8*r - 2*r - 4086 = k. Let j = 1168 - r. Is j a composite number?
False
Suppose -34*o - 169862 = -48*o. Is o a prime number?
False
Suppose -29 = -2*n - 3*n - 2*h, -4 = -2*h. Suppose -n*f - 5*g + 5260 = 0, 0 = 4*f - 3*g - 0*g - 4229. Is f a prime number?
False
Let f(u) = 13*u**2 + 3*u - 9. Is f(5) a composite number?
False
Is 2/(-13) + (-1607724)/(-1443) a prime number?
False
Suppose 4*i + c - 34008 = 0, -5*i + 154*c - 157*c + 42517 = 0. Is i a composite number?
False
Let u(p) = -p**3 - 11*p**2 - 9*p - 448. Is u(-15) a prime number?
True
Let f be 8 - ((2 - 5) + 4). Let s = -25 + f. Let m = s - -124. Is m a composite number?
True
Is (-28198)/((-27)/12 + (-17)/(-68)) composite?
True
Is 453358/10 + (-16 - 380/(-25)) prime?
False
Suppose -5*w + 6 = -14. Suppose w*f - 42 = -2*f. Is f prime?
True
Let c(l) = 5*l**2 + 5*l - 7. Suppose 14 = 3*t - o, 4*t + 10 + 3 = -5*o. Is c(t) a composite number?
False
Suppose -10 = 2*n + 4*d, 2*d - 7*d - 10 = 5*n. Is n/((10/(-20555))/(-2)) prime?
True
Suppose 5*f = -3*d + 14704, 0 = 28*f - 32*f - 4*d + 11768. Is f composite?
False
Let u(n) be the first derivative of -16*n**2 + 13*n - 9. Is u(-9) prime?
False
Let v = -2732 - -34849. Is v prime?
True
Suppose -4*d + 30*o = 27*o - 3281, -d = -2*o - 819. Is d a prime number?
True
Suppose -5*u + 2*u - 6 = 0. Is 29210/80 - 1/(6 - u) prime?
False
Suppose 8719 = k - 4*r, 4*r - 43661 = -5*k + 2*r. Is k composite?
False
Let f(u) = u**3 + 5*u**2 - 7*u + 4. Let l be f(6). Suppose 5*y + 437 = -l. Let k = 578 + y. Is k a prime number?
True
Let h(m) = -22*m - 23. Let b(f) = 89*f + 93. Let a(s) = 2*b(s) + 9*h(s). Let w be a(-10). Let n = -40 + w. Is n a prime number?
True
Suppose 14*l + 4*y = 9*l + 28915, 0 = -2*l + 4*y + 11538. Is l prime?
True
Let r be 2*(-4)/24*-3. Is (15 + -16)/(r/(-1849)) - 2 a prime number?
True
Suppose 0 = 9*g - 10699 - 36758. Is g a prime number?
True
Let n = -14 - -8. Let v = -2 - n. Suppose -195 = -a + k, 3*k + 2*k - 744 = -v*a. Is a prime?
True
Suppose 2*w + 142003 = 5*d, 0 = -5*d + w + 112197 + 29802. Is d prime?
False
Let g(i) = i**3 + 10*i**2 + 8*i + 13. Let x be g(-9). Suppose -4*k + 3*k + 5*h = x, k = -4*h - 4. Is ((-6)/k)/(2/88) prime?
False
Let l be (-176595)/(-24) - (-2)/(-16). Is 0 + ((-10)/(-45) - l/(-18)) prime?
True
Suppose 0 = 3*f - 5*g - 476, 4*f - 294 = -3*g + 389. Let n = f - 100. Is n a composite number?
False
Let o = -94 + 98. Is (-865 - -2)/(3 - o) composite?
False
Let q = -1249 - -1880. Is q a prime number?
True
Suppose -h = 3*h. Let i = -361 + 449. Suppose h = 2*l + i - 258. Is l a composite number?
True
Let g(l) = 2*l + 3. Let f be g(-11). Let j be f/38 + (-2)/(-4). Suppose j = -5*h + 5 + 170. Is h prime?
False
Suppose -2*j = 4*s - 1330, j + 2*s + 1995 = 4*j. Suppose t = 4*t + g - j, -t = 3*g - 211. Is t a prime number?
True
Let k(x) = 4*x**3 - 2*x**2 - 4*x + 1. Let d = -7 - -10. Suppose -30 = -d*i - 21. Is k(i) a composite number?
False
Let f(w) = -w**3 + 6*w**2 - 6*w + 7. Let d = 9 + -4. Let m be f(d). Is m*3/6*79 prime?
True
Let z = 15 - 14. Let p(o) = 685*o. Let a be p(z). Let m = a - 446. Is m a prime number?
True
Let v(j) = -3*j**3 - 39*j**2 + 36*j - 19. Is v(-20) composite?
True
Let r(g) = 2*g**3 + 2*g**2 - 2*g + 14. Let i(t) = t**3 + t**2 - t + 7. Let o(x) = -5*i(x) + 3*r(x). Is o(0) a prime number?
True
Let r = 0 - -8. Suppose 3*s - 4 = -4*a, 9*a + 3*s - r = 4*a. Suppose 3*l - a*x = 6, -4*x + 0*x = 2*l - 24. Is l prime?
False
Suppose 4*a - 5*z + 7*z = 177342, -a + 2*z + 44333 = 0. Is a a prime number?
False
Let m be (-3 - (-7)/3)*-3. Let z(x) = -19*x**2 + 5*x + 5. Let u(c) = c**2 + c + 1. Let l(t) = m*u(t) - z(t). Is l(-2) composite?
True
Suppose 6*f - 2*f - 32 = 0. Let t(y) = y**3 - 4*y**2 - 6*y + 4. Let o be t(f). Suppose g - 5*g = -o. Is g composite?
False
Let j(d) = 3*d**2 - 6*d + 62. Is j(-37) prime?
True
Suppose -s + 3*s - 2 = 0. Is (59/(-118))/(s*2/(-12068)) prime?
False
Suppose -28*t - 7185 = -33*t. Is t a composite number?
True
Suppose 4*n + 3*z - 21104 = 0, 4*n - 13364 - 7736 = -2*z. Suppose 3*a - n = -o, -4*a + 7024 = -2*o + 5*o. Is a composite?
False
Let j(c) = 280*c**2 + 15*c + 7. Let o be j(-3). Let l = o - 1647. Is l a prime number?
False
Suppose 4*z + 2*i + 4 = 26, -2*z + 31 = 5*i. Is z/1 - (-1 + -87) composite?
True
Let z = 440 + -105. Let s(i) = 41*i - 3. Let b be s(-5). Let v = b + z. Is v prime?
True
Suppose -5*z = p - 16718, 0 = -5*z + p + 7277 + 9435. Is z prime?
True
Suppose 0 = 5*q + 9 + 11. Let h be q/6 + 190/6. Let o = h + 64. Is o a composite number?
True
Suppose -84*b = -15*b - 5051973. Is b a prime number?
False
Let a be ((-136)/(-12))/(2/6). Let u = a - 19. Is (10/u)/((-4)/(-1338)) a composite number?
False
Suppose -25255 - 25157 = -4*o - 4*v, -4*v + 113417 = 9*o. Is o a composite number?
False
Suppose 0 = -2*f + q - 0*q + 1265, -2*q + 2 = 0. Is f a prime number?
False
Let v(g) = -14*g + 3. Let i(b) = -b**3 - 12*b**2 + 2*b + 8. Let y be i(-12). Let k = y + 10. Is v(k) composite?
True
Let i(g) = -4439*g - 972. Is i(-11) prime?
True
Let z = 30 - 28. Suppose -4*p - z*p + 5322 = 0. Is p prime?
True
Let l(c) = -c**3 - 2*c**2 - c - 2. Let a be l(-2). Suppose a*z = z. Is (-18)/(-1 + z) + -3 composite?
True
Suppose 423 = 5*k - 2*v - 715, -2*v = 2*k - 444. Let x = k - -69. Is x prime?
False
Suppose 