b = -131 + 65. Let j(q) = -q**2 + q. Let z be j(2). Is (-3)/(-12)*z*b prime?
False
Suppose 0 = 2*o + w - 527, 2*o + 2*o - 3*w = 1069. Is o a prime number?
False
Suppose -l - 88 - 1373 = -f, 0 = -3*f + 2*l + 4387. Is f prime?
False
Let s(m) = -31*m**3 + m**2 + 4*m + 3. Is s(-2) a prime number?
False
Let u(o) = o. Suppose 4*k - 20 = -0*k. Let v be u(k). Suppose 3*y + 2*h - 6*h = -11, -h + v = 0. Is y a composite number?
False
Suppose 0 = -0*h - 5*h - 5. Suppose -19 = w - k + 6*k, 4*w + 2*k = -22. Is (2/w)/(h/110) a composite number?
True
Let w(f) = f + 9. Suppose 0 = o - 2*x + 11, 0 = 4*o - 3*x + 15 + 19. Let u be w(o). Suppose -n - u*q + 118 = 4*n, n + 3*q - 34 = 0. Is n prime?
False
Let k(i) = -44*i - 5. Is k(-2) composite?
False
Suppose 3*z - 431 = -4*p, z - 3*z = -5*p - 295. Is z a prime number?
False
Let g(x) = x**3 + 4*x**2 - x - 1. Let t be g(-4). Let w(j) = -j**2 + 5*j - 4. Let r be w(t). Is -83*(-1*r)/2 a composite number?
False
Let m(n) = -2*n + 4. Let h be m(3). Suppose -3 = -5*s + 7. Is (-2)/s*(-209 + h) a prime number?
True
Is (-2192)/12*1/((-8)/12) composite?
True
Let n be 18/(-4)*(-228)/9. Let g(q) = -4*q**2 - q + 1. Let b be g(-4). Let v = b + n. Is v a composite number?
True
Let f be 0 - (-1 + 2 - -2). Let b = f + 8. Suppose 4*g - 271 = -0*p - 3*p, -4*p = -b*g - 351. Is p a composite number?
False
Let h(a) = -96*a - 34. Is h(-2) a composite number?
True
Is (-1)/5 - 54012/(-35) composite?
False
Suppose 2*c - c - 419 = 0. Is c a prime number?
True
Let r be ((-1)/(-2) + 0)*114. Is 2*r - (-1)/(-1) prime?
True
Let m = 333 + -204. Suppose q + q = 3*g + m, -5*q = 5*g - 260. Is q composite?
True
Suppose 2*f - 16 = -5*r, -r + 6 = -f - 0*f. Suppose 0 = -s, 0*s + 4 = 2*k - 3*s. Suppose 188 = 4*l + r*n, 235 = 5*l + 2*n + k*n. Is l a composite number?
False
Let n = -7 - -10. Suppose n = 3*m + 6. Let r = m + 3. Is r prime?
True
Let i = 330 - -81. Is i a composite number?
True
Suppose w - 2*j = -20 + 101, 2*w = 3*j + 161. Is (-1 + 1)/(-2) + w a prime number?
True
Suppose -3*v - 5*g = -8*v + 750, -2*g = -v + 151. Is v prime?
True
Let q be -2*(0 - 807/6). Suppose 344 = 4*i - 2*m, m - 5*m = 3*i - q. Is i a prime number?
False
Suppose -4*w - 3*b = -5748 - 12158, 3*b = -w + 4472. Is w a composite number?
True
Let l(t) = t**3 - t**2 + t - 1. Let g be l(2). Suppose 0 = 2*b - i + 11, g*b + 29 = 4*i - 3*i. Is ((-245)/15)/(2/b) composite?
True
Suppose 2*b + 3*z = -461, 0 = b + z + 3*z + 233. Let x = b - -438. Is x a prime number?
False
Suppose 835 = 6*w - 2075. Is w composite?
True
Let k(z) = -5*z + 1481. Is k(0) composite?
False
Suppose -1578 = -4*q + 5*y, 0*q + q + 5*y = 407. Is q a composite number?
False
Let q = 0 + 5. Let x be (10/(-1))/((-2)/44). Suppose -q*k + x = -k. Is k a prime number?
False
Suppose -5*f + 166 = -269. Let n = f - 32. Is n composite?
True
Let k = 2 - 5. Is k/(9/942*-2) a prime number?
True
Suppose -7*f + 25 = -2*f. Suppose -t = -4*l + 2, 5*l = 3*t - 4*t + 7. Suppose 3*n - 6 = -4*h + 19, -32 = -t*n + f*h. Is n prime?
True
Let f(p) = -2*p**3 + 12*p**2 + 6*p + 4. Let w(x) = 3*x**3 - 13*x**2 - 7*x - 4. Let v(a) = 4*f(a) + 3*w(a). Is v(-5) a composite number?
False
Suppose -52 = -r - c + 12, -4*r + 226 = -2*c. Is r prime?
True
Suppose 0 = -8*h + 4*h + 32. Suppose -3*t + 412 = 5*o, -327 = -4*o + 3*t - h*t. Is o a prime number?
True
Suppose 0 = -l - 5*b - 5, -5*b + 2 = -l + 7. Suppose l = 2*f - 6, 20 = 2*w + f - 13. Is w composite?
True
Let v = 5 + -5. Let u = -2 + v. Is (u - -1)/((-1)/53) a prime number?
True
Let t(y) be the first derivative of y**3/3 + 5*y**2/2 - 5*y - 5. Is t(-12) composite?
False
Let d(u) = -2*u**2. Let q be d(1). Is q/5 + (-771)/(-15) a composite number?
True
Suppose -1 = -3*s - 2*b, 2*b = 4*s - 9 + 3. Let j be (2 - 4)*s/(-2). Is 0 - j/(2/(-178)) composite?
False
Suppose -8534 = -15*c - 2*c. Is c composite?
True
Suppose -9 = 3*m, 3*t + 3*m = 823 - 163. Is t composite?
False
Let n = 183 + 134. Is n a composite number?
False
Suppose b + 3 - 11 = -4*v, 3*v = -3*b + 6. Suppose 3*g + b*g - 318 = 0. Is g a composite number?
True
Let j(x) = -2*x**3 + 5*x**2 + 6*x - 6. Let y be j(5). Is (-16)/72 - y/9 prime?
True
Suppose -10 = -5*u + 5. Suppose 0 = -b + 5, -2*x + u*b = -0*x + 15. Suppose -4*c = -3*o + 34, 2*c = o - x - 10. Is o a composite number?
True
Suppose -3*t + 4386 = t + 3*a, -4*t = 5*a - 4382. Let q = t - 761. Is q composite?
False
Let q = 1336 + 1243. Is q prime?
True
Let o = -391 - -884. Is o prime?
False
Suppose 4*i = 0, -4*l - 3*i + 331 + 1545 = 0. Is l a prime number?
False
Let d(b) = -22*b - 13*b + 1 + 13*b. Let f be d(-1). Suppose -f = -k + 2. Is k a composite number?
True
Let u = 2 + -3. Let v = u - -1. Suppose 2*w + 2*w - 12 = v. Is w prime?
True
Suppose 1819 - 472 = 2*x + r, 0 = -x - 3*r + 676. Is x prime?
True
Let g be 9/4 + (-15)/(-20). Suppose v + g*w = -0*w + 206, -2*v + 3*w + 457 = 0. Is v a prime number?
False
Suppose -3*f = f - 796. Is f prime?
True
Suppose -4*v + 22 = -2*r, 3*v - v + r - 13 = 0. Suppose 4*j = v*j - 158. Is j prime?
True
Let o be 1493 + 4/(8/6). Suppose 4*a + 4*a = o. Is a a prime number?
False
Is -4*(-73)/4*2 prime?
False
Suppose 0 = 5*l - 0*l - 210. Suppose 2*t + l + 64 = 0. Is (-2*1 + 1)*t composite?
False
Is (956/(-48)*-3)/(1/8) composite?
True
Suppose 0 = -a - 4*b + 185, -2*b + 213 = a - 5*b. Is a a composite number?
True
Let n = 75 + -49. Suppose 92 = 2*l - n. Is l composite?
False
Suppose -3*o + 7018 = -6155. Is o a composite number?
False
Let x(s) = -s**3 + 2*s**2 - 2*s + 1. Let r be x(1). Suppose r = 2*t + 3*t - 745. Is t composite?
False
Suppose 8*a - 3*a = j - 134, 4*a = -2*j + 198. Suppose j - 17 = 2*u - 2*p, -2*p + 209 = 5*u. Let g = u - 24. Is g a composite number?
False
Let d(j) = -j**3 + 9*j**2 - 2. Let q(u) = u**3 - 6*u**2 + 7*u - 2. Let v be q(5). Let s be d(v). Let x = s + -25. Is x prime?
True
Let s(t) = t**2 + 79. Is s(0) composite?
False
Suppose -6 = -3*l + 57. Is l a prime number?
False
Suppose g = 2*w - 0*g - 137, -5*w - 5*g = -365. Suppose 2*i - 108 = w. Is i a composite number?
False
Let b(o) = o**2 + 5*o - 6. Let g be b(-6). Suppose g = -c + 5*x + 60, 4*x + 58 = c + x. Is c a prime number?
False
Let q(s) be the second derivative of 7*s**3/3 + s. Let x be q(1). Is (12/14)/(2/x) composite?
True
Suppose -3*k = -3*q - 6, -2*k - 4*q = -k - 2. Suppose 0 = -k*p + 204. Suppose -3*i + 5*g = -0*g - 88, 0 = 4*i + g - p. Is i prime?
False
Suppose 3*r + 11 = -2*c, 5*c - 1 = -5*r - 16. Suppose -c*q = q - 75. Let d = q + 114. Is d composite?
False
Let s(q) = -32*q - 3. Let w = -5 - -2. Let b be s(w). Suppose 2*r = -3*t + 15 + 78, 3*t = -r + b. Is t composite?
False
Let l(n) = 2*n**2 + 8*n + 3. Let f be ((-2)/(-2))/1*-1. Let b = f - -8. Is l(b) prime?
True
Let p be (188/16)/((-1)/(-8)). Suppose -49 = -3*l + 5. Suppose -2*a + p = 4*m, 2*m - 4*a = 80 - l. Is m a prime number?
False
Let z be (1 + -3)/((-2)/(-3)). Let w = z + 2. Is w/((-21)/(-11) - 2) prime?
True
Suppose -2*b + 6*b - 24 = 0. Suppose 2*t + 16 = b*t. Is 55 - -1 - t/4 composite?
True
Suppose 46 = r - 0*r. Suppose -5*h = -h - 124. Let g = r + h. Is g composite?
True
Suppose 6*k - k = 150. Let b be ((-148)/(-6))/((-4)/k). Is (-1 + 0)/(5/b) prime?
True
Let f be -3 + (-4)/2 + -296. Let d = 184 - f. Is d composite?
True
Let s be -98 + (0 - -1)/(-1). Let y = 9 + 179. Let a = s + y. Is a a composite number?
False
Is 968 - (-6 + (4 - 1)) a prime number?
True
Let v = 2 + 1. Suppose s + v*s = 340. Let k = s - 36. Is k prime?
False
Let y(r) = -10*r + 4. Let v be y(5). Let b = 69 + v. Is b a prime number?
True
Suppose -4*q - 256 + 4 = 0. Let n(u) = 21*u - 2. Let r be n(-2). Let i = r - q. Is i composite?
False
Suppose -41*n - 22 = -52*n. Let z(y) = 13*y**2 - 4*y - 3. Let d be z(-3). Suppose 28 = -n*s + d. Is s composite?
True
Let g be (-6)/12*(1 - 151). Suppose 0*u - 5*u - g = 0. Let v = u + 94. Is v prime?
True
Let b = 78 - 25. Is b prime?
True
Suppose -2*d + 5*w = 6, 2*d + 12 = 5*d + 3*w. Is d*(2 - (-14)/4) a composite number?
False
Let m(q) = 2*q**3 - 2*q**2 - 2*q. Let f be m(2). Let n be (0 - -1)*(-3)/3. Is 51/4 - n/f prime?
True
Let o be (-24)/2*(-1)/1. Suppose t = -2*t + o. Is (-42)/t*98/(-21) composite?
True
Let z be (2/(-4))/(3/(-18)). Suppose 0 = z*d + 10 - 85. Is d a prime number?
False
Suppose 3*f - 2733 