 492 = -t. Is j a prime number?
True
Let y be (-8)/(-12) + 86/6. Let a be (y/(-4))/5*-8. Is a/9*(32 - -1) a prime number?
False
Let v(k) = 5*k + 1. Suppose -3*o + 5*j - 6 - 1 = 0, -4*o + 9 = -3*j. Is v(o) composite?
False
Let z(w) = -3 + 0 - 4*w + 2*w**2 - 2*w. Suppose -3*y + 26 = 2*o, -4*y + 9 + 23 = 2*o. Is z(y) prime?
False
Let k be 10*(-1 + 3 + -1). Let o be 0 + 8/2 - -2. Is 314/o + k/15 a composite number?
False
Suppose 0*t - t = m - 1, 0 = t - 5*m + 29. Let w = t + 14. Is (-6)/15 - (-234)/w prime?
True
Is 52420/50 - (-6)/10 prime?
True
Let n(q) = -54*q. Let v be n(-3). Let k = -104 + v. Is k prime?
False
Let y(w) = -3*w**3 + 3*w**2 - 2*w + 3. Let k be y(-3). Suppose -2*r - 2*m = -k - 69, r - 97 = -2*m. Is r a prime number?
True
Let m(q) = -2*q + 1. Let x be m(-2). Suppose 38 = x*s - 97. Suppose 300 = 3*r - s. Is r prime?
True
Let g = -231 - -383. Let u = g - -11. Is u a composite number?
False
Suppose 148 = -4*n + 8*n. Is n prime?
True
Let i(g) = -2*g - 2. Let l(j) = 3*j + 3. Let h(r) = -4*i(r) - 3*l(r). Let z be h(5). Is (-8)/z - (-4)/6 a composite number?
False
Let h(l) = 11*l**2 - 2*l - 2. Is h(5) prime?
True
Let t be -2*(-1 - 1/(-2)). Suppose 5*f = t - 56. Let p = f + 26. Is p prime?
False
Let r = -4 - -7. Suppose 344 = r*k + 5*m, -434 - 48 = -4*k + 5*m. Is k composite?
True
Let v(x) = 3*x**2 - 2*x - 4. Is v(-15) prime?
True
Is 3*2/(24/332) a prime number?
True
Let f(c) = -c - 6. Let b be f(-10). Suppose 0 = -b*a, 4*a = 5*j - a - 200. Let q = j + -9. Is q a prime number?
True
Suppose -2*h + 35 = 3*h. Let x = 5 - h. Is (0 - (-9)/(-2))*x a prime number?
False
Suppose -8*d + 4*d + 664 = 0. Is d a composite number?
True
Is 2*2*((-4458)/(-8) - -2) a prime number?
True
Let c = 22 - 22. Suppose -2*s + 3*o + 131 + 192 = c, 5*s = -2*o + 779. Is s prime?
True
Let q(w) = w**3 + w**2 + 11*w - 8. Is q(9) prime?
False
Let r = 1 + 1. Suppose 2*o = 3*i + 127, 3*o = o + r*i + 128. Is o composite?
True
Suppose 0 = 5*v + 4*y - 3030, -4*v + 4*y = -v - 1818. Suppose -2*p + 4*p - v = 0. Suppose 7*s - 2*s = o - 117, 3*o - 3*s = p. Is o a composite number?
False
Let y be (-6)/18*(-6)/(-2). Is (-265 + 2)*(0 + y) a prime number?
True
Let i = -10 - -14. Suppose 5*h - 140 = 4*b, -i*h + 70 = -b - b. Let o = -13 - b. Is o a composite number?
True
Let t(g) = -g**2 + 8*g - 1. Let b be t(6). Let n = b + -8. Is 7/(n - 4/2) a composite number?
False
Suppose -186 = 4*m - 74. Is 1/((m/296)/(-7)) a composite number?
True
Suppose -4 = d + d. Is d/4 - 1269/(-6) a composite number?
False
Let a(d) = 2*d**3 - 2*d**2 - 2*d + 1. Let v be a(2). Suppose 350 = 2*p + v*k, 0 = 5*p - k - 3*k - 941. Is p a prime number?
False
Suppose -2*w + 0*w - 16 = 0. Is 4/(-16) + (-634)/w composite?
False
Let y = 358 - 212. Let h = 295 - y. Is h composite?
False
Suppose -711 + 213 = -3*l. Is l prime?
False
Let p(z) = 33*z - 8. Let c be p(-9). Let r = c + 528. Suppose 731 = 4*n + r. Is n prime?
True
Let f(z) = z**2 + z + 2. Suppose -h = -1 - 1. Let y be f(h). Is y/12*(-93)/(-2) prime?
True
Let b(x) be the first derivative of -3*x**5/20 + x**4/12 + x**3/3 + x**2 + 4*x + 4. Let h(p) be the first derivative of b(p). Is h(-2) a prime number?
False
Let c(q) = -82*q - 9. Let w be c(9). Is ((-1)/1)/(9/w) composite?
False
Let g(k) = -10*k**3 - 3*k**2 - 9*k - 17. Is g(-7) a prime number?
True
Suppose -2*z = 5*j - 437, -4*z - 74 = -2*j + 96. Is j composite?
True
Let k be 26 + 4/(6/(-3)). Let s be -14*(-4)/(k/(-9)). Let r = s + 34. Is r prime?
True
Let s(x) = 200*x - 200*x + 1 + 448*x**2. Is s(1) prime?
True
Let o(g) = 2*g**3 - g**2 + g. Let x be o(1). Suppose x*z - 13 - 117 = 0. Is z composite?
True
Suppose 2*q = -5*i + q, -3*i + 2*q = 0. Is (i - 237)*(-16)/48 a prime number?
True
Let l(r) = r - 8. Let k be l(8). Suppose 3*f + k*f + 112 = m, m - 117 = 2*f. Is m prime?
True
Let i be (-52)/(-6) - (-2)/(-3). Suppose q + 16 + i = 5*w, -6 = -w - q. Suppose o - w - 54 = 0. Is o a prime number?
True
Suppose 5*m - 960 = -t - 0*t, t = 2*m - 377. Is m composite?
False
Suppose 0*q + 4*r = 3*q - 127, 0 = -r - 4. Is q a composite number?
False
Let p(x) = 2*x**2 + 1. Let w be p(-3). Suppose -10 = -b + 4*v, -6 + 4 = -v. Let u = b + w. Is u prime?
True
Suppose 5*s - 9*s = 0. Let k(q) = q - 87. Let j be k(s). Is 1/(j/(-42) - 2) prime?
False
Let r(y) = 76*y - 3. Let o be 3*((-16)/6 + 2). Let j(h) = 38*h - 1. Let g(p) = o*r(p) + 5*j(p). Is g(2) composite?
True
Suppose -2 = -5*c + 8. Let j = c + -2. Let l = 3 + j. Is l a prime number?
True
Let s(z) be the third derivative of -5*z**4/8 - 7*z**3/6 - 4*z**2. Is s(-4) composite?
False
Suppose 2*a = 4*k - 2*k - 132, k - 82 = -3*a. Suppose 0 = -0*j - 2*j + k. Is j a prime number?
False
Suppose -5*o + 3*j - 3 = -256, 0 = 2*o - j - 102. Is o prime?
True
Let m(w) = -2 + 3 - 7*w + 10*w**2 + 12 - w**3. Let q be -3 + 2*6 + 0. Is m(q) composite?
False
Let l = -10 - -14. Suppose -3*u - l*f + 6 = -19, -2*u + 2*f = 2. Suppose 161 - 2 = u*k. Is k composite?
False
Suppose -726 + 106 = -5*s. Suppose 0 = -h + 2*h + v - 116, 3*v = h - s. Is h a composite number?
True
Suppose m + 3*l + 5 = -9, 0 = 5*m - l - 10. Let q = 3 - m. Suppose 5*f + 5*g - 94 = q*f, -3*f - 3*g = -96. Is f a prime number?
False
Let i = -25 - -26. Let p(f) = 5*f**2 - 2*f + 1 + 63*f**2 + 24*f**2. Is p(i) a prime number?
False
Is 1574*(-4 + 18/4) a composite number?
False
Let r(u) = -u**2 + 7*u - 4. Suppose -q + s = -2*q + 13, 2*s - 50 = -5*q. Let g be r(q). Let w = g - -26. Is w prime?
False
Suppose -3 = 2*j - 5*l + 7, j = 2*l - 4. Let w = 2 + j. Suppose -w = -z + 12. Is z composite?
True
Let k = 42 - -37. Is k a prime number?
True
Suppose -5*y + g = -705 + 65, -g = y - 122. Is y a prime number?
True
Suppose 11*t + 261 = 14*t. Is t prime?
False
Let g(u) = u**3 - 7*u**2 - 5*u + 4. Is g(13) composite?
False
Let i(m) = 5*m**2 + 11*m - 19. Is i(5) a composite number?
True
Suppose 4*u - 7924 = 4*h, -u + 1981 = -h - 4*h. Is u prime?
False
Suppose -2*z + 0*z = 26. Let x = -9 + -15. Let k = z - x. Is k a composite number?
False
Let w be (81 + -2)*1*-1. Let v = 116 + w. Suppose r - 2*r = -v. Is r prime?
True
Suppose 2*f - 12 + 0 = 0. Suppose -7*n + 158 = -f*n. Is n prime?
False
Suppose 4*q - 69 = 79. Is q composite?
False
Let m = 0 - 2. Suppose 3*q = 2*z - 3*z + 167, 159 = 3*q - 3*z. Let j = q + m. Is j a composite number?
False
Let v(l) = 14*l**3 + l**2 - 1. Let r = -2 + 1. Let w be v(r). Let a = w + 21. Is a composite?
False
Suppose 0 = 9*b - 4*b - 585. Suppose -4*q = 0, 2*q - 351 = 3*g + b. Is (2/(-4))/(2/g) composite?
True
Suppose 5*k + 19 = -x, 4*k + 9 = -7. Let f be (933 + 0)*x/3. Suppose -4*a + f = 3*s - 8*s, s = 3*a - 236. Is a a composite number?
False
Suppose 13 = 3*b - 2. Suppose 317 = b*w - 238. Is w a prime number?
False
Let t = 448 - 317. Is t a prime number?
True
Let u(g) be the second derivative of g**4/3 + g**3/6 + 3*g**2 + g. Let q be u(-8). Suppose -v - v + q = 0. Is v prime?
True
Let k(f) = 6*f**2 + 15*f - 3. Is k(-10) prime?
False
Let t be -57*3/((-3)/1). Suppose -t = -3*m + 12. Is m a composite number?
False
Let n = -68 - -136. Let w be (-1 + -72)*-2 + 3. Let a = n + w. Is a composite?
True
Suppose -j + 5*j - 2 = 3*v, 2 = -2*v + 2*j. Let q be (-1)/(-2)*(v + -2). Is 320 + q/(2/3) a prime number?
True
Let b = 12 - 9. Suppose -b*t - 2*d = -t - 90, 0 = 4*d - 8. Is t a composite number?
False
Let w be (646/6)/(1/3). Suppose -3*j + 12 = 0, -k + j = 2*k - w. Is k composite?
False
Suppose b + 6 = 3*b. Suppose -7*q = -b*q. Suppose q*n + 2*n = 110. Is n prime?
False
Let g(l) = 0*l**2 + 1 + 2 - 2 - l + 3*l**2. Is g(2) prime?
True
Suppose -3*r + 4*l = -7*r - 12, -4*r - 3*l - 7 = 0. Is ((-15)/(-2))/5*r a prime number?
True
Let w be -2*(167/(-2))/(-1). Let x = 234 + w. Is x prime?
True
Let t = 17 + -9. Let z(i) = -5 + 7 - 2*i**2 - i**2 + t*i**2. Is z(5) a composite number?
False
Let t(p) = 3*p**3 + 24*p**2 - 8*p - 10. Let f(m) = m**3 + 8*m**2 - 3*m - 3. Let x(s) = -7*f(s) + 2*t(s). Suppose -4*k + 12 - 48 = 0. Is x(k) prime?
True
Suppose -4*v - 3*u = -1024, -4*v + 2*u + 2*u + 1052 = 0. Is v a prime number?
False
Suppose -3*u + 4*s + 361 = 0, 0*s + s = -u + 111. Is u a composite number?
True
Let z be 2/8 + (-2890)/8. Let u = z - -515. Suppose 2*t - u - 36 = 0. Is t a prime number?
False
Let s = -2 + 4. Let m be (-4 - -4)/(2/s).