 17. Is s a prime number?
True
Suppose 4*s - 4 = 0, -9 - 9 = 4*a - 2*s. Is 78/4 + 2/a a prime number?
True
Let a be 2 + 2 + -4 - -9. Let o be 12/54 + (-2)/a. Suppose k - 9 - 44 = o. Is k a prime number?
True
Let m be 373 - (0 + 1)/1. Let x be 3 - 0/((-4)/(-2)). Suppose o - m = -x*o. Is o composite?
True
Let r = 150 - 29. Is r prime?
False
Let o be ((-148)/8)/(2/(-8)). Let d be (0 - -2 - 0) + o. Suppose 4*u - 2*u - 3*c - d = 0, u - 4*c = 43. Is u prime?
False
Let w(u) = u**2 + 6*u + 7. Let h be 4*(-2)/(-8)*-5. Let x be w(h). Suppose 5*m = x*m - 6, -4*m - 138 = -5*f. Is f a composite number?
True
Let a be 0/(-1*(-2 - -3)). Is (a - 1)*(-171)/9 a composite number?
False
Suppose -2*k - 391 + 1133 = 0. Is k a composite number?
True
Suppose -5*n + 3 = -17. Suppose 5*z - 67 = n*z. Is z prime?
True
Let c(k) = k**2 - 1. Let h be c(-1). Suppose 3*m - m + 4 = h, -3*p + 4*m = -71. Is p composite?
True
Let i = 22 + 30. Is 1*(3 + i + -2) composite?
False
Suppose 3*i = -8*t + 3*t - 235, 112 = -3*t + 4*i. Let x = t - -179. Suppose -4*y + x + 77 = 0. Is y composite?
False
Suppose -5*y = -5*i - 15, 3*y - 7*y + 3*i = -12. Suppose 3*k - 5*t = -34, -17 = y*k + 2*t + 24. Let r = 8 - k. Is r a prime number?
False
Let i(a) = 2 + 3*a + 4*a + a. Let l(t) = t + 4. Let k be l(5). Is i(k) a prime number?
False
Let m = -3 + 5. Suppose -3*h + 163 = -m*h. Is h prime?
True
Suppose -181 = -i + 70. Is i composite?
False
Let o(z) = 15*z**2 - 2. Is o(-3) a prime number?
False
Suppose -5*m + 4*f = -f - 55, 6 = 2*f. Suppose -2*v = -4*v + m. Is v prime?
True
Let g(c) = c**3 + 8*c**2 + 6*c + 3. Let o be g(-7). Let z be 2/(-10) + (-8)/o. Is (z - -14)/((-2)/(-6)) composite?
True
Suppose -47 = 2*d - 229. Is d composite?
True
Suppose 4*f + 53 = -4*v - 7, -v = 4*f + 66. Let m = -7 - f. Is m composite?
True
Let c(g) be the third derivative of 0 - 4*g**2 + 0*g + 13/6*g**3 - 1/12*g**4. Is c(-11) prime?
False
Let i(l) be the third derivative of 7*l**6/360 - l**5/60 - l**4/6 + l**3/6 + 4*l**2. Let d(c) be the first derivative of i(c). Is d(3) a composite number?
False
Is ((-3)/(-2))/(46963/6706 + -7) prime?
True
Suppose 5*b - 4*b - 167 = 5*d, 171 = b - 3*d. Suppose 3*u = -5*y - 262, -u - u - b = y. Let q = u - -204. Is q a composite number?
True
Suppose 2*b - 19 = -3*b - f, -b + 5 = -f. Let o = b - -1. Suppose -o*j = -j + 4*v - 328, 336 = 4*j - 4*v. Is j a composite number?
False
Let o = -927 + 1453. Is o a prime number?
False
Let h be 1*(5 + 0)*1. Let x be (2 + (-14)/4)*(-4 + 2). Suppose 2*g + h*c - 114 = 0, -x*g - 2*c = c - 153. Is g prime?
True
Let j(i) = -14*i - 7. Let x(w) = 0 + 1 - 5*w - 2. Let n be x(1). Is j(n) a prime number?
False
Suppose 7*b - 18 = 4*b. Suppose 2*n - b*n = -24. Is 92/n + (-2)/6 a prime number?
False
Is 29505/18 + -3 + 17/6 a composite number?
True
Let f = -399 - -726. Is f a prime number?
False
Let v be (-4 - -3)*(2 + -1). Let h be ((-5)/(-1) - v)/2. Suppose -j - h*j + 556 = 0. Is j a prime number?
True
Let x be (605 - (5 + -2)) + -2. Let s = -307 + x. Is s a prime number?
True
Let y(q) = 3*q**2 - 5*q + 11. Let o(g) = g**2 - 3*g + 5. Let s(t) = 5*o(t) - 2*y(t). Let w be (-20)/25 + -3 - (-1)/(-5). Is s(w) prime?
True
Let z(c) = 10*c**3 - 8*c**2 - 4*c + 15. Is z(4) a prime number?
False
Is 129 - (4/10)/(5/25) prime?
True
Let t be ((-83)/2)/(3/30). Let s = -192 - t. Is s a prime number?
True
Let t(x) = 45*x + 7. Is t(3) a prime number?
False
Let s be 2/(-4) - 526/4. Let a = 427 + s. Suppose -x - 4*x + a = -4*d, 5*x = -d + 270. Is x a prime number?
False
Is (-1 - 2/4)*2674/(-21) a prime number?
True
Suppose 0 = -5*d - 3*p + 9, -d - 7 + 4 = 3*p. Suppose -d - 5 = -4*q + 2*c, 0 = -q + 2*c + 5. Is q*-2 + -7 + 118 a composite number?
False
Suppose 8 - 1203 = -5*n. Is n a prime number?
True
Let u(v) = 5*v**2 + 8*v - 8. Is u(7) a prime number?
True
Suppose 3*m - 4*m + 254 = 0. Is m a composite number?
True
Suppose -4*a + 3 = -o - 3, 0 = -2*a + 4*o - 4. Let h = a + 1. Suppose -h*j = j - 36. Is j prime?
False
Let v(q) = -87*q + 2. Is v(-3) composite?
False
Suppose 0 = -0*p - 3*p - n - 16, -5*n - 25 = 4*p. Let o(k) = k + 6. Let q be o(p). Let c = q - -10. Is c prime?
True
Suppose 5*t = 2*t + 4413. Is t prime?
True
Let m = 1168 + -603. Is m composite?
True
Let w(q) = -q**2 - 8*q - 4. Let a be w(-6). Let x be a + (-2)/2*0. Is 2/x*-2*-106 prime?
True
Let t(n) = 2*n**3 - 2 + 1 - n - n**3 + 3*n**2 - n. Let u(c) = c**3 + 6*c**2 - c - 3. Let j be u(-6). Is t(j) composite?
False
Let f = -2 + 8. Let h = f + -3. Suppose -h*i - 5 = 5*u - 65, -4*i + 40 = 4*u. Is u composite?
True
Let a(x) = 417*x**3. Let u be a(-1). Let z = 620 + u. Is z prime?
False
Suppose 0 = -2*y + 2*o + 10, 8 = -2*y + 4*o + 24. Suppose 12 = x + 3*x, -4*k + 2 = -y*x. Is (-154)/(-4) - (-1)/k a prime number?
False
Let j(f) = -f**2 - 8*f - 9. Let k be j(-6). Suppose 3 + 90 = k*z. Is z a composite number?
False
Suppose 1214 = 3*f + 3*h + 86, -371 = -f - 2*h. Is f composite?
True
Let t = 181 - 42. Let h = t + 46. Is h a prime number?
False
Let v(d) = -7*d**3 + 3*d**2 + 13*d + 2. Let t(x) = -3*x**3 + 2*x**2 + 6*x + 1. Suppose -5*z - 29 = -9. Let l(y) = z*v(y) + 9*t(y). Is l(-4) a composite number?
True
Suppose 0 = 3*f + 3*v - 2700, 0 = -2*f - 3*v + 716 + 1083. Is f a composite number?
True
Suppose f + 1 = 6. Suppose f*b - 70 = -0*b. Is b a prime number?
False
Let b = -13 + 19. Suppose 0 = -o - o + b. Let m(p) = 2*p**3 - 5*p**2 + 3*p + 4. Is m(o) a prime number?
False
Let q(t) be the third derivative of 37*t**4/12 + t**3/6 - 6*t**2. Is q(3) composite?
False
Let h(z) = 85*z**2. Suppose -2*q = -3 + 5. Is h(q) a prime number?
False
Let a be -38 - ((-2)/2 - -1). Is 3/((-3)/a) + -1 prime?
True
Suppose -c - 3 = -0. Let r = c - -3. Suppose r = 4*j - 2*j + 2, m - 2*j = 28. Is m a prime number?
False
Suppose 0 = 3*o + 4*f - 250, f + 21 = -2*o + 186. Is o composite?
True
Suppose -2*h + 0*h = -286. Is h composite?
True
Suppose -u = 2*u - 2391. Is u a prime number?
True
Let d(u) = u**2 + 10*u - 9. Let m be d(-9). Let t(p) = -p**3 - 4*p**2 + 3*p + 1. Let j be t(-4). Let r = j - m. Is r a composite number?
False
Suppose 0 = y - 20 - 316. Let b = y - 225. Is b a prime number?
False
Let p(g) = 6*g**2 - 4*g + 14. Is p(4) a composite number?
True
Let q = 466 + -124. Suppose -2*r - 3*u + 315 = 62, q = 3*r - 3*u. Suppose -r = -n - 0*n. Is n a composite number?
True
Let f(o) = -10*o + 7. Is f(-12) a prime number?
True
Suppose 0*u + u - 1191 = 0. Is u a prime number?
False
Suppose 4*b + b = 1625. Suppose 5*s - 330 = b. Is s a prime number?
True
Let n(m) = -4*m - 1. Let c be n(-1). Suppose -4*j = -4*w - 152, w = -c*j - w + 114. Suppose g - 28 = -2*p, -2*g = 2*p - 6*g - j. Is p prime?
False
Let m(k) = -k**3 + 10*k**2 - 6*k + 2. Let r(y) = y**3 - 11*y**2 + 7*y - 1. Let j(a) = 3*m(a) + 2*r(a). Let q = -1 + 8. Is j(q) a prime number?
False
Let f(a) = 17*a**2 + a - 17. Is f(12) prime?
False
Let i(z) = -2*z - 1 - z + 2*z + 5. Is i(-3) prime?
True
Suppose -3*p + 29 = -m, 24 = 2*p + 2*p - 5*m. Is p composite?
False
Let q(j) = 2*j - 13. Let w(s) = s - 13. Let a(l) = 5*q(l) - 4*w(l). Is a(11) composite?
False
Let f(m) = -m**3 + 7*m**2 - 8*m + 3. Is f(5) a composite number?
False
Suppose 0 = 2*v - 3*g - 2375, -6*v + 3*v - 2*g + 3595 = 0. Is v composite?
True
Let z be (-78)/(-24) + (-1)/4. Suppose -s + 22 = -4*r, z*s + 7 = -4*r - 7. Suppose 38 = 3*p + 2*h - 30, -s*p + 72 = -4*h. Is p prime?
False
Suppose 4*w = 5*i + 225, -5*i = 4 + 1. Is w composite?
True
Suppose 6*p = 8*p - 70. Is p prime?
False
Suppose 8 = -2*m + 4*m. Let a be -1 + 17 + (4 - 2). Is m/a + 1587/27 prime?
True
Suppose -2*g + 5*g + 42 = 4*t, 2*g = 3*t - 31. Let o(s) = s**3 - 8*s**2 + 5*s + 1. Is o(t) composite?
False
Let u = 5 - 3. Is 151 + 4/(u/(-1)) a prime number?
True
Is ((-381)/12)/(2/(-24)) a composite number?
True
Let y(w) = w**2 - 8*w - 5. Let p be y(6). Let f = -7 - p. Is f a composite number?
True
Suppose 0 = -2*o + 3*o + 38. Let k = o + 63. Is k a prime number?
False
Let z(l) = -9*l**2 + l - 4. Let c be z(-3). Let j = c + 137. Is j composite?
True
Let i = 385 + 656. Is i a prime number?
False
Let x(w) = 2*w**2 - 11*w - 11. Suppose 10*s = -2*p + 5*s, -2*s = 8. Is x(p) a composite number?
False
Suppose p = -p + 400. Suppose -116 = -4*b + p. Is b a prime number?
True
Let z = -83 - -172