(m/(-56)) a composite number?
True
Is 4 - (-1 - -4) - -36 a prime number?
True
Let a(h) = h + 2 + 9 + 4*h - h**3 - 7 + 7*h**2. Is a(-7) a composite number?
True
Suppose 180 = -7*y + 4*y. Let v = 327 + y. Is v prime?
False
Let l(d) = -16*d - 14. Let a(g) = -g - 1. Let n(y) = 42*a(y) - 3*l(y). Let c(w) = w**2 + 5*w + 1. Let o be c(-5). Is n(o) composite?
True
Let d(b) be the second derivative of 1/3*b**3 + 0 + 0*b**4 - 1/20*b**5 - b**2 - b. Is d(-3) a prime number?
True
Let p = -5 + 9. Suppose 0 = -0*m + 2*m - p. Suppose 0*b - f = 3*b - 72, 3*b - m*f = 81. Is b a composite number?
True
Let f be (0 + -3)/(-5 + 6). Let q be (-6)/3 + f + 3. Is ((-2478)/35)/(q/5) prime?
False
Suppose 0 = -2*p + 35 + 27. Is p a prime number?
True
Let p = -864 + 1573. Is p composite?
False
Suppose -3*o = 2 + 1. Is (o - -1)/(-3) + 53 a prime number?
True
Suppose 56 = -2*h - 5*f + 2583, 0 = -5*h + 2*f + 6274. Suppose -s + i + 248 = -2*i, -5*s - i = -h. Is s a composite number?
False
Let n(f) = f + 6. Let t be n(7). Suppose -2*y + 81 = t. Let v = 47 - y. Is v composite?
False
Suppose -1263 - 198 = -5*h + s, 0 = 4*h + 5*s - 1192. Is h prime?
True
Let l(u) = -18*u + 1. Let x(g) = 0*g**2 + 4*g**3 - 3*g**3 - 1 + g**2. Let i be x(-1). Is l(i) prime?
True
Let k be (-2 + -2)*(-330)/8. Let w = -44 + k. Is w composite?
True
Suppose 0*a + 3*a - 120 = 0. Let j be -2 + a + (0 - 1). Suppose -j = -2*c + c. Is c a prime number?
True
Let h(k) = k**3 + 14*k**2 - 11*k - 13. Suppose -4*n + n = 39. Is h(n) prime?
False
Let m = 1285 - 532. Suppose -5*w + 2*x = -m, 4*w = -6*x + 4*x + 588. Is w a prime number?
True
Suppose 2*f = -3*g - 0*g + 915, -2*f - 1509 = -5*g. Is g a prime number?
False
Suppose -954 = -5*c + 481. Is c prime?
False
Let t(q) = q**3 - 5*q**2 - 8*q + 7. Let g = 20 + -13. Is t(g) composite?
True
Suppose -583 + 65 = -2*s. Is s a composite number?
True
Is 1361 + 0 + (0 - 0) a prime number?
True
Let i = 51 + 6. Let j = -2 - -4. Suppose -5*s + j*s = -i. Is s a prime number?
True
Let u be 3 + -2 - (-1 + -1). Let g be (-4)/u*(-51)/(-2). Let o = g - -55. Is o a prime number?
False
Suppose t + 1128 = 9*t. Is t a prime number?
False
Let h(v) = -18*v - 7. Is h(-7) a prime number?
False
Let r = 77 + -22. Suppose 2*p = r + 11. Is p prime?
False
Suppose -5*l + 3*z + 39 = -387, l - 2*z = 81. Is l prime?
False
Suppose -7*a + 2*a = -15. Suppose 3*i = -a*p + 285, p + 3*i - 36 - 55 = 0. Is p composite?
False
Let j(u) = 180*u - 2. Let d be j(-3). Let o = d + 371. Let k = -92 - o. Is k composite?
False
Let g = 8 - 7. Let z be (0 + 2)*g/2. Is (-21 - z)*-3 - -3 prime?
False
Let h(t) = 0 - 3 - 3*t**2 + 4*t**2 - 4*t. Let n be h(5). Is 1 - 1/(n/(-108)) a composite number?
True
Suppose 18*b = 15*b + 63. Is b prime?
False
Is (2/((-2)/(-71)))/(5 - 4) a composite number?
False
Let z(y) = 143*y - 9. Let j(k) = -4*k - 4. Let g be j(-2). Is z(g) prime?
True
Suppose -6*o + 3*o + 177 = 0. Is o a composite number?
False
Suppose -g - 3*g = -v + 899, 4*v - 3563 = 5*g. Is v a composite number?
False
Suppose 55 = -4*w - 3*y, 2*w + 14 = w - y. Let i = w - -35. Is i composite?
True
Suppose -2*h - 4 = -6*o + 2*o, 3*h = -4*o + 14. Suppose -h*j + 435 = 3*j. Is j a prime number?
False
Let u(c) = 91*c**2 + 1. Let a be (3 + -2)/(2/(-2)). Let j be u(a). Suppose j = 3*z - z. Is z a prime number?
False
Let r = 4 + -2. Let h = 44 + -25. Is h/2 + 1/r composite?
True
Let t(c) = -c**3 - 4*c**2 - 5*c - 7. Let l be t(-3). Let a = -1 + 3. Let x = a - l. Is x a composite number?
False
Suppose -10*v = -3*v + 42. Let n(o) = -3*o**3 + 6*o**2 - 6*o + 13. Is n(v) composite?
True
Let x be -1*2*5/(-2). Suppose 0 = 2*d + x*g - 23, 3*g - 16 = -3*d + 4*d. Is (2 - 1)*(-79)/d a prime number?
True
Suppose -t + 2 - 13 = 0. Let y = 28 + -30. Let r = y - t. Is r composite?
True
Suppose -4*t + 859 - 327 = 0. Is t a prime number?
False
Suppose -2*h - 122 = 3*g + g, -89 = 3*g + 4*h. Let n = 77 + g. Is n prime?
False
Is (-1338)/(-4)*(-18)/(-27) prime?
True
Let j(s) = -784*s - 19. Is j(-3) a composite number?
False
Let j = 5609 + 504. Is j prime?
True
Suppose s - 20 = -3*z - 4*s, -z + 10 = s. Let y = 164 - z. Is y composite?
False
Suppose 2*t + t = -5*x + 25, 5*t + 5 = x. Suppose t*a + a = -3. Is (a - -5)*62/4 a composite number?
False
Let q be -6*((-7)/3 - -2). Suppose 5*p = 3*a + 464, -q*a + a - 276 = -3*p. Is p prime?
False
Let w be 0*(28/(-8))/7. Suppose w = -2*h + 4*h - 154. Is h a composite number?
True
Let q(p) = p**2 - 2*p - 1. Let y(w) = -w**3 + 7*w**2 + 8*w + 3. Let b be y(8). Let g be q(b). Suppose -g*m = -3*m + 58. Is m a composite number?
True
Let o be 2/5 + 171/(-15). Let a = 15 + o. Is (94 - 1)*(a - 3) prime?
False
Is (-6065)/(-20)*(0 + (4 - 0)) a composite number?
False
Suppose 0 = 2*p - 0*p + 4. Let m be 4 + p - (242 - 2). Let r = -161 - m. Is r composite?
True
Let l(k) = -21 + 21 - 55*k. Is l(-1) a composite number?
True
Suppose -2*a - 4*s + 164 + 38 = 0, 12 = 4*s. Is a a composite number?
True
Let u be 2/6 - 12225/9. Is u/(-12) - 3/18 a prime number?
True
Suppose 3*q - 2*a - 2*a - 4679 = 0, -3*q - 3*a = -4686. Is q composite?
True
Suppose 8*l + 479 = 1671. Is l prime?
True
Suppose 4*q - 5*q = 0. Suppose -2*h - 4*t + 5*t + 750 = q, 3*h - 1107 = -3*t. Is h a composite number?
False
Let s(v) = v**3 + 6*v**2 + v - 8. Let z be s(-6). Is (-4)/(-28) + (-2952)/z prime?
True
Suppose -3*b = 4*x - 3, -4*x - 3 = -x - 3*b. Let p be (x - -606)*2/6. Suppose 0 = 4*s + 4*l - 216, 0 = 4*s - 4*l - p + 10. Is s a prime number?
False
Let q(o) = 2*o - 13. Let w = 10 - 9. Let p be (w/2)/(1/20). Is q(p) a composite number?
False
Let k = -5 - -75. Let q = k + -140. Let j = 197 + q. Is j composite?
False
Let b be (-14)/(-4) - 3/6. Suppose 4*p - b*f = 511, 3*p - 7*f - 386 = -2*f. Is p composite?
False
Let l = 576 - 388. Suppose -m + 291 + l = 0. Is m a prime number?
True
Let v(n) = n**3 - n**2 - n - 1. Let z be v(2). Let y = 3 - z. Is (-4 - -4) + 0 + y a prime number?
True
Is (-38)/(-6)*(-5 + 8) composite?
False
Let v = -2 + 4. Is (6/v)/(-1 - -2) composite?
False
Suppose -4*x = h - 6 - 4, -3*h = -2*x - 2. Suppose 0 = -0*r + r - h*d - 11, -4*r + 24 = -4*d. Let u(p) = 140*p**3 + 2*p - 1. Is u(r) composite?
True
Is (56/3 + 2)*45/30 a prime number?
True
Let n = 139 - 81. Is n a composite number?
True
Let v = -4 - -5. Let a(y) = 2*y**2 + 2*y - 1. Let j be a(v). Suppose -j*o = -2*o - 43. Is o a composite number?
False
Let c(w) = 6*w**2 + 4*w - 1. Let p(m) = 7*m - 2. Let d be p(1). Is c(d) composite?
True
Let n be (-3)/(-7 - (0 + -4)). Suppose -j = -1 - n, -316 = -2*w - j. Is w a prime number?
True
Suppose 2*r + 2*r = 0. Suppose -l + 83 = -r*l. Is l a composite number?
False
Let c(v) = v + 4. Let s be c(-5). Is (12/(-20))/(s/235) prime?
False
Let r = -685 + 1178. Is r a composite number?
True
Let j(x) = -6 + 16 + 2 + x + 7. Is j(0) prime?
True
Let i(j) = -2*j**2 - 3*j - 4. Let s be i(6). Let m = -56 - s. Is m a composite number?
True
Suppose -3*m - 2*j = m - 36, -j = m - 9. Let t = m + -13. Is (53/t)/((-2)/8) a prime number?
True
Let x(y) be the third derivative of y**6/48 + y**5/24 + y**4/24 + 2*y**2. Let v(w) be the second derivative of x(w). Is v(4) a prime number?
False
Suppose -n + 0 = -10. Let k = 21 - n. Is k a composite number?
False
Suppose 0*u = -3*u + 40389. Is u a composite number?
False
Suppose 0 = 6*t - 3*t + 597. Let m = t - -506. Is m a composite number?
False
Let a(r) = -1 + 2*r + 7*r + 5. Is a(7) composite?
False
Suppose -7*q - 54 + 845 = 0. Is q a prime number?
True
Let l(m) = 2*m**3 + 6*m**2 + 3*m - 5. Let u be l(-4). Let i be 1888/22 - 10/(-55). Let o = i + u. Is o a composite number?
False
Let u = -4 - -10. Let r be 0*((-15)/u - -3). Suppose r = 5*f - 7*f + 148. Is f composite?
True
Let c be (0 + -1)/(3/(-9)). Suppose c*b - 26 = b. Is b a composite number?
False
Let o be (-10)/((-1)/137*-2). Let u = 1014 + o. Is u a prime number?
False
Let l = 411 - 28. Suppose -135 = -2*x + l. Is x a prime number?
False
Let i(x) = 7*x**2 + 2*x + 7. Suppose -5*l + 10 + 10 = 0. Is i(l) prime?
True
Suppose -3*z + 3 = -3*s, -4*s - 16 = -z - 0*s. Is 293*z/(2*-2) prime?
True
Is (0/(-1) - 3)*103799/(-69) composite?
False
Let m = 461 + -275. Let v = m + 79. Is v composite?
True
Let g(d) = 3*d**2 + 2*d + 5. Let o(n) = 4*n**2 + 2*n + 6. Let a(l) = 6*g(l) - 5*o(l). Le