-j*k + 5*t + 14 + 141 = 0, 2*k + 3*t - 115 = 0. Is k prime?
False
Let o(a) = 4*a + 5*a + 5*a + 2. Let q be o(2). Suppose q = 2*z + 2*f, 5*z - 3*f - 75 = 2*f. Is z a composite number?
True
Suppose -543 = -4*t - 5*u, -2*t = -t - 4*u - 141. Suppose 3*s - t = 100. Is s prime?
True
Let u(s) = s**2 - 3*s - 4. Let a be u(6). Is (a/(-8))/((-3)/24) prime?
False
Let r = 209 + 2. Is r prime?
True
Let o(s) = 3*s**3 - 2*s**2 - 3*s - 2. Let r be o(4). Suppose -5*u - 36 = -r. Is u a composite number?
True
Let o = -579 + 1008. Suppose l - o = -2*l. Is l a composite number?
True
Let r(c) = -c**3 - c**2 + c. Let b be r(2). Is (-3)/1*b/2 composite?
True
Is 1/(1742/1741 - 1) a prime number?
True
Is 18/(-99) + 81/33*2273 a composite number?
True
Let c = 223 - -586. Is c a composite number?
False
Let b(g) = g**2 + 11*g + 12. Let v be b(-10). Let f be (-1)/(-2)*(-2 - -4). Let u = v + f. Is u a composite number?
False
Let z be (-2)/6 + 26/6. Suppose -s - s = -4, -4*i + 24 = z*s. Suppose v - i*l - 7 = -0, 3*l - 85 = -4*v. Is v prime?
True
Let a(c) = 10*c**3 + 2*c**2 - 1. Let w(n) = 2*n**3 - 2*n**2 - 2*n - 1. Let h be w(-1). Let m be (0 + (-2)/6)*h. Is a(m) prime?
True
Suppose 0 = -2*l + 4*h + 1422, 0 = -5*l - 2*h + 5*h + 3520. Is l prime?
True
Let w be 10*((-219)/(-6) - -1). Suppose -w = -3*t - 3*d, t - 128 = -d - d. Is t prime?
False
Let g = 577 - 378. Is g composite?
False
Suppose -2*r - 5*g + 47 = -37, -3*r - 4*g + 119 = 0. Is r a composite number?
False
Let v(c) = -c + 7. Suppose -3*s - w - 4*w = -14, s - 6 = -3*w. Let m be v(s). Suppose -5*l + 0*l = 3*k - 83, k = -m. Is l a composite number?
False
Let m(h) = h**3 - 6*h**2 + 10*h - 8. Is m(7) a prime number?
False
Suppose 20*n - 18*n - 5666 = 0. Is n prime?
True
Let n = 39 - -59. Let z = 352 - n. Let y = 673 - z. Is y composite?
False
Let k(a) = 2*a**2 - 6*a + 7. Is k(-6) a composite number?
True
Let h = -7 - 17. Let u = h + 239. Suppose -177 = -3*b - 2*o + 162, 0 = -2*b - 5*o + u. Is b composite?
True
Let v(b) = -8*b**2 - 2. Let h be v(-2). Is (1 - h) + 8/4 composite?
False
Let d(r) = -288*r - 1. Let b = -1 - 0. Is d(b) a prime number?
False
Let l(d) = d - 1. Let p be l(-2). Let n be 1/p + (-48)/(-9). Suppose -n*x + x = -580. Is x composite?
True
Let r be 4/1*(-3)/6. Let u = 4 - r. Suppose -u*b + 2*b + 8 = 0. Is b a prime number?
True
Let i = 9 - -9. Let b be 10/(-3)*i/15. Let r(o) = o**2 + 3*o + 3. Is r(b) prime?
True
Suppose 142 = -3*t - 56. Let z = 119 + t. Is z composite?
False
Suppose -3*v = -8*v. Let t(p) = p - 6. Let n be t(5). Is v + -2 + n + 37 prime?
False
Is 18/24 - 1 - 13258/(-8) a composite number?
False
Suppose 5*d - 4*h + 195 - 752 = 0, 424 = 4*d + 4*h. Is d a prime number?
True
Suppose 14*p - 684 = 2*p. Is p a composite number?
True
Let q = -350 + 519. Suppose -3*y - 2*y + q = -3*x, -2*y = 2. Let f = -5 - x. Is f a composite number?
False
Let n = 260 + 18. Is n prime?
False
Let k = 4053 - 1400. Is k composite?
True
Suppose 0 = 2*a + 4*i - 20, i + 0*i - 2 = 0. Suppose r = a*r - 655. Is r prime?
True
Suppose 13688 = 5*a - 4*l - 2547, -4*l = a - 3247. Is a a composite number?
True
Suppose -8*k + 12*k - 1748 = 0. Is k a composite number?
True
Suppose 115 = 3*s - 44. Is s a composite number?
False
Let y(z) = -7*z + 4. Let f be y(6). Let u(q) = -q**3 - 8*q**2 - 5*q - 10. Let s be u(-7). Let w = s - f. Is w prime?
False
Suppose -4692 + 1008 = -4*q. Let a = -472 + q. Is a composite?
False
Let s(c) = c. Let z be s(10). Is (-784)/(-5) - (-2)/z a prime number?
True
Let n(f) = 443*f. Is n(1) prime?
True
Let k(r) = r**2 + 4*r + 5. Let x be k(-4). Suppose -x*u = 26 + 4. Is 2/u - (-212)/6 composite?
True
Suppose 3*n = -n. Suppose n = -5*w + 6*i - 5*i + 19, 3*w - i - 11 = 0. Suppose w*x + 5*j - 29 = 0, -5*x - 5*j - 26 = -6*x. Is x composite?
False
Suppose -y = -3*a + 4*a + 5, 5*a = -3*y - 29. Let o = 20 + a. Is o a prime number?
True
Suppose 0 = -t - 0*j + 3*j - 9, -4*t + 4*j = 12. Suppose 2*v - 4 = 0, t = -4*z - z - v + 1027. Is z composite?
True
Suppose -5*k - 5*w = -140, 64 = 2*k - 5*w + 15. Let t = 86 - k. Is t a prime number?
True
Let k be (27 - (-3 - 0)) + 2. Let f = -148 + 229. Let h = f - k. Is h composite?
True
Suppose -3*i = 0, -4*i + 137 = n + 6. Is n a composite number?
False
Suppose 4*k - 2758 = -2*v, -k + 181 + 507 = -v. Is k a composite number?
True
Suppose 0 = -f + 2, 2*f = -4*i - 2*f + 20. Suppose -2*y + 2*w + 1188 = -992, 16 = 4*w. Is y/i - (-5)/15 composite?
True
Let a(h) = 85*h**3 - h - 1. Is a(2) composite?
False
Let a = 23 + 24. Let j = a + 10. Is j a prime number?
False
Let b(f) = 2*f**3 + 3*f**2 + 3*f + 1. Let p be b(-2). Is 3*(74 + p/3) a prime number?
False
Let m = 100 - 8. Suppose m = 3*j - 22. Is j composite?
True
Suppose 14 = x + 4*g, 5*x + g = 6*g - 5. Let z be (x - 183)/((-3)/6). Suppose f - 259 - 10 = -3*c, -3*f = 4*c - z. Is c a prime number?
True
Suppose 0 = 2*j + 2*b + 1 - 3, 35 = -5*j + 3*b. Let x(h) = h**3 - h - 1. Let c(p) = 3*p**3 + p**2 - 3*p + 3. Let q(v) = -c(v) + 2*x(v). Is q(j) prime?
False
Suppose -4*r - 3*n + 192 = n, 3*r - 184 = 5*n. Let x = -22 + r. Is x prime?
True
Let j be -3*2 - (0 + -3). Let l be (-22)/(-8) + j/(-12). Suppose l*o - 118 = o. Is o composite?
False
Suppose -4*g - 1 = 3*o + 4, 5*g = 2*o - 35. Suppose 159 = -2*l + o*l. Is l a composite number?
False
Suppose 10*n = 8*n - j + 3066, 3*n - 4589 = j. Is n composite?
False
Suppose -2*f - 20 = -4*f. Let u be ((-4)/f)/(7/(-245)). Suppose 3*a = 5*x - 232, 3*x - u - 123 = 4*a. Is x prime?
True
Let n(s) = -2*s**3 + 2*s**2 - 1. Let d be n(-1). Suppose h + 2*a = 3 - 1, -5*h + d*a = -36. Is ((-93)/h)/(2/(-4)) prime?
True
Let h(v) = v**3 - 4*v**2 - 2*v - 1. Is h(6) prime?
True
Let s(h) = h**3 - 6*h**2 + h - 2. Let l be s(6). Suppose 2*p = 3*p + d - 114, 0 = 3*p - l*d - 307. Is p composite?
False
Is ((-518)/4)/((-15)/30) a composite number?
True
Suppose 0 = -0*u + u - 2121. Let c be (2/6)/(1/u). Suppose 0 = -3*s - 5*k + 83 + 314, 5*s - c = 3*k. Is s composite?
False
Let c be (-3*(-3)/9)/(-1). Let l = c - 1. Is ((-4)/6)/(l/111) a composite number?
False
Let y = 4 + -1. Suppose -44 = -y*x + 2*x. Is -3*(x/(-6) - -1) a prime number?
True
Let u(s) = -s**2 - 16*s - 11. Suppose -5*k = 56 + 4. Is u(k) a composite number?
False
Let b(i) be the second derivative of -13*i**3/3 - i**2/2 + i. Is b(-1) a prime number?
False
Suppose 4*b + 3*k + 2*k + 9 = 0, 3*k = 5*b - 35. Suppose -y - 4*y = -b*c + 245, 4*c - 240 = 4*y. Is c composite?
True
Suppose -4*z - 236 = -q - 39, -358 = -2*q - 4*z. Is q prime?
False
Suppose 4*d + 16 = -2*c, 0 = -3*d - 0*d - 15. Suppose -4*p - c = -10. Is p a composite number?
False
Suppose 4 = -3*a - 32. Let j be (-12)/(-42) + a/(-7). Suppose -3*v + 4*c = -23, -3*c - j*c = -5*v + 40. Is v prime?
False
Let n(h) = -55*h**3 - h**2 - h - 1. Let x(i) = -i**3. Let k(u) = n(u) - x(u). Suppose 5*y - 3*g + 4 = -2*g, -8 = 3*y + 5*g. Is k(y) prime?
True
Let a(y) = y**2 - 7*y + 3. Let s be a(7). Suppose -s*l = -6*l + 261. Is l a composite number?
True
Let x be 4*(-1 + 0)/2. Let p be (x + 9/12)*4. Let b = p + 12. Is b composite?
False
Let a(i) = 52 - 33*i**2 + 15 + 32*i**2 - i - i**3. Is a(0) a composite number?
False
Let b = 8 - 6. Suppose 0 = l + 4, -5*f = -f + b*l + 152. Let p = -17 - f. Is p prime?
True
Let v = 82 + 87. Is v a composite number?
True
Let k(t) = -t**3 - 7*t**2 - 8*t - 7. Let s = -22 - -16. Let c be k(s). Suppose 5*r = 20, -c*l - 30 = -r - 121. Is l composite?
False
Let t(j) = -j**3 - 4*j**2 + j - 8. Suppose 0 = -3*x - 2*x - 30. Is t(x) a prime number?
False
Let m = -63 - -121. Is m a composite number?
True
Suppose 0 = -12*k + 13*k - 2443. Is k a composite number?
True
Let j = -3 - -14. Let d = j + -24. Let k = 27 + d. Is k prime?
False
Is 28/7*6/4 prime?
False
Suppose 3*i - 1258 = -4*r + 174, -r + 358 = 3*i. Let c be 3/(-12) - r/8. Let o = c - -124. Is o prime?
True
Suppose 2*a = 4*r + 4*a + 24, 5*r + 31 = -3*a. Is (-40)/16*158/r prime?
True
Let f = 682 - 432. Suppose 2*t - 4*q = -0*t + f, 589 = 5*t + 2*q. Is t a prime number?
False
Suppose 0*v = -2*v. Suppose -2*d - d = v. Suppose d + 28 = 2*p. Is p composite?
True
Suppose 2*c + 384 = 5*j + 93, 4*j = 4*c + 612. Is 1/((3 - 5)/c) a composite number?
False
Let b = -808 - -2525. Is b a prime number?
False
Let l(f) = -f**3 - f**2 + f + 33. Let k be l