Suppose 2*f - 26 = -l. Is f prime?
True
Let m = 23 + -18. Suppose -3*k - 4*y - y = 289, -m*k = -2*y + 430. Is -1*(0 - -3) - k composite?
True
Let y(v) = 15*v**2 - 7*v + 5. Let w(q) = 15*q**2 - 7*q + 6. Let k(a) = 7*w(a) - 6*y(a). Let h(r) be the first derivative of k(r). Is h(3) prime?
True
Let n be -105 - 5/(5/(-2)). Let x = n - -322. Is x composite?
True
Let c be -1*(-36)/8*-2. Let h = -5 - -33. Let f = c + h. Is f composite?
False
Let t be (-6422)/95 + 3/5 + -2. Let i = -177 - -297. Let z = i + t. Is z a prime number?
False
Suppose 8285 = 9*p - 4*p. Is p prime?
True
Let l(a) = 25*a**2 - 3*a - 7. Let p be l(-4). Suppose -4*n + 2*o = -730, 4*n = -0*n + 4*o + 732. Let u = p - n. Is u a composite number?
False
Let b(u) = u**2 + u + 4196. Let n be b(0). Suppose -2*a + n = 2*a. Is a a composite number?
False
Let y = -195 - -395. Let h = 350 - y. Is 5/2*(h - 8) a prime number?
False
Is 1*(10008 + -2) - (2 + -3) prime?
True
Let y(a) = 130*a**3 + 8*a**2 - 5*a + 2. Let u be y(5). Suppose 4*h - 3*i - u = 0, 4*h = 2*i - 5447 + 21869. Is h prime?
False
Suppose 5*w = -2*r + 2173, -5*r + 0*w + 5505 = -2*w. Suppose 5*h = -2*h + r. Is h a prime number?
True
Let i be 302960/90 - 6/27. Let a = i - 2293. Is a a prime number?
False
Let f(w) = 62*w**2 + 11*w + 32. Is f(5) a composite number?
False
Let c = 69 - 270. Let t = -86 - c. Is t a composite number?
True
Suppose 136 = f - 4*c + 26, 0 = -2*f + 3*c + 230. Let w = -460 - -919. Let o = w - f. Is o prime?
False
Let s be 4/(-14) + 65/(-91). Is s/((-6)/4 - 3900/(-2616)) a prime number?
True
Let o(w) = -2*w + 14. Let r(k) = k - 7. Let s(d) = -4*o(d) - 7*r(d). Let g be s(11). Suppose 3*p = g*l - 643, 2*l + p - 818 = -3*l. Is l prime?
True
Suppose -3*x - 2*k + 145674 = 3*k, -5*k - 15 = 0. Is x prime?
True
Is (-2)/4 - (-60)/(-8)*-83 a composite number?
True
Suppose -3*k - 2*k = 2040. Let h = -101 - k. Is h a prime number?
True
Let p(k) = 9*k + 1. Let g be p(1). Let h = 14 - g. Is 678/8 - h/(-16) prime?
False
Suppose -10 = 5*s - s - 2*x, 5*x - 14 = -s. Is (1393/s)/(-1 + 0) a prime number?
False
Let z(g) = 2*g. Let q be z(3). Let a(h) = q - 26*h - 1 + 0 - 4. Is a(-2) a composite number?
False
Suppose 4525 + 36308 = 9*v. Is v prime?
False
Let k(y) = 2*y**2 + 4*y. Let d be k(3). Suppose 3*w - 72 = 69. Let q = w + d. Is q a prime number?
False
Let a = 12874 - 7919. Is a a prime number?
False
Suppose 6950 = -109*i + 119*i. Is i prime?
False
Let w be (6 - (-10)/6)*-3. Suppose 10 = -0*f - 5*f. Let o = f - w. Is o a prime number?
False
Suppose 0 = 4*k - 480 - 1356. Let v = k - 125. Is v composite?
True
Is -70508*6/(-8)*1 prime?
False
Suppose 20*p + 424932 = 1305912. Is p a prime number?
False
Let v = -59 + 60. Let w(z) = 13*z + 1. Is w(v) a composite number?
True
Suppose 5*g = g + 764. Suppose -i - g = -2*i. Is i prime?
True
Let l(r) = 813*r - 88. Is l(7) a composite number?
True
Suppose 129420 = 13*n - 76006. Is n composite?
True
Let a be ((-6)/(-4))/(2/4). Suppose 3*p - 12 = -2*j, 3*j + 4*p = a*p + 4. Is 2 + -125*(-1 - j) a prime number?
True
Let o(w) = 5*w - 2. Suppose 7 = -2*p - 9. Let s be o(p). Let v = -21 - s. Is v a composite number?
True
Let p = -24 + 27. Suppose -4*j = i - 2131, p*i - 2*j - 7496 = -1173. Is i prime?
True
Suppose -15*m = -18*m - 18. Let c(w) = w**3 + 7*w**2 - 3*w - 15. Is c(m) composite?
True
Suppose 1539 = 5*o + 424. Let b = o + 99. Suppose b = 4*g - 2*g. Is g a prime number?
False
Let i(w) = -162*w - 115. Is i(-32) prime?
False
Let j = -359 - -526. Suppose 4*a - l = 766, a + 5*l - j = 14. Is a composite?
False
Suppose 0*g = -4*s - 5*g + 42, -26 = -4*s + 3*g. Suppose 0 = -r + 14 - 18. Is (22/r)/((-4)/s) a composite number?
False
Let j(r) = 870*r**3 - r**2 + r - 1. Let x = 28 - 27. Is j(x) prime?
False
Let t(w) = -5*w**3 + 16*w**2 + 11*w + 7. Is t(-5) composite?
False
Let z be -5*12/(-50)*5. Let s be z - ((1 - 1) + -2). Let h(t) = 2*t**2 + 8*t + 13. Is h(s) composite?
True
Let n = -1955 - -6858. Is n a prime number?
True
Let x = 18 + -27. Let b(i) = i**3 + 8*i**2 - 10*i - 7. Let w be b(x). Suppose -3*o = -2*z + z + 364, -w*z + 783 = 5*o. Is z prime?
True
Let u(p) = p**3 + 5*p**2 + 3*p - 2. Let d be u(-4). Let h(z) = -5 - 7*z + 0*z**2 - z**d - 10*z + 4*z**2. Is h(12) a composite number?
False
Is (-1)/9 - (1722069/(-81) + -9) composite?
False
Suppose -6*g + 5*g = -4. Let o be g + 4/(-8)*2. Suppose -o*d + 315 = 3*y, 7*d - 319 = 4*d - 2*y. Is d a composite number?
False
Suppose -8*d = m - 3*d - 16681, 0 = 2*m - 3*d - 33336. Is m prime?
False
Let m(o) = 311*o**2 + 32. Is m(-5) prime?
False
Suppose 4*y = 4*m + 16748, -25 = 4*m - 9. Is y a prime number?
False
Suppose 0 = 5*u + 10*k - 7*k - 9055, k = 5*u - 9055. Is u a composite number?
False
Let d = -74 + 130. Let c be ((-18)/(-21))/(16/d). Is c + 2/(-2) + 233 prime?
False
Suppose -37 = -4*w - 1. Let s be 49318/w + 10/45. Suppose -6*i + 2*i - 3*t + 4373 = 0, 5*i + t - s = 0. Is i a composite number?
False
Let x(y) = 221*y**3 - y**2 - y + 1. Let i = 0 + -3. Let r be x(i). Is r/(-5) - 9/(-15) a prime number?
False
Suppose -d + 4*s = -14, 2*d + 5*s - 1 = 14. Suppose 0 = 2*k - 3*r + 3, -3 + 4 = 5*k + r. Suppose z + d = -z, k = 3*t - 5*z - 1990. Is t prime?
False
Suppose -5485 = -4*i - o + 404, -2*i - 4*o + 2962 = 0. Is i composite?
False
Let l(v) = -3*v**2 - 2*v + 293. Let n(a) = -16*a**2 - 11*a + 1465. Let g(b) = 11*l(b) - 2*n(b). Is g(0) composite?
False
Suppose 9 = 5*r + 2*a - 6, -5*a + 23 = -2*r. Is 501*(r + -5)/(-4) prime?
False
Let w(u) = 27*u - 18*u + 13 - 50*u. Is w(-9) a composite number?
True
Suppose 21*w = 10*w + 227326. Is w composite?
True
Let j = 2154 - 1289. Is j a composite number?
True
Let c = 17813 + -10220. Is c a prime number?
False
Let q(m) = m**3 + 7*m**2 + 7*m + 6. Let k be q(-6). Let g = 4 - k. Suppose -1679 = -5*f - g*v, 5*v - 1281 + 271 = -3*f. Is f a prime number?
False
Let c = -68107 + 99924. Is c a prime number?
True
Suppose 5*h - 12175 = -5*m, 3*h = -5 - 1. Is m composite?
False
Is (-587010)/(-75) - (-3)/15 a prime number?
False
Let o = 99348 + -55859. Is o composite?
True
Let q = -34 - -24. Let g = q + 11. Is (g - -3) + 37 + -10 a prime number?
True
Let j = -8 - -14. Let q = j - 2. Is 1 + 162 + (2 - q) a composite number?
True
Let c be 1 + 3 - (2 + 2). Let s be ((-4)/12)/((-2)/18). Suppose -181 = -4*u + 2*z + 159, s*u + 2*z - 262 = c. Is u composite?
True
Suppose -q + 1 + 17 = 0. Is (-54)/q*(-131)/3 composite?
False
Let o(s) = -s**3 + 5*s**2 - 7. Let r be o(5). Let y(g) = -13 - 11*g - g**2 - 25 + 31. Is y(r) a composite number?
True
Let o(x) = 206*x**3 + 2*x**2 - 10*x + 3. Is o(2) a composite number?
True
Let o = 23 - 29. Let s = o - -12. Is 1893/s + (-9)/(-6) composite?
False
Suppose -5*o = j - 2*o + 4317, -2*j - 8634 = -3*o. Let u = j - -8608. Is u a composite number?
True
Is ((-15434)/(-14))/(((-54)/(-63))/6) a composite number?
False
Let b be 1/(-4 - ((-4)/4 - 2)). Is (4 - (-39)/(-9))/(b/762) composite?
True
Suppose -5*b - 14172 = -17*b. Is b prime?
True
Let h(w) = 296*w - 15. Let q be h(-2). Let n = -228 - q. Is n prime?
True
Let r(o) = -21*o**3 - o**2 + 7*o + 2. Let n(t) = -20*t**3 + 8*t + 2. Let j(m) = 6*n(m) - 7*r(m). Is j(5) a prime number?
False
Suppose 4*r - 6 - 1 = 3*c, -c - 5*r + 23 = 0. Suppose c*v + 1329 = 5076. Is v a prime number?
True
Suppose 0 = 7*f - 4032 + 763. Is f prime?
True
Let v be 2/(-10) - 24/(-20). Let d be (((-3)/v)/3)/(-1). Let r = d + 5. Is r composite?
True
Let p(x) = -x**3 + 10*x**2 + 12*x - 2. Let l be p(11). Suppose 5*k + 2764 = l*k. Is k a prime number?
True
Suppose -5*g - 30238 = -3*o, o + 2*g - g - 10082 = 0. Is o a prime number?
False
Let l(u) = -u**3 + 6*u**2 + 9*u - 2. Let w be l(7). Let f = 70 - w. Is f composite?
True
Suppose 0 = 10*h + 8788 - 36918. Is h prime?
False
Let y(f) = 29*f**2 - 6*f + 5. Let q be y(4). Suppose 0 = 5*o - 3*u - q - 19, 0 = -2*u + 4. Is o a prime number?
False
Let v = -29 + 31. Suppose v*i + i - 171 = 0. Is i prime?
False
Let d be (-1)/(-2)*(15 + -11). Is 2 - (-664 - (d - 3 - -4)) composite?
True
Suppose 6*m + 3965 - 12593 = 0. Suppose -14*h + 8340 = m. Is h composite?
True
Suppose 8*f - 7*f = 10. Suppose 2*b + 3*b = f. Suppose j = -a - j + 153, -288 = -b*a + 5*j. Is a composite?
False
Let x(l) = 6298*l**2 + 1. Let n be x(-1). Suppose -4*b - 703 + n = 0. Is 