 6 = 5*f, -5*h - t*f = -387. Is h prime?
True
Suppose 17 = 5*s + 4*m, 0 = -4*s - m + 5*m - 8. Let g(p) = 32*p - 1. Is g(s) composite?
False
Let p(i) = -2*i**3 + 9*i**2 - i - 2. Let a = -1 - 4. Let g(y) = -3*y**3 + 17*y**2 - 2*y - 4. Let b(m) = a*p(m) + 3*g(m). Is b(-6) prime?
False
Let o(p) = 105*p - 11. Is o(12) a prime number?
True
Suppose -2*s + 3*s = -22. Let h(r) = -35*r - 5. Let m be h(4). Is m/(-11) + 4/s a composite number?
False
Let i(h) = 18*h**2 + 3*h - 1. Let k(j) = j**2 + 5*j - 4. Let s be k(-6). Is i(s) prime?
False
Suppose -4*s - 491 = 2*a - 1273, 5*a - 1910 = -s. Is a composite?
True
Let p(l) = -l**3 - 11*l**2 - 11*l + 14. Let o be p(-10). Let m = 101 - o. Is m a prime number?
False
Suppose -6*d + 2505 = -d. Suppose d = 3*y + 147. Is y composite?
True
Is (-308)/10*(-10)/4 a prime number?
False
Let u(t) = t**2 - 9*t + 12. Let c be u(8). Suppose -4*p + c*k + 22 = -p, 0 = -4*k - 16. Suppose -30 = -2*q - p. Is q a prime number?
False
Is 2/(-4 + -2)*-2307 composite?
False
Let l(m) = m**3 - 5*m**2 - m + 5. Let v be l(5). Suppose -j + 35 = -g, v*g - 105 = -3*j + g. Is j a prime number?
False
Suppose 1858 = -0*y + 2*y. Is y prime?
True
Let p(c) = c + 7. Let d be p(-5). Suppose -4*s - 4*x = -2*x - 154, -d*x + 2 = 0. Is s prime?
False
Let z = 24 + 1. Suppose 3*y - 2*y = z. Suppose 2*x = 17 + y. Is x a prime number?
False
Suppose o = -l - 7, -4*o + l + 12 = -3*l. Let w be o + (-5 - -2)/(-3). Is (-1)/(w/117) - -2 composite?
True
Suppose -2 = 2*a, -5*m = 5*a - 439 - 16. Is m/(-10)*15/(-3) a composite number?
True
Let f = -11 + 13. Is ((-79)/f)/((-1)/2) a prime number?
True
Let h(r) = -65*r - 1. Let n be h(-1). Let g = n + -29. Is g a composite number?
True
Let z(q) = -5*q**3 - q**2 - 5*q - 5. Is z(-4) composite?
True
Suppose -6 - 10 = -4*a. Suppose 0*k - 20 = -5*k - a*r, 2*k - 2*r + 10 = 0. Let j = 37 + k. Is j prime?
True
Let j = -6 - -9. Suppose 2*m - m = j*p + 145, 0 = -2*p. Is m a prime number?
False
Suppose 4 = 5*w - 11. Suppose -5 = -l - w. Suppose l*o = -5*r + 64, 2*r + 109 = 3*o + 3*r. Is o composite?
False
Let k = 15 - 7. Suppose 3*v + 8 = -2*n, -v - k = -0*v + 2*n. Suppose x - 4*m - 23 = v, -x - 2*m + m + 38 = 0. Is x prime?
False
Let k = -40 - -129. Is k composite?
False
Suppose -4*m - 31 = -3. Let f(s) = 4*s**2 + 8*s - 9. Is f(m) a prime number?
True
Let g(f) = 2*f - f + 2*f - 4. Let u be g(5). Let x = 86 + u. Is x a composite number?
False
Let s = -13 - -14. Suppose -s = -l + 6. Is l a composite number?
False
Suppose 2*g - 8 = 0, 5*n + 31 = -5*g + 76. Suppose 4*r = 4*c + 320, 0*r - r = -n*c - 92. Is r prime?
False
Let l(m) = m**2 - 2*m - 3. Let w be l(-2). Let c = 198 + -125. Suppose -c = w*s - 348. Is s a composite number?
True
Let z = -1131 + 3608. Is z a composite number?
False
Suppose -4*r + 4*m = -9*r + 99, -2*r + 3*m + 35 = 0. Is r a prime number?
True
Is (1932/18)/((-2)/(-3)) prime?
False
Suppose -4*i - j = -0*j - 170, -j - 45 = -i. Is i prime?
True
Let q be (21/7)/((-2)/1332). Is q/(-14) + (-6)/(-21) composite?
True
Suppose 5*d + 26 = 1. Let v = -3 - d. Suppose v*f = 2*z - 22 - 2, 0 = 5*z - f - 64. Is z prime?
True
Is (2 + 0)*1394/4 a composite number?
True
Suppose p = -4*p + 530. Suppose 0 = -5*t + f + p, 5*t + 2*f + 15 = 118. Is t a composite number?
True
Let v = -13 + 15. Suppose 5*t = -3*m + 593, -t - 124 = -v*m + 254. Is m a prime number?
True
Let k = 26 - 44. Let l = k + 24. Is l composite?
True
Let h(k) = -k**3 - 6*k**2 - 5*k + 3. Let w be h(-5). Suppose -37 = -w*r + 161. Let i = 179 - r. Is i prime?
True
Let b = -6 - -6. Suppose 4*d = 12, b*o - 3*o = -3*d - 3. Is o composite?
True
Let t(h) = -3*h**3 - 6*h**2 - 3*h - 1. Is t(-6) composite?
False
Let s be (2 + -4 + 3)*-1. Let u be 1*-1 + (4 - s). Suppose i + 4 = 0, -u*n + 2*i - 62 = -210. Is n prime?
False
Let m(b) = b**3 + 5*b - 25. Is m(11) composite?
False
Let q = 5 - 2. Let m(d) = -3 + 3*d**2 - 3*d - 1 + 0*d. Is m(q) a composite number?
True
Let d = 108 - 41. Is d a composite number?
False
Suppose 0 = -2*z - 0*k + k + 15, 4*k = 3*z - 20. Let b = z - -71. Is b a composite number?
False
Suppose 1202 = 8*m - 2814. Is m prime?
False
Suppose 2 = l - 0*l. Let u be (-2 + l)/(3 + -2). Suppose u = -0*c - 3*c + 9. Is c a composite number?
False
Let w(u) = -u**3 + u**2 - u + 1. Let s(i) = -65*i**3 - 2*i**2 + i - 1. Let z(b) = -s(b) - w(b). Is z(1) composite?
False
Suppose 2*d = 7*d - 3*c - 6, 2*d - 9 = -c. Suppose -3*q - 4*a = 17, -4*q + d*q = 2*a + 5. Is 44/3 + q/(-21) composite?
True
Is 4578/36 - (-1)/(-6) a composite number?
False
Let m(s) = 13*s**3 - 8*s**2 + 15*s - 1. Is m(6) a prime number?
True
Suppose 0 = -3*x - 3*y + 5913, -2*x = -7*x + 5*y + 9835. Is x a prime number?
False
Let a = 67 + -54. Is a a composite number?
False
Suppose -2327 = -4*c + 3*t, -2*c + 2*t + 2907 = 3*c. Is c a prime number?
False
Suppose 0 = -5*o + 1393 + 4162. Is o prime?
False
Suppose -14 - 1 = -5*r. Suppose h - 3 = -4*j, -4*h + 9 = -h - r*j. Suppose h*k + 3*p = 579, 3*k = k - 4*p + 390. Is k a composite number?
False
Suppose -5*m = -5*s - 10, -2*m - s + 1 = 3. Suppose m = 3*r + f - 633, -2*f - 2*f + 211 = r. Is r a composite number?
False
Let s be 69/9 + 4/(-6). Let h(y) = y - 4. Let o be h(s). Suppose -2*b + 3*b + 148 = 4*c, 0 = 5*c + o*b - 185. Is c composite?
False
Let i(f) = 188*f**2 + 4*f + 112*f**2 - 6*f + f. Is i(-1) a prime number?
False
Is 6/(-33) - (-9675)/33 a composite number?
False
Suppose 0 = 3*g - f - 1658, 5*g - 2758 = 2*f + f. Is g composite?
True
Let c(k) = -21*k - 34. Is c(-17) a prime number?
False
Suppose 8*r - 3*r - 230 = 0. Suppose 3*g = 2*g + r. Is g prime?
False
Let n(k) = -3*k + 3. Let z(q) = 8*q - 9. Let y(v) = -11*n(v) - 4*z(v). Let c be y(-3). Suppose h - 4*l + l = c, -l + 35 = 2*h. Is h prime?
False
Is -44*-1*22/8 prime?
False
Let x(s) be the second derivative of 1/2*s**3 + 0 + 3*s - 3/2*s**2. Is x(3) a composite number?
True
Let d(u) = -u**2 + 4*u - 2. Let v be d(3). Is 8 + -3 + (v - -1) a composite number?
False
Is 48/12 - 1789*-1 a composite number?
True
Let t(r) = -r + 3. Let p be t(0). Suppose -p*x + 35 = 4*s - 38, 5*s = -4*x + 91. Is s a composite number?
False
Suppose 2*n + q = 0, 4*n + 4 - 24 = 3*q. Suppose 4 - n = 2*d. Is 79 - ((2 - d) + -1) a composite number?
False
Let v(h) = h**3 + 14*h**2 + 2*h + 1. Is v(-12) composite?
True
Suppose 3*t + 2*m + 2*m + 16 = 0, m = -2*t - 4. Suppose -699 = -t*p - 3*p. Is p composite?
False
Let c = -2 + 2. Suppose -s = -c*s. Suppose 0 = 2*o - u - 55, s = 4*o - o - 5*u - 100. Is o prime?
False
Let t(b) = -b**3 - 2*b**2 - b + 1. Let a be t(-2). Let q be 6/12 - (-150)/4. Suppose a*z + 5*r - 15 = 37, -4*r + q = 2*z. Is z a composite number?
True
Let v = 101 + 338. Is v a prime number?
True
Let j be ((-27)/6)/((-2)/(-4)). Let k = j + 17. Let n(m) = -m**2 + 14*m - 11. Is n(k) composite?
False
Let c(z) = -142*z**3 + 3*z**2 + 4*z + 2. Let j be c(-2). Is j/8 + 1/4 a composite number?
True
Let c = 11 - 8. Let g(t) = 0*t + 0 - 3*t**2 + t + 7*t**2 - 4. Is g(c) a composite number?
True
Let b(h) = 7*h**2 - 3*h. Let m be b(2). Let q = -8 + m. Is q a prime number?
False
Let h = 0 - -2. Suppose 0 = -3*s, 2*k + h*s + 3 - 1 = 0. Is (k + 0)/(1/(-67)) a composite number?
False
Suppose 2*y + 3*v + 0*v = 598, -5*y = 3*v - 1477. Is y a composite number?
False
Let z be -1 + (-18)/(-4)*-6. Suppose 408 = 4*g + 5*c, 3*g + 4*c + 21 = 326. Let l = z + g. Is l prime?
True
Let s = 11 - 4. Let t = 7 - s. Suppose d - 2*f - 19 - 9 = 0, 3*d + 5*f - 139 = t. Is d prime?
False
Let y(x) = 6*x**2 + 5*x + 3. Let g(u) = -3*u**2 - 3*u - 2. Let q(h) = 5*g(h) + 3*y(h). Let o be q(1). Suppose f + o*f = 147. Is f composite?
True
Suppose -2*c + c + 5 = 0. Let i = 7 - c. Let z(d) = 41*d - 3. Is z(i) a composite number?
False
Let c(t) = -t**2 + 6*t + 2. Let z be c(4). Let l be (54/(-15))/(2/z). Let f = -8 - l. Is f composite?
True
Let z = -18 - -121. Is z composite?
False
Let s(z) = -8*z + 5. Let c be s(4). Let x = 18 - -22. Let a = x + c. Is a a prime number?
True
Suppose -4*y = b + 4 - 5, 3*y = -3*b + 3. Suppose -b = -v + 4. Suppose 0 = v*k - k - 148. Is k composite?
False
Suppose -15 = -g - 18. Is g + (-1 - -80 - -1) a composite number?
True
Let f = 4 + -4. Suppose 4*q + 0*q - 188 = f. Is q composite?
False
Let s = 1042 - 369. Is s prime?
True
Suppose 4 + 0