 b be x(d). Is ((-65)/3)/((-6)/b) composite?
True
Let i(x) = 2*x**2 + 4*x - 7. Let n(b) = b**2 + 2*b - 2. Let r be n(-4). Is i(r) prime?
True
Let d(m) = -m**3 + 22*m**2 - 11*m + 29. Let z be d(20). Suppose 12*f - 5*f - z = 0. Is f composite?
True
Let x(h) = 857*h - 2. Let p(r) = 856*r - 1. Let s(y) = -4*p(y) + 3*x(y). Is s(-1) composite?
True
Suppose -1891 + 430 = -3*m. Suppose -k + 3*z = -m, 0 = z + 3*z - 8. Is k a composite number?
True
Let g be ((-2)/(-4))/(12/72). Suppose 232 = -g*b - 5*w + 706, 790 = 5*b - 3*w. Is b prime?
False
Let f = 48412 - 33599. Is f a composite number?
False
Suppose 5*h + 4*f - 262 = 0, -5*h + f + 244 = -f. Let d be ((-3)/9)/(1/(-447)). Let o = h + d. Is o prime?
True
Let a be 8/(((-5)/2)/(-5)). Suppose -a*g + 1982 = -14*g. Is g prime?
True
Suppose 7*g = 10*g - 6. Suppose -g*b - 2*b = -624. Suppose -o = -b - 67. Is o a prime number?
True
Suppose -11*m + 2022 = -9*m. Let g = m - 322. Is g a composite number?
True
Suppose 4*w - 6864 - 1476 = 0. Let l = w - 3228. Let z = l - -2006. Is z a composite number?
False
Suppose -5*j + 25495 = 2180. Is j composite?
False
Let v = -6 + 10. Let d(a) = -v + 3 - 2*a + 0 + 159*a**2. Is d(2) prime?
True
Suppose 0 = -2*v + 10 - 0. Suppose -4*y - v = -9*y. Is (-209)/(0 + (0 - y)) composite?
True
Let r(j) = -8071482*j**2 - 12715. Let f(n) = -2539*n**2 - 4. Let i(p) = 12715*f(p) - 4*r(p). Is i(1) prime?
True
Let d be 56*(18/8)/1. Let u = 235 - d. Is u/(3 - 56/20) a composite number?
True
Let q be -936*((-11)/(-22) - 10/4). Let z = -1315 + q. Is z prime?
True
Let j be (-1)/(-1 - (-27420)/27424). Suppose 0 = 3*z + 5 - 20, 4*z = -4*t + j. Is t composite?
False
Suppose -17*x + 8749 = -4*x. Is x a prime number?
True
Let k be (-2)/(-5)*(-7 + 12). Let c be (-1 + k)/((-4)/(-4052)). Let u = c + -642. Is u a composite number?
True
Suppose -4*t + 0*t = 3*k - 8, 5*t = 10. Suppose -161 = -i + 2*p, 0 = -k*i + 5*i + 4*p - 791. Is i composite?
True
Suppose 0 = -0*f - f + 3. Let v be (0 - f)/(1/(-18)). Is (v/45)/(2/235) prime?
False
Suppose -4*u + 2*i + 8210 = 0, 4*u - 5*u + 2*i = -2051. Is u prime?
True
Let f(i) be the second derivative of i**3/6 - 7*i**2 + i. Let o be f(19). Suppose 4*w = -5*l + 621, -o*w = 5*l - 626 - 144. Is w a composite number?
False
Suppose 4*k + 4*r - 136864 = 0, 4*k - 68402 = 2*k + 4*r. Is k prime?
True
Suppose -10609 = 18*t - 157831. Is t a composite number?
False
Suppose 5*d - 1 = -5*t + 24, -19 = -5*d - 3*t. Let b be -11 + d - (-6 - -5). Let m = b + 61. Is m prime?
True
Let p be (-128)/(-56) + 4/(-14). Let k be (p - 1)*4 + -7. Let t(m) = -124*m + 1. Is t(k) prime?
True
Suppose 3*x + 0*i + 9 = 4*i, x = 5*i - 3. Let s be (-1)/(x + (-356)/(-120)). Let q = s + -16. Is q a prime number?
False
Let w = 26443 - -1036. Is w composite?
False
Let z be (-4 + 0 + 3)*-2. Is ((-213)/(-6) - z)*2 prime?
True
Suppose -4*x - 9971 = -2*i + 32123, -x + 105202 = 5*i. Is i a prime number?
False
Suppose 5*h + 2*j - 44583 = 45454, 2*h + 2*j - 36016 = 0. Is h a prime number?
False
Suppose 4*d - 5*v = 744 - 254, -5*d = v - 598. Let w = d - -41. Is w a prime number?
False
Suppose 3*a + 5*h - 14379 = 0, 5*h + 4565 + 248 = a. Is a composite?
True
Let g(k) = -40*k - 8. Let i be g(-2). Is (24/i)/((-1)/(-291)) a prime number?
True
Let a = -14 - -8. Let d(n) = 8*n**2 + 4*n + 4. Let u(t) = t**2 + t. Let j(p) = d(p) - 5*u(p). Is j(a) a prime number?
False
Let p(q) = q. Let r(a) = 2*a**2 - 3*a - 17. Let y(d) = -p(d) + r(d). Is y(-13) a composite number?
False
Suppose 4*g - d - 3846 = 0, 5*g + 3*d = -1845 + 6644. Suppose -5*s + g = 2*c - 907, -5*c = 5*s - 4655. Is c a composite number?
False
Let l = -8 - -17. Let y be l*116/42*7. Suppose 0*x = x + 4*w - 85, -2*x = 4*w - y. Is x prime?
True
Let v be 2200/(-6)*(-6)/(-4). Let n be (10 - v) + (-8)/(-2). Suppose -5*t + 1289 = -3*y, -3*y - n + 52 = -2*t. Is t prime?
False
Let t = -20 - -23. Let z be 2/t + 965/(-3). Is 3 - (z/3 - 3) a composite number?
False
Let p(m) = m**3 - 12*m**2 - m + 12. Let o be p(12). Suppose -2*j + o*j = 274. Let l = -52 - j. Is l a prime number?
False
Let y be (10137/(-6))/((-6)/12). Let v = y - 2018. Is v prime?
True
Let j = -124 + 96. Let g = 17 + 30. Let n = j + g. Is n a composite number?
False
Let p = 1847 + -1305. Let k = -27 - -24. Is k/3 + 0 + p prime?
True
Suppose -a - 6 = -4*a, 2*m + 4*a = -18. Let i(r) = -r**3 - 11*r**2 - 9*r + 26. Is i(m) prime?
False
Suppose 10*y = 7*y - 2*p + 1567, 1561 = 3*y - p. Is y composite?
False
Is 290941/7 - (-13 - -3) composite?
True
Let v(o) = 2*o + 11. Let b be v(9). Let m = b - 29. Let g(l) = -l + 65. Is g(m) prime?
False
Suppose 12186 = 3*q + 1959. Is q a composite number?
True
Let s(v) = -22*v**2 - 2*v + 1. Let j be s(1). Let l = j - -26. Is (-356)/(-8)*(l - 1) a prime number?
True
Let u(b) = -206*b - 93. Is u(-46) a prime number?
False
Let t(m) = -67*m - 18. Let j be t(16). Let a = j + 2067. Is a composite?
False
Suppose 2*m + 2 - 6 = 0. Let q(j) = -14*j**3 - 4*j**2 + 2*j - 2. Let i be q(-4). Is i*(4 + (-7)/m) a prime number?
False
Suppose 2287 = 2*z - z. Suppose 2*w - 2*r = 910, 0*w - r = 5*w - z. Is w a composite number?
False
Let d(u) = 2*u**3 - 22*u**2 + 67*u - 16. Is d(21) prime?
True
Let t(k) = k**2 - 3*k - 38. Let p be t(20). Suppose -4*u + 1086 + p = 0. Is u a composite number?
False
Suppose -2*t - 2*o - 8756 = t, t - 2*o = -2932. Is (-76)/(-95) - t/10 prime?
True
Suppose -4*j + j = -6, -4*c - 8708 = 4*j. Let t(g) = -93*g**2 + 3*g - 2. Let a be t(-4). Let u = a - c. Is u composite?
False
Let a(p) = 103*p + 12. Let m(o) = 103*o + 11. Let w(g) = -5*a(g) + 4*m(g). Is w(-5) a composite number?
False
Let v(s) = -5*s + 29. Let k be v(6). Let c(g) = 450*g**2 - g. Is c(k) a composite number?
True
Let k(h) be the first derivative of h**4/4 - 5*h**3/3 + 3*h**2 + 17*h - 3. Is k(9) a composite number?
True
Let c(u) = -149*u + 3. Let g be c(-3). Let d = 697 - g. Let b = d - 158. Is b prime?
True
Is 2*(-6)/(-24)*1*7282 a composite number?
True
Let x(p) = -15*p - 1. Let u = 1 + 5. Let y be ((-10)/(-15))/((-1)/u). Is x(y) prime?
True
Suppose -5*t + 4*f = 17, 2 + 0 = t + f. Let x be (-292)/(-6) + t/(-3). Suppose 0 = 4*n - 27 - x. Is n a prime number?
True
Let z be 4/4 - 4 - -785. Is (z/8)/((-10)/(-40)) composite?
True
Let o be 3*(-6)/(-9) - 3. Is o/(9/282)*(-9)/6 a composite number?
False
Suppose -39035 = -4*h + 2*m + 20097, 3*h - 2*m - 44349 = 0. Is h a prime number?
True
Let f = -2171 - -12852. Is f prime?
False
Let i = 3450 + 2912. Is i a prime number?
False
Suppose 2*g = 4*x + 6*g, 2*x = 4*g + 24. Suppose x = -i, 0*i = 3*l + 2*i - 1615. Is l prime?
True
Suppose 36*j = 62032 + 187916. Is j composite?
True
Suppose 79594 - 324493 = -9*l. Is l composite?
False
Is 1294/(-3)*(-17)/(204/18) prime?
True
Let d = -9 + 9. Suppose d = 4*q - 12, t + 2*q = 4*t - 12. Let r(v) = -v**2 + 7*v. Is r(t) prime?
False
Let m(t) = -34*t - 1. Suppose 0*d - 48 = -4*d. Let f be 3/(-2)*16/d. Is m(f) a composite number?
False
Suppose -5*i = 6042 + 3698. Is (-1)/(((-16)/i)/(-4)) a composite number?
False
Let k = -105 - -97. Is (262 + 1)*4*(-2)/k a prime number?
True
Let j = 744 + -423. Suppose -526 = -5*m - 2*h + j, -3*m + 503 = -4*h. Is m prime?
False
Let l be ((-48)/72)/(34/30 - 1). Is 1008/15 + 1/l composite?
False
Suppose a + 5*g = -a, -3*a + 4*g + 23 = 0. Is 22430/50 + 2/a composite?
False
Suppose -o = -j - 5*o + 266, 0 = -j - o + 251. Suppose 5*b - 936 + j = 0. Suppose 0 = -d - d + b. Is d prime?
False
Let k(i) = i**2 + i + 20. Let o be k(0). Suppose -3*m = 2 + 46. Is 5836/o - m/(-20) a composite number?
True
Let h = -10 + 15. Suppose h*k = -4*c + 27, -2*c + 2 + 12 = 2*k. Suppose -3*n + m + 38 = 0, 2*n + c = 4*n - 5*m. Is n prime?
False
Let m = 18291 - 6668. Is m a composite number?
True
Suppose -2*f + 24*r + 1154 = 19*r, 0 = -f + r + 583. Is f prime?
True
Is ((-3)/(-2))/(0 + (-24)/(-640624)) prime?
True
Let m(x) = -2*x**2 - x - 6. Let u be m(3). Is 4/18*1 + (-32745)/u prime?
True
Let f(y) = -457*y. Let b be -4 + (-40)/(-15) - 2/(-6). Is f(b) a composite number?
False
Suppose m + 29 = 3*d - 4*m, -2*d + 3*m = -18. Suppose d*x + 5*y + 23 = 0, -x - y + 3 = -2*y. Is (3 - 76)*-1 - x composite?
True
Let k = 1746 + -3234. Let j = k + 1028. Is 39/26*j/(-6) a prime number?
False
Let i(y) = 160*y + 11. Let f be i(24). Suppose 2*n =