. Let k be i(4). Is k/(-21) + 8044/b a composite number?
True
Let g(j) = -j**3 - 7*j**2 - 7*j + 6. Suppose -2*o - 21 = o. Is g(o) prime?
False
Suppose -5*r + 4*d = -10*r + 81, r + 2*d - 21 = 0. Suppose m + 2*t - r = 0, 0*t + 121 = 5*m - 4*t. Is m prime?
False
Let o be ((-4)/(-3))/((-6)/(-9)). Suppose k + o*k = 42. Suppose 0 = -3*z + 119 - k. Is z composite?
True
Suppose q = 6*q + 170. Let g = q - -103. Let v = -12 + g. Is v a prime number?
False
Let g(u) = 2*u + 4*u**2 + 3*u + 13 - 6 + u. Is g(-5) composite?
True
Suppose -3*l - 24 = l + 5*q, 4*l = q. Is ((-2)/3)/(l/51) a prime number?
False
Let t(z) = z**3 - 2 + 4*z - 4*z + 1 - 3*z - 3*z**2. Let b be t(4). Suppose 3*l - 46 = -l - 3*u, b*l = -3*u + 36. Is l composite?
True
Let z(y) = -y**3 - 7*y**2 + 12*y + 4. Is z(-9) prime?
False
Suppose 4*v - 10 = -q + 6, 20 = 2*q + 4*v. Suppose 3*w - q*w + 77 = 0. Is w a composite number?
True
Let t(a) = a**3 + 2*a**2 - 3*a + 1. Let s be t(-3). Let u(x) = x**2 - 5*x - 3. Let w be u(5). Is s/w + (-13)/(-3) a composite number?
True
Let u = -1 + 4. Let m = 26 - u. Is m composite?
False
Let w be 1*-1*(22 + -2). Let b be (-195)/w - (-2)/8. Let t = 24 - b. Is t a prime number?
False
Let b(n) = 16*n**2 - 20*n + 13. Is b(8) a composite number?
False
Suppose -2*n = 5*t - 7 - 8, -t - 24 = -5*n. Let y = n - 12. Let m(s) = -14*s - 3. Is m(y) composite?
True
Let u = 4 - -1. Suppose -26 + 11 = -u*v. Is -4*v*1/(-3) a composite number?
True
Let s(b) = -b**3 + 0 + 8*b + 0 + 6*b**2 + 6. Suppose 3*h = -4*q + 13, 27 = 5*h - 5*q - 18. Is s(h) a prime number?
True
Let v be ((-3)/(-6))/(2/(-140)). Let g = v - -113. Suppose 0 = -3*q - 0*q + g. Is q a composite number?
True
Suppose -4*p + 336 = -136. Suppose -p = -12*o + 10*o. Is o composite?
False
Let f(t) be the third derivative of t**7/2520 - t**6/720 + t**5/120 - t**4/12 - 2*t**2. Let u(x) be the second derivative of f(x). Is u(4) prime?
True
Let g(b) = 177*b - 2. Let q be g(6). Suppose -q = -0*w - 4*w. Is w a composite number?
True
Let b(g) = 9*g**2 + 2*g - 3. Suppose -3*t + 2*t = 0. Suppose -2*p - v + 3 = t, 5*v + 3 = -2. Is b(p) a prime number?
True
Suppose -32 = -3*g - g. Suppose 2*r - g = 6. Is r a composite number?
False
Let y(s) = -s - 6. Let a be y(-8). Suppose a*i - 59 - 47 = 0. Is i a prime number?
True
Let v(x) = x**2 - 2*x - 2. Let f be v(3). Let w(n) = 224*n**3 - 3*n**2 + 3*n - 1. Is w(f) composite?
False
Let v = -536 - -1065. Suppose -2*b = -v - 433. Is b a composite number?
True
Let x = -15 - 301. Is (x/6)/((-20)/30) a prime number?
True
Suppose -4*g - 1 = -b - 14, 0 = 3*g - 4*b. Suppose -4*c - 4*a + 760 = 0, -g*c + 3*a + 212 = -555. Is c composite?
False
Let n(p) be the second derivative of 11*p**6/60 + p**5/30 - p**4/12 + p**3/6 - p**2/2 - 3*p. Let a(i) be the first derivative of n(i). Is a(1) prime?
True
Let a = 1066 - -3135. Is a a prime number?
True
Let s = 219 - -260. Is s prime?
True
Let f(j) = 10*j**3 - 3*j**2 + 2*j + 2. Is f(3) a composite number?
False
Let b be (-7)/2 - 2/4. Let g = b + 261. Is g a prime number?
True
Suppose 2*p + 1263 - 7337 = 0. Suppose -5*b + 1398 = -2*h - p, 3*b + h - 2672 = 0. Is b composite?
True
Suppose 6*g + 2318 = 2*w + 2*g, 0 = 2*g - 4. Is w a prime number?
True
Let k(m) = m**3 + 4*m**2 + 3*m. Let t be k(-2). Let o be t + 0 + -4 + 1. Is 9*(-1)/(o*3) a prime number?
True
Let m = 880 + -294. Suppose -2*k - m = -4*k. Is k prime?
True
Let v be (18/21)/((-1)/(-7)). Let t be (-8)/20 - (-2447)/5. Is ((-4)/v)/((-2)/t) a composite number?
False
Let m(u) = u**3 + 6*u**2 + 8*u - 4. Let j(q) = -2*q**3 - 7*q**2 - 8*q + 3. Let i(v) = 2*j(v) + 3*m(v). Is i(5) a composite number?
True
Suppose 4*f - 5 = 7. Suppose -3*b = -y + b - 8, -f*y - 2*b = -32. Is (-2)/y - 154/(-8) a composite number?
False
Let w(j) = j. Let s be w(-4). Let o = 4 + s. Suppose o = -0*n + 4*n - 156. Is n a prime number?
False
Suppose -2*n + 3*n - 393 = 0. Is n a composite number?
True
Suppose 9*l - 17555 = 4*l. Is l a prime number?
True
Suppose 2*j - 2 = j. Let o be (-5 + -1)*1/(-2). Suppose o*y = j*y + 4. Is y prime?
False
Let s = 2 + -2. Suppose s = -3*p + 924 - 3. Is p prime?
True
Suppose 50*v - 45*v = 2645. Is v a prime number?
False
Suppose 28 = 3*w + w. Suppose -4*l = 4*b - w + 3, 3*b - 2*l = 3. Is (b - 11/(-2))*2 composite?
False
Suppose -4*a + 5*j = 2*j - 376, 0 = 3*a - 4*j - 275. Is a composite?
False
Suppose -69414 = -16*k + 25610. Is k prime?
True
Let o(l) = 1265*l**2 - 7*l - 13. Is o(-3) prime?
True
Let a be (18/5)/((-1)/(-5)). Let m be 444/14 - (-4)/14. Let n = m - a. Is n a composite number?
True
Let j = -631 - -920. Is j composite?
True
Let k(p) = -p**3 - 11*p**2 - 7*p - 5. Let t be k(-10). Is (-14)/t - 393/(-5) prime?
True
Suppose l - 2*z + 5*z = 7, 2*l + 16 = 4*z. Let x = l + 1. Is 21*-1*x/3 a prime number?
True
Let u(r) be the first derivative of 59*r**5/60 + r**4/24 + 2*r**3/3 - 2. Let h(p) be the third derivative of u(p). Is h(1) a prime number?
False
Let t be 4/10 - 7674/(-15). Suppose 4*x + t = 4*p, -5*p + 2*x = -2*x - 639. Is p a prime number?
True
Let v(i) = -20*i - 6. Let c(m) = -m - 15. Let g be c(-8). Let h be v(g). Suppose -6 = -4*s + h. Is s composite?
True
Suppose -3*f + 372 + 132 = 0. Let i(r) = -r**3 + 3*r**2 + 2*r - 3. Let k be i(2). Suppose -k*p - s = -f, -p + s + 3*s = -21. Is p composite?
True
Let j(s) = -s - 8. Let z be j(-10). Is (85/z)/((-1)/(-2)) prime?
False
Let v be 136/12 + 3/(-9). Let k(z) = z**2 + 5*z + 15. Is k(v) a prime number?
True
Suppose 0 = 5*x + 4*n - 1969, 1204 + 380 = 4*x + n. Is x prime?
True
Suppose -5 = x, 5*c = -2*x + 4120 - 285. Is c composite?
False
Suppose -3*s + 690 = 2*x + 245, 735 = 5*s + 2*x. Is s prime?
False
Suppose -2*v + 4*v = 1016. Suppose 0 = -3*y - y + v. Is y a composite number?
False
Let q be -87 + -1*2 + 2. Suppose -3*v + 31 = 151. Let k = v - q. Is k prime?
True
Let q(j) = j**2 - 3*j - 4. Let o be q(-3). Is 114 + -1 - (-10 + o) a prime number?
True
Let g = -23 - -68. Suppose -6*c = -c - g. Is 286/8 - c/12 a composite number?
True
Let v(t) = -883*t**3 - t. Let k be v(-1). Suppose 0 = 7*m - 3*m - k. Is m a composite number?
True
Let g(q) = 2*q - 11. Let l be g(8). Suppose -h = -5*n + 74, -4*h - 16 - 55 = -l*n. Is n a composite number?
True
Is 22/6*3*23 a composite number?
True
Let k be -49*(0 + -2 - -1). Is 1505/k - 4/(-14) prime?
True
Let j(h) = -5*h**3 - h - 1. Let u be j(-1). Suppose -u*n = 100 - 285. Is n a prime number?
True
Let z = 0 - -2. Let x = 1 + z. Suppose -2*q + x*q - 115 = 0. Is q a composite number?
True
Suppose 5*f - 220 = f. Is f prime?
False
Suppose c + 380 = 2*x, -94 = -2*x - 2*c + 292. Is x prime?
True
Suppose 2*o - 8 = -4*c, 0*c = o - 2*c - 4. Suppose 0 = o*y - 7*y + 147. Is y prime?
False
Let x be (-1)/4 + 2667/12. Suppose x = 2*i - 5*i. Let v = i - -111. Is v a composite number?
False
Suppose z + 6 = h + 2*z, 0 = 4*z + 16. Is h prime?
False
Let l be (-1)/3 - (-32)/6. Suppose 61 = 2*q + l*h, -4*q + h + 0*h = -155. Let b = 59 - q. Is b a composite number?
True
Suppose 3*v - 5610 = 8739. Is v prime?
True
Let m(o) = o**2 - 8*o + 3. Let j be m(8). Let c be 3/9 - 1966/j. Is c/(-10) - (-6)/4 a prime number?
True
Suppose 0 = -33*s + 30*s + 4701. Is s composite?
False
Suppose 0 = -4*d + 2*z + 572, -286 = -2*d + z + 2*z. Is d a composite number?
True
Let n(i) = 10*i**2 + 3*i - 2. Let y be n(-3). Let w = y - 51. Let a = -5 + w. Is a prime?
True
Let c(r) = 21*r + 4. Let p be c(-7). Let w = p + 358. Is w a composite number?
True
Is (9 - 1)/4 + 333 a prime number?
False
Suppose w - 4 = -2*l, w = -l - 0*w + 3. Suppose -l = -2*p + 3. Suppose k = p*k - 25. Is k a prime number?
False
Let w = 17 + -12. Suppose 0 = -5*z + w*q + 75 + 30, -z - 2*q = -6. Suppose -2*a + z + 34 = 0. Is a composite?
True
Let i = 79 + -26. Is i prime?
True
Let i be -1 + -1 + -3 + 9. Is 2/((-3)/((-4710)/i)) a prime number?
False
Let o(t) = t**2 - 6*t + 5. Let h be o(5). Let q be (-6)/(-2) - (-17 - h). Suppose 3*y + q = 113. Is y a prime number?
True
Let x be ((-2)/3)/(13/(-78)). Suppose 0 = 2*o - 2*u - 394, 0*u + u - 798 = -x*o. Is o prime?
True
Let a(g) = -23*g - 25. Is a(-12) prime?
True
Suppose 0 = 3*x - 4*p + 55, 3*x + 2*p + 0*p + 31 = 0. Let m = x + 262. Is m a composite number?
True
Suppose -3*l - c = -2*c - 29, 5*c = -3*l + 53. Is l a composite number?
False
