 241161 + -24950. Is i a prime number?
True
Let a(d) = -115*d**3 + 2*d**2 + 28*d + 32. Let v be a(-7). Suppose v + 143388 = 17*h. Is h composite?
True
Suppose -4*v = -2*i - 2*v + 41320, 0 = -2*i - 5*v + 41348. Suppose 2*l + p - 14750 = 0, -3*l - p + 1463 + i = 0. Is l prime?
False
Suppose 28*o - 37*o = 225. Is 411*5*(-5)/o prime?
False
Suppose 40*l - 43*l = -72. Suppose 2*o - 4 = -l. Is ((-5)/o + -4)*-394 composite?
True
Let p be 88 - (0 - 1)/((-1)/3). Let y = p + -104. Is (1 - 0)*(1914 + y) a composite number?
True
Is 56/(-64)*-4*19563/21*2 a composite number?
False
Suppose -4*s + 5*o = -4265, -2*s = -0*s + o - 2115. Suppose -5*j = r - s - 1504, 2*r + 2*j - 5152 = 0. Is r a composite number?
False
Let l(g) be the first derivative of g**3/3 - g + 5. Let w(s) = 8*s**2 + 7*s + 50. Let a(i) = -5*l(i) + w(i). Is a(-26) a prime number?
True
Suppose 2*m + 117 = 3*t, -4*m + 0*m = -2*t + 222. Let v be (-1)/(-2)*0 + m/9. Is 3/18 + (3 - 6923/v) a prime number?
False
Suppose -15*x + 1197371 = 19*x - 27*x. Is x composite?
False
Suppose 0 = -b + 5715 + 4096. Suppose -13*d + 64320 - b = 0. Is d a composite number?
True
Let b be -6 - ((-10)/3 + (-4)/(-12)). Is -11487*(-6)/((-54)/b) a composite number?
True
Let t = -257562 + 374321. Is t a prime number?
False
Let u(z) = 893*z + 22. Let x(j) = -895*j - 22. Let v(y) = 2*u(y) + 3*x(y). Is v(-13) a prime number?
False
Suppose -4 = -2*k, -3*u - 3*k + 504101 - 80624 = 0. Is u prime?
True
Let t = -34 - -101. Let u = 63 - t. Let v(k) = -9*k**3 + 2*k**2 - 6*k - 1. Is v(u) a composite number?
False
Let g(v) = -2132*v + 17. Is g(-12) prime?
True
Let j = 1415 + -688. Let x(u) = 389*u**2 + 2*u - 1. Let s be x(1). Let t = j + s. Is t composite?
False
Suppose -8 = 3*o + 4*y, -2*o = 2*o + 2*y - 6. Suppose 12944 = -0*t + t - o*a, 3*t + 3*a - 38847 = 0. Suppose 5*v - t = -2183. Is v composite?
False
Let d(x) = 40501*x - 3109. Is d(8) prime?
True
Let c(p) = -p + 13. Let a be (-12)/28 - (-132)/14. Let o be c(a). Suppose o*z - 9429 = -2753. Is z a prime number?
True
Let m be (-2)/(-5)*(-45)/(-6). Suppose r - m = -4*q, -2*r - 1 = -3*q - 3*r. Suppose 4*z - 152 = -4*u, q*z = 3*u + 39 + 12. Is z a prime number?
False
Let i(t) = -t + 14. Let r(n) = -7*n - 2. Let b be r(-3). Let m be i(b). Is 998 - (-6 - m)*-5 a prime number?
False
Suppose 17 - 5 = 4*t. Suppose 2*j + 2*q - 8268 = 2190, t*j - 3*q = 15675. Is j a composite number?
False
Suppose 5*q = y + 1407328 - 533668, 4*y = 4*q - 698912. Suppose -39*g - q = -52*g. Is g prime?
True
Let v(f) = f - 10. Let y be v(24). Is (7/y)/((-3)/(-11658)) composite?
True
Suppose -23*c + 26*c - 12 = 0. Let h be (-2)/c + 1/(-6)*-3. Suppose g = 3*a - 385, h*a + 2*a = 2*g + 262. Is a a composite number?
False
Let g be (20/(-15))/((-106593)/(-53298) + -2). Suppose 0 = 14*j - 63770 - g. Is j composite?
False
Let p = 973 + 607. Let z(j) = 898*j + 5. Let o be z(1). Let u = p - o. Is u composite?
False
Is (-20)/(420/21) - (-359)/2*860 a composite number?
False
Suppose -49*a = 176*a - 77159025. Is a a prime number?
True
Is (23 - (-405045 - -7)) + 0 prime?
False
Let x = -7655 - -29450. Suppose q = 6*q - x. Is q prime?
False
Let i(o) = -2*o**3 - 149*o**2 + 122*o + 105. Is i(-76) composite?
False
Let o = 76035 + -38492. Is o a composite number?
True
Is ((-2515923)/(-114))/((-5)/((-30)/9)) prime?
True
Let y be (-4644)/(-972) + (-2)/(-9)*1. Suppose y*v = -5*f + 19695, -f = -3*v + 5*v - 3937. Is f composite?
True
Let y(o) = -10818*o + 77. Is y(-5) a prime number?
True
Let x(r) be the first derivative of r**2 - 25*r - 9. Let l be x(15). Suppose 0*n - 221 = -l*u + 3*n, 3*n - 37 = -u. Is u composite?
False
Let f(p) = p**3 + 13*p**2 - 13*p + 10. Let z be f(-14). Let x be 0 + z/22 + 6252/22. Suppose u - 292 = -4*h, 6*h - x = 2*h - 3*u. Is h composite?
True
Suppose 0*n = -3*q - 2*n + 67210, -5*q + 112002 = -4*n. Suppose 2*k + 5605 = a, 4*a = -k + 3*k + q. Is (a/(-22))/(2/(-4)) prime?
True
Let b(z) = -42*z**3 + 2*z**2 - 17*z - 4. Is b(-5) prime?
True
Let y(r) = 1071*r + 130. Let j be y(7). Suppose 2*o - 3803 = -s, 0 = 9*s - 11*s + 3*o + j. Is s a prime number?
False
Suppose 0 = -3*f - 2*y + 152692, 0*f + f = -5*y + 50906. Suppose 4*d - f = -9428. Is d prime?
False
Suppose h + 216 = -2*h. Let w = h - -77. Suppose 7*b - 3*b + 2*c - 5444 = 0, -w*b = -4*c - 6805. Is b prime?
True
Suppose 5*q + 6377 = 15457. Let v(a) = a**3 + 3*a**2 + 20*a - 1. Let h be v(14). Let n = h - q. Is n composite?
True
Let q = 12490 + -4736. Is q a prime number?
False
Suppose -n = -0*n - 3. Suppose -n*q - 5*q = -6912. Suppose h = -127 + q. Is h a composite number?
True
Suppose 4*m = -4, m = -2*c - 10 + 9. Is 0/3 + (c - -2 - -751) a composite number?
True
Let m be 14/3 - (-14)/42. Suppose -3*n + 26563 + 46453 = m*k, -97403 = -4*n + 3*k. Is n composite?
True
Let q = -480 + 680. Let x be (q/30)/((-1)/(-36)). Suppose -c + 2*c - 248 = -2*g, 2*g = 3*c + x. Is g a prime number?
False
Is (6628/(-12)*-122)/(2/3) a composite number?
True
Let y(c) = -c**3 - 9*c**2 + 10*c + 3. Let r be y(-10). Suppose 5*m = r*s + s + 88, -m + s = -18. Is -46*22*(-4)/m a prime number?
False
Let n = -4960 + -602. Let l = 33905 + n. Is l a prime number?
False
Let q = 1310839 - 629922. Is q prime?
True
Let z be (24/(-28))/((-26)/91). Suppose -51011 = -z*j - 5*u, 38016 - 4009 = 2*j + 3*u. Is j a composite number?
True
Let o(h) be the second derivative of h**6/720 + 877*h**5/120 - 11*h**4/12 + 4*h. Let z(g) be the third derivative of o(g). Is z(0) composite?
False
Let q(r) = -r**3 - 36*r**2 - 32*r + 99. Let s be q(-35). Is 1/(s/(-2920)) + 30/90 a prime number?
True
Suppose w + 0*w - 4473 = 5*f, -3*f - 2688 = -2*w. Let y = f + 1546. Let x = y + -441. Is x composite?
False
Let h be (-894032)/(-10) + 4*6/(-120). Is ((-28)/6)/((-34)/h) composite?
True
Let q(x) be the third derivative of x**6/120 + 7*x**5/60 + 7*x**4/12 + 7*x**3/6 - 5*x**2. Let w be q(-4). Is 1/w*(4 + -2115) prime?
True
Suppose 225*y - 102*y - 41262930 = 93*y. Is y a composite number?
True
Suppose -8*s - 6*s + 42 = 0. Is (s/((-18)/(-82)))/((-21)/(-3717)) composite?
True
Suppose 15*d = -18*d + 33. Let o(w) be the third derivative of 1469*w**6/120 + w**5/15 - w**4/24 - w**3/6 + 7*w**2. Is o(d) a prime number?
True
Let v(l) = -2*l**2 + 297 - 302 + 3*l + 4*l**3 - 2*l**3. Let u be v(2). Is u + 258 + -3 + 1 a composite number?
True
Suppose 4*n + 54 = 3*q, -5*q + 79 = -11*n + 8*n. Suppose -1549 + 12567 = q*r. Is r prime?
True
Let k(h) = h**3 + 6*h**2 - 6*h - 1. Let n be k(2). Suppose n*z + 62757 = 28*z. Is z prime?
False
Let c = 53133 + -14392. Is c prime?
False
Let u(f) be the first derivative of -3*f**4/2 - 11*f**3 - 9*f**2 - 26*f + 2. Is u(-13) a prime number?
False
Suppose -39*k - 61*k = 35*k - 46232910. Is k prime?
False
Suppose 5*m + 329 = 4*w, 15*w - 11*w + 2*m - 350 = 0. Suppose -5*a + 26151 = w. Is a a composite number?
True
Suppose 0 = 2*f + 4, 0 = -w + 2*w - 4*f - 350. Let r = -288 - -428. Let s = w - r. Is s composite?
True
Let l(r) = -41749*r**3 + r**2 + 11*r + 30. Is l(-3) a composite number?
True
Let q(l) = 2*l**3 - 86*l**2 - 5*l + 241. Let p be q(43). Let f(w) = 83*w**2 - 4*w - 5. Let y be f(4). Suppose 3*o - y + p = 0. Is o composite?
True
Let y be ((-2401)/42 + -1)*-6. Let r = 2482 + y. Is r a composite number?
True
Is (-56)/(-336) + (-12965)/(-6) a prime number?
True
Let p(m) = 3*m**3 - m + 1. Let d be p(1). Suppose 0 = z + 5*s - 12 - 82, -z - 2*s + 91 = 0. Suppose -d*k = b - z + 16, 3*k = -4*b + 85. Is k a prime number?
True
Is ((-1457)/155)/47 + 674306/5 a prime number?
False
Suppose 428 + 112 = 3*p - 3*r, -3*r - 359 = -2*p. Let j = 2378 + p. Is j a composite number?
True
Suppose h = -3*r + 14 - 7, -r - 16 = 4*h. Let z(a) = 68*a**3 + a**2 - 13*a + 51. Is z(r) a composite number?
True
Suppose 2*r - 3*w - 306047 = 0, 2*r + 1241*w = 1242*w + 306041. Is r a composite number?
True
Suppose 4*l = 2*t - 54362, -15*l + 20*l = -2*t + 54389. Is t prime?
False
Suppose -6*v = -6418 - 13220. Suppose -3*n - 3377 + 109 = -x, x + 2*n - v = 0. Is x a prime number?
True
Let b be (16/10)/(5/(-50)*-4). Let c(v) = -v + 10. Let f be c(b). Suppose f*i - 4*i - 946 = 0. Is i a composite number?
True
Let c(l) = -2274*l + 149. Is c(-21) a prime number?
True
Let d = 9638 + 12771. Is d a composite number?
False
Let i(l) = 9469*l - 22