51*m - 74030. Is m prime?
False
Let u(j) = -3 + 5 + 10*j**2 + 2*j - 3. Is u(3) a composite number?
True
Is (32725 - 3)*(-2)/(-4) composite?
False
Suppose -2*x - 19 = -c, -c + 32 = -3*x + 1. Is 2878/6 - (-8)/x prime?
True
Let d be (-1)/3 - (-9422)/6. Is (9/(-6))/((-5)/d) prime?
False
Let b be 2 - 1*(-6)/(-3). Is 18558/(-36)*(-2 - b) a prime number?
True
Let u(m) = m - 22. Let y be u(22). Suppose y = -9*r + 1811 + 1168. Is r prime?
True
Suppose -2*q = -33 - 13. Suppose 34 = -3*t - q. Let b = t - -25. Is b composite?
True
Suppose -8*m + 2392 = -0*m. Is m composite?
True
Is 324652/14 + 6/70*-5 composite?
False
Let f = -37 + 40. Suppose f*v + 4*t - 20 = 0, -4*v + 0*v = t - 5. Suppose v = 5*a + 5*m - 305 - 1000, -265 = -a + m. Is a composite?
False
Let o = 9 - 3. Suppose 0 = p + 4*c - 11, -3*p = 3*c - o - 9. Suppose 3*d = -2*w + 6 + 367, -2*d + 266 = -p*w. Is d a prime number?
True
Let x(p) = -18*p - 7. Let g(w) = -17*w - 8. Let o(q) = 3*g(q) - 4*x(q). Is o(3) prime?
True
Let i(t) = 12*t + 1. Suppose -2*k = -6*k + 20. Let c be i(k). Let w = 170 - c. Is w composite?
False
Suppose 6*x - 2*x - 16 = 0. Suppose 2*z + a = 16, 6*a + 22 = 5*z + x*a. Suppose 4639 = z*f + 1141. Is f a prime number?
False
Let j be 2 + 18/2 + 2. Let c = j - 11. Is (0 - c) + 6 + 627 prime?
True
Suppose 0*m = m - 3*i + 1704, 0 = 5*m - 2*i + 8455. Let r = -252 - m. Is r composite?
True
Let i be -1*(8 + -4) - -5 - 1. Suppose 0 = 3*g - 2*g - 4. Suppose 3*z - 2*u = 2*z + 223, -g*z + 2*u + 874 = i. Is z a prime number?
False
Let g = 12903 - 3631. Let m = 17979 - g. Is m composite?
False
Let q(h) be the first derivative of -h**4/2 - 16*h**3/3 - 2*h**2 + 4*h - 16. Is q(-9) prime?
False
Let r be 4/(-6)*27/(-6). Suppose -2*t + 25 = 5*d - t, r*t - 15 = -3*d. Suppose i - d*i + 84 = 0. Is i composite?
True
Let o(b) = -23*b + 49. Let y(w) = -11*w + 24. Let h(g) = 4*o(g) - 9*y(g). Is h(15) prime?
False
Let c = 15 - 12. Let x be (2 + -5 + c)/(-2). Suppose x = 2*m + 147 - 585. Is m a composite number?
True
Let r = -227 - -51. Let u = r + 272. Let a = -49 + u. Is a prime?
True
Suppose -13 = -4*x - 5. Let s be x/((-40)/12 + 4). Suppose 0 = 4*c + s*p - 2254, -c + 4*p + 143 + 430 = 0. Is c a prime number?
False
Suppose 3*u - 21 = -0*u. Suppose -2*o = -u*o + 15. Suppose 3*v - 51 - 35 = -k, -264 = -o*k - 3*v. Is k prime?
True
Let k = -910 + 1642. Let l = k + -211. Is l composite?
False
Suppose -4*f - 12833 = -3*m - 6*f, -2*m = 4*f - 8542. Is m a prime number?
False
Let l(r) = 140*r**2 + 30*r + 157. Is l(-6) prime?
False
Let k = 1867 - -834. Is k composite?
True
Let q = -24 + 29. Suppose 3*s - 5*s - q*a + 1276 = 0, -652 = -s + a. Let o = s + -290. Is o a composite number?
True
Suppose -5*p = z - 16 - 16, -z + 33 = 4*p. Is z composite?
False
Is 2/3 + 290100/36 a composite number?
False
Let n(c) = 2*c**2 - 3*c + 1. Let z be n(2). Suppose 2*d - 222 = 5*r, d = -3*d + z*r + 430. Let v = d + -35. Is v a composite number?
False
Let s(i) be the third derivative of i**6/120 + 7*i**5/60 - i**4/24 - 2*i**3/3 + 11*i**2. Let o be s(-7). Suppose o*g + g = 2324. Is g prime?
False
Suppose -4*d + v = -9837, 0 = d - 4*v + 2*v - 2461. Is d prime?
True
Let y = 410 + -619. Let w = y + 464. Suppose 2*s + 0*i + i - w = 0, -s + i + 126 = 0. Is s composite?
False
Let v be (-42)/12*8/(-14). Suppose -v*o + 0*o = -2018. Is o a composite number?
False
Is 258292/248 - (-5)/(-2) a composite number?
False
Suppose -13*h + 12*h - 6 = 0. Is h/(-2)*((-161)/(-3) - 1) a prime number?
False
Is (-455790)/(-54) + (-12)/(-27) composite?
True
Suppose -4*z + 6*z = 0. Suppose -4*w - 4*t - 39 + 239 = z, 0 = 2*w - 5*t - 72. Let g = 97 - w. Is g composite?
True
Let q be 3*-1 - (2 + -12 - -4). Suppose -2*f - 2*i + 896 = 0, -3*f + 0*f + q*i + 1350 = 0. Is f prime?
True
Suppose -498796 + 10083 = -53*p. Is p a prime number?
True
Suppose p - 41664 = -3*m - 4*p, 4*p + 27754 = 2*m. Is m a composite number?
False
Let n(q) = -209*q**3 + 15*q**2 - 11. Is n(-5) a prime number?
True
Let l be ((-75)/(-20) + -4)*-16. Suppose l*v + 1038 = 2*y - 7224, v = 3*y - 12368. Is y a prime number?
False
Suppose 687 - 81 = 3*p. Suppose -1317 = -5*v - p. Is v prime?
True
Suppose -2*l + 25 = 5. Let d = l + 223. Is d prime?
True
Let z = -135430 - -198641. Is z a prime number?
True
Let v(n) = 3701*n**2 - 4*n + 40. Is v(-5) a prime number?
False
Let n(a) = -2*a - 17. Let f be n(-11). Suppose o - f*o + 628 = 0. Is o a composite number?
False
Suppose 4*o - 560 = -212. Let u = 390 - o. Suppose 327 = 3*z + 5*y - u, 2*y + 651 = 3*z. Is z prime?
False
Let g = 0 - 2. Let o be (-3 - 233)*g/4. Let k = 285 - o. Is k prime?
True
Suppose 0 = 2*x + 5 + 1. Let y(u) = -u**2 - 5*u - 4. Let z be y(x). Suppose -o = -f + 446, -z*f = -2*o + o - 889. Is f prime?
True
Suppose -2*r + 2*n = -166, 12*r - 304 = 8*r - 3*n. Is r a composite number?
False
Let w = 13677 - -720. Is w a prime number?
False
Let p be 1*4 + 8/8. Suppose -p*u = 2*u - 1519. Is u composite?
True
Let b(x) = -28*x**3 - 5*x**2 - 4*x - 17. Let w(i) = -i**3 + 14*i**2 + 2*i - 32. Let g be w(14). Is b(g) a composite number?
True
Let c be 2/(-9) + (-11)/(-9). Is (380 - 0) + 0 + c prime?
False
Let z(b) = -b**2 + 3*b + 10. Let i be z(5). Suppose i = -5*q + 3*x - 2*x - 7, q = -4*x - 14. Is q/4*(-5 + -1361) a composite number?
False
Let g(r) = 163*r**2 + 9*r - 7. Is g(-6) prime?
True
Let s be 3 + 19 + -4 - 3. Suppose -11*h + s = -8*h. Suppose -5*y - 662 = -4*x, -3*y = -0*x - h*x + 821. Is x prime?
True
Let x be 6 + (0 + -15)/3. Is (36830/(-8))/(-5) - x/(-4) composite?
True
Suppose -66 - 14 = -8*o. Suppose -2104 = 6*y - o*y. Is y composite?
True
Let d = -5405 - -11184. Is d prime?
True
Let d be (-2 + (-2 - -4))/(-2). Let c be (-4 + d)*3429/(-36). Let p = c + -112. Is p prime?
True
Let c = 2449 + -1370. Is c a composite number?
True
Suppose 9*t + 2887 = 24991. Suppose 5924 = 4*p - t. Is p a composite number?
True
Let t(s) = 13 + 4*s + 29*s**2 + 28*s**2 - 3*s - s**3 - 56*s**2. Is t(-6) a prime number?
False
Let h(z) = z**3 - 18*z**2 + 7*z - 22. Let v be h(10). Let u(d) = -55*d**3 - 2*d**2 + 3*d + 3. Let b be u(-3). Let g = b + v. Is g a prime number?
True
Let c = 114499 + 36052. Is c prime?
True
Suppose -4*s + 13 = -7, 4*s - 176 = -4*r. Suppose 27 = 3*w - r. Is w a composite number?
True
Let y(a) = -6*a - 12 + 10 + 7. Is y(-14) a prime number?
True
Suppose 0 = y - 4*m + 19 - 62, -2*m = -10. Suppose -2*i = -i + f - 36, 5*f - y = -2*i. Is i a prime number?
False
Let t = -25 + 22. Let j(u) = 19*u - 2. Let o(d) = 19*d - 2. Let a(f) = 3*j(f) - 4*o(f). Is a(t) a composite number?
False
Let w(d) = 3*d**2 + 8*d - 7. Let y(x) = 2*x**2 - x**2 - 24 + 20 - 3*x. Let g be y(5). Is w(g) composite?
False
Let j = -56 - -56. Suppose 1784 = 4*k - j*k. Is k prime?
False
Suppose -3*w - 4*w = -6223. Suppose 0 = 2*m - w - 1057. Is m prime?
False
Suppose 3*n + 4*j = 16, 0 = -n - n + j + 18. Is 873 + n + 0 + -2 a composite number?
True
Suppose 10*f - 2*s + 1973 = 11*f, -4*f = 5*s - 7904. Is f composite?
True
Suppose -7*g - 14*g + 60837 = 0. Is g composite?
False
Let y be -1 - -6*9*4. Is (12/3 - 2) + y a composite number?
True
Let p(g) = -816*g + 6. Let h be p(-11). Suppose 0 = 6*o - 0*o - h. Is o a prime number?
False
Let g(d) = 4*d - 18. Let a(q) = q**3 - 10*q**2 + 13. Let m be a(10). Is g(m) composite?
True
Let c(i) = -102*i**3 + 2*i**2 + 4*i + 2. Let y be c(-1). Let f = 28 + -19. Let s = y - f. Is s a prime number?
False
Suppose -3*f + 36 = 21, -4*q = 3*f - 38467. Is q composite?
False
Suppose -14608 = 335*a - 351*a. Is a composite?
True
Let s = -31 + 53. Suppose -17*r + s*r = 725. Is r a prime number?
False
Suppose v - 10322 = -q, -3*q = -v - 20920 - 10062. Suppose 4*j - q = 5*z, 4*j - 5150 = 2*j - 4*z. Is j prime?
True
Let o(l) = 5*l**3 + 3*l**2 - 10*l + 7. Let s(c) = -14*c**3 - 10*c**2 + 30*c - 21. Let g(k) = -17*o(k) - 6*s(k). Let f be g(8). Is (-3)/f - 3520/(-6) prime?
True
Suppose -4*o = 2*u - 198, -3*u + 315 = -0*o - 3*o. Let c be (-1)/((-14)/(-63) + 10/(-18)). Suppose c*m - u = 368. Is m a composite number?
False
Let k = 0 - 1. Let q = 167 - 176. Is -194*(q/6 + k) prime?
False
Is (-2)/1*((-765105)/(-6))/(-11) composite?
True
Suppose 0 = m - 3, 3*t + 27 = 4*t + m. Suppose 20*o + 4564 = t*o. Is o composite?
True
Suppose -208*f = -202*f - 413778. Is f a prime 