-5*m - r. Is m a prime number?
True
Suppose -i - 2 = -0*i, 4*i - 460 = 3*r. Let f = r - -261. Suppose 0*q + f = 5*q. Is q a composite number?
True
Suppose -2*n + 3*n = 119. Suppose n - 38 = -3*s. Let k = s - -58. Is k composite?
False
Let o be (24/9)/(4/6). Is 11 + (o + -2 - 2) composite?
False
Suppose 2530 + 651 = v. Is v a prime number?
True
Let t = -11 - -18. Let o be (2 + -1)*t - 0. Let d = o + 32. Is d composite?
True
Let h be 0*1*(-1)/(-1). Suppose 2*j - d = 0, 3*j = -h*j + 3*d + 6. Is (5 + j - 2)*19 composite?
False
Let z(r) = -2*r**2 - r**2 + 2*r**2 + 5*r. Let b be z(5). Suppose 5*c - 39 - 116 = b. Is c composite?
False
Suppose 8661 = 2*a - 1645. Is a composite?
False
Suppose 0*a = 3*a - 138. Is a a composite number?
True
Let n be 130/3 - 6/(-9). Let z be (2 - n)*(-2)/4. Is z + (1 - 1 - 2) composite?
False
Suppose 0 = -4*c + 35 - 11. Suppose -c*h + 3*d + 176 = -5*h, 4*h - 2*d - 734 = 0. Is h composite?
True
Let p = -39 - 62. Let n = p + 250. Is n a composite number?
False
Let p(m) = -4*m**3 - 1. Is p(-5) composite?
False
Let o = 78 - -71. Is o prime?
True
Suppose 5*o = 2*d - 1302 + 147, 4*d - 4*o - 2292 = 0. Let u = 1055 - d. Suppose -5*j + 170 = -u. Is j a composite number?
False
Suppose 5*a - 4*n - 23 = 0, 0 = -0*n - 3*n - 6. Suppose 0 = -a*s + 14 + 55. Is s a composite number?
False
Is (77/14)/((-1)/(-10)) composite?
True
Suppose 5*u - 5 = 0, 2*u = -0*i - i + 256. Is i composite?
True
Let o be -1*(-4)/(12/21). Let s = 26 - o. Is s a composite number?
False
Suppose 8 = 2*d, 10*v - 5*v + d - 4259 = 0. Is v composite?
True
Suppose -2*g + 1215 = 5*i + 3*g, 1175 = 5*i - 3*g. Suppose 5*t + 63 = i. Is t a prime number?
False
Suppose -7*p - 20 = -2*p. Let y = p - -3. Let q = y - -4. Is q a composite number?
False
Let u = 408 - 89. Is u a prime number?
False
Suppose 11 = 4*k - 13. Suppose -k*z + 4*z = -694. Is z a prime number?
True
Is 3 - 14/2*-90 a composite number?
True
Let k = -253 - -398. Is k composite?
True
Is 1*((-248)/(-3) - 18/(-54)) a composite number?
False
Suppose 2*d - 27 = -a, -3*d + 24 = 5*a - 27. Suppose -4*q + 4 = -d. Let p(g) = 9*g + 1. Is p(q) prime?
True
Suppose 0 = 4*g - 3*a - 10021, -2*g - a = -620 - 4383. Is g prime?
True
Let r(n) = n - 9. Let u be r(4). Let h(b) = b**3 + 8*b**2 + 5*b - 7. Let x be h(u). Let k = -10 + x. Is k composite?
True
Let k be 1 - -2 - (4 + -2). Is ((-25)/(-10))/(k/62) a composite number?
True
Suppose 0*l + 4 = l. Suppose l*g - 229 = g + 2*b, g - 79 = -2*b. Is g a composite number?
True
Suppose 5*x - o + 2120 = 4*o, 4*x = 2*o - 1694. Is x/(-12) - 3/12 composite?
True
Let d(n) = -n**2 + 2*n + 3. Let h = 8 + -5. Let m be d(h). Suppose -2*l = -m*l - 3*u - 70, 0 = 2*l + 5*u - 70. Is l composite?
True
Suppose 7*l = 2*l. Suppose -3*c = -15, -n + l*n - 17 = -4*c. Suppose -n*r - x = -269, -2*x + 33 = -5*r + 474. Is r prime?
True
Let y(j) = 2*j**3 - j**2 + 3*j - 1. Is y(3) a composite number?
False
Suppose 0*h + 9743 = 4*b - h, 9758 = 4*b + 2*h. Is b composite?
False
Let k = 248 - 161. Is k a prime number?
False
Let r(q) = q**2 + 11*q + 3. Let t be r(-11). Suppose p + 28 = t*p. Is p prime?
False
Is 6/(-9) - 380/(-12) a prime number?
True
Let i = 72 + 17. Suppose 3*l = 4*l - i. Is l prime?
True
Let i(v) = 34*v + 4. Let h be i(4). Suppose -3*u - u + h = 0. Is u a prime number?
False
Suppose -102 = -h + 4*g, -5*h + 488 = -h + 4*g. Is h a prime number?
False
Let q(l) = l**2 - 6*l + 1. Let x be q(-5). Suppose y = -0*y + 364. Suppose 4*o + x = y. Is o prime?
False
Let i(d) = 2*d**2 - 17*d - 10. Let x(u) = -u**2 + 8*u + 5. Let k(w) = -4*i(w) - 9*x(w). Is k(-6) composite?
True
Let a = 64 + -33. Is a prime?
True
Suppose 4*i + 2*n = 0, -2*i = -4*n - 1 - 9. Suppose 0 = m - i + 11. Is (-27)/(-2) - (-5)/m a prime number?
True
Suppose 5*m = -122 - 83. Suppose -5*c + 4*f = 110, -6*c + 105 = -11*c + 5*f. Let k = c - m. Is k a composite number?
True
Let n = -1373 + 3588. Is n composite?
True
Let a = 0 + 2. Let b be (2 + (-27)/a)*18. Let h = -138 - b. Is h prime?
False
Let y(t) = -t**3 + 18*t**2 + 24*t - 19. Is y(16) a composite number?
False
Let f(b) = -105*b + 16. Let n(v) = -21*v + 3. Let d(y) = 2*f(y) - 11*n(y). Is d(4) prime?
True
Is -2*(1083/(-6) + 3) a composite number?
True
Suppose -3*g - 2*f = -114, -g + 9*f - 4*f + 38 = 0. Is g composite?
True
Let g = -210 + 329. Is g a composite number?
True
Let n = 520 + 499. Is n composite?
False
Suppose 3*g + 7 = -3*s + 4*g, 0 = 2*s + 3*g + 1. Let j(n) = -28*n - 1. Is j(s) a composite number?
True
Let j(y) = -173*y**3 - y**2 - y + 6. Let n(l) = 174*l**3 + l**2 + l - 5. Let a(c) = -6*j(c) - 7*n(c). Is a(-1) prime?
True
Suppose 0 = 3*i - 2*j - 0*j - 62, 3*i + 5*j = 76. Suppose i = -l + 3*l. Is l prime?
True
Let x(c) = -c**2 + 4*c - 1. Let n be x(3). Let y(k) be the third derivative of 11*k**5/30 + k**3/6 - k**2. Is y(n) a composite number?
False
Let n = -71 - -120. Is n prime?
False
Let q = -9 - -22. Suppose 2*p - 4 = 0, 0*p = -r - p + q. Suppose r + 5 = 4*h. Is h a prime number?
False
Is (1*-2)/4*(-3149 + 7) a prime number?
True
Let g be (4/10)/((-3)/(-2820)). Suppose -81 = 5*a - g. Is a prime?
True
Let o(l) = 2*l**3 + 17*l + 7. Is o(6) a prime number?
True
Let w(p) be the first derivative of -21*p**2 + 4*p - 3. Let d(a) = a - 1. Let q(g) = -d(g) - w(g). Is q(2) prime?
True
Let t = -3 + 5. Suppose t*j = 4*s + 48, -3*s = -2*j + 27 + 19. Suppose -j - 15 = -5*c. Is c prime?
True
Is 4 + 71875/40 + (-1)/(-8) a prime number?
True
Suppose -i = 5*u - 14, 2*i = -u + 4*i + 5. Suppose u*o - 11 = -g, -2*g - 2*o - o + 22 = 0. Is g composite?
False
Let a(t) = t. Let d(i) = -i**2 - 2*i + 8. Let w(f) = 2*a(f) + d(f). Let p be w(0). Suppose 0 = 2*u - 22 + p. Is u a composite number?
False
Suppose 5*x - 393 = 4*r, 4*x + r = -242 + 569. Let n = 148 - x. Is n prime?
True
Suppose w + 5*v - 11 = -1, 4*v + 1 = w. Let a(f) = 51*f + 4. Is a(w) a composite number?
True
Let s = -48 + 51. Suppose -2*l + 80 = -10. Suppose s*c = 6*c - l. Is c a composite number?
True
Let y(j) = -3*j + j - 5 - j**2 + 3*j + 2*j**2. Let t be y(4). Is (-13)/((6/t)/(-2)) a composite number?
True
Suppose 0 = -4*w + 913 + 43. Is w a composite number?
False
Let y(n) = -3*n + 5. Suppose 0 = -3*c - 1 - 2, v + 3*c = -9. Let s = -12 - v. Is y(s) composite?
False
Let k(y) = y**3 - 6*y**2 - 2*y - 8. Let c be k(6). Let d = -17 - c. Is d composite?
False
Let a(k) = 8*k + 0*k + 7 - 5*k + 3*k**2. Is a(-11) composite?
False
Suppose 4*h = h. Suppose 3*y - 5*z = -1, h = -0*y - 2*y - 4*z + 14. Suppose -y*k - 35 = -4*k. Is k a composite number?
True
Let v = 1 - -1. Suppose 5*i + 145 + 77 = -v*l, 5*l + 524 = 3*i. Let b = 191 + l. Is b a composite number?
True
Suppose h = 2550 - 229. Is h a prime number?
False
Let g(j) = j**2 + 2*j + 16. Let s(d) = -2*d**2 - 2*d - 16. Let f be (-75)/27 - (-2)/(-9). Let y(w) = f*g(w) - 2*s(w). Is y(11) a composite number?
False
Suppose 0 = 3*g + 4 - 1. Is 418 - 0/(-1) - g composite?
False
Let w(j) = j + 2. Let r be w(-8). Is 302/6 + r/(-9) a prime number?
False
Suppose 6*u + 3 = 3*u, 2*k = -u + 1. Let a = 3 - k. Let i(j) = 2*j**3 - 4*j + 3. Is i(a) prime?
True
Suppose -265 = -2*k + 5*f, -2*k + 315 = -f + 6*f. Is k a composite number?
True
Suppose 9*f = 5*f + 9004. Is f prime?
True
Let b be -122 + (2/(-2) - -1). Let d = -69 - b. Is d prime?
True
Let j = 54 - -5. Is j a composite number?
False
Let w(t) = -2*t**3 - 6*t**2 - 2*t - 9. Is w(-10) a composite number?
True
Let n be (4/(-10))/((-4)/40). Is n/((-8)/(-11))*10 a composite number?
True
Suppose 3*l = 5*l + 6. Let s be 2/1 + (l - 0). Is (-1 + s)/(16/(-88)) composite?
False
Let h = 0 + 0. Let a(t) = t + 20. Let k be a(h). Suppose -k = 4*r - 0*r, -5*r - 95 = -2*c. Is c a composite number?
True
Suppose 22 = 4*l + 2*o, 3*o + 13 = 4*l - 14. Let w(h) = -4*h**2 + 19*h - 29. Let n(a) = a**2 - 6*a + 10. Let x(v) = -8*n(v) - 3*w(v). Is x(l) a prime number?
True
Let h = -11 - -16. Suppose 0 = -s - 2 + h. Suppose p + s*f - 113 = 0, 0 = -0*p - 2*p + f + 226. Is p composite?
False
Suppose h = -6*b + b + 832, -4*h = 4*b - 672. Is b composite?
True
Is (-6)/2 + 310*1 prime?
True
Let j = 6 + -4. Is (-77)/(-28)*j*2 a prime number?
True
Let i = 12 - 11. Is (i + 378/4)*2 a composite number?
False
Let i(b) = 7*b**3 - 18*b**2 + 7*b - 5. Is i(7) a prime number?
False
Let a(i) = i*