4*m. Let v be o(3). Suppose 2*a = 5*a - v. Is a prime?
True
Let n(s) = -s**2 - 9*s - 12. Let v be n(-8). Is 20*1/v*-2 a prime number?
False
Let o(z) = 6*z**2 - 11*z - 6. Let t(b) = 7*b**2 - 12*b - 7. Let c(h) = 5*o(h) - 4*t(h). Is c(5) a composite number?
False
Is 2652/24 + 3/(-2) prime?
True
Let l be (12 - 0)/4 - 3. Suppose l*q + 47 = 3*q - 2*x, 0 = -3*q - 5*x + 19. Is q prime?
True
Let q = -17 + 14. Is (q + (-21)/(-6))*422 prime?
True
Suppose -3*g = -5*g + 956. Is g a prime number?
False
Let q(m) = m - 4. Let g be q(12). Is 78/(-5)*(-20)/g composite?
True
Suppose 0*p = -5*p - 4*h + 7539, 4*p + h = 6029. Is p composite?
True
Suppose 2*b + 174 = -5*p + 535, 4*p = -b + 287. Is p composite?
False
Suppose -f = -27 - 14. Suppose 2 = -3*j + f. Is j composite?
False
Suppose 0 = -43*b + 41*b + 1658. Is b prime?
True
Let a(i) = 7*i**2 - i**3 + i**3 + i**3 + 5. Let z be a(-6). Suppose 0 = -3*t + z + 1. Is t a prime number?
False
Let b(w) be the third derivative of -w**5/60 - 13*w**4/24 + 5*w**3/6 - 2*w**2. Is b(-10) a prime number?
False
Let j(l) = -l**2 - 3*l + 2. Let g be j(-3). Suppose g*s + 2*s = 356. Is s a composite number?
False
Let l be 12/(-8)*4/(-3). Let w be -83*2/l*1. Let b = 6 - w. Is b composite?
False
Let s(g) be the first derivative of -355*g**2 - g - 1. Is s(-1) prime?
True
Let v be ((-1113)/(-28))/((-1)/(-44)). Suppose 5*t - 4*h - 1587 = 141, -5*t = 3*h - v. Suppose 27 = 3*n - o - 236, -4*n = -2*o - t. Is n a prime number?
True
Suppose 1478 = 2*j - 4*d, 0*j - 4*j - 4*d + 2944 = 0. Is j prime?
False
Suppose 3*h = -5*l + 2*l + 15, -3*l + h - 5 = 0. Let f(v) = v + 52. Let p be f(l). Suppose -r - b + p = -2*b, 99 = 2*r - b. Is r prime?
True
Suppose 13*s - 12 = 9*s. Suppose -s*k + 4*h = -h - 439, 4*h - 135 = -k. Is k prime?
False
Suppose 4*f - 5*f + 1731 = 0. Is f prime?
False
Suppose -9 = -5*b + 6, 2*w = 3*b + 17. Suppose 68 = s + w. Is s a prime number?
False
Let c = 1050 + -626. Let w = -219 + c. Is w composite?
True
Suppose 2*l = 4*i + 654, -3*i + 5*i - 339 = -l. Is 4/(-3)*l/(-6) composite?
True
Suppose -57 = -5*x - 4*i, -5 = -3*x + 3*i + 13. Is 2*x/6*11 prime?
False
Suppose 0 = -o - 0 - 4. Let r = 1 - o. Suppose -2*u = -r*x - 20, -8 = -u + 2*x + 2. Is u a prime number?
False
Suppose 4*h - 350 - 246 = 0. Is h composite?
False
Let r(u) = -u + 119. Suppose 0 = -3*i - 2*i. Is r(i) prime?
False
Suppose 5*g - 2 = 743. Is g composite?
False
Let s = -41 + 113. Suppose 0 = 4*q - 5*x - s, 4*q + x = 2*q + 50. Is q composite?
False
Let q = 0 + -2. Is -3 - ((-58 - q) + 0) composite?
False
Let d = 110 - -309. Is d prime?
True
Suppose -z = -430 - 170. Suppose z = 3*n - 3*m, n - 3*n + 408 = 2*m. Is n a prime number?
False
Is (5 - 1)*753/12 prime?
True
Let u(o) = o**2 + 2*o - 5. Let i be u(5). Suppose -5*n + 51 = 6. Let g = i - n. Is g prime?
False
Suppose -3*a + 255 = -9048. Is a prime?
False
Let b = 290 - -1109. Is b prime?
True
Let v be (-3)/(-2) + (-5)/2. Let p be -2 + 325 + 0/v. Suppose -5*i + 344 = -0*i + 3*m, 4*m = 5*i - p. Is i composite?
False
Let u(q) = q - 5. Let n be u(7). Let i(w) = w**3 - w**2 + w - 1. Let t be i(n). Suppose t*m = 237 - 2. Is m a prime number?
True
Let s(b) = -b**2 - 7*b - 3. Let p be s(-5). Suppose 0 = 3*l - p - 20. Suppose l = m - 16. Is m prime?
False
Let u(s) = -5 + 1 + 0 - 41*s + 1. Is u(-2) a composite number?
False
Suppose 2*s = -10, j = 2*j + 2*s + 5. Suppose -t + j*i + 302 = 0, t + i - 5*i = 299. Is t composite?
True
Suppose -x = x. Suppose x*d + 5*d = 2*v - 101, -58 = -v + 5*d. Is v a prime number?
True
Suppose 5*c - c + 18 = 5*l, 2*l = -5*c - 6. Is c/(-3) - 1514/(-6) composite?
True
Suppose -200 = -7*r + 269. Is r a composite number?
False
Suppose -p + 4*p - 33 = 3*n, -5*n - 7 = 3*p. Let b be 20/p*(-12)/(-10). Suppose b = -3*v + 163. Is v a composite number?
False
Let n = 63 + -1. Suppose 2*z - z = -5*f + n, f + 5*z + 2 = 0. Is f a prime number?
True
Is 1409/6 - 5/(-30) a prime number?
False
Let j(u) = u**2 + 3*u + 1. Let h be j(7). Let c = h - 49. Is c prime?
False
Suppose -4*f = 3*c - 11, 5*c + 1 = 2*f + f. Let r = 1 - 1. Is (37 + r)*c/1 composite?
False
Suppose -7*p = -9*p - 388. Let y = -67 - p. Is y prime?
True
Suppose -3*u = -5*u - 28. Is (12/7)/((-4)/u) prime?
False
Suppose n + 499 = 5*n + 3*x, 375 = 3*n + 2*x. Is n a composite number?
False
Let z = -196 + -28. Let v = z + 690. Suppose -2*u + 2 = 0, -v = -4*m - 3*u - 107. Is m composite?
False
Is -3 - (-53 + -1 - 2) a prime number?
True
Let z be (-3362)/(-6) - (-2)/(-6). Let k = -297 + z. Is k prime?
True
Let o(f) = 9*f**2 - 2*f - 5. Let s = -9 - -16. Suppose -5*y + 13 = -s. Is o(y) prime?
True
Let t = -6 + 10. Suppose -t*m + m = 0. Suppose -4*l + m*l + 366 = -2*o, -94 = -l + 3*o. Is l a composite number?
True
Suppose 4*v = 4, -v + 117 = 5*u - u. Suppose 0 = 5*g - 184 + u. Is g composite?
False
Let j be 0/(2*-1 + 0). Let u = -15 + j. Is 93/5 + (-6)/u composite?
False
Let w(l) = 5*l**2 + 3*l - 1. Let u = -6 + 3. Is w(u) a composite number?
True
Let g = -2 + 1. Let k be (-1)/g - 0 - -1. Is ((-8)/5)/(k/(-5)) a composite number?
True
Suppose -2 = s + s. Is s/(-2) + 314/4 prime?
True
Let l(s) = 2*s**2 + s - 1. Let p be l(1). Suppose c - k = p*k - 3, -c - k - 3 = 0. Let v(m) = -29*m - 2. Is v(c) a prime number?
False
Let d(w) = -w**3 - w**2 - w. Is d(-3) a composite number?
True
Let y = -9 + 11. Suppose -4*t + y*t = 0. Suppose -4*p - z = -101, t = 3*p - 5*z + 9 - 79. Is p a prime number?
False
Let v(f) = -26*f + 8 + f - 11*f. Let c be v(-9). Suppose 3*a - c = -a. Is a composite?
False
Let i = 82 - 48. Is i composite?
True
Let d be 16/((-12)/(-8) - 1). Let x = 47 - d. Is x composite?
True
Let c(m) = 6*m**2 - 5*m + 5. Is c(6) prime?
True
Suppose 5*r - 4277 + 1222 = 0. Is r composite?
True
Let p(n) = n**2 - 3*n - 3. Let t be p(3). Is (-5084)/(-10) + t/(-5) a prime number?
True
Suppose -4*n + n + 4971 = 0. Is n a composite number?
False
Let m(g) = 181*g - 19. Is m(12) a prime number?
True
Suppose 0 = -3*o - 9, 0*d - 501 = -3*d - 2*o. Suppose 4*u + d = 3*c, 161 = 3*c - 0*u + 4*u. Is c composite?
True
Let u = 4 - 11. Let s(g) = -g - 5. Let p be s(u). Suppose 0*a - 10 = -a + f, 4*a - p*f = 48. Is a a prime number?
False
Let c(d) be the third derivative of -d**5/60 - 5*d**4/24 - d**3/6 - 2*d**2. Let s be c(-5). Is 4 - (0 - (s + 3)) composite?
True
Suppose -37*u + 34*u = -8823. Is u a prime number?
False
Let v(j) = -j**2 - 3*j + 5. Let h be v(-4). Is (184/12)/(h/3) a composite number?
True
Let h = 1 + 4. Let b = 16 - h. Is b prime?
True
Is (-16)/24*1062/(-4) composite?
True
Let z(a) = -528*a - 10. Is z(-2) prime?
False
Suppose 32 = -5*w - 433. Let h = 172 + w. Is h composite?
False
Let c be (-2)/(-6) - 4/3. Let f be (2 + c)/(2/26). Suppose 13 = 2*s - 5*b - f, 4*s - b - 52 = 0. Is s composite?
False
Let n(u) = u - 8. Let b be n(10). Suppose -2*c - 3*r + b + 1 = 0, -4*r - 1 = c. Suppose 0*t = 3*o - c*t - 132, -2*o = -4*t - 84. Is o composite?
True
Let m(s) = -s + 10. Let w be m(9). Is -3 + w + -1 + 180 prime?
False
Let l(s) = 4 + s**2 + 0*s**2 - 2*s + 2*s + 8*s. Let d be l(-8). Suppose 298 = d*y - 2*y. Is y composite?
False
Let h(a) = 2*a - 7. Let g be h(5). Suppose 28 = y + g*y. Is y a composite number?
False
Let g = -224 - -84. Let c = g - -393. Is c a prime number?
False
Let i = -51 - -102. Is i a composite number?
True
Suppose -7*r + 4259 = 808. Is r prime?
False
Suppose 0 = -i + 3*i - 1082. Is i a composite number?
False
Let k(d) = 2*d + 7. Let h = -1 + 10. Is k(h) prime?
False
Suppose 0 = -4*f + f + 333. Suppose z + 4*z - f = -2*d, -3*d + z + 175 = 0. Is d prime?
False
Is (742 - -5) + (-2 - 0) prime?
False
Let h = -22 + 99. Suppose h = f + f + 5*t, -3*f + 105 = 4*t. Is f a composite number?
False
Let a = -429 - -810. Is a a composite number?
True
Let u(r) = -5*r**3 + r**2 - 6*r + 5. Is u(-4) a composite number?
True
Is (-3 - -2)*-1*203 composite?
True
Suppose 0*c + 8 = 4*c. Suppose c*p - g = 2*g + 89, 3*p + 2*g - 101 = 0. Suppose -3*d - p = -4*d. Is d composite?
False
Suppose 2*v + 4*m = 578, -v + 2*m - 1461 = -6*v. Is v prime?
True
Let j(h) = -h**2 + 11*h + 12. Let v be j(12). Suppose v*d = -2*d - r + 427, 5*d + 3*r = 1070. Is d composite?
False
Suppose 0 = q + x, -2*q + 3 + 6 = 5*x. Let j = q + 7. Is (-3)/6 - (-78)/j composite?
False
Let a(t) = 106*t**2 - 4