 = d + u. Is d a composite number?
True
Let u(o) = 14*o + 13. Is u(6) composite?
False
Let g(p) = -2*p + 3. Suppose 3*v + 3*x - 42 = 0, -x - 16 = v - 6*x. Suppose r + v = -2*w, 5*w + 4*r - 3 = -30. Is g(w) composite?
True
Let g(y) = y**2 - 6*y - 7. Let x be g(7). Let l(h) be the second derivative of h**4/12 + 47*h**2/2 - 2*h. Is l(x) prime?
True
Let h(a) = -a**2 + a + 6. Let k(u) = -u. Let w(d) = -h(d) - 4*k(d). Let m be w(-5). Is 2*(1 + -2) + m a composite number?
False
Suppose -r - 5*l - 2 = -0*r, 4*l = 0. Let q = r + 10. Suppose 0 = 5*g - 62 - q. Is g a prime number?
False
Suppose -2*k = 3*k. Is k + 43*-1*-1 prime?
True
Let t = 944 + -627. Is t composite?
False
Let z(f) = 5*f - 7. Let i be z(-7). Let d = -18 - i. Is 4/6 + 3032/d a composite number?
False
Suppose 5*i + 290 = 5*a, 3*a - 4*i + 46 = 215. Suppose -a = r - 4*r. Is r a composite number?
True
Let k = 3 + -3. Let r = 3 - k. Suppose r*m - 19 = 38. Is m prime?
True
Let q = -10 - -12. Suppose -12 = -4*o + q*o. Is o a composite number?
True
Suppose 5*h = 1043 - 383. Suppose 5*k + h = 2*k. Let g = -19 - k. Is g a prime number?
False
Let x(z) = 29*z**2 + 2*z + 3. Let a be x(-2). Suppose -2*b = -7*b + a. Is b a composite number?
False
Let p(k) = -47*k + 15 + 1 - 8. Is p(-3) a composite number?
False
Let p(w) = -w**2 + 6*w. Let a be p(6). Let b be a + (-2 + 1)*1. Is b/(3/57*-1) composite?
False
Suppose 3*n - 3339 = 12570. Is n prime?
True
Let g = -8 + 14. Let m(x) = x**2 + 7. Is m(g) a composite number?
False
Let o be 0 + 2 + (2 - 154). Let s = o + 229. Is s prime?
True
Is (0 + 1)/(3/3819) a composite number?
True
Suppose -3*o - 2*o + 2*i = 113, -4*o - 90 = -2*i. Let r = 11 - o. Is r a prime number?
False
Let v(w) = -86*w - 1. Let d be v(1). Let q = -32 - d. Is q prime?
False
Let s(w) = -w**3 - 9*w**2 + 9*w + 6. Let q be s(-10). Is -2 - q*-1*16 a prime number?
False
Let t(v) = 143*v + 2. Is t(1) a prime number?
False
Suppose -4*c - 1153 - 527 = 0. Let q = c - -755. Is q a composite number?
True
Let i(b) = 58*b + 3. Let w be i(4). Suppose -2*c = 4*r - 7*c - w, r = 2*c + 55. Is r a composite number?
True
Let a be (7 + -18)/(1 - 0). Is 1 + 21 - (a + 12) a composite number?
True
Let j(i) = 3*i**2 - 12*i + 1. Let s be j(8). Let t = s - 56. Suppose -k - 88 = -5*k - x, -k = 5*x - t. Is k a composite number?
True
Let w(a) = -2*a - 4*a**2 + 2*a**3 + 8*a - 6 - 2*a**2. Let n be w(5). Suppose -g = 3*g - n. Is g a prime number?
True
Let j = -39 + 58. Is j a composite number?
False
Let j = 78 + -41. Is j - (-3)/9*0 composite?
False
Let g = -2 - -5. Suppose -g*m - t + 115 = 0, -3*t + 3 = -9. Is m composite?
False
Suppose u + 0 + 5 = 0, -i - 5*u = 22. Is 178/i + 1/(-3) a prime number?
True
Let r(s) be the second derivative of s**5/5 + s**4/12 - s**3/3 + 3*s**2/2 - s. Let q(w) = w**3 + 7*w**2 + 5*w - 4. Let m be q(-6). Is r(m) composite?
True
Suppose -776 = 5*b - 8311. Is b a prime number?
False
Let p = 24 + -20. Suppose p*j - 9*j = -515. Is j a composite number?
False
Let h(x) = -x + 15. Let p be h(8). Suppose -19 + p = -2*g. Is g a prime number?
False
Let f(b) = 79*b**3 - b + 1. Is f(1) a composite number?
False
Suppose -4*i - c - 330 = -31, -4*c - 284 = 4*i. Is (-2)/(i/37 + 2) a prime number?
True
Let q be (24/(-9))/((-2)/3). Suppose 3*k - 2*t - 1107 = -340, q*k + 4*t - 1036 = 0. Is k composite?
False
Let d = 863 - 3508. Is (-4)/(-18) + d/(-45) a prime number?
True
Suppose 2*a + 5*t + 48 = -41, -5*a = -3*t + 207. Let c = 100 + a. Is c a composite number?
True
Let y(m) = -m**3 - 11*m**2 + 22*m + 43. Is y(-19) prime?
False
Suppose -2*y = -y + 5*a + 34, 2*a + 19 = -y. Let t be 3 + (y/(-3) - 0). Is (2 - 1)/(t/348) a prime number?
False
Suppose -2*k + 427 = 45. Is k a prime number?
True
Suppose 5*n + 0*n = 1005. Is n a composite number?
True
Suppose 2*w = 5*l + 3*w - 345, 2*w = -l + 60. Suppose 3*o + 52 = 2*f - l, -181 = -3*f + 4*o. Is f prime?
False
Suppose x - 532 = -4*c, 0*x + 2*x = -4*c + 1056. Suppose 3*m = 337 + x. Is m composite?
True
Let t be 404 - (-2 - -2)/(-1). Suppose 5*d - t = 161. Is d composite?
False
Let j(w) = -18*w - 5. Is j(-8) prime?
True
Suppose 0 - 2 = -b. Suppose -b*v = 2 - 6. Is 35 - (0 - (0 + v)) a composite number?
False
Suppose 2*m + 4*h = 128, 4*m - 2*h = -h + 211. Suppose 4*c + 2*f - 444 = 0, -c + 47 = -2*f - m. Is c composite?
False
Let h = -194 + 407. Is h prime?
False
Suppose 5*i + 0*i = q + 8, -3*i - 5 = -2*q. Is q a composite number?
False
Suppose 3*r - 384 = -7*x + 4*x, 0 = -5*r + 2*x + 661. Is r composite?
False
Let v(r) = 3*r**2 + 2*r + 2. Let m be v(-2). Let u(t) = t - 10. Let p be u(m). Suppose 5*a - 3*f - 629 = 0, p = -4*a - a - 4*f + 643. Is a composite?
False
Let c be (-99)/(-21) + 2/7. Let r(s) = s + c*s**2 + 1 + 3*s - 5*s. Is r(2) a composite number?
False
Suppose r - n + 16 = 0, 3*r - 75 = 8*r - 4*n. Let o = r + 22. Let w = o + 14. Is w prime?
False
Let q = 51 + -2. Is q a composite number?
True
Suppose 0 = -3*r - 54 + 1098. Suppose -2*a + 699 = a. Let t = r - a. Is t a composite number?
True
Suppose -4*v - 12 = 4*h, 5*v - 2*v - 5*h - 31 = 0. Suppose -w + v + 1 = 0, 3*s = 2*w. Is s composite?
False
Let j = 64 - 27. Let g = j - -30. Is g prime?
True
Suppose -12 - 6 = -3*b. Suppose -v = -b*v + 1535. Is v a prime number?
True
Suppose -2*c = 3*d - 5, 4*d - 40 = d + 5*c. Suppose -f - f + 448 = -d*g, 5*f = -5*g + 1190. Suppose 4*b - f = -22. Is b prime?
True
Suppose -q - 3*f + 0*f = -22, -2*f + 38 = 4*q. Let z(a) = a**3 + 5 - 5*a**2 - a + 2*a**2 - 3*a**2. Is z(q) a prime number?
True
Let a be (-1)/((10/8)/(-5)). Suppose u + 5*o - 16 = 0, -a*u + 5 + 91 = 4*o. Suppose v = 5 + u. Is v composite?
False
Let z = -4 + -8. Let f be (20/15)/(2/z). Is ((-37)/(-4))/((-2)/f) a composite number?
False
Let m = -4 + 6. Suppose 0 = 3*x + 4*p + 13, -4*x + 6*x = -p - 2. Let l = m + x. Is l prime?
True
Suppose -4*z + 8386 = 5*n, 9*n - 4*n - 4188 = -2*z. Is z composite?
False
Let k = -5 + 3. Let p(d) = 7*d**2 + 3*d + 1. Is p(k) a prime number?
True
Let c = -880 - -4415. Suppose -c = -2*p - 3*p. Is p prime?
False
Let z(f) = f + 103. Let u be 0 + 0 - (5 - 5). Is z(u) a composite number?
False
Let r = -18 + 2. Let h = r + 10. Is (-30)/4*28/h composite?
True
Suppose 3*j = -m - 61, -7 - 3 = -2*m. Is (-2863)/(-5) - j/55 composite?
True
Is 114/27*-3*222/(-4) composite?
True
Is -1 - ((-4)/(-2))/(3/(-7158)) composite?
True
Suppose 0 = -f - 5*v + 505 + 291, -3*v + 2352 = 3*f. Is f composite?
True
Suppose -2*r = 3*r. Suppose -i + 4*q + 1 - 16 = r, 0 = 5*i + 4*q + 3. Let y(o) = -o**3 - 2*o**2. Is y(i) a composite number?
True
Suppose -l + 27 = -7. Suppose -2*d + l + 50 = 0. Let g = -17 + d. Is g composite?
True
Suppose 5*x - 4*w = -3*w + 9, 0 = 5*x + 4*w + 11. Suppose -3*o = c - 30, -x + 11 = o - 5*c. Is (-13)/((4/(-2))/o) a prime number?
False
Let g(o) = -29*o + 28. Is g(-17) a composite number?
False
Let w(m) = 9*m**2 + 3 - 4 - 31*m + 32*m. Is w(-3) prime?
False
Let n = -661 + 1212. Suppose -n = -4*w + 25. Let y = 19 + w. Is y a prime number?
True
Let o be (-10)/45 + 2/9. Suppose -325 = -o*m - 5*m. Is m composite?
True
Let v(u) = -u**2 - u + 4. Let f be v(-2). Suppose -f*n + 560 = 206. Is n composite?
True
Let i(c) = -48*c - 14. Let g(n) = 16*n + 5. Let f(u) = -11*g(u) - 4*i(u). Is f(4) composite?
True
Suppose -m + 4*c = -2*m + 6445, -4*c = -2*m + 12842. Is m a composite number?
True
Let m = 3859 + -2453. Suppose -t - m = -3*f, -2*f - 210 = -t - 1147. Is f a prime number?
False
Suppose 0 = -4*i - 5*q - 508, -i = -3*q - 2*q + 127. Let k = i - -338. Is k composite?
False
Let x be -6*(1 - (-10)/(-6)). Suppose -345 - 155 = -x*v - 4*u, -2*v = 3*u - 254. Is v a composite number?
True
Let r(a) = -11*a + 4 + 13*a + a**2 - 3. Suppose i + 2 = -4. Is r(i) a composite number?
True
Suppose -4*h - 2*h + 1578 = 0. Is h a composite number?
False
Let w = 0 - 0. Is 5*18 - (-1 + w) composite?
True
Suppose 16 = g - 3*g + 5*x, 5*g + x - 14 = 0. Is 2/(-4*g/(-124)) a prime number?
True
Is 3*7*70/42 composite?
True
Let l = 0 - -1. Let f = 12 - l. Is f prime?
True
Let t(x) = 4*x**3 - 3*x**2 - x - 1. Suppose 0 = 2*s - 4*s + j + 8, 5*s - 2*j - 19 = 0. Is t(s) a composite number?
True
Suppose -4*m + 182 + 467 = f, 0 = 3*f + 9. Is m composite?
False
Let y(p) = -12*p - 6 - p - 2. Is y(-7) a composite number?
False
Suppose -5