ite number?
True
Let f(r) = 2*r + 77. Let y(s) = s + 3. Let w be y(-3). Is f(w) prime?
False
Let j be ((-39)/(-6) - -1)*2. Let x = j + -11. Suppose 0 = -0*z - x*z + 1388. Is z a prime number?
True
Suppose 12 = 2*s + s. Let d be 6/2 - (s - 3). Is -1 + d/3*102 a prime number?
True
Suppose -10*s + 6*s + 30033 = 3*i, 3*i = -s + 30024. Is i composite?
False
Let v(b) = 2160*b**3 - 3*b**2 + 6*b - 4. Is v(1) prime?
False
Let x be -4 + 2 + 5 - -2. Suppose 2*q - 59 = 3*l, x*q - 4*l = q + 128. Is q a composite number?
False
Suppose 2 + 2 = -4*c. Let w(n) = -1687*n**3 - n. Let m be w(c). Is ((-3)/(-6))/(4/m) composite?
False
Suppose 4*c = -2*f + 6290, 5*f - 5619 - 10058 = 2*c. Is f prime?
True
Let i(x) = 13 + 4 - 190*x + 5 - 9. Is i(-15) a composite number?
True
Suppose f - 3*x - 49511 = 0, -2*f = -6*f + 5*x + 198030. Is f a composite number?
True
Let v(u) = 1359*u + 104. Is v(23) prime?
False
Suppose 6*t - 485 - 5893 = 0. Let d = t - 270. Is d prime?
False
Is (585/(-30))/(6/(-2804)) a composite number?
True
Let h = 15 - 12. Is 782/10 - (24/(-10))/h composite?
False
Suppose 2*q - 976 = -2*b + 4*q, 5*b + 2*q = 2433. Let j = -261 + b. Is j composite?
True
Let i(r) = r**2 + 15*r + 18. Let l be i(-14). Let v be 1 - 1/(l/44). Is (-974)/v - (-10)/(-25) composite?
False
Let z be (2*(-320)/(-5))/1. Suppose 52 - z = -5*y - n, 3*y - 48 = -3*n. Is (-4)/(-2)*y/2 composite?
True
Suppose -12843 = -2*j + i, -j - 6*i + 7*i = -6422. Is j prime?
True
Let j(w) = 23*w + 24. Let u be (-1)/4 + (-477)/(-36). Is j(u) composite?
True
Suppose -2*i - 3*r - 25 + 8 = 0, 34 = -5*i + r. Let u = -7 - i. Suppose 0*k - 2*k + 68 = u. Is k composite?
True
Suppose 8431 = 2*g + 5*z, 4*g + 3*z - 19452 = -2597. Is g a composite number?
True
Let t(c) = -41*c + 8. Let s(x) = -123*x + 24. Let p(r) = -6*s(r) + 17*t(r). Is p(11) a composite number?
False
Let y(n) = n**3 + 10*n**2 + 7*n - 10. Let u be y(-9). Let s = 23 + u. Is s a prime number?
True
Let s = 3799 + -1734. Let h = -32 + 35. Suppose -h*g - 2*g = -s. Is g a composite number?
True
Let q(x) = 1705*x + 52. Is q(3) a prime number?
True
Let v(q) = -991*q - 70. Is v(-11) prime?
True
Suppose -52*y = -34*y - 23238. Is y a composite number?
False
Is 4/(9 + -1)*(-14108)/(-2) a composite number?
False
Suppose 5*k = -3 + 8. Let v be (0 - 5)*(k - 2). Suppose v*d = -0*d + 485. Is d a composite number?
False
Suppose -n + 6 - 3 = 0. Let u be (-2)/((n/(-1))/180). Suppose 5*d = 445 + u. Is d a prime number?
True
Suppose 0 = -2*c + c + 3*b, 5*b + 35 = 4*c. Suppose 1565 = -14*d + c*d. Is d composite?
True
Suppose -5*s = -6*s - 12. Is (-214 - 3)/(3*4/s) a prime number?
False
Suppose -465*w + 25481 = -464*w. Is w prime?
False
Let i(h) = 157*h**2 + 12*h - 61. Is i(6) a prime number?
False
Suppose -2*n + 45 = -39. Suppose 78 = 5*s - n. Is (-2)/6 - (-800)/s prime?
False
Suppose -4*b - 42 = 2*b. Is (2 + -1 - -630)*(-7)/b composite?
False
Let z(k) = k**2 + 4*k - 15. Let f = 36 + -50. Let r be z(f). Suppose 4*a = 8, -4*d - 5*a + r = d. Is d a prime number?
True
Let y be 0 - (0 + (0 - 4)). Suppose -4*o - 3 + 105 = -2*w, 121 = 5*o + y*w. Let x = o - 10. Is x a composite number?
True
Let x be 0 - -4 - (2 - -14). Is (1 - 13179/6)/(6/x) prime?
True
Suppose -d = -2 - 2, -k + 4*d = 16. Let l = 115 - -11. Is l + (k - 3) + -4 prime?
False
Suppose 3*q + 2*a = 130 + 519, -2*q + 438 = 4*a. Suppose -4*z = -q - 125. Is z a composite number?
True
Let a(u) = 11 + 1 + 2*u + 6 - 6. Let t be a(-6). Suppose 0*s = -3*s - 9, 3*x - 4*s - 891 = t. Is x a composite number?
False
Suppose 0 = 2*a + 2*d - 138, d + 0 = 4. Suppose 3*r = -2*p - 2*r - 89, 0 = p + 5*r + 47. Let t = p + a. Is t a composite number?
False
Let d = -4 + 7. Suppose p - 76 = u, 4*u + d*p = -297 + 7. Let y = 201 + u. Is y composite?
False
Let i(w) = 32*w**2 - w + 6. Let l(r) = 95*r**2 - 3*r + 17. Suppose 3*u - 16 = -u. Let q(d) = u*l(d) - 11*i(d). Is q(3) a composite number?
False
Suppose -2*c + 3190 = 452. Is c composite?
True
Suppose 4*w - 381 - 291 = 0. Let b be (-1 + 2)*(-7 - -176). Let h = w + b. Is h a prime number?
True
Suppose 3*n + 564 = 192. Let q(u) = -u**3 - 81. Let j be q(0). Let x = j - n. Is x a composite number?
False
Suppose -10*n - 102 = -8*n. Let o = 96 - 238. Let t = n - o. Is t prime?
False
Suppose 0 = 4*l + 5 - 49. Suppose -l*r = -10*r - 1259. Is r a composite number?
False
Suppose 25*j - 10235 = 2*j. Is j composite?
True
Let x(l) = l**2 + 8*l + 3. Let q be x(-10). Let m = 18 - q. Is (-4)/10 + (-1857)/m composite?
True
Suppose 4*x - 187 = -q, 0 = 2*q - 3*q - x + 181. Is q a prime number?
True
Is (-18)/(-15) - 92331/(-45) a prime number?
True
Let c = 19476 - 11575. Is c prime?
True
Let b(v) = -47*v - 49. Let c be b(15). Is (-2 - 1) + 1 - -1 - c composite?
True
Let z(b) = -b**3 + 5*b**2 + 6*b + 2. Let y be z(6). Suppose 5*j + 7226 + 4224 = 0. Is y/(-9) + j/(-18) a composite number?
False
Suppose -7*u + 6 = -22. Let t = u - -4. Is -1 + t*7*1 composite?
True
Suppose -2*g + 4*g - 4*d = 30, 2*g - 26 = 3*d. Suppose -3*k = g - 22, -4*k = 3*u - 941. Is u prime?
True
Let u(m) = 44*m**2 - 21*m + 413. Is u(15) prime?
False
Suppose -2*o - y + 28 = 0, -o - o + 20 = 3*y. Let f = o - 17. Is (-852)/48*12/f composite?
True
Let k(u) = -4448*u + 45. Is k(-2) prime?
True
Suppose -4*x = 2*h + h - 9187, 5*x = h - 3075. Is h a prime number?
False
Let h = 836 + -582. Is h composite?
True
Let g = 311 - 554. Let o = g - -764. Is o a composite number?
False
Suppose -5*a + 2*b + 380 = 4*b, 5*b = -2*a + 131. Suppose i = -7*v + 4*v + 12, 0 = -3*i. Suppose 3*f + 0*g = -4*g + a, -f - v*g + 34 = 0. Is f a prime number?
False
Suppose 12*g + 6 = 66. Suppose 10*m - g*m - 7190 = 2*b, 3*b = -4*m + 5752. Is m a composite number?
True
Suppose 0 = -35*r + 2220330 + 63035. Is r composite?
False
Let d(o) = 13*o**2 + 3*o + 53. Is d(-14) a composite number?
True
Let g(b) be the third derivative of -b**5/60 + b**3/3 + b**2. Let f be g(0). Suppose -n - 815 = -5*t - 0*n, 4*t = -f*n + 652. Is t composite?
False
Let q be (-1)/(6/(-3369)*(-6)/12). Let g = q + 1961. Is g a composite number?
True
Let l(m) = -26*m**3 - m. Let k be l(-2). Suppose 3*v - k - 39 = 0. Is v a composite number?
False
Let t = -192 - -282. Let j be (4/(-5))/((-12)/t). Is 356/6 + (-2)/j a prime number?
True
Let h(z) be the third derivative of -7*z**6/40 - z**5/12 - z**4/12 - z**3/2 - 24*z**2. Is h(-2) a prime number?
True
Let w = -24 - 161. Let i = 376 + w. Is i a composite number?
False
Let l = 49004 + -34413. Is l composite?
False
Suppose 0 = -5*k - 4*p + 2475, 18 = 3*k - p - 1484. Is k a prime number?
True
Suppose -1416 + 282 = 6*q. Let p = 118 - q. Is p a composite number?
False
Let d(s) = 3*s**2 - s + 5. Suppose -5*f = -5*u - 35, -13 = 4*f + 5*u + 4. Suppose -4*q - 36 = 2*i + f*i, -5*i - 4*q = 41. Is d(i) a prime number?
False
Suppose 5*i - 144505 = 5*d, 0 = 3*i + 15*d - 16*d - 86703. Is i composite?
False
Suppose -6*c + 617 + 13549 = 0. Is c composite?
True
Let r be ((-2)/3)/(5/(-45)). Suppose 2*h = r*h + 16, h = 3*z - 9001. Is z composite?
False
Let v(f) be the second derivative of -4*f - 3/2*f**3 + 1/6*f**4 + 0 + 3/2*f**2. Is v(8) composite?
False
Let w = -649 + 938. Let n = w + 30. Is n prime?
False
Is (0 + -1)/(3*(-6)/736146) a composite number?
False
Let w(v) = -v**2 - 8*v + 10. Let l be w(-9). Let s(j) be the second derivative of 11*j**4 + j**2/2 + j. Is s(l) composite?
True
Suppose -o - 4*t + 2 = 0, 0*t - 4*t = -3*o + 54. Let j = -14 + o. Suppose -4*q = 3*m - 1187, 5*q - 1480 = -3*m - j*m. Is q a prime number?
True
Suppose -5*v + 4*v + 3 = 0. Suppose v*u - 1716 = -u + 4*g, 5*u + g = 2157. Suppose 3*j - u = -b, -2*j - 282 = -4*j - 2*b. Is j a prime number?
False
Suppose 5 = s + 4*s. Suppose -2*t + 4*f = 0, -2 + 0 = t - 4*f. Is 443 + (t + s - 1) a prime number?
False
Let u(x) = -x**3 + 7*x**2 + x - 5. Let s be u(7). Let i(n) = 9*n**2 - 4*n + 2. Let b be i(s). Is ((-6830)/b)/((-1)/3) composite?
False
Let g(x) = x + 12. Let j be g(-10). Suppose 5*w - 1899 = j*w. Is w a prime number?
False
Let t be 6 + (4 - -1) + -2. Let g(w) = -w**3 + 5*w**2 + 3*w + 5. Let y be g(t). Let p = y + 435. Is p a prime number?
False
Suppose 4*j + 520 = 6620. Suppose -5*n - 4*v = -1527, -n - j = -6*n - 5*v. Is n prime?
True
Let d(x) = x**3 + 17*x + 9227. Is d(0) a prime number?
True
Suppose