x(12) composite?
False
Suppose 25 = 2*j + 3*j. Suppose -j*d + 11 = -39. Is d a composite number?
True
Suppose z + 4*h - 6 = 0, 3*z - 18 = -0*z + 4*h. Let o = 41 + -38. Is 2/z + 152/o prime?
False
Let x(j) = -70*j - 5. Let w be x(-4). Let r = -148 + w. Is r composite?
False
Let x(u) = -u - 12. Let b be x(-12). Suppose -2*g + 54 = -b*g. Let h = g + 42. Is h prime?
False
Let l(m) be the first derivative of -1 + m - 6*m - 2 + 1 + 7*m**2. Is l(7) prime?
False
Is 2/(-4)*6459*32/(-48) prime?
True
Let x be (0/3)/((-2)/(-1)). Suppose -g = -x*g - 74. Let h = g + -37. Is h composite?
False
Suppose 0*r = -2*r + 6. Suppose r = -a + 5. Let f(c) = 25*c**2 - 3*c + 3. Is f(a) composite?
False
Suppose 0 = -2*h + 8, 0*f = -4*f + 4*h - 12. Let c be (f - 2)/(1/116). Let o = 195 + c. Is o a composite number?
False
Let d = -5 + 13. Let v = d + 29. Is v prime?
True
Let u(j) be the third derivative of -1/12*j**4 - 1/6*j**3 - 2*j**2 + 0*j + 0 + 1/60*j**5. Is u(4) a composite number?
False
Let w(y) be the first derivative of -y**7/420 - y**6/72 - y**5/40 - 5*y**4/24 + 4*y**3/3 + 3. Let d(v) be the third derivative of w(v). Is d(-4) composite?
True
Let v = 5 + -3. Suppose 3*x = -v*x + 2*n + 603, 5*x = -n + 606. Is x a prime number?
False
Let m be 12/42 + (-99)/(-21). Suppose s = -m*s + 1506. Is s prime?
True
Let x = -3552 - -6631. Is x a prime number?
True
Suppose 9*v = 11*v - 314. Is v a composite number?
False
Let m(h) = 3 + 4*h**2 + 2*h**3 + 3*h - 6*h**2 - 2*h**3 - h**3. Let y be m(-3). Is 37/(-2 - (-6 + y)) prime?
True
Let d = 0 + 0. Suppose d = a + 11 - 90. Is a composite?
False
Suppose -25 = -t - 4*t. Let a(k) = -k**3 + 10*k**2 + 5*k + 1. Let p be a(8). Suppose -s - 2*u + 32 = -0*s, p = t*s + u. Is s composite?
True
Suppose 2*t - 5*h = t + 4298, t + h - 4304 = 0. Is t a prime number?
False
Let m = 82 + 7. Is m composite?
False
Is (-1)/(0 + 4/(-484)) composite?
True
Let g = 9 + 118. Is g composite?
False
Suppose -4*t + 3*q = -2981, 2*t - 1289 - 185 = -4*q. Is t prime?
True
Let w(d) = 1219*d - 31. Is w(6) composite?
False
Let w be 3/(-2)*4/6. Is ((-165)/12)/(w/4) composite?
True
Let l = 115 - 117. Let t be (-3)/(-12) - (-94)/8. Is ((-65)/l)/(6/t) a composite number?
True
Let m(h) = -4*h**3 + h**2 - h. Suppose 0 = 2*i - 4 + 2. Let g be m(i). Let s(o) = o**2 + o - 1. Is s(g) a composite number?
False
Let r = -1424 + 2095. Is r prime?
False
Let z(x) = -12*x**2 + 10*x + 9. Let g(w) = -25*w**2 + 19*w + 17. Let u(b) = -6*g(b) + 11*z(b). Is u(-2) a prime number?
False
Is (-2*5)/(26/(-169)) composite?
True
Let o = 0 - -2. Suppose -q + 2*q - o*t - 23 = 0, -2*q = -5*t - 48. Is q composite?
False
Let k = 287 + 926. Is k prime?
True
Suppose -947 = -2*p + 167. Is p a prime number?
True
Suppose 0 = l - 3 - 2. Suppose 4*r + 3*z = 72, 2*r - 14 = l*z - z. Is r composite?
True
Let d = -19 - -29. Let w = -25 - -54. Let i = w - d. Is i prime?
True
Suppose 0 = -4*t + 16, -4*w + 3*t + 691 = -10117. Is w a prime number?
False
Suppose 6*y + 505 = 3*j + y, -4*y - 660 = -4*j. Let c = j + -107. Is c composite?
False
Let f = -8 + 7. Let v = 3 + f. Suppose -3*c + 778 = 3*i - v, i = 2*c - 529. Is c prime?
True
Suppose 3*k - 3 = -3*s, -k = -6*s + 3*s + 15. Is (-84)/s*-6 - -1 composite?
False
Let w(y) = 341*y - 28. Is w(13) a composite number?
True
Let r(g) = g**2 + 5*g + 5. Let t be r(-3). Let m(d) = -210*d - 1 + 1 + 1. Is m(t) a prime number?
True
Is (2/4)/(1/62) composite?
False
Is (-4)/(20/(-3933)) + (-6)/(-15) a prime number?
True
Let h(x) = 9*x**2 - 3*x - 3. Is h(-2) a composite number?
True
Let r be (-2)/(-9) + (-4719)/(-27). Let p = r - 120. Is p a prime number?
False
Suppose 3*d - 1260 = -2*d. Let n = d + -97. Is n a composite number?
True
Let t = -5 - -49. Let r = 255 - t. Is r composite?
False
Let b(j) be the third derivative of 0 + 3/8*j**4 + 0*j - 2*j**2 + 2/3*j**3. Is b(5) composite?
True
Let g(l) = l**2 + 11*l + 6. Let c be g(-11). Is 3/(-6) - (-225)/c a prime number?
True
Is (-3 + 5991/12)*(-8)/(-2) composite?
True
Suppose -12*i + 11*i = -1327. Is i composite?
False
Let s = 546 + -1036. Let i = -153 - s. Is i a composite number?
False
Suppose 2*g + 60 + 52 = 0. Let z = g + 99. Is z a composite number?
False
Suppose -25 = -4*o - 9. Suppose -83 - 221 = -o*k. Suppose 236 = 4*j - 4*d, 73 = 3*j + 4*d - k. Is j a prime number?
False
Suppose 3*h - 13 + 1 = 0. Suppose 3*s - 4*q = 522, h*q = -5*s + 306 + 596. Is s a prime number?
False
Let k(i) = -i**2 + 7*i + 2. Let l(b) = -6*b**3 + b**2 - b - 1. Let z be l(-1). Let y be k(z). Is -1 + 1 - (-21 - y) a prime number?
True
Suppose r + 2 + 1 = 4*f, -4*r = 3*f - 26. Suppose 0 = -f*z + 10 - 0. Suppose 0 = -5*y + 5*o + 30, o + 2*o = z*y - 32. Is y prime?
True
Let k be 580/(-52) - 4/(-26). Is k/(-11)*74/2 a prime number?
True
Suppose -45 = -5*w - 10. Let c(o) = -10*o - o**3 + 6*o**2 - 4*o**3 - w + 6*o**3. Is c(-7) a prime number?
False
Suppose 5*n - 5 = 15. Suppose 0 + n = k. Suppose -h - 5*l = -2*l - 50, -4*h = -k*l - 216. Is h a composite number?
False
Is (1 - 3)*634/(-4) prime?
True
Suppose -2*x + 9 = -3*c - 2*c, c = -3*x + 5. Suppose -x*s + 0*s + 136 = 0. Let n = -15 + s. Is n a composite number?
False
Let j(y) be the third derivative of 1/20*y**5 - y**2 + 1/2*y**3 - 1/120*y**6 + 1/12*y**4 + 0*y + 0. Is j(-2) prime?
True
Suppose 4*f - 5*v - 149 = 0, 2*v + 10 + 0 = 0. Is f composite?
False
Let j = 497 - 121. Suppose 0 = 2*s - p - j, -3*p = 3*s - 0*p - 555. Is s a prime number?
False
Let m be (-2 - -1) + 2/(-1). Let a = -1 - m. Suppose -j = a*j - 9. Is j a composite number?
False
Suppose 3*d = 3*a - 15, 0 = -2*a + 2*d + 2*d + 12. Is a/24*3*638 prime?
False
Let d = 31 - -3. Is d composite?
True
Let v(f) = 14*f**2 - f - 3. Is v(-2) composite?
True
Suppose 0 = -4*z + 5*v + 70 + 105, -4*z + 180 = -4*v. Let r = -25 + z. Is r composite?
True
Let y be 595/(-14)*(-1 + -1). Let s = y - 20. Is s prime?
False
Suppose 4*l + 149 + 1197 = 2*w, 5*l - 2019 = -3*w. Is w composite?
False
Let u be 4*((-7)/2 + 3). Suppose 5*b - b - 28 = 0. Let f = b - u. Is f composite?
True
Let u(o) = 2 - 9 - 6 - 15*o + 0. Is u(-6) composite?
True
Let f(i) = -9*i + 1. Let j be f(-1). Suppose 0 = 5*m - 2*l - 13, 0*l - l = -4*m + 8. Is m/5 - (-208)/j composite?
True
Suppose -5*f + 3 = 8, -5*f + 3 = g. Let v(d) = -g*d + 13*d**2 + 1 + 8*d. Is v(-4) composite?
True
Suppose 3*i = -h - h + 1187, -i - 2*h = -397. Is i a prime number?
False
Let y(q) = 3*q + 17. Let k be y(-7). Let h(b) = -62*b + 5. Is h(k) prime?
False
Suppose -4*i = 3*p - 29, -p - 2*i + 13 + 0 = 0. Suppose 1 = 4*o - 3*g + 2, 0 = o + p*g + 4. Is -1*(2 + o - 56) composite?
True
Suppose -2*z - 13 = -9. Let l(k) = 4*k**2 + 2*k + 3. Is l(z) a composite number?
True
Suppose -4*z = -11 + 3. Let y be (32 - 0) + z + 0. Suppose -4*r + y = -3*r. Is r a composite number?
True
Let w be 244/11 - 4/22. Suppose -w = g - 89. Is g composite?
False
Let i = 902 - 179. Is i a composite number?
True
Let v(b) = b + 7. Let l be v(-5). Suppose 3*x - l*x - 12 = 0. Let f = x - -3. Is f a composite number?
True
Suppose 5*y + 5*d - 3250 = 0, 5*d = 3*y + d - 1985. Is y a prime number?
False
Suppose 2*x - 399 = 359. Is x prime?
True
Let v = 9 + -4. Suppose -5*g + 6*d + v = d, 3*g + 5*d = 27. Is g/22 - (-8955)/55 a composite number?
False
Let g = -768 + 1271. Is g a composite number?
False
Is (-94347)/(-81) - (-6)/27 prime?
False
Let n = 5282 - 2731. Is n a composite number?
False
Let h(k) = 31*k + 1. Let i be h(1). Let y = i - 7. Is y composite?
True
Let x be -531*1/(-6)*2. Suppose 4*p + x + 995 = 0. Let j = -102 - p. Is j composite?
False
Suppose 4*w - 108 = 176. Is w composite?
False
Let p(z) = 26*z**2 - 7*z - 1. Is p(5) a composite number?
True
Let r be 154/8 + (-3)/12. Suppose 0 = 5*s + 1 + r. Is 5/s*(-80)/4 a prime number?
False
Let k(f) = -f**2 - f - 1. Let i(x) be the third derivative of -11*x**5/60 - x**4/8 - x**3 + 2*x**2. Let q(b) = -i(b) + 5*k(b). Is q(2) a prime number?
False
Let d = 40 - 82. Let o(b) = 20*b - 1. Let j be o(4). Let l = d + j. Is l composite?
False
Let k be 400*(-3)/(0 - -3). Is k/(-18) - 16/72 composite?
True
Let m(t) = t**2 - 12*t + 3. Let o be m(11). Let w(l) = -3*l - 5. Is w(o) composite?
False
Let z(b) = 5*b - b - 9 - 3*b + b. Let k be z(6). Suppose 3*j + 2*j + 93 = k*m, 67 = 2*m - 5*j. Is m a prime number?
False
Let