60 - -67. Is m prime?
True
Let j = 440 - 282. Is j a prime number?
False
Let m(q) = -238*q + 15. Is m(-4) a prime number?
True
Let p be 6*2/(2 - 6). Is 2 - 978/p - -1 composite?
True
Let j(o) be the second derivative of -o**3/3 - 3*o**2/2 - o. Let q(p) = 2*p + 1. Let y be q(-2). Is j(y) a prime number?
True
Suppose -j = j - 538. Suppose -q = d + 1, 0 = -3*q - 0*d - 4*d - 4. Is 3/(q - (-3)/j) a prime number?
True
Suppose -w = 0, -5*u - 4*w = -2*w + 10. Is (7 - -4)/(-1 - u) prime?
True
Let f = -6 - -7. Let g = f - 4. Is 0 + -2 - -78 - g a composite number?
False
Let d(o) = 108*o + 19. Is d(25) a composite number?
False
Let w(p) = 4*p**2 + 4*p - 2. Suppose 2*a + 29 = 4*j + 9, -2*a + 4 = 4*j. Is w(j) a prime number?
False
Let o = -584 + 997. Is o composite?
True
Let g = 582 + 67. Is g a prime number?
False
Suppose c - 4 = 0, -k + 12 = -2*k + 4*c. Suppose -k*f = -3*f - 82. Is f prime?
False
Suppose 31 = i + 8. Let a(v) = v**3 + 7*v**2 + 6*v - 4. Let s be a(-5). Let g = i - s. Is g composite?
False
Let y(x) = x**2 + 5*x + 2. Let a be y(-5). Suppose -4*d = -3*d - l - 12, d = a*l + 10. Is d a prime number?
False
Let u = 712 + -209. Is u a composite number?
False
Let y(b) = 20*b + 7. Let r(h) = 39*h + 13. Let u(q) = -3*r(q) + 5*y(q). Is u(-3) composite?
False
Let f = 80 + 35. Is f composite?
True
Let r = -8 - -42. Let f be 2/9 - r/(-9). Suppose 28 = 6*s - f*s. Is s a prime number?
False
Suppose 0*u + 2*u = 0. Suppose u = -g + 233 + 324. Is g composite?
False
Let t = -3 - -3. Let q = 11 - t. Is q a prime number?
True
Let f be 14/(-8) - 2/8. Let o(a) be the second derivative of a**4/12 - a**3/3 - a**2/2 - 4*a. Is o(f) composite?
False
Suppose o = -5*f + 92, 3*o - 129 - 135 = -3*f. Is o prime?
False
Suppose 2*m - 3 + 1 = 0. Let y = 7 + -10. Is m/y - 128/(-6) prime?
False
Suppose m - 261 = 401. Is m prime?
False
Suppose -5*b - 53 = -6*b. Is b prime?
True
Let s = -12 + 391. Is s prime?
True
Suppose -3 + 19 = -4*r + 4*t, 5*r = 3*t - 10. Let b be (-3 + 44 - -2)/r. Suppose 5*n - 187 - b = 0. Is n a prime number?
False
Let k(n) be the first derivative of -n**3/3 + 3*n**2/2 + 3*n + 1. Is k(3) composite?
False
Suppose 45 - 321 = -2*u - 3*w, -2*w = -5*u + 728. Suppose -191 - u = -5*n. Is n composite?
False
Suppose -3*a + 253 = 6*u - u, -5*a + 245 = 5*u. Is u a prime number?
True
Let b(d) = 55*d**2 + d + 1. Is b(-4) a prime number?
True
Let r(l) = 10*l**2 + 4*l + 5. Let g(k) = k**3 - 3*k**2 - 4*k - 4. Let p be g(4). Is r(p) a prime number?
True
Suppose 22 = -d + 3*s, -5*d + 4*s - 80 = -d. Let n = d - -40. Is n prime?
False
Let a = -80 + 127. Let n = -34 + a. Is n a composite number?
False
Let o = 40 + -14. Suppose -2*r + 20 = -4*v, -4*v + 0*r - r = o. Let i = v - -95. Is i a prime number?
True
Suppose -2*m - 191 - 300 = -i, -4*i = -2*m - 1970. Is i a prime number?
False
Suppose t - 16 = -3*t. Suppose -t*g + 397 = -3*g. Is g prime?
True
Let h(x) = 0 - 1 + x + 0. Let u be h(5). Suppose -j + u*j - 147 = 0. Is j a composite number?
True
Suppose -8*c = -7*c - 767. Is c composite?
True
Is 5879*(-6 + 3 + (4 - 0)) a prime number?
True
Let t(b) = -2*b**3 + 2*b**2 - 2. Let r be t(3). Is (r/(-5))/((-4)/(-10)) a prime number?
True
Suppose 0 = -4*q, -949 = -3*j - 2*q + 236. Let t = 12 + -5. Suppose j = -2*g + t*g. Is g prime?
True
Suppose 0 = v + 4*v - 10. Suppose 0 = -v*t + 47 + 19. Is t a prime number?
False
Suppose 0 = -5*t + 3*t - r + 2, -3*r = 2*t + 2. Suppose -l - t*l + 177 = 0. Is l a composite number?
False
Is (-10)/15*7662/(-4) prime?
True
Let t(w) = -w - 12. Let f be t(-12). Suppose f = 5*j - 2*j - 1257. Is j prime?
True
Let k(c) = c**2 + c. Let l(m) = 2*m**2 + 3*m + 1. Let b(h) = -4*k(h) + l(h). Let y(i) be the first derivative of b(i). Is y(-1) a prime number?
True
Is 554 - (-6)/(2 - 8) composite?
True
Suppose 2*y + i + 7 = -0*y, -2*y + 3*i + 13 = 0. Let c be (-15)/10*(1 - y). Let x(l) = -l**3 - l**2 - 2*l + 1. Is x(c) a composite number?
True
Suppose 3*r = -2*a + 20, 3*r - 7*r - 5*a + 29 = 0. Let c be 139/1 + 12/r. Let h = c + -90. Is h composite?
True
Let i(t) = 5*t + 4. Suppose l + c + 0*c = 5, 5*c = -2*l + 16. Is i(l) a prime number?
True
Suppose 5*f - 5 = -5*n - 0, 2*n + 19 = 5*f. Suppose -1165 + 52 = -f*o. Is o composite?
True
Let o be ((-208)/6)/(-4)*3. Suppose 5 = r - 2*c - 3, -5*r + 3*c = -o. Suppose -t = r*t - 70. Is t a prime number?
False
Let q = 105 + -47. Is q a composite number?
True
Let x = 27713 - 19248. Is x prime?
False
Suppose 0 = -x + 6*x - 20, 2*q = -x + 1230. Is q composite?
False
Suppose 5*y = 7 + 188. Suppose n - y = -97. Let g = -24 - n. Is g composite?
True
Suppose 6*u - u = 15. Let q(l) = -l**3 + 7*l**2 + l - 1. Is q(u) composite?
True
Is ((-25739)/(-10) + (-4)/10)*2 a prime number?
True
Is 6/(-16) - (-23382)/16 composite?
True
Let c(o) = o**3 + 6*o**2 + o + 6. Let r = -8 - -2. Let d be c(r). Suppose -3*a - 51 = -2*f - d*a, -2*f + 2*a + 56 = 0. Is f a prime number?
False
Let j(a) = -a**3 - a**2 + 1. Let u(k) = k**2 + 7*k + 6. Let o be u(-5). Is j(o) a composite number?
True
Let m = -48 - -94. Is m prime?
False
Let c be (-9)/6*(-12)/1. Suppose -22*a + c*a + 1228 = 0. Is a a composite number?
False
Let r(z) be the third derivative of 7*z**5/24 + 5*z**4/24 - z**3/2 + 2*z**2. Let c(a) be the first derivative of r(a). Is c(4) composite?
True
Let d be 3/6 - 52/(-8). Suppose -d*h = -3*h - 12. Is h/1 + (-50)/(-1) a prime number?
True
Let m = 9 - 34. Let q = -86 + 8. Let w = m - q. Is w composite?
False
Is 3*(2 - 580/(-15)) a composite number?
True
Let w(a) = 2*a**3 + 4*a**2 + a - 4. Let r be w(-3). Let g be 1716/(-10) + 10/r. Is 2/5 - g/20 a composite number?
True
Let v(w) = w + 2. Let h be v(-2). Let a be 4/14 - (-24)/14. Suppose h = -a*n + 43 + 19. Is n a prime number?
True
Suppose m - 2*t + 8 = 0, 0*m + 5*m + 4*t = -40. Let v = m + 21. Is v composite?
False
Let g(o) = 3*o**2 - 2. Is g(-2) a composite number?
True
Suppose n + 602 = 2*n - 5*u, 20 = 5*u. Suppose -w - 8 + n = 0. Is w composite?
True
Let p(b) = 2*b**3 - 5*b**2 - 4*b + 2. Let z be p(4). Suppose -3*u + 205 - z = 0. Let i = u - 38. Is i a prime number?
True
Is ((-84)/(-24))/(((-3)/34)/(-3)) a composite number?
True
Let u = 1 - -2. Suppose 5*s = 3*m - 30, -u*m + 3 = s + 3*s. Let y(f) = 5*f**2 - 5*f - 3. Is y(m) a prime number?
True
Let q(b) = b**3 + 9*b**2 + b + 12. Let l be q(-9). Suppose s + 2*f - 369 = -l*f, -5*s + 5*f = -1785. Is s a prime number?
True
Let b(o) be the first derivative of -o**4/4 - o**3/3 - o**2/2 + 119*o + 6. Is b(0) a composite number?
True
Let s(g) = 1 - 7 + 3 - 2 + 3*g + 9*g**2. Is s(-5) a composite number?
True
Suppose 0*h = 5*h. Suppose 0*q + 2*q - 62 = h. Is q a composite number?
False
Let m = 3719 + -2625. Suppose 4*a - m = 38. Suppose -3*f + a = -56. Is f prime?
True
Suppose 0*f + 2*f + 114 = 0. Let j = 131 + f. Is 3*(-2)/(-12)*j a composite number?
False
Suppose -5*f - 921 = -8*f. Is f composite?
False
Let w = 366 - 175. Is w prime?
True
Let n(h) = 22*h + 4. Suppose -4 = 3*r + 3*l + 11, -2*r = -4*l + 4. Let p be n(r). Let s = 195 + p. Is s prime?
False
Let p(i) be the second derivative of -i**5/10 - 7*i**4/12 - 5*i**3/6 + i**2/2 - 4*i. Is p(-4) a prime number?
True
Let u(q) = q**3 + 6*q**2 + 5*q + 5. Let b be u(-5). Let g(i) = 4*i**2 - 1. Let l be g(1). Suppose b*d = l*r + 279 + 472, 5*d - r - 747 = 0. Is d a prime number?
True
Suppose 2*b - 501 = 119. Suppose b = -10*f + 12*f. Is f composite?
True
Let b(y) = y**3 + 4*y**2 + 2*y - 2. Suppose -3*x - 3*i - 23 = x, 2*x - 5*i - 21 = 0. Let g be b(x). Suppose 0 = g*v - 93 - 13. Is v prime?
True
Let u = 271 - 180. Is u a prime number?
False
Is (-6)/(-15) - 21009/(-15) composite?
True
Let d = 3 + -3. Suppose d = -4*t + 10 + 6, -u - t = -27. Is u composite?
False
Let m = 6 - 2. Suppose -m*n - 51 = 5*o, 0 = o - 0*o - 5*n - 13. Let q = 4 - o. Is q a prime number?
True
Let s = -3 - -3. Let n(l) = l**3 + l**2 + l + 33. Is n(s) composite?
True
Let m = 20 + -13. Suppose -15 - 1 = -j. Let q = m + j. Is q a composite number?
False
Is ((-2)/2)/(1/(-265)) a composite number?
True
Let q(z) = 4*z**3 - z**2 - 3*z + 2. Let x be q(2). Let a = x - -5. Suppose -a = -3*c + 37. Is c composite?
True
Suppose 0 = -4*k - k + 15. Let q be 1/(k/(-981)*-3). Suppose -2*l + 21 = -q. Is l prime?
False
Let l be (20/6)/((-4)/(-6)). Suppose