(-15) a composite number?
True
Suppose 5*g = -0*t + 2*t + 21, -3*g + t + 12 = 0. Is (-1)/((-1)/42) - g composite?
True
Suppose 0*i - 16 = -4*i. Is 3444/(-8)*i/(-6) composite?
True
Let r(o) = -5*o**3 - 4*o**2 - 4*o + 1. Let c be r(-4). Suppose 4*v = -7*n + 3*n + 264, -4*n + 5*v = -c. Is n a prime number?
True
Is (2402/5)/((-8)/(-20)) prime?
True
Let s = 1074 - 677. Is s a composite number?
False
Suppose 3*a + 5*o + 35 = 0, 10 = 2*a + 2*o - 7*o. Let v(q) = -q**2 - 8*q - 4. Is v(a) a prime number?
True
Suppose -2*n - 2 + 28 = 5*u, -5*n = -5*u - 30. Let m(h) = h**3 - 7*h**2 - 7*h - 5. Let c be m(n). Is (84/18)/(2/c) composite?
False
Let d = 1227 - 313. Is d composite?
True
Let u be 5 + (-3)/1 + 1. Suppose -d + 2*a + 112 = 0, 4*d - 423 = u*a - 0*a. Suppose -y + 0*y - d = -3*k, 0 = -5*y. Is k a prime number?
False
Suppose -5*v + 0*v = 0. Suppose v = 4*u + u - 265. Is u a composite number?
False
Suppose 0 = -12*s + 28*s - 4048. Is s prime?
False
Let w = 363 - 46. Is w composite?
False
Let c(v) = -13*v + 13. Is c(-6) a prime number?
False
Suppose -3*s + 89 = o, 3*o + 4*s - 178 = o. Is o prime?
True
Let d = 5778 - 859. Is d a composite number?
False
Let a(x) = -42*x + 7. Is a(-5) a prime number?
False
Suppose -12 + 8 = 2*u. Let t(f) be the second derivative of -4*f**3/3 - f**2/2 + f. Is t(u) a composite number?
True
Let o be 44/6*(1 - -2). Let k = o - 11. Suppose -3*y = -19 - k. Is y a composite number?
True
Suppose 85 = -4*g + 609. Let s = g - 53. Is 1/(((-3)/s)/(-1)) a prime number?
False
Suppose -u + 4*w + 190 = -167, 361 = u - 5*w. Is u composite?
True
Let i be (4/(-3))/(6/(-9)). Suppose m = i*m + 51. Let g = 144 + m. Is g composite?
True
Is 112 + -1 + 0 + 0 a prime number?
False
Let i(n) = -47*n - 1. Let l be i(1). Let k = 85 + l. Is k a composite number?
False
Suppose 2*n = -60 + 14. Suppose 2*s - 57 - 63 = 0. Let h = n + s. Is h a composite number?
False
Let o(b) = -b**3 + 7*b**2 + 5*b - 1. Let h be o(6). Suppose -h = 4*f + 3. Let d = 32 + f. Is d prime?
False
Is (0 - -115) + (6 + -2)/(-2) prime?
True
Let d be (-127)/(-4 - -8 - 5). Let b = d - 32. Is b a composite number?
True
Suppose -3*w + 27 = 3*x, -8 = -5*w + 12. Suppose 0 = s - x*s + 84. Is s a composite number?
True
Let t be ((-154)/4 + 2)*-2. Suppose 6*q = 4*j + 3*q + 69, q = -4*j - t. Is 4/j - (-497)/9 composite?
True
Let p(f) = f**2 + f. Let i be p(-3). Suppose i*s - s + 5*v = 2140, v = s - 434. Is s prime?
True
Is 24/(-16) - (-2546)/4 a composite number?
True
Let r(c) be the second derivative of 95*c**3/6 - c**2/2 + 3*c. Let y be r(5). Is (-2)/(3*(-4)/y) prime?
True
Suppose -2*x = 4*b - 88 - 2068, 0 = 4*b + 3*x - 2154. Let c = b + -373. Is c composite?
False
Suppose 0 = 3*d - 2*d. Suppose -2*v = -c + 65, d*c + 50 = c + v. Is c a composite number?
True
Let s(c) = 37*c + 3. Let k be s(5). Suppose 0*a - a = 0. Suppose a = -g - g + k. Is g a composite number?
True
Let m(s) = -4*s**2 - 2*s. Let z be m(3). Let t be ((-152)/12)/(4/(-42)). Let p = z + t. Is p composite?
True
Suppose -3*d - 20 = 2*d. Let t be -1 - d/(12/15). Suppose 2*q = 5*b + 9 - 48, 5*q = t*b - 38. Is b a composite number?
False
Suppose r - 2*f + 1 = -2, -9 = -2*r - f. Suppose -4*y - 3*t = -168, r*t + 210 = 5*y + t. Suppose 0 = -3*i + y + 105. Is i a composite number?
True
Let b(q) be the first derivative of q**6/120 + 7*q**5/60 + 5*q**4/24 + q**3/2 - q**2 - 2. Let z(f) be the second derivative of b(f). Is z(-4) prime?
True
Suppose -37 = f + 2*a, 0 = -a + 2 - 6. Is (f - 0)/((-3)/6) composite?
True
Suppose -3*p - 5*n + 1242 = 0, -3*p + 2*p = -4*n - 431. Is p composite?
False
Let o be -1 + 37 - -3 - 2. Let s = o + 42. Is s prime?
True
Suppose 4*q = -4*w + 1252, -4*q = -4*w + 449 + 787. Is w prime?
True
Let r(a) = a + 3. Let v be r(-7). Let z be 0 + v/(-2) - 12. Is (-36)/z*5/2 a composite number?
True
Is 1/((-3)/2)*546/(-4) a composite number?
True
Let l(k) = 6*k**3 - 3*k**2 - 2. Is l(3) prime?
False
Let w(m) = m**2 + 8*m - 10. Let n(q) = -9*q + 1. Let u be n(-1). Let o be w(u). Is (4/4)/(2/o) prime?
False
Suppose 4*q + 240 = 6*q. Suppose -5*p + 95 = -q. Is p a prime number?
True
Let c = 0 + -1. Let u(r) = 60*r. Let z be u(c). Let h = -38 - z. Is h prime?
False
Suppose -217 = -5*p + 658. Suppose 12 = -i + p. Is i a composite number?
False
Suppose 3*r + 5*i = -0*i + 284, i = -4*r + 407. Is r composite?
False
Let d(j) = -7*j**2 + j - 3. Let i(n) = 7*n**2 - n + 2. Let s(w) = -4*d(w) - 3*i(w). Let l be s(-5). Suppose 56 = -2*b + l. Is b a prime number?
False
Suppose 5*f + 15 = 180. Is f a composite number?
True
Is ((56/(-6))/2)/((-76)/34998) composite?
True
Let o(c) = 1 - 8*c - 9 + 1. Let r(x) = -x**3 + 10*x**2 - 9*x - 7. Let w be r(9). Is o(w) a prime number?
False
Suppose -3*f = -3*k + 14 + 16, 4*f = -5*k + 5. Suppose 3*q = -2*q + 10, 4*s = k*q + 42. Is s a prime number?
True
Suppose 4*b - 3050 = -5*j + b, 3*j - 5*b = 1864. Is j a prime number?
True
Suppose -8 = 3*h + 1. Let b = -17 - h. Let k = b - -69. Is k a composite number?
True
Let b(c) = -79*c + 3. Let w(h) = -78*h + 4. Let f(k) = -3*b(k) + 2*w(k). Is f(2) prime?
False
Let p be 2 - (-2)/6*0. Suppose -102 = p*l - 4*l. Is l prime?
False
Let m be (1 + -2)*-2 - 12. Let s be (-54)/m - 2/5. Suppose s*b = -0*b + 325. Is b a prime number?
False
Let z = 929 + -529. Suppose 586 = 5*q - 1029. Suppose 4*s = -3*y + q, -5*s + z = -0*y + 5*y. Is s prime?
True
Let w = 13 + -9. Let k be (-977)/(-2) - 6/w. Suppose k = 3*t - 4*u, -u - 643 = -4*t - 2*u. Is t composite?
True
Let h(z) = 3*z + 1. Suppose 3*k + 9 = -0*k. Let i be h(k). Is i/36 + (-670)/(-18) prime?
True
Let q(n) be the second derivative of n**4/6 - n**3 + 3*n**2/2 - 3*n. Is q(-5) composite?
False
Let j(v) = 5*v**3 + 5*v**2 - 7*v + 4. Let g(r) = 5*r**3 + 6*r**2 - 8*r + 5. Let x(d) = 5*g(d) - 6*j(d). Is x(-2) a prime number?
True
Let v = 2 - -155. Is v composite?
False
Suppose 2*q = -0*q + 4. Is (47 - 1)/(2/q) prime?
False
Suppose 18 = -4*m - 26. Let l be (-2)/9 - m/9. Is l/((3/(-141))/(-1)) a composite number?
False
Let j = 21 - -16. Suppose 3*v - s + 54 = 0, -3*s = -2*v - 2*s - j. Let q = v + 94. Is q a composite number?
True
Let o = 121 - -28. Is o composite?
False
Suppose -16 = -2*i - 0. Let j(b) = b**2 + 3*b. Let z be j(-4). Suppose 156 = z*f + i. Is f a prime number?
True
Let i(l) = 42*l**3 + 1. Let c(n) = n**3 - n**2 - n. Let v(d) = -2*c(d) - i(d). Is v(-2) a prime number?
False
Let d(a) be the first derivative of -a**2 - 4. Is d(-5) composite?
True
Let n(f) be the third derivative of 25*f**4/4 - 7*f**3/6 + 4*f**2. Is n(2) prime?
True
Let x(y) = -2*y**3 - 2*y**2 + 2*y + 7. Let r(a) = -a**3 + a**2 + a + 1. Let i(z) = -3*r(z) + x(z). Let w be i(5). Let l = 4 + w. Is l a prime number?
True
Is (3/9)/(3/711) composite?
False
Suppose g - 2*n = 203, 3 - 7 = -n. Is g a composite number?
False
Let d(h) = -h**2 + 7*h - 3. Let u = -7 + 13. Is d(u) prime?
True
Let s(c) = c**3 - 5*c**2 + 5*c - 9. Is s(6) a prime number?
False
Let t(y) = y - 7. Let m be t(6). Is 22/(1 - m) + -1 a composite number?
True
Let q(x) be the third derivative of x**5/10 + x**4/12 - x**3/6 + 2*x**2. Let i be -3 + 3 + 2 + -1. Is q(i) a composite number?
False
Let o be (20/8)/(2/48). Let h be o/(-10)*(-6)/(-4). Is 78/4*(-18)/h a composite number?
True
Suppose -3*a = -5*q + 1628, -2 = 3*a + 1. Let p = q - 192. Is p prime?
False
Suppose 5*c - 3*f + 2105 = 10362, -5*f - 20 = 0. Is c a composite number?
True
Let m(y) = -y - 7. Let c be m(-11). Let s be (-1 + 4)/((-3)/(-4)). Suppose 4*g - 348 = -c*f, 3*g = -3*f + s*g + 261. Is f a prime number?
False
Let g be -10*-2*(-1)/(-5). Let x be 6/g*(-20)/(-15). Suppose 0*l + 170 = x*l. Is l composite?
True
Suppose 0 = -s + z + 2 - 1, 0 = s - 2*z + 2. Suppose 0 = 5*b + s*r - 408 + 69, 20 = -5*r. Is b a composite number?
False
Suppose 0*k = 5*c + 4*k - 9495, -4*c + 7570 = -2*k. Is c a composite number?
True
Is 373/(-2)*(-2)/1 a composite number?
False
Let c = -6 - -12. Suppose c = 3*b, -2*b = -l + b + 74. Suppose l = 4*z - 12. Is z a composite number?
False
Suppose 21 = 2*j - 2*r - 13, r + 5 = 0. Is (3/j)/((-3)/(-3084)) a composite number?
False
Let g be (-333 - 0)*(-6)/(-18)*-1. Suppose 634 = 5*c - 151. Suppose -4*p = -g - c. Is p a prime number?
True
Suppose 2*o - 5*o = -9. Is (-681)/(-6) + o/(-6) composite?
False
Suppose -4