 -463*t + 134*t + 54735669 = -69943816. Is t composite?
True
Suppose -10*a - 1068638 = -13*a - 4*b, -1068662 = -3*a + 2*b. Suppose -74*v + a = -40*v. Is v composite?
False
Suppose -4*x = -3*x - 5. Let m(u) = 3*u - u - 3 + 72*u**2 - 14*u**2 + 80*u**2. Is m(x) a composite number?
False
Let m be 3/(18/76)*9. Let v be -10 + (4 - 1) - -14. Let u = v + m. Is u composite?
True
Let d(j) = 13*j - 29. Let b be d(4). Let x be b/(-6) + (-5)/(-6). Is 4/14 - (x + (-21068)/7) a prime number?
False
Let d(h) = 6*h**2 - 30*h + 7. Let y(s) = -3*s**3 + 3*s**2 - 15*s + 21. Let i(m) = -m**3 - m**2 + 1. Let f(u) = 4*i(u) - y(u). Let b be f(-9). Is d(b) prime?
True
Let b(o) = -32*o - 9. Let l be b(-1). Suppose -l*t + 24626 = 9883. Is t prime?
True
Let r(u) = 17*u**2 + 7*u - 17. Suppose 2*w = 6*w - 2*t - 112, 0 = -t - 4. Suppose 4*o + w - 6 = 0. Is r(o) a composite number?
False
Let q(p) = -893*p - 129. Let t be q(-14). Let i = t + -4556. Is i composite?
False
Suppose -22223 = -23*h + 5676. Is h prime?
True
Suppose -5*c + 44 = 54, -5*v + c = -3166407. Is v a composite number?
True
Let q(n) = 2208*n + 29. Suppose 2*w + 2*s = -2*s + 24, s = w. Is q(w) a composite number?
False
Let v(y) = y + 2. Let i(a) = -24*a + 1. Let c(p) = -i(p) + v(p). Let u be (16/(-12))/(4/(-6)). Is c(u) prime?
False
Let q = 4559 + -1555. Suppose -v + 5*v = 4*p - q, 3*v - 6 = 0. Is p a prime number?
False
Suppose 0 = 4*x - 2*f + 27923 - 360621, 2*x = -f + 166359. Is x a prime number?
True
Suppose 0 = -4*o - 4*p + 108 - 48, 4*p - 8 = 0. Let i(u) = -u**3 + 4*u + 4*u + 13*u**2 - 13 + 0*u**3. Is i(o) prime?
False
Suppose 0 = 5*w - 4*w + 5, -5*t + 5*w = -2500. Let f = t - -2174. Is f prime?
False
Let w = -8005 + 3577. Let y = w + 6857. Is y a composite number?
True
Suppose -26*n + 3*z - 37475 = -27*n, 4*n = 2*z + 149844. Is n composite?
False
Let j = -361565 - -545226. Is j prime?
True
Let h(u) be the first derivative of -543*u**2/2 - 4*u + 19. Let r be h(-10). Let l = r - 1731. Is l composite?
True
Is ((454130/6)/1)/(84/(-18) + 5) a prime number?
False
Suppose 25 - 1 = -4*o. Let d(t) = 8*t + 6. Let k be d(1). Is ((-23388)/k)/(-2) + o/21 a composite number?
True
Is 10 + (7 - 0) + 211496 a prime number?
False
Suppose -7*y = -6*y + 5*s - 438586, -5*y - 3*s + 2192776 = 0. Is y a prime number?
True
Suppose 41*h - 36*h - 265830 = 5*v, 20 = 4*v. Is h a prime number?
True
Let w(p) = p + 4. Let h be w(1). Let f be ((-1)/(-3))/(h - (-416)/(-84)). Suppose 0 = -f*k + 2*k - 4*u + 28103, 3*k - 16884 = 5*u. Is k prime?
True
Let z be 66/99 + 11/(-3) - -1134. Let s(x) = -2*x**3 + 4*x**2 + 2*x - 1. Let p be s(-2). Suppose -24*q + p*q = z. Is q a prime number?
False
Suppose -4*a + 2*a - 33 = s, -23 = 2*a - s. Let p(t) = -117*t + 157. Is p(a) composite?
True
Suppose 3*f + f = -j - 2, 0 = -f + j + 2. Suppose f = -k + 5*k + y - 614, 2*y = -4. Is (0 - (-1)/2)*k a composite number?
True
Let y(g) = -g**2 - 25*g + 15. Let c = -25 + -1. Let o be y(c). Let m(t) = -42*t + 23. Is m(o) a prime number?
False
Let l(a) = -8*a + 9. Let x(c) = 24*c - 28. Let j(r) = 14*l(r) + 5*x(r). Let n be j(13). Suppose -2*v = -n - 16. Is v a composite number?
False
Let p(g) = -67*g - 40. Let a = -7 - 6. Is p(a) composite?
True
Let r(d) = 83*d + 88. Let n = 188 - 147. Is r(n) a prime number?
True
Suppose 5*j + 541508 = 13*j + 25724. Is j composite?
True
Let q(a) = a**3 - a**2 + 1757. Let t(m) = 13*m - 48. Let w(l) = -9*l + 32. Let r(n) = -5*t(n) - 7*w(n). Let d be r(8). Is q(d) composite?
True
Let t be -1 - -11 - (-1 - -1). Suppose 3*x = -t*x + 7319. Is x a composite number?
False
Let z(r) = -351*r + 188. Let s(p) = p**3 - 6*p**2 - 11*p - 3. Let i be s(-2). Is z(i) a composite number?
False
Let z(w) = -3082*w - 1501. Is z(-35) a composite number?
True
Suppose 5245 + 1041 = 2*c - 2*t, 3*t - 9453 = -3*c. Is c a prime number?
False
Let j be (-72)/39 + 8/(-52). Let v(h) = 326*h**2 - 5*h + 5. Is v(j) prime?
True
Let r be 6 - -1 - 4 - 2. Let i be 1/r + 8/(-8). Suppose -23 + i = -x + 2*g, g = -2*x + 41. Is x composite?
True
Suppose -173*h + 5439197 = -2332136. Is h a prime number?
False
Let n(w) = w**3 - 6*w**2 + 2*w - 4. Let p be n(5). Let k(x) = 4*x**3 - 6*x**2 + 11*x + 79. Let f be k(-4). Let v = p - f. Is v prime?
False
Let z = 1296396 - 739555. Is z prime?
True
Suppose 3*w = -2*i + 39, -3*i + 63 = 3*w - 3. Let j(o) = -56 + 12 + 16 + i*o. Is j(11) composite?
False
Suppose -i - 17 = -4*f, -f + 5*f = -2*i + 26. Suppose 4*x + i*x = 9527. Is x a prime number?
True
Let b(w) = w**3 + 27*w**2 - 60*w - 21. Let r be b(-29). Suppose -r*d + 43*d = 7374. Is d prime?
True
Suppose 0 = -9*z + 221373 + 14139. Suppose -12*o - z = -20*o. Is o prime?
True
Let f = 149154 + -90497. Is f a composite number?
False
Suppose 0 = j - 1 - 0, 0 = -2*a + 4*j + 13436. Suppose 23*u - 18*u - a = 0. Suppose -11343 = -9*c - u. Is c composite?
True
Let a(p) = -10*p**2 - 2*p - 6. Let c be a(-2). Let v be (0 - c) + 24/6. Is 2717/5 - v/115 a composite number?
True
Let i = -112 + 114. Let q(n) = 107*n**3 + n**2 + 3*n - 4. Is q(i) prime?
False
Let k(t) = 43355*t - 481. Is k(6) prime?
False
Let o = 44661 - 25495. Let y = -9301 + o. Is y prime?
False
Suppose -3*x + 4*h = -482 - 1406, 2*x = h + 1262. Let y = -12 + 93. Let r = x - y. Is r composite?
True
Let u be 4 + (-2 - -1)*-4. Is 1465 - (56/u - -1) a composite number?
True
Let d = -109 - -106. Let j(r) = 976*r**2 - 6*r - 7. Let g be j(d). Suppose -t - 8795 = -6*t + 3*a, -g = -5*t + 5*a. Is t a prime number?
True
Suppose 0 = -d + g + 18, 4*d + g = 12 + 35. Suppose 4*w - 43204 = 2*w - 4*t, 0 = -2*w + 3*t + 43232. Suppose 23*o = d*o + w. Is o a composite number?
False
Is 3 + (2 - (-428067)/45) + 6/(-10) a prime number?
False
Let t = 1470918 - 633287. Is t a prime number?
True
Suppose -o = -3*o + 3*v + 8, -5*o + 3*v + 20 = 0. Suppose 5184 = o*x + 2*x. Suppose 5*h = 5*c - 0*c + 1075, -4*h + x = -5*c. Is h a composite number?
False
Suppose -30*d + 57 - 327 = 0. Is (-7 + 3 - d) + -4 - -29380 a prime number?
False
Let n = 10037 + 3194. Is n prime?
False
Let h(g) = 288*g**2 - 3*g - 2. Let u(v) = -v**2 + 15*v + 10. Let w be u(15). Suppose w = -15*z + 5*z. Is h(z) a prime number?
False
Let u = -353 + 353. Suppose -12*a + 16*a - 23924 = u. Is a a composite number?
False
Let s = -14 + -2. Let f(q) = -23*q**2 - 150*q - 33. Let g(o) = -8*o**2 - 52*o - 11. Let t(x) = -6*f(x) + 17*g(x). Is t(s) a composite number?
True
Let w(y) = y**3 + 4*y**2 - 5. Let q(t) = -t - 1. Let x be q(2). Let s be w(x). Suppose -5*h + 870 = r - 1331, -5*r + s*h + 11121 = 0. Is r composite?
False
Suppose 15120 = -2*j - 660. Let f = -5077 - j. Is f prime?
False
Is -1*73626/(-36) + 4/(-24) a composite number?
True
Suppose 4*r - 15*v - 10480 = -19*v, -4*v + 13098 = 5*r. Suppose -4*g - 3*n = -12197, -r = -3*g - 2*n + 6529. Is g prime?
False
Suppose -1131 - 3417 = -3*d. Let l = d - 135. Is l prime?
True
Suppose 358785 - 57455 = 10*y. Is y composite?
False
Let g = -553 + 1347. Suppose -68*b + 69*b = g. Is b a composite number?
True
Let l(d) = 42*d**2 + 4*d + 3. Suppose 4*o = j + 50, -4 = -5*o + 6. Let t = -38 - j. Is l(t) a composite number?
False
Suppose 0 = 2*l - 24 + 22. Let m be -3 - (l + (-1092 - 1)). Suppose -4*t + m = -5*n, 0 = -6*t + 3*t + 5*n + 818. Is t a prime number?
True
Suppose 13*p + 3*p - 220640 = 0. Suppose -a + 6893 = 3*o, -2*a + o = 5*o - p. Is a prime?
True
Let n = -30 + 26. Let r be (-7)/n + (-7)/(-28). Suppose -3*a = 5*f - 7007, r*f + 327 - 3117 = 2*a. Is f prime?
True
Suppose h + 1025203 = 4*z, 3*z = 8*z + h - 1281506. Is z a composite number?
False
Let q(w) = 173*w**2 - w + 3. Let l(i) = i**3 - 21*i**2 + 19*i + 24. Let p be l(20). Is q(p) composite?
False
Suppose 1083*j = 1080*j + 5*f + 1321721, -2*j + 3*f = -881146. Is j a composite number?
False
Is 632/711*3659679/4 a composite number?
True
Suppose -426025 - 983025 = -10*h. Is h a prime number?
False
Suppose -133356 = -513*h + 509*h. Is h composite?
True
Suppose -8*m = 12514 + 54910. Let v = -3581 - m. Is v prime?
False
Let h(x) = 188*x**2 - 216*x - 49. Is h(27) prime?
True
Let y(n) = 251833*n**2 + 30*n + 28. Is y(-1) a prime number?
True
Let y(l) = 24486*l - 87. Let b be y(3). Suppose 16*x - 60245 - b = 0. Is x composite?
True
Let p(n) = -6625*n**3 - 4*n**2 - 39*n - 69. Is p(-2) a prime number?
False
Let x(k