 a prime number?
True
Let r(u) = 7 + 2 - 20*u - 6 + 2. Let y be r(4). Let z = y - -130. Is z a composite number?
True
Let y(w) = -w**2 - 12*w + 5. Let d be y(-12). Suppose 4*o + 287 = d*o. Is o prime?
False
Let g(n) = -n**2 + 8. Let d be g(0). Suppose -2*y + 24 = -4*o, 0 = -y + 4*o + 14 + d. Let t = y - -185. Is t prime?
False
Let c = -950 - -397. Let y = -222 - c. Is y a composite number?
False
Suppose -5*l - 142 + 117 = 0. Is (-654)/l - 16/(-80) prime?
True
Suppose 14*s - 40944 = -2*s. Is s composite?
True
Suppose 4*x = -3*l + 10, 9 = 4*x + l - 5. Suppose -5*s + 151 = o, -x*s + 29 = o - 118. Is o composite?
False
Suppose 2*h = -h - 3, 2*h + 52 = 5*d. Suppose -1 = 2*o - r - d, -3*o + 2*r + 12 = 0. Is o prime?
False
Let l = -37 + 57. Let a(d) = -d**3 + 22*d**2 - 28*d + 17. Is a(l) a prime number?
True
Let m(f) be the first derivative of 1/2*f**2 + 1 + 9*f. Is m(-3) a prime number?
False
Let z = 479 - 162. Suppose 341 = 2*y - z. Is y a composite number?
True
Suppose -u + 4 = -k, -u + 2*k + 2*k + 1 = 0. Suppose 102 = u*z - 343. Is z a prime number?
True
Let z(l) = -1261*l**3 + l + 1. Let q be z(-1). Let y be 27/(366/(-180) - -2). Let i = q + y. Is i prime?
False
Suppose 5713 = -3*j + 16690. Is j a prime number?
True
Suppose 2*r + 19*k - 13007 = 22*k, -9 = 3*k. Is r a composite number?
True
Suppose 5*q - 37 = 4*f, 2*q + 3*f = -2 + 26. Suppose q = -3*h, 4*h = -5*u + 2*u - 2154. Let g = 1085 + u. Is g composite?
True
Is (-3)/2 - (2749845/(-10))/21 a composite number?
False
Let d(b) = b**3 - 2*b**2 + 2*b - 8. Let w(i) = -i**3 + 2*i**2 + 8*i - 10. Let o be w(3). Is d(o) composite?
True
Let i(y) = 621*y + 29. Is i(2) composite?
True
Let d = -2047 - -4526. Is d a composite number?
True
Is -7 + 3*-2*(43 - 2944) composite?
True
Suppose -139612 = -5*u - j, 3*u - 124969 + 41209 = -3*j. Is u prime?
False
Suppose -11668 = -5*g + 3*m, -3*g - 2*m + 9888 = 2891. Is g prime?
True
Suppose -6 = -y + 5*s, -3*s - s - 1 = 3*y. Is (y + -2)/((42/16230)/(-7)) a composite number?
True
Let l be (1/(-4))/((-8)/416). Let c(w) = 17*w - 14 + l + 17*w. Is c(6) composite?
True
Let q be ((2592/(-30))/(-8))/(1/(-25)). Let c = 1393 + q. Is c prime?
True
Let s(h) be the third derivative of h**5/60 - h**4/3 + 13*h**3/6 - 2*h**2. Let f be s(11). Suppose k + 4*j - 133 = f, 5*j = 0. Is k a prime number?
True
Suppose 3*d = 43 + 32. Suppose 0 = -d*g + 30*g. Suppose g*v = 2*v - 2282. Is v a prime number?
False
Let f = -6198 - -2734. Let g = f + 5797. Is g prime?
True
Suppose 2*t = -5*m + 5058, 3*t - 12711 = -2*t + 4*m. Let k = t - 1638. Is k prime?
False
Suppose a = -6*a - 35. Let f(n) = -2*n**3 + 6*n**2 - n - 28. Is f(a) composite?
True
Let a(j) = j**3 + 15*j**2 - 6*j - 22. Let x be a(-15). Let q be (4/(-6))/((-4)/1182). Let z = q - x. Is z prime?
False
Suppose -d - 4*d - 2 = 4*g, g - 5*d = -13. Is (717/g)/(3/(-21)) a composite number?
True
Suppose -2114 = -3*x + i, 2*x + 2*i = -3*i + 1381. Is x a prime number?
False
Let g(d) = -4*d + 467. Let n be g(0). Let c = 342 + n. Is c a prime number?
True
Let s = 7 + -7. Let x be (-468)/(-130) + 2/5. Suppose -1985 = -5*a - d, x*d = -a - s*a + 397. Is a a composite number?
False
Let y(g) be the third derivative of 1/15*g**5 + 0 + 1/12*g**4 + 0*g + 5/3*g**3 - 6*g**2. Is y(-6) composite?
True
Suppose 0 = -5*b - j - 2 - 18, 2*j + 10 = -4*b. Let s = 8 + b. Suppose -k + 628 = s*k. Is k a prime number?
True
Let g(t) = -107*t - 43. Is g(-27) prime?
False
Let w = -133 + 131. Is w/2*13*(-66)/6 a prime number?
False
Suppose -8*d = -10559 - 59769. Is d a prime number?
False
Let o(z) = -z**2 - 5*z + 8. Let p be o(-6). Suppose p*n - 47 + 117 = 0. Let u = n + 600. Is u prime?
False
Suppose 7*p - 20185 = 2*p. Is p a prime number?
False
Suppose -2*g + 53 = -3*i, 29 = 3*g - 2*i - 43. Suppose -g*w + 175 = -17*w. Is w a prime number?
False
Suppose 5*q - 2*p = 18929, 3*q + 10*p = 11*p + 11357. Is q a composite number?
True
Let p(l) = -84*l + 2. Let q = -73 - -49. Let j = q + 19. Is p(j) a prime number?
False
Let n be -2 + (5 + -2 - -2). Suppose -2*w - 22170 = n*w. Is 2/(-11) - w/66 prime?
True
Let y = 119 + -116. Let a(g) = 21*g - 17. Is a(y) a composite number?
True
Suppose -z + 0*z = 254. Suppose 14*a = 11*a + 5*v + 1969, 0 = -5*a - 4*v + 3220. Let j = a + z. Is j a prime number?
False
Suppose 5*i - 3*h = 11, 2*h - 15 = -5*i + 7*h. Suppose -g = i, 3*g + 2*g + 17 = 4*j. Is 419*-1*j/(-3) prime?
True
Is 87/2*248/186 a prime number?
False
Let y(x) = -2266*x - 345. Is y(-8) prime?
True
Let l = 22 - 19. Suppose 0 = 5*t + 5*z - 0*z + 5, t + l*z + 3 = 0. Suppose -3*q + t*q + 489 = 0. Is q a composite number?
False
Is ((-638415)/180)/((-6)/8) a prime number?
True
Let t(y) = 4*y - 4. Let m be t(13). Let v = 33 + m. Suppose i = -x + 2*i + v, -i + 89 = x. Is x prime?
False
Is 14/28 - 14173/(-2) composite?
True
Let m be ((-939)/(-6) + 1 + -2)*2. Let u = 362 + m. Is u prime?
True
Suppose 1733 + 1007 = 4*d. Let n = d - 188. Is n prime?
False
Let i(k) = -2*k**3 - 10*k**2 - 14*k + 5. Let l(b) = -2*b**3 - 10*b**2 - 15*b + 4. Let z(m) = 5*i(m) - 4*l(m). Is z(-10) prime?
True
Is 1524520/30*(12/16 + 0) a composite number?
False
Suppose -4*q + 10 = 26. Is 1883/5 + q/(-10) composite?
True
Suppose 4*h = 4*c + 44, 0 = -4*h + 3*c + 2*c + 49. Suppose -h*m + 4722 = -0*m. Is m a prime number?
True
Let b(x) = x**3 - 26*x**2 + 24*x + 28. Let o be b(25). Let d = -5191 - -7718. Suppose -k - q - 4*q + 626 = 0, o*q = 4*k - d. Is k a prime number?
True
Suppose 62804 = 8*t + 19868. Suppose -4*s = -805 - t. Is s a prime number?
True
Let x be 3 - ((-2)/2 + 1). Let z(m) be the second derivative of m**3/6 + 5*m**2 + m - 24. Is z(x) a composite number?
False
Let f(d) be the second derivative of d**5/20 - d**4/6 - d**3/3 + 149*d**2/2 + 7*d. Is f(0) prime?
True
Let h = -63 + 6532. Is h composite?
False
Let g(h) = 8*h**2 - 9*h - 5. Let f be g(6). Suppose -5*y = -3*y. Suppose -x + 2*k = -35 - 182, y = -x + 5*k + f. Is x a composite number?
True
Let z(l) = l**3 + 7*l**2 + 5*l - 3. Let y be z(-6). Let x(m) = m**3 - m**2 + 1. Let k be x(y). Suppose 0 = -j - 0*j + k. Is j a prime number?
True
Suppose 0 = -4*v - o + 2, -10*v + 14*v = 3*o - 6. Suppose 2*z + d = 3125, 4*z + v*d - 3*d - 6235 = 0. Is z composite?
True
Let l(a) = -3*a - 7. Let x be l(-4). Suppose 2*q = -s + 170 + 278, x*q = 2*s - 887. Suppose -2*p + 0*p + s = 0. Is p composite?
False
Is (4 + 6033)/((-17)/(-187)) a prime number?
False
Suppose 4*k = 5*y + 25043, -28*k = -26*k + 4*y - 12502. Is k prime?
True
Suppose 2*r + 42 = -0*r. Let b = -21 - r. Is 1883/(-1*(-1 + b)) composite?
True
Suppose 0 = -i + 105 + 524. Is i composite?
True
Suppose b = -3*m + 10 + 7, -2*m = -5*b. Suppose -3*l + 509 = o, b*l = -3*o - 0*o + 1555. Is o prime?
True
Let u(k) = k**3 + 2*k**2 - k. Let o be u(-2). Let n = 6 - o. Suppose 0 = 4*a + 8, -3*g - n*a = -0*g - 58. Is g a prime number?
False
Let t(h) = -36*h**2 - 7*h - 7. Let y be t(6). Let g = y - -1989. Let u = -337 + g. Is u a prime number?
True
Let h(l) = 2*l**2 - 8*l + 3. Let t be h(4). Suppose v + t*f = 328, -2*v + 529 + 134 = -f. Is v a prime number?
True
Let o be (-18)/(-3) - (1 - -2). Suppose 0 = 5*k - 3*j - 5425, 3*k - 5*k - 4*j = -2144. Suppose -v - k = -o*v. Is v a composite number?
False
Suppose -4 + 44 = 8*n. Suppose a + 447 = -4*t + 9*t, -a + 443 = n*t. Is t prime?
True
Let d(t) = 788*t - 5. Let r(f) = 1576*f - 9. Let w(o) = -7*d(o) + 4*r(o). Is w(1) a prime number?
True
Let t(h) = -9*h**3 - 3*h**2 + 3*h - 5. Let p = -34 + 30. Is t(p) prime?
False
Suppose g + 2*h = -11, -3*g + g + h = -3. Let m(t) = 391*t**2 - 2*t - 2. Is m(g) a composite number?
True
Let m be 99/(-55)*10/(-3). Suppose m + 2 = 4*z. Suppose y = 2*v + 85, 2*v = -z*y + 5*y - 263. Is y a composite number?
False
Let a be (-15)/(-2 + -1)*1. Suppose 0*u + 2*u + 13 = -5*r, 25 = -5*u - a*r. Is 216 + ((-4)/u - 2) a prime number?
False
Let b(n) = n**3 + 1. Let d(y) = -2*y + 10 + 0*y + 3*y**3 + 0*y**2 - 6*y**2 - 4*y. Let a(s) = -4*b(s) + d(s). Is a(-5) composite?
False
Suppose -5*f = v - 20593, 4*v - 51190 = -2*f + 31182. Is v a composite number?
False
Let q(h) = 987*h**2 - 5*h - 15. Is q(-2) composite?
False
Let q(f) = -14*f - 3. Let k(h) = -h**3 + 4*h**2 + 4*h + 1. Suppose 13 = 2*j + 3. Let b be k(j). Is q(b) prime?
True
Let x(s) = -3 - s**2 - s - 3*s 