. Is o a composite number?
False
Is 4*87/(-5)*20/(-16) a composite number?
True
Let d(i) = -208*i**3 - i. Is d(-1) prime?
False
Suppose -4*o - 1084 = -5*r - o, -5*r - 3*o = -1096. Is r a prime number?
False
Suppose 7*l + 2*s = 4*l + 1111, 374 = l - 3*s. Is l composite?
True
Let s = 57 - 34. Suppose 0 = 4*h - m - s, 2*h = -5*m + 1 + 38. Is h a composite number?
False
Let p = -245 + 444. Is p composite?
False
Suppose -i = 3*b + 784, 2*b + 3*i - 1330 = 7*b. Is 2*b/2*-1 a prime number?
True
Suppose 4*r = r + 4011. Is r a prime number?
False
Let d be 1/(1/2) + -1. Suppose q = 5*j - 7 - 16, q - d = -j. Is q*2/(18/(-159)) prime?
True
Suppose 4*b - 18 = 2*g, -21 = 5*g - 0*b - 4*b. Let n be 9/3 - 0/g. Suppose -n*p + 10 + 8 = 0. Is p prime?
False
Let r = 11 + -7. Let y be (-1)/1 + r + -79. Let f = -21 - y. Is f a composite number?
True
Is 2/5 - ((-4878)/15)/2 prime?
True
Suppose -q + 4*q + n = 9, -5*q + 16 = 2*n. Let o be ((-2)/(-4))/(q/16). Is 4/(-6)*(-282)/o a prime number?
True
Suppose -5*k - h + 13 = 0, -5*k + 4 = -2*h - 0*h. Suppose -63 = -k*a + 159. Is (-1 - 1)*a/(-6) composite?
False
Let z(v) = 13*v - 3. Let c be z(3). Let b = -15 + c. Is b prime?
False
Let o(a) = -6*a + 1. Let v be o(-4). Suppose v = -5*p, -4*i - 776 = 2*p + 2*p. Let j = 266 + i. Is j a prime number?
False
Let x(i) = i**2 + 7*i - 12. Let b be x(-9). Suppose 0*c - b = -c. Is c prime?
False
Suppose 13 + 27 = 5*k. Suppose 4*g = d + 5, -k = 4*d + 12. Suppose g*b - 109 = -5*n - 3*b, 0 = 2*n + 5*b - 36. Is n a prime number?
True
Let m(h) = -h**3 + 7*h**2 + 2*h + 3. Let w = 4 - 9. Is m(w) a prime number?
True
Let x be 1 + ((-2)/(-1))/(-2). Suppose x = -w + 106 + 13. Is w prime?
False
Let h(k) = 59*k + 6. Is h(1) a composite number?
True
Let b(n) be the second derivative of n**4/2 - 2*n**3 - n**2/2 - 5*n. Is b(10) composite?
False
Let q be (-5)/(-1) - (-6 - -7). Suppose q*j - 163 = 169. Suppose x - 2*x + j = 0. Is x composite?
False
Let d be 32/(-8) - (-1 + -1). Is (d/4)/(4/(-1896)) a prime number?
False
Let c(u) = 3*u**3 - 2*u**2 + 2*u - 1. Let v be c(1). Suppose 0 = -v*z + 4*o - 5 + 1, -3*o = 2*z + 18. Is z/(-33) - 559/(-11) a composite number?
True
Suppose -3*l + 5 + 1 = 0. Suppose -3*i + 1 = v, -3*i - l*i - 25 = -v. Is v prime?
False
Let f(n) = 2*n**3 - 6*n**2 - 10*n + 7. Is f(9) a prime number?
False
Let u(m) = -m**2 + 5*m. Let d be u(6). Is (2/3)/(d/(-63)) a composite number?
False
Is (21/6)/(2/596) a composite number?
True
Let p(f) = f**2 - 5*f. Let w be p(7). Suppose 36 + w = 5*b. Is 314/b - 2/5 composite?
False
Suppose -9*a + 3110 = -1903. Is a a composite number?
False
Let d = 64 + 45. Is d a composite number?
False
Let w(h) = 1 - 3 - 2*h - 13. Is w(-11) a prime number?
True
Suppose 0 = 2*j + 2*j + 16. Let t = -23 - -22. Let g = t - j. Is g a composite number?
False
Suppose 3*q = 3*r - 39, r + 3 = -5*q - 92. Let c be -3*2/q*-3. Is 17*(5 + 2/c) a composite number?
True
Suppose 0 = x - q, -2*q = -4*x - x - 6. Is (3 + x)*(-154)/(-2) a prime number?
False
Suppose 2*o = 1 + 157. Is o composite?
False
Let j be 1/(2/(-4)*-2). Let k be 2 - 3 - 1/j. Let z = k + 15. Is z a prime number?
True
Let h = 616 + -236. Let o = 867 - h. Is o prime?
True
Suppose 2*a = t + 4, 0 = t - 2. Suppose -a*i = 4*h, 5*h - 5*i - 27 = -2*i. Is 37 + h + -6 - -1 prime?
False
Let d be 7*(2/(-7) + 2). Let p(c) = -c + 10. Let t be p(d). Is (63*1)/3 + t a composite number?
False
Let k(f) = -f**3 - 4*f**2 + 3*f - 7. Let a be k(-5). Let n(q) = q**3 - 2*q**2 - q - 2. Let c be n(a). Suppose -3*u = y - 83, 4*y = c*u - 9*u + 318. Is y prime?
False
Let p = -18 - -92. Let n = -36 + p. Is n a prime number?
False
Suppose 3*w = 4*w - 6. Is ((-210)/(-9))/(4/w) composite?
True
Let a be 8 - (1 + (-3 - -2)). Suppose 0 = -5*y - 10, v - 2*y = 3*v - a. Let h(i) = i**2 + 8*i + 3. Is h(v) composite?
True
Let w(j) be the third derivative of -j**6/120 + 4*j**5/15 - j**4/2 - 5*j**3/6 + 2*j**2. Is w(12) prime?
False
Let u be (57/(-6))/1*4. Let s = 5 - u. Is s a composite number?
False
Suppose a + 3*a + 4 = w, 3*w - 5*a - 5 = 0. Suppose -2*r + r = w. Suppose 0 = -3*v - 0*v + 2*g + 35, -v - g + 20 = r. Is v prime?
False
Let h(m) be the second derivative of -m**5/20 + 13*m**4/12 + m**3/3 + 7*m**2/2 + 7*m. Is h(13) a composite number?
True
Suppose -2*z - 4*w = -5*w - 7, 5*z - 13 = w. Suppose 2*l + c = 5*c + 138, l + z*c = 57. Suppose -3*u + 0*u + l = 0. Is u a prime number?
False
Suppose -5*u + 30 = a, -u + 9 = 2*a + 3. Is 4/12 - (-532)/u a prime number?
True
Suppose h + h - 38 = 0. Is h prime?
True
Let j = -46 + 77. Let c = 84 - j. Is c prime?
True
Let s = -3 + 6. Let u(i) = -3*i**2 - i**2 + 40*i**3 + s*i**2. Is u(1) composite?
True
Let v(n) = n**3 - 7*n**2 + 12*n - 11. Is v(12) composite?
False
Suppose 19*c = 5*c + 8876. Is c a prime number?
False
Is 2 - 197/((-4)/(-36)*-3) a composite number?
False
Let a(s) = 2*s**2 + 14*s + 1. Is a(-11) prime?
True
Let b(i) = i**3 - 6*i**2 + i - 4. Let d be b(6). Let g be 1 + 0 + d + -1. Suppose q + g*j - 87 = 0, 99 = 2*q - 4*j - 83. Is q composite?
False
Suppose d = -3*p + 12, -3*d = 2*p - 7*p + 34. Suppose -19 = 3*q - 4*q - p*r, 0 = 5*q - 5*r - 5. Suppose q*g + 22 = 290. Is g composite?
False
Suppose -2*z = 2*y - 232, 2*z + 4*y - 127 = 105. Let n be 0/(2*(2 - 1)). Suppose 2*b - 122 - z = n. Is b a composite number?
True
Let j = 1 - -1. Suppose 0 = -5*s + 9 + 1, -j*o = -4*s - 218. Is o a prime number?
True
Suppose 3*r = -0*m - 3*m + 222, -2*r = -2*m - 160. Is r a composite number?
True
Suppose -5*v = 13 - 3. Is 3705/7 - v/(-7) prime?
False
Let r = -108 + 218. Let l = 23 + 40. Let t = r - l. Is t a composite number?
False
Let q(l) = 2*l**2 + 7*l - 3. Let y be q(13). Is (y/8)/((-6)/(-16)) a prime number?
False
Suppose l = 5*h - 1, 0 = 2*h - 3*l + 2*l - 1. Suppose h = 4*o + m - 0*m - 214, -3*m = o - 59. Is o a prime number?
True
Suppose -5*m = -4*m - 4*l - 61, 2*m - 100 = -3*l. Is m a composite number?
False
Let v(c) = c + 10. Let f be v(-5). Let t = -5 + f. Suppose g + g - 44 = t. Is g composite?
True
Let y be -15*(1 + 16/(-10)). Suppose -5*x = -2*x - y. Suppose 177 + 90 = x*q. Is q composite?
False
Let n be (-1)/(-2)*4*2. Let q(k) = -n + 0 + 0 + k + 41*k**2 + 5. Is q(2) prime?
True
Let w = 154 + -63. Is w prime?
False
Let z be 20/8 - 3/(-6). Suppose -7*s + 28 = -z*s. Is s a prime number?
True
Is 1476 + (-2)/(-4)*2 prime?
False
Let w = 725 - -1932. Is w a composite number?
False
Suppose 3*f = 5*a - 730, 0 = a - 0*a + f - 154. Suppose -4*s - 174 = -2*t, -3*t = -5*t - s + a. Is t composite?
True
Suppose 0 = 5*f - f + 4, -l + 32 = -5*f. Let k = l + -13. Is k prime?
False
Suppose 0 = -3*l - 218 - 73. Let y = -63 - l. Is y prime?
False
Suppose -658 = -4*z - 2*v, z + v - 166 = -0*z. Let o = z + -72. Is o prime?
False
Let o = 6 - 1. Suppose s + 4*r - 66 = 0, -o*r = -6*r + 2. Is s a composite number?
True
Suppose -4*i + 1645 = 5*n, 0*n - 2*i = 5*n - 1645. Is n prime?
False
Is (-11 - -6) + 2*176 composite?
False
Suppose -66*j + 61*j + 6585 = 0. Is j composite?
True
Suppose 0 = 2*l - 3*l - 28. Is (-13)/(2 - (-60)/l) a composite number?
True
Let v(f) = 637*f + 12. Is v(1) prime?
False
Let d be (-24)/(-3*(-3)/6). Let t = 33 + d. Suppose q - 70 = -t. Is q a prime number?
True
Suppose 0 = -r + 1 - 0. Suppose 0 = -l + 2, l + l + r = g. Let u(m) = 4*m**2 - 5*m - 1. Is u(g) a prime number?
False
Let o(u) = -u**3 + 8*u**2 + 10*u - 8. Let i be o(9). Is (i - 472)*(-5)/15 a composite number?
False
Suppose -5*z = -b - 2767, -5*z - 4*b = -2984 + 227. Is z a prime number?
False
Is (-1)/((10/5)/(-1574)) composite?
False
Let f(n) = -10*n**3 - 2*n**2 - 2. Let m be f(-2). Suppose m = 3*v - 23. Is v composite?
False
Let n(w) be the first derivative of w**4/4 - 2*w**3 - 2*w**2 + 10*w + 2. Is n(9) prime?
False
Suppose j + 25 = 6*j, 3*w + 5*j = -287. Let t = 14 - w. Is t composite?
True
Let r(c) = -3*c**3 + 2*c**2 + 3*c - 2. Let m be r(3). Let l = 263 + m. Suppose l = 2*y + 49. Is y prime?
True
Let a = 235 - 124. Suppose -3*c = 4*k - 117, 0*c - 2*k = 3*c - a. Is c prime?
False
Suppose 9*f + 7036 = 13*f. Is f prime?
True
Let m(p) = -56*p - 8*p - 48*p + 1 - 6*p. Is m(-1) a composite number?
True
Let x(q) = -q**2 - 7*q + 3. Let l be x(-6). Suppose -2200 = 4*g - l*g. Suppose -4*i - g = -4*k, 0*k = 2*k - 4*i - 218. Is k prime?
False
Let 