((-8)/j) a composite number?
True
Let g = 73 + -36. Let t = -50 + 1315. Suppose -t = -g*p + 32*p. Is p a composite number?
True
Let q = -9 - -9. Suppose q = 3*d + 2 + 7, 0 = 3*z - d - 12. Suppose z*j + 526 = 5*j. Is j a composite number?
False
Is (-2)/5*(2108070/(-12) + -5) a prime number?
True
Suppose -3*d = -2*d - 2257. Is d a prime number?
False
Let h(i) = 292*i - 12. Let z(r) = 292*r - 13. Let b(p) = -4*h(p) + 3*z(p). Let q be b(-3). Suppose -4*w + 3*m = -q + 305, -w = 3*m - 145. Is w prime?
False
Suppose -3*i + 3323 - 398 = 3*q, 4*q + 3*i = 3902. Is q prime?
True
Let c = 13 - 33. Let s = c - -37. Suppose -a = -22 - s. Is a a prime number?
False
Let m(r) = r**3 + 7*r**2 + 2. Let x be m(-7). Let t(g) = -2*g + 7 + 5*g**x - 4*g + 5*g - 3*g**2. Is t(-4) composite?
False
Suppose -16 = 2*t - 4*q, -3*t = 2*t + 3*q - 12. Suppose x - 10 = -p, -5*x = 3*p - t*p - 40. Let j(c) = 4*c**2 - 4*c - 3. Is j(x) a prime number?
False
Let m(a) = 4*a**2 - 4*a - 4. Let n be m(2). Suppose 0 = -3*l + n*l - 979. Is l a composite number?
True
Suppose z = -3*o + 9, o = 5*z + 5*o - 23. Is z + 24065/45 + 4/18 a prime number?
False
Let h(y) = 6*y - 15. Let x be h(3). Suppose -x*k - 764 = -5*k. Is k composite?
True
Let b(q) = -175*q - 30. Let h(u) = 2*u - 19. Let o be h(6). Is b(o) composite?
True
Let m be ((-72)/(-54))/((-2)/(-36)). Is 10662/(-4)*((-160)/m - -6) a prime number?
True
Suppose -i - s = 0, -i - 5*s + 27 - 7 = 0. Is (1 + i)*1752/(-32) composite?
True
Suppose 0 = -6*g + 5*g + 105. Suppose -b + 129 = 5*p, 0*b - p = -b + g. Is b composite?
False
Let b(y) = y - 1. Suppose -5 = 2*l - 4*x - 19, 3*x + 13 = 4*l. Let f(o) = -o - 5. Let r(q) = l*f(q) - 6*b(q). Is r(-2) a prime number?
False
Suppose m + 2*h - h = 7672, 0 = -2*h + 6. Is m a composite number?
False
Is 2 - (0/(-6) - 4037) a prime number?
False
Let y(v) = -3*v + 38. Let g be y(11). Suppose -3*m + o - 67 = -205, g*m - o = 230. Is m a composite number?
True
Let m(a) = a**2 + 4*a + 1. Let x be m(-5). Suppose 11*s - x*s = 5545. Is s prime?
True
Let i(a) = -a**2 + 12*a - 15. Let j be i(11). Is (14/j)/(10/(-13180)) composite?
True
Let d(h) be the third derivative of 5/3*h**3 + 0*h + 0 - 7/24*h**4 - 2*h**2. Is d(-7) prime?
True
Let r(o) be the first derivative of o**4/4 - 4*o**3/3 - 3*o**2 + 2*o - 1. Let n be r(5). Let k = n - -13. Is k prime?
False
Let x = -210101 - -361936. Is x prime?
False
Let a = -12274 - -20267. Is a a composite number?
False
Suppose -2*l + 2*d + 102240 = 0, -5*d = -4*l - 7*d + 204450. Is l prime?
False
Suppose 4*b - 2*b = 9290. Suppose -17*y + 22*y = b. Is y a composite number?
False
Let n be 66/15 + 6/10. Let d(z) = z**2 - 5*z + 5. Let b be d(n). Suppose -2*k + 134 = -0*q + 2*q, k + b*q - 75 = 0. Is k a composite number?
True
Suppose 2*x - 2*t = 1600, -28*x - 2395 = -31*x - 2*t. Is x a composite number?
True
Let o = 14 + -12. Suppose o*d + d = 1191. Is d a composite number?
False
Let k = 1023 + -445. Suppose 3*z + 5*a = 889, k = 2*z + a - 5*a. Is z a prime number?
True
Suppose -7*c = -2 - 12. Suppose 0 = 2*t, 4*d = -t - c*t + 136. Is d prime?
False
Suppose -i + 38 = 255. Let v = i - -312. Suppose -v = -8*k + 3*k. Is k a composite number?
False
Suppose -3409 = -2*g + 3*o, 2*o - 4800 - 2042 = -4*g. Is g prime?
True
Suppose 3*i - 9 = -21. Let t be (1 - -280)/(i + 5). Suppose -148 - t = -3*d. Is d prime?
False
Let c = 27 - 11. Suppose c = w - 34. Suppose t = 33 + w. Is t a composite number?
False
Suppose -1401 - 12023 = -16*p. Is p prime?
True
Suppose 4*c = 3*c + 2*i + 6771, 0 = c - 3*i - 6772. Is c prime?
False
Suppose 3*y - y + 5*d + 39 = 0, y + 3*d + 21 = 0. Is ((-21)/y - (-1)/4) + 291 a composite number?
False
Suppose -2*i = -4*h + 3802, -6*h + 10*h - 4*i - 3792 = 0. Is h a composite number?
False
Let u(l) = l**3 + 42*l**2 - 24*l + 238. Is u(-39) composite?
False
Let i = -22431 + 54890. Is i a prime number?
False
Let o(w) be the third derivative of w**4/4 - w**3/3 + 2*w**2. Let c be o(2). Let x = c + 57. Is x composite?
False
Let g(i) = 2*i**3 - 7*i**2 - 9*i - 10. Let p be g(7). Let d = 211 + p. Is d a composite number?
True
Let i(l) be the first derivative of 0*l - 9 + 889/2*l**2. Is i(1) composite?
True
Suppose 0 = -3*n - b + 32, -5*b + 0*b = -2*n - 7. Let m(h) = -h + 17. Let r be m(n). Suppose -3*i - 1465 = -r*i. Is i a composite number?
False
Suppose -2*i = 3*i - 50. Suppose -4*v - 42 = -i. Is 2*10/v*-38 a prime number?
False
Let v(b) = -2*b - 2. Let j be v(-2). Let a be (-1 + j + 0)*2. Suppose a*d = 1 + 289. Is d a composite number?
True
Let q(t) = 2205*t**2 + 5*t - 3. Let u be q(3). Suppose -5*y + 4*l + 36914 = -u, 3*y - 34049 = -l. Is y composite?
False
Suppose -8*t = -3*t. Suppose t = 3*m - 957 - 1680. Is m prime?
False
Is 14956/(-2)*(555/(-30) - -12) a composite number?
True
Let i = -2774 + 4761. Is i a prime number?
True
Suppose -194 = -0*g + 2*g. Let l = g - -141. Is (l/12)/((-2)/(-174)) prime?
False
Suppose -4*v = 5*f + 7, 0 = v + 4*f - 6*f - 8. Let i be (-4)/(-16)*0 + v. Suppose 0 = i*h + 52 - 586. Is h a composite number?
True
Let j(b) = -b**3 - 3*b**2 - 4*b - 481. Let v(n) = -3*n**3 - 8*n**2 - 11*n - 1443. Let p(s) = 11*j(s) - 4*v(s). Is p(0) a prime number?
False
Let t(y) = y - 1. Let f be t(-5). Let z(g) = g**3 + 8*g**2 + 5*g + 10. Let i(h) = 5*h**3 + 40*h**2 + 24*h + 51. Let q(c) = -2*i(c) + 11*z(c). Is q(f) composite?
True
Let k(i) = -192*i - 17. Let m(l) = -383*l - 34. Let n(h) = -7*k(h) + 3*m(h). Is n(4) a prime number?
True
Suppose -2 = -6*w + 4*w, -2*o - 4*w = -1336. Suppose 4*c - 30 = -5*m + 3270, -2*c = m - o. Suppose h + 4*h + q - m = 0, -h + 2*q + 129 = 0. Is h prime?
True
Suppose 3*w + 2*w + 5467 = 3*i, -3*w - 5*i = 3253. Let o = -86 - w. Suppose 0 = -0*d - 3*d + o. Is d prime?
False
Let d be (-7 + -1)/(-5 + 3). Let b be d + -7 + (569 - -1). Suppose -b = -6*v + 957. Is v a composite number?
True
Suppose 0 = 2*p + 5*l - 29 + 3, 2*l + 1 = 3*p. Suppose 5*k - 2464 = -0*k - p*m, 4*k - 1955 = 3*m. Is k composite?
False
Let q be (-5)/2*8/10. Let k(c) be the third derivative of 2*c**5/15 - c**4/12 + c**3/6 - 11*c**2. Is k(q) composite?
False
Let p(h) = 4*h - 18. Let m be p(7). Is (-41)/(4/m + (-19)/35) a prime number?
False
Let v = 1115 + -160. Suppose 5*l - 3450 = -v. Is l prime?
True
Is 7 - 33*(-2560)/24 a prime number?
True
Suppose -139*x = -153*x + 324086. Is x a composite number?
True
Suppose 0 = -2*y - g + 197 - 71, 3*y = -3*g + 189. Let k = y - -260. Is k a prime number?
False
Let y(n) = -4*n - 3. Let t be y(-4). Let o = 166 + t. Is o composite?
False
Let q(z) = -2*z**2 - 92*z + 31. Is q(-30) a composite number?
False
Let b be (22/(-2))/(2/6). Suppose -116*j + 124*j - 896 = 0. Let w = j - b. Is w a composite number?
True
Is (7 + (-108)/16)*24988 composite?
False
Suppose 2*z + 2*v = 3*z - 591, 0 = z + 2*v - 583. Is z a prime number?
True
Suppose -4*a + 31 = 11. Is (45/a)/(-9)*(-93 + 0) a composite number?
True
Let l = 1187 - 358. Let d(i) = 147*i + 156. Let m be d(-4). Let h = m + l. Is h prime?
True
Let u(l) = -45*l - 21. Let w be u(-17). Suppose 4*d - 4*m + w = 3264, 3*d = 5*m + 1888. Is d prime?
True
Let b = 12612 - 5569. Is b prime?
True
Let d = 2221 - 895. Suppose -f + 3*g - 446 = -2*f, -3*g - d = -3*f. Is f a prime number?
True
Suppose -7125 - 22051 = -8*x. Is x a prime number?
False
Let x be 3/((0 - -1)/1). Suppose -4*c + 808 = z - 5*z, 0 = 2*z + x*c + 379. Let l = 36 - z. Is l prime?
True
Let w(p) = -2*p + 3. Let u be w(-3). Suppose -4*h + u = 25, 0 = 4*y + 2*h - 564. Suppose k + 1 = 0, -2*c = k + 34 - y. Is c a prime number?
False
Suppose 6 = f + 2*a - 1, 34 = -3*f + 5*a. Let u be (-1)/4 + (-81)/12. Is f + (-7)/(u/292) prime?
False
Let y = -9 + 13. Suppose s = -g - 2, 0 = -3*g + y*s + 14 + 8. Suppose -224 = -g*l - 2*j, 1 - 2 = -j. Is l a composite number?
True
Let v(h) = -2521*h**3 - 2*h**2. Let d be (-1)/3 + (-8)/12. Is v(d) a composite number?
True
Let s be 6/(-5)*(-110)/3. Suppose -5*z + 14 = s. Is (1893/z)/((-6)/12) prime?
True
Suppose 5*s + 28 = 2*i, 5*i - s + 3*s = 12. Is 122/i*(33 - -1) a prime number?
False
Let f = -5104 - -46811. Is f composite?
True
Suppose 2*g - g = 635. Suppose -5*u = 2*v - g, 5*v = -3*u + 7*v + 381. Is u prime?
True
Suppose k + 8 = -2*u, 4*k = -4*u + 6*u - 32. Let j = -6 - k. Suppose 0*h + 2*h + 4*n - 46 = 0, -3*n + 46 