r?
True
Let i(q) = 19*q**2 + 2*q + 2. Is i(5) a prime number?
True
Let f = -867 - 105. Is 1/(-2) - f/8 prime?
False
Suppose -4*o = -3*g - 25, g - 2*g = -4*o + 19. Let q(i) = -i**2 - i + 2. Let w be q(-2). Suppose p - 2*v = 81, -4*p - o*v + w*v + 312 = 0. Is p prime?
True
Let o = 198 + -101. Is o a composite number?
False
Suppose -4*j - 4 + 648 = 0. Is j a composite number?
True
Let v = 4455 + -2404. Is v prime?
False
Let z be (-4)/(-6) + 296/6. Suppose -n + 125 = 5*r - 45, -3*n - z = -r. Is r composite?
True
Let z(i) = -i**3 - i**2 - i + 251. Is z(0) prime?
True
Let l(s) be the second derivative of 10*s**3/3 + 5*s**2/2 - 2*s. Let k be l(9). Suppose -2*m = 3*m - k. Is m a composite number?
False
Let y(s) = -s - 2. Let c be y(-2). Suppose c = -r + 1, -3*j + j + 104 = -2*r. Is j prime?
True
Let g = 5174 + -3307. Is g composite?
False
Let n be (-3 - -4)/(2/34). Suppose 2*d - n = -3*u, -5*d + 5 = -5*u - 0. Suppose 0 = -u*c + 5*c - 326. Is c prime?
True
Let m = 23 - 13. Suppose -2*j - 5*o + o + m = 0, 5*j + 4*o = 25. Suppose -c + 5*v = -36, 0 = c - j*c + 3*v + 110. Is c prime?
False
Suppose r = 5*g + 241 - 952, -4*g = -3*r - 560. Is g a prime number?
False
Let u = -2354 - -6199. Is u composite?
True
Is 1178 + 7/((-28)/(-12)) a composite number?
False
Let p(g) be the second derivative of 1/3*g**3 - g**2 + 0 + 25/12*g**4 - g. Is p(-3) a composite number?
True
Let y(o) = o**2. Let v(w) = 41*w**2 - 5*w + 1. Let x(i) = v(i) - 5*y(i). Is x(4) composite?
False
Let i be 3*20/12 + -1. Let z(g) be the second derivative of 8*g**3 - 5*g**2/2 - g. Is z(i) a prime number?
False
Let o be ((-27)/3)/1*-1. Let s = o - 5. Suppose -c - 399 = -s*c. Is c prime?
False
Suppose -4*p - 4 = 0, -3*p + 77 = 5*u - 75. Is u a composite number?
False
Is (-18 - 8)*(-26)/4 a composite number?
True
Let t = 129 - 19. Suppose -f - 4*f = -t. Is f a prime number?
False
Suppose 1392 = 8*v - 2264. Is v composite?
False
Let l be (3 - 9/3) + -1. Let a(c) = -32*c**3 - 2*c**2 + 1. Is a(l) a prime number?
True
Let v(l) = -24*l**2 - 3*l + 2*l + 88*l**2 + 48*l**2. Is v(-1) composite?
False
Suppose 3*q - 74 = 181. Is q a composite number?
True
Let q(m) = 7*m**3 - m**2 - m + 1. Let b be q(1). Let u(c) = -c + 10. Let i be u(b). Let l(p) = 81*p + 5. Is l(i) a composite number?
True
Let i = 0 + 2. Suppose -4*t - t = i*a - 14, 15 = -5*a. Is 4/8 - (-210)/t a prime number?
True
Suppose 2*g - 7 = 29. Suppose g = -v - v. Is 447*((-12)/v + -1) prime?
True
Let x(r) = r**3 - 18*r**2 - 11*r - 21. Is x(20) a prime number?
False
Suppose -2*f + 3*b = 11, -6*f + b - 17 = -2*f. Let v be 11/2 - (-6)/f. Suppose v*a + 0*a - 60 = 0. Is a prime?
False
Let f be (-8)/12 - 16/(-6). Suppose -139 = -5*y + 4*j, -2*y + 46 = -f*j - 2*j. Is y composite?
False
Suppose -206 = -2*k - 3*o, 2*k - 3*o - 214 = -2*o. Is k a prime number?
False
Suppose 0 = u + 3 + 3. Let n be 4/u - 466/(-6). Suppose -24 = d - n. Is d a prime number?
True
Suppose -b + 5*d + 4910 = 0, -5*d - 9795 = -6*b + 4*b. Is b a composite number?
True
Let k(y) = -18*y - 3. Let o(g) = -g - 1. Let r(h) = k(h) - 2*o(h). Is r(-1) composite?
True
Is 2 + 3/(-3) + 430 composite?
False
Let m(h) = 2*h**3 - 3*h**2 + 4*h - 5. Let s be m(4). Suppose -j + 2*j - s = 0. Is j prime?
False
Suppose 4*i - 93 = -5*q, 5*i - 2*q = -6*q + 105. Suppose 3*c - i = -5*s, 2*s + 6*c = 4*c + 6. Suppose 4*x + 3*r = -0*r + 302, -s*x + 316 = -4*r. Is x composite?
True
Let k(n) = n**3 - 10*n**2 + 6*n - 25. Is k(10) a prime number?
False
Let f(n) = 2*n - 6. Let w be f(7). Let x = w - 5. Suppose 0*k - x*k + 111 = 0. Is k composite?
False
Suppose 0*a - 667 = -5*q - a, 3*q + 2*a = 403. Is q a prime number?
False
Let x = -13 - -18. Suppose x*v - 5*w - 390 = 0, 6*v = v - 3*w + 406. Suppose -3*m = 0, -5*f - 2*m - 15 = -v. Is f a prime number?
True
Suppose 4*b + 8 = 0, -b - 3*b - 3 = -5*q. Let f = q - -14. Is f composite?
False
Is ((-145)/(-15))/((-2)/(-66)) prime?
False
Let t be ((-12)/8 - -1)*0. Suppose t = -3*j + 53 + 100. Is j composite?
True
Is (-68)/32*118*1*-4 a prime number?
False
Suppose -4*h = -4*y - 3924, -6*h + 4*h - 2*y + 1974 = 0. Suppose -258 + h = 6*x. Is x a prime number?
False
Let y(q) = q**2 + 4*q - 8. Is y(5) prime?
True
Let r be (3/12)/((-1)/(-4)). Is -53*(r + (2 - 4)) a composite number?
False
Is (-2)/(-4) + 1771/2 a composite number?
True
Let q(g) = 22*g**3 + g - 1. Suppose o = 5 - 0. Suppose 2*h - o*m - 17 = 0, -h - 2*m - 4 = h. Is q(h) prime?
False
Let x be (2 - 5/3)*3. Let j be (-5 + x)*(-2)/4. Suppose 0 = -l - 2, -j*l = -y - l + 41. Is y composite?
True
Let o = 1 + -1. Suppose f + o*f = 35. Is f composite?
True
Suppose 0 = 3*q - 9. Suppose 3*h = 4*r - 7*r + 1026, -q*h + 15 = 0. Is r composite?
False
Suppose -442 = -z + 5. Is z prime?
False
Let z(v) = v**3 - 3*v**2 - 4*v - 4. Let w be (1/3)/((-3)/(-45)). Is z(w) prime?
False
Suppose -5*p = -20, p + 1 = d + 2. Let h = 7 - 7. Suppose -k - d*w = -2, h*k - 2 = -k + 2*w. Is k prime?
True
Suppose -3*x + 7113 = 2*y, 0*x - 2*y = -2*x + 4742. Is x a prime number?
True
Let v = -23 - -150. Is v a composite number?
False
Let k = 18 - 13. Suppose -5*g = -4*h + 313, g + k = -4*g. Is h a composite number?
True
Let h be 465/12 - (-4)/16. Suppose -y + 928 = -h. Is y a prime number?
True
Let p = -1654 + 2595. Is p prime?
True
Is 6/21 + 1041/7 a prime number?
True
Let m be 1 + 57*(-3 + 6). Is m/12 + (-2)/(-3) a prime number?
False
Suppose 0 = -2*r + 5*l + 298 + 816, -r + 5*l = -552. Is r prime?
False
Let l be 616 - 0 - (1 + 1). Suppose -3*b + b + l = 0. Is b a composite number?
False
Let j = -221 + 712. Is j a prime number?
True
Let q be (-1)/4*-10*2. Let o(a) = 10*a + 5. Let p(x) = -9*x - 5. Let n(j) = -3*o(j) - 4*p(j). Is n(q) a composite number?
True
Let u be 1 + ((-180)/(-1))/(-3). Let v = u + 606. Is v a composite number?
False
Suppose -6*c - 2095 = -7*c. Is c a prime number?
False
Let d = 977 - 423. Is d a prime number?
False
Is -1*(-584 - (-15)/(-5)) a prime number?
True
Let y = -6 + 9. Suppose y*a - 2*f - 425 = -0*a, -4*a + 605 = 5*f. Is a a prime number?
False
Let r = -2126 + 1490. Let f = -406 - r. Suppose -3*n + 4 = -5, 0 = -5*d - 5*n + f. Is d composite?
False
Let g(r) be the third derivative of r**4/24 + r**3/3 - 2*r**2. Is g(5) prime?
True
Is (37/(-2))/((-4)/8) composite?
False
Let h(q) = -q**2 + 8. Let g be h(6). Let d = 83 + g. Is d a prime number?
False
Suppose -79 = 2*l - 347. Is l composite?
True
Let x(o) = -o**2 + 2*o + 1. Let g be x(-1). Let a = -27 - -52. Is 7/g*(-1 - a) a prime number?
False
Suppose 0*k = -2*k + 6. Is (-97)/((-7)/k - -2) a prime number?
False
Let m = -3 + 8. Suppose m*q = -5, 0 = -5*t + q + 467 - 156. Suppose -3*v + v = -t. Is v prime?
True
Let b(u) = 2*u**2 - 2*u - 2. Let n be b(2). Suppose x - 516 = -n*x. Suppose -y = -x - 29. Is y a composite number?
True
Let h(k) = 13*k - 4. Let j be h(-11). Let r = j + 292. Is r prime?
False
Let y(h) = -h**2. Let b(a) = 2*a**3 - 10*a**2 + 4*a - 7. Let o(q) = b(q) - 4*y(q). Is o(5) a prime number?
True
Let h(d) be the third derivative of d**4/24 + 7*d**3/3 + d**2. Let r = -16 + 9. Is h(r) composite?
False
Let v(u) = u**2 - 8*u - 6. Let l be v(8). Let c(q) = -q**3 - 4*q**2 - 2*q + 5. Is c(l) composite?
False
Let r = -49 + 89. Suppose -5*n + r + 15 = 0. Is n a prime number?
True
Suppose -j = -0*j - 3. Suppose -j*x + 15 = -0*x, -d - x + 9 = 0. Suppose d*y = 2*u - 70, u = 6*y - y + 41. Is u composite?
False
Let v(j) = -j**3 - 4*j**2 + 7*j + 1. Let q be ((-8)/2 - -3) + -5. Is v(q) prime?
True
Let f = 618 + -251. Is f a composite number?
False
Let t(l) = -l**3 + 2*l**2 + 3*l + 1. Suppose 0*d - 2*d - 4 = 0. Is t(d) a composite number?
False
Let t(h) = h**2 + h. Let u be t(-2). Suppose -v + 267 = 2*v. Is (0 - u) + (v - -2) a prime number?
True
Let m(q) = 2*q**2 - 1. Let b be m(2). Let j(c) = -c**3 + 12*c**2 + 2*c + 10. Is j(b) a composite number?
False
Suppose -10 = 5*g, m + 0*g + g - 401 = 0. Is m a prime number?
False
Let f(u) be the third derivative of -7*u**4/12 + u**3/6 + u**2. Is f(-9) a composite number?
False
Let h(s) = 30*s + 2. Let i be -1 + 4/1 + -1. Is h(i) composite?
True
Suppose 0 = s - 5*s + 212. Is s a composite number?
False
Let l = 7 - 14. Let s be (-128)/l + 6/(-21). Let p = -4 + s. Is p a prime number?
False
Let h be (-59)/(4 + 33/(-8)). Suppose -174 = 2*v - 