 Is d composite?
False
Suppose -3*s = 785 - 44093. Suppose -2*d + s = 3*d + 2*t, -4*t = -12. Suppose -4*j + d = -5*r, -2*j + j + 3*r + 725 = 0. Is j a composite number?
False
Let g(h) = -82*h**2 - 6*h + 13. Let f be g(7). Let k = -2545 - f. Suppose 0 = -4*p + 6*p - k. Is p a prime number?
True
Let l(o) = o**3 + 4*o**2 + o + 5. Let d be l(-3). Suppose -12*p + 3336 = -d*p. Suppose 266 = 2*f - p. Is f a composite number?
False
Suppose 0 = 7*c - 2*c. Suppose 0 = -5*n - n. Suppose c*r - r + 687 = -f, n = -r - 5*f + 699. Is r a composite number?
True
Let k(w) = w**3 - 4*w**2 - 3*w - 10. Let v be (-132)/18 - 1/(-3). Let r be k(v). Let o = -350 - r. Is o a prime number?
False
Suppose -6*l = -40*l + 4186726. Is l a composite number?
True
Suppose -5*f + 10 = -4*f. Let d = -8 + f. Suppose 524 = d*c - 2*j, 3*c + 783 = 6*c - 2*j. Is c composite?
True
Let d(h) = -1241*h + 147. Let t be d(-11). Suppose 0 = -3*i - i + j + t, 4*j + 3457 = i. Is i a prime number?
True
Let j = -33673 + 48102. Is j a composite number?
True
Suppose 0 = -5*w + 4*z + 5093166, 2*w - 2728361 = 2*z - 691095. Is w prime?
False
Let v be (2*-6)/((-12)/6). Is (-11710)/v*(-144)/120 a composite number?
True
Suppose -3*g - 4*i - i = -50, 5*i + 110 = 5*g. Let c be 8/g - 26/(-10). Suppose -2457 = -4*v + u, -1859 = -0*v - c*v + 4*u. Is v a composite number?
False
Let g(i) = 19*i - 18. Let p be 12/(-10)*(-20)/16*10. Let y be g(p). Let s = y - -486. Is s prime?
False
Let p(g) = -g**3 - 4*g**2 - 2*g + 3. Let v be p(-3). Suppose v = 6*j + 2*j. Suppose -3*b - u + 257 = -3*u, -4*b + 5*u + 352 = j. Is b a composite number?
False
Let h(i) = i**2 + i - 1. Let x be h(-3). Suppose 4*f - 10568 = -2*v, 0*f - 13215 = -5*f - x*v. Is f a prime number?
False
Let b(x) = 316375*x - 1079. Is b(2) a prime number?
False
Let f be 0 + 6990/(-4) + 15/6. Let v = 2576 + f. Is v a composite number?
True
Let h = 56 + -52. Suppose -d + 8 = h*w + 1, -d - 3 = -w. Is (-7)/(-7) + 372/w a prime number?
False
Suppose 78*g + 74*g = -63*g + 17746315. Is g a composite number?
True
Let c = -940534 - -1432761. Is c composite?
False
Let l(f) = -2*f**3 - 12*f**2 + f + 8. Let a be l(-6). Suppose -h - a*h = -27. Let q(x) = 9*x**2 - 18*x + 6. Is q(h) composite?
True
Let k(u) = 510*u + 54. Let p be k(24). Suppose 3*o = 3*s + p, 3*s = 5*o - 9737 - 10751. Is o composite?
True
Let p(d) = d**3 + 8*d**2 - 35*d - 1. Let c be p(-11). Is 388780/49 + (-6)/c prime?
False
Suppose -2*a + 1 = h + 2, 0 = -3*a + 6. Is ((-38100)/180)/(h/6) prime?
False
Is (-4)/24*6*-368273 a composite number?
False
Suppose 105 = -3*f + 120. Suppose 0 = f*r - 44794 - 83231. Is (4/6)/(10/r) prime?
False
Suppose -4*i + 388 = -5*i. Let w = i - -1826. Suppose -w + 10882 = 12*o. Is o composite?
False
Let p(v) be the first derivative of -v**4/4 - 5*v**3/3 - 2*v**2 + v + 17. Let n be p(-4). Is 1625/4 - (28/(-16) + n) a prime number?
False
Let p be (8 + 1)*(-7)/(-21). Let y = 4 - 2. Suppose -641 = -5*c + p*d, -c + 4*d = -y*c + 119. Is c a prime number?
True
Let c(k) = 169*k**2 - 3*k - 12. Let r be c(-6). Suppose v + 2*m - r = -2*v, m = -v + 2030. Suppose 0*i - 2 = -2*i, i = 3*p - v. Is p a prime number?
True
Let i(l) be the first derivative of -l**4/4 + 5*l**3/3 - 8*l + 35. Let n be i(4). Is 12/n*(-13450)/(-15) composite?
True
Suppose 0*l + c - 31 = -3*l, 5*c + 73 = 4*l. Suppose 16*k - l*k = 11192. Is k a prime number?
False
Let p = -12231 - -6013. Let u = p + 13405. Is u composite?
False
Suppose 121*s - 100*s = 2748794 + 891703. Is s composite?
False
Let v = 89 - 81. Let i be (-4 + 2)/(2/(v/(-2))). Suppose -i*d + 5*b + 226 = 0, b = -2*d - 6 + 126. Is d composite?
False
Suppose -118*s - 75 = -121*s. Suppose s*f = -4*f + 143695. Is f composite?
True
Let s(z) = z**2 - z - 2. Let w(q) = q**2 + 4*q - 1777. Let i(g) = -2*s(g) - w(g). Is i(0) a prime number?
False
Suppose -4 = -4*u, -4*u = 67*q - 71*q + 24632. Is q a prime number?
False
Suppose 0 = -3*o - l + 3701, -5*o + 5*l + 3806 + 2349 = 0. Suppose 5*q - 1535 = -11*d + 16*d, -4*q + o = -5*d. Is q prime?
False
Let u(q) = 12*q**2 - 17 + q + 5*q**2 + 15*q**2 - 8*q. Let x be u(-7). Let d = -123 + x. Is d composite?
True
Let f(t) = -t**2 - 6*t - 5 + 3 + 2*t. Let b be f(-2). Suppose -157 = b*p - 3*p. Is p prime?
True
Suppose -y + 6770 = 3*u, u - 1407 = -3*y + 847. Let k = 670 + u. Is k prime?
True
Let p(f) = -f**2 + 7*f + 4. Let t be p(11). Let g be -4*2/(t/265). Is g*4/(-8)*-22 prime?
False
Is (-20)/8 - (26019/(-6) + (-72)/8) prime?
False
Suppose 3*a = p + 13, -23 = -a - 5*p - 8. Is (-3 - a)/24 - 38240/(-6) composite?
False
Let j = 223481 - 143458. Is j composite?
True
Let o(h) = 7*h**2 + 13*h - 2. Let d be o(-9). Let l = -554 + 305. Let p = d + l. Is p a prime number?
True
Let i(c) = -78*c - 20*c - 29 - 44*c + 2*c. Let z be i(-16). Suppose 2*j = 1103 + z. Is j a prime number?
True
Suppose -6*y + 24*y = 0. Suppose -18*m + 7*m + 42031 = y. Is m a composite number?
False
Let h = -1161739 - -2040972. Is h a prime number?
False
Let i be 12/(-14)*(7 + (9 - 177)). Let f be -2*((-97)/(-2) + 3). Let w = i + f. Is w a prime number?
False
Suppose -4*a + 330146 = 2*d, 3*d - 25*a + 21*a = 495209. Is d prime?
False
Let g(u) = -u**3 + 2*u**2 + u - 1. Let f(p) = -18*p**3 + 12*p**2 - 7*p - 10. Let c(s) = -f(s) + 5*g(s). Is c(6) a prime number?
False
Let m be (-2)/13 + ((-48356)/(-143) - 5). Suppose -m*p - 14635 = -338*p. Is p a prime number?
True
Let u be (-2)/(-3 - (-115)/35). Let s(a) = -113*a - 22. Is s(u) composite?
False
Suppose 5*v + 1205 = 3850. Suppose v = -3*c - 4*j - 7746, 3*j = 2*c + 5511. Is ((c/(-9))/(-1)*-3)/1 a prime number?
True
Suppose 13*j = -26 + 208. Suppose 9*a + 10740 = j*a. Is (-2)/(-2)*(a - 1 - -6) a prime number?
True
Let n(p) = 32*p**3 + 8*p**2 + 29*p + 128. Is n(13) prime?
True
Let y = -303 + 299. Is (-28300)/(-12) + y/3 prime?
True
Suppose 16*z + 22 = 5*z. Let w(h) be the third derivative of 409*h**5/30 + h**4/24 + h**3/6 + h**2. Is w(z) a composite number?
False
Let a(p) = 186*p + 1153. Is a(-4) prime?
True
Let u(a) = -a + 7. Let x be u(2). Suppose 3*f - 16 = 4*p, -3*f + 6*f + 20 = -x*p. Suppose -5*y = f, -t + 377 = -5*y + 2*y. Is t prime?
False
Let m = 1714 + 69. Suppose 18*s + m = 19*s. Is s a prime number?
True
Let o(b) = -384*b**3 - 5*b**2 - 13*b - 17. Let a be o(-3). Is (-3)/((-3)/7)*a/5 a composite number?
True
Suppose -4*h - 3*i - 24718 = -160538, 169737 = 5*h - i. Is h a composite number?
True
Let o = 256257 - 137618. Is o prime?
False
Let t(p) = -8*p**3 + 2*p**2 + 3*p + 6. Suppose 2*s - 43 = 3*i + 21, 5*s - i - 147 = 0. Suppose 0 = -34*f + s*f - 20. Is t(f) a composite number?
True
Let k(x) be the first derivative of 2*x**3/3 + 2*x - 2. Let n be k(3). Suppose 5*p = -n, g - 1461 = 5*p - 10*p. Is g a composite number?
False
Suppose 0 = -288*o + 267*o + 1478463. Is o a composite number?
True
Let v be (-571)/((-1)/(-2 + -1)). Let z = v + 2914. Let f = z - 620. Is f prime?
False
Let k(t) be the first derivative of 22*t**3 + 3*t**2/2 + 14*t + 105. Is k(-7) a composite number?
True
Let t(q) = -q**3 - 27*q**2 - 48*q + 52. Let x be t(-25). Suppose 0 = 2*w, -6*w = x*h - 3*w - 4358. Is h prime?
True
Let w be 3/((-9)/(-789)) + (0 - -1). Let y = w + -115. Is y a prime number?
True
Let m = -396 - -394. Let a(k) = 2889*k**2 + 2*k - 3. Is a(m) a composite number?
False
Let a = 56236 + -80435. Is a/28*(-8)/2 - 0 composite?
False
Is (-1 - (-1)/3)*6904032/448*-7 composite?
False
Let p be ((-6)/(-4))/3*4. Suppose -4*t - 7 = p*b + 5, -8 = 3*b - 4*t. Is 3175/5*b/(-10) composite?
True
Let i(b) be the third derivative of 97*b**5/20 - 19*b**4/24 - 7*b**3/6 - 2*b**2 + 20. Is i(-11) a prime number?
False
Let m = 251 - 249. Suppose 4*d - 87466 = -2*w, -m*w + w - 21874 = -d. Is d composite?
True
Let m be (20 - 10) + -1*6/2. Let w be (-940)/m + 16/56. Let l = w + 543. Is l a prime number?
True
Let t(g) = -5143*g - 6642. Is t(-61) a prime number?
False
Let s(g) = 336*g - 168. Let m(c) = 335*c - 138. Let n(k) = 5*m(k) - 4*s(k). Let z(b) = b + 9. Let q be z(-4). Is n(q) prime?
True
Suppose 10 = -5*r, 5*z - 1028107 = -592*r + 593*r. Is z a prime number?
False
Is -2*(4398/(-4) - (6 + -2)) prime?
True
Let j(n) = -6*n**2 + 35*n + 12. Let x be j(6). Suppose x*r = 20351 + 67195. Is r prime?
True
Let m be (-17 + 23)*(5/3 + -1). Suppose 0 = -4*f + f + 4