posite?
False
Suppose -5 = -5*n + k, -3*k - k = 3*n - 26. Suppose -n*v = -0*v. Suppose -5*r - 4*p + 611 = 0, 3*r - 5*r - p + 242 = v. Is r prime?
False
Suppose 0 = -p - 2*k + 80, -p = p - 5*k - 115. Let i = p + -27. Is i a composite number?
False
Let u be 7 + -1 + (-5 - -5). Suppose -2*d - u = -5*x + 93, 2*x + 4*d - 54 = 0. Is 1883/x - (-4)/(-6) prime?
True
Let n = 1 + 2. Suppose 2*c - 2*d = -0*c + 28, n*d + 61 = 4*c. Is c composite?
False
Let n be (-109 + 2 + -4)/(-1). Is -2*(-2)/(4/n) composite?
True
Let u(t) = t**3 + 5*t**2 - 10*t + 8. Let j be u(-6). Suppose -5*f = -2*b - 20, -j - 7 = -4*f - 3*b. Is f a composite number?
True
Suppose -3*l + 1 = 2*b, -3*l + 5*b + 23 = -2*l. Suppose -l*n = -3*j - 33, -14 = -3*n + 4*j + 14. Suppose -41 = 5*y - n, -4*v + 285 = -5*y. Is v composite?
True
Let y(u) = 27*u**2 - 3*u + 1. Is y(-4) composite?
True
Let d(u) = -u**2 + 22*u + 10. Is d(19) composite?
False
Is (-62)/5*(-30)/12 composite?
False
Let b(q) = -330*q**3 - q**2. Let l be b(-1). Is (-2)/(-7) + l/49 prime?
True
Let z = -17 - -30. Let r(c) = -8*c - 2. Let f be r(-3). Let d = f + z. Is d prime?
False
Let u(d) = d**2 + 8*d + 9. Let n be u(-7). Suppose -x + 195 = 5*g, -x - n*g - 366 = -3*x. Suppose f - x = -4*f. Is f a composite number?
False
Suppose 9*b = 7*b + 578. Is b composite?
True
Suppose 4*g = -4*y + 4492, y + g + 1129 = 2*y. Is y a composite number?
True
Let n(r) be the first derivative of r**4/4 - 7*r**3/3 + r**2 + 1. Let g be -2 - (-1 + -3) - -5. Is n(g) composite?
True
Suppose -1073 + 115 = -2*l. Is l prime?
True
Let z(x) = -x + 6. Let s be z(-7). Let i(v) = v**2 - 6*v + 18. Is i(s) a composite number?
False
Is (-2)/3 + 6900/36 a composite number?
False
Let b(p) = p**2 + 10*p - 3. Suppose -3*l = -l + 14. Let i be b(l). Let y = 11 - i. Is y a composite number?
True
Suppose 0*f + 90 = 5*f. Suppose 3*t = -o + 56, -t + 0*o = o - f. Is (3 + -1 - 0) + t composite?
True
Suppose -2*b = -0 - 10. Let f be ((-40)/24)/((-2)/6). Suppose 42 - f = u - 4*i, -2*i = b*u - 185. Is u a prime number?
True
Let s(o) = -2*o**3 + 5*o**2 - 3*o + 3. Is s(-4) composite?
False
Let i(b) = b + 3. Let f be i(-6). Let q(r) = -r**2 - 3*r + 2. Let a be q(f). Suppose -a*n + 55 = 3*l, -5*n - 20 = -l - 2*l. Is l a prime number?
False
Suppose 2 + 2 = 4*b. Let o = b - 1. Suppose -4*z - r + 143 = o, -32 = z - 3*r - 84. Is z a prime number?
True
Suppose -n - 4*i + 4 + 4 = 0, -3 = -i. Let r = -6 - n. Is (-4)/r - -16 - -1 composite?
False
Let h(r) = 59*r**2 - 39*r + 24. Is h(10) a prime number?
False
Suppose -x - 3*g = -3*x - 8, 2*x = 2*g - 4. Let h(t) = -t**3 + 4 - 7*t**x + 0*t + 4 + 1 - 4*t. Is h(-7) composite?
False
Let n(z) = -z**2 + 10*z - 4. Let j be n(9). Suppose -2*x + a - 364 = -5*x, -344 = -3*x - j*a. Is x prime?
False
Suppose 5*w - 333 = 2*w. Suppose 3*g - 98 = -4*h, -6*h + h + 2*g + w = 0. Is h composite?
False
Suppose 2*i - 476 = -3*n, -2*n - n + 2*i = -484. Let q = n + -111. Let m = -26 + q. Is m a prime number?
True
Let n be (12/(-8))/(3/(-8)). Suppose -391 = -n*s - j, -3*j + 85 = -3*s + 367. Suppose 4*x - 3*x = s. Is x a prime number?
True
Let n(m) = 77*m**3 + 5*m**2 + m - 3. Is n(4) a composite number?
False
Let u = 10 + -14. Let r(v) be the third derivative of -v**6/120 - v**5/30 + v**4/6 - v**3/6 + v**2. Is r(u) a composite number?
True
Suppose 6 = 5*a - 3*a. Let t(h) = -2*h**3 + 0*h**3 - 1 - h**2 - 4*h + a*h. Is t(-3) a prime number?
True
Suppose 8*r = 10*r - 8. Suppose -c - 3*j + r*j = -13, c = 5*j + 21. Is c a composite number?
False
Suppose 0 = 4*z - 251 + 2311. Let u = -304 - z. Is u a composite number?
False
Let g be ((-1)/3)/((-1)/3). Is 498/(-12)*(-1 - g) composite?
False
Let b = 11 - 6. Let g be (2 + -3)/((-1)/b). Is ((-26)/(-5))/(1/g) a composite number?
True
Let f(h) = 20*h**2 + 6*h - 30. Is f(4) a composite number?
True
Let l(b) = -b**3 - 2*b**2 - 3. Suppose c = 5*c - 108. Suppose 0 = -6*j + j - 4*o - c, -5*j - 12 = -o. Is l(j) prime?
False
Let w = -114 - -194. Suppose 34 = -2*s + 4*s + 5*l, 4*s - w = -4*l. Is s prime?
False
Suppose 16 + 11 = -3*j. Let f = j - -136. Is f a composite number?
False
Suppose o = 3*y - 4*o - 4667, o = 2. Is y composite?
False
Let o = 6 - 4. Suppose -113 = -o*i + 35. Is i a prime number?
False
Suppose -4*p + 2*p - 10 = 4*w, -2*w = 3*p - 1. Let s be (-3)/p + 0 - -32. Let f = 52 - s. Is f a composite number?
True
Let q = -278 - -868. Suppose -5*g - 3*m = -q - 422, 1013 = 5*g + 2*m. Is g a prime number?
False
Suppose -14 = -4*n + 222. Is n a composite number?
False
Suppose 3*v = c + 2, -3*c = -2*c + 2*v + 2. Is 147 + (c - 8/(-2)) composite?
False
Let h(t) = t**3 + t**2 - 4*t - 4. Let s(q) = q**3 - 4*q - 3. Let p(w) = 3*h(w) - 4*s(w). Let y be p(4). Is (y - 1) + 0 + 24 prime?
True
Suppose 5*w + 19 = -41. Let p = -6 - w. Is p prime?
False
Is 1436 - 1/1*(2 + -3) composite?
True
Let s(a) = -a**3 - a + 4. Let l(n) = n**2 - 1. Let i be l(-1). Let d be s(i). Suppose 5*w + 71 = 2*j - 0*j, -5*j - d*w = -161. Is j prime?
False
Let u(r) = r**3 + 4*r**2 + 3*r + 1. Let c be u(-2). Suppose -3*n = c*y - 75, 84 + 12 = 4*y + 3*n. Let t = 47 - y. Is t a composite number?
True
Suppose 3*y - f + 9 = 0, 5*y + 2*f = 5*f - 15. Let k = y - -3. Let v(r) = r**2 + 55. Is v(k) prime?
False
Suppose 2*l + 2*l + 28 = 0. Let h be l*(2 + 64/(-14)). Let g = h + -7. Is g composite?
False
Suppose -296 = -5*m - 0*m + 2*w, -107 = -2*m - 3*w. Is m prime?
False
Is (1 - 2)*1/3*-2253 a prime number?
True
Let t(v) = -v - 3. Let o be t(0). Let r = 3 + o. Suppose 4*m - 29 - 167 = r. Is m a prime number?
False
Suppose 0 = 5*m - q + 6533, 0 = -m + q - 1759 + 450. Is (-3)/12 - m/8 a composite number?
False
Let d(o) = -51*o - 2. Is d(-1) prime?
False
Let y(o) = 36*o**2 - 1. Suppose -3*q = i + 4, i - 2 = -0*q + 3*q. Is y(q) prime?
False
Let k = -30 + 68. Let g be k/9 - (-2)/(-9). Is 2/(-4) + 630/g a prime number?
True
Let r(q) = -23*q - 2. Let a = -10 - -5. Is r(a) composite?
False
Is (318/18)/(1/33) composite?
True
Let z(j) = 8*j**3 - j**2 + j - 1. Let h be z(1). Suppose -4*l = 3*g + 94, -h*l + 3*g = -3*l + 82. Let r = -12 - l. Is r prime?
False
Suppose 354 = 3*g + n, 2*n - 474 = -4*g - 0*n. Suppose -120 = p + 4*p. Is (g/(-36))/(2/p) composite?
True
Let r(z) = z + 10. Let d be r(-7). Suppose 0 = -n + d*n + 10, -m - 3*n = -200. Is m a composite number?
True
Let s(j) = -2*j + 26. Let b be s(11). Suppose -b*d = n - 1364 + 210, 2*n = -2*d + 574. Is d composite?
True
Let x(u) = -16*u + 3. Is x(-7) a prime number?
False
Suppose w + 2572 = 4*t + 465, 2631 = 5*t - 4*w. Is t a prime number?
False
Suppose -x + 4*x = 2*d + 9, -5*d = x - 3. Let h be (-4)/(-6) - (-39)/9. Suppose h*y + d*y - 265 = 0. Is y a composite number?
False
Let v be 4/6 + 12/9. Suppose 0 = -v*k - k + 27. Let l(t) = t**2 - 8*t + 13. Is l(k) a prime number?
False
Let j(q) = q**3 + 7*q**2 + q + 10. Let m be j(-7). Suppose 0 = m*l - 0*l + 9. Is -62*(0 - l/(-6)) composite?
False
Suppose -5*c + 5*v = 15, c = -3*c + v - 3. Suppose c = 2*r - 51 - 97. Suppose 0*k - r = -2*k. Is k a prime number?
True
Is ((-3)/(-6))/(2/508) prime?
True
Suppose 0 = -5*o - 3*c + 53, 2*o - 41 = -2*o - c. Let v = o - 32. Let m = 9 - v. Is m a composite number?
False
Let w(p) = 32*p + 7. Is w(20) prime?
True
Let h(p) = -7*p - 3. Let v = -22 + 14. Is h(v) a composite number?
False
Let n be (-12)/42*(-14)/2. Suppose 3*s - n*s - 38 = 0. Is s composite?
True
Suppose -13*h + 4487 = a - 12*h, 0 = -2*h. Is a a composite number?
True
Let v be -1 - (-4 - 0 - -1). Is 145 - (-4 + v - -2) a prime number?
False
Let d = 210 - 117. Is (d/15)/((-3)/(-15)) composite?
False
Let c(p) = 3*p**2 - 7*p - 8. Let x(b) = b**2 - 4*b - 4. Let v(u) = -2*c(u) + 5*x(u). Is v(-4) a composite number?
True
Is (-2)/(-6)*(456 + 15) prime?
True
Let l(f) = 31*f - 14. Is l(7) a prime number?
False
Suppose 9*h - 4*h - 475 = 0. Is h a prime number?
False
Suppose 0 = -210*o + 212*o - 4406. Is o a composite number?
False
Let c(x) = 163*x**3 + 2*x**2 - 2*x. Let p be 5/(10/6) - 2. Is c(p) composite?
False
Suppose f = z - 211, 0*f - 3*f = -z + 205. Let d = z - 108. Is d a composite number?
True
Suppose -4*b = -622 - 1046. Let k be ((-580)/((-4)/2))/(-1). Let t = k + b. Is t a prime number?
True
Suppose i - 4 = -3*i - 4*x, 3*i - 5*x - 11 = 0. Suppose -l - 3*m + 2 = -3, i*l - m = 3. Is (l 