+ 7 = -8. Suppose u + h*d - 27 = 0, 3*d - 8*d = 4*u - 138. Is u a composite number?
False
Let l = 102 + -680. Let r = l - -969. Is r composite?
True
Suppose 3*o + 1840 = -2*o. Let a = 709 + o. Suppose 3*n = -2*r + 1123, 0 = 3*n + r - a - 777. Is n prime?
False
Let g(s) be the second derivative of 7*s**6/45 + s**5/30 - s**4/24 - 5*s**3/6 + 5*s. Let h(c) be the second derivative of g(c). Is h(-3) prime?
True
Suppose -5*r + 157 = -4453. Suppose -10*i - r = -12*i. Suppose i = 4*c - 351. Is c composite?
True
Suppose -2*k - 5*t = -1620, 2*k + 3*t - 1667 = -39. Let j = -401 + k. Is j composite?
False
Let q(n) = 1. Let s(t) = 6*t + 3. Let w(j) = -4*q(j) - s(j). Let z be w(-3). Suppose 4*k + 5*l = z + 1373, 3*k - 5*l - 1003 = 0. Is k composite?
True
Suppose -27*b - 14857 = -52576. Is b composite?
True
Is (15/(-6)*25378/5)/(-1) prime?
True
Let l(f) = 7*f**3 - 5*f**2 + 2*f + 1. Let t be l(3). Suppose -9 = -z + t. Suppose -5*k + z = d - 53, 2*k - 4 = 0. Is d prime?
False
Let l(w) = 3*w**2 + 13*w - 6. Let s be l(-5). Suppose -b = -s*y - 127, -2*y + 469 = 4*b - 5*y. Is b prime?
False
Let j be (-671)/4 + 3/(-12). Let x = -94 - j. Is (21/6)/(1/x) prime?
False
Suppose -11674 - 56513 = -7*s. Is (-4)/6*(-2)/4*s a composite number?
True
Let t(f) = f**2 - 10*f - 4. Let h be t(10). Let i(o) = -o**3 + 2*o**2 + 7*o - 5. Let c be i(h). Let g = 182 - c. Is g a prime number?
False
Is (-80007)/2*(-72)/108 prime?
True
Suppose 3*u + 60 - 582 = 0. Suppose 8*n = -0*n. Is (u - -3)/(1 + n) a composite number?
True
Suppose 5*x - 6*f + 5*f = 11015, -2*x = -2*f - 4406. Is x a prime number?
True
Suppose 0 = 4*y - 0 + 44. Let b = 7 + y. Is (-2 - b) + 86 + -3 a composite number?
True
Let j be 70 + -3 - (-14)/7. Let v be 1488/14 - 16/56. Let w = v - j. Is w prime?
True
Let o(k) = k**3 + k**2 + k - 1. Let u(z) = -42*z**3 + 5*z**2 + 4*z - 5. Let b(i) = -4*o(i) + u(i). Is b(-2) composite?
True
Is ((-12)/21)/(4/(-14)) + 2577 prime?
True
Let u = 1664 - 1063. Let m be 3 - (6/(-2) - u). Suppose -d = -5, n + 2*d = -2*d + m. Is n a prime number?
True
Let k be 3 + -2 + (1 - -2). Suppose -4*j - 48 = -372. Let b = k + j. Is b a composite number?
True
Let p = 4 - 2. Suppose d = p*v + 391, -4*d + 1178 = -d - 5*v. Suppose 46 + d = 3*g. Is g prime?
True
Let z(v) = 130*v**2 + 5*v + 77. Is z(-10) prime?
False
Let v(o) = 8*o - 14. Let p be v(10). Let h be 5*p*1/5. Suppose -2*f + 128 = 4*s, 2*s + 2*f - h = -0*s. Is s composite?
False
Let h = 5561 + 6726. Is h a prime number?
False
Let k(a) = -a**2 + 9*a + 1. Let g be k(6). Suppose 4*t + g = o, 32 = 3*o + o - 5*t. Suppose x - o*l - 155 = 0, l + 4*l = -2*x + 277. Is x composite?
True
Let d(r) = 245*r - 4. Is d(6) prime?
False
Let t(c) = c**2 - 5*c - 3. Let b be t(6). Let f(k) = k**3 + 12*k**2 - 3*k + 31. Let v be f(-9). Suppose -b*n + 332 = -v. Is n a composite number?
False
Let t(r) = 120*r + 19. Let z(c) = c**2 - 11*c + 6. Let a be z(11). Is t(a) a composite number?
False
Let o(h) be the second derivative of h**5/20 - h**4/3 - h**3/3 - 11*h**2/2 + 8*h. Let t be o(6). Let r = t + -28. Is r a composite number?
True
Let r = -94 - -193. Suppose -z - r = -292. Suppose -z - 56 = -3*p. Is p prime?
True
Suppose -5*o + 3*u = 15, 3*o - 7*u + 9 = -2*u. Let m be (-14)/o + 3/9. Suppose 0 = -3*p + 3, -b + 5*p = -m*b + 1017. Is b prime?
False
Suppose 5*i + 4 = i. Let g(t) = -498*t - 2. Let c be g(i). Suppose c = 4*k - 652. Is k a prime number?
False
Let q be ((-3)/12)/(3/(-60)). Suppose 0*d + 2665 = q*d. Is d a prime number?
False
Let f(w) = -w + 4. Let s be f(0). Suppose -8365 = -3*n - s*n. Is n a prime number?
False
Let m = 21109 - 2132. Is m prime?
False
Suppose 174*h - 171*h = 435. Is h composite?
True
Suppose 0 = 4*g - 3466 - 198. Suppose g = -0*s + 2*s. Is s prime?
False
Suppose 0 = -3*n + 5*b - 10, -3*b + 8*b = 10. Suppose -s = -n - 4. Suppose s*f = 469 + 23. Is f composite?
True
Let n(c) = -c**2 + 4*c. Let h be n(4). Suppose 3 = s - 1, -2*o - 2*s + 612 = h. Suppose -o = -4*y - 2*q - q, -2*q = -3*y + 235. Is y a composite number?
True
Let q be 0/5 + 8 + 1 + -3. Is -1 + q/10 - (-20696)/40 a prime number?
False
Suppose 37*b = 11*b + 884494. Is b composite?
False
Is (-15172)/(-5) + (-15)/(-25) a composite number?
True
Let b(l) = l + 12. Let t be b(-10). Suppose -6*n + 1426 = -4*n. Suppose j - t*j + n = 0. Is j prime?
False
Let o(c) = -2*c + 2. Let y be o(0). Is (-1)/(6/(-381))*y composite?
False
Suppose 5*l - 25 = 0, 4*j - 3*j - 5*l = -7. Let v be ((-1222)/(-6))/((-3)/j). Let y = 1863 + v. Is y prime?
True
Let y = 112 - -431. Let a = 766 - y. Is a composite?
False
Let s = -768 + 3161. Is s a composite number?
False
Let p(c) = 35*c**2 + 0 + 1 + 0*c + 3*c - 2*c. Suppose 4*o - 12 = -0*o. Is p(o) a prime number?
False
Suppose -3*z - 5*y + 19899 = -8*y, -4*z + y = -26544. Is z composite?
False
Suppose -37*y = -43*y + 8166. Is y prime?
True
Let x(y) = y**2 + y. Let j(w) = 8*w**2 + 17*w - 16. Let l(v) = j(v) - 6*x(v). Is l(11) a composite number?
False
Let j be 3/((-46)/(-10) + -4). Suppose -j*n + 617 = -128. Is n composite?
False
Suppose -2*l - 2294 = -2*m, -5*m + 0 = l - 5729. Suppose 2*x + m = 3680. Is x composite?
True
Let z(a) = -a + 7. Let b be z(4). Suppose -b*r + 5633 = 5*i, 5*i = -0*r + 3*r - 5593. Is r composite?
False
Suppose 2*l + 2 = 0, 4*o - 3*o + 2*l = 0. Is 862/(5 + (-1 - (4 - o))) prime?
True
Suppose -5*q = -3*a - 25654, -2*a + 20531 = 4*q - 7*a. Is q a composite number?
True
Let n = -21429 - -31052. Is n composite?
False
Let f(a) = 2*a + 21. Let o be f(-7). Suppose 4741 = o*p + 947. Is p a composite number?
True
Suppose 2*o = 2*l - 6740 + 2090, -2317 = -l + 3*o. Is l a composite number?
True
Let w = -9067 + 16778. Is w a composite number?
True
Suppose 5*p - 10091 = 4*p + 4*o, 6 = -2*o. Is p composite?
False
Suppose 0 = 31*t - 86669 - 224478. Is t a prime number?
True
Suppose 0 = -2*i + r - 8 + 21, -5*r = 2*i - 43. Suppose -2668 = i*l - 13*l. Is l composite?
True
Suppose 4*z - 1 = -t - 21, 50 = -5*t + 5*z. Let v(l) = 6 + 4 - 1 - 14*l - l**2. Is v(t) composite?
True
Suppose -9 = 3*m - 33. Let b(y) = y**3 - 8*y**2 + 6*y + 6. Let f be b(m). Suppose -f = -i + 85. Is i a composite number?
False
Suppose 5*f + 2 = 12. Is f/(-4) + (-4126)/(-4) a prime number?
True
Suppose 0 = 4*c - 5*j + 11, -c - c + j - 13 = 0. Let l = 214 - c. Is l composite?
False
Let m(k) = -k**3 + 5*k**2 + 4. Let z be m(5). Let a(u) = -7*u**2 - 3*u + 1. Let g be a(z). Let q = g + 250. Is q a prime number?
True
Suppose 395 = 4*n + 3. Suppose n = -2*u + 540. Is u prime?
False
Suppose 2*o = -18 - 2. Let v(r) = -r - 12. Let x be v(o). Let a(m) = -53*m**3 - 2*m**2 + 3. Is a(x) a composite number?
False
Suppose 17*l - 1987 - 6156 = 0. Is l prime?
True
Let z = 485 - 139. Suppose 0 = -3*h + 3, -2*g + 227 + z = -5*h. Is g prime?
False
Is -6 + 12678 + 7 + 0 a composite number?
True
Let p = 21 - 11. Let n(h) = 710*h - 43. Is n(p) a prime number?
True
Let y be 4/2 - -12*(-4)/6. Is (418 + 0)*((-33)/y - 5) a composite number?
True
Let p(b) = -b**3 + 9*b**2 + 17*b - 23. Let v = -26 - -36. Is p(v) a composite number?
False
Is (-12)/30 + 42959/35 composite?
True
Let u(p) = -2*p**3 + 11*p**2 - 1 + 3*p**2 + 8*p + p**3 + 4*p. Is u(12) prime?
True
Let m be (-2)/13 + (-4 - (-14538)/26). Suppose 10*u - 13*u = -m. Is u a prime number?
False
Let d(g) = -g**2 - g. Let w be d(-1). Suppose w = 4*a - 126 - 110. Is a a composite number?
False
Let c be (36/(-10) + 4)*2405. Let x = -445 + c. Is x a composite number?
True
Let f(k) = 3*k**2 + 15*k + 7. Let r be (77/14)/(1/(-2)). Is f(r) prime?
False
Suppose -5*h + 3*j + 9 = 0, 4*j - 2 = h + 3. Suppose -5*o + d = 6, 6 = -2*o + d + h*d. Let l(m) = -128*m**3 - 2*m**2 + 1. Is l(o) a prime number?
True
Let k be 2/(-4) + (-30)/(-12). Let h(d) = 104*d**3 + 4*d**2 - 5*d + 1. Is h(k) a composite number?
False
Let b(u) = 594*u**2 + 112*u + 1. Is b(4) a prime number?
False
Let g = 330 + -496. Let u = -364 - g. Let y = 1183 + u. Is y prime?
False
Let s(o) = -o**3 - 7*o**2 - 3*o + 1. Let i be s(-7). Is 583 - ((-36)/48 - i/(-8)) a composite number?
True
Suppose 0*c = 2*c. Let b = c - -195. Suppose 0 = 3*r - 42 - b. Is r a composite number?
False
Let v(z) = 5*z - 7. Suppose 0 = 4*x - 30 - 42. Is v(x) a prime number?
True
Let j = 9 + 1. Is (-3314)/j*(0 + -5) prime?
True
Let n(w) = 3*w