rime?
True
Let m = -7 - -8. Let v(z) = 110*z - 1. Is v(m) composite?
False
Suppose f + 3*f = 16, 2*v - 1086 = f. Is (3 - (4 - v)) + -3 a prime number?
True
Let m(a) = 77*a - 52. Is m(9) composite?
False
Suppose 5*u = 2*u - 2*g - 2626, 4*u + 4*g = -3500. Let n = u - -398. Is n/(-6) + (-2)/3 composite?
False
Let d = 486 - 131. Is d composite?
True
Suppose 622 = -0*s + 2*s - f, 3*s - 936 = 3*f. Suppose -5*v + 0*o = 2*o - s, -124 = -2*v - 4*o. Let h = v + -16. Is h composite?
True
Let r(l) = -l**3 - 3*l**2 + 4*l + 4. Let h be r(-4). Suppose -h*g - f - 37 - 71 = 0, 4*g - 5*f + 84 = 0. Let i = 11 - g. Is i a prime number?
True
Let n be (-6)/((-123)/39 - -3). Suppose v - n - 40 = 0. Is v composite?
False
Let p(q) = q**3 - 5*q**2 - 2*q - 6. Let t be p(6). Suppose 2*z = t + 310. Suppose -5*w + 16 = n, -5*n - 15 + z = 2*w. Is n a prime number?
True
Suppose 0 = -2*s - m + 8, -5*s - 4*m - 4 = -30. Suppose 5*u - u + 3*g - 514 = 0, 256 = s*u + g. Is u a composite number?
False
Suppose 0 = 3*d + 15 - 3. Let b be d/(-2)*(-2 - -3). Is 6*b/4*7 a prime number?
False
Let c(r) = r**3 - 7*r**2 + r - 10. Let b be c(10). Suppose -4*p - 588 = -4*i, -i - p + b = i. Is i a prime number?
True
Let t = 1406 - 91. Suppose 269 = c - 0*c - 2*n, 5*c - 4*n = t. Is c a prime number?
False
Let g = 233 - -720. Is g composite?
False
Suppose 4842 = 4*n - 11842. Is n a prime number?
False
Suppose 2*j + 62 = 3*i, 2*i + 3*j - 52 = -j. Is i composite?
True
Let z be 6*(-2)/(-24)*2. Is 4 - (-321)/3*z a prime number?
False
Let p = -5 + -1. Let j = -3 - p. Suppose -3*r + 1 = -2, -u + 50 = j*r. Is u prime?
True
Let p = 14 + -14. Suppose -j = -3*c - 56, 3*j + 0*j - c - 144 = p. Is j composite?
False
Let z = 332 + 9. Is z composite?
True
Let s = 3 + 0. Is 237 + 9/(-3) + s a composite number?
True
Let d = 41 + -35. Is d prime?
False
Let s(l) = -2*l - 13. Let w = 10 + -1. Let n be s(w). Let m = n + 50. Is m a composite number?
False
Let u(d) = -135*d**3 + d**2 - 3. Is u(-2) composite?
True
Let l(t) be the second derivative of 0*t**2 + 0 + 5/12*t**4 + 1/2*t**3 - 2*t. Is l(-2) a composite number?
True
Suppose g = -7 + 1. Let t(c) = -c**2 - 8*c - 8. Let q be t(g). Is (19/q)/(5/20) prime?
True
Let s be -2 - (-70 - 2/1). Suppose o = -o + s. Is o composite?
True
Suppose -5*b - y = -1596, 0*y - 637 = -2*b + y. Is b a composite number?
True
Let k(x) = 746*x**2 - x - 2. Is k(-1) a composite number?
True
Let a = -60 + 55. Let p(w) be the first derivative of -21*w**2 + w + 1. Is p(a) composite?
False
Suppose -4*k - 4*l + 243 = -k, -225 = -3*k + 2*l. Is k a composite number?
True
Let h = -35 - -50. Suppose 5*n = h - 0. Suppose 0 = -k + n*k - 518. Is k a composite number?
True
Let w = 6 + -5. Let x be 1*w*302/2. Let i = x + -62. Is i a prime number?
True
Let c(m) = 29*m**3 + 1. Let j be c(1). Suppose j = 4*h + h. Suppose 5*n - 119 = h. Is n a prime number?
False
Let x be (1 + -3)*(-21 - -1). Let u be (-2)/7 + x/(-7). Let t = u - -27. Is t a prime number?
False
Suppose -2*j = -0*f + 3*f - 1152, 2*f = 5*j - 2842. Suppose -4*d - 5*p + 346 = -111, j = 5*d + 5*p. Is d prime?
True
Let l(k) = 22*k**2 + 2*k + 13. Is l(-3) prime?
False
Let k = 11 + -7. Suppose k*x - 85 = 3*c, 4*x = -2*c + 3*c + 79. Is x a prime number?
True
Let c = -13 - -18. Let a(r) = -r**2 + 6*r - 2. Let m be a(c). Suppose -3*y - 215 = -4*o, -m*o + 100 = -y - 60. Is o a composite number?
False
Let k = 345 + -46. Is k a composite number?
True
Suppose -11 + 3 = -2*j. Suppose -j*i = i - 1315. Is i prime?
True
Let a = -6 + 10. Suppose a*t = -157 + 465. Is t prime?
False
Is ((-7)/21)/(-1 - (-8290)/8292) a prime number?
False
Let u(c) = c**3 - 3*c**2 + 3*c + 4. Let w be u(3). Let g = w - 8. Suppose -g*i + 52 = n + 6, 37 = 2*n - i. Is n composite?
True
Let b = 906 - 527. Is b composite?
False
Suppose -a + 70 + 85 = 0. Let l = 232 - a. Is l a composite number?
True
Let y(s) be the first derivative of s**4/4 - 11*s**3/3 - 13*s**2/2 - 12*s + 3. Let g(u) = u. Let v(c) = -6*g(c) - y(c). Is v(11) composite?
False
Let v = 1326 + -685. Is v composite?
False
Let i(y) = -38*y**3 - 6*y**2 + y. Is i(-5) a prime number?
False
Let q(u) = u**2 - 3*u + 2. Let r be q(3). Suppose -r*i + 50 = 3*k - 57, i - 36 = -k. Is k a composite number?
True
Let a(n) = -n**2 - 108. Let z be a(0). Let l = -314 - z. Let r = -85 - l. Is r prime?
False
Let l(i) = -i**3 + 4*i**2 - i + 8. Let o be l(4). Suppose z + 390 = 3*q + o*z, -393 = -3*q - 4*z. Is q composite?
False
Let x = 2 - 2. Let a be 1*(x + -1 + 4). Suppose 5*t + 2 = 2*l + 66, a*t - 48 = -2*l. Is t composite?
True
Let t be -9*3/(-9)*1. Suppose 15 = t*r - 4*x, 0*r - 4*x = r + 11. Is r/((-2)/534*-3) composite?
False
Let a(b) = -3*b - 7. Let t be a(5). Is 0/2 - (t - 1) prime?
True
Suppose 2*l = -5*d - 6, -2*d + 3 = 4*l - 1. Is (-124)/(-8) + l/(-4) composite?
True
Suppose -6*k - 188 = -q - 4*k, -529 = -3*q - k. Is q a prime number?
False
Is (-1 - 1)*(-525)/30 a composite number?
True
Let w = 123 - 62. Suppose -51 - w = -4*g. Is (-30)/4*g/(-6) composite?
True
Let o(u) = 45*u**2 + u. Let q be o(1). Suppose -2*b - q - 5 = -3*w, 5*b = -w. Is w a prime number?
False
Suppose 0 = -5*k + 2623 + 5682. Is k composite?
True
Let s = -11 + 22. Let d = s - 7. Suppose -d*q + u = -387, -4*q = -q - 4*u - 287. Is q a prime number?
True
Let u(q) = -q**2 - 6*q + 4. Let v be u(-6). Suppose -v*h = -2*h. Suppose -3*r + h*s = -5*s - 90, 3*r - 111 = -2*s. Is r composite?
True
Suppose -5 = -3*x + 10. Suppose -3*o - 3*n = n + 10, -3*o + x*n = -26. Suppose -2*l + 8 = -l + w, -o*l = -w - 22. Is l a composite number?
True
Let i(x) = 41*x**2 - x - 1. Let p(u) = u**2. Let a(d) = i(d) - 3*p(d). Is a(2) prime?
True
Let i = -929 - -1990. Is i a composite number?
False
Let c be 0/3*(-4)/8. Suppose -f + 219 = 4*i, c = -3*f + 4*i + 138 + 487. Is f prime?
True
Let i = -3 - -1. Let m be (34/(-4))/(1/i). Let v = m + 70. Is v a prime number?
False
Suppose 0*v = -3*r - 4*v - 38, -3*r = 2*v + 34. Let h = r + 16. Is h a prime number?
False
Suppose 17*n + 1082 = 19*n. Is n a composite number?
False
Suppose 16 = 4*l - 7*p + 3*p, -5*l - 4*p = -2. Let r = l - 15. Let o = 28 + r. Is o a composite number?
True
Let z(b) = -b**2 + 3*b + 1. Let p be z(2). Let f = 0 + p. Suppose -7*r + 60 = -f*r. Is r composite?
True
Suppose -z = 5*c + 2*z - 23, -z - 19 = -5*c. Suppose a = -0*a - c. Let v(k) = 7*k**2 - 2*k - 1. Is v(a) composite?
True
Let h(r) = -48*r + 1. Let t be h(-3). Suppose 0*g - t = -g. Is g a composite number?
True
Let q(o) = -o + 7. Let b be q(3). Suppose 3*d + 5*k = b*d - 9, 4*d - 5*k = -9. Is 3*(-2 - 310/d) a prime number?
True
Let n(w) = 8*w + 11 - w - w - w**2 + w. Let u be n(8). Is 74*(-3 + 6)/u composite?
True
Is ((-44)/(-12))/(5/165) prime?
False
Suppose 0 = 2*h - 5*h - 9. Is (h/(-6))/(3/534) a composite number?
False
Let u(k) = 2*k**2 + 11*k + 6. Let t(q) = q**2 - 16*q + 6. Let n be t(15). Is u(n) a prime number?
False
Let n(m) = 39*m + 4. Let h(s) be the first derivative of s**3/3 - 4*s**2 + 10*s + 2. Let v be h(7). Is n(v) a composite number?
True
Let p(f) = f + 1. Let m be p(3). Let g(c) be the third derivative of c**5/30 - c**4/4 + c**3/2 + c**2. Is g(m) a prime number?
True
Suppose 0*b - 28 = 2*b. Let l(n) = n**2 + 5*n + 19. Is l(b) a composite number?
True
Let j = 6 - -2. Let r = j + 29. Is r composite?
False
Let z = 126 + -49. Is z a composite number?
True
Let i be (-5)/(-2 + (-1 - -2)). Suppose 5*b = -i*r - 76 - 164, 5*r + 2*b = -255. Let o = -38 - r. Is o a composite number?
True
Suppose -87 - 156 = -3*c. Let d = c - 7. Is d composite?
True
Is (754/(-4))/((-9)/18) prime?
False
Let s = -3 - -6. Suppose -2*c - 249 = -s*c. Is c*((-12)/(-9) + -1) a prime number?
True
Let p be (-3)/(0/4 + 1). Let x = 12 + p. Is x a prime number?
False
Let r(s) = -2*s. Let n(g) = -g - 1. Let q(i) = -7*n(i) + 6*r(i). Is q(-6) composite?
False
Let b(r) be the third derivative of r**5/60 + 7*r**4/24 + r**3/2 + r**2. Is b(-8) composite?
False
Let j = 6 - 6. Suppose j = -v + 4*v - 111. Is v a prime number?
True
Let x(o) be the third derivative of 13*o**4/24 - o**3/2 - 13*o**2. Let r(j) = j - 4. Let c be r(6). Is x(c) prime?
True
Suppose 43 = 3*t - 14. Let h = 11 - t. Is (38/h)/((-3)/24) a composite number?
True
Let v be ((-105)/((-1)/(-1)))/(-1). Let d = v - 28. Is d a prime number?
Fa