ber?
True
Let b(l) = l**2 - 2*l - 32. Let s(f) = -f**2 + f + 21. Let a(t) = -5*b(t) - 8*s(t). Is a(5) prime?
False
Is 7179/15 + -6*4/(-60) a composite number?
False
Let d = -56 + 12. Suppose 5*i + 15 = 2*a, -3*i = -7*i + 5*a - 29. Let r = i - d. Is r composite?
False
Let h = 48 + -14. Let f = h - 19. Is f prime?
False
Is ((-886)/(-2))/((-13)/(-39)) prime?
False
Let i(m) = 17*m + 9. Let t = -8 - -12. Is i(t) a prime number?
False
Let p(t) = t**3 - 20*t**2 - 30*t - 2. Is p(23) composite?
True
Suppose 4*p = -p - 280. Let i = p - -121. Is i a composite number?
True
Let m = -13 + 8. Let k(y) = y**3 + 5*y**2 - 2*y - 4. Let j be k(m). Is (j/4)/(3/66) composite?
True
Let y = -149 + 658. Is y a prime number?
True
Suppose 0 = 2*v - 3*y + 70, 5*y + 67 = -2*v - v. Let u = -14 - v. Is u a composite number?
True
Let l(n) = -n**2 - 11*n - 8. Let q be (-15)/(-3)*(0 - 2). Let a be l(q). Suppose r + 12 = 4*h - 3*h, -14 = -h + a*r. Is h composite?
True
Let k be ((-4)/2)/(-2) - -461. Suppose d + 18 = 4*t + t, -4*d + 12 = t. Suppose d*v + i - 295 = 0, 0 = -3*v + i + 4*i + k. Is v prime?
True
Suppose g = 7*g - 1788. Is g composite?
True
Let f = 6 + 14. Let p = f - -6. Is p prime?
False
Suppose -7*o + 2*o + 4*q - 103 = 0, 0 = -3*o + 3*q - 60. Suppose 302 = 4*l - 5*f, -10 = -6*f + f. Let m = l + o. Is m composite?
True
Suppose 2*z + 0 - 32 = -4*t, 14 = -t + 5*z. Is ((-4)/t)/(6/(-171)) prime?
True
Suppose -5*s = -224 - 61. Is s a prime number?
False
Let f(k) = -17*k - 10. Is f(-13) a composite number?
False
Let h be (-3 + 1)/((-6)/9). Let f(d) = 50*d - 3. Let v(i) = -25*i + 2. Let t(a) = 4*f(a) + 7*v(a). Is t(h) a prime number?
False
Suppose -3*i + 282 = x - 347, -3145 = -5*x + i. Is x a composite number?
True
Let g(a) = a + 2053. Is g(0) prime?
True
Let o(l) = l**3 + l**2 + l + 1465. Is o(0) a composite number?
True
Suppose -4*l + 5*i = 53, 5*l - i = -4*i - 20. Is (-4734)/(-42) + (-2)/l composite?
False
Let g(b) be the first derivative of 7*b**4/4 - 2*b**3/3 + 7*b**2/2 - 5*b + 3. Is g(4) a composite number?
False
Is (-2 - (-5 - 368)) + (2 - 2) a composite number?
True
Suppose c + 2*c + 4*p = -93, 4*c = 3*p - 99. Is (-670)/(-18) + 6/c prime?
True
Let s(t) = -19*t + 8. Is s(-7) a composite number?
True
Let b = 26 - 49. Let p = 45 + b. Is p a composite number?
True
Suppose 0 = k - 2*k. Suppose 2*g + 5*w + k = 6, -4*g + 5*w - 18 = 0. Is 0 + g + 3 + 52 composite?
False
Suppose 2*y + 3*y = 10. Suppose -2 = 2*s + y. Is (2/s)/(1/(-7)) a prime number?
True
Let l be (-28094)/(-4) - 1/(-2). Is l/14 - (-6)/21 composite?
True
Let m(z) = -3*z**2 + 2*z - 3*z + 2*z**2. Let g be m(-3). Is ((-8)/(-10))/(g/(-345)) prime?
False
Let d(l) be the third derivative of 1/6*l**5 + l**2 + 0*l**4 + 0 + 0*l**3 + 0*l. Is d(1) prime?
False
Is (3 - 1363/(-1))*(-3)/(-6) a composite number?
False
Let f(y) = -10*y + 12. Let j be f(10). Let l = -35 - j. Let d = l - -62. Is d composite?
True
Let a = -36 + 86. Let k = a - -35. Is k a composite number?
True
Let m = -18 - -10. Let h be 6/5*(-100)/m. Suppose 6*p - p = h, -3*j = 2*p - 99. Is j prime?
True
Suppose 316 = -l + 3*l. Suppose -5*u = -4*k + 483, 0 = -k - u - 26 + l. Is k a composite number?
False
Is (2/((-4)/658))/(-1) composite?
True
Suppose 5*n - 151 - 229 = 0. Suppose -r = -3*r + n. Is r prime?
False
Let v = -25 + -145. Let s = -25 - v. Is s prime?
False
Let n(c) = -c**2 + 6*c - 48. Let r(p) = -p**2 + 5*p - 49. Let d(g) = 4*n(g) - 5*r(g). Suppose -a = -4*b - 3 - 1, 4*a = b + 1. Is d(a) a composite number?
False
Let i(j) = -17*j - 1. Is i(-2) prime?
False
Let r(c) = -c**3 - 3*c**2 + 5*c + 1. Let f be r(-4). Let t = 5 + f. Suppose q = 5*g + 18, 5*q + t*g = 3*g + 66. Is q prime?
True
Suppose 0 = -q - m + 18, 0 = -8*q + 3*q - 4*m + 88. Let a be 4/q + (-22)/(-8). Is 175/a + (-2)/(-3) prime?
True
Let g = -43 + 416. Is g a composite number?
False
Let d be (157 + -1)*(-11)/3. Is d/(-3) - 5/(-15) a composite number?
False
Let q(m) = -m**2 + m + 8. Let f be q(0). Let p be (f/(-6))/(1/(-9)). Is ((-124)/p)/(2/(-6)) prime?
True
Let h be (2/(-3))/(14/(-63)). Let s be ((-3)/h - -2)*1. Let v(m) = 56*m - 1. Is v(s) prime?
False
Let t(r) = -r**3 - 8*r**2 - 6*r + 9. Let d be t(-7). Suppose -6 + 2 = d*a. Is (a + 123/9)*3 a prime number?
False
Let v be -2 + 0 + 953 + -3. Suppose 5*l + l = v. Is l a prime number?
False
Let g(r) = r - 4. Let b be g(8). Suppose 0*a = -b*a + 28. Is a a composite number?
False
Is 4 + -1 + 1661 + -7 composite?
False
Let x(w) = 91*w**3 + 1. Let b be x(1). Let d = b + 68. Suppose -2*y + d + 133 = -3*r, 295 = 2*y - 5*r. Is y a composite number?
True
Suppose 2*p - 1 = 3. Let x(k) = 2*k**2 + 5*k**2 + 6 + k - 5*k**p. Is x(-5) composite?
True
Let o(t) = -10*t**2 - 1. Let s be o(-1). Let k = 1 + s. Is (-4)/k + (-13)/(-5) composite?
False
Suppose -3*a = -6*a. Suppose 5*z = -2*m + 87, -5*z + 3*z + 5*m + 58 = a. Let d = z - 9. Is d composite?
True
Suppose 0 = k + 4 - 3. Let m be -6*(-5)/(-2)*k. Let b = 21 - m. Is b a prime number?
False
Let z(o) = -44*o + 8. Let h be z(6). Let p = -125 - h. Is p a prime number?
True
Let j = 238 - 24. Suppose -2*u + j = v + u, v - 208 = 3*u. Is v a prime number?
True
Suppose -h - 4*h = -785. Is h composite?
False
Suppose 4*j = 4233 - 785. Is j a composite number?
True
Let h be (1 - 0)/(2/(-18)). Let g(m) = m**3 + 10*m**2 - 13*m - 7. Is g(h) composite?
False
Let y(n) = n - 6. Let g be y(6). Suppose g = -b + 22 - 1. Is 1393/b + 2/3 a composite number?
False
Suppose 3*w = -s + 153, s = -0*s + 5*w + 145. Is s + 0 - (0 + 1) a prime number?
True
Suppose 0 = -i - 86 + 270. Let x = i + -97. Suppose 2*n - 134 = -3*m, 2*n = 2*m + 47 + x. Is n a composite number?
False
Suppose 302 = 3*o + 4*j - 449, 0 = -4*j - 20. Is o a prime number?
True
Suppose -16 = -2*c + 6*c. Let y = 7 + c. Suppose p + 102 = y*s, -1 = -3*p - 10. Is s a composite number?
True
Let h(x) = 12*x + 5 - 3*x + 0*x**2 + x**2. Let t be h(-9). Suppose -5*m + 6*s = t*s - 99, 2*s = m - 27. Is m a prime number?
True
Is (409/2)/((-8)/(-16)) a composite number?
False
Let a = -103 + 227. Let n = 753 + a. Is n a prime number?
True
Is 11/3 + (-24)/36 + 370 prime?
True
Suppose -c + 446 = c. Is c a prime number?
True
Is (-9)/6 + 12726/12 composite?
True
Let t(p) = -p**2 - 3*p. Let u be t(-3). Suppose u + 1 = n. Is (16 - (2 - n)) + 0 a composite number?
True
Let o = 6 - 1. Let n(m) = -5 - 2*m**2 - m**2 - o*m + m**3 - m**2. Is n(6) a composite number?
False
Let x = 1 + 1. Let k = 3 + -6. Is x/k - 71/(-3) a prime number?
True
Let y be (-16)/4*(-9)/12. Suppose -2*d = -y*b - 446, d + 0*b - 223 = -4*b. Is d a prime number?
True
Suppose 0 = -5*b - y - 165, -2*b - 3*y - 66 = -0*b. Let u be (-6 - -2)/((-2)/(-5)). Let r = u - b. Is r a composite number?
False
Let n(j) = j - 2. Let a be n(-7). Let w = a + 19. Let y = w - 7. Is y a prime number?
True
Let f(w) = 4*w**2 - 3*w. Is f(-7) prime?
False
Let x(s) = s + 4. Let c be x(0). Let v(j) = -20*j + 1. Let a(m) = 19*m. Let o(n) = 4*a(n) + 3*v(n). Is o(c) a prime number?
True
Suppose -5*w = -w + 5*q - 1, w - q = 7. Suppose -w*m - 97 = -17. Is 1*(1 - 2) - m prime?
True
Suppose -4 = -q - 1. Suppose 4*v = 3*t - 48, -4*t + 64 = -q*v + v. Let n = t + -10. Is n composite?
True
Suppose -2*l = -5*l + 3*k + 867, -l - 3*k + 309 = 0. Suppose c = -2*i - c + l, 3*c = 3*i - 429. Is i composite?
True
Let g(n) = 7*n**2 - 9*n + 5. Suppose 0*u = u + f - 7, -4*f = 5*u - 33. Suppose u*z = 4 + 26. Is g(z) prime?
False
Let s be ((-1)/(-2))/(5/(-40)). Is (-1)/2*s*3 a composite number?
True
Let l(k) = -4*k + 6*k + 5*k - 3 - 2*k + 3*k**2 + k**3. Let w be l(4). Suppose -5*q + 56 = -w. Is q prime?
True
Let t(u) = -5*u**3 - u**2 + u + 1. Let w be t(-2). Let b be 248/(-14) + (-10)/w. Is 3/18 + (-951)/b composite?
False
Suppose 5*x + 4*w + 0*w - 1114 = 0, x - w - 230 = 0. Is x prime?
False
Let z = -427 + 2600. Is z prime?
False
Is ((-2317)/(-2))/(-7)*(-4 - -2) a composite number?
False
Suppose -5*j + 4*f - 668 + 4261 = 0, j - f - 719 = 0. Is j prime?
False
Is ((-928)/56)/((-4)/14) composite?
True
Let t(x) = -x**3 - 7*x**2 + 8*x + 3. Let c be 2/4*(-2)/(-1). Let i be 0/c - (9 - 1). Is t(i) prime?
True
Suppose -4*g - g + 15 = 0. Let y(v) = 2*v**2 + v + 2. Is y(g) a composite number?
False
Suppose 0*f - 5*f + 7715 = 0. Is f composite?
False
Let h = -4 + 6. Let v(w) = -9