 = -2*h - d, -2*w = h - 6688. Is (-3)/(-6)*w/3 prime?
True
Suppose -8*c + 3*c - 4*j = -63985, -3*c - 6*j = -38409. Is c composite?
True
Let h = -22 + 25. Suppose -5*u + 48 = -h*j + 6*j, -j + 33 = -4*u. Is j a prime number?
False
Suppose 2 = 2*a + 5*f, 0*a = -4*a + 5*f + 4. Suppose 4*n + 4 = -0. Is 441/3 + a - n a prime number?
True
Let h(b) = -177*b**3 - 5*b**2 - 2*b - 3. Is h(-2) composite?
True
Is 12 + 1512/(-120) - 45668/(-5) prime?
True
Let v(z) = 673*z**2 - 14*z + 2. Is v(3) prime?
False
Let u = 696 + -281. Is u prime?
False
Suppose 26166 = -16*g + 259622. Is g prime?
True
Suppose 0 = o + 3*t - 6535, -2*o + o = -5*t - 6551. Is o prime?
False
Suppose -3*x = 2*b - 3*b - 19, -5*x = 4*b - 60. Let u be x/(-6)*(-6)/4. Let g(s) = 84*s + 1. Is g(u) a composite number?
True
Let q be -2*(-3 + (-31385)/10). Suppose -8*j - i + 15742 = -3*j, 2*j = -5*i + q. Is j prime?
False
Let c be -2 + 1 - (5 - 13752/4). Suppose c = 5*o + 937. Is o prime?
True
Let i = 14 + -16. Let z be 29541/21 + i/(-7). Suppose p = -2*p + z. Is p a composite number?
True
Let b(v) = -68*v - 39. Is b(-2) prime?
True
Let p(k) = k**2 - 7*k - 13. Let o(i) = -i**3 - 13*i**2 + i + 3. Let c be o(-13). Is p(c) a composite number?
False
Let t = -4861 + 44360. Is t a prime number?
True
Is 131*(6 - (0 - -5)) a composite number?
False
Let j = -2831 + 4780. Is j prime?
True
Suppose -2*d + 22 = 4*q - 4*d, 2*q - 4*d - 26 = 0. Suppose -q*l + 14 - 5 = 0. Is (92/6)/(2/l) composite?
False
Let s be -1*2*1 + 1. Let d = 440 + -439. Is s - d - (-287 + -2) composite?
True
Is -8 - (-1722 + -8 + 1) a composite number?
False
Suppose -201416 = -4*r - 0*n + 5*n, -5*r + 251811 = 4*n. Is r a prime number?
True
Let c be (2/(-6))/(-1)*-3. Is c - (3 - (2 + 495)) composite?
True
Let v(x) = x - 5. Let f be v(13). Let z(p) = 2*p + 5*p**2 + f - 3 + 10*p**2. Is z(4) a composite number?
True
Suppose 5*m + 2*y = 28, 4*m = 8*m + 3*y - 28. Is ((-2728)/(-32))/(1/m) a composite number?
True
Let k(q) = 7*q + 6. Suppose 10 = 2*g + 3*g. Suppose -g*i - i = -21. Is k(i) a composite number?
True
Let t(h) = 3638*h**3 - h. Is t(1) a composite number?
False
Let y = -4 - 11. Let o be ((-27)/y)/(12/40). Let v(w) = -w**3 + 14*w**2 - 7*w + 5. Is v(o) a composite number?
False
Is 3 + (3114 - -7) + -5 a prime number?
True
Suppose -533*q + 524*q + 24489 = 0. Is q prime?
False
Let a = 2168 - -261. Is a a composite number?
True
Is (468/(-270)*-3)/((-2)/(-9445)) a prime number?
False
Suppose 3*o = -4*h + 2 - 8, 4*h = -o - 10. Let v be 0/((o + 2)/2). Suppose -p + 3*u = -149, v*p = -p - 5*u + 173. Is p prime?
False
Suppose -g = c - 5*g + 24, -4*c - 26 = -2*g. Is c + 2 + 80 + (1 - 2) a composite number?
True
Let g(k) = -k**2 + 3. Let w be g(-3). Let x(b) = 4*b - 4*b**2 + 7*b**2 + 1 + 0. Is x(w) prime?
False
Let r = 3563 - 2374. Is r prime?
False
Let j be 3262 - (-1 + -1 + -2). Let n = j + -1723. Is n a prime number?
True
Let t be -2*(-250)/4 - (-16 + 17). Is t + (-190)/(-70) + 4/14 prime?
True
Is (12929 - 0/2) + (44 - 44) a prime number?
False
Let l(w) = 18*w + 20. Let o(u) = 27*u + 29. Let n(d) = 7*l(d) - 5*o(d). Let i = -6 - -4. Is n(i) a composite number?
False
Let s(q) = -4*q - 34. Let a(c) = -2*c - 17. Let x(p) = -13*a(p) + 6*s(p). Is x(16) prime?
False
Let h(o) = 66*o + 7. Let t(c) = 33*c + 3. Let u(p) = 4*h(p) - 9*t(p). Let q be 171/456 - 102/16. Is u(q) a composite number?
False
Is 28/(-322) - (229084/(-46) + -1) prime?
False
Let d = -647 + 1073. Suppose -5*k + d = 4*s, -5*s - 4*k + k = -539. Is s a prime number?
True
Suppose -3*m + 4*i - 6086 = -8*m, 5*m + i = 6074. Let q = 647 + m. Is q a composite number?
False
Suppose -6*h + 179 + 5065 = 0. Let k = -503 + h. Is k a composite number?
True
Let h(d) = 15*d**3 + 3*d**2 - 2*d - 1. Let u be h(2). Suppose x + u = -3*z - 16, 2*x + 41 = -z. Is 8970/14 + (-14)/z a prime number?
True
Let t be ((-1)/1)/((-2)/178). Suppose 2*p = -y - 0*p + t, -2*y = -p - 153. Let w = 170 - y. Is w composite?
True
Let k(d) = -279*d + 1. Let v be k(-6). Suppose -v = 3*j - 8*j. Suppose -f - 4*f + j = 0. Is f a prime number?
True
Suppose 7*i + 302 = 1471. Let u = 1222 - i. Is u a composite number?
True
Let o(z) = -z**3 - 6*z**2 + 24*z + 27. Is o(-16) composite?
False
Let h be (2 + 0)/(2/3). Suppose -j + 8 = h*j. Suppose -j*p + 1096 = 2*p. Is p prime?
False
Let b(m) = 9*m**2 + 38*m - 29. Is b(-22) a composite number?
False
Suppose 10*z = 11*z - 4. Suppose -3598 = -z*x + 2*x. Is x a composite number?
True
Suppose 39 = i + 35. Is 194 + i*25/20 a composite number?
False
Let r(y) be the third derivative of -y**6/24 - y**5/20 - y**4/24 - 2*y**3/3 - 9*y**2. Let x be r(-3). Suppose -67 = -2*d + x. Is d a composite number?
True
Suppose -21*u + 295962 = -177399. Is u prime?
True
Let x(g) = -g**2 - 10*g - 15. Let f be x(-8). Is f*(-1 + 5) + (-6426)/(-42) a composite number?
False
Let k(r) = 535*r - 2. Suppose 0 = -4*p + 2*l - 2, 5*l - 35 = -6*p + p. Let g be k(p). Suppose -2*z - 2 = -6, -4*z = 4*s - g. Is s a prime number?
False
Let j be (-84)/(-8) + (1 - (-6)/(-4)). Let n(f) = f**3 - 9*f**2 - 8*f - 1. Is n(j) prime?
True
Suppose 2*p + 0*y = 2*y + 14, 3*p - 4*y - 25 = 0. Is 41552/24 - (-5)/p a prime number?
True
Let k(v) = v**2 - 5*v + 4. Let y be k(5). Suppose -y*r = 4*z - 3656, 8*z + 3681 = 12*z - r. Is z a prime number?
True
Let f(u) = -28*u**2 + 6*u - 2. Let y(x) = x**2 - 11*x + 10. Let j be y(9). Let p be f(j). Is (p/(-9))/((-4)/(-6)) a composite number?
False
Let v = 124 - 127. Is (958 - (v - 1)) + -1 a prime number?
False
Suppose 8 = 4*y, 3092 + 2523 = 3*j + y. Is j prime?
True
Let i(x) = 1138*x + 231. Is i(4) a prime number?
True
Let q = -11339 - -7040. Let u = -1642 - q. Is u a prime number?
True
Let v be (-4)/(-22) + 1006344/132. Suppose -5*w = -3*c - c + v, 9521 = 5*c - 4*w. Is c a composite number?
False
Suppose -4 = 5*z - 3*k, -2*z + 4*k + 6 = -k. Is (-1142)/(-16)*z*-4 prime?
True
Let a be (1 + -1)*(-8)/16. Suppose -2*c - c + 9 = a. Suppose 3*t - 45 - 1292 = -4*s, c*t - 1344 = 3*s. Is t prime?
False
Let r(h) = -88*h**3 - h. Let p(i) = -2*i**2 - 3*i + 2. Let q be p(-3). Let k = q - -6. Is r(k) a composite number?
False
Let t = 7435 - 1086. Is t a composite number?
True
Let f(x) = -x**3 + 19*x**2 + 17*x - 10. Is f(-11) composite?
False
Let z(k) = 66*k - 36. Let q(w) = 33*w - 18. Let r(s) = 5*q(s) - 2*z(s). Let b be r(-5). Let c = -34 - b. Is c composite?
False
Suppose 2159 = -5*i + 12634. Suppose -p + 5*c = -i + 175, -9745 = -5*p - 4*c. Is p composite?
True
Let c(h) = 444*h**3 + h**2 - 5*h + 2. Let j(k) = -889*k**3 - 2*k**2 + 11*k - 5. Let x(a) = -7*c(a) - 3*j(a). Is x(-1) composite?
False
Let d = -2559 + 4493. Is d a composite number?
True
Suppose -3388 + 840 = -4*v. Let t(u) = -u**3 - 25*u**2 + 2*u. Let f be t(-25). Let j = v + f. Is j a composite number?
False
Let w(g) = g**2 + g. Let h be w(6). Suppose -x + 4*x = h. Is 1103/7 + 6/x a prime number?
False
Suppose -76*z = -62*z - 210658. Is z a composite number?
True
Let s(x) = 212*x**3 + 6*x - 25. Is s(4) a composite number?
False
Let k(a) = -a**2 - 10*a - 7. Let u be k(-11). Is (3/(-1))/(6/u) composite?
True
Let t(d) = 4*d**3 + 4*d**2 - 4*d + 5. Let x be t(4). Let f be x/(-2)*(-16)/12. Suppose -70 = 4*a - f. Is a prime?
False
Let j be 3/((-21)/2)*-7. Let r(p) = -6*p - 36. Let q be r(-9). Suppose 0 = -j*v - q + 192. Is v composite?
True
Let y(l) = 39*l - 28. Is y(10) a prime number?
False
Suppose -4*g - p = 15, -p + 19 = -4*g + 2*p. Let v(m) = -m**3 + 4*m**2 + 12*m + 5. Let s be v(6). Is 217 + (-5)/(s/g) a prime number?
False
Suppose -n = -3, -2*a + 410 = -2*n - 1484. Suppose -5*m + 1620 = -3*u, -5*m + a = 4*u - 705. Is m composite?
True
Let v(h) = 524*h**2 + h + 8. Let c be v(-3). Let p = -3252 + c. Is p a composite number?
True
Let u = -83 + 74. Let t = 307 + u. Is t a prime number?
False
Let p = -22 - -39. Let t = p + -14. Suppose 2*u = -2*m + 4, t*m - 43 + 13 = 3*u. Is m prime?
False
Let i(h) = h - 1. Let d be i(5). Suppose 5 = -j - 5*p, -5*j - d*p = p + 5. Suppose b + 5 = j, 518 = -3*r + 7*r - 2*b. Is r a composite number?
False
Suppose 0 = -5*x - 7 + 32. Suppose 3*q + 3*k - 462 - 525 = 0, 0 = x*k - 20. Suppose -4*b + 511 = -q. Is b composite?
True
Is (1*(-341866)/(-28))/(1/2) a composite number?
False
Suppose 65*w + 23204 = 69*w. Is w prime?
True
Let s(n)