of 21*f**2/2 - 3. Let s be z(-2). Let a = s - -75. Is a a prime number?
False
Let r be 254/5 + 2/10. Let i = r - -26. Is i composite?
True
Suppose -3*k + s + 12 + 5 = 0, 4*k - 3*s = 26. Suppose 0 = 7*t - 2*t - 5*x - k, 5*t = 2*x + 20. Suppose -17 = -j - 4*c + t, 37 = j - 3*c. Is j a prime number?
True
Let u(i) = -i**3 + 5*i**2 + 3*i + 2. Suppose -3*k + 1 = -5. Let z be (k/(-4))/(3/18). Is u(z) prime?
False
Suppose -2*x + 48 = 2*x. Suppose 3*t - x = 0, -15 = 3*r - 2*t - 64. Is r a composite number?
False
Suppose 1596 = 3*f - y, 5*f = -7*y + 2*y + 2680. Is f prime?
False
Suppose 4*r = -0*r. Suppose 0*n - 4*n + 164 = r. Let l = -19 + n. Is l a composite number?
True
Let u be ((-2)/5)/((-1)/5). Suppose 39 = 5*l + 3*o, u*l + 3*o - 22 = -1. Is l composite?
True
Suppose -6*f + 2132 = 56. Is f a prime number?
False
Let o(u) = u**2 - 5*u - 5. Let i be o(6). Is -237*(i + 12/(-9)) a prime number?
True
Suppose d - 5 = -4. Is d*-2 + (-7 - -326) a composite number?
False
Suppose -3 + 9 = 2*h. Suppose 6 = 3*z - h. Suppose -u + 2*u - 205 = -z*j, -3*u + 79 = j. Is j prime?
True
Let o(u) = -u**2 + 12*u - 8. Let q be o(11). Suppose -v + 2 = q. Let p(c) = -80*c - 1. Is p(v) composite?
False
Is (134/(-4))/((-15)/30) a composite number?
False
Let u(v) be the third derivative of 0*v + 1/20*v**5 + 1/24*v**4 + v**2 + 0 - 7/6*v**3. Is u(-7) a composite number?
True
Suppose -3*j = 4*q - 13087, j - 3272 = 2*q - 3*q. Is q a composite number?
False
Let l = -2 + 7. Suppose -l - 7 = -4*b. Suppose 159 = 6*g - b*g. Is g a prime number?
True
Suppose 5*b - 345 = -4*p, -15 - 65 = -b - 3*p. Let j be (-2)/((-2 - 0) + 1). Suppose y + b = j*y. Is y a prime number?
False
Suppose -5*g + 2 = -3. Is -1 - ((-1 - g) + -22) composite?
False
Let p be (6/8)/(2/8). Is p/9*203*3 a prime number?
False
Let r(g) = g**3 + g**2 + 1. Let i(a) = -4*a**3 - 2*a**2 + 9*a - 4. Let x(h) = -i(h) - 5*r(h). Is x(-6) composite?
True
Suppose -3*k + 2 = -10. Let f = k - 0. Suppose -3*u + 32 = 2*m - 7*u, -52 = -4*m - f*u. Is m a prime number?
False
Suppose -3*q = -6*x + 2*x + 8, 2*q = 0. Suppose -x*p = -2*f - 110, p - 2*f - f = 47. Is p composite?
False
Let j be (-4)/(-6) + (-16)/(-12). Suppose j*l = -0*l - 48. Is 2 + 1/((-3)/l) composite?
True
Suppose 0*c = -2*c + 10. Suppose 15 + 15 = c*k. Let g(t) = 2*t**2 - t + 5. Is g(k) a prime number?
True
Let q(i) be the first derivative of -157*i**2/2 - 6*i + 1. Is q(-5) prime?
False
Suppose d - 2*d = -j - 528, 0 = -d - 3*j + 524. Is d a composite number?
True
Let g(c) = 101*c - 11. Let w be g(6). Suppose 0 = -2*o - 3*o + w. Is o a prime number?
False
Suppose -6 = -2*w, 0 = 3*j + 2*w - 3*w - 3132. Is (-4)/18 - j/(-45) prime?
True
Let q be -3 + 5/(5/3). Suppose -4*v = 4*u - 728, q = -2*u + 3*v - 8*v + 373. Is u composite?
False
Let m(t) = -11*t. Let a be 3/((-2)/(-4) - 2). Let s be m(a). Is 4/s - 119/(-11) a prime number?
True
Let a(g) = g**3 + 4*g**2 + g - 3. Let t be a(-3). Suppose i + 2201 = -t*i - 5*o, 5 = -5*o. Let d = -314 - i. Is d composite?
True
Let h(k) = 3*k**2 + 4*k - 1. Let i be 26/(-10) - (-15)/25. Is h(i) prime?
True
Suppose -1739 = -5*w - 4*p, -6*p + 3 = -3*p. Is w a prime number?
True
Suppose -2*x - 70 = -4*x. Is x a prime number?
False
Is 0 - -5 - 3 - -203 composite?
True
Let g = -5 + 9. Suppose -129 = y - g*y. Is y prime?
True
Let i(s) = -9*s + 2*s**2 + 9*s + 3*s - 1 + 0. Suppose 7*o - 2*o = 10. Is i(o) a composite number?
False
Let f = 760 - 129. Is f composite?
False
Suppose -3*v + 2*r = -7*v + 758, 2*r = -2*v + 376. Is v a composite number?
False
Let h = 31 - -48. Is h prime?
True
Let p = 526 + -308. Suppose 1442 + p = 4*g. Is g composite?
True
Suppose 0*c + 3*c + 618 = 3*i, 0 = 3*c + 5*i + 634. Is (-22)/33 - c/6 composite?
True
Let g(t) = 2*t**2 - t. Let o be g(1). Let f(i) = -2*i - 1. Let y be f(o). Is ((-1)/2)/(y/330) a prime number?
False
Let y(d) = d**2 + d - 8. Let z be y(0). Let s be 3/12 - 102/z. Suppose s = 3*f - 5. Is f a composite number?
True
Suppose -d - 955 = -3*j, 4*j + 0*d - 1284 = 4*d. Is j a composite number?
False
Let o = -362 - -811. Is o composite?
False
Let m(u) = -u**3 + 15*u**2 - 12*u + 7. Suppose 2 = p - 9. Is m(p) a composite number?
False
Is (69/92)/(2/104) prime?
False
Let o(k) = 330*k**2 - 6 + 7 + 16*k**2. Is o(-1) prime?
True
Let k(s) = 11*s**2 - 9*s - 13. Is k(-7) a prime number?
False
Suppose 6*s - 7*s + 3 = 0. Is (24/(-9) + s)*861 a composite number?
True
Let u(x) = -11*x - 4. Let s be u(-6). Suppose -w + s = w. Is w a composite number?
False
Let g = 19 + 37. Let w = -22 - -45. Let a = w + g. Is a prime?
True
Let w(l) = -l**2 + 8*l + 8. Let m be w(9). Let k be (0 + 308)/2 - m. Let i = 246 - k. Is i a prime number?
False
Let n be 12/(-10)*(-20)/6. Suppose 2*o = 0, -a = -0*a + n*o + 6. Is 3/2 + (-501)/a a prime number?
False
Suppose -z + 305 + 68 = 0. Is (-22)/(-165) - z/(-15) composite?
True
Let v = 817 + -144. Is v a prime number?
True
Suppose 2*v = -0*o + o + 5, -3*o - 3*v = -21. Suppose -o*j = 276 - 27. Let z = 140 + j. Is z composite?
True
Let w(j) = -9*j**2 - 21*j + 23. Let x(f) = 4*f**2 + 11*f - 12. Let z(i) = 2*w(i) + 5*x(i). Is z(-11) a prime number?
False
Let p = -92 + 63. Let w be 0 - -1 - (65 + 0). Let b = p - w. Is b prime?
False
Let d be 1*(-1)/2*-122. Suppose -3*y + y + 2 = 0, 0 = 4*p + y - d. Is p composite?
True
Suppose 0 = 4*c - 229 - 7. Is c a composite number?
False
Let v(y) = -7 + 14*y + 4*y - 7*y. Let d be v(6). Let j = -2 + d. Is j a composite number?
True
Suppose -5*v = 2*y - 196, -3*y + 4*v = -0*v - 271. Is y a composite number?
True
Suppose -u - 4*z + 475 = 0, 0*u - 463 = -u + 2*z. Is u prime?
True
Let p(r) = -5 - 6 - 5*r + 16*r. Suppose -k = z - 8, -32 = -0*z - 4*z - k. Is p(z) a composite number?
True
Let l(w) = -w**3 - 3*w**2 + 13*w - 13. Let f(y) = -y**3 + y**2 + y + 1. Let a(m) = -2*f(m) + l(m). Is a(6) a composite number?
True
Let k be 3/18 + (-34)/(-12). Let s(y) = 2*y - k + 15*y**2 - 3*y + 6 - 2*y. Is s(2) composite?
True
Suppose -3*t + 7 + 8 = 0. Let h be (10/12)/(1/6). Suppose 20 = 4*n, t*f = -0*f - h*n + 440. Is f a composite number?
False
Let n(k) = -k**3 + 4*k**2 - 6*k + 4. Let x be n(-5). Suppose 4*r - 105 = x. Is r a composite number?
True
Let k = -1468 + 4247. Is k prime?
False
Suppose 0 = -c - 3*c + 12. Suppose 5*h - x = -2*x + 124, c*x + 3 = 0. Is h prime?
False
Suppose 33860 = 11*w - w. Is w a composite number?
True
Suppose o + 52 = 5*o. Suppose 0 = g + j - 3 + 2, 5 = g + 5*j. Suppose g = 2*b - 3*s - o - 46, b = s + 32. Is b a composite number?
False
Let n be (-2)/(-8) + 1171/4. Is (-3 - -1) + n/1 composite?
True
Suppose 0 = -6*w + 2090 + 1036. Is w composite?
False
Suppose -4*i + 14 = l, 4*l = 3*i + 3*l - 7. Suppose p - 16 = -i*p. Is 1/p - (-1055)/20 a composite number?
False
Let j(t) = -t - 9. Let k be j(-7). Is k/(-4)*(66 - 0) prime?
False
Let v(q) = q**3 + 5*q**2 + 4. Let s be v(-5). Let y = s - 1. Suppose -l + w + 31 = 3*w, y*l + 3*w = 96. Is l a composite number?
True
Let i(k) = 6*k**2 + 5*k + 3. Let c be (16/(-10))/(4/20). Let t be (-4 + 7)*c/6. Is i(t) a composite number?
False
Let m = -20 - -71. Is m a composite number?
True
Let m(a) = a**3 - 3*a**2 + a + 2. Let x be -4*(-2 - 3/(-2)). Let u be m(x). Suppose 0 = 3*o - u*o + 2*y - 175, 3*o - 145 = 4*y. Is o prime?
False
Let h = -28 + 70. Suppose 0*o - 2*m = 3*o - 67, -2*o = 4*m - h. Is o composite?
False
Suppose 4*b - 580 = -0*b. Is b a composite number?
True
Let m(x) = x**2 + 10. Let a be m(0). Let i = 9 + a. Is i prime?
True
Let v = -636 - -1121. Is v composite?
True
Let w(a) be the third derivative of a**4/24 + a**3/6 + 2*a**2. Let n(z) = 3. Let h(c) = -3*n(c) + 6*w(c). Is h(3) composite?
True
Let k = 8 + -6. Suppose -2*i + 2*v = -2*v + 8, 0 = -k*i - 2*v + 4. Is (i - (-1 - 0)) + 130 prime?
True
Let u = 575 + -313. Let o be 3*(u/6 + -1). Suppose 4*y - o = 68. Is y a composite number?
True
Is 52/338 + (-5783)/(-13) a composite number?
True
Suppose 0 = 2*a - 0*n + 2*n - 12, a - n = 0. Suppose -a*o - 393 + 2298 = 0. Is o a prime number?
False
Let j(u) = u**3 + 1477. Is j(0) prime?
False
Let p = -944 - -1741. Is p prime?
True
Let k(o) = 4*o**2 - 2*o**2 - o**2 - 2*o. Let a be (1/2)/(2/(-20)). Is k(a) a composite number?
True
Let n(x) = -x**3 - 4*x**2 - 5. Let l be n(-4). Let t(y) = 2*y - 1. Let q(r) = r. Let g(f) = -