4 prime?
True
Let z(u) = -u**2 - 14*u - 7. Let a be z(-12). Suppose 0 = 2*v - 29 - a. Is v a prime number?
True
Suppose 3*o + 6 = 6*o. Suppose 281 = o*k - 193. Is k prime?
False
Suppose -200 = -2*h - 34. Is h composite?
False
Let j be -3 + -1 + 1 - -10. Let t(c) = 0 - j*c + 1 - 4. Is t(-4) a prime number?
False
Suppose -3*j - f = -4*j + 5, -3*j + 4*f = -18. Suppose -w - 183 = -6*w - j*l, -2*l = 2*w - 78. Is w a prime number?
False
Let m(a) = 7*a - 17. Let n(l) = 20*l - 51. Let z(i) = 7*m(i) - 2*n(i). Is z(16) a composite number?
False
Let n = 14915 + -8762. Is 2/(7/(n/6)) prime?
True
Suppose -l = 4*l. Suppose c - 4*c + 9 = l. Suppose 6*m - 4*g - 105 = c*m, -3*m = 3*g - 84. Is m composite?
False
Suppose 4*s - 3 = 13. Let j(d) = 0*d + s*d**2 + 8*d + 1 - 5*d. Is j(6) a composite number?
False
Suppose 3*j + 4*r - 230 = j, 0 = -3*j - 4*r + 339. Is j prime?
True
Suppose z - 6*z + 1220 = 0. Suppose 211 = 5*l - z. Is l a prime number?
False
Let a = 6 + -2. Suppose -a*o + 129 = -19. Is o a prime number?
True
Let w(b) be the second derivative of -b**4/12 + 8*b**3/3 - b**2 + b. Suppose 0 = -n + 2*h + 2*h + 33, -h = 3*n - 34. Is w(n) a composite number?
False
Let u(h) = -46*h - 7. Let s be u(-8). Suppose -38 - s = -3*c. Is c a composite number?
True
Suppose -5*s + 7977 = -2*h, 5*h = 2*s + 963 - 4137. Is s prime?
True
Let k(s) = -s**2 - s - 1. Let w(f) = f**2 + 1. Let l(r) = 3*k(r) + 4*w(r). Is l(-6) composite?
True
Suppose -5*s + 2*s = -4*w - 4413, -4413 = -3*s + w. Is s composite?
False
Let f(o) be the third derivative of -o**6/360 - 13*o**5/120 + 7*o**4/24 - o**3/3 + o**2. Let a(p) be the first derivative of f(p). Is a(-10) prime?
True
Let o(c) be the first derivative of 7/3*c**3 - 1 + 0*c + 0*c**2. Is o(-1) a composite number?
False
Suppose 3*q - 9*q = -402. Is q a composite number?
False
Let s be -7 + (0 - 0/1). Let k = -11 - s. Let j(u) = -3*u**3 - 3*u**2 - 5*u - 1. Is j(k) composite?
False
Let d = 12 + -12. Suppose d = -h + 1 + 6. Is h prime?
True
Suppose -797 = -0*a - a. Is a composite?
False
Let q(f) = -f**3 - 7*f**2 + 6*f - 10. Let c be q(-8). Is (-1 - -615)*c/12 composite?
False
Suppose 3*r - 2389 = -2*d, 3*r - 7*d + 4*d = 2394. Is r prime?
True
Let z = 9 - 7. Suppose n + z*n = 795. Is n prime?
False
Suppose 0 = 3*b - 0*u - 3*u - 6471, -b + 2*u = -2159. Is b composite?
True
Let k = -7 + 11. Let t be 10/k*(-27 + -3). Is (6/(-5))/(6/t) a prime number?
False
Let x(v) = -18*v - 7. Let t be x(-8). Let u = t - -50. Is u a prime number?
False
Suppose -4*h + 280 = 2*n - 898, 0 = h - 4. Is n prime?
False
Suppose -1660 = -0*c - 5*c. Let l(d) = 3*d**2 - d + 1. Let m be l(1). Suppose u - c = -m*u. Is u a composite number?
False
Is 5*21 - 2/(-1)*-1 a composite number?
False
Let k(a) = -5*a - 4. Suppose -6*n + 12 = -3*n. Let h = n - 7. Is k(h) a composite number?
False
Suppose -5*b + 438 = -3*b. Is b a composite number?
True
Suppose -5*f + 5 = 0, 5*i = 2*f + 2*f + 16. Let q be (-3 + i)*(-18)/(-2). Let m = q + -6. Is m prime?
True
Let j(c) = c**2 + 305. Let h be j(0). Suppose -5*s + 1537 = -2*l, 5*l - h = -s + 3*l. Is s a prime number?
True
Let g = -218 - -345. Is g prime?
True
Suppose 3*r = 4*r - 203. Is r a composite number?
True
Suppose -3*j + 2019 = -0*t - 3*t, 3*t = -4*j + 2720. Is j a composite number?
False
Let p(l) = 3*l + 6. Let j be p(6). Suppose -b + 5*b + j = 0. Is (-1)/2*-2 - b a prime number?
True
Let t be 1/((-3)/(-16))*3. Let o be (t/(-12))/((-1)/(-3)). Is o/2*(-262)/4 composite?
False
Suppose 6 = -4*u + 14. Suppose a - 1 = -u. Is 5/(5/82) - a a prime number?
True
Let z be (-42)/(-4) - (-3)/6. Suppose -z - 51 = -2*s. Is s composite?
False
Let x(b) = b**3 + 6*b**2 + b + 7. Suppose 0 = 2*p - 2*l + 16, 0*p + 26 = -3*p + 4*l. Let r be x(p). Is 8 - (1 - (r + -1)) prime?
True
Let n(l) = -18*l + 15. Is n(-7) a composite number?
True
Suppose 652 = 4*z - 3*n, -5*z = -2*n + 5*n - 815. Is z composite?
False
Let v(r) = 3*r**2 - 4*r + 14. Is v(-9) a composite number?
False
Is 73 - (-4 - -1 - 1) a prime number?
False
Suppose 0 = 2*z + 2*c - 442, 0 = 5*z - z + c - 890. Is z prime?
True
Let s be (-47)/(-2)*(-8)/4. Let z(r) = 4*r + 2. Let y be z(-7). Let v = y - s. Is v a composite number?
True
Let w(j) = -3*j. Let h be w(5). Suppose -7*p = -3*p - k + 149, 0 = -2*p + 3*k - 87. Let v = h - p. Is v prime?
False
Let o = 650 + -163. Is o a prime number?
True
Suppose o - 5 = 0, 0 = -3*a - 5*o + 3*o + 22. Suppose -h + a*h - 258 = 0. Is h a composite number?
True
Suppose -4*z + 9*z = 190. Suppose 0 = 4*p - 130 + z. Is p composite?
False
Suppose 8*l = 4*l - 4556. Let n = 1824 + l. Is n composite?
True
Let s(f) = f**2 + 9*f + 7. Let p be s(-8). Let j be 656/6 - p/(-3). Suppose -5*o = 4*i - 183, -o + 2*i = -4*o + j. Is o prime?
False
Suppose -3710 = -2*j + 704. Is j a prime number?
True
Let n(a) = -a + 4. Let d be n(4). Let c = 3 + -3. Suppose 5*f + 3*m - 1172 = c, -m - 1 = -d*m. Is f a prime number?
False
Suppose 4*n - 2*a = 20, 2*a + 19 = 3*n + 4. Suppose 0 = -n*s + 9 + 6. Suppose 5*w - 2*l - 13 = 0, -w + 4 = -2*l + s. Is w a prime number?
True
Let f be 2*(-1 - -5) + 1. Let x = f - 35. Let g = x - -45. Is g a prime number?
True
Let x(g) = 19*g**2. Is x(1) prime?
True
Let q = 41 + -2. Let k(t) = -t**3 - 17*t**2 + 16*t - 6. Let z be k(-18). Let r = z + q. Is r composite?
True
Suppose -5*s + 7034 - 1759 = 0. Is s composite?
True
Let o = 11 + -11. Is 1 - (o - (0 - -76)) a prime number?
False
Suppose 0 = 10*d - 2*d - 2968. Is d a prime number?
False
Let f(t) be the first derivative of -t**2/2 + 14*t - 2. Let i be f(10). Suppose 0 = -i*h - 61 + 265. Is h composite?
True
Let u(g) = 803*g - 1. Let z be u(-5). Is ((-1)/(-2))/((-8)/z) a composite number?
False
Let z(v) = -v**3 + 4*v**2 + v - 2. Let x be z(4). Suppose -x*g + 77 = -g. Is g a prime number?
False
Let s be (-2 + 3)/(6/12). Suppose 0*t = s*t - 518. Is t a composite number?
True
Let y(c) = c**2 + c - 1. Let k(o) = -2*o**2 - 6*o + 7. Let n(j) = k(j) + 6*y(j). Suppose 2*i = f + 2 + 3, i + f - 7 = 0. Is n(i) prime?
False
Let l = -2925 + 4558. Is l a composite number?
True
Let z be -343 + 0 + (-13 - -15). Let q = 576 + z. Is q a composite number?
True
Let h = 4 + 1. Suppose -2*c = -0*c - h*y + 20, 0 = -3*c + 4*y - 16. Suppose 5*t - 923 = 2*l, c = -t + 4*t + 5*l - 529. Is t composite?
True
Let y(l) be the third derivative of 2*l**2 + 5/3*l**3 - 1/120*l**6 + 11/24*l**4 - 1/12*l**5 + 0*l + 0. Is y(-7) composite?
False
Let k be 12/(-54) - (-182)/9. Suppose -a + 74 = -0*f + 5*f, 5*a = k. Is f a composite number?
True
Suppose d + 0*w - 4*w - 191 = 0, 2*d - 5*w - 382 = 0. Is d a prime number?
True
Suppose 4*s = p + 13, -1 + 26 = -5*p. Suppose -2*a + 106 = 2*t, s*t - 57 = -a + 51. Is t a prime number?
False
Suppose -2*q = -j - 4, 2*j - 2*q = -4*q - 14. Is j/(-2) - (-12 - 0) a prime number?
False
Let k(i) be the third derivative of i**4/6 + i**3/6 + 2*i**2. Suppose 2*j + 26 = 5*j + 2*s, 2*j = -2*s + 20. Is k(j) a prime number?
False
Suppose 8*c = 3*c + 340. Let x = c - 29. Is x a prime number?
False
Let q(m) = -3*m - 14. Let a(x) = 2*x + 9. Let v(n) = 7*a(n) + 5*q(n). Let t be v(-10). Let y(z) = z**2 + 2*z + 4. Is y(t) composite?
False
Let x = 37 - -14. Is x a composite number?
True
Suppose -5*n + 215 = 30. Is n a prime number?
True
Let o = 88 + -201. Let i be 1/(-2 + 9/6). Is o/(i/(-1 - -3)) a prime number?
True
Let l be 1 + (0 + -2 - -18). Suppose 4*t - l = -5*o, -2*o = 3*t - 1 - 3. Suppose -5*n - 3*p + 105 = -134, -o*n = 4*p - 237. Is n prime?
False
Suppose -5*b - 5 = -0. Let y(q) = 15*q. Let n(f) = 1066*f. Let o(v) = 2*n(v) - 143*y(v). Is o(b) prime?
True
Let f(n) = n**3 + 10*n**2 + 9*n - 4. Let x be f(-8). Suppose 5*p + c = 260, 0 = -p - 0*p + 5*c + x. Suppose 92 = 4*t + 4*z - p, 4*t + 3*z - 145 = 0. Is t prime?
True
Let w(m) = 62*m**2 + 5*m - 14. Let v be w(5). Suppose -4*k + v = 3*k. Is k composite?
False
Let j = 0 - 0. Suppose -2*h + 3*d + 16 + 20 = j, 19 = h - d. Is h prime?
False
Let d(r) = 6*r**2 - 7*r + 5. Let m be d(6). Let q be 18/(-12) + m/2. Suppose 0*s - 2*s - q = -4*f, -f + 27 = 2*s. Is f composite?
False
Let p(t) = -9*t - 1. Let s be ((-2)/4)/(2/12). Is p(s) a prime number?
False
Suppose 2*x = -5*d + 112, -2*d = -4*x - 0*x + 248. Suppose -29 - 27 = -2*a. Suppose -x = -t + a. Is t composite?
False
Let o(c) be