
True
Suppose w + 3*w = 4. Let x(l) = -3 + 1 - 6 + 6*l**2 - 4*l + w. Is x(-5) a prime number?
True
Suppose -2*v = 2*u - 18460, -2*v + 4548 + 13932 = -2*u. Is v composite?
True
Let n(u) be the third derivative of u**7/720 + u**6/120 + u**5/60 - u**2. Let t(j) be the third derivative of n(j). Is t(7) a prime number?
False
Suppose -z = -2*z - 1. Is 8 + z + 0 + 3 prime?
False
Let f be (2/(-3))/(6/(-6795)). Suppose -40 + f = 5*n. Is n prime?
False
Let m(h) = -h**2 + h + 1. Let w(r) = -11*r + 9. Let b(q) = -m(q) - w(q). Let g be b(-11). Is (g - 2)/((-2)/218) composite?
False
Suppose -4*j = -2*o + 3*o + 189, -112 = 2*j + 4*o. Let z(w) = 20*w - 23. Let r be z(7). Let c = r + j. Is c a prime number?
True
Let i = -2 - -6. Suppose 3 = 3*j - 3, 5*j - 34 = -a. Suppose -i*v = -u - a, 5*v + 0*u - 30 = -4*u. Is v a composite number?
True
Let t(b) = -13*b**2 + 5*b + 1. Let x be t(4). Let m = -60 - x. Is m a composite number?
False
Let t be 606/(-10) - (-2)/(-5). Let s = t + 144. Is s a composite number?
False
Let u be (0 + 0)/(2 + 0). Suppose u = 2*x - 7*x + 155. Is x a composite number?
False
Let d be (2 - 0)*(-5)/2. Is 320/25 - 1/d prime?
True
Let s = 8 + -7. Is 0 + s*(161 + 2) a prime number?
True
Let s = 124 + -67. Is s a composite number?
True
Let u(m) = 42*m**2 - m + 4. Is u(3) a composite number?
False
Let g(s) = 17*s - 1. Suppose 2*m = 5*u - 48, -4 = -8*m + 4*m. Is g(u) prime?
False
Suppose -6*l + 7*l = 61. Let f be ((2 - 2) + -7)*4. Let h = f + l. Is h a prime number?
False
Suppose 5*n - 321 - 149 = 0. Is n composite?
True
Suppose -4*w = 5*c + 8, w - 3*c + 4*c = -1. Suppose -w*a = -4*a + 7. Is (-4)/14 - (-177)/a a prime number?
False
Suppose 5*l - 2*l = 15, r + 4*l = 104. Let k be -3 - (1*3)/((-3)/6). Suppose -k*u + 3*o = -r, -2 = u - 3*o - 20. Is u prime?
False
Suppose 0 = 5*p - 9 - 6. Suppose -4*t - w - 2*w - 6 = 0, 3*w = -3*t - 6. Suppose -p*s + 526 - 187 = t. Is s a prime number?
True
Suppose 2*i + 0*i = 4. Suppose -3*c = -i*c - 16. Suppose -5*t = -t - c. Is t a composite number?
True
Let i be (21 + -3)/(-2) - -2. Let r(n) = -n**3 - 6*n**2 + 5*n + 5. Is r(i) a prime number?
True
Let o be -1 + -3 + (0 - -1). Let b be (-7)/o + 3/(-9). Suppose 0 = -g - b*g + 3*n + 33, -4*g + 44 = 2*n. Is g composite?
False
Let o(x) = x**3 - 6*x**2 - 5*x + 3. Suppose -5*n + 2*l = 22 - 56, 0 = -2*n - 5*l + 31. Is o(n) composite?
True
Let q(h) = -10*h + 15. Is q(-5) prime?
False
Suppose 3*l + 3*c = 4440, 2*l - 1478 = l - 3*c. Is l prime?
True
Let g = -2 - -16. Let f be -29*(g + (0 - -2)). Is (-7)/21 - f/6 composite?
True
Suppose -3*j + 9819 = -4*m, 3*m = -2*j + 5*j - 9816. Is j prime?
False
Suppose 7*u + 236 = 1069. Is u composite?
True
Let h = -3 - 0. Let q be 0 - h - 2 - 1. Suppose q = -n + 3*n - 74. Is n a prime number?
True
Let b(i) = -i - 4. Let j be b(-3). Is (-7 - j)*33/(-6) composite?
True
Let d be 6/((-5)/(5/(-2))). Suppose -d*o + 160 = o + 3*n, 4*n = 4*o - 132. Is o composite?
False
Let c(q) = q**2 + 2*q. Let b be c(-2). Suppose b = 7*a - 3*a - 148. Is a a composite number?
False
Let b = 58 + -10. Let o = 125 - b. Is o prime?
False
Let g = 11743 + -6583. Let v = g + -985. Is 4/(-14) + v/35 a prime number?
False
Suppose 282 = -2*n + 1052. Let l(k) = 3*k**2 + 12*k. Let q be l(-11). Suppose 5*h + z = n, 3*h + 0*z + 2*z = q. Is h composite?
True
Let d be 5/(-2 - (-10)/4). Suppose d = 2*l + 2*b, -11 = -2*l - 0*l - 3*b. Suppose 12 = -l*u + 224. Is u a composite number?
False
Suppose 0 = z - 2*z. Suppose z = 2*f - 31 - 21. Is f prime?
False
Let w(b) be the second derivative of 2*b**6/9 - b**5/120 + b**3/3 - 2*b. Let o(c) be the second derivative of w(c). Is o(1) prime?
True
Let y(g) = g + 11. Let h(t) = -10*t**2 - 2*t - 1. Let f be h(-1). Let c be y(f). Suppose c*s = -3*s + 445. Is s a prime number?
True
Let g(i) = i**3 + 6*i**2 + 4*i - 3. Let s be g(-5). Suppose -s*u - 91 = o - 1051, -u = 4*o - 487. Is u prime?
True
Suppose -5*f - 114 = 2*z, 4*f + 48 - 173 = 3*z. Let n = z + 100. Is n prime?
True
Suppose -3129 = -31*d + 28*d. Is d prime?
False
Let g(d) = 111*d + 1. Is g(3) a composite number?
True
Let u = 5 + 2. Suppose 2*n - 3*j - 90 = -u*j, -4*j = -4*n + 228. Is n a prime number?
True
Suppose -b + 2*i + 121 = 4*i, -5*b + 598 = 3*i. Is b composite?
True
Suppose 5*v - 766 = -n, 0 = 5*n - 2*v + 3*v - 3758. Is n a prime number?
True
Suppose 151 = 3*q - 242. Is q prime?
True
Let q(d) = 2*d**2 - d - 1. Let f be q(3). Suppose k - f = 1. Is k*(6/9)/1 composite?
True
Let r = 293 + -132. Suppose -g = -2*g + r. Is g composite?
True
Let i be 7 + -6 + (-6)/(-2). Suppose 3*n - 3*j - 9 = 0, -2*n + 3 = 5*j + i. Is n/6 - (-456)/9 a prime number?
False
Let v = -2 - -4. Suppose -5*w - 3*l = -1797 - 2263, -v*w - 4*l = -1610. Is w a prime number?
False
Suppose 2*y - 1360 = 2*d, -4*y + 6*d = 4*d - 2730. Is y a composite number?
True
Suppose -16*o + 1528 = -12*o. Is o a prime number?
False
Suppose -4*t - 24 - 4 = 0. Let h = t - -9. Suppose -2*l = 5*c - 31, 3*l - 13 = -h*c + 28. Is l composite?
False
Let i(s) = -9*s**2 + s + 1. Let y be i(-3). Suppose 0 = m - 6*m - 285. Let b = m - y. Is b prime?
False
Suppose 2*d + 2*b = b + 313, 3*d = -2*b + 469. Is d a composite number?
False
Let r = -3 + 8. Suppose 41 = r*s + 16. Suppose -52 = -s*d + d. Is d a composite number?
False
Let h(d) = 234*d**3 + 4*d**2 + 3*d - 1. Let g(r) = -235*r**3 - 3*r**2 - 2*r + 1. Let m(w) = -3*g(w) - 2*h(w). Is m(1) composite?
True
Let u = -83 + 199. Let f = u + -63. Is f composite?
False
Let d(r) = 211*r**2 - 3*r + 3. Is d(2) a prime number?
False
Let i = -72 - -41. Let q be 1/4 + 276/(-16). Let d = q - i. Is d prime?
False
Suppose 4*i = o + 4*o + 16, 2*i = -3*o + 8. Let c be 3/(-2) - (-22)/i. Suppose c*d - 36 = 440. Is d composite?
True
Let z be (-2)/3 - (-244)/(-3). Let o = 72 - 128. Let k = o - z. Is k prime?
False
Suppose 0 = -5*i + 1855 + 1350. Is i a prime number?
True
Let f(m) = 3*m**2 + 9*m + 8. Let u be f(-9). Suppose u = 5*g - 115. Let b = g + -34. Is b composite?
False
Let g = -16 + 47. Let o = g - 12. Is o prime?
True
Let w be (-8)/(-3 + (0 - -2)). Suppose 2*q - 75 = 3*u, 0 = -w*u + 3*u + 5. Is q prime?
False
Suppose 3*y - 4 = 5. Suppose -5*s + 5 = 0, -s = -t - 6*s + y. Is t - -1*3 - -18 a composite number?
False
Suppose 0 = 3*k + 2*r + 340, 4*k + 2*r = -11 - 441. Let g be (-17)/(2/k*2). Suppose 5*j + 61 = g. Is j a prime number?
True
Let w(l) = -10*l**2 - l - 4. Let q be w(3). Let r = -32 - q. Let y = r - 30. Is y composite?
True
Suppose -n + 68 = -11. Is n composite?
False
Let u(x) = x + 11. Let f be u(-10). Let a be (4 - (-2)/f)*2. Let c = a + -2. Is c a prime number?
False
Let q(f) = -f**3 - 6*f**2 + 5*f - 2. Let u be q(4). Let x = 261 + u. Is x prime?
False
Let b be 564 - (-4)/(-8)*4. Suppose 6*t - 656 - b = 0. Is t a composite number?
True
Let i(v) = -v**2 + v - 1. Let b(n) = -7*n**2 - 4*n - 9. Let q(r) = -b(r) + 4*i(r). Suppose -2*j - 4*t = 8, 3*t = -3*j + 5 - 20. Is q(j) a composite number?
True
Let t(n) = 10*n + 1. Let m be t(-5). Let s = m - -78. Suppose 0 = 3*v - 82 - s. Is v composite?
False
Suppose 0*v + 2084 = 4*v. Is v a prime number?
True
Suppose -7*r = -2*r - 20. Is r a prime number?
False
Suppose -21*j = -23*j + 1114. Is j a composite number?
False
Let n(f) = f**2 - 3*f + 2. Let o be n(2). Suppose 4*k + 13 = -z - o*k, -21 = -3*z + 3*k. Suppose -h + 4*h = 4*u - 314, 6 = -z*h. Is u prime?
False
Let i(j) = 2*j**2 - 2*j - 1. Is i(-6) a composite number?
False
Let j(b) = -2*b**2 + 3. Let f be 4/10 + 54/(-10). Let t be j(f). Let l = -16 - t. Is l a composite number?
False
Is (-4)/6 - (-6262)/6 prime?
False
Suppose 0 = k + 14 - 4. Is 15*(1 - k) - 2 a composite number?
False
Let h(w) = -61*w - 2. Let x be h(8). Let c = -113 - x. Is c prime?
False
Let k(i) = -246*i - 1. Let s(q) = -739*q - 2. Let f(p) = 7*k(p) - 2*s(p). Is f(-2) a composite number?
True
Let f be ((-5)/(-3))/(3/9). Suppose 3*x - f*g = 466, 0*g - 630 = -4*x - 2*g. Is x a prime number?
True
Is ((-97)/3)/((-12)/(-18))*-6 a prime number?
False
Let c(b) = b**3 - 7*b**2 + 7*b + 4. Let s be c(6). Let j = 2 - 0. Suppose -s = -j*l + 2. Is l prime?
False
Suppose 4 = 2*q, w + 29 - 7 = 5*q. Is w/(-4) + 140 + 2 a prime number?
False
Suppose 6*z = 4*z + 38. Is z composite?
False
Suppose -12538 = -9*t - 1351. Is t prime?
False
Suppose 2*x 