Suppose 4*h - 3*j - 192 = 36, 228 = 4*h + k*j. Is h composite?
True
Suppose -9 = 3*y - 2*r - 29, -y - 4 = 2*r. Suppose 10 = 5*i - 0*i, -4*h + y*i = -116. Is h a composite number?
False
Suppose 0 = h + 4, -54*s + 56*s + h = 93642. Is s prime?
False
Let b(w) = -15*w**3 - 6*w**2 - 9*w + 12. Let q be b(-5). Suppose 3*s - 3*n - q = 0, -5*s + 5*n + 1203 = -3*s. Is s a composite number?
True
Let b be 18854*5/50*5. Suppose 0 = -4*a - a + 3*v + 9424, -5*a + b = -4*v. Is a composite?
True
Let i = 35 + -32. Let f(h) = 3*h**3 + 3*h**2 + 5*h - 2. Is f(i) prime?
False
Let p be 15*(0 - (-3)/9). Let u be (p/(-2))/(4/(-184)). Let m = u + -46. Is m prime?
False
Let m be -1 - ((-4)/2 + 1). Suppose -4*b = 3*x - 0*x - 365, -3*b + x = -277. Suppose m = 2*j + b - 558. Is j composite?
False
Let q(o) = o**3 - 7*o**2 - 4*o - 22. Let w be q(9). Suppose 210 = n - 0*n. Let t = n - w. Is t a composite number?
True
Let l be 1 + (-6)/(24/980). Let m = l - -154. Is m/72 - (-5058)/8 composite?
False
Suppose 2*o = -2*g - o + 45, -g + o + 15 = 0. Is ((-9)/g)/(1/(-878)) composite?
False
Suppose 25*b + 5596927 = 74*b. Is b composite?
True
Suppose -426*u - 132740 = -436*u. Is u a composite number?
True
Let d(m) = 6*m**3 - 15*m**2 - 191*m - 37. Is d(23) a prime number?
True
Suppose f + o = 6*f + 45, -5*f + 4*o = 45. Let u = -14 - f. Let z(x) = -6*x + 1. Is z(u) prime?
True
Let k(w) = -105*w - 43. Is k(-6) prime?
True
Let t be (2/(-4))/(7/812). Let i = -12 - t. Suppose 3*g - i = g. Is g prime?
True
Let x = -1540 - -5486. Is x composite?
True
Let t be 6/(-9)*-102 + -1. Let r = t - 0. Is r a prime number?
True
Let h(y) = -46*y - 220. Is h(-29) prime?
False
Let g = 5042 - -6549. Is g a prime number?
False
Let h(w) = -424*w + 145. Is h(-4) composite?
True
Suppose -3*v = -4*g + 33, -3*v - 36 = -5*g - v. Suppose -o = -g*o. Let c(y) = y**3 + y + 69. Is c(o) composite?
True
Let m = 2875 + -1761. Is m a prime number?
False
Let a = -1 - -6. Suppose 0 = a*h + 5321 + 11929. Is (1/3)/((-10)/h) prime?
False
Suppose -11*s = 28*s - 363129. Is s a prime number?
True
Let w be -159 + 3 + 12/(-3). Is (w/200)/((-2)/7795) a composite number?
True
Let u(y) = -16*y - 32. Let q be u(-6). Let w = q + 195. Is w a prime number?
False
Let g(m) = -1549*m - 120. Is g(-7) a composite number?
False
Let n = -7 - -9. Suppose -n*o = -o + 72. Let j = 109 + o. Is j composite?
False
Let h be 92/(-12) + 4/6. Let a be 3544/7 - (-2)/h. Suppose -a = -i - i. Is i composite?
True
Suppose 9 = -3*t + 54. Is (-5)/t - (-3272)/6 a prime number?
False
Suppose 2*v = 5*i - 13, 0*i = -4*i - 3*v + 15. Suppose -i*w - 2245 = -8*w. Is w a composite number?
False
Let g(i) = 0 - 5 + i**2 + i**2 - 3*i. Let l(f) = f**2 - 9*f - 4. Let w be l(9). Is g(w) a prime number?
False
Let b = -497 + 3130. Is b a prime number?
True
Suppose 246*z = 240*z + 65034. Is z composite?
True
Let w(k) = -4*k**2 + 12*k + 3*k**2 + 1 - 11*k. Let l(t) = 3*t**3 + 6*t**2 - 2*t - 1. Let y(s) = l(s) + 3*w(s). Is y(3) composite?
False
Let a be 2/(-6) + (-48)/(-9). Let x be (384/(-204) + (-2)/17)*-1. Suppose -s - 4*c = -49, a*s + x*c = 4*c + 179. Is s composite?
False
Let s(l) = -2 + 0*l - 2*l + 0*l. Let f be s(-3). Suppose -2*c + 59 = 5*n, -f*c - c = n - 182. Is c prime?
True
Suppose 5*z + 0*f = -2*f, 3*f = -5*z. Suppose 0 = 4*g - 2*b - 3352, 4*g = -z*g + b + 3354. Is g composite?
False
Let w(v) = 50*v + 7. Let x be w(7). Let o = x - -478. Is o a prime number?
False
Suppose -2*g = -i - 3265, -2*g - 4*i - 606 = -3856. Is g composite?
True
Let r = -4280 + 8551. Is r a prime number?
True
Let a(g) = g**2 - 8*g + 3. Let y be -16*(5 - 2)/(-3). Let t be 156/y + 2/8. Is a(t) prime?
True
Suppose 147*y = 148*y + 2, 4*f - 29508 = -4*y. Is f a composite number?
True
Suppose 5*c - 23117 = -4*d, 4*d + 1084 = -4*c + 19580. Is c a composite number?
False
Let j be 0/((2/(-3))/(7/(-42))). Suppose 0 = -j*g - 2*g + 1054. Is g a composite number?
True
Let z(v) = -2*v + 1. Let k be z(-5). Let b be k*(3 - 2)*-65. Let m = b - -1394. Is m a prime number?
False
Is (3/1)/3*11657 a composite number?
False
Is -62*(-7 + -4 + 1)/4 a prime number?
False
Let a(d) = 64*d**2 - d - 3. Let v(t) = t**3 - 7*t**2 - 4*t + 30. Let q be v(7). Is a(q) prime?
True
Let w = -122 + 132. Is (15/w)/((-1)/(-974)) a prime number?
False
Let r(k) = -2*k**3 - 11*k**2 + 4*k + 6*k**2 + 2*k**2 + 3. Is r(-5) a prime number?
False
Let h(j) = -9*j**3 - j**2 + 2*j + 1. Let t be h(-2). Let m be t*(2 + (-24)/(-20)). Suppose -3*g = -3*p - p - 637, g - m = -3*p. Is g prime?
True
Suppose 0 = -2*j + j + 2. Suppose -3*g + 1566 = j*g - 2*w, 951 = 3*g - 5*w. Suppose 2*x - 146 = 3*y, 3*x = 7*x - y - g. Is x composite?
False
Let o(i) = -i**3 - 7*i**2 - 5*i - 8. Let g be o(-8). Let t = g + -46. Suppose 3*s - t = 124. Is s a prime number?
False
Let g(c) = c**2 - 5. Let d be g(3). Let k(b) = 4*b**3 - 7*b**2 + 16*b + 5. Is k(d) a prime number?
False
Suppose 3*y + 11627 = o, -14*y + 12*y + 11637 = o. Is o a composite number?
False
Suppose 0 = 5*w + 5*z - 3465, -22*w = -17*w - z - 3453. Is w a prime number?
True
Suppose 0 = -5*z - 15, -23*z + 24*z - 1548 = -3*f. Is f a composite number?
True
Suppose -z + 2*r = 559, -5*z - 2739 = r + 3*r. Let d = z + 1218. Is d prime?
False
Suppose 0 = 8*y - 3*y. Let w be (y - 0)/(0 + -1). Suppose 0 = 3*a + 2*f - 118, -2*f + 4*f - 4 = w. Is a prime?
False
Let o = 20 + -12. Let f be 1002/o - 1/4. Suppose -161 = -3*w - 5*g, -3*w + 6*w - 4*g - f = 0. Is w a composite number?
False
Let u = -1706 - -218. Let j = u - -2297. Is j a composite number?
False
Suppose 0 = -7*j + 6 - 6. Suppose -3*p + 2388 + 4611 = j. Is p a prime number?
True
Suppose -4*v = -4*p - p - 8, -5*v = 3*p - 10. Suppose p = 25*z - 26*z + 217. Is z a prime number?
False
Let i(b) = b**2 + 7*b + 11. Let j(f) = -14*f + 6. Let y(d) = d - 1. Let g(s) = j(s) + 5*y(s). Let m be g(1). Is i(m) a composite number?
False
Suppose -25*l + 252832 = 7*l. Is l prime?
True
Suppose -3*r = -12, 3*b + 3*r - 44 + 14 = 0. Suppose -b*a = -a - 3925. Is a composite?
True
Suppose 0 = p - 2*o - 12, -4*p + p + 5*o = -32. Let b = 59 + -59. Suppose b = -p*t - 2*k + 1338, -4*t + 1353 = -2*k + k. Is t prime?
True
Let y be (16/(-4) - -1)/(-1). Suppose -3*r - 11 = 1, -y*z + 7841 = -2*r. Is z composite?
True
Is 6800 - 1*(-5 + 2) composite?
False
Is (-6211*5)/(-4 - -5 - 2) prime?
False
Let n(a) = 13*a**3 - 5*a**2 + 46*a - 213. Is n(8) prime?
True
Suppose -3*y + 5*y - 16 = 0. Let t(u) = u**2 - 4 + 5 - 23*u**3 + 2*u - y*u**3. Is t(-1) a composite number?
False
Let a = 35 + -25. Is (2514/(-5))/(a/(-25)) a composite number?
True
Let k = 14 - 25. Let v(w) = -4*w**2 - 4*w - 16. Let j be v(k). Let i = j - -723. Is i composite?
True
Suppose 0 = -v - 4*g + 5619, 5*v = 3*v + g + 11256. Is v prime?
False
Suppose 3 = -3*x + 4*j + 2, -4*x = 2*j - 28. Suppose 0 = x*c - m - 5434, 3260 = -c + 4*c - m. Is c composite?
False
Let g be ((-4)/14)/((-2)/14). Suppose 0*h - 2*h + 4*p = -396, 0 = g*h + p - 406. Is (-14)/21 - h/(-6) a composite number?
True
Suppose 28 - 8 = 5*k. Suppose -k*p + 3508 = -5544. Is p a prime number?
False
Suppose -249162 = -50*i - 39262. Is i composite?
True
Let f(q) = 3*q**2 - 15*q + 4*q**2 - 5*q**2 - 11*q - 9. Is f(-26) a composite number?
True
Let s(f) = 443*f**3 - 3*f**2 + 6*f + 1. Is s(3) a prime number?
True
Is (40712/70)/((-6)/(-15)) a composite number?
True
Suppose 6 = 3*o - 4*i + 89, -4*o = 3*i + 69. Let z = 28 + o. Is 314 - 0/(z - 3) a prime number?
False
Let v(c) = 23*c - 2. Let z be v(-4). Let y = z + -53. Let a = y + 502. Is a prime?
False
Suppose 2*s = -5*a - 2*s + 301, -5 = 5*s. Suppose -a = -f + 104. Let q = 418 - f. Is q prime?
False
Suppose -11*j = -13*j + 38. Suppose -j*z + 9*z + 10940 = 0. Is z a prime number?
False
Let a(n) be the first derivative of 1/4*n**4 + 9 - 7*n - 2/3*n**3 - 1/2*n**2. Is a(4) prime?
False
Let w(o) be the third derivative of o**6/24 + o**5/6 + 7*o**4/24 - o**3/6 + 8*o**2. Let y be w(-7). Let a = y + 2746. Is a a composite number?
False
Let q = -85 + 2984. Is q a composite number?
True
Let h(r) = 30*r + 8. Suppose -4*x + 47 = 2*o - 29, -2*o = -4*x - 36. Suppose -5*i - 10 = 0, 5*i + 11 = -3*u + o. Is h(u) composite?
True
Suppose -4*u - 50 = -10. Let k(h) = -h**3 - 10*h**2 - h - 8. Let o be k(u). Suppose -3*s - o*g + 2363 = 618, -g + 2913 = 5*s