mposite number?
False
Let t(b) = -b - 3 - b**2 - 4 + 5 + b**3. Let c be t(0). Is c/(-4)*(-390)/(-3) composite?
True
Let y be 8/3 + (-3)/(-9). Suppose -4*n = -y*n - 51. Is n a composite number?
True
Let w(f) = f**3 + 13*f**2 + 7*f - 17. Suppose 0 = 3*d + 2*k + 34, 5*d + 0*k = -5*k - 55. Is w(d) a prime number?
True
Let s be 1 - 4/(4/3). Let t be s/(-4)*-2*-4. Suppose -3*w - r + 609 = 0, -w + t*r = 2*w - 609. Is w composite?
True
Let g(x) = -x**3 + 3*x**2 + 6*x - 5. Let k be g(4). Suppose 0 = -u + 2*r + 59, -8*u + 4*u + k*r + 251 = 0. Is u composite?
True
Let t = -2811 + 4130. Is t prime?
True
Let h = -4 - -7. Let p = -5 + h. Is 3*p*3/(-6) a prime number?
True
Suppose -2*w = -5*w + 12. Suppose 0 = 3*u - 5*u - m, 0 = -w*u - m. Suppose -3*k - 2*i + 1578 - 395 = 0, -k - 2*i + 389 = u. Is k a composite number?
False
Suppose -4*t + 37 + 584 = 5*g, 4*g + 12 = 0. Is t prime?
False
Let j(q) = 77*q**3 + 3*q**2 - 5*q + 5. Is j(2) prime?
False
Suppose 0 = -5*n + 2*o - 281, n - 2*o = -3*n - 224. Let l = n + 146. Is l prime?
True
Let c(d) = 149*d + 18. Is c(7) composite?
False
Let r = -6 + 10. Suppose 162 = r*u + 22. Is u a prime number?
False
Let n = 2 - 3. Let m be 33 + (n - (-2 + 1)). Let g = -14 + m. Is g prime?
True
Let l be (-4)/14 + 60/14. Suppose -5*g + 5 = -2*z, z = -0*z + 2*g - l. Is (z/6)/((-2)/30) a prime number?
False
Let c(p) = p**3 - p + 2. Let j be c(0). Suppose m = 2*m + f - 211, -4*m - j*f + 844 = 0. Is m composite?
False
Let j(y) = -135*y - 106. Is j(-17) a composite number?
True
Suppose g - 3*g = 0. Suppose -b + w = -g*b - 246, 4*b = 3*w + 989. Is b a prime number?
True
Let r be (-1 - -2) + -3 - -4. Is r/4 + 333/2 a prime number?
True
Let l = -417 - -622. Is l prime?
False
Suppose -4*d + 24 = -d. Let z be (-122)/d*6*-2. Let m = z - 130. Is m prime?
True
Let r be 3 + (0/(-2))/1. Suppose -r*l + 204 = 45. Is l composite?
False
Suppose -2*o - 781 = -285. Let w = o - -359. Is w a prime number?
False
Let z(x) = 2*x**3 + 17*x**2 + 8. Is z(5) a prime number?
True
Suppose 964 = -y + 4*y + 4*z, y - 316 = -4*z. Suppose q + 4*w + y = 5*q, -348 = -4*q - 2*w. Is q a prime number?
False
Let h = 260 - -57. Is h a composite number?
False
Suppose -9*x = 5193 - 19800. Is x composite?
True
Let q = 99 + -30. Is q composite?
True
Let t(q) = q**3 - 6*q**2 - 3*q + 15. Is t(14) composite?
True
Let s(j) = 21*j - 8. Let l(b) = 14*b - 5. Let v(d) = 7*l(d) - 5*s(d). Is v(-6) a composite number?
False
Let t(r) = 5*r**3 + 2*r**2 + 2*r - 2. Let h be t(3). Suppose -4*v = -39 - h. Is v a composite number?
True
Let p = 12 - 27. Let y = 3 - -35. Let q = p + y. Is q prime?
True
Suppose -2*n - 2 = -48. Is n a prime number?
True
Is 95 - (-2 - (4 - 10)) a prime number?
False
Let g = 82 - 47. Is g composite?
True
Suppose 5*v = -1 + 11. Suppose v*j - 77 = 53. Is j a composite number?
True
Let c = -2209 + 3255. Suppose -5*i + c = -3*i. Is i a composite number?
False
Suppose 5*g = -3*t + 21, 3*g - 4*g + 1 = -t. Suppose -4*q + 5*k + 11 = 0, -g*k = -5*q - 0*q + 17. Is (-194)/(-6) + q/6 composite?
True
Let a(j) = -3*j. Let m be a(-1). Let i(f) = -f**2 - 2*f**3 + 4*f + 1 - m + 0 + 4*f**3. Is i(3) a composite number?
True
Suppose -5*d + 4*j + 36 = 0, -5*j + 0 - 8 = 3*d. Suppose 3*m - 62 = -3*f + 163, d*f = -5*m + 377. Is m composite?
True
Let p be 405 - 0 - (-4 + 4). Suppose -5*a = h - 8 - p, 5*a - 417 = h. Is a a prime number?
True
Let l = 248 + -92. Let q = 4 + -5. Let j = q + l. Is j prime?
False
Let x(h) = -7*h - 14*h + 3*h - 1 - h. Is x(-2) a composite number?
False
Let t be 4/(-10) + (-162)/(-30). Let b(g) = -g**3 + 6*g**2 - g + 6. Is b(t) a prime number?
False
Let l(s) = -3*s**3 + s**2 - 2*s + 4. Let o(i) = i**3 + i**2. Let v(g) = l(g) + 4*o(g). Suppose 0 = 3*a + 11 + 4. Is v(a) prime?
False
Suppose -16597 = -5*q - 2*q. Is q a prime number?
True
Suppose -3*g + 12 = -0*g. Suppose g*m - 530 = 2*m. Is m a composite number?
True
Suppose -867 = 45*k - 48*k. Is k a prime number?
False
Suppose -58 - 44 = -3*f. Suppose 4*u = f + 22. Is u a composite number?
True
Let z(x) = -x**2 + x + 2. Let d be z(3). Let p(a) = -11*a - 7. Is p(d) a composite number?
False
Let t = -353 + 915. Let v = t - 191. Is v a composite number?
True
Let g(s) = s**3 - 6*s - 8. Is g(7) a composite number?
False
Suppose 4*q + 28 = 3*n, -4*q + n = -q + 21. Let i = -4 - q. Is i a composite number?
False
Suppose 0 = a + 2*t - 2443 - 708, 5 = 5*t. Is a a composite number?
True
Let d(n) = -2*n**3 - 3*n**2 + 1. Let q be d(-2). Suppose -5*u = 2*i - 56, 5*i - 138 = q*u + 37. Is i composite?
True
Let a be 6/(-9)*(-6)/2. Suppose a*l = l + 47. Is l a prime number?
True
Suppose -6433 = 22*r - 23*r. Is r prime?
False
Suppose 239 = 3*b - 952. Is b prime?
True
Let w be 361/11 - (-2)/11. Let v be (3/(-2))/((-3)/4). Let b = w + v. Is b a composite number?
True
Suppose 2*g - 9330 = -3*g - 5*j, g + 5*j - 1862 = 0. Is g a prime number?
True
Suppose 38 = 6*p - 4*p. Is p a prime number?
True
Is -1*-4*1*(-2818)/(-8) prime?
True
Let s be (-362)/(-3) - 4/6. Let f = s - 29. Is f a composite number?
True
Let l(w) = -480*w**3 - 2*w + 1. Let b be l(1). Is 2/7 + b/(-7) composite?
True
Suppose -5*h = -509 - 1421. Let v = h - 273. Suppose -v = 5*z - 348. Is z a composite number?
False
Suppose 8*g - 3*g - 5 = 0, -4*q = -2*g + 114. Suppose 0 + 13 = -h. Let c = h - q. Is c composite?
True
Is (-2)/4*209*-2 prime?
False
Suppose 0 = -3*k + z + 709, 59 = 3*k + 4*z - 630. Is k a composite number?
True
Suppose c - 4*v - 38 = -2*c, v + 13 = c. Suppose -m + c = -0*m. Is (m/(-8))/((-2)/40) a prime number?
False
Is ((-335)/(-5))/(2/22) a composite number?
True
Let f = 8 + -5. Suppose -g - 2*o - 4 = 0, 7 = 5*g - f*g + o. Is 124/(-6)*(-9)/g a composite number?
False
Let t = 94 - -253. Is t composite?
False
Let q = 0 - -4. Let h(w) = -1 - w + q*w + 6*w. Is h(4) composite?
True
Let j be 6 - -2*12/8. Let i(a) = -7*a + 14. Let m(l) = 6*l - 15. Let b(z) = -7*i(z) - 6*m(z). Is b(j) prime?
True
Let b(m) = -28*m**3 + 2*m**2 + m + 3. Is b(-2) a prime number?
True
Suppose -4*a = -3208 + 684. Is a a prime number?
True
Let l(v) = -20*v + 3. Let a(f) = 19*f - 3. Let z(o) = 2*a(o) + 3*l(o). Is z(-2) composite?
False
Let s(q) = q**2 + 5*q + 1. Let j(m) = -3*m**2 - 16*m - 2. Let y(o) = 2*j(o) + 7*s(o). Let v be y(3). Let d = v + -2. Is d a composite number?
False
Let v = 519 + -226. Is v composite?
False
Let q be 5/7 + (-2)/(-7). Is q + (-3)/((-2)/2) a prime number?
False
Is 1/((20/1012)/5) a composite number?
True
Let d be 1 + 0/3 + 2. Suppose -508 = -y - d*y. Is y prime?
True
Let y(m) = 7*m**3 + m**2 + 3*m + 7. Let r be y(5). Let o = r + -86. Let w = o + -423. Is w composite?
True
Is (-22156)/(-12) - 4/(-6) composite?
False
Let l(w) be the first derivative of 4*w**3/3 - 3*w**2 - 3*w - 1. Is l(5) composite?
False
Suppose 4 = 4*o - 4. Suppose o*v - 14 - 6 = 0. Suppose -3*a = -3*x - 14 - v, -4*a + 20 = 2*x. Is a a prime number?
False
Let w(z) = -z**2 + 6*z - 3. Let u be w(4). Suppose -4 = -u*d - h, 4 = d + 2*d - h. Is (-6)/2 + d + 64 a prime number?
False
Suppose 2*t - 5*l = -t + 789, -4*l = 5*t - 1315. Is t prime?
True
Let b(r) = 41*r**2 - 37*r + 11. Let j(m) = -10*m**2 + 9*m - 3. Let a(v) = -2*b(v) - 9*j(v). Let k = 32 + -26. Is a(k) prime?
True
Is ((-497)/(-14))/((-2)/(-12)) a composite number?
True
Suppose 9*z = 4*z + 3100. Let q = z + -417. Is q prime?
False
Suppose 0 = 4*a - 6502 + 2242. Suppose -2*z - w = 2*z - a, -2*z + 525 = -w. Is z a composite number?
True
Suppose n = -0*n + 6. Let o = n + -8. Is 2/(3/(-57)*o) a composite number?
False
Let a be ((-6)/(-5))/(2/(-10)). Let s be 6/4 + 3/a. Is -3 + (s - -3) - -292 a composite number?
False
Let t(j) = 2*j - 5. Let y be t(5). Suppose -5*s + 3*k = -2*k - 725, y*s - k = 725. Suppose 0 = -4*v + f + s, 0*f = -2*f - 10. Is v prime?
False
Let o(d) = d**3 - 7*d**2 - 9*d + 10. Let m be o(8). Suppose -3*q - 2*w = m*q - 185, 4*q - 131 = -5*w. Is q a composite number?
True
Is (3522/9)/((-10)/(-15)) composite?
False
Let d = -3 - -8. Suppose 0 = -o + d*u - 29, -5*o = -0*o + u + 15. Is 150/4 + 2/o a composite number?
False
Suppose 23 + 79 = 2*v. Is v a prime number?
False
Let u(z) = -1 + 2*z**3 + z**2 + 0*z - z - 38*z**3. Let t be u(-1). Let x = t - 26. Is x a composite number?
False
Suppose 0 = b - 4*b + 1281. Suppose 2*p = -c + 288