 Suppose x = r - 812. Is r a composite number?
False
Let f(m) be the second derivative of -1/6*m**3 + 1/12*m**4 + 1/20*m**5 + 23*m + 1007/2*m**2 + 0. Is f(0) a composite number?
True
Suppose -3*f = 5*i - 185, 6*i + 35 = f + i. Let z be 216/(-45) - 2/10. Is f/(-20)*2980/z a composite number?
True
Suppose 22*x - 793147 = -305117 + 297656. Is x composite?
True
Suppose 23*a + 2*t = 25*a - 6, 5*t - 13 = -2*a. Suppose 0 = d - 4*d + a*w + 8543, 4*d - 3*w - 11379 = 0. Is d a composite number?
True
Is (-13 - -1) + (-1968236)/(-4) composite?
False
Is (17 - (-175590)/54)/(2/9) a composite number?
True
Let l(s) = 349627*s**2 + 12*s + 12. Is l(-1) prime?
False
Let k(w) be the second derivative of w**5/20 + w**4/12 - w**3/2 - 5*w**2/2 + 15*w. Let r be k(-3). Is 19341/r*(-2)/3 a composite number?
True
Let g(n) = 3*n - 4. Let k be g(16). Let o = k + -46. Is (-6 + 1)/(o/422) prime?
False
Suppose 5*s - 3*p = 283, p - 4*p = 2*s - 109. Let j be 2/2 - (-3 - -14 - 5). Let w = s + j. Is w a prime number?
False
Let z be (-10297)/(-28) - (0 + 1/(-4)). Suppose 371*w = z*w + 3639. Is w prime?
True
Let s(t) = t**3 - 17*t - 2. Let n be s(-4). Suppose 3*d = -5*w + 23653 - 4532, n*w + 3*d - 7643 = 0. Is w a prime number?
False
Let q = 37008 + 43613. Is q a composite number?
False
Suppose t + 12201056 = 33*t. Is t a composite number?
True
Suppose 2*x - 35501 - 20626 = -h, -5*h - 5*x + 280675 = 0. Is h a composite number?
True
Let m(b) = 21440*b**3 - 2*b - 2. Let g be m(-1). Let d = 58 - 37. Is 6/d - (-1 + g/28) prime?
False
Suppose x + 2*y - 952803 = 0, 0 = -x + 3*y + 757685 + 195083. Is x a prime number?
True
Let t = -19596 - -50335. Is t a composite number?
True
Suppose -5*v + r = -0*v - 5324, -v + 5*r + 1084 = 0. Suppose -12*y + 20*y = v. Is y a composite number?
True
Is (-8)/2 + 396*599 + (-30)/(-6) a composite number?
True
Is 1710136/40 - 4/(40/(-6)) composite?
True
Let q(w) = 16473*w**2 - 43*w + 79. Is q(2) prime?
False
Suppose -67*y = -63*y - 255296. Suppose 11*h = 27*h - y. Is h a composite number?
False
Let j be (6/10 - (-149370)/(-75)) + -3. Let p = -1006 - j. Suppose -u + 5*m = -0*u - 306, 3*u - m = p. Is u composite?
False
Suppose 5*f - 54238 = -4*k, 5*k - 122*f + 125*f = 67817. Is k a composite number?
False
Let r = -396221 + 567244. Is r prime?
True
Suppose -4*l = -60*w + 61*w + 12, 0 = 3*l - 3*w + 9. Is 71532/8 - l/(-6) a prime number?
True
Let f(v) = 15*v + 36. Let s be f(-4). Is 1252 + 6/s*-28 a prime number?
True
Let s(v) be the first derivative of 3483*v**2/2 - 112*v - 112. Is s(9) a prime number?
False
Let v(w) = 131*w**3 - w**2 + 7*w + 1. Let o(l) = 261*l**3 - 3*l**2 + 15*l + 1. Let i(d) = 2*o(d) - 5*v(d). Let q be i(-1). Is (q + -3)*(5 + 2/(-1)) composite?
True
Let u(z) = 44 + 10*z - 6*z + 116*z + 27*z. Let o be u(18). Suppose -3*g - 6*a + 7*a = -1620, 0 = 5*g - 5*a - o. Is g a prime number?
True
Let o = 432497 + -138066. Is o a prime number?
True
Suppose 2*f + 66 = 4*l - 38, l = f + 52. Suppose -5*r + 227 + 148 = 0. Let h = r - f. Is h a composite number?
False
Let q = 102791 - 50164. Is q prime?
True
Suppose 80*d - 59*d = 1709421. Is d composite?
False
Let g(p) = p**3 + 3*p**2 - 3*p + 1. Let z be g(-3). Let x be z + (1 - 0)/((-8)/16). Suppose 2*o = 3*b + 3682, x*o = 3*o - 4*b + 9251. Is o composite?
False
Let n(i) be the first derivative of -1469*i**4/4 + 2*i**3/3 - i**2 + i + 17. Let k be n(1). Let w = -761 - k. Is w prime?
False
Let z be (8 - (3 + 8))/(6/(-1052)). Suppose -z = -5*w + 4249. Is w a composite number?
True
Let i(s) = 4110*s**2 + 20*s + 31. Is i(-3) a composite number?
True
Suppose -4*j + 13 + 3 = 0. Is (3/6)/(4/39136*j) a composite number?
False
Let b(l) be the second derivative of 3/4*l**4 + 8*l + 1/10*l**5 + 0 + 19/2*l**2 + 5/6*l**3. Is b(7) a prime number?
True
Suppose -156 = 5*z - 9*z. Let p be 452/(-6)*z/(-2). Suppose 0*t - p = -13*t. Is t composite?
False
Let n = -145825 + 214298. Is n prime?
True
Let f be (-2 - (-55)/2)/(3/6). Let b = 57 - f. Suppose -4*m - 74 = -b*m. Is m composite?
False
Suppose -2*w = 3*l - 196696, 0*w = -12*w + 2*l + 1180056. Is w composite?
True
Let d = -89 - -91. Suppose -w + 5*w = -3*f + d, -w = f - 1. Is (6/(-4)*(-3516)/(-18))/w a prime number?
True
Let o = -15398 + 59889. Is o composite?
False
Suppose 4987386 = 23*i + 910889. Is i composite?
False
Let c(d) = -5046*d - 3163. Is c(-46) composite?
False
Let c(d) = -36*d - 70. Let t be c(-2). Is (38403 + t)*(-8)/(-40) a composite number?
False
Let a be (2/(-7))/((-2)/14). Suppose 5*n - 21259 = -a*n. Is n prime?
True
Let n(p) = 19 + 215*p - 494*p - 16*p - 438*p. Let j be n(-6). Is (j/(-2))/((-28)/56) a prime number?
False
Let j = -78873 - -242522. Is j a prime number?
False
Suppose -3*g + 1063*u + 196871 = 1065*u, 0 = -2*g + u + 131245. Is g a composite number?
True
Let t(q) = -q**3 + 4*q**2 - 17*q + 47. Let h be t(3). Suppose 1286 = h*s + p, s - 15*p + 17*p = 259. Is s composite?
False
Suppose 0 = -11*w + 22. Suppose -3*y + 3327 = 5*g, 2*y - 4462 = -2*y + w*g. Is y a prime number?
False
Suppose -3*w + 8*v - 3*v + 6 = 0, -8 = -4*w - 2*v. Suppose -q = 3*l - 1792, w*q - 7*q - l = -9002. Suppose -3*x = 394 - q. Is x composite?
True
Let c be (-10)/(90/27) + 49. Let s(b) = -b**3 - 3*b**2 - 5*b - 6. Let h be s(-7). Suppose -h = -l + c. Is l prime?
True
Let l(r) be the first derivative of 281/2*r**2 + 49*r - 36. Is l(18) prime?
True
Suppose -y - 15 = 4*r, 4*r = 2*y - 0*r - 6. Is 924 + (y/9)/((-6)/(-18)) prime?
False
Let l be 30/(-4)*((-114)/(-30) + -3). Is (-2*(-12)/(-16))/(l/13252) prime?
True
Suppose -5*d + 186362 = g, -12*d - 186360 = -g - 15*d. Is g composite?
True
Suppose -3186*l = -3185*l - 115. Suppose -2*f - 2*s = -68, -4*f + 2*s - 38 = -150. Let n = f + l. Is n a composite number?
True
Suppose n = -6*n - 315. Let g be 2322/n*(-20)/(-2). Let d = -97 - g. Is d composite?
False
Suppose 19*l - 28*l = 9. Is (6086/(-30))/l - (-8)/60 a composite number?
True
Let a be ((-1 - 3) + 0)*(0 - 1). Let o be (-2 + 7)*((-312)/15)/a. Is (-1064)/(-10) - o/(-65) prime?
False
Let j = 26 - 18. Suppose 3*a + 9745 = j*a. Is a composite?
False
Suppose -3172 + 3282 = -5*l. Let b(v) = -80*v - 249. Is b(l) a composite number?
False
Let f(o) be the second derivative of 1/6*o**3 + 0 + 0*o**2 + 127/10*o**5 - 1/6*o**4 - 11*o. Is f(1) prime?
False
Let v(r) = 2*r**3 - 49*r - 9. Let w be v(7). Let f = w + -101. Is f prime?
True
Suppose -7*l - 135308 = -2*x - 10*l, 0 = 3*l + 6. Is x a composite number?
True
Let x(t) = -29 + 41 - 28 + 95*t. Is x(7) composite?
True
Suppose 0 = 8*m - 13*m + 25. Suppose 0*u + 4*p = -u + 279, m*u = -p + 1490. Is u prime?
False
Is 2/(-15) - ((-23967456)/45 - 55/(-5)) prime?
False
Suppose 5*u + 4*o = -9635 + 169980, u + 2*o = 32069. Is u prime?
True
Let b(d) = 3*d**3 + d + 1. Let i(u) = -17*u**3 - 22*u**2 - 3*u - 99. Let k(x) = -6*b(x) - i(x). Is k(19) composite?
True
Let x be 1190*((-24)/6 + (-6)/(-2)). Let f = x - -1731. Is f a composite number?
False
Let u be -8 - ((-6)/1 - -2). Let q(f) = -f**3 - 6*f**2 - 9*f + 1. Let y be q(u). Suppose 297 + 338 = y*x. Is x a composite number?
False
Suppose 0 = -3*l - 4*n - 3532 - 1511, -5040 = 3*l + 3*n. Let j = 6895 + l. Is j prime?
False
Let v(l) = 2*l**2 - 6*l - 14. Let k be v(6). Suppose -28*a = -k*a - 57522. Is a prime?
True
Let p(n) = 256265*n**2 + 42*n + 44. Is p(-1) prime?
False
Let z(u) = 62*u + 6*u**2 + 14*u**2 - 36*u + 85*u**2 - 78. Is z(-23) a prime number?
True
Suppose 2925995 = 485*b - 1954560. Is b prime?
False
Let x = 25 + -22. Suppose n - 13205 = -3*j, 5*j - 4*j - 4*n = 4380. Suppose g = 5*u - j, -u + 3521 = x*u - g. Is u prime?
False
Let d(z) = -5*z**2 - 5*z - 4. Let o be d(-4). Let g = o + 403. Suppose -2*u + 2*r = -u - g, 4*r = -4. Is u prime?
True
Suppose -15*g - 25*g + 1960120 = 0. Is g prime?
True
Let q be (-42 - -310)*3*2. Let o = q + -949. Is o prime?
True
Suppose 4*y - 138 = -46. Let f(r) = 2*r**2 - 20 - r + 50 - y + 3*r. Is f(-15) a prime number?
False
Suppose 15*c + 581 = 16*c. Let g = -1316 + c. Let s = g - -1994. Is s a composite number?
False
Let u = 99553 + -54234. Is u a composite number?
False
Let a(h) = 604*h + 35. Let b = 5 + 4. Is a(b) prime?
True
Let n(h) = -2*h**3 + 5*h**2 + 6*h + 2. Suppose -10*t + 4 = -12*t. Let u be n(t). Suppose 915 = c + u. Is c prime?
False
Suppose 25*a + 53292