site number?
True
Let b(h) = -h**3 - 4*h**2 + 3*h + 8. Let r(j) = j**2 - 18*j + 11. Let k be r(17). Let a be b(k). Suppose o = 4*d - 77 - a, 0 = -2*o + 2. Is d composite?
True
Let y(u) = -10*u**2 + 2*u + 3. Let b be y(-1). Let f(q) = 10*q**2 + 1. Let l be f(1). Let s = b + l. Is s a prime number?
True
Let v(n) be the third derivative of 41*n**4/12 + 8*n**3/3 - 10*n**2. Let p be v(-7). Is 1 - 2 - (4 + p) a composite number?
True
Let g(k) = 99*k - 62. Let o(t) = 49*t - 31. Let r(q) = 3*g(q) - 5*o(q). Is r(11) composite?
False
Is -1*(-1 - (-46254)/(-3)) prime?
False
Suppose -w + 0*w + 208 = 4*n, 3*n = w - 243. Let t = 619 - w. Is t prime?
False
Let k = -57 - -65. Suppose 0*f + 3*f = 93. Suppose -f = -3*s + k. Is s a composite number?
False
Is 264357/24 - 11/(-88) prime?
False
Is 63931998/1140 - (-3)/10 prime?
True
Let h(j) = 5*j**2 + 0*j**2 + 6*j - 20 + 7 + 3*j. Let d be h(10). Suppose 5 = 5*n, 0*n = -3*x - 4*n + d. Is x prime?
True
Suppose -39 = -4*s - 5*j, -2*j - 21 = -2*s - 3*j. Suppose s*c - 573 = 8*c. Is c prime?
True
Suppose 5*y - 4*y = -2*s + 4, -y + 4*s = 8. Suppose -2*t + 0*t + 694 = y. Is t composite?
False
Let l(f) = 13*f**2 - 3*f - 8. Is l(-6) composite?
True
Let v = 678 - -5465. Is v a prime number?
True
Let j(x) = 19971*x**2 - 29*x - 27. Is j(-1) a prime number?
True
Let p be 3*(3 - (-237)/(-9)). Let s = p - -113. Suppose 4*v = -5*q + 1055, -5*q = -5*v - 1012 - s. Is q composite?
False
Let q(j) = -55 + 59 + 3*j**2 - 9*j + j**3 + 6*j**2 + 0*j**3. Is q(-6) composite?
True
Let j(r) = -380*r + 5. Let i be j(-4). Suppose -4*k = -2*x - 9258, 0 = 5*k - 2*x - i - 10050. Is k composite?
True
Let z = -38155 - -60206. Is z a composite number?
False
Let z(a) = a**3 + 8*a**2 + 2*a + 3. Let b be z(-6). Let r be b/14*(-2)/(-3). Suppose 3*u - 153 - 313 = f, -u + 172 = r*f. Is u a composite number?
False
Is ((-14)/4 - -4)*1814 prime?
True
Suppose -7*j - 97 = -5298. Is j a composite number?
False
Suppose 0 = c + 2*c - 9. Is c + (-2 - -4)*157 a prime number?
True
Suppose 20224 = 4*l - 3*d, -4*l + 2*d + 25273 = l. Let x = l + -3516. Is x composite?
True
Suppose -14*r = -4*r - 570930. Is r a composite number?
True
Let b(a) be the third derivative of 0*a - 1/6*a**3 + 7/30*a**5 + a**2 + 7/12*a**4 + 0. Is b(-10) composite?
False
Suppose -15*r + 14*r = 0. Suppose r*u - 3*j = -u + 277, -2*u + 514 = 4*j. Is u a composite number?
True
Let k(g) = 233*g**2 + 26*g - 10. Is k(-6) prime?
False
Let j(v) = 5*v - 7. Let g be j(6). Let c = 15 + g. Let x = c - -45. Is x prime?
True
Suppose 366 = -8*k - 250. Let l = k + 128. Is l a prime number?
False
Let b(a) = 1374*a + 71. Is b(2) prime?
True
Let f = 39 + 6. Let k = 98 - f. Is k prime?
True
Suppose 17*n - 14*n - 324 = 0. Suppose -n*v - 409 = -109*v. Is v prime?
True
Suppose 2*d = 0, -i = 3*i - d - 1128. Let x = 133 + i. Is x a composite number?
True
Let u(m) = m**3 + 5*m**2 + 3*m - 6. Let x be u(-3). Is 2/x*105372/24 a prime number?
True
Is 4/16 + (-8217)/(-12) prime?
False
Let x = -363 - -1342. Is x composite?
True
Let s = -5 + 11. Let i be (-56)/(-12) + 2/s. Is 1254/i - (-2)/10 composite?
False
Let s(n) = -n**3 + 4*n**2 - 3*n + 3. Let i be s(3). Suppose -i*o + 3*m + 9 = -0*m, o - 2*m = 6. Let b(f) = -f + 761. Is b(o) a composite number?
False
Let a(g) = g**3 + 4*g**2 - 9*g - 4. Let f be a(6). Let w = -15 + f. Is w composite?
True
Is 735 + (2/4)/(2/(-8)) prime?
True
Let k(v) = -3*v - 12. Let q be k(-2). Is (-310)/q - 7/(84/8) a prime number?
False
Let n(u) = -15*u**3 - 13*u**2 + 15*u + 13. Let o(p) = 7*p**3 + 7*p**2 - 8*p - 7. Let j(w) = 6*n(w) + 11*o(w). Is j(-2) a prime number?
True
Let x = 331 - -165. Is x + (1 - (-4 + 2)) a composite number?
False
Let f(o) be the first derivative of 5*o**3/3 + 3*o**2 + 3*o - 3. Is f(-4) prime?
True
Suppose -3*b + 2232 = -3*d, 2*b + 2*d = -3*b + 3692. Let a = b - 451. Is a composite?
True
Suppose -13*q = -7*q + 12. Is ((-4)/8)/(q/724) a composite number?
False
Let a(d) = 2*d**3 - 8*d**2 - d + 9. Let t be a(4). Suppose -t*j + 2*m = -573, -10 = 5*m + 10. Is j composite?
False
Let g = 1970 - 1261. Let c be (-16)/(-24)*(8 - 2). Suppose -4*v + g = 3*w, 2*w - 1187 = -3*w - c*v. Is w composite?
False
Suppose -5*j = 5*n - 4*n - 9505, 5*j - n - 9505 = 0. Suppose 6*l + 2*u = 2*l + 1512, 5*l = 3*u + j. Is l prime?
True
Suppose -4*k + 3 - 23 = 0. Let g(t) = -223*t + 4. Is g(k) a composite number?
True
Suppose 18499 = 3*w - 2*t, -5*w + 2*w + 5*t + 18514 = 0. Is w prime?
True
Is (-24)/(-6) + 8719 - 4 a prime number?
True
Let u be 2*1/(-7) + 56/196. Let s be ((-139)/2)/(1/(-10)). Suppose -5*f + 0*f + s = u. Is f a composite number?
False
Suppose 0*l - 672 = -3*l - 3*k, l = 2*k + 212. Suppose l = w - 5*m, 2*m + 0*m = -2. Is w a composite number?
True
Let r(b) = 14*b**3 + 2*b - 5. Is r(3) a composite number?
False
Let f(z) = -659*z**2 - z + 26. Let g be f(-5). Is g/20*(-7 - -2) composite?
False
Let g = 61 - 52. Suppose -g*b + 4442 = -247. Is b a prime number?
True
Let x(y) = 806*y**3 - y**2 + y - 1. Let g(j) = -j**3 + 7*j**2 + 8*j + 1. Let i be g(8). Let o be x(i). Suppose -290 = 5*a - o. Is a a prime number?
True
Is ((-12778)/13)/(22/(-143)) composite?
False
Let k = -336 + 652. Let t = 447 - k. Is t composite?
False
Let l be -6 + 1 - (5 - 24549). Suppose 0 = -14*c + l + 2747. Is c a composite number?
False
Let u be (4/10)/(3/45). Suppose 0 = -3*g - 2*g - i + 2, -u = -3*g + i. Is 390 - (-3 + 1 + g) a prime number?
False
Suppose -13*a = -990 - 10697. Is a composite?
True
Let l(f) = -2*f**3 + 2*f**2 + 8*f + 5. Let p(y) = 2*y**3 - y**2 - 8*y - 4. Let a(v) = 6*l(v) + 5*p(v). Is a(-5) prime?
False
Let o = 244 - 153. Suppose 2*w + p = 103, 0 = -5*w + 4*w - 5*p + 47. Let t = o - w. Is t composite?
True
Let l be (407/(-44))/(1/(-12)). Let a = 4 + -20. Let y = a + l. Is y composite?
True
Let u be (0/(-1))/((-12)/4). Suppose 3*y - l - 1662 = u, y - 2*l + 547 = 2*y. Is y a composite number?
True
Let i(p) = 12*p**2 - 15*p + 154. Is i(-17) a composite number?
False
Let b(x) be the first derivative of -241*x**2/2 + 9*x + 13. Let f(v) = -482*v + 18. Let m(j) = 11*b(j) - 6*f(j). Is m(4) a prime number?
False
Let p = 51 - 39. Suppose 9297 - 813 = p*a. Is a a composite number?
True
Suppose t - 9*f = -10*f + 421, -4*f - 848 = -2*t. Is t a composite number?
True
Let w(n) = 13*n - 11. Let v be w(3). Let d be 6/15 - (-94)/(-10). Is (d/6)/((-3)/v) a prime number?
False
Suppose 48657 + 59153 = 10*x. Is x a prime number?
True
Let h(d) = -588*d**3 + 3*d + 2. Let a be (-14)/105 - 1029/45. Let r = 22 + a. Is h(r) a prime number?
True
Let h(t) = -t + 12. Let n be h(0). Let i be (8/(-6))/(n/(-18)). Suppose 0*z = -i*z + 838. Is z a composite number?
False
Suppose -15*u - 12 = -17*u. Let a be u/(-4)*(-4592)/(-21). Let v = a - -483. Is v composite?
True
Let a(u) = 1368*u**2 - 1. Is a(1) prime?
True
Let a(v) = -5*v**2 - v - 1. Let o be a(-1). Let f(i) be the first derivative of 31*i**3/3 - 5*i**2/2 + 9*i + 134. Is f(o) composite?
False
Let l(o) = -10*o + 3. Let y(m) = -m**2 + 12*m - 5. Let b = 13 + -1. Let k be y(b). Is l(k) a composite number?
False
Is ((-3)/1)/((-162)/635958) a prime number?
True
Let k(f) = -22*f - 2. Let v be k(3). Let m = -42 - v. Suppose -9*w = -11*w + m. Is w a composite number?
False
Suppose 5*l + 577 - 2457 = 0. Suppose -6*w + w = -b - 464, -4*w - 4*b = -l. Is w composite?
True
Let m = 18 + -15. Suppose m*y + 126 = 489. Is y composite?
True
Is (35/(-280) + (-1771934)/16)/(-2) prime?
True
Suppose -3*k = 3*k + 2*k. Suppose 9*t - 9610 - 1091 = k. Is t prime?
False
Suppose 25*k - 29*k = -32. Let r(q) = 20*q - 15. Is r(k) a composite number?
True
Let q = -1086 - -394. Let t(w) = w - 1. Let x be t(-3). Is q/x*4 + -3 a prime number?
False
Suppose 3*f - 3*h - 39 = 0, -9*f - h = -4*f - 59. Let y(v) = -11*v + v - f*v - 7 - 21*v. Is y(-6) prime?
True
Let t(i) = -10*i**3 + i**2 + i. Let h be t(-1). Is 4/h + 11944/40 composite?
True
Suppose -x - 2*z = -44207, -2*x - 132612 = -5*x - 3*z. Is x a prime number?
True
Is 1564 - (-22 - -24 - (0 - -1)) a prime number?
False
Let w = 3 - -2. Suppose 0 = w*u - 8*u + 7311. Is u a composite number?
False
Let p = -52 - -37. Let b be (-854)/(-10) - (-6)/p. Is ((-12)/(-30))/(1/b) a composite number?
True
Let h = -147 - -43. Is 1146/(-8)*h/39 prime?
False
Let h = -118 + 129. Suppos