r?
False
Let i be ((-3)/2)/(2/(-4)). Let d(s) = i - 17*s - 27*s + 12*s. Is d(-4) composite?
False
Let b(o) = -3*o**3 - 7*o**2 - 11*o + 26. Is b(-11) a prime number?
False
Let d(a) = -a**2 + 21*a - 25. Is d(13) prime?
True
Suppose -3*q + q - 4*h = -1012, 0 = -4*q - 2*h + 2012. Is q composite?
True
Let m be (1*25/1)/1. Let k = 132 - 132. Suppose 5*z + m = k, -2*n + 3*n + 5*z - 33 = 0. Is n prime?
False
Suppose -3*o + 7522 = j + j, 4*o + 11249 = 3*j. Is j a prime number?
False
Suppose l = 11*l - 21610. Is l a composite number?
False
Suppose -12 = -2*q + b + 9, -2*q + 4*b + 36 = 0. Suppose q*j - 3*j = 115. Is j a prime number?
True
Let y(u) = -u - 8. Let s be y(-5). Let p(b) = b + 2*b**2 + 2 - 5*b**2 - 2*b - 3*b**3. Is p(s) prime?
True
Suppose 2*d + 2*f + f - 15 = 0, -4*d + f - 5 = 0. Let r(i) = 27 + 12 - i**2 + 2*i**2. Is r(d) a composite number?
True
Let d be (15/6 + -2)*4. Suppose -333 = -c - 4*f, -f + 0*f + 673 = d*c. Is c a prime number?
True
Suppose 0 - 5 = l. Let d(t) = t**2 + 8*t + 7. Let n be d(l). Is (-4)/n + 338/4 prime?
False
Let n(a) = 2*a**2 - 7*a - 1. Suppose -5*d - 30 = -4*s, -9 = 3*s - 5*d - 34. Is n(s) a prime number?
False
Let w(t) = -t**2 + 5*t - 4. Let a be ((-1)/(-2))/((-4)/(-24)). Let q be w(a). Suppose 5*o - 6*x - 15 = -x, 12 = 4*o - q*x. Is o composite?
False
Suppose 17*y = 13*y + 1940. Is y prime?
False
Suppose -9*m - z = -4*m - 1189, 3*z = 12. Is m composite?
True
Let n(h) = -4*h + 1. Suppose -4*i + 21 - 5 = 0. Suppose -4*g = 5*l + 46, 4*g + i*l + 0*l + 44 = 0. Is n(g) prime?
True
Suppose 1 = -l - 2*d, 7*l - 3*l - 5*d - 22 = 0. Let j = l + -1. Suppose 4*t = 4*x + 8, 0*x - 3*t = -j*x - 8. Is x a prime number?
True
Suppose -1265 = -2*t - 3*t. Is t a composite number?
True
Suppose 7*p = 2*p. Suppose o = 2*w, 2*w + 4 = 2*o - p*o. Suppose -o*u + 5*m + 226 = 0, -2*u = u - 5*m - 167. Is u a prime number?
True
Let z = 18 + 161. Is z a prime number?
True
Let y be 1/(-5) + 8/(-10). Let a be 148/y*-1 - 1. Suppose -5*q + a = -118. Is q a composite number?
False
Let k(b) = -5*b + 4. Let d be k(-3). Suppose -11 = -3*w - 5*a + d, -9 = 3*a. Is w a prime number?
False
Let y = -3 - -3. Suppose y = -3*k - 5*a + 4 + 32, 4*a + 2 = 2*k. Is k*(0 + 3) - -1 a prime number?
False
Suppose -t = -5*w + 96 - 650, 3*t = -2*w + 1662. Is t prime?
False
Suppose 4*j - 3*h + 60 = 5972, -4*j - 4*h = -5940. Is j composite?
False
Let p = 3989 + -2730. Is p a composite number?
False
Let b(v) be the first derivative of v**3/3 + 3*v**2/2 + 2*v + 1. Let g be b(-4). Suppose y - g*y = -635. Is y prime?
True
Let b be 12/8*(-2)/(-3). Suppose 3*n + 37 = b. Is 1 + n*(-38)/4 prime?
False
Suppose -w + 4*b + 23 = 1, 4*b = 5*w - 110. Suppose 0 = 2*t + 6 + w. Let o = t - -40. Is o prime?
False
Suppose 0 = -2*k - 1 - 5. Let f(a) = -17*a**3 + 2*a**2 - 2*a - 4. Let m be f(k). Suppose -7*u - 471 = -5*x - 3*u, -m = -5*x - 4*u. Is x prime?
False
Let l(r) = 88*r**3 - 2*r + 1. Let k be l(1). Suppose -4*c = v - k, 5*v + c - 84 = 4*v. Is v prime?
True
Let u = 319 + -137. Let i = u + -91. Is i a composite number?
True
Suppose 2*n - 7743 - 655 = -5*r, 0 = r - 3*n - 1666. Is r prime?
False
Let t(l) = l + 3. Let i be t(0). Let s be (i + -1 + -2)/1. Let h = 13 - s. Is h prime?
True
Let d(o) be the third derivative of o**7/840 + o**6/360 - o**5/60 + o**4/24 - o**3/6 - 3*o**2. Let y(a) be the first derivative of d(a). Is y(3) a prime number?
True
Let v be 6/21 - (-368)/(-14). Suppose 2*y + 84 = -3*n, 2*n + 3*n + 215 = -5*y. Let z = v - y. Is z composite?
False
Suppose -o - 5*x + 4 = 15, -2*x + 10 = 4*o. Let l = -43 - -95. Suppose 0 = -3*d + 4*v + 39, 0*d + l = o*d - 2*v. Is d a prime number?
True
Is 5/5 - 3 - -3*353 prime?
False
Suppose -2*w - v = 4*v - 91, -2*w - 2*v + 88 = 0. Let p be 3/1 + -5 + 38. Let r = p + w. Is r composite?
False
Let m(f) = f**3 - 7*f**2 + 9*f - 10. Let z be m(7). Suppose z = 3*s - 5*w, s + 4*w = -w - 9. Is s a composite number?
False
Suppose 2*g + 3*g - 15 = -x, 4*x - 12 = -4*g. Suppose -2*k - 11 - 17 = -g*l, k = -3*l + 13. Is (-1)/(-2) + 399/l a composite number?
False
Suppose 3*z - g - 145 = 4*g, -g - 137 = -3*z. Let w = z - 32. Is w a prime number?
True
Let i = -10 + 11. Suppose i = x - 2. Is x a prime number?
True
Let j = -68 - -441. Suppose j = 3*u - 0*u - 4*r, -r - 506 = -4*u. Is u composite?
False
Is (((-2241)/(-12))/9)/((-1)/(-4)) a prime number?
True
Is 4/12*3*233 composite?
False
Let r(f) = -4*f - 5 + 10*f + 2. Let m be 3/(-9*(-1)/12). Is r(m) prime?
False
Suppose 0 = -0*i - 5*i + 4*q - 1221, 4*i + 4*q + 948 = 0. Let v = i - -404. Is v prime?
True
Let d = 384 - 86. Is d prime?
False
Suppose x = 6*b - b - 3928, 4*b + 2*x = 3134. Is b a prime number?
False
Suppose 4*n + 5*f + 5 = 0, 0*f + 2*f = -2*n - 2. Suppose n*u - 5*u + 26 = -2*c, -c = 3. Is (259/(-2))/((-2)/u) a prime number?
False
Let u(j) = -j**3 + 17*j**2 - j - 4. Is u(15) prime?
True
Suppose -x = -318 - 77. Is x a prime number?
False
Suppose -5*r - q = -5*q - 2461, -q - 1971 = -4*r. Is r prime?
False
Let c be (-1)/(-4) + 66/(-8). Let r = c + -11. Let q = r - -28. Is q composite?
True
Let v = 1376 + -835. Is v a prime number?
True
Let h(w) = 290*w**2 + 1. Is h(1) composite?
True
Suppose 22 = 4*y + o, 4*y - 3*o - 13 - 1 = 0. Suppose 0 = -y*m + m + 140. Is m composite?
True
Let v(r) = 92*r - 1. Let l be v(1). Suppose 0 = 4*n - 11 - 1. Suppose -i + l = n*b, -3*b - 229 = -3*i - b. Is i a composite number?
False
Let v = -18 - -27. Let y be (-243)/(-6)*(-48)/v. Let x = -139 - y. Is x a prime number?
False
Is 10/40 + 1015/4 composite?
True
Let t = -21 + 1102. Is t prime?
False
Suppose -2*i = 3*i - 480. Let n = -49 + i. Is n composite?
False
Suppose -6*i = -i + 20. Let r(w) = -w**3 - 2*w**2 + 5*w - 1. Is r(i) composite?
False
Let q(z) = z - 2. Let a be q(4). Suppose a*v + 3*c - 365 = -2*v, -v + 80 = -3*c. Is v a composite number?
False
Let i be (-8)/3*(-2025)/36. Let s = 311 - i. Is s composite?
True
Suppose 4*o - 11 = -0*o - k, 5*o + 4*k = 11. Suppose 12 + 0 = o*b. Let r = 6 + b. Is r composite?
True
Suppose -2*z = 5*s - 0*z - 160, 155 = 5*s + z. Suppose -s = m - 2*m. Let d = 51 - m. Is d a prime number?
False
Let z(k) = -k**3 + 15*k**2 - 18*k - 15. Is z(13) composite?
False
Suppose 57*b = 52*b + 25195. Is b a composite number?
False
Let a(r) = 22*r**2 + 3*r - 1. Let v be a(-2). Let o = v - 44. Is o a composite number?
False
Let n(t) = -t**3 - 8*t**2 + 11*t - 1. Suppose 2*i - 5*p = -38, 3*i + 41 + 2 = 4*p. Let k be n(i). Let h = -6 - k. Is h composite?
False
Is 2/4*3*(-1652)/(-21) composite?
True
Let q(p) be the third derivative of -p**4/24 + 5*p**3/6 - 2*p**2. Is q(-6) a prime number?
True
Let b(u) = u**2 + 3*u + 3. Is b(5) a composite number?
False
Let k(w) = w + 1. Let r be k(1). Suppose -35 = -4*o + r*a + 7, -o - 4*a - 3 = 0. Let p = 29 + o. Is p composite?
True
Let s be (6/2)/(5/200). Suppose 5*d - s = -5. Is d a prime number?
True
Suppose 0*a - 467 = -4*x + 3*a, a - 221 = -2*x. Suppose 276 - x = l. Is l composite?
False
Is (-1435)/(-3) - ((-20)/6)/5 a composite number?
False
Let i = 2 + 0. Suppose 2 = -o - f, -2*f - 13 = -i*o + 3. Suppose 3*v = -o*r + 84, 0 = 2*r + v - 51 - 0. Is r composite?
False
Suppose 2*m = 3*m + 66. Let s = -29 - m. Is s composite?
False
Suppose -56 = 3*m - 6*m - 4*c, -3*c + 3 = -m. Suppose -4*i = 12, -2*w + m = i - 3*i. Suppose -w*x - 2*t + 65 = -6*t, t = -2. Is x composite?
False
Let l = 119 - 226. Let m = l - -189. Is m a composite number?
True
Let a be 64/(-24)*(-1137)/2. Suppose -336 = -5*l - a. Is (1 - l)/3 + 0 a prime number?
True
Suppose 2*s - 8 = -0. Suppose 0 = -5*p + 4*b - 20, -2*b - 25 = -s*p - 7*b. Suppose -98 = -2*d - h + 3*h, 4*d + h - 186 = p. Is d composite?
False
Suppose w + 3*l - 4 - 6 = 0, w - l - 26 = 0. Let c = w + 13. Is c a composite number?
True
Let h(a) be the second derivative of a**5/20 - a**4/2 - 2*a**3/3 - a**2 - 2*a. Let d(c) = -c**3 - 10*c**2 - 10*c - 2. Let b be d(-9). Is h(b) prime?
True
Let v be 33/(-2)*(-6)/9. Suppose 3*b - 28 = v. Is b a composite number?
False
Let v = -65 + 150. Suppose v = -0*y + y. Is y prime?
False
Suppose -3*j - j = 3*h - 31, 4*j = -2*h + 26. Let t(o) = 31*o + 2. Is t(h) composite?
False
Let h = 6 + -4. Let o be 12/(2 - -1) + -27. Is 0 - (-2 + o + h) composite?
False
Suppose 0 = -106*b + 104*b + 6034. Is b a prime 