 j. Is d prime?
False
Let a be 369/(2/6*3). Let o = a + -236. Is o a composite number?
True
Suppose 0 = 5*c - 0*c - 475. Suppose -3*q + 6*q = -15, -5*r - 2*q = 240. Let h = c + r. Is h prime?
False
Suppose 3*k - 4*l - 1 = -5*l, -5*l = 4*k + 17. Suppose k*i = -6, -3*n + 257 = -n - i. Is n a composite number?
False
Let i = -19 + 7. Let a be 3/(-12) + (-39)/i. Suppose 0 = -2*s - f + 39, -2*s + 108 = a*s - f. Is s composite?
True
Let y(x) = 2*x - 4. Let l be y(3). Let d be (-1 + -9)*(l - 4). Is 66/10 + 8/d composite?
False
Let t(j) = 83*j + 5. Let z(r) = 42*r + 3. Let a(k) = 4*t(k) - 7*z(k). Is a(1) composite?
False
Suppose 5*t + 5*w = 60, -4*t + 2*w = -2*w - 48. Suppose 3*l = -l + t. Suppose -l*m = m - 276. Is m prime?
False
Suppose 4*y + 1856 = 4*u, 261 = -u + 3*y + 723. Let v = 0 - 0. Suppose v*k + u = 3*k. Is k a composite number?
True
Suppose 4650 + 2589 = 3*k. Is k composite?
True
Let s be (-72)/42 - (-4)/(-14). Let b be (-3)/s*16/6. Is ((-11)/4)/((-1)/b) a prime number?
True
Let x(z) = -10*z**3 + z**2 + 2*z - 1. Is x(-4) a prime number?
True
Suppose -4*s = -a + 278 + 2521, -4*s + 13923 = 5*a. Is a a prime number?
False
Suppose 4*d - 3*f = 1113, 0 = -f + 1. Suppose b + l = d, -2*b - 2*b + 1156 = -4*l. Suppose 3*o - b = -29. Is o a composite number?
True
Let b(z) = -3*z - 13. Suppose -5*r + 5 = 0, 5*a - 2*r + 55 - 8 = 0. Is b(a) prime?
False
Let u = 515 + 8. Is u a composite number?
False
Let h(j) = -j + 3. Let c = 11 - 18. Let s be h(c). Is (-11)/((-1*2)/s) composite?
True
Let g(y) = -y - 3. Let d(r) = -5*r - 16. Let h(z) = 2*d(z) - 11*g(z). Let q be h(2). Is -53*(-2 - (2 - q)) composite?
False
Suppose 3*z - 546 = w - 0*w, 2*w - 175 = -z. Is z a composite number?
False
Suppose -4*s = v + 2*v + 1, -s + 3*v + 11 = 0. Let w = s + -1. Is (0 + 3 - 0)/w composite?
False
Suppose 5*d - 207 = -o + 107, -2*o + 637 = d. Is o a prime number?
False
Let y = 260 - 117. Is y prime?
False
Let q be 2687 - -1*(2 - 2). Suppose 5*m = -3*z + q, -z - 221 = -4*m - 1145. Suppose -5*b + g + 517 + 943 = 0, 3*b + 5*g = z. Is b a prime number?
True
Let r = 1439 - 990. Is r prime?
True
Let n(w) = 21*w - 5*w + 1 + 19*w. Let j be n(1). Suppose -h - 7 = 3*m - 35, 3*m = 3*h + j. Is m a prime number?
False
Let x = 4 - 16. Let c(v) = v**3 + 11*v**2 - 16*v - 15. Is c(x) composite?
True
Let t = -30 + 51. Is t a composite number?
True
Let t = 875 - 366. Is t composite?
False
Suppose o - 2605 = -4*o - 4*f, 0 = -f. Is o a prime number?
True
Let z = -277 - -632. Is z a prime number?
False
Is 2/(-3)*(-63)/(-12)*-134 a prime number?
False
Let u(y) = y**2 - 1. Let r be u(2). Suppose -r*w - w - 112 = -4*l, -5*w - 10 = 0. Is l a prime number?
False
Let b be 2 - ((-12)/3)/(-2). Suppose 0 = -m - b*m + 43. Is m composite?
False
Let h = -6 - 35. Let s(k) = -k**3 - 5*k**2 + 14*k - 4. Let z be s(-8). Let j = z + h. Is j a composite number?
True
Let i be (-4)/(-14) + 3034/14. Suppose 2*b - 3*z - i = 0, 6*z = z + 5. Suppose 3*y = 5*y - b. Is y a composite number?
True
Suppose 3*k = 2*k + 67. Is k composite?
False
Suppose -6 = -0*w - 3*w. Suppose 35 = w*y - 3. Is y prime?
True
Let o(b) = -13*b + 9. Let t = 4 + -11. Let p be o(t). Suppose 0 = -v - p + 311. Is v a composite number?
False
Suppose 1 = -n + 2*n. Let m = -1 + n. Let v(t) = -t**3 - t**2 + 115. Is v(m) a prime number?
False
Suppose 0*y = 2*y - 10. Is ((-38)/y)/((-3)/15) a composite number?
True
Suppose -265 = -4*b + 731. Is b a composite number?
True
Let a(k) = 8*k - 2. Let r be a(4). Let q = 2 - -1. Suppose q*p + r = 75. Is p composite?
True
Suppose 0 = 3*x - 7*x + 56. Suppose 0 + 10 = 2*l. Let p = x + l. Is p a composite number?
False
Let j(q) = -2*q + 1. Let k(g) = -g**2 + 2*g. Let f(y) = -3*j(y) - 2*k(y). Let r be f(-3). Suppose 3*x - 43 = -2*u, x + r = -0*x + 4*u. Is x composite?
False
Let n(v) = -64*v - 7. Let s(l) = 21*l + 2. Let w(z) = 2*n(z) + 7*s(z). Is w(1) composite?
False
Is (-33 + 4)/((-59)/29 - -2) a composite number?
True
Let y(x) = 2*x**2 + 5*x - 16. Let w(s) = 3*s**2 + 10*s - 31. Let o(n) = -4*w(n) + 7*y(n). Let z(l) = -l + 1. Let g(b) = o(b) - 5*z(b). Is g(6) composite?
False
Suppose -29 = -5*f + 6. Let t(o) = 0 - 27*o**3 - 1 - f*o**3. Is t(-1) a composite number?
True
Let n = -26 + 180. Suppose 3*b = 3*t + 2*b - n, -2*b + 63 = t. Is t a composite number?
False
Let y(u) = 3*u**2 + 12. Is y(5) prime?
False
Is (-2)/(-3) - ((-3403)/3 + 0) a prime number?
False
Let c(p) be the second derivative of -2*p**3/3 + 9*p**2/2 - 4*p. Is c(-10) a composite number?
True
Suppose 3*l = 2*r - 2243, -4*r + l + 0*l + 4471 = 0. Is r composite?
False
Is 3/(-3) + 298 - 4 a prime number?
True
Let p be (-2)/3 - (-46)/6. Let b = p - 6. Let g = 9 + b. Is g a prime number?
False
Suppose -8 - 42 = -2*l. Let k(f) = f**2 - 5. Let z be k(5). Suppose 0 = -4*v + z, 5*t + 6*v = 3*v + l. Is t composite?
False
Let t(o) = 5*o**2 + 9*o - 7. Let w be t(6). Suppose w = 5*d - 83. Is d prime?
False
Suppose 3*b + 162 = -3*h - 117, -2*h = 3*b + 183. Suppose 2*a + 334 = -0*a. Let p = h - a. Is p prime?
True
Let u(v) = 4*v**2 + v + 1. Let i be (1/2)/((-1)/2). Let d be (-2 - 1 - -2) + i. Is u(d) prime?
False
Is (-383 + 10)/(((-4)/(-2))/(-2)) prime?
True
Let v be -36 + -4*(-12)/16. Let q = v + 160. Is q a prime number?
True
Let d = 28 + 31. Is d a prime number?
True
Suppose 3*r - 9 = 3. Suppose -3*x + 0*x = u - 20, -r*x + 111 = 5*u. Is u composite?
False
Let u be 2 + (-10)/(-4)*-2. Let k = u + -3. Is 3/18 - 131/k composite?
True
Let u(l) = -l**3 + 6*l**2 + 9*l - 3. Let g be (1 - 4)/9*-21. Is u(g) a composite number?
False
Is 2/9 - 9842/(-18) composite?
False
Let d = 809 + 34. Is d composite?
True
Let t = -1327 - -1974. Is t composite?
False
Suppose -k - 3*x + 304 = 0, -k + 0*k + 3*x + 310 = 0. Is k prime?
True
Let i = -19 + 13. Let o = 10 + i. Suppose o*l - 68 = -4*y, 5*l - 7 - 3 = 0. Is y composite?
True
Let a(b) = b**2 + 3*b - 7. Let l be a(14). Suppose 3*v - v = 3*p + l, 4*v - 450 = 2*p. Is v a prime number?
False
Let y(r) = r**2 - 2*r - 4. Let s be y(10). Suppose 4*d = -0*d + s. Is d prime?
True
Let v(c) = -2*c**3 + 6*c**2 - 10*c - 7. Suppose 0 = -k - 2*k - 18. Is v(k) a composite number?
False
Let h = -99 + 218. Is h a prime number?
False
Let p(n) = 34*n**2 - 14*n + 5. Is p(5) a prime number?
False
Suppose -2505 = -9*o + 13488. Is o a composite number?
False
Suppose 3*p - 1286 = 2*i, 4*p - 3*p - 417 = 3*i. Suppose -4*h + 4*a = a - 427, -4*a = -4*h + p. Is h prime?
True
Let g(j) = -6 - 5 - 5*j + 5. Is g(-5) a prime number?
True
Suppose 5*p - 929 = -n, 3*n - 945 = -5*p - 2*n. Is p composite?
True
Suppose 2*k + 12 = 5*k. Let w be (2 - k) + 2*-8. Let d = 5 - w. Is d composite?
False
Let t(j) = 7*j - 9. Let s(w) = 4*w - 5. Let k(p) = 5*s(p) - 2*t(p). Is k(10) prime?
True
Let n be (28/6)/((-5)/(-15)). Suppose -4*z + 42 = -2*z. Let r = z - n. Is r a prime number?
True
Let d(h) = -h**2 + 8*h - 8. Let n be d(6). Suppose i - n = -i. Suppose i*c - 3*c + 35 = 0. Is c prime?
False
Let w be 1*(-1 + -14)/(-3). Suppose 0 = -w*i + 2*i + 141. Is i prime?
True
Is (2819*2/(-2))/(-1) composite?
False
Let h(p) = -2*p. Let b be h(-3). Let q(j) = 20*j + 1. Let r be q(b). Suppose r + 19 = 4*v. Is v prime?
False
Let g be 2*-2*6/(-12). Suppose g*u = -2*a + 2, -8*u + 3*u = 4*a - 8. Is a/(-12) - (-54)/8 a composite number?
False
Suppose 5*z = 5*v + 10, 4*z + 4*v + 1 = 5*v. Let b(y) = 5 - 1 - y + 26*y**2 - 5. Is b(z) a composite number?
True
Suppose -7*i - 494 = -3553. Is i a prime number?
False
Let i(p) = p**3 + 16*p**2 + p - 5. Let z be i(-7). Let o = z + -206. Is o composite?
False
Suppose -2*q - 5*k - 3 = 0, -q = 2*k + k + 2. Suppose y = 3 - q. Is y prime?
True
Suppose -4*b + 2 = -6. Let z be 2/4*(1 + -5). Let m = b - z. Is m a prime number?
False
Suppose 15 + 6 = 3*g. Let k(w) = 25*w + 2. Is k(g) prime?
False
Let g(z) = 24*z**2 - 6*z + 8. Let l(h) = 14*h**2 - 8*h + 3. Let y(d) = d**2 - d. Let k(f) = -l(f) + 6*y(f). Let r(n) = 4*g(n) + 11*k(n). Is r(-3) prime?
False
Suppose 6*z + 5*b = 5*z - 20, 0 = -2*z + 5*b - 10. Let c be (-4)/z - (-32)/20. Suppose -2*q + 30 = -2*m + 3*m, -c*m + q = -80. Is m prime?
False
Let s(y) = -6*y - 13. Let a(u) = 5*u + 12. Let d(o) = -7*a(o) - 6*s(o). Let l be d(6). Suppose -21 = -l*j - 3*j. Is j a prime number?
True
Let k be 0*(0 + 3/(-6)). Suppose -2*d 