-10*r - 3. Is z(n) a prime number?
True
Suppose 0 = 4*p + 4*d - 352, 2*p - 5*d = 169 + 14. Is p a composite number?
False
Let x(l) be the third derivative of l**6/120 + 7*l**5/60 - l**4/3 - 5*l**3/3 + 3*l**2. Is x(-7) composite?
True
Suppose 0*q = -2*q - 4. Is -4 - (-196 + q) - 3 prime?
True
Suppose -6*i + 11*i - 30 = 0. Suppose -u - 20 = -i*u. Suppose 4*o = 12, 0 = -2*m - 5*o - u + 81. Is m prime?
True
Let r = -1 - -5. Is (-4518)/12*r/(-6) a composite number?
False
Suppose 4*o - 7 - 5 = 0. Is o*(-129)/(-27)*3 a prime number?
True
Let m(z) = 2*z - 3*z + 4 + z + 3*z**2. Is m(11) a prime number?
True
Suppose 4*y - 3*j = -0*j, 3*y + 4*j = 25. Suppose 2*s - 125 = v, -4*s - y*v + 225 = -0*v. Suppose u - s = -3*u. Is u composite?
True
Let m be 108/16 - 9/12. Let o = -6 + m. Suppose 4*f = -o*f + 212. Is f composite?
False
Is 56/6*(-267)/(-4) a composite number?
True
Let s(r) = 0*r**2 + 127 - 3*r - r**2 - r + r**3 + 5*r. Is s(0) prime?
True
Suppose 4*z + 18 = 5*x, 2*z = 2*x + 3*x - 14. Suppose -w = -x*w. Let a(y) = -y + 43. Is a(w) composite?
False
Let n be 3/(1/1) + 2. Suppose i + q = -2*i + 104, n*q + 180 = 5*i. Is i composite?
True
Let z = 5248 + -1815. Is z prime?
True
Let b(s) = s**3 - 5*s**2 - s + 6. Let m be b(5). Suppose 4*h = m + 3. Let a(k) = 21*k**3 + 2*k**2 - k. Is a(h) a prime number?
False
Let h(n) = 150*n**2 - 3. Let o(m) = 50*m**2 - 1. Let u(j) = -2*h(j) + 7*o(j). Is u(-1) a prime number?
False
Suppose -4*u = k - 4, -u + 3 = 2. Is 2/(k - 2)*-161 a prime number?
False
Suppose -4*k = -3 - 5. Suppose 4*g - 545 = -5*b, k*g + 10 = -0*g. Is b a prime number?
True
Suppose 3*x + 112 = 2*a, 218 = -0*a + 4*a - 3*x. Is a a prime number?
True
Is 17/(2/(-24)*-4) a composite number?
True
Suppose -2*r + 551 = -955. Is r a prime number?
False
Let v be (-16)/(3/(-6)*2). Let y be ((-69)/4)/((-4)/v). Is 0/(1 - -1) + y composite?
True
Let u(c) be the first derivative of -c**3/3 - c**2/2 + 55*c - 2. Is u(0) a composite number?
True
Let l be (-2)/(1*(-4)/678). Suppose 3*a - l = -66. Is a composite?
True
Suppose 9*o - 2478 = 3*o. Is o a prime number?
False
Suppose -2*g + 0*g + 304 = 0. Suppose u - 35 - g = 0. Is u a composite number?
True
Let x be (-54)/5 + 1/(-5). Let j be 4/22 - 977/x. Suppose -2*h + h = -j. Is h a prime number?
True
Is (-24519)/(-44) + (-2)/8 a composite number?
False
Suppose 0*r - 6 = -2*r. Let i = r - 3. Suppose i = -0*w - w + 15. Is w prime?
False
Let q = 19 + -15. Suppose -d + q*o + 219 = 0, -4*o - o - 10 = 0. Is d prime?
True
Let p(r) = 2*r**2 - 3*r - 5. Is p(-6) composite?
True
Let v(x) = -2*x**2 + 9*x - x**2 - 7 - x**2 + x**3. Let k(m) = m**2 - 3. Let r be k(-3). Is v(r) prime?
False
Let f = 2 - 4. Let q be -1 + (f - 3) + 3. Is q - 0/3 - -22 composite?
False
Let k(o) = -1 - 7 - o - 3 + 8*o. Is k(10) prime?
True
Let b(q) = -q**3 + 5*q**2 + 7*q - 2. Let x = 4 + -2. Suppose -3*p + 25 = x*p. Is b(p) composite?
True
Is (-5 - (-5 - -1))/((-1)/521) a prime number?
True
Is (-4)/6*-1*1542/4 composite?
False
Suppose 319 = -4*i + 3291. Is i composite?
False
Suppose 6*t - 23 = t - s, 5*t - 14 = 2*s. Suppose v = t*v - 141. Let h = 105 - v. Is h prime?
False
Let s = -20 - -45. Let k be s + 5/((-10)/4). Is -1 + k - (-2 + 1) prime?
True
Suppose 5*a = 3*p + p - 459, 0 = 4*p + 5*a - 509. Is p a prime number?
False
Let l be (-18771)/(-7) + 27/63. Is l/14 - 4/7 a prime number?
True
Let l be 2/13 - 185/(-65). Suppose -4 = 5*c + z, l*c = -7*z + 4*z - 12. Suppose c*m = m - 21. Is m a prime number?
False
Suppose -b + j + 1119 = 0, 5*j + 1127 = b - 0*b. Is b composite?
False
Let i = 0 - 21. Suppose -4*s + 3*w + 160 = 0, w - 55 = -s - 15. Let u = s + i. Is u composite?
False
Suppose -2*t = 3*t - 15. Suppose 3*s - w - 18 = -1, -5*w = -t*s + 1. Is s prime?
True
Let u = 241 + 106. Is u prime?
True
Suppose -n - 2*a = 3, 4*a + 1 = -3*n + 6*a. Let x(y) = y**3 + 7*y**2 - 11*y - 17. Let w be x(-8). Is (0 - n)/(w/1561) a prime number?
True
Let l(y) = -y - 1. Let j be l(0). Is (j - -2)/((-4)/(-236)) composite?
False
Let a(i) = 38*i**3 + 2*i**2 - 2*i - 4. Let k(x) = -x**3 - x**2 + x + 1. Let q(y) = a(y) + 3*k(y). Is q(1) a composite number?
True
Suppose 2*o - 1115 = -3*g, -3*g + 1108 = -2*o - 3*o. Let c = 532 - g. Is c a composite number?
True
Is ((-59)/(-4))/(19/76) a prime number?
True
Let x be 2/(4/(-6))*-1. Suppose 0 = -x*t - p - 0*p + 137, -255 = -5*t + 5*p. Is t a composite number?
False
Suppose -4*z + 2*v + 700 = 0, -z - 4*v + 146 = -47. Suppose -8*k = -7*k - z. Is k prime?
False
Suppose -j + 4*o + 786 = j, -2*o = 3*j - 1179. Let m = j - 176. Is m a prime number?
False
Is (-4)/(-14) - (-3887)/91 prime?
True
Let p(y) = -2*y**3 - y**2 - 6*y + 4. Let f be p(9). Let t = f - -2908. Is t a prime number?
True
Suppose 0*y - 6*y = -1842. Is y a composite number?
False
Let p(g) = g**2 + 2*g**2 + 5 - 3 - 4. Suppose 0 = -3*m - 0*m + 9. Is p(m) a composite number?
True
Suppose -v = 5*h - 102, 4*h = -3*v - 0*h + 295. Is v prime?
True
Let o(q) = 43*q + 6. Let g be o(-9). Is (2/(-3))/(2/g) a prime number?
True
Suppose f - 2*b - 254 = 6, 1295 = 5*f - 5*b. Suppose -3*o = -0*o - f. Suppose j - 105 = o. Is j a composite number?
False
Let a be 8 + (3 - (-2 + 8)). Suppose l - 5*l = 5*g - 42, 3*g = -a*l + 20. Is g a prime number?
False
Let u(w) = -16*w**2 + 9*w + 2. Let x be u(-6). Is x/(-3) + 2/(-6) a prime number?
False
Let a = 591 - -226. Is a a composite number?
True
Suppose 3*l - 56 = 3*u + 7, 4*l - 84 = -4*u. Suppose -p + 30 = k - l, k - 51 = -3*p. Is k a composite number?
True
Let x(k) = 15*k + 6. Suppose 0 = -g + 11 - 4. Let b be x(g). Suppose -j = 2*j - b. Is j a prime number?
True
Let t = -447 - -269. Let f = -85 - t. Suppose -3*q = -0*q - f. Is q composite?
False
Let q = 2331 + -1660. Is q prime?
False
Let l(q) = -q**2 - 5*q - 1. Let f be l(-3). Let i be ((-28)/f)/((-2)/15). Suppose 0*a - i = -3*a. Is a a prime number?
False
Let f(m) be the third derivative of -m**6/30 - m**5/30 + m**4/24 - m**3/3 + 3*m**2. Is f(-3) prime?
False
Let x be (3/(-4))/((-1)/(-4)). Let y = x + 5. Suppose -370 = -5*v + 3*l + y*l, 139 = 2*v - 5*l. Is v composite?
True
Let p(o) = -o**2 + o. Let u be p(0). Suppose 2*f + 3*f - 4*n - 181 = u, -4*f - 3*n = -151. Is f a prime number?
True
Let g be (1 - 2/(-4))*2. Suppose 0 = 8*x - g*x - 45. Is x composite?
True
Suppose 2*c - 11 = 41. Let k = -5 + c. Is k prime?
False
Is ((4 - 0) + -2031)*(-4 - -1) prime?
False
Let v be 39/(-6) - 2/(-4). Is (-1)/v - 6088/(-48) composite?
False
Let l(b) = 2*b**2 + 8*b + 13. Is l(-6) a prime number?
True
Let o(j) = 93*j + 1. Let l(s) = s**2 + 5*s - 1. Let a be l(-4). Let q = a - -6. Is o(q) prime?
False
Let m(v) be the first derivative of v**3/6 + 97*v**2/2 - v - 1. Let o(n) be the first derivative of m(n). Is o(0) prime?
True
Let x(a) = 3 + 43*a - 2 + 0*a. Is x(2) composite?
True
Suppose 0 = 4*a + 2*o - 2560, 4*o = -4*a + 3*o + 2562. Is a prime?
True
Let g(i) = 7*i**2 - 5*i + 3. Let y = 4 - 1. Is g(y) composite?
True
Let v(a) = -21*a**3 - 3*a**2 - 4*a - 3. Let d(b) = -21*b**3 - 2*b**2 - 3*b - 2. Let g(l) = 3*d(l) - 2*v(l). Is g(-1) composite?
True
Let v = 0 + 0. Let d(h) = 2*h**2 + 3*h. Let k be d(-2). Suppose -3*o = -3*p + 99, v = -3*p + k*p + 3*o + 25. Is p composite?
False
Suppose 0*z = -5*z, -2*z + 388 = 4*f. Is f a prime number?
True
Suppose 1372 = a + y, -y - 890 = -2*a + 1851. Is a composite?
True
Let z(x) = x**2 + 8*x + 4. Is z(9) a prime number?
True
Suppose 0 = 3*k - 3*z - 27, k - z + 5*z = -16. Suppose 0 = -j - k, -486 = -m - m + 5*j. Is m a composite number?
False
Is (-2)/(-2) + 3 - -303 composite?
False
Let a(y) = y**3 - y**2 + y + 82. Let r be a(0). Let f = r - 47. Is f a prime number?
False
Let p(s) = 11*s - 17. Let w(g) = 28*g - 42. Let z(r) = -12*p(r) + 5*w(r). Suppose -3*v + 9 = -2*v + 4*j, -3*j = -3. Is z(v) a prime number?
False
Let z = -10 - -6. Is z/10 + (-2331)/(-15) a composite number?
True
Let g(o) = -o**2 + 5*o + 5. Let r be g(6). Let b = -2 - r. Is (b + -2)*4/(-6) a prime number?
True
Suppose -2*n + 2 = 4*s - 24, -5*n + 40 = 5*s. Let j(q) = 14*q**2 - 4*q + 1. Is j(n) prime?
False
Is -215*(2 - -4)/(-6) prime?
False
Suppose 4*q + f = 5, -10 = q + 4*q - 2*f. Suppose 286 = u - q*u. Suppose -4*r = -6*r + u. Is r prime?
False
Let s = -78 + 136. Suppose 41 + s = 3*v. Is v composite?
True
Let b(i) 