r?
True
Let o be 1/(-3) + (-20)/(-6). Let n be (3 - 4)/(5/(-295)). Suppose 8*k - 3*k = -o*a + n, -4*k = 3*a - 49. Is k a composite number?
True
Let v(k) = -2*k - 15. Let b be v(-10). Let q(m) = -m + 6. Let f be q(b). Is f/6 + 677/6 a prime number?
True
Suppose 2*u + 3107 = 4*a + a, -2*u = a - 631. Is a prime?
False
Suppose 3*g - 13 + 31 = 0. Is g*15/12*-2 prime?
False
Suppose -4*u = -5*j - 2*u + 14, 4 = -3*j - 5*u. Let z(v) = -57*v - 7. Let d(o) = 85*o + 10. Let f(t) = 5*d(t) + 7*z(t). Is f(j) a prime number?
True
Let n be (0 + -1)/(4 - 5). Suppose 0 = -2*y + 3 + n. Suppose 3*f = y*q + 29 + 36, 4*q = 5*f - 111. Is f prime?
True
Let i = 9 + -6. Let b be 1 + (4 - (0 + i)). Suppose c - 2*s - 205 = 0, 5*c = 3*s + b*s + 1025. Is c prime?
False
Let a = 11 - 8. Let c be 2 + (a - 1) + 23. Let j = -13 + c. Is j a prime number?
False
Suppose 0*c + 3 = -c - 5*l, -c - 1 = 3*l. Suppose c*k = k + 23. Is k a prime number?
True
Suppose -2*v + 2533 = -4*v - 3*u, -v - 3*u = 1271. Is (-2)/(-3) + v/(-6) composite?
False
Suppose 0 = 4*l + l - 885. Is l composite?
True
Let p(h) = -h**3 + 3*h**2 + 4*h + 7. Let i be p(5). Let y = 57 + i. Is y a prime number?
False
Let t = -10 - -1. Is (-24)/t*(-66)/(-8) composite?
True
Let n(o) = 49*o**2 - 10*o - 2. Is n(-5) a prime number?
False
Suppose 13 = -i + 5*h, 6*i - 9 = 3*i - h. Is 82 + i/(-4)*-2 prime?
True
Suppose 5*w - 20 = 0, -6*f + 2*f - 4*w - 64 = 0. Is (-264)/f - 1/5 prime?
True
Suppose -10*a + 3345 = -7*a. Is a composite?
True
Is 1 + -3 + 10 - -2 a composite number?
True
Suppose -5*y = -19*y + 10906. Is y prime?
False
Let c be (-3)/9*2*-3. Suppose 0 = z + b - 2 + 5, 0 = 5*z + 3*b + 9. Suppose z*w + 26 = c*w. Is w a prime number?
True
Let z be 4/(-22) + 3260/22. Suppose 0 = f - 2*f - 6. Is (z/(-12))/(2/f) a prime number?
True
Let k(g) be the first derivative of -5*g**2/2 + g + 1. Let u = 6 + -12. Is k(u) prime?
True
Suppose 5*d = -0*d + 2065. Is d prime?
False
Let q be (16/(-10))/(2/(-5)). Suppose q*w - 5*z = 199, z + 4*z - 81 = -w. Let k = w + -7. Is k composite?
True
Let u be (-1)/(-4) + (-22)/(-8). Suppose 0 = -2*y + z + 24, 5*z - z = u*y - 46. Is y a composite number?
True
Let h(l) = 17*l + 4. Let k be h(6). Suppose 36 - k = -2*x. Is x a composite number?
True
Suppose 4*o - 25 = -o. Suppose -4 = -o*l + 26. Is l prime?
False
Let y(m) = m**3 - 4*m**2 + 4*m + 3. Let d be 6 + -1*2 + -2. Suppose -d*n - 2*n = -16. Is y(n) a composite number?
False
Let y be (-3 - (0 + -2))*74. Let c(d) = -d + 6. Let r be c(0). Is (3*-1)/r*y composite?
False
Let x(b) = -660*b**3 + b + 1. Let r be x(-1). Suppose 183 = -3*c + r. Is c composite?
True
Let k be (1 - 2)/((-8)/16). Suppose -425 = -k*h - 3*h. Is h composite?
True
Let k(h) be the first derivative of 2*h + 7/3*h**3 + 2 - 5/2*h**2 + 1/4*h**4. Is k(-7) composite?
False
Let n = -8 - -5. Is 3 + 65 - n - 0 a composite number?
False
Is 3099/27 - (-2)/9 a prime number?
False
Let x = 3 + 0. Suppose 0 = 5*k, x*r + r = -5*k + 124. Is r composite?
False
Suppose -5*k = 2*z - k - 20, 2*z + 3*k - 16 = 0. Let n be z/(-1) + 1 - -1. Is (-261)/(-12)*(4 + n) a composite number?
True
Let t(v) be the first derivative of -v**2/2 + 4*v - 4. Let y be t(2). Is (21/4)/(y/8) prime?
False
Suppose -3*o - 4*y = -16, -3*o - y + 5 + 8 = 0. Suppose 4*a = 4*d - 4, o*d - 3*d - 13 = 4*a. Let c(h) = 17*h**2 + 3*h - 3. Is c(d) a composite number?
True
Let r(s) = 7*s**3 + s + 1. Is r(2) composite?
False
Suppose -3*t = -2*t - 2. Suppose 0*m + 4*m = 0. Suppose m = -s + t*s - 37. Is s a composite number?
False
Let t be -1 - (4 - 2) - 0. Let h be (-2)/t*21/2. Let k = h + -1. Is k a composite number?
True
Let n(i) = -9*i**3 + 4*i**2 - 1. Let a be n(-3). Suppose 4*o + 2*p - 364 = 224, -a = -2*o - 5*p. Is o a composite number?
False
Let f(l) = 3*l**2 + 10*l + 2. Let u(t) be the second derivative of t**3/3 - t**2/2 - 2*t. Let y be u(-3). Is f(y) a prime number?
True
Let b be (1/1)/(-1) + 5. Suppose -b*x + 64 = g + x, -2*x = 5*g - 205. Is g a prime number?
False
Suppose 0 = -t - 4*t + 35. Suppose 2*a = t*a - 4*v - 803, -3*v = 3*a - 471. Is a prime?
False
Let k(u) = 17*u**2 - 2*u - 1. Is k(4) composite?
False
Let q = -5 - -7. Suppose 5*a - 3*a + 3*g = -13, 0 = -q*a + 2*g + 12. Let m = a - -6. Is m a composite number?
False
Let b be (-32)/(-6) + 1/(-3). Suppose -5*m = -3*c - 593, -3*m + 6*m - 343 = b*c. Let k = m - 82. Is k a prime number?
False
Suppose -3*d = -8*d. Suppose d = 5*l - 2*l - i + 4, l - 2 = -3*i. Is l - (-88 - 0)/2 a prime number?
True
Let f(o) = o**3 - 9*o**2 - o + 9. Let u be f(9). Is 172 + (u/(-4) - 3) a composite number?
True
Suppose -5*n = -2240 - 465. Is n prime?
True
Let c(r) = -3*r**2 - 6*r - 3. Let f be c(-6). Suppose -400 = 3*q - 16. Let d = f - q. Is d a composite number?
False
Suppose 3*f + 7*q - 426 = 2*q, 0 = f - q - 142. Suppose -2*s = -380 + f. Is s a composite number?
True
Suppose -6*c + 2568 = -828. Is c a prime number?
False
Let n(y) = -y**3 - 5*y**2 - 3*y - 3. Let o be n(-4). Let k be (-177)/o + 8/(-28). Let t = k + -3. Is t prime?
False
Suppose -c + 6*c - 10 = 0. Suppose -2 = -2*y - 4*z, 5*y + 0*z - 13 = -c*z. Suppose y*d - 2*d = -3*r + 107, 4 = -d. Is r prime?
True
Let u(d) be the third derivative of d**4/8 - d**3/3 - 2*d**2. Is u(3) composite?
False
Let t(l) = l**3 + 2*l**2 + 4*l - 190. Let o(h) = h**3 + 2*h**2 + 3*h - 189. Let u(a) = -5*o(a) + 4*t(a). Is u(0) a composite number?
True
Let y be (1*14)/(8/(-28)). Let k be 602/y - 2/(-7). Is (-182)/(-8) - 3/k a composite number?
False
Suppose 0 = 6*b - 9318 + 432. Is b prime?
True
Let f be 2/(-2) - (2 - 2). Is 4932/15 + f/(-5) prime?
False
Let q = 23 + -8. Suppose u - 3*u = 0. Suppose -x + q = -u*x. Is x a composite number?
True
Let i be (-33)/44 + 137/(-4). Let w = i - -81. Is w a composite number?
True
Suppose 0 = -3*m - 4*q + 7*q + 225, 4*q + 78 = m. Is m a composite number?
True
Is 3*-1 - (-621 + -17) composite?
True
Let t(n) = n**3 - 6*n**2 + 6*n - 2. Let g be t(5). Let i be g/((-45)/12)*-5. Suppose 0 = -x + 2*x, 5*x + 56 = i*z. Is z a composite number?
True
Is (-7)/(-3*(-5)/(-105)) prime?
False
Let x(l) = -l**3 + 5*l**2 + l + 8. Let v be x(-6). Let i = v + -253. Is i a composite number?
True
Let w = -57 + 260. Is w a composite number?
True
Let j(a) = 10*a + 1. Let x be j(4). Suppose b + x - 202 = 0. Is b a composite number?
True
Suppose 3*x = -3*h, -2*x = h + 3*x + 20. Suppose -h*y = 3*u - 134, 0 = u - 6 + 3. Suppose -s + y = -10. Is s prime?
False
Suppose -104 = -u - 0*u - 4*b, 0 = 5*b + 10. Let h be (-8)/12 - u/(-6). Suppose h + 52 = 2*k. Is k composite?
True
Let t(r) = 5*r + 1. Let w(y) = -25*y - 5. Let f(k) = -11*t(k) - 2*w(k). Let x be f(-1). Suppose 0 = b - 2*m - 129, b - x*b = -2*m - 367. Is b composite?
True
Let i = -1072 - -4889. Is i a composite number?
True
Suppose b = -4*b + 230. Is b composite?
True
Let m(i) = -i**2 - 10*i - 14. Let l be m(-8). Suppose 5*j - 5*y = 455, -y - 182 = -0*j - l*j. Is j prime?
False
Let g(i) = 61*i**3 + 4*i**2 - 3*i + 1. Is g(2) prime?
True
Suppose -2*j - 4*p = -16394, 0*p = 4*j - 3*p - 32821. Is j prime?
False
Let w(g) = 72*g - 12. Let s(m) = -4 - 4*m + 22*m + 1. Let f(u) = 21*s(u) - 5*w(u). Is f(2) prime?
False
Let q(b) = -2*b. Let v be q(-2). Let z = 4 - v. Suppose z = -4*k + 40 + 44. Is k prime?
False
Suppose 0 = 3*s + 35 - 1463. Suppose -s = 2*c - 6*c. Is c a composite number?
True
Suppose -r - 3*n = -0*r - 386, 2*r + n - 792 = 0. Is r a composite number?
True
Suppose 2*r - 4*z - 48 = -0*z, 0 = -r - 4*z + 18. Is (r/(-4))/((-2)/28) a composite number?
True
Let z(t) = -t**3 + 4*t**2 + t - 2. Let v be z(4). Let i be (-87)/(-15) + v/10. Let b(a) = 6*a + 1. Is b(i) a prime number?
True
Let s(g) = -2*g - 10. Let k be 6/8 - 31/4. Let w be s(k). Suppose -q = -2*x + 4, 3*q = 5*x - w*x + 3. Is x prime?
True
Let k(t) = -t - 3. Let z be k(-4). Let y = z - -1. Suppose -y*u = u - 483. Is u prime?
False
Let f(n) = 5*n - 1. Let c(z) = z. Let x(y) = 11*c(y) - 2*f(y). Let s be x(5). Suppose h - s = 8. Is h a prime number?
False
Let q(h) = 7*h**2 + 2*h + 35. Is q(8) a composite number?
False
Let g be (-2*(-1 - 1))/1. Suppose -15 = 3*k, -g*z - 353 = -4*k - 881. Is z a composite number?
False
Let s = -1508 - -2907. Is s composite?
False
Let y(t) = -t**2 + 29*t - 3. Is y(13) prime?
False
Let w be (-4 - -3)/((-1)/4