(s) = s + 2. Let n be x(-5). Let w(a) = 6*a**2 + 4*a + 4. Is w(n) a composite number?
True
Suppose d = -4*s - 143, 562 + 61 = -5*d + 3*s. Is (-1)/(((-1)/d)/(-1)) a prime number?
True
Suppose 4*x = 2*r - x - 25, -10 = r + 5*x. Suppose -4*t = r*j - 715, -t = 4*t + 4*j - 905. Is t a prime number?
False
Let n(h) = h**3 - 9*h**2 + 2*h + 7. Is n(10) composite?
False
Suppose -4*g + 364 = -3*m, -5*g = -2*m - 2*m - 455. Is g a composite number?
True
Suppose 0 = 3*m + 2*w, -2*w = -5*m + 8 + 8. Suppose -7 = m*u - 3. Is 138/(-4)*u/3 a composite number?
False
Suppose 0 = 3*g - 2*j + 9, j - 2 = -2*g - 15. Let h = 1 - g. Let y(a) = a**2 - 2*a + 1. Is y(h) composite?
True
Suppose -l = -0*l - 98. Suppose 2*w = 4*s - l, -3*w + 48 + 80 = 5*s. Is s prime?
False
Let h = 21 - 4. Suppose 11 = 4*i - h. Suppose v - i = 4. Is v composite?
False
Is (46/8)/(0 - (-6)/168) a composite number?
True
Suppose 7*m - 4*m = 5199. Is m prime?
True
Let m = 7 + 12. Is m prime?
True
Suppose 3*d - d - 10 = 0. Let i be (-1)/((-1 - 1)/292). Suppose -i = -d*k + 39. Is k prime?
True
Let y(g) = 149*g**2 - g - 1. Suppose -6*d - 5 = -d. Is y(d) prime?
True
Let g be 5/20 + 2/(-8). Suppose g*i = i. Suppose i = -0*s + 2*s - 66. Is s a composite number?
True
Suppose 4*f + j = 22, -4*f + 37 = -5*j + 3. Suppose -324 = -4*p + 2*w, 0 = -p + f*w - 2*w + 67. Is p prime?
True
Let d be 44*((-62)/(-8) - 0). Let l = -16 + 20. Suppose 5*s + c = -0*c + 426, l*s + c = d. Is s a composite number?
True
Let d = -232 + 433. Suppose 4*f + 5*w = 2*f + d, -5*f + 2*w = -459. Is f prime?
False
Suppose 5*o + 2*y - 7619 = 1020, 8 = 4*y. Is o composite?
True
Suppose -2*b + 3*b = 0. Let i be b/((3 - -1)/(-2)). Suppose i = -2*n + 2*a + 76, -3*n + 128 = -4*a + 10. Is n a prime number?
False
Let o = 215 - 135. Let t = 117 - o. Is t a composite number?
False
Suppose -w = -7*w + 870. Is w composite?
True
Suppose 5*x - 4*b - 2451 = 0, 0 = -4*x + x - 5*b + 1441. Is x a composite number?
False
Suppose -3*j - j + 2*g + 908 = 0, -4*g = 2*j - 474. Suppose 4 = 4*h, w - j - 186 = 4*h. Is w composite?
False
Suppose 3*d = 4*m - 265, -23 + 3 = -5*m. Let u = d + 117. Is u prime?
False
Let d(u) = 28*u**3 - u**2 - u - 1. Let h be d(-2). Let b = h + 436. Is b prime?
False
Let p(v) = 7*v**2 - 14*v - 4. Let y(q) = 14*q**2 - 29*q - 8. Let f(r) = 5*p(r) - 2*y(r). Let j be f(-8). Let m = j + -167. Is m a composite number?
False
Let l = -29 - -76. Let v = l + -16. Is v a prime number?
True
Let w(h) = h**2 + 9*h. Let q be w(-9). Suppose 0 = -4*o + 4*s + 288, -5*o + q*s = 2*s - 395. Is o a composite number?
True
Let u be -15*(-1)/(6/56). Let r be 3/(-8) + 175/40. Suppose u = r*p - 248. Is p a composite number?
False
Let j = -8 - -14. Suppose 0 = -2*s + j*s - 372. Suppose 3*f = -0*f + s. Is f prime?
True
Let t(z) = 45*z**3 - 3*z**2 + 4*z + 4. Let q be t(-3). Let a be (0 - (-2 + 3))*-7. Is q/(-14) + (-2)/a a composite number?
False
Let l(v) = 5*v**2 - 4*v + 1. Let i(u) = -u**2 + 1. Let x(c) = -4*i(c) - l(c). Let f be x(4). Let o(p) = p**3 + 8*p**2 - 3*p + 5. Is o(f) a composite number?
True
Let l be 6*(-2 + (-8)/(-3)). Let d(n) = -2 + l*n + 1 + 0*n + 4*n**2. Is d(4) a composite number?
False
Let f(h) = h**2 + 5*h - 9. Let o be f(-7). Suppose 2*a = -2*i - a + o, -15 = 5*a. Is i prime?
True
Let r = -3807 + 5370. Is r composite?
True
Let u be (-2)/(1*(-3)/3). Let t be (-2)/((-1)/((-47)/u)). Let k = t - -84. Is k prime?
True
Let d(s) = 1 - 6*s + s**2 - 2 + 7*s. Is d(4) a prime number?
True
Suppose 471 = 4*p - 1117. Is p a composite number?
False
Is (-5 + 1 - -2) + 2505 a composite number?
False
Suppose 0 = -h - 4*h. Suppose -x - u + 48 = 4*u, -2*u + 2 = h. Is x composite?
False
Suppose -2*r - 5*k = -134, 3*r - 2*k - 306 = -2*r. Is r a composite number?
True
Suppose -21 = -4*r + r. Let l be r/9 - 2/(-9). Suppose -2*y + 291 = l. Is y a prime number?
False
Let j = 400 + -125. Suppose 0*t + 2*i - 1321 = -5*t, 4*i = -t + j. Is t a composite number?
False
Let q(i) = -2*i + 3. Let a be 3/(-1) - (3 - 1). Is q(a) a composite number?
False
Let l(z) = z**3 - 9*z**2 - 18*z + 33. Is l(14) composite?
False
Let o(g) = 3*g**2 + 23*g + 14. Let h(k) = -8*k - k**2 + 0*k + 0 - 5. Let s(p) = 17*h(p) + 6*o(p). Is s(2) a composite number?
False
Suppose 3*a = -2*f + 54, -5*f + 17 = 2. Let q(c) = -c**2 - 4*c + 10. Let n be q(5). Let v = a - n. Is v prime?
False
Suppose 3*h = -n - 2*n + 324, -4*n = h - 441. Is n a prime number?
False
Let b(g) be the second derivative of -g**6/360 + g**5/40 - g**4/6 - g. Let j(n) be the third derivative of b(n). Is j(-6) prime?
False
Suppose -b - 5*q + 170 = -297, -4*b + 2*q + 1824 = 0. Is b a prime number?
True
Is 4/26 + ((-147976)/(-26))/4 a prime number?
True
Suppose -5*r = -3*m + 9 + 259, 0 = -4*m - r + 365. Is m prime?
False
Suppose 2*f + 8 = 4*f. Let z = 6 - f. Suppose -2*d + 113 = y - 48, -z*d = -6. Is y a prime number?
False
Suppose -17*y + 14*y + 291 = 0. Is y prime?
True
Suppose -5*g = -g + 520. Let f be (-1)/(2/g) + -2. Suppose -5*w + 32 = -f. Is w composite?
False
Suppose 7*n = 5*n - 3146. Let c = -932 - n. Is c prime?
True
Let j be 105/9 + (-3)/(-9). Let q be 1/(-3) - j/(-9). Let s(t) = 12*t**3 - 2*t**2 + 1. Is s(q) a composite number?
False
Let g(i) = -i**2 + 5*i - 2. Let c be g(4). Suppose 4*r = c*y + 26, 3*r + 9 = -2*y + 25. Is 4/r + 55/3 a composite number?
False
Suppose 5*j = 4*j - 7. Is (-131)/j - (-4)/14 a composite number?
False
Let f(r) = 5*r**3 - 2*r**2 - 3*r - 2. Let h(x) = x**3 - x**2 - x - 1. Let w(l) = -f(l) + 3*h(l). Is w(-2) a composite number?
False
Let m = 1019 + -12. Is m a composite number?
True
Let q = 233 - -123. Let l = q - 175. Is l a composite number?
False
Let v be (-25)/(-2)*(-1 + 7). Suppose -6*s = -s - v. Is s a prime number?
False
Is -3*((-208)/2 - 3) prime?
False
Let u(i) = 30*i + 64*i - 11*i. Is u(1) prime?
True
Let y(p) = -16*p - 2. Let z be y(5). Let i be ((-9)/(-6))/((-3)/12). Is (-2)/i - z/6 composite?
True
Let r = -143 + 248. Suppose 3*p - r = 3*z, -2*p - p - 4*z = -119. Is p composite?
False
Let a(m) = m - 2. Let d be a(0). Is (d + -147)/((-2)/2) composite?
False
Suppose 0 = l - 2*d - 3*d + 16, 0 = l - d. Suppose l = c + c. Suppose -c*w = -2*p - 77 + 325, 0 = 2*p - w - 251. Is p a composite number?
False
Let a be (1*2)/((-2)/(-3)). Suppose -n + p + 22 = a*p, 4*n - 88 = p. Is (-3)/(41/n + -2) prime?
False
Let h(p) = 4*p**2 - 5*p**2 - 3*p**2 - 4*p + p**3 + 5 + p**2. Let c be h(4). Suppose 92 = -f + c*f. Is f a composite number?
False
Let u(a) = 7*a + 5. Let k(d) = -20*d - 15. Let l(i) = -6*k(i) - 17*u(i). Let p be l(-6). Is p + 2/(-3)*-57 a composite number?
False
Suppose 6*u - 2*u = -4*s + 12, 0 = -5*u - 2*s + 6. Suppose 4*y - 11 + 59 = u. Let m = 10 - y. Is m prime?
False
Let u(z) = z + 5. Let f be u(-5). Let r = -17 - -20. Is (f - 3)/(r/(-15)) prime?
False
Suppose 6*c - 503 = 4531. Is c prime?
True
Suppose -1 = 3*y + 5, 0 = 4*n + y + 98. Is 2/1*(-5388)/n prime?
True
Suppose -822 = -3*j + 54. Suppose 757 = 3*z + j. Let b = z + -88. Is b a prime number?
True
Let p(x) = 8*x - 1. Let z = -10 + 16. Is p(z) prime?
True
Suppose -5*a = -g - 716, 0 = -3*a + 4*a + 3*g - 140. Is a a prime number?
False
Is (-3)/(-6)*-3*(-134 - 0) prime?
False
Suppose 2*t + 2*t = 20, 4*n - 1877 = 3*t. Is n prime?
False
Let h(l) = 38*l**2 - 3. Suppose -a - a + 6 = 0. Is h(a) prime?
False
Is 1112 + 0 + (1 - -2) a composite number?
True
Suppose -2*u = -239 - 359. Is u a composite number?
True
Let b(v) = 2*v**3 - 3*v**2 - 3*v - 6. Let k be b(4). Let u = k + -27. Is u a prime number?
False
Let k = -102 + 181. Is k a composite number?
False
Suppose t + 3*c = 2*t - 96, -3*t + 5*c + 284 = 0. Let j = t + -38. Is j a composite number?
True
Let l(n) = 3*n**2 - 8*n - 2. Suppose j - 2 = -0, -5*j - 2 = -2*i. Is l(i) a composite number?
True
Suppose 2*g - 4*o - 398 = 0, 4*g = 2*o + 926 - 154. Is g a prime number?
True
Suppose 2*t - 603 = -3*a + 16, -5*a - 3*t + 1033 = 0. Is a prime?
False
Suppose 5*d - 2335 = 5*m, -4*d + 2*m = -168 - 1700. Is d a composite number?
False
Suppose -4*y - y = -10, 4*y = -l - 85. Let k = -56 - l. Is k a composite number?
False
Let r(v) = -v + 6. Let u be r(7). Let d = u + 3. Let m(b) = 6*b - 1. Is m(d) prime?
True
Let n = -2 + 8. Let b = n - 4. Suppose -548 = -4*l + 4*x, -l - 145 = -b*l + 3*x. Is l composit