ose 0 = 5*l - 5*x - 12675, -4*x = -2*l - 5*x + 5058. Is l prime?
True
Let m(c) = -23*c**3 - 4*c**2 + 4*c + 7. Is m(-4) a prime number?
True
Let o = -34 + 18. Let w = 40 + o. Let h = 46 - w. Is h composite?
True
Let z be (40/6)/((-2)/6). Let f be z/(-9) + (-10)/45. Suppose -7*h + f*h + 70 = 0. Is h a composite number?
True
Let u = 31 - 9. Is u a prime number?
False
Suppose -n - 92 = -5*y, -y + 2*n + 13 = -0*y. Is y prime?
True
Let q(f) = -f**3 + 13*f**2 - 8*f + 13. Is q(11) prime?
True
Suppose -173 = -l + 48. Is l a composite number?
True
Suppose 3*a = -0 - 6, 0 = 5*l - 2*a - 24. Let r be (-976)/20*(-20)/8. Suppose l*q - r = 26. Is q a prime number?
True
Is 86 + (-2 - -6)/4 a prime number?
False
Let n(p) be the third derivative of p**5/30 + p**4/12 + 11*p**3/6 - p**2. Is n(9) prime?
True
Let r be (-11128)/39 + (-2)/3. Let b = r + 413. Is b a composite number?
False
Suppose -1735 = k - 5142. Is k prime?
True
Is ((-12)/8)/(6/(-764)) a composite number?
False
Suppose w - 3*w + 5*i + 370 = 0, 0 = -3*w + 5*i + 555. Is w composite?
True
Let c be 22*(-3 + 3 + -1). Let r = -9 - c. Is r composite?
False
Let z = 10 + 6. Let t(a) = -z + 161 - 3*a + 2*a + 0. Is t(0) a prime number?
False
Let b be 5*-5 + 0 + 1. Is (-18)/b + 133/4 composite?
True
Let x = 32 - 47. Is (-4)/(-6) - 2795/x prime?
False
Let k be (-8)/(-2)*1 + -2. Let p be 1 - (-5)/(852/424 - 2). Suppose -p = -k*z - z. Is z a prime number?
False
Suppose -380 = -3*x - 5*j, 2*x = 5*j - 21 + 241. Suppose -2*d - x = -668. Is d a prime number?
False
Suppose -d = -73 - 1. Is d a composite number?
True
Suppose 10*f - 3556 = -4*f. Is f a prime number?
False
Let w(x) = 2*x**3 + 4*x**2 + 21*x + 1. Is w(6) prime?
False
Suppose d - 6 = -2*d. Suppose 380 = -5*s + 5*u, -d*s + 90 = u + 236. Is 2/(1/s*-4) composite?
False
Let k(p) = -13*p**2 + 11*p + 4. Let x be k(-7). Let s = x - -2012. Is s/35 + (-1)/5 prime?
True
Let u(y) be the first derivative of 3/2*y**2 - 1 - 3*y - 1/4*y**4 + 4/3*y**3. Is u(2) prime?
True
Let q(o) be the third derivative of o**5/30 - o**4/8 + o**3/6 + 2*o**2. Let n be q(8). Let g = -50 + n. Is g prime?
False
Suppose 0 = 5*t - 25, 4*r - 126 - 1441 = t. Is r composite?
True
Let a = -5 + 8. Let w(l) = -l + 9 + 4 + 1 + a. Is w(8) a prime number?
False
Suppose -2*c = -s - 71, 0 = c + 4*c - 10. Is (s/3)/(2/(-6)) a composite number?
False
Let p = -2 + 7. Let f(d) = d + 1. Let x be f(p). Suppose 0 = k - b - x - 6, -3*b = -5*k + 64. Is k prime?
False
Let m(o) = 5 - 6 + 6 - 27*o. Is m(-6) composite?
False
Let y = 542 - 235. Is y composite?
False
Suppose 19 + 1 = 5*j, -3*k = -5*j + 26. Let y be 6 + -3 - -119 - k. Let z = -67 + y. Is z prime?
False
Let w = 521 - 364. Is w prime?
True
Let f(v) be the second derivative of -3*v**5/10 - v**4/2 + v**3 + 5*v**2/2 + v. Let x be f(-5). Suppose x = -g + 6*g. Is g composite?
True
Suppose -4*z = -2*z + 4, 3*p = 2*z + 12535. Is p a composite number?
False
Let w = -6 - -3. Is ((-15)/10)/(w/370) composite?
True
Let p = 833 + -306. Is p prime?
False
Suppose c + 2*c = 9. Let o(i) = i**3 + 4*i**2 - 3*i + 4. Is o(c) a composite number?
True
Let k(l) = -l**2 + l + 7. Let y be k(0). Suppose -2*v = -y*v + 90. Is (-3)/(-4 + -2)*v a prime number?
False
Suppose -d = 3*f - 2263, d + 3773 = 5*f + 3*d. Suppose -2*i + f = i. Is i composite?
False
Suppose 3*z = 54 - 3. Suppose 0 = 2*s - 0*s + 5*v + z, 27 = 3*s - 3*v. Suppose -6 = -2*g - 2, -t + 45 = s*g. Is t a composite number?
False
Is 40 - (-4 + 0 + 1) a prime number?
True
Suppose -4*h + 2 = -6. Suppose h*c = q - 5, 2*q + 4*c - 35 = 3*c. Is q a prime number?
False
Let p(u) = u**2 + 3*u - 4. Let n be p(6). Suppose -2*a - 4*w = -n, 0*a - w - 103 = -3*a. Is a a prime number?
False
Suppose 0 = -7*o + 2*o. Let q = 3 - -1. Suppose q*w - 214 + 26 = o. Is w prime?
True
Suppose 7 + 78 = 5*a. Let f = 24 - a. Is f prime?
True
Suppose -5*u + 9657 = 4*r, -2*r - 2*u = -u - 4827. Is r composite?
True
Is (-4)/(-6)*8628/8 prime?
True
Suppose 5*i - 15 = 0, -2*i - 3*i = 2*j - 3133. Is j a composite number?
False
Let d(t) = -3*t + 77. Is d(0) a composite number?
True
Let p be (2 + -1)/(2/(-50)). Let r = 108 + p. Let o = -58 + r. Is o a composite number?
True
Let b = -569 - -900. Is b composite?
False
Suppose -a + 3*w = 5, 3*a = -2*w - w - 3. Suppose q = -3*i - i - 35, 34 = -5*i + 2*q. Is (i/6)/(a/15) prime?
False
Let z(s) = 4*s**3 + 2*s**2 - 2*s - 1. Let h be z(-2). Let g = h - -132. Suppose 5*q - g = 2*q. Is q composite?
False
Let a(g) = g**2 + 6*g + 3. Let k be a(-6). Suppose 5*s - 108 = -2*x + 447, k*s = -3*x + 324. Is s composite?
False
Let w(g) = 2*g**2 + 2*g + 6. Is w(-8) prime?
False
Let l = -7 + 12. Is ((-195)/6)/l*-10 composite?
True
Suppose -2*n - n = -42. Suppose 0 = -2*b - 5*o + 2*o - 9, 3*b = o + n. Suppose -b*m + 70 = -m. Is m composite?
True
Let y(p) = p + 2. Let t be y(-2). Let b = 7 - 5. Suppose -b*o + d + 102 = t, -7*d - 118 = -2*o - 2*d. Is o a composite number?
True
Let s(h) = 2*h - 5. Let o be s(-9). Let c = o + -36. Let b = 82 + c. Is b a prime number?
True
Suppose 0 = n - 82 - 9. Is n a prime number?
False
Suppose -4*o + 3*i = -1781, 4*i + 446 = o + 3*i. Is o composite?
False
Suppose -3*u + 4 + 5 = 0. Suppose 5*f = u*f + 3*m + 197, -2*f = 4*m - 162. Is f a composite number?
True
Suppose -4*j - 3*f = -4, 5*j - 5*f - 28 = 3*j. Let q = j + 43. Is q a composite number?
False
Let a(g) = 468*g - 13. Is a(2) composite?
True
Let r = 147 - -206. Is r composite?
False
Suppose 6*r + 20 + 16 = 0. Is (-190)/30*r/2 prime?
True
Let f be (144/(-10))/(3/30). Let c(m) = 2*m**2 - 7*m - 1. Let x be c(12). Let a = x + f. Is a prime?
True
Suppose -3*i = -5*u - 18 - 20, 2*i = -u + 8. Suppose i = a + a, 3*a = 2*c - 169. Let j = c - -6. Is j prime?
False
Let p be (11*1)/((-6)/48). Let c = p + 167. Is c a prime number?
True
Let n = 9 - 15. Let u = n + 10. Is u prime?
False
Let j = -4 - -2. Let t(g) = 2*g**2 + g - 2. Is t(j) composite?
True
Let t(r) = -51*r**3 - 5*r - 9. Is t(-2) a composite number?
False
Is (-1293)/(-3)*(-3)/(-3) composite?
False
Let v = -4 + 6. Suppose 4*i + 4 = v*x, -4*x + 5*i - 27 = 4*i. Let w = 15 + x. Is w prime?
True
Let a = -308 - -573. Is a prime?
False
Suppose 0 = -4*t - 0*t + 20. Suppose -t*q + 345 = -200. Is q a composite number?
False
Is (75 - -2)/(0 - -1) a prime number?
False
Is 101/2*(13 + -7) a prime number?
False
Let y = 680 - -237. Is y composite?
True
Let h be (-1)/(-1)*(10 - 2). Let w = h + -3. Suppose -325 = -5*n + w*f, 3*f - 4*f = 2*n - 142. Is n prime?
False
Suppose -3*h + 2*s = -36, h = -h + 5*s + 13. Suppose -4*g = 3*x + 2*x - 29, 22 = 2*g + 4*x. Let u = g + h. Is u prime?
False
Let x(f) be the first derivative of -15*f**4/4 + 2*f**3/3 - 3*f**2/2 - 3*f + 20. Suppose 0 = -3*o - o - 5*s - 3, 2*o = 5*s - 9. Is x(o) composite?
False
Suppose -5*w - 2934 = -11*w. Is w a prime number?
False
Let w be 3/(-6) - 30/(-4). Suppose p = j + 2*j + 6, 2*j - w = -3*p. Suppose r - 36 = v, 0 = -2*r - p*v - 17 + 94. Is r a prime number?
True
Is (11/(-4))/1*(5 - 409) composite?
True
Let i = 5319 + -3698. Is i prime?
True
Let j = -9 + 7. Is (-4 + 1)/(j/10) a prime number?
False
Let r(c) = -c - 1. Let u be r(-8). Let t(a) = 43*a + 6. Is t(u) a prime number?
True
Let y(i) = -18*i - 3. Suppose 4 = 4*k + 12. Is y(k) a prime number?
False
Let b = -86 - -205. Is b prime?
False
Let d(t) = -5*t**3 - 7*t + 10. Let h(l) = -l**2 + 1. Let c(b) = -d(b) + 3*h(b). Is c(4) prime?
True
Let k(s) = -2*s - 11. Let b be k(-8). Suppose 2*v + 193 = -2*v + f, 0 = -5*v - b*f - 235. Let h = v + 161. Is h composite?
False
Let w = 2 + -2. Suppose -4*y - 97 = -5*y. Suppose w = 2*k - y - 5. Is k composite?
True
Suppose 0 = 2*c - 2*k - 410, -2*c + 396 = k + 4*k. Is c prime?
False
Suppose i + 3 = -2*i + 3*m, -2*m = 3*i - 17. Is 898/i - 1/3 composite?
True
Let k(u) be the first derivative of 0*u - 1/3*u**3 + 2 + 9/2*u**2. Is k(7) prime?
False
Is 1201 + 0/(-1)*2/4 a composite number?
False
Suppose -6*q = -11*q + 20. Let d be (-4)/(-3)*(-6)/(-4). Suppose -5*a + q*r + 265 = 60, 0 = -3*a - d*r + 101. Is a a composite number?
False
Let g(s) = -2*s + 0*s - 86*s**3 + s. Is g(-1) prime?
False
Is (-2)/2 + (-1230)/(-2) prime?
False
Suppose 3*j = -d + 95, 4*d - 39 = -0*j - j. Is j a composite number?
False
Let z be (14/3)/(6/(-18)). Is 906/14 + (-4)/z composite?
True
Le