True
Let p = -18 - -18. Suppose -86 = -2*i - p*i. Is i a composite number?
False
Let u(z) = -z**3 - 5*z**2 - z + 6. Let m(t) = t**2 + 6*t - 3. Let i be m(-8). Let f = -18 + i. Is u(f) a prime number?
True
Let p be (1/(-2) + 1)*4. Let f(u) = u**3 + 2*u**2 - 4*u + 3. Is f(p) a prime number?
True
Is (-1)/4 + (-2847)/(-12) a prime number?
False
Suppose 5*i - o + 3*o - 3657 = 0, -i - o + 729 = 0. Is i composite?
False
Let c = 27 + -14. Is c a prime number?
True
Let s(a) = -19*a**3. Suppose 0*x + 4*x = 5*r - 26, 4*x - 28 = -4*r. Let b = r - 7. Is s(b) composite?
False
Let g(h) = -35*h - 3. Suppose -24 = 2*y - 4*n, 4*y - 3*n = -7*n + 12. Is g(y) prime?
True
Suppose 0 = -5*t + 3*k + 2742 + 4249, 4*k - 5580 = -4*t. Is t prime?
False
Let f(y) = y**2 + 7*y + 7. Let t be f(-8). Suppose 0 = -5*d - 3*c + 140, t = -6*c + 3*c. Is d prime?
True
Let v(d) = -2*d - d**2 - d + 145 + 2*d. Let t be (-5 - -5)/(-3 - -2). Is v(t) prime?
False
Suppose -a + 38 = 5*b, 1 = 2*a - b - 4*b. Let h(m) = m**3 - 13*m**2 + 10*m + 1. Is h(a) prime?
True
Let u(i) = -i**3 - 7*i**2 + 5*i + 8. Let r be u(-8). Suppose 2*o - r - 10 = 0. Is o composite?
True
Is ((-7)/(-14))/((-3)/(-762)) composite?
False
Let v(c) = 171*c - 7. Is v(4) a prime number?
True
Let q(j) = 282*j**2. Let m be q(-1). Let x = m - 193. Is x prime?
True
Let v = 114 + -67. Is v prime?
True
Is 1 + 1 + 5048/8 prime?
False
Let b = -820 - 1081. Let k = 13 - 4. Is (-2)/k + b/(-9) prime?
True
Let o(w) = -w**2 - 5*w + 0 + 0 + 7. Let m be o(-6). Is (-58)/(-8) - m/4 a prime number?
True
Suppose 0 = 10*w - 12*w + 1858. Is w composite?
False
Let w(d) = d**3 - 2*d**2 + 4*d - 3. Let t(i) = i**3 - 2*i**2 + 2. Let g be t(2). Let a be w(g). Is (a/3)/((-2)/(-42)) a prime number?
False
Suppose 4*f - 5*w - 5970 = 0, 2967 = 2*f + 2*w - 9. Suppose 9*y - f = 4*y. Is (-4)/14 - y/(-14) a prime number?
False
Suppose -2*l = 4*u - 1510, -3*u + 2*l + 0*l + 1143 = 0. Let d = u + -248. Is d a composite number?
False
Suppose -p + 0*x = x - 197, 2*x = -3*p + 595. Is p a prime number?
False
Let g be (190/(-4))/(2/(-4)). Suppose -3*r + g = -l - 3*l, 0 = r + l - 41. Is r composite?
False
Let l = -223 + 142. Let d = 174 + l. Is d a composite number?
True
Let p = 198 - 71. Is p prime?
True
Is (660/(-90))/(4/(-426)) composite?
True
Let k = 22 + 9. Is k prime?
True
Let m(i) = i**2 + 22*i + 35. Is m(-23) prime?
False
Suppose 0 = -5*h + u + 4600, 0 = u + 4*u - 25. Is h a composite number?
True
Let l = -1 + 3. Suppose -3*r = -l*r - 149. Is r a prime number?
True
Is (276/10)/((-26)/(-65)) composite?
True
Suppose a - 531 = -2*a. Suppose 0 = n - 5*c - a, 708 = 4*n + 3*c - 4*c. Suppose 0 = 4*z - n + 25. Is z a prime number?
False
Let m = 7 + -1. Let s(v) = -v**2 + 12*v - 6. Let y be s(m). Suppose -h - y = -3*n, -2 = -n + 2*h + h. Is n composite?
False
Let y = 85 - -120. Is y a composite number?
True
Let c = -9 + 29. Suppose -161 = -u + c. Suppose -4*d - 4*f = -124, 4*f = -5*d - 26 + u. Is d prime?
True
Suppose -j = -2*j + 5. Suppose 5 = j*c - 330. Is c composite?
False
Suppose 0*o + 2*o = 0. Suppose o = 2*u - 7*u + 75. Suppose -i - 9 = -2*d, 5*d - 3*i - u = 8. Is d a composite number?
True
Let i = 2323 - 1068. Is i a prime number?
False
Let g be (-137 - 0) + -2 + 5. Is (g/(-4))/((-10)/(-20)) a prime number?
True
Suppose 3*o = 5*o - 8. Suppose -14 = -o*s - 4*g + g, -2 = -g. Is s prime?
True
Suppose k - 20 = 4. Let u be 0/(-2) - (-2 + -5). Suppose -k = -o + u. Is o a composite number?
False
Let a(t) = -t - 1. Let h(v) = 47*v - 11. Let l(m) = 4*a(m) - h(m). Is l(-8) prime?
False
Suppose -d + 2*d - 4*u = 1233, 3731 = 3*d - 4*u. Is d a composite number?
False
Let k be (6/(-15))/(2/10). Let c = -30 - -17. Is (k + 1)*c - 2 a composite number?
False
Let t = 175 - 42. Is t prime?
False
Let i(o) = -5*o + 5. Let z be i(-6). Let m be (-10)/z + (-285)/7. Let f = 108 + m. Is f a prime number?
True
Suppose -553 = -8*z + 975. Is z a prime number?
True
Is 5/(1*(2/(-118))/(-1)) composite?
True
Let g = 222 + -59. Is g a prime number?
True
Let i(d) = -d**3 - 14*d**2 - 13*d + 7. Let g be i(-10). Is g/((-5 + 2)/3) a prime number?
True
Suppose 0 = -5*l - 3*u + 800, 0*l + 2*u = -5*l + 795. Is l a composite number?
False
Let u(h) = -h**3 - h**2 + 2*h - 6. Let n be u(-6). Suppose -5*r + c + 24 + 1 = 0, 0 = 4*r - 4*c - 36. Suppose n = r*s - 434. Is s a composite number?
False
Let y(n) = n**2 - 5*n + 3. Let m be y(2). Is m/12*2*-166 composite?
False
Let a(r) = -r**3 + 5*r**2 + 9*r - 2. Let q be a(6). Suppose 3*w - 5*w - 5*k = -1, -3*w - 36 = -5*k. Let p = q - w. Is p composite?
False
Suppose -j = -2*j - 7. Let c(a) = -a**3 - 5*a**2 - a - 8. Is c(j) composite?
False
Let t(x) = -29*x**3 + x. Let s be t(-2). Suppose -r = -6*r + s. Is r a composite number?
True
Suppose -o + 3 = -2*o - 4*t, 4*t = 5*o - 81. Is o prime?
True
Let u(g) = 4*g**3 + 6*g**2 - 9*g + 4. Let f(p) = -5*p**3 - 5*p**2 + 10*p - 5. Let m(h) = 3*f(h) + 4*u(h). Is m(-6) composite?
True
Suppose -7*h + 8 = -3*h. Suppose -2 - 6 = -h*u. Is u/(-10) + (-224)/(-10) prime?
False
Let r = -64 + 152. Suppose -93 = -o + 2*v, -2*v = -3*o + r + 199. Is o a prime number?
True
Let b be (-460)/(-6) + 2/(-3). Let w = 96 + b. Suppose 0 = 2*n - 9*v + 4*v - 165, -2*n = 2*v - w. Is n prime?
False
Suppose -4*x = -s + 13, 3*s - x - 6 + 0 = 0. Let y be s/(-4) + (-39)/(-12). Suppose -y*u + 98 = -u. Is u composite?
True
Let z(u) = u - 2. Let c be z(-5). Let a be c/(-2*(-1)/6). Let x = a - -43. Is x a prime number?
False
Suppose -11 + 29 = 3*l. Let d be ((-4)/l)/((-1)/3). Suppose -d*i - 3*i = -95. Is i prime?
True
Let h(s) be the third derivative of s**8/6720 - s**7/504 + 7*s**6/720 + s**4/24 + s**2. Let i(z) be the second derivative of h(z). Is i(5) prime?
False
Suppose d - 4*d = -531. Is d prime?
False
Let v = 22 + -13. Is ((-74)/2)/((-3)/v) a composite number?
True
Let b = -5 - -33. Let y = -1 + 3. Suppose v - 29 = -4*a + b, 4*v = -y*a + 200. Is v a prime number?
False
Suppose 1919 = 3*i - a, -2*i - 4*a - 625 = -3*i. Is i a prime number?
True
Suppose -t = -2*t + 85. Suppose -6*l + 5*l + t = 0. Is l a composite number?
True
Is 255 - -3*4/6 prime?
True
Suppose 4*d - 7*d + 463 = 4*o, -d + 153 = 2*o. Is d a prime number?
True
Suppose 0 = 4*g + g - 295. Is g a prime number?
True
Let a(i) = 34*i**2 - i + 1. Let x be a(1). Suppose 2*w + h = -59, -w + 5*h = -4*w - 78. Let r = x - w. Is r a prime number?
False
Suppose 5*w = -t + w + 444, -5*w = -2*t + 875. Let c = t - 299. Is c prime?
False
Let j(d) = d**3 + d - 1. Let s(r) = -4*r**3 + 5*r - 3. Let h(i) = -4*j(i) + s(i). Let f be h(-1). Suppose q - 71 = f. Is q composite?
False
Let h = 15 + -11. Suppose 4*f = -5*g + 324, 4*f - f - 274 = h*g. Is f a prime number?
False
Suppose -1192 = 7*z - 8703. Is z composite?
True
Suppose -b = -0*b - 4. Suppose -560 = -b*j - 2*s, -699 = -5*j - 4*s + s. Is j prime?
False
Let q(v) = 3*v + 19. Is q(10) prime?
False
Let c(l) = 52*l - 5. Suppose 4*g - 12 = g. Is c(g) prime?
False
Let v be 2/(127/(-43) + 3). Let l = -53 - v. Let j = l + 299. Is j composite?
True
Suppose 0 = -8*g - 142 - 66. Let x(q) = -q + 48. Let k be x(0). Let b = k + g. Is b composite?
True
Suppose 11489 = 15*u - 466. Is u a composite number?
False
Let p = -6 - 29. Let t be 1/2 - p/10. Suppose -3*o + 70 - t = 0. Is o composite?
True
Suppose -26 = -2*f - 2*i, -3*i + 10 = 2*i. Suppose -y = f - 0. Let m = y + 26. Is m composite?
True
Let u(b) = 174*b**3 + 2*b**2 - 1. Is u(2) composite?
False
Let k(s) = -34*s - 3. Let h be k(7). Let m = -144 - h. Is m a prime number?
True
Is (-28)/(-70) + (-813)/(-5) composite?
False
Let j be 94/(-8) - (-6)/8. Let z = 5 + -3. Let x = z - j. Is x a prime number?
True
Let n(x) = -x**2 + 2. Let u be n(0). Let m be (-2)/8 + u/8. Suppose m = 3*j - 2*v - 247, -j = -v + 3*v - 85. Is j a prime number?
True
Suppose -2*f + 3*f = 0. Suppose 106 = m - f*m. Let h = m - 57. Is h a composite number?
True
Suppose c = g + 52, 3*g - 132 = -2*c - 2*g. Suppose -3*m + 21 = 3. Suppose -m*r = -2*r - c. Is r prime?
False
Let z be (-1)/(-3) + (-55)/(-15). Suppose 3*a - z*a + 416 = 5*x, -x + 4*a + 79 = 0. Is x prime?
True
Is 0/2 + (233 - 10) a prime number?
True
Let o = 0 + -3. Let r = o + 2. Is 82 + (-1 + 1 - r) prime?
True
Suppose 3*d + 27 = 3*l, -2*l + 6 = -3*d - 15. Suppose 2*x + m = -3, 0 = x - l*m + 