r(y). Is w(q) prime?
True
Let u(w) = -13*w - 4. Let q = 2 - 5. Let y be u(q). Suppose -y + 261 = 2*p. Is p prime?
True
Let d(z) = -z**3 - 3*z**2 + 3. Let g be d(-3). Suppose 335 = g*j - 400. Suppose -j = f - 6*f. Is f prime?
False
Let i = 0 + 0. Suppose i = -5*n + 13 - 3. Suppose -3*z + 335 = n*z. Is z composite?
False
Let d = -139 - -287. Suppose -d = -v - 3*v. Is v composite?
False
Let y = -802 - -1535. Is y a composite number?
False
Let x be (-24)/((-3)/(-52)*-2). Suppose -2*t + 4*u = 2*t - x, 3*u = 4*t - 209. Is t prime?
True
Suppose -3*r = -79 - 137. Let g = r - 39. Is g composite?
True
Let v be 3*1 + (-18)/6. Let a(w) = -w**3 + w**2 + w + 55. Is a(v) a prime number?
False
Let w(f) = -5*f**2 - 1. Let a(k) = -6*k**2 + k - 2. Let v(u) = 3*a(u) - 4*w(u). Let b be v(5). Suppose -p = -b + 8. Is p composite?
True
Suppose 3*t - 70 = b + 1856, 0 = -4*b - 12. Is t prime?
True
Let z = -63 + 322. Is z composite?
True
Suppose t - 3*t = -4*a - 26, 3*t + a - 74 = 0. Is t a prime number?
True
Let b(n) = -n**3 + n**2. Let r(a) = -7*a**3 + 3*a**2 + a - 1. Let x(h) = 6*b(h) - r(h). Let l be x(-3). Is 131/l - 4/(-16) a composite number?
True
Is 492 + (-4)/(-12)*-3 prime?
True
Let j be 7 - (1 + 0/2). Let c be j/9 + 309/9. Suppose -4*q + c = -3*q. Is q a composite number?
True
Suppose 0*h = -h + 235. Suppose -3*v + h = 2*v. Is v a composite number?
False
Let t(o) = 15*o - 29. Is t(10) a composite number?
True
Suppose -3*i + 4641 = 3*t, 2*i - 5*t = -4*t + 3082. Is i a composite number?
False
Let h be (-2)/12 - 13/(-6). Suppose h*o - 14 = 3*p, -o - 3 = -1. Is (-3 + 0)*110/p a composite number?
True
Let b be ((-3)/3 - 4)/(-1). Is 416/b - 5/25 composite?
False
Suppose 2*j - 4*j + 12 = 0. Suppose 4*q - u - 1 = 153, 0 = -3*u + j. Is q composite?
True
Let o = 51 + -82. Let k = 222 + o. Is k a composite number?
False
Is ((-1015)/2)/(-5)*2 composite?
True
Suppose -405 = -3*b + 336. Is b prime?
False
Let x = 8 - 3. Suppose 5*n + 171 = 3*a, -1 = x*a + 14. Let b = n - -89. Is b composite?
False
Let u = 5 + -7. Let m be u/4*0/(-2). Suppose m = 2*f - 5*f + 69. Is f a composite number?
False
Is (-15492)/(-24) + (-6)/(-4) a composite number?
False
Let v = 230 + -160. Suppose -z - 4*a + v = -32, -4*z + 4*a = -368. Is z a prime number?
False
Suppose 0 = 4*g - 12, 3*u - 690 = 7*g - 2*g. Is u composite?
True
Let c be -8 - (0 - (0 - 2)). Let w = 0 - c. Is w a composite number?
True
Let m = -36 - -21. Let p be (12/m)/((-1)/(-5)). Is (-74)/p*(-4)/(-2) prime?
True
Let u(w) = -293*w. Is u(-3) a prime number?
False
Suppose 0 = -4*s + 12626 + 11954. Is s composite?
True
Let i = 12 - 8. Let s(t) = 5*t**2 + 17*t**2 + i - 4 + t. Is s(1) a composite number?
False
Suppose -4*t + 2*f = -0*f - 6, 0 = -t + f + 4. Is t/(-3) + 2892/18 a prime number?
False
Suppose 2*c = 3*h - 0*c - 1278, -2*h - 5*c + 871 = 0. Suppose i = -4*o + h + 161, 5*i = 2*o + 2901. Is i composite?
True
Let u(s) = -62*s + 3. Is u(-2) prime?
True
Let n(o) = -o**3 + 2 - 6*o - 4 - 7 - 5*o**2 + 2. Is n(-8) composite?
False
Suppose 0 = 9*v - 2*v - 1561. Is v prime?
True
Is (-21474)/(-54) - (-4)/(-6) prime?
True
Let l(h) = -23*h**2 - 5*h + 2. Let d(t) = -35*t**2 - 8*t + 3. Let i(v) = 5*d(v) - 8*l(v). Let o = 3 + -1. Is i(o) composite?
True
Suppose -20 = -4*h, 3*p = -p - 5*h + 13069. Is p prime?
False
Suppose -2*n - 89 + 267 = -4*q, -202 = -2*n - 4*q. Suppose 5*v - 230 = n. Let a = v - 28. Is a composite?
False
Let t(j) = -58*j + 1. Is t(-1) a composite number?
False
Is (-413)/(-4)*(2 - (-3 + 1)) a composite number?
True
Suppose -2*t - i - 2*i = 2, 0 = 4*t + 5*i. Suppose -f + 29 = 2*a + 2*f, t*f = 4*a - 47. Is a a composite number?
False
Let g = 316 + -125. Is g a prime number?
True
Let p(t) = -t**2 - 7*t - 6. Let d be p(-6). Suppose -w + 35 = -d*w. Let k = 70 - w. Is k a prime number?
False
Suppose 15 = -5*o - 4*m - 21, -3*m = 2*o + 20. Is (138/4)/((-2)/o) a composite number?
True
Is 4 + (-3 - -7) + 149 prime?
True
Let u = -9 - -62. Is u a prime number?
True
Suppose 8 = 5*k - k. Suppose -2*a - 134 = -2*y, -5*a = -k*y - 4*a + 130. Let p = y - 14. Is p a prime number?
False
Let w(z) = 2*z**2 + 3*z + 3. Let m be w(-2). Let o be ((-100)/(-6))/(2/3). Is (-10)/o + 327/m composite?
True
Let v = -27 + 248. Is v a prime number?
False
Suppose m - 139 = -4*u - 0*m, -88 = -3*u - 4*m. Suppose -3*z = -6*z + u. Suppose 2*p = z + 30. Is p prime?
False
Suppose 0 = -0*w - 2*w + 4. Suppose w*g - 19 - 97 = 0. Suppose -2*x + g - 6 = 0. Is x prime?
False
Suppose 3*l - 108 = 453. Is l a composite number?
True
Let z be (-1)/(-3) + (-56)/6. Let v be -2*(-3)/z*12. Is v/28 + (-107)/(-7) composite?
True
Let f(r) = -2*r**2 + 5*r - 6. Let d be 6/27 + (-183)/(-27). Let j(z) = -z**2 + 3*z - 3. Let h(s) = d*j(s) - 4*f(s). Is h(4) composite?
False
Let s(w) = 184*w - 3. Suppose -15 = 6*f - 9*f. Is s(f) a composite number?
True
Let p = -307 - -1128. Is p a prime number?
True
Let h(r) be the third derivative of -37*r**4/24 + r**2. Let i(p) = -2*p + 3. Let q be i(2). Is h(q) composite?
False
Let r(o) = o**3 + 5*o**2 + 4. Let y = 4 + -10. Let l be r(y). Let v = -18 - l. Is v prime?
False
Suppose -x - 4*x = -5, -5*q + 459 = -x. Is (-7)/(88/q + -1) a composite number?
True
Let o = 13 + -4. Suppose 3*l + g = 2*g + 12, o = -l - 4*g. Suppose 0 = n + l*n - 44. Is n composite?
False
Suppose -5*k = -4*k - 1. Is k/(-2)*(-3 - 63) composite?
True
Suppose 2*a - 15100 = z - 3*z, -4*z - 2*a = -30210. Is z a prime number?
False
Let q(l) = l**2 - l + 1. Let a be 21/27 - 4/(-18). Let o be q(a). Let b(t) = 52*t**2 + 2*t - 1. Is b(o) prime?
True
Suppose 0 = -5*t - 42 + 257. Let o be -15*((-6)/15 - -2). Let n = t + o. Is n a composite number?
False
Suppose -2*l = -2*m - 7*l + 168, 3*m = -5*l + 247. Is m prime?
True
Suppose -2*w - 4*a = -w + 9, -18 = -w + 5*a. Suppose 2*i = -4*s, i + 3*i = w*s. Suppose i = -y - 2*y + 42. Is y a prime number?
False
Let x be (-4)/(-16) + 215/4. Let r(w) = x*w - 1 - 2 + 2 + 2. Is r(1) prime?
False
Suppose -2*z = -7*z, -n - 4*z = -153. Suppose y + 2*y = 3*c + n, -4*y + 218 = 3*c. Is y a composite number?
False
Let t be 2*(2 + 18/(-4)). Let p = t - -5. Let w(j) = j**3 + j**2 + j + 14. Is w(p) a prime number?
False
Let u(d) = 8*d + 3. Let b = -22 - 0. Let t = -14 - b. Is u(t) a composite number?
False
Let d = 4995 + -1886. Is d prime?
True
Let v = 316 + -9. Is v prime?
True
Let a = 1 + -6. Is 1*124 + 3 + a prime?
False
Suppose s + 0*s + 5*y - 31 = 0, 32 = 2*s - 5*y. Suppose -2*j = -j - s. Is j prime?
False
Suppose -3*o + 1334 = -n, 12*n = 7*n - 25. Is o composite?
False
Let p = 14 - -39. Suppose 3*v - 127 - 107 = 0. Let r = v - p. Is r a composite number?
True
Let w be 9/45 + (-959)/(-5). Suppose -3*a = -3*o + 336, -146 = -3*o + 5*a + w. Is o a prime number?
False
Let h(s) = 3*s**3 + 4*s**2 + s + 3. Let y(n) = n**3 - n + 1. Let j(o) = -h(o) + 4*y(o). Let i be j(5). Is (3 - (i - -1)) + 30 composite?
False
Let k be 2/5 + 38/5. Is 10/k*2*14 a composite number?
True
Let d(i) = 3*i**2 + 10*i - 4. Is d(-19) composite?
True
Let b(u) = -u**2 + 5*u + 8. Let p be b(6). Let l = p + -5. Let z(h) = 5*h**2 + 3*h - 2. Is z(l) composite?
True
Let k(l) = -4*l**3 - 6*l - 4*l**2 - 5 - 2*l**2 - l**2. Is k(-4) a composite number?
False
Let l = -122 - -207. Is l a prime number?
False
Let a(i) = -525*i + 4. Let z(v) = 615301*v - 4689. Let m(n) = 4689*a(n) + 4*z(n). Is m(-1) a prime number?
True
Suppose 0 = 2*a - 8, 0 = 4*l - 3*a - 164 - 1348. Is l a composite number?
True
Let f = 2 - -1. Suppose h - 4*p - 109 = 0, 3*h - f*p = -p + 277. Is h composite?
False
Let c = 8915 - 4648. Is c a composite number?
True
Suppose 2*i - a = 1345, 2022 = -0*i + 3*i + 3*a. Is i composite?
False
Let q(f) be the second derivative of f**7/315 - f**6/240 - f**5/120 - f**4/12 + 2*f. Let r(n) be the third derivative of q(n). Is r(-2) a composite number?
False
Let t(v) = 5*v**3 - 2*v**2 + 3*v - 3. Let j be t(4). Suppose j + 149 = 2*b. Is b a composite number?
False
Let s(z) = 21*z - 3. Let n be s(2). Let t = n - 21. Suppose -2*o = o - t. Is o prime?
False
Suppose 4*y - 4*w - 36 = 0, 5*y - 5 = -7*w + 4*w. Suppose -1445 = -5*m - 5*h, -2*m - y*h = -m - 277. Is m prime?
True
Let t be -2*3/(-6) - -3. Suppose -h + s - 1260 = -6*h, -t*h + 979 = -5*s. Is h a prime number?
True
Suppose -4*o = -4*a - 96, -3*a = -