 d a composite number?
True
Suppose 4*v = -0*v - 2*o, 2*v = -4*o. Is v + 2 - -2*10 prime?
False
Let o be -5 + (2/2)/1. Let h = -2 + -2. Is (-150)/o - (-2)/h prime?
True
Let k = 55 - -102. Is k composite?
False
Let v be 134/11 - 16/88. Is (-410)/(-2) - (v - 10) a composite number?
True
Suppose -b + 303 = 99. Let y = b - -143. Is y prime?
True
Suppose 2*n + p + 25 = 0, 2*p + 59 = -3*n + 20. Let c = 5 + n. Let u(m) = m**3 + 7*m**2 - 6*m + 7. Is u(c) prime?
True
Let a(m) be the third derivative of 0 + 4*m**2 - 7/4*m**4 + 0*m + 1/6*m**3. Is a(-5) a composite number?
False
Suppose 2*t + 0*w + 2*w = 4, -4*t - 3*w + 11 = 0. Suppose -n = 4*k - 3*n - 528, 0 = 5*k - 3*n - 660. Suppose 0 = t*p - p - k. Is p prime?
False
Suppose 0 = -12*g + 17*g - 290. Is g prime?
False
Is 317 + (2/2 - 1) prime?
True
Let k(d) = 5*d**2 + 4. Let l be k(4). Suppose 0 = 2*i - 3*i + l. Suppose h + i = 5*h. Is h a prime number?
False
Suppose 3*c - 2834 = -0*c - n, 2*c = n + 1881. Is c a composite number?
True
Let q(k) = 28*k**2 - 7*k + 11. Is q(10) prime?
True
Is ((-3)/3)/(-1*(-1)/(-2707)) a composite number?
False
Suppose 4*o = -c + 25, 5*o + 0*c - c = 20. Let m = o + -11. Is (-455)/(-15) + (-4)/m prime?
True
Let z(p) = 25*p - 56. Is z(19) a composite number?
False
Suppose -8*u = -12*u + 668. Suppose 3*a + 2*r - 62 = a, -5*a = 2*r - u. Is a composite?
True
Suppose -4*l + 77 = -71. Is l composite?
False
Suppose -3*l + 5219 = -n, 5*l - n = n + 8699. Is l a prime number?
False
Suppose 198 = 3*s - 72. Let v = -25 + -16. Let x = s + v. Is x a prime number?
False
Let m(w) = 30*w**3 + 3*w**2 - 12*w - 4. Is m(3) a prime number?
True
Suppose t + 1 = -3*v - 59, 4*t = 0. Let j(d) = -4*d - 7. Let l be j(0). Let i = l - v. Is i a prime number?
True
Suppose -5*g - 12 = -2*d, -2*g - 5*d - 12 = 16. Let w be (-3)/12 + (-13)/g. Suppose 3*c + 255 = w*u - 0*c, -5*c = u - 109. Is u prime?
True
Let y(f) = f - 9. Suppose -5*z - 43 = -2*n, -15 = 2*z + z. Let p be y(n). Suppose p = -5*i + 111 + 4. Is i a composite number?
False
Suppose 0*x - 4*x = -552. Let u be 4/(-4*(-1)/x). Let f = u - 11. Is f prime?
True
Let m(g) = 622*g**2 - 4*g - 7. Is m(-3) prime?
False
Let n = -162 - -273. Suppose 4*o + 5*l - n = o, -3*l = 0. Is o composite?
False
Suppose -4*u + 9 + 22 = -3*n, -3*u + 2*n + 24 = 0. Let q(j) = j**3 - 11*j**2 + 14*j - 7. Is q(u) composite?
True
Let b(g) = g**2 + 8*g + 4. Let n be b(-8). Suppose -z - 5*f - 9 = -n, 0 = -4*z + 4*f + 28. Is 3 + (-1 - 0) + z prime?
True
Is -1*1 - -322 - (28 + -26) composite?
True
Let t(w) = w**3 + w**2 + 6*w - w**3 + 7 + 10*w**2 + w**3. Is t(-9) a composite number?
True
Suppose 8*h - 38467 = -5*h. Is h composite?
True
Suppose 4*i - i - 150 = 0. Suppose -2*s - 3*s = -i. Is s composite?
True
Let g = 5 + -3. Let y = -2 + g. Let q = 2 - y. Is q prime?
True
Let s = 11 + -13. Is (1/s)/((-3)/114) composite?
False
Let v(g) = g**2 + 10*g - 7. Let k be v(-11). Is k/18 - 1742/(-18) a composite number?
False
Let i(y) = 3*y**3 - 13*y**2 + 2*y - 5. Let b be i(9). Suppose -2*u - 5*k + 1398 = 0, 3*k - b = -2*u + 259. Is u a composite number?
False
Suppose -1201 = -5*z + 1244. Is z prime?
False
Suppose -s = s - 1040. Suppose -r + 496 = 4*n, r - s = -2*n + 6*n. Suppose -4*v + r = -0*v. Is v composite?
False
Let k = 11 + -11. Is (-298)/(-4)*(k - -2) a prime number?
True
Suppose 4*a - 7*x - 18 = -2*x, -6 = 3*x. Suppose -4*m + a*t = -1238, -200 - 96 = -m - 4*t. Suppose 0*n + m = 4*n. Is n prime?
False
Let m = -108 - -341. Is m composite?
False
Let h be 10 + -1 - (-1 - -1). Suppose -h*f + 11*f = 98. Is f composite?
True
Let i(u) = -3*u**3 - 12*u**2 + 12*u - 11. Let t(c) = 7*c**3 + 25*c**2 - 25*c + 23. Let p = 23 + -32. Let l(k) = p*i(k) - 4*t(k). Is l(6) a prime number?
True
Let b be 0 + 5 + -2 + 1. Let y be (-22)/5 + b/10. Let h(s) = 3*s**2 + 2*s - 5. Is h(y) a prime number?
False
Suppose 3*v - 5*t = 458, -3*v - 2*t + 478 = -3*t. Is v a composite number?
True
Let w(d) = d**2 - 7*d + 2. Let u be w(7). Suppose 0*z - 55 = -3*v + u*z, -4*v - 5*z + 81 = 0. Suppose v = r + 5*y - 43, 4*r - 173 = -5*y. Is r a prime number?
True
Let q = -4 + 8. Suppose n = -q*n + 275. Is n a prime number?
False
Let s = -240 - -606. Suppose 4*r + 2*n - 3*n = s, 0 = r - n - 93. Is r composite?
True
Let z be 2*(3 + -3 + 2). Is ((-6)/z)/((-6)/76) composite?
False
Suppose -10 = -2*n, o - 2*n = 2*n + 86. Is o prime?
False
Suppose -5*k + 15 = -4*p, -4*k - 1 = p - 13. Suppose -3*m + 2*o + p*o = -581, 0 = 2*m + 3*o - 370. Is m composite?
False
Suppose -y = -4*r + 4*y + 120, -y - 30 = -r. Is (22/3)/(4/r) composite?
True
Let p(z) = -z**2 + 6*z - 2. Let f be p(5). Suppose -f*h + 8*h = 20. Suppose 5*g - 4*l = 253, 5*g - g = -h*l + 224. Is g prime?
True
Let w be (-1 + 4)*(-25)/(-15). Let s be (2 - 12)*(-4)/w. Suppose q + s*g = 3*g + 157, 0 = -2*g. Is q prime?
True
Let z(s) = s**2 - 8*s + 5. Let b be z(7). Let t = 10 + -6. Let r = b + t. Is r a composite number?
False
Let v = 1 + -5. Is 134/v*(-11 - -9) prime?
True
Let s be 2/(-7) - (-892)/(-14). Let q be (-4 - 11/(-3)) + (-89)/3. Let l = q - s. Is l a prime number?
False
Let m be ((-2)/(-4))/(4/8). Let y(x) = 90*x**2 - x. Is y(m) composite?
False
Let p(v) = -5*v**2 - 3*v + 1. Let b be p(-3). Let f = 70 + b. Is f composite?
True
Suppose -12 = f - 3. Is f + 11 + (1 - -84) a prime number?
False
Let s(v) = -v**2 + 16*v + 4. Let f(x) = 6*x**3 + 2*x + 1. Let c(q) = -5*q**3 - q**2 - 2*q - 1. Let m(u) = -5*c(u) - 4*f(u). Let p be m(-2). Is s(p) prime?
True
Let q(y) = y + 80. Let o be q(0). Let k be (6/(-4))/((-15)/o). Is 1/(-4) + 58/k prime?
True
Let g(j) = -261*j**2 + 7*j + 3. Let v be g(-3). Is (6/18)/((-3)/v) a composite number?
False
Suppose -7*i + 4345 = -2620. Is i composite?
True
Suppose 2*f - 11 = t, 3*f = -2*f - 3*t. Let y(j) = 1 + 2 - 4*j**2 - 3*j**2 + 3*j**f + 0. Is y(5) a prime number?
False
Suppose 2*z + 3*b + 1 = -2*b, -z + 5 = -3*b. Let c be (z/(-6))/(1/(-1497)). Let q = c + -128. Is q composite?
True
Suppose -4*s + 3*z + 1219 = 0, 5*s + 3*z - 2606 = -1062. Is s composite?
False
Suppose 0 = -0*n + 2*n + 2*d + 4, 5*n + 4*d = -6. Suppose 2*s - 10 = 0, -3*s - n*s = -3*c + 374. Is c composite?
True
Let c(k) = -53*k + 22. Is c(-5) a prime number?
False
Let x(r) = 3 + 3*r - 3*r + r**2 + 2*r. Let j be x(-2). Suppose t - j = 8. Is t a composite number?
False
Suppose 2*q + 0*q + 4 = -3*a, 5*a - 2 = q. Let m be (a - -174) + -5 + 7. Suppose 5*t + 11 = m. Is t composite?
True
Is (262/8)/(7 - (-5144)/(-736)) composite?
True
Let x = -5342 + 7803. Is x a prime number?
False
Let l = 25 - -31. Let h = 167 + l. Is h a prime number?
True
Let n = 4 - 0. Suppose 0 = -2*q - 3*r + 126 - 20, -3*q = n*r - 157. Is q a prime number?
True
Let f(x) be the second derivative of x**4/12 + x**3/2 - 5*x**2/2 - 3*x. Suppose -4*z = -h + 40, 49 = 4*z - 9*z + h. Is f(z) composite?
True
Let p = -495 - -312. Let t = p + 296. Is t composite?
False
Let l = 103 - -16. Is l a prime number?
False
Let y(v) = 2*v**2 - 4*v - 1. Let c be y(3). Let t(h) = 26*h - 3. Is t(c) a composite number?
False
Let o(t) be the second derivative of -3*t**5/20 - t**4/4 - 5*t**3/6 - t**2/2 - t. Let c(j) = -j**3 - 5*j**2 - 4. Let p be c(-5). Is o(p) prime?
True
Let t(n) = 4*n - 14. Let l = 27 + -17. Let w be t(l). Suppose -b - w = -2*i + 70, -2*i - 2*b = -90. Is i prime?
True
Let h(c) = 6 + c**2 + c - 4 - 1. Is h(-7) composite?
False
Suppose -2*r = 5*z - 28117, 5912 = 2*z + 4*r - 5338. Is z prime?
True
Let b = 108 + -2. Is b*(-2 + 3)/2 a prime number?
True
Let c = -257 - -659. Suppose 0 = -4*z - 238 - c. Let s = 239 + z. Is s a prime number?
True
Let o(w) = -w**2 + 6*w + 5. Let t be o(5). Let a = t - 5. Suppose 3*h + a*r = 224, -3*h + 4*r + 177 = -92. Is h composite?
False
Let x(j) = -9*j - 6. Suppose -28 = -0*n + 4*n. Is x(n) prime?
False
Suppose 5*w = 30 - 0. Suppose -w*g = -2*g + 284. Let v = g + 122. Is v a prime number?
False
Let c(d) = d**2 - 10*d - 22. Is c(19) composite?
False
Let j(k) be the second derivative of k**5/20 + 7*k**4/12 - 7*k**3/6 + 4*k**2 - k. Suppose 0 = -2*z + 1 - 15. Is j(z) a composite number?
True
Suppose 0 = -5*o + 15, 3*h = 3*o + o + 2691. Is h a prime number?
False
Suppose 2*b - 188 = -70. Is b a composite number?
False
Let y = -163 - -8232. Is y a composite number?
False
Suppose 0 = -q + 4*s - 0*s + 3