- 387. Is (7 + -3)/(-4)*l composite?
True
Suppose -y + 2 = -3, 3*h + 663 = 3*y. Let v = -2526 - -1193. Let d = h - v. Is d a prime number?
True
Suppose 0 = -3*b - 2*c + 20, -17*c + 32 = 5*b - 14*c. Let w(q) = -q**3 + 4*q**2 - 4*q + 3. Let t be w(2). Suppose -b*m + t*m = -143. Is m a composite number?
True
Is (98/147)/((-1)/(19341/(-6))) composite?
True
Let m(t) = -t**2 - 2*t - 8. Let c be m(0). Let r(h) = -3*h**3 - 11*h**2 - 2*h + 14. Is r(c) a composite number?
True
Suppose 8*p - 416014 = 362138. Is p composite?
True
Let a be 6*2/4 + 3. Suppose -2*w + 3*w - a = 0. Is 358/w + (-4)/6 composite?
False
Let m be 39/(-156) - (-8882)/8. Let f = m + -589. Is f a composite number?
False
Let n(y) = -8*y**3 + 26*y + 31. Is n(-11) composite?
True
Suppose 4*g - 76004 = -c, 3*c = 2*g + g - 57003. Is g a composite number?
False
Let c(v) = -63*v**3 - v**2 + v + 3. Let m be c(-1). Is (-1)/(4/(-3)) + 66320/m a prime number?
False
Let k = 13240 - -4111. Is k prime?
True
Let h(v) = -11*v - 21. Let t be h(-3). Is 1216 - 1*t/4 a composite number?
False
Is (-12572)/56*-22*1 a prime number?
False
Suppose y + 2*l - 387 - 96 = 0, -3*l = 4*y - 1942. Suppose 11*d - 547 - y = 0. Is d prime?
False
Let c(h) = -h**3 - 34*h**2 + 31*h + 137. Is c(-47) prime?
True
Let x = 31 + 28. Let g(u) = 2*u + x + 98 + 0 - u. Is g(0) prime?
True
Suppose -3*u - 1455 = -6*u. Suppose -q - 4*j + u = 0, q - 109 - 376 = -j. Suppose 0 = 3*b - 6, -2*l + b = -5*l + q. Is l a prime number?
False
Let x = -1328 - -526. Is (x/(-6))/(4/12) composite?
False
Let i(m) = 6*m + 3 + 6 + 2. Suppose 0 = 17*s - 18*s + 8. Is i(s) prime?
True
Let d(u) be the first derivative of -2*u**4 + 2*u**3 + 13*u**2/2 + 14*u - 22. Is d(-5) a composite number?
True
Suppose -29834 = -2*u - 4*k, -u + 4505 = 3*k - 10409. Is u composite?
False
Let s(l) = 11*l**2 - 3*l. Let f be s(1). Is 2/f - ((-12282)/24 + 1) composite?
True
Let n(w) = 13*w**3 + 6*w**2 + 2*w - 2. Suppose -c + 3 = -2*y, 0 - 19 = y + 3*c. Let k be n(y). Is -2*-1*k/(-4) a prime number?
True
Suppose -18*x - 763097 = -37*x. Is x prime?
True
Let o be 4/(-18) - (-1372)/18. Let d = o - -109. Is d a composite number?
True
Let p = -33 - -3. Is (7/(105/(-4038)))/(12/p) a prime number?
True
Suppose 5*l - 3*d - 45 = 0, 20 = 4*l - 2*d - 18. Let w(t) = 15*t**2 - 7. Is w(l) a prime number?
True
Let k(v) = 606*v**2 + 4*v - 6. Let x be k(4). Suppose -13*r + 2085 = -x. Is r a prime number?
True
Let p(v) = -17*v - 3. Let m(l) = -16*l - 4. Let i(y) = 6*m(y) - 5*p(y). Let r be 627/(-133) - 2*1/7. Is i(r) a prime number?
False
Suppose 2*l - 3*l + 435 = 0. Suppose -4*p + 168 + 808 = -4*a, 2*a - 5*p + 488 = 0. Let m = a + l. Is m prime?
True
Suppose 0 = -140*x + 134*x + 85686. Is x prime?
True
Is 312 + (14 + -7 - 12) a composite number?
False
Let h = -14 + 16. Suppose 0 = -h*p + 533 - 19. Is (3 - 0) + p + 3 composite?
False
Suppose 3*f - 4*j = 7398, 6 = -3*j - 3. Suppose 0 = 4*p + 2*g - 287 - 1679, -5*p - g + f = 0. Is p a prime number?
False
Let l(o) = 7*o**2 - 29*o + 85. Is l(-39) a composite number?
False
Let v(h) = -59 + 4*h - h**3 + 34 + 30 + 4*h**2. Let f be v(6). Let q = -10 - f. Is q a composite number?
True
Let p(t) = 796*t**3 - 4*t**2 + 14*t + 25. Is p(4) composite?
True
Let d(o) be the second derivative of 79*o**4/12 - o**3/3 - o**2 + 8*o. Let h be d(2). Let k = h + -107. Is k prime?
False
Let t(q) be the third derivative of q**6/120 + 3*q**5/20 + q**3/2 + 2*q**2. Is t(-5) a prime number?
True
Suppose 18 = -3*h + 3*n - 12, 4*h - n = -40. Is (-3)/(-15) + (-848)/h prime?
False
Let y = -530 - -747. Let d = y - 6. Is d a composite number?
False
Let i(q) be the first derivative of q**2/2 + 4*q + 6. Let w be i(0). Suppose 1574 = w*k - 654. Is k a composite number?
False
Let h(s) be the first derivative of -7*s**4/4 + 5*s**3/3 + 3*s**2 + 5*s - 6. Is h(-4) prime?
True
Suppose -351495 = -62*j + 17*j. Is j a prime number?
False
Suppose -c = 5*x + 2*c - 90, -20 = 4*c. Let s(m) = -7*m + 2 + x*m - 7. Is s(12) composite?
False
Let x(t) = t**3 - 3*t**2 + 2*t - 3. Let y be x(3). Suppose 2*u = 5*s, y*s + 2*u = -u + 21. Suppose 2*o - 3*o + 322 = s*g, 167 = g - o. Is g composite?
False
Let c(v) = -v**3 + v**2 + 9*v + 12. Let s be c(-7). Let r be (-3348)/24 - (-1)/2. Let m = r + s. Is m composite?
True
Suppose 0 = -5*s - 22 - 8. Let b(j) = -2*j**3 - j**2 + 2*j + 5. Is b(s) prime?
True
Suppose -2*a = -8102 + 1776. Is a prime?
True
Suppose -34*z + 4547 = -33*z. Is z composite?
False
Let x(p) = 6845*p - 27. Is x(2) prime?
False
Let x(s) be the first derivative of s**4/4 - 5*s**3/3 + 3*s**2/2 + 8*s - 46. Suppose a + 14 = 3*a. Is x(a) a composite number?
False
Is (-33657)/(-9) + ((-14)/3)/7 prime?
True
Suppose 1153 = w + 66. Is w a prime number?
True
Suppose -1 = -2*j + 3. Suppose 7*l - j*l = 0. Suppose 2*z - r + 149 = 3*z, 5*z - r - 745 = l. Is z prime?
True
Let y(o) = o - 8. Let l be y(11). Suppose 4*m + l*b - 790 = 5*b, -3*b = m - 215. Is m + -6*(-4)/8 a prime number?
False
Let j(r) = 677*r**3 + 3*r**2 - 4*r + 1. Is j(1) a prime number?
True
Suppose -3*j - 2*y = 4 - 0, y + 2 = 3*j. Is 421 - j - (-2 + 4) a composite number?
False
Suppose -4*w + 6 = -2*h, 2*h + 1 + 7 = 5*w. Suppose -w*f + 235 = 47. Is f composite?
True
Is (2333/(-4) + 0)/((-1)/4) a composite number?
False
Suppose b + 4 + 8 = 0. Suppose 8*d + 34542 = 5*d. Is (-2)/4 + d/b a prime number?
False
Let f(t) = 1083*t**2 - 3*t + 2. Let k be f(1). Let v = k + -639. Is v a composite number?
False
Let w(f) = -152*f - 3. Let q be w(-2). Let x = q + -446. Let u = x + 392. Is u composite?
True
Is 2/8 + 255323/68 composite?
True
Let o(b) = -478*b + 75. Is o(-3) composite?
True
Let g(z) = 3 - 3 + z - 3. Let v be g(5). Is 3 - v - (-52 + 0) a composite number?
False
Let b(d) = 1 + d**2 + 6*d - 2*d**3 - 2*d**2 + 7*d**2. Is b(-5) a prime number?
False
Let z = 8 + -6. Is (5 - 3)/((-7)/((-11851)/z)) composite?
False
Let o be (-1 - -3)*1 + 1. Let l(z) = -o + 0*z - 4*z + 2 + 4*z**2. Is l(6) prime?
False
Let x(c) = 293*c + 259. Is x(20) a prime number?
False
Suppose 3*a + 5*o - 662 = 0, a = -0*a + o + 226. Suppose -2*v + 5*j + 69 = -a, 0 = v - 3*j - 148. Let g = 273 - v. Is g prime?
False
Let w(m) = 5*m**2 + 6*m. Let n be w(-4). Let z = n - -23. Is z composite?
False
Let y = -9 + 0. Let z = -5 - y. Suppose -f = -z*h + 465, 3*f - 36 = 4*h - 511. Is h a composite number?
True
Suppose 1016 = 4*s + 4*s. Is s a prime number?
True
Let t = -14447 - -36814. Is t prime?
True
Let s(f) = f**2 - 5*f + 4. Let w be s(5). Suppose -183 = -u - 2*q, -3*u + w*q - 187 = -4*u. Is u a prime number?
True
Let l(s) = 8*s**3 - 10*s**2 - 5*s - 51. Is l(14) composite?
True
Suppose -7228 = -4*d - 1640. Is d composite?
True
Let u(f) = f**2 - 26*f + 63. Is u(30) prime?
False
Is (-6)/(-4)*(-44868)/(-18) composite?
False
Let x(b) = 113*b - 15. Is x(13) prime?
False
Let t(q) = 25*q + 29. Suppose 5*r - 9 = 61. Is t(r) a composite number?
False
Suppose -3*n + 7 = -8. Suppose -3*b + n*b = 4. Suppose -67 = -d - 5*k, -335 = -b*d - 3*d + 3*k. Is d a prime number?
True
Suppose 4*f = x - 4, 2*f + 3 = -2*x + 11. Suppose 17*n - x*n - 8983 = 0. Is n prime?
True
Let d = 5 - 10. Let m = d - -10. Suppose m*t + 2*f = 72 + 41, 0 = t - 3*f - 9. Is t a composite number?
True
Suppose -4*t + 3*i + 65 = 0, 0*t + 39 = 3*t + i. Is -4 + t/4 - 1269/(-6) a composite number?
False
Suppose 17 = 3*m + 2. Let i(q) be the third derivative of q**6/60 - 7*q**5/60 - q**3/6 + q**2. Is i(m) prime?
False
Let b = -16 + 4. Let z(m) = -7*m - 10. Is z(b) a composite number?
True
Suppose 3*r - 1645 = -2*r + 3*b, 311 = r + 3*b. Is r prime?
False
Let r(f) = -15*f**3 - 4*f**2 + 21*f - 7. Let g(d) = 16*d**3 + 3*d**2 - 21*d + 7. Let y(i) = -4*g(i) - 5*r(i). Is y(6) a composite number?
True
Suppose -26*b = -23*b - 75219. Is b prime?
True
Let d(o) = -2653*o - 11. Is d(-6) a composite number?
False
Let c(z) = z**3 - 5*z**2 - 6*z + 3. Let w be c(6). Suppose 1514 = 4*b + m, w + 3 = -3*m. Is b a prime number?
True
Let q(d) = -d**2 + 10*d - 13. Suppose -4*n + 7 = -29. Let u be q(n). Is (u/1)/((-4)/298) a prime number?
False
Suppose -2*w + 0*w - 18 = 0. Is 6/w*(-633)/2 prime?
True
Is 6*(-144488)/(-48) + 1*-2 prime?
True
Suppose 6*n - 5 = -59. Let s(v) = 1 - 5 - v - v - 5*v. Is s(n) composite?
False
Let u = 1771 - 1198. Let c = -184 + u. Is c