u + 26 - 1 = 0. Suppose x - 1114 = -x + 2*d, -u*d = 0. Is x a prime number?
True
Suppose -2*z + 5*h + 30 = -0*z, 5*h = -2*z - 10. Suppose z*r = r + 232. Is r a composite number?
True
Suppose -x + 4*x = -2*d + 525, -d - 534 = -3*x. Suppose -2*g - g + x = 0. Is g a prime number?
True
Let s = 14200 + -9711. Is s composite?
True
Let d be (-3)/7 - 60/7. Let v(o) be the third derivative of -2*o**4/3 - 11*o**3/6 + 4*o**2. Is v(d) a composite number?
True
Let h(l) be the first derivative of -17*l**5 - l**4/6 - l**3/3 - l**2/2 + 5*l - 1. Let o(b) be the first derivative of h(b). Is o(-1) prime?
False
Let h be (-34)/85 - 42/(-5). Suppose -h*m = -m - 9779. Is m a composite number?
True
Let p(m) = 619*m + 382. Is p(19) prime?
True
Let t(w) = 48*w - 29. Let p(q) = 95*q - 58. Let y(b) = 6*p(b) - 11*t(b). Is y(6) composite?
False
Suppose 496803 - 6398 = 5*j. Is j composite?
False
Let y = 80 + -53. Let i = 20 - y. Is (-6)/14 + (-1102)/i prime?
True
Suppose -2*l - 4 = 0, -80 = -3*k + 4*l + 30. Suppose k*y - 32*y = 5682. Is y a composite number?
True
Suppose 4*g = g - 4*b + 78935, -4*g - 5*b = -105246. Is g composite?
False
Suppose 5*b - 44661 = 49634. Is b a prime number?
True
Let x(y) = -y**3 + 5*y**2 - 5*y + 4. Let w be x(4). Let k be 8 - (-1 + -4)/(-16 + 15). Suppose -2*z - k*j + w*j = -794, -5*j = -20. Is z a prime number?
False
Let z(l) = -8*l + 3*l**3 + 6*l**2 + 9*l - 4*l**3. Let n be z(6). Suppose d + n = 45. Is d a prime number?
False
Let q(k) = -8543*k + 388. Is q(-2) prime?
False
Is (-42)/(-12)*(-1456528)/(-56) prime?
True
Let a be (-11)/(-4) - (-9)/36. Let i(g) = 333*g + 5. Let v be i(a). Is v/(-12)*-1*3 a prime number?
True
Let w(d) = 3*d**2 + d + 2. Suppose 0*j = -4*j - 8. Let x = j + -2. Is w(x) a composite number?
True
Suppose 7 = -n + 9. Suppose p + n*p - 447 = 0. Is p composite?
False
Is (-3793)/(-2)*10/5 a prime number?
True
Suppose 0 = -4*k + 104 - 96. Is 1030 - (-6)/(k - -4) a prime number?
True
Let k(t) = -6*t + 8. Let g be k(4). Let p = g + 17. Is p/((-64)/(-21) - 3) a prime number?
False
Let i(f) = 52*f**2 - 2*f - 5. Let r be i(5). Let j = r - 902. Is j prime?
True
Let i(g) = g**3 - 8*g**2 + g - 2. Let f be i(8). Let y be f - 3 - (-284)/4. Let l = 265 - y. Is l a prime number?
True
Let v(y) = 9*y**3 - y - 2. Let z be v(-1). Let r be 12/z*35/(-14). Is (r + (-320)/(-12))*3 a composite number?
False
Let n(s) = 10*s**2 + 4*s - 5. Let i be n(5). Suppose -g = k - 353 + 88, 3*g = -k + i. Is k a composite number?
True
Let g = 3 - 5. Let h = g + 8. Is (-208)/(-6) + 2/h a prime number?
False
Suppose -u + 8 = u. Suppose -2*p - 5*t + 256 = 0, u*t + 60 = p - 42. Suppose 5*i - 174 = c, 4*c + p = 5*i - 53. Is i a prime number?
False
Let t(k) = -k**3 - 4*k**2 + 5*k - 3. Let b be t(-5). Let s(u) = 4 - u - 2*u**3 - 20*u**2 + 17*u**2 + 5*u. Is s(b) a prime number?
True
Suppose 0 = -4*o - 4*d + 11072, -2*o - 5*d = -7*d - 5532. Is o prime?
True
Suppose 0 = 13*h - 9*h - 12. Suppose -f + 0*p = 4*p - 379, -4*f - h*p = -1516. Is f prime?
True
Let y = -183 + 341. Suppose -3*t + 4*t - y = 0. Is t prime?
False
Let h = 8 + -3. Suppose -t + 5*t - 546 = h*a, -2*t - 3*a + 284 = 0. Is t composite?
False
Suppose -5*x = m + 130 + 142, -1052 = 4*m + 2*x. Let t = -183 - m. Is t composite?
False
Suppose 2*r - 6577 = 5*g, 0*r - 4 = r. Is g/(-3)*(1 + 0) a composite number?
False
Let o(w) = -2*w**3 - 8*w**2 + 14*w - 19. Let d be o(-8). Let x = 20 + -14. Is d/6*12/x a prime number?
True
Suppose 61390 = -88*d + 98*d. Is d a composite number?
True
Suppose 207*q = 201*q + 13962. Is q prime?
False
Suppose -36 = -2*l - 42. Let v(p) = -411*p - 22. Is v(l) a composite number?
True
Let a = -1863 - -898. Let u = a + 1614. Is u a composite number?
True
Let t(j) = 5*j**2 + 140*j + 99. Is t(-32) a composite number?
False
Let y(o) = o**2 - 4*o + 5. Let n be y(3). Is 586/((-1 - n)/(-3)) a prime number?
False
Let h(s) = 178*s + 21. Is h(14) a prime number?
False
Suppose 2*o - 4*o = 2*d - 8, -d - 2*o + 3 = 0. Suppose -d*n - 5*v + 55 = 0, -5*v + 4 = 3*n - 23. Let k = 37 + n. Is k prime?
False
Suppose 4*m = -5*o + 4, 3*m - 4*o = 9 + 25. Suppose 0 = m*j - 13*j + 16877. Is j a composite number?
False
Suppose -u = 3*x + 14, 11*u - 8*u = 5*x + 42. Let h(q) = 17*q + 7. Let d(y) = -35*y - 14. Let b(k) = 4*d(k) + 7*h(k). Is b(x) a prime number?
False
Let s(a) = a**2 + 2*a - 2. Let m be s(2). Let f be (m/9)/(3/9). Suppose 409 = f*o - o. Is o composite?
False
Let w(q) = 167*q**3 + 2*q**2 - 2. Let l be w(1). Let t = 456 - l. Is t composite?
True
Suppose 0 = 36*u - 24*u - 235908. Is u a composite number?
True
Let y(z) = -z. Let o(k) = -k - 4. Let m be o(-5). Let u(d) = 2*d + 4. Let b(w) = m*u(w) - 5*y(w). Is b(13) prime?
False
Let q(v) be the third derivative of v**6/120 - 13*v**5/60 + 7*v**4/12 + 2*v**3 - 6*v**2. Let z be q(14). Suppose 1131 + z = 5*f. Is f prime?
True
Let u(x) = -x**3 - 5*x**2 + 33*x + 79. Is u(-12) composite?
False
Let g(o) = -o**3 + 11*o**2 - 2*o + 10. Suppose 3*p = -3*q - 2 + 17, 0 = 5*q + 2*p - 28. Is g(q) a composite number?
True
Let d(x) = -x**3 + 4*x**2 + 3*x + 8. Let r be d(5). Is (r/(-3))/(12/53334) a composite number?
False
Is (11 - 189/14)*74068/(-10) composite?
False
Let u be 1/3 - 21/9. Let x = u - -1. Let r(q) = -194*q - 3. Is r(x) prime?
True
Let t = 9 - -7. Let o(w) = w**3 - 17*w**2 + 15*w + 21. Let h be o(t). Is (-16)/40 + 972/h a prime number?
False
Let m be 1072/(-6)*12/(-8). Suppose 3*j + 2*u - m = 153, -2*u = -3*j + 413. Is j a composite number?
False
Let x(q) = 106*q**2 + 33*q - 23. Is x(20) a composite number?
False
Let m = 42 + -43. Is -4*(-154 - 4) + m prime?
True
Let w(t) = 5*t - 7. Let v(j) = -3*j**3 + j**2 - 3*j - 6. Let x(n) = 2*n**3 + 2*n + 3. Let i(a) = -3*v(a) - 5*x(a). Let b be i(-3). Is w(b) composite?
False
Is (33/(-6) - -6)/(6/249756) composite?
True
Let i(o) = 16*o - 14. Suppose -9*s + 6*s = -21. Let a be i(s). Is 2/(-7) + 14630/a a prime number?
True
Let g(f) = 34*f**2 - 3*f + 4. Let w be g(8). Let t = -1315 + w. Is t a composite number?
True
Suppose -5*r = -5*i + 35, -5*i - 2*r - 10 = 2*r. Is 8/(-16)*(i + -8)*11 a composite number?
True
Let g = -3 + 2. Let y(l) = -3*l. Let t be y(g). Suppose -2*a - b + 227 = 0, b + 550 = 2*a + t*a. Is a composite?
True
Let i be (-9)/2*(-12)/18. Suppose j - 7 = -2*t + 8, -10 = -i*t + j. Suppose a = -0*q - 4*q + 49, 0 = -q - t*a + 36. Is q a prime number?
True
Let z(c) = 11*c**2 - c - 1. Suppose 0*x - 5 = 4*r + 5*x, -10 = 3*r + 5*x. Suppose p + 14 = 3*t - 4*p, r*p - 4 = -3*t. Is z(t) composite?
True
Let d(c) = -120*c + 237. Is d(-19) a composite number?
True
Suppose f = -5*k + 39, 0 = -5*k + 2 + 13. Is ((-862)/(-4))/(12/f) prime?
True
Suppose 9*q = 4*q + 1675. Is q - ((3 - -1) + 0) a prime number?
True
Let k(n) = -n. Let l be k(-4). Suppose -a = -l*h - 2, 4*a = -0*a + h + 8. Is (a + -6)/2 + 381 a prime number?
True
Let t(g) = -g**3 + 10*g**2 + 24*g - 12. Is t(11) a prime number?
True
Suppose 3*j - 12 = 0, -3*k - j = -5*j - 137. Suppose -3*h = -k - 972. Is h a prime number?
False
Suppose -15*b = -5*b - 20. Suppose b*n = 2*k + 5392, 3*k + 2708 = n + 6*k. Is n a prime number?
True
Let i(w) = -7*w**3 + 6*w**2 + 4*w + 16. Is i(-13) composite?
True
Suppose 4*x = 5683 - 407. Is x a prime number?
True
Suppose -151*c = -163*c + 28692. Is c a composite number?
True
Suppose 0 = 7*c + 58144 - 19721. Is c/(-77) - (-4)/(-14) prime?
True
Suppose 4*f + 0*f + 16 = 0. Is (-2133)/f - 14/56 a prime number?
False
Suppose -16*k = 7*k - 78223. Is k a prime number?
False
Suppose -w = 2*g - 6644 - 2630, -3*g = 3*w - 13911. Is g prime?
True
Let x = -259 + 0. Let b = x + 494. Is b a prime number?
False
Let l(q) = -q**3 - 6*q**2 + 3*q - 11. Suppose -p + 5*o = 30, -2*p + 3*o - 8*o = 0. Is l(p) a prime number?
True
Let z = 15 - 62. Let a = z - -214. Is a a composite number?
False
Let s(u) = 945*u - 4. Is s(5) a composite number?
False
Let z be (-2 - -5) + 0 + 8. Suppose 0 = 6*u - z*u + 25. Suppose -465 = -u*f + 5*m, 3*m = f - 63 - 30. Is f a composite number?
True
Let c(m) = -m**2 - 18*m + 23. Let p be c(-19). Suppose p*q - 460 = -104. Is q a prime number?
True
Let d(v) = 40*v. Suppose 3*b + 4 = b. Let y be d(b). Let k = 119 + y. Is k a composite number?
True
Let y = 6246 + -4029. Is y a prime number?
False
Suppose -338*q + 351*q = 8827. Is q 