r?
True
Let c(a) = a**2 - 8*a + 5. Let g be c(8). Suppose -274 = -g*r + t, -4*r + 0*t - 4*t = -224. Is r a composite number?
True
Suppose -13 = w - 2*g, 0*w = 2*w - 2*g + 16. Let p = w + 75. Let m = p - 41. Is m composite?
False
Suppose 0*x + 5*x - 605 = 0. Is x prime?
False
Let c(s) = s + 1. Let j be c(-3). Let u(g) = 2*g**2 - 3*g - 3. Is u(j) a prime number?
True
Let m(w) = 2*w**3 - 4*w**2 + 8*w + 1. Is m(6) a prime number?
True
Let y(q) = q**3 - 6*q**2 + 4*q + 1. Suppose 2*r + 1 = -3*m + 7, 5*r - m - 32 = 0. Let x be y(r). Suppose -x = 5*s - 180. Is s prime?
True
Let r(g) = -g**2 + 12. Let w be r(0). Let l(a) = -a**3 + 12*a**2 + 12*a - 17. Is l(w) prime?
True
Let o(w) = 17*w - 33. Is o(22) a prime number?
False
Suppose 7*i - 8*i = -93. Is i composite?
True
Let l(b) = 35*b - 1. Let r be l(5). Suppose -4*f + r = -f. Is f a composite number?
True
Suppose 422 = 2*u - 5*y, 4*y = -2*u + 3*u - 211. Is u a prime number?
True
Let o(f) = 52*f**2 + 36*f - 6. Is o(-5) prime?
False
Suppose -4*k + k + 5*p + 45 = 0, 4*p + 75 = 5*k. Is k composite?
True
Let d = 8 + -1. Suppose -d*l + 46 = -3*l + 3*j, 3*l - 5*j = 49. Is l a prime number?
True
Let d = 2398 - 1626. Suppose 3*h + 390 = 2*w + 20, -4*w - 2*h + d = 0. Is w prime?
True
Let o be ((-40)/(-6))/((-6)/(-207)). Suppose c - 3*c + o = 0. Is c a prime number?
False
Let k be ((-20)/(-6))/5*111. Suppose -4*b = -50 - k. Is b a prime number?
True
Suppose 0*g + 13 = g. Let y be 2 - (-36 + (-12)/(-4)). Let x = y - g. Is x a prime number?
False
Let n = 97 - 60. Is n a prime number?
True
Let d(h) = -h**3 + 9*h**2 + h. Let m be d(9). Let u = m + -5. Suppose -u*s + 25 = -31. Is s a prime number?
False
Suppose 0 = -0*w + 2*w - 2. Let s be ((-2)/6)/(w/(-3)). Is (-255)/(-6) - s/(-2) prime?
True
Let k(j) be the second derivative of -j**5/20 - j**4/3 + 2*j. Let b be k(-4). Suppose 0 = -b*p + 3*p - 111. Is p composite?
False
Let z(c) = 3*c**3 + c**2 - 3*c - 2. Is z(3) a composite number?
False
Suppose 3*m - 69 = 2*b, m - 3*b - 13 = b. Let d = 44 - m. Suppose 4*c - 33 = d. Is c prime?
True
Suppose 0 = -3*i + 730 + 227. Is i composite?
True
Let b(l) be the second derivative of l**4/12 + l**3/2 - 7*l**2 - l. Is b(-11) composite?
True
Let n(i) = 2*i + 9. Let k be n(-6). Let f be k/6*-1*2. Is f + 0 - -46*1 a prime number?
True
Suppose -m + 2*g = 4, 0*g = -m - 4*g + 8. Suppose 0 = 3*s + t - 362, 6*s - 2*s + 2*t - 482 = m. Is s prime?
False
Suppose -4*x = 5*n - 0 - 8, -4*n = 0. Suppose 6*o - 20 = x*o. Suppose u - o*u = -196. Is u composite?
True
Suppose 3*y = g - 46, 5*g + 3*y - 403 + 137 = 0. Suppose 0*m = 2*o - 2*m - g, -3*m = 5*o - 114. Suppose -o = -5*t + 5*b + 156, 5*t - 130 = -5*b. Is t prime?
True
Let x(q) = -644*q - 1. Let u be x(-1). Suppose 3*h - 8*h - 4*y = -u, 3*h + 2*y = 385. Is h a composite number?
False
Is (-2)/((-7)/(1239/6)) prime?
True
Let c(j) = -j**3 - 3*j**2 - 1. Let k(w) = -5*w**3 + 2*w**2 - 1. Suppose v + 6 = 4*f - v, -1 = 2*f + 3*v. Let l be k(f). Is c(l) composite?
True
Let m(f) = 5*f**3 + 2*f**2 + f. Let o be m(-1). Let u be -1*(-2)/(o/(-58)). Suppose 0 = w - 5*j - 74 + u, 0 = -w + 4*j + 41. Is w prime?
False
Let u = 252 + -103. Is u a composite number?
False
Let c(o) be the third derivative of -o**6/120 + o**5/12 + 7*o**4/24 + 2*o**3/3 - 2*o**2. Suppose 10 = -5*m, -3*m - 4 + 16 = 3*k. Is c(k) prime?
False
Let g(q) = 253*q - 61. Is g(18) a prime number?
True
Is 26/39 + 7550/6 a composite number?
False
Suppose k = -2*b - 1, -30 = b - 5*k - 2. Let a(t) = t**3 - t**2 + 44. Let c be a(0). Is c/6*b/(-2) composite?
False
Let r = -361 - -584. Is r a composite number?
False
Let b(q) = 2*q + 13. Let n be b(-9). Let v = 94 + n. Is v a prime number?
True
Suppose -5*g + 3420 = -5*x, -6*g = -g + x - 3390. Is g composite?
True
Suppose 3*x = -4*p + 7388, 2*p - p - 4*x = 1847. Is p prime?
True
Is (-15 + 14)/((-1)/293) a composite number?
False
Let b = -1 + 3. Suppose b*w - 133 = g, -4*g + 3*w + 600 = -9*g. Let r = -44 - g. Is r a prime number?
True
Suppose -3*l - 632 = -y, 0 = 4*y + l - 4*l - 2519. Is y composite?
True
Suppose -3*a - 2*a = -20. Suppose 2*z + a*s = 3*s + 44, z - 3*s = 8. Is 1/4 + 1575/z a composite number?
False
Suppose 3*z - 20 = -2*z, 0 = -4*m - z + 40. Let d be m*((-1)/(-3) + 0). Suppose -d*w + 65 = -2*w. Is w a prime number?
False
Let j(z) = z**3 - 3*z**2 - 3*z - 2. Let g be j(4). Suppose 2*b + g*b - 268 = 0. Is b a prime number?
True
Suppose a + 6 = -4*s - 6, 0 = a - 3*s - 2. Let r(h) = -15*h + 5. Is r(a) a prime number?
False
Let f(n) = -n**3 - 11*n**2 - 8*n + 6. Let o be f(-10). Is (-1)/(-7) + (-432)/o a prime number?
True
Let k be (-88 + 0)/(4/8). Is -3 - k/(-2)*-1 prime?
False
Is 21/(-7) + 2*2*124 composite?
True
Suppose 0*i = 2*i - 356. Is i a composite number?
True
Let b(d) be the first derivative of -9*d**4 - d**3/3 + d**2/2 - d - 1. Let a be b(2). Is (1/3)/(-1)*a prime?
True
Suppose -3*v + 6*v = 2*d + 56, 5*d - 60 = -5*v. Let f be (-264)/v*44/(-6). Suppose 4*y - f = -5*a - 36, y - 37 = 4*a. Is y prime?
False
Let q be (-1)/(-2)*(-4 - 6). Let x(m) = -m - 2. Let r be x(q). Suppose 2*l - c = 136, -5*l = r*c - 50 - 279. Is l a composite number?
False
Let t be (1 + (-3)/6)*4. Suppose -2*g + 516 = t. Is g composite?
False
Let g = 1 + 2. Suppose 0 = -g*v - 15, -2*p + v + 431 = -4*v. Is p prime?
False
Let j = 34 - -127. Is j composite?
True
Let t(m) be the second derivative of -m**5/10 - 7*m**4/12 - m**3 - 3*m**2/2 - m. Is t(-4) a composite number?
False
Suppose 0 = z + 1. Let b = 4 + z. Suppose -t + b*t = 102. Is t composite?
True
Let b(f) = -4*f**3 + f**2 - 4*f + 12. Let h(g) = 3*g**3 - 2*g**2 + 3*g - 11. Let n(u) = 4*b(u) + 5*h(u). Is n(-7) composite?
True
Suppose -2*f = -5 + 15, -3*t + 23 = -f. Let a = t + -7. Is -2 - 84/(-2 - a) composite?
True
Let r(o) = 11*o - 4. Let k(a) = -10*a + 3. Let p(w) = 3*k(w) + 4*r(w). Suppose -9 = -h - g, 0 = -2*h - 0*h - 3*g + 21. Is p(h) a composite number?
True
Suppose 2*k + 4*j + 4 = 2*j, -4*k - 11 = 5*j. Suppose 4*v + 25 - k = 0. Is (-225)/v - 4/8 a prime number?
True
Let z be (-2 + 1)*(2 + -479). Let w = 1286 + -491. Suppose -r = 3*k - 0*r - z, -4*r + w = 5*k. Is k composite?
True
Suppose -10 = -2*s - 2*w, 4*s - 3*w - 23 - 25 = 0. Is s/3 - 4 - -146 a prime number?
False
Let h be (-1 + 0)/(5 + -4). Is (0 + 66 - h) + 0 composite?
False
Let s = 4 + -4. Suppose -z + 91 = -s*z. Is z composite?
True
Suppose -3*z = -6*z + 6. Let s(v) = 6 + 43 - v**3 - v**z + 16. Is s(0) a prime number?
False
Suppose 2169 = 4*r + 5*y, 0 = -r - 2*y - 3*y + 546. Is r prime?
True
Let h be 93 - (-5 - -3) - -2. Suppose 4*a - h - 435 = -2*l, 3*l - 665 = -5*a. Is a a composite number?
True
Suppose -2*n + 36 = -2. Is n prime?
True
Is (-2913)/(-21) + (-2)/(-7) a composite number?
False
Let b(t) = t**3 + 13*t**2 - 12*t + 11. Is b(-12) a prime number?
False
Let f be -1 + -3 + 2 - 2. Is ((-50)/4)/(2/f) prime?
False
Let v = -76 + 106. Let x = 9 - -7. Let f = v - x. Is f prime?
False
Suppose 3*y + 29 = 2*q, -3*y + 4 = 3*q - 17. Let w(k) be the second derivative of k**4/12 + 2*k**3 - 9*k**2/2 + 21*k. Is w(q) composite?
False
Let y = 10 - -31. Let i = -107 + y. Let f = i - -103. Is f prime?
True
Let d be (-21)/(-27) - (-4)/18. Let p be 3*(1 + d/(-3)). Suppose 2*k + p*z = -3*k + 289, 5*z = -15. Is k a prime number?
True
Suppose 2*l - l - 22 = -5*q, l = q - 2. Suppose -3*h = -2*b - 34, b + 15 = 2*h - 9. Suppose -h = -3*p + l*p. Is p a composite number?
True
Suppose 0 = -2*q - 3*i - 0*i + 95, 2*q - i = 115. Let w = 12 + q. Is w prime?
True
Suppose 0*j + 3 = j. Is (-10)/(-15) - (-100)/j prime?
False
Let z(l) = l**2 - 9*l. Let u be z(9). Let d be 1/(1 + u)*2. Suppose 4*j + 2*x = 168, 2*j + x + d*x = 80. Is j a prime number?
True
Let d be 2 + 0 + (-12)/3. Is (-2)/2 - (-40 - d) a prime number?
True
Let t(k) = -36*k**3 - 2*k**2 - k - 4. Is t(-3) composite?
False
Let m(a) = 3*a**2 - 14*a - 6. Let u be m(10). Suppose -4*g + 2*g = -u. Is g a prime number?
False
Suppose -l = 1, c - 5129 + 1928 = -2*l. Is c composite?
False
Suppose 2*k + 2 = -4, 2*h - 511 = k. Is h a prime number?
False
Let h(v) = v**3 + 5*v**2 - 4*v + 4. Let i be h(-6). Is (606/i)/((-3)/8) composite?
True
Let h(p) = p**2 + 9*p + 6. Let q be h(-6). Is (9/q)/((-7)/2212) prime?
False
Let g be (0 - (-10)/(-4))*-2. Suppose g*w = 24 - 9. Suppos