+ (3936 - d) a composite number?
True
Let d = -9790 + -2281. Let h = -8614 - d. Is h a composite number?
False
Suppose -7*x - 4*w = -9*x + 164906, -x + 5*w = -82447. Is x prime?
True
Let t be 12 - 1 - (7 - 1). Suppose -3*c - 2*c + 33925 = -2*l, -l + t = 0. Is c prime?
False
Suppose 2*f + 3*m - 101919 = 64274, -m = 3. Is f composite?
False
Let y(l) be the first derivative of 92*l**3/3 - 3*l - 66. Is y(-2) composite?
True
Let o(u) = u**3 + 7*u**2 + 6*u + 2. Let g be o(-6). Suppose -2*x = -0*a + g*a - 2484, -1258 = -x + 3*a. Suppose -135 = k - x. Is k prime?
False
Let h(i) = 32*i**2 + 47*i - 38. Let b(f) = -21*f**2 - 31*f + 25. Let a(z) = -8*b(z) - 5*h(z). Let q be a(6). Suppose -k + 5*k = q. Is k a prime number?
True
Suppose -178817 = -7*n + 226212 - 49086. Is n a prime number?
True
Let y(k) = -4168*k**3 + k**2 + 4*k + 4. Suppose g = 3*s + 8, -4*s + 2 = g + 1. Is y(s) a composite number?
True
Let u = -52 - -57. Suppose -4*d = z - d - 116, -3*z - u*d = -368. Is z a composite number?
False
Let f = -918 + -472. Let c = 8671 - f. Is c a prime number?
True
Suppose 0*f - 15*f + 1605 = 0. Suppose -f*d + 14718 = -101*d. Is d composite?
True
Let f(x) be the second derivative of 10319*x**4/12 + 11*x**3/6 - 11*x**2/2 - 70*x. Is f(1) composite?
True
Suppose -28*s - 56203 = -65*s. Let w = s - 884. Is w prime?
False
Is (-4)/5 + 154166135/1325 composite?
False
Suppose -46*x + 42*x + 17 = n, 0 = 5*x - 2*n - 5. Let u be 2/(-8) - 326667/(-12). Suppose u - 5497 = 4*l + 3*p, -16320 = -x*l + 3*p. Is l a composite number?
True
Let n be 0/(0/(-5) + -2 - 0). Suppose n = 7*a + 1957 - 10098. Is a composite?
False
Let c = 237494 - 55891. Is c composite?
False
Suppose 22*z = 25*z - 24. Let t(l) = -l**3 + 8*l**2 + 9*l - 7. Let i be t(z). Suppose i = h - 122. Is h a composite number?
True
Suppose -4*i - 5*h - 348 = 0, h = 4*i - i + 280. Let w = 83 + i. Is (-18132)/(-8)*(-6)/w a composite number?
False
Let z(n) = n + 7. Let k be z(-6). Let m be 32/(-16) + 54 + k. Suppose -8*i + 205 = m. Is i composite?
False
Suppose 3*c = -3*c + c. Suppose -3*s + c*m + 2*m - 4 = 0, 0 = -5*s + m - 2. Suppose s = g + 4*g - 6585. Is g composite?
True
Let o be (2/6)/(6/(-36)*1). Let v be (o - (-2)/3)*(-66)/(-4). Is v*(47/(-14) - (-8)/(-56)) prime?
False
Let d(u) = -u**3 + 10*u**2 + 25*u - 4. Let m be d(11). Let r = 272 - m. Let z = 176 + r. Is z composite?
True
Let r(d) be the first derivative of -d**4/4 + 5*d**3/3 + 9*d**2 + 9*d + 3. Let n be r(7). Suppose -n = -4*j - 9. Is j a composite number?
False
Suppose 4*w - 70804 - 38256 = 0. Suppose 4*u - 6*g - w = -g, -g + 6823 = u. Suppose 0 = -5*c - 5*k + u, -4*c = -8*c + 5*k + 5429. Is c a composite number?
False
Let n = 238 + -251. Is (-26236)/(-6) - n/39 composite?
False
Let g(h) = h**2 - 6*h - 3. Let u = 88 + -92. Let d be g(u). Suppose 4*o - 215 = 3*w, -w - d = -3*o + 123. Is o composite?
False
Let r(y) = y**2 - 10*y + 1. Let l be r(3). Is 2*(2/(l/(-29585)) - -3) a prime number?
True
Suppose 3*c = -5*c + 40. Suppose c*q + 32 = 2*z, -3*z - 4*q + 30 - 5 = 0. Suppose 2260 = 15*o - z*o. Is o composite?
True
Suppose 5*q + 15 = 5*h, -h - 9 = 4*q - 2. Is (46731 - -3)*(-1)/q composite?
True
Let q be -1 + (6 - 2) + 168. Suppose -10*d - 4*l + 748 = -6*d, -q = -d - 5*l. Is d a prime number?
True
Suppose 0 = 9*i + 95 - 23. Let k(p) be the third derivative of -197*p**4/24 - 13*p**3/2 + 9*p**2. Is k(i) composite?
True
Let t(r) = 43*r**2 - 64*r - 865. Is t(-24) a composite number?
False
Suppose 2795 = 9*g - 3973. Let o = g + -1231. Let l = 1128 + o. Is l a composite number?
True
Suppose -28304 = -8*p + 5176. Is ((-1)/(-2))/(p/4182 - 1) composite?
True
Suppose y + 7 = 5*f, 4 = 5*f - 4*y + 2*y. Let z be ((8/f)/(-2))/(-2) - -12. Suppose -z*h - 10095 = -18*h. Is h prime?
False
Let h = 152453 + -68622. Is h a prime number?
False
Is (-78)/(-130) + 5/(150/28500792) a prime number?
False
Let d be 18696501/117 - (4/26)/1. Suppose -n + 3*g + 0*g + 31951 = 0, 7*g - d = -5*n. Is n prime?
True
Let f(o) = 5570*o**3 + 14*o**2 - 53*o + 16. Is f(3) composite?
False
Suppose 4*k = 5*k - 758. Suppose -k = 11*d + 3147. Let v = d - -1274. Is v prime?
True
Suppose -6*s + 3 = -3. Let v be s/(-1 - -2) - -4. Suppose v*d - 2*u = 2485, 10*u = -2*d + 5*u + 1023. Is d a prime number?
True
Suppose 2*p = -4*i - 54964, 2*p + 43923 + 10996 = 5*i. Let a = 46311 + p. Is a a prime number?
True
Suppose j - 23247 = -11*m + 8*m, -2*m = -4*j - 15526. Is m a prime number?
False
Let r(j) = 26*j - 13. Let s be 61/(-7) - -9 - 278/(-7). Is r(s) prime?
False
Let o(z) = -3*z**2 + 74*z + 1. Let x be o(25). Is 58967/10 + x/(-80) composite?
False
Let r(l) = 4*l**2 - 26*l - 13. Let m be r(6). Is 1777 + -15*10/m a prime number?
True
Suppose -2*b - 3*f + 50041 = 0, 0 = -7*b + 4*b - 2*f + 75059. Is b a prime number?
False
Suppose 5*c - 2*i + 4020 = 0, 0 = -5*c + 5*i + 5 - 4010. Let f = 1373 - c. Is f prime?
True
Let v = 17527 - 10091. Let a = v - 4407. Suppose 5*g = -4*q + a, 2*g + 2243 = -0*q + 3*q. Is q composite?
False
Let n = -14 + 13. Let t be 0 + -1 + n/(-1). Suppose 0 = -2*w - 10, -3*j + t*j + 5*w + 5347 = 0. Is j a prime number?
False
Let q be -3 - (-4)/((-4)/85). Let b = q + 90. Is 212 - (3 + b)/5 a prime number?
True
Suppose -3*q - 2*q + 2*q = -527649. Is q composite?
True
Let x(u) = 3450*u**3 + 7*u**2 - 44*u + 79. Is x(2) prime?
False
Suppose -22597 = -12*f + 11219. Suppose -13*d + f + 4371 = 0. Is d prime?
False
Suppose 16*s - 11*s + 79474 = 3*y, -y = 3*s - 26468. Is y composite?
True
Let n(r) = 5*r**2 - 22*r - 7. Let h be n(5). Is 25836/18*12/h a prime number?
True
Let i(t) = -2*t**3 + 33*t**2 - 14*t + 17. Let w be i(16). Let z(k) = -9 + w*k**2 - k - 12*k + 0*k - 5*k. Is z(-8) a prime number?
True
Suppose 3*k - 24 = 2*q, 4*q - 4*k + 12 = -7*k. Is (-9 - q)*33412/(-12) composite?
False
Suppose -16*r = -19*r - 7*n + 28554, -4*r + 38035 = -3*n. Is r a composite number?
False
Let t(r) = 1040*r**2 + 12*r - 50. Is t(3) a prime number?
False
Suppose i - 56 = -d, 0 = 3*d - 3*i + 2*i - 156. Let x = 56 - d. Suppose 2*u + x*a = 1481, 2*u - 4*a - 1958 + 456 = 0. Is u a composite number?
True
Let d(o) = 3*o - 9. Let a be d(5). Let j(m) = 56*m + 39. Let n be j(5). Suppose a*u - 3755 = n. Is u a composite number?
True
Let r = 10487 - -4474. Is r a prime number?
False
Let b(x) = 5*x**3 - 3*x**2 + 26*x - 3. Let m(c) = -6*c**3 + 2*c**2 - 27*c + 2. Let s(l) = -3*b(l) - 2*m(l). Is s(-11) prime?
False
Let f = -379645 + 575641. Suppose 15*g = 3*g + f. Is g a prime number?
True
Let l = 1854 + 62677. Is l a prime number?
False
Let s(b) = 540255*b - 262. Is s(1) composite?
False
Let w = 188 - 40. Suppose 0 = -2*h - w + 7338. Is h prime?
False
Suppose 508700 + 199704 = 4*r - 3*m, -354202 = -2*r + 5*m. Is r composite?
False
Let c = 445 - 446. Let i(a) = -273*a + 26. Is i(c) a composite number?
True
Let s be (-50)/(-20) + 3/(-2). Let u be s + 4/6 + (-8)/(-24). Suppose 5*v + 0*v + u*m - 1455 = 0, 596 = 2*v - 2*m. Is v composite?
False
Suppose 0 = -106*h + 28217260 - 6042378. Is h a prime number?
False
Let j(b) = -1937*b + 322. Is j(-5) a composite number?
False
Let j(m) = 71094*m + 505. Is j(7) a prime number?
True
Let y be (230/(-3))/(3 + 110/(-30)). Suppose -102*s = -y*s + 101153. Is s prime?
False
Suppose -16*d = 21*d + 2220. Is 40453/3*(-180)/d a prime number?
False
Let v(d) = -106*d - 1 + 285*d**2 - 105*d + 320*d - 106*d. Is v(-4) a composite number?
False
Let r be (-2)/(-12)*(108 + -42). Suppose -r*m + 8*m + t + 27252 = 0, 0 = 2*m - 3*t - 18175. Is m prime?
False
Is ((-1903804)/(-21))/(((-110)/(-275))/(3/10)) a prime number?
True
Is 21422/(-10)*-35*(-10)/(-70) - -2 a prime number?
False
Suppose -3*p + 4*m + 118495 = 0, -11*m - 39473 = -p - 16*m. Is p prime?
False
Let c be 2/(-10) - 8/10. Let z be (172/(-6))/(c/63). Suppose -f + u + 1800 = f, -2*f + 4*u + z = 0. Is f a prime number?
False
Suppose 0 = 4*h + 5*b, 8*h - 5*h + b = 0. Suppose h = 34*u - 30*u - 2228. Is u prime?
True
Suppose -5*d = -3*m + 187, 3*m - 236 = -m + 4*d. Suppose -3*v - w = -363, -2*v + 2*w = 3*v - 605. Let y = v - m. Is y prime?
True
Let f be 9/(-21) + -1 + 3/7. Let n(g) = -40*g**3 + g**2 - 2*g - 3. Let k be n(3). Is (-2 - f)/(k/(-1082) - 1) composite?
False
Suppose -5*r - 3 = -2*r, -4*r = 4*h + 446484. Is -2*h/8*(-5)/(-25) composite?
False
Suppose 