False
Let h(c) = 17*c + 4. Is h(5) prime?
True
Is (-3846)/9*(4 + -7) composite?
True
Let b = 8 + -7. Let w(s) = 58*s**2 + s. Let z be w(b). Suppose t - z = -0*t. Is t a prime number?
True
Let u(f) = f**3 - 7*f**2 - 7*f + 13. Is u(12) prime?
False
Suppose -2*a + 5*q + 28 = -3*a, -5*a - 2*q - 25 = 0. Is 3 + (6/a - -6) a composite number?
False
Suppose 0*y - 370 = -y. Suppose -2*u + 182 = 12. Suppose -3*c + y = u. Is c a composite number?
True
Let s = 12 - 7. Suppose 3*m - 45 = 3*p + 2*p, -m + s*p + 25 = 0. Is m a prime number?
False
Suppose -5*t + 6*t + 4*d = 20, 4*t = -d + 20. Suppose -5*i + 163 = 6*h - 4*h, -5*h = -t*i - 391. Is h composite?
False
Let d = 11 + -21. Let y(q) = q**3 + 11*q**2 + 9*q - 6. Let j be y(d). Suppose 3*v = n - 101, j*n - v + 10 = 370. Is n prime?
True
Suppose -2*y - 6*s + 2*s = -502, -509 = -2*y + 3*s. Is y prime?
False
Let s(n) = -6*n + 15 - n - n**3 + n + 2*n**3 - 8*n**2. Is s(10) a prime number?
False
Suppose 0 = -5*c + 2 + 13. Suppose -5*l + 31 = y - 514, c*y - 545 = -5*l. Is l composite?
False
Let j(x) = x + 4. Let w be j(-2). Suppose 2*u = 2*r + w, r - 14 = -2*u - 2*u. Is (u/(-4))/((-2)/424) a prime number?
False
Suppose -5*v - 159 = -4*d + 3*d, v - 129 = -d. Suppose -d = -p - p. Is p a prime number?
True
Suppose 432 = 2*m - 5*a, 3*m - 276 = 2*a + 383. Is m composite?
True
Suppose -5*h = -6*h + 787. Is h composite?
False
Let m(w) = w**2 - 3*w - 2. Let h be m(4). Suppose h*l = 5*r + 237, 0 = r - 2*r - 3. Is l a composite number?
True
Suppose s - 66 = -3*z, s + 30 - 91 = -2*z. Is s prime?
False
Let t(h) = -2*h**2 + h - 1. Let o be t(1). Let j(b) = -2*b**3 - 2*b**2 + 2*b + 2. Let v be j(o). Let z(p) = 27*p - 1. Is z(v) prime?
False
Suppose -4*o - 12 = -o. Let m(l) = l**2 - 5*l - 5. Is m(o) composite?
False
Let r = 5 - 5. Suppose 3*i + 15 = r, -i = 3*v - 3*i - 22. Suppose 166 = 5*z - d, z - 3*d = -v*z + 168. Is z composite?
True
Let u be 263 + (2*-3 - -3). Let s = 381 - u. Is s prime?
False
Let o(m) = m**3 + 13*m**2 - 3*m - 26. Is o(-11) prime?
False
Suppose 0 = -r + 9 + 8. Suppose -i + r = 3. Let t = i + 11. Is t a composite number?
True
Let r be -3 + 2 + 0 - 98. Let n be -3*1*32/3. Let v = n - r. Is v a composite number?
False
Let w(u) = 10*u**2 + 8*u - 15. Is w(6) a composite number?
True
Let y = 17 - 12. Let z be 2 - 2*(-19)/2. Suppose 2*b - 4*k - 88 = 0, -174 = -y*b + 5*k + z. Is b composite?
True
Suppose 319 = q - 4*c + 10, 4*q + 4*c - 1156 = 0. Is q prime?
True
Let v = 260 + 3. Let a = v + 168. Is a a prime number?
True
Let x(n) = -1 - 2 + 4 + n. Let o be x(3). Suppose -229 = -3*y - 2*a, -a = 2*y - o*a - 157. Is y a composite number?
True
Let c(m) = 3*m**2 - m - 13. Is c(12) a prime number?
False
Let r(x) = -x**2 + 9*x - 2. Let h(m) = m**2 - 10*m + 2. Let t(p) = 5*h(p) + 6*r(p). Let f be (-18)/12*(-8)/6. Is t(f) prime?
True
Let m(y) be the first derivative of 3*y + 13/2*y**2 - 3. Is m(4) composite?
True
Suppose 0 = 2*s - s - 2. Suppose 3*i = -2*y + i + 110, -s*i = -2*y + 102. Is y a composite number?
False
Let n be (-3 + 3)*(-1)/(-2). Suppose -i - 2 = -n*i. Is (0/i - -49)/1 composite?
True
Let g be ((-20)/3)/(2/(-3)). Let y = 4 + g. Is y a composite number?
True
Let d = 2 - -3. Suppose 0 = 4*l - 10 - 30. Suppose 0 = d*p - l - 65. Is p composite?
True
Suppose 3*g = 9*g - 678. Is g a composite number?
False
Let z be 8/20 + 708/5. Let u = -2 - -17. Suppose d + u = z. Is d composite?
False
Let f = -86 - -412. Let n = f - 223. Is n a prime number?
True
Suppose 0 = 3*x - 5*x + 6. Suppose 3*z = -u + 5, 5*z = -x*u - u + 6. Is (3 - 2)*(u + 54) a prime number?
True
Let j(m) = -147*m + 30. Is j(-3) composite?
True
Suppose p = 684 + 59. Is p prime?
True
Let v be (-38)/14 - (-2)/(-7). Let k be (3 - 0) + (-1 - v). Suppose k*a = 4*n + 485, 5*a = 2*a + 5*n + 291. Is a composite?
False
Let f(i) = -i**3 + 6*i**2 - 8. Let g be f(6). Let j = g + 11. Suppose -26 = -3*n - 4*c, -3*n - j*c + 2*c = -38. Is n prime?
False
Let p(i) = -i**2 - 6*i - 2. Let f be p(-5). Suppose 4*b + l + l = 70, -f*b + 72 = -5*l. Is b a composite number?
False
Let f(y) = -3*y + 5. Let o be f(4). Let x(p) = -p**3 - 6*p**2 + 5*p - 5. Let k be x(o). Suppose k = j - 26. Is j a composite number?
True
Suppose 0 = -8*g + 9769 + 2527. Is g prime?
False
Let z(v) = v**3 - 8*v**2 + 6*v + 10. Let g be z(7). Suppose 3*i - 136 = -2*w - 33, -2*i - g*w + 62 = 0. Is i composite?
False
Suppose -3*l = 3*j - 69, -3*j - 64 = -2*l - 2*l. Is l a prime number?
True
Suppose 0 = 2*w - 2*o - 10, 2*w - 4*o + 1 - 21 = 0. Suppose -4*b + w*b = -220. Is b a composite number?
True
Let b = -8 - -13. Is (-35 + b + -3)/(-1) a prime number?
False
Suppose 5*r + 0*r + 2*m - 7340 = 0, 4*r = -4*m + 5872. Suppose 4*t - 4*l = 1184, 5*t - 5*l + 4*l = r. Is t a composite number?
False
Suppose 5*a = 4*a - 2, -50 = 5*n + 5*a. Let v(l) = -l**2 - 9*l + 11. Is v(n) a composite number?
False
Is 4/(-14) + (-20130)/(-42) composite?
False
Let f(w) = w**3 + 2*w**2 + 3*w. Let i be f(-4). Is ((-2)/4)/(2/i) prime?
True
Let c be 10/(1 - (-36)/(-33)). Let n = c - -243. Is n a prime number?
False
Let f(a) = -14*a + 1. Suppose 6 = -2*v + v. Let u be (10/(-15))/((-4)/v). Is f(u) a prime number?
False
Is 1 + 2900/(3 - -2) a composite number?
True
Let b = 56 - 176. Let z = b + 189. Is z composite?
True
Suppose 3*u - 2 = -2*h, -4*u + 3*u + 2*h + 6 = 0. Suppose u*m = -m + 3. Is m + 2 + -1 + 32 a composite number?
True
Suppose 2*t = 5*t - 351. Suppose 4*c - 577 = -c - 3*a, -c = -a - t. Is ((-9)/(-6))/(3/c) prime?
False
Suppose 0 = 3*w - 0 - 6. Suppose d + d = 8, -w*d + 446 = k. Suppose 0 = 5*o + 3*t - 170 - k, -607 = -5*o - 2*t. Is o composite?
True
Let i = 0 + -8. Is -4 + -226*12/i prime?
False
Let d(q) = q**3 - q**2 + q + 279. Let u be d(0). Suppose -u - 77 = -4*t. Is t a composite number?
False
Let l = 6 + -4. Let u(w) = 41*w - 3. Is u(l) a composite number?
False
Suppose -4*g - 26 = 2*w, 33 = 2*g - 6*g + 5*w. Let o(r) = 5*r. Let n(y) = 5*y + 1. Let p(s) = 2*n(s) - 3*o(s). Is p(g) a prime number?
True
Let o(a) = 7*a**2 - 4*a - 2. Let f be o(-6). Let x be f + -2 - (-3 + 2). Suppose 3*w + 0*w = x. Is w a composite number?
True
Suppose 3*l + 556 = 5*u - 508, 2*u + l = 419. Is u composite?
False
Let q(u) = u**3 + 4*u**2 - 12*u - 4. Let x be q(-8). Let k = x + -82. Is k/(-4) + (-2)/(-4) composite?
True
Suppose 0 = -t + 11 - 0. Let l = -46 + 66. Let d = l - t. Is d a composite number?
True
Suppose -2 = f - 0. Is (-3083)/(-13) + f/13 a prime number?
False
Let f be (2/(-4))/((-2)/4). Is 218 + f - -2 - -2 composite?
False
Is (-1 - 3)*(6 - 230/8) composite?
True
Suppose 2*m + 4*b - 1 = 1, -3*b = -m + 6. Suppose 0 = p - t, -4*p - t = -m*p. Suppose 3*r + 22 = 2*a, p*a + a + 5*r = 11. Is a a composite number?
False
Let q(k) = k**2 - 4*k - 7. Suppose 24 = c + 2*c. Let f be q(c). Is f/10*92/10 a prime number?
True
Suppose 2*u + u = 0. Let h be -6*((-2)/(-2))/(-2). Suppose u = d - h - 11. Is d a composite number?
True
Let i(w) = -5*w. Let a(v) = -v**2 + 3*v - 3. Let y be a(2). Let m = y + -6. Is i(m) prime?
False
Suppose -21 = -2*f + f. Is f prime?
False
Suppose -4*v + 362 + 86 = 0. Suppose -2*i - 114 = -552. Let l = i + v. Is l composite?
False
Let w = -4 + 3. Let q be (19 + 2)*(w - -2). Let u = 34 - q. Is u composite?
False
Let t be (-68)/7 + (-8)/28. Is 1/(-5) - 152/t composite?
True
Suppose 5*o - 6*o = -1049. Is o a composite number?
False
Suppose 4 = 2*w - 3*g - 0, 0 = 2*w - 5*g - 4. Suppose 2*a - 8 = -0. Suppose -3*l = 3*o - 36, -w*l + 42 = a*o + 14. Is l composite?
True
Let i(p) = -14*p. Let l = 4 - -3. Suppose -2*j - 3*n + 6 - 2 = 0, 3*j - 2*n + l = 0. Is i(j) prime?
False
Let m = 240 + -19. Is m a composite number?
True
Let z be ((-131)/(-2))/((-2)/(-12)). Suppose 5*o = 2*o + z. Suppose -2*j + 0*j = 5*t - o, t - 5*j - 10 = 0. Is t a prime number?
False
Let b = -69 + 119. Suppose 4*h = -2*q + 390, 2*h - b - 135 = q. Is h a prime number?
False
Let h be (16/10)/(14/35). Suppose -t + 2*a + 191 - 58 = 0, -511 = -h*t + a. Is t a prime number?
True
Suppose 4*y - 107 = 3*z, -4*y = -y + z - 77. Suppose -y - 114 = -4*i. Is i composite?
True
Let f(v) = 125*v + 13. Is f(10) prime?
False
Let v(x) = 70*x**2 + 0 + 1 + 60*x**2. Suppose 3*u = -2*y + y - 16, 15 = -3*u. Is v(y) a composite number?
False
Suppose -3*w + 117 = 2*x, 5*x - 4*w = -