/8 + 7/(-56) prime?
True
Let d(t) = -78*t - 1. Let m be d(-1). Suppose -b - 4*i - 81 = -2*b, m = b - 3*i. Is b a prime number?
False
Suppose -3*s - 598 = -5*s. Is s a prime number?
False
Suppose 4*d - 6352 + 908 = 0. Is d a prime number?
True
Suppose 0 = -4*x - 3 + 11. Suppose 310 = 4*b + x*t, -4*b - 2*t + 301 = 3*t. Is b prime?
True
Suppose -3*k - 5*x - 2 = -4*k, 0 = 5*k + 4*x - 10. Let i(b) = -k + 4 - 1 + 130*b. Is i(1) prime?
True
Let i(p) be the third derivative of 2*p**2 + 0*p + 367/120*p**6 + 1/6*p**3 + 1/60*p**5 - 1/12*p**4 + 0. Is i(1) composite?
False
Suppose o = x + 3 + 2, 0 = 4*o - 3*x - 17. Let q(k) = -3 + 0*k**2 + k**2 - 5*k + o*k. Is q(-7) prime?
True
Suppose q + 8 = -q + 3*s, -3*q = -4*s + 11. Let i = 2 + q. Is (-17 - 0)/(i/(-5)) prime?
False
Let d(u) = u**3 - 3*u**2 - 5*u - 6. Let w be d(6). Suppose 3*m - 132 = -2*f, 4*f = 4*m - 313 + 117. Let i = w - m. Is i a prime number?
False
Suppose 7 = q + 2*m, -4*m + 5 = -0*q - q. Suppose -5*p = 3*w - 4*w - 154, -3*p + q*w + 102 = 0. Is ((-28)/(-6))/(4/p) prime?
False
Is 0 - -5584 - (27 + -28) a composite number?
True
Suppose 1893 = -10*h + 13*h. Is h prime?
True
Let u(j) = 4*j**2 + 1. Let b be u(3). Let p = -18 + b. Is p composite?
False
Let d(h) = -h**2 + 8*h - 5. Let m(i) = i**2 - 9*i + 6. Let v(s) = 4*d(s) + 3*m(s). Let f be v(3). Is 138/f - 4/(-8) a composite number?
True
Let a = 10 + -8. Is (4/(-6))/(a/(-345)) a composite number?
True
Suppose k = 5*q - 10, -4*q + 4*k - 2 = -10. Suppose 9 = -g - 2*g, -2*i + 4 = -q*g. Is -1 - (-1 + i) - -10 prime?
True
Let n be 6/(-10) + 2849/(-35). Let p be (-8)/(-12) - n/3. Let k = p - -7. Is k prime?
False
Let n(t) = 3*t + 3. Let z be n(-3). Let c = 28 + z. Is c prime?
False
Let a = -34 - -80. Suppose -9 = y - a. Is y prime?
True
Let n = 831 - 572. Suppose f = -l - 4*l + n, -3*l + 149 = -f. Is l prime?
False
Is 28/(-112) + 4245/4 prime?
True
Let n(k) = -511*k - 23. Is n(-4) prime?
False
Let s(h) = -h + 1. Let t(z) = -2*z + 2. Let v(i) = -s(i) + t(i). Let k be v(2). Let j = 5 + k. Is j prime?
False
Let s(x) = 3*x**2 + 3*x. Let q be s(-2). Suppose 5*o + g - 17 = 3*o, 0 = -o - g + q. Let v = o + 11. Is v composite?
True
Let g(z) be the first derivative of z**2 - 3*z + 1. Let b be g(3). Suppose 2*a - b*a + 65 = -4*n, 3*n = -3*a + 240. Is a composite?
True
Is 1216/6 - 1/(-3) a prime number?
False
Suppose -2*l - 6 = 2. Let b(p) = -p**2 + 5*p + 2. Let q be b(6). Is ((-170)/q)/(l/(-8)) prime?
False
Let o(q) = 0 + 3*q + 6*q - 1. Let f(y) = y**2 - 5*y + 4. Let t be f(5). Is o(t) composite?
True
Suppose 0 = 2*i + 2*c + 6, 2*c - 4*c - 6 = 4*i. Suppose -4*d = i, 3*d = -5*r + 2*d + 1905. Suppose -2*f - f + r = 0. Is f a composite number?
False
Let v = 96 - 65. Is v composite?
False
Let u be (-47)/(-9) + (-4)/18. Suppose -2*t + 4*t - 33 = -5*z, -u*t - z = -94. Is t a composite number?
False
Let k(b) = -b**3 - 7*b**2 + b + 5. Let l = -17 + 10. Let o be k(l). Let r(g) = 7*g**2 + 2*g - 1. Is r(o) a composite number?
False
Let z(p) = 52*p + 3. Is z(4) composite?
False
Let c(t) = t**3 + 11*t**2 - 2*t + 1. Let q = 6 + -8. Let j be 14/(-1) + (q - -5). Is c(j) a prime number?
True
Suppose 5*y = -9 + 29. Suppose -5*z - 16 = 3*i, -4*i - y*z - z - 28 = 0. Is (-370)/i - (-1)/6 a composite number?
False
Suppose g - 10 = -2. Suppose -2*d = -0*d - g. Let v(x) = -x**3 + 5*x**2 - 2*x + 6. Is v(d) prime?
False
Let l(s) = -4 + 34*s - 6 + 1. Is l(4) a prime number?
True
Let w = -6 - -116. Suppose -5*i + w = -4*f + 473, -4*i - 273 = -3*f. Is f prime?
False
Let v be ((-194)/(-3))/((-6)/(-9)). Suppose -v = -3*q - z, z - 33 = -q - 0. Suppose -3*h + q = 2*n - 0*h, 3*h + 46 = 4*n. Is n a prime number?
True
Let t be 17 - 2/2*-1. Suppose 4*c = 3*h - h + 14, -4*c + t = 2*h. Suppose 0 = -2*z + 2*r + r + 11, 32 = 2*z + c*r. Is z prime?
False
Let g(i) = i + 11. Let b be g(-5). Suppose 0 = y + 2*y - b. Suppose 2*k = -y*k + 148. Is k a prime number?
True
Suppose -2*r + 14 = 2*g, -2*g = -4*g + 6. Suppose 0 = u + r*u + 2*n - 105, n = 0. Is u prime?
False
Let n(s) be the second derivative of s**5/20 - 5*s**4/12 - 7*s**3/6 + 3*s**2 + 2*s. Let p be n(6). Is 74/2 - (p + 0) a prime number?
True
Suppose -484 - 386 = -6*p. Is p a prime number?
False
Suppose -1097 = -5*x + 1118. Is x a prime number?
True
Let w(g) = -15*g**2 + g - 4. Let s(p) = 15*p**2 - p + 5. Let b(c) = -2*s(c) - 3*w(c). Is b(3) prime?
False
Suppose 3*y - 1244 = -y. Let l = -100 + y. Is l a prime number?
True
Let n be -1*(0 - 4) + 1. Suppose -105 = 2*p - n*p. Is p a prime number?
False
Is 1420/(-6)*9/(-6) prime?
False
Suppose 2*w = -3*u + 966, 0 = 2*w - 0*w + 5*u - 966. Let z be 6/(-21) - ((-2241)/(-21) - -3). Let y = w + z. Is y prime?
True
Is 3943 + -3 + (-4)/((-4)/3) a composite number?
False
Let q = -63 + 178. Is q a composite number?
True
Suppose -2*q = -423 - 17. Suppose -z + q = 3*z. Is z a prime number?
False
Is (0/(-1) + (-33)/(-6))*254 prime?
False
Suppose 14 - 2 = 4*v. Suppose -178 + 1165 = v*n. Is n composite?
True
Let n be 10/(-4) - 1/2. Let s = n - -6. Suppose 23 = s*l - 91. Is l composite?
True
Let p be -906*(-3)/(18/(-3)). Let m = p - -762. Is m a prime number?
False
Suppose 145 = -m + 2*b, 5*b = 6*b. Is 2/3 + m/(-3) a composite number?
True
Suppose 6 = -3*i + 5*y, -i - y = -4 - 2. Suppose 0*n + 1 = 4*l - i*n, -3 = -5*l + 2*n. Is (0 - -74)*l/2 prime?
True
Suppose 2*h + 6 = -2*a, h + 3*h = 3*a + 9. Is 326/(a/(-6)*4) composite?
False
Let b(v) = -37*v**2 + 4*v + 5. Let f(s) = 36*s**2 - 5*s - 6. Let l(q) = -5*b(q) - 4*f(q). Is l(-2) a composite number?
False
Let c(u) = 134*u**3 - 4*u - 1. Let g(p) = -269*p**3 + 7*p + 2. Let m(b) = -11*c(b) - 6*g(b). Is m(1) a composite number?
True
Let a(p) = 3*p + 4. Suppose 6*f - f - 20 = 0, -5*c + 5*f + 20 = 0. Let h be a(c). Let q = h - 15. Is q composite?
False
Is -1709*(1 + -3)/2 prime?
True
Suppose 2*h + 6 = -5*l - 6, l = 3*h + 18. Is 42 + h + (-3 - -6) a composite number?
True
Let t(n) = 9*n**2 - 1. Suppose -30 = -2*r + 2*d, -30 = -3*r - 2*r - 4*d. Suppose -3*c - 2*c = -r. Is t(c) composite?
True
Is ((-3779)/4)/((-2)/8) composite?
False
Suppose -3*t - 2*k = -0*k - 6, 5*t - 26 = 2*k. Suppose -3*v = -t*v + 211. Is v a prime number?
True
Let r be 2/(-6) + (-132)/9. Let k = r + 28. Is k a composite number?
False
Suppose 1414 = 4*v - 70. Is v composite?
True
Let w = 6 + -3. Let n be 2 + 1*w/3. Suppose 159 = 5*a + 6*i - n*i, -5*a - 2*i + 161 = 0. Is a prime?
False
Is 2/10 - (-63020)/25 prime?
True
Let t = 72 + -5. Is t a composite number?
False
Let l be 3/7 + 21075/21. Suppose 0 = 5*b + 2*g - l - 275, 0 = 2*b - g - 517. Is b prime?
True
Suppose 19 = -5*w - 56. Let b be 3/(-2) - w/10. Suppose b = -2*c + c + 157. Is c a prime number?
True
Let v be (-2)/(-10) + (-306)/(-45). Let c = v - -2. Is c a prime number?
False
Let j = -759 + 537. Let f = -59 - j. Is f composite?
False
Is (-4)/10 - (-801)/15 composite?
False
Let q(z) = 13*z - 4 + z**3 + 6 - 17*z + z**2. Let a be 15/6*12/10. Is q(a) prime?
False
Let x(y) = 291*y**2 + 9*y + 1. Is x(-2) composite?
True
Let x(c) = 2*c**3 + 16*c**2 - 39*c - 10. Is x(7) a prime number?
True
Let k(n) = 18*n**2 + 1. Let q be k(1). Let d = 0 + 1. Is (27 - d)/(2/q) prime?
False
Let h be 3/2*(-6)/(-3). Suppose 34 = 5*q - h*n, 3*q = 4*q - n - 8. Suppose q*s - 3*j = 3*s + 421, -4*j - 832 = -4*s. Is s a composite number?
True
Suppose 0*v + v = -3. Let y be 9/v - (-13 + -1). Suppose -g + y + 2 = 0. Is g prime?
True
Let h = -2 + 5. Suppose -5*s + 5*a = 25, 0 = -a + 7 - h. Is -1 + (s - -2) - -11 a composite number?
False
Let h = 4552 - 3071. Is h prime?
True
Let q(d) = -203*d**2 + 2*d + 1. Let b be q(-1). Is ((-9)/6)/(6/b) a composite number?
True
Suppose 4*u = 3*v - 67, -2*u - 80 = -4*v + u. Is v/3*(5 + 16) composite?
True
Is -3 - (-3 + 3114/(-3)) - -3 composite?
True
Let i = 126 + -262. Let q = 219 + i. Is q prime?
True
Let p be 8/6*291/(-2). Is (p/(-3))/((-8)/(-12)) a prime number?
True
Let l(a) = a**3 - 5*a**2 + a - 1. Let j be l(3). Let p be (j + 2)*1/(-2). Suppose -p*x + 140 = -3*x. Is x composite?
True
Suppose -j = -5*q - 79, -2*j - 5*q + 173 = -45. Suppose 5*f - 4*d = -3*d - 165, 4*d = 3*f + j. Is f/((-9)/3) + 0 composite?
False
Let x(i) = 21*i**2 - 3*i - 1. Is x(-2) composite?
False
Let s = 512 + -301. Is s composite?
False
Let z(u) = -2*u**3 + 15*u**2 - 1