k - 10*h + 7*h = -18921. Let i = -5625 - k. Is i a composite number?
True
Let p(u) = 8*u - 36. Let k be p(5). Is (-23070)/(-60)*k/2 a prime number?
True
Is (-7 - 411198/(-30))*(-45)/(-18) a composite number?
True
Suppose 3*l = -4*k + 8972 + 8234, -17221 = -3*l - k. Suppose 5*u = l + 253. Is u prime?
False
Suppose -742629 + 44588625 = 114*t. Is t a composite number?
True
Suppose -12*z + 7*z = 15, 5*z + 171051 = 3*r. Suppose -11*t + 188495 = r. Is t composite?
False
Suppose -4*x - 3*t = 60, 2*t = 3*x + x + 40. Let f be (11 + x)/(2/(-8)). Let i(q) = 29*q**3 + 6*q**2 + 2*q - 11. Is i(f) a prime number?
True
Let l(a) = a**3 + a**2 + a + 2. Let p be (16/(-4) - -4)*1. Let h be l(p). Suppose 0 = -w + 3*w + n - 196, 200 = h*w + 3*n. Is w a composite number?
False
Let n(t) = 232*t + 24. Let f be n(18). Suppose -f = 19*w - 29*w. Let c = -209 + w. Is c composite?
False
Let g(s) be the third derivative of -91*s**4/12 + 37*s**3/2 - 263*s**2. Is g(-15) a composite number?
True
Let w be (-86872)/(-38) + (-13)/(494/4). Let m = w + -1573. Is m a composite number?
True
Is ((5 + -6)/1)/((-26)/1237002) prime?
False
Suppose 0 = -286*w + 458903 - 4379 + 1153654. Is w composite?
False
Suppose -m = -15*m + 154. Let s(x) = 25*x**2 - 41*x - 11. Is s(m) a composite number?
True
Let x(u) = -u - 2. Let l be x(-8). Suppose l*f - 2*f = -0*f. Suppose 0 = -4*d + 3*h + 5498, f = -d - 0*h + h + 1375. Is d prime?
True
Let l(b) = -10*b**2 + 15*b - 20. Let u be l(2). Is 9865*(-3)/u*14 a composite number?
True
Let m be 202 - 205 - (-6)/(-1)*-1. Is (-1)/((-5)/42615*m) composite?
True
Let a(n) = n**3 - 21*n**2 + 23*n - 50. Let h be a(20). Suppose 5 = -5*w - h. Let k(q) = -2*q**3 - 3*q**2 - 2. Is k(w) composite?
True
Let t(n) = 148*n**3 - n**2 + n. Let p be t(2). Suppose 0 = i + 2*i + p. Is -1 + (-1 - 1 - i) a prime number?
False
Suppose 4*w = -4*d + 7*w + 9355, 4650 = 2*d + 4*w. Is d a composite number?
True
Let g(v) = 25*v - 121. Let p be g(5). Suppose -p*l - 2*b = -17976, -6*b = 5*l - 10*b - 22457. Is l prime?
True
Let m(z) be the first derivative of -7*z**4 + 3*z**3 + 3*z**2 - 10*z + 21. Let h be m(-5). Suppose -69*y + h = -64*y. Is y composite?
True
Let r(w) = 8*w + 9 + 88*w**2 + 34*w**2 - 22*w**2. Is r(-6) a composite number?
True
Let r(n) = n**2 + n - 2. Let o be r(1). Suppose -5*u + 2*g + 640 = o, -2*u + g + 143 = -112. Let w = u - -501. Is w composite?
False
Let r be 838935/(-81) - (-4)/18. Is ((-6 + 7)*r)/(-1) composite?
False
Suppose -3*z - 6 = -3*a, -3*a + 3*z = 2*a - 12. Suppose -2*b - a*s + 32970 = -s, 5*s = 4*b - 65976. Suppose 3*q + b = 14*q. Is q a prime number?
True
Let h(q) = -q**3 + 22*q**2 - 2*q + 49. Let c be h(22). Suppose 4*y - 5497 = -d, 0*d - c*d + 2*y = -27441. Is d composite?
True
Suppose 276*t - 5 = 275*t. Suppose y + 2*f - 15392 = -3*y, -y + t*f = -3837. Is y a composite number?
False
Let l(w) = 5415*w**3 + 7*w - 8. Let t(o) = -25*o - 149. Let q be t(-6). Is l(q) a composite number?
True
Let z(c) = 15175*c**2 + 3*c - 2. Let w be z(1). Let s be ((-3)/(-9) - 1) + w/21. Let u = 345 + s. Is u a composite number?
True
Suppose -26*v - 105 = -29*v. Let o(c) = -v*c + 4 - 39*c - 15*c - 12. Is o(-3) a composite number?
True
Suppose -833401 - 447872 = -3*h + 3*a, 0 = -3*h - 4*a + 1281287. Is h a composite number?
True
Let k(w) = 110*w**2 + 15*w - 14. Is k(13) prime?
False
Let j(t) be the first derivative of -9/2*t**4 - t**2 - 2/3*t**3 - 4 - 3*t. Is j(-3) prime?
False
Suppose t + q + 2*q + 13 = 0, 0 = -t + 5*q + 27. Suppose -15 = 5*z, 2*x + 0*x - 6100 = t*z. Is x prime?
False
Let d(j) = 833*j**2 - 16*j - 77. Is d(8) a prime number?
False
Let j(a) = -a**2 - 22*a - 70. Let t be j(-18). Suppose 4*n - 4*m - 15952 = 0, -7981 = t*n - 4*n - 3*m. Is n a composite number?
False
Let t = 331 - 329. Is 4 - -959 - (-5)/(1 - t) prime?
False
Suppose -3 + 15 = 4*d. Suppose w - o - 13261 = 0, 4*w = -2*o - d*o + 53017. Suppose w = 12*i + 2*i. Is i a prime number?
True
Let f(o) = 2*o**2 - 40*o + 109. Let h be f(3). Suppose -2*y + 6386 = 4*m, m = -h + 2. Is y a prime number?
True
Let x be (1 + (-55)/15)*(1 - 4). Is 7621*(10/x + 27/(-108)) composite?
False
Let t(y) = -28*y**3 - 29*y**2 + 23*y + 23. Let x(n) = -9*n**3 - 10*n**2 + 8*n + 8. Suppose 6*f - 44 = 10*f. Let l(d) = f*x(d) + 4*t(d). Is l(-5) prime?
True
Let c(x) = 15*x**2 + 37*x + 516. Is c(46) prime?
False
Is 0/(2/1) + (169510 - 53) composite?
False
Let k = 103 + -98. Suppose -2*g + k*v + 18 = 0, 2 = 2*g + 4*v - v. Suppose -g*n = 3*y - 6767, 6763 = 3*y + 13*n - 11*n. Is y a prime number?
False
Let v(n) = 7*n**3 + 13*n**2 - 43*n + 129. Is v(17) a prime number?
False
Suppose p = 5*t + 41481, -2*p + 3*p - 2*t = 41487. Is p a prime number?
True
Suppose -4*a + 3*i = -32, a + 7 = -0*a - 3*i. Suppose -4*b = a*j + 14 - 2, 5*j - 12 = 4*b. Is 7 - (-3)/(6 + j)*0 a prime number?
True
Suppose -12*h + 21*h - 531 = 0. Suppose 52*i - h*i = -88487. Is i composite?
False
Let r = -234 - -749. Suppose 0 = -15*q + 14*q + 3*k + 550, -q - 4*k = -r. Is q a prime number?
False
Suppose 5*j + 3*c + 9 = 3*j, 5*j + c = -3. Suppose j = -k + 3*f + 2590, -4*k - f + 10321 = -0*f. Is k a composite number?
True
Let y = 2136 + -1006. Let g = y + -415. Let l = 172 + g. Is l composite?
False
Let j = 29 - 25. Let p be 2 + j + (3 - 6). Is 251 + 2 + (4 - p) composite?
True
Suppose 0 = -3*t + 2*t. Suppose t = -3*u - 10 + 1. Let g(h) = -16*h**3 - 3*h**2 + 2*h - 2. Is g(u) a composite number?
False
Let o(l) = -49*l - 2. Let s be 16/80 - -51*1/(-5). Let r be o(s). Suppose 2*n = r + 42. Is n a prime number?
False
Let g = -555 + 553. Is (-35569)/g + 32/64 a composite number?
True
Let p be 210/126 + (-4)/6. Is p/3*(4 - 73069)/(-5) a prime number?
True
Let b(u) = -u. Let k(l) = 115*l**2 - l - 1. Let m(i) = -2*b(i) + k(i). Is m(4) prime?
False
Let u = -60 + 65. Suppose u*j - 19816 = 17149. Is j prime?
True
Let u(s) = 879*s - 32. Suppose 3*t - 2 = 16. Suppose 0 = 3*c - 5*v - 4, -t*c = -2*c - 4*v - 8. Is u(c) composite?
True
Suppose 26 = 4*r - 0*r - u, r = -3*u. Suppose 0 = -r*x + 70668 + 48126. Is x a prime number?
False
Let l(q) = -q**3 - 29*q**2 - 58*q - 106. Let k be l(-27). Is ((-5)/k - -2)*(-8822 - -40) composite?
False
Suppose 10675 = 113*v - 108*v. Suppose -a - 4*c + 2*c + v = 0, -5*c = a - 2144. Is a prime?
True
Suppose 62*z + 53*z - 21485055 = 100*z. Is z prime?
False
Let y = 14 + -20. Let q be y + 2 + (5 - -93). Suppose -279 + q = -5*s. Is s composite?
False
Suppose u = 5*c + 29, 9*u - 5*c - 13 = 12*u. Is (u/6)/(3/(-18)) + 327 a composite number?
True
Let h(o) be the third derivative of 7*o**4/24 + 7*o**3/2 - 29*o**2. Let j be h(-3). Suppose 3*d = 2*d + 5*a + 159, j = -5*a - 25. Is d prime?
False
Suppose -2*n + 4*o = 9 - 25, -2*n + 13 = -3*o. Let t(k) = k + 2 - 1 + 30*k**3 - n*k**2 - 32*k**3. Is t(-2) prime?
True
Suppose 56*x = 52*x - 16. Let p = x + 4. Suppose p = 4*a - 997 + 141. Is a prime?
False
Let o(m) = 150*m + 19. Suppose -7*z - 10 = 74. Let t = z - -18. Is o(t) composite?
False
Let f(a) = 3*a**2 + 35*a - 83. Let n be f(22). Let d = n + -778. Is d composite?
False
Let s = -46 - -78. Suppose -s = 2*n - 10*n. Suppose 4*d = 8, -n*d - 700 = -p - 239. Is p a composite number?
True
Let y(l) = -178*l**3 + 20*l**2 + 56*l + 49. Is y(-13) prime?
False
Is (0 + 28/(-8))*(-1165446)/63 a prime number?
True
Let n(f) be the third derivative of 36*f**2 + 0 + 1/6*f**3 + 11/60*f**5 + 1/4*f**4 + 0*f. Is n(12) prime?
True
Is (-9 + 8 + 4 - -5) + 1820565 a prime number?
True
Suppose 0 = -10*q + 916 - 176. Is (q/(-1))/((-6)/(-1773)*-3) prime?
False
Suppose -3*z + 51 = 5*x, -3*x + 17 = -5*z - 0. Suppose 12*u + 3*p - 8064 = x*u, -p - 8044 = -3*u. Is u a prime number?
True
Suppose -2*c - 1 = -3*g + 5, 2*g + 1 = 3*c. Let d(p) = -17 + 0 + 5 + c + 40*p. Is d(5) a prime number?
True
Suppose 29085906 = 34*m + 6514972. Is m a composite number?
True
Suppose -7 = -13*h + 6. Let n(o) = 3971*o**3 + o**2 + 3*o - 2. Is n(h) prime?
False
Let t(y) = y + 1. Let i be t(1). Let u(o) = -1 + 0 + 1 - 5*o + 4 + 478*o**2 + 9. Is u(i) a composite number?
True
Let q(w) = w**3 + 49*w**2 - 88*w + 533. Is q(-48) prime?
False
Suppose -14*x + 12*x + 499354 = 4*c, 3*c - 374533 = 2*x. Is c prime?
False
Let n(v) = v**2 - 48*v + 315. Let m be n(7). Suppose 0*x = 4*x - 11156. Suppose -m*a + 27*a = -x. Is a a composite