d - 3. Is x(5) a prime number?
True
Suppose 6*y - 1156 = -10. Is y prime?
True
Let k be (-3)/2*12/(-6). Suppose -k*n + 3*c = -213, -n + 5*c = n - 142. Is n prime?
True
Let s(j) = 5*j**2 - 4*j - 4. Let h be -5 + 0 - 1 - -2. Let a = -7 - h. Is s(a) composite?
False
Let l(i) = 41*i + 1. Is l(2) composite?
False
Let l be (-2)/(-3) - (-8)/(-12). Suppose 0 = -l*t - 2*t + 226. Is t composite?
False
Suppose 5*r + 2*i - 7*i + 45 = 0, 5*i = 0. Let s = r + 5. Is (-36)/(-8) - (-2)/s composite?
True
Let r = -39 - -74. Is r a composite number?
True
Suppose -2*h - 6 = 0, 4 + 6 = t - 2*h. Suppose 10*q = 7*q + 42. Suppose t*u = 3*u + q. Is u composite?
True
Suppose -9*k + 834 = -3*k. Is k composite?
False
Let p = 2166 - 1279. Is p a prime number?
True
Let x(m) = -5*m**3 + 4*m**2 - 8*m - 5. Is x(-6) a prime number?
False
Suppose 3*x = -4*y + 8*y - 2477, -4*y - x = -2497. Is y a composite number?
True
Suppose -6*u + 16 = -2*u. Suppose 5*j - u*j - 113 = 0. Is j prime?
True
Let x be (1 - (-3 - -4))/1. Suppose x*s + s = 83. Is s composite?
False
Let t(b) = 13*b**3 - b**2 + 1. Let l be t(1). Suppose -l = g + 5*i + 10, 0 = 5*i + 20. Is g + 20 - (-1 + -1) a composite number?
False
Suppose -4*b = -3*b - 122. Let n(f) = 51*f**2 - 2*f - 3. Let k be n(-2). Let s = k - b. Is s prime?
True
Let l(b) = 5*b**3 - 4*b - 7. Let y be l(4). Let h = y - 170. Is h a prime number?
True
Let b = -154 - -527. Is b composite?
False
Suppose -3*r + 365 = 2*y, 3 = 5*y - 2*y. Is r a composite number?
True
Suppose 5*c + 2*y - 2 = 0, -2*y = -4*c - 3*y + 1. Suppose -3 = -3*n + 3*h + 285, 5*n + 2*h - 487 = c. Is n prime?
True
Let p be ((-70)/(-30))/((-1)/(-6)). Suppose 16 = 3*j - p. Is j a composite number?
True
Let m(p) = -162*p**2 - 4*p - 4. Let w(u) = 161*u**2 + 3*u + 3. Let o(b) = 2*m(b) + 3*w(b). Let n be o(-1). Let g = n + -70. Is g a composite number?
False
Suppose -3*l + 7358 = 5*h, 2*l = 4*h - 2*l - 5880. Is h a prime number?
True
Let i(b) = 3*b**3 + 2*b**2 - 1. Suppose 3*j - 2*j - 3 = -r, -5*j - 1 = -3*r. Let x be i(j). Let y(v) = 3*v - 2. Is y(x) a composite number?
True
Let q(n) = 2*n**2 + 11*n - 11. Is q(-10) composite?
False
Let a(w) = 0*w - w + 2 - 1 - 5. Let o be a(-6). Suppose -h = -o*h + 33. Is h composite?
True
Let b(u) = 3*u + 3217. Is b(0) a prime number?
True
Let l(f) = 38*f**2 - 4*f - 11. Is l(7) a prime number?
True
Let l(f) = 2130*f**2 - f - 2. Is l(-1) composite?
False
Let m = 1 + 1. Let o(r) = -69*r**3 - 16*r**2 + 15*r - 16. Let y(a) = -14*a**3 - 3*a**2 + 3*a - 3. Let d(c) = m*o(c) - 11*y(c). Is d(2) composite?
False
Let t(n) = -7*n**2 - 13 + 0*n**3 + n**3 + 0*n**2. Is t(10) prime?
False
Let q(n) = 17*n**2 + 11*n - 10. Let i(d) = -16*d**2 - 10*d + 9. Let h(t) = -5*i(t) - 4*q(t). Is h(4) a composite number?
False
Is 6/(-15) - (-9388)/20 composite?
True
Suppose -3*p + 12 = p. Suppose 0*r - p*r = -9. Is r prime?
True
Let r(w) = -2*w + 3. Let q be r(0). Suppose q*y - y = 586. Is y a prime number?
True
Suppose 3*z - 20 = -5. Suppose -y = -z + 77. Let i = 161 + y. Is i a composite number?
False
Let i be -2*2*1/(-2). Suppose 2*m - m = -5*a + 53, -a + i*m + 4 = 0. Suppose -q + 0 = -a. Is q prime?
False
Suppose -243 = -f - 2*v - 0*v, f = 3*v + 223. Is f a composite number?
True
Let b(r) = -2*r + 3. Is b(0) a prime number?
True
Suppose -f + x + 9440 = 0, -f + 985 + 8450 = -2*x. Is f a prime number?
False
Let v = -1 - 0. Is v/3 + 426/9 composite?
False
Suppose 0 = 4*p + 4*c - 12, -5*c - 1 = p - 0*p. Let y be 1*p*(-4)/(-8). Suppose -42 = -4*k - y*q, 4*k + 5*q - 24 = 15. Is k a prime number?
True
Is (-1 + 195)*((-3)/(-2) + -1) prime?
True
Let d(x) = -x**3 + 15*x**2 - 6*x + 10. Let z(o) = o**3 - 16*o**2 + 5*o - 10. Let a(s) = 5*d(s) + 4*z(s). Is a(10) composite?
True
Let j = -3 + 8. Suppose -4*i = -8, -j*t = i - 258 + 21. Let g = -8 + t. Is g a composite number?
True
Let v(m) = -m**3 - m**2 + m. Let y be v(0). Let b be (170/15)/((-4)/(-30)). Suppose -4*n + y*r - r = -78, -5*r = -5*n + b. Is n a prime number?
True
Suppose 171 = r + 2*r. Is r a composite number?
True
Is 62 - (-2)/(6/(-9)) prime?
True
Let l(w) = w + 9. Let n be l(-5). Suppose n*y = -y + 15. Is 55 - (-5 + y + 2) a prime number?
False
Let n(k) = -k**3 - 6*k**2 + 6. Let l be n(-6). Suppose 5*c + l + 12 = -m, m - 5*c - 32 = 0. Suppose -m = 4*o + 9, -w - 3*o = -25. Is w prime?
True
Let z(t) = 7*t**2 + 2*t + 1. Suppose 0 = -3*p - 2*p - 5. Is z(p) a prime number?
False
Suppose 2*x - 150 - 8 = 0. Is x a prime number?
True
Let t = 8 - 8. Suppose 0*l + 5*l - 30 = t. Is l prime?
False
Suppose m - 987 = -2*m. Is m prime?
False
Let d = -40 - -197. Is d a composite number?
False
Let h(a) = -4*a + 3. Let s be (297/6)/((-6)/8). Let g be s/14 + 10/(-35). Is h(g) a prime number?
True
Let f = 12 + 15. Let m = f - 14. Is m prime?
True
Suppose 0 = -f + 5, 0 = -5*s + 3*f - 2*f - 120. Let j = s + 44. Is j a prime number?
False
Let r be (0 + 0)/((-2)/2). Let o(t) = -t**3 - t**2 - t + 28. Let w be o(r). Let c = 50 - w. Is c a prime number?
False
Let y(h) = 23*h - 15. Let a be (28/8)/((-2)/(-4)). Is y(a) composite?
True
Suppose -c - 1016 = -5*c. Is c composite?
True
Let l = -4 + 2. Let h = l + 8. Suppose -h*n = -n - 455. Is n prime?
False
Let m(d) = -19*d - 7. Let o be m(-6). Is (-11 - o)*(-2)/4 a prime number?
True
Let u be 54/4*(-6)/(-9). Suppose 3*n - u*i - 232 = -4*i, -n = 5*i - 84. Is n a composite number?
False
Let q(k) = 274*k + 1. Is q(10) a composite number?
False
Suppose 0 = u + u - 186. Is u prime?
False
Let f(g) = -25*g + 11. Let v be f(-8). Let j = v - 20. Is j a prime number?
True
Let g(n) = n + 7. Let t be g(-5). Is t + 35 + 0 - 2 prime?
False
Is 276 - ((-15)/(-9) + (-1)/(-3)) composite?
True
Let l(j) = j + 1. Suppose -5*z = 5*b + 5, -2*z + 4*b + 14 = -z. Let n be l(z). Suppose 0 = r - 3*r + 4*q + 2, 5*q + 7 = n*r. Is r a composite number?
True
Let u(f) = f**3 + 4*f**2 - 6*f + 7. Suppose -12 = -c - 2*c + p, 3*c + 2*p - 12 = 0. Is u(c) composite?
True
Let l = 23 + -139. Is l/(-6) - 2/6 a composite number?
False
Let i(r) = r**2 + r - 1. Let q be i(1). Suppose -w - q - 9 = 0. Let a(y) = y**2 - 4*y + 3. Is a(w) a prime number?
False
Let h(z) be the second derivative of -z**5/20 - 2*z**4/3 - 5*z**3/6 + z**2 - 2*z. Let u be h(-7). Is 40/u*(-78)/4 a composite number?
True
Let d(n) be the second derivative of -23*n**3/6 + n**2 + 2*n. Suppose -5*y + 0*y = 35. Is d(y) prime?
True
Is 0 - -1 - (-13 - 885) prime?
False
Let o(d) = -d**3 + 4*d**2 - 3*d. Let k be o(2). Suppose -k*q + 4*q - 214 = 0. Let g = q - 72. Is g prime?
False
Let n(i) be the first derivative of 2/3*i**3 - 5/2*i**2 - 3 + i. Is n(-4) a composite number?
False
Suppose -388 = 6*n - 100. Suppose p + 170 = -p. Let y = n - p. Is y prime?
True
Suppose 3*o - 1098 = 345. Is o a composite number?
True
Let v(f) = f**2 + 3*f + 4. Let d be ((-10)/3)/((-4)/6). Suppose y = b + 2*b + 12, d*y = -15. Is v(b) prime?
False
Let r = 8 - 9. Let n be r + 0 + -2 + 25. Suppose -4*d = -3*d - n. Is d composite?
True
Let f = -1 + 3. Let b be (1 + f + 66)*1. Suppose -196 = -5*h + b. Is h a prime number?
True
Suppose 0 = 4*j + 2*o + 23 - 137, j - 33 = o. Suppose -2*q + 90 = j. Suppose d - 25 = q. Is d a prime number?
False
Suppose -4*b - 2*b = 0. Suppose -k - 3*k + 372 = b. Is k a prime number?
False
Suppose 6*r = r + 55. Suppose -s + 5 = 9. Let y = r + s. Is y prime?
True
Let v(j) = -5*j + 28. Let f(s) = 2*s - 9. Let q(l) = 11*f(l) + 4*v(l). Is q(11) composite?
True
Suppose g - v = 6 + 166, -3*v = -4*g + 693. Is g composite?
True
Let a = -3 + 4. Suppose 0 = m + 5*g + 2, 5*g - a = -m + 3*g. Suppose m*l + 4*h = -2*l + 549, 16 = -4*h. Is l a prime number?
True
Let q = 57 - 17. Suppose m - 57 = q. Is m prime?
True
Let w = 2 - 2. Let u be (w + -1)/((-1)/(-11)). Let f = -5 - u. Is f composite?
True
Suppose -2*f = 2*f - 4. Let r be 6/(-3) - (-18 - f). Suppose -2*n = 3*t + 1, r + 3 = -4*t. Is n prime?
True
Is (-2)/4 + (-1030)/(-4) prime?
True
Let h = 172 - -1005. Is h prime?
False
Let j(h) = 8*h + 14. Let q(p) = 12*p + 21. Let s(c) = 8*j(c) - 5*q(c). Let t be ((-6)/(-9))/((-3)/(-27)). Is s(t) composite?
False
Let d(y) = 9*y - 5. Let t(r) = -8*r + 5. Let a(j) = -4*d(j) - 3*t(j). Is a(-4) a composite number?
False
Suppose 0*r + 4*r + 28 = 5*y, -4*r + 4*y - 24 = 0. Let h be 9/(-18) + (-23)/r. Suppose -3*f + 89