 Is w a composite number?
True
Suppose -a = 2*k + 2*k - 391, -3*k + 386 = a. Is a a prime number?
False
Let s be 103/5 + (-6)/(-15). Is (-4)/(-6) - (-8533)/s composite?
True
Let o(b) = -3*b**3 + b**2 + 4*b + 1. Let p(j) = -6*j**3 + 2*j**2 + 7*j + 2. Let n(s) = 7*o(s) - 4*p(s). Is n(2) prime?
True
Is (-2 + 33)*7/7 a prime number?
True
Suppose 0 = 15*k - 9*k - 1902. Is k a prime number?
True
Let p(f) = -4*f**3 + 2*f**2 + f + 5. Is p(-4) a composite number?
True
Is 5 + -2 + -1 + 5 a prime number?
True
Suppose -6*h + 10*h - 2276 = -3*q, 0 = -2*q + 8. Is h composite?
True
Let m(u) = -54*u**3 + u**2 + u + 1. Is m(-1) a prime number?
False
Let h be (-65)/(-4) - (-1)/(-4). Let v = 5 + h. Is v prime?
False
Let j = 67 - 48. Is (-1 - j)/(1 - 3) a composite number?
True
Let a(w) = w**3 - 18*w**2 + 10*w - 25. Is a(19) a prime number?
False
Let l = 4 - 0. Suppose -3*t = -5*c + 1286, -l*t + 2*t - 1289 = -5*c. Is c a composite number?
True
Suppose 0 = 3*b + 19 - 310. Is b a composite number?
False
Is 4/(-6) + 4318/6 a prime number?
True
Let x(t) = -4*t - 1. Let s be x(-3). Suppose 4*m = 5*l - 3*l - 42, 4*m + s = l. Is l a prime number?
True
Let w(j) = -9*j**3 - 2*j**2 + 4*j - 1. Is w(-4) prime?
False
Let y = -35 - -24. Let g = 7 + y. Is 35/4*g/(-1) prime?
False
Let b(s) be the first derivative of 5*s**3/3 - 2*s**2 + 3*s + 2. Let w = 5 - 3. Is b(w) composite?
True
Let i be -2 - 2/(-3)*6. Is i/7 - 6750/(-42) a prime number?
False
Suppose 3*v + v - 48 = 0. Let i = v - 5. Is i a prime number?
True
Let u(t) = 71*t**2 - 5*t + 9. Is u(5) a prime number?
True
Let c(u) = -1 + 0*u**3 + 4*u**2 + 3*u + 2 - u**3. Let h be c(-3). Suppose h = 3*a - 74. Is a a composite number?
False
Let x(l) = 20*l - 2. Let y be x(6). Let f = 97 + y. Is f prime?
False
Suppose 2*l + n + 26 = 0, 3*n + 32 = -2*l - n. Let g be (l/10)/((-4)/(-20)). Is 2/g - (-212)/6 composite?
True
Let j(y) = -4*y**3 + 3*y**2 + 4*y - 14. Is j(-5) a prime number?
True
Suppose 3*r = -2*r + 135. Let y = r - -40. Is y a composite number?
False
Let p(z) be the first derivative of z**4 + 2*z**3/3 - z**2/2 + 4*z - 1. Suppose 9 = -2*u + 15. Is p(u) a prime number?
True
Let u be 0/((1 - 5)/2). Suppose 4*x - p = 16, u*x = -4*x - 5*p + 40. Suppose -33 = -6*l + x*l. Is l prime?
False
Let q(y) = 2*y. Let n be q(1). Let x be (n/1)/(8/12). Is 0 - (-90 - (-3)/x) a composite number?
False
Suppose -3*h - 2*h = 0. Suppose h = -5*x + 1 - 41. Is 4/x - (-47)/2 a composite number?
False
Let p(n) be the second derivative of n**5/2 + n**4/3 - n**3/2 + n**2/2 - 2*n. Is p(2) a composite number?
True
Is -10*(-1)/((-6)/(-393)) prime?
False
Is (-11410)/(-30) - 4/3 a prime number?
True
Suppose i + 0 = 3*w + 55, 2*i - 82 = -w. Suppose 4*d = 3*x - i, 0*x - d = -4*x + 53. Is x a prime number?
True
Suppose 0 = 2*m + 4*l - 3 - 51, 5*m - 90 = -l. Let y = 32 - m. Suppose -4*j + 3*t = -83, -t + y = 4*t. Is j a prime number?
True
Let d be 26/(-169) - (-212)/26. Suppose 5*h - d*h = -705. Is h prime?
False
Let b(k) = k**2 - 6*k - 3. Let h be b(5). Let q(v) be the third derivative of -v**5/60 - 3*v**4/8 - 5*v**3/6 - v**2. Is q(h) composite?
False
Let j = -2 + -2. Let o = j + 6. Is (o - -1)*(-114)/(-9) a prime number?
False
Is ((-13256)/(-32))/(10/8 - 1) composite?
False
Let x = 919 + 16. Suppose x = 2*y + 3*y. Is y a composite number?
True
Suppose 4*b = -0*b - 4. Is 3*(2 + 8 - b) prime?
False
Suppose -5*p + 0*p = -25. Suppose -p*q - 57 = -3*b - q, -76 = -4*b + 5*q. Is b prime?
True
Suppose -3*i - 5*n + 635 = -183, -4*i + 1081 = -3*n. Suppose -217 = -4*a + 3*t, 2*a + i = 7*a - 4*t. Is a a prime number?
False
Let o(f) = 21*f - 2. Let v be o(11). Suppose -q = -0*q - 3*p - v, 5*p = -3*q + 617. Suppose -4*d - q + 954 = 0. Is d a prime number?
False
Let o(x) be the third derivative of x**4/3 + x**3/2 + 2*x**2. Let i be o(4). Is 10/i - (-131)/7 a composite number?
False
Let m = 1970 + -979. Is m a composite number?
False
Let y(t) = -t**2 + 16. Let m be y(0). Suppose 0 = s - 2*o - m + 3, 2*o - 6 = 0. Is s a prime number?
True
Let z(s) = s + 5. Let a be z(-3). Suppose k = -a*k + 237. Let i = k - 2. Is i a prime number?
False
Let l(d) = -d - 8. Let c be l(-9). Let u be (2/(-3))/(2/(-108)). Let m = c + u. Is m composite?
False
Suppose 231 = h - 446. Is h a prime number?
True
Let c(u) = 4*u - 3. Let q be c(3). Let j be (-2)/(-3) - (-12)/q. Suppose -4*d = -3*m + 2*m - 356, 5*d - 445 = -j*m. Is d prime?
True
Suppose 314 = 4*l + 4*x - 2*x, 4*x = 5*l - 373. Is l prime?
False
Let o be (5/(-4))/((-13)/52). Suppose o*m - 2*y = 451, 0 = -4*m - 4*y + 126 + 218. Is m a prime number?
True
Let f be (0 + (-1)/(-1))*93. Let p = f + -60. Is (p/(-4))/(1/(-4)) a prime number?
False
Let f(a) = -31*a. Suppose -4*n = -g + 2, -4*n = n + 4*g + 13. Let t be f(n). Is (1*t)/(5/5) composite?
False
Let a be 12/(-30) - 2/(-5). Let z(s) = a*s + s**3 + 11*s**2 - 16*s - 6 + 13. Is z(-12) prime?
False
Let z = -2 - 0. Let f be (-2)/8*z*-2. Is 161*(2 - (f - -2)) composite?
True
Let j(s) = 80*s + 22*s - 27*s. Let x be j(1). Let f = -53 + x. Is f composite?
True
Suppose 0 = 4*r - 0*r - 4. Is (11 - r) + 1 + 0 composite?
False
Let b = 932 - 665. Is b a composite number?
True
Let f(w) = -w + 15. Let v be f(15). Suppose v = 10*x - 11*x + 25. Is x prime?
False
Let w = 875 - 430. Is w composite?
True
Suppose 4*i + i + s = -11, 2*s = 5*i + 8. Let n be 3 + 1 + i + 231. Let y = -166 + n. Is y a composite number?
False
Let j(c) = c**3 + 18*c**2 - 17*c - 37. Is j(-18) composite?
False
Let x be ((-8)/(-12))/(2/15). Suppose 4*u = 2*l - 82, 6*l - x*u = l + 205. Suppose 24 = z - l. Is z a composite number?
True
Let z(b) = -b**2 - 13*b - 16. Let y be z(-11). Let j(w) = 2*w**2 + 6*w - 9. Let a be j(y). Suppose 0*d - 3*d + a = -2*h, -2*d + 71 = -3*h. Is d composite?
False
Let r(i) = -2*i + 1. Let l be r(-1). Suppose -3*v = 3*x - 30, 16 = -x - l*x. Is v a prime number?
False
Let o = -6 - -7. Is (o - 52)*-11 + 2 prime?
True
Suppose 3*d = 280 + 413. Suppose 4*y - d + 15 = 0. Let o = -31 + y. Is o composite?
False
Is 3 - 1/((-80)/(-28) - 3) composite?
True
Suppose 5*x - 908 = 3167. Is x a composite number?
True
Let m(g) = -g - 5. Let x be m(-5). Suppose 2*q = -x + 4. Let j(d) = d**3 + d**2 - 3*d + 1. Is j(q) prime?
True
Suppose l + 1 = -1, -5*r = -5*l - 485. Is r prime?
False
Let h = 44 + 21. Suppose h = -0*t + t. Is t a prime number?
False
Let s be -5 + 5 - (-9)/3. Let x(v) = -2*v**3 - 3*v**2 - 2*v. Let h be x(-4). Let g = h - s. Is g a composite number?
True
Let s be 4 + 3/(-3) + 2. Suppose -5*l = -s*z - 445, -557 = -5*l + z - 96. Is l composite?
True
Let o(b) = b**3 + b**2. Let j be o(1). Suppose -4*t - j*r + 181 + 269 = 0, 564 = 5*t + 3*r. Is t a composite number?
True
Suppose -2 = 4*i - 2*j + 6, 4*j = -i + 16. Is 127*-1*(-1 + i) prime?
True
Suppose 0 = -3*r + r + 13274. Is r composite?
False
Let y(l) = -35*l + 25. Is y(-12) composite?
True
Let r(c) = -2039*c**3 + 2*c**2 - 3*c - 5. Is r(-1) composite?
False
Suppose -c + 925 = 3*g, 5*c = 4*g + 3*c - 1220. Is g composite?
False
Let t = 3 - 0. Let w be (-1 + t + 0)*1. Suppose -4*c = 3*b + 1, 3 = 5*c + w*b - 1. Is c prime?
True
Suppose z - 763 - 702 = 0. Is z a composite number?
True
Let q = -11 - -18. Let o be 1/(-3) - q/(-3). Suppose -o*h - 3*r + 41 = 0, 3*h + 0*r - 55 = 2*r. Is h prime?
True
Suppose -118 = -p - p + 2*s, -3*p - 3*s + 171 = 0. Is p prime?
False
Let g(j) = j**3 - 12*j**2 - 28*j + 8. Is g(15) a prime number?
True
Let q(c) = 148*c + 1. Let g = 8 - 7. Is q(g) a composite number?
False
Let n(f) = 210*f**2 - f - 13. Is n(4) a prime number?
True
Suppose -5*o + 705 = -3*x + x, x = o - 138. Is o a prime number?
False
Let t(d) = 8*d**2 + 12*d - 7. Suppose j = -4 + 9. Is t(j) prime?
False
Suppose 3*f + k = 2*k + 16, -5*f = 3*k - 8. Let g be f/10 + (-21)/15. Is (-1 + 112/g)*-1 a composite number?
False
Suppose 0 = -3*y - 201 - 393. Let l = y - -289. Is l prime?
False
Let u(v) = 49*v**2 - v - 1. Is u(-4) a prime number?
True
Suppose -2*v = -4*d - v - 1, 5*v = -15. Is 1*((-67)/1)/d a prime number?
True
Let c = -4 + 7. Suppose 4*l - 155 = -c*m, m + 125 = 4*l - 2*m. Is l prime?
False
Suppose -170 = j - 2*n, -j - 3*n + 857 = -6*j. Let o = 651 + j. Is o a composite number?
False
Let h be (-7 - 0)*2/(-1). Let p be (0 + 2 - 2) + h. Is ((-20)/7)/(p/(-49)) a composite num