 prime?
True
Let q(d) = -13*d**3 - d**2 - d - 4. Let x be q(-3). Suppose -995 = -4*j - 4*r + x, -j - 4*r + 334 = 0. Suppose -z = 3*v - 248 - 98, -z = -v - j. Is z composite?
False
Let g = -2559 - -4464. Suppose -8*t = -11*t + g. Is t a composite number?
True
Let q(o) = 7*o. Let s be q(1). Suppose -10*i + 9*i = -5. Suppose i*z + 116 = s*z. Is z prime?
False
Let y be 14/10 - 6/(-10). Suppose -y*j = -0*j - 502. Is j prime?
True
Suppose 0 = -126*r + 150*r - 443928. Is r prime?
False
Suppose 0 = -2*l + 3*l - 21. Suppose -7*f + 0*f + l = 0. Suppose -f*g = -8*g + 1655. Is g composite?
False
Is (-3)/2 - ((-106418)/(-4))/(-13) prime?
False
Suppose 4*o + 2*r = 156200, 10878 = -3*o + 5*r + 128015. Is o a composite number?
True
Let b = 55 - 51. Suppose b = -0*w + w, 0 = 4*c + 3*w - 116. Is c composite?
True
Let o be 1071/2 - 1/(-2). Let j = 827 - o. Is j composite?
True
Let t = 23 + 46. Let b(o) = -o**2 - 40*o + 18. Let l be b(-40). Let c = t - l. Is c a prime number?
False
Let a = -17539 - -28968. Is a prime?
False
Let k(x) = x**2 + 11. Let z be k(0). Suppose 7*j + 60 = z*j. Is j composite?
True
Is (-8 - (-9 + 2))*-4393 a prime number?
False
Let c be 1/(7/1085*(-2)/14). Let m = c + 2466. Is m prime?
True
Let i be (-2)/7 - (-2 + 26982/(-14)). Let g = i + 1108. Is g a prime number?
True
Let n = -50573 + 86862. Is n a prime number?
False
Suppose 10*g - 26*g = -26960. Is g composite?
True
Let m = 7270 + 1296. Is m a composite number?
True
Is 1428174/44 + ((-2)/(-4))/1 prime?
False
Let y(j) be the third derivative of -17*j**6/40 + 5*j**2. Let b be y(-1). Suppose -b = 4*t - 1111. Is t composite?
True
Suppose 3*r + i = 4268, -4*r - i - 4*i + 5687 = 0. Is r a composite number?
False
Let m(a) be the first derivative of 35*a**3/3 + a**2/2 + a - 2. Let r be ((-3)/(-2) - 2)*-2*-1. Is m(r) a composite number?
True
Is 4 + -1 + -7 - -1855 composite?
True
Let x be 272/(-1) - (-3 + -1). Let i = 411 + x. Is i prime?
False
Let o(s) = 1058*s**3 + 5*s**2 - 10*s + 3. Is o(2) composite?
False
Is 7/(-28) + 9865/20 a prime number?
False
Suppose 5*r + 3*o + 2 = -8, 0 = 3*r + 3*o. Let h(q) = -6*q + 7. Let p be h(r). Suppose 2*k - 189 - p = 0. Is k composite?
False
Let s(v) be the third derivative of v**5/15 - v**4/12 + 5*v**3/6 + 5*v**2. Let h be 6/((-2)/(2 - 0)). Is s(h) a prime number?
False
Let y(v) = 1447 + 3*v - 465 + 0*v. Is y(0) a prime number?
False
Suppose 4*p - 6 = -2*n, 9 = 3*n + p - 0*p. Suppose -272 - 109 = -n*q. Is q prime?
True
Suppose 2*o + 2*h - 29 = -3, -4*o - 2*h + 52 = 0. Let q(n) = -n + 19. Is q(o) composite?
True
Let m(d) = -148*d**3 - 2*d**2 + 2*d + 3. Let c be m(-2). Suppose 3*u = c - 392. Is u + 1/(3/(-12)) a composite number?
False
Is (0 - (-3124034)/22) + (-60)/110 composite?
True
Is (-90)/(-21) + (-2)/7 - -1897 composite?
False
Let g be ((-6)/(-8))/(12/48). Let j = 1 + g. Suppose 3*i + 1 = 5*k, j*k + 6 - 2 = 4*i. Is i composite?
False
Suppose -843 = -4*k + 1613. Suppose -9*m + k = -1285. Is m prime?
True
Let g(x) = -9*x**3 + 2*x**2 - 1. Let u be g(-1). Let k(n) = -3 - 4 - 7*n**2 + 7*n**3 + 22*n - 6*n**3 - u*n**2. Is k(16) a prime number?
True
Suppose 10 = -8*x + 34. Suppose -o - 1832 = -x*d, 0*d + 2*o + 2442 = 4*d. Is d prime?
False
Let v(j) be the third derivative of 2*j**5/3 - 5*j**4/24 + j**3/3 + 25*j**2 + j. Is v(5) prime?
True
Suppose -614 - 916 = 3*z. Let k = 899 - z. Is k composite?
False
Let h = 967 - 986. Let s(l) = -l**2 + l + 1. Let m be s(-2). Let t = m - h. Is t a composite number?
True
Is (-2 + -10)/(-6) - -10165 a composite number?
True
Let r = 71139 - 42454. Is r prime?
False
Suppose 9*y + 11800 = 5*u + 4*y, -3*y - 9445 = -4*u. Suppose -4 = t - 3, 3*f - 4*t - u = 0. Is f composite?
False
Let u(g) be the first derivative of g**2/2 - 10*g + 1. Let j be u(10). Suppose j = -5*o - d + 638, -3*o + 4*d + 186 + 183 = 0. Is o a composite number?
False
Let h be (1/(-1))/(-1) - -2. Let u be -2 + 10/2 - h. Let z(v) = -v + 39. Is z(u) prime?
False
Let t(u) = 3595*u**2 - 15*u - 3. Is t(-3) prime?
False
Suppose -9*j = -14*j - 3*p + 244669, -195738 = -4*j - p. Is j composite?
True
Let z(h) = -3*h**2 + h - 1. Suppose -3*p - 4*w + w = -12, p - 7 = -2*w. Let i be z(p). Let u(o) = -3*o**3 - 3*o**2 + o - 2. Is u(i) prime?
False
Suppose 8 - 20 = -6*n. Suppose n*m = -0*m + 2426. Is m composite?
False
Suppose 0 = -4*h - 5*r + 482 + 6520, h - 3*r = 1759. Is h a composite number?
False
Let t = 1208 + 2571. Is t prime?
True
Is 586*(-23)/(0/(-5) + -2) a composite number?
True
Let w be ((-6)/9)/((-6)/81). Suppose 0 = 5*g - w*g + 264. Let d = g + -29. Is d a composite number?
False
Suppose -5*u = -4*d + 15 - 50, -4*u + 17 = -d. Suppose -u*z - 5*x = -323, -6*z + z + x = -529. Is z/(3/3 + 1) a prime number?
True
Let a(c) = 9*c + 4. Let q be a(3). Let f = 31 - q. Suppose f*u + 5*u = 335. Is u a composite number?
False
Let b(a) = -295*a**3 - 5*a**2 + 5*a - 4. Let j(r) = 296*r**3 + 6*r**2 - 6*r + 5. Let m(x) = -6*b(x) - 5*j(x). Is m(1) composite?
True
Suppose -11*o + 6*o = 1030. Let r = o + 289. Let v = r + -16. Is v a composite number?
False
Let i = 156 + 425. Is i a composite number?
True
Suppose v = 5*x + 681 - 9914, 4*x = 4*v + 7380. Is x prime?
True
Suppose -4*t + 3*x + 27136 = 0, -15*t = -20*t - x + 33939. Is t a composite number?
True
Suppose -3*i = -6*i - 5*f - 2317, 5*i - 2*f = -3810. Let h = 1201 + i. Is h a composite number?
True
Let d(u) = 17*u**2 - 2*u. Suppose 2*v - 3*v = 5. Let z be d(v). Suppose 0 = t + 2*t - z. Is t prime?
False
Suppose 0 = -4*g - 3*d - 18 - 0, -g - d - 4 = 0. Let b(t) = 6*t**2 + 2*t + 9. Is b(g) prime?
False
Let j(f) = 7*f**2 + 5*f - 11. Suppose 50 = -9*d - 22. Is j(d) composite?
False
Suppose 1786 = 6*b - 4*b. Is b a prime number?
False
Let w be 2/(-6)*(3 + -3). Suppose w = -8*p + 4*p + 1508. Is p a prime number?
False
Let u(s) = -6*s - 6. Let j be u(-1). Suppose -c + 2487 = m + c, j = -c - 4. Is m composite?
True
Suppose 0*u + 6 = -l - 3*u, 4*u + 4 = -2*l. Suppose -7 - 1 = -4*r. Suppose m + t - 181 = 3*t, r*t - l = 0. Is m prime?
False
Suppose 26661 - 261060 = -4*h + 5*j, 0 = h - 4*j - 58597. Is h prime?
True
Let a(p) = p**2 + p - 3. Let k be a(-3). Suppose 0 = k*v + v - 84. Is (658/v)/(4/6) prime?
True
Let o be 3 - (7 - (0 + 4)). Suppose 1288 + 273 = d - 4*f, o = f. Is d a prime number?
False
Suppose -h = m + 3*h - 2, -m = -2*h - 2. Suppose -b + m*b = -4*z + 1147, -1152 = -b + z. Is b prime?
True
Suppose -18*z + 17833 = -z. Is z a composite number?
False
Let l(r) = -2898*r**3 + r**2 + 13*r + 11. Is l(-1) composite?
False
Let p(k) = -k**2 - 7*k - 4. Let y be p(-5). Is (-9)/27 - (-8864)/y prime?
False
Let h(i) be the first derivative of 2*i**3/3 - 17*i**2/2 + 7*i - 19. Is h(12) prime?
False
Let d = -21 - -24. Suppose 2*p + 4*x = -0*p, -4*p = d*x. Suppose -12*f + 6*f + 762 = p. Is f composite?
False
Let q be -10*-1*(-3)/(-6). Suppose q*u - 20 = -5, -1 = -4*o + 5*u. Suppose -5*x - l = -395, l + 362 - 46 = o*x. Is x a prime number?
True
Let b = 36495 - 8788. Is b prime?
False
Suppose -7*w = -201575 + 74266. Is w a prime number?
False
Let b(k) = 11*k + 5. Let g be b(-2). Let n = g + 20. Is (n/6)/(5/890) prime?
True
Suppose -5*t - 51 = -291. Let m(c) = -23*c - t*c**3 + 319*c**3 - c**2 + 25*c - 1. Is m(1) composite?
False
Suppose -58*k = -122354 - 38132. Is k a composite number?
False
Let l be 5*(3 - (-81)/(-15)). Let u = 14 - l. Is u prime?
False
Let g be -28 + 3 + -1 + -3. Let f = g - -33. Suppose 188 = f*c - 0*c. Is c composite?
False
Let r(l) = -505*l + 5. Let p be 1/(2/(-6)) + 10. Let o(i) = 252*i - 2. Let m(f) = p*o(f) + 3*r(f). Is m(2) composite?
False
Let o be 2/(-6) - (-48)/9. Suppose -o*r + 1125 = 5*t, -2*r = -t - 3*t + 888. Is t prime?
True
Let k = 84797 - 40944. Is k prime?
True
Let m(p) = 0 + 6*p + 0*p - 2 - 4 + 3*p**2. Is m(9) a prime number?
False
Suppose b + 438 = 1626. Let s = b - 115. Is s prime?
False
Let m(w) = 10 - 2*w - 330*w + 50*w - 39. Is m(-4) a composite number?
True
Let z(r) = -23226*r**3 + r**2 + 89*r + 89. Is z(-1) composite?
False
Let d(t) = t - 17. Let k be d(20). Suppose -o + k*y + 582 = -0*o, 5*y = -4*o + 2277. Is o a composite number?
True
Let p(w) = -4*w**3 - 10*w**2 + 3*w + 28. Suppose -67*o = -64*o + 33. Is p(o) composite?
True
Suppose -22*x + 158240 = -138474. Is x prime?
True
Let u(t) = -1543*t + 3