10. Is h composite?
True
Let t(o) = -10*o + 6. Suppose -12 = -5*q - 52. Let c be t(q). Suppose -g - c = -2*f - 5*g, 2*g = -3*f + 137. Is f composite?
False
Suppose -4*s + 803 = -3*s. Is s composite?
True
Suppose -3*u + 2*z = -0*u - 5032, -1674 = -u + 4*z. Is u composite?
True
Suppose 0 = t - 3*i + 28 + 21, t + i = -41. Let p = t - -76. Is p a composite number?
True
Suppose -10 = -2*g - 0. Suppose q - 2*q = 2*x + 29, -q - 71 = g*x. Let u = -1 - x. Is u a composite number?
False
Let k = 322 + 409. Is k prime?
False
Suppose 0*h = -3*h + 51. Let c = h + 2. Is c a composite number?
False
Suppose -24 = -o - 9. Is o prime?
False
Suppose -3*d - 1 = -5*z, 0*d + 2*z - 7 = -d. Suppose 5*p + 0*b = -3*b + 252, d*p + 4*b - 149 = 0. Is p prime?
False
Let f(s) = 2*s**3 + 4*s**2 + 3. Is f(3) composite?
True
Let w(b) = -7*b - 2. Let t be w(-3). Suppose -4*q = -20 - 320. Suppose t = -2*p + q. Is p a composite number?
True
Suppose 0 = -4*q + 20, 5*z - q - 3 - 57 = 0. Let f(h) = 2*h**2 - 7*h + 4. Is f(z) a prime number?
True
Let p = 1469 + -672. Is p a prime number?
True
Let t be ((3 - 2) + -3)*-36. Let s = -37 + t. Is s a prime number?
False
Let t = 7 - 4. Suppose 50 = 3*z - 5*l + 9, -t*z + 76 = 2*l. Is z composite?
True
Let y(d) = -223*d**3 + d**2 + 2*d + 1. Is y(-1) composite?
False
Suppose -3*q = q. Suppose 2*z - 5 + 1 = q. Suppose -149 + 365 = 4*f + 2*c, 2*c + 102 = z*f. Is f composite?
False
Let m(h) = -41*h + 30. Is m(-11) a prime number?
False
Suppose 0*y = -4*y - 312. Let n = y + 155. Is n a composite number?
True
Suppose 0 = -3*t - l + 248, -3*t + 6*t = l + 250. Is t prime?
True
Let y(z) = -8*z + 2. Let v be y(-7). Suppose -25 = -j + 2*g + v, -g = 3. Is j a composite number?
True
Let a be 1/(-2) + 10/4. Let f(l) = l**3 + 7*l**2 - l - 2. Let y be f(-7). Suppose -y*z - 4*o + 181 = 0, o + 7 = -a*z + 80. Is z a composite number?
False
Let y(g) = -6*g + 1. Suppose -5*k + 23 = -f, -41 = 4*f - 0*f - 3*k. Is y(f) prime?
False
Let o be 0/1 + -1 - -21. Let s = 51 - o. Is s prime?
True
Suppose 9 = 2*x + 3. Suppose -2*d - 428 = -2*o, x*d = -o + d + 205. Is o a prime number?
True
Let c(l) be the first derivative of l**4/4 - l**2 - l + 1. Let r be c(-1). Suppose r = -4*h + 34 + 18. Is h a prime number?
True
Is ((-901)/(-4))/((-6)/(-24)) composite?
True
Suppose -3*r = -1605 - 138. Let l = r - 202. Is l composite?
False
Let t be (-1)/(22/(-10) + 2). Suppose y + t*v = -y - 18, 4*v = y + 9. Let s = y + 34. Is s composite?
True
Let w = -1 - -3. Suppose -5*y = 4*m - 263, -3 = -m - w*y + 62. Is m a prime number?
True
Let o(q) = -69*q + 6. Let d(s) = 68*s - 5. Let l(p) = -7*d(p) - 6*o(p). Is l(-3) a composite number?
True
Is 14 + 436 - (-3 + -1 + 3) composite?
True
Let n(o) = -14*o**3 + 5*o**2 - 3*o - 5. Is n(-4) a composite number?
False
Let v = 2 - 3. Let j be (-3)/9 - (-1)/3. Is 3 + v - (j - 9) a prime number?
True
Let m(o) = -3*o + 1. Suppose 4*y = -0*y + 3*t - 14, -2 = 4*y + 3*t. Let k be m(y). Suppose -h = -2 - k. Is h a composite number?
True
Let z(q) = -q**3 + 6*q**2 - 8. Let a be z(7). Let t = a - -95. Is t a prime number?
False
Suppose -v = -3*v - 8. Let i(q) be the second derivative of -q**3/2 - 3*q**2/2 + 2*q. Is i(v) a prime number?
False
Let c(h) = 148*h + 6. Let a be c(-4). Is (-3 - 1)/8*a composite?
False
Let y = 14 - 10. Suppose y*x - 5*x = -65. Is x a prime number?
False
Let i(t) = -31*t**2 + 9*t - 4. Let a(l) = 8*l**2 - 2*l + 1. Let j(h) = 9*a(h) + 2*i(h). Is j(3) prime?
False
Suppose -35 = -4*x + 9. Let a(h) = -h**3 + 6*h**2 + 2*h - 8. Let n be a(6). Is (x/n)/(1/8) a composite number?
True
Let c be (-2 + 1 + 0)*0. Suppose -y + 2*y = c. Suppose y = m + b - 18, b = m - 8 - 2. Is m a prime number?
False
Suppose -4*r + 999 = 379. Is r a composite number?
True
Let r(d) = 4*d**2 - 19*d + 11. Let j(m) = -2*m**2 + 9*m - 5. Let y(g) = -13*j(g) - 6*r(g). Is y(4) prime?
True
Let m be -1 - (2 + 77 + -2). Let l = 11 - m. Suppose 2*i + 3*c - 176 = 0, -i = -0*i + c - l. Is i a prime number?
False
Let m(k) = 2*k**2 + 5*k + 1. Let w be (-243)/(-36) + 1/4. Is m(w) a prime number?
False
Let t(q) = 4*q + 1 + 6*q**3 - 2*q**3 - 3*q**2 - 3*q**3 - 2. Suppose 0*a - 2*a + 8 = 0. Is t(a) composite?
False
Suppose -j + 0*g = -4*g - 347, j + 4*g = 347. Is j a prime number?
True
Suppose 3*v + 5*r = -v - 858, 0 = v + 5*r + 207. Is (v/2)/((-11)/22) a composite number?
True
Suppose -4*j = o - 0*o - 45, -4*j + 4*o = -60. Let s = j + 11. Is s a composite number?
False
Let a = 6 - 4. Let x = -7 - -11. Suppose 3*t + 381 = 2*u, -31 = -a*u + x*t + 355. Is u composite?
True
Let r(o) = 31*o**3 + o**2 - o + 1. Let q be r(1). Suppose w + w = -q. Let g = 47 + w. Is g prime?
True
Suppose -7*i = -4*i - 165. Is i composite?
True
Is (-2)/(91/(-89) - -1) a prime number?
True
Let w(n) be the first derivative of n**4/4 - n**3/3 - 3*n**2 + n - 6. Let q(p) = p**3 + p + 4. Let i be q(0). Is w(i) prime?
False
Let c(d) = -56*d + 2. Let l be c(5). Let h be ((-1)/2)/((-1)/l). Let n = -62 - h. Is n prime?
False
Let b be (114/9)/(2/(-114)). Let s = b + 1509. Is s a composite number?
False
Suppose -3*k - 2*k + 41 = -4*i, i - 11 = -3*k. Let m(n) = -3*n**2 - 7*n - 2. Let f(s) = -6*s**2 - 15*s - 3. Let r(l) = 3*f(l) - 7*m(l). Is r(i) a prime number?
True
Let j = 453 + -228. Let s(d) = d**2 + 2. Let t be s(0). Let x = j - t. Is x a prime number?
True
Suppose l - 4*v = -l + 10, -l - 4*v = 1. Suppose 0 = l*q - 8*q + 255. Is q composite?
True
Suppose 3*x + 465 = -3573. Let g = 2527 + x. Is g a prime number?
True
Let t be ((-6)/8)/(7/(-28)). Suppose -t*i = 4*d - 725, -i - 9 = -4*i. Is d prime?
True
Suppose 0 = -4*n - 111 + 1291. Suppose -i + n = 4*t + t, -2*t + 3*i + 118 = 0. Is t a composite number?
False
Suppose 0 = 5*r - 10, 2*d - 3*r - 2 = 4. Let h be 4*2/d*3. Let i(j) = -j**3 + 5*j**2 - j - 2. Is i(h) composite?
True
Let p = -65 - -538. Is p a composite number?
True
Let t = -16 - -29. Let g = -8 + t. Suppose g*s = 201 - 26. Is s composite?
True
Let q = -6 + 11. Suppose -5*n + 2*w + 37 = -18, -q*w + 51 = 2*n. Is n composite?
False
Suppose 8*o = 3*o + 3*g + 1645, -3*o + g = -987. Is o a composite number?
True
Let z = -23 - -21. Is (z/4)/((-6)/6612) a composite number?
True
Let n be (-1)/(2/(-4)) - 3. Let m be -2 + n/((-3)/(-12)). Is 4/(-12) - 62/m prime?
False
Suppose o = -3, -2*b - o - o = -472. Is b composite?
False
Let q(h) be the third derivative of -11*h**4/4 + 2*h**3/3 - 2*h**2. Is q(-3) a composite number?
True
Suppose -3 + 2 = a. Let j(h) = -68*h + 1. Is j(a) prime?
False
Let s(j) = j + 5. Let a(o) = o**3 + 6*o**2. Let r be a(-6). Let c be s(r). Suppose i - 2*l = 47, -4*i + 54 + 69 = c*l. Is i composite?
False
Suppose -4*b + 10 - 2 = 0. Suppose -b*g + 187 = -97. Is g composite?
True
Suppose 2*j - 5 = -c, 0 = j + 3*c - 7*c + 2. Suppose -j*v - 3*l = 2*v, 5*v = -l. Is (154 - 8) + v + -3 prime?
False
Let o(u) = u**3 - 2*u**2 - 8*u - 4. Is o(7) prime?
False
Let t be ((-100)/8)/(-5)*2. Suppose -t*o = -d - 572, -2*o + 0*o + 221 = -3*d. Is o a composite number?
True
Suppose 27*l - 29*l = -14266. Is l a prime number?
False
Let t be 1 + (3 - 2) + 78. Let q = -31 - t. Let h = -58 - q. Is h a prime number?
True
Let c = -100 + 269. Is c composite?
True
Suppose 3*w - 2*x = -5, 2*w + 3*x + 2 = -3*w. Let c(d) = 37*d**2 + 1. Is c(w) prime?
False
Let y(d) = 93*d**2 - 2*d + 2. Let c be ((2 - -2) + -3)*1. Is y(c) a composite number?
True
Suppose -3*u + 343 + 38 = 0. Is u prime?
True
Suppose 3*x - 3 = 0, -3*x + 103 = 4*d - 96. Suppose -3*n = -4*m + 477, -2*m + 3*n = 4*n - 231. Suppose 2*p = d + m. Is p prime?
True
Suppose 10*a = 19*a - 18909. Is a composite?
True
Let u(i) = 871*i**2 - 4*i - 8. Is u(3) prime?
False
Suppose 0 = z + 3*p - 32, 2*p = z - 27 - 30. Suppose 0 = -2*f + 4*f - 212. Let w = f - z. Is w a composite number?
False
Suppose -248 = 3*y - y. Let q = y + 56. Is -4 + 3 - 1*q a prime number?
True
Suppose -1017 + 225 = -3*w. Suppose -3*a + w = 3*k, -3*a + 8*a + 307 = 4*k. Is k composite?
False
Let d(u) = -u**2 - 9*u - 10. Let t be d(-6). Let s(p) = 14*p + 9. Is s(t) a composite number?
True
Let c = -4 + 6. Suppose 0 = -i + c + 1. Suppose -51 = -y + i*s, -y - 3*s = -0*s - 63. Is y composite?
True
Let d(m) = m + 9. Let b be d(-5). Suppose 3*c + b*f + 3 = 0, 3*c + 11 = -2*f + 2. Let p(w) = 2*w**2 + 7*w. Is p(c) composite?