 o composite?
True
Suppose -u + 2981 = 3*z, 2*z + 0*u = 2*u + 1982. Is z a prime number?
False
Suppose -5*i = -2*q - 4 + 3, -q - i + 10 = 0. Suppose q*d = 5*d + 928. Suppose a = t + 111, t = -2*a - 2*a + d. Is a a prime number?
False
Let y(t) = -t**3 - 6*t**2 - 7*t - 6. Let r be y(-5). Suppose -3*g = -4*w + 1910, r*g - 960 = -2*w + 3*g. Is w prime?
True
Suppose 17*y - 12*y - 25165 = 0. Is y composite?
True
Let b = 582 - 329. Suppose -76 = a - b. Is a prime?
False
Let k(p) = 3*p**3 - 2*p + 4. Let r = 10 - 7. Is k(r) a composite number?
False
Let u be (-5)/(1 - (-144)/(-141)). Suppose 2*z = -3*z + u. Is z composite?
False
Suppose 0 = -4*c + 1569 + 967. Is c a composite number?
True
Suppose 58 = 4*g - 502. Suppose 0 = 2*w + 4*t - 2, 3*w = -3*t + 6 - 0. Suppose g = q + w*q. Is q prime?
False
Let h(o) = -3*o**2 + 5*o**2 - o + 2*o**2 + 3 - 3*o**2. Is h(6) a composite number?
True
Suppose 2*o + 2*o - 4708 = 0. Is o a composite number?
True
Is (-15)/45 - (-5404)/3 composite?
False
Suppose 2*h = w + 73, 3*h + w - 47 - 75 = 0. Let n be h/15 - (-4)/10. Suppose -n*y = 2*y - 190. Is y composite?
True
Let f be 0 + 9/(-6)*2. Let n = f + 3. Suppose 4*j - 156 = -n*j. Is j a composite number?
True
Suppose -4*i = -8, 4*i - 3 = l + 1. Suppose n + 28 = 3*n - c, 76 = 5*n - l*c. Suppose 0 = -3*m + 6 + n. Is m composite?
True
Let v = 12 + -7. Suppose -x + 64 = f, -v*f + 48 + 86 = 2*x. Is x a composite number?
True
Let t(p) be the second derivative of p**7/840 - p**6/720 - p**5/24 + p**4/3 + 5*p. Let a(v) be the third derivative of t(v). Is a(5) a composite number?
True
Is 2/9 - 6145/(-9) a prime number?
True
Let n = 2838 + -1793. Suppose -n = -3*b - 94. Is b a prime number?
True
Let b be (-1 + 6 + -3)/2. Is -25*((-3)/b - -2) a prime number?
False
Suppose 15*s = 17*s - 78. Is 4/((-24)/s)*-2 prime?
True
Suppose -3*f = -324 - 303. Is f composite?
True
Let q(m) = -m - 24. Let p be q(0). Is ((-762)/p)/((-2)/(-8)) a composite number?
False
Let y(w) = 2*w**2 + 4*w + 1. Let v = -4 - -11. Is y(v) a prime number?
True
Suppose 0 = -f - 3*f - 24. Is (30/(-9))/(2/f) prime?
False
Let l = 17 - 12. Suppose 2*n = l*n - 165. Is n a composite number?
True
Let p be (-12)/8 - (-506)/4. Suppose -3*r + 4*o + 210 = 0, 2*r - 2*o = -r + 210. Let w = p - r. Is w prime?
False
Suppose -251 = 2*c - 3*c. Is c prime?
True
Suppose -14*g + 11*g = -1497. Is g a prime number?
True
Let r(d) = -d**3 - 2*d**2 - 7*d - 1. Let s be (15/20)/(1/(-8)). Is r(s) composite?
True
Let b = 190 + -46. Suppose -3*n - 4 + 10 = 0. Is b/27 - n/(-3) prime?
False
Let h be (-1)/1 + 1 - -2. Suppose -h*c = -6*c + 348. Is c a composite number?
True
Let t be 4/(-6) + (-92)/(-12). Let f be 2/t - 76/(-28). Suppose -31 - 128 = -f*r. Is r composite?
False
Is (15 + -16)*79*-2 prime?
False
Suppose -x + 5*n = -66, x + n - 7 = 47. Let w = -8 - -11. Let c = x - w. Is c a prime number?
True
Suppose -2*v + 5*o + 12 = 2*o, -5*o = -4*v + 20. Let u be ((2 - 1) + v)*1. Is (3 - (0 - 0))*u composite?
False
Let m(x) = -x**3 + 2*x**2 + 2. Let v(k) = k**2 - 6*k + 2. Let t be v(5). Is m(t) prime?
True
Let f = 194 + 125. Is f a prime number?
False
Suppose 0 = 4*z - 8212 - 6072. Is z a prime number?
True
Suppose 12*t + 1661 = 13*t. Is t composite?
True
Let i = 10 + -6. Suppose 5*w - 173 = -2*o, 2*w + 105 + 253 = i*o. Is o composite?
False
Let k be (39/4)/(3/(-48)). Let a be 3/6 - (-481)/2. Let g = a + k. Is g a composite number?
True
Let r(g) = g**3 + 4*g**2 - 2*g + 11. Is r(6) a prime number?
True
Suppose 2*f = 0, 4 = 3*x - x + f. Let j = -12 - -15. Suppose -4*u = -4*r + 348, -x*r = -3*r + j*u + 91. Is r composite?
True
Let y be (20/(-6))/(2/12). Let w = 1 + -35. Let a = y - w. Is a prime?
False
Let o(m) = -5*m**3 + m**2 - 9*m - 1. Let a(d) = -9*d**3 + d**2 - 17*d - 2. Let s(q) = 3*a(q) - 5*o(q). Is s(-4) composite?
True
Let n = -80 + 20. Let k = n + 1017. Suppose -2*z + 3*c = 2*c - 383, 5*z - k = 2*c. Is z a composite number?
False
Suppose -5*r + 8 = -2*p - 11, 2*r - 16 = -2*p. Is p composite?
False
Let s = 64 + -27. Is s prime?
True
Suppose 5*m + 3 = 18. Suppose -2*h = m*h - 115. Is h a composite number?
False
Let n = -7 + 51. Suppose n + 7 = m. Is m a composite number?
True
Suppose -4*f + 3*m + m + 16488 = 0, -5*m + 20580 = 5*f. Is f a prime number?
False
Let h = -4 - 3. Let t(g) = g**2 + 5*g - 10. Let i be t(h). Suppose -3*d + 5*s = -0*d - 53, i*d - 88 = -2*s. Is d composite?
True
Let o = 76 + -7. Is o a composite number?
True
Let h = -421 + 675. Is h prime?
False
Suppose -441 = -2*i + 161. Is i a composite number?
True
Let b(t) = 2*t**3 - 4*t**2 - 4*t + 1. Is b(6) composite?
True
Suppose 0 = 2*t + 2*n - 348, t + n = -n + 171. Let j = 22 + t. Is j a prime number?
True
Let d = 13 + -8. Suppose p = -2*k + 201, -d*k = -7*p + 2*p + 930. Is p a prime number?
True
Suppose -2 = 5*p + 3*w - 4*w, -5*w + 10 = p. Suppose p = 2*l - 3*l + 2. Suppose -5*b + 0*a + 99 = 2*a, -5*b + l*a = -91. Is b a composite number?
False
Let b(p) = 3*p**2 + 2*p - 5. Let y be b(5). Suppose -2*z + 5*i = -163, -z + 4*i - i = -y. Is z prime?
True
Let v(g) = 2*g - 1 - 3 + 5 + 5. Let p be 2/2*-8*-1. Is v(p) composite?
True
Let r = 488 + -195. Is r a prime number?
True
Let s(l) = l**2 - 9*l + 2. Let j be s(9). Let k be 15*j*(-2)/(-4). Is 2005/k - (-4)/(-6) a composite number?
True
Let h be (-8)/20 - (-2)/5. Suppose 0*z + z + 13 = 3*o, o + 5*z + 1 = h. Suppose -5*i - o*k + 35 + 36 = 0, 2*k - 19 = -i. Is i prime?
True
Let d(y) = 29*y + 1. Let t be d(6). Suppose 9*f - t = 4*f. Suppose 4*r = -r + f. Is r composite?
False
Let g(w) = -10*w**2 + w - 1. Let r be g(1). Let j = 29 + r. Is j prime?
True
Let h be 0/3 + (0 - -245). Suppose 0 = d + 1 - 3. Suppose 3*z + d*z = h. Is z composite?
True
Let y be (3208/12)/(4/(-6)). Let a = 694 + y. Is a prime?
True
Let v(f) = 10*f**3 + 4*f**2 - 4*f + 7. Is v(5) composite?
True
Let x(m) = -m - 6. Let j be x(-14). Is ((-4)/j)/(2/(-508)) a prime number?
True
Let v = -460 - -699. Is v composite?
False
Let v = -176 + 309. Is v a composite number?
True
Is 1 - ((1 - 786) + -5 + 4) prime?
True
Let y be (1 + (-4)/1)/(-1). Suppose -x + 37 = 2*h + 2*x, 0 = -2*x - 10. Suppose y*u = 31 + h. Is u a composite number?
False
Let p be ((-4)/3)/(2/(-6)). Suppose -4*b - p = 2*g, -b = 2*g - 3 - 2. Suppose -g*c + 211 = -129. Is c prime?
False
Let d(m) = 3*m**2 + 3*m - 10. Is d(7) a composite number?
True
Is -2252*(10/(-8) + 1) composite?
False
Suppose 2*r + 6 = 4*m, 2*m - r = -4*r + 7. Suppose 12 = -2*i - m*i, 3*i + 480 = 3*q. Is q prime?
True
Suppose 277 + 518 = 5*i. Is i a composite number?
True
Suppose -2*c + 307 = -c. Suppose w + c = 2*s, 2*s - 5*s + w + 462 = 0. Is s prime?
False
Let t(a) = 18*a**2 + 2*a - 5. Let d(z) = -19*z**2 - 2*z + 6. Let p(j) = 3*d(j) + 4*t(j). Let m = -9 - -6. Is p(m) composite?
False
Let n be 4/8*-2 + 1. Suppose -2*h - 5*o + 261 = -h, -3*o + 6 = n. Is h a prime number?
True
Suppose 0 = -8*k - 0*k + 3256. Is k a prime number?
False
Let b = -486 - -3949. Is b a composite number?
False
Let l(v) = 1 - 5*v - 14*v - 4. Is l(-2) a prime number?
False
Suppose 0 = -2*z + 4*l + 12, 6*l + 15 = l. Suppose 5*r - 2*t - 103 = z, -t - 2*t = 5*r - 83. Is r composite?
False
Suppose t - 3*g - 27 = 0, 6*t - 11 = 3*t - 5*g. Let q = t + -5. Suppose l - q = 42. Is l a prime number?
False
Let a = -871 + 3656. Is a a composite number?
True
Let p = -81 + 168. Suppose -z + p = -11. Suppose -5*o = -g - z, 3*o + 16 = 4*o + g. Is o prime?
True
Let m(i) = i**2 + i - 2. Let g be m(-3). Suppose -5*w - 60 + 10 = -4*l, g*w = -2*l - 14. Is (w/3)/((-2)/191) composite?
False
Suppose 5*w = 27 + 158. Let f = -2 - 4. Let c = w + f. Is c a prime number?
True
Is (255 + -1)/(7 + -5) prime?
True
Let x(s) = -573*s - 2. Is x(-1) prime?
True
Let n(p) = -p - 2. Let u be n(-6). Let j(z) = 9*z**2 - 6*z + 3. Let x be j(u). Let c = -34 + x. Is c composite?
False
Let v = 3258 + -1565. Is v composite?
False
Let w(u) = -39*u - 4. Is w(-7) a prime number?
True
Suppose -4*d = -0*d - 28. Suppose -d - 3 = -i. Suppose o - i = 12. Is o composite?
True
Is (-46024)/(-40) + 4/10 prime?
True
Suppose 3*d - 10 - 2 = 0. Suppose a - d = 10. Is a composite?
True
Let d(l) = l + 11. Suppose 5*z - 1 = 24. Suppose g + g + z*i = -11, 2*i = 2. Is d(g) a composite number?
False
Let d be 1 + (4 - (1 - -1)). Is (-1 - 