composite?
True
Suppose 5*v + 8 = -o, 2*o + 5*v - 3*v = -32. Is -4 - (2/(-6) - (-16068)/o) prime?
False
Suppose 2*c - 9 - 9 = 0. Let h(k) = c*k + 27 + 4*k - 3*k. Is h(13) a composite number?
False
Let a be 1064 + 2 + -2 + 3. Let r = 147 + a. Suppose -r = -3*l - 155. Is l composite?
False
Let m(g) = -13*g**3 - g**2 + 24*g - 12. Let n be m(-10). Let u = n + -9007. Is u a composite number?
True
Let x = 212 - 406. Let m = x - -381. Is m prime?
False
Suppose -392 = 5*x + j, 3*x - 3*j + j + 243 = 0. Let q = 369 + -237. Let k = x + q. Is k prime?
True
Let i be 8/(1 + 3)*1. Suppose 5*n - i - 8 = 0. Suppose -n*k - 345 = -5*k. Is k prime?
False
Let t(u) = 167*u - 418. Is t(21) prime?
True
Let a(w) = 171*w + 2. Let q be a(3). Let f = 1422 - q. Is f prime?
True
Let s = -4 - -7. Suppose -t + s*t - 1087 = -3*g, t - g - 556 = 0. Is t composite?
True
Let r(c) = 7 - 65*c + 62*c - 1 + 3. Let z be r(3). Suppose z = 3*u + 2*u - 2335. Is u a composite number?
False
Suppose -n - 4*g + 13983 = 0, -7417 - 62423 = -5*n - 5*g. Is n a composite number?
False
Let s = -586 - -319. Let g(y) = -y - 1. Let r be g(-4). Is (s/6 - r)*-2 a composite number?
True
Suppose 4*y - 1 = 7. Suppose y*f = -2*f + 12. Let z(h) = 58*h**2 - h + 2. Is z(f) prime?
True
Suppose 2*h - h - 5*u = 21, 3*u = -9. Let w(d) be the third derivative of -d**5/60 + d**4/2 + d**3/6 + 3*d**2. Is w(h) a composite number?
False
Let l = 48 - 49. Is (-10 + 14 - (-3)/l)*1055 prime?
False
Suppose 10 = 4*q + 34. Let a be (6 + -2)*q/(-8). Suppose x = a*x - 154. Is x composite?
True
Let n(u) = -21*u + 6. Let d(t) = -21*t + 7. Let v(j) = -6*d(j) + 7*n(j). Let a be v(-3). Let i = -37 + a. Is i prime?
False
Let b(l) = 380*l - 131. Is b(18) a prime number?
True
Let m = 15 - 14. Suppose s = -m - 4. Let j = s - -24. Is j a prime number?
True
Is (10 + (-16143)/(-4))/(2/8) a prime number?
True
Let j = -610 + 1151. Is j a prime number?
True
Is 2965/20*(-8)/(-2) a prime number?
True
Suppose -18*m + 11908 = 874. Let f = -994 + 1946. Let z = f - m. Is z composite?
True
Suppose -d = -z - 176, 3*d = d - 4*z + 334. Suppose y = 5*u - d, u - y - 68 = -u. Is u prime?
False
Suppose 4*r - 5*k = -11 + 2, -5*k - 27 = 2*r. Let g be 1*2*r/(-4). Suppose -d = 3*w - 125, -3*d + 431 = g*w + 68. Is d composite?
True
Let q = 123 - -963. Let p be 1 + 3 + q/(-3). Let o = 651 + p. Is o a composite number?
False
Is 1 - (0 - 2048)/1 composite?
True
Let w = -1594 - -3225. Is w a prime number?
False
Let k(g) = g**3 + 9*g**2 + 6*g + 3. Let c be k(-7). Suppose -3*j + 10*x + 263 = 5*x, 298 = 3*j + 2*x. Let f = j - c. Is f a composite number?
False
Suppose 20*t - 68635 = 37905. Is t a composite number?
True
Let k(t) = 27765*t**3 + 3*t**2 - 7*t + 6. Is k(1) a composite number?
False
Let x = 112 + -110. Let p be 0 + 1 - 1114/(-1). Is 6/(-12) + p/x a composite number?
False
Let s(n) = 8*n + 6 + 2*n**2 - 7 - 16*n - 4. Let b be (-2)/((-4)/14)*-1. Is s(b) prime?
True
Suppose 0 = -2*h + 4 - 0. Suppose -3*v + 2*v + h = 0. Suppose v*p = -3*p + 6335. Is p a composite number?
True
Is (-71894)/(-16) - (-45)/(-120) a prime number?
True
Suppose -i = -0*i + 118. Let u(c) = -5*c + 201. Let f be u(0). Let a = i + f. Is a a prime number?
True
Let q be 1/3 + 4571/3. Suppose 27*f - 23*f = q. Is f prime?
False
Let x = 52 + -50. Is -2 + x - (-551 - 2) - 2 a prime number?
False
Let q = 1274 - 141. Is q a composite number?
True
Let m(n) = 73*n**3 - 2*n**2 - 38*n**3 + n - 4 - 29*n**3. Is m(5) a prime number?
True
Suppose 0*v + 6*v = 24. Suppose -k = -v*q + 4767, 2*q - q + 2*k = 1203. Is q a composite number?
False
Let u(i) = -39*i**3 - 3*i + 1. Suppose v = -5*x - 7, -7*x + 3*v - 17 = -3*x. Is u(x) composite?
True
Let r(x) = x**2 - 2*x - 13. Let m be r(5). Suppose -4*l = 2*o - 2658, m*l - 5*o + 0*o - 1359 = 0. Is l a composite number?
True
Suppose 12 = -3*j + 3, 3*v = 3*j + 24000. Is v prime?
False
Is (-4 + 2)*29259/(-18) composite?
False
Let h(u) = 43*u + 4. Suppose -p + 2*w = 5, 0 = -3*p + p - 2*w + 14. Is h(p) a composite number?
True
Suppose 0 = -53*f + 19*f + 79390. Is f composite?
True
Let g = -3429 + -1884. Let l = -140 - g. Is l a prime number?
False
Let b be 2093/(-2) + (66/(-12) - -6). Let x = -373 - b. Is x a composite number?
False
Let w = -44 + 40. Is w/6 + (-1905)/(-9) a composite number?
False
Suppose -9074 = -7*t - 1017. Is t a composite number?
False
Is 0 - -1 - 0 - -540 a composite number?
False
Let t(j) = 51*j**2 + j - 55. Is t(-7) composite?
False
Let u(n) = -4 + 3*n**3 + 2*n**2 + 3*n + 2 - 5. Let d be u(3). Suppose -3*s - 5*h = 2*s - 555, s - d = 4*h. Is s a composite number?
False
Let r = 61 - 64. Is (290/(-6) - 6)/(1/r) a prime number?
True
Let z(n) = n**3 + 3*n**2 - 2*n - 3. Let o be z(-3). Let k(r) = -r**2 + 5*r - 2. Let d be k(o). Suppose 2*i = -g + 150, 3*g - d*g = 4. Is i a prime number?
False
Suppose -5*a = 3 - 8. Suppose -2*u - u = 0. Is (u + a)/(7/2779) a composite number?
False
Let f(h) be the first derivative of h**3/6 + 111*h**2/2 + 5*h + 5. Let t(s) be the first derivative of f(s). Is t(0) a composite number?
True
Let r be 20/(-90) + 30200/(-18). Let u = -2985 + 5616. Let z = r + u. Is z composite?
False
Suppose 3*t + 79 = 5*g + 20, -12 = 4*t. Suppose 0 = -k + 3*z + g, 5*k + 3*z - 5 - 9 = 0. Suppose k*c + 28 - 248 = 0. Is c prime?
False
Let s = 4015 - -4776. Is s a prime number?
False
Let a(k) be the second derivative of 3*k**5/4 + k**4/6 + 4*k**3/3 - 13*k**2/2 - 21*k. Is a(4) prime?
False
Suppose -27*a + 32*a = 4*i + 19165, -4*a = -4*i - 15332. Is a a composite number?
False
Suppose 115 = 2*c + 3*c. Let m(u) = -56*u + 72. Let g be m(-4). Let w = g + c. Is w a composite number?
True
Let u(z) = -244*z - 83. Is u(-16) composite?
False
Let f be 4089/((-297)/(-252) - 6/14). Suppose v - 2*c = 1365, -4*v + 0*c + 4*c = -f. Is v a prime number?
True
Let t = -101 + 100. Let m(r) = -141*r**3 - r**2 - 2*r - 1. Is m(t) prime?
False
Suppose -3*m + 2*h + 516 = 0, -3*h + 88 + 243 = 2*m. Let x = -1 + 1. Suppose x = 2*o - m - 84. Is o prime?
True
Suppose -2*o - 3*o = -20. Suppose 3988 = 4*q - o*r, 0*r = r - 1. Suppose 0 = c + c - q. Is c a prime number?
True
Suppose 3*q - 2*c + 17 = 0, -2*q + 4*c = -12 + 34. Suppose 6538 = 4*k - 3202. Is k/(-2)*(-5 - q) a prime number?
False
Let f(j) = 2*j**3 - j**2 - j - 4. Let o be f(3). Let d be (2 - -8 - -109)/(3/3). Let b = o + d. Is b composite?
False
Suppose 0*j - 2*d - 558 = -2*j, 5*j - 2*d - 1398 = 0. Suppose w = u + j + 47, 2*u = -w - 660. Is (-2)/(-1) - u - -4 a composite number?
True
Let r(q) = q + 6. Let w be r(-12). Is ((-1016)/12)/(w/9) composite?
False
Suppose 12*q + 16*q - 98140 = 0. Is q a prime number?
False
Let a = 879 - 622. Suppose -2 - 8 = -5*y. Suppose -f - y*b + 87 = 0, -5*b + a = 2*f + f. Is f a composite number?
False
Let g(q) = 35*q**2 - 19*q + 43. Is g(-14) prime?
False
Suppose 16*r - 14*r - 6864 = 5*o, -5*r - 4*o = -17193. Let q be (-2904)/10*(-30)/(-4). Let h = q + r. Is h a composite number?
False
Let f(h) = h**3 + 5*h**2 - 6*h + 3. Let g be f(-6). Suppose w - z - 5 = 0, w + 2*z - 2 = g. Suppose -3*y + w*y - 638 = 0. Is y prime?
False
Let l(n) be the first derivative of -29*n**5/120 + n**4/12 - 4*n**3/3 + 3. Let r(j) be the third derivative of l(j). Is r(-3) composite?
False
Suppose 3*j + 158 = -n, 2*n + 10 = -0*n. Let v be (-342)/4 - (-3)/6. Let h = j - v. Is h prime?
False
Let x(p) = -2625*p - 601. Is x(-14) a composite number?
True
Let h(v) = -16*v - 1. Let x be h(1). Let q = -11 - x. Suppose -3*i + 79 = 2*w, 2*i - q*i + 72 = -4*w. Is i composite?
False
Let h be 3/2*(-6)/(-9) - -1. Suppose 0 = -5*d - h*q + 745, -d + 6*d = -4*q + 745. Is d a prime number?
True
Let x be (-3 - (5 - 3))*-110. Let b = -143 + x. Is b prime?
False
Suppose 12*s = 9253 + 2855. Is s prime?
True
Suppose 4*s + 280 = -524. Let p = 524 + s. Is p a composite number?
True
Let n be 4 + (-6)/4*2. Suppose -3*z + n = -710. Is (-2 - 28/(-12))*z prime?
True
Suppose 0 = 2*l + 6 - 2. Let s be (-13 + 3)/(l/(-37)). Let y = s - -342. Is y composite?
False
Let n be 81/(-54)*(0 - -18). Let h = -9 + 13. Let y = h - n. Is y composite?
False
Let v = 48389 + -27358. Is v a prime number?
True
Let c(n) = -3*n - 22. Let p be c(-9). Suppose -p*g = 3*s - 1405, 0*s = s - 3*g - 445. Suppose -5*q = 5*t - s, -87 + 539 = 5*q - 3*t. Is q composite?
Tru