False
Suppose 5*r - 189 = -2*z, r - 5*z = -11 + 38. Is r a prime number?
True
Let h = -6 + 11. Suppose -4*j + h*j + 5 = 0. Let r(p) = p**2 + 2*p - 2. Is r(j) prime?
True
Let m(c) = -2*c**2 - 2*c**2 - 3*c**2 - 1 + 5*c + c**3. Is m(7) a prime number?
False
Let v = 4 - 2. Suppose -5*z + 5*p = -6 + 1, -v*z + p = -4. Is z*((-21)/9 - -3) a prime number?
True
Let d(t) = -5 - 5*t - t + 3*t**2 + 3*t**2. Is d(5) a prime number?
False
Let c(w) = 3*w**2 + 16*w + 2. Is c(-15) a composite number?
True
Let l = 1059 + -756. Is l prime?
False
Let y(i) = 6*i**2 + 4*i + 1. Let z(g) = g**2. Let q(n) = 11*n**2 + 12*n + 3. Let d(c) = q(c) + 6*z(c). Let b(a) = 4*d(a) - 11*y(a). Is b(3) a composite number?
False
Suppose 4*w + 0*w = 308. Is w a prime number?
False
Let u(t) = -100*t - 3. Is u(-1) prime?
True
Let d = 9 + -6. Suppose 668 = d*a + a. Is a a prime number?
True
Suppose 0 = -5*l - 2*y + 15 + 5, -5*y + 21 = -2*l. Suppose -2*x - 2*a = -40, -l*x + 7*x + 2*a = 97. Is x a prime number?
True
Let o be 5/((-15)/(-6)) - -90. Suppose 2*b = 4*b - o. Is b a prime number?
False
Let p = -48 + 299. Suppose 4*w = 113 + p. Is w prime?
False
Let g = 650 + -17. Is g prime?
False
Suppose 0 = -15*j + 21*j - 66. Is j prime?
True
Let d = 14 - 15. Is (-4 - d)*394/(-3) composite?
True
Let s(r) = 9*r**2 + 2*r - 4. Is s(-5) prime?
True
Let x = -4 + 6. Suppose s = -5*o + 16 + 26, -x = -2*o. Suppose s = -l + 2*l. Is l composite?
False
Let f = -1036 + 2187. Is f a prime number?
True
Let t(n) = 11*n**2 + n - 11. Is t(-6) prime?
True
Is 1363 + -1*(-1 - -3) composite?
False
Let l be 12/(-2)*110/3. Suppose -3*h + 5*u - 118 = 172, -h - 100 = -u. Let g = h - l. Is g a composite number?
True
Suppose -q - 4*t - 10 = 0, 11 = -2*q - 4*t - 9. Let i = -5 - q. Suppose i*f = -0*f + 425. Is f prime?
False
Suppose 4*x = 573 - 1. Is x composite?
True
Let b(t) = 2*t**2 + 3*t**2 + 7 - 2*t**3 - 10*t**2 + 3*t. Let h be b(-5). Let r = h + -20. Is r a prime number?
True
Let h(l) = -l**2 + 12*l - 7. Is h(8) a composite number?
True
Suppose 2*b - f = b + 6, 0 = -f - 2. Suppose -h = b*n - 31, 2*h = -n + h + 10. Is n prime?
True
Let w = 1 - -5. Let y be ((-9)/w)/((-6)/16). Suppose -y*t = -685 - 351. Is t a prime number?
False
Suppose 17 - 68 = -f. Is f composite?
True
Suppose 71954 = 14*h + 26440. Is h composite?
False
Let w(h) = -4*h**3 - 6*h**2 - 6*h + 1. Let g be w(-5). Suppose 5*x - 139 = g. Suppose x = 4*y - 660. Is y prime?
True
Let g(x) be the first derivative of 53*x**4/4 + x**2/2 - x - 3. Is g(1) prime?
True
Let o be 9*31 + 3/1. Is 5*3*o/45 a prime number?
False
Suppose 5*l - 142 = -r - 25, -3*r - 2*l = -377. Is r a composite number?
False
Let h = 7 - 9. Let f be 0 - h - 1 - -1. Suppose 3*w + 56 = f*c + 3*c, -5*c = 3*w - 44. Is c a composite number?
True
Let u = -157 - -564. Is u a prime number?
False
Let w = -3 + 77. Is w a composite number?
True
Let b(p) be the second derivative of p**5/15 + p**4/24 + 2*p**3/3 - p**2/2 - 2*p. Let g(j) be the first derivative of b(j). Is g(-3) a composite number?
False
Suppose -584 = h - 5*h + 5*u, 0 = -3*h + 4*u + 437. Suppose 2*n - h = 435. Is n composite?
False
Let s(q) = q**2 + 5*q + 4. Suppose -4*l - 6 - 18 = 0. Let n be s(l). Suppose 233 = h + n. Is h a prime number?
True
Let y(d) = -2*d + d**2 - 4 + 0 + 1. Let p be y(-2). Suppose 5*u - p*l - 109 = 2*u, 3*u - 2*l = 103. Is u a prime number?
False
Suppose 2*r = -1492 + 3794. Is r prime?
True
Suppose -2*h - 24 = -0*h + 2*s, 5*s = -2*h - 39. Let n(m) = -m**3 - 4*m**2 - 9*m - 7. Is n(h) prime?
False
Suppose -3 = v - 5. Suppose g + 4 = s, 5*g + 20 = -v*s + 4*s. Suppose 3*r + s*r - 36 = -3*l, 4 = -2*l. Is r a composite number?
True
Suppose 6*w + w = 0. Is w + (-393)/(12/(-4)) a composite number?
False
Suppose 3*i - 2*m - 793 - 198 = 0, 0 = 5*i + m - 1656. Is i a composite number?
False
Suppose -5*i + 23 = -82. Is i a prime number?
False
Suppose o - 3 = 2. Let d(k) = -k**3 + 7*k**2 - 4*k + 3. Is d(o) a prime number?
False
Let y(h) = -2*h**3 - 3*h**2 - 2*h + 2. Is y(-3) prime?
False
Let h = 178 + 151. Is h composite?
True
Let t = 8 + -6. Suppose q = -t*y + 2*q + 120, -q = -5*y + 300. Suppose -4*g + 2 = -4*z - 34, 0 = -4*g - 2*z + y. Is g a prime number?
True
Is ((-3377)/55)/(2/(-10)) prime?
True
Is 1 + 12/(-15) + (-2064)/(-5) a prime number?
False
Suppose -x + 6*x - 1255 = 0. Is x composite?
False
Let a(w) = w**2 - 5*w + 7. Let v be a(7). Suppose c - 4 = 3*d - 16, 5*d = 2*c + v. Suppose 4*j - 64 = 3*t, -j = -0*j + d*t - 1. Is j composite?
False
Let n(c) = -35*c**3 + 5*c. Let s be n(4). Is s/(-21) - (-2)/7 a composite number?
True
Let k(b) = 73*b**2 + b - 1. Let o be k(1). Suppose 0 = l - o - 5. Let x = l - 44. Is x prime?
False
Let k = 165 + 111. Let w = -153 + k. Let h = w - -32. Is h a composite number?
True
Suppose 3*g + 3*h - 15 = 2*g, -20 = -2*g - 4*h. Suppose -2*x + 2223 = -g*n + 5*n, -4*n - 1079 = -x. Is x a composite number?
True
Suppose -2*p = -3*n - 25, -p - 2*p + 4*n = -35. Suppose -p*k + 29 = -a - a, -k = a - 3. Suppose k*h - 57 - 128 = 0. Is h a prime number?
True
Let q = -419 - -972. Is q composite?
True
Suppose 1 = t - 3. Suppose 2*f + 21 = -4*v + 1, 3*v + t = 4*f. Is f/8*-83*4 a composite number?
False
Let u(y) be the second derivative of 3*y + 5/6*y**3 + 0 - 5/2*y**2. Is u(8) composite?
True
Suppose t + g = 8, 0 = -2*t + 5*g - g - 8. Is (-1)/t - (-1043)/28 a composite number?
False
Let s(j) = -2*j - 4 - 5*j**2 + 6*j**2 + 0. Is s(-7) a composite number?
False
Let c = 314 - 77. Is c a composite number?
True
Let a = -13 + 13. Suppose -2*s + a*s + 818 = 0. Is s composite?
False
Let a be 6/(-1)*(-2)/6. Suppose 0*y = a*y - 316. Suppose 4*t - 2*t = 5*d - 393, 2*d - t = y. Is d composite?
True
Let p = 358 + 121. Is p prime?
True
Let r be (-14)/(-42) + (-22)/(-6). Let q = 61 - 43. Is r/(-18) - (-2938)/q a prime number?
True
Let d(x) be the third derivative of x**8/6720 - x**7/1260 + x**6/360 - x**5/30 - x**4/8 + x**2. Let h(q) be the second derivative of d(q). Is h(3) composite?
False
Suppose 3*i + 32 = i. Let n = 63 - i. Is n prime?
True
Let r = 1159 + 190. Is r a prime number?
False
Let c(b) = -2*b**2 + b + 69. Is c(0) a prime number?
False
Let w(b) = 60*b + 7. Let u be w(-10). Let l = -390 - u. Is l a prime number?
False
Let k(w) = 2*w**3 - 4*w**2 + 2*w - 2. Let i(m) = m**3 + 8*m**2 + 5*m - 10. Let h be i(-7). Let z be k(h). Let q = z - 33. Is q a composite number?
False
Is (0 + (-44)/(-12) - 4)*-21 a prime number?
True
Let q(v) = v**2 + 9*v - 5. Let p be q(-10). Suppose 2*s = j - 1, -p*j + 2*j - 5*s + 14 = 0. Suppose 4*z - j*m - 226 = 0, 6 = -2*m + 2. Is z prime?
False
Suppose 3*t + 90 = 2*m - t, -2*m + 93 = -5*t. Is m composite?
True
Let d = 1595 + -706. Is d prime?
False
Let n(k) be the third derivative of k**6/120 + 2*k**5/15 - k**4/8 - 7*k**3/6 + k**2. Is n(-5) composite?
False
Let c(o) = o**2 - 3*o - 5. Let k(g) = -g**3 - 9*g**2 - 10*g - 10. Suppose -5*l = -l + 32. Let h be k(l). Is c(h) composite?
False
Let r(z) = -2*z - 8. Let b(q) = q**2 + 3*q + 7. Let d(m) = 2*b(m) + 3*r(m). Let w be d(-9). Suppose 5*o = 5, o + 3*o - w = -4*j. Is j prime?
True
Let a be 358 - (3 + -2 + 0). Let x = a - 224. Is x a prime number?
False
Let u be ((-12)/(-15))/((-4)/(-10)). Suppose 0 = 3*j - u*j - 34. Is j a composite number?
True
Suppose -4*b = 5*m - 55, -2*b - 3*m = -2*m - 23. Is b prime?
False
Suppose 5*l - 255 = -10*m + 5*m, m = 2*l - 87. Suppose l = 4*w + 6. Is w prime?
False
Let s be (-29 - -3)/(-1) - 4. Suppose -m + 4*k = -77 - s, 3*m = k + 341. Is m composite?
True
Let a(v) be the first derivative of v**3 - v + 1. Let o be a(1). Suppose 4*k + 149 = 3*j, -6*k + o*k - 196 = -4*j. Is j prime?
True
Suppose -p - 2 = -3*c, 3*p + 1 - 11 = c. Suppose -p*s - 124 = -8*s. Is s composite?
False
Is 2/(-5) + 23028/20 a prime number?
True
Suppose -3*z = -4*m - 795, -z + 265 = -3*m + 2*m. Is z prime?
False
Let f = -2 - -6. Suppose x = -f*b - 0*b + 91, -5*x - 2*b = -401. Is x a prime number?
True
Suppose h + 1468 = 5*l, -l + 2*h + 138 = -161. Is l a prime number?
True
Suppose 0 = g - 2*w - 1781, 0*g - 2*g + 2*w + 3558 = 0. Is g composite?
False
Let r(x) = -x**3 + 0 + 2*x**3 + 1. Let y be r(-1). Suppose 5*z - 369 = -4*o, y*o - o + 87 = -4*z. Is o a prime number?
False
Let k = -177 - -90. Let j = k - -298. Is j composite?
False
Let