t = -3*o - o + 8. Suppose 4*h - 4619 = t*m, h + 8*m = 3*m + 1126. Is h a prime number?
True
Let x(a) = -8*a + 149. Is x(-18) a prime number?
True
Let r = -5955 + 14734. Is r a composite number?
False
Suppose -2*o + 16888 = 2*o. Is o a composite number?
True
Let y = -1253 - -751. Let a = 858 + y. Suppose -p - 2*o - a = -5*p, 8 = -2*o. Is p composite?
True
Suppose 3*o = -o + 116. Let r = o + -15. Let i(t) = 5*t - 11. Is i(r) prime?
True
Let u(a) be the first derivative of 411*a**2 + a - 5. Let q be u(1). Let b = q - 36. Is b composite?
False
Suppose -5*a - 7 - 13 = 0, 4*l + 3*a = 632. Is l a composite number?
True
Let h(l) = l**2 - 18*l - 33. Let a be h(15). Let j = 81 - a. Is j prime?
False
Let l be 0 + 1 + -3 + 63. Suppose 4*d - 1378 = -2*w, 7*d - w - 1726 = 2*d. Suppose -m = 3*k - l, -3*m + 8*m - d = 5*k. Is m prime?
True
Let k be (-114)/8 - (-11)/44. Let l be (-10)/(-35) + (-4098)/k. Suppose 4*c - l = 3*c. Is c a composite number?
False
Let i(w) be the second derivative of 5*w**4/12 + w**3/6 + 7*w**2/2 - 21*w. Is i(-8) a composite number?
True
Let n = 15784 + 19674. Is n a prime number?
False
Suppose -7*u + 3*u + 8 = 0. Suppose -8*a + 2010 = -u*a. Is a a prime number?
False
Suppose 25*x - 5264 - 12386 = 0. Is x prime?
False
Let l(d) = -790*d + 15. Let g be l(6). Let u = -411 - g. Suppose -u = j - 7*j. Is j composite?
False
Let k = 48 + 47. Is -4 - (3 + -4*k) a composite number?
False
Let s(u) = u**2 + 8*u + 10. Let v be -6 - 3/12*4. Let i be s(v). Suppose -421 = -2*z - g + 226, -2*g = -i*z + 988. Is z a prime number?
False
Let g = 46 - 31. Let c be (9/g)/(1/(-5)). Is (c - 140/4)*-1 composite?
True
Let n(t) = -40*t**2 + t + 26. Let f be n(6). Let u = -215 - f. Is u prime?
True
Let o = 6461 - 2914. Is o a composite number?
False
Let m(x) = 11*x**3 + 2*x - 1. Let z = 7 + -6. Let g = 1 + z. Is m(g) composite?
True
Let i = -2980 + 8922. Is i composite?
True
Suppose 4760 = 15*o - 5170. Is o a composite number?
True
Let c be ((-126)/70)/(6/(-10)). Suppose -c*s + 143 = s + 5*p, 5*s - 187 = 2*p. Is s composite?
False
Let d(p) = -330*p + 1171. Is d(-62) a composite number?
True
Let f = 3848 + -877. Is f prime?
True
Suppose u + 3*c = 8704, 2*u + u - 2*c - 26057 = 0. Suppose -2*j + 3463 = -5*z, -z = 5*j - 3*z - u. Is j a composite number?
True
Suppose 5*w = -t + 18, -w + 90 = 2*t + 3*t. Suppose 5*f - t = 17. Suppose f*s + 1868 = 11*s. Is s prime?
True
Suppose t + 24 = -4*v - 56, 3*v = -t - 60. Let z = v - -25. Suppose u - z*u + 5*b + 2187 = 0, -4*u + 2217 = b. Is u composite?
True
Suppose 0 = -5*k + 23 + 27. Suppose 8*x = k*x + 6. Is (31/(-3))/(1/x) a prime number?
True
Let p be (-8)/(-12)*3*(-311)/(-2). Suppose 0 = a + 2*v + 141, -4*v = -5*a - 2*v - 729. Let f = a + p. Is f prime?
False
Let s = 36 + -33. Suppose s*l - 2*l - 1361 = 0. Is l composite?
False
Let i = 3975 - -2798. Is i prime?
False
Let g(l) = 23*l**2 - 5*l + 6. Let f be g(-6). Suppose m - y = f, 3*m = -0*m - 2*y + 2617. Is m prime?
False
Suppose 12*z - 158555 = 1052617. Is z prime?
True
Suppose -4*f + 8 = -2*f, 5*u + 3*f - 3982 = 0. Suppose -4*s + u = 2*h, 2*h - 4*h + 2*s = -788. Is h prime?
False
Suppose 0 = -2*m, -11596 = -4*b - 0*b - 4*m. Is b a composite number?
True
Let d(k) = 9*k**2 + 21*k - 41. Is d(12) prime?
False
Suppose c - 4 = 0, 0 = 4*i + c + 12 - 36. Suppose -5*v + i*o + 2469 + 4031 = 0, 4*o - 6473 = -5*v. Is v prime?
True
Let n = 258 + 68. Let f = 633 - n. Is f a composite number?
False
Let c(q) = q. Let l(k) = -184*k**2 + 6*k + 1. Suppose r = 2*r - 3*i + 4, 2*r = i - 3. Let n(x) = r*l(x) + 6*c(x). Is n(-1) prime?
False
Let l(m) = 6*m - 14. Let t be l(4). Suppose -t*n + 1594 = -8*n. Is n a composite number?
False
Suppose -61*q - 20 = -66*q. Suppose 2*y - 9330 = -q*j, -2*y - 236 = -2*j + 4432. Is j a prime number?
True
Let l be 103734/119 + 2/7. Suppose -l - 168 = -a. Suppose m - a - 129 = 0. Is m a prime number?
False
Let o(r) = r**2 - 6*r + 3. Let n = -1 - -7. Let z be o(n). Suppose z*v - 100 = -w, -4*v - 63 = 3*w - 358. Is w composite?
False
Let j = 3501 - -3458. Is j composite?
False
Is (-3 - -1)*-2*129811/44 prime?
True
Let m = 3859 + -1680. Is m a prime number?
True
Let b = 3460 + 2413. Is b prime?
False
Let x(k) = 3*k**2 + 4*k + 3. Let i be x(-2). Suppose -i*c = -2*c + 4*b + 18, -c - 4*b - 10 = 0. Let p(s) = -5*s**3 - 2*s**2 - 4*s - 3. Is p(c) a prime number?
True
Let m(f) = f + 1. Let s be m(3). Let k be (-2*s)/((-4)/2). Is -2*(-1 + (-102)/k) prime?
True
Suppose -5 = -x - 3. Suppose -x*g = -216 - 250. Is g a prime number?
True
Let b = -12 - -13. Let l(u) = -18*u**3 + u - 1. Let i be l(b). Let v = 49 + i. Is v composite?
False
Let v(n) be the first derivative of -3*n**2 + 5/3*n**3 + 8*n - 2. Is v(7) a composite number?
False
Suppose -q + 2 - 4 = 0. Let l be 105/q*4/(-6). Is 1778/l*(-5)/(-2) a prime number?
True
Let z = 6672 + -3749. Is z a composite number?
True
Suppose -2*u + 11 = j + u, -3*j + u = -3. Suppose -j*r - r - 78 = 0. Let t = 101 - r. Is t composite?
False
Let f(z) = -64*z - 11. Let m(j) be the third derivative of j**6/120 - j**5/15 - j**4/4 - 7*j**3/6 + 6*j**2. Let b be m(5). Is f(b) prime?
True
Suppose -4*y - 3*g + 51 = 0, -3*g = -0*y + y - 15. Suppose -y*p = -11*p - 669. Is p a composite number?
True
Let v(g) be the third derivative of -g**6/120 + g**5/10 + g**4/12 - 5*g**3/3 - 6*g**2. Let j be v(7). Let w = 132 + j. Is w composite?
True
Let q = -648 - -968. Suppose 3*m = m - a + q, 5*a = m - 138. Is m composite?
True
Suppose 30 = 4*s - 3*h, 0 = -s - 2*s - 4*h + 10. Let k be 12/(-9)*s/(-4). Suppose -k*o + 0*o = -1262. Is o prime?
True
Let y = 870 + -497. Is y a prime number?
True
Let l be (-1149)/(-15) - 12/20. Let g be (3/2)/(1/l). Suppose g = v - 87. Is v a composite number?
True
Let f be ((-1)/3)/(2/(-24)). Suppose -f*v - 6 = -14. Suppose -v*j + 66 = 3*y, 2*j = 5*y + 33 + 33. Is j a composite number?
True
Let i(h) be the second derivative of h**4/12 + 5*h**3/6 - h**2/2 - 2*h. Let t be i(-6). Suppose -139 - 106 = -t*q. Is q a prime number?
False
Suppose -3*w = -0*n + 2*n + 47, 1 = -n. Is (-3142)/(-10) - (-3)/w a prime number?
False
Suppose 0 = l + k - 17470 + 5107, -5*k - 20 = 0. Is l composite?
True
Let t(d) = -601*d - 5. Let s(r) = 1202*r + 11. Let x(n) = -6*s(n) - 13*t(n). Let u be x(-1). Let j = -271 - u. Is j a composite number?
False
Suppose -6*k = -9*k - 3*v + 29013, 0 = 3*v - 12. Is k a prime number?
False
Suppose 25*a = 20*a + 28685. Is a composite?
False
Suppose 5*i = 3*j - 14832, 0*j = 3*j + 3*i - 14808. Is j prime?
False
Let y(g) = 48*g**2 - 11*g - 1. Is y(6) prime?
False
Let n(m) = 5*m + 11. Let w(d) = 9*d + 21. Let r(u) = -11*n(u) + 6*w(u). Let b be r(0). Suppose 2*z - 210 = -j, -z - 4*z + b*j = -495. Is z composite?
False
Is (15 + -10)*(-32666)/(-5) a composite number?
True
Let z(a) = a**3 + 11*a**2 - 11*a + 16. Let x be z(-12). Suppose 0*h - 2*h = -x*m - 16, -h = 2*m. Is (37/m)/((-3)/6) a composite number?
False
Let f(n) = 21*n**2 + 14*n - 2. Let t(x) = 10*x**2 + 7*x - 1. Let y(d) = 4*f(d) - 9*t(d). Let g(v) be the first derivative of y(v). Is g(-5) a composite number?
False
Let h = -18 - -23. Suppose 4*w + 744 = h*w. Let d = -415 + w. Is d prime?
False
Let i(s) = s**3 - 10*s**2 + 8*s + 10. Let f be i(9). Let p(j) = 56*j**3 + j**2 + 2*j - 2. Let y be p(f). Suppose -d + y = -56. Is d a composite number?
False
Let s be (873/(-4))/((45/40)/3). Let p = s + 4423. Is p composite?
True
Let q = -58162 + 128421. Is q a prime number?
False
Suppose 5*c + 5*r = -1505, 3*c - 2*r + 903 = -4*r. Let g = c - -1838. Is g a composite number?
True
Let m(v) = -1805*v + 31. Is m(-14) a prime number?
True
Let c = -20098 + 45537. Is c prime?
True
Let j(y) = 5 + 7*y - 11*y**2 + 13*y**2 - 7 - 11. Is j(4) a prime number?
True
Let v be 6 + -2 + 675/3. Let n = v - 140. Is n prime?
True
Let v be (-8169)/(-1) - (-6 + 9). Suppose 11*a = 5*a + v. Is a composite?
False
Suppose -4 = -4*o + h, -4*h - h + 10 = -5*o. Suppose -4*k = -o*k + 5*v - 95, -2*v + 166 = 4*k. Suppose 2*g - 12 = 5*u, -4*g + 4*u - 2*u + k = 0. Is g composite?
False
Let l be 42/4*84/18. Suppose -o = -4*o + 21. Suppose r - l = -4*i, -r + 33 = i - o. Is r composite?
False
Suppose -9*i + 9178 = -12485. Is i a prime number?
False
Suppose -21*c = -2*c + c. Let r = 1 + -1. Suppose c*g - 3*g - 12 = r, -99