5*c, 2*c - 5*y + 49 = 0. Let s be g(c). Let n = 10 - s. Is n composite?
True
Suppose 2*c + 0*c - 4*g = 56, 5*g + 5 = 0. Suppose 3*p = 4*p - c. Is p composite?
True
Let z = -1 - -3. Suppose -z*s = -5*s + 201. Is s prime?
True
Is ((-18)/(-12))/(1/586) a prime number?
False
Let r = 430 - 59. Is r a composite number?
True
Let o be -1 - (-29 + (-3 - -3)). Suppose g = 5*g - o. Suppose -2*d - 335 = -g*d. Is d composite?
False
Let z = 5 - 0. Suppose -6*v + k = -5*v - 2, -5*k = z*v - 20. Is v composite?
False
Suppose -3*y + 10 = 2*y. Suppose y*j = -0*j + 116. Is j composite?
True
Let q be (3*1)/((-6)/(-174)). Let w(k) = 2*k**2 - 10*k + 5. Let b be w(7). Suppose -2*h + 67 = -5*a, b = 4*h + 4*a - q. Is h prime?
True
Let n(d) = d**2 + 5*d - 8. Let m be n(10). Suppose 0 = y - m - 165. Is y composite?
False
Let m be (4 - 1)*2/3. Suppose 4*z - 20 = 0, m*r + 667 = 6*r + 3*z. Is r a composite number?
False
Let l(d) = -14*d**3 - d**2 + 4*d - 1. Is l(-4) composite?
False
Let b be (12 + -11)/((-2)/(-2742)). Suppose 2*z - 5*z + b = 0. Is z composite?
False
Let y be (3 - 15/6)*10. Suppose y*j + 69 = 6*j. Is j prime?
False
Let n(f) = -19*f**3 - f**2 + f + 1. Let r be n(-1). Is 1108/36 - (-4)/r prime?
True
Is 8/36 - 40805/(-45) composite?
False
Let j(l) = 15*l - 6. Let v be j(5). Let s = 76 + v. Is s composite?
True
Let v(q) = -3*q + 6 + 0*q + 0*q. Let g be v(-5). Suppose -2 + g = n. Is n a composite number?
False
Suppose 0 = -28*q + 26*q + 3082. Is q prime?
False
Suppose -v - 6 - 9 = 0. Let z = v + 22. Is 4/(-14) + 107/z a composite number?
True
Let s be -1 - (-1)/((-1)/3). Let w be (2/s)/(5/(-600)). Suppose -z + 22 = -i - w, -5*i - 152 = -2*z. Is z a composite number?
True
Let z = -22 - -25. Suppose m + 4*b - 192 - 119 = 0, 0 = m - z*b - 346. Is m a composite number?
False
Is ((-460)/(-16) + -2)*20 composite?
True
Is 130 + (2 + 1 - 6) prime?
True
Let u be -2*1 + 3 - -57. Let r(k) = -12*k**2 + 5*k - 1. Let l be r(2). Let b = u + l. Is b a prime number?
True
Suppose 82 = 5*u - 28. Is u prime?
False
Suppose 12 = -3*k - 4*r + 40, 0 = -2*k + r + 4. Let d be 1761/15 - k/10. Let o = d - 40. Is o composite?
True
Let p(x) = -2*x**3 - x**2 + x. Let b(z) = z + 4. Let i be b(-6). Is p(i) prime?
False
Suppose -4895 = 8*q - 13*q. Is q a prime number?
False
Suppose -1264 = -2*d + 550. Is d composite?
False
Let t(d) = -9*d**2 - 2*d - 12. Let w(m) = -5*m**2 - m - 6. Let z(y) = -6*t(y) + 11*w(y). Is z(0) a composite number?
True
Suppose 5*l = -f + 5*f - 2066, 2*l = 4. Is f a prime number?
False
Suppose -2*r + 0*r = 2. Let a be (r/(-2))/(2/(-8)). Is 1*10 - a - -2 composite?
True
Let i(v) be the second derivative of -v**4/12 - 4*v**3/3 - 3*v**2 - 2*v. Let b be i(-7). Is (-211)/(-4) + b/4 a prime number?
True
Suppose 7*g - 3374 - 189 = 0. Is g a composite number?
False
Suppose 5 = 3*p - 4. Suppose -68 = -i - 5*o, -2*i - p*o = i - 240. Is i composite?
False
Is (132/(-9) + 1)*24/(-4) composite?
True
Let k(x) = -3*x + x - x. Let m be k(4). Is 19*(-3 - m)/3 prime?
False
Suppose 8*g + 3*b - 14 = 3*g, 3*g + 3 = 2*b. Is (-283)/(-6) + g/(-6) a composite number?
False
Let x(h) = -h**3 - 4*h**2 + 7*h + 9. Let g be x(-6). Suppose -r + 52 = -g. Is r prime?
False
Let b = -3619 + 7137. Is b composite?
True
Let g(c) = -2*c - 6. Let k be g(-4). Suppose 2*a - 1028 = -k*a. Is a composite?
False
Let z(t) = -t - 8. Let c = -19 - -7. Let v be z(c). Suppose -v*l = -0*l - 104. Is l a composite number?
True
Let v = 12 - 13. Is v + (-1 - (-362)/2) a composite number?
False
Suppose -9*q = -8*q - 37. Is q a prime number?
True
Let h = 198 - 95. Let q = 266 - h. Is q a prime number?
True
Is 11*(-4 + 123*4/12) a composite number?
True
Let t(x) be the second derivative of x**4/12 - x**3/6 + 15*x**2/2 - 2*x. Let c be t(0). Suppose 0*v = 5*v - c. Is v prime?
True
Is ((-6)/4)/(12/(-3032)) composite?
False
Suppose 2*r + 1 + 1 = 0. Let f = 1 + r. Suppose 3*q = -f*q + 21. Is q a composite number?
False
Let j(h) = h - 2. Let u be j(3). Is 10*(u - (-18)/4) a prime number?
False
Is 18/(-24) + 358/8*37 a prime number?
False
Let j(b) = -2*b**3 - 7*b - 3. Let i be j(-6). Suppose 0 = -p - 64 + i. Is p prime?
False
Is 2615/25 + 5 - (-6)/(-10) composite?
False
Suppose 2*l + 4*w = 586, -3*w - 117 - 1022 = -4*l. Is l a composite number?
True
Let l(v) = 18*v**2 - 3*v + 12. Let g be l(-5). Suppose -q = -4*q + g. Is q a composite number?
True
Let u(b) = -163*b - 3. Let q be u(-2). Suppose 0 = -4*w - g + 5*g - 436, -3*w - q = g. Let y = w + 195. Is y composite?
True
Suppose 29 - 8 = -3*y. Let a be y/((-21)/102) + -3. Suppose a = -2*u + 109. Is u composite?
True
Let h be (-4)/22 - (-1736)/(-11). Let f = 488 + h. Suppose 4*l - 612 = -4*z, 2*l - z - 3*z - f = 0. Is l composite?
False
Suppose -2*r = 5*m + 161, 6*m = 3*m + 5*r - 78. Let a = 98 + m. Is a prime?
True
Let x = 1 + 0. Let p(l) = 24*l**3 + l**2 - l + 1. Let z be p(x). Is 2 + -2*1 + z a prime number?
False
Is ((-13)/(-4))/((-19)/(-1292)) a composite number?
True
Suppose 5*v - 7*v + 8 = 0. Suppose 0 = v*o + 1464 - 3628. Let a = o - 378. Is a prime?
True
Let m(w) = -3*w**2 - 2*w - 8*w**3 + 5 + 3*w**3 - 6. Is m(-2) prime?
True
Let d be 1/(-4) + 138/8. Let i = d + -7. Is i prime?
False
Let p(o) = -o**3 + 8*o**2 + 8*o + 9. Let t be p(9). Suppose 4*x - 152 = -4*d, t*x = 3*d + x - 112. Is d prime?
True
Suppose k = 3*k - 164. Is k composite?
True
Let n(d) be the first derivative of -19*d**2/2 - 6. Is n(-7) prime?
False
Let m = 13 + -8. Suppose -9 - 1 = m*b. Is (b + (1 - 0))*-85 prime?
False
Let t(u) = u**3 - 2*u**2 - 3*u. Let b be t(3). Suppose -4*w = -b*w + 24. Is (93/w - 1)*-2 composite?
True
Let l be (-16)/6*(-9)/6. Is (l/8)/((-1)/(-70)) prime?
False
Is 1996/2 - (5 + -2)*1 composite?
True
Suppose -3*u + 5*k + 16 = 0, 3*u + 2*k = -3*k - 4. Is (-58)/(-6) + u/(-3) composite?
True
Suppose 15 = -2*l + 3*n, -3*l + 4*n + 3 - 24 = 0. Let m be -8*l/(-12)*-2. Suppose d = -5*g + g + 32, -g = -m*d - 25. Is g a composite number?
True
Let p be 4/(-6) - (-20)/(-6). Let t be (-1 - (2 + -2))*p. Suppose -3*l - 323 = -4*m, -3*m + 288 = m + t*l. Is m composite?
True
Let s be 2/(-3) - (-21)/(-9). Is 259 + (8 + -2)/s a composite number?
False
Let b = -1023 + 2501. Suppose 4*q + 5*a = -673 - b, -4*q = -3*a + 2127. Is (-1)/(3/q*2) prime?
True
Suppose 2 = -5*g - 13. Let z = 6 + g. Let v(i) = 7*i - 2. Is v(z) prime?
True
Let r(u) = -u**2 - u**2 + 3 + 3*u**2 + 2 - 16*u**3. Is r(-3) composite?
True
Let c(f) = -17*f - 7. Let d(q) = -8*q - 3. Let p(y) = 2*c(y) - 5*d(y). Let t be p(1). Is -6*(t/(-2) - -2) a composite number?
True
Suppose 0 = 2*r - 4 - 2. Suppose m + r*w = 1, -m - w + 2 = 3. Is m - 3/2*-6 a composite number?
False
Let k(g) = 4*g**2 - 3*g - 4. Suppose 0*u + 2*u = -3*h - 1, -34 = 5*u - 3*h. Is k(u) prime?
False
Suppose -k + 36 = 3*k. Suppose 3*d = 4*w - d - 20, k = 2*w - d. Is 1166/18 - w/(-18) a prime number?
False
Let b(p) = 12*p. Let d be b(4). Suppose -4*m + a = -79 - d, -5*a - 108 = -3*m. Is m a composite number?
False
Suppose 8*l - 3*l = 15. Suppose -992 = -l*j + o, j = -3*o - o + 309. Is j prime?
False
Let f(t) = -53*t. Let h be f(-2). Let r = h - 57. Is r prime?
False
Let x be (-1 - 5)*(-3 - 90). Suppose -4*f + b = -441, b - x = -5*f - 0*b. Is f a prime number?
False
Let j(k) = 6*k**3 + 2*k**2 + k + 4. Is j(3) prime?
False
Suppose a = 2*w - 4, 3*a - 8 = -4*w - 0. Let j be (-2 + 4)*-14 - a. Let s = j + 43. Is s a prime number?
False
Let d be 0/(-4) - (1 - 1). Suppose d = 3*j + 3*x - 2*x - 33, -x = 4*j - 43. Is 97/3 + j/15 a composite number?
True
Is 2384/40*10/4 prime?
True
Is -4 + (417 - 1) + 0 + -3 composite?
False
Let t(q) = 4*q + 1. Let d(v) = -v**2 - 3*v + 2. Let y be d(-5). Let f(c) = c + 17. Let b be f(y). Is t(b) prime?
True
Let y(o) = o + 0*o**2 + 0*o**2 + 11*o**3 + o**2 - 10*o**3 + 55. Let r be (0/2)/(2 - 0). Is y(r) composite?
True
Suppose -5*d + 41892 = 7*d. Is d a prime number?
True
Let k(i) be the first derivative of i**4/4 - 2*i**3/3 - 5*i**2/2 + i + 3. Is k(4) a composite number?
False
Let i be 4*((-15)/12)/(-1). Let s(f) = 4*f**2 - 2*f - 1. Is s(i) prime?
True
Let i(b) = b. Is i(3) a prime number?
True
Suppose 0 = y + w - 2328, 5*y - 11650 = -0*y - 3*w. Is y a prime number?
True
Suppose 10 = 3*h - w, 4*h - 5*w = -h + 20. Suppose -h*j = -4*j + 2. Suppose j*c + 182 = 4*a, 185 