e -2*p - 565 = -5*z - 6*p, -h*p + 565 = 5*z. Is z prime?
True
Let q be 27/5 - (-4)/(-10). Suppose 3*f - 4*v - 7 = 2*f, -3*f + q*v = -7. Is 15/(-2 + 1)*f prime?
False
Is 4/(((-4)/16)/(82/(-16))) a composite number?
True
Let t be 7*6*5/(-10). Let i = -10 - t. Is i a prime number?
True
Suppose 0*k - 4*s = 3*k + 7, 0 = -3*k + 3*s + 21. Is k - (-1 + -105) - 3 composite?
True
Let b(a) = -406*a**3 + 4*a**2 + 3*a + 2. Is b(-1) a composite number?
False
Let x be ((-2)/(-2))/(1 + -2). Suppose -4*f - 3*j + 5 = -8*f, 3*j + 3 = 0. Is (-8)/f - -1 - x a composite number?
True
Let l = 157 - 111. Is l a prime number?
False
Suppose -9545 = -5*t - 2*o, 10*o - 5*o - 5746 = -3*t. Is t prime?
True
Let y = 54 - -157. Is y composite?
False
Let g be ((-1)/(-3))/(3/27). Let m be 32/18 + (-2)/(-9). Suppose -5*q + 3*q = -2*u + 58, g*q = m*u - 54. Is u composite?
True
Suppose -w = 5*p + 196, 2*w + 5*p = -0*w - 377. Is w*(-1 - (0 - 0)) a composite number?
False
Let v = 299 + 198. Is v prime?
False
Suppose -4*h + 7 = -9. Let o be (-230)/(-2) - (4 - h). Let k = -36 + o. Is k a prime number?
True
Let f(m) = 340*m + 25. Is f(12) a composite number?
True
Let j(f) = 29*f**3 - 3*f**2 + 2*f - 1. Is j(2) a prime number?
True
Let x(n) be the third derivative of n**5/6 + 4*n**2. Is x(-1) a composite number?
True
Suppose n = -0*n + 185. Is n composite?
True
Let z(n) = -n**3 - 6*n**2 + 2*n + 6. Suppose 0 = -4*c - 36 + 12. Let r be z(c). Is (763/21)/((-2)/r) a composite number?
False
Suppose -5*v + 4*a - 201 + 674 = 0, 3*v + 5*a - 306 = 0. Is v a composite number?
False
Is 97 + (0 - 0)*-1 prime?
True
Suppose -3*f + 24 = -f. Let z be (-65 + 2)/(f/(-16)). Is z/(-9)*(-6)/4 composite?
True
Let s(z) = 54*z**2 - z. Suppose 3*i - 2 = o - 0*o, -o = -5*i + 4. Is s(i) composite?
False
Suppose 0*c + 8 = 2*c. Suppose 4*r + 25 = c*q - q, 0 = 3*q - r - 22. Is q a prime number?
True
Let r(n) = -6*n**2 - 1. Let g be r(-5). Let y be (-2)/(-8) + 911/4. Let v = y + g. Is v a composite number?
True
Let b(y) = y**3 - 4*y**2 + 2*y + 3. Let p be b(3). Let r = 5 + p. Suppose 2*o = r*h - 8, 2*o - 4*o + h + 8 = 0. Is o prime?
False
Suppose -2*x + 0*x = -12. Suppose 0 = -q + x*q - 295. Is q a composite number?
False
Let o(h) = -2*h - 2. Let d be o(-2). Suppose 2*m = -d*z + 4, m = 4*z + 4 - 2. Suppose z = -4*n + n + 66. Is n a composite number?
True
Let g = 11 - -17. Let m = -17 + g. Is m a composite number?
False
Suppose 4*v - 1268 = 2*v. Is v a composite number?
True
Let u(b) = -b**3 + 8*b**2 + 5*b + 11. Let j be u(8). Suppose -2*f + 91 + j = 0. Is f a composite number?
False
Let l = 0 + 0. Let o = 0 - l. Suppose 15 = 5*x, o*m = m + 5*x - 134. Is m a composite number?
True
Let x = -7 + 15. Let q = x + -2. Suppose 0 = 2*t + 2*o - 100, 0 = 4*o - 2*o + q. Is t a composite number?
False
Suppose -10 = -4*i + 2. Suppose i*m - 4*m + 335 = 0. Is m composite?
True
Suppose u = 22 - 1. Let a(x) = x**3 - 8*x**2 + 9*x - 10. Let d be a(7). Suppose -w + 4*c + 114 = d*w, -c = w - u. Is w prime?
False
Suppose 0*i - 3*i + 13839 = 0. Is i a prime number?
False
Suppose 3 = -g + 4*g. Let u(p) be the second derivative of 127*p**4/6 - p**3/6 - 3*p. Is u(g) a prime number?
False
Suppose 0*v + 4*v - 8 = 0. Let k(d) = -5 - 4*d + d**2 + 0 - v*d. Is k(8) composite?
False
Suppose -x - 1 = -3. Let s be 36*(x + 10/4). Suppose 2*q - 4*m = 3*q - s, 0 = q + 3*m - 158. Is q prime?
False
Let c = 95 + 280. Let l = -244 + c. Is l a prime number?
True
Let o(k) be the first derivative of k**2/2 + 14*k + 3. Is o(11) a prime number?
False
Suppose -2*y = 2 - 8. Let b be (-4)/(-6) - (-418)/y. Suppose 4*g + 4 - b = 0. Is g a composite number?
True
Let a be (-4)/(-14) + 4681/7. Suppose 0 = 2*k + a - 2167. Let t = -526 + k. Is t a prime number?
True
Suppose 0 = -g - g - 10. Let d(h) = 9*h**2 + 2*h - 4. Is d(g) composite?
False
Let o be (-2 + 14 + 1)*-52. Let g be (o/(-2))/(-4 - -6). Let v = g - 110. Is v a prime number?
True
Suppose -4*y = 2*y - 7278. Is y composite?
False
Suppose -135 = 2*v - 961. Is v prime?
False
Let k be 1*(3 - (-3 + 1)). Suppose 0 = 5*y - 2*m - 1059, -3*m - k - 1 = 0. Is y a composite number?
False
Suppose 0 = 5*d - 212 - 273. Is d a prime number?
True
Let m(y) = 1889*y + 8. Is m(1) a composite number?
True
Suppose -4*o - 3 = -5*o. Suppose 99 = g - 5*d, -o*g + 203 + 24 = -d. Is g a composite number?
True
Let a(y) = -3*y + 4. Let w(o) = -8*o + 11. Let m(h) = 11*a(h) - 4*w(h). Let i be m(-2). Is (i/3)/((-2)/(-57)) a composite number?
False
Let v(y) = -y - 2. Let g be v(-5). Suppose 5*t + g*o - 457 = 0, -t - 93 = -2*t - o. Is t a composite number?
False
Suppose 2*u = u + 2. Let j be (6/(-15))/(u/(-410)). Suppose 2*v - j = 4*x, v - 53 = -x - 0*x. Is v composite?
True
Let g(n) = n**3 - 2*n**2 + 5*n - 1. Suppose -5*q + 3*d = -26, 3*q + q + 4*d = 8. Is g(q) composite?
True
Suppose -5*c = 4*b - 400, 2*b - b - 79 = -c. Let w(s) = s**2. Let j be w(-1). Let o = c - j. Is o composite?
False
Let d be ((-8)/6)/((-8)/(-12)). Let p be (8/6)/(d/3). Is 109 + 0/(p + 4) prime?
True
Suppose -f = 2, 2*f + 7 = 4*i - 5. Suppose -2*a + i*k = a - 295, 0 = 4*a - 2*k - 392. Is a a prime number?
True
Suppose 19 = v + 2*b, 2*v - 56 = -b + 3*b. Is 3 + -2 + v + -1 composite?
True
Let j(k) = -17*k. Let c be j(-7). Suppose b - c + 22 = 0. Is b a composite number?
False
Is (-338)/(-4)*2 + 0 prime?
False
Suppose 0 = -6*k + k - p - 159, -2*k = 3*p + 61. Let a be (k/20)/(2/(-120)). Suppose -4*f - 93 = -g, 3*g = 4*g - f - a. Is g a composite number?
False
Suppose 7 = 4*d - 1. Suppose d*b = -b. Is (76/2)/(2 - b) prime?
True
Let g(u) = 5*u - 31. Let o(w) = -w + 6. Let t(a) = -2*g(a) - 11*o(a). Let f be t(7). Is 46/f + 2/(-6) prime?
False
Suppose -i = 4*g - 11, 0 = 5*i - 5*g - 2 - 3. Is -39*(1 + i)/(-4) a composite number?
True
Suppose -3*v - 6 = -4*v. Suppose -3*l - 12 = -v*l. Suppose -3*k + 4*m + 287 = 0, -l*k + 5*m = -0*k - 381. Is k composite?
False
Let v be ((-9)/3)/((-7)/343). Suppose q = v + 104. Is q prime?
True
Suppose -3*j = -j + q - 2557, -2*j = -5*q - 2539. Is j prime?
True
Let t = 856 + -437. Is t a composite number?
False
Suppose 25 = -2*v + 5*q + 452, 0 = 5*v + 4*q - 1051. Is v prime?
True
Let z(b) = b**3 + 13*b**2 - 4*b + 2. Let p be z(-8). Suppose h = -y + 346, 0 = -h - 2*y + 3*y + p. Suppose -h = -4*u + 3*i + 161, 3*i - 124 = -u. Is u prime?
True
Let u = -48 - -23. Let r(f) = f**3 + 6*f**2 - 13*f - 12. Let q be r(-8). Let y = u - q. Is y prime?
True
Suppose -p - 274 = 26. Let r = -185 - p. Is r a composite number?
True
Let d = -1726 - -2417. Is d prime?
True
Suppose 2*f = 5*s - s + 8, 0 = -3*s - 3. Suppose 62 = -f*i + 216. Is i prime?
False
Is -2*(1115/(-10) + 0) composite?
False
Suppose c = -4*c. Suppose 2*d - 6 + 0 = c. Suppose -4*i = -0*i + x - 125, 0 = d*i + 2*x - 95. Is i prime?
True
Is 3 + -4 - 542/(-1) composite?
False
Suppose 3*t = t + 632. Suppose x + 3*x = t. Suppose 4*c - 61 - x = 0. Is c composite?
True
Suppose -2*k = -6*k + 1068. Is k a composite number?
True
Let v(q) = -q**3 - 5*q**2 + 6*q + 4. Let d be v(-6). Let f(o) = -o**2 + d*o - 7*o + 37 + 3*o. Is f(0) a prime number?
True
Let m be (-4)/(-10)*1*5. Let d be 6/5*(-40)/12. Is ((-14)/d)/(1/m) a prime number?
True
Let q be (0 + -2)*3/2. Let d = -2 + 2. Is 0 + d/q + 86 composite?
True
Let q(w) be the second derivative of -w**3/2 - w**2/2 - w. Let h be q(1). Is (6/h)/(2/(-8)) a prime number?
False
Let b be (-3)/27*-3*51. Let v = b + -12. Suppose 4*i - i - v*f = 115, 0 = 3*i + 3*f - 99. Is i composite?
True
Suppose -2*b + b - j = -3, -5*b - 4*j + 15 = 0. Let d(i) = 117*i - 4. Let k(x) = 58*x - 2. Let r(g) = -3*d(g) + 7*k(g). Is r(b) prime?
True
Let o(w) be the second derivative of 0 + 5/2*w**2 + 2*w - 8/3*w**3. Is o(-5) a prime number?
False
Suppose -341 = -9*r + 352. Is r composite?
True
Let c = 7 + -3. Suppose c*q = -q - 25. Let u(w) = -2*w**3 - 6*w**2 + 4*w + 5. Is u(q) a composite number?
True
Is -3 - (-10)/((-2)/(-2)) a prime number?
True
Let k be (1 - 2)*(-5 - 0). Suppose 632 = k*m - 153. Is m composite?
False
Suppose -14 = -4*q + 42. Is q prime?
False
Let h(w) = -w - 3. Let r be h(-6). Is 287/r + (-8)/12 prime?
False
Suppose -2*r - 3*r + 1913 = 4*v, -8 = -4*v. Is r composite?
True
Let w(n) = -214*n**3 + n**2 + 3*n + 1. Is w(-1) prime?
False
Let r = 1 + 1. Suppose 2*c - 3*v = -4 - 5, -2 