) a prime number?
True
Suppose r - l = -r + 251, -4*r - 4*l + 532 = 0. Suppose 6*g - 454 = r. Is g prime?
True
Let n be (4 - 3) + (2 - 3). Suppose 0 = -n*t - 4*t + 20. Suppose -f + t*f = 356. Is f composite?
False
Suppose 0 = 12*i + 4 - 4. Suppose 5*x = 0, 5*a - 7*a - 2*x + 2518 = i. Is a a composite number?
False
Let p be ((-18)/(-15))/((-232)/60 - -4). Is p/3 - 1 - -2177 a composite number?
False
Let i be (-2 - (-4 + 4))*-1. Suppose -i*x + 6*x - 844 = 0. Is x composite?
False
Let i = -7 + 15. Suppose -i*d + 13*d = -50. Is (-6)/d - 8884/(-10) prime?
False
Let u(b) = -b**3 + 3*b**2 + 2*b - 3. Let c be u(3). Let l be (-296)/(-12)*c + 0. Let n = 45 + l. Is n composite?
True
Let t be (-2108)/(-5) - 10/(-25). Suppose 4*w = -5*f + 4996 - t, -f - 2280 = -2*w. Suppose 10*d = 3*d + w. Is d a composite number?
False
Suppose 5*h - 16 = -3*s, 2*s - 15 + 1 = -5*h. Suppose -5*y + y + s*g + 1260 = 0, 3*y - 4*g - 935 = 0. Is y a composite number?
False
Let d(p) = 1755*p - 412. Is d(5) prime?
True
Let p(q) = -8*q**3 + 2*q**2 + 2*q + 21. Is p(-5) composite?
False
Let f(a) = a**3 + a. Let b(g) = 4*g**3 + 3*g**2 + 9*g + 1. Let w(l) = b(l) - 5*f(l). Is w(-9) prime?
True
Let j(c) = c**2 - c + 8. Let z be j(6). Suppose -3*w = -w + z. Let r = w + 33. Is r a composite number?
True
Suppose -25*u + 36282 = -19*u. Is u a composite number?
False
Is 1 + 3204/5 - 8/10 a prime number?
True
Suppose 0 = 10*m + 2593 + 447. Let a = m + 775. Is a a prime number?
False
Let t(p) = 7*p**2 + 2*p + 1. Let g be t(-1). Suppose -g*l + 5*l + 4 = 0. Suppose 0*b - 389 = -3*j + 2*b, 2*b = l*j - 520. Is j a composite number?
False
Let j be (-260)/((-4)/1) + 2 + -1. Let z = -23 + j. Is z composite?
False
Suppose 56*q - 435861 = 29*q. Is q prime?
False
Let k(v) = 11092*v**2 + 14*v - 17. Is k(1) prime?
False
Let h(g) = -3*g - 1. Let f(l) = 10*l**2 + 2*l - 2. Let s be f(1). Suppose -3*u = 6, u = -w - 2*u - s. Is h(w) composite?
False
Let u = 16 - 14. Suppose -u*m - 4*d = 3*m - 2529, -1514 = -3*m + d. Is m a composite number?
True
Let h = 800 - -769. Is h composite?
True
Let w(k) = 6*k + 7. Let f be w(7). Let q = 8 + -8. Suppose -g + 100 + f = q. Is g a composite number?
False
Is 2/(-27) + (-81172133)/(-5211) composite?
True
Let p(b) = -2*b**3 - 6*b + 30*b**2 - 4 + 3*b**3 - 25*b**2. Suppose 0*g + 20 = -4*g. Is p(g) a prime number?
False
Let b = 6454 + -3845. Suppose 7*y - 4776 - b = 0. Is y a prime number?
False
Let k = 21426 + -9433. Is k a prime number?
False
Let n be 0 - (-1 + 2 - 4). Let k(l) = 106*l + 4. Let s be k(n). Let i = s + -189. Is i composite?
True
Let x(w) be the second derivative of w**4/4 - 2*w. Let h be x(1). Suppose -2*j + 4 = 0, -5*o - 4*j = -h*o - 846. Is o a composite number?
False
Suppose 4*x + 4*n - 229992 = 0, 0 = 2*x - n - 85467 - 29526. Is x prime?
False
Suppose -5031 = g - 32072. Is g a prime number?
False
Let y be (-9646)/(-4) - 42/(-28). Suppose 3519 = 4*p + 4*u - y, -4*p - 3*u = -5930. Is p a prime number?
True
Suppose 0 = -2*w + 40. Let s = w + 8. Let a = 213 - s. Is a prime?
False
Suppose 18*z - 402 = 12*z. Suppose -3*o + z = -164. Is o a prime number?
False
Is -1*(-137534)/10 + 20/(-50) a prime number?
False
Is (-152941)/(-21) - (-11 - 4809/(-441)) a prime number?
True
Let g(r) = -7*r**3 - r**2 + 5*r + 52. Is g(-5) a composite number?
False
Suppose -3*g - 5*w = -15, -3*w - 13 = -3*g + 2. Suppose 3*m = 5*i + 1057, 5*m = -0*i - 5*i + 1815. Suppose -m - 686 = -g*u. Is u prime?
False
Suppose q + 2 = -4*y - 4*q, -4*q = 4*y. Suppose 3*g + g - 14 = -3*v, 2*g + 4*v = y. Suppose 2*o = 4*a - 320, -2*a + g*o + 0*o + 168 = 0. Is a prime?
True
Let q(w) = 10 - 9*w + 3*w**2 - 2*w - 2*w - 3*w. Is q(15) a composite number?
True
Let z(u) be the first derivative of u + 37/3*u**3 + u**2 - 4. Is z(-2) a composite number?
True
Let b(j) = -j**3 - 18*j**2 - j. Let p be b(-18). Suppose i - p = -3. Is i a composite number?
True
Suppose -2*i + 3331 = s - 1696, 3*s - 5029 = -2*i. Suppose 0 = 4*c - 3*c - i. Is c a prime number?
False
Suppose -30*q + 225660 = -201630. Is q a composite number?
False
Is (-716683)/(-55) + 2*1/5 a prime number?
False
Let r(k) be the second derivative of -28*k**3/3 + 51*k**2/2 - 29*k. Is r(-8) composite?
False
Suppose 3*m + 1217 + 120 = c, 1349 = c + 3*m. Is c a prime number?
False
Suppose y - 4503 = -21*b + 19*b, 2*b = 3*y + 4499. Is b composite?
False
Let z(t) = 16*t**3 - 24*t**2 - t - 16. Is z(7) a prime number?
True
Let j be ((-14)/(-21))/((-10)/(-6) + -2). Is -2 + 0 + (1 - -210) - j a composite number?
False
Let m(p) = p**2 - 12*p - 10. Let u be m(13). Is 58/(-18) + u - 1606/(-18) a composite number?
False
Let i = 109 - 112. Let r be (1 - -3)/2*-1. Is 1/(r/(-176)) + i a composite number?
True
Suppose 0 = 21*v - 15*v - 36. Is v prime?
False
Let s = -13 + 15. Suppose 4*k = s*a - 7*a + 193, -k = -2. Suppose 0 = -n + a + 2. Is n a composite number?
True
Suppose -6*x + 4*x = -548. Suppose 0*o = -o + x. Is o prime?
False
Let f = -133 - -143. Suppose f*x - 7444 = -1304. Is x a composite number?
True
Let x(f) = 1292*f**2 - 10*f - 1. Is x(-3) prime?
True
Let r(c) = c + 10. Let z be r(0). Let p be 4/z + (-364)/35. Is p*5/(-10)*53 a composite number?
True
Let j = -31 - -35. Suppose 2*a = -j*l + 3488 - 920, -5*l - a + 3207 = 0. Is l composite?
False
Is (-12)/102 - 692/136*-4614 composite?
True
Is (-12 + (-11949)/(-6))/(1/2) prime?
False
Suppose -44906 = -d + 3*r, 0 = 2*d - 2*r + 17 - 89833. Is d composite?
False
Suppose -17 = -2*a - 3*p, -5*a - 2*p + 25 = 2*p. Let k be ((-5 - -3)*1)/(-2). Is -4 + k - -97 - a prime?
False
Suppose 19438 = 7*l - 1611. Is l composite?
True
Let m be 1 + ((-20)/4 - -8). Suppose -m*i = 2*z - 5918, 4*z - 344 = -2*i + 2630. Is i prime?
False
Let k(f) = f**3 - 9*f**2 + 5*f - 11. Let u be k(9). Let q be (-499)/2 + 17/u. Let o = -26 - q. Is o prime?
True
Suppose 22661 = 8*z - 16995. Is z composite?
False
Let o(u) = -193*u**2 - u + 3. Let j be o(-2). Let k = -464 - j. Is k a composite number?
True
Suppose 0 = 3*o - 0*o + 3, k + 2*o = 3325. Is 0 + 6/(18/k) a prime number?
True
Is (-2 + (-5 - 5772))/(0 - 1) a composite number?
False
Let u(s) = -4*s + 10 + 11*s - 11*s. Let f be u(10). Is (-7)/7 - (f + -2) prime?
True
Let x be 0*4*1/4. Suppose x = r + 2*t - 4, -4*t = 4. Suppose 4*m + 4*u = 390 + 794, -r = 2*u. Is m composite?
True
Let b = 13335 - -2918. Is b a prime number?
True
Let g = 354 + -672. Let v = g + 448. Is (v/(-6))/(4/(-12)) a prime number?
False
Suppose 3*k + 491 = 2*f, -3*f = -5*f - 4. Let w = -14 - -100. Let r = w - k. Is r a composite number?
False
Suppose 0*l + 88 = 4*l. Let h = -17 + l. Suppose -4*x - x + 740 = -2*d, 0 = x + h*d - 121. Is x a prime number?
False
Let b = -1530 - -2891. Is b a composite number?
False
Let f(m) = m**3 - 2*m**2 - 2*m - 1. Let x(j) = -j**3 + 10*j**2 + 3. Let d be x(10). Let w be f(d). Is (587/(w + -1))/1 a prime number?
True
Suppose 3*a - 26*o - 15533 = -21*o, -2*o = 2*a - 10334. Is a a composite number?
False
Suppose s - 2487 = -2*s. Suppose y = -s + 2090. Is y prime?
False
Let y(a) = 3*a**3 - a**2 - 8*a - 9. Let q be y(7). Let o = -238 + q. Is o composite?
False
Let j = 1276 + 3793. Is j composite?
True
Suppose -2*d - 18 - 10 = 0. Let n be (3/(-3))/(2/d). Let j(t) = 23*t + 2. Is j(n) composite?
False
Suppose 6*x - 2*z - 8 = 3*x, z = 3*x - 10. Suppose -5*g - q = -x*g - 910, 3*g = 3*q + 2724. Suppose -3*s = 3*a - g, -s - s + 4*a + 582 = 0. Is s prime?
False
Let v = 229 - 229. Suppose 0 = -4*g + 11 + 5. Suppose v = g*l - l - 4*y - 89, -5*l = -4*y - 135. Is l prime?
True
Suppose 163 = 3*f - 74. Is f prime?
True
Let w(j) = 324*j + 473. Is w(6) composite?
False
Suppose 5*t - g - 14 = 0, 0 = -7*t + 2*t + 4*g + 26. Suppose -f - t*f + 1037 = 2*u, 4*u + 3*f = 2089. Let z = -273 + u. Is z a prime number?
False
Let u(l) = -521*l + 47. Is u(-7) prime?
False
Let z = 11124 - 5689. Is z prime?
False
Suppose 2 + 5 = -4*h + 5*i, 5*h - 7 = i. Is (-6501)/(-2) + 1/h a composite number?
False
Let l(n) = -13 + 2 - 1 + 2*n - 8*n**2 + n**3. Let r be l(8). Suppose 0 = -a - r*w + 129, -415 = -3*a - 5*w - 0*w. Is a prime?
False
Let q(i) = 11*i**2 - 3*i - 11. Let l be q(-5). Let b = l - -208. Is b composite?
False
Suppose -2*v + 5*n + 13 = 4, 11 = 3*v - 5*n. Suppose 5*a = -4*z + 3136 + 1141, -v*a = -2*z + 2152. Is z composite?
Tru