t + 12992 = 178. Is t composite?
True
Suppose 26 = a - 0*d + 3*d, -2*a + d + 24 = 0. Suppose 476 = 18*r - a*r. Is r a composite number?
True
Suppose 2*b - 6 = -2*r + 3*b, 10 = 5*b. Suppose 2*g = -5*o - g + 156, r*g = -5*o + 153. Let a = 2 + o. Is a a prime number?
False
Suppose 0 = a - 2*a + 5*r + 4976, 2*a = r + 9943. Is a a prime number?
False
Let x(u) = -8 + 0*u - 4 - u. Let o be x(-13). Is (103 - o)*1/2 a composite number?
True
Suppose 5*s - r - 200 = 0, 0 = 5*s - 0*r - 3*r - 200. Let k be (0 - 8)*(-4)/2. Is (-5)/s - (-354)/k a composite number?
True
Suppose -7*f = -4*f - 5*b - 410, 5*b - 535 = -4*f. Suppose 0 = w + 4*w + f. Let j = w - -228. Is j prime?
False
Suppose r - 707 = -4*b, -44*r + 3459 = -39*r + b. Is r prime?
True
Let m be 7 + ((-42)/(-6))/(-7). Let b(v) = 575*v - 1. Let u be b(1). Suppose -3*c = p - m*c - u, 556 = p + 3*c. Is p composite?
True
Suppose -w = 4*w - 5*k - 50, -2*k + 5 = 3*w. Suppose 2*z - w*p - 22 = 0, 2*z - 4*p + 9 - 27 = 0. Is z/(-3)*-3*49 a prime number?
False
Suppose 4*q + 380 = 2*i, -4*i + q + 769 = -4*q. Let g = i - 119. Is g a prime number?
False
Let n = 3366 + -2279. Is n a composite number?
False
Suppose -5*r = -10 + 45. Let l(f) = -2*f**3 - 7*f**2 + 7*f + 7. Is l(r) prime?
False
Let v(z) = z**3 - 2*z**2 - 2*z - 1. Let t be v(2). Is (0 + -86)/(4 - (t - -11)) composite?
False
Suppose -4*q + 5*q = 5. Suppose -11*i = -q*i - 3246. Is i a composite number?
False
Let c(k) be the second derivative of 13*k**5/20 + k**4/12 + 2*k**3/3 + k**2/2 + 6*k. Is c(3) composite?
False
Suppose 0 = -3*n - 11708 + 28589. Is n a prime number?
False
Let o(q) = 84*q**3 - 1. Let m be o(1). Let c be (m/(-2))/((-2)/12). Suppose -c = -2*d - d. Is d a prime number?
True
Is 1 + (-5815)/(-15) + (-12)/(-36) composite?
False
Let x(o) = o**2 - 3*o - 5. Let l be x(5). Suppose 3*n = 5*q + 29, l*n + 2*q = 3 + 4. Suppose 1250 = n*v - 5*h, 0*h = 3*h + 3. Is v a prime number?
False
Let s = -390 + 749. Let k = s + 2144. Is k a prime number?
True
Let t = -183 - -9412. Is t prime?
False
Suppose 0 = -9*c + 11*c - 10. Suppose a + 24 = c*a. Is (17/(-4))/(a/(-168)) prime?
False
Let m(q) = q**2 + 3*q - 5. Let u be m(-5). Suppose 3*f - 110 = -u*s + 289, s = -5*f + 665. Let a = f + -56. Is a a composite number?
True
Let k(a) = -2264*a + 1. Let j be k(-1). Let h = -1220 + j. Suppose 5*t = 5*s + h, -3*t + 48 = 5*s - 595. Is t a composite number?
False
Let w be ((-69)/(-2))/(21/(-280)). Let m = -101 - w. Is m prime?
True
Let c be -3 + (-8)/(40/(-15)). Suppose 5*u + 3*i - 491 = 0, -i = 3*u - c*i - 293. Is u composite?
False
Let a be -723 + (0 - 2) + -1. Is a/(-2)*(-8)/(-24) prime?
False
Let f = 36 - 25. Suppose f*z - 248 = 3*z. Is z prime?
True
Suppose -2*p + 6*p + 72 = 0. Let t = -14 - p. Suppose -t*l - 4*q = -284 - 600, -4*l + q + 864 = 0. Is l prime?
False
Let j(p) = 2*p**2 + 5*p - 12. Let u be j(6). Suppose 0 = -5*y - 0*y - 220. Let f = y + u. Is f prime?
False
Let l(t) = 16*t**3 + 3*t**2 - 1. Let y(k) = k**3 - 10*k**2 + 9*k - 2. Let p be y(9). Let u be (4 - 4) + p + 4. Is l(u) composite?
False
Suppose -u + 15 = -3. Suppose 13*f - u*f = -1475. Is f a composite number?
True
Let g = 1011 + -3105. Let f = g - -3195. Is f a prime number?
False
Suppose -5*k + 5 = -q + 4, 0 = -4*k - 12. Let i = q + 18. Suppose 0 = -5*z + 3*j + 751, -i*z - 4*j + 3*j = -296. Is z composite?
False
Let i(n) = -2*n**2 - 11*n + 6. Let f be i(-5). Let x = -14 + 6. Let h = f - x. Is h prime?
True
Let h be ((-1)/2)/((-11)/66). Suppose h*x + 6*x - 11547 = 0. Is x a prime number?
True
Suppose -849671 = -46*f - 37*f. Is f a composite number?
True
Suppose 2*k = -k + 12. Suppose 5*g - k*g = -t + 262, 0 = 4*g - 4*t - 1040. Suppose 49 = 2*h - g. Is h a composite number?
True
Let i = 15 - 15. Let o = 332 - -53. Suppose 5*j - 25 = i, 0*r - o = -4*r - j. Is r a prime number?
False
Suppose 21 = 3*s + 4*s. Suppose -955 = 2*p + k, 2*p - 2382 = 7*p - s*k. Let j = p + 694. Is j a prime number?
False
Let b(z) = 1. Let j(m) = -m + 196. Let t(k) = -5*b(k) + j(k). Suppose 5*i = 3*r, -3*i = -i. Is t(r) a prime number?
True
Suppose -2*z + 4*s + 2786 = 0, -5*z - 3*s = 2*s - 7040. Is z composite?
True
Let r(k) be the first derivative of -15*k**4/2 + k**3/3 - k**2/2 + 5*k - 3. Is r(-4) prime?
False
Let k(y) = 16*y**2 + 2*y + 5. Let z(v) = v. Let x(q) = k(q) + 5*z(q). Is x(6) prime?
False
Suppose -2*o + 53 = -2*w - 1521, -3*w + 787 = o. Is o a prime number?
True
Let w = 28 + -31. Let g(v) = 2*v + 9. Let r be g(w). Suppose 4*s + 4*j - 880 = 0, -r*s + 664 = -4*j + 3*j. Is s prime?
False
Let i(w) = 2*w**2 - 12*w + 27. Let j be i(-12). Suppose 2*o - 2*p = j + 335, -5*o + 1957 = 2*p. Is o prime?
False
Let i be 16/(-56) - (-16)/7. Suppose 0 = -i*z + 5 + 3. Suppose 5*a - y = 4*a + 1650, z*y = -5*a + 8295. Is a prime?
False
Let o = 155 + 6884. Is o a prime number?
True
Suppose 0*o = -3*o + 12. Suppose 5 + o = 3*u. Suppose 900 = 4*q - 4*d, -q - u*d + 197 = -20. Is q a composite number?
False
Let i(q) be the first derivative of 3*q**4/4 + 2*q**3 + q**2 + 6*q - 8. Let n be i(-4). Let d = n + 241. Is d a prime number?
False
Let l(n) = -8*n**3 + 4*n**2 + 3*n + 10. Let t(k) = -25*k**3 + 12*k**2 + 9*k + 29. Let h(m) = -8*l(m) + 3*t(m). Is h(-3) prime?
True
Suppose -87*o + 17833 = -86*o. Is o prime?
False
Let x be (-1 - -113) + -3 + 4. Suppose -4*o = n + 118, -o - 2*n = -5*n + 36. Let s = o + x. Is s prime?
True
Let v = -14954 - -63111. Is v a prime number?
True
Suppose -13*z = 14*z - 152253. Is z prime?
True
Suppose 56*o - 13167625 = -3624609. Is o a composite number?
True
Let j(r) = 94*r**2 - 27*r - 2. Is j(9) a composite number?
False
Suppose -l = 3*s + 2364 - 11470, -3*l = 5*s - 27322. Is l a composite number?
False
Let z(x) = -25*x**2 - 3*x + 6. Let r(g) = 25*g**2 + 2*g - 5. Let v(m) = 5*r(m) + 4*z(m). Let o = 216 - 214. Is v(o) composite?
True
Let t = 17172 + -8045. Is t prime?
True
Is (8654/6)/(-1 + (-4)/(-3)) prime?
True
Is (-20)/(-110) + (-25318)/(-22) prime?
True
Let c(a) = 8*a + 18 + 7*a - 15 + a**2. Is c(-17) a composite number?
False
Let n(p) = -p**2 + 3*p + 20. Let u be n(6). Suppose 237 = 5*c - u*c. Is c a prime number?
True
Let c(f) = -42 - 29*f - 223*f + 57*f - 1. Is c(-4) prime?
False
Let c be (-1 - 5/(-2))*(-8)/(-6). Let n(m) = m**2 + 8*m + 4. Let w be n(-8). Suppose w*f - 3*o = 2134, -5*f - c*o - 819 = -3498. Is f a prime number?
False
Suppose -4*r + 7*r - 9 = 0, 0 = a + 2*r - 460. Is a a prime number?
False
Let j be -2*((-38)/(-4) - 3). Let p = -2 - j. Is p composite?
False
Let y = 140 - 82. Let a = -1 - -114. Let j = a - y. Is j composite?
True
Let d = 340 - -151. Is d prime?
True
Let i(q) = -13*q**3 + 10*q**2 + 19*q + 85. Is i(-5) prime?
False
Let p be 3/6 + (-15)/(-6). Let y be 0/p + -1 + 4. Suppose i + y*v + 18 - 98 = 0, 9 = -3*v. Is i composite?
False
Suppose -728 - 20257 = -5*k - 2*x, -5*x = 0. Is k composite?
True
Let c(m) = -13*m**2 - 4*m - 2. Let f(w) = -w + 8. Let l be f(14). Let a(b) = -12*b**2 - 4*b - 1. Let o(n) = l*a(n) + 5*c(n). Is o(3) a prime number?
True
Suppose 0 = 5*n - 0*f + 3*f + 17, 5*n + 24 = 4*f. Is (-6)/n*(-2454)/(-9) prime?
True
Suppose 0 = -4*p + l + 3504, -l + 311 = -3*p + 2938. Is p composite?
False
Let j be 50/(-14) - (-18)/(-42). Is j + (3 - -4) - -704 composite?
True
Suppose i - 20 = -4*t, 5*i + 5*t - 23 - 2 = 0. Let n be 3 + 36/(i - -2). Is 226/6 - 14/n a composite number?
False
Let j be -3 - 20/(10/(-2)). Let s(d) = 379*d - 1. Let t be s(j). Let l = 1025 - t. Is l composite?
False
Suppose 22*t = 436158 - 10040. Is t a prime number?
False
Suppose -3*a = 5*p - 24816, -4*a + 5*p - 4*p + 33065 = 0. Is a prime?
False
Let h(i) = -17299*i - 294. Is h(-7) prime?
False
Let r(a) = 7*a**2 - 19*a - 18. Let q(w) = -6*w**2 + 18*w + 17. Let c(i) = -6*q(i) - 5*r(i). Let n be c(14). Is n/(-5) + 1985/25 a prime number?
True
Suppose -2*h + 2*r + 14000 = 0, -h + 2*r - 34979 = -6*h. Is h a prime number?
True
Let b be -1*3 + 378/7. Suppose -b*m + 1713 = -48*m. Is m a composite number?
False
Let i = -502 - -948. Suppose -2*g = 2*k + g - 877, k - g - i = 0. Is k composite?
False
Let t(b) = 36*b**2 + 3*b**3 + 12*b - 5*b**3 - 17 - 17*b**2 - 15*b**2. Is t(-13) a composite number?
True
Suppose 0 = 3*l - v - 51871, 0 = 4*l - 0*v + v - 69166. Is l composite?
False
Let h(k) = -7*k**2 + 6*k + 37. Le