 a prime number?
True
Let h(m) = 2*m**2 + 4*m + 2. Let q be h(-2). Let o be (q + -2)*(-2)/(-4). Is (o - 1)/(752/251 + -3) composite?
False
Let q be (172/(-8) + 2)/(3/(-4)). Suppose 2*t + 31 = 3*x, -2*t - 2*t = 2*x - q. Suppose 249 = x*k - 2336. Is k prime?
False
Is 3 - -315201 - (-14 + 5) a prime number?
False
Let b = -4181 - -1870. Is (-5 - -2) + 2 + -1 - b a composite number?
False
Let p(m) = -m**2 + 28*m + 2. Let x be p(28). Let s(g) = 0*g**2 + 32*g**x - 10*g - 18*g**2 - 39. Is s(16) composite?
True
Let w(o) = -o**3 - o**2 - o - 1. Let x(z) = -5*z**3 - 3*z**2 - 6*z - 10. Let m(j) = -6*w(j) + x(j). Let a be m(-3). Is (a/8)/(843/282 - 3) a prime number?
True
Let g = 4190 - 1605. Let l = 3696 - g. Is l a composite number?
True
Suppose -3*c = -c - 452. Let f = c - -519. Is f a composite number?
True
Let n(m) = -423*m - 59. Let d(o) = 1691*o + 234. Let k(v) = -2*d(v) - 9*n(v). Is k(20) composite?
False
Suppose 4*v + 4054 = 2*c, -v + 4*c + 74 - 1070 = 0. Let o = 1651 + v. Is o composite?
True
Let d = 1243 - 168. Suppose 4*m + 2676 = 4*k, 2682 = 4*k - 2*m - 0*m. Let c = d - k. Is c a composite number?
True
Let i be (-4)/26 + (-56)/(-26). Suppose -49 = -4*j + 4*u + 103, i*u + 8 = 0. Let f = j - -333. Is f prime?
True
Let u = 56476 - 31389. Is u prime?
True
Suppose -25 = -5*j - 5. Suppose j*d - 701 = 3*c, -3*c = d - 5*c - 169. Is d a prime number?
True
Is 2*(-5)/(-155) + (-12200634)/(-558) a prime number?
False
Is (-1)/12*-12 - -18810 a composite number?
True
Let t(i) = 227*i + 10. Let z(b) = -227*b - 14. Let c(o) = -4*t(o) - 5*z(o). Is c(29) a composite number?
True
Let j(r) = 127*r + 24 + 184*r - 3*r + 87*r. Is j(1) composite?
False
Suppose -2*v + 241282 = -3*j, 4*v + 4*j = -0*v + 482564. Is v prime?
True
Suppose -19*s + 16 = -17*s. Is -7 + -3 + s + 2500 a composite number?
True
Suppose 6*w - w + 14*w = 439033. Is w prime?
False
Suppose h + 2*v - 469 - 572 = 0, 2*v + 4 = 0. Suppose -f - 166 = u - h, 5*u = 5. Is (f/6)/((-46)/(-9) + -5) a composite number?
True
Suppose 1538736 + 1457049 = 3*i + 4*j, 2*i - 1997213 = 5*j. Is i a prime number?
False
Let h = 8 + 25. Let p = 34 - h. Is (p - 3/(-2))/((-3)/(-102)) a composite number?
True
Is (11 + 331352/35)*5 prime?
False
Let w be (15 + -7)*2/4. Suppose -w*o + 6 + 14 = 0. Suppose o*b - d - 573 = -3*d, 3*b + d - 343 = 0. Is b a prime number?
True
Suppose 8 + 8 = 2*s. Suppose 3*g - 5 = s*g. Is (-2 - g)/(5/(-1465)) a prime number?
True
Suppose 19*k + 945894 = 23*k - 2*m, 8*k - 1891787 = 3*m. Is k composite?
True
Let r(b) = -6 - 311*b - 116*b - 352*b - 777*b. Let m be r(-2). Suppose 0 = 10*c - m - 2804. Is c prime?
False
Let d(h) = -308*h + 74. Let k be d(2). Let y = 957 + k. Is y a composite number?
True
Let z = 4 - 3. Suppose -4*k + 66 = 2*w - 5*w, 0 = -k + 3. Is (-1753 - z)*w/36 prime?
True
Suppose 4*a + 315371 = 5*q, q - 37142 = 5*a + 25907. Is q a prime number?
True
Let g be ((-4)/5)/((-1858)/(-465) + -4). Let z = g - -91. Let m = 528 - z. Is m a composite number?
False
Let x(n) = -7*n - 17 + 3 + 22*n + 14*n. Let f be x(-3). Let m = f - -178. Is m a composite number?
True
Let l(v) = 9*v**2 - 48*v + 632. Is l(-67) a composite number?
False
Is 15102/2 - -25*4/10 a composite number?
False
Let f be (-2)/(5 + -3 + -3). Suppose 3*l = h + f*l - 4190, h + 4*l - 4215 = 0. Is h a prime number?
False
Let x(g) = 31276*g**2 - 562*g + 3951. Is x(7) prime?
False
Suppose -4*b + 8*r + 13 = 3*r, -5 = -b + 3*r. Suppose o + g = 0, o - 3*g - b*g = 0. Suppose -4*x + o*x = -1948. Is x composite?
False
Suppose 3*v + b - 140 = 0, -v + 5*b + 212 = 3*v. Let y = v - 48. Suppose 0*h + 2*h + 4*r - 2158 = y, -1076 = -h - 5*r. Is h prime?
False
Let p(y) = -y**3 + 21*y**2 - 22*y + 42. Let a be p(20). Suppose -a*k + 7631 = 3*j + 406, -20 = 5*k. Is j composite?
False
Let f = 319 + -318. Is (f - 2)*(-675 - 10) prime?
False
Is (-165)/5445 + (-8765890)/(-33) a prime number?
False
Let s = -551222 + 805365. Is s a composite number?
True
Let v(z) = -6*z**3 + 13*z**2 + 13*z - 99. Is v(-30) a composite number?
True
Suppose 16 = 3*a - a. Let v(f) = -12*f**2 - 3*f + 3. Let l(w) = -13*w**2 - 4*w + 1. Let u(q) = 5*l(q) - 6*v(q). Is u(a) a composite number?
False
Let o = 7815 + -1804. Let u = -2020 + o. Is u composite?
True
Let r(z) = 13*z - 5. Let t be r(1). Suppose -11 = -3*l - t*l. Is ((-74)/(-6))/l - 10/(-15) composite?
False
Suppose -n = -4*q - 29889, 3*q - 2 = -14. Suppose 4*m + 3211 = -n. Is (4/6)/(-1 + (-8277)/m) a prime number?
True
Let l be (3 + 14/(-4))*-2 - 1. Let s(t) = t**2 + 5*t + 97. Let c be s(l). Let g = c + 124. Is g prime?
False
Suppose -7*f = -33 + 5. Suppose 16 = -f*w, -5*w - 7950 = -3*z + 10283. Is z a composite number?
True
Suppose -1464 + 35128 = 16*t. Suppose 5*l + 4*i = 3535, -7*l + i + t = -4*l. Is l prime?
False
Suppose r - 411 - 33 = 4*h, -5*h - r - 564 = 0. Is (14/(h/(-6294)))/((-6)/(-8)) a prime number?
True
Suppose -5*l - 2*r = -3074, -r = -0*l + 3*l - 1844. Let n = l - 363. Is n a prime number?
True
Suppose -4*z + o = -774164, 3*o + 340 = 340. Is z composite?
False
Suppose -3*u + 131*q - 130*q = -1031131, -2*u = -5*q - 687386. Is u a prime number?
False
Let c(b) = 142*b**2 + 109*b - 2839. Is c(44) a composite number?
False
Let z be (-1 - 4/(-8))/((-2)/4). Let q be (0 - 1/z)*-5. Let o(y) = 673*y + 6. Is o(q) a prime number?
True
Let d(k) = -k**3 - 5*k**2 - 2*k + 5. Let s be d(-5). Suppose 0 = 27*q - 28*q + 10520. Suppose -s*x - 5*x = -q. Is x a composite number?
True
Suppose -4 = -18*p + 16*p. Let o(d) = 92*d - 2 + p + 95*d. Is o(1) a composite number?
True
Suppose 0 = -25*d - 59*d + 9470244. Is d a composite number?
False
Is 5/15*-2 - 865774/(-6) a composite number?
True
Let y = -36877 + 82628. Is y prime?
True
Let c(d) = 60 - 402*d + 814*d + 596*d + 161. Is c(10) a composite number?
False
Suppose -4*o = -35041 + 1045. Let g be 1/(1/o) + 0. Is -2*(-2)/(12/g) a prime number?
True
Let t = 90745 - -250642. Is t prime?
False
Suppose 5*n + 35*x = 38*x + 804994, -4*n + 643979 = 3*x. Is n composite?
False
Let r = 2763 - -4840. Is r prime?
True
Suppose -30*z - 42 + 192 = 0. Suppose 4*u - 435 = -k, -43*u + 39*u - 2247 = -z*k. Is k a composite number?
True
Let r = 30 - 18. Suppose b + 0*f + 3*f = -r, -5*f = -3*b - 8. Is (-4 + 195/(-6))*b a composite number?
True
Let j(w) = 957*w**2 + 22*w + 168. Is j(-5) a composite number?
True
Suppose 4*t + 5 = -3, -5*p + 2 = -t. Let j be (-2)/(-26) - (-11408485)/715. Suppose 4*x + 2*z + 0*z - j = p, 3*x + z - 11967 = 0. Is x prime?
True
Is (-28 - 1)/((-817931)/102239 + 16/2) a composite number?
True
Suppose 3*a - 155 = 4*a. Suppose 0 = 13*l + 3067 + 12949. Let p = a - l. Is p composite?
True
Let y be (-57)/(-12) + 1/4. Suppose 0 = 5*n + p - 6*p - 2365, -2320 = -y*n - 4*p. Let w = n - 149. Is w prime?
False
Let n(q) = 653*q - 55. Let z be (-1)/6 + 206/12. Suppose -5 + z = 2*o. Is n(o) composite?
False
Let z(w) = 3142*w - 2503. Is z(63) a composite number?
False
Suppose 38*i - 224946 - 132596 = 0. Is i a prime number?
False
Let q = 2322 + -1402. Let l = q + 3461. Is l composite?
True
Let c = -54 + 30. Let v = 26 + c. Suppose -y = v*u - 923, 0*y - 2766 = -3*y - 3*u. Is y composite?
True
Let i be -32*((-1 - -7)/(-2) + 279). Let p = 3566 + i. Is (p/4 - -1)/((-180)/240) composite?
True
Let r(p) be the third derivative of 7/60*p**6 - 7*p**2 - 1/20*p**5 + 3/8*p**4 + 0 - 7/6*p**3 + 0*p. Is r(4) prime?
True
Let j = 201 - 186. Suppose 0 = -j*y + 9*y + 7698. Is y a prime number?
True
Suppose -123*j = -132*j + 18045. Let h = j - -2380. Is h composite?
True
Let n(u) = 517*u**2 - 87*u - 335. Is n(-4) composite?
True
Let w be (-42)/8*-4 - -3. Is (9357/18)/(4/w) prime?
True
Suppose -4*i + 2*h = 932, 11*i - 9*i - 2*h = -468. Let t = 770 + i. Is t prime?
False
Is 137615 - (-160)/70*7/2 prime?
True
Is (159492/(-96)*(2 + 2))/(3/(-6)) a prime number?
True
Suppose -9926 = -p + 17106. Suppose h = -8*r + 7*r + 13519, 2*r - h - p = 0. Is r a composite number?
True
Let y(u) = -u**2 + 7*u + 15. Let n be y(8). Let z(q) = -20*q + 6 + 37*q - q**3 + n*q**2 - 22*q. Is z(-9) composite?
True
Let r(g) = 2736*g**3 - 24*g**2 - 6*g + 1. Is r(4) a prime number?
False
Suppose 2*i = -3*i + 7035. Suppose 145*m - i = 142*m. Is m prime?
False
Let q(a) = a**2 - 8*a - 99. Let y be ((-48)/(-15))/(9/90). Is q(y) prime?
False
Is (45 - 