prime?
False
Suppose -2*c - n + 46975 = 0, -3*c - 7*n + 8*n = -70460. Is c composite?
True
Let n be -2 - (-4 + 2 - 16). Suppose 2*q + 6 = -a, 4*a - q - n = q. Suppose f = -5*l + 499, a*l = f + l - 475. Is f a composite number?
False
Let c = -29580 - -51703. Is c a composite number?
False
Let w = 187801 - 35666. Is w a prime number?
False
Suppose -203 = -x + s, 0*x + 5*s + 601 = 3*x. Let g = x - -380. Is g composite?
False
Let v(j) be the third derivative of j**4/8 - 143*j**3/6 - 3*j**2. Let s(m) = 4*m - 143. Let t(x) = 5*s(x) - 6*v(x). Is t(0) prime?
False
Let o be (-1 + -11)/(-3) + -3 + 3. Suppose o*i = -j + 203, -3*j - 5*i = -0*i - 581. Is j prime?
False
Suppose 448 - 1964 = -o. Suppose -4 = 2*u, 5*q - 3564 = 5*u + o. Suppose -3*b + 1015 = -b + 5*a, 2*b = -4*a + q. Is b a composite number?
True
Let o be 6/(-4) + (-18)/(-12). Suppose 1115 = -5*f - 6*n + n, o = 4*n - 4. Is f/(-6) - (-1)/(-3) a prime number?
True
Let r be -11*141*3/9. Let x = r + 870. Is x composite?
False
Suppose -5*q - z + 176005 = 0, 19*q - 22*q + 2*z = -105603. Is q a composite number?
False
Suppose 2*p = 4*i - 2*p - 126280, 63134 = 2*i + p. Is i*6/108 + 2/9 a composite number?
True
Suppose 11*t - 2 = 13*t. Let k(m) = -220*m - 3. Let j be k(t). Suppose -2*w + j + 61 = 0. Is w a composite number?
False
Let v(r) = -r**3 + 4*r**2 - 4*r + 3. Let o be v(3). Suppose 51 = 3*w - o*w. Let l = w + 20. Is l composite?
False
Suppose 6738 = 5*l + 2*s - 2767, -2*l + 3802 = -5*s. Is l a composite number?
False
Let h(g) = 4*g**3 + 7*g**2 - 4*g + 2. Let y be h(5). Suppose -p + 209 = -u, -5*u - 62 = 3*p - y. Is p composite?
True
Is (-5873)/7*(0 + -1) composite?
False
Let k(d) = 47*d**2 - 78*d + 323. Is k(-54) a composite number?
False
Let n(v) = v**2 + v + 3. Let u be n(0). Suppose 4*o = -5*s + 69 + 517, -155 = -o + u*s. Suppose -2*p + 67 = -x, -4*p + 4*x = -x - o. Is p prime?
True
Suppose 3037 = 3*w - 2*v, -w + v = -1083 + 69. Is w a composite number?
False
Suppose 2*q = 3*g - 8*g + 485, 2*g + 3*q - 183 = 0. Let p = g - 41. Is p composite?
True
Suppose 0 = 4*r - 3*r + 2, -2*r + 220 = -2*q. Let a = q - -323. Is a prime?
True
Let y = 44041 - -21192. Is y a prime number?
False
Suppose 0 = -5*h + 8 + 7. Suppose w = j + 5 - 6, -h*j - 2*w = 7. Is j/((-1)/(-42)*-2) composite?
True
Let l(g) = 2*g**3 - 14*g**2 + 21*g - 132. Is l(11) composite?
True
Let x(i) = i**3 + 24*i**2 - 36*i - 14. Is x(-23) a prime number?
False
Let f be (3/(-18)*-3)/((-3)/(-354)). Suppose -f*a - 7036 = -63*a. Is a a prime number?
True
Suppose -2*c = -4*c. Suppose s + 4*x = 154, 368 = -c*s + 2*s - 4*x. Let u = -59 + s. Is u a prime number?
False
Suppose -5*f = 5, -2*r - 2*f - 3*f - 7 = 0. Let w be -2*(-1 + r + 1). Suppose -3*x - 4*j = -693, -4*j - 6 = -w*j. Is x a prime number?
False
Let v(o) = -3*o**3 - 8*o**2 - o - 11. Let t be v(-8). Let z = 1674 - t. Is z a composite number?
False
Let h(i) = -30*i**2 - i + 7. Let q(n) = -3 + 2*n + 2 - n. Let j(m) = -h(m) - 6*q(m). Is j(-4) composite?
False
Suppose 0 = -5*y + 4*n + 8207, 0 = 4*y - 4*n + 5*n - 6553. Is y a composite number?
True
Let u(p) = -2*p**2 - 3 - 7*p - p**3 - 11*p**2 - 8*p**2 + 3*p**2. Is u(-19) a composite number?
False
Suppose 37667 = 12*x - 5*x. Is x composite?
False
Let s = 0 - -3. Suppose -29 = s*t - 5*p, -4*t = -0*t + 5*p - 8. Is (2 + (-573)/9)*t composite?
True
Let x(a) = 2782*a**2 - a. Let g be x(1). Is -1 + g - (-33)/(-11) a prime number?
True
Let m(f) = -2*f**2 - 5*f + 9. Suppose 7 - 22 = 3*j. Let z(g) = -3*g**2 - 6*g + 10. Let l(t) = j*z(t) + 6*m(t). Is l(3) composite?
False
Let j(r) = 467*r**2 + 4*r + 9. Let o be -8 - ((-6)/2 - 1). Is j(o) a prime number?
False
Let m(k) = 13*k**2 - 13*k + 15. Is m(-25) prime?
False
Let g = 2614 - 1473. Let h = g + -462. Is h a composite number?
True
Suppose -o = -f - 0*o - 91, -f - 86 = 4*o. Let u = 101 - f. Is u prime?
True
Let w = -279 + 14028. Is w a prime number?
False
Let c = 9717 - 5626. Is c composite?
False
Suppose 103 + 101 = -2*l. Is l/(-9)*(-1659)/(-14) a prime number?
False
Let v(a) = 5453*a + 163. Is v(18) composite?
False
Suppose -4*p + 8 + 0 = 0. Suppose w = -4*o + 5*w + 4, -p*o - 3*w + 7 = 0. Is ((-1)/o)/((-12)/2328) composite?
False
Let i = -16 + 10. Let l(h) = -h**3 - 5*h**2 + 6*h + 2. Let j be l(i). Suppose -j*s + 149 = -s. Is s a composite number?
False
Suppose -262 - 902 = -z. Suppose 2*b - z = -2*b. Let x = 409 - b. Is x a prime number?
False
Let c = 10 + -1. Suppose 1 = 5*v - c. Suppose g + 184 = 2*g - 5*q, 177 = g + v*q. Is g a composite number?
False
Suppose 0 = u + 4*u - 4*m - 20, 2*u + 2*m = -10. Let c be (4 - (u - -7)) + 7. Is ((-286)/(-33))/(c/138) a prime number?
False
Let g = -10 - -10. Let o(q) = g - 4 + 2*q**2 + 3 + 3 - 9*q. Is o(7) a composite number?
False
Let g(n) = n**3 - 7*n**2 - 8*n + 5. Let i be g(8). Suppose -2*z + 3*b - 1 = -13, 4*z + 3*b = 6. Suppose -z*w = -i*w + 50. Is w a composite number?
True
Suppose -9*t + 25497 = -0*t. Is t composite?
False
Let m = 15538 - 11025. Is m a prime number?
True
Suppose -11*z + 29983 = -10530. Is z a prime number?
False
Suppose 0 = d - 56 + 6. Is d/(-25) + -373*(-2)/2 a prime number?
False
Let y(p) = p**3 + 12*p**2 + 15*p + 14. Let f be y(-11). Let i be ((-1580)/f)/(4/6). Suppose 1173 = 5*z - 3*n, 541 = 2*z - 3*n + i. Is z a composite number?
True
Suppose r = 4*m - 7, r - 3 - 14 = -4*m. Suppose -3*k + q + 1015 = 0, 3*q = m*k - 1571 + 548. Is k a prime number?
True
Is (-14)/(-10) + (-771792)/(-70) composite?
False
Is (-3)/3*-1 + 13306 a prime number?
False
Suppose -5*f - 169 = 131. Let n be 12/(-10)*f/24. Suppose z = -z + n*x + 36, -4*z + 5*x = -70. Is z a prime number?
False
Let x = -258 + 325. Is x a composite number?
False
Let f = 3 - -2. Suppose -4*y + 6734 = 2*x + 2528, f*x - y = 10559. Is x a composite number?
False
Suppose 8 = w - 3*z - 1, -3*w + 13 = -2*z. Suppose 4*m = 4*l - 564, w*l + 4*m - 97 - 326 = 0. Is l a composite number?
True
Suppose 9815 = -12*q + 151235. Is q composite?
True
Suppose 4*w + 7 = 3. Let i(v) = -12*v - 1. Let r be i(w). Let a(s) = 2*s - 9. Is a(r) a composite number?
False
Let q(s) = s**2 - 3*s - 8. Let t be q(4). Let x(h) = -132*h + 13. Is x(t) prime?
True
Let p be -1 - -1 - (1 + -4). Suppose s + p = 3*y - 2, 0 = -y + s - 1. Suppose -4*t - y*h = -2*t - 5, -2*h = -3*t + 40. Is t a prime number?
False
Suppose -4*c + 0*c = -4. Let k(h) = 1703*h + 6. Is k(c) a composite number?
False
Let f = 196 - 111. Let c = 122 - f. Is c prime?
True
Let o(t) = -122*t + 3. Let h be o(-4). Suppose 3*l - 298 = h. Is l a composite number?
False
Let n(c) be the third derivative of 7*c**4/24 + 11*c**3/6 - c**2. Suppose 4*s = -4*g + 12, -4*s - 6 = 6. Is n(g) a prime number?
True
Let h(n) = -18*n - 11*n - 5 + n - 4*n. Let m be -1*(-10)/(-1) - -4. Is h(m) a composite number?
True
Let r(m) = -m**2 - 14*m + 4. Let f be r(-14). Is (6/4 - f)*-86 a composite number?
True
Let o(d) = 108*d - 5. Let p be o(3). Suppose p = 2*t - 683. Suppose l - 455 = -n, -n + 5*l = 70 - t. Is n a composite number?
True
Let a(s) = s - 12. Let g be a(15). Suppose 3*x - 633 = -g*y - x, 3*y = 2*x + 633. Is y a prime number?
True
Let t(l) = l + 1. Let v(d) = 366*d + 7. Let u(a) = -t(a) + v(a). Is u(1) composite?
True
Suppose -2*s = -4*s - 4*k - 2, -4*k - 8 = 0. Suppose -6 = -3*j, -j - 209 = -s*d + j. Is d a prime number?
True
Let z = -874 + 1296. Suppose 4*s + 3*m = m - 828, 2*s = 3*m - z. Let j = -23 - s. Is j a prime number?
False
Suppose -3*p + 2*i = -3*i - 14797, 4*p - i - 19701 = 0. Suppose -g = -3*x - 3221, -1703 + p = g - 5*x. Is g composite?
False
Let l be (-1 - -1)/(10/(-5)). Suppose 3*v + w - 712 = l, 0 = -3*w - 0*w + 3. Is v prime?
False
Let w(c) = -366*c + 25. Let s be w(-14). Suppose -2*f + 5*y - 1057 = -3612, 0 = 4*f + 3*y - s. Is f composite?
True
Let g(a) = -6*a**2 - 14. Let k be g(-6). Let p = 35 - k. Is p composite?
True
Let f be (-3)/(-2)*(-10)/(-3). Suppose -f*j - 9 = -19. Suppose -j*a = -2719 - 1723. Is a a composite number?
False
Let v = -1 - 2. Let z be 1/((9/(-777))/v). Suppose 2*m = -5 + z. Is m a composite number?
False
Let f = -2175 - -4214. Is f composite?
False
Let t(k) = k**3 + 42*k**2 - 48*k + 7. Is t(-23) prime?
False
Suppose 4*v - 4*g - 6552 = 0, -3*g + 3742 - 451 = 2*v. Is v a prime number?
False
Suppose 0 = 2*v - v. Suppose v*f + 5*