7 = -2*y + 3*r, 3*y = -3*r + 232 + h. Is y prime?
False
Suppose -4*l - 9 + 1 = -4*x, -2*l + 8 = 4*x. Suppose 4*i = t - 26, -14 = -l*i + 2*i - t. Is (9/i - -2)*38 prime?
True
Let k = -313 + 442. Is k prime?
False
Suppose -2*z - 12 = z. Let x = z + 14. Suppose 375 = 5*a - x. Is a a prime number?
False
Let z be 3 + 0/(1 - 3). Let g = -2 - z. Is (-1053)/g + (-4)/(-10) a prime number?
True
Let d(f) = f**3 - 7*f**2 + 6. Is d(7) a prime number?
False
Let y = 0 - -2. Suppose -h - y*h = 24. Let b = -5 - h. Is b composite?
False
Let k = 11 - 15. Is k/10 + (-667)/(-5) composite?
True
Suppose -3*a = -7 - 2. Suppose -3*r = a*p + 6, 4*p + 4*r = p - 10. Suppose 4*g = -p*j + 746, -g + 4*g - 566 = 5*j. Is g a composite number?
True
Suppose 5*a + 25 = 4*f, 0 = 4*a + 25 - 5. Suppose f = -2*t + l + 97, 111 + 37 = 3*t - 4*l. Let i = t - -1. Is i a prime number?
False
Let p(b) = 157*b**2 + 1. Let a be p(-1). Suppose 99 = -2*o - 111. Let f = o + a. Is f a composite number?
False
Let h be (0 - -1)/(1/175). Suppose h = 3*q + 2*q. Is q prime?
False
Suppose -4*g + 0*g = -388. Is g composite?
False
Let l = 55 - -72. Is l prime?
True
Let i(p) = -p**2 - 9*p + 4. Let w be i(-8). Is 1/4 - (-1413)/w a composite number?
True
Let c be 198/24*1*24. Suppose 0 = -3*m - 2*j + 129, 5*m + 2*j = 17 + c. Is m a prime number?
True
Is 8/(-10) + (-3836)/(-20) a composite number?
False
Let n(a) be the third derivative of -a**5/60 + a**4/4 - a**3 - 2*a**2. Let i be n(4). Is (11/i)/((-4)/(-8)) composite?
False
Let u = 7 + 29. Let h = u + -26. Is h a prime number?
False
Let o = 26 - -45. Is o a prime number?
True
Let n be 0 - 0 - 0 - -4. Let d(h) = h**2 + 10*h + 4. Let c be d(-10). Suppose 0 = c*a + 2*b - 150, 0 = n*b - 5*b + 1. Is a prime?
True
Let k = 83 + -64. Is k a composite number?
False
Let c(g) = 8*g**2 - 6*g - 3. Let f be c(-4). Suppose 0 = z + 30 - f. Is z prime?
False
Let w = -37 + 80. Is w prime?
True
Suppose 2*h - 5*p = h + 4, 92 = 5*h - p. Is h composite?
False
Suppose 0 = 2*h - 65 + 25. Suppose -1200 = -4*u + c, 0 = -10*c + 5*c + h. Is u composite?
True
Suppose 97 = 2*u - 3*z, 2*z - 186 + 21 = -3*u. Let q = u - -56. Is q composite?
False
Let x(f) = f**3 + 7*f**2 + 2*f - 3. Let q(h) = 5 + 0 - h + 2*h + h**3 + 11*h**2. Let o be q(-11). Is x(o) prime?
False
Let h = -8 - -15. Let q(v) = -v**3 + 10*v**2 - 9*v + 3. Is q(h) a prime number?
False
Let s(g) = -5 - 3*g**2 + g**2 + 4*g**2 - 5*g. Is s(6) a prime number?
True
Let b = 69 - -37. Is (1/(-1))/((-2)/b) a prime number?
True
Let u = 3 - 5. Is (-3)/(1 - u) - -107 prime?
False
Let v(f) = -19*f - 1. Let r(b) = -20*b - 2. Let y(i) = -4*r(i) + 3*v(i). Is y(4) composite?
False
Suppose -2*o = -1 - 9, o = 4*v + 257. Let u = -24 - v. Is u a prime number?
False
Suppose 0 = 2*y - 3*y - 5*z + 243, -3*y + 4*z + 691 = 0. Is y a composite number?
False
Suppose -6*m + 2*m = -3176. Suppose -4*k = -f - m, 2*k - 3*f + 4*f - 400 = 0. Is k prime?
True
Let c(a) = 1037*a + 66. Is c(5) a composite number?
True
Suppose -n - 3940 = -5*n. Is n prime?
False
Let z = 13231 - 8790. Is z prime?
True
Let r = 287 + -169. Let p = r - -45. Is p a composite number?
False
Let x be -1 + 0 - 3*-1. Let o be ((-6)/9)/(x/(-3)). Is ((-74)/4)/(o/(-2)) composite?
False
Suppose -s = -8*s + 32669. Is s a prime number?
False
Suppose 529 = -61*n + 62*n. Is n composite?
True
Suppose -4*x + 786 = -562. Is x prime?
True
Suppose 0 = 6*r - 5*r - 854. Suppose -r = 5*l - 3399. Is l a prime number?
True
Let v be (-6)/(-5)*180/8. Suppose 0 = a + v - 110. Is a composite?
False
Let r(c) be the third derivative of 22*c**5/15 - c**4/12 - c**3/6 - c**2. Is r(-1) a prime number?
True
Let m(w) = w**3 - 6*w**2 - w + 8. Let s be m(6). Suppose 3*l = 12, -s*q + 3*l = 5*l - 54. Suppose 3*f - 421 = -5*z, z = 4*f + q + 52. Is z a composite number?
False
Suppose 0 = -5*d + 4*q - 1315, d + 2*d - 4*q + 789 = 0. Is 0 - d/(-2)*-2 a prime number?
True
Suppose 0*j = -n - 5*j + 87, 142 = 2*n + 2*j. Is n a prime number?
True
Suppose -3*d - 2*d - o = 0, -o = 0. Suppose d*m - m = -76. Let a = m - 23. Is a prime?
True
Let w(t) be the second derivative of t**4/6 + 7*t**3/6 - 3*t**2 - 2*t. Suppose -2*j = -p + 13, 5*p = j + 4 + 34. Is w(p) composite?
True
Let h(p) = -3*p + 1. Let d be h(8). Let n = d - -49. Is n a composite number?
True
Let a(y) = -3*y**3 - 2*y**2 + y + 1. Let x(g) = 8 - 5*g**2 + 2*g**3 - 7*g**2 + 9*g - g**3 + g**2. Let i be x(10). Is a(i) a prime number?
False
Let o(a) = -6 - 9*a - 2 - a**2 - 2. Let w be o(-9). Is (-86)/w + 4/10 composite?
True
Suppose -4*g = -2*h + g - 558, 1425 = -5*h + 5*g. Let d = 66 - h. Is d a composite number?
True
Suppose c + 5 + 2 = 3*w, -1 = w + 3*c. Let o = -3 - -66. Suppose -w*q + o = q. Is q prime?
False
Let p(y) = -35*y**3 + y**2 - 2. Let a be p(-2). Suppose -2*u = -2*u + 3*u. Suppose -a = -3*j - u*j. Is j a prime number?
False
Suppose -25 = 2*p - 219. Is p a composite number?
False
Let o = 15 - 13. Suppose p = -p. Suppose 3*s - l - 139 = o*s, p = 2*l - 8. Is s a composite number?
True
Let g(q) be the third derivative of -8*q**4/3 - 7*q**3/6 - 3*q**2. Is g(-3) a composite number?
True
Let i(b) = -56*b - 5. Is i(-6) prime?
True
Let v(z) = 2*z**2 - 3*z + 12. Let h(y) = y**2 - y + 6. Let r(t) = -13*h(t) + 6*v(t). Let j be r(-4). Is 114/5 - j/10 composite?
False
Let g = -341 - -672. Is g prime?
True
Let d(o) = 2*o**2 + 3*o - 1. Let f be d(-3). Suppose 5*j - 122 = -6*g + 2*g, -4*g - f = 0. Is j a composite number?
True
Let x(i) = i - 9. Let q be x(8). Is q/2 - 95/(-2) a composite number?
False
Suppose -3*i - f + 3561 = 0, -3*i + 3*f = -1946 - 1615. Is i composite?
False
Let n = 18 - 13. Suppose -2*m - x + 197 = 0, m - n*x + 403 = 5*m. Is m composite?
False
Suppose 2*g = -0*g - 4*m + 12, -4*g + 2*m - 16 = 0. Let t(u) = -102*u - 1. Is t(g) a prime number?
False
Suppose 0 = -n - 0*n + 3. Suppose 4*f = n*u + 186, -3*f = 3*u + 2*u - 125. Suppose -y = -g - 3*g - f, 4*g - 177 = -5*y. Is y prime?
True
Suppose -2*x = -4*x. Let s(t) = -t**2 - t - 3. Let z be s(x). Let l(v) = -v**3 + v**2 + v + 4. Is l(z) a prime number?
True
Suppose 2220 = 5*m - 1525. Is m a composite number?
True
Suppose 7*c - 5469 = -1052. Is c prime?
True
Let q(r) = -3 + 7*r**2 + 2 - r**2. Is q(5) composite?
False
Suppose 0 = -n - 3*n + 708. Is n prime?
False
Let y(o) = 2*o**2 - o - 3. Let j(i) = 5*i**2 - 4*i - 10. Let t(q) = -6*j(q) + 17*y(q). Is t(-8) prime?
False
Let x be (-226)/(-8)*(7 + -11). Let r = 421 + x. Is (1/2)/(2/r) a composite number?
True
Let g(b) = 3*b**2 + 17*b**3 - 2*b**2 - 3*b**2 + b**2 - 4*b + 3. Is g(2) a composite number?
False
Suppose 10470 = w + 5*w. Is w composite?
True
Suppose -4*q = -4*h - 392, 0 = -q - 3*h + 36 + 78. Let v be (9/(-3) - -1) + q. Suppose 3*d - v = -d. Is d prime?
False
Let o be 2/(4 + (-20910)/5229). Suppose -t + 4*t = o. Is t composite?
True
Let l = 10 + -5. Suppose -4*r - 4*q = r - 4, 2*r + l*q = 5. Suppose r = -2*h + 6*h - 24. Is h composite?
True
Let f(l) = -l**3 - 10*l**2 - 11*l + 13. Suppose 0 = -3*d + o + 3, 3 = 3*d + 3*o - 0. Suppose 26 = -2*a - 4*k, -d = -5*a + 4*k - 38. Is f(a) a prime number?
True
Suppose -5*l - 3*g + 2500 = 0, 2*l + 0*l - 2*g - 1016 = 0. Is l a composite number?
False
Let j(l) = -l**2 + 7*l - 2. Let c be j(6). Suppose 5*r + 45 = t + 4*t, -3*r = -c*t + 38. Is t prime?
True
Let g(r) be the second derivative of -1/2*r**3 + 0 + 1/20*r**5 - 3*r + 5/2*r**2 - 1/2*r**4. Is g(7) prime?
False
Let k = -488 - -844. Is 2/(-6) - k/(-6) composite?
False
Let t = -151 + 285. Is t a composite number?
True
Let h(w) = 418*w**2 - w + 2. Is h(1) a composite number?
False
Let n(z) = 23*z**2 + 2*z - 5. Let y(x) = x + 1. Let g be y(3). Is n(g) composite?
True
Suppose b - 2*b + 3619 = -4*h, -b - 4*h + 3651 = 0. Is b composite?
True
Let u be (-1)/(-3) + (-687)/9. Let g = u + 135. Is g prime?
True
Suppose -2*w + 5*w - 4431 = 0. Is w a prime number?
False
Suppose 2*b - 2*w = -3*w + 725, -5*b - 4*w = -1811. Suppose 2*j - b = -j. Is j composite?
True
Let y(f) = -26*f. Let v be y(5). Let p = 125 - 208. Let s = p - v. Is s a prime number?
True
Suppose 3*b + 31 - 628 = 0. Is b a prime number?
True
Suppose -4*q + 2*g - 3*g + 2 = 0, -5*q + 4*g = -13. Let k(r) = -2*r**2. Let o be k(q). Is (o/4)/((-1)/154) prime?
False
Let l = 6 + -6. Suppose l = 8*u - 11*u + 435. Is u a prime