- 36, -g = -u + j*b - b. Is u a prime number?
True
Let b(w) = 130*w. Let n(t) = 391*t + 1. Let k(l) = 8*b(l) - 3*n(l). Is k(-2) composite?
False
Let v(b) = -65*b - 11. Is v(-2) prime?
False
Let d(i) = i**2 - 2*i - 3. Let k be d(-2). Suppose 5*s + k*g = 115, -5*s + 75 = 2*g - 7*g. Is s composite?
False
Suppose -x = -0*x - 2. Let i be 2 - (x - 1) - -123. Is (-2 + 1)*(-3 - i) a prime number?
True
Suppose 0 = -8*l - 6*l + 11046. Is l a composite number?
True
Let q(i) = 2*i - 7. Let z be q(6). Suppose -4*b = -3*h + 125, 2*b + 36 = 2*h - 50. Suppose z*d - 222 = -h. Is d composite?
True
Suppose -10 = -5*f + 5. Let o be f*((-8)/(-6))/(-2). Is 37 + o + 3 + -1 composite?
False
Suppose -3531 = 19*r - 22*r. Is r a prime number?
False
Let k(a) = 2*a**3 + 3*a**2 + 3*a + 3. Let j = 12 - 9. Let v be k(j). Is (v/2)/((-5)/(-10)) a prime number?
False
Suppose 3 = -3*k - 5*h + 14, -3*h - 5 = -4*k. Let m be (-3)/(3/(-8)*k). Suppose 0 = o - m*g - 15, -5*o + 4*g + 160 = g. Is o a composite number?
True
Let z be (-116)/(-6) - (-2)/3. Suppose -2*d + 2*q = 3*q - 12, 0 = -3*d - 2*q + z. Suppose -3*a + 33 = 4*n - n, -n = -d. Is a a prime number?
True
Suppose -10*v = -17*v + 13643. Is v prime?
True
Let b = 4 - 2. Suppose 6*n - n + 2*l = 0, 0 = -n + b*l + 12. Suppose 3*s = -4*o + 218, -6*o - n*s + 163 = -3*o. Is o composite?
False
Let h = 6 - 2. Suppose 0 = -h*c + 2*w - 5*w + 525, -4*c - 4*w = -520. Suppose 130 = 5*f - c. Is f a composite number?
False
Let x = 2717 - 1204. Suppose x = -4*d + 369. Let h = -195 - d. Is h a prime number?
False
Let x be 4/6 + (-32)/(-6). Let g(m) = 16*m - 3. Is g(x) prime?
False
Let p be (4/(-10))/((-6)/30). Suppose -6 = 2*w, p*w + 3*w = 4*v - 163. Is v prime?
True
Let u = 2 + -4. Let y = 4 - u. Suppose 4*w = 2*w + y. Is w prime?
True
Is (-2961)/6*4/(-6) a composite number?
True
Suppose -3 = 2*h - 3*c, 3*h - c = -0*c - 1. Suppose 3*t + 2*t - 15 = h. Suppose k = -t*k + 76. Is k a prime number?
True
Let y(a) = 10 + 64*a - 21 + 6 + 4. Let t(s) = s**2 + 2. Let w be t(0). Is y(w) a composite number?
False
Let g(t) = t**3 + 8*t**2 - 3*t - 4. Let l be g(-5). Suppose -42 = -3*m + 18. Suppose l + m = 2*a. Is a prime?
True
Is 7*111*(-1)/(-3) composite?
True
Let a(w) = 13*w**2 - 12*w + 22. Is a(8) a composite number?
True
Suppose 0 = -5*a - 8 + 28. Suppose -b - 5*b + 2370 = 0. Suppose i = -a*i + b. Is i prime?
True
Suppose 0 = 3*m - 2*k - 414, 3*m + 187 = -4*k + 583. Suppose 5*q + m = -809. Let r = 316 + q. Is r a prime number?
True
Let w be ((-3)/(-9))/(2/12). Is -2 - w/(4/(-74)) a prime number?
False
Suppose v + 246 = 963. Let h = v + -494. Is h a prime number?
True
Let u(l) = 55*l**2 + l + 1. Is u(3) a prime number?
True
Let h be (-6)/(-12) + 418/4. Let s = 188 - h. Is s a composite number?
False
Suppose 3*c + 8*r = 5*r + 9, 3*r - 17 = -5*c. Suppose -c*j - 4 = -2*v, 0*j = -4*j. Is v a composite number?
False
Suppose 2*s - 12 = -5*g, -6*s + s = g + 16. Suppose 3*h - 15 = 5*m, 3*m - 2*m - g*h = -3. Is m*1/(9/(-93)) composite?
False
Let v(b) = 7*b**2 + 3*b - 4. Suppose -2*l = 3*m - 2*m + 11, -31 = 2*l + 5*m. Let f be v(l). Suppose -i + f = 4*i. Is i a composite number?
True
Is 3/(-3)*-336 - -1 prime?
True
Let w = -12 - -17. Suppose 0 = w*y - 1094 - 761. Is y composite?
True
Let v(u) = -4*u + 3. Let r be v(-3). Suppose r = 6*t - t. Is ((-254)/t)/(4/(-6)) composite?
False
Let h = 5 - 3. Is 12 + h*(-3)/6 a prime number?
True
Let k be (5/(-15))/((-1)/15). Suppose 2*z = k*z. Suppose 3*x - 645 = -z*x. Is x composite?
True
Let k(f) = 9*f - 4. Let b be k(7). Let z be 5/1*10/(-2). Let a = z + b. Is a a composite number?
True
Suppose 20 + 112 = -3*t - 5*a, -a = -3*t - 114. Let x(c) = -2*c - 4. Let i be x(-3). Is (-1)/i - t/2 prime?
True
Let c(f) = -f**2 + 11*f - 11. Let m be c(10). Is (-107 + -2)/(-2 - m) a prime number?
True
Let d(j) = 1 - 2*j**2 - 11*j + j**2 + 2 + 3. Let n be d(-10). Is (1 - -4)*(n - -1) composite?
True
Let b(f) = -f**3 + 5*f**2 - 2*f - 3. Let l be b(4). Suppose l*v + 4*k - 4 = 19, 5*k = -3*v + 19. Suppose -v*c + 7*c - 24 = 0. Is c prime?
False
Suppose -4*u - 23 = -3*b, 4*b + 2*u - u - 18 = 0. Let w be 4/18 - (-1364)/18. Suppose -b*s = -s - w. Is s a prime number?
True
Suppose -2*l - 19 = -5*c + 6, 72 = -5*l + 3*c. Let z = -4 - l. Suppose -6*s - 105 = -z*s. Is s prime?
False
Let m be -2 + (-8)/(-4) + 0. Suppose m*i = -3*i + 381. Is i a prime number?
True
Suppose -w = 2*u - 6, 3*w + 6*u - 14 = 2*u. Is (-10)/w*66/(-30) a prime number?
True
Let b = 2 + 0. Let v = b - -1. Is (-356)/(-6) + v/(-9) a composite number?
False
Is ((-278)/(-10))/((-13)/(-65)) composite?
False
Suppose k - 18 = 92. Let p = k + -154. Let i = -21 - p. Is i a prime number?
True
Let y be -1*(1 - 0) + -33. Let g = 117 + y. Is g a prime number?
True
Suppose 0 = -3*h - 2*h + m - 23, -4*m = 5*h + 8. Let x be 224*(-1 - 2/h). Let r = x + 195. Is r a prime number?
True
Suppose 0 = -3*c + 2*c + 5. Let r = c + 0. Suppose 4*g = r*g - 13. Is g a prime number?
True
Suppose -f = -3*s + 108, 5*s + 2*f - 191 = -0*f. Is s a prime number?
True
Suppose 748 = 3*q - 3341. Is q composite?
True
Is (1 - -2177 - 4)*7/2 a prime number?
False
Let t = 1154 - 645. Is t a prime number?
True
Suppose 3*w + i = -3, 0 = -2*w + i - 0*i + 3. Let y be (w - -2)/(1/(-2)). Is (-62)/(-2)*(y - -7) prime?
False
Suppose 2*w = -3*o + 10, 4*w - 12 = -5*o + 3*w. Let a = 10 + 33. Suppose o*s - 4*c - 101 + a = 0, s + 4*c = -1. Is s composite?
False
Is 2/(-2)*(-684 - -1) a composite number?
False
Let b = 8 + -5. Let v = b + -3. Suppose 2*t + v = 26. Is t a prime number?
True
Suppose 8 = 3*n - 4*w, 2*n - 2*w = 4*n - 10. Let h be 12/5 - n/10. Is 27/h - 1/2 prime?
True
Let v = -10 - -31. Suppose 695 = s + 4*s. Suppose 0 = -2*j - v + s. Is j composite?
False
Let h be (201/(-6))/(1/(-4)). Suppose -4*r = -x - h, -5*r + 140 = -r - 4*x. Is r prime?
False
Let g(q) = q**2 + 5*q - 2. Let x be g(-6). Let m(h) = 2*h**2 + 6*h - 1. Let z(y) = -5*y**2 - 18*y + 3. Let r(l) = -8*m(l) - 3*z(l). Is r(x) a prime number?
True
Suppose -443 = 5*q - 2*h, 4*q - 5*q = -4*h + 85. Let w = -129 - q. Let z = -5 - w. Is z a prime number?
False
Is (3/2)/(3/222) a composite number?
True
Let a(z) = 5*z - 3. Let d be a(-3). Let y = -11 - d. Is y composite?
False
Suppose -m = -0*m - 35. Let t be (-2 - -4) + m*-1. Let c = 47 + t. Is c prime?
False
Suppose 0*b + 12 = 3*b. Is (138/(-4))/(b/(-8)) composite?
True
Let m(j) = -j**3 + 21*j**2 - 27*j + 2. Is m(19) prime?
True
Suppose 19*y - 16*y = 261. Is y composite?
True
Suppose u = 29 + 62. Is u a composite number?
True
Let w = 47 + -81. Let t = 71 + w. Is t a prime number?
True
Suppose 0 = -2*x + 3*x - 156. Suppose -3*l = -72 - x. Suppose b - l = -3*b. Is b a prime number?
True
Let v be 568/(-20) + 4/10. Let o = 9 + v. Is 1*o/(-2)*2 prime?
True
Let v(k) = -160*k - 1. Let w(u) = u**2 + 9*u + 5. Let r be w(-8). Let q(l) = -159*l - 2. Let o(f) = r*v(f) + 2*q(f). Is o(1) a prime number?
False
Let t = -6 + 9. Suppose -t - 10 = -3*b + 4*g, -15 = -4*b + 3*g. Suppose -116 - 115 = -b*c. Is c prime?
False
Let c = 1567 - 1070. Is c composite?
True
Suppose 4*g - g = 426. Let s = g + -59. Is s a prime number?
True
Let w(z) = 340*z**2 - 2*z + 3. Is w(1) a composite number?
True
Let j(m) = -746*m - 29. Is j(-12) a prime number?
True
Suppose 2 = o + o. Let y = o + 13. Is y a composite number?
True
Suppose 0 = 4*p - p - 24. Suppose -p*s + 60 = -4*s. Is s a composite number?
True
Let o(h) = 10*h - 1. Let a be o(1). Let v(q) = -q**3 - 6 + a*q**2 - 2*q + 1 - 2. Is v(7) a prime number?
False
Let w = 501 + -146. Is w composite?
True
Suppose -3*c - 1079 = -6260. Is c a composite number?
True
Let d = -572 - -999. Suppose 2*c + d = 3*a, 4*a + 4*c = -0*c + 576. Is a prime?
False
Let b be 24/(-9)*(-654)/8. Let s = -151 + b. Is s prime?
True
Let y(k) = -3*k**3 - 2*k**2 - k. Let t be y(-1). Suppose -i = -5*z - 21 - 89, -z + 231 = t*i. Is i composite?
True
Let t be (-4)/(-6)*(-1422)/(-12). Suppose -t + 7 = -4*q. Suppose -2*g + 4*h = -42, -7*h + q = 2*g - 3*h. Is g a prime number?
False
Suppose 2*t - 5*t = 9. Is 168 + 1 - 0/t a composite number?
True
Suppose 4*s + 17 = 129. Suppose s + 66 = y - 3*t, 4*t - 295 = -3*y. Is y prime?
True
Suppose 4*i + 12 = -4*d, -3*d = 3*i + i + 14. Let t be (-174)/(-4) + (-3)/d. Suppose 0 = s - 2*w - t + 7, 5*w 