2*d. Is n(d) composite?
True
Suppose 2*h + 3 = c, h - 5*c = -11 - 13. Let z be ((-9)/(-6) + -2)/(h/(-8)). Suppose z*y = 2*y + 786. Is y composite?
True
Suppose -19*b = -3*o - 24*b - 28, -3*o + 3*b = 36. Let s(g) = -4*g**3 - 29*g - 20. Is s(o) prime?
True
Let n be (-22)/1 + 1 + -1. Let g(p) = -9*p + 95*p + p**3 - 15 + 22*p**2 + 0*p - 100*p. Is g(n) a prime number?
True
Suppose 161*u - 10500151 - 22812198 = 0. Is u a composite number?
False
Let p(r) = 3079*r - 3612. Is p(17) prime?
True
Suppose -h = 5*a - 693, 3*h + 7*a - 2127 = 4*a. Suppose -1441 - h = -6*g. Is g prime?
True
Let y = -33342 + 64675. Let l = -20912 + y. Is l a composite number?
True
Let l = 14152 + 12777. Is l a composite number?
True
Let j(k) = k - 2. Let o be j(3). Let d(m) = 1. Let g(a) = 554*a**3 + 5. Let i(v) = -6*d(v) + g(v). Is i(o) a prime number?
False
Suppose 6*n - 3892855 = -5*y + 4*n, 0 = -5*y - 5*n + 3892855. Is y a composite number?
True
Let s be 2/(-7) - 750/70. Let y be (-13)/((-286)/4) - (-2)/s. Suppose -32*a + 14*a + 79938 = y. Is a a prime number?
True
Suppose -2*v = -3*i - 973408, 1806347 = 3*v - 5*i + 346238. Is v composite?
False
Let d(j) = -240*j + 9. Let y be d(-4). Let g = 2967 - y. Is (g/12 - 3) + (-1)/2 a prime number?
True
Is 153107 - ((-24)/4)/(-18)*0 a composite number?
False
Let v be 52/14 - 6/(-21). Suppose -20*p + 66444 = 29*p. Suppose 0 = 10*r - v*r - p. Is r composite?
True
Let i(a) = 37902*a**2 - 81*a - 2. Is i(1) a composite number?
True
Suppose 61*n = -69*n + 127*n + 44547. Is n prime?
False
Let x = -133139 - -259777. Is x/138 - 2/3 a composite number?
True
Suppose -25*t + 61*t - 5122188 = 0. Is t a composite number?
True
Suppose n - 153 = 4*z + 798, -3*z = 0. Let f = n - 500. Is f a prime number?
False
Let m be 46074/(-13) + 40/260. Let t = m + 5085. Is t prime?
False
Let i(z) = -9*z**3 + 2*z**2 + 2*z - 9. Let n be i(6). Let u = -384 - n. Is (-3)/(-6) + u/10 prime?
True
Suppose -2*u + 105739 = 3*u + 2*f, -21139 = -u + 4*f. Is (-7 + u/(-28))*-4 a prime number?
True
Suppose -178195 = 2*a - 7*a - 3*c, 2*a + 5*c = 71278. Is a composite?
True
Let f be 39/(-26) - (-1 + 20315/(-10)). Suppose -2*g + 6 = g. Suppose f = t + g*t. Is t composite?
False
Suppose -578*n - 2862 = -580*n. Suppose 3*p = 2*u + n, 4*p - 1919 = 20*u - 21*u. Is p composite?
False
Is (-208)/364 - (-303934)/14 prime?
False
Let z be (3/7)/(16/112). Suppose -z*p + 125 + 292 = 0. Is p prime?
True
Let c = 35 + -8. Suppose 0 = 24*f - c*f + 2391. Is f prime?
True
Let x(w) = 11*w**2 + 12*w + 29. Let k be (6 + 0 + -8)*(-1)/2. Suppose t + 23 = -5*p, t + k + 19 = -2*p. Is x(t) composite?
True
Let o(q) = 9*q**2 + 3*q + 37. Let a = -75 - -82. Is o(a) a prime number?
True
Suppose -9*l + 180 = 3*l. Suppose 2*o = -o - l. Is 1364 + 3/((-3)/o) prime?
False
Suppose -30 = -6*n + n + 3*q, 3*q = -5*n. Suppose n*o + 32539 = 2*z, -3*z + o = -22737 - 26075. Is z a composite number?
True
Let j be -2 + 134/8 + (-1)/(-4). Let k be 1503/(-6)*10/j. Let i = k - -546. Is i prime?
True
Suppose 169 - 43 = 3*g. Let s = g - 40. Suppose -b - a + 386 = s*b, 5*b - 640 = -a. Is b a composite number?
False
Let b = 66754 + -10613. Is b composite?
True
Let h(o) = 32*o**2 + 16*o + 16. Let q(v) = -7 - 5*v - 5*v**2 + 2 - 6*v**2. Let a(t) = 4*h(t) + 11*q(t). Is a(-7) composite?
True
Let w(x) = 892*x**3 + x**2 + 8*x. Let v be w(5). Suppose -250*p + v = -245*p. Is p composite?
True
Suppose -3*x - 6 = -x, -5*y + 132203 = 4*x. Is (y - -83) + (-6 - -1) a composite number?
True
Let l = -251564 - -1199553. Is l a composite number?
True
Suppose 4*a = -3*z + 1, -3*z = 3*a - 5 + 2. Let l(t) = 0*t - 2 + 17*t**2 - t**3 + z*t - t - 5*t. Is l(13) prime?
False
Let u(d) = -416074*d + 1743. Is u(-2) a prime number?
False
Suppose -425*d + 73*d + 50434739 = 946707. Is d composite?
True
Suppose 5*f - 3*r = -3732, 2238 = -6*f + 3*f + 3*r. Let j = 244 - f. Is j composite?
False
Let n(j) = 1162*j - 143. Is n(25) a composite number?
True
Let z be (-2 - (-1 - 0)) + 5 + -4. Let r(h) = -2*h**2 + h + 5. Let s be r(z). Suppose m - 373 = -2*k, 0*m - s*k = 5*m - 1880. Is m prime?
True
Suppose 18*b = 14*b - 2480. Let u(f) = -f**2 + f + 6. Let k be u(9). Let l = k - b. Is l composite?
True
Suppose -47*x - 310111 + 880832 = 0. Is x a composite number?
False
Let h(w) = -w**3 + 41*w**2 - 66*w + 30. Is h(-32) composite?
True
Let x(v) = -5*v**3 + 21*v**2 + 41*v + 23. Is x(-12) prime?
False
Let h be (6 - (-217)/(-35)) + (-2)/(-10). Let l(m) = 8*m - 15. Let i be l(6). Suppose h = 35*t - i*t - 282. Is t composite?
True
Let z = 79 + -48. Let j = -31 + z. Suppose 2*s + j*y - 1458 = 4*y, 0 = 4*s - 5*y - 2901. Is s a prime number?
True
Let o = 9573 + 9687. Suppose 0 = 7*j - 3*j + 4*c - o, -5*j + c = -24099. Is j a composite number?
True
Let x be -3 + 5/2 + (-155)/(-62). Suppose -x*k + 33*f = 28*f - 299, k - 145 = 4*f. Is k prime?
True
Suppose -6*m - 28*m - 102 = 0. Is (-1 - -11277)*(104/32 + m) composite?
False
Let x(w) = 10095*w**3 - 38*w**2 + 128*w + 10. Is x(3) a prime number?
False
Suppose 2*h - 3834 = 5888. Suppose -11*k - h = -12*k. Is k prime?
True
Let m(f) = 445*f**2 - 78*f + 612. Is m(-29) a composite number?
True
Suppose -19*t - 168 = -21*t. Let x = t + -79. Suppose 4*p + x*o = 2*o + 841, 5*p = 3*o + 1058. Is p a prime number?
True
Suppose 4*t - 2*o - 568080 = o, 2*t - 284026 = -2*o. Is t a prime number?
False
Let w = -536872 + 767329. Is w prime?
False
Let r = 114 - 56. Let y = 64 - r. Is (24/32)/((y/232)/3) composite?
True
Let c(n) = 18098*n**2 - 224*n - 676. Is c(-3) composite?
True
Let c(f) = -526*f - 10. Let v be (3 + -2 - 6) + 3. Let p be c(v). Suppose 0 = -h - h + p. Is h prime?
True
Let w = -17587 + 28004. Is w a composite number?
True
Let c = -561 + 560. Let n(z) = -3892*z**3 - 4*z**2 + 3. Is n(c) a composite number?
True
Suppose -6*w + w + 25 = 0, 5*p - 199995 = -w. Let f = -14131 + p. Is f a prime number?
True
Let z(l) = 92632*l**2 + 8*l - 1. Is z(-1) a prime number?
True
Let n = -5426 + 13648. Let x be (2 + (-2984)/(-1))/(28/42). Let c = n - x. Is c prime?
False
Suppose -a - 5*f + 12487 = -12717, 0 = -3*a - 4*f + 75667. Suppose 0 = 11*k - a - 324. Is k a composite number?
True
Suppose 0 = 16*d - 33*d + 9*d + 1918168. Is d prime?
False
Let a be (-6)/(-3*(-4)/(-1448)). Let x = -345 + a. Is (x/(-6))/(2/(-12)) composite?
False
Let v(a) = 7*a - 10. Let z be v(-7). Let t = 238 + z. Is t composite?
False
Let q be -3*(32/36 + -1)*39. Let w be ((-32)/52)/(-4) + 999/q. Let s = w + -8. Is s prime?
False
Let n(c) = -1148*c - 84. Let v(i) = 574*i + 41. Let l(x) = -6*n(x) - 13*v(x). Is l(-3) prime?
True
Suppose -3*r - j - 44483 = r, -3*j = -3*r - 33366. Let d = 1817 - r. Is d a prime number?
False
Let s(g) be the first derivative of g**3/3 + g**2/2 + 25*g - 2. Is s(6) composite?
False
Suppose -28*h = 14 + 126. Let y(g) = 0 + 5 + 21 - 81*g. Is y(h) a composite number?
False
Let a(l) = -l**2 - l - 1. Let j(x) = 214*x**2 - 3*x - 3. Let y(m) = -6*a(m) + j(m). Let d be (-3)/7 + 22/(-14). Is y(d) prime?
True
Suppose 3*d + 98 - 1220 = 0. Suppose 3*s = -2*r + 403, 3*s - 647 = -5*r + d. Suppose -3*m - 170 = -c, m = c + 44 - r. Is c a composite number?
True
Suppose -3*o + 5*y = -5*o + 113268, 4*o + 3*y - 226522 = 0. Is o a prime number?
True
Let m = 55 - 50. Let n be m/(3 + 176/(-58)). Let q = n - -288. Is q prime?
False
Let y = -27 - -39. Suppose 0 = 4*n - y*n + 488280. Suppose n = 9*u - 210. Is u a prime number?
False
Let q(d) = -39*d + 124. Suppose 0 = 4*v + 4*f + 100, 18*v + 3*f - 133 = 23*v. Is q(v) a prime number?
False
Suppose 45*q - 19*q - 1687387 = 13*q. Is q composite?
True
Suppose 0 = 12*w - 16*w - 32. Let x be 2/w - 1/((-8)/19602). Suppose 9*n = x + 27043. Is n a prime number?
False
Let x = -6 - -64. Let z = x - 22. Suppose -z - 95 = -u. Is u composite?
False
Let m(b) = 11*b**2 + 4*b + 3. Let c be m(-2). Suppose -29 = 5*k - c. Is (-11)/(-11) + k + 623 composite?
True
Suppose -5*a - 1803601 = -2*n, -3*a - 893168 = -2*n + 910451. Is n prime?
False
Suppose -x + 40 = -y - 32, -2*x - y = -138. Let l = -869 + 870. Is 248 - (x/(-28) - l/2) composite?
False
Let o(d) = 1662*d**2 + 61*d - 623. Is o(10) a composite number?
True
Let j(d) = -d**3 + 15*d**2 - 13*d - 10. Let g be j(14). Suppose 7*p - 5*p - 314 = -5*o, -g*o - 785 = -5*p. Is p composite?
False
Suppose -556