-29*m + 569044. Is m prime?
True
Let l = 32380 + -16959. Is l prime?
False
Let q(i) = 36*i**2 - 7 - 1 - 2 - 15. Is q(-6) a composite number?
True
Let g be ((-16)/(-3))/((-2)/(-201)). Suppose 2*h - 446 = g. Is h prime?
True
Let i(t) = -29*t**3 - 3*t + 12*t**2 + 28*t**3 + 6*t + 7. Is i(8) composite?
True
Let h(i) = 3*i**2 + 15*i + 13. Let t be h(13). Let z = -504 + t. Is z a prime number?
True
Suppose -112 = -4*r + 2*b, 4*r - 4*b - 100 = b. Let l = r - 45. Let w(m) = -19*m + 10. Is w(l) prime?
False
Suppose l = 5*k + 5*l - 7, -2*k = l - 4. Suppose 5*n + 290 = c, -525 = -2*c + 2*n - k*n. Is c a prime number?
False
Let b(i) = 3*i**2 + 9*i - 15. Suppose 3*g - 5 = 4*y + 8, -4*g + y = -39. Is b(g) a prime number?
False
Let o(u) = -u**2 - 4*u + 14. Let s be o(-8). Suppose -62 = -4*j + 2*j. Let w = j + s. Is w prime?
True
Let x(r) = 5*r**3 - 9*r**2 + 8*r - 15. Is x(6) a composite number?
True
Let x(i) = -3*i + 36. Let n be x(12). Suppose n = -a - 2*l - 3*l + 172, 380 = 2*a - 2*l. Is a a composite number?
True
Suppose -112*h + 116*h = 6172. Is h prime?
True
Let p be -2897*1 + -2 + (2 - -3). Let i = -1411 - p. Is i a prime number?
True
Suppose u = 5*t - 3664, -u - 3*u - 1462 = -2*t. Is t a composite number?
False
Suppose -2*s = -5*s - 12. Suppose 2*m = 4*b + 5*m - 18, 2*b - 16 = -5*m. Let h = b - s. Is h composite?
False
Suppose 0 = -5*l + 15, 0*f + 3*f = 3*l - 3. Suppose 0 = -n, 4*p + f*n + 24 = -0*n. Let m = p + 29. Is m prime?
True
Suppose p + 0*p = 4*z + 27, -5*p = 5*z - 135. Suppose -4*g + 50 = 4*l - l, -3*g + 3*l = -p. Let r(y) = -y**3 + 18*y**2 - 6*y - 10. Is r(g) composite?
True
Suppose -570 = 28*o - 33*o. Let h = o + -35. Is h a composite number?
False
Let v = 134389 - 55094. Is v prime?
False
Let r = 541 + -1835. Let m = r - -5201. Is m a composite number?
False
Let a(u) = 8*u**2 - 13*u - 42. Let b be a(20). Suppose 0*p + m - b = -3*p, 3*p = 5*m + 2916. Is p a composite number?
False
Suppose 3*j + 5*d + 1 = 6, -3*j - d = -13. Let w(a) = 4 + a**2 - j*a + 73 + 7*a. Is w(0) a composite number?
True
Suppose 4*h + y = 3*h + 682, -2041 = -3*h - 2*y. Is h prime?
True
Let k be (-3)/(-9)*-1*3. Let n be (k - -7)/((-18)/(-12)). Suppose -17 + 156 = n*t + 3*f, 0 = 4*t + 5*f - 149. Is t a composite number?
False
Let v(n) = n**2 - 8*n + 4. Let b be v(8). Suppose -8*a + 12 = -b*a. Is 13*(0 + (a - 1)) prime?
False
Suppose 4*c = 19 - 3. Let i(h) = 3 - 4 - 4*h + c + 43*h**2 + 12*h**2. Is i(2) prime?
False
Let s(h) = -15*h**2 - 2*h + 10. Let i be s(5). Is i/(-10) - (-2)/4 prime?
False
Suppose 0 = 3*m + 2*j - 2132, 2*m + 1436 = 4*m + 5*j. Let f be 2*(-1)/1 + 7. Suppose -m - 17 = -f*a. Is a a prime number?
False
Let w(a) = -5*a - 11. Let b(q) = -24*q - 54. Let o(t) = -3*b(t) + 14*w(t). Let c be o(-4). Suppose c = -3*l + 8*l - 1465. Is l prime?
True
Suppose -3*m = m - 72. Let z be m/2 - (2 + -1). Is 636/z + (-1)/2 composite?
False
Suppose -d - 19 = 4*p + 1, -p - 5*d - 24 = 0. Let w(n) be the second derivative of 2*n**4/3 - n**3/3 - n**2 + 7*n. Is w(p) a prime number?
False
Let a(g) = 21*g**2 + 26*g + 10. Let c(n) = -4*n**2 - 5*n - 2. Let k(b) = 2*a(b) + 11*c(b). Let x be k(-2). Is 178/8 + (-3)/x a composite number?
False
Let v be 22/77 - (-1 + (-4051)/7). Let s = 1047 - v. Is s a prime number?
True
Let n = 80 + -77. Suppose -4*b - 3*f + 1061 = 0, n*f + 0*f - 272 = -b. Is b prime?
True
Let r(m) = 3*m - 3. Let k(b) = b. Let v(o) = 2*k(o) - r(o). Let w be v(-4). Let u(l) = 28*l - 5. Is u(w) prime?
True
Let x = 123 + -120. Is 3 + 3685 - (x + 4/(-2)) a composite number?
True
Let v(p) be the second derivative of 13/6*p**4 + 0 + 13*p - 9/2*p**2 + 0*p**3. Is v(5) prime?
True
Let w = -27 - -30. Suppose -w*t = t - 1972. Is t prime?
False
Let i be 0 + -1 + 0 - (2 - 3). Suppose -753 = -3*h - i*h. Is h a prime number?
True
Let r(y) = 2*y**3 - 5*y**2 + 4*y - 3. Let q be r(4). Suppose 0 = 5*j + 16 - q. Is 4/(12/j) - -208 prime?
True
Is ((2030382/(-45))/(-2))/((-4)/(-20)) a composite number?
False
Let s = -5 + 0. Let f(p) = -31*p**2 + 4*p + 9. Let o(y) = -15*y**2 + 2*y + 4. Let k(h) = s*o(h) + 2*f(h). Is k(-3) a prime number?
False
Suppose 2*i + i = -4*g + 32723, 3 = -3*g. Is i prime?
True
Let k(h) = 6545*h**2 + 9*h + 11. Is k(-1) a composite number?
False
Let y(g) = 2*g**2 - 4*g + 2. Let f be y(6). Suppose 3*q + 2*q = f. Let l = 56 - q. Is l a prime number?
False
Let w(c) = -c**3 - 3*c**2 + c + 3. Let d be w(-3). Suppose 0 = 2*v - 10, d*b - 2*v - 189 = -b. Let n = b + 18. Is n prime?
False
Let i = 530 - 301. Let n = 69 + i. Is n a composite number?
True
Let j(v) = 7 - 5*v + 1 - 5*v**2 + 2*v**3 - 3. Let n be j(5). Let o = n - 68. Is o a prime number?
True
Let y = 402 + 95. Suppose 3*u = j + 598, -y - 528 = -5*u - 4*j. Let m = 344 - u. Is m composite?
True
Let l(g) = -113*g**3 - 28*g**2 + 5*g - 3. Is l(-5) prime?
True
Suppose 5*r - 4*y = 2*r + 79, -27 = -r + 2*y. Let w = 54 + r. Is w a prime number?
True
Suppose 2*u + 13 = 5*j, 4*u - 2*j = -4*j + 10. Suppose 5*i + 5 = n - 0, 4*i + 3*n + 4 = 0. Is i - 1 - u - -60 a composite number?
True
Let x be (-1)/(-3) + 796/6. Suppose -x*q = -128*q - 5885. Is q a prime number?
False
Let l = 2 - -6. Suppose -i + 14 = -l. Is i a composite number?
True
Let j = 9 - 6. Suppose j*o = -o + 7356. Is o a prime number?
False
Let z be ((-3)/9)/(2/(-48)). Suppose z = -a + 16. Suppose 3940 = a*g - 2436. Is g a composite number?
False
Suppose 8*s = -2*s + 122870. Is s a prime number?
False
Let n(a) be the third derivative of 2/3*a**3 + 0 - 4*a**2 - 5/8*a**4 + 0*a. Is n(-5) a composite number?
False
Let s(k) = -3*k**3 - 10*k**2 - 7*k - 17. Let c(q) = -3*q + 2. Let h be c(3). Is s(h) a composite number?
False
Let q be (21/(-9))/(1/(-537)). Suppose 3*t + 326 + q = 2*k, -5*k = 2*t - 3995. Is k a prime number?
True
Suppose -3*z - 49 = -10*z. Let u be 5/((28/(-8))/z). Let f(r) = r**2 - 2*r - 14. Is f(u) prime?
False
Is (7 + -6 + 2)*1361/3 a prime number?
True
Let n(u) be the first derivative of 7*u**3 + 4*u**2 - 2*u + 13. Is n(-4) prime?
False
Let b = 366 + -204. Let h = -33 - -5. Let j = h + b. Is j prime?
False
Suppose 74 - 5 = 3*w. Let a = -18 + w. Suppose -3*x + 9 = 0, 0 = 3*b - 3*x + a*x - 753. Is b composite?
True
Let c be (-38)/((4 - -2)/(-3)). Suppose -15*r - 3668 = -c*r. Is r a prime number?
False
Let i = -52 + 58. Suppose -8*r = -i*r - 78. Is r composite?
True
Let o(v) = 6*v**2 + 12*v + 55. Is o(21) a prime number?
True
Suppose -2*i = 5*i - 0*i. Suppose i = -4*m - m + 415. Is m a composite number?
False
Let v = 7034 - 1297. Is v a composite number?
False
Let y(u) = -3*u**3 + 2*u**2 + u + 5791. Is y(0) composite?
False
Suppose 10*n - 1192 = 2*n. Let o = n - -6. Is o prime?
False
Let d(y) = 2*y**2 + 5*y + 6. Let a = -16 + 13. Let l be d(a). Is -217*(-3)/l*3 prime?
False
Let n(d) = -d**3 + 5*d**2 + 6*d. Let x be n(6). Suppose x*w + 4870 = 2*g - w, 5*g - 5*w - 12175 = 0. Is g composite?
True
Let a(h) = 177*h - 354*h + 53*h**2 + 177*h. Let c(m) = m**2 + m - 1. Let q be c(-2). Is a(q) composite?
False
Suppose 2*n = 4*n - 34330. Is n a composite number?
True
Let x(a) = 213*a**3 - 2*a**2 - 6*a + 6. Is x(3) a composite number?
True
Let i = -987 - -1743. Let z = i + -365. Is z prime?
False
Let g = 5934 + -1842. Suppose 0 = i + 2*i - g. Suppose -5*t + 3*s + i = -959, 4*t - s = 1864. Is t a composite number?
False
Let l(a) = -4*a. Let v be l(-1). Let d(h) = 60*h**2 - 5. Let m be d(v). Suppose -m = -5*n - 0*n. Is n composite?
False
Suppose 3*z = 2*f + 6*z - 1432, 0 = 3*f + z - 2141. Suppose -p = -f + 30. Is p a composite number?
False
Let p(y) = 9*y**2 - 20. Suppose 3*o - t - 28 = 0, 0 = -t + 5*t + 4. Is p(o) prime?
True
Suppose -3*k + 2*k = 9. Let h(w) = w + 12. Let f be h(k). Suppose -354 = -f*z + 561. Is z a prime number?
False
Let j(y) = -3448*y + 173. Is j(-2) composite?
False
Let z = -61154 - -96445. Is z composite?
False
Let q = -4 - -6. Suppose 2*n - 1 = -9. Is 115 - (-2 + n)/q a composite number?
True
Let g be 8/(-12)*3 - -6847. Let c = -1722 + g. Suppose -o + 817 = 2*i, -5*o - i + c = 1047. Is o prime?
False
Suppose l + 28 = 5*l - 4*b, 0 = -3*l + 4*b + 22. Suppose -i = 2*y - 3, i + l = -i. Suppose -6*p + y*p = -927. Is p a prime number?
False
Suppose -3*i = 6*i - 36. Suppose i*o + 6*o = 330. Is o prime?
False
Suppose -5*j - 102*m = -103*m - 9056, 0 = 4*j