 + p*w. Is w a prime number?
False
Let s(h) = -246*h - 41. Let z be (23970/36)/(-17) + (-1)/(-6). Is s(z) a composite number?
True
Let v = -244332 + 362998. Is v composite?
True
Suppose -4 - 11 = -5*g. Suppose 4*t + x = -0*t - 3, 0 = x + g. Suppose -4*i + t*d + 941 = -3*d, 2*i + d = 463. Is i prime?
True
Let p(v) = -1408*v + 15. Let l be p(-5). Suppose j + 5*b = 6*j - l, 4*j - 5632 = -2*b. Is j a composite number?
False
Suppose 145*u - 2421199 = 92*u. Is u a composite number?
True
Suppose 0 = 8*y - 1314 - 1774. Let j = y + -127. Is j composite?
True
Suppose 11 - 50 = d. Let n be 8 + d + 6/(-3). Is (n/(-12))/(1/148) composite?
True
Suppose -5*j - 11*h = -152379, -j + 2*h = 7*h - 30487. Is j composite?
False
Let x be (-4 - 67)*(-2 - 357). Suppose -x = -5*o - 2*c, -1274 = -o + 2*c + 3831. Is o a prime number?
True
Let t = 31797 + -22210. Suppose 25*q = 26*q - t. Is q a prime number?
True
Let w(k) = -13*k + 59. Let z be w(-24). Let r be 35*1*z/(21/3). Let l = r - 1314. Is l prime?
True
Suppose 44*v = 45*v. Let c(t) = t - 5 + 5*t + v*t - 8*t. Is c(-8) a composite number?
False
Let m = 528441 - 37048. Is m a prime number?
False
Let d be 19/152 + 23/8. Suppose 7981 = 2*p - d*o, -p = 2*o - 4*o - 3993. Is p prime?
False
Let k = -1387205 - -2850340. Is k composite?
True
Let l be (6/9)/(2/15). Let w(n) = -240*n + 35. Let t(z) = -240*z + 32. Let b(d) = -3*t(d) + 2*w(d). Is b(l) composite?
True
Let w be (-1340)/45 + 8/(-36). Let z be ((-18)/w)/((-2)/20). Let l(b) = -b**3 + 10*b**2 + 7*b - 11. Is l(z) composite?
False
Let w(t) = 726*t + 2. Let j be w(2). Let d = j - 667. Is d a composite number?
False
Suppose 2*k - 1051 - 469 = -2*z, 0 = -2*k + 3*z + 1500. Suppose 0 = r - 2*b + 4, -16 = -5*b + 4. Suppose r*v - 2*f = k, -3 = 5*f - 23. Is v a composite number?
False
Suppose 0 = -y - 6*y + 336077. Suppose -26*t + y = 15*t. Is t a prime number?
True
Suppose -50*c - 65*c - c = -13067980. Is c composite?
True
Suppose 9*b - 10*b - 3 = 0. Let a be b + (-245)/(-42) + 2/12. Suppose -2*f = a*n - 1031, 2*n + 2*n = -2*f + 1034. Is f composite?
True
Suppose -69 = -5*b + 3*i, -14*i + 39 = 2*b - 19*i. Suppose 0 = -4*p - d + 26934, -13464 = -14*p + b*p + d. Is p prime?
True
Let s be 11/(-33)*(-1 + 2)*3. Is ((-979)/55)/(s/235) a prime number?
False
Let n = -19881 - -33429. Is n/12 - (-4 + -2) composite?
True
Suppose 15 = 5*h - 5*c, 0 = -2*h - 0*h + 4*c. Suppose -21 = -h*t - t. Suppose -u + 5685 = 2*f + t*f, -4*u = -5*f + 5685. Is f a composite number?
True
Let q = 38 + -38. Suppose -5*w + 293 + 712 = q. Let s = w - -134. Is s prime?
False
Let d(a) = a + 16919. Let g(h) = h**3 + 19*h**2 + 36*h + 34. Let i be g(-17). Is d(i) composite?
True
Let q be (6/12)/(1/(-52)). Let o be 4/q + 1806/78. Suppose -o = -4*v + v - 2*i, -4*v = -5*i - 69. Is v a composite number?
False
Suppose 0 = 3*u - 15, 2*u = -171*r + 166*r + 2538665. Is r a prime number?
False
Is 3/27 + (991977/27 - 7) a composite number?
True
Let p be 16178 + (17/51)/(2/6). Suppose -3517 = 2*w - p. Is w a composite number?
True
Let x(h) be the first derivative of -7*h**4/2 - h**3 - 3*h**2/2 - 5*h + 432. Let f(t) = -t - 7. Let p be f(-4). Is x(p) composite?
True
Let g be 30/16 - (-8)/64. Let m be 3/(-12) + 17/4 - g. Suppose 5*t - 5*z = -7*z + 466, 0 = -z - m. Is t a composite number?
True
Suppose -112 = -12*y - 40. Is (y*(-2 - -1))/(12/(-12318)) prime?
False
Let k(w) = -2*w**3 + 11*w**2 - 37*w - 13. Let g(o) = -o**3 + 6*o**2 - 19*o - 6. Let a(m) = -7*g(m) + 3*k(m). Let r = 274 + -265. Is a(r) a composite number?
True
Is 12537093/513 - 2/(-9) a prime number?
True
Suppose -8*d + 9*d - 5*n - 312102 = 0, -5*n = 25. Is d a composite number?
True
Let h = -2 - -6. Suppose h*w + 28 = -0*w. Is 10/(-35) - 4104/w composite?
True
Suppose -o + l + 85349 = 0, -28*l + 170702 = 2*o - 29*l. Suppose 6*p = 29*p - o. Is p a composite number?
True
Let z(y) = 1054*y**2 + 20*y - 141. Is z(-19) composite?
True
Let t(b) = 10534*b**2 - 36*b + 25. Is t(5) a prime number?
False
Let a(n) = -114*n**3 + 23*n**2 - 5*n - 43. Let o(t) = 57*t**3 - 12*t**2 + 2*t + 21. Let c(b) = -3*a(b) - 5*o(b). Is c(7) a composite number?
True
Let q = 168 - 152. Let i(o) = -o**3 + 42*o**2 - 34*o - 5. Is i(q) a composite number?
True
Suppose -3*w + 227 = -2*q, 2*q - 373 = w - 6*w. Suppose -w*m = -77*m + 422. Is m a composite number?
False
Suppose -263512 = 5*z - 6*z - 5*o, -36 = 12*o. Is z composite?
True
Suppose 20*s + 7*s - 12731910 = -3*s. Is s prime?
True
Let w be ((-45)/(-6))/((-6)/(-6856)) + 1. Let x = w - 18. Is x prime?
False
Is 7 + (-12)/(120/(-1079335)) - 2/(-4) composite?
False
Let z(x) = -8*x**2 - 37*x - 4. Let l(a) = 4*a**2 + 19*a + 2. Let u(s) = 9*l(s) + 4*z(s). Is u(-13) composite?
False
Let i(y) = 297*y**2 - 302*y + 6. Is i(-7) a composite number?
False
Suppose 883*z - 896*z - 50577 = -1643870. Is z a composite number?
False
Suppose -k + 9*p = 8*p - 129655, 0 = -3*k - 2*p + 388955. Is k a composite number?
True
Let k be (-12)/((78/(-396))/(-13)). Let v = -345 - k. Is v a prime number?
False
Let i(z) = -219*z**3 + 11*z**2 - 42*z - 229. Is i(-6) a composite number?
True
Let x(r) = 6590*r**2 + 35*r - 64. Is x(3) a composite number?
False
Suppose -2*g + 23 = 19. Let c(s) = s**3 + 13*s**2 - 8*s**2 + 11 - 8*s**g - 6*s**2 + 15*s. Is c(14) composite?
False
Let z(i) = -2*i**3 + 22*i**2 + 16*i - 8. Let y be z(7). Suppose 3*v + 89 + 134 = 2*d, -4*d + y = 4*v. Is d prime?
False
Let u = -388 - -408. Suppose u*k = 9*k + 51887. Is k composite?
True
Let u = 72 + -66. Suppose u*b - 2 = 4*b. Suppose -9*s + 4*s + 4*a + 2361 = 0, a = b. Is s a composite number?
True
Let h = 81131 + -34143. Suppose 13*p - h - 81725 = 0. Is p a composite number?
False
Let w = -122761 - -570638. Is w prime?
True
Suppose -37*t + 4034391 = -966196. Is t prime?
True
Let m(f) = 140348*f - 473. Is m(3) a prime number?
True
Suppose 129*b = 131*b - 16. Suppose -b*h - 5548 = -16436. Is h a prime number?
True
Is (19 + (-1025684)/5)*(-5)/3 prime?
True
Suppose r - 4*r = -4*h - 1, -5*r - 2*h + 19 = 0. Suppose 0 = 5*l + 2*c - 11096, 0*l + 4*c = -r*l + 6666. Is l composite?
True
Let w(d) = 557*d**2 + 17*d - 95. Let j be w(4). Let p = j - 4218. Is p prime?
False
Suppose 0 = 3*i - 3, -3*h - 21*i + 364137 = -18*i. Is h composite?
True
Suppose 195791 = -3*g - 6*t + 952016, -3*t - 1260349 = -5*g. Is g composite?
True
Suppose -102*u - 6338 = -1140879 - 548357. Is u a composite number?
True
Let o be 0 - (-2 + 2)/1. Suppose -2*k - k - 3*x + 27 = o, 2*k - x - 12 = 0. Let n(d) = 10*d**2 + 5*d - 4. Is n(k) a composite number?
False
Let x be 6/(-6 + 4) - -6. Let y(p) = 23*p**3 - 2*p**2 - 8*p + 4. Is y(x) composite?
True
Let z(a) = -a**3 + 8*a**2 + 10*a + 23. Let j be z(-17). Suppose -3*q - 2*r + j = 0, r + 3 = -2*r. Let k = q + -1473. Is k a composite number?
False
Suppose 2*k + t = 12205, -t + 2 = -3*t. Suppose -7*q = -k - 40160. Is q a composite number?
True
Let n be -2 + -2 - ((-30)/6 + 7). Let x(k) = 21*k**2 - 11*k - 19. Is x(n) a composite number?
True
Is 1074622/8 + (13 - (-935)/(-68)) a prime number?
True
Let a(o) = 9 + 13*o**3 + 12*o - 13*o + 0 - 9*o**2 + 34*o. Is a(8) prime?
True
Let b = -303629 - -488650. Is b prime?
True
Let p(i) be the first derivative of -1399*i**2/2 - 8*i + 29. Let l be p(-4). Suppose -11*z + l = -7*z. Is z prime?
False
Suppose -184*t + 4*t - 58*t + 365346422 = 0. Is t a prime number?
True
Suppose 3*b - 8*b = 10. Let a be (-1 + (-2 - b))*5 + 1. Let y(j) = -8*j**3 - j**2 - 4*j - 9. Is y(a) a prime number?
True
Let l = -43 + 42. Let q be (10 - 4)/((l + -1)/(-334)). Suppose -g + q + 605 = 3*b, 3*b - 1599 = 3*g. Is b a prime number?
False
Let g be 3 + (2 + 7 - 0). Suppose -14*t - g = -18*t. Suppose -4*x - 1023 = -t*l, 5*l - 895 - 805 = 5*x. Is l a composite number?
False
Let q(k) = -5*k + 112*k - 7 - 9*k. Suppose 2*u - 4*t = 28, 23*t - 22*t = -2*u + 38. Is q(u) prime?
False
Let n = -504 + 479. Let c = 3022 - n. Is c prime?
False
Let m(s) = -s**3 - 7*s**2 - s + 11947. Is m(0) prime?
False
Let m be 7/2 + 4/(-8). Suppose -26 = f + 5*i, f + m*i + 7 + 13 = 0. Is (f - 0)/((8/(-12))/2) a composite number?
True
Suppose 3*t + 1118 = 3*f - 538, -2*t - 553 = -f. Let c = -7 + 1. Is 4 + f - (-4)/c*6 composite?
True
Is (-3108)/(-8288) + (2809/8)/((-1)/(-3917)) a composite number?
False
Let q be (-4443)/2 +