-3928)/t prime?
False
Suppose -3*k - 86999 = -4*v, 8*k = 3*v + 9*k - 65233. Suppose 39*b = 176257 + v. Is b a composite number?
False
Suppose -5*w - 1 = 4*y, -8*w = 5*y - 6*w + 14. Let n = y - -8. Suppose 4*f + 1881 = b - 1234, -5*f = n*b - 12397. Is b a composite number?
True
Let x = -378 + 173. Let c = 650 + x. Is c composite?
True
Suppose 22*t = 12*t + 13430. Is t composite?
True
Suppose 2*h + 16 - 2 = 0. Let v(f) = -4*f - 17. Let n be v(h). Suppose -n*i = -7*i - 6484. Is i a composite number?
False
Suppose 5*m = 3*f - 4369, 6*f + 2*m = 3*f + 4376. Let r = 3008 - f. Let a = r + 9. Is a a prime number?
True
Is -18 + (-1263)/(-15)*6805 prime?
True
Let l be 33/9 + (-2)/3. Suppose -4096 = -2*m - l*i + 1649, i + 1 = 0. Suppose 30*f - m = 27*f. Is f composite?
True
Is 31723*7/(-28)*-8 - 1 a composite number?
True
Is ((-198)/11)/(-9)*(-305897)/(-2) prime?
False
Suppose -3*w + 1143948 = 4*t, 5*w + 1429970 = -9*t + 14*t. Suppose x - t = -29*x. Is x prime?
True
Let h = -13 - -42. Let q = 31 - h. Suppose a + 4*z = -a + 1414, -q*a = -z - 1399. Is a prime?
True
Suppose 4*j - 6*m - 356909 - 448611 = 0, 3*j - 4*m = 604143. Is j a prime number?
True
Suppose -6 = 3*y, n - 15 = -4*y - y. Suppose 7*w - 4 = -n. Is 1087*(w + 0 + 4) composite?
False
Let i(z) = -118*z**3 + 3*z**2 + 65*z + 159. Let x be i(-4). Let g be (2/(-6))/(1/(-15)). Suppose -g*s + x = 1204. Is s a prime number?
True
Suppose 38106 = -5*v + 6*v + 5*w, -114330 = -3*v - 3*w. Is v a prime number?
False
Let j(s) = -3*s + 1. Let x(d) = 5*d - 2. Let h(t) = -7*j(t) - 4*x(t). Let r be h(4). Suppose -p - r*p = -1578. Is p a composite number?
False
Let y = 33 - 28. Let d(v) = 5*v**2 - 4. Let m be d(y). Let k = -50 + m. Is k composite?
False
Let f(q) = -q**3 + 25*q**2 - 40*q - 35. Let v(p) = p**2 + 9*p - 4. Let t be v(2). Is f(t) a prime number?
False
Suppose -6*o + 10*o + 2 = -2*u, 0 = 5*u + 2*o - 3. Is 1530 - (u*(-2 - 0))/2 a composite number?
False
Suppose -25*j = -105*j + 1213040. Is j a composite number?
True
Suppose -5*t - 40*m + 37*m = -6268111, -2*t + 2507240 = -m. Is t a prime number?
True
Let q(s) = -144*s**3 - s**2 + 4*s - 3. Let p be q(1). Let a = -17 - p. Is a a prime number?
True
Let u(s) = s**2 - 8*s - 2. Let k be u(8). Let p be 3/((1/k)/(28/(-42))). Is 109*(p/12)/(1/3) composite?
False
Let j = 13847 - 6822. Let z = -10943 + j. Is ((-4)/(-8))/((-3)/z) prime?
True
Let v(t) = t**2 + 7*t + 9. Let f(l) = -l**2 - 4*l - 4. Let j be f(-4). Let p be v(j). Let m(x) = -267*x - 4. Is m(p) composite?
False
Let l(a) = -12*a**3 + 3*a**2 - 11*a + 1. Suppose 0 = -3*p - 5*s - 39 + 6, 3*s - 15 = 4*p. Is l(p) a composite number?
False
Let d = -135 - -138. Suppose -d*k - 6*z + 2*z + 13485 = 0, 0 = -2*k + 2*z + 9004. Is k prime?
False
Suppose -79134 = 2*g + 4*x, -158268 = -9*g + 13*g - 4*x. Let f = g - -65090. Is f prime?
True
Let k = 52 - 50. Suppose 6*a + k*i = 4*a - 8, -3*a = -4*i - 2. Is 466/(3 - (3 + a)) composite?
False
Let u = 96 - 93. Suppose 4*j - 67775 = u*j. Is (-1)/(-2) + 1 - j/(-10) a prime number?
True
Suppose -140 = 3*z - 143. Is 5928 + 1/z*-5 a prime number?
True
Suppose 0 = 2*i - i - 5*t - 22, -3*i + 3*t = -66. Suppose 687 = k + 18*b - i*b, 4*k = -2*b + 2748. Is k a composite number?
True
Let k(s) = 5*s**3 - 20*s**2 + 137*s - 1979. Is k(15) composite?
False
Suppose -5*v = -5*w + 1567830, -5*w + 0*v + 1567854 = v. Suppose 16*f + w = 26*f. Is f prime?
True
Suppose 27 - 63 = -3*a. Suppose 6*v = 2*u + 2*v - 8666, -4*v - a = 0. Is u a composite number?
False
Let i = -167322 + 1180393. Is i a prime number?
False
Let s be -1 - (-8)/(32/12). Suppose 3982 = 5*h - 4*m + m, s*h - 3*m = 1591. Is h a composite number?
False
Let y(a) = 203*a**3 - a**2 - 2*a + 3. Suppose 6*k + 5*k = 44. Let v be (3 - (k - 2))*1. Is y(v) prime?
False
Suppose 0 = -j + i + 7280, -3*i + 2*i = -5*j + 36396. Is j a prime number?
False
Is (-2668443)/2*40/180*(0 - 3) a prime number?
True
Suppose -50*p = -112*p + 51*p + 1975479. Is p prime?
False
Suppose 4*w - 6 - 6 = 0. Suppose -5*g + 62408 = 53*g. Suppose v - g = -2*u + w*v, -2*u + 1096 = 3*v. Is u a prime number?
False
Suppose 3*m + 4*h = -86, 4*m + 182 - 57 = 5*h. Let r be m/(-9)*186*6. Suppose 0 = 6*y - 678 - r. Is y prime?
True
Suppose 45404 = 2*b + 4*m, 2*b - 44994 - 392 = 2*m. Suppose -4*r + b = 4*c, -4*c - 22681 = -4*r - 5*c. Is r a prime number?
True
Let d be 1*-2 + 0 - (-25 - -7976). Is d/(-21) - (-1)/((-21)/(-6)) a prime number?
True
Let l(h) = -12*h + 0 - 11 + 8*h + 0. Let k be l(-3). Is (4 + -6)*(k + (-1446)/4) composite?
True
Suppose 4*r + 12 = -2*o + 8*r, -2*o = 3*r - 23. Suppose 3*h = 4*m - 1811, 3*m - m = -o*h + 878. Is m prime?
True
Suppose -5*x - n + 4466 = 0, -4*x - n + 3572 = -0*x. Let z(b) = b - 1. Let c be z(6). Suppose -c*v - v = -x. Is v composite?
False
Let k(w) = w**3 - 6*w**2 + 6*w - 4. Let r be k(5). Let j(b) = 19*b - 3. Let s be j(r). Let d(l) = 10*l - 27. Is d(s) composite?
True
Let p = -57104 - -99661. Is p prime?
True
Let a = 2 + 3. Suppose 0 = 5*q + 3*p - 10, a*q - 10 = p - 3*p. Suppose 4*i - 1884 = -q*i. Is i a composite number?
True
Let c(u) = -u**3 + 12*u**2 + 4*u - 22. Suppose k + 2*k = -9. Let f be (11 + k + 1)*1. Is c(f) a composite number?
False
Let b(g) = g**3 + 7*g**2 + 11*g + 9. Let l be b(-4). Suppose -6*m - l = -5*r - 4*m, -4*r - m = -13. Suppose -2*s = -r*s + 631. Is s a prime number?
True
Let w = 78393 - 44626. Is w prime?
True
Suppose f = -4*f - 3*r + 35, -2*f - 3*r + 14 = 0. Suppose -f*o = -4*o. Suppose -v - i - 62 = -3*v, o = 5*v + 5*i - 185. Is v a composite number?
True
Is 18/14*(-21884968)/(-168) composite?
True
Let v(f) = 26*f**2 - 6*f + 10. Let j be v(10). Suppose 0 = 3*z - n + 5*n - 7672, 0 = -z - 5*n + j. Suppose -i - 1284 = -2*m, 5*m + 2*i = m + z. Is m prime?
True
Let w(z) be the first derivative of 11*z**3/3 + 15*z**2/2 + 47*z - 62. Is w(19) composite?
True
Let a(v) = -v**3 + 10*v**2 - 5. Let s be a(8). Suppose -3*i - 2*i + t - 234 = 0, -20 = -5*t. Let r = s + i. Is r composite?
True
Let m(i) be the third derivative of 5*i**4/12 + i**3/6 + 24*i**2. Let a be m(-2). Is (1 + -3)/(1/a*2) a prime number?
True
Let h(s) = -s**3 + 9*s**2 - 5*s - 16. Let o be h(8). Let y(r) = -r**2 + 6*r + 18. Let l be y(o). Suppose 0 = -l*j - 3*j + 5*q + 980, -3*q = 6. Is j prime?
False
Suppose -15*o = -18*o - 8523. Let l = -98 - o. Is l prime?
False
Is (-7)/(-14)*((-2816514)/(-9) + 0) prime?
False
Suppose 21*f - 62086 + 252199 = 0. Let q = f - -16204. Is q a composite number?
False
Let b = -191 - -24718. Is b a prime number?
True
Let o = -3 + 5. Suppose -6*h - 51 = -5*h - 5*s, 0 = 4*h + o*s + 226. Let c = h + 115. Is c a composite number?
False
Let k(b) be the second derivative of b**5/20 - b**2/2 + 8*b. Let j(n) = -3*n**3 - 14*n**2 - 22*n + 5. Let i(m) = -j(m) - 2*k(m). Is i(-12) a composite number?
True
Let a be (-256)/48 - (-2)/(-3). Let g be 2 - a - (-4 + 3). Suppose g*n - 5275 = 4*n. Is n prime?
False
Let c = -132806 - -268365. Is c a composite number?
False
Suppose -r = -p + 4, -r + 3*p + 9 = 21. Is (r + 6730/(-25))/(4/(-10)) a prime number?
True
Let j(f) = -4*f**2 - 29*f + 25. Let p be j(-8). Let v(i) = 7366*i - 9. Is v(p) a composite number?
True
Let r(p) = 3*p**3 - 9*p**2 - 8*p - 9. Let u = -156 + 169. Is r(u) a composite number?
False
Let n = 48308 + -28029. Is n a composite number?
True
Suppose -2*h = -20*h + 1134. Suppose -h*c + 45720 = -58*c. Suppose -4*d - 2*z + 0*z = -c, -d = -4*z - 2295. Is d a prime number?
True
Let i(f) = f**3 + 8*f**2 + 15*f + 7. Let p be i(-6). Let d = p - -20. Suppose 8*c = d*c - 1931. Is c a prime number?
True
Let i(b) = 3*b**3 + 84*b**2 - 26*b - 27. Is i(-24) composite?
True
Let r be (32/(-6) + 5)/(1/(-116091)). Let u = 72502 - r. Is u prime?
False
Suppose -25*m + 5552058 = -2343767. Is m a composite number?
True
Suppose -916*j + 891*j = -1550725. Is j a composite number?
True
Let w(h) = -h**3 + 2*h**2 + 215*h - 193. Is w(-50) prime?
True
Is 1 - -73554 - 440/((-1760)/40) composite?
True
Let b(i) be the first derivative of 7*i**3 + 25*i**2/2 + 8*i - 23. Is b(6) prime?
False
Suppose 0 = -5*o + 16 - 1. Suppose 0 = -3*n + 8*n - 4*a - 9239, o*a + 7391 = 4*n. Is n composite?
False
Let s(i) = i**3 - 47*i**2 - 47*i - 48. Let b be s(48). Suppose b = 2*l + 3*y - 20607 - 24419, 67539 = 3*l + 2*y. Is l prime?
Fals