r?
False
Suppose 1015 = 35*b - 28*b. Is b a composite number?
True
Let i(v) be the third derivative of 17*v**4/24 - v**2. Suppose -4*g + 15 = s, 2*s = -g - 3*g + 18. Is i(s) a composite number?
True
Let w = -190 - 154. Let i = 487 + w. Is i a composite number?
True
Let f = 0 + 5. Let s = 4 - f. Is (s/3)/((-1)/57) a composite number?
False
Suppose 0 = -28*c + 20*c + 23512. Is c a prime number?
True
Let y = -8 - -11. Suppose y*i - i = 4. Suppose -118 + 40 = -i*q. Is q composite?
True
Suppose -22 = 5*a - 7. Is 9/(-3)*19/a composite?
False
Let z = -24 + 16. Let g(r) be the third derivative of r**5/60 - r**4/12 - r**3/2 + r**2. Is g(z) composite?
True
Let u be (-6)/9*(2 + 1). Let i be 83 - (-1 - u/2). Let l = i + -52. Is l a composite number?
False
Let h = -15 + 9. Let l be (-32)/h*1*33. Let p = l + -99. Is p composite?
True
Let w be (-6)/(-27) - 43/(-9). Suppose 3*n = 3*a + 432, w*n = 2*a + 131 + 160. Is (-1)/2*(a + 9) a prime number?
True
Let o(a) = -2*a - 4. Let t be o(-11). Suppose r + t = 4*r. Is r prime?
False
Let t be (0 - 3/1) + 3. Suppose -r = -0*r + 83. Is (1 - (r + 1)) + t composite?
False
Let f(q) = 7*q**2 - q. Let g be f(2). Let b be (g/8)/(4/16). Suppose 4*t + b = 161. Is t composite?
False
Let c(z) be the first derivative of z**4/4 - 2*z**3 + 4*z**2 + 5*z + 4. Is c(6) prime?
True
Suppose -4*w + 163 = m, -5*w + 9 + 16 = 0. Let z be (-8)/10*(m - -2). Let o = -31 - z. Is o a prime number?
False
Let b(f) = f**3 + 4*f**2 + f - 4. Let w be b(-3). Suppose u - w*u = 1. Let c = u + 14. Is c a prime number?
True
Let k = 34 + -61. Suppose 0 = h - 21 - 26. Let z = h - k. Is z a prime number?
False
Suppose 7*u = 9*u - 1442. Is u a prime number?
False
Is 2 + 1/1 - 1572/(-6) a composite number?
True
Let x be 38*1/2 + -2. Let r = 11 - x. Let n = r + 17. Is n composite?
False
Suppose -2*t = 4*a - 556, -a + 568 = 3*t - t. Suppose 2*q = t + 136. Is q prime?
True
Let a = -312 - -475. Is a a prime number?
True
Let s be 12/(-2)*6/(-12). Let h be 0 - 0 - 0 - -321. Is 1/(s/h) - -2 prime?
True
Let l be (3 + -1)*(-1)/(-2). Let d be (-6)/2 - (-5)/l. Suppose 0 = s - 9 - d. Is s a prime number?
True
Let h(o) = -o**3 - 9*o**2 - 8*o. Let s be h(-8). Suppose -m = -s*m - 5*v - 140, 2*v - 105 = -m. Is m a prime number?
False
Let m = 6 - 7. Is 0 + 31*-1*m a composite number?
False
Let w be 1*(1 - 4)*-1. Suppose 0 = -v + 6*v - 575. Suppose -w*c = 2*c - v. Is c a composite number?
False
Let g(x) = 3018*x**2 - 4*x - 3. Is g(-1) a composite number?
False
Let n(a) = 74*a + 7. Suppose 0*r - 18 = -2*y - 3*r, -r = 0. Is n(y) composite?
False
Let l(s) = 6*s**3 + s**2 - 3*s + 1. Suppose 15 = z + 4*z, -4*q + z = -13. Let m(w) = w**3 - 4*w**2 + 2*w - 5. Let r be m(q). Is l(r) composite?
False
Let g = -3 - -3. Suppose g = 4*a - 152 - 612. Is a prime?
True
Let x(p) = -20*p**3 + p**2 + 5*p + 7. Is x(-3) prime?
True
Let j = 6 + -4. Suppose j*a - 5*a = -81. Is 1263/a + (-2)/(-9) a composite number?
False
Let o(c) be the second derivative of 7*c**6/120 - c**5/120 + c**4/24 + c**3/3 + 3*c. Let d(a) be the second derivative of o(a). Is d(1) composite?
True
Suppose -4*r - 3*f - 5 = 0, -2*r - 2*f = -0*r. Let z(g) = g - 4. Let o be z(r). Is 3/(o/255)*-1 a composite number?
True
Let a = -9 + 29. Is 1266/10 + 8/a a prime number?
True
Let s(z) = 2*z**2 + 4*z + 6. Let n be s(-6). Let m = 1 + n. Is m composite?
True
Let k(s) = -3*s**3 + 2*s**2 - 4*s. Let r(o) = 13*o**3 - 7*o**2 + 17*o + 1. Let w(t) = 9*k(t) + 2*r(t). Let n be w(4). Let z(i) = i**2 - 2*i + 5. Is z(n) prime?
True
Let t(k) = -k**2 + 6*k + 1. Let f be t(6). Let o = f - -2. Is 3 - o*(-186)/9 composite?
True
Let l = 0 - 0. Let f(d) be the third derivative of d**6/120 - d**4/24 + 37*d**3/6 - 2*d**2. Is f(l) a prime number?
True
Let x(h) = 38*h**3 - h**2 + 2*h - 1. Let n be (-9)/(-6)*(-6)/(-9). Let r be x(n). Suppose 3*m = -l + 112, m + 3*l = 2*l + r. Is m a composite number?
False
Let z(k) be the first derivative of -k**2 + 9. Is z(-11) a composite number?
True
Let u = 1473 - 854. Is u prime?
True
Suppose l = -1412 + 12589. Is l composite?
False
Let h(q) = 2*q - q + 0*q + 53. Suppose -2*d = -0*d. Is h(d) a prime number?
True
Suppose 0*d - 3*d - 3*p + 294 = 0, 3*d = -4*p + 295. Is d composite?
False
Suppose 1 = 4*h - 3*h. Is 2 + h*171/3 a composite number?
False
Suppose 2*z - 82 = 3*z. Let g = 31 - z. Is g a prime number?
True
Let a(t) = -4*t + 1. Suppose -24 = 3*m - 0*m. Is a(m) a prime number?
False
Let i(k) = -k**3 + 18*k**2 + 10*k - 3. Is i(14) a prime number?
False
Let k be ((-1)/3)/(2/(-18)). Suppose 5*g - 302 - 44 = -4*z, 4*g = -k*z + 259. Is z a composite number?
False
Suppose 0 = 2*n - 10*n + 72. Let z be 26/(-4) - 1/2. Let p = n + z. Is p a composite number?
False
Let d = 70 + 223. Is d a composite number?
False
Let s(m) = -28*m**3 - 6*m**2 + 25. Is s(-4) composite?
False
Suppose -f + 3*h = 2*h + 4, 3*f - 2*h = -14. Let v(r) = -23*r + 11. Is v(f) composite?
False
Suppose -5*k + 0*k = -1175. Let a be (-1 + 466)*2/5. Suppose 3*v - k = -4*z + 18, -3*v = 3*z - a. Is z prime?
True
Let l be 32/(-3)*9/(-6). Suppose 1 - l = 3*f. Is f/10 - 42/(-4) prime?
False
Suppose 5*k = 8012 + 953. Is k a prime number?
False
Let l(w) = -w**3 + 13*w**2 - w - 11. Let g be (-1 - 14/10)*-5. Is l(g) prime?
False
Suppose 4*q - k - 2223 = -2*k, -2790 = -5*q + k. Suppose -125 = -2*i + q. Is i a composite number?
True
Let k = 685 - 448. Suppose 6*a - k = 3*a. Suppose -a = 4*o - 219. Is o composite?
True
Let v(p) = -2 - 4 - 4*p + 1. Let a be (-60)/14 - 2/(-7). Is v(a) composite?
False
Is -1 - -35 - (0 - (-1 - 0)) a composite number?
True
Let q(n) = n**2 - n. Let l(i) = -59*i**2 + i - 1. Let s(d) = -l(d) - 3*q(d). Is s(-3) prime?
True
Suppose 0 = -z - 0*z + 5. Is (62/(-6))/(z/(-15)) a composite number?
False
Is (-1910)/5*1/(-2) composite?
False
Suppose 3*z + 2*z + t = 43, 2*z - 25 = -3*t. Let y(x) = x**3 + 7*x**2 + 7*x - 1. Let w be y(-5). Let p = z + w. Is p a prime number?
False
Suppose 0 = -l - 2*y - 0 + 2, y + 5 = l. Is (-1)/(-2) - (-746)/l a prime number?
False
Let s = 250 + -123. Is s prime?
True
Let c be (-6)/27*-6*1239/14. Let u = 1 - 2. Is c/(2/(u/(-1))) a prime number?
True
Suppose -4*m = 6 - 42. Suppose -3 - m = 3*n. Let r(o) = -3*o - 2. Is r(n) prime?
False
Is (-6)/4*2282/(-21) a composite number?
False
Suppose 408 = -7*k + 12581. Is k a composite number?
True
Let i(x) = -9*x**3 + 2*x**2 - 11. Let r be i(-5). Let z = r - 661. Is z a prime number?
True
Suppose -15 = -y + 64. Is y a composite number?
False
Is (3/(-6))/((-3)/708) prime?
False
Let z(p) = -2*p**2 - 3*p + 3. Let r be z(-3). Let x(s) = -s**3 - 5*s**2 + 7*s + 7. Let a be x(r). Is a/(-2*(-3)/462) composite?
True
Suppose -3*l - 4*k + 3155 = -0*k, -2*l + 2088 = -5*k. Is l a prime number?
True
Let r(k) = k + 7. Let h be r(-5). Suppose h*a - 2*x = 3*x - 21, -a - 13 = -3*x. Suppose a*y - y = 47. Is y a prime number?
True
Suppose -6*d + 4*d + 4 = 0. Suppose 5*c - 9 = -d*h, -c + 2 = -h + 3. Is c - 3/(3/(-20)) a prime number?
False
Is (-2)/28*2 + 2440/28 prime?
False
Let p be 1*55 - (-5 + 4). Let y = p - 18. Is y composite?
True
Let i be 100/2 - (0 - -1). Let n = 115 - i. Suppose -2*j = -40 - n. Is j a prime number?
True
Let z = -16 - -113. Is z prime?
True
Let a(i) = 30*i + 7. Let d be a(6). Let m be (-15)/(-4)*(0 + 32). Let y = d - m. Is y a prime number?
True
Let y(r) = -4*r - 7. Let b be y(-7). Suppose -3*m + 9 = -b. Is m composite?
True
Let m(j) = -7*j**2 - 2*j - 15*j**3 + 6 + 12*j**3 - 1. Is m(-5) a composite number?
True
Let f be 2/((-2)/(-553) + 0). Let i = f - 342. Is i a composite number?
False
Let g be (-36)/(-15) - 4/10. Suppose g*m + m = 1191. Is m a composite number?
False
Suppose 5*i + 15 = 5*t, 5*t - 9 - 6 = i. Is 270/3 - (1 - i) composite?
False
Suppose 0 = 3*y + y - 148. Is y a prime number?
True
Let i(a) = 2*a**2 - 23*a + 20. Is i(21) a composite number?
False
Suppose 0*v - 3*v - 5 = -4*u, 3*u = -5*v + 11. Suppose u*n - 7 = 31. Is n a composite number?
False
Suppose 0 = -0*i + 5*i - 4035. Is i composite?
True
Suppose 2*g = -2*p + 3*p + 14, 2*g - 14 = -4*p. Let b = g - 12. Is -388*(-1)/((-4)/b) a composite number?
True
Let v(a) be the second derivative of 0 + 1/6*a**4 - a - 7/2*a**2 - 1/3*a**3. Is v(-5) composite?
False
Is (-102)/(-24) - 5 - (-11759)/4 composite?
False
Let f