rime number?
False
Let f(v) = v**2 + 4*v + 6. Let m be f(5). Let h = m - -76. Is h a composite number?
False
Suppose 0*y - 4*y = n - 827, 4*y - 833 = -3*n. Is y prime?
False
Suppose -2*w - 4*l = -336 + 44, 2*w = 2*l + 286. Let r = w - 61. Is r a composite number?
False
Let a = 83 + 176. Is a a prime number?
False
Suppose 3*n - 5 - 4 = 0, 0 = -4*b - 3*n + 21. Suppose 0 = -i - b*u + 83, -5*i + 3*u + 94 + 357 = 0. Is i composite?
False
Let z = 1025 - 118. Is z a prime number?
True
Let z be (11 - 5)*(-2)/(-6). Suppose -z*w + 325 = 3*l - 658, 4*l - 978 = -2*w. Is w prime?
True
Is 124/(-6)*24/(-16) prime?
True
Let n = 6 + -4. Suppose -n*o + 55 = 9. Is o a composite number?
False
Let g(y) = 34*y + 5. Let u be g(3). Suppose 5*t = -l + u, 5*t + 0*t + 5*l = 95. Is t composite?
True
Let n be 0 - (-2 - 0) - 0. Suppose n*w = -2*w + 20. Suppose -3*v + 53 = -2*v - w*g, 2*v - 2*g - 90 = 0. Is v a prime number?
True
Is 5*(-2)/(-5) - 2 - -809 composite?
False
Suppose 15 = -5*u, 3*u = -4*o + 2*u + 1489. Suppose 0 = -3*a + n + 2*n, -a + 10 = n. Suppose 0 = 5*v - 2*m - o - 28, 0 = a*v + 3*m - 386. Is v composite?
False
Suppose -2*z - 1 = -117. Is z a prime number?
False
Suppose 5 = 2*o - 1. Let m be 0 - (3 - 6) - 10. Is (1/o)/(m/(-441)) a composite number?
True
Suppose -2*c - 5*v - 51 = -1215, 3*c = v + 1763. Is c prime?
True
Suppose 820 = 6*j - 2*j. Suppose -2*m + 5*m + 5*w - 595 = 0, 5*w - j = -m. Is -2*2*m/(-20) a composite number?
True
Let m(r) = 1. Let l(s) = -5*s**2 + 7*s + 3. Let k(h) = -l(h) + m(h). Is k(7) a prime number?
False
Let y(h) = -h**3 + 15*h**2 + 17*h + 9. Is y(10) a prime number?
False
Let i(k) = -k + 3. Let d be i(0). Suppose -365 + 1300 = 5*x + 5*c, 3*x = d*c + 549. Is x prime?
False
Let r(h) = -h**3 - 14*h**2 + 11*h + 10. Let v be r(-13). Let d = v + 487. Is d prime?
False
Let b(u) = -26*u - 27. Is b(-19) prime?
True
Suppose -r + 25 = -2*f, -f + 1 = -4. Is r prime?
False
Let u(d) = -d**2 - 4*d + 5. Let c be u(-5). Suppose 4*v + 1 + 7 = c. Is (-338)/(-18) - v/9 a composite number?
False
Suppose 0*f = g + f - 16, 3*f - 12 = 0. Suppose 3*s - 6*i + 3*i = g, 2 = 2*i. Suppose -4*k - 49 = -s*k. Is k a composite number?
True
Let k be (-2)/(-1 + 2) + 0. Let d be k/(-5) + (-28)/(-5). Let x(b) = -b**3 + 6*b**2 + 3*b - 5. Is x(d) a prime number?
True
Let a = -54 - -102. Let u(h) = 11*h - 6. Let n be u(7). Let m = n - a. Is m composite?
False
Suppose -2*k = -i - 572, -5*k + 0*k - 2*i + 1439 = 0. Is k a composite number?
True
Let p be (-1 - 4)/(-1 + 0). Suppose -5*t + t + 52 = g, 0 = 5*g - 4*t - 140. Suppose -g - p = -x. Is x prime?
True
Let u(c) = 9*c**2 - 2*c - 2. Let r be u(4). Suppose 4*v - 165 = -5*l - v, 4*l + 3*v - r = 0. Is l a prime number?
False
Let q be 2 + (-52 - (-2)/2). Let p = -12 - q. Is p composite?
False
Let m be (-4 + 2)/(-2) + 3. Let f be (m + 2)*(-2)/(-4). Suppose -2*d - 8 = -6*d, 2*h + f*d - 80 = 0. Is h composite?
False
Suppose -5*m = -3*m - 248. Suppose -l - m = l. Let v = l - -93. Is v a composite number?
False
Let t(p) = -p**2 + 22*p + 6. Is t(11) a composite number?
False
Suppose 4*r - 12 = 0, h + 0*r = 3*r + 104. Is h a prime number?
True
Let i be 2 - 7 - (0 - -1). Let y = -4 - i. Suppose 5*r = 4*g + 453, 0 = -0*r - r + y*g + 93. Is r prime?
True
Suppose -4*f = 16, 5*g = -2*f - 102 + 349. Is g a composite number?
True
Let s(x) = -3*x - 284. Let a(b) = b**3 - b + 2. Let y be a(-2). Let h(j) = j + 95. Let o(l) = y*s(l) - 11*h(l). Is o(0) a composite number?
True
Let y(d) = -d**3 - 5*d**2 + d + 2. Let x be y(-3). Let g be ((-24)/20)/((-4)/10). Let p = g - x. Is p a composite number?
True
Let j(l) = -14*l**2 - 2*l + 1. Let p be j(1). Is 2 - ((-1 - 1) + p) composite?
False
Let h = 194 + -103. Let c = 89 - 47. Let t = h - c. Is t a prime number?
False
Let q(i) = 14 - 2*i - 2 + 15*i - i**3 - 8*i**2. Let h be q(-9). Let a = 63 + h. Is a a composite number?
True
Let x be (16/(-10))/(4/(-30)). Suppose -i = -5*i + x. Suppose -i*w = -w - 38. Is w prime?
True
Suppose 3*r - 4*l - 157 = 0, 2*l + 2*l - 228 = -4*r. Is r a prime number?
False
Is 2 + (0 - -691) + -4 composite?
True
Let a(n) = n**2 + 10*n - 5. Let y be a(-9). Is 2540/28 + (-4)/y a composite number?
True
Let y = -14 - -21. Let j(v) = -v**3 + 8*v**2 - 6*v - 2. Let b be j(y). Suppose 26 + 69 = b*x. Is x prime?
True
Suppose 0 = 3*i + 6 - 0. Let z = -12 - -24. Is 2*(-1)/i + z a composite number?
False
Let a(f) = -20*f**3 - 4*f + 3. Let t be a(2). Let k = -88 - t. Is k prime?
False
Let d(h) = h**2 + 3*h + 6. Is d(-7) composite?
True
Is (-2932)/(-9) - 12/(-54) a prime number?
False
Let r be (-147)/18 + 1/6. Suppose -m - 13 = -4*k, 0 = 3*k + 3*m - 1 - 5. Is k/12 - 2070/r a composite number?
True
Suppose -10*c = -7*c - 498. Is c prime?
False
Let i(a) = a**3 + 8*a**2 - a - 6. Let l be i(-8). Suppose 0 = -4*w + 12, 2*w - 98 - 2 = -l*t. Is t a composite number?
False
Let p be -1*-1*10 + 0. Let a be (0 - -6)*p/15. Suppose a*n - 2*w - w = 276, 4*n - w - 276 = 0. Is n prime?
False
Let y(n) = 0*n - 3*n**3 + 0*n**3 + 2*n - 5 + 4*n**3. Is y(4) prime?
True
Let o(d) = 4*d**2 - 11*d - 3. Let u be o(-8). Is (3 + -2)/(11/u) a prime number?
True
Suppose 8 = 4*k - 0. Let o(h) = -94*h**2 + 2*h - 3. Let v be o(k). Let d = -172 - v. Is d a composite number?
True
Let t(i) = i - 1. Let m be t(3). Suppose -m*o + 5*f - 62 = -3*o, 2*o = -4*f + 118. Is o a prime number?
False
Let f be 6/(-33) + 48/22. Let v(s) = 15*s**3 + 4*s**2 - 3*s + 1. Is v(f) a composite number?
False
Let o = 1 + 2. Is -2*o/(-18)*27 a prime number?
False
Suppose 2*v + 2*v - 20 = 0. Suppose 4*n - 1 = -v. Is (n/(-2))/(2/40) a composite number?
True
Suppose 5*q - w + 10 = w, q = 4*w - 20. Suppose 0*b + 4*b - 16 = q. Suppose -b*a + 0*a + 28 = 0. Is a composite?
False
Suppose -50*f + 54*f - 3832 = 0. Is f a prime number?
False
Suppose 3 + 1 = 2*o. Suppose w + 267 = o*w. Is w a composite number?
True
Let p = 4 + -10. Is (-4)/(p/477*3) a composite number?
True
Let l(n) = 4*n + 10. Is l(9) a prime number?
False
Let i(a) = a**3 - 12*a**2 + 16*a - 2. Let h = 18 + -7. Is i(h) composite?
False
Let q = 623 - -572. Is q prime?
False
Suppose -9 = -2*q + 5*l, q + 4*l - 15 - 9 = 0. Suppose -3*c = -3*f + 12, 0 - q = -2*f + 3*c. Suppose -4*s + s + 69 = f. Is s a prime number?
True
Suppose -938 = -2*a + 5*s, a - 4*a + s = -1433. Is a a prime number?
True
Suppose 0 = -82*a + 83*a - 43. Is a a composite number?
False
Let n(x) = x + 15. Let p be n(-11). Suppose -p*z = -l - 207, -2*z + 49 = 3*l - 72. Is z a prime number?
True
Let a be (3 + -1)*(-94)/4. Let b be (0 - -1)*a*-2. Suppose -3*y - 82 = -2*z + 2*y, -2*z + 2*y = -b. Is z prime?
False
Suppose 7*z = 4*z - 2*s + 13, -2*z - 4*s + 6 = 0. Suppose -z = o - 209. Suppose -4*j + o = -3*k, -5*k = -3*j + 7 + 146. Is j prime?
False
Let r(c) = -c**3 - 8*c**2 + 5*c + 6. Let m be r(-9). Let t = m + 69. Is t composite?
True
Let r(m) = -m**3 - 4*m**2 - 3*m + 3. Let o be r(-3). Suppose -n - 3*g + o = n, 5*n - 35 = -2*g. Let h = n + 2. Is h a composite number?
False
Suppose 2*b - 1 = -79. Let j = 76 + b. Is j composite?
False
Let q = 9348 - 4637. Is q a prime number?
False
Suppose 5*a - 2656 = -936. Let l be 2/(-13) - 8832/52. Is 2/(-2 - a/l) composite?
True
Let h(n) = -n**3 + 3*n**2 + n. Let k be h(3). Suppose 0 = -5*r + k*r + 218. Is r a composite number?
False
Let m(q) = 22*q - 2. Let t be m(3). Let u = t + -39. Is u a composite number?
True
Let n(l) = -l**3 + 7*l**2 - 7*l + 8. Let z be n(6). Is (-6381)/(-81) + z/9 composite?
False
Suppose -2*h = -13 - 1. Is h prime?
True
Let v(b) = 2*b**2 - 9*b - 4. Is v(7) a prime number?
True
Let s = 365 - 108. Is s a prime number?
True
Let h(x) = 45*x**2 - 7*x. Let r be h(-5). Suppose 0*y + 3*v = -y + 281, 3*v - r = -4*y. Is y composite?
False
Let d(k) = 38*k - 1. Let h be 20/(-6) + (-1)/(-3). Let a be (1/h)/((-2)/6). Is d(a) composite?
False
Let j(n) = -18*n**3 - 1 + 0*n + 150*n**3 + 0*n. Is j(1) a composite number?
False
Is 12348/20 + -4 - (-4)/(-10) a prime number?
True
Let t(p) = -p**2 + 2*p + 419. Is t(0) a composite number?
False
Let q(v) = 2*v**2 + 2*v + 4. Let r be q(-3). Let m = r - 9. Is m prime?
True
Suppose 0 = -2*t - 2*t - 4*w + 132, -w = 2. Is t a prime number?
False
Suppose 1655 = f + 4*f. Is f a composite number?
False
Let w(a) be the third derivative of -a**4/8 - a*