et o(x) = 335*x**2 + 2*x + 29. Is o(-4) a prime number?
True
Suppose -5*m - 4*c = -7590, m + m - 3023 = c. Is m composite?
True
Let j(g) = 4*g**2 + 2*g + 28. Let f be j(11). Let u = f - 211. Is u a composite number?
True
Let w = -51 + 55. Suppose -5*k + 2*k = 5*b - 2180, 2*b = -w*k + 858. Is b composite?
False
Suppose 0 = 4*m + 20, 11 = 3*b - 2*m - 5. Let g(i) = -i**2 - i - 14 + b*i - 13*i - 4*i. Is g(-12) prime?
False
Let t be 136/(-12) + 4/(-6). Let b = t + 15. Is 39 - (6 - (1 + b)) a prime number?
True
Suppose -28*d + 54*d - 153998 = 0. Is d prime?
True
Let z = -77 - -82. Is z + (-14336 - -2)/(-3) a composite number?
False
Suppose -1106*i = -1102*i - 35692. Is i composite?
False
Let r(o) = -o**3 - 14*o**2 + 35*o - 13. Let g be r(-25). Let v = g - 3948. Is v composite?
False
Let c = 1513 - -7858. Is c prime?
True
Suppose 242973 = 26*m + m. Is m prime?
True
Let t(b) be the first derivative of b**4/4 + 10*b**3/3 + 5*b**2 + 11*b + 138. Let l(i) = -i**3 + 5*i**2 - 7*i + 4. Let c be l(4). Is t(c) a composite number?
False
Let m be (-3388)/(-2) + 4/(4/3). Suppose -6*v + m = -1969. Is v a prime number?
False
Let k be 6 - (0/(-1) + 2). Suppose -2*b + 4*b = k. Suppose 4075 = 3*o + 2*o - 3*z, -o + b*z = -815. Is o prime?
False
Let w be (-3)/(-1) - (1 + -2). Suppose -4*b + 4*q = 5*q - 1814, 0 = b + w*q - 461. Is b composite?
True
Suppose 3*o + 0*o + 18 = 4*z, 3*o = -2*z. Suppose -5 = z*v + 4. Is (v - -2)/(2/(-68)) a composite number?
True
Suppose -3179 = -10*k + 191. Is k a composite number?
False
Suppose -53 = -3*h - 5*g - 0*g, 0 = 4*h - 5*g - 59. Suppose h*z = 23*z - 6293. Is z composite?
True
Let n be (-870 - -2) + 7 + -7. Let g = n - -1775. Is g composite?
False
Let i = -43 + 61. Suppose -791 = 11*g - i*g. Is g composite?
False
Let i(h) = h - 9. Suppose -2*y - y + 39 = 0. Let o be i(y). Suppose -o*s - 74 = -910. Is s a prime number?
False
Let g be (12/4 + -4)/((-2)/(-10)). Let h(v) be the third derivative of -4*v**4/3 + 17*v**3/6 + v**2. Is h(g) a composite number?
True
Let k(d) = 33*d - 32*d + 39*d - 1 + 12. Is k(6) a prime number?
True
Suppose -3*c + 27729 = -3*l + 7*l, -4*c = l - 36959. Is c composite?
False
Suppose -13*i - 20 = -23*i. Suppose i*u - 468 + 38 = 0. Is u prime?
False
Suppose -5*n + 2*u = 17, 3*u + 10 = 2*n - 2*u. Let b(v) be the first derivative of 4*v**3/3 + 3*v**2/2 - 2*v - 1. Is b(n) composite?
False
Suppose -545131 - 73355 = -33*p. Is p prime?
False
Is (-2)/14 + (11 - (-41973)/7) a prime number?
True
Let g(o) = -o**3 - 6*o**2 - 6*o - 5. Let w be g(-5). Suppose 0 = 5*s, 3*z = 7*z - 2*s - 276. Suppose r - z = -w*r. Is r prime?
False
Is 13809/45 + (-4)/(-30) composite?
False
Let v be 2/6 + 3/(-9). Suppose v = 3*u + 3*y + 60, 2*u - y + 37 = -6*y. Let x = 32 + u. Is x prime?
True
Let l = -6414 - -10615. Is l prime?
True
Let d(a) = -7*a + 7. Let p(x) = 10*x - 10. Let q(r) = -7*d(r) - 5*p(r). Let m be q(0). Is 1050/5 - -1*m a prime number?
True
Suppose 0*l = 5*l. Suppose -n - n - 22 = l. Let c(p) = -p**3 - 9*p**2 + 10*p + 13. Is c(n) prime?
False
Let x(n) be the second derivative of 3*n**5/10 - 4*n**4/3 - n**3 + 11*n**2/2 + 17*n. Is x(7) a prime number?
False
Suppose k - 9 = 3. Suppose 0*s + 28 = 2*a - 3*s, k = 2*a + 5*s. Is a a prime number?
True
Suppose k = 5*k - 5*z + 6924, 4*k - 2*z + 6924 = 0. Let n = k + 2516. Suppose n = 4*b - 387. Is b a prime number?
True
Let t = -772 + 2266. Let v = 2473 - t. Is v a prime number?
False
Let a be 3 - ((-21)/(-28) - 2/(-8)). Suppose a*v - 508 = 18. Is v a composite number?
False
Let t be 654/((-5)/5)*(-2)/3. Let d = -19 + t. Is d composite?
True
Let j(m) = -m**3 - m**2 - 1. Let r(f) = f**3 + 2*f**2 + 7*f - 7. Let t(w) = 4*j(w) + r(w). Is t(-7) a prime number?
False
Suppose -4*b - 2*f = -0*f + 82, f = 5. Let u = b + 66. Is u composite?
False
Let k = -10374 + 16487. Is k a prime number?
True
Let d = 104136 - 67967. Is d a composite number?
True
Suppose b - 5*p - 90707 = 0, -119*p = -4*b - 121*p + 362784. Is b a prime number?
True
Suppose -6*c - 1079 = 79. Let f = c - -270. Is f a composite number?
True
Let j(z) = -z**3 - 22*z**2 - 19*z + 46. Let p be j(-21). Let d(s) = 35*s**3 + 3*s**2 + 8*s - 3. Is d(p) a prime number?
False
Suppose 4*l = -4*v + 36, 0 = -v - 4*v + l + 45. Suppose 4*q - 3 = v. Suppose -f + 3*f = -3*g + 283, -4*g = q*f - 427. Is f composite?
False
Let k = 401 + 723. Let m = 1985 - k. Suppose -2439 = -5*u - h, 3*h + m + 1075 = 4*u. Is u prime?
True
Let b = -4849 + 8540. Is b composite?
False
Suppose -3*k + 235 = -242. Is k a composite number?
True
Let j(p) = p**3 + 11*p**2 - 1. Let d be j(-11). Let i be (-2 + 4)*(1 - d). Suppose -2*r = q + 3*q - 414, -i*q = 5*r - 1047. Is r prime?
True
Let h(j) = j - 2. Let k be h(-2). Let d(f) = -1830*f - 5. Let p be d(k). Is 2/5 + p/25 prime?
True
Let l be 120/(-50)*(-80)/6. Let v = l - 13. Is v a composite number?
False
Let s = -1018 - -2286. Suppose -3*o + s + 814 = 0. Is o a composite number?
True
Suppose 4*x - 4*z = 38660, 4*x + 4*z = -x + 48289. Is x composite?
False
Let h be -4 - (-50644)/(-28) - (-10)/(-35). Let r = -1056 - h. Is r prime?
True
Let d(a) = 5*a - 1. Let j be d(5). Let y = -51 + 88. Let o = y - j. Is o prime?
True
Suppose 10*n = 4674 + 8096. Is n composite?
False
Let p(u) = 50*u**3 + 2*u**2 + 2*u - 3. Let y = -23 - -8. Let f be ((-4)/(-5))/((-6)/y). Is p(f) a prime number?
True
Let p be (-2)/4*3*-2. Suppose -203 = -p*u + 2*g + 3121, -5*u + 5562 = 4*g. Is (1 - -1)/(12/u) composite?
True
Let h = 26226 - -9085. Is h prime?
True
Let m(h) = 594*h**2 - 10*h - 87. Is m(7) prime?
True
Let i be 85/1 - (-1 - -3). Suppose 15 = 5*q + 5*v, 4*q - 8 = -3*v + 3. Suppose -2*j - i = -y + q*j, 166 = 2*y + 4*j. Is y prime?
True
Suppose 3*s = 2*i + 13, 3*s - 2*s = -4*i - 5. Let d = 4 - i. Suppose 4*a = -w + 303, -4*w - 582 = -d*w - 2*a. Is w a composite number?
True
Suppose -t + 6*t = 0, -3*t - 475 = -5*g. Is (1/(5/(-2459)))/((-19)/g) a prime number?
True
Let d(k) = 2936*k**2 - 9*k - 10. Is d(-1) a composite number?
True
Let n(j) = 29*j. Let k(x) be the third derivative of -x**4/24 + 10*x**3/3 - 4*x**2. Let r be k(13). Is n(r) prime?
False
Let b(d) be the first derivative of 7*d**3/3 - 29*d**2/2 - 37*d + 20. Is b(-15) a prime number?
True
Let z(a) = 5*a**2 - 3*a - 263. Let k(v) = 14*v**2 - 9*v - 789. Let g(c) = -4*k(c) + 11*z(c). Is g(0) a prime number?
True
Suppose -6*v - 3*y = -11*v + 79103, v = -4*y + 15839. Is v composite?
False
Suppose -741130 - 267761 = -39*i. Is i composite?
True
Suppose 2937 - 32013 = -12*v. Is v prime?
True
Suppose 2*k - 15419 = -3*m - 1831, 4 = -k. Let a = 7003 - m. Is a composite?
True
Let t(k) = 3*k**2 + 10*k - 29. Let w be t(13). Suppose 0 = -l + 4637 + w. Is l a prime number?
False
Suppose 0 = 5*h - 954 - 991. Let o = h + 2846. Is o a composite number?
True
Let p(a) = -a**3 + a**2 + 2*a + 4. Let i be p(-3). Let j = 396 - i. Is j composite?
True
Suppose 0 = d + 2*l - 22, 3*l - 78 = -5*d + 2*d. Let t = 65 + d. Suppose -3*i - 2*i = -t. Is i a composite number?
False
Suppose 28 = 14*i - 28. Let k be (-3 + -1)/(1/(-2)). Is (6/k)/(i/464) a composite number?
True
Let r be 20/(-8)*(-752)/10. Suppose 828 = 4*x - r. Is x prime?
False
Suppose -2*z - w = 2*w - 7, -1 = 2*z - 5*w. Suppose 1 = -o + 5. Suppose 0 = -3*v, 4*d - 614 = z*d - o*v. Is d a prime number?
True
Let w be (-48)/(-32)*11404/3. Suppose 0 = f + 4*f + x - 9466, 3*f - 5*x = w. Is f a prime number?
False
Suppose 0 = d - 1 + 6, 5*c - 103655 = -5*d. Is 1/(-5) + c/80 a prime number?
False
Let z(h) = h**2 + 1786. Let j be z(0). Suppose -5*m + 3*n = -3458, -1665 = -5*m - 4*n + j. Is m prime?
True
Suppose -58*k = -39*k - 186409. Is k prime?
True
Let u(b) = 32*b - 5 + 1 + 9*b + 2. Is u(5) prime?
False
Suppose -10*i = -8*i - 6. Suppose -i*l = 5*j - 2941, 4*j - 2*l + 591 = 5*j. Is j prime?
True
Suppose 57*v - 170158 = 95633. Is v a composite number?
False
Suppose 4*d + 19 = -17. Is (-50)/3*d/6 a prime number?
False
Suppose -r + 4 = 0, 19710 = -5*u + 7*u - 5*r. Is u prime?
False
Suppose -w - 22 = -3*w. Let h = 5 - w. Let t(j) = -13*j - 11. Is t(h) prime?
True
Let q = 2 - 23. Suppose 2*d - 49 = 55. Let l = q + d. Is l composite?
False
Let t(u) = -21*u**3 + 7*u**2 + 3*u - 6. Let d be t(-4). Let x = d + -483. Is x a prime number?
False
Suppose -3*d + 2*d + 3*f = -1640, 8265 