8 = -2*y, 5*y + 367 = 2*n. Is n prime?
True
Suppose 3*m - w = 574, -5*m = 5*w - 1233 + 283. Is m composite?
False
Suppose 3*s - 2*m + 411 = 0, 5*s - 2*m + 690 = 3*m. Let c = s - -248. Is c a composite number?
False
Suppose -4*u + 310 = -154. Suppose 0 = -2*p + 10, -5*a + 294 = 3*p - u. Is a a composite number?
False
Let o(j) = j**2 - j - 10. Let f(q) = -q**3 + 2*q**2 - 4*q + 2. Let b be f(2). Let k(p) = -1. Let h(t) = b*k(t) + o(t). Is h(6) a prime number?
False
Let u(y) be the first derivative of -3*y - 2 + 15/2*y**2 - 1/3*y**3. Is u(10) composite?
False
Suppose -4*g + 41 = -167. Suppose -g = -4*t + 792. Is t composite?
False
Suppose 3*o + 8 = 7*o. Suppose o*u + 91 = 3*n, 5*n - 2*u - 153 = -0*n. Is n a composite number?
False
Suppose 5*g + 4*r = -1, -2*g + 5*r = -g - 23. Suppose m - 204 = -g*m. Is m a composite number?
True
Let s(h) = h**2 - 1. Let r(l) = -l**2 + 2*l - 10. Let a(f) = -r(f) + 2*s(f). Is a(-5) prime?
False
Let j = 334 + -171. Is j a composite number?
False
Suppose 3*r - h - 307 = 679, 644 = 2*r + 2*h. Is r a composite number?
True
Suppose -2*h - 2264 = -732. Let y = 1173 + h. Is y composite?
True
Suppose -3*l + 15 = 2*l. Suppose 5*u = -3*p + 20, l = 2*u + u. Suppose 58 = -p*z + 153. Is z a prime number?
True
Let a = 1199 - 392. Is a a composite number?
True
Suppose -u - u - x = -86, -u + 37 = 2*x. Suppose -u = -r - 14. Is r composite?
False
Let h(l) = l**2 + 6*l - 2. Let v be h(7). Suppose -j = -5*f + 25 + 13, j - 3*f = -46. Let z = j + v. Is z composite?
False
Suppose -u - 540 = u. Let c = 379 + u. Is c a prime number?
True
Suppose -5 = 5*g + z + 10, g - 5*z = 23. Let u = 4 + g. Suppose 0 = u*j - 76 - 82. Is j prime?
True
Let u(t) = t - 18. Let x(l) be the first derivative of l**2/2 - 19*l + 1. Let v(s) = 2*u(s) - 3*x(s). Is v(0) composite?
True
Suppose -9*y - 246 = -3*y. Let u = y + 76. Is u a prime number?
False
Suppose -3*t + 2 = -4. Suppose 1763 = 4*s + 3*y, -6*y - 1784 = -4*s - t*y. Is s composite?
False
Suppose 0 - 4 = p. Let i(s) = 2 + 2*s**2 - s**2 - 3. Is i(p) prime?
False
Suppose 5*w - 3*w - 106 = 0. Is w - (1 + -1)/(-3) composite?
False
Let f(s) = -17*s + 8*s + 1 - 5. Is f(-2) composite?
True
Let d be (-117)/(-45) - (-4)/10. Suppose -2*a = -4*f - 40, d*f = -4*a - 0*a + 25. Is a composite?
True
Let f = -20 + -13. Suppose -3*l - 85 = 5*c + 2*l, 4*c + 65 = -3*l. Let k = c - f. Is k prime?
True
Suppose -3*i + 4*i = 4. Suppose -3*q = 5*o - 563, i*q = -3*o + 93 + 665. Is q prime?
True
Suppose 0 = -3*t - 45 + 2706. Is t a prime number?
True
Let c(f) = 1207*f + 21. Is c(2) prime?
False
Is 3 - 2 - 1 - -22 composite?
True
Suppose -3*c = -z + 233, -20 - 383 = 5*c + 2*z. Let b = c - -186. Suppose 3*x - x = -u + 13, 0 = 4*u - 3*x - b. Is u a prime number?
True
Suppose 51223 - 144608 = -19*l. Is l a prime number?
False
Suppose p + 4*p - 5 = 0. Let b(o) = 120*o**3 + o**2 - o + 1. Is b(p) composite?
True
Let h(v) = v. Let z(r) be the first derivative of -r**2/2 + 6*r - 3. Let j(b) = -4*h(b) - z(b). Is j(-4) composite?
True
Let l = -347 - -204. Suppose -2*s - 2*b = 154, -2*b - 76 = s - 0*b. Let d = s - l. Is d composite?
True
Let c be (-8899)/(-4) - 5/(-20). Suppose 5*u - 1340 = c. Is u a composite number?
True
Is 12/(-18) - 95/(-3) a composite number?
False
Suppose 3470 = 2*b - 0*k - 5*k, 0 = 2*b - 2*k - 3470. Is b prime?
False
Suppose 3*t - 105 = f, -105 = -3*t + 2*f + f. Is (-14)/t + 1907/5 a composite number?
True
Let t(f) = -f**3 + 10*f**2 + 10*f + 11. Let b be t(11). Is (183 + b)/3 - 2 prime?
True
Suppose 0*r = -r + 1. Let s be r + (-1 - -1) - -3. Let f(p) = 2*p**3 + p**2 - 4*p + 3. Is f(s) a composite number?
False
Let h be 2/(4/26) + -1. Suppose -5*d + 4*d + 3 = 0. Suppose -348 = -3*a + d*j, j + 334 + h = 3*a. Is a a prime number?
False
Suppose 0 = s + 4*s - 3*g + 18, 3*s + 8 = -g. Let v be s/12 - (-34)/8. Suppose 0 = 2*o + h - 154 + 48, -v*o + 200 = 5*h. Is o composite?
True
Let c(q) = q**3 + 10*q**2 + 8*q - 7. Let y be c(-9). Let i = -6 + y. Is (-150)/i + (-1)/2 prime?
True
Suppose 3*w - 1967 = -2*y + 708, -w - 3*y + 880 = 0. Is w prime?
False
Suppose 14*p - 7394 - 628 = 0. Is p a prime number?
False
Let p(d) be the third derivative of d**5/30 - 7*d**3/6 + 2*d**2. Is p(-6) prime?
False
Suppose -w - 3 = l, -l + 13 = 5*w - 0. Let k = l + 11. Is ((-44)/6)/(k/(-6)) a prime number?
True
Suppose -5*j - 8 = 7. Is 45 - (-2)/(j + 5) composite?
True
Suppose 0*o = -3*o + 15. Suppose 3*m = 2*a - 77, 5*a = -o*m + 102 + 78. Is a a composite number?
False
Let u(f) = -14*f + 1. Let h(s) = -s**2 - 13*s - 13. Let z be h(-12). Is u(z) a prime number?
False
Suppose -2*b + g = -7*b + 396, -315 = -4*b + g. Is b a prime number?
True
Let v(k) = -k**2 + 9. Let u be v(0). Let x = 161 + -91. Suppose -2*c + 4*z = -x, u*z - 4*z = -5*c + 190. Is c a composite number?
False
Suppose 3*u - 6 = -3. Is u + 66*12/9 a composite number?
False
Let l(b) be the first derivative of b**4/4 - 3*b**3 - 5*b**2 + 3. Let u be l(10). Suppose t + t - 46 = u. Is t prime?
True
Let r be -1*(-4)/(-6)*6. Let y = 0 - r. Suppose -y*c - c + 4*h + 53 = 0, 4*h + 1 = c. Is c a composite number?
False
Let m(s) = -s + 15. Let z(p) = -3*p**2 - p. Let v be z(-1). Let u(f) = f**2 + f - 2. Let l be u(v). Is m(l) a composite number?
True
Let r(u) = u**3 + 3*u**2 - 6*u + 3. Is r(4) a composite number?
True
Let m(i) = i**3 + 2*i**2 - 6*i - 1. Let n be m(-5). Is (n/(-4))/((-3)/(-6)) prime?
True
Let t be (-3)/2*(-4 - -2). Suppose t*d = -0*d. Suppose d = -n + 34 - 3. Is n a prime number?
True
Suppose 2*z - 1068 = -2*z. Let y be (-2)/7 - 37/(-7). Suppose 0 = y*a + 4*u - z, 5*a + 0*u = -3*u + 269. Is a a composite number?
True
Let w be (-221)/(-2) + 9/(-6). Suppose w = 4*q + 317. Is (-3)/(-9) + q/(-6) prime?
False
Let g be (1 + 46/4)*14. Suppose g = 4*s + s. Is s a composite number?
True
Suppose 9 = 5*z - 6. Let b = -3 + z. Let h(o) = -o**2 + 21. Is h(b) prime?
False
Suppose 2435 = 10*p - 5*p. Is p prime?
True
Suppose 2*z + 3*u - 1453 = 0, -z + 201 = u - 527. Is z composite?
True
Suppose i + i - 4 = 0. Suppose i*j + 2*j - 1212 = 0. Let a = j - 100. Is a a composite number?
True
Suppose -5*t + 2404 = 369. Let z = t - 266. Is z composite?
True
Let p = 19 - 2. Let g = p + -11. Is 2*(-3)/(g/(-19)) composite?
False
Let b(m) = 5*m - 3. Let g = -3 + 6. Suppose -g*q - 20 = -7*q. Is b(q) composite?
True
Suppose -13425 = -2*m + 713. Is m a composite number?
False
Suppose -4*k - 8 = 0, -10 = 2*s - k + 4*k. Let z = 5 + s. Is z prime?
True
Suppose 5*y + 41 = -a, -4*y - 2*a = 2*a + 20. Let k(u) = -2*u + 5. Is k(y) prime?
True
Let g = 0 - -3. Suppose -3*p - 2116 = -4*z, -3*z - g*p + 4*p = -1587. Is z prime?
False
Let d = -5 - -11. Let k be (2/d)/(1/15). Suppose 324 = 4*x - 4*n, -3*x - k*n + 231 = -2*n. Is x a prime number?
True
Is (-3)/(18/(-24)) + (2 - -1043) prime?
True
Suppose -b = -6*b + 10. Suppose -a + 10*w = 5*w + 13, -3*w + 13 = b*a. Suppose 5*g = a*g + 381. Is g prime?
True
Let f(j) = -j**3 + 3*j**2 + 3*j - 3. Let a be f(3). Is a/4*(23 + -1) prime?
False
Let d(h) = h**3 + 1. Let j(i) = -i**3 + i**2 + 19. Let y(o) = 2*d(o) + j(o). Is y(0) composite?
True
Let q(m) = 3*m**2 - 2*m - 2. Suppose 29 = -5*h + 4. Is q(h) a prime number?
True
Let r(p) = 97*p**3 - 2*p**2 - 2*p + 3. Let u be r(2). Suppose -2510 = -3*o - u. Suppose -5*m = 156 - o. Is m composite?
True
Suppose 8 - 3 = -5*n. Suppose -3*x + 7 = -4*m - 10, 2 = 5*m + 4*x. Is 6/(n/(1/m)) a prime number?
True
Let q(a) = 7*a**3 - 7*a**2 + 7*a + 2. Is q(5) a prime number?
False
Let m(g) = -50*g**3 + g - 1. Is m(-2) a prime number?
True
Let w(b) = 4*b**2 + 7*b - 7. Suppose 4*f = -5*o - 48, -5*f = -3*o + 8*o + 55. Let v be w(f). Suppose v = i + 3*i. Is i a composite number?
True
Let y(o) = o**2 + 3*o - 2. Let n be y(-4). Suppose -12 = -n*l - l. Is 10/l*1380/50 composite?
True
Suppose c - 10 = -w, 5*c = 4*w + 6 - 1. Suppose w*q = 4*q + 59. Is q a composite number?
False
Suppose -6290 = -5*x - j, 9*x = 6*x - 5*j + 3752. Is x prime?
True
Let v = -536 - -1169. Is v composite?
True
Let z be (-1*2)/(1/13). Let h be 5*z*(-1)/(-2). Let r = h + 130. Is r prime?
False
Let a(y) = -152*y**2 + y. Let b be a(1). Let f = 800 + b. Is f composite?
True
Suppose -5*v + 173 = 53. Suppose 0 = -5*m + j + 119, -4*j - v - 84 = -4*m. Is m a composite number?
False
Suppose -4*x +