 l + 71. Is b a prime number?
True
Suppose -6*y + 11*y = 3205. Is y prime?
True
Suppose 5*b - 3*c + 70 = 0, 3*c + 38 = -2*b + 10. Let r = 25 + b. Is r composite?
False
Suppose -261 = -4*c - 2*r - r, -2*c = -5*r - 163. Suppose s - 162 = -5*v + 287, -5*s - c = -v. Is v prime?
True
Let j = 8 + -2. Let n = -3 + j. Suppose 7 - n = b, 5*b = -3*a + 89. Is a composite?
False
Let t(x) be the first derivative of 20*x**3/3 + x**2 - x + 7. Is t(3) prime?
False
Let k(h) = -88*h + 13. Is k(-6) a prime number?
True
Let u(p) = 3*p - 8. Let d(n) = -4*n + 7. Let b(j) = 3*d(j) + 2*u(j). Is b(-3) prime?
True
Let d be 6/18 - 14/(-3). Suppose 0 = j + 5*r - 830, d*j - 3*r + 2*r = 4072. Suppose -j = -3*o - 2*o. Is o prime?
True
Let i be 4/6*1*129. Let l = -72 - i. Let x = l + 253. Is x prime?
False
Let h(o) = 8*o**2 + 2. Let i be 46/14 - 2/7. Is h(i) a composite number?
True
Suppose 3 - 6 = -o. Suppose 81 - 246 = -o*l. Is l a composite number?
True
Suppose 2*j - 149 = -t, 0 = t - 0*j - 2*j - 169. Suppose -5*b + t - 4 = 0. Is b a composite number?
False
Let b(l) be the second derivative of 3*l**5/20 - l**4/6 - 5*l**3/6 - 3*l**2/2 + l. Let y be b(5). Is (-1)/(-4) - y/(-12) a prime number?
False
Let p = -272 + 709. Is p prime?
False
Suppose -2*i - 4*c = -1022, 3*i + 3*c = 7*i - 2033. Is i a prime number?
True
Suppose -3*l + 4*g = -139, 3*l + 4*g - 107 - 48 = 0. Is l a composite number?
True
Is -3 - (-18927)/12 - 2/8 prime?
False
Let v = -3 - -2. Is v + (1 + 0)*14 composite?
False
Let o(m) = m**3 + 4*m**2 + 4. Is o(-3) a composite number?
False
Is (-3 - (-2933)/(-2))/((-1)/2) a composite number?
False
Suppose 7*c - 10*c = 0. Suppose -16 = -4*h, c = -2*t - 5*h - 0*h + 210. Is t composite?
True
Let p = 501 - -1656. Is p a composite number?
True
Let a = -3 - -5. Suppose -3*o + 4*p + 275 = 0, o - 295 = -a*o - p. Is o a prime number?
True
Suppose -a - 1668 = -3*y + 670, 0 = 5*y - 3*a - 3898. Is y prime?
False
Suppose y = -0*j - j + 133, 3*y + 5*j - 403 = 0. Is y prime?
True
Let u(a) = -336*a + 8. Let n be u(-6). Let d be 6/(-15) + n/10. Suppose d = 3*l + g, -5*g - 328 = -5*l + 2. Is l prime?
True
Suppose 1440 = o + 251. Is o composite?
True
Let r(y) = y**2 + 4*y - 7. Is r(-12) prime?
True
Let z be 28/6*(-126)/(-4). Suppose -3*v + z = -0*v. Is v prime?
False
Let l(z) = 11*z**2 - 3*z - 1. Suppose 18*q + 24 = 14*q. Is l(q) a prime number?
False
Suppose 0 = -3*p + 98 + 580. Is p a prime number?
False
Let u = 3052 + 3429. Is u composite?
False
Let z(h) = 2*h**2 + h - 2. Is z(3) prime?
True
Suppose 3*f - 2 = 2*f. Suppose -f*q + q = 15. Is 5/(-2)*12/q a composite number?
False
Let n(f) = -f**3 + 7*f**2 + 4*f + 1. Let q be n(5). Suppose -3*s + 82 = -q. Is s prime?
False
Let t be (16/6)/(-4)*-618. Suppose 0 = q + q + 250. Let z = q + t. Is z a composite number?
True
Suppose -2*d + 3*b - 35 = -88, 0 = -d - 2*b + 37. Suppose -l = -7 - d. Is l composite?
True
Let w be 6/33 + (-5694)/(-22). Suppose 0 = 3*f + 15, 3*u + 4*f = w. Is u composite?
True
Suppose -1 = 3*u + 5, -3*d + 5*u = -82. Let r be ((-206)/(-1))/(2/1). Suppose 0 = g - d - r. Is g a composite number?
False
Suppose -1 = p - 3. Suppose 56 = -p*f - 0*f. Let a = 65 + f. Is a prime?
True
Let t be 4/(-18) - 10283/(-63). Let h = t - 92. Is h prime?
True
Is (487/(-2))/(-1)*2 a composite number?
False
Let t(k) = -2*k**3 + k**2 - 3*k - 1. Is t(-6) a composite number?
True
Suppose 0 = 4*c - 6*c + 218. Is c composite?
False
Suppose 168 = 4*v - m, 4*m - 5 = v - 32. Is (v/3)/((-2)/(-6)) a prime number?
True
Suppose -47 + 2 = 3*q. Let o = 34 + q. Is o prime?
True
Let o = 0 - -5. Suppose o*y = 649 + 181. Is y composite?
True
Suppose 12758 = 17*k - 37205. Is k a prime number?
True
Suppose 4*r + 1 - 17 = 0. Let f(t) = 38*t + 6. Is f(r) composite?
True
Let k(z) = -2*z - 11. Let s be k(-9). Let b = s + 46. Is b a prime number?
True
Let q be (-12)/(-15)*1*-5. Let r = 7 + q. Is r - -3 - (-1 - 0) a prime number?
True
Let t be (2 - -1) + 4 + -4. Suppose -4*u + u = -12, 221 = h - t*u. Is h a composite number?
False
Let y(i) = i - 7. Let t be y(7). Let d(c) = -c**2 - c + 85. Is d(t) a composite number?
True
Let l = 95 - -164. Is l a composite number?
True
Let v(n) = 14*n**2 - 4*n + 1. Suppose -l + 7 = -4*c, 4*c + 10 = 3*l + 3*c. Is v(l) a prime number?
False
Let n(v) = -v**2 - 7*v + 3. Let u be n(-7). Suppose 0 = u*o + o - 988. Is o prime?
False
Suppose 7*c - 9*c = g - 1825, -3*c + 3*g = -2724. Is c a prime number?
True
Suppose 25 - 115 = -2*m + 3*z, 4*z = 2*m - 86. Is m a prime number?
False
Is (-2 - (5 - -1752))*-1 a prime number?
True
Suppose 0 = -4*d - 3*h + 27, -2*d + 15 = -0*d + 3*h. Let b(x) = 3*x + 7*x + 4 - 5*x - 1. Is b(d) a composite number?
True
Suppose -y - 92 = -769. Is y a composite number?
False
Suppose -5*u + 14 + 11 = -3*y, -5*y - 21 = 2*u. Is u prime?
True
Let o(r) = -423*r - 5. Let i be o(2). Is (-1 + -1)/(2/i) composite?
True
Suppose -i + 129 = 4*i + 3*p, 4 = -2*p. Suppose c - 60 = 5*r, -5*r + 3*c - 28 - 32 = 0. Let s = r + i. Is s a prime number?
False
Let u(d) = -699*d - 14. Is u(-1) composite?
True
Let o be (-11 - 0) + (-1 - -2). Let a be 2*o*3/(-12). Let z = 18 + a. Is z composite?
False
Let g(d) = d**3 + 15*d**2 + 10*d - 17. Is g(-13) prime?
True
Suppose q - 10 = -2. Suppose v = 129 - q. Is v a composite number?
True
Suppose -m = -5*v - 10, m = -0*m - 2*v + 3. Suppose -2*c - m = 3*c. Is (-1)/(((-2)/c)/(-158)) prime?
True
Suppose 12 - 2 = -5*c. Let o be ((-175)/c)/((-4)/(-8)). Suppose 5*x - o = -0*x. Is x a composite number?
True
Let j(l) = 9*l**2 + 28*l + 3. Is j(4) composite?
True
Let f(m) = 44*m**3 - 2*m**2 - 2. Let a be f(2). Let h = -184 + a. Is h prime?
False
Let o(s) be the third derivative of s**4/6 + 5*s**3/6 - 2*s**2. Let g be (-2)/(2/(-14)*2). Is o(g) prime?
False
Suppose -2*t - 3*t = 0. Suppose 3*q - 172 = -t*g + g, q + 5*g = 84. Is q composite?
False
Let z = -325 - -612. Is z a prime number?
False
Let v = 33 - 21. Suppose -c = 2*c - v. Suppose c*w = -0*w + 268. Is w a prime number?
True
Let f = 398 + -269. Let x = 85 - 159. Let m = f - x. Is m prime?
False
Suppose -4*h + 1252 = -4*b, -5*h + 1601 = -0*h + 4*b. Is h composite?
False
Suppose -153 = -5*h + 282. Suppose 5*x + 2*q = h, 0 = -0*x - 4*x + 3*q + 88. Is x prime?
True
Suppose -2*w + 8 - 2 = 0. Suppose -4*i + 10 + 28 = -w*d, 4*i = d + 34. Suppose i*n - 33 = 7*n. Is n composite?
True
Let r = -7 - -6. Let i = 2 - r. Is (-71)/(-1 - (-3 + i)) a prime number?
True
Let j(q) be the third derivative of 23*q**4/12 - 7*q**3/6 + 7*q**2. Is j(6) composite?
False
Let b = 28 + -163. Let v = 35 - b. Suppose 5*j + 0*j = v. Is j a composite number?
True
Let a = 7 + -5. Let h be -22 + a + -2 + 1. Is 6/h + (-625)/(-7) a prime number?
True
Let n = -2 - 4. Let u(q) = 3*q**2 + 2*q + 4. Let k be u(3). Is k/5 + n/15 composite?
False
Let v(u) = 4*u**3 - 2*u**2 + 1. Let y be v(1). Let c be (24 - y/3) + 1. Suppose -3*m + c = m. Is m composite?
True
Let n(v) = 12*v + 0*v**2 - v**2 + 2 + 12. Is n(11) composite?
True
Let y be ((-12)/7)/(2/(-21)). Is (-4)/y - (-9476)/36 composite?
False
Let z be 8/(-24) + 2/(-3). Let t be z*11 + (-1)/(-1). Is (-4)/t - (-456)/10 a composite number?
True
Let t(i) = 18*i + 3. Let j(g) = -g. Let a(d) = -6*j(d) - t(d). Is a(-3) composite?
True
Let z be 104/32 + (-2)/8. Suppose z*h - 5*v = 165, 5*h - 2*h = -4*v + 165. Is h a composite number?
True
Let c(p) = -p**2 - 11*p + 1. Is c(-9) a composite number?
False
Suppose -d - 204 = -5*d. Is d composite?
True
Let n(q) be the first derivative of 5*q**3/3 + q**2 - 3*q + 7. Is n(-4) prime?
False
Let s(o) = -29*o - 30*o - 12*o + 16*o. Is s(-1) a composite number?
True
Let c = 1 + 1. Suppose -4 = -5*l - c*h, 0*l = -2*l + 3*h - 6. Suppose -3*i - 2 + 11 = l. Is i a prime number?
True
Suppose 533 = -3*i + 5*i - 5*y, y - 551 = -2*i. Is i prime?
False
Suppose 11 = 3*v - 34. Let p be -2 + 2 - v/(-1). Suppose -p = -2*d + i + 12, -i = 4*d - 51. Is d composite?
False
Is 2/10 + (-4932)/(-15) a prime number?
False
Let m(k) = -k**3 + 17*k**2 - 11*k + 3. Is m(16) prime?
True
Let f be (-11)/3 - 2/6. Let k(h) = -8*h**3 + 3*h - 1. Is k(f) prime?
True
Let a(f) = -f**3 - f**2 + f. Let n(d) = -13*d**3 - 3*d**2 + 5*d - 1. Let b(s) = -5*a(s) + n(s). Let y be b(1). Let g = 30 - y. Is g composite?
False
Suppose 28 = 2*g + 2*g. Suppose -v -