 -2*k - 5*t = -3. Suppose 6*w = k*w. Suppose w*b + 165 = 5*b. Is b prime?
False
Suppose l = 5*t + 300, -4*t - l - 294 = -63. Let w = t + 112. Is w a composite number?
False
Suppose 4*p + 5*s = -309, -p + 2*s - 3*s = 76. Is (p + -3)/(4/(-14)) prime?
False
Let x = 21 - 15. Let m = 8 - x. Is 8 + (2 - (3 - m)) composite?
True
Let t(n) = 164*n**2 + 13*n - 11. Is t(8) a composite number?
False
Suppose 245 = -3*m + 728. Is m a composite number?
True
Let x(m) = 57*m**2 + 4*m + 3. Is x(-4) prime?
False
Suppose 13*n = 7*n + 6690. Is n composite?
True
Let i(t) = -30*t + 7. Is i(-2) prime?
True
Suppose 3*t + 0*t + 351 = 3*m, 4*m - 448 = -t. Is m a prime number?
True
Let w = 2 + 2. Suppose u + 0*g = -4*g - 12, 28 = w*u - 3*g. Suppose -4 = -p + u*n - 2, 3*p = 4*n + 14. Is p a composite number?
True
Suppose 4 = -2*r, 3*f + 7 = -4*r - 4. Is 48 + (-1)/f - 2 prime?
True
Let y(s) be the first derivative of -s**2/2 - s + 1. Let v(j) = -5*j - 6. Let b(c) = -v(c) + 3*y(c). Is b(5) composite?
False
Suppose -53*k = -45*k - 14376. Is k composite?
True
Let l be ((-10)/(-8))/(5/300). Let c = 8 + -5. Suppose c*a = -2*a + l. Is a a composite number?
True
Suppose 3*b = -2*b + 15. Let t(n) = 0 - 4*n - 2 + b. Is t(-5) prime?
False
Let s(z) = -z**2 - 6*z + 4. Let x be s(-6). Let p(l) = 37*l. Let t be p(x). Suppose 0 = -3*i - 2*y + t, -3*i - 5*y + 129 + 34 = 0. Is i a composite number?
True
Suppose -5*g - q = 13, -q - 10 = -g + 3*q. Is (6/1)/(g - -4) a prime number?
True
Suppose 3*u + 2*u = 0. Let h = 1 - u. Let r(a) = 23*a**2 - a + 1. Is r(h) prime?
True
Let k(x) be the first derivative of -x**2/2 + 2*x - 1. Let r be k(-2). Suppose -332 + 59 = -r*y + f, 4*f + 87 = y. Is y prime?
True
Let x = -8 + 9. Let v(t) = 31*t + 41*t + 1 - 15*t. Is v(x) composite?
True
Suppose 2*h - 1 - 5 = 0, 2*s = h + 13. Suppose -3*x + 12 = 2*x - j, j = 3*x - s. Is x a prime number?
True
Suppose 4 = 4*i + 2*a - 4*a, -2*i = -4*a + 10. Is 4/2*i/2 a composite number?
False
Suppose 3*y - 153 = -0*y. Is y prime?
False
Let j = 6 - 6. Let y = j - -2. Suppose 3*s - 212 = u, 0 = y*u - 3*u - 5. Is s a composite number?
True
Suppose 0 = k + 2 - 5. Suppose -4*l - 128 = -3*a + 16, -k*a - l + 129 = 0. Let y = 99 - a. Is y a composite number?
True
Suppose 0 = -n - 0*y - 2*y + 155, -8 = 2*y. Is n composite?
False
Suppose 5*l + 10 = 4*l. Is 31/2 - (-5)/l a composite number?
True
Suppose 2*k - 4*d - 116 = 0, -5*d - 23 = -k + 26. Let c be (6/3)/2*-47. Let v = k - c. Is v a composite number?
True
Let q be 3/5 - (-342)/5. Suppose -2*t = -t - q. Is t a prime number?
False
Let k = 2 + 2. Let p(r) = -5*r + 3 + 13*r - 2. Is p(k) composite?
True
Suppose 31 + 42 = 3*l + 2*j, 4*j = -4*l + 92. Let n(a) = -5 - l*a + 6 - 2. Is n(-2) prime?
True
Let o = 5 + 3. Let j(m) = 7*m - 9. Is j(o) a composite number?
False
Suppose 0 = -5*j + 38 + 432. Suppose -m - 4*m = -3*l + 15, -3*l = 5*m - 15. Suppose -39 = l*i - j. Is i prime?
True
Let d(w) be the second derivative of w**6/60 - w**5/60 - w**4/8 - w**3/6 + w**2 - 2*w. Let t(m) be the first derivative of d(m). Is t(3) a prime number?
False
Suppose -w + 0 = -41. Suppose 3*z + w = 146. Is z a composite number?
True
Let o = 291 - 110. Is o a prime number?
True
Let z(g) = g + 5. Let q be z(4). Is (-2354)/(-18) + 2/q a composite number?
False
Let i(f) = -f**3 - 7*f**2 - 6*f + 4. Let q be i(-6). Suppose q + 2 = 3*b. Suppose 5*m - 306 = -2*x, 2*m = -b*m + 16. Is x prime?
False
Let z = -94 + 401. Is z prime?
True
Suppose 2*a + p + 0 - 9 = 0, 0 = 4*a - 5*p - 39. Let i = a + -4. Is i/(-2) + 2 + 10 a composite number?
False
Let b(z) be the third derivative of 13*z**5/60 - z**3/3 + z**2. Suppose p = -4*p - 15. Is b(p) a prime number?
False
Let o be 12*1 + 12/(-4). Let r = o + -4. Suppose 0 = -r*z - i + 874 + 171, 3*i = 0. Is z a prime number?
False
Let g = 275 + 60. Is g composite?
True
Let l(d) = 3*d**2 + 4*d + 2. Let q be l(-2). Let u be (-2)/6 + 32/q. Suppose -n + u*z = -47, -2*n = 2*n - z - 150. Is n prime?
True
Let w(r) = r - 6. Let v be w(-6). Let t = v + 50. Let q = t + -7. Is q a prime number?
True
Let t be 0/((-1 + -1)/(-2)). Suppose t = 4*s - 238 - 70. Is s a composite number?
True
Suppose 3 = -2*d + f, -f - 11 = 3*d + 4*f. Let p(h) = 18*h**2 - h - 1. Let n be p(d). Let q = 130 - n. Is q a composite number?
True
Let j(z) = z**3 + 7*z**2 + 6*z + 4. Let h be j(-6). Let l(k) be the first derivative of k**4/4 - k**3/3 - 2*k**2 + 5*k - 9. Is l(h) prime?
True
Let l = 722 + -187. Is l a prime number?
False
Let v = -1 + 1. Is 127 + v/(12/3) a prime number?
True
Suppose d = -3*d + 12. Is 10/(0/d + 1) a composite number?
True
Is -669*(-4)/12*1 prime?
True
Suppose 0 = f + 2*f + 9. Let q be 0 + f + (3 - 0). Suppose -p + 14 + 45 = q. Is p a composite number?
False
Let y be (-2)/4 + (-20)/(-8). Suppose 0*s - 3*m - 37 = s, -y*s = 4*m + 68. Let p = s + 65. Is p composite?
False
Suppose 0 = 3*o - 0*o - 33. Suppose -24 = 5*a + o. Let d(z) = -9*z - 8. Is d(a) a prime number?
False
Let u be ((-2)/5)/(2/(-40)). Let o = u - 3. Is 2/o + (-2965)/(-25) composite?
True
Let b be (-2)/6 - 1/(-3). Is b - (-308 + (-2 - -5)) a prime number?
False
Let g(k) = 13*k**2 + 3*k + 6. Let d be g(5). Let o = 585 - d. Is o composite?
False
Let j(o) be the second derivative of 13*o**4/12 + o**3/3 + o**2/2 + o. Let q be (-5)/((-15)/(-6))*1. Is j(q) prime?
False
Suppose -5*q + 21 = -4. Suppose -48 = -2*w + q*i + 261, 5*w + 5*i - 755 = 0. Suppose 2*c - 6*c = -w. Is c prime?
False
Suppose -j = -c - 1564, j - 1510 - 24 = -5*c. Is j a prime number?
True
Let a(x) = -x**2 - x - 1. Let o(n) = 5*n**2 + 8*n + 10. Let q(w) = 4*a(w) + o(w). Let i be (-1 - -2) + (-12)/2. Is q(i) prime?
True
Let m = -4 - -9. Suppose 3*r + p = 636, -m*r + 410 = -3*r - 4*p. Is r a composite number?
False
Suppose 0 = -0*m + 4*m - 20. Suppose m*d - 255 = -0*d. Is d prime?
False
Suppose -134 = -g - 37. Is g composite?
False
Let k = 212 - 85. Is k a composite number?
False
Let b(p) = 209*p + 7. Let a be b(3). Suppose -5*j + q = 2*q - a, 2*j = -3*q + 251. Is j a composite number?
False
Let l = 1 + -1. Let f = l + 2. Suppose 0 = -f*g + 7 + 19. Is g a composite number?
False
Let x(v) = 126*v**2 - 5*v. Is x(7) a prime number?
False
Suppose 4*w - 8*w + 2524 = 0. Is w prime?
True
Let t be 15/(-10)*(-8)/3. Suppose -4*p - 55 = -3*p + t*q, 3*p - 4*q = -213. Let o = p + 144. Is o composite?
True
Let g be 2/(-9) - (-130)/18. Let z be 52/14 + 2/g. Suppose 5*w + 69 = 2*h, 3*h = z*w - w + 108. Is h prime?
True
Let h(d) be the second derivative of -43*d**3/6 - 2*d. Let x be h(-2). Let f = x + -61. Is f prime?
False
Let j = -13 + 15. Is ((-424)/(-32))/(j/8) composite?
False
Let r = 541 + -350. Is r a prime number?
True
Let o = 25 + 28. Let q = 172 - o. Is q composite?
True
Suppose 2*g = 5*g + 3*o - 237, 79 = g - 3*o. Is g prime?
True
Let m(x) = -x**2 + 6*x + 4. Let h = 3 - -4. Let o be m(h). Let d = 0 - o. Is d prime?
True
Let k = 606 + 171. Suppose 308 + k = 5*g. Is g a composite number?
True
Suppose -10 = 5*j, -3*q + j = 2*q - 417. Is q prime?
True
Suppose -8391 = 5*v - 27536. Is v a prime number?
False
Suppose -1428 = -4*i + 4*x, -2*i + 2*x - 706 = -4*i. Is i prime?
False
Suppose 4*r = 5*r - 3. Let k = -87 + 168. Suppose 0 = -3*u + r*f + k, -f + 31 = u - 4*f. Is u prime?
False
Let a be ((-10)/20)/((-2)/20). Suppose a*b - 2*u - 1046 = -5*u, -3*b = -5*u - 648. Is b composite?
False
Let y be 1648/12 - 4/3. Let i be (4/5)/((-3)/(-15)). Suppose -3*f = 2*b - 97, -2*b - y = -i*f + 2*b. Is f a composite number?
True
Let k(p) = -p + 3. Let r be k(0). Suppose -11 = -2*t + 7. Is r/(-9) + 66/t a composite number?
False
Let l = 19532 - 11215. Is l prime?
True
Let g(x) = -x**2 - 11*x + 14. Let y(n) = -6*n**2 - 56*n + 71. Let f(p) = -11*g(p) + 2*y(p). Let i be f(9). Is (45/i)/((-1)/4) composite?
True
Let x = 5 - 6. Let r(a) = -24*a**3 - a**2. Is r(x) a composite number?
False
Let o(a) = 14*a + 1. Suppose -3*d + 20 = -5*y, -3*d + y = -7 - 21. Let h be 2/d + 114/30. Is o(h) prime?
False
Let w(o) = 29*o + 5. Let u(r) = -29*r - 4. Let f(g) = -4*u(g) - 3*w(g). Is f(2) a composite number?
False
Let i = -1 + 1. Let z be -5*(2 + i + -53). Suppose 0 = -2*g + 5*g - z. Is g a composite number?
True
Suppose -5*y = -4*h - y + 3156, 5*h = -4*y + 3963. Is h a prime number?
False
Let z(r) = 87*r + 3. Let m be