 x*i - 4*m + 3*m - 290, 3*m = 2*i - 129. Is i composite?
True
Let u(s) = -s**2 + 6*s - 5. Let c be u(4). Suppose -3*d + 330 = -b - 726, c*d - 1050 = 3*b. Is d a prime number?
True
Let f = -5 - -7. Suppose -173 = -5*d - j - 0*j, 78 = f*d - 4*j. Is d composite?
True
Let n(p) = -131*p + 5. Is n(-6) a prime number?
False
Suppose 0 = -4*s + 5*l + 39, 5*s + 15 - 42 = -l. Let i = 2308 - 3894. Is s/9 - i/6 a prime number?
False
Let k(p) = p + 7. Let f be k(-4). Let z = f + -1. Suppose -s - 25 = -z*s. Is s prime?
False
Suppose -4*a + 113 = 3*z, -122 = -0*z - 3*z + 5*a. Is z a composite number?
True
Suppose -5 - 20 = -5*m. Let j = m - -3. Suppose -j = -4*y + 5*i, -6*y - i + 25 = -3*y. Is y composite?
False
Let k be (-2)/8 - 2/(-8). Suppose m = 4*s + 10, k*m + m + s = 0. Is m composite?
False
Let o(y) = 6*y. Let t be o(2). Is (-573)/(-5) - t/(-30) prime?
False
Let o be 1820/(-25) + (-1)/5. Let u = 396 - o. Is u a composite number?
True
Let h(r) be the first derivative of r**3/3 - 7*r**2/2 - 4*r - 2. Let a be h(10). Suppose q = a + 29. Is q prime?
False
Let p = -4 + 6. Is 8*p - 12/4 composite?
False
Is 12792/15 - (-1)/5 a composite number?
False
Suppose 2*l = -0*l + 854. Suppose -25 = -4*k + l. Is k prime?
True
Let h = 195 + 95. Let q = h - 163. Is q composite?
False
Let u = -14 - -8. Let q = -4 - u. Suppose -q = 2*f, 0*g + 80 = 5*g - 5*f. Is g a composite number?
True
Is -3 - (-9)/((-36)/(-1168)) a prime number?
False
Suppose -2*y + 3*g - 12 = 6*g, 4 = -3*y - g. Suppose 0 = -y*m - m + 9. Suppose r - m - 3 = -a, -a + 2*r = -3. Is a a composite number?
True
Suppose -v = 3*x - 17, 2*v + 6 = -x + 20. Suppose 0 = 6*t - v*t + 4*u - 119, -5*u = 10. Is t a composite number?
False
Let b(n) = n - 8. Let f be b(0). Let x be (12/f)/(3/(-4)). Suppose 0 = 3*u + x*u - 235. Is u a composite number?
False
Let m = -1312 - -923. Let x = m - -643. Is x prime?
False
Let z be (1/(-3))/(2/(-6546)). Suppose -m = -4*y - 222, -5*m + 0*m + y = -z. Is (-1)/(m/110 + -2) a composite number?
True
Let d(p) = 3*p**2 - 12*p + 10. Let x(q) = q. Let r(z) = d(z) + 2*x(z). Is r(7) a composite number?
True
Let m = 7 - 4. Let l be 114/(-15) - (-2)/(-5). Let w = m - l. Is w composite?
False
Let k be (-5)/(3/(-6 + 3)). Suppose 0 = -0*u + k*u - 295. Is u prime?
True
Let g = 98 - -17. Is g prime?
False
Suppose 0 = 14*i - 17*i + 717. Is i composite?
False
Let z(h) = h - 2*h - 2 - 5. Let f be z(-7). Suppose -q = -k + 31, f*q + 54 = 2*k - 4*q. Is k prime?
False
Let o = 16 + 5. Let w = 16 + o. Is w composite?
False
Let l(b) = b**3 - 6*b**2 + 5*b + 4. Let w be l(5). Suppose p + 651 = 5*a, 3*a = -5*p - 66 + 479. Suppose 177 + a = w*k. Is k a prime number?
False
Let l(v) = 36*v + 3. Let j(d) = -d. Let p(n) = -2*j(n) + l(n). Let g be p(4). Suppose 0*a - g = -5*a. Is a a composite number?
False
Suppose 21 = -2*s - 1371. Let r be (1/2)/((-3)/s). Let n = r - 79. Is n a prime number?
True
Let d = 13 - 21. Let n be 2/(-8) + 38/d. Let y(g) = 2*g**2 + 3*g + 2. Is y(n) a prime number?
True
Let f(n) = 2*n + 1. Let a be f(1). Suppose 3*h - 5*o - 23 = -h, 0 = a*h + 3*o - 51. Let b = 34 - h. Is b prime?
False
Suppose 3*d + 0*d = -1167. Let u = -178 - d. Is u composite?
False
Suppose 0 = 6*v - 4*v - 382. Is v prime?
True
Suppose 0*i = i - 12. Let z = -45 + i. Let m = 55 + z. Is m prime?
False
Suppose 5*t - 247 + 97 = 0. Suppose -5*k - 4*c = t, 2*k + 2*c + 12 = -c. Is 268/k*(-6)/4 prime?
True
Is ((-1155)/(-30))/(1/2) a composite number?
True
Let j be (-4 + 2)*1 + 4. Let x = 4 - j. Suppose -4*l - 2 = 4*s - 350, -x*l - 4*s = -178. Is l a prime number?
False
Let u be 2 + (2 - -1 - -103). Suppose 3 = -5*v + u. Is v prime?
False
Let q(o) = o**3 - 8*o**2 - 9*o + 11. Is q(10) composite?
True
Is 4 + -1 - (-162 + 2) composite?
False
Let c(b) = -b**3 - 5*b**2 + 3. Let y(o) = -2*o**3 - 4*o**2 + o + 2. Let x(w) = -3*c(w) + 2*y(w). Let j be x(6). Let t = j + 34. Is t a composite number?
True
Suppose -4*y + 7*y - 1005 = 0. Is y prime?
False
Is 2*107 - (1 - -2) composite?
False
Suppose 6877 + 27078 = 5*a. Is a a prime number?
True
Is (-5079)/(-9) - 4/(-6) a prime number?
False
Is (-2)/(-3)*1842*5/4 composite?
True
Let q(l) = -3*l**2 - l + 1. Let f be q(1). Is f - (-1 + -2) - -89 a composite number?
False
Suppose 3 = 2*b - 3, -5*s - 2*b + 21 = 0. Suppose 6*x - 2*x = -4*v + 4, s*v - 2*x = -2. Is (1 + v)/(1/37) a composite number?
False
Is (-300)/(-5) - (2 + -1) prime?
True
Let f(p) = -p**3 + 13*p**2 + 4*p - 15. Suppose -11 = -i + 2. Is f(i) composite?
False
Suppose 5*w + m - 219 = w, 3*w - 3*m - 168 = 0. Let l = 110 - w. Is l prime?
False
Let t = -81 - -27. Let j = 143 + t. Is j a prime number?
True
Let c(i) = i**2 + 33*i - 41. Is c(25) composite?
False
Suppose -3*o + 19 = 5*z, -7 = z - 2*o - o. Suppose -z*d + 54 = -164. Let w = d - 62. Is w a composite number?
False
Let j = -75 + 97. Is j a composite number?
True
Suppose -2*r = 4*c - 1188, -4*r = -5*c - 35 + 1546. Is c composite?
True
Let o(w) be the second derivative of -2*w**5/5 - w**2/2 + 3*w. Let k be o(1). Is 21*(-5)/k*3 a prime number?
False
Let n(d) = 15*d**2 + 10*d - 2. Let z(r) = -45*r**2 - 29*r + 5. Let p(x) = -17*n(x) - 6*z(x). Is p(-3) a prime number?
True
Let k(g) = -126*g. Let y be k(-1). Suppose 0*m = -4*m + 2*c + y, 3*c - 49 = -m. Is m a prime number?
False
Let j(v) = -24*v - 12. Let q be j(-11). Suppose 15 = -3*s + q. Is s composite?
False
Let l(m) = -m**2 - 2 + 2 + 2 + 2*m**2. Let v be l(0). Suppose -16 = -4*a, v*a = 3*j - j - 98. Is j composite?
False
Is 0 + (0 - (-203)/1) a prime number?
False
Let h be (0 + -2)/((-2)/15). Let w be (-14)/(-5) - (-3)/h. Suppose -b = -3*q - 202, b + w*b - 4*q - 832 = 0. Is b a composite number?
False
Suppose -5*d = 2*h + 503 - 2170, 15 = 3*d. Is h prime?
True
Let i = 85 + -156. Let j = 140 + i. Is j prime?
False
Suppose -4 = -3*n - 4*w + 6, 3*n - 3*w + 18 = 0. Let h = -21 + n. Let g = 10 - h. Is g a composite number?
True
Suppose -2*v + 3*a + 2*a + 40 = 0, 2*a = -2*v + 26. Let i = 1 + 3. Suppose i*n = 5*n - v. Is n prime?
False
Let t(g) = 5*g**2 + 3. Let k(x) = x. Let d(w) = 3*k(w) + t(w). Let n(c) = 2*c - 8. Let r be n(6). Is d(r) a prime number?
False
Suppose -1520 = -4*g + 7*p - 3*p, 0 = -2*p - 2. Is g prime?
True
Let t(o) be the second derivative of 5*o**4/12 + o**3/6 - 5*o**2/2 + o. Let g be (-10)/(-6)*(0 - 3). Is t(g) a composite number?
True
Suppose 2*m - 46 - 20 = 0. Is m a prime number?
False
Suppose 2*q + 8 = 4*w, 5*w - 15 - 5 = 5*q. Is (w - (-56 + -3))/1 a prime number?
True
Is (-12)/(-66) - (-3 + 2106/(-33)) prime?
True
Suppose 15 = -0*i + 3*i. Let r = i - 2. Is 0 + 1 + r + 6 a composite number?
True
Let i be -4*(0 - -1) + 0. Let d be (-6)/i*(-16)/(-6). Suppose 2*o = -8, 3*o - d*o + 159 = t. Is t a composite number?
False
Let b = 2110 - 791. Is b a prime number?
True
Suppose 2*n + 183 = -3*n + 3*j, -j = -4*n - 152. Let v = 153 + -83. Let y = v + n. Is y a prime number?
True
Suppose 2*d = -3*l + 3961, -3*d - 435 + 3084 = 2*l. Is l a composite number?
True
Suppose -1 = -5*j + 59. Suppose 8 + j = 4*l. Suppose -80 = -l*i - n + 6*n, -3*i - 2*n + 73 = 0. Is i a composite number?
True
Suppose 0 = -4*i + 24 - 4. Let s(u) = 5*u - 4. Is s(i) composite?
True
Is ((-1)/(-3))/(1/387) a prime number?
False
Let c = -3 + 3. Suppose c = -2*h - h - 6. Is 3 + 0 + h - -12 a composite number?
False
Let s(v) = 43*v - 13. Is s(5) a composite number?
True
Suppose -7*c + 6*c + 7 = 0. Is ((-83)/(-4))/(c/28) composite?
False
Suppose -3*q - 230 = -4*j - 0*q, -3*q = -3*j + 171. Is j a prime number?
True
Is (139/2)/((-8)/(-112)) a composite number?
True
Let h be (-6)/(-3 + 0) + 276. Let k = -121 + h. Is k a composite number?
False
Let v be (-1)/(2 - (-22)/(-10)). Suppose 1079 = 5*g - n + 250, 515 = 3*g - v*n. Suppose 7*r - 4*r - g = 0. Is r prime?
False
Let u(m) = 22*m**2 - 5 - 16*m**2 - 9*m - 6. Is u(-6) a composite number?
True
Suppose -4*p + p = 0. Suppose p = -g + 3*g - 862. Is g a composite number?
False
Let v be 0*(-2)/6*-1. Suppose 5*n + v*n - 455 = 0. Is n composite?
True
Let o(k) = -k**3 + 11*k**2 + k - 7. Let r be o(11). Suppose -4*i + q = -3*q - 40, -i + r*q + 22 = 0. Is i a composite number?
True
Suppose 450 = -3*r + 2454. Suppose -2*h - 2*h + r = 0. Is h a prime number?
True
Suppose 7 = 2*n - 109. Is n a composite number?
True
Let m(t)