 Is o/(-7) + (-12)/z a prime number?
False
Let v = -492 - -1201. Suppose -5*k = -u - v, 4*u = 4*k - 3*k - 157. Is k a composite number?
True
Suppose 4*d + 2*o = 6142, 4*o + o = d - 1508. Is d/28 + (-1)/(-4) a composite number?
True
Let z(x) = -2*x**3 - 2*x**2 - 2. Let c be (3 - 1) + -4 + 2. Suppose -6*o + o - 10 = c. Is z(o) composite?
True
Let a = 4 + -4. Suppose 2*j + 4 - 34 = a. Is j a prime number?
False
Let t(b) = -b**3 + 9*b**2 - 11*b + 10. Let h = -13 - -20. Is t(h) a prime number?
True
Let u = 24 + -19. Let q = -296 - -532. Suppose b - 59 = k, -u*b + 2*k + q = -59. Is b composite?
False
Let m(d) = -111*d - 4. Is m(-5) prime?
False
Let q(o) be the first derivative of 49*o**2/2 - o - 2. Is q(2) prime?
True
Let x = -3517 - -6376. Is x a composite number?
True
Suppose -4*r - 43 = -3. Let p be (-405)/(-13) - r/(-65). Is p + 0*3/(-6) composite?
False
Let z(i) = 29*i**2 + 5. Is z(-8) prime?
True
Suppose 17*a = 21*a - 596. Is a prime?
True
Suppose -3*u = u + 212. Let t = 246 - 138. Let v = t + u. Is v a prime number?
False
Suppose -k = 2*z - 3, 5*k + 6*z - 2*z = 15. Suppose 5*f = 25, k*f - 4*f - 430 = -3*i. Is i prime?
False
Suppose 0*s = 2*s. Is s - (-2 + 3 + -15) composite?
True
Let k = 7 + -2. Suppose -3*j - 34 = -2*f + j, -k*f + j = -94. Is f a composite number?
False
Let f be (-4 + 258)*(-1)/(-2). Suppose 2*d + 0*d - 148 = 0. Let a = f - d. Is a prime?
True
Suppose 0 = -0*c - c + 4. Suppose -4*f = -c*n + 640, 0 = 2*n - 6*n - 5*f + 667. Is n a composite number?
False
Let r be 552/30 + 4/(-10). Suppose 0 = 2*m + 3*b + 8, 0 = -3*m - 2*b - b - r. Let u = m - -45. Is u a prime number?
False
Let c(o) = -o**2 + 8*o - 5. Let p(x) = -3*x**3 - 2*x**2 + 1. Let q be p(-2). Let b = -12 + q. Is c(b) a prime number?
False
Let n(w) = w**2 + 10*w + 7. Let c be n(-8). Let y be 2/(-9) - (-7)/c. Is -2*y*(-89)/(-2) prime?
True
Suppose -3*x + 0*x - 2744 = -4*o, -x = -o + 685. Suppose 5*f - o - 326 = 0. Is f a prime number?
False
Let v(t) = -2*t**3 + t**2 + t. Let n be v(-1). Let m = n - 5. Is (-9 - 0)*7/m composite?
True
Suppose 4*l - 1 - 7 = 0. Suppose -l*m + 5*m - 231 = 0. Is m a prime number?
False
Suppose -2*k = 3*k - 25. Suppose -k*v + 8 = -12. Suppose -4*u = -v*p + 636, 4*u = -4*p + 772 - 168. Is p a prime number?
False
Let q(a) = a**3 + 4*a**2 - 6*a - 8. Let y be q(-6). Let d = y - -66. Suppose -3*j = 2*f - d, -f - 12 - 12 = -2*j. Is j prime?
False
Suppose 0 = -11*x + 13*x - 3434. Is x composite?
True
Let q = 255 + 92. Is q prime?
True
Suppose -6 = 5*z + 4. Is (-3)/z*(-510)/(-9) a composite number?
True
Let c = 46 + 75. Is c a composite number?
True
Let q be 1/(-3) - (-61)/3. Suppose -3*h = -82 - q. Is h prime?
False
Let t(w) be the first derivative of w**4/4 - 8*w**3/3 + 2*w**2 + 4*w + 2. Suppose -64 = -5*k - 19. Is t(k) composite?
True
Let x = 365 - -894. Is x a composite number?
False
Let a = -884 + 1381. Is a a composite number?
True
Suppose 0 = x - 239 - 114. Is x a composite number?
False
Let n be (-2)/8 - 21/(-4). Let u = 27 - -87. Suppose -4 + u = n*p. Is p composite?
True
Is 2 + 20/(-4) - -80 composite?
True
Let l = 2280 - 1626. Let s = -361 + l. Is s a prime number?
True
Let m(d) = -d**3 - 5*d**2 + 17*d + 7. Is m(-12) composite?
False
Let o = -48 + 5. Let i = o - -62. Is i a composite number?
False
Let y = -493 + 866. Is y prime?
True
Let w be 16/6 - (-2)/(-3). Let f be -95*(-4)/1 - w. Is f/2 - (-7 - -5) a composite number?
False
Let d(n) = n**3 - 4*n**2 + 4*n - 4. Let r be d(5). Suppose 4*j = -r + 181. Is j a composite number?
True
Let w = -7 + 11. Suppose -w = -4*k + 568. Suppose 5*v - k - 42 = 0. Is v prime?
True
Let b(i) = 50*i**2 - 1. Let p(j) = 1 + 0 + 2*j**2 - 4*j**2. Let u be p(1). Is b(u) composite?
True
Let t(o) = -o**2 - 5*o - 6. Let g be t(-6). Is 4*-1*93/g a composite number?
False
Suppose -5*i + 633 = -4*b, 4*i + 2*b = -2*b + 528. Let s = -45 + i. Suppose -5*y - 85 = -n, 5*n - 341 = 5*y + s. Is n a prime number?
False
Let z = 1 + 1. Is 2/4*(168 - z) a composite number?
False
Suppose -2*g + 4*g + 5*z = -6, 5*g = -4*z + 2. Let p(q) be the third derivative of q**5/30 - q**4/12 - q**3/3 - 2*q**2. Is p(g) a composite number?
False
Suppose 3*h = -2*j + 40, -5*j + 2*j = -5*h + 35. Let p = 4 - h. Is (-186)/(-18) - 4/p composite?
False
Let d(u) = -u**3 - 4*u**2 - 1. Let f be d(-4). Is (87/f)/(1 + -2) a composite number?
True
Let z(f) = -f**2 + 4*f + 5. Let w be z(4). Suppose a + 2*u + 2*u = -19, w*a = -4*u - 15. Is 119/(((-2)/a)/(-2)) prime?
False
Let t = -1145 - -1686. Is t composite?
False
Suppose 674 = 3*z + 143. Is z a composite number?
True
Is (-893)/(-4) + 10/(-40) prime?
True
Suppose 0 = -2*d + 3*w - 19, 3*d - 5*w + 27 = -0*w. Let a = d + 20. Suppose 4*k - a*k + 106 = 0. Is k composite?
False
Let x = 2 - -4. Suppose 5*o + i + x - 16 = 0, -4*o = -3*i - 8. Suppose 0*r + 62 = o*r. Is r a prime number?
True
Suppose -3*y + 2*y + 1 = 0. Suppose -5*z + 4*b - y = 0, z + 3*z - 3*b = 0. Suppose 21 = 3*o + z*t, 2*o - t + 25 = 6*o. Is o a prime number?
False
Let s(i) = 4*i + 7. Let j(f) = -f - 1. Let m(v) = 3*j(v) + s(v). Let w be m(0). Suppose w*a = -4*o + 636, 4*a = a - 5*o + 473. Is a prime?
False
Let o = -9 + 6. Let u = o + -3. Let c = u + 59. Is c prime?
True
Let h = -6 - -2. Is (h + 2)/2*-115 a prime number?
False
Let z(i) = 2*i**3 - 6*i**2 + 4*i. Let y be z(5). Suppose 4*w - 158 = -4*k - 34, 5*w - 2*k = y. Is w a prime number?
False
Let a = 1 - -5. Is a/(-8) + (-935)/(-4) prime?
True
Suppose 3*m - 16 = -m. Suppose -m*j = -14 - 10. Is j a prime number?
False
Suppose 0 = -k - 0*k - 1. Let l(r) = -57*r**3 + r**2 + 2*r + 1. Let v be l(k). Suppose 4*s + 4*o - 276 = 0, -v = -s + 5*o - 0. Is s a prime number?
True
Suppose -2*n - 5*n + 2149 = 0. Is n composite?
False
Suppose y - 3*j + 8*j - 567 = 0, -5*y - 2*j = -2789. Is y a prime number?
True
Let v(o) = o**3 + 3*o**2 - 2. Let s be v(-2). Let j = s - 0. Suppose -j*h = 73 - 267. Is h prime?
True
Let o(j) = 6*j**2 + 2*j + 1. Let p be o(-1). Let q be -3 + (-4)/8*-8. Is (p - 2)*q - 0 a prime number?
True
Let s be (-18)/(-2 + 4) - 0. Let m = s - -13. Suppose -5*j = m - 99. Is j prime?
True
Suppose z - 245 - 64 = 0. Is z prime?
False
Suppose 3*l + 2*g - 5*g - 15 = 0, 23 = 3*l + 5*g. Suppose 0 = 4*n - 16, l*z - z + n = 4. Suppose -2*h - j + 113 = z, j + j = -3*h + 171. Is h composite?
True
Let t(a) = a + 12. Let p be t(-5). Suppose p*n - 596 = 3*n. Is n a composite number?
False
Suppose 0 = -9*v + 10*v - 26. Is v a prime number?
False
Suppose 4*z - 217 = 547. Is z prime?
True
Is (-3)/(-1) - (-2828)/7 a prime number?
False
Let u = 392 - -318. Suppose 0*m - 2*m = -u. Is m a composite number?
True
Suppose 136 = -2*d + 6*d. Is d a composite number?
True
Let v = 393 + -140. Is v composite?
True
Let k = -4 + 7. Let s(g) = 8*g**2 - 2*g**k + 4 + g**3 + 5. Is s(8) prime?
False
Let k be ((-3)/(-2))/((-3)/(-268)). Is 6/(-3)*k/(-4) composite?
False
Let r(b) = -3*b + 2. Let z(u) = -3*u + 2. Let k(s) = -5*r(s) + 6*z(s). Let y be k(3). Let h = 56 + y. Is h composite?
True
Let v = -4 - -5. Is 2/((-75)/(-69) - v) a composite number?
False
Suppose 5*r - l = 75, 4*r + 2*l - 60 = 5*l. Suppose 0*i = -3*i + r. Let j(p) = p**2 - 2*p + 7. Is j(i) prime?
False
Suppose 0 = 16*z - 15*z - 213. Is z prime?
False
Let w(j) = 72*j**2 + j + 10. Let q be w(10). Is (-4)/(-26) + q/52 prime?
True
Suppose 0 = -4*l + q + 1097, 4*l - 1370 = -l + q. Let z = -146 + l. Is z composite?
False
Let d be ((-2)/6)/((-5)/75). Suppose 3*v - 643 = 2*y, 0*y - 1074 = -d*v + y. Is v a prime number?
False
Let z = 76 - 23. Is z a prime number?
True
Let o(t) be the first derivative of -t**3/3 + 6*t**2 + 10*t + 1. Is o(11) prime?
False
Suppose 674 = 3*z - 64. Let u = -88 + z. Is u a composite number?
True
Let j(b) = 41*b - 1. Let o be j(4). Suppose -5*i = -o - 232. Is i a prime number?
True
Let t be 6/27 - (-68)/18. Suppose -t*y - 644 = -8*y. Is y composite?
True
Let a be 2 + (2 - 2)/2. Suppose a*s + 260 = 2*c, -2*s + 2 + 6 = 0. Suppose -5*h = -409 + c. Is h prime?
False
Let g = -12 - -17. Suppose -4*p + 10 = 2*b, -5*b = -g*p + 18 + 17. Suppose -q = p*x - 2*x + 4, -16 = 4*x. Is q prime?
False
Let t(i) = -i**3 + 6*i**2. Let j be t(6). Suppose 55 = -j*v + v - 5*x, 4*x = 0. Is v composite?
True
Let x = 17 - 0. Suppose -2*u + x - 7 = 0. Suppose -u*d + 0 = -