s(v) a prime number?
True
Let o(a) = a**2 - 5*a. Let d be o(5). Let z = d + 2. Suppose z*y - 115 = i, 69 - 24 = y + 2*i. Is y composite?
True
Let s(u) = u + 5 + 0*u + 0*u. Let d be s(0). Suppose -d*y = -755 + 270. Is y composite?
False
Let z = 175 + -122. Is z a composite number?
False
Let g(b) = 332*b - 4. Let x be g(6). Suppose -506 = -n - 0*c + c, x = 4*n + 5*c. Let k = n - 339. Is k a prime number?
True
Suppose 2*a - 5*j - 983 = 0, 34 = -5*j + 9. Is a a composite number?
False
Suppose -4*l = 2*p - 1 - 57, 3*p = -l + 82. Let g = p + -2. Is g prime?
False
Let g be 2180/6 + 6/9. Suppose -329 + 54 = -3*z - 4*b, -4*z - 4*b + g = 0. Is z prime?
True
Suppose 0*n + 7381 = n - 4*f, 2*f - 29614 = -4*n. Is 4/22 - n/(-11) a composite number?
False
Let l(g) = 139*g**2 - g - 3. Let a be l(-2). Suppose r + 2*r - a = 0. Is r composite?
True
Let b(a) = 2*a + 2*a + 1 - 3*a. Let j be b(-5). Let h = 37 + j. Is h a composite number?
True
Let u be 43/9 - 24/(-108). Let d = -228 + 348. Suppose 2*c - d = -u*y, 5*y - c - 105 = -0*c. Is y composite?
True
Suppose 0*b + 648 = z - b, 5*z + 5*b - 3230 = 0. Let g = z + -265. Is g prime?
False
Suppose 4*t + 41 = 269. Is t a prime number?
False
Let c(v) = -v**3 - v**2 + 3. Let w be c(0). Let p be (w/(-2))/((-4)/8). Suppose 3*d + 0*d = p*y - 81, 4*y = -d + 83. Is y composite?
True
Is 8/(-16)*(-148 - 0/2) composite?
True
Suppose 0 = -2*s - 3*h + 4, s + 5*h = 2*s - 2. Suppose o - 4*i = -0*i - 44, -5*o - 310 = -s*i. Is o/(-3) + 4/(-12) a prime number?
False
Let n = 155 - -56. Is n prime?
True
Suppose -6*a + 0*a + 390 = 0. Is a a composite number?
True
Let d = 6 + 1. Suppose -d*y = -3*y - 308. Is y prime?
False
Let v = 787 - 536. Is v prime?
True
Suppose -245 - 148 = 2*u + 5*a, 5*u - a = -969. Let y = 317 + u. Let s = -86 + y. Is s a prime number?
True
Let z = -88 + 148. Suppose -4*u + g = -9, 4*g + g + 5 = 0. Is z + u*3/(-6) prime?
True
Suppose n - 3*w - 11 = 0, -2*n + 2*w + 11 = 1. Let l(j) = -j**n + 5*j + j + j**2 + j**3 + 5 + 13*j**2. Is l(-6) composite?
True
Let b(h) = -h - 1. Let k be b(-6). Suppose k*r - 2*m - 255 = 0, 4*r - 227 = -2*m - 5. Is r prime?
True
Suppose 2*x - 5 = 1. Let s(o) = 49*o + 1. Let h be s(x). Let z = -71 + h. Is z prime?
False
Suppose 4*w - 24 = -0*w. Suppose -3*z = b - 3, 2*b + z - w = -0*b. Is ((-1)/b)/((-2)/534) composite?
False
Let a(v) = -5*v + 11. Let r be a(10). Let q = 326 - r. Is q a prime number?
False
Let u = -2173 + 3239. Suppose -2*s = -u - 504. Is s a composite number?
True
Suppose r + 2*r - 72 = 0. Suppose 0*p + r = -4*p. Is (-140)/(-12) - (-4)/p a composite number?
False
Let j(i) = 2*i**2 - 15*i + 9. Is j(-14) prime?
False
Let v = 9 - 9. Suppose -3*z + 207 = -v*z. Suppose z = -3*u + 471. Is u composite?
True
Let b be (104/(-3))/(-4)*9. Let h = -45 + b. Is h composite?
True
Let d = -4 - -7. Suppose 0 = d*p + 2*p - 25. Suppose -5*n + 5*o + 1 = -2*n, p*n - 4*o - 19 = 0. Is n a prime number?
True
Suppose 5*i + 50 = -5*a, 15 = -2*i + a - 4*a. Let k be 2/10 + 3/i. Suppose k*x - 105 = -5*x. Is x prime?
False
Suppose -3*f = 3, -2*g - 2*f - 252 = 2*f. Let d = -157 - -336. Let b = d + g. Is b composite?
True
Let r = 86 + 90. Suppose -2*v = 3*c - 115, r = 4*c - 5*v + 38. Is c a composite number?
False
Suppose 4*i + 10 = 38. Is (-2)/i + (-471)/(-7) composite?
False
Suppose 0 = -3*f + 2 + 4. Let n(y) = 53*y**3 - y + 0*y - f + 3. Is n(1) a prime number?
True
Let j = -195 - -604. Is j prime?
True
Suppose 0 = -5*v + 4*g + 776, g - 4*g - 309 = -2*v. Suppose 4*b - v = 3*b + z, 0 = -4*b + 5*z + 619. Is b prime?
False
Suppose 0 = -3*g - 4*b + 333, g + g = -2*b + 222. Suppose 2*t - 395 = g. Is t a composite number?
True
Let x(v) = -v**3 + 3*v**2 + 3*v - 3. Let z be x(4). Let n = -24 + 20. Let t = n - z. Is t composite?
False
Suppose o + 2*l - 2 = 0, -8 = 2*o - 6*o + 5*l. Suppose -5*a + 373 = -o*a - 2*k, -2*a + 266 = 3*k. Is a a prime number?
True
Let o(i) = -4 - i**3 - 3*i + 6*i + 2*i**3 - 3*i**2. Let g be o(3). Let a = 30 + g. Is a a composite number?
True
Suppose -3*y - 6 = 225. Let v = -44 - -26. Let p = v - y. Is p prime?
True
Let m(p) = -p + 3. Let l be m(0). Suppose 4*z - l*r + 0 = 4, -5*z - 30 = 5*r. Is 2*((-37)/z)/1 a composite number?
False
Let s be 1/(-1 - (-129)/126). Suppose -p - s = -5*p - 2*o, 0 = 3*p - o - 44. Is p composite?
False
Suppose -5*b + 8 = -7. Let a(v) = -9 - 9*v + 0*v**3 + v**b + 8*v**2 - 2*v**2 + 2*v. Is a(-6) a prime number?
False
Is (-2)/(-2*1/1867) a prime number?
True
Let k = 435 - 202. Suppose 5*d = 4*q - 867, 3*d - k = -q + d. Is q prime?
True
Suppose -3*g - 3 = -18. Suppose 0 = 5*d + g*h - 456 - 1584, 3*d + 2*h - 1219 = 0. Is d composite?
True
Let x(z) = 8*z**2 + 3*z - 4. Let y(w) = -w**2 + 5*w + 5. Let n(t) = -5*t**2 + 19*t + 19. Let r(h) = 2*n(h) - 9*y(h). Let a be r(-5). Is x(a) prime?
False
Let s be -3*(26/6 - 2). Let r = 14 + s. Suppose 3*f - 14 - r = 0. Is f a prime number?
True
Let s = -2 + 4. Suppose -s*l + 137 = -2*h - 111, 9 = -3*h. Is l composite?
True
Let n = 84 + -46. Is -1 + n - (-7 + 7) prime?
True
Suppose 1 = -5*x - 4. Let t(i) = 80*i**2 + 2*i + 1. Is t(x) prime?
True
Suppose g + 5*i = 166 + 48, -1136 = -5*g - 3*i. Is g/3 - (-10)/15 a prime number?
False
Let m(h) = -7*h**2 - 3*h - 3. Let t be m(3). Let k be 0*2/(-6) - t. Let v = -1 + k. Is v a composite number?
True
Let i = 21 + -35. Let v = i + 8. Is 80 + (-3)/(-3 - v) a prime number?
True
Let q be 3/(-3) + 1 + 0. Let o(v) = -v + 12. Let i be o(q). Suppose 3*l = -0*l - i, r - 18 = -l. Is r composite?
True
Suppose 5*b + 0*b + 10 = 0. Let c = 38 - b. Suppose -4*u = -2*g + c, -2*u - 2*u + 44 = 4*g. Is g a composite number?
True
Let p = -3 - -6. Let a be 3 - p/(4 - 1). Suppose a*k = 5*z + 86, 5*k - z - 173 = z. Is k a composite number?
True
Let u(y) = -y + 5. Let g be u(-5). Is (g/4 - 3)*-38 a prime number?
True
Let q(t) = 0*t + t - 3 + 2. Let m be q(5). Let s = 91 - m. Is s prime?
False
Suppose -51 = -n - 6. Let v be 2/(-5) + 18/n. Suppose 139 = -v*p + 2*p + d, 0 = 3*p - d - 206. Is p a composite number?
True
Suppose -7*c = 2*c - 36081. Is c composite?
True
Let y = 150 + 523. Is y a composite number?
False
Let q = 10 + -13. Let p(w) = -16*w**3 + 3*w**2 + 8*w + 2. Is p(q) a composite number?
True
Let s = -93 - -271. Is s prime?
False
Let j(m) = 10*m**2. Let n be j(1). Let z be 1185/6*16/n. Is (0 - -2)/(8/z) a composite number?
False
Let a(u) = 14*u**2 - 12*u - 12. Let o(k) = -13*k**2 + 11*k + 11. Let s(n) = -6*a(n) - 7*o(n). Suppose -5*f = -7 + 27. Is s(f) a composite number?
False
Let d = 4080 + -2245. Is d prime?
False
Suppose -3*l + l = 624. Let h = l + 455. Is h composite?
True
Suppose 887 = -8*h + 9*h. Is h a composite number?
False
Suppose -11410 = -3*j + j + 3*p, 0 = -j + 3*p + 5699. Is j prime?
True
Suppose -7*q - 3*q = -5570. Is q a composite number?
False
Let q(g) = 25*g**2 + 2*g - 2. Let v be q(2). Is -2 + v + 6/(-2) a prime number?
True
Suppose 5*j - 17 = 3. Is (-4470)/(-54) - j/(-18) prime?
True
Let r(h) = 5*h**3 - 2*h**2 - 9*h + 5. Is r(6) a composite number?
True
Is ((-12)/10)/(8/(-140)) composite?
True
Suppose -3*t = -2*t - 473. Is t prime?
False
Let f = 0 + 0. Suppose f*r + 79 = r. Is r prime?
True
Is 18/63 - (-2922)/14 a composite number?
True
Let q = 27 + -16. Suppose 8 = i - q. Is i prime?
True
Let i(r) = r**2 - 7*r. Let x be i(5). Let s(w) be the third derivative of w**5/60 + w**4/3 + w**3/6 + 2*w**2. Is s(x) a composite number?
True
Let d(b) be the first derivative of 2 - 5/2*b**2 + b. Is d(-2) prime?
True
Let r = 4 + -1. Let h = r - -36. Is h a composite number?
True
Let z(f) be the second derivative of f**5/20 - 2*f**4/3 + f**3/6 - f**2/2 + f. Is z(9) composite?
False
Let q = -4 + 3. Is 341/44*(q - -5) composite?
False
Suppose 5*x + 4 = x. Is x*(-573)/(1 - -2) a composite number?
False
Suppose q + 3*q = 16. Suppose -3*a = -q - 2. Suppose 0 = -3*x - a*x - 2*t + 419, 3*x = t + 247. Is x prime?
True
Suppose -293 = -5*c + 272. Suppose 3*s = 2*u + 1, 0*s + 6 = -2*s - 2*u. Is c - 1 - (s + -2) a composite number?
True
Let h(x) be the second derivative of x**7/840 - x**6/72 + x**5/40 + x**4/24 - x**3/6 + x. Let g(z) be the second derivative of h(z). Is g(6) a prime number?
False
Let x(n) = n**3 + n**2 + 87. Let i(d) = -2 - 3*d**2 - 3 + 4*d + 4*d**2. Let m be i(-5). Is x(m) prime?
False
