6 - d. Is t prime?
False
Let t = -39 + 51. Let o(y) = -7*y + 1. Let f be o(-3). Let m = f - t. Is m a prime number?
False
Let p be (-3 - 0/(-4))/(-3) + 3. Is -4*(-5266)/16 - (-2)/p prime?
False
Let y(d) = d**2 - 8*d - 4. Let x be y(9). Let q = -4 - -6. Suppose -3*p + 39 = -q*p + 4*h, p - 41 = -x*h. Is p a composite number?
False
Let j(c) = -4*c**2 + 8 + 2*c**2 + 8*c**2. Let s be 20*1/8*-2. Is j(s) a composite number?
True
Suppose g - 2*r = 557, 0*g + r + 560 = g. Is g composite?
False
Let s be 10*(15/(-3))/(-5). Let a = s + -10. Suppose a*k + 4*k - 316 = 0. Is k a prime number?
True
Let p(y) = 18*y**3 - 5*y**2 - 5*y - 7. Let h(c) = 53*c**3 - 14*c**2 - 16*c - 21. Let m(i) = -3*h(i) + 8*p(i). Is m(-6) a composite number?
False
Let r(q) = -q**3 - 7*q**2 + 7*q - 4. Let d be r(-8). Suppose 3*x = -4*p + 3*p + 995, 0 = -2*x - d*p + 670. Is x prime?
True
Let x(r) be the second derivative of -r**5/60 - 19*r**4/24 + 5*r**3/6 - 3*r**2/2 - 2*r. Let d(u) be the first derivative of x(u). Is d(-10) a composite number?
True
Suppose -14 = 3*y - 38. Let s = -42 + 62. Is 5*y/s + 477 a prime number?
True
Suppose -k + 7 - 5 = 0. Suppose -2*o - 3*q + 627 = 0, 4*o + 3*q = k*q + 1239. Is o a composite number?
True
Let x(a) = -4*a**3 + a**2 + a + 1. Suppose -2*i + 4 = 4*q - 5*i, -q = -i. Suppose -3*u - 2 = 7*l - 3*l, 4*u + q = -4*l. Is x(u) composite?
True
Suppose -3*t + 20287 + 70394 = 4*s, -t + 30227 = 5*s. Is t a prime number?
False
Let t = -1 + 9. Let d(o) be the third derivative of o**5/15 - o**4/3 + o**3/3 - 2*o**2. Is d(t) composite?
True
Let k(v) = v**3 + 3*v**2 + 1. Let t be k(3). Suppose 9 = -3*j, -h + 0*j + 86 = 4*j. Let r = h - t. Is r a composite number?
False
Let d(l) = l**3 + 6*l**2 + 7*l + 4. Let r be d(-5). Is 1671 - (-3)/(r/(-4)) prime?
False
Let z = 125 + 794. Is z composite?
False
Is ((-121418)/(-55))/((-2)/(-35)) prime?
False
Let y = 1 - 0. Let z(m) = 1104*m**2 + 1. Let o be z(y). Suppose 0 = 11*u - 6*u - o. Is u prime?
False
Let s = 11 + -9. Suppose -3 + 89 = s*h. Is h prime?
True
Let a be ((-39)/6)/(((-15)/(-220))/3). Suppose 5*b - 4*v - 3281 = 0, 3*b - 2*b - 5*v - 652 = 0. Let p = a + b. Is p a prime number?
False
Let z be (-2 + 2)/(-7 + 8). Suppose -5*p - 2*c + z*c = 248, -4*p = 3*c + 197. Let q = p + 105. Is q a prime number?
False
Let q = -14 - -16. Let w be 4/10 - (-117)/45. Suppose 2*r = 4*k - q*r - 204, -2*k = w*r - 82. Is k prime?
True
Let x(y) = -y**3 - 17*y**2 - 13*y + 18. Suppose 34 = h - 3*h - n, 3*n = 0. Is x(h) composite?
False
Let r(o) = 2*o**2 - 2*o + 1. Let n be r(2). Let j = n - 0. Is (j + -4)*33/1 prime?
False
Suppose -7*u - 15 = -2*u, 4*d = -3*u + 1259. Is d a composite number?
False
Let q = 843 + -1317. Is 15/(-10)*5/(15/q) prime?
False
Let z(j) be the second derivative of j**3 - 7*j**2 + 6*j. Let u be z(10). Let q = 131 - u. Is q a composite number?
True
Let v be ((-4328)/(-12))/((-3)/(-27)). Let i = v - 2291. Is i prime?
False
Let q(z) = 87*z - 20. Let c be q(9). Let m = c + -476. Is m a prime number?
False
Let j(s) = s + 1. Let z be j(-1). Suppose z = 6*n - 3*n - 21. Is 621/n - (-14)/49 prime?
True
Suppose -9*p + 20510 = p. Is p composite?
True
Suppose 115*x - 117*x = 10. Is (15/x)/(-3)*3989 a prime number?
True
Let b = 327 + -730. Let x = 154 + b. Is (-1 + 0)/(1/x) a prime number?
False
Let p be (17 + -19)/((-1)/2). Suppose p*z = 2*z + 4. Is 450/9 - (-1 - z) a composite number?
False
Suppose -4*z = 2*y - 32, -z = -y + 2 - 1. Suppose 12729 = -24*c - 11631. Is (c/(-10))/(3/y) a composite number?
True
Let v(f) = 8 + 10*f + 28 - 17. Is v(5) a composite number?
True
Let r = 13 + -11. Suppose 3*p - 2*z - 1171 = 0, r*p = p + z + 390. Is p a composite number?
True
Suppose -3*r + 5*m = -5969, 5*r - 3*m = 3*r + 3980. Is r a composite number?
False
Suppose -1659 - 6373 = 4*r. Let x = -981 - r. Is x a prime number?
False
Suppose 2*q - 4*w + 105 = 1269, -2*q + 1199 = 3*w. Suppose -q = -4*g + 4*m, -m = 2*g + 3*m - 302. Is g a prime number?
True
Let s = 6010 + -2144. Is s a composite number?
True
Suppose -11*f + 3*x = -9*f - 14057, -5*x = f - 7048. Is f a prime number?
False
Suppose 2*g - 16*g = -10556. Suppose 13*i = 33163 + g. Is i prime?
True
Let n be 5/(-15) - 2/(-6). Let f be -5 + 2 + (n - -9). Suppose -f*d = -3*d - 1077. Is d prime?
True
Let i = 1685 - -5178. Is i a prime number?
True
Let h(x) = -35 + 297*x**2 + 17 - 2*x + 13. Is h(-2) composite?
False
Let h be (2 + -1)*(1 - -1). Suppose 0 = w - h + 13. Let q(i) = 5*i**2 + 8*i - 26. Is q(w) prime?
True
Let w = -32 + 2. Let k = -29 - w. Suppose -3 - k = -j. Is j a composite number?
True
Let a(y) = y. Let v be a(-4). Let o be (-12)/18*834/v. Suppose -2*n = -2*i - o - 445, -15 = -5*i. Is n a prime number?
False
Is (2/(-6))/(3 + (-22664)/7554) a prime number?
True
Let h(j) = -j + 1. Let a be h(-3). Let s(n) = n + 11. Let k be s(-8). Suppose -k*g - 19 = -a*g. Is g a prime number?
True
Is (3 - 29)*745/(-10) - 0 a prime number?
False
Suppose -2*s + 57 = 11. Let z = s - 26. Let k(x) = -20*x - 1. Is k(z) prime?
True
Let f(d) = d**2 - 4*d + 8. Let o be f(4). Suppose -o = -2*q - 0. Is q composite?
True
Is (0/18 + (-4366)/(-4))*2 a prime number?
False
Suppose 14*y - 245113 = 262485. Is y a composite number?
True
Let m = 43 - -446. Is 4*(-2)/(-8)*m prime?
False
Let u(h) = -h**3 - 12*h**2 - 4*h - 54. Let z be u(-12). Let x be -6 + 2*(-1)/2. Is 40 - (x - (z + 2)) prime?
True
Suppose -3*o - 17646 = -2*v + 3688, o + 32015 = 3*v. Is v prime?
False
Suppose -2*i + 8 = v, 4*v - 32 = 5*i - 0*i. Suppose -v*h = -3*h - 2425. Is h a prime number?
False
Let k be 2796/(-10) - 1 - (-9)/15. Let s = 129 - k. Is s composite?
False
Let a(n) be the third derivative of n**6/120 - n**5/60 - n**4/24 + 1361*n**3/6 + 8*n**2. Is a(0) composite?
False
Let q(w) = -w**2 + 19*w - 16. Let o be q(18). Let l = o - -957. Is l prime?
False
Let b(c) = 472*c**2 + 2*c - 1. Let m be b(1). Suppose 0 = -4*y + m + 531. Is y a composite number?
False
Suppose -2*z + 13*q = 8*q - 526, -5*z - q + 1315 = 0. Is z a composite number?
False
Let d(c) = c**2 + 2*c - 2. Let j be d(-4). Let m be 73/2*j/(-3). Let l = 162 + m. Is l prime?
True
Let a(j) = -j - 4. Let z be a(5). Let q = -13 - z. Is 220 + q + 5 + -4 a composite number?
True
Suppose 4 + 2 = 3*b. Suppose 4*c + 8 = -w, -25 = b*c + 3*c. Suppose -w = 3*s, -5*l - 8*s + 3*s + 865 = 0. Is l a prime number?
False
Let z(q) = -118*q + 1. Let d be z(1). Suppose -3*b + 123 + 405 = 0. Let i = d + b. Is i a prime number?
True
Suppose 0 = -3*h - 5*q + 112, -q + 6 = 4. Let a be 18/(-27) - h/(-6). Suppose a*w = 2*z - 11 - 15, 4*z + 3*w - 104 = 0. Is z composite?
False
Let x(y) = 6076*y + 1. Is x(1) composite?
True
Let h = 310 - -66. Suppose -4*q = -5444 + h. Is q composite?
True
Let i(u) = -138*u + 68*u + 69*u + 119. Suppose 2*t + 4*o - 20 = 0, -10 = t + 4*t - 2*o. Is i(t) composite?
True
Let m(v) = 34*v**2 + 9*v - 161. Is m(10) a prime number?
True
Let j = 1808 + -1044. Is ((225/10)/(-9))/((-2)/j) composite?
True
Let v(x) = 12722*x**3 - 7*x**2 - 4*x - 3. Is v(2) a composite number?
False
Suppose -2*k - 3*k = -15. Suppose 3*d + 34 = -k*u - 11, 5*u = -15. Let r = d - -25. Is r a composite number?
False
Let a(v) = 10*v**2 - 41*v - 29. Is a(24) a composite number?
True
Suppose 4*w + 3*f - 22 = 0, -f = -2*w - 2*w + 14. Suppose 0*g + w*g = 0. Suppose g = -r + 30 + 1. Is r prime?
True
Let u(w) = -14*w**3 + 5*w**2 + 2*w - 9. Let c(n) = -n**3 + 3*n**2 - n. Let i be c(2). Let g be i/((-20)/(-8) + -3). Is u(g) prime?
False
Let x(p) = p**3 - 4*p**2 - 2*p + 11. Let f be x(4). Suppose 5*u + 0*u + 2*a = 3829, -3*u + f*a = -2310. Is u composite?
True
Suppose -d = -7 + 2. Suppose 0 = -4*t + d*t - 1049. Is t prime?
True
Let n(p) = 2*p**3 - 72*p**2 - 39*p + 27. Is n(38) prime?
False
Let s be -266 + -4*(-12)/16. Let l = 429 + s. Is l prime?
False
Let m(k) = 738*k - 13. Is m(4) a prime number?
True
Suppose 2*m + 459 = -375. Let x = m - -1428. Suppose 2*o - b = 124 + 550, 5*b = -3*o + x. Is o composite?
False
Suppose -4*c + 16 = 0, -14773 = -3*p - 0*c + 2*c. Is p a prime number?
False
Let w(a) = 14*a - 23. Let q(y) = -5*y + 8. Let b(m) = -11*q(m) - 4*w(m). Let o be b(2). Suppose -4*h + 132 = -5*t + 20, -4*h + 100 = -o*t. Is h prime?
True
Is (115308/60)/(2/(-20)*-2) a composite number?
True
Suppose 24 = 2*d + 2*d. Let 