 d be -1 + a + 3 + -1. Suppose 8 = d*g - 0*g. Is g prime?
True
Let b = 1367 + -898. Is b a composite number?
True
Suppose 2*j + 0*j = 0. Is 345/(j - -3) + 0 prime?
False
Let h(j) = -1708*j + 13. Is h(-1) prime?
True
Let c be (9/(-4) + 3)*188. Is c + 10 + -3 + 1 a prime number?
True
Suppose 6*a - 2*a = 516. Is a a composite number?
True
Let c = 5 - 3. Let f = c - -1. Suppose f*i - 159 = 3*j, -265 = -3*i - 2*i + 3*j. Is i composite?
False
Suppose -2*i + 2 = 2*h, h + 4*i - 4 = -h. Is 211 + 2 + 0 + h a prime number?
False
Let v(y) = 3*y**2 + y. Let j be v(1). Suppose c - 2 = 3*c, 5*c + 465 = j*k. Is k a composite number?
True
Suppose 0*p + p = 2*q - 448, 2*q = -4*p + 438. Is q a composite number?
False
Let d(b) = -b**2 + 16*b - 10. Is d(7) composite?
False
Suppose 0 = 4*j - 67 - 65. Is j prime?
False
Let o be (-2 + 4 + -1)*-2. Let g be 3 - (o - (-4 + -1)). Suppose 3*l + g*l - 257 = 4*j, 0 = -5*l + 2*j + 447. Is l a prime number?
False
Is (-6)/8 + 36/(-16) - -1264 a composite number?
True
Let s(u) = -u - 3. Let i be s(-7). Suppose 128 = i*n - 5*q, -4*n = 3*q - 172 + 12. Is n composite?
False
Let o(b) = 91*b**3 - 2*b**2 + 1. Let i be o(-1). Let r = 129 + i. Is r a composite number?
False
Let x(w) be the third derivative of w**6/120 - w**4/24 + 223*w**3/6 + 7*w**2. Is x(0) a composite number?
False
Suppose 4*g + 4*r + 144 = 0, -2*g - 2*g - 144 = -4*r. Let x = -17 - g. Is x composite?
False
Let r = -1 - -1. Suppose 0*x - 3*x + 117 = r. Suppose -2*s = -x - 35. Is s a prime number?
True
Let q(i) = -22*i**2 + 3*i - 1. Let t be q(5). Is t/4*(-1)/2 a composite number?
False
Suppose 0 = 2*j - 8*j + 22758. Is j a prime number?
True
Suppose 4*p = -3*o + 3580, -5*o + 4*o = 5*p - 4475. Is p prime?
False
Let p(i) be the second derivative of i**5/20 - 5*i**4/12 + 5*i**3/3 - i**2/2 - 2*i. Is p(9) composite?
True
Let v(n) = n - 1. Let m be v(3). Let t(u) = 12*u**3 + 2*u**2 - 3*u + 3. Let q be t(m). Let a = q - 70. Is a a composite number?
False
Let c = -160 - -254. Let f = c - 59. Is f a prime number?
False
Let n(g) = g**2 + 0 + 4*g - g**2 + 23*g**2 - 1. Is n(-3) a composite number?
True
Suppose 0 = 7*g - 10*g + 915. Is g composite?
True
Let v(s) = -s**2 + 7. Let z = -1 - -8. Let u be v(z). Is (u/9)/(-2)*51 a composite number?
True
Let i(r) = r**3 - 6*r**2 - 7*r + 2. Let o(j) = -j**2 + 5*j + 3. Let w be o(4). Let k be i(w). Is (-6)/3*(-251)/k prime?
True
Let u(y) = 178*y**2 + 15*y + 16. Is u(-5) a prime number?
True
Let n(l) = -3 + 3 + 44*l**2 - 2*l - 4*l**2 - 3. Let j be n(-2). Suppose 3*d + 4*c = j, -2*c = -5*d + c + 278. Is d composite?
True
Suppose -4*r = 3*f + 14, 3*r - f = 4*f - 25. Let w(x) = -81*x - 13. Let z(y) = 41*y + 6. Let t(o) = -2*w(o) - 5*z(o). Is t(r) a prime number?
True
Let y(h) = h**3 + 4*h**2 + 5*h + 4. Let w be y(-3). Let l(k) = 23*k - 2. Let q be l(w). Let s = -23 - q. Is s composite?
True
Let z(f) = 190*f - 1. Is z(2) a prime number?
True
Let g(i) = i**2 + 9*i - 1. Let y be g(-9). Let k be -1 + 6 - (y + 4). Suppose 2*q + 5*w - 83 = 0, 9 = k*q - 3*w - 66. Is q prime?
False
Suppose t - 25 = -2*d + 6*d, 3*t = -3*d. Suppose -8*y + t = -3*y. Is -2 + y - (-180)/2 a composite number?
False
Suppose -4*f = -3*f - 5*v - 297, 0 = 5*f + 5*v - 1605. Is f a prime number?
True
Let r(g) be the first derivative of 4*g**3/3 - g**2 - 5*g + 2. Is r(6) prime?
True
Suppose -3*k + k - 12 = 0. Let i be (-4)/(-4) + k/(-2). Suppose -i*g + 187 = -161. Is g a prime number?
False
Let l = -178 + 32. Let n = 150 - l. Let t = -167 + n. Is t a composite number?
True
Let g(t) = t**2 - 8*t - 2. Let c be g(8). Is 15/c*86/(-3) a composite number?
True
Let s(n) = -n + 2. Let p be s(-4). Let z be ((-1)/3)/(2/p). Is 7*(z + 2)*1 composite?
False
Let u(t) = 137*t - 52. Is u(7) composite?
False
Suppose 5*h - 5*c = 50, 5*h - 4*h - 14 = 2*c. Let m(l) = l**3 - 3*l**2 - 2*l - 5. Is m(h) a prime number?
False
Is 105/(-84)*8/(-1) a composite number?
True
Let f(s) be the first derivative of -12*s**3 - s**2/2 + 3*s - 4. Let l(h) be the first derivative of f(h). Is l(-2) prime?
False
Suppose -12 = -5*g - 57. Let p(w) = 3*w**2 + 2*w - 2. Is p(g) a prime number?
True
Let j = -1 + 6. Suppose -2*b - 14 = -j*m, 3*b - 21 = -3*m - 0*b. Suppose -2*c = -3*n + 99, 51 + 54 = 3*n - m*c. Is n composite?
False
Let r(o) = -o**3 + 25*o**2 - 23*o + 34. Is r(23) a prime number?
True
Let w(b) = -b**3 + 16*b**2 + 17*b + 23. Suppose 2*m - 4*s - 22 = 0, 4*m = -2*s + 45 + 29. Is w(m) prime?
True
Let w(t) = -t**2 - 4*t - 2. Let o be w(-4). Let m = 87 - o. Is m composite?
False
Let m(i) = -i**3 + 8*i**2 + 8*i + 2. Let b be m(9). Is (b + -30)*1/(-1) composite?
False
Suppose 4*z - 216 = 496. Is z a prime number?
False
Let m = 1022 - 407. Suppose -4*x + m = -x. Is x a prime number?
False
Suppose -2*j = 2*m - 1557 - 3465, -3*j = -5*m - 7549. Is j a composite number?
True
Let a = 1 + -1. Suppose v + 28 = 4*w + 3*v, -v + 4 = a. Suppose 266 = w*u - 179. Is u a composite number?
False
Let o be 22/8 - (-1)/4. Suppose -p + o*p - 772 = -4*z, -2*p = 2*z - 390. Is z prime?
True
Let z be (-1 - -1)*(-5)/10. Suppose z = 3*c + j - 59, 5*j + 125 = 5*c - 0*j. Is c a prime number?
False
Suppose 5*m - 3*d = 12, -2 - 6 = -m + 2*d. Suppose s + m*s = -99. Let w = -32 - s. Is w composite?
False
Let h(v) = -1165*v + 3. Is h(-2) a composite number?
False
Let w(o) = o**3 - 3*o**2 + o + 1. Is w(8) a composite number?
True
Let l = 4 + -4. Suppose -a + l = 1. Let m(u) = -36*u - 1. Is m(a) a prime number?
False
Let c be (-69)/(-6) - 4/(-8). Let g = c + 6. Is 4/g + (-11720)/(-72) a prime number?
True
Suppose 3*u = r + 225, -5*u - 2*r + 3*r = -373. Suppose x + 7 = u. Is x prime?
True
Suppose -2*z + 6 = -z + 4*i, 1 = i. Suppose -53 = -z*x + n + 4*n, 3*n - 55 = -5*x. Is x a prime number?
False
Let a be 0 + ((-2)/1 - -4). Suppose 0 = 2*y - 0*u + a*u - 864, 0 = -5*y - 2*u + 2175. Is y a composite number?
True
Let v = 86 + 235. Is v composite?
True
Let i = -4 - -2. Let d be 1/i*2*53. Is (d/(-1))/1*1 a composite number?
False
Let j be ((-33)/(-2))/((-6)/(-8)). Suppose 5*f + 9 - 29 = 0. Suppose j = f*v - 126. Is v a composite number?
False
Let k(w) = -3 - 4 - 2*w + 3*w. Let o be k(6). Is (-3 - 28)/(1/o) a composite number?
False
Let b = 42 + -23. Is b a prime number?
True
Is -1*(2 - 1) + 4*87 composite?
False
Let p(r) = 459*r**2 + r + 3. Is p(-2) a composite number?
True
Suppose -2*q + q + 81 = 0. Suppose -92 = 4*j - 0. Let v = q + j. Is v a composite number?
True
Let x be (-4)/(4/5) - 1. Let f = -4 - x. Let n = 23 - f. Is n prime?
False
Let g = -17 + 11. Let j be ((-12)/(-8))/(g/(-3112)). Is 1/(-4) + j/8 composite?
False
Suppose 8*l = -19 + 2571. Is l composite?
True
Let x(s) = 3 - 1 + 7 + 2*s. Let o be x(-6). Is 1/o - 2334/(-9) prime?
False
Suppose 0 = -5*d - 5*v + 4685, 0 = -5*d - 4*v + 5287 - 605. Suppose -5*q = 219 - d. Is q a composite number?
True
Suppose 0 = 3*k - f - 26, 0 = 2*k - k - 4*f + 6. Let s = -2 + 22. Let y = s - k. Is y composite?
True
Let q(n) = n**2 + 8*n - 15. Is q(14) prime?
True
Let h(a) = 18*a**2 + 3*a + 35. Is h(-8) prime?
True
Let r = -78 + 111. Is r composite?
True
Suppose 5*u - 70 = -10. Is ((-1114)/(-4))/(6/u) a composite number?
False
Is 115 + 0/(-2) + 4 a prime number?
False
Let n be (-4)/(-10) - 17/5. Let p be ((-1)/(-1))/(n + 2). Is ((-1)/(-2))/(p/(-38)) composite?
False
Let h = -12 + 14. Suppose -7 = -h*b + 39. Is b prime?
True
Suppose -4*n = -2*h + 166, 3*n - 343 = -4*h - 0*n. Let o be (-20)/(-6)*(-14 - 1). Let k = o + h. Is k a composite number?
True
Let g(j) = j - 6 + j - j**2 + 2*j**2. Let w be g(-5). Suppose 0 = -2*q + 85 + w. Is q a composite number?
False
Let v(c) = -15*c + 13. Is v(-7) prime?
False
Let n(x) = 87*x - 6. Let j(f) = f + 1. Let c(t) = -j(t) - n(t). Let p be c(-5). Suppose p = -2*d + 7*d. Is d a composite number?
False
Let b = 22 + 12. Suppose d - b = -s, -s - 3*d = -d - 30. Is s prime?
False
Suppose 2*d = 5*r - 147, 3*r + 5*d - 150 = -37. Suppose r + 122 = 3*x. Is x composite?
True
Suppose 3*h = -h - 8. Is (1 - (-9)/h)*-14 prime?
False
Suppose -5*p - 4 = -3*l, 2*p + l - 3 - 2 = 0. Let y = 1 + p. Suppose 3*b = -y*b + 1435. Is b composite?
True
Let y(s) = 2*s - 14. Let v be y(16). Is 4/6 + 1266/v a prime number?
True
Suppose -c - 4*r = 10, -r = c - 3*r - 14. Suppose -c*o + 105 = -3*o. Is o a prime n