Is r prime?
False
Let a be ((-12)/(-9))/(4/6). Let o = 31 + -31. Suppose r - 49 + a = o. Is r composite?
False
Suppose 3*r = -3 + 18, -6 = 3*t - 3*r. Let m = t - 3. Suppose m*o + 355 = 5*o. Is o a composite number?
False
Let g be -271*(2 + -2 + -1). Suppose -5*k - 214 = g. Let c = -50 - k. Is c a prime number?
True
Let w(x) = 4*x**2 + 2*x - 13. Is w(-6) a prime number?
False
Let c(b) = b**3 + 4*b**2 - 7*b + 5. Is c(6) prime?
False
Let h(l) = 2*l + 7. Is h(13) a prime number?
False
Suppose -2*d = 5*f - 3149, -4*f - 3*d + 8*d + 2539 = 0. Is f a composite number?
False
Suppose -6*u + 4*u + 18 = 0. Let c(z) = 15*z + 10. Is c(u) prime?
False
Suppose 0*c = c - 3. Suppose -c*n + 3*f + 545 - 65 = 0, -5*n + 773 = 4*f. Is n composite?
False
Let w = 1807 - -180. Is w a composite number?
False
Is 1394 + 3 + 6 + (-1 - 3) a composite number?
False
Let x(i) = i**3 + i**2 + i + 1. Let g(p) = 2*p**3 + 13*p**2 + 9*p + 19. Let k(w) = -g(w) + 3*x(w). Is k(11) prime?
False
Let k = 1321 - -180. Is k prime?
False
Suppose -5*x + 4*q + 3015 = -2571, 0 = 2*x + 2*q - 2238. Suppose -2*v + x = -4*s, -2*v + v - 5*s = -580. Is v prime?
False
Let b(k) = 5*k**2 - 5. Let z be b(6). Let n = 434 - z. Is n composite?
True
Let h = 3 + 2. Suppose 0 = 2*p + 2*p. Suppose o - 6*o - 3*t + 93 = 0, -o - 4*t + h = p. Is o prime?
False
Let m(f) = 451*f + 2. Let b(o) = -1353*o - 6. Let r(u) = -3*b(u) - 8*m(u). Is r(1) composite?
True
Suppose -26 = 2*x + 16. Is 6/21 - 204/x composite?
True
Suppose -3*m + 7*m - 24 = -v, -5*m - 2*v + 30 = 0. Suppose 2*f - d = -12 + 33, -f + 3*d = -23. Let s = m + f. Is s a composite number?
True
Let m = 2013 - 892. Is m a composite number?
True
Suppose i + 3*g + 901 = 2*i, -2677 = -3*i - 4*g. Is i prime?
False
Let o = -16 + 16. Suppose o = -3*i - 297 + 1194. Is i prime?
False
Suppose -18*j + 639 = -15*j. Is j prime?
False
Suppose -3*r + 186 = -5*n, -2*r + 33 = 5*n - 116. Is r composite?
False
Is (-700)/(-6) + (-4)/(-3) composite?
True
Suppose 0 = h + 399 + 85. Let j = 857 + h. Is j prime?
True
Let o be (-4)/(-4) + -1*1. Suppose o = s - 6*s + 275. Is s composite?
True
Let h(w) = 4*w**2 - 1. Let z be h(-1). Suppose -304 + 13 = -z*o. Is o prime?
True
Let a(z) = 133*z - 3. Is a(2) a prime number?
True
Let l = 1 - -2. Is 67/3 - l/9 composite?
True
Let c be (95/(-10))/(1/(-2)). Suppose -c = 4*y - 55. Is y prime?
False
Let z(l) = 2*l**2 + 45*l - 2. Is z(27) composite?
False
Let l(z) = -z - 6. Let u be l(-6). Let i(x) = -x**2 + x + 21. Let m be i(u). Let f = 13 + m. Is f a prime number?
False
Let h = 16 - 12. Is ((-329)/h)/((-14)/56) prime?
False
Suppose -b - 3*b = 0. Suppose -5*z + v = 4*v - 1371, b = -3*z - v + 821. Suppose -5*f - 160 = -5*y + 2*y, -5*y + 2*f + z = 0. Is y a prime number?
False
Let m = -123 + 206. Is m composite?
False
Suppose g - 15 = 2*g. Is 1693/15 - 2/g composite?
False
Is 1397*1 + (-26 - -26) a composite number?
True
Let i(k) = 25*k**2 - 17*k + 91. Is i(11) a prime number?
False
Suppose 4*v = m, 5*v = -0*v. Suppose 0*r + 105 = r - 4*j, m = 2*j + 8. Is r a composite number?
False
Suppose -3*m + x + 3 = 0, -4 = m - 3*x + x. Is m a prime number?
True
Let l = 23 + 36. Is l a composite number?
False
Let m(k) = k**3 - 7*k**2 - 7*k - 3. Let x be m(6). Let s = -58 - x. Is s composite?
False
Let z = 6 - 3. Suppose z*j - 336 = -j. Is (3/6)/(2/j) prime?
False
Let r(q) = q**2 - 4*q - 9. Suppose o - 20 = -0. Let s = o + -12. Is r(s) a composite number?
False
Suppose 3*h = 2*d - 171, 0 = -0*d - 3*d + 2*h + 254. Suppose k = -d - 42. Is (-1)/2*(k + -8) a prime number?
True
Suppose 0 = 3*f + 5*t - 7, 4*t = -5*f - 0*t + 16. Suppose -4*p - f*h = -0*p - 136, 2*p - 64 = 2*h. Is p composite?
True
Let u = -19 + 19. Let f(a) be the third derivative of -a**5/60 + a**4/24 + 53*a**3/6 + a**2. Is f(u) a prime number?
True
Let i(r) = -7*r**3 - r**2 + 5*r + 12. Is i(-3) composite?
True
Suppose -2*b + 2*n + 3 + 3 = 0, -5*b - 4*n - 21 = 0. Is 331 + (-2)/(-2) + b prime?
True
Suppose 1170 = 8*t - 454. Is t composite?
True
Is 35/(-14)*11802/(-15) prime?
False
Let d be -3746*1/(-2) - 1. Let v = d - 1085. Is v a prime number?
True
Suppose -20191 = -9*a + 31550. Is a composite?
False
Suppose -3*x - 14 = -8. Is 5715/35 + x/7 a prime number?
True
Let o be (0 - 17)*(4 + -3). Let p = -2 - o. Is p a prime number?
False
Let j(k) = 13*k - 8. Let r be j(6). Suppose -3*f = -2*f, 0 = -5*t - 3*f + r. Let g = 20 - t. Is g prime?
False
Let g(s) = -s**3 - s**2. Let v(t) = -t**3 + 8*t**2 + 2*t - 4. Let r(l) = -5*g(l) - v(l). Is r(3) prime?
False
Let n(f) = -f - 11. Let w be n(-11). Suppose 5*a = -w*a + 445. Is a prime?
True
Suppose -10 = -4*a - 6. Suppose 5*w - 69 = 2*w. Is a*w + (0 - 1) prime?
False
Suppose -2*p - k = -6*p + 1515, 2*p - 3*k = 755. Is p prime?
True
Let c(u) = 6*u**2 - 3*u - 3. Let g be c(4). Let m = -1 - -3. Suppose m*v = 3*w + 10 + 148, g = v - w. Is v a composite number?
True
Let y = -1 + 8. Is y prime?
True
Suppose 2*k + t = 1, k - 2*k - 2*t - 7 = 0. Suppose -c - o - 9 = -k*o, 3*c = 2*o - 7. Is (0 - -1)/(c/34) a composite number?
True
Let y = -246 + 653. Is y composite?
True
Suppose 3*m - 212 = 169. Is m a prime number?
True
Let y be (-1 - 0)*(3 + -1). Is 94*((-7)/y + -3) a prime number?
True
Suppose -2*t - 3*t = 0. Let f(v) = -v**3 + 157. Is f(t) a composite number?
False
Suppose -x + 2962 = x. Suppose -5*a + 983 = 2*f - 0*f, -3*f - a = -x. Is f/8 + (-4)/(-16) prime?
False
Suppose 3*b + 7*n = 3*n + 5, -5*n = -4*b + 17. Let p(m) be the third derivative of m**5/15 + m**3/6 - 2*m**2. Is p(b) composite?
False
Suppose -3*p - z = -0*p - 10, 2*p - 18 = 5*z. Suppose 5*o - v + 3*v - 1271 = 0, -5*o - p*v + 1277 = 0. Is o a prime number?
False
Let g = 351 - 192. Is g a composite number?
True
Suppose -33 = m + k + 52, -449 = 5*m - 3*k. Is m/(-2)*(-7)/(-4) composite?
True
Suppose 4*k - 2*k - 4 = 0. Let a(p) = 10*p**3 - p**2 - 3*p + 1. Let s be a(k). Suppose 5*h + 5*u - s = 2*h, 0 = 4*h + 4*u - 92. Is h a composite number?
True
Let d = 12 + -2. Is (2 - d/8)*4 prime?
True
Is ((-669)/(-9))/((-1)/(-3)) a prime number?
True
Let u be (-8)/12 - 34/(-6). Let b be 3/(-6*(-1)/4). Is 183/u + b/5 a composite number?
False
Suppose 2*c + 38 = 3*o, 0 = -4*c - o + 5*o - 68. Let w = c + 1. Let x = w - -31. Is x a prime number?
True
Let u(x) = x**3 + 7*x**2 + 4*x + 7. Is u(-5) a composite number?
False
Suppose 2*p - 130 = 66. Let g = p + 51. Is g prime?
True
Let h be 1 + 4*2/4. Suppose -2*g - h*g + 158 = 3*v, 0 = -2*v + 2. Is g a prime number?
True
Let p be 2945/15 + 1/(-3). Suppose -4*r + 112 = -p. Suppose r = -2*g + 3*g. Is g a composite number?
True
Let r = 592 - 275. Is r prime?
True
Let k(d) = -d + 293. Is k(0) a composite number?
False
Suppose -5*a - 281 = -4*a. Let z = -139 - a. Is z a composite number?
True
Is ((-149)/4)/(6/(-120)) composite?
True
Let k(v) = -6*v + 15. Let d be k(6). Let u be 2*(0 - (5 + 1)). Let h = u - d. Is h composite?
True
Let c(m) = m**3 - 4*m**2 - 4*m - 3. Let k be c(5). Let s(d) = -19*d - 6. Let q(t) = 702*t + 221. Let n(f) = 6*q(f) + 221*s(f). Is n(k) a prime number?
False
Let q(f) = -f**2 + 4. Let b be q(-3). Let d(m) = m**3 + 6*m**2 + 5*m + 2. Let v be d(b). Suppose 2*u - t = 6*u - 139, -v*u + 2*t + 72 = 0. Is u composite?
True
Suppose 4*m - 20 = 0, 3*d - 5*m + 10*m = 55. Let f(h) = 12*h + 7. Is f(d) a composite number?
False
Let h(j) = -j**3 - j**2 + 5. Let f be h(0). Suppose -173 = f*q - 503. Let r = q - 44. Is r composite?
True
Let z = 4 + -1. Suppose 2*d - z*d = -3. Suppose 5*p - 37 = 2*i + 6, 1 = d*p + 5*i. Is p a prime number?
True
Let f be (10/3)/(10/15). Suppose -f*d + s = -336, 2*d - 3*s = 6*d - 265. Is d composite?
False
Suppose 8 = i - 14. Is i prime?
False
Let r(c) = 56*c**3 + 4*c**2 - c - 2. Is r(3) a composite number?
False
Let l(i) = -i**3 - 12*i**2 + 8*i + 9. Is l(-14) a composite number?
True
Let y(q) = 30*q - 1. Let a = 22 - 8. Is y(a) a composite number?
False
Let o = 75 + 95. Suppose -3*m + o = -m. Is m a prime number?
False
Suppose 6*t + 9138 = 12*t. Is t a prime number?
True
Suppose 57 = 3*w - 2*w. Is w prime?
False
Let t be (5/(-2))/((-1)/2). Let x(p) = 6*p**2 - 3*p - 4. Is x(t) prime?
True
Suppose -5*k + 0*k = 0. Suppose 0 = -3*b + 3*a - 27, -3*b + b + 3*a - 18 = k. Let y = b - -23. Is y prime?
False
Let u = -7 - -66. Is u a composite number?