e -10 = b*m - 1358. Is m prime?
True
Is 17378*-1*((-210)/(-20))/(-21) a composite number?
False
Is 402338/14 - 45/105 composite?
True
Suppose -9*p + 14*p - 4*k = -41, -5*p = 4*k + 9. Is ((-21)/12)/(p/6140) prime?
False
Let n(l) = -l**3 - 7*l**2 + 27*l + 6. Let f be n(-11). Suppose 214 = m - f. Is m a prime number?
False
Let s(t) = 3*t**3 + 9*t**2 + 4*t + 13. Is s(7) prime?
True
Suppose -2*n = -6*n + 5*h + 156541, 4*h + 195683 = 5*n. Is n a composite number?
False
Let u be 57/12 - (-6)/(-8). Suppose -319 = -s - 3*k + 158, 0 = u*s + 3*k - 1935. Let f = s - 145. Is f a prime number?
False
Suppose b + 5*u = 107, 111 = 7*b - 6*b + u. Suppose -2*o - 2*o - 84 = 0. Let k = b + o. Is k a composite number?
True
Let k be 3 + ((-1)/((-4)/2536) - 2). Suppose -5*g - k = -5*z, -g + 165 = 3*z - 216. Is z a prime number?
True
Let i = 57000 - 27895. Is i a composite number?
True
Let i(p) = -p**3 - 2*p**2 + p + 2. Let a be i(-1). Suppose -3*b + 8*b + 30 = a. Is b/((-4)/(-2)) - -238 prime?
False
Let b(g) be the first derivative of 19*g**3/3 - 5*g**2/2 - 10*g + 10. Is b(-4) composite?
True
Let n = 123 + -220. Let x = 146 + n. Is x a composite number?
True
Let x be ((-36)/(-14))/((-5)/35). Let r = 12 + x. Is (89/2)/((-3)/r) prime?
True
Let x(g) = 59*g**3 + 2*g**2 - 3*g - 75. Is x(6) composite?
True
Suppose k - b - 7 = -3*b, 2*k - 4*b = 6. Let m be (10 - k)*(2 + -1). Is ((-166)/(-4))/(m/10) prime?
True
Let r(x) = x**3 - 14*x**2 - 7*x - 31. Suppose -5*s + 15 + 60 = 0. Is r(s) composite?
False
Suppose 36 = 7*q - 55. Suppose 8*u + 670 = q*u. Is u composite?
True
Suppose -5*m - 4*f = -18, -5*m - 4*f + 20 = f. Suppose 4*c - m*c - 1082 = 0. Is c prime?
True
Let s(f) = -5*f + 4385. Is s(0) a composite number?
True
Let o(i) = -i - 5. Let u be o(-4). Let n be u/(-2) + (-4)/8. Suppose n = -7*q + 3*q + 436. Is q a composite number?
False
Let b(t) = 9*t - 17. Let i be (19 - 16) + 0 + 1. Suppose -i*y - 22 = -2*k + y, -4*k + 2*y = -60. Is b(k) a composite number?
False
Let i(f) = -2*f + 13. Let m be i(6). Is (m*-1)/((-21)/29589) a prime number?
True
Suppose 0 = -4*o + 5*n + 1013, -3*n - 523 = -2*o - 6*n. Is o a prime number?
True
Suppose -6 = -14*r + 15*r. Is (2 + r - -7) + 1690 composite?
False
Let y be 27662/12 + 7/(-42). Let x = 3462 - y. Is x a prime number?
False
Let y be (-4)/18 - 132*8/108. Let t(s) = -304*s + 39. Is t(y) prime?
True
Is (115734/(-4))/(3/(-2)) a prime number?
True
Let s be 1*2/(6/69). Let q = 298 - 62. Suppose -s*j = -27*j + q. Is j a prime number?
True
Let u = 21967 - 14178. Is u composite?
False
Let k(r) = 33*r. Let m(u) = u - 1. Suppose 0 = 2*q - 1 - 1. Let w(v) = q*k(v) - 2*m(v). Is w(3) a composite number?
True
Suppose -3*s = g - 12, 4*s + 5 = -3*g + 26. Suppose -s*o = 6*w - w - 10, 0 = -3*w - 5*o - 10. Suppose w*x - 3*x = 310. Is x a prime number?
False
Suppose 0 = -9*m + 13*m - 12. Suppose m*c + 177 = d + c, 4*c - 768 = -4*d. Is d composite?
True
Suppose 5*u - 2*z + 0 + 4 = 0, -3*u + z - 2 = 0. Suppose 2*i - 7*x = -3*x + 466, u = -5*x. Is i composite?
False
Let i(s) be the second derivative of -3*s + 0 + 1/20*s**5 + 4/3*s**3 - 7/2*s**2 + 5/4*s**4. Is i(-10) a composite number?
True
Let y(k) = -4353*k - 15. Let q(s) = 272*s + 1. Let x(w) = 33*q(w) + 2*y(w). Is x(6) composite?
True
Suppose 0 = 13*k - 14406 + 4747. Is k prime?
True
Let h(k) = -3*k**3 + 4*k**2 - 7*k + 5. Is h(-12) prime?
True
Suppose -249126 - 59347 = -29*k. Is k a composite number?
True
Let s(l) = 8 - 3*l - 3*l**2 + 5*l**3 - 6*l**3 + l**2 - 3*l**2. Is s(-10) a prime number?
False
Let n = 14 - 9. Suppose -7 - 13 = n*x. Is ((-340)/(x - -2))/2 prime?
False
Let r = -332 - -44. Suppose 0 = 4*z + 8, 2*a - 930 = 3*z + 320. Let i = r + a. Is i composite?
True
Suppose -11*t + 8778 - 121 = 0. Is t a prime number?
True
Let w(z) = 8*z**2 - 99*z + 29. Is w(18) a composite number?
False
Let x(u) = -2*u + 13. Let j be x(-6). Suppose -j = -2*i + 445. Suppose 4*k = -k + i. Is k composite?
False
Suppose 5*k + 4*i + 75 = -i, 3*k + 15 = 3*i. Let t(p) = 8*p**2 + p + 1. Is t(k) prime?
False
Let u(z) = 30*z**2 - 20*z - 13. Is u(9) a prime number?
True
Is (-93255)/6*(-30)/75 prime?
True
Let i = -5554 - -8373. Is i composite?
False
Let x(u) be the second derivative of -u**5/20 - 7*u**4/6 - 11*u**3/6 + 6*u**2 + 12*u. Let n be x(-13). Is (-8124)/(-84) + (-4)/n composite?
False
Let i be 162/((-64)/(-36) + -2). Let y = 856 - i. Is y prime?
False
Let d(o) = 2*o + 27. Let z be d(-11). Suppose -7*g + 9 = -z. Let c = g + 72. Is c composite?
True
Suppose -b = 22 + 3. Let x be -235*3*(-4)/30. Let m = x + b. Is m composite?
True
Let h(d) = -d - 4 + 3 - 61*d. Let t be 2 + (-126)/24 + (-1)/(-4). Is h(t) a prime number?
False
Let g(c) = -1431*c + 24. Is g(-3) prime?
False
Let r = 58836 + -3913. Is r a composite number?
True
Suppose -15 = -4*g - 7. Suppose -2*l - 4*q + 600 = g*l, 2*l - 272 = 5*q. Is (-3 + l)*(0 - -1) a composite number?
True
Let g(r) = -r - 5. Let u be g(-4). Suppose 2*l - 2*o = -7*o + 28, -4*o - 65 = -3*l. Is (0 - (3 + l))/u prime?
False
Suppose -19*n = -345 - 567. Let t = 365 - n. Is t prime?
True
Let p = 13 + -31. Suppose -m - 2*m - 1911 = 0. Is p/12 - m/2 prime?
True
Suppose 5*c = -5*h - 0*c + 25, 5*h = 5*c + 5. Let u be 4 - (-5 + h + 2). Suppose -819 = -5*q - 3*i + 2*i, -473 = -3*q + u*i. Is q prime?
True
Suppose -57388 = -3*x + 5*g, g = 4*x - 108984 + 32495. Is x a prime number?
True
Suppose -4*t + 18726 = -20462. Is t a prime number?
False
Is 17425/35 - 138/161 a composite number?
True
Is (7 + -14006)*(-9 + 8) composite?
False
Suppose 0 = -57*u - 250821 + 821220. Is u composite?
False
Suppose 0 = 115*u - 111*u - 33652. Is u a prime number?
False
Suppose -2*l - 2*l - 5*h = -65, l + 5*h - 35 = 0. Suppose -4*t - l = -6*t, -5*t = 3*z - 5854. Is z composite?
True
Suppose -a - 2*a + 18 = 0. Let f be (2135/14)/(3/a). Suppose -q - 4*i = -f, -5*q - 3*i + 757 = -700. Is q a composite number?
True
Let d be 3/(-2)*70/(-15). Let o(m) = 50*m - 5. Let y be o(d). Suppose 0 = -2*l - l + y. Is l a composite number?
True
Let c(o) = -32*o**3 + o**2 - 7*o - 5. Let g(l) = -l**2 + 4*l + 18. Let m be g(7). Is c(m) a prime number?
False
Suppose -4*a - 15 = 3*m, -15*m = -a - 19*m - 20. Suppose 0 = -l + 6*l - 25. Suppose l*v + 157 = k, -v + 2 = -a. Is k a prime number?
True
Let j be ((-1)/3)/(2/(-6366)). Suppose -3*c - 20 = -32. Suppose -k = h - 342, -c*k - j = -6*h + 3*h. Is h prime?
True
Is (8 - 17445/20)/(1/(-4)) prime?
True
Let w be 2 - ((-20)/4 - -4). Suppose 3 = 2*r + 3*c, 0 = -r + 2*c - w*c + 2. Suppose 0 = -4*i - s + 1806, 5*i - r*s = -2*s + 2253. Is i composite?
True
Suppose -d + 736 = 4*g, -5*g + 5*d = 125 - 1045. Suppose g = 3*p + p. Is p a composite number?
True
Suppose -3*f + v = -664, -5*v + 1384 = 4*f + 467. Is f prime?
True
Suppose -o - 4*o = -n + 27, 4*n + 3*o + 7 = 0. Let x = -9 + 12. Suppose 2*k - 165 = j, 0 = k - x*k - n*j + 162. Is k a prime number?
False
Let i = 11 + -10. Let a(h) = 2*h**2 - h + 1. Let s be a(i). Suppose 95 = s*b - 43. Is b composite?
True
Let p(i) = 2*i**2 - 6*i + 13. Let g(z) = 2*z**2 - 7*z + 13. Let a(y) = -2*g(y) + 3*p(y). Let w be a(-6). Suppose -467 = -2*h - w. Is h a prime number?
True
Let l(w) = -w**2 + 4. Let g be l(2). Let n(o) = 5*o - 1. Let h be n(1). Suppose g*s - 4*s = 3*z - 496, h*s - 492 = -4*z. Is s composite?
False
Let u(i) = -5*i + 20*i**2 + 27 + 2*i - 15. Is u(5) prime?
False
Let d = 4216 + -2451. Is d a composite number?
True
Suppose 5*x = 6*p - p - 19740, -p - 3*x = -3944. Is p prime?
True
Suppose -3 = -11*p - 3. Suppose p = -10*d + 17*d - 14329. Is d a composite number?
True
Let g(p) be the second derivative of 25*p**4/2 + p**3/6 - 33*p. Suppose -a - 4*a = 5. Is g(a) composite?
False
Let l(q) = 91*q + 26. Is l(3) composite?
True
Let c(d) = -2*d**3 + 7*d**2 + 5*d - 5. Let i be (-20)/(-110) + 4/(-22). Suppose i*t = t + 5. Is c(t) a composite number?
True
Let k = 697 + 22. Is k a composite number?
False
Suppose s - 4*c + 2 - 14 = 0, -2*c - 6 = -4*s. Suppose 4*k + 245 - 1529 = s. Is k a prime number?
False
Suppose 3*z - 32 = -s, -3*s - 8 = -3*z - 56. Is 309 - (-8)/s*-5 a prime number?
True
Is -2 + 35/(-10)*(3 - 153) prime?
True
Suppose 3*x = -5*w + 26311, 9007 = -3*w + 4*x + 24782. Is w prime?
True
Let s(k) = k**2 - 5. Let x be s(-3). Suppose 0*o - 17281 = -4*o - a, 