-j - 46 = -2*z - z. Let s = j + 65. Is s prime?
True
Let d = -858 - -1577. Is d prime?
True
Let d(q) = -14*q**2 - 24*q - 1. Let i(n) = 5*n**2 + 8*n. Let y(o) = 4*d(o) + 11*i(o). Let k = 37 - 44. Is y(k) composite?
False
Let u(d) = -15*d + 7. Let l(b) = -22*b + 7. Let n(o) = -23*o + 7. Let f(m) = 7*l(m) - 6*n(m). Let i(z) = 4*f(z) - 5*u(z). Is i(6) prime?
True
Let k be (-1)/4 - (-19095)/12. Suppose f + f - 649 = -5*x, 5*f + 2*x = k. Is f prime?
True
Is 0 - -1 - 55*-2 prime?
False
Let p = -138 + 257. Is p a composite number?
True
Let m = -4461 + 6821. Is 1/(-3) - m/(-15) composite?
False
Let i be (2 - 4)/((-3)/27). Let d = -12 + i. Is 1 + 4/d*3 prime?
True
Let v = 31 + -12. Let s = v - 4. Suppose -52 = -i - s. Is i composite?
False
Let a(c) = c**2 - 6*c - 10. Let g be a(7). Let o be (4/12)/(g/9). Is 6/(-2*o/17) composite?
True
Let u be 0/(0 - (1 - 2)). Suppose 0 = g, -t - g + 0*g + 44 = u. Suppose -m = 2*s - t, -m = -5*s + 2*m + 110. Is s prime?
False
Suppose -2*p + 1073 = 3*j, -2*j - 5*p - 369 = -3*j. Suppose 4*f = 3*f + j. Let z = -204 + f. Is z a composite number?
True
Is 3/(-4) - 3210/(-24) composite?
True
Let f(z) = -z**3 - z**2 - z + 2. Let r be f(0). Suppose -382 = -r*v - 0*v. Is v a prime number?
True
Let s = -9 + 12. Suppose -s*v - 3 = -0. Is (-3)/(v/((-326)/(-6))) a composite number?
False
Let r = -4 - -6. Suppose 0 = -r*j + j + 20. Suppose 4 + j = 4*t. Is t a composite number?
True
Let k(h) be the second derivative of 2*h**4 + h**3/2 + h**2 + 3*h. Is k(-5) a composite number?
False
Let p(j) = 14*j**2 + 20*j - 5. Is p(-9) prime?
False
Let g = 165 - -338. Is g a composite number?
False
Suppose 1 + 3 = -d. Let a(t) be the first derivative of -5*t**2 - 6*t - 12. Is a(d) prime?
False
Let q be (-10)/2 - (-27)/9. Is (2/(-3))/(q/381) prime?
True
Suppose 6*l - 20965 = l. Is l prime?
False
Suppose 0 = 4*h - 2*h + w - 28, 0 = -2*h - 5*w + 44. Suppose -6*s + h*s = 1338. Is s a composite number?
False
Suppose 21*y = 19*y + 1942. Is y a prime number?
True
Let z(j) = j**3 - 8*j**2 + j - 16. Is z(15) prime?
False
Suppose -5*z + 0*z = -2615. Is z composite?
False
Let s = 266 - -437. Is s composite?
True
Suppose s - 6 = -2*s + 3*i, -i + 6 = 3*s. Suppose 10*a + 5*d = 5*a + 2530, -s*a + 4*d = -1042. Is a a composite number?
True
Let v = 1984 - -1027. Is v a prime number?
True
Let t be 0/2*(-5)/(-15). Suppose t = 4*d - 2*d - 8. Let q(p) = 9*p - 5. Is q(d) a prime number?
True
Suppose h - 98 = 2*y - 2*h, 2*y = 4*h - 100. Is (y/8)/((-5)/60) composite?
True
Let d = 50 + -22. Suppose g = -5*t + d, -3*g + 5*t = -g - 101. Is g a composite number?
False
Suppose -4*t = -3*l - 2*l + 10, 5*t = -25. Let a(s) = 2*s**2 + 3*s + 1. Let p be a(l). Suppose -u = p*i - 55, -5*i + 4*u = 7 - 110. Is i a composite number?
False
Suppose -3*i + 0*o + 32 = -5*o, 5*i - 8 = -3*o. Suppose i*z - g - 19 = 2*z, 3*z + 4*g = 45. Is z a prime number?
True
Suppose 3*w - w = 24. Suppose 3*s - w - 129 = 0. Is s a composite number?
False
Let g = 1 - 3. Let a = g + 8. Is a a prime number?
False
Suppose 2 = x - 87. Is x prime?
True
Let y = -7 + 0. Let w be (-6 + (-13)/(-2))/((-2)/(-52)). Let q = y + w. Is q a prime number?
False
Suppose 263 + 83 = -2*g. Let x = -124 - g. Is x a composite number?
True
Let s = 8387 + -3418. Is s composite?
False
Let z(v) = -3*v**3 - 4*v**2 - 3*v + 1. Let x(t) = -10*t**3 - 11*t**2 - 8*t + 2. Let h = -7 + 5. Let y(p) = h*x(p) + 7*z(p). Is y(-6) composite?
True
Suppose 4*l - 118968 = -20*l. Is l composite?
False
Suppose 2*j - 33223 = -5*p, -3*j = 8*p - 13*p - 49872. Is j composite?
False
Suppose -6 = -2*v - v, 2696 = 4*i + 2*v. Is i a composite number?
False
Let r = 120 - 53. Is r composite?
False
Let y(l) = -l**2 + 10*l - 10. Let m(z) = -z**3 - 7*z**2 - z + 2. Let q be m(-7). Let d be y(q). Is d + 15 + 1 + -1 composite?
True
Suppose -4*y - 4*l + 0*l + 780 = 0, 0 = 5*l - 5. Is y composite?
True
Let l be 28/13 + 2/(-13). Suppose -l*t + 6*t + 4 = 2*u, u + 5*t + 33 = 0. Is (-714)/u - (-3)/(-12) composite?
False
Let z = -357 - -757. Is z/12 + 2/(-6) composite?
True
Suppose -9*x = -25229 - 10474. Is x prime?
True
Suppose -3*v + 908 = -745. Is v a prime number?
False
Suppose -3*y + 9131 = -4*d, 1914 + 13296 = 5*y - 5*d. Is y composite?
False
Let r = 7 + 25. Let n = r - 11. Is n a prime number?
False
Let p be (-4)/(-5)*(-4460)/(-8). Suppose -i = -2*s - 87, 2*i - p = -3*i - s. Is i a composite number?
False
Suppose 8*w = 3*w - 345. Let p = -34 - w. Is p composite?
True
Let m = 15 - 9. Suppose -m*i + 4*i + 170 = 0. Suppose 4*r - h = 221, 5*r - i = 4*h + 194. Is r composite?
True
Let b(h) be the third derivative of h**5/30 - h**4/24 - 7*h**3/6 - 13*h**2. Let z(j) = j**3 + 4*j**2 + 2*j + 3. Let x be z(-3). Is b(x) composite?
False
Suppose -19 = -5*d - x + 2, 5*d = x + 19. Let w be (30/(-4))/(d/(-8)). Let m = w + 34. Is m a prime number?
False
Let t(h) = -7*h. Let j be t(-7). Suppose -j = -s + 2*r, -4*s + 2*r = -8*s + 226. Suppose -2*p = -51 - s. Is p prime?
True
Let i(r) = 2*r**3 + r**2 - 5*r - 1. Suppose 0 = -5*l + 20, -4 = 2*h - 3*l - 0*l. Is i(h) a prime number?
False
Suppose -d + 6*d + 4*g = 3719, 2*d - 2*g - 1484 = 0. Suppose 4*z = 3*z + d. Is z composite?
False
Let s = 667 + 186. Is s a prime number?
True
Suppose -4*u + 2*u = 0. Suppose u = -2*c - 29 + 115. Is c a composite number?
False
Let m = 577 + 636. Is m prime?
True
Let x(k) = -18*k**2 - 5*k. Let b(z) = 1. Let j(m) = 2*b(m) - x(m). Let q = 6 + -9. Is j(q) a prime number?
True
Let p(y) = -2*y**3 - 8*y**2 - 12*y - 8. Let q be p(-10). Suppose 143 = 5*u - q. Is u composite?
True
Suppose -4*q + 3*z + 0*z + 2284 = 0, 1142 = 2*q - z. Is q a prime number?
True
Let z = 15 + 18. Let h = 88 - z. Is h a composite number?
True
Let h be 1 + (-103)/(-1) + 2. Let g(o) = 7*o - 2. Let r be g(1). Suppose -r*a = -84 - h. Is a a prime number?
False
Let c(b) = -6*b + 3. Let r(k) = k. Let o(a) = c(a) + 5*r(a). Let z be o(3). Suppose 0 = -4*s - 2*p + 52, -2*s - 4*p + 18 + 8 = z. Is s a prime number?
True
Suppose 4*q = 3*q + 5. Is (q + -319)*(-3)/6 prime?
True
Let h be (-4)/2*(-2)/(-4). Let u be (-2 - (-7)/1) + h. Suppose 2*w + 131 = 5*l, u*l - 5*w - 115 = -0*w. Is l a prime number?
False
Let g = 673 + -366. Is g a composite number?
False
Let a be (-2318)/5 - (-2)/(-5). Is 3/(-9) - a/6 composite?
True
Let z be (1 + (-4)/6)*9. Suppose -z*t + 46 + 17 = 0. Is t composite?
True
Suppose 7*y = 4*y - 2*o + 4, 5*y + 5*o = 10. Suppose -396 = -y*p - 3*p. Suppose -5*v + 133 = -p. Is v a prime number?
True
Let k = -15 + 17. Suppose 3*f - 63 = -k*r + 224, 4*f - 2*r - 392 = 0. Is f composite?
False
Let j(g) = 5*g**3 - 2*g**2 + 6*g + 6. Is j(5) a composite number?
True
Suppose 4*y - 25 = -5*z + 15, 0 = -3*z + y + 7. Is 0 + 4 + 408/z prime?
False
Let r = 13 + -10. Let f(v) = -2 - 15*v**3 - r - 7*v + v**2 + 2 + 4*v. Is f(-2) prime?
True
Let j(s) = s**3 - 4*s**2 - 6*s + 2. Let h be j(5). Let i(c) = -2*c - 8. Let n be i(-7). Is h/(-2)*40/n prime?
False
Let h = 24 - 135. Suppose 570 = 3*x + 3*m, 0*m = 3*m. Let r = h + x. Is r composite?
False
Let f(a) = 32*a + 7. Let d be f(5). Suppose -3*v + 2*p = -d, 0 = 2*p - 4*p + 4. Is v a composite number?
True
Let h = 24 - 36. Suppose -2*u = -5*u - 45. Is u/h*(18 - -2) prime?
False
Let q = 129 + 71. Suppose -m = 4*m + 3*o - q, -m + 12 = -5*o. Is m composite?
False
Suppose -3*t = -4*c - 163, 2*t - 5*c = -0*c + 118. Is t composite?
True
Let s(k) = k**3 + 10*k**2 - 11*k - 6. Let v be s(-11). Let y = 103 + v. Is y prime?
True
Let k(d) = d**3 + d**2 + d - 4. Let t be k(5). Suppose -4*n = -0*n + 3*r - 512, -n + 5*r = -t. Is n prime?
True
Suppose -2*r = -3994 - 1652. Is r prime?
False
Let b be ((-938)/21)/((-2)/45). Suppose -2*o = -7*v + 2*v + b, 0 = -2*o. Is v prime?
False
Suppose 5*o + 5*j = j + 4, -32 = -5*o + 3*j. Suppose 0 = 2*u + 2*p - 8, 6 = -o*u + 2*p - 2. Is 67 - (-2 - u/2) a composite number?
True
Let o(l) = l**2 + 4*l - 2. Let h be o(-5). Let f(n) = 38*n**2 + n - 4. Is f(h) prime?
False
Suppose 5*w + 4*c + 72 = 2*w, 3*w + 3*c = -69. Let h be (2/(-5))/(2/w). Suppose h*o = 3*o + 67. Is o a prime number?
True
Let y(c) = -c**3 - 3*c**2 - 2*c. Let s be y(-2). Suppose 4*i + n - 1013 = s, 3*i - 750 = -7*n + 3*n. Suppose -3*r - 8 + i = -5*v, v + 3 = 0. Is r prime?
False
Suppose -7*x = -3*x - 8. Suppose -x*s - 147 = -