4 = -37. Is w prime?
True
Let j be ((-6)/(-4))/((-2)/(-4)). Let w(v) = -7*v + 2. Let y(g) = 8*g - 2. Let q(l) = 5*w(l) + 6*y(l). Is q(j) prime?
True
Suppose 5*h - 4 - 1 = 0. Let x(q) = 782*q**3 - q. Is x(h) composite?
True
Suppose -14 = 4*z - 2*o, o + 10 = 4*z + 23. Is (z - -13)*23/2 prime?
False
Let q = 343 + -221. Is q a composite number?
True
Suppose -3*j = 0, -268 = -0*u - 4*u - 2*j. Is u a prime number?
True
Suppose 4*b + 288 = -2*v, -v = -2*b - 3*b - 374. Let r = b + 125. Is r a prime number?
False
Suppose 2*r - 3*w - 66 - 74 = 0, 324 = 5*r - w. Suppose 2*k - r = -4*g + 166, 5*g = 3*k + 260. Suppose 5*f - 87 = -4*v, g = 3*f - v + 2*v. Is f prime?
True
Let t(s) = s**2 - 5*s + 5. Let p be t(5). Suppose -5 = 3*z + 1. Let o = p + z. Is o composite?
False
Suppose -5*h - 968 = -4*z, -8*z + 1215 = -3*z - 5*h. Let y = z + -98. Is y prime?
True
Let j = 1226 - -461. Is (-2)/(-4) - j/(-14) a prime number?
False
Suppose 0 = -3*d + 7*d + 1080. Let z = d + 866. Is ((-3)/(-6))/(2/z) a prime number?
True
Suppose 0 = -19*j + 20*j - 2885. Is j composite?
True
Let v(m) = m + 14. Let g be v(-10). Suppose 5*z = -c + 431, -4*z + c + 368 = -g*c. Is z composite?
True
Suppose -469 = -9*z + 1484. Is z composite?
True
Suppose -3*f + 1 = -d, 0 = -d - 5*f + 2*f + 5. Suppose d*h = -0*h. Suppose h = -p - 1 - 3, 5*p = 3*z - 32. Is z composite?
True
Let g = 66 - 47. Suppose -46 = -5*w + p, -3*w + g = -p - 7. Is w prime?
False
Let k = 5 + -2. Suppose f = -4*l - 4, 4 + 6 = f - k*l. Is (-806)/(-4) - 2/f composite?
True
Let b be (-5 + 10)*(2 - 1). Suppose -m = -4*w + 505, 3*w + w - b*m = 493. Is w composite?
False
Let b be (-1 + 2)*15/3. Suppose -1022 = 3*a - b*a. Is a a composite number?
True
Suppose 4*u + 12 = 0, 3*o + 4*u = 2087 + 1630. Is o a prime number?
False
Suppose -8 = -2*m, -4*i + i = -4*m - 1115. Is i prime?
False
Let r be ((-1)/3)/((-5)/240). Suppose r + 52 = 2*t. Is t a prime number?
False
Suppose 5*i - 1051 - 604 = 0. Let p = i - 204. Is p composite?
False
Let y = 700 + -309. Is y prime?
False
Is 5*(-295)/(-2) + 1/(-2) a prime number?
False
Let w = -9 + 13. Suppose -2*d + 90 = w*c, 4*d - 52 = -5*c + 131. Is d a prime number?
True
Suppose -2*n + 52 = 4*c, -n + 2*c - 10 = -36. Suppose 0 = -r - 2*r + 6. Suppose 2*b - n = -4*m, r*m - 19 - 7 = -2*b. Is b composite?
False
Let h = -259 - -460. Is h a prime number?
False
Let v(g) be the second derivative of g**5/20 - 7*g**4/6 + 2*g**3/3 - 5*g**2/2 - g. Let c be v(7). Let s = 451 + c. Is s composite?
False
Let y = 2005 - 1086. Is y a prime number?
True
Let p(k) = k**2 + 5*k. Let a be p(-6). Let y = a - 4. Is ((-26)/(-4))/(y/8) prime?
False
Let s(y) = y**3 - 4*y**2 + 5*y - 4. Let v be s(3). Suppose 0*t + v*t = 262. Is t composite?
False
Suppose 4*t = 5*q - 494 + 1958, 1851 = 5*t - q. Is t a composite number?
True
Suppose 4*v - 14 = -3*b, -5*v + 1 = 2*b - 13. Let a be 3 - (-2 + -2 + b). Suppose 4*n - 9 = -c + 53, a*n - 67 = 4*c. Is n a composite number?
True
Let o(h) = h**2 + 10*h + 13. Let m be o(-7). Let z(j) = 4*j - 11 + 3*j**3 + 0*j**3 - 7*j**2 - 4*j**3. Is z(m) composite?
True
Let o be (0/(-4 + 1))/1. Suppose o = -4*t + 21 + 55. Is t a prime number?
True
Let n be 16/(-72) - 40/(-18). Suppose 2*u = -n*u + 84. Is u composite?
True
Let x = 982 + -672. Suppose -n + x = n. Suppose -4*l = l - n. Is l a prime number?
True
Let f(i) = -5 - 389*i + 11 - 6. Is f(-1) composite?
False
Let w = -1670 + 3229. Is w a composite number?
False
Let z = -8 - -11. Suppose 511 = z*w - 3*q - 452, -5*w = -2*q - 1620. Let u = w - 183. Is u a prime number?
False
Is 2 - 4 - 0 - -41 prime?
False
Let n(s) = -s**2 - 5*s + 2. Let a(p) = -5*p**2 + 2*p**2 - 1 + p**3 + 2*p - p**2. Let k be a(3). Is n(k) a prime number?
False
Let m(g) be the third derivative of 5*g**6/48 - g**5/60 + g**4/8 - g**2. Let z(q) be the second derivative of m(q). Is z(3) composite?
False
Let g(n) = -n**2 - 5*n. Let v be g(-5). Let t be v*2*(-3)/6. Is -3 + t + 0 - -22 a composite number?
False
Is 14*(-1 - (-6666)/12) a composite number?
True
Let d(n) = n**3 + 3*n**2 - n - 4. Let g(m) = m**2 - m - 3. Let q be g(3). Let i be d(q). Suppose 5*y - i = 4*y. Is y prime?
True
Let p = 139 - -190. Is p composite?
True
Let i be -7 - (0 - 3 - -3). Let k = -7 - i. Suppose 3*m + t = -k*t + 287, t = -4*m + 382. Is m composite?
True
Let m(t) = -t**3 - 11*t**2 - 9*t - 8. Let f be m(-10). Let w = f + 0. Is 2/(w/(-14) + -1) a composite number?
False
Is ((-1)/5)/((-1)/5)*5953 composite?
False
Let q = 1 - 3. Let x = 49 - 15. Is 10*(x/4 + q) a composite number?
True
Let i(a) = a**3 - 11*a**2 - a + 16. Let j be i(11). Suppose 0 = -j*q - r + 1431, -582 = -2*q + 2*r - 0*r. Is q prime?
False
Suppose -2*o + o + 3*v = -3, -5*o + 3 = -3*v. Suppose o = 3*x - u - 468, 5*u = -x + 89 + 83. Is x prime?
True
Let z(s) be the first derivative of -s**2/2 + s - 1. Let x be z(-1). Suppose -140 = -3*h - x*y + 57, -123 = -2*h - 3*y. Is h a prime number?
False
Let g(v) = -2*v**2 - v**2 + v + 5*v**2 - 2 + 36*v**3. Let w(b) = 71*b**3 + 5*b**2 + 3*b - 5. Let k(y) = 5*g(y) - 2*w(y). Is k(1) a prime number?
True
Let x = 206 - 116. Let w = x - -731. Is w a prime number?
True
Let f = 103 + -36. Is f a composite number?
False
Suppose 2*g - 7 = 3*g + 2*r, 12 = -2*g - 3*r. Let b(x) = -x**3 - 2*x**2 - 2*x - 4. Let p be b(g). Is 3/((-6)/p)*-2 a prime number?
True
Suppose 9*v - 15 = 4*v, 2*v + 3195 = 3*u. Is u a composite number?
True
Suppose 0 = p - 5 + 1. Suppose 0 = -x - 3, p*a + 2 - 29 = 5*x. Suppose 340 = a*u + u. Is u composite?
True
Let x(m) = -52*m**2 - 3*m. Let z be x(3). Is (1/(-3))/(3/z) a composite number?
False
Let n(x) = x**3 - 8*x**2 + 8*x - 7. Let f be n(7). Suppose f = r - 14 - 92. Is r a prime number?
False
Suppose -d = 3*d. Suppose -3*h = 25 - 34. Suppose -h*x = -d*x - 105. Is x a composite number?
True
Let s(n) = n - 10. Let x be s(14). Suppose 4*l + 544 = 2*j + 2780, 0 = -3*l + x*j + 1687. Is l a prime number?
True
Suppose 0 = -0*b - 5*b. Suppose 2*r + 4 + 4 = b. Is 122/8 - (-1)/r a prime number?
False
Let v(g) = 5*g. Let m(x) = -5*x - 1. Let n(k) = 5*m(k) + 4*v(k). Suppose 0 = 4*t - t + 24. Is n(t) composite?
True
Let f be 36 + (-1 - -2 - 4). Suppose 47 - 5 = -3*t. Let p = f - t. Is p a prime number?
True
Let c(f) = 2*f + 1. Let z be c(-1). Is (-14)/(-35)*(z - -156) composite?
True
Let q(v) = -v**3 - v**2 - v + 177. Is q(0) composite?
True
Let o = -11 + 2. Let h = o + 13. Let r = 17 - h. Is r a composite number?
False
Let d = 13 + -22. Is d/6*(-436)/6 a prime number?
True
Let a be 6*((-1)/(-2) + -2). Is (-3)/a*(229 - -2) a composite number?
True
Suppose -3*y - 10 - 44 = 0. Let h = 12 + y. Is (h/5)/((-2)/265) prime?
False
Suppose -4*t = 2*d - 66, t - 3*d = d + 3. Suppose -2*b - t = -5, 0 = -2*c + 4*b - 20. Let i = 6 - c. Is i a composite number?
True
Let k be 1478/(-8) + 1/(-4). Let l = k - -312. Is l prime?
True
Let c(t) = 216*t**2 + t + 2. Is c(-1) composite?
True
Suppose 4*q - 13 = 4*w + q, 20 = -5*w + 3*q. Let a(c) = 5*c**2 - 8*c - 6. Is a(w) a prime number?
False
Suppose n - 312 = -u, 0 = 3*n - u + 2*u - 926. Is n composite?
False
Let l be 1/(-4) + (-708)/(-16). Suppose v = b + 10, 2*v - b + 5*b - l = 0. Is v prime?
False
Let q = 85 + -37. Let o = -69 - -102. Let z = q - o. Is z a prime number?
False
Let m(u) = u**3 - 21*u**2 - 32*u + 33. Is m(23) a composite number?
True
Let b(q) = q**2 + q + 2. Let f be b(-2). Suppose 2*o - 22 = f*o. Let z = o + 18. Is z prime?
True
Let i = -359 - -209. Let j = i - -289. Is j a composite number?
False
Suppose 0 = -3*p - 32 + 299. Is p composite?
False
Let i(z) = 5*z**2 - 6*z + 2. Let l be i(4). Let r = l - 6. Suppose r + 41 = 3*n + 3*p, -5*p - 175 = -5*n. Is n a prime number?
False
Let h(v) = v**3 - 21*v**2 + 19*v - 25. Is h(22) composite?
False
Let o(f) = 2*f**2 + f + 10. Let x be o(0). Suppose 0*v + 4*v = -40. Is (-256)/v + 4/x a prime number?
False
Let a = 4 + 5. Suppose 5*h - a = 96. Is h a prime number?
False
Let y = 81 - -13. Is y a prime number?
False
Let z(s) = 29*s**2 + s. Let p(a) = -87*a**2 - 3*a - 1. Let y(r) = 4*p(r) + 11*z(r). Let h(k) be the first derivative of y(k). Is h(-1) a composite number?
True
Is (1810/(-15))/(2/(-3)) a composite number?
False
Suppose -h + 24 = 2*x, 0 = -5*x - 2*h - 3*h + 50. Is (-270)/(-4) + x/(-28) composite?
False
Suppose 5