e?
True
Suppose -2*m - 20 = -6*m. Suppose -m*f - 5*p = -295, 4*f - 5*f + 4*p + 59 = 0. Is f a composite number?
False
Let g(w) = -116*w**2 + 12*w + 3. Let d(b) = 29*b**2 - 3*b - 1. Let y(k) = 9*d(k) + 2*g(k). Is y(-2) a prime number?
False
Let j be 2/1*(-6 + 5). Let u be 114/42 - j/7. Suppose 0 = 2*d - 4*d - 3*a + 202, u*a - 487 = -5*d. Is d a prime number?
False
Let u = 5 + -3. Suppose 5 - 1 = -2*f, -u*f - 559 = -3*t. Let g = t - 114. Is g prime?
True
Let x(i) = -62*i + 1. Let t be x(2). Let b be (-2)/11 - t/11. Let p = b + -8. Is p a prime number?
True
Suppose -5*q + 3*q + v = -15, 2*q - 5 = -v. Suppose 0 = 8*h - q*h + 3. Is h/1 - 96/(-3) a prime number?
True
Let w(q) = 9*q**2 - 7*q - 6. Let v be w(5). Suppose 6*y - 2*y = v. Is y composite?
True
Is ((-1)/(-1))/(-6 - (-66095)/11015) a composite number?
False
Let c be (-4)/2 - (5 + -5). Let o = 0 - c. Suppose -4*a = -5*a - 2*m + o, -2*a = m - 4. Is a prime?
True
Suppose -2*h - 3*h = -1025. Is h a composite number?
True
Let l(d) = d**2 - 6*d - 24. Is l(-17) prime?
True
Let s = 425 + -6. Is s a prime number?
True
Let m(s) be the third derivative of s**7/120 - s**6/720 - s**5/30 - s**2. Let w(t) be the third derivative of m(t). Is w(2) prime?
True
Suppose -5*t = -3*t. Suppose t = -3*f + 427 + 128. Is f a composite number?
True
Let j(q) = 28*q**2 - 12*q - 11. Is j(8) a composite number?
True
Suppose 3*y - 134 - 1015 = 0. Is y prime?
True
Suppose -5*b = -15, 4*b + 1092 = -2*r + 6*r. Suppose q = -4 + 7. Suppose q*d - r = 213. Is d a prime number?
True
Is 2/(-5) + (-357)/(-5) prime?
True
Suppose -4*q - 6 = 10. Let x be ((-2)/(-5))/(2/90). Let d = x + q. Is d a composite number?
True
Let u(y) = 79*y + 3. Let b be u(4). Suppose -4*r + 251 = 3*m, -r - 2*m = 4*r - b. Is r a composite number?
True
Let v be 2/(-2*2/20). Let x = 23 + v. Is x a prime number?
True
Is (6/(-4))/(3/(-14)) prime?
True
Let z = 203 - 367. Let t = -4 - z. Suppose -3*d + t = -h, h + 4*h = -5*d + 260. Is d prime?
True
Let d be -1 + -3 - 251*2. Is d/(-4) + (-11)/(-22) composite?
False
Let k(n) = n - 1. Let y be k(0). Let p(u) = -51*u**3 + u + 1. Is p(y) a composite number?
True
Let a(p) = -p**3 + 6*p**2 + 6*p + 10. Let h be a(7). Let g = 7 - h. Suppose 3*r + 4*n + 0*n - 83 = 0, 5*n = -g*r + 109. Is r a prime number?
False
Is ((-3655)/10)/(3/(-2) + 1) prime?
False
Let v(l) be the third derivative of -l**4/6 - l**3/2 - 2*l**2. Suppose 3*q + 0*q + 27 = 0. Is v(q) prime?
False
Let v(q) = 3*q**2 + 7*q + 5. Let z be v(-6). Let x = 138 - z. Is x prime?
True
Suppose -5*l + 5*i - 2*i + 340 = 0, 4*l + 5*i - 272 = 0. Suppose 0 = -3*f + 5*f - l. Is f prime?
False
Suppose -91 = -2*g + 1. Let z be g/(-10) - (-2)/(-5). Is (-2)/z + 96/10 a prime number?
False
Let j(g) = 17*g**2 + 2*g. Let t be j(2). Suppose -4*w + t = -2*z, -3*w + 23 = -z - 32. Is w a composite number?
False
Let w = 7 + -3. Suppose -n - 14 = -4*n + 2*m, m + 12 = w*n. Suppose 50 = 2*p + 4*x - 8*x, -2*x = n. Is p a prime number?
True
Suppose 4*i = -b - 0*i - 90, -i = 5*b + 412. Suppose -4*m = 2*a - 188, -m + 78 = m - 3*a. Let u = m - b. Is u prime?
True
Let g(s) = s**2 + 4*s + 1. Let p be g(-5). Is 132/(p + -2) - -1 prime?
False
Suppose -4*k + 5*n - 5 = 0, 7*k - 4 = 2*k - 4*n. Let r = 3 + k. Suppose r*u - 32 = 7. Is u composite?
False
Is 4549/3 - (-1 + 3/9) a prime number?
False
Let r(l) = 106*l - 1. Suppose -4*s = 5*w - 30, -8 - 13 = 2*w - 5*s. Is r(w) a composite number?
False
Suppose -12 = -11*v + 98. Is v a composite number?
True
Suppose 0 = 13*z - 9*z - 596. Is z a prime number?
True
Let d(g) = 2*g**2 + g - 1. Let k be d(-2). Suppose -3 = k*p + 2. Is p/(3 + -2)*-11 composite?
False
Let w(t) = -11*t**2 - 3*t + 1. Let z(c) = -10*c**2 - 3*c + 2. Let l(s) = 3*w(s) - 4*z(s). Let b = -5 - -1. Is l(b) a prime number?
False
Suppose -3*a - 23 - 7 = 0. Let t be 135/(-10)*a*1. Let h = -77 + t. Is h a prime number?
False
Suppose 0 = -3*s + 4*s - 2. Suppose f + 5*m = -7, 6*f = s*f + 4*m + 68. Is f composite?
False
Is 86 - 12/(1 - -3) a composite number?
False
Is (2726/(-2) - -2)/(2 + -3) a prime number?
True
Suppose y = 2 - 7. Let d(o) = 8*o**2 - 7*o - 2. Is d(y) composite?
False
Let m(s) = -4*s + 1. Let q = 1 + -2. Let o be m(q). Suppose 5*f - 11 = -u - o, -f = 3*u - 32. Is u prime?
True
Let l(q) = -q**2 + 2*q. Let y be l(1). Let i be (y/(-1))/((-1)/(-21)). Let s = i + 32. Is s composite?
False
Suppose -d - 9 = -4*q, 2*d - 4 = -4*q + 2. Suppose -u = q*u. Suppose -4*z + 106 - 30 = u. Is z composite?
False
Suppose -2*o - 54 = -518. Let c(f) = 50*f + 1. Let r be c(-3). Let s = r + o. Is s prime?
True
Suppose 2*m = 3*o - 0 + 6, -3*o - 6 = -4*m. Suppose m*w + 2*z + 390 = 4*w, -4*w + 387 = z. Is w composite?
False
Suppose -z - g = -73 - 0, -4*z = 3*g - 288. Is z a prime number?
False
Suppose -k = k - 2*p - 14, -4*p - 7 = 3*k. Let x be 15/((-9)/(-192)*4). Suppose -x - 85 = -k*n. Is n a prime number?
False
Let h(m) = -m**3 + m**2 + 4*m - 5. Is h(-6) a prime number?
True
Let t(o) = o**3 + 9*o**2 - 7. Suppose 3*n + 16 + 8 = 0. Is t(n) a composite number?
True
Suppose 4 = q + q. Suppose 0*a - 378 = -q*l - 4*a, -l - 3*a = -188. Is l composite?
False
Let w(m) = -6 - 7*m + 0 + 5. Let u be w(-5). Suppose 132 = 2*r + u. Is r composite?
True
Suppose -2*u = -4*u - 2*h + 3042, u + 3*h - 1513 = 0. Suppose -u - 810 = -5*w. Is w composite?
False
Suppose 0 = y - 2*y + 211. Is y a prime number?
True
Let s = -5 + 7. Suppose -y - 7 = -t, -s*y = 4*t - 0*t - 52. Is t prime?
True
Is 6/(-16) + (-16535)/(-40) prime?
False
Suppose 0 = -n - 1, -4*u - 10 = -n + 3*n. Is (-425)/u + 27/(-18) a composite number?
False
Suppose -a - 3*h + 38 = 0, 2*a + 2*h - 120 = -32. Is a prime?
True
Let i(d) = 3*d**3 - 18*d + 10. Is i(7) composite?
True
Suppose 2*n - 2053 = n. Is n a composite number?
False
Let q(p) = p**3 + 9*p**2 + 8*p. Let m be q(-8). Suppose 2*j - 12 - 4 = m. Suppose 3*y - n = 44, -3*n + j = 4*y - 42. Is y composite?
True
Let q(b) be the third derivative of b**5/12 - b**4/8 - b**3/2 + b**2. Is q(-3) a composite number?
True
Suppose 2*a - 35 = 1367. Is a a composite number?
False
Suppose -3*f + i + 390 = -4, 528 = 4*f - 4*i. Let y be (-1 + 41)*13/(-13). Let z = f + y. Is z prime?
False
Is 41 - (-5 + 3/1) a prime number?
True
Suppose u = 5*w - 1216 - 1679, 3*u = 5*w - 2885. Suppose 0 = -6*v + 2*v + w. Is v a prime number?
False
Let w = 17 + -15. Suppose 2*y + 4*h - 6 - 44 = 0, 70 = 4*y + w*h. Is y a prime number?
False
Let g be -5*((-66)/15 + 3). Suppose 0 = o - 2*u + 10 - 4, 3*u = 2*o + g. Let k(l) = l**3 - 4*l**2 + 5*l + 2. Is k(o) a prime number?
False
Suppose -4 = -2*t - r - 0*r, 0 = -2*r - 4. Suppose 4*f + t*j = 1 + 8, -3*f - j + 3 = 0. Suppose f*v = 2*v - 186. Is v a prime number?
False
Suppose a - 2*x = 869, 0*a - a = x - 881. Is a prime?
True
Let a = 16561 + -10590. Is a composite?
True
Let r = -120 - -189. Is r composite?
True
Suppose 4*f - f = -396. Let l = f + 299. Suppose -4*w + 7*w = 5*r - l, 5*w + 175 = 5*r. Is r a composite number?
False
Suppose p = 2*a - 0*p - 72, 10 = 5*p. Is a prime?
True
Let b = -1 - -3. Let k be (-1*-3*b)/(-1). Is (-632)/(-12)*k/(-4) composite?
False
Let u = -1 - -3. Is 211/(u/(-1) - -3) prime?
True
Let u be 3*446*(-80)/(-48). Suppose -3*a - 5*o + u = 0, -a + 1486 = a + 4*o. Is a prime?
False
Let t be (-380)/((-12)/(-9) - 2). Let z = 979 - t. Is z composite?
False
Let p(i) = -35*i**2 - 7*i - 5. Let y(k) = -17*k**2 - 3*k - 2. Let j(m) = 2*p(m) - 5*y(m). Is j(-2) composite?
True
Let o(g) = 19*g**2 - 3*g. Let n be o(5). Suppose -3*f = 151 - n. Is f composite?
False
Suppose 0*k = 4*k - 8. Is 370/k - (-3 - -3) a composite number?
True
Let b(r) = r**2 - 4*r. Let y be b(5). Let a = y - 4. Is a/(-1)*77/(-7) a composite number?
False
Let t(n) = -n + 1. Let z be t(-1). Is (-28)/z*(-5)/2 a composite number?
True
Suppose -3*x = x + w - 14, 0 = 5*x + 4*w - 12. Suppose 5*a = 3*h - 41 - 2, x*h - 72 = 3*a. Is h a composite number?
True
Suppose 0 = 5*z + 4*i - 921, 8*z - 3*z + 2*i = 923. Is z a prime number?
False
Suppose -2*y - 14 = -2*m, 2*y = -3*m - 0 + 11. Suppose -2*c - 5 = z + m, 0 = -z - 4*c - 20. Suppose 6*h - h - 275 = z. Is h a prime number?
False
Suppose -5*n = 6*n - 1397. Is n composite?
False
Suppose 2*g + 162 = -0*s + 4*s, 0 = -5*g - 25. Is (3 - 1)/(4/s) composite?
False
Suppose 0 = 5*d + 