43, 4*b - 43*m = -47*m + 2037452. Is b prime?
True
Let b(f) = -562*f - 204. Let z(w) = -4*w - 1. Let p(x) = -b(x) + z(x). Is p(12) prime?
True
Let o(x) = 1401*x - 47. Let q be o(11). Suppose 73*y - q = 69*y. Is y prime?
False
Let t(m) = m**3 + 2*m**2 + 11*m + 42. Let n be t(15). Suppose -4*l - 5*s - 143 = -n, 2*l = -3*s + 1945. Is l prime?
True
Suppose 12736718 = 116*z - 22*z. Is z a composite number?
False
Let t(q) = 182*q**2 + 5*q + 5. Let v be 8*(78/12)/(-13). Is t(v) composite?
False
Let u(s) = 49*s**2 - 58*s**2 + 23 - 4 - 34*s + 3*s**3 - 2*s**3. Is u(17) a composite number?
False
Let g be (-3)/((20/(-72))/5). Let f = g + -51. Suppose 2*a = -10, f*r - 2*r = 5*a + 2964. Is r a composite number?
False
Suppose 4*w + 2*q = 2*w + 16, 2*w - 16 = -3*q. Let u be 1626/w - (1 + 6/(-8)). Let j = u - 46. Is j a prime number?
True
Let t be 0 - (-1 - (8 - 2)). Suppose -t*l = 4*l - 23969. Is l composite?
False
Let g(i) = 102*i**2 - 125*i + 136. Is g(33) composite?
False
Suppose -3*w = -4*c + 11 + 8, 10 = -5*c - 3*w. Let l be (51/(-18) + c/3)*-5210. Suppose -f - 4*f = -l. Is f a composite number?
True
Let j be 111/(-37)*4/6. Is ((-7)/j + -4)*-8254 prime?
True
Let a be 216/(-45)*(-60)/18. Suppose 2*l = -a + 22, -2088 = -3*d + l. Is d a prime number?
False
Let t = 32865 - 20012. Is t a composite number?
False
Let z(h) = -h**2 - 3*h + 11. Let w be z(-4). Suppose w*s - 5 = 2*s. Is (430 + s)/(((-6)/15)/(-2)) a composite number?
True
Let g = 1741 + 908. Is g a prime number?
False
Suppose 8358843 = 5*t + o + 3310087, -2*t = -3*o - 2019499. Is t prime?
False
Suppose 2*a = -4*a + 270. Is ((-3183)/(-9))/(3/a) a composite number?
True
Let a = -220 + 223. Is (5060 - a) + 2 - 0/(-3) composite?
False
Let a = -172 + 172. Suppose -3*u + 2*s + 17491 = a, 13*s = -5*u + 8*s + 29185. Is u prime?
False
Let o(k) = 10 + 78*k**2 - 11 - 4*k - 5*k. Is o(2) a prime number?
True
Let p = 47637 + -17936. Is p a prime number?
False
Let d(p) be the first derivative of -1/2*p**2 + 5/4*p**4 - 2 + 9*p + 4/3*p**3. Is d(4) prime?
True
Suppose -3*b - 43945 = -2*d, 24*d = 29*d + 4*b - 109897. Is d composite?
False
Suppose 0 = 3*c - 3*y + 98 - 194, 47 = c + 4*y. Is c composite?
True
Is 2905956/10 + (-378)/(-270) a composite number?
False
Let x(s) = -19*s + 24424. Let q be x(0). Suppose 3*g + q = 4*k, 0*k + g - 24408 = -4*k. Is k composite?
True
Let j = -128500 + 189503. Is j prime?
False
Is (-1 - -2)*(13977271/33)/(-7)*-3 composite?
False
Let k(b) be the first derivative of b**3/3 - b**2 + 25. Let f be k(3). Is (1 - 0)*((-3165)/f)/(-5) a composite number?
False
Suppose 2*u - 3*a - 21 = 0, 4*a + 56 = 5*u + 21. Let c be (5 - u)/2 - 4585. Let q = -3193 - c. Is q a composite number?
True
Suppose 4*c + h = 235488, 4*c - 501*h = -497*h + 235508. Is c prime?
False
Let k(x) = 2*x**2 - 39*x - 50. Let j be k(21). Suppose -j*o + 4790 = -3*o. Is o prime?
True
Suppose 2*h - h + 2 = 0, 5*w - h = -168. Let x = w + 32. Is ((-18)/(-27))/(x/(-963))*1 prime?
False
Let x = 479 + 15. Suppose 0 = -2*v + 1208 + x. Is v a prime number?
False
Let a be 0/((-1)/(5/25)). Suppose -n + 5711 - 754 = a. Is n composite?
False
Let h = 40 - 35. Suppose h*v - 14121 = 2*i, -3*i - 14123 = -5*v - 2*i. Suppose 11*d - 16*d + v = 0. Is d a prime number?
False
Let o(d) = 18*d**2 - 3*d - 2. Let r be o(3). Suppose 5*a - 116 = -4*x + 177, a = -2*x + r. Suppose 0 = v + 4*t - x - 752, t - 2 = 0. Is v composite?
False
Let q(a) = 26*a - 21. Let i(v) = -v - 1. Suppose -8*z + 8 = -4*z. Let r(k) = z*i(k) + q(k). Is r(5) prime?
True
Suppose -3*i - 32085 = 3*n, 7167 = 5*i - 5*n + 60602. Is 1/(-10) + i/(-10) a composite number?
False
Let n(u) = -1757*u + 2350. Is n(-3) a composite number?
False
Suppose -3*x + x + 32 = 4*k, 0 = -4*k + 4*x + 44. Suppose -2*h - 4 = 4*q, 4*h - k*q = -4*q + 31. Suppose h*o - 9559 = -7*o. Is o a prime number?
False
Let p(a) = a + 1. Let n be p(4). Suppose 3*d - 42 = -3*v, -n*v - 2*d = d - 64. Suppose 6*o = v*o - 955. Is o a prime number?
True
Let s = 248 + 129. Let r = s - 730. Let l = 687 + r. Is l composite?
True
Let k(p) = -5*p**2 + 4*p + 15. Let c = -79 - -71. Let g be k(c). Let w = g - -884. Is w composite?
False
Suppose -13*x + x - 125393 = -49*x. Is x a prime number?
True
Suppose 106395 + 75012 = -109*b + 872576. Is b composite?
True
Is (1 + 0)*-477538*(0 - 5/10) a composite number?
True
Suppose -2*m - 8*w + 26 = -9*w, 0 = 2*m - 3*w - 22. Suppose 2*o - 32345 = -5*j, 3*o = m*j - 13*j - 6469. Is j a composite number?
False
Suppose 3*d = h - 25 + 53, 5*h - 4*d + 85 = 0. Is (-155441)/h*4/4 a prime number?
False
Let v(n) = 3132*n + 6443. Is v(39) composite?
False
Let y = 41 - 41. Let s(d) = -d**3. Let j be s(y). Suppose -6*q + 5*q + 1097 = j. Is q prime?
True
Let p = -235 + 239. Suppose -4*f + i = -6*f + 4108, 2*i = p*f - 8208. Is f a prime number?
True
Is 3/(-3) + ((-202396)/(-6) - (-4)/(-6)) a composite number?
True
Suppose -40*q = -35*q + 3*s - 10, -2*q = 5*s - 23. Is q + -3 + 1084 + -2 - 1 prime?
False
Let o(m) = 122*m**2 + 20*m + 18. Let k be o(-7). Suppose -5*i - 1031 + k = 0. Is i prime?
False
Suppose 14*h - 36 = 2*h. Suppose -4*d - 11728 = -4*c, -9*d + 6*d = h*c - 8778. Is c a prime number?
False
Suppose -3*l + x + 4*x + 24 = 0, l - x - 6 = 0. Suppose 5*n - n - 5632 = 0. Suppose -l*f - h + n = 0, 4*f + 0*f = -h + 1877. Is f a prime number?
False
Let o(t) = -t**3 - 13*t**2 - 27*t + 3. Let h be o(-17). Suppose 5*f - 8290 = -3*p, -f = p - 42 - h. Is f composite?
True
Let i(s) = -74262*s + 1763. Is i(-7) composite?
True
Suppose 0 = 5*z + 3*c - 308764, 4*z - z + 5*c - 185268 = 0. Is z a composite number?
False
Let i = -11 + 8. Let x be 6/18*i*(1 - -3). Is 1*(x/10 - (-66321)/15) prime?
True
Let n be -45*(4/(-16) - 6/8). Let c be (0 - 1)/((-15)/n). Is (-1)/3 + 4198/c a prime number?
True
Is (24943/3)/((-43)/(-129)) composite?
False
Suppose -169728 = -4*v + 3*a, 5*v + 2*a - 248459 = -36322. Is v prime?
False
Let o(q) = 12952*q - 1103. Is o(7) prime?
True
Suppose 25 + 73 = 2*s. Let a = -36 + s. Suppose 0 = -a*u + 6*u + 1477. Is u composite?
False
Let k = 115 - 106. Let c be (k + -2)*(6 - 5). Is 3620/c + 2/(-14) a prime number?
False
Suppose 5*y - y = 142576. Suppose y = 13*f + 9423. Is f prime?
True
Let d(h) = -31008*h - 659. Is d(-16) prime?
False
Is 3/54 + 22684456/144 a prime number?
False
Is 34/(1088/3802916) - (-2)/(-16) a composite number?
True
Suppose -4*q = 8*f - 4320, 3*f = 7*q - 10*q + 3231. Suppose 2*p - o = -0*p + 5, 2*o = 2*p. Suppose -p*u = -3*u - q. Is u composite?
True
Let j be (-18*(-2)/14)/((-2)/(-7)). Suppose 5422 + 4289 = j*z. Is z prime?
False
Let r be 350/30 + -6 + 2/(-3). Suppose -5*u = 3*y + 44376 - 130825, -r*u = -4*y - 86463. Is u prime?
True
Let d = 17 + -6. Let v(z) = 50*z + 21. Let j(f) = -2*f + 1. Let m(u) = 6*j(u) + v(u). Is m(d) a composite number?
True
Suppose -11*p = -3*i - 9*p + 190905, 15 = -5*p. Is i a prime number?
False
Suppose -48 = -3*b + 2*c, b + 3*c + 65 = 5*b. Suppose 0 = -b*g + 98112 + 9660. Suppose -2*a + 4*t + 7578 = 0, 2*t - 7448 = -4*a + g. Is a prime?
False
Let b(w) = 3128*w + 583. Is b(21) prime?
True
Let k be (848/(-20))/(2/(-20)). Suppose 0 = 3*r + u - k - 50, 312 = 2*r + 2*u. Suppose r = -19*l + 22*l. Is l a prime number?
True
Let l = 447639 - 176578. Is l a prime number?
False
Is 17 + 236324 - (-2 + 5 + -1) a prime number?
True
Is (49545/(-90)*(-2)/(-3))/((-2)/898) a prime number?
False
Let m(z) = z**2 + z - 18. Let k be m(4). Let u(p) = 134*p - 13. Let r be u(k). Let a = r - -296. Is a prime?
False
Let d be -4 - (-10419 + 6 + -7). Is 6/2 + d/12 composite?
True
Suppose 0 = 4*i - 4*a - 89408, -a = -4*a - 6. Suppose 5*x = 2*q + i, 2*x + 2*q = -q + 8940. Suppose m - x = -14*m. Is m composite?
True
Suppose -z + 2*z = -z. Suppose 15 = -3*w + t - z*t, -19 = w - 5*t. Is ((-1757)/2)/(w/8) a composite number?
True
Suppose 0 = -n + 3*v + 44623, -2*n - 7*v + 89252 = -10*v. Suppose 0 = 8*t + 12573 - n. Is t prime?
True
Suppose 0 = -2*z + 3*o + 7, 2*o + 23 = 4*z - o. Let h(n) = 28*n**3 - 2*n**2 + 2*n - 1. Let q be h(1). Let y = q + z. Is y a composite number?
True
Let i = -344 - -361. Let z(c) = c**3 + 8*c**2 + 19*c - 55. Is z(i) a composite number?
True
Is -28824*(-72)/16 + -3 + 2 prime?
True
Let h = 6597 + -9329. Let r be -3 + (-1 + h)*(-1)/3. Let u = r + -421. Is u compos