4 = -15*d + 10811. Is d composite?
True
Suppose p + 1612 + 1625 = o, 0 = 4*o + 3*p - 12934. Is o a prime number?
False
Let i(k) = 6*k**2 - 13*k + 3. Let r be i(-7). Let l = 637 - r. Is l composite?
True
Suppose -2*v - 3*z = -5*v + 30, -v - 3*z = 2. Suppose 9*f - 158 = v*f. Is f a composite number?
False
Let n(q) = 82*q**2 + 1. Let r be n(4). Let t(f) = -4*f**2 - 10*f + 48. Let c be t(-16). Let p = c + r. Is p a composite number?
True
Let p = -1932 - -1172. Let l = p - -3155. Is l composite?
True
Suppose -5*c = n - 1444 - 688, -4*n + 860 = 2*c. Let q = 575 + -276. Let u = c - q. Is u a prime number?
True
Suppose -4*s - 18 = -2*w, -2*w + s = -2*s - 15. Let m be w/(-9) + (-7480)/15. Let p = -237 - m. Is p a composite number?
True
Let v be 1/4 + (-3838)/(-8). Suppose -7*r + v = -5*r. Suppose -r = -5*g - 3*s, -29 = -2*g - 4*s + 53. Is g composite?
True
Let y = 6039 + -3586. Is y a composite number?
True
Let w = 105 + -156. Is (-17)/w + (-43414)/(-6) + 1 a prime number?
True
Let c be (15/(-20))/(3/1500). Let i = 4 - c. Is i composite?
False
Let u = -1235 - -1320. Is u a composite number?
True
Let o = 40 - 44. Is (-1970)/(-6) - o/6 a prime number?
False
Let k(s) = 2742*s - 12. Let g be k(3). Is (g/(-9))/(1 + 5/(-3)) a composite number?
True
Let v(f) = 379*f**2 + 8*f - 61. Is v(6) a composite number?
True
Let v be -4*6*(-21)/9. Let l = 141 - v. Suppose 3*g + 3*d - 174 = 0, -l = -3*g + 4*d + 68. Is g prime?
False
Let x(k) = -22*k + 33. Let c be x(-23). Let v = c + 492. Is v a prime number?
True
Let b = 1695 + -1572. Is b a composite number?
True
Suppose -4*k = -2*h - 12, -12 = -h + k - 5*k. Suppose -l = -h - 2. Is l/4 + (-14)/(-4) prime?
False
Is (-1 - -1*11146) + 10 + -6 prime?
True
Let c(t) = 155*t**2 - 19*t + 45. Is c(7) composite?
False
Let q(f) be the second derivative of f + 1/2*f**4 + 0 + 3/2*f**3 + 1/2*f**2. Is q(-10) a prime number?
False
Let j(a) = -2*a - 16. Let l be j(-11). Let n(y) = -l*y**2 + 5*y**2 + 2*y**2 + y - 13. Is n(8) composite?
False
Let v be 2/(-4)*4 - 7. Let l be (30/(-9))/(6/v). Suppose 5*z + 3*y = z + 356, z + l*y - 89 = 0. Is z composite?
False
Is ((-58)/4)/((-71)/52114) a prime number?
False
Suppose 3*x = 2*y - 35, -8 = y + 4*x + 2. Is y/(-35) - 14223/(-21) a composite number?
False
Let m(r) = 36*r - 61. Let k(p) = 4*p**2 + 2. Let q be k(-2). Is m(q) a prime number?
True
Let o = -12948 - -20069. Is o a composite number?
False
Let d(n) = -n**2 - 8*n + 13. Let c be d(-9). Let g be 437 + (5 - (c - 1)). Suppose 6*m = -5*f + 2*m + g, -350 = -4*f - 2*m. Is f a composite number?
True
Suppose -h = -g + 6*g - 7, 0 = -2*g - 3*h - 5. Let x be (15/6 - g)*-10. Let o(y) = -136*y - 3. Is o(x) prime?
True
Suppose 0 = -4*b + 2*h - 2, 5*b - 10 = 3*h + 2*h. Let s(d) = -8*d + 8. Let l be s(b). Suppose -4*t - 3*i + l = -3*t, 144 = 4*t + 4*i. Is t a prime number?
False
Let c(l) = 9*l**2 + 11*l + 8. Let a be c(-8). Suppose -5*f + 3*o - 1444 = 0, -3*f - 2*o + 7*o = 860. Let r = f + a. Is r composite?
True
Suppose 0 = -3*o + 5542 + 515. Is o a prime number?
False
Let a = -70970 - -108144. Is a a composite number?
True
Let u = -65 - -99. Suppose -2*s + 19 = y, 2*s - 23 - u = -3*y. Is y a prime number?
True
Suppose -a + 9891 = 2*y, 2*y = a - 2*y - 9921. Is a a prime number?
True
Let v be (-3)/(63/(-70)) + (-1)/3. Suppose -5*l + 6167 = 3*j, -v*l - 8242 = -4*j - 0*j. Is j a composite number?
True
Let p(t) = 5*t**3 - 14*t**2 - 19*t - 1. Is p(11) a composite number?
False
Let y(l) = -2*l**2 - l. Let m be y(-2). Let w = m + 11. Suppose -w*r + 272 + 533 = 0. Is r composite?
True
Let l = 4 + 1. Suppose -455 = -l*i - 30. Is i a composite number?
True
Let s be ((-4 - -3)*1*-8)/2. Suppose -3*h - 5*l + 1426 = 0, -s*h + 2000 = -5*l + 157. Is h composite?
False
Suppose 15*h - 5751 = 4434. Suppose m - 2*m = -h. Is m composite?
True
Let u(n) be the second derivative of -n**4/12 + 7*n**3/3 - 19*n**2/2 + 7*n. Let x be u(13). Is 295*(x/(-10))/3 prime?
True
Suppose 3*z = 12, 9523 = -0*j + 3*j - 5*z. Is j composite?
False
Let d be ((2184/(-35))/6)/(2/10). Let m = d + 914. Is m prime?
False
Let w(k) = k**3 + 8*k**2 + 9*k + 17. Let u be w(-7). Suppose 0 = 3*c - m - 1627, 3*c - 5*m + u*m - 1631 = 0. Is c a prime number?
True
Suppose 0 = -d - 3*a + 14, -2*a + 10 = 3*d - a. Suppose 0 = -2*z + 3*i + 961, 3*i = -d*z + 1048 - 105. Suppose -2*o - 157 = -n - 0*n, -3*n + z = -o. Is n prime?
False
Suppose -2*q - 3009 = -5*q. Suppose q + 111 = 2*c. Is c a composite number?
False
Suppose 2*q - q = -5*x + 9411, 3*q - 5649 = -3*x. Is x a prime number?
False
Let p(l) = 4*l**3 - l**2 - 6*l + 2. Let q be p(4). Suppose -5*j + q = -x, 2*j - 2*x - 92 = -0*j. Suppose 73 + j = 2*n. Is n prime?
False
Let v be (-1)/8 + 2846/(-16). Let c = v + 293. Is c prime?
False
Let y(s) = -347*s - 3. Let m be y(6). Is (1 - (-4)/(-3))*m a composite number?
True
Suppose -3*s - 2*l + 13 + 38 = 0, -4*l + 12 = 0. Suppose -3*g + s*g = 16764. Is g a prime number?
False
Let s = 412 + -1083. Let g = s - -1142. Is g composite?
True
Suppose 3*w = 11 + 4. Suppose 4*t + 0*t - 344 = 4*a, 0 = -w*a - 15. Is 1/((-1)/t*-1) a composite number?
False
Suppose 4*z = 340 + 1188. Suppose 7*v - 5*v = z. Is v a composite number?
False
Let l = -9440 + 14517. Is l composite?
False
Is 1692179/258 - 1/12*-2 a prime number?
False
Let x(g) = 153*g - 394. Is x(5) a prime number?
False
Suppose -6923 - 281 = -4*t. Is t composite?
False
Let t(v) = 149*v + 45. Let q(h) = -298*h - 90. Let p(s) = 4*q(s) + 9*t(s). Is p(4) composite?
False
Let p(n) be the second derivative of -17*n**3/3 - 9*n**2/2 + 14*n - 2. Suppose -13 = 2*u - 3*m, -4*m + 50 = -2*u - 3*u. Is p(u) a composite number?
False
Let d(s) be the second derivative of -s**5/20 - s**4/12 + 2*s**3/3 + s**2/2 - 7*s. Let q be d(-5). Suppose j - 62 = q. Is j a prime number?
False
Let l = -15 - -11. Suppose 100 = -7*w + 5*w. Is l/10 + (-2570)/w composite?
True
Suppose 4*c + 3*w = -0*w + 2006, -2*w = c - 499. Let p = c - 145. Is p a composite number?
True
Let l be (-2)/(-1) + 0/(-1). Suppose l*u = -5*z + 86, u + 0*u = -3*z + 41. Suppose m - u = 32. Is m a composite number?
True
Let i = -13 + 15. Suppose 2*v - i = f, -f - 4 = -4*v - 0. Is 113 - f - -2 - -4 a prime number?
False
Let g(y) = 7*y**3 - 9*y + 1. Is g(6) prime?
True
Is (-17229)/(-9) + (-3)/((-36)/8) composite?
True
Let n = -46 - -52. Let g(j) = 88*j + 13. Is g(n) a prime number?
True
Let t(j) be the first derivative of -j**3/3 - 5*j**2 - 9*j + 1. Let d be t(-7). Is -1*d/(-3) - -53 a composite number?
True
Suppose -2 = -7*k + 6*k. Let j be 1/(k/(-8)*2). Is (764/j)/(-3 + 1) composite?
False
Let s(t) = -t**3 - 13*t**2 - 12*t. Let m be s(-12). Suppose m = 3*w - 2*k - 2*k - 136, 0 = -3*w + 2*k + 146. Suppose -5*x + 123 = -w. Is x a prime number?
False
Let m = -4 + 7. Let x(b) = b + 6. Let w be x(-2). Suppose w*q + 34 - 238 = 4*r, m*q + r - 161 = 0. Is q a prime number?
True
Let q be (-4)/(-18) + (-620)/279. Let y(i) = 402*i**2 - 8*i - 3. Is y(q) prime?
True
Let q = 64 - 122. Suppose 5*z + 7*j - 116 = 3*j, 0 = -z - 2*j + 28. Is (q/(-5))/(4/z) a prime number?
False
Let n = -4494 + 9754. Suppose -9*p + n = p. Is p prime?
False
Let b(t) = 364*t + 47. Is b(25) composite?
True
Suppose -7 = -o + 5*b, -o = 3*o - 4*b - 12. Suppose -g + 611 = o*y, 5*y - 1926 = 5*g - 376. Is y a composite number?
False
Suppose -n - 2*m + 427 = 0, 0*n + 407 = n - 2*m. Suppose 3*o = -4*y + 556, 3*y + o = -2*o + n. Is y a prime number?
True
Suppose -2*y + 1118 = -100. Suppose -4*w = -4*x + 371 + y, -w + 253 = x. Is x a composite number?
True
Let y be -9*2*22/(-6). Suppose 77 = s + g - y, 0 = -3*s + 5*g + 429. Is s composite?
True
Suppose -2*a + 133 = -a. Let q be a/14*2*19. Let i = -216 + q. Is i a composite number?
True
Let m(g) = -171*g**3 + 2*g**2 + 17*g + 35. Is m(-3) prime?
False
Is 46/(((-4)/485)/(2/(-5))) a composite number?
True
Is 21/(-2)*2344/(-12) composite?
True
Let h = -19 - -18. Is 2 + 1 - 2*(-15 + h) composite?
True
Let u(k) = -k**3 + 14*k**2 - k + 15. Let s be u(14). Suppose v = 70 - s. Is v composite?
True
Let h be 2/6*5*(5 - 2). Suppose -3*f = h*o - 5758, -2*o + f + 2299 = -2*f. Is o composite?
False
Is 3612 + -3 + -7 + 5 prime?
True
Let a = -37579 - -58500. Is a a prime number?
True
Let m be (210/(-18))/(2/(-30)). Suppose -o + m = -53. Let t = -125 