 + -6)*-1 prime?
True
Let g = 1264512 - 630455. Is g prime?
False
Suppose 11*f - 1915933 = -3*m, -3*m = -42*f + 39*f - 1915863. Is m composite?
True
Is 10/60 - ((-866570)/60 - -5) composite?
True
Suppose -5*i = -w + 15, -5*i + 45 = 3*w - 0*i. Let p be (-180)/((9/w)/(2/(-5))). Is 16/p - 7213/(-15) a prime number?
False
Let s = -14048 - -26205. Is s a prime number?
True
Suppose 2550595 + 705361 = 13*k + 9*k. Is k prime?
False
Let x = 2713 - 462. Let h = x - -1464. Is 18/(-45)*h/(-2) prime?
True
Suppose -5*s + 2*o = -31393, -3*s - 404*o = -408*o - 18819. Is s prime?
False
Is (455 - 457)/((1/(-12777))/((-47)/(-6))) composite?
True
Is 10/(-8)*(-1808200)/125 a composite number?
True
Let t(g) = 7*g**2 - g + 11. Let l(p) = 2*p**3 - 13*p**2 + p + 10. Let u be l(6). Let h be ((-25)/u)/(1/(-4)). Is t(h) prime?
True
Suppose -4*p = -4*b - 1800872, 2*p - 4*b - 1026892 = -126438. Is p a composite number?
False
Suppose -4*g - 12 = 4*m, -g - 5*m - 29 = -3*g. Suppose g*r - 14 = -3*i, 5*r - 2 - 14 = 2*i. Suppose 2*z - 2*s = s + 89, -3*z + i*s + 121 = 0. Is z composite?
False
Suppose -17*s + 76071 = -175495. Suppose -3*k = p - s, -2*p + 8 = -2. Is k a composite number?
False
Let h = 128 - 118. Is (-9059)/2*h/(-1) composite?
True
Let j = 77 - 46. Suppose -h - 4*h - 2*a = -j, 2*a = -h + 11. Suppose 7042 = h*v - s, -12*v - 4*s = -7*v - 7057. Is v a prime number?
True
Let k(j) = 80490*j + 3683. Is k(2) composite?
False
Let m(d) = 373*d**2 - 252*d + 24. Is m(-13) a prime number?
True
Let g(d) = -2*d**3 + 9*d**2 - 7. Let o be g(4). Suppose -42*b - o = -45*b. Suppose 2*r = 4*a + 614 - 2102, -a + 365 = b*r. Is a composite?
True
Let b(v) = 10*v**2 + 17*v - 523. Is b(28) composite?
False
Let a = -5923 + 2844. Let u be (8090/(-1))/5 + -2. Let j = u - a. Is j a prime number?
True
Let c be -4*(-7)/70 + 2324/(-10). Is (-3)/30*c - 1/5 a composite number?
False
Let x(f) = 11*f**3 + 27*f**2 + 42*f - 16. Let u(b) = -4*b**3 - 9*b**2 - 14*b + 5. Let o(g) = 17*u(g) + 6*x(g). Is o(-8) composite?
True
Let s(t) = 1535*t**2 - 8*t + 10. Let f be (-2)/(-6)*(9 - 6). Is s(f) composite?
True
Suppose -2948*u + 380535 = -2933*u. Is u prime?
False
Let d be -4*1/2*-4. Suppose d*g = 4*g + 3*y + 9332, 2*g - 4666 = -2*y. Is g a prime number?
True
Let a(b) = -146042*b + 1169. Is a(-4) a composite number?
False
Let v = -342596 + 580555. Is v a prime number?
True
Suppose 80*l - 76*l - 31312 = 0. Suppose -a - j = -4*j - 2606, -j = 3*a - l. Is a prime?
True
Is (-3862684668)/602*(-1)/4 - (-3)/42 a prime number?
False
Let i = -127489 - -222362. Is i a prime number?
True
Suppose -2*j + 172 = 3*j + c, -5*j = 2*c - 169. Suppose t + j = 4*v - 4*t, 0 = -v + 2*t + 11. Suppose -v*y + 1952 + 1833 = 0. Is y a composite number?
False
Is ((-945)/50 + 2/5)*-74 a composite number?
True
Let u be (0 - -1379)*(-3 + 6). Let a = 4045 + u. Is a a composite number?
True
Suppose 2*w - v = 16, 2*v = w - 5*w + 48. Is (-4)/10 - ((-4974)/w + -5) composite?
True
Let l(u) = 167797*u**3 - 2*u**2 + u + 1. Is l(1) a composite number?
True
Let h be 22 - (4 + -1 + -1). Suppose -8 = 3*w - h. Is (w/(-4))/(2/(-7333 - -3)) prime?
False
Suppose c + 4*d - 117497 = 0, -59*c = -62*c + 5*d + 352440. Is c composite?
True
Let a be 2/(-4) + 5984/64. Let i = -90 + a. Is (6695/15 + i)*(-3)/(-2) prime?
False
Suppose -1376784 = -18*a - a - 122233. Is a prime?
True
Let k(t) = -975*t + 171257. Is k(0) composite?
True
Let o(j) = 21*j + 17*j - 36*j + 2 - 5 + 2*j**2. Let w be o(2). Suppose w*x - 6279 = 5214. Is x a composite number?
False
Let r(w) = w**3 + w. Let c(d) = 3*d**3 + 2*d**2 + 4*d + 2. Let i = 79 + -80. Let b(s) = i*c(s) + 2*r(s). Is b(-3) a prime number?
True
Suppose -26 = -5*z + 29. Let s(w) = -z - 10 - 41*w + 4 + 2. Is s(-14) a prime number?
False
Suppose -p = -4*g + 28, -24 = -2*g - 4*p + 8. Is (g + 1023)*(4 - 3) a prime number?
True
Let i(m) = 3137*m**2 - 6*m + 7. Let q be i(2). Suppose 0 = 3*u + u + l - q, -u + l + 3137 = 0. Suppose -5*t = -3*c - u, -5*c = -t - 3*c + 623. Is t composite?
True
Let d = -76 + 84. Suppose a + 5 = d. Suppose -a = -3*i, -284 = -3*m + 4*i - 42. Is m a composite number?
True
Suppose 5*l - 2*i = 30538, 3*i + 13 - 1 = 0. Suppose -13*u - l = -11*u. Let s = -1692 - u. Is s a prime number?
True
Suppose 5*y + 4*s + 7877 = s, 7884 = -5*y + 4*s. Let b = -1048 - y. Let k = -337 + b. Is k prime?
True
Let v = 7409 - 4956. Let m = 3570 - v. Is m composite?
False
Let d(w) = -3*w + 39. Let i be d(14). Let x(j) = -146*j + 49. Is x(i) prime?
True
Suppose -3451*z = -3490*z + 12778311. Is z a prime number?
False
Let m = 50 - 50. Suppose g - 2 + m = 0. Suppose -z + g*z = -4*i + 4103, -i + 20420 = 5*z. Is z a composite number?
True
Let j = -162088 + 617715. Is j a composite number?
False
Let f be (-14 - (-36)/4)/((-2)/(-24)). Is 3 + 6125 - f/20 composite?
False
Suppose 157*s = 166*s - 26667. Suppose 0 = -14*i + 6795 + s. Is i a composite number?
True
Let b(j) = -2*j**3 - 15*j**2 + 5*j - 15. Let o be b(-11). Let x be 24/8 - 1*379. Let u = x + o. Is u composite?
False
Let v be -2*(-9)/(-6) - -6. Suppose 3*r + v*r = 7146. Suppose 4*g - 307 + 769 = 2*u, -5*u + r = 2*g. Is u a composite number?
True
Let v = 63080 + -35083. Is v a prime number?
True
Let s be 4/6 + 2072/42. Let f be (6/15)/((-10)/s). Is (-10694)/(-8) + f/(-8) prime?
False
Suppose 4*p + 159833 = 5*k, 2*k + 0*p = -5*p + 63953. Is k prime?
False
Let l = 1539 + -689. Let y = -475 + l. Suppose 0 = 3*v - 3186 + y. Is v a composite number?
False
Suppose 7*w = 16 + 12. Suppose w*q + 3*h - 1177 = 0, h + 1197 = 5*q - q. Suppose q = 3*j - 56. Is j composite?
True
Suppose -4*o + 3*c + 68 = 0, o = 6*o + 2*c - 108. Suppose o*a - 154385 = 19755. Is a a composite number?
False
Suppose 5*y - 3*b = 245, -6*b - 98 = -2*y - b. Let o = y - 52. Let l(t) = -63*t + 20. Is l(o) composite?
True
Let f = 2962 + -2970. Let g = 2 + -1. Is g*((-1)/(-2)*f - -11265) composite?
False
Let p(h) = -3917*h + 67. Is p(-2) composite?
False
Let r be (-90)/(-4) + (-15)/10. Let l(g) = 23*g - 8. Let m be l(r). Suppose w = -m + 2276. Is w composite?
False
Let i(s) = -13*s**2 - 9*s - 15. Let b(v) = -13*v**2 - 8*v - 15. Let c(l) = 6*b(l) - 7*i(l). Is c(-7) composite?
False
Let g(r) = 512*r + 5. Suppose -f = -36 + 33. Is g(f) a prime number?
False
Let m = 169 - 167. Suppose -300 = 3*a - 2*l - 13281, m*a - 2*l - 8654 = 0. Is a a composite number?
False
Let b(p) = 109*p**2 - 7*p + 1. Suppose 5*g = -2*r - 3*r + 25, 3*r - 14 = -2*g. Is b(g) a composite number?
False
Let u = -74594 - -160165. Is u a composite number?
False
Is ((1892766/(-30))/((-20)/(-50)))/((-2)/4) a prime number?
True
Let v = 22820 + -14490. Is 0/6 + (v - 1) a prime number?
True
Let g(m) = -4*m - 12. Let o be g(-3). Suppose -19*r - 2*r + 191121 = o. Is r a prime number?
False
Let b = 242009 - 75576. Is b a composite number?
True
Let a(o) = -o**2 - 24*o - 33. Let s be a(-23). Let h be 1129/5*2 + 6/s. Let x = 42 + h. Is x a prime number?
False
Let k(g) be the first derivative of 16*g**3/3 - 15*g**2/2 + 11*g + 5. Suppose -2*n + 5*w + 26 = -n, w - 26 = -5*n. Is k(n) prime?
False
Suppose z = 25352 + 1344. Let i = z - 14667. Is i a prime number?
False
Suppose 16*k + 3*o = 19*k - 1676589, 3*k = o + 1676589. Is k a prime number?
True
Suppose -5*k + 4 = -3*k. Suppose -1 - 14 = 5*p, -v = -k*p - 149. Suppose -5*r - 353 = -4*o - v, 4*r - 8 = 0. Is o a composite number?
True
Let v(m) = -9*m + 22*m - 760*m**2 + 5 - 60 + 793*m**2. Is v(12) a prime number?
False
Suppose -31667498 = -228*s + 34326418. Is s a composite number?
True
Let u = 100 + -89. Let y(p) = 29*p**3 - 317*p**3 - 55*p**3 + u + 6*p. Is y(-2) composite?
True
Let w = 41 + -53. Is 6/(-9) - 42140/w composite?
False
Let p(m) = 230 + 5*m + 0*m - 216 + 5*m**2. Let g be p(-10). Let j = g + -87. Is j prime?
False
Let u(c) = -c**2 - 7*c + 2. Let r(q) = q + 1. Let a be r(-8). Let s be u(a). Suppose -s*n - 106 = -g + 41, 270 = 2*g + 2*n. Is g composite?
False
Let k(n) = 3*n - 22. Let t(l) = l + 3. Let g be t(6). Let i be k(g). Suppose -4570 = -i*x + 1515. Is x prime?
True
Let k(t) = -t - 9. Let f be k(-12). Suppose 0 = 5*v - y - f, -6*y + 2*y = -8. Is (4/8)/(v/382) prime?
True
Let m = -135260 + 264117. Is m prime?
True
Let p(a) = -29 + 0 + 8 + 65*a. Is p(4) prime?
True
Let j(a) = 9*a**2 - 3*a**2 - 17 - 5*a**2 + a**2