prime number?
True
Suppose -p + 56 = 524. Let l = p + 719. Is l composite?
False
Let h = 39 + -18. Suppose -8 + h = f. Is f a composite number?
False
Let s = -705 + 1231. Is s prime?
False
Let h(d) = -2*d**2 - 2*d + 1. Let s be h(1). Is 351/6*(-2)/s a composite number?
True
Let x = -5459 - -2642. Let m be x/45 - (-2)/(-5). Let q = -26 - m. Is q a prime number?
True
Let t be (0/(-1))/((-8)/(-4)). Suppose -2*r = -t*r - 442. Is r a composite number?
True
Is 1*4/((-16)/(-356)) composite?
False
Let g be (-6)/9 + (-11)/(-3). Suppose g*y = -y + 1212. Is y a composite number?
True
Is 16 + ((-2 - -5)/3)/(-1) composite?
True
Suppose -4*b + 30 = p, 3*p = -p - 2*b + 64. Is p prime?
False
Let v(l) = -4 + 4 - 76*l - 82*l + 1. Is v(-1) prime?
False
Let b(z) = 224*z**3 + 2*z**2 - 1. Is b(3) prime?
False
Let u = 8 - 6. Suppose 5*l + 67 = 4*g, -6*g = -2*g - u*l - 70. Suppose -n + 59 = -g. Is n composite?
True
Suppose 63 = 5*m + 5*x + 8, 4*m + 3*x - 46 = 0. Let z = 5 - m. Let n = 12 + z. Is n a prime number?
False
Let b(c) = -3*c + 1. Let t be b(-1). Is t/2 + 82 + 3 a prime number?
False
Suppose 0 = 3*j - 511 - 1208. Is j a composite number?
True
Let v(a) = -a**3 + 7*a**2 + 10*a - 1. Is v(8) a composite number?
True
Let r(a) = a**3 + 7*a**2 + 6*a + 4. Let b be r(-4). Suppose 5*p = -783 + b. Let c = -102 - p. Is c prime?
False
Suppose -2*s - 5*g + 112 + 173 = 0, 5*s - 2*g = 727. Is s a composite number?
True
Let a(i) = 81*i - 4. Let l be a(3). Let h = l - 112. Suppose -j + 3*w = -56, 0 = 2*j - 2*w - w - h. Is j prime?
True
Let p(s) = s**3 + 5*s**2 + 7*s + 19. Is p(8) a composite number?
False
Suppose 0*y = -3*y + 48. Let b = 49 - y. Is b prime?
False
Suppose -3*m = 2*g - 2030, -2*g - 2*m + 1121 = -905. Is g composite?
False
Let d(v) be the second derivative of v**4/12 + v**3/3 + 2*v**2 + v. Let u = 13 - 18. Is d(u) a composite number?
False
Suppose 0 = d - 6*d + 1355. Let o = d + -144. Is o prime?
True
Suppose 16*l - 11*l = 1315. Is l prime?
True
Suppose 0 = -s + 3*j + 10, 0 = -s - 0*j - 2*j - 5. Let a = s + -10. Is (2 - 59)*3/a a composite number?
False
Let i = 3337 - 1050. Is i a composite number?
False
Let t(g) be the third derivative of g**5/6 + g**3/6 - g**2. Let a be t(1). Let v = a + -1. Is v a composite number?
True
Let p = 6 - 8. Let x be (0/(p + 3))/(-1). Suppose -5*k = -x*k - 55. Is k prime?
True
Let m(r) = 2*r**2 - r - 4. Let i be m(-2). Is ((-16)/i)/((-4)/6) a prime number?
False
Let y(u) = -u**3 + 7*u**2 + 8*u. Let a be y(8). Suppose 4*j + 3*p - 233 = a, -5*p - 5 - 59 = -j. Is j a composite number?
False
Let i(h) = h**2 - 10*h + 6. Let t be i(5). Let a = t - -32. Is a composite?
False
Is 6/39 + 2832/13 a prime number?
False
Suppose 358 = 8*w - 338. Is w prime?
False
Suppose s = -3*u + 1815, 2*s - 2420 = 3*u - 7*u. Let y = u + -402. Is y a prime number?
False
Let j(b) = 8*b**2 - 6*b - 1. Suppose 5*q = 8 + 17. Is j(q) composite?
True
Suppose 0 = 4*g - 20, 0 = -0*t + 2*t - 5*g - 5. Suppose -3*a = -s - a + t, -4*s = -4*a - 40. Suppose -2*o = -s*o + 171. Is o composite?
True
Let a(g) be the first derivative of -3*g**4/2 + g**3/3 + 3*g**2/2 + 3*g + 3. Is a(-2) prime?
False
Let a = 4012 - 2327. Is a a composite number?
True
Let j(t) = -4*t**3 - 7*t**2 - 3*t - 3. Let k(r) = 3*r**3 + 6*r**2 + 3*r + 3. Let n(a) = -4*j(a) - 5*k(a). Let s be n(3). Is 201/(s/1)*-1 prime?
True
Is (-1 + (-22)/(-8))*116 prime?
False
Suppose 0 = 2*c + 4, -4*y - 5*c + 738 = -0*y. Is y composite?
True
Let y(a) = 16*a - 29. Let i(f) = -5*f + 10. Let l(t) = -17*i(t) - 6*y(t). Let j(m) = -m**2 - 4*m - 3. Let d be j(-4). Is l(d) prime?
True
Let n = -186 + 131. Let k = n - -89. Is k composite?
True
Suppose 0 = -4*l + 3*b + 697, 4*l - b - 4*b - 703 = 0. Suppose -2*f + 439 + 53 = 0. Let q = f - l. Is q composite?
True
Let y(l) = -l**2 - 5*l + 9. Let o be y(-7). Let x(t) be the third derivative of -t**5/60 - 7*t**4/24 - 7*t**3/6 - t**2. Is x(o) composite?
False
Suppose 2*l - 155 = -3*w, 0 = -3*w - 3*l + 154 + 2. Let o = w - -38. Is o a composite number?
False
Suppose -2*t = -3*f + 1939, 2*f - t - 1293 = -0*f. Is f composite?
False
Let i(l) = 4*l**2 + 2*l - 1. Let q = -14 - -10. Let y = 2 + q. Is i(y) composite?
False
Let q = -439 - -1026. Is q composite?
False
Let z = -3 - -258. Suppose -o + 5*s + 0 = -74, -4*s - z = -3*o. Is o a prime number?
True
Suppose -2597 = -4*z - 4*p + 5135, 0 = 5*z + 4*p - 9663. Is z prime?
True
Suppose -5*t + 1650 = 5*a, -5*t - 3*a - 1060 = -2708. Is t prime?
False
Let m(k) = 0*k**3 - 2 + 3*k**3 - 1 - 3*k. Let o(u) = 16*u**3 + u**2 - 15*u - 16. Let i(g) = 11*m(g) - 2*o(g). Is i(4) a prime number?
True
Let v(h) = -h - 3. Let a be v(-10). Is 57*a/3 - 2 composite?
False
Let z(o) = o**2 + 1. Let l(v) = 2*v**2 - 1. Let m(i) = l(i) - z(i). Let r = 51 - 55. Is m(r) a prime number?
False
Let o(m) = -m**3 - 6*m**2 + 4*m + 8. Let n be o(-7). Let i = n + -16. Is i a composite number?
False
Let s be 2/(-5) - 64/(-10). Suppose -4*t = h + 55, 4*t + s = t. Let d = h - -102. Is d a prime number?
False
Suppose -10*k + 5*k = -790. Is k composite?
True
Suppose -i + 5 - 3 = 0. Let f(l) = l + 17*l + i - 9. Is f(5) composite?
False
Let o = 3 + -3. Let g = 0 - o. Suppose g = 3*f - 206 - 67. Is f a prime number?
False
Suppose -2*v + 5*h + 802 = 0, 0 = -3*v - 3*h + 7*h + 1189. Is v composite?
True
Suppose 5*p - 332 = -77. Is p a prime number?
False
Let n be 57/(-38)*(-32)/6. Is 222/n*8/3 composite?
True
Suppose 5*k + 30 = 2*k. Let l = k + 129. Is l prime?
False
Let h be (-3)/(-2) + (-89)/(-2). Suppose 2*l - 102 - h = 0. Is l a composite number?
True
Is (-1)/(-4) - 8937/(-12) a composite number?
True
Let f be ((-44)/5)/(2/(-5)). Suppose 4*b = -5*u + 47, -u - 7*b = -2*b - f. Is u composite?
False
Let k(f) = 55*f**2 - 2 + 1 + 2. Is k(2) composite?
True
Let j(n) = 2*n**2 - 4*n + 6. Let x be j(-8). Is x/(3 + (-1)/1) composite?
False
Let d be (-10)/35 - (-60)/14. Is d*(-14)/12*-3 a composite number?
True
Suppose 2*g - 25 = -3*g. Let l(y) = -y**3 + 5*y**2 + 6*y + 7. Is l(g) prime?
True
Suppose 2*m = -2*m + 48. Suppose 0 = 5*i + 2 - m. Suppose 4*d - 2 = -r, -2*r + i*d + 20 = -4. Is r prime?
False
Let o(s) = -380*s - 21. Is o(-13) composite?
False
Suppose 4*s - 22 = -2. Is 573/s + (-2)/(-5) a composite number?
True
Suppose -13*o - 1492 = -17*o. Is o prime?
True
Let y(i) = -i**3 + 16*i**2 - 13*i - 4. Let p be y(11). Suppose -5*d = -27 - p. Is d a prime number?
True
Suppose 3*o - 331 - 104 = 0. Is o composite?
True
Let p = -140 + 243. Is p a prime number?
True
Suppose 5*k = t - 37, 2*k - 80 = -5*t + 6*k. Is t/8*(-44)/(-3) a prime number?
False
Let u(r) = 30*r - 13. Suppose -6 = o - 3*o + 4*b, 3*o - 41 = -2*b. Is u(o) a composite number?
False
Let r = 3 - -21. Let h be (-2)/(r/(-177))*12. Suppose -4*z + z = -h. Is z a prime number?
True
Let f = -5315 - -7494. Is f composite?
False
Suppose 0 = 4*b + 4*w - 4, -6 = -b + 5*w + 1. Suppose -2*a + 5*x + 549 = b*a, -a + 141 = -2*x. Is a prime?
True
Let g be -6 - -3 - -1 - 1. Is (0/(-1) - g)*7 composite?
True
Let a = 284 - 186. Suppose 2*x - 23 = v + a, 0 = 5*x - 5*v - 315. Is x a composite number?
True
Suppose h - 41 = 38. Is h a prime number?
True
Let k = 178 - 72. Suppose -2*q = -k - 124. Is q prime?
False
Suppose 2836 = -13*s + 17*s. Is s prime?
True
Let d(g) be the second derivative of g**3/6 + 11*g**2 - g. Let u(i) = i - 2. Let b be u(2). Is d(b) composite?
True
Let a(i) = 19 - 5*i + 7*i**2 - i**3 - 8 - 7. Let j(c) = c**3 + 3*c**2 - 5*c + 2. Let y be j(-4). Is a(y) composite?
True
Suppose -4*i = -4*g - 1 + 9, 0 = 5*g - 4*i - 7. Is (-33*2)/g - -3 prime?
False
Let m(x) = x**3 - 4*x - 5. Is m(4) a prime number?
True
Suppose 0 = -s - 4*t + 935, -t - 3774 = -4*s - 0*t. Is s a prime number?
False
Suppose -4*k + 5*k = 3. Suppose 5*c - 821 = k*b, -3*c + 5*b + 662 = c. Is c prime?
True
Suppose 3*h = -h. Suppose -4*q + 23 + 17 = h. Suppose q - 2 = 4*d. Is d composite?
False
Suppose r + r = -5*m + 11, 3*m - 4*r - 17 = 0. Is ((-14)/m)/(14/(-21)) a prime number?
True
Let n be -6*(3 + (-11)/3). Is 1/n + (-139)/(-4) composite?
True
Suppose 3*d + 0*d = -15. Let n(i) = -i**3 - 5*i - 2. Let y be n(d). Suppose z + b = 30, 5*z = 3*b + 10 + y. Is z prime?
True
Let u be -2 + 2 + (4 - 13). Is 21*(-3 - 96/u) composite?
True
Let m = -892 + 1449. Is m a composite number?
Fals