. Let t = 118 - j. Is t composite?
False
Suppose 4*k - 2*y = 10052, 0 = 2*k - 0*y + 4*y - 5026. Is k composite?
True
Let w(h) = -96*h**3 + 2*h**2 + 2*h + 1. Let x(a) = -a**2 + 3*a - 3. Suppose 3*k = 8 + 1, -k = -2*o + 1. Let n be x(o). Is w(n) a composite number?
False
Let h = 8 - 5. Suppose -2*d - 51 = -h*d. Is d composite?
True
Let t be -6 + (1 - -1)*-1. Suppose 0 = 2*j + 2*w - 16, -3*w - w = 0. Is 78/j - 2/t prime?
False
Suppose -10 = -5*d - 3*l, d - 2*l - 10 = -4*d. Suppose -1 = 4*u - 9. Suppose 0*k = k + d*z - 1, -u*k + 3*z + 37 = 0. Is k a composite number?
False
Let t be (2/6)/((-3)/(-99)). Let g = 26 - t. Is ((-26)/6)/((-1)/g) a composite number?
True
Suppose 0 = -5*k + 2*y + 437, -3*y - 26 = k - 127. Is k + -3 - 9/3 composite?
False
Suppose -3668 + 18 = -5*j. Suppose -4*w + j = -2*c, 3*w + 0*c - 565 = -2*c. Is w a composite number?
True
Let y(i) = 7*i**3 + 12*i**2 - 9*i + 6. Let s(c) = 3*c**3 + 6*c**2 - 5*c + 3. Let a(m) = 5*s(m) - 2*y(m). Let q be a(-7). Is ((-42)/9)/((-2)/q) composite?
False
Let h(s) = -s**3 - 4*s**2 - s + 1. Let r be h(-5). Suppose p = -0*p + r. Is p prime?
True
Let w = 15 + -7. Let r = w + 177. Is r prime?
False
Let b(c) = 13*c**2 + 1. Let k(a) = a**3 + 10*a**2 + 9*a + 1. Let i(r) = -r - 3. Let z be i(6). Let m be k(z). Is b(m) a composite number?
True
Suppose 37 - 352 = -5*n. Suppose -n = -u + 4. Is u a prime number?
True
Let v be 8/(-12)*(-3)/2. Let n(l) = 281*l**2 + 5*l + 7. Let d(q) = 141*q**2 + 2*q + 3. Let k(b) = 7*d(b) - 3*n(b). Is k(v) composite?
True
Let y be (74/5)/((-2)/(-40)). Suppose -y = -d + 20. Suppose 0 = 2*z + 2*z - d. Is z composite?
False
Let b(s) = 0 + 3*s + 2 + 1. Is b(10) a prime number?
False
Let c(u) = u**2 + 5*u. Suppose -5*n = -5*y + 25, -3*y - 2*y = -n + 3. Let s be c(n). Suppose 2*z = 4*z - s. Is z prime?
True
Is -1*(-4987 + 4/(-2 + 4)) composite?
True
Let c(s) = s**3 - 7*s**2 + 1. Is c(8) composite?
True
Suppose 10*a = 5*a - 55. Let n = -6 + 28. Is (-2)/a - (-238)/n a prime number?
True
Let v(h) = -4*h + 1. Let x be v(-1). Let s be (-12)/x + (-4)/(-10). Is (-15 + 1)/(s/3) a prime number?
False
Let i = -78 + 409. Is i composite?
False
Let w(g) = -g**2 + 7*g + 2. Let o be w(8). Let f(p) = p**2 + 4*p - 7. Let r be f(o). Suppose 64 = r*z - i + 15, 2*z - i - 22 = 0. Is z composite?
True
Suppose 14*w - 1645 = 9*w. Is w prime?
False
Suppose 7165 = m + 4*m - 4*g, -2*m + 2883 = -5*g. Suppose -3*a = -332 - m. Is a a prime number?
True
Let j(q) = 133*q + 12. Let u be j(11). Suppose -u = -5*t - 2*l, t - 3*t + 2*l + 576 = 0. Is t composite?
False
Let n = 197 + 60. Is n composite?
False
Let q(h) = -262*h + 1. Let y = 3 - 4. Is q(y) prime?
True
Let r(n) = n**3 + 8*n**2 - 10*n - 1. Let b be r(-9). Let h = b - 3. Let o = h + 14. Is o a prime number?
True
Let w = 1 - -1. Let z(p) = 2*p**3 - p**2 - p - 1. Let j be z(w). Suppose 0 = -j*m + 4*m + 805. Is m a composite number?
True
Let g(i) = -24*i**3 + 3*i**2 + 5*i + 5. Is g(-2) prime?
True
Suppose v = 4*v - 24. Let s be (30/v)/((-1)/(-76)). Suppose 4*g = -g + s. Is g a prime number?
False
Suppose -6*n + 655 = -n. Let x(v) = v**3 - v**2 - v + 185. Let i be x(0). Suppose n = 4*k - i. Is k a prime number?
True
Suppose -5*l = -3*d + 72, -3*d + 5*l + 34 = -2*d. Is d a prime number?
True
Let p = 5 - 1. Let t be (-6)/p*24/(-9). Is (t/(-6))/(2/(-39)) a composite number?
False
Let w(l) = l**3 - 6*l**2 + 7*l - 7. Let p be w(5). Suppose g - 18 = 4*a, p*g - 3*a = -0*g + 36. Is g prime?
False
Let k be (-1)/2*-1*12. Let v(b) = 2*b - 1. Is v(k) prime?
True
Let u = 691 - 472. Is u a prime number?
False
Suppose -3*l - 15 = 0, -2*m - 1223 = -6*m - l. Is m prime?
True
Let z be (-75)/(-3) + (0 - -2). Suppose z = 5*k - 238. Is k a prime number?
True
Suppose 5*k + 104 = 489. Is k a composite number?
True
Let m(j) = 54*j**2 + j - 3. Is m(-2) composite?
False
Let n(s) be the first derivative of 9*s**2 + 5*s + 2. Let w = -3 + 8. Is n(w) composite?
True
Suppose -1044 = -3*j + 1335. Is j composite?
True
Suppose 0 = -4*j - 20, 4*j - 386 = 4*v - 1346. Is v a composite number?
True
Let h be 2/(-8) + 4/16. Is h + ((-790)/2)/(-1) a composite number?
True
Suppose 15*k = 11*k + 40. Is k composite?
True
Suppose -937 = 3*a - 4432. Is a composite?
True
Let m = 450 - 240. Let x be 4/(-18) + m/(-27). Is (-2)/(-4) + (-148)/x prime?
True
Let k(m) = -m**3 - 1 + 0 - m + 10*m**2 - 9*m**2. Suppose -j = 2*j + 6. Is k(j) prime?
True
Let i = 3045 - 1222. Is i composite?
False
Suppose o + 12564 = 5*s, 7541 = 3*s + 3*o - o. Is s composite?
True
Let l be 396*(3/4)/1. Suppose 0 = -2*y + l - 75. Is y a prime number?
False
Let m(k) = 7*k**2 + k - 2. Let l be m(1). Is ((-2)/(-3))/(l/585) a prime number?
False
Suppose -2*m - 150 = -572. Is m composite?
False
Let i(m) = m**3 - 9*m**2 + 8*m + 7. Is i(12) composite?
True
Let l be 204/20 + (-2)/10. Let q = 15 + l. Suppose -q + 5 = -5*j - 5*h, -26 = -2*j + 4*h. Is j prime?
True
Suppose 5*s = 5, 5*s - 10 = -3*p + 7. Let u(k) = 2*k**3 - 4*k**2 + 3*k + 2. Let x be u(3). Suppose -p*r + x = 1. Is r composite?
False
Let n be 3/(-2)*(-1284)/18. Let u = n + -52. Is u a composite number?
True
Let r = 3774 - 2015. Is r a prime number?
True
Let u be (1 - -1)*1*-94. Let q be (-3)/(1/(u/6)). Suppose 94 = 4*t - q. Is t a composite number?
False
Suppose n = -0*n. Let d = n + 5. Suppose m = d, 2*x - 376 = -x + m. Is x a prime number?
True
Is 2862/15 - (-6 - (-29)/5) prime?
True
Let q(u) = u**2 - 6*u + 10. Let f be q(4). Suppose -f*j + 149 = -j. Is j prime?
True
Let i(c) = 2*c**3 - 8*c**2 + 4*c - 3. Suppose -11 = -4*o - 3*j, -2*o - 9 = -5*o - 2*j. Is i(o) prime?
True
Is (-21618)/(-15) + (-1)/5 a prime number?
False
Let x(b) = 3*b**2 - 4*b + 5. Suppose 4*o - a = -1 - 45, 4 = -o + 4*a. Is x(o) a composite number?
True
Let n = 5 + -11. Let w(r) = -7*r + 6*r + 7 - 6*r**2 - r**3 + 0*r. Is w(n) composite?
False
Suppose 8*u - 3*u - 75 = 0. Is u composite?
True
Let u(i) = -i**3 + 11*i**2 - i + 8. Let p(r) = r**3 + 12*r**2 + 11. Let j be p(-12). Let a be u(j). Is (-1 - a)/(10/355) composite?
False
Suppose 13*g - 10*g - 1833 = 0. Is g composite?
True
Let f = 1018 + 2575. Is f prime?
True
Is (-1348)/(4/2)*13/(-26) prime?
True
Let v(a) = a**3 - 3*a**2 + 4*a - 3. Let h be v(2). Let b(t) = 5*t - 3 - h - 2 + 4*t**2. Is b(5) a composite number?
True
Let h = 7 - 3. Suppose h*p = 192 + 196. Is p a composite number?
False
Let a = 2231 + -1182. Is a prime?
True
Let w(x) = 2*x - 2 - 3*x + 191*x**3 + 3. Let j be w(1). Let i = 324 - j. Is i a composite number?
True
Suppose 9539 = 5*s + 1624. Is s prime?
True
Suppose -4 = -w - 1. Suppose -4*m + 27 = w. Is 1342/m + 2/(-3) a composite number?
False
Let c = 1169 + -522. Is c a composite number?
False
Let n = -2111 + 3093. Is n composite?
True
Suppose 240 = 2*u - 178. Is u a composite number?
True
Let v(g) = g + 3. Let w be v(8). Suppose -2*q = -3*q + w. Is q a prime number?
True
Let i(m) = m**3 - m**2 - m + 235. Let a be i(0). Suppose -f + a = 5*z - 0*z, -5*z + 235 = 3*f. Is z prime?
True
Is (-4 + -1)/(2*(-2)/28) prime?
False
Let f(l) = 23*l - 1. Suppose 2 + 6 = 4*r. Let g be f(r). Suppose 0 = 2*v + 5*w - g, 0 = 3*v + 3*w - 47 - 25. Is v a composite number?
True
Suppose 1 = 2*s - 3. Suppose -15 + 37 = s*m. Suppose 4*n - 17 = m. Is n composite?
False
Suppose -663 = 4*i - 1723. Is i a composite number?
True
Let i(o) be the first derivative of 32*o**3/3 - o**2 - o - 2. Is i(-1) a prime number?
False
Let s = -1021 + 2436. Suppose -2*m = 3*m - s. Let f = m - 198. Is f a prime number?
False
Suppose 5*k = 7*j - 2*j + 25, -3*k - 5*j = 25. Suppose 5*t + 64 - 364 = k. Suppose 2*q - 5*u = -0*q + t, 0 = 3*q + u - 73. Is q prime?
False
Suppose -4 = 3*q - 4*q. Suppose -3*f - 5*r = -277, -5*f - q*r + 255 = -198. Is f a composite number?
False
Let r be 1 + 1 + (-6 - -6). Is 17 - (r - (-1 + 1)) prime?
False
Let u(f) = f**2 - 3*f. Suppose 4*c + 9 = i + 5*c, 3*c - 31 = -4*i. Let n be u(i). Suppose 0 = 2*h - n*w - 94, -5*w = 5*h - 145 - 15. Is h prime?
True
Let a = 73 + -52. Let i(w) = w**3 + 6*w**2. Let p be i(-6). Suppose c + p*c = a. Is c a prime number?
False
Let g be ((-14)/(-6))/((-3)/(-9)). Suppose 0 = 3*f - g*f + 72. Suppose f + 5 = l. Is l prime?
True
Suppose 4*b - b = 33. Is b/((-3)/(-21) - 0) a composite number?
True
Suppose 4*o + 6*j = 3*j + 115, -116 = -4*o -