pose 0*k - 4*b = -4*k + d, 0 = -3*k - 5*b + 232. Is k composite?
True
Let n(y) = 142*y - 543. Is n(27) a composite number?
True
Let s(h) = -1303*h + 54. Is s(-17) composite?
True
Suppose 2*j = 5*j - 15. Suppose w = -0*w + j. Let a(y) = -y**3 + 5*y**2 + 6*y + 5. Is a(w) prime?
False
Let l be 16/12*(10027 - 1). Let s = 19053 - l. Is (-2)/3 - s/(-9) a prime number?
True
Suppose 3*y + 72 = 4*s - 225, 0 = s - 4*y - 58. Suppose s = t - 215. Is t composite?
False
Suppose 0*m = 7*m - 8309. Is m prime?
True
Let n = 209392 + -137145. Is n composite?
True
Suppose r - 1782 - 161 = 0. Is r a composite number?
True
Let j be -2 - ((-2489)/(-1))/(-1). Let x = j + -916. Is x composite?
False
Let t = -6 - -26. Suppose 3*k - 8*k + t = 0. Suppose -k*i - g = -645, -3*g + 5*g + 320 = 2*i. Is i a prime number?
False
Suppose 3*p - 22 = -4*l, 3*l - 25 = -4*p + 2*l. Let z be (-30)/(-35)*21/6. Suppose z*i = 3 + p. Is i prime?
True
Let j(k) = k**2 - 6*k + 4. Let g be j(5). Let b be 3 + 1 + 1/g. Is -4*b/(-36)*921 a composite number?
False
Let r = 93 - 68. Is (-1 - (-189)/15)*r - -3 composite?
False
Suppose -6*p = -0 - 30. Suppose -p*m + 3119 = -2*i, -1017 = -5*m - i + 2096. Is m a prime number?
False
Suppose 40 = -5*a - 0. Let i(u) = u + 16. Let y be i(a). Let z = 69 + y. Is z a composite number?
True
Let i = -19 + 25. Let z(b) = 3*b**3 - 8*b**2 + 10*b - 7. Is z(i) composite?
True
Let d = 18 - 15. Suppose -x = -d*u - 20 - 5, -x + 29 = -2*u. Is x prime?
True
Suppose -v = 3*q - 4*v + 6, -3*q - 4*v = -8. Let c(o) be the third derivative of o**4/24 + 143*o**3/6 - 2*o**2. Is c(q) prime?
False
Let p = -45 - -45. Suppose -2*q - 4*c + 226 = p, 5*q + c = -4*c + 555. Is q a composite number?
False
Suppose b - 338 - 51 = 0. Is b a prime number?
True
Is (-87451)/(-84) - (-22)/(-264) a composite number?
True
Let o(h) = -h**3 - h**2 + 3*h + 5209. Suppose -3*x = y + 2, 3*x - 4*y - 9 = -1. Is o(x) a prime number?
True
Let n = 81 - 557. Let t = 2287 + n. Is t a composite number?
False
Let q = -50 - -35. Let t be (-10)/q - (-154)/(-6). Is ((-2330)/t)/((-2)/(-5)) a composite number?
False
Suppose g + 5*m - 2 + 16 = 0, 3*g - 5*m - 58 = 0. Is 8303/g + (-4)/(-22) composite?
True
Let h(i) = -i - 5. Let a be h(-7). Suppose -2*v - 6 = -5*p, a*p - 4*v = v - 6. Is p*3/12*194 composite?
False
Let w(z) be the third derivative of -9*z**5/10 + z**4/24 + z**3/2 - 3*z**2. Let q be w(-2). Let v = 8 - q. Is v composite?
False
Let j = -7 + 7. Suppose -4*t - 4*i + 2276 = -j*t, i + 2296 = 4*t. Is t prime?
False
Suppose 12*s - 10*s = -4*u + 1798, 4*u + 16 = 0. Is s prime?
True
Let a(p) = -27*p**2 - 9. Let v(r) = 28*r**2 + r + 10. Let t(i) = -6*a(i) - 5*v(i). Is t(2) prime?
False
Let j be (-53)/(((-2)/30)/1). Suppose 190 = -5*m + j. Is m a prime number?
False
Suppose -18 = -3*h - 6. Suppose 5*n = -2*v + h, -2*v + 2*n - 6*n = -2. Is (74/v)/(18/(-27)) prime?
True
Suppose 3*o = o. Suppose 4*z + 4*n - 264 = o, -n = -2*z - 0*z + 123. Suppose 3*u = -0*u + z. Is u a composite number?
True
Suppose -2*q + 16 = -5*v, 4*q + 0*v = -3*v + 32. Let u(j) = -2*j**2 - 7 + j**2 + q*j - 1. Is u(5) a composite number?
False
Let f(s) = s**2 - 3*s + 5. Let d(z) = -2*z**2 + 10*z - 16. Let w(j) = 3*d(j) + 10*f(j). Let p be w(3). Suppose -3*y + p = -169. Is y a prime number?
False
Let m(i) = 15*i**2 + 16*i + 43. Is m(-6) a composite number?
False
Suppose -6*p + 8 = 2*q - 4*p, p + 4 = 0. Let j be 255/(-20) - 2/q. Let w(f) = f**3 + 15*f**2 + 6*f + 9. Is w(j) a composite number?
False
Let h(o) = 168*o - 329. Is h(5) a composite number?
True
Let g(y) = 938*y**2 + 5. Is g(4) prime?
True
Suppose 0 = -2*r + 3*x + 2*x + 37823, -2*r + 37813 = -3*x. Is r a composite number?
False
Suppose -5*d = -3*d - 2*t - 35040, -4*t + 17525 = d. Is d prime?
False
Let n be (-4)/((-40)/25)*1164. Suppose 0*y - n = -6*y. Is y prime?
False
Let w(m) be the first derivative of 2*m**3/3 - 3*m**2/2 + 3. Let y be w(2). Suppose 205 = 2*v + 5*g, 2*v + 0*g = -y*g + 196. Is v a prime number?
False
Is (3932/6)/(7880/(-660) + 12) prime?
False
Let i = 3 + 5. Suppose 2*z - i = -2*z. Suppose -2*u + z*r - 887 = -7*u, 4*u + r - 712 = 0. Is u a prime number?
True
Is ((26/(-39))/2)/(2/(-39126)) prime?
True
Let r(u) = 146*u - 697. Is r(34) a prime number?
False
Let q(c) = 16*c**2 + 21*c - 16. Let u be (-1)/(-4 - 295/(-75)). Is q(u) composite?
True
Let t = -49 + 698. Is t a composite number?
True
Suppose 5*z = -2*r + 4074, -r + 10223 = 4*r + 3*z. Is r prime?
False
Let v(m) = -241*m - 7. Let u be v(-3). Suppose -3*q = -u - 97. Is q a composite number?
False
Suppose -3*a = 4*t - 18, -2*a + 4*t = 2*t + 2. Is a/9 + 68510/234 a prime number?
True
Suppose 0 = -8*a + 4*a. Suppose 0*x - 2*x + 4*v = -4, -5*x + v + 46 = a. Suppose -5*l = 2*o - 1785, -5*o = 2*l - x*o - 743. Is l a prime number?
True
Suppose 4*c + 41 = -3*o + 117, 2*o = -4*c + 56. Suppose 2*l = 6*l - o. Suppose 415 = 5*y + i - 6*i, -2*i + 429 = l*y. Is y a composite number?
True
Is (-2)/(46923/11731 - 7 - -3) a composite number?
True
Suppose -2*i - 3*d - 28 = d, 5*i = 4*d - 42. Let c(r) = -54*r + 7. Let j be c(-5). Let m = j - i. Is m a composite number?
True
Suppose 23044 = 4*l - 4*g - 19884, -32206 = -3*l + 5*g. Is l a composite number?
True
Suppose -q - 3*q = 4*o + 1736, 5*q = 4*o + 1736. Suppose 6*k = -9*k + 10815. Let s = k + o. Is s composite?
True
Let u be 4 - (-12)/(8/2). Suppose -13 = u*c - 2190. Is c a prime number?
True
Suppose -9*q + 381 = -6*q. Is q a composite number?
False
Let g(p) = 9*p**2 - p + 6. Let t be g(3). Is (-6)/(-21) - 4/(t/(-24585)) composite?
False
Let i = -136 - -291. Suppose 6 = 3*d + 4*a - 8, 2*a = 2*d. Suppose -3*n = d*n - i. Is n a composite number?
False
Let h = 6 - 2. Suppose h*i = -2*l + 880, 4*l + 5*i - 2*i = 1735. Let b = -271 + l. Is b prime?
False
Let n(z) = 571*z - 3. Let r(a) = -a**3 - 18*a**2 - 18*a - 15. Let m be r(-17). Is n(m) prime?
False
Suppose 2*u + 124 = -242. Let g = -25 - u. Is g prime?
False
Is -3 + 0 + (-8 - (-4338)/1) composite?
False
Let m = -9135 - -26302. Is m composite?
False
Let s(i) = 17*i**2 - 32*i + 35. Is s(12) a prime number?
True
Suppose -a + 831 = 5*i, a - 5*i = -3*a + 3199. Suppose -16*k + a = -14*k. Is k a prime number?
False
Let y = 31136 - -17531. Is y a prime number?
False
Suppose -49 = 4*p - 185. Let h be 3/(-12) + p/8. Suppose -2373 = -h*t - 353. Is t a prime number?
False
Let s(t) = t**3 + 13*t**2 + 6*t - 13. Let u = 3 - 15. Is s(u) a composite number?
False
Let f be ((-1)/(-3))/(28/(-12) - -2). Is ((13/(-39))/((-2)/(-13998)))/f composite?
False
Let x(h) = -894*h**3 + 20*h**2 + 4*h + 1. Is x(-3) prime?
False
Let l(r) = -35*r**2 + 3*r + 11. Let o be l(4). Let j = 396 - o. Is j prime?
False
Let k be (1 - -5)/((-24)/(-112)). Is 15492/k - (-2)/(-7) composite?
True
Suppose 5*f - 8*f + 46933 = 2*z, -5*z + 4*f = -117275. Is z a composite number?
False
Let w be (4/14)/(6/84). Suppose 523 + 721 = -w*n. Let z = n - -522. Is z composite?
False
Let c(m) = -9*m - 5. Let w be c(-8). Let q = -21 + w. Is q - ((-4)/(-1) + -1) composite?
False
Let l(s) be the second derivative of -3*s**5/20 + s**2/2 - 30*s. Is l(-1) a prime number?
False
Suppose -5*v + 2*v = -2097. Suppose -n - 2*x = -3*x - v, -4*x + 2069 = 3*n. Is n a composite number?
True
Suppose -4*a + 0 = 3*h - 6, -h = -5*a - 2. Suppose -4*y + 16 = a, l = y - 0*y - 294. Let u = -107 - l. Is u a composite number?
True
Is ((-35)/14)/(-3 + (-62993)/(-20998)) a composite number?
True
Let z be (-1386828)/(-78) + 4/26. Suppose 13*h - z = 9*h. Suppose 5*q = -0*q + h. Is q a composite number?
True
Let t = 22 + -20. Is (-3 - -1 - t) + 3204/4 prime?
True
Let k(z) = 4*z + 2. Let t be k(-2). Is (-356)/(-1) + 9 + t a prime number?
True
Is (-60)/12*(-8117)/5 a prime number?
True
Let q be -4*(130/8 + -2). Let k be 1/(-2 + 3)*3. Is (3 - 16/k)*q a composite number?
True
Suppose -4*p - 8 = 2*v, 2*p = 6*v - v + 20. Suppose p = 5*i - 2*l - 956, 4*i - l + 6*l = 745. Suppose j = -j + i. Is j a composite number?
True
Suppose -4*k - 1481 = -5*k. Is k a composite number?
False
Let q(l) = l**3 - 7*l**2 - 8*l + 7. Let c be 6/12 + (-13)/(-2). Let x be q(c). Is 7 + -8 - 6*x composite?
False
Let a(z) = -5*z**2 - 4*z + 8. Let c be a(4). Let b = c - -50. Let n = b - -135. Is n prime?
True
Suppose r + 3*r = 8. Let c be (54/r)/(6/12). Let t = 177