4 - (-3745)/(-935)) a composite number?
True
Let v(l) = 45*l + 11. Is v(14) composite?
False
Let s(d) = d**2 + 7*d + 5. Let i(y) = -y**2 - 6*y - 4. Let r(c) = 7*i(c) + 6*s(c). Let p be r(0). Suppose -p*f + 644 = 2*f. Is f a prime number?
False
Let q(s) = 22*s + 25. Let y(u) = -7*u - 8. Let v(i) = -2*q(i) - 7*y(i). Is v(5) prime?
True
Is (-4)/(-6) + 254*5/30 composite?
False
Let i = 217 + -132. Is i a composite number?
True
Let d(o) = 3*o**2 - 20*o + 10. Is d(13) a prime number?
True
Let a = 457 - -34. Is a a composite number?
False
Suppose 0 = 5*h + 5*f - 45, -2*h + 4*f = 3*h. Suppose -3 = 2*g + 3*r - 4, g + 5*r = h. Is (-21)/2*2/g prime?
False
Let t(g) = g**3 + 6*g**2 - 2*g - 5. Is t(-4) prime?
False
Is 5024/4 - 2*(-6)/4 composite?
False
Let g be (3 + -4)/((-1)/2). Suppose 3 + 5 = g*u. Is (-26)/((24/(-21))/u) prime?
False
Let w(u) = -u**2 - 13*u - 9. Let g be w(-7). Suppose 6*h = h + 25. Suppose -2*b + h*b - g = 0. Is b composite?
False
Suppose 0 = -2*f, u - 4*f = 4*u - 999. Suppose 2*x - 164 = -2*m, 8*m - x - u = 4*m. Let d = m - 57. Is d composite?
True
Let p be (-1)/4 + 291/(-4). Suppose 6*r = -263 + 11. Let b = r - p. Is b prime?
True
Let g = -7 + 17. Is g prime?
False
Let j = 260 + -552. Let r = j - -974. Suppose -2*w - 2*w = 3*q - r, 3*q - 6 = 0. Is w a composite number?
True
Suppose -j - 4*j + 3090 = 0. Suppose 913 = 3*z + l, 2*z - 4*z + 4*l + j = 0. Is z a composite number?
True
Suppose 7*u - 11230 = -3*u. Is u composite?
False
Let p(t) = t**3 - t**2 + t + 3. Let f be p(0). Suppose 4*x = -4*b - 4, -1 = 5*b - f*x - 36. Is b a prime number?
False
Let o = -38 + 107. Let q(d) = -2*d + d - 4 + o. Is q(0) a composite number?
True
Suppose 5*m - 2*m - 9 = 0, 0 = 4*r - 3*m - 1307. Suppose -2*l - r = -0*z - z, -4*z + 1316 = -4*l. Is z a composite number?
True
Let u be 57/(-4) + 4/16. Is u/(-49) + 236/7 prime?
False
Let t(x) = 7*x**3 - 2*x - 1. Is t(2) a composite number?
True
Suppose -5*d = -2*p - 163, -6*d = -4*d + 3*p - 50. Is d composite?
False
Let b(k) = -k**3 + k**2 + 6*k + 7. Let r = 4 - -3. Let i be 99/(-21) + (-2)/r. Is b(i) composite?
False
Suppose d + 4*g - 147 = 0, -3*g = 4*d - 327 - 248. Is d composite?
True
Suppose 2*o = -3*o. Let p be 76*(0 + 2 - o). Suppose -2*g = -18 - p. Is g composite?
True
Let g(f) = -1. Let z(m) = -3*m + 3. Let a(t) = 5*g(t) + z(t). Is a(-2) prime?
False
Let z = -12 - -16. Suppose -3*t + 1302 + 276 = 0. Suppose -z*s - 18 = -t. Is s a composite number?
False
Is (-11 + 10)*-1*211 a composite number?
False
Let t = 5 + 1. Suppose -3*z + t = -0. Suppose -4*x - 5*i = -283, -z*i - 9 = -5*i. Is x prime?
True
Let t(i) = i**2 - i + 137. Let h be t(0). Suppose z - h = 34. Suppose -17 = 2*j - z. Is j prime?
False
Suppose -4*u - 2 = 3*t - t, -u - 5 = -4*t. Is 1650/45 + t/3 composite?
False
Suppose 1152 - 143 = a. Is a composite?
False
Is (-16)/168*7 - 12335/(-3) a composite number?
False
Let g be (-40)/12*(-18)/15. Is -4*(g + 423/(-4)) a composite number?
True
Let t(y) be the first derivative of y**4/4 + y**3 - y**2 + 3*y + 2. Let d be t(-3). Suppose 2*x - d = -x. Is x a composite number?
False
Let x be -1*2*(-84)/(-6). Is 7/x - (-458)/8 composite?
True
Let u(y) = -y. Let p(m) = -44*m - 1. Let r(c) = -p(c) - 2*u(c). Let d be ((-20)/(-6))/(-5)*-6. Is r(d) prime?
False
Let w(g) = 1 + g + g**2 + 31*g**3 - 53*g**3 - 29*g**3. Let h be w(-1). Let n = -17 + h. Is n a prime number?
False
Let n be (-3 - -3)*1 - -2. Suppose -z - n*m = -295, 3*z - 1176 = -z - 4*m. Is z composite?
False
Suppose n + 2*h = 2*n - 5, n + 3 = -2*h. Let r(k) be the third derivative of 7*k**4/2 + k**3/6 - 9*k**2. Is r(n) a prime number?
False
Suppose m - x - 5 = 0, m - 2*m - 4*x = 10. Suppose 4*c + 2*z - 108 - 60 = 0, -125 = -3*c - m*z. Let r = 10 + c. Is r composite?
False
Suppose 2*r - 8 = -3*l + 9, 2*l - 8 = -r. Suppose 0 = 5*b + 2*s - r, 3*b - s = 5*b - 4. Suppose b*t + 0*t = 20. Is t a composite number?
True
Let i(l) = 7*l**2 + 8*l + 7. Is i(-6) a prime number?
True
Let t(n) = 245*n + 1. Suppose -3*k + 13 = 4*c, 2 = -2*c + 2*k - 2. Let v be t(c). Suppose 4*s - 62 = v. Is s prime?
False
Let t(o) = -2*o - 5. Suppose 0 = 3*g - 15, 2*g + 1 = a + 16. Let f be t(a). Suppose 2*m + y - 258 = 0, -2*m + f*y + 408 = 174. Is m prime?
True
Let z = -17 + 42. Is (3 + -2 + z)/2 prime?
True
Suppose 10 = -5*r + 2405. Is r prime?
True
Let s(b) = 6*b**3 - 15*b**2 + 6*b - 5. Is s(6) a composite number?
False
Let k(r) = -r**2 + r + 1. Let h(s) = -7*s**2 - s + 16. Let p(u) = h(u) - 6*k(u). Let c be p(-8). Suppose c*d + 3*d - 415 = 0. Is d a prime number?
True
Suppose 0 = 3*b - 2*p - 8, p + 8 - 2 = 2*b. Suppose b*w - 5*w + 31 = 0. Is w a prime number?
True
Let z(c) be the second derivative of 3*c**3/2 - c**2/2 + 2*c. Let r be z(6). Let p = r - 16. Is p a prime number?
True
Suppose 0 = 9*h - 18781 - 12638. Is h composite?
False
Is (1 - 12/9)*6 - -2205 a composite number?
False
Let a(o) = 6*o**3 - o**2 + 2*o - 3. Is a(4) a prime number?
True
Let d(v) = -7 + 19 + 3*v - 2*v - 3*v. Is d(-11) prime?
False
Suppose -16 = -4*k - 3*m, -5*m - 8 + 0 = -2*k. Suppose 0*n - 4*u - 20 = -2*n, k*n = 3*u + 35. Suppose -2*l = -62 - n. Is l prime?
False
Let h be 1/(-4) - (-1188)/16. Let v = 2 - -2. Suppose v*i - 2*i = h. Is i a composite number?
False
Let g(i) be the third derivative of i**4/24 - i**3/6 + 2*i**2. Let p be g(4). Let d(h) = -h**3 + 8*h**2 - 4*h + 2. Is d(p) prime?
False
Let d = 18 + 18. Let m = d + -26. Is m a composite number?
True
Suppose 68 + 72 = 2*k. Suppose k = -5*b + 330. Suppose 2*s - b = -2*s. Is s prime?
True
Let b = 130 - 27. Is b composite?
False
Suppose -18 = 2*n + n. Let m = -3 - n. Is 22/2 - 1 - m prime?
True
Let g(t) be the second derivative of -t**3/6 + 13*t**2/2 - 3*t. Is g(0) composite?
False
Is (-3885)/(-10) + 1/2 composite?
False
Let b = -2 + 3. Let v be (-15)/(-2) + b/(-2). Let j = v + 8. Is j composite?
True
Let h(q) = -q + 659. Let s be h(0). Suppose 6*v + 3*b = v + s, 274 = 2*v - 4*b. Is v composite?
True
Let b(a) = 4 + 7*a**2 - 2*a**2 - 2 + 2. Suppose -t = r, 1 = 5*t - r - 17. Is b(t) a composite number?
True
Let t be 5/(-15) + (-8)/3. Is t - -38 - (1 - 3) a prime number?
True
Let x(f) = f**3 - f + 65. Suppose 3*s = -2*m + m + 27, 0 = 5*s + 3*m - 41. Let b(r) = r - 10. Let p be b(s). Is x(p) prime?
False
Let d = 1787 - -416. Is d prime?
True
Let p(v) be the third derivative of v**5/60 + v**4/3 + 3*v**3/2 + v**2. Let f be p(-7). Suppose 74 = -0*y + f*y. Is y composite?
False
Suppose 0 = -5*b - 10, -3*b - 7 = -q - 4*b. Is ((-30)/q)/((-10)/45) a prime number?
False
Let j be (-3)/(-9) + (-6)/(-9). Let q(x) = -x + 8*x + 2 - j + 20*x**2 + 3. Is q(-5) composite?
True
Suppose 4*n - 30 = 9*n. Let a(k) = 2*k**2 - 5*k - 5. Is a(n) composite?
False
Let p = 79 - -18. Suppose -11*n - 42 = 178. Let b = p + n. Is b a prime number?
False
Let s(g) = 3*g**2 + 3*g. Let p be (-11)/33*(7 + -1). Let k be s(p). Suppose 0 = -k*b + b + 95. Is b a prime number?
True
Let i = 2 + 1. Suppose i*v - r = -32 + 7, 0 = 4*v + 5*r + 8. Let s(y) = -y**3 - 7*y**2 - 7*y - 2. Is s(v) a composite number?
False
Let y be ((-6)/4)/((-2)/4). Suppose 4*s = -3*u - 2*u + 55, -y*s = 4*u - 42. Is s prime?
False
Let h(m) be the second derivative of m**5/20 + 7*m**4/6 + 3*m**3/2 + 13*m**2/2 + m. Is h(-13) composite?
True
Suppose -2*o = -3*m + 1 + 4, -2*o - 2*m + 10 = 0. Suppose 4 = o*v - 0. Is -26*(-1)/v + 0 prime?
True
Let w(g) = 7*g**3 + 2*g**2 - g. Let t be w(1). Let s(p) = 2 + p**2 - t*p + 2*p**2 - 3 - 4*p**2. Is s(-6) prime?
True
Suppose 0 = -5*o + 380 + 235. Is o a prime number?
False
Suppose 4*n - 881 = -37. Is n prime?
True
Suppose -3*f = -0*f - 180. Let v = f + -35. Is v a prime number?
False
Let j be 2 + 5 + (3 - 5). Let b be 4/(-18) + 94/18. Suppose x = -2*c - x + 244, b*c - 660 = j*x. Is c prime?
True
Let p(a) = -25*a - 1. Is p(-3) composite?
True
Suppose -4 + 11 = 5*g - 2*k, -g = -3*k + 9. Is 2 + 30 + g + -4 prime?
True
Suppose 1 = -2*i + 3, c + 5*i - 8 = 0. Suppose -2*u - 2*p = -1480, -633 = -2*u - c*p + 844. Suppose -u = -5*l - 178. Is l a composite number?
False
Let j(q) = 7*q - 2. Let l(d) = 21*d - 6. Let a(m) = 7*j(m) - 2*l(m). Let h be (-6 + 7)/((-2)/(-10)). Is a(h) a composite number?
True
Let x be (-18)/(-4) + 2/(-4). Suppose -x*i = -i - 927. Suppose -5*a + i = 2*t - 178, 2*a - 196