 Let q = 12 + -73. Let f = h + q. Is f composite?
True
Suppose 0 = j - 4*j + 15. Suppose -5*k + 10 = -j*w, 3*k + 4*w - 41 = -0*k. Suppose 3*h + 92 = k*h. Is h a composite number?
False
Suppose 5*p = 2*p + 555. Is p composite?
True
Suppose -5*l = -5*v - 2 + 27, -2*l = -3*v + 11. Is (-1)/((12/75)/l) composite?
True
Suppose -4*h - 944 = -4*i, -h + 196 + 273 = 2*i. Let x = i - 106. Is x a composite number?
True
Let z(m) = -10*m + 3*m - 2*m**3 + 8*m**2 + 3*m**3 - 9. Is z(-7) composite?
False
Suppose 2*r - 1466 = 1920. Is r a prime number?
True
Let c(m) = -11*m**3 - 2*m**2 - 1. Let h(y) be the second derivative of -y**3/6 - y**2 - y. Let p be h(0). Is c(p) composite?
False
Suppose -5*d - 5*r - 250 = 0, 0 = -5*d + 3*r - 2*r - 226. Let a = 81 - d. Is a prime?
True
Suppose 0*q + 283 = -2*i - q, 0 = i + q + 144. Let x(f) = -21*f**2 + 2*f - 1. Let s be x(-3). Let w = i - s. Is w a composite number?
True
Suppose 0 = -3*a - 0*a + 2094. Suppose 4*v + m - 64 = a, -3*m = 6. Is v a prime number?
True
Let b(x) = -x**2 - 12*x - 4. Let p(s) = -s - 1. Let l be p(6). Let f be b(l). Suppose 2*v + f = z, -2*v = 6 + 2. Is z prime?
True
Suppose 960 + 137 = 3*w - q, -5*q = -w + 375. Is w composite?
True
Is (-12)/(-2)*970/20 a prime number?
False
Suppose 0 + 3 = -j. Let x be 1*-6*2/j. Suppose -x*m + 6*m = 94. Is m a composite number?
False
Let n = -254 + 1368. Is n composite?
True
Let s(k) = -k**3 + 6*k**2 - 4*k - 1. Let g be s(5). Suppose -q + 45 = 5*j - j, 0 = g*q - 2*j - 144. Is q composite?
False
Let k(c) = 70*c + 2. Let j be k(5). Let y be (9/(-6))/((-12)/16). Suppose 0 = -r + 5*f + 97, y*r + 2*r = 2*f + j. Is r prime?
False
Let n(f) = 14*f**3 + f. Let i be n(1). Let v be i/(-10)*-2*1. Is 113/v + (-2)/3 a composite number?
False
Let f(m) = m**2 + 7*m + 9. Let o be f(-6). Suppose -2*l = -0*v - 2*v - 16, -4*v = -o*l + 28. Suppose l*b - 3*u - 12 = 3*b, 0 = 3*b + u - 46. Is b prime?
False
Let j = 467 - -972. Is j a prime number?
True
Suppose 3*s + 0*s = 12. Let z(i) = 3*i**3 - 5*i**2 - 2*i - 2. Let v(k) = 3*k**3 - 6*k**2 - 2*k - 2. Let p(c) = s*z(c) - 3*v(c). Is p(3) prime?
False
Let z = 64 - -603. Is z a prime number?
False
Let k(d) = d**3 + 8*d**2 - 5*d + 1. Is k(-4) composite?
True
Let h(c) = c**3 + 7*c**2 + 7*c + 9. Let x be h(-6). Suppose 4*j - 146 = -2*q, -240 = -3*q - 2*j + x*j. Is q composite?
False
Suppose 5*b - 775 = -2*l, 4*l = b + 2*b - 491. Suppose 2*s = s + b. Is s a composite number?
False
Suppose 2*p - 176 = -0*p. Suppose 0 = -3*x - p + 469. Is x a composite number?
False
Suppose -3*b = 4*x - 90 + 416, -3*b = 2*x + 160. Let r = x - -136. Is r a composite number?
False
Suppose -y - 2*y + 3 = 0. Let k be ((-2)/(-4))/(y/10). Suppose 0 = -4*z - z + 2*w + 5, 5*z + k*w = 40. Is z a prime number?
True
Let m be 0 - (-4)/(-2)*88. Let z = m - -307. Is z composite?
False
Let u = -1 - -6. Suppose 2*n = -0*h - u*h + 131, 3*n + 4*h - 186 = 0. Is n a composite number?
True
Let d = -78 + 152. Is d prime?
False
Let m(b) = -22*b**3 - 4*b**2 - b + 2. Let k be m(-2). Let v = 305 - k. Suppose -124 = -5*o + v. Is o a prime number?
True
Let r(s) be the third derivative of -13*s**4/12 - s**3/2 + s**2. Is r(-2) a prime number?
False
Let b(u) = -2 + 3 - 2*u - 3 + 17*u**2. Is b(-3) composite?
False
Let m = -312 - -503. Is m a composite number?
False
Suppose -4*l = -3*n + 7, -4*n + 2 = l - 20. Suppose 692 + 1373 = n*t. Is t a prime number?
False
Is 8/(-6) - 26345/(-33) prime?
True
Let l = 2 - -1. Suppose q - 8 = -l*q. Suppose 0 = 2*f + 3*u - 181, 4*u = q*f + u - 175. Is f a prime number?
True
Let z be 2/3*(-36)/(-8). Suppose -4*o + 213 + 175 = -3*r, 0 = z*o - 3*r - 294. Suppose u - 37 = o. Is u composite?
False
Let p(k) = -2*k**3 + 3*k**2 + 8*k - 2. Let g(l) = l**3 - l**2 - 4*l + 1. Let m(s) = 9*g(s) + 4*p(s). Is m(3) a composite number?
False
Suppose s = -2*s. Let t(x) = x**3 - x**2 + 485. Is t(s) a composite number?
True
Let p(a) = -11*a - 6. Let s(n) = 11*n + 5. Let j(o) = 4*p(o) + 5*s(o). Is j(14) prime?
False
Suppose -4*v = 3*u - 165, 0 = 3*v - u + 5*u - 115. Let c = v - 20. Is c a prime number?
False
Let x(z) = z**2 - 4*z - 2. Let k be x(6). Suppose -5 = -3*r + k. Let s(o) = 7*o + 2. Is s(r) prime?
True
Let t(c) = -25*c**3 - c**2 - c. Let f = 7 - 8. Is t(f) a composite number?
True
Suppose 2*u = -4*s - 58, 4 = -s - u - 11. Let b be (3 - 1)*(-66)/(-4). Let o = b + s. Is o a composite number?
False
Let h(s) = -2*s**3 + s**2. Let k be h(-1). Suppose -k*l = v - 283, -3*v - 5*l = -2*v - 275. Suppose -t - v = -6*t. Is t composite?
False
Suppose 5 = -h, -1537 = -4*o + 3*h + 506. Suppose -13*k - o = -16*k. Is k a prime number?
False
Let h = 109 + -63. Is h composite?
True
Let v = -1 - -1. Suppose -2*t + 4*b + 148 = v, -b = t - 1 - 67. Suppose 0 = 3*g + 4 - t. Is g prime?
False
Let d(i) = i**3 + i + 4. Let j be d(0). Let g be -2*1 + 28/j. Suppose -50 = -g*t + 20. Is t prime?
False
Let j = 2 - 5. Is ((-1)/(-1))/(j/(-33)) composite?
False
Let a(s) = 6*s**2 - s - 10. Is a(-5) composite?
True
Let v = 289 - 98. Is v a prime number?
True
Suppose -2*m = -t + 5, -4*m = 2*t - 6*t + 8. Is 29 + 2*m/(-3) a prime number?
True
Let n(y) be the second derivative of -19*y**3/6 - 7*y**2/2 + y. Suppose 9*o = -77 + 5. Is n(o) a composite number?
True
Suppose 0 = -v - 23 + 1066. Is v composite?
True
Suppose -4 = -2*r - 0. Let i(l) = 4*l**3 - l**2 + 2*l - 1. Is i(r) a prime number?
True
Let r(j) = -3 + 5*j - 7*j + 2. Suppose 5*t + 0 = -10. Is r(t) a prime number?
True
Let o be (6/(-10))/((-7)/70). Suppose -o*a + 8*a - 262 = 0. Is a prime?
True
Suppose -3*s + 3*i - 5*i + 535 = 0, s = i + 175. Suppose 0 = t - 4*t + s. Is t prime?
True
Let s = 8 + -8. Suppose s = -2*j - 2*j + 100. Suppose -52 = -c + j. Is c a composite number?
True
Suppose 0*b = -2*b - 4*p + 38, 3*b - 48 = -3*p. Suppose 3*r = -4*i + 7, -5*i + 5*r - b + 48 = 0. Suppose 151 = -i*t + 507. Is t a prime number?
True
Suppose 5*k + 3 = -2, 3*k + 38 = 5*z. Let t = -11 + z. Let r = t + 25. Is r a composite number?
True
Suppose 0 = -3*u - 2*u + 15. Is 15/10*38/u composite?
False
Let q be (-8)/6 - 2/3. Let i = q - -4. Suppose -i*v + 136 = 6. Is v prime?
False
Suppose t = -4 + 5. Is (158/(-4))/t*-2 prime?
True
Let v be (15/6)/5*10. Let d = v + -3. Suppose d*j - 18 - 60 = 0. Is j a composite number?
True
Let g(h) = -h**2 + h - 71. Let d be g(0). Let c be -1 - (1 + 1*d). Suppose 0 = -5*a - 2*o + c, 3*a - 25 - 12 = o. Is a composite?
False
Let v = -189 - -457. Suppose 0*p - v = -4*p. Let c = p - 32. Is c composite?
True
Let r(i) = -2*i**2 + 2*i + 1. Let y be r(-1). Let d(j) = -2*j - 3. Is d(y) composite?
False
Let w = -120 - -241. Is w a composite number?
True
Let a be 4/18 + (-470)/90. Let s(u) = -9*u - 2. Is s(a) composite?
False
Let t(k) = 4*k**2 - 7*k + 2. Is t(5) composite?
False
Let h = -16 - -6. Let w(k) = -38*k - 9. Is w(h) a composite number?
True
Let v(g) = 34*g**3 - g**2 + 1. Let o be v(2). Suppose 2*b = 2, -5*r + 0*r = 4*b - o. Is r composite?
False
Suppose 3*g = 2*g + 27. Suppose -h = 4*s - 59 + 4, -g = -2*s - h. Suppose 2*o = 3*m - s, -m + 0*o + 8 = -4*o. Is m prime?
False
Suppose 3*d - 21 = -4*f - 121, 0 = 4*d - f + 165. Let l = 70 + d. Suppose r + 3*r = -k + 34, -4*r - 3*k + l = 0. Is r composite?
True
Let j = -57 + 117. Suppose 0 = z - 4*t - 65, -z - 2*t + 35 = -j. Is z composite?
True
Let t = -13 - -18. Suppose 4*g - t*g = 0. Suppose 3*f + 5*v = -g*f + 50, -3*f + 4*v = -14. Is f prime?
False
Let w(p) = -9*p - 73*p - 18*p + 3*p. Is w(-1) a composite number?
False
Suppose -a + i + 130 = 0, 2*a - 263 = 2*i - i. Is a composite?
True
Let p = -2089 - -4566. Is p prime?
True
Let s be 9/6*50/5. Let d(v) = v**3 - 16*v**2 + 22*v - 20. Is d(s) composite?
True
Let g be (239 - -1)/(-4) - 2. Let a = g + 147. Is a composite?
True
Let k = 22 - 35. Let o be 2*(0 - 2/(-4)). Let n = o - k. Is n a prime number?
False
Suppose 3*l - 1891 = 395. Suppose 0 = -0*g + 3*g - l. Suppose 2*v = 868 - g. Is v prime?
True
Let s be (-28)/6 + (-1)/3. Let y be 24/(-15)*s/2. Suppose -y*v = -43 - 33. Is v a composite number?
False
Suppose t - 11 = 43. Suppose t - 2 = 4*n. Is n prime?
True
Let z(q) = 10*q**2 - 2*q + 3. Let y be z(4). Suppose -294 - y = -5*b + 3*c, -3*b + 5*c = -263. Suppose -3*w + 218 + b = 0. Is w composite?
False
Let l(b) be the third derivative of b**6/