posite number?
True
Is 49 + 7/((-7)/2) a prime number?
True
Let u(w) = 26*w**2 - 7*w + 11. Is u(6) composite?
True
Suppose -2*i + 536 + 50 = 0. Is i a composite number?
False
Suppose -3*h - 50 = -1925. Let s = -434 + h. Is s prime?
True
Let i(o) = -110*o + 7. Is i(-3) a prime number?
True
Let q be -17 - -5 - (0 - 2). Let d(x) = -64*x - 9. Is d(q) a composite number?
False
Suppose 4*m + 4*v + 0*v = 568, -5*v = -3*m + 442. Suppose -d = d + 5*s - 86, -3*s + m = 4*d. Is d a prime number?
False
Suppose k - 94 = 4*b, k + 2*b - 7 = 87. Let v = 37 + k. Is v composite?
False
Suppose 5*v - 839 - 636 = 0. Is v composite?
True
Let c be (45/(-12) + 2)*-4. Let k = c - 4. Suppose -3*v + j + 114 = 0, 3*j - 123 = -k*v + 7*j. Is v a composite number?
False
Let g(j) = 13*j - 20. Is g(7) composite?
False
Suppose 4*l + 22419 = 4*y + y, -17960 = -4*y - 3*l. Is y a prime number?
False
Let x = -9 - -62. Is x a composite number?
False
Suppose x = 71 - 2. Suppose -4*a + x = -15. Is a a composite number?
True
Suppose -13 = 2*l + l - 2*h, 13 = 2*l + 3*h. Is (9 - 0) + 3*l a composite number?
True
Suppose -346 = -3*p - 133. Is p composite?
False
Suppose -2*a = g - 4 + 11, 4*a - 2*g = -2. Let f be 6*(8/3 + a). Suppose 6*h - 2*h = -3*s + 1133, f*h + s - 1143 = 0. Is h composite?
True
Suppose 6720 = 5*z + 2*v, -2*z + 3286 = 3*v + 609. Is z prime?
False
Suppose -2*l = -7 - 41. Let x = 5 + l. Suppose 5*n - 40 = -3*a + 32, -2*n + x = a. Is n a composite number?
True
Let c be 2/4*4 + 0. Suppose -440 = -4*v - c*h, 0*h = -3*v - h + 331. Is v prime?
False
Let a(d) = -d. Let r be a(-5). Let k(u) = -r*u + 3*u - u. Is k(-2) composite?
True
Suppose -17 = -4*y + 291. Let o = 151 - y. Is o composite?
True
Is ((-4)/2)/2 + 504/2 prime?
True
Suppose 2*t - 18 = -t. Let f = 2 - -3. Let v = t + f. Is v a prime number?
True
Let s(i) = -i**2 + 16*i + 16. Is s(7) composite?
False
Let q(p) = 106*p**2 + 3*p + 5. Is q(-4) composite?
True
Suppose -2*g - r + 330 = r, 2*r = 4. Suppose 4*k = 3*k + g. Is k prime?
True
Suppose 0 = -3*v - 4*b + 4, -5*v + 3*b = -3*v + 3. Suppose -148 = -v*y - 4*y. Suppose y = 5*k - 33. Is k a composite number?
True
Suppose -5*r + 1692 = 2*i, -3*i = 4*r - i - 1352. Suppose -r = 12*m - 16*m. Is m a composite number?
True
Suppose n - 1 = -4. Let a be -1 - -1 - (n + 1). Suppose -4*l + 3*z + 126 = -0*l, 4*l - 128 = a*z. Is l prime?
False
Let n(o) = 2 + 0 - 5 + o**3 + 7*o**2 + 3*o - 4*o**2. Is n(4) composite?
True
Let o be -2*46*(-1)/(-4). Let g = 35 + o. Is -1 - (1 + -2)*g a composite number?
False
Let w be ((-2)/3)/((-5)/1950). Suppose 0 = 8*f - 4*f - w. Is f a composite number?
True
Let z(k) = 782*k + 11. Is z(6) a composite number?
False
Let b = -604 + 1112. Let l = -307 + b. Is l a composite number?
True
Suppose 2 = -5*d + 12. Suppose -3*r - 4*j = -94, -j - 74 = -d*r + 2*j. Is r composite?
True
Let i(o) = -o - 4. Let q be i(-6). Suppose -2*y + q = -0*y. Suppose y = 5*h - 154. Is h prime?
True
Let r(p) = -2*p - 7. Let f be r(-6). Suppose 0*m + 655 = f*m. Is m composite?
False
Is 22/(-4*(-1)/6) a composite number?
True
Let p be (6/(-1))/3 - -2. Suppose -d + 5*m + 34 = -p*m, 0 = -4*d + 5*m + 76. Is d prime?
False
Suppose -5247 = -19*d + 10*d. Is d composite?
True
Let g(r) = 194*r - 3 - 2 + 5 - 1. Is g(3) prime?
False
Let x(d) = 2*d + 2. Let m be x(12). Is (-4)/m + (-117552)/(-208) a composite number?
True
Let a(c) be the second derivative of -c**5/20 - c**3/6 + 3*c**2/2 + 3*c. Let m be a(3). Let b = m + 218. Is b a prime number?
True
Let d be (-5201)/(-35) + (-2)/(-5). Let p = d - -302. Is p composite?
True
Let a(k) = -k. Let l(u) = 16*u + 5. Let p(o) = 2*a(o) - l(o). Is p(-4) prime?
True
Let m(p) = 6*p + 1. Is m(7) composite?
False
Suppose z + 1 - 11 = 0. Is (-253)/(-2) + 5/z a composite number?
False
Let t(m) = 0*m - 2*m + 3*m - 6*m**2 + 56*m**2. Suppose -2*l - 5*p + 6 = 2*l, 2*l = 5*p - 12. Is t(l) prime?
False
Suppose 2*o + 2*o + 1098 = 2*d, -d - 2*o + 565 = 0. Is d composite?
False
Suppose 5*z - 21 = 2*z. Let n be ((-108)/(-14))/(z/49). Suppose -77 - n = -f. Is f prime?
True
Let o(z) = -z**3 - 11*z**2 - z - 12. Let p be o(-11). Let r be -3*(1/(-3) + p). Suppose 13 = -3*f + r*f. Is f prime?
True
Suppose 3*m = -0*m + 2334. Is (-2)/8 + m/8 a prime number?
True
Let k be 3 - (-1 + -3)*3. Suppose 4*x - 471 = o, 4*o - k = o. Is x a prime number?
False
Let a(x) = -158*x - 4. Let q(c) = 474*c + 11. Let l(n) = -8*a(n) - 3*q(n). Is l(-1) composite?
False
Let s(z) = -z**3 - 5*z**2 + 2*z + 7. Let o be -2 - (-12)/(1 - 4). Is s(o) composite?
False
Suppose 5*l - 760 = -2*o - 131, -2*o - 260 = -2*l. Is l composite?
False
Let q be 1/2 - 724/8. Let c be 4/(-2) - (q - -1). Suppose 5*p = -3*u + u + 125, -c = -4*p + u. Is p a prime number?
True
Let z(o) = -9*o**3 + 4*o**2 + 5*o + 3. Is z(-3) a prime number?
False
Suppose 0 = -4*l + 2*k + 12, -2*k = l + 2*l - 2. Suppose -3*z - l*y + 481 = 0, 0*z - 3*y = -2*z + 325. Is z a prime number?
False
Let d be 279/18 + (-1)/(-2). Is (536/d)/(1/2) a composite number?
False
Suppose 4*k - 904 = 2*o - 5*o, 4*k - 2*o = 904. Suppose 0*f + 2*f = k. Is f a composite number?
False
Suppose 3*y + 2*y = 4*i + 19, -i - 16 = -5*y. Suppose -y*m - 15 = 0, -2*f = -2*m - 13 - 1. Suppose -f*k + 1 + 13 = 0. Is k a composite number?
False
Let j(y) = -26*y + 43. Is j(-13) a composite number?
True
Let d = 132 + -5. Is d prime?
True
Is (2 + -3)/((-11)/4741) a composite number?
False
Suppose f - 3*x - 403 = -3*f, 5*f = 3*x + 500. Is f a prime number?
True
Let u(r) be the third derivative of r**5/20 + 5*r**4/24 + r**3/2 + 2*r**2. Is u(7) a composite number?
True
Let x(s) = -142*s - 20. Is x(-7) prime?
False
Suppose -7*j + 2*j + 3175 = 0. Suppose 2*x + 8 = -2*s, -3*x - 2*s = 1 + 7. Suppose x = -4*d - d + j. Is d prime?
True
Let u(x) = 265*x - 2. Is u(1) composite?
False
Let a(i) = -22*i - 9. Is a(-10) composite?
False
Suppose -4*c + 1525 = 5*q, -q - 5*c = -2*q + 276. Is q composite?
True
Suppose -426 = -5*v + 4*b - b, 249 = 3*v - 4*b. Is v prime?
False
Let k(x) = 3*x - 1. Let i be k(1). Let w = i + 2. Let l = 30 - w. Is l composite?
True
Let h(l) = l**3 - 3*l**2 - 6*l + 4. Let c be h(4). Let t = c + 4. Suppose 5*k - z - 57 - 17 = t, 0 = -5*z + 5. Is k prime?
False
Let f(q) = q**2 - 3*q + 4. Let p be f(3). Suppose -p*r - r + 555 = 0. Is r prime?
False
Suppose 0 = 3*o - 0 - 3, -4*v + 239 = 3*o. Is v a prime number?
True
Let f(r) be the third derivative of -17*r**6/720 + r**5/60 - r**4/6 + 3*r**2. Let y(h) be the second derivative of f(h). Is y(-7) prime?
False
Suppose 2*z + 3 - 25 = 0. Let q be 2 - (-8)/(-4)*1. Let c = q + z. Is c prime?
True
Is 6/(-2) - (-578 + 4) composite?
False
Let n be (-1)/(-2) + 7/2. Let x(y) = y**2 - 3*y. Let b be x(n). Suppose -b*h = -3*a - 27, -4*a - a - 34 = -3*h. Is h prime?
True
Let u(r) = -1038*r**3 + r**2 + 2*r + 1. Let f be u(-1). Let o = -467 + f. Is o a prime number?
True
Let i(y) be the third derivative of y**4/24 - 2*y**3/3 + y**2. Let s be i(6). Suppose -o + s*v + 22 = 0, 2*v - v = -3*o + 66. Is o a composite number?
True
Let x(l) = 6*l + 5. Let v be x(15). Let y = v + -6. Is y composite?
False
Let p = 84 - -94. Suppose 2*b = -4*z + p, -2*b - 174 = -4*b - 5*z. Is b prime?
True
Let k(c) = 59*c**2 + 1. Is k(2) a composite number?
True
Let d be 129 - 1/(-2 + 1). Suppose 0 = -5*q + d + 345. Let x = q - 42. Is x prime?
True
Let w(c) = c**3 + 12*c**2 - 13*c - 1. Is w(7) a composite number?
False
Let o(t) = -6*t**3 + 3*t**2 - 2*t - 1. Let y = 9 - 13. Is o(y) composite?
False
Let n(r) = 530*r**3 - 2*r**2 + 2*r - 1. Let s be n(1). Let w = s + -276. Is w a prime number?
False
Suppose -7 = 3*w + 3*j + 5, w + 4*j = -19. Is (-1 - 2)*w + 22 a composite number?
False
Let r(g) = 2*g - 5. Let p be r(5). Suppose 0 = -p*y - 3*b + 140, 0 = 3*y - 3*b + 4*b - 88. Is y a composite number?
False
Let u(t) = 2*t**2 - 11*t + 4. Let y = -1 - -1. Let x be (-1)/2*(y - 14). Is u(x) composite?
True
Let i = -531 + 2986. Is i prime?
False
Let c(x) = 2*x + 5. Let q(f) = f**3 + 8*f**2 + 7*f + 10. Let n be q(-7). Suppose 2*m + 2 = n. Is c(m) composite?
False
Suppose -2*k = -4*u - 24, -k - 2*u = 4*k - 60. Let p = k + 131. Is p composite?
True
Let f(h) be the first derivative of -4*h**2 - 5*h + 1. Is f(-9) a composite number?
False
Let r(d) = 10*d**2 - 2. Let h be r(-2). Let g = h