e?
False
Is 717/(-4)*-2*2 a prime number?
False
Suppose 2*d - 581 = w, -2*w + 1457 = -0*d + 5*d. Is d a composite number?
True
Let q(u) = 12*u**2 + 10*u + 13. Is q(-9) a composite number?
True
Let x(u) = 1800*u**3 + u**2. Is x(1) a composite number?
False
Let b = -55 - -37. Is (-12)/b - 697/(-3) a composite number?
False
Let q(y) = y**2 + 13*y + 5. Suppose s = -r - 5, -4*s + 2*s = r + 5. Let d be q(r). Is ((-3122)/d)/(4/10) a prime number?
True
Suppose 0 = 5*z + 3*y - 2355, -3*y + 6*y + 1884 = 4*z. Is z a composite number?
True
Let s(x) be the first derivative of x**4/12 + x**3/3 + 9*x**2/2 + x + 1. Let n(t) be the first derivative of s(t). Is n(-6) composite?
True
Let n(o) = 2*o**3 + 5*o**2 - 5*o - 2. Let x be n(4). Let a = -103 + x. Is a a composite number?
False
Let o(a) = -a**3 + 3*a**2 - a. Let q be o(2). Suppose -2 = n - q*n. Is -4 + n - (-74)/2 a composite number?
True
Let b be (3/(-3))/(1/5). Let l = 8 + b. Suppose l*w - 3*t + 28 = 133, 3*w + 3*t = 81. Is w composite?
False
Suppose 1 = -5*g + 5*d - d, 6 = -2*g + 3*d. Let z = 3 - 2. Is (22 - g/(-1))/z a prime number?
False
Let z = 157 - 15. Is z a composite number?
True
Suppose 4*f - 2*a - 6 = 0, 2*a + 5 = 5*f - 2. Is (f + 0)*7/1 a composite number?
False
Let j(g) = 93*g - 2. Let x be j(-2). Let l = 337 + x. Is l a prime number?
True
Let i = 4 + -7. Let f(a) = -a**3 - 4*a**2 - a + 3. Let o be f(i). Let p = o + 13. Is p a composite number?
True
Suppose 0 = 4*j - 3*m - 215, -2*j + 5*m + 225 = 2*j. Let k be 6*(1 - 0)/2. Suppose 0 = -k*t + 55 + j. Is t a prime number?
False
Let q = 33 + 224. Is q a prime number?
True
Let k(z) be the third derivative of -4*z**4 + z**3/6 - z**2. Is k(-1) composite?
False
Suppose 7 = o - 1. Let c = 105 + o. Is c prime?
True
Suppose 0 = -3*z - 5*m - 19, -m - 3 = -4*z - 2*m. Suppose -2*w - w + 385 = -2*b, z*b + 4 = 0. Is w prime?
True
Let o = -327 + 171. Suppose -4*h + 493 - 59 = 2*l, 4*l - 884 = -4*h. Let k = l + o. Is k a composite number?
True
Suppose -37 = 5*s + 3. Is s/36 + (-1469)/(-9) prime?
True
Let t = 5 - 2. Suppose 2*k - s - 214 = -2*k, -t*s + 168 = 3*k. Let i = -32 + k. Is i composite?
True
Let l be 11/4 + 18/(-24). Suppose 140 = 2*g + l*g. Is g a composite number?
True
Let r(m) = 17*m**2 + 3*m - 4. Let p be r(4). Suppose 3*d + 13 = p. Is d a composite number?
False
Let n(w) = -w - 4. Let g be n(0). Let j = -2 - g. Is (1 - -13) + 2 - j composite?
True
Let j(w) = w**3 - 12*w**2 - 13*w + 4. Let i be j(13). Suppose -6*v = -3*v + 5*n - 127, 3*v + i*n - 125 = 0. Is v prime?
False
Is (-28)/4 + 3 + 93 a prime number?
True
Suppose -2*n = -4, -3*a = -2*a - 3*n + 3. Suppose 328 = a*f - 116. Suppose f = 5*s - s. Is s a composite number?
False
Suppose -4*c + 4*t + 7892 = 0, -2*c + 0*t + 3946 = -3*t. Is c a composite number?
False
Let w(f) = -7*f**2 - 6*f + 2. Let x be w(4). Suppose 4*q - 546 - 261 = 3*g, 4*q - 808 = 4*g. Let i = q + x. Is i prime?
True
Suppose -4*n - 6*y = -y - 2688, -4*y = 2*n - 1350. Is 2/(-5) + n/5 prime?
False
Is ((-12)/(-8) + -4)*-22 composite?
True
Suppose s = 2*s - 2. Let o be -2*(-2 + (s - 2)). Is (o/3)/(8/84) composite?
True
Let q(x) = -x + 1. Let n be q(-4). Suppose -n*b = 2*s + 43, -3 = 5*b - 3*s + 20. Is (b + 6)*(-109)/1 a composite number?
False
Suppose 0 = -2*q + 736 - 154. Is q a composite number?
True
Suppose -3*x - 5*k = -2361, 0 = -4*x - 0*x + 2*k + 3148. Is x composite?
False
Suppose 0 = 5*z - 6*z + 3. Let r be 6/1 - z - 0. Suppose r*w - 90 = 12. Is w a composite number?
True
Let j(h) = 72*h**2 - 1. Let l be j(-1). Suppose -5*k = 3*n - 441 - 320, 2*k - 305 = -n. Let o = k - l. Is o prime?
True
Let t(n) be the second derivative of n**7/840 - n**6/45 - n**5/20 - n**4/12 - n**3/2 - 3*n. Let m(v) be the second derivative of t(v). Is m(9) composite?
True
Let r(g) = -g**3 + 2*g**2 + g. Let v be r(2). Suppose v*x + x - 132 = 0. Let z = x - 7. Is z prime?
True
Suppose 5*c - 6 = -4*d, 0 = 2*d - 5*d + 5*c + 22. Suppose 5*j - 11 + 2 = d*h, 0 = -5*j - 4*h + 1. Suppose 5*s - j = 14. Is s prime?
True
Suppose 5*i - 506 = -3*y, -3*y + 276 = -i - 242. Suppose d - 33 = y. Is d a prime number?
False
Let a(c) = 502*c - 5. Let n be a(-6). Is (-8)/(-6) - n/21 a composite number?
True
Suppose 1 = 3*p - 8. Suppose -p*f = -6*f + 885. Is f composite?
True
Let t = 4 - 3. Is ((-3)/3)/(t/(-83)) prime?
True
Suppose 6 + 6 = 2*v. Suppose 0*d = -3*k + 3*d + v, d = -k. Is 0 + k - (-39 - -3) composite?
False
Let z(r) = -r**3 - 8*r**2 - 8*r - 5. Let k be -4 - (0 + -1)*-3. Let j be z(k). Suppose -37 = -j*n + 33. Is n a composite number?
True
Suppose 5*f + 39 - 2279 = 0. Suppose -2*w - c = -f, 4*c + 193 = 2*w - 245. Is w prime?
True
Let l = 2001 - 932. Is l prime?
True
Suppose -3*q + 0*q - 5*n = -3268, 0 = 4*n + 4. Is q a composite number?
False
Let y be 136/(-36) - (-2)/(-9). Is 3 - 1/(y/216) prime?
False
Let u(v) = 49*v + 6. Let a be u(6). Let t(l) = l**3 + 15*l**2 - 12*l - 7. Let f be t(-15). Let d = a - f. Is d a prime number?
True
Suppose 2*k + s = 4, -2*k + 4*s + 8 = 2*k. Let h be k/9 - 25/(-9). Let d(f) = f**3 - 3*f**2 + 2*f + 4. Is d(h) prime?
False
Let o(x) = 2*x**2 + 2*x + 2. Let k be o(-2). Suppose 0 = 5*w - k - 269. Is w prime?
False
Let k(c) = -2 + 2*c + 4 + 11*c + 1. Let g be k(4). Suppose j - g = 30. Is j prime?
False
Suppose -23932 = -7*t - 5879. Is t a prime number?
True
Let h(g) = 2*g**3 - g**2 + 3. Let f(j) = -j**3 + 8*j**2 - 7*j + 4. Let x be f(7). Is h(x) prime?
False
Let s(j) = 3*j**2 - 16*j - 4. Is s(25) a composite number?
False
Suppose -5*t + 0*t = -j - 12, -16 = -4*t + 4*j. Suppose d - t*a = 12, -4*a = a + 20. Suppose -5*u = 3*p - 121, -d*u = 2*p - 51 - 31. Is p prime?
True
Let z be (-40)/15*3/2. Let h = -1 - z. Suppose -b - h*b = -88. Is b a composite number?
True
Let s(a) = -5*a + 8. Let p(v) = -v + 1. Let b(l) = 6*p(l) - s(l). Let h be b(-4). Is ((-78)/9)/(h/(-21)) composite?
True
Let i be 1*-4 - -1 - -415. Let g = -177 + i. Is g composite?
True
Suppose 3*g - 30 + 111 = 0. Let v = g + 78. Suppose 4*d - 53 = v. Is d composite?
True
Suppose -11*v = -7*v + 168. Let c(w) = -3*w**3 + 3*w**2 + 3*w - 4. Let g be c(-3). Let r = v + g. Is r composite?
False
Let p(c) = -2*c**2 + 2*c - 8. Let l be p(6). Let b be (-3)/(-3)*1 - l. Suppose z = -0*z + b. Is z composite?
True
Let l(y) = -89*y**3 + 2*y**2 + 2*y + 1. Let f be l(-1). Suppose -5*z + 175 + f = 0. Is z prime?
True
Let l be 2 - (2 - (2 - 2)). Let n(z) = 19 - z**2 - z**2 + 3*z**2. Is n(l) a composite number?
False
Suppose j - 2*v + 4*v - 87 = 0, j - 2*v = 67. Let p = -23 - -79. Suppose -6*u + p = -4*u + 2*n, -4*u = -3*n - j. Is u composite?
False
Let s be (-1 + -2)/(2/(-22)). Suppose 14 = 4*i - n - s, -4*i = -3*n - 53. Let r = i - -4. Is r composite?
True
Is (-1)/(3748/(-1249) - -3) composite?
False
Let i = 36 - -13. Is i a composite number?
True
Let t(y) = 0 - 2 + 3*y + y. Is t(6) a composite number?
True
Is 6/14 + 81776/28 + 2 a prime number?
False
Let w(y) = y**2 + 1. Let c be w(2). Suppose -c*z - 5*a = -4415, 0 = -5*z + a + 2165 + 2274. Is z a composite number?
False
Let t be (-3)/3 - -12*3. Let y = t - 10. Is y prime?
False
Suppose 118 = -2*d + 704. Is d prime?
True
Let b = 598 - -355. Is b a prime number?
True
Suppose -3*x = -3*d, 0 = -3*d + 4*d - 3*x + 6. Suppose 0 = 2*q + d*g - 217, 2*q + 4*g - 295 + 81 = 0. Is q a composite number?
False
Let n(d) = 3*d**2 + 3*d + 5. Is n(-7) prime?
True
Let b(o) = -o**3 + o**2 - 1. Let a(j) = -4*j**3 + 12*j**2 + 6. Let r(m) = -a(m) + 5*b(m). Let v(k) = k**2 - 8. Let q be v(0). Is r(q) composite?
False
Suppose -3*q + 5*q + 6 = 0, 2*q + 26 = 4*m. Let l(a) = -a**3 + 11*a**2 - 5*a + 2. Is l(m) composite?
False
Let c(y) be the second derivative of 0*y**2 + 0 - 2*y - 1/6*y**3. Is c(-2) composite?
False
Let t = 55 + 236. Is t a composite number?
True
Let t(n) be the first derivative of n**3/3 + n**2 - n - 4. Let j be t(-3). Suppose 2*q = -j*q + 508. Is q a composite number?
False
Let p(j) = j**2 - j + 2. Let i be p(0). Let b(g) = g + 18. Let k be b(0). Suppose d - k = -i*d. Is d a composite number?
True
Let n be (45 + 2 + 0)*4. Let u = n - -24. Suppose -5*s + 23 + u = 0. Is s composite?
False
Suppose -b = 5*i - 484, -2026 = -4*b + 2*i - 4*i. Is b a prime number?
True
Let a(w) be the third derivative of w**8/4032 + w**7/720 + 7*w**6/720 - w**5/30 - w**2