335*5/(-18 - -3). Suppose -k = -4*w - 17577. Is w prime?
True
Suppose 0 = 11*y - 17*y + 18. Is (1 - y)/(-2) - -2480 a composite number?
True
Let v = 3217 + -4541. Let o = -645 - v. Is o a composite number?
True
Let o(d) = 150 - 12 + 19 - 258*d. Is o(-22) prime?
False
Suppose 4*s = 4*d + 8561 - 2381, 4*d = 3*s - 6176. Let q = d + 4584. Is q composite?
True
Suppose 0 = 3*r + 3*m + 6, -4*r = -3*m - 1 - 19. Suppose -3*z - r*o + 58977 = 0, -36*o + 32*o = 2*z - 39310. Is z a prime number?
True
Suppose 3*p - 3*m - 45 = 0, -5*p + 8*m + 60 = 6*m. Is (-54)/p + 5 - (-4197)/5 composite?
False
Suppose 10 = -c + 6*c - 5*j, -c - 3*j + 2 = 0. Suppose -4*f + 2*f - c*r + 312 = 0, 5*r - 10 = 0. Suppose 3*d = 6*b - 4*b + 215, -4*b - f = -2*d. Is d prime?
False
Let h = 39 + -36. Suppose -3*j + h = 0, -40 = -4*r - j + 5*j. Let o = 254 + r. Is o a prime number?
False
Let t(y) = y**2 - 5*y + 4. Let n be t(4). Suppose -2*b + f + 4*f + 274 = 0, -2*b + 3*f = -270. Suppose g - 259 - b = n. Is g a composite number?
True
Let a be (-56)/32 + 1/(-4) - -13. Let d(l) = -a + 3 + 18*l + 21. Is d(7) a composite number?
False
Let g be (-9 - -18)*1/(6/4). Let a(v) be the first derivative of -v**4/4 + 4*v**3/3 + 9*v**2 + v - 37. Is a(g) composite?
False
Suppose -1241 = 2*d + 1349. Let c = d + 5284. Is c composite?
False
Let z(y) = -5*y**2 + 32*y + 14. Let c be z(-13). Let f = c - -2832. Is f prime?
False
Let w = -28356 + 52487. Is w composite?
True
Let w be -4*(3/(-12) - 3/4). Suppose -2*a = 2*c - 2740, -2*c + 4107 = w*a - a. Is a prime?
True
Suppose j = 4*o - 2780, -5*o = -2*j - 347 - 3131. Is o composite?
True
Is ((-26090 - 5 - 2) + 4)/(-1) composite?
True
Let y = 1337808 + -894769. Is y composite?
False
Suppose 3*m - 6 = 0, 5*q = 4*q + 3*m + 149. Suppose h - 6*h + q = 0. Is h prime?
True
Let o be (18/(-4))/((-8)/16). Let r = 176 + -164. Suppose o*y - r = 15045. Is y composite?
True
Let q = 260101 + -113028. Is q prime?
True
Is (-241240140)/(-1485) + (-3)/11 a composite number?
False
Suppose -2*r - 2*r - 4 = 0, -4*r + 149026 = 2*b. Suppose -8*n = -3*n - b. Is n prime?
False
Suppose 7*r - 44972 = 5*k, 13*r + k - 19258 = 10*r. Is r prime?
True
Let h(y) = 5*y + 10. Let k be h(0). Let d(c) = c**2 - 6*c - 26. Let v be d(k). Suppose 0 = -v*t + 3*t + 979. Is t a composite number?
False
Let s(b) = -b**3 - 21*b**2 + 26*b - 16. Let q be s(-22). Let n = 27 - q. Let d = 222 + n. Is d a prime number?
True
Let r be 30/12*4/5 + -3057. Let h = r - -5376. Is h a prime number?
False
Suppose 13*k - 3*k - 24390 = 0. Suppose 2*v = 3*p - 3655, -4*p - k = -6*p - v. Is p a composite number?
True
Suppose -5*n - 479695 = -5*m, -449*n + 287865 = 3*m - 446*n. Is m prime?
True
Let v(g) = -2463*g + 8 - 2038*g - 2433*g + 1. Is v(-10) composite?
True
Suppose 0 = -47*b + 7933238 + 202086 + 18597289. Is b prime?
False
Let k be 2/4 - (-85)/34. Suppose 0 = -k*n + 2*l + 12601, 12*l - 16*l = 5*n - 21009. Is n a composite number?
False
Let k(u) = -u**3 + 10*u**2 + 12*u - 9. Let h be k(11). Suppose h*a = -a. Suppose a = 2*z + 2*z - 172. Is z a composite number?
False
Let y(u) = -1137*u**2 - 12 + 14 + 13896*u**2. Let t be y(-1). Suppose 6*m - t = -m. Is m prime?
True
Let r(b) be the second derivative of 323*b**3/6 - 3*b**2 - 2*b. Suppose -t + 51 = 50. Is r(t) composite?
False
Suppose -2*f + 3*h + 67393 = -16110, -2*f + 5*h = -83501. Suppose f + 19525 = 6*w. Is w a composite number?
True
Suppose 5*x - 5166 = -156. Suppose 5*k + x = o, -6 - 2 = -4*k. Let b = -429 + o. Is b prime?
False
Let c(s) = -3460*s - 23. Let n be c(-3). Let y = n + -3716. Is y a composite number?
True
Let p be 1464 - ((-3)/(-5 - -6) + -1). Suppose j = 12195 - p. Is j prime?
False
Suppose -4*d - 5*j + 450596 = 0, -5*d - 247*j + 563245 = -243*j. Is d composite?
True
Suppose -48*n + 44*n - 109828 = -3*u - u, n = 0. Is u composite?
False
Suppose -31 = -k + 5*z, -5*k + 2*k = -z - 23. Let h = 4222 + 400. Is k/27 - h/(-18) a composite number?
False
Suppose -159*r + 3352582 = 998905. Is r a composite number?
True
Let a(q) = q**3 + 5*q**2 - 5*q. Let d be a(-5). Let z be 10/d + 9032/20. Is (45/6 + -4)/(2/z) prime?
False
Let p(k) = 3*k**3 + 24*k**2 + 151*k + 69. Is p(29) composite?
True
Let i(v) = -6*v + 4*v + v**3 + v**2 + 2 - 2*v**3. Let k be i(1). Suppose 5*z - 258 - 212 = k. Is z a prime number?
False
Let j be (-3)/(7/(-2) - -2). Let a be 5 - 2 - 0 - j. Is a - 4/6 - (-13978)/87 prime?
False
Let o = -76968 + 128731. Is o composite?
True
Let x(f) = -943*f + 104. Let k(v) = 630*v - 68. Let w(j) = 8*k(j) + 5*x(j). Suppose -y - 22 = -2*b + y, -3*b - y = -41. Is w(b) composite?
False
Let c be (47316/9)/(-8 - (-50)/6). Suppose -3*u + c = -8435. Is u a composite number?
False
Suppose 0 = -5*p - 6*d + d + 15, 0 = -5*d. Suppose p*a - 3 = -0, 3*t + 4*a - 1 = 0. Is 655/1 + (3 - t - 0) a composite number?
False
Let k be -6 + (1 - 1) + (-1 - 1). Let b(r) = -97*r + 9. Let h be b(k). Suppose h = -2*f + 7*f. Is f a composite number?
False
Suppose 2*q + 0*q + 30 = 0. Let y be (-81)/q + 1*(-3)/(-5). Is 2/y*-2*2148/(-8) composite?
False
Let r(l) = -l**3 + 7*l**2 - 5*l - 3. Let t be r(6). Suppose -5*i - t = -2*i. Is 12 - (i + (-12)/(-3)) prime?
False
Suppose 105 = 12*g + 9. Let d(z) = 19*z**3 - 3*z**2 - 6 + 11*z - g + 1. Is d(6) a prime number?
True
Let g(c) = 12192*c + 5. Let s = -152 - -153. Is g(s) a prime number?
True
Let h(f) = f**3 - 8*f**2 + 6*f + 12. Let a be h(7). Suppose -4*v - 7 = -a*w - 0, -19 = 4*w + 5*v. Is (11 - -4756)*w/(-3) a prime number?
False
Suppose -44 = 21*k - 22*k - 5*j, 2*k - 3*j - 62 = 0. Suppose -28*t = -k*t + 47406. Is t prime?
True
Suppose -3*u + 22 = -5*s, -46 = -5*u - 4*s + 3*s. Let v be (-1)/(u/168) - (-4)/6. Is ((-3318)/v)/((-12)/(-9) + -1) a prime number?
False
Suppose -5*z = -2*z - 1029. Let k = 987 + -423. Let q = k + z. Is q prime?
True
Let t(u) = u**3 + u**2 - 29*u - 2. Let y be t(5). Suppose y*m - 8 = 5*m, 30392 = 4*w + 3*m. Is w composite?
True
Suppose -74820 - 56471 = -17*f. Is 16/(-4) + f - -2 a composite number?
True
Suppose -2*b + 3*x + 3673 = 0, 0 = 5*b - 23*x + 25*x - 9135. Suppose 4*h = h - 3*u - 3255, -h + u - 1087 = 0. Let j = h + b. Is j a composite number?
False
Suppose -2*p + 17 = -n, p + 4*n + 13 = 4*p. Suppose 0 = -b - p + 213. Suppose b = 3*g - 1301. Is g prime?
False
Suppose -2*q + 12588 = 5*n, 5*n + 556 = 2*q - 12012. Is q a composite number?
True
Suppose -8*l + 47584 = 832. Is (l/10)/(20/50) a prime number?
False
Suppose -x = -2*x. Suppose -5*t + 2*z = -1789, -353 = -x*t - t + 2*z. Suppose -m + 14 + t = 0. Is m a prime number?
True
Let c(u) = 172*u**2 + 41*u + 49. Is c(78) composite?
True
Let u be ((-4)/(-10))/1*-5. Let h(s) = 106*s**2 - 5*s - 3. Is h(u) a prime number?
True
Let i = -3215 + -1215. Let x be (1 - i) + 2 + 4. Is (-1)/(-2) + x/34 a composite number?
False
Let l(z) be the second derivative of 23*z**4/12 - 8*z**3/3 + 7*z**2/2 + 9*z. Let u be l(9). Is u*(1/1 - 2)/(-2) composite?
False
Let p = 77 + -84. Let l(d) = 8*d**2 - 6. Let j be l(p). Is 3 - (j/(-6) + (-1)/(-3)) composite?
False
Let u be 3786/((8/10)/(10/25)). Let l = u + -1109. Let g = l - 137. Is g composite?
False
Let k(j) be the second derivative of -j**5/20 - 5*j**4/4 - 5*j**3/2 - 3*j**2 + j. Let h be k(-14). Let o(f) = 5*f**2 - 22*f + 17. Is o(h) prime?
False
Suppose 5*k - 373492 = -87657. Is k a composite number?
True
Is 60038748/546 - (3 + 152/(-52)) prime?
True
Let n = -343 + 655. Suppose -924 = 6*h + n. Let i = -137 - h. Is i a composite number?
True
Suppose 16 + 2 = 9*t. Suppose -18827 = -x - t*w, 2*w + 591 = -2*x + 38253. Is x composite?
True
Suppose 10*v - 110 = -v. Suppose 0 = -v*h + 9*h + y + 3568, 4*y = -h + 3568. Suppose -5*f - 11*f = -h. Is f prime?
True
Let s(h) = 286*h**3 - 3*h**2 + 5*h - 2. Let i be s(2). Let g = i + -923. Is g composite?
False
Let m(t) = -t**3 + 5*t**2 - 8*t + 3. Let i be m(3). Let f be ((-82)/(i + 1))/(12/420). Let o = f + -716. Is o a prime number?
True
Let w = 1 + -1. Suppose -8*i + 5*i + 12 = w. Let a(m) = 11*m**2 - 3*m - 1. Is a(i) prime?
True
Suppose -76 + 8 = -17*b. Suppose -b*n + 2189 = 865. Is n composite?
False
Let b be (1/2)/((406/(-644))/(-29)). Suppose 3*x - 19*n + b*n - 138601 = 0, -5*x + 230991 = 4*n. Is x prime?
False
Suppose 2*g = -5*j + 51 + 13, 4*j - g = 46. Is (171767/116)/(-1 - (-13)/j) a com