composite?
False
Let c(x) = -x**3 + 7*x**2 + 7*x + 2. Let t be c(10). Let w = 368 + t. Suppose -4*d + w = 8. Is d a composite number?
True
Let x(c) = 3*c**3 + 7*c**2 - 4*c + 35. Is x(8) a composite number?
False
Let f(i) = -i + 21*i**2 + 0*i - 1 + 2*i. Is f(2) a composite number?
True
Let j = 757 + -38. Is j a prime number?
True
Suppose -5*f = -0*f. Suppose 2 = -4*i - 5*u - 18, f = 5*u + 20. Suppose 2*k - 134 - 56 = i. Is k a composite number?
True
Let d(p) = 3*p**3 - 5*p**2 - 3*p + 9. Let r(l) = -2*l**3 + 4*l**2 + 2*l - 8. Let w(y) = -3*d(y) - 4*r(y). Let q be w(0). Suppose -j = -q*j + 644. Is j prime?
False
Suppose 4*k = 4*z + 612, k = -0*k + 2*z + 148. Let b = 39 - -73. Let r = k - b. Is r composite?
True
Suppose 4*q = 4*r - 0*r - 3780, 3*q + 2817 = -3*r. Let p = q - -1661. Is p composite?
False
Let o(j) = 6*j**3 - 2*j**2 + j. Let i be o(1). Suppose 3 = t - i*y - 21, -2*y = 3*t - 38. Let u = 24 - t. Is u a composite number?
True
Let r(g) = 47*g - 1. Let m be r(1). Let k(a) = a**2 - 5*a + 4. Let s be k(4). Suppose 2*v - m = -s*v. Is v a composite number?
False
Suppose 81 = 3*x - 5*r - 106, -297 = -5*x + r. Suppose 4*d - 153 = x. Is d composite?
False
Is (209*-1)/(0 - 1) a prime number?
False
Let o(d) = -d**2 + 6*d + 17. Let s = 12 + -5. Is o(s) prime?
False
Let r(g) = g**2 + 8*g - 10. Is r(9) prime?
False
Is 1/((-4)/(-10256)*4) prime?
True
Let g = 243 + 184. Is g a prime number?
False
Let n(o) = 5 - 3 + 3 - 31*o - 3. Is n(-5) composite?
False
Let u(q) = -q + 7. Let m be u(-7). Let t be (m/(-8))/((-1)/4). Suppose -4*k + t*k + 4*n - 37 = 0, 0 = 5*n - 20. Is k a composite number?
False
Let z = -255 + 998. Is z a composite number?
False
Let j = 5 + 5. Let l = j - 10. Suppose l = 4*n - 2*n - 298. Is n composite?
False
Suppose -3*i + 46 = s - 12, 2*i - 120 = -2*s. Let w be 1*6 + 48/(-12). Suppose 2*t - u = -t + s, 3*t = w*u + 59. Is t a composite number?
True
Let w(h) = 6*h**2 - 5*h - 9. Is w(6) composite?
True
Let u(d) be the second derivative of -7*d**5/20 - d**4/4 - d**3/6 - d. Is u(-2) prime?
False
Let b(o) = o. Let s be b(-3). Is 0 + (s - -163) - 1 prime?
False
Let q be -1 - 3/((-6)/418). Suppose 4*o = -3*r + q, -r + 0*r = 4*o - 200. Let w = -35 + o. Is w composite?
True
Let y(j) = -j**3 + 22*j**2 - 24*j + 19. Is y(10) composite?
True
Suppose f + 1 - 3 = 0. Let w = -20 + 29. Suppose -4*m = -f*o - 88, w*o - 10 = 4*o. Is m a composite number?
False
Suppose 0 = k - 24 - 34. Is k prime?
False
Let p(v) be the second derivative of -13*v**3/2 - 3*v**2/2 - v. Let s be p(-2). Suppose 3*k + 6 = s. Is k a composite number?
False
Suppose 6*k - 7*k + 953 = 0. Is k a prime number?
True
Let f be (-2)/(-8) + 148/(-16). Let k be 6/(0 + f/(-294)). Is k/2*(-1)/(-2) composite?
True
Let k be 47/3 - 1/(-3). Let h = k - 10. Is (h/(-4))/((-4)/40) a prime number?
False
Suppose -i = -0 + 4. Let c be 10*i*3/(-6). Is ((-84)/c)/(2/(-10)) a composite number?
True
Let b = -83 - -390. Is b prime?
True
Suppose 1293 = 4*l - a, l + 0*l - 3*a - 326 = 0. Is l a composite number?
True
Let n(f) = 2*f + 8. Let j be n(7). Suppose 7*l + p - j = 3*l, 5*l - 4*p - 38 = 0. Suppose -d = l - 28. Is d a prime number?
False
Let q(o) = 72*o - 37. Is q(15) composite?
True
Suppose 8*i + 1443 = 11*i. Is i composite?
True
Let l(y) = 36*y**2 - y + 3. Is l(2) a prime number?
False
Suppose -2*u + 7*u - 1175 = 0. Is u composite?
True
Let q be -2 + (-2)/(-3)*-6. Let l = 29 - q. Is l composite?
True
Suppose 3*h - 7 = -1. Suppose 5*l + 18 = -3*c + h*c, -2*c = -5*l - 24. Is (-480)/(-9) + c/(-6) prime?
True
Is (-4)/(-8)*52 + -4 composite?
True
Let u = -1 - 1. Let g(z) be the second derivative of -2*z**3/3 - z**2 + z. Is g(u) prime?
False
Suppose -4*g - c = 32 - 541, -4*c = -4. Is g a composite number?
False
Let r = -253 - -438. Is r a prime number?
False
Suppose -7 = 4*j - 471. Suppose 160 = 3*f + 5*r - j, 2*f - 183 = -3*r. Is f a composite number?
True
Let a be ((-27)/6 - -2)*18. Let o = a - -206. Is o a prime number?
False
Let o(j) = -5*j**2 - j**3 + 14*j - 2*j**2 - 10 - 7*j. Is o(-9) a composite number?
False
Let n(c) = -c + 6. Let q be n(7). Let h(t) = -70*t**3 - 2*t**2 - t. Is h(q) composite?
True
Let o be 6/((-14)/(-4) - 2). Suppose l + o*l + 4*c = 303, 5*l - 301 = -3*c. Suppose -4*b + 6*b - l = -5*m, b = 4*m + 49. Is b a composite number?
False
Let x be (-2231)/(-11) + 6/33. Suppose -x = -4*z + 57. Is z composite?
True
Let u(s) = -40*s + 1. Let j(z) = -119*z + 4. Let l(f) = -2*j(f) + 7*u(f). Is l(-2) prime?
True
Let h = 4 + -1. Suppose -15 = 2*z + h*z, t - z - 2 = 0. Is (-18)/24*t*4 prime?
True
Let c(o) = -1143*o + 4. Is c(-1) a prime number?
False
Let d be ((-9)/(-4))/((-1)/(-4)). Suppose 2*a - 246 = -5*o, -5*o = d*a - 4*a - 240. Suppose 3*i - 323 = -o. Is i composite?
True
Suppose 44*k - 21659 = 33*k. Is k a composite number?
True
Suppose 2*k = 3*s - 8, -5*k = 2*s - k - 32. Let p be (s/1)/((-8)/(-28)). Let w = p + -7. Is w a composite number?
True
Let s(q) = q**2 + 8*q - 9. Is s(4) prime?
False
Let n(b) = 494*b. Let s be n(1). Suppose 463 = 3*u - s. Is u a prime number?
False
Suppose 5 = 4*w - 3. Suppose 0 = -w*c - 2*i + 424, c + 3*i = 6*c - 1052. Is c a composite number?
False
Is 708/10*5/2 a prime number?
False
Let y = 9 + -14. Is (-2 + -515)/(5/y) composite?
True
Let u(v) = -15*v**3 - 4*v**2 + 2*v - 1. Is u(-4) composite?
False
Suppose -2*v - 2*y = -19 - 1, -3*v + 5*y - 2 = 0. Suppose -v*r + 1119 = -3*r. Is r prime?
True
Let a = -2 + 6. Suppose t = 2*t + 2*y + 28, 0 = a*t + 2*y + 82. Is 35*(-3 - t/5) prime?
False
Suppose 4*a + 26 = 5*z - 3*z, 0 = 2*z + 5*a - 26. Is z composite?
False
Suppose 3*n - 73 - 50 = 0. Let v = n + 38. Is v prime?
True
Let m be 2/(1 - (1 - 1)). Suppose -4*z = 2*p - 32 - 20, z + 57 = 3*p. Suppose -m*v + p = -86. Is v a composite number?
False
Let q = 26 + -14. Is q/(-66) + (-774)/(-22) prime?
False
Let v = -18 + 32. Suppose 2*w = 2*d + 21 + 7, w + 3*d = v. Is w composite?
True
Let x = 8 + -5. Suppose -2 = c + 4*w - 0, 0 = -3*c + x*w + 39. Is c prime?
False
Is (-2)/1*1585/(-10) + 2 a prime number?
False
Suppose -w - 3*x + 138 = -62, 2*x = -5*w + 961. Is w composite?
False
Let d be 8/(-6)*(-6)/1. Let i = d - 4. Suppose r - 19 = -2*t, 0*r + 23 = t - i*r. Is t a prime number?
True
Suppose 3*a + 1 + 5 = 0. Let y be 14*(-1 + 4 + a). Is y*(-1 - 1*-2) a prime number?
False
Let r(k) = 12*k + 1. Suppose -2*q + 3*z = z - 16, -5*q + 2*z + 34 = 0. Suppose -g + q = g. Is r(g) a composite number?
False
Suppose 5*u + 5*g = 125, 5*u + 2*g - 141 + 19 = 0. Let i(n) = -2*n**2 - 4*n + 2. Let t be i(-4). Let j = t + u. Is j a composite number?
True
Let a be (-1)/(2/6*-1). Suppose o + a*r - 84 = 2*r, 4*r = -o + 87. Is o prime?
True
Suppose 8 = 2*h + 2*h. Suppose -4*z = -h*q + 98 + 44, -5*q + 3*z + 369 = 0. Suppose -4*u - u + 89 = i, q = i - 2*u. Is i a composite number?
False
Let c = 0 - -1. Let m = 2 + c. Suppose -m*o + 21 = 3*w, 3*o + 0*o - 5 = w. Is w a composite number?
True
Let a = -29 - -226. Let b = 8 - 6. Suppose 4*k - a = 3*r - 0*r, -r + 111 = b*k. Is k a composite number?
False
Suppose 4*n - 895 = -3*z, 3*z - n + 4*n - 891 = 0. Is z a prime number?
True
Let j(g) = -g**3 - 2*g**2 - 4*g + 7. Suppose 5*l = 2*l - 15. Let m be j(l). Suppose y - m = -23. Is y composite?
False
Let r be 56/6 - 4/12. Let m be (6/4)/(r/18). Suppose m*k - 3*b = 162, k + 58 = 2*k + 3*b. Is k prime?
False
Let k = 0 + -1. Let l be (-1)/(-2)*8 + k. Suppose -2*a = 2*s - 28, -l*s + 38 + 1 = 2*a. Is s composite?
False
Let k(z) = -z - 7. Let s = -19 - -11. Let y be k(s). Is (-51)/6*(y - 15) a prime number?
False
Suppose -w + 3 = 2*w - 2*t, -3*w = t - 12. Suppose y - 3*q = -4*q + 25, -w*q + 9 = 0. Suppose -3*k - 19 = -s, 34 = 4*s - 2*k - y. Is s composite?
False
Suppose -2*m = 3*m. Let f = m + -2. Is (20/(-16))/(f/40) a composite number?
True
Let f be (-4)/18 - (-1010)/9. Let y = f + -74. Suppose 2*u - y = -0*u. Is u prime?
True
Let q(d) = d**2 - 11*d + 15. Is q(19) a composite number?
False
Suppose -3313 = -4*x + 523. Is x a composite number?
True
Suppose -49 + 1104 = 5*o. Is o prime?
True
Suppose 0 = -2*b + 10, 0 = 4*l - 9*l + b + 4380. Is l a composite number?
False
Suppose 2*a = 2 + 2. Suppose 2*t - 5*r = 16, 2*t + t + a*r = 5. Is (-2)/(-6) + 20/t a prime number?
True
Suppose 4 = -4*d, 10*h = 5*h + 3*d + 158. I