 -16 - -4. Is -11*(j/4 + -4) a composite number?
True
Suppose 29 - 1291 = -2*g. Is g composite?
False
Suppose 0 = 61*f - 56*f - 4685. Is f a composite number?
False
Is (218/(-4))/(11/(-154)) composite?
True
Let v = 311 - -26. Is v prime?
True
Suppose -12 = -o + 4*o. Let j(d) = -d**2 - 4*d - 1. Let y be j(-4). Is (-540)/(-16) + y/o a prime number?
False
Let m(x) = x**2 + 2. Let f be m(0). Suppose -3*u - f*u = -745. Is u a composite number?
False
Let s(a) = 16*a**2 - 5*a - 1. Let t be s(4). Suppose -2*y + 7*y - t = 5*x, -x + 41 = y. Suppose 0 = 5*f - 6*d + 3*d - 184, f - 3*d = y. Is f prime?
False
Let z(g) = g**3 - 10*g**2 - 9*g + 11. Is z(11) prime?
False
Let j(y) = 4*y**2 + y + 4. Let c(a) be the first derivative of -a**3/3 + 5*a**2/2 + 3*a - 2. Let x be c(6). Is j(x) prime?
True
Let g(a) = a**3 - 4*a**2 + 3*a - 1. Let q be g(2). Is (-166)/3*q/2 composite?
False
Suppose 0 = -0*u - 4*u + 16. Suppose -5*p = -m - 38, u*p = 3*m - 11 + 125. Let x = m - -121. Is x composite?
False
Suppose -4*j + 58 = 5*m, 2*j = -m + 7*j + 29. Let z = -50 + 106. Suppose -2*y + z + m = 0. Is y prime?
False
Suppose 9*m - 5*m = 10276. Is m composite?
True
Suppose 0 = -2*p + 5*p - 42. Is 609/p*(-4)/(-3) a prime number?
False
Let l be -1 - 1/(1/(-66)). Let r = l - -9. Is r prime?
False
Let g(f) = -9*f + 5. Let c be g(4). Let n = c + 52. Is n a prime number?
False
Let m(o) = 494*o - 29. Is m(9) prime?
False
Suppose 0 = 2*k - 230 - 24. Is k a prime number?
True
Suppose 0 = 2*o + 10, 0 = 3*y - 2*o - 390 - 1075. Is y a composite number?
True
Let k be (4 - -2) + (-5 - -3). Suppose 3*h = 2*h + 52. Suppose k*s = 2*s + h. Is s a prime number?
False
Suppose 3*v + 407 = s, -184 = 5*v - s + 497. Let a = 192 + v. Is a composite?
True
Suppose 27 - 11 = 4*a. Let d be 1 + 2/a*-2. Suppose d - 14 = -2*u. Is u a composite number?
False
Suppose -3*k = -v + 204, -3*v + 930 = 2*v + 3*k. Let j = -78 + v. Is j a composite number?
True
Let j = -18 + 6. Let q be (16/6)/((-4)/j). Let w = q + -5. Is w a prime number?
True
Let t(m) = 3*m**2 - 10*m + 6. Is t(11) a composite number?
True
Let q(s) be the first derivative of s**4/4 - s**2/2 + 2*s + 1. Let y be q(0). Suppose -y*o + 45 = o. Is o composite?
True
Suppose 2*h = 4*k + 1098, 706 + 396 = 2*h - 5*k. Is h a composite number?
False
Let p = -5 + 11. Let d be (2/(-4))/(p/(-60)). Suppose -r + 0*j = j + 1, 5*r - d*j = 35. Is r a prime number?
True
Let x(v) = -122*v + 19. Is x(-5) a prime number?
False
Suppose 2*z = -z - 4*h + 1711, 0 = 5*z + 5*h - 2845. Is z prime?
False
Let i be -2 + 124 - -1 - 2. Let k be (-1)/((-1)/i) - -1. Is k/6 - 4/(-6) a composite number?
True
Suppose 4*w + 3314 = 6*w. Is w a composite number?
False
Let v = 32 - 46. Is (-1362)/v + (-4)/14 a composite number?
False
Suppose 2107 = a - 4*c, 7*a - 3*a - c = 8398. Is a a composite number?
False
Let w(h) = -h**3 - 10*h**2 + 12*h + 1. Let t(s) = 2*s**3 + 21*s**2 - 23*s - 3. Let u(v) = -3*t(v) - 5*w(v). Is u(-15) composite?
True
Suppose -2*t + 8 = -2*i, -i + 10 = -3*i. Is 5/15*(-21)/t a composite number?
False
Is (5 + -6)/((-1)/223) composite?
False
Let h = -90 - -577. Is h composite?
False
Let s = -2 + 8. Suppose g - 2*o - s = 0, -o = 4*g + 9 - 24. Is (-1)/g - 93/(-4) composite?
False
Is (-30)/(-6)*1119/15 prime?
True
Suppose -2*j + 165 = j. Is j a prime number?
False
Is 19992/42 + -1*1*-3 prime?
True
Let d be (40 - 3)/((-2)/14). Let y = 118 + d. Let h = -82 - y. Is h prime?
True
Let l(z) = z**2 + z + 3. Let w(c) = c**2 - 5*c - 1. Let s be w(6). Is l(s) a prime number?
False
Let j = 25 - -10. Is j prime?
False
Suppose -3*f - 23 = -4*j, -5*f = 3*j - 7*j + 25. Suppose 433 = j*c + 2*d, -193 + 35 = -2*c + 3*d. Is c a prime number?
False
Let c(y) = y**3 - 3*y**2 + 5*y - 10. Is c(5) a composite number?
True
Suppose -2*h + 88 = 2*l, 3*h = -4*l + 7*h + 144. Is (l/(-24))/((-1)/9) a composite number?
True
Is (-9)/(-6)*894/9 a composite number?
False
Suppose -5*z + 5*m + 4760 = 0, -z + 2*z + 4*m = 957. Is z prime?
True
Suppose -7*o = -2*o, 0 = 3*s - 5*o - 129. Is s a prime number?
True
Let y(u) = -32*u**3 + 4*u**2 - 2*u - 4. Let t be y(-4). Suppose 4*a + 2*f = -a + t, -1685 = -4*a + f. Suppose d = -d + a. Is d a composite number?
False
Let s be ((-956)/6)/((-6)/27). Let u = -378 + s. Is u a composite number?
True
Let w = 370 + -209. Is w a prime number?
False
Let y be (-4)/3 + 1/3. Let a = 1 - y. Suppose -m + 2*v + 9 = -3, -a*v + 18 = 2*m. Is m prime?
False
Suppose 0 = -0*l - 4*l + 160. Suppose 2*j - a - 47 = 33, j + a = l. Let v = -14 + j. Is v a composite number?
True
Suppose 5*i - 212 - 173 = 0. Is i prime?
False
Suppose 2*q + 4 = -3*h, -5*h + 4 + 4 = -4*q. Is 291*((-15)/9 - q) prime?
True
Let r(o) be the first derivative of o**4/4 + 2*o + 1. Let g be r(0). Suppose 5*a + 18 + 2 = 0, -2*c + g = 3*a. Is c composite?
False
Let d = 118 - -96. Is d a prime number?
False
Let k = 11 - -2. Suppose 0 = -2*s + 6 - 2. Suppose s*g - g - k = 0. Is g prime?
True
Let x = 4 + -4. Suppose -2*k - 3*v = -x*k + 79, -k + 2*v = 22. Let h = k + 85. Is h composite?
False
Let a = 1301 + -788. Suppose -4*f + 2*y + 1519 = -f, f - 2*y = a. Is f a prime number?
True
Let s(w) = 1 + 4 - 3 + 6 + w. Let d be s(-6). Let r = 1 + d. Is r composite?
False
Let m be 0*(2 - (-10)/(-4)). Suppose m*f + 127 = f. Is f a composite number?
False
Let u be ((-2 + 0)*-2)/2. Let v = 3 - u. Is 447/12 + v/(-4) a composite number?
False
Suppose -4*a = 3*k - 28, -a + 3*k = 3*a - 28. Suppose 0 = -4*y + a*y - 93. Is y prime?
True
Let g be (-14)/(-6) - 2/(-3). Suppose 84 = i - 3*o, -g*o - 14 = 1. Is i a prime number?
False
Let p(x) = -x**2 - 6*x + 1. Let a be p(-6). Suppose -a = 2*j - 5. Let u(l) = 5*l - 3. Is u(j) a prime number?
True
Suppose -i + 6*i - 510 = 0. Suppose 4*o - 174 = i. Is o prime?
False
Let m(r) = 2*r**2 + 14*r. Let d(w) = -w**2 - 15*w + 1. Let l(x) = 3*d(x) + 4*m(x). Is l(-11) prime?
True
Suppose -4*x + 342 = 2*b, 0 = 3*b + 4*x + 67 - 572. Is b prime?
True
Let g = -3 + 6. Suppose 6*j - 87 = g*j. Suppose -4*r - y + 34 = 2*y, -3*y - j = -5*r. Is r a prime number?
True
Let h(f) = 115*f. Is h(1) composite?
True
Suppose -l = -3*u + 273, 4*u - u - 2*l - 273 = 0. Is u a composite number?
True
Suppose 2*f - f = 8. Suppose 2*a + f - 2 = 0, 835 = 4*w + 3*a. Is w a prime number?
True
Let o = 6 - 3. Suppose 0 = -o*v + v + 6. Suppose v*r = 4*b - 0*r - 218, -3*b = 4*r - 151. Is b a composite number?
False
Let u(k) = -105*k - 29. Is u(-11) composite?
True
Suppose 6*j + 617 - 2387 = 0. Is j a composite number?
True
Let p(m) = 4*m**3 + 2*m**2 - 3*m. Let j(i) be the third derivative of i**6/120 + i**5/15 + i**4/6 + i**3/3 + i**2. Let x be j(-2). Is p(x) a prime number?
False
Let o be -52*((-140)/16)/7. Suppose 0 = -4*n - n + o. Is n composite?
False
Is ((-13218)/(-18))/((-1)/(-3)) composite?
False
Suppose 4 - 14 = -5*l. Let y be (-4)/(-8) + (-19)/l. Let r(k) = -k**2 - 13*k - 3. Is r(y) a composite number?
True
Suppose 5 = 3*l + 2*l, -479 = -4*a - 3*l. Is a prime?
False
Suppose 2*c + b - 2*b + 3 = 0, 0 = 2*c + 2*b + 18. Let a be (-239)/c - (-4)/16. Suppose a = 4*s - 0*s. Is s prime?
False
Let b be ((-8)/(-12)*1)/(6/45). Let m(j) = 0 + 10*j + 4 + 1. Is m(b) composite?
True
Suppose -4*t + 3*k = -0*t + 19, -t + 14 = 3*k. Let x(i) = -4*i**2 + 1. Let r be x(t). Is 476/12 + 2/r prime?
False
Suppose -h - 4*t - 2 = -3, -5*t = 2*h + 1. Let k be (-1*6)/h - 0. Suppose v = -k*v, 0 = -4*d + 4*v + 84. Is d a composite number?
True
Let c(d) = d - 9. Let t = 3 + 2. Let q(m) = -m + 18. Let p(g) = t*c(g) + 3*q(g). Is p(7) a composite number?
False
Suppose -3*w - 220 - 233 = 0. Let i = -93 - w. Is i prime?
False
Let l = -11 + 17. Suppose 3*k - 335 = -2*s, -5*k = -l*s + 3*s + 474. Is s composite?
False
Suppose -p + 68 + 95 = 0. Is p composite?
False
Suppose 5*l + 243 = n, 3*l = -2*n - 2*l + 546. Suppose 0*y + y - n = 0. Is y a composite number?
False
Suppose -3*w + 4*j + 1442 = 0, 2*j = -5*w + 520 + 1866. Is w a composite number?
True
Is 2 + -2 + -1 + (2327 - -7) a composite number?
False
Let h = -1 + -1. Is (-1)/(h/466)*1 a composite number?
False
Let b(z) = 5*z - 10. Let f be b(-13). Let m be (-670)/(-6) + 1/3. Let u = m + f. Is u composite?
False
Let j(h) be the third derivative of -h**5/60 + h**4/24 + 3*h**2. Let n be j(3). Is (-398)/n + 4/6 a prime number?
Tr