 composite?
False
Let t(c) = 2*c**2 + 2*c - 2. Let f be t(-2). Suppose f*z - k = 6*z - 11, 2*z - 2*k + 2 = 0. Suppose -z*h - 1 = -75. Is h prime?
True
Suppose -2*i = -4*z - 4, 6*i + 2*z = i + 22. Suppose 4*y - 28 = i*f, -2*y - 2*f - 6 = -0*f. Is (-1)/y*(2 - 160) prime?
True
Let h(r) = -23*r. Is h(-3) composite?
True
Suppose 826 = 9*t + 5*t. Is t prime?
True
Suppose 454 + 1388 = 2*c. Is c a prime number?
False
Let h = -16 - -25. Suppose -3*p - y = 4, 0 + 4 = -p + y. Let d = h + p. Is d composite?
False
Let q(b) = b**3 - 8*b**2 + b - 8. Let l be q(8). Suppose l*u - u + 67 = 0. Is u composite?
False
Let x = 360 - 87. Suppose 5*n = 2*n + x. Is n composite?
True
Suppose 6*t - 4*t - 70 = 0. Is t a composite number?
True
Suppose -5*v - m + 4 + 3 = 0, -3*v + 4*m = -18. Suppose -s = 2*u - 55, v*s + 5*u = 4*s - 92. Let t = s - 2. Is t composite?
True
Let a = 11 - 9. Is (317 + -3)*1/a composite?
False
Suppose -4*c = -3*h + 4571, 5*h + 0*h - 3*c = 7633. Is h a composite number?
True
Let p(j) = -j**3 - 7*j**2 - 8*j - 2. Let c be p(-6). Let s be (-14)/(-3) + c/(-15). Is s/(-6) - (-203)/3 a prime number?
True
Suppose 145 = -5*q + 630. Is q composite?
False
Let n be (-8)/12 + (-314)/(-3). Let j = 171 - n. Is j a composite number?
False
Let f(p) = -p**3 + 5*p**2 - 2*p - 2. Let h be f(4). Let d(a) = 5*a**2 - 6*a + 5. Is d(h) a prime number?
True
Let m = 14 - 9. Suppose 2*o - 136 = -f - 0*f, 0 = 3*o - m*f - 191. Is o composite?
False
Let t be (6 - 4) + (-1)/(-1). Suppose -h = t*c - 5*h - 261, 2*h = 5*c - 421. Is c a composite number?
False
Let h(r) = 33*r**2 - 3*r - 1. Let w(s) = 67*s**2 - 5*s - 2. Let y(n) = -5*h(n) + 3*w(n). Is y(1) a composite number?
True
Suppose -5*i - 5*b + 760 = 0, -b - 307 = -2*i - 4*b. Is i composite?
False
Let m = 2 + 0. Let g be -4 - (-2 + 0/m). Is (g/(-5))/((-3)/(-45)) a prime number?
False
Suppose v - 2 = 0, -26 = 4*s - 2*s - 4*v. Let k = s + 42. Let y = k + -11. Is y prime?
False
Suppose -12*v + 13*v = 0. Suppose -4*y + 554 - 206 = v. Is y a prime number?
False
Let q = -5 + 9. Suppose q*u + 32 = 108. Let s = u - 0. Is s a composite number?
False
Let m = 14 - 7. Suppose o + m - 3 = 0. Is 10/4 - (-2)/o a prime number?
True
Let y(l) = -l**2 - 19*l - 17. Is y(-7) prime?
True
Let s = -3824 - -6451. Is s a prime number?
False
Let a(u) be the first derivative of 7*u**3/3 + u**2/2 - 7*u + 2. Suppose i + 30 = 5*t, -i + 0*i - 12 = -2*t. Is a(t) a composite number?
False
Let p(o) = o**3 + 8*o**2 + 3*o + 3. Let g = -9 + 5. Is p(g) prime?
False
Let t = -4 - -4. Suppose 4*p + p - 170 = t. Let y = p - -3. Is y prime?
True
Let w(j) = j + 11. Let x = -26 - -18. Let h be w(x). Suppose p + h*s - 52 = 0, -s - 4*s = 25. Is p prime?
True
Suppose 0 = -2*m + 20 - 6. Let n = 24 + m. Is n a composite number?
False
Suppose 0*h - 28 = 2*h. Let a = h + 23. Is 339/a + (-2)/3 prime?
True
Let a be 7/(-14)*(-12)/2. Suppose 3*v - 4*v - a = 0, 0 = -5*s + v + 98. Is s prime?
True
Let t = 221 - -1884. Is t prime?
False
Let t = -13 - -4. Is 26/3 - 3/t composite?
True
Is (8/6 + -1)/(1/20307) prime?
False
Let u(p) = p**3 + 6*p**2 + 3*p - 3. Is u(-5) a composite number?
False
Let v be ((-6)/(-9))/(3/(-54)). Let k = 99 + v. Is k a prime number?
False
Suppose -36 - 27 = g. Is 4/2 + g/(-3) prime?
True
Let j = -1 + 0. Let i = j - -1. Is 31 - i*2/(-6) a prime number?
True
Suppose -5*x = -3*n - 29, x - n - 10 = n. Suppose 248 + 140 = x*s. Is s composite?
False
Suppose -3269 - 130 = -3*i. Is i a composite number?
True
Let u = -1708 + 2415. Is u prime?
False
Let b be -2*(-2 + 8/(-4)). Suppose -b*j = -j - 4865. Is j a prime number?
False
Let z be (36/10)/((-12)/(-40)). Is 1*3/6*z prime?
False
Let v(o) = 80*o**3 + o**2 - o. Let s be v(1). Suppose d - s = -4*b, d - 5*b - 18 = 26. Let y = -45 + d. Is y prime?
True
Let f(x) = 2*x**2 + 6*x - 13. Is f(18) composite?
False
Suppose 0 = -0*q - 2*q + 2*w + 1238, 0 = -5*q - 5*w + 3135. Is q composite?
True
Let o be 3/6 - 185/(-2). Let k be (1 + -23)*75/(-6). Suppose k = 2*r + o. Is r prime?
False
Let a(n) = n**3 + n**2 + n - 2. Let m(p) = p**3 + p**2 + 3. Suppose -q = q. Let b be m(q). Is a(b) prime?
True
Suppose -2*n + 154 + 241 = 5*o, -413 = -2*n + o. Is n a prime number?
False
Let o = 183 - 68. Is o composite?
True
Let g = -202 - -89. Let z = g - -161. Let v = 113 - z. Is v a prime number?
False
Let h(t) = -8*t**3 + 3*t**2 + 8*t + 4. Is h(-5) a composite number?
False
Let f be (-3)/(-2)*(-372)/(-9). Let u = f + -25. Is u a composite number?
False
Let n = -90 - -135. Let u = n - 117. Let h = u - -163. Is h a prime number?
False
Suppose 2925 = 5*c + 790. Is c a composite number?
True
Suppose -4*q + 5076 = 3*m, 5*m = 4*m + 4. Let a be q/10 - (-6)/15. Suppose -3*w = 0, 2*c - a = 3*w + 103. Is c composite?
True
Let p be 1*5 - 4/2. Let b be 11/p + 14/(-21). Suppose 2*o - b*o + 26 = 0. Is o a prime number?
False
Let a(q) = -579*q - 17. Is a(-6) prime?
True
Let w(x) = -10*x**3 - 5*x**2 + 5. Is w(-4) composite?
True
Suppose 4*j = j - 15. Let b = 30 + j. Is b prime?
False
Let c = -6 + 6. Let g(y) = 1 + c + 4*y**2 + 0. Is g(3) prime?
True
Let h(b) = 19*b**3 - 2*b**2 + 2. Is h(3) a prime number?
False
Let g(n) = n**3 - 5*n**2 + 5*n + 15. Is g(8) a composite number?
True
Is 2 - (1 + 1812/(-2)) composite?
False
Suppose -m + 21 = -2*m. Suppose -5*d + 20 = 0, -3*x + 2*d - 5*d = -180. Let h = x + m. Is h a prime number?
False
Suppose 3*s = z + 2*s - 487, 1451 = 3*z + 2*s. Is z a composite number?
True
Suppose -5*k = -4*g - k + 1248, 0 = 2*g + 5*k - 659. Is g prime?
True
Suppose 2*x + 2*m + 4 = -2*x, -4*x = 4*m - 4. Let y be x/6*-4*1. Is (-294)/(-8) - y/(-8) prime?
True
Is -3*(-4)/12 - -3658 composite?
False
Let n = -131 - -184. Is n prime?
True
Suppose -4*m = -n + 117, -7*m - 660 = -5*n - 2*m. Suppose 0 = -2*g + n + 11. Is g composite?
True
Let c = 253 + 1046. Is c a prime number?
False
Let j = 2 - 1. Is (2 + 11)*(0 + j) prime?
True
Suppose -2*b = -545 - 197. Is b a prime number?
False
Let b(o) = 38*o**2 - 2*o + 1. Is b(3) a composite number?
False
Suppose -2*s - 2 = -5*c + 12, -4*s - 6 = c. Suppose 0 = -5*h + 2*a + 3177, -h + 2538 = 3*h + c*a. Is h composite?
True
Suppose -6*z + 7*z - 263 = 0. Is z a composite number?
False
Let d = 489 + -328. Is d prime?
False
Let c = 42 + -33. Suppose -4*f + l = 25 + 7, 3*f + 3*l + 9 = 0. Let n = f + c. Is n a composite number?
False
Suppose 3*m = -m + 508. Is m a prime number?
True
Let q = 93 + 70. Let s = -20 + q. Is s a composite number?
True
Suppose f - 6*f - 3 = 2*d, -d = 3*f + 1. Let q be (-3)/((-6)/8) - f. Suppose -3*c - 2*c - z + 58 = 0, -q*z - 46 = -5*c. Is c a composite number?
False
Let g(y) = 4*y + 1. Let o be g(1). Suppose -4*z + o*k = -18, 2*k = -3*z - k. Is 1 - (-3 - z/(-2)) composite?
False
Let p be (-1)/2 + (-1085)/(-10). Suppose 12 + p = -5*l. Let x = -11 - l. Is x a composite number?
False
Let j(x) = 19*x + 3. Is j(4) prime?
True
Let o(i) = i**3 + 4*i**2 + 4*i + 6. Let q be o(-6). Let c be q/(-4)*44/3. Suppose -3*a + 135 = -c. Is a a prime number?
False
Suppose -2*f - 2 + 14 = 0. Let c be 3 - (-9)/(f/2). Is (3/c - -1)*2 prime?
True
Is (-4)/(-10) + 1463/5 composite?
False
Is ((-1)/2)/((-4)/968) a composite number?
True
Suppose -357 = -5*n + 598. Is n composite?
False
Suppose -427 = -2*k - 165. Is k prime?
True
Let a(y) = 103*y**2 + 2*y + 1. Is a(-2) a composite number?
False
Suppose -14693 = 2*j - 9*j. Is j prime?
True
Suppose -2*k + 632 = -5*u, -2*u - 637 - 643 = -4*k. Is k a composite number?
True
Suppose -4*j - 2224 = -4*b, 2*b = -0*b - 5*j + 1119. Is b a prime number?
True
Suppose -9*x + 11*x = 0. Suppose -3*b = 3*o - 387, x = -3*o + 8*o - 2*b - 659. Is o a composite number?
False
Let r = -36 - -1. Is (-217)/r + 2/(-10) prime?
False
Suppose 0*y - 10 = y. Let m = y - -2. Is 3/2*m/(-3) a prime number?
False
Suppose 5*w = 5 + 5. Let d(y) = -3 - y + 3*y**2 - w*y**3 + 6*y + y**3. Is d(-4) composite?
False
Let n(h) = 15*h**3 - h**2 + 2*h - 1. Let m = 3 - 1. Suppose 7*x + 2*b - 6 = 3*x, -3*x + 5*b = m. Is n(x) a prime number?
False
Let j(m) = 6 + 6*m - 3*m - 2*m. Let p be j(-7). Let w(l) = -18*l + 1. Is w(p) prime?
True
Is (-48 + -1)/(0 + -1) prime?
False
Suppose 0*t = -2*t + 16. Let r = t - 2. Suppose -r*p + 275 = -p + 5*a, -4*a = p - 67. Is p prime?
False
Let h(u) = 1 - 1 + 5*u + u**2 - 1. Let f b