be -3*(a + (-1)/3). Is (l + 1 + 2)*3 prime?
True
Let k(y) = -11*y**3 - 4*y**2 - 3*y - 3. Let d be k(-3). Suppose -2*x + d = x. Is x a composite number?
False
Let p(q) = -2*q - 7. Let v be p(-6). Let g(d) = 2*d**3 + 6*d**2 - 2*d**3 - d**3 + 7 + d. Is g(v) a prime number?
True
Let k(v) = 63*v**2 - 2*v + 1. Let h be k(2). Suppose -m + h = 2*j - 0*m, -4*j - 4*m = -488. Is j a prime number?
True
Let n be (4/4)/(2/(-6)). Is (8/n - -3)*339 a prime number?
True
Is 1 - -6*36*1 a composite number?
True
Suppose 166 = 4*f + 2. Suppose 0 = f*n - 39*n - 502. Is n prime?
True
Let c(u) be the second derivative of -u**4/12 + 5*u**3/3 - 3*u**2/2 + 2*u. Let b(g) = -g**3 + 5*g**2 + 4. Let l be b(5). Is c(l) a prime number?
False
Is 17382/10 - (-24)/30 composite?
True
Let r(x) = x**3 + 2*x**2 - 5*x - 2. Let n be r(-3). Suppose -z = -n, -2*z = -3*v - 0*z + 187. Is v a composite number?
True
Let y(u) = -u**3 - 9*u**2 + u - 8. Is y(-11) a prime number?
True
Suppose 3*u = u, 4*q - 16 = -3*u. Suppose -1 = 5*j + q. Let s(l) = 54*l**2 - 2*l - 1. Is s(j) a composite number?
True
Let c = 8 + -4. Suppose c*x + 18 = 42. Is x prime?
False
Suppose -2*h + 5 + 1 = 0. Suppose -5*k = -2*i - h*k + 14, -5*i - 2*k + 28 = 0. Is i composite?
True
Let g be 7/((4/(-33))/(-4)). Let t = g + -134. Is t a composite number?
False
Is (105 + -2)*(-15)/(-5) + 2 a prime number?
True
Suppose 10*b = 5*b - 30. Let t(u) = -5*u**2 - 7*u - 3. Let p(l) = -19*l**2 - 27*l - 13. Let g(r) = 2*p(r) - 9*t(r). Is g(b) composite?
False
Let n be (-1)/2*-1*10. Suppose -2*z + 515 = -v, 3*z - n*v - 776 = -0*v. Is z composite?
False
Let y(d) = d**2 + 8*d + 7. Let l be (7 + -4)*8/(-3). Is y(l) a prime number?
True
Let w = 1 - 3. Is -158*(4/w)/4 a prime number?
True
Suppose 0 = 4*c - 242 - 22. Suppose -5*t + 3*u = -109 - 342, 3*t - 2*u = 270. Let y = t - c. Is y prime?
False
Suppose 4*u - 406 = 5*f + 1842, 4*u - 4*f - 2244 = 0. Is u a prime number?
True
Is (-2)/18*-3701 - (-4)/(-18) a composite number?
True
Let y(q) = -5*q**3 + 2*q**2 + 4*q - 5. Is y(-4) a composite number?
False
Let v(s) = s + 9. Let g be v(-4). Suppose -g*t + 45 + 90 = 0. Let p = t + 52. Is p prime?
True
Let u(m) = -8*m**3 - m**2 + m - 4. Let z be u(2). Let f = -164 - -280. Let x = z + f. Is x a composite number?
True
Is (-106)/(4/(-2 - 0)) a prime number?
True
Suppose -5*v - 30 = 5*l, -5*l - 14 = -v + 10. Let j = 1 - v. Suppose 4*k - 229 = -4*m + 31, 4 = -j*m. Is k prime?
True
Suppose -5*y = -2*y - 561. Is y a composite number?
True
Let m(d) = -d**3 - 5*d**2 - d - 2. Let h be m(-5). Suppose a + 98 + 11 = h*s, -113 = -3*s - a. Is s a composite number?
False
Suppose -5*x = p - 195, -4*x = -2*x - 4*p - 78. Suppose -3*h = -15, 5*a - 3*h = -26 - x. Let m(j) = j**3 + 9*j**2 - 10*j + 6. Is m(a) composite?
True
Let j = -1 - -1. Suppose j = 3*o - 2*o. Suppose z - 5*z + 148 = o. Is z composite?
False
Let c(l) = l**3 + 3*l**2 + 2*l - 2. Let r be c(-3). Let h(y) = y**2 + 6*y - 5. Is h(r) a composite number?
False
Suppose 0 = -4*c - 5*x + 33 + 2, -2*c - x = -13. Suppose -3*w + w - l = -74, c*l + 120 = 4*w. Is w prime?
False
Suppose -2*g + 8 = 2*l, -3*g = -g - l + 4. Suppose 4*o - 7 - 1 = g. Is o a composite number?
False
Suppose 0 = -m + 5*v + 561, -m - 5*v = -4*m + 1703. Is m composite?
False
Suppose 19*q = 13*q + 5862. Is q a prime number?
True
Suppose 3*y - 2*o - 3121 = 542, 2*y = -2*o + 2432. Is y composite?
True
Let s(a) = a**3 - 2*a**2 - a - 3. Is s(7) a composite number?
True
Is (3*(-3)/(-9))/(2/1114) composite?
False
Suppose -3*x = 32 + 28. Is ((-435)/x)/((-9)/(-24)) a composite number?
True
Let d(q) = q**3 - 4*q**2 + q - 4. Let m be d(4). Suppose 4*a - 58 = 5*z - 185, 2*z + 5*a - 31 = m. Suppose -z = -4*c + 1. Is c prime?
False
Suppose 0 = -3*o + 6*o - 231. Let a = -31 + o. Is a a composite number?
True
Let n(d) = -152*d**2 + 2*d + 16. Let f be n(-7). Is 8/20 + f/(-10) composite?
True
Is (-287)/(-14)*6*1 prime?
False
Let v = -31 - 11. Let o = -14 - v. Is o/8*2/1 prime?
True
Let g(x) = 3 + x**3 + 1 - 4*x**2 - 2 + x. Let u be g(4). Suppose c = u + 8. Is c composite?
True
Let c(f) = -9*f**3 + 3*f - 11. Is c(-5) a prime number?
False
Suppose 2*u - 2*d = 6*u - 10, 3*d - 15 = 0. Suppose 2*n - 84 = -t - 7, -t + 3*n + 82 = u. Is t a prime number?
True
Is (-2 - (6 - 10))/((-2)/(-259)) a prime number?
False
Suppose f - 68 = 126. Is f a composite number?
True
Let y be 1/(-5) + 21/5. Let s be -2 - (-58)/y*2. Suppose -4*h + 159 - s = 0. Is h a composite number?
True
Let k(i) = -i**2 + 12*i - 6. Let u be k(10). Suppose -3*c = -4*m - 12 + 66, m - u = c. Is 2*(-2)/m*-111 a composite number?
False
Is (-282)/(-4) - 7/(-14) composite?
False
Let m(c) = -117*c + 1. Suppose 0 = -5*j - 2*b - 12, b + 5 + 4 = -4*j. Is m(j) a composite number?
True
Suppose -7*u + 7976 = u. Is u composite?
False
Let y(m) = -3*m + 6. Let c be y(5). Let a = 5 - c. Is a prime?
False
Let q(n) = -173*n**3 - 4*n**2 - 2*n + 4. Is q(-3) composite?
True
Suppose 5*w - 4*o = 88, 2*w - 43 = -0*w - o. Is 2532/w - (-2)/5 prime?
True
Let p(d) = -2*d - 2. Let q(c) = 2*c + 6. Let w be q(-4). Let b be p(w). Suppose -5*m = -b*o - m + 286, -640 = -5*o - 5*m. Is o a prime number?
False
Let g be ((-3)/3 - -2)*445. Let h be (-2 - -3)*(0 - 0). Suppose -4*k + 9*k - g = h. Is k composite?
False
Suppose -3*m = 107 - 455. Let q = m - 61. Is q prime?
False
Let r = 8 + -20. Let a = r - -6. Is (-226)/a + (-4)/6 a composite number?
False
Suppose -p - c = 0, p = 4*p - c - 8. Suppose 5*s - 4*i = 837, p*i - 5*i + 6 = 0. Is s a composite number?
True
Let u(t) = -t**2 + t + 5. Let y be u(0). Suppose q - 300 = -4*d + 8, 385 = y*d - q. Is d prime?
False
Suppose -8*i + 3646 = -6*i. Is i composite?
False
Let u(l) = 63*l + 4. Let p be u(3). Suppose -p = -5*k + 2*i, k - 5*i - 23 = 34. Is k composite?
False
Let s(r) = -r - 4. Let c be s(-5). Let p(a) = 57*a**3 + a**2 - 2*a + 1. Is p(c) composite?
True
Let n = 9 - 5. Suppose 102 = 4*x + 2*p, x - n = 2*p + 19. Is x composite?
True
Suppose -2*z + 3*z = 47. Let f(v) = v**3 + 5*v**2 + 6*v + 2. Let c be f(-5). Let n = c + z. Is n a prime number?
True
Suppose -r - w + 3158 = -6*r, -4*r - 2*w - 2532 = 0. Let q = -421 - r. Is q composite?
False
Suppose 5*q + 2*u - 351 = 0, -5*q + u = -273 - 84. Is q a prime number?
True
Is 12/18*(-9258)/(-4) a composite number?
False
Let s(k) = -5*k**2 - 8*k + 15. Let v(d) = 4*d**2 + 8*d - 14. Let q(a) = -5*s(a) - 6*v(a). Let b be q(7). Suppose -21 = b*z - 5*z. Is z a prime number?
True
Suppose l + 2*l = 0. Suppose -3*i + 0*i + 15 = 0, l = 4*o + 3*i - 243. Suppose o + 178 = 5*y. Is y prime?
True
Suppose -b = -2*b + 379. Is b prime?
True
Suppose -5*w - 3*v + 726 + 104 = 0, 2*w = 3*v + 332. Is w prime?
False
Suppose -h - 3*h = 0. Is h + (24/3 - -2) composite?
True
Suppose 0 = 4*s + 415 - 6275. Is s a prime number?
False
Let n(y) = -y**3 + 8*y**2 - 6*y - 5. Let p be n(7). Is p/(-4) + 133/14 composite?
True
Is 2*(-2 - -15*11) composite?
True
Suppose -h = -140 - 75. Is h a composite number?
True
Let f be (2*-1)/(0 + -1). Suppose -a + 3*k + 17 = 0, 0 = -a - f*k + 1 - 4. Suppose a*y - 844 = y. Is y composite?
False
Let s be 11/(-3) + (-4)/(-6). Let n = s - -5. Suppose -4*h + d + 927 = 0, -3*h = -n*d - 563 - 126. Is h a composite number?
False
Let w(a) = -29*a + 75. Is w(-8) a composite number?
False
Suppose -2*r + 22 = 3*t + t, 3*t = 5*r - 81. Suppose -i - 2*w = -32, 0*i + 2*i - 92 = 3*w. Suppose z - i = -r. Is z prime?
False
Let x = 791 - 74. Is x a prime number?
False
Let a(f) = -f + 1. Let p(j) = 1. Let y(w) = a(w) - p(w). Let i be y(-3). Suppose -r - i*r = -220. Is r a composite number?
True
Let v(i) = i**3 - 20*i**2 + 8*i - 25. Is v(24) prime?
False
Let v(a) = -49*a. Let f = 9 - 6. Suppose -4*j = -5*h - 13, j - 2 = 3*h + f. Is v(h) prime?
False
Suppose 2*t + 2 = -a - 4, 4 = -4*a + 2*t. Let r(l) = -43*l - 1. Is r(a) composite?
True
Let i(d) = -220*d - 7. Let b(g) = -g**3 - 4*g**2 - 3*g - 3. Let m be b(-2). Let q(h) = 330*h + 10. Let r(p) = m*q(p) - 7*i(p). Is r(-1) prime?
True
Suppose 4 = w - 0*w. Suppose -w*q + 381 = -q. Is q a prime number?
True
Let d = -10 - -95. Is d a composite number?
True
Suppose 3682 = -4*u + 2*r, -5*u = 4*r + 1530 + 3079. Is (-2 + 15/9)*u a composite number?
False
Suppose -2*k - 4*m = -k + 14, 0 = -k + 3*m - 35. Let u = k + 8. Let a = u