-5). Let v = l - k. Is v a composite number?
True
Is 3 + -2 + 5*50*1 a composite number?
False
Let x(o) = -o - 1. Let r(d) = 22*d + 8. Let f(n) = -r(n) - 5*x(n). Suppose -3*b = -b + 4. Is f(b) a prime number?
True
Let t = -1 + 13. Let z = 9 - t. Is ((-3)/(-9))/(z/(-441)) a prime number?
False
Let f(q) = -q**2 + 4*q + 1. Let u be f(4). Let g = u + 3. Let a = g - -3. Is a composite?
False
Let k(m) = 3*m + 2. Let y = 9 - 5. Is k(y) prime?
False
Let o = -24 - -42. Let h = o - 1. Let c = h - -4. Is c a composite number?
True
Let c be ((-1)/(-3))/((-1)/(-15)). Suppose 5*p = -4*o + 63, -c*o + 40 + 85 = -3*p. Is o a composite number?
True
Let d(l) = 25*l**2 - 2*l + 2. Is d(3) a prime number?
False
Suppose i = 5*i - 20. Suppose 0 = i*d - 10*d + 780. Suppose 2*s + 3*h - d = h, -3*h = s - 80. Is s composite?
True
Let z(y) = -192*y + 7. Is z(-9) composite?
True
Let m(o) = 2*o**2 - 10*o + 3. Let k be m(5). Suppose -5*g + 254 = -k*g. Is g a prime number?
True
Suppose -2*k - 5*f - 314 = -3*k, 4*f + 20 = 0. Is k prime?
False
Suppose -f - 2 = -2*f. Suppose w = -0*w + f. Is w prime?
True
Let h(s) = -s**3 - 6*s**2 + 8*s + 5. Let a be h(-7). Suppose -2*j = -5*v + j - 8, -j = -4*v - 12. Is (1/a)/(v/120) a composite number?
True
Let x(c) = 11*c**2 + 3*c + 13. Is x(-4) a prime number?
False
Let f = 14 - 4. Let b be 86/(-10) + (-4)/f. Is b/(-3)*27 - 2 composite?
False
Let w be (-4)/14 + (-60)/(-14). Suppose -w*q + 7*q = 249. Is q a prime number?
True
Suppose 6*u + 447 = 1425. Is u prime?
True
Suppose 284 = 4*a - 2*a. Let p be (44 - -1)/((-2)/(-10)). Let t = p - a. Is t prime?
True
Let h be ((-339)/4)/((-7)/56). Let l = 1067 - h. Is l prime?
True
Suppose -n - 2*w = -2*n + 2, 4*n + 25 = -3*w. Is (-405)/(-12) + 3/n prime?
False
Suppose 3*b + 35 = 44. Suppose -b*f + 614 = -559. Is f prime?
False
Suppose -4 - 4 = 4*u. Suppose 0 = -f - 0*g - g - 18, 4*g + 36 = -2*f. Is -2 + 1 - (u + f) composite?
False
Let r be ((-314)/5)/(2/(-30)). Let g = 1847 - r. Is g a prime number?
False
Let u be (-2)/((-4)/10)*1. Let o(l) = 3*l**2 - 3*l + 2. Let g(a) = -10*a**2 + 10*a - 6. Let m(w) = 2*g(w) + 7*o(w). Is m(u) prime?
False
Suppose 0*s - 95 = -s - 4*z, 0 = -4*s + z + 346. Is s composite?
True
Let o be 4/22 + 10/(-55). Suppose 5*l + o*l - 5*n = 210, -5*l = 3*n - 170. Is l a composite number?
False
Suppose 0 = l + 2*l - 12. Is (2 - l)*47/(-2) composite?
False
Suppose -509 = -b + 11. Suppose b - 206 = 2*l. Is l a composite number?
False
Suppose u = 3*n - 99, 2*n - 6*n - 5*u + 113 = 0. Let r = n - 22. Is r a composite number?
True
Is ((-7)/2 - 2)/(1/(-14)) a composite number?
True
Let d(h) = 309*h - 2. Suppose 10 - 3 = -y + 2*p, 0 = -y - 2*p + 9. Is d(y) a composite number?
False
Let d = 3 + 2. Suppose 2*u = -4*w + 118, 6*u - 3*u = d*w + 177. Is u a prime number?
True
Suppose i = -2*t + 531, -2139 = 15*i - 19*i - 5*t. Is i a composite number?
False
Let x be (0 + 0)/(2 - 0). Suppose x = -2*k - 2*g - 4, -5*g + 4 = -5*k - 6. Is 59*k*2/(-4) prime?
True
Let r(y) = -2*y**3 + 10*y**2 + 6*y - 10. Let i(a) = a**3 - a**2 - a + 1. Let c(l) = -6*i(l) - r(l). Let k be c(-3). Let x = -29 + k. Is x composite?
False
Let h(b) = -b**2 + 14*b. Let k be h(9). Let r = 6 + k. Is r a composite number?
True
Let p be (-2 + 3)*(212 - 1). Let i = p - 332. Let z = -84 - i. Is z a composite number?
False
Suppose -7*c + 2*c = -20. Suppose 2*y = c*x - 98, 27 = x + 3*y - 6*y. Let i = -17 + x. Is i a composite number?
False
Let x(n) = n**2 - 9*n - 5. Let y be x(10). Let o(m) = 3*m**3 - 6*m**2 - 6. Is o(y) composite?
True
Let y(h) = 165*h - 2. Is y(1) composite?
False
Suppose 1590 = 3*w - w. Suppose -857 - w = -4*d. Is d a composite number?
True
Suppose 2*u - 3 - 1 = 0. Suppose -r + 4*r + 99 = -u*p, -5*r - 2*p = 161. Let v = -18 - r. Is v composite?
False
Let u(n) = n**3 - n - 1. Let x(h) = -63*h**3 - 5*h - 5. Let z(l) = -4*u(l) + x(l). Is z(-1) a composite number?
False
Suppose -49 + 4 = -3*j. Is j composite?
True
Suppose -5028 = -4*h + 3*a, 4*a - 3771 = -3*h + 5*a. Is h a composite number?
True
Let f(d) = -2*d**3 + d**2 - 5*d - 9. Is f(-7) a composite number?
False
Let k be 1*((-12)/(-2) + -3). Let m be -22 + -1*(2 - k). Is 20*(1 - m/12) a prime number?
False
Suppose 3*z - 4*z = 0. Suppose 2*x - 3*x + 553 = z. Is x composite?
True
Let h be 1/2*24/(-4). Let z be 1 + 9/h + 3. Is (0 - z)*(1 + -38) prime?
True
Let g(l) = 2*l - 11. Let k be g(9). Suppose 3 = u - 0. Suppose k*y - 5*c - 1575 = 3*y, u*y - 1187 = -2*c. Is y a prime number?
False
Suppose -2*z = -y + 1, 2*z = z. Let m be (1 + -7)/((-2)/y). Suppose 6*l + 2*r = 2*l + 1162, 4*r = -m*l + 859. Is l prime?
True
Suppose 3*u + 5*s + 50 = 0, -u + 2*s - 73 = 4*u. Let k be ((-6)/(-9))/((-2)/u). Suppose -m - 2*m + 584 = k*h, h - 100 = 5*m. Is h a composite number?
True
Let z be 10/30 - 3790/(-6). Is z/2*6/24 composite?
False
Suppose 0 = i - 5 + 1. Let u = i - 3. Is (0 + 2 - u) + 10 a prime number?
True
Suppose 0 = -0*b + 3*b - 2*d - 265, 0 = -2*b + 2*d + 178. Is b composite?
True
Let g = 2030 - 747. Is g prime?
True
Let c = 911 + -208. Is c a composite number?
True
Suppose -2*s + 4*s - 92 = -2*q, -3*s - 205 = -4*q. Let u be -4*(-1 - (-25)/(-1)). Let f = u - q. Is f composite?
True
Suppose 0*g - 5*g = -445. Is g composite?
False
Let i(l) = 50*l**2 + 1. Let t be i(-1). Suppose -t = 4*b + 393. Is (-1)/(((-3)/b)/(-1)) composite?
False
Let a be 62*((1 - -2) + -2). Let b = a - -59. Is b composite?
True
Let b = 36 + -67. Let x = -97 + 183. Let s = b + x. Is s a prime number?
False
Suppose -5*l + 20 = 5. Let v be -2 + -3*(-37)/l. Suppose 64 = 3*q - v. Is q a prime number?
False
Let a(o) = -o**3 - 11*o**2 - 2*o - 10. Suppose -4*g + 4*f = 48, 4*f - 17 + 2 = g. Let t be a(g). Is (t/15)/((-4)/(-70)) composite?
True
Let z = -9 - -11. Let a(k) = 6*k**2 + 1 + 3*k + z*k + 1 - 4*k. Is a(5) prime?
True
Let v be 8/(-2)*3/(-6). Let z be ((-12)/(-1))/2 - v. Suppose 0*k - i - 294 = -2*k, -z*i = 4*k - 612. Is k a prime number?
True
Let f = 2291 - 498. Is f a prime number?
False
Suppose 3*g + 1985 = 8*g. Is g a prime number?
True
Suppose -2*s + 7*s = 0. Suppose -2*p - p + 9 = s. Suppose 0 = -p*k - 0*k + 105. Is k a composite number?
True
Let b be 3/(-2)*(-12)/9. Suppose 2*d + 2*d + a = 147, b*d + 4*a = 70. Is d a prime number?
True
Let o(a) = 6*a**2 - 8*a - 10. Let x be (0 - 21/3)*-1. Let g be o(x). Suppose g = q + 3*q. Is q a prime number?
False
Suppose 3*x = -0*x + 15. Let v = x + 5. Suppose -v + 165 = 5*h. Is h prime?
True
Let s(f) = 68*f**2 + f. Is s(-1) a composite number?
False
Suppose 0 = -2*f - 10, 2*r + 2*r - f = 1545. Let w = -227 + r. Suppose w = o + o. Is o prime?
True
Suppose 6*s - 15 = 7*s. Let r be (24/s)/((-2)/(-35)). Let o = -15 - r. Is o composite?
False
Let k be -3*1*4/(-3). Let s(d) = 2*d + 2. Is s(k) a prime number?
False
Let r(g) = -g**3 + 4*g**2 - 5. Let t be r(4). Let n = t + 15. Suppose -n = -3*d + 23. Is d prime?
True
Suppose -1615 = -6*w + 371. Is w a prime number?
True
Let w(m) = -m**3 - 6*m**2 + m + 8. Let h be w(-6). Let u be (-2)/(-10) + 7/(-35). Suppose -p + i = -h*i - 97, u = 3*p + i - 331. Is p a composite number?
False
Is ((-2)/6)/(1/(-57)) composite?
False
Let t(o) = 110*o**2 + 4*o - 3. Is t(1) a composite number?
True
Suppose 0 = -5*g - 108 + 903. Is g composite?
True
Let f = 9 + -2. Let k = 3 - f. Is (-7)/14 - 106/k composite?
True
Suppose 5*a = -2*b + 367, 3*a = -4*b + 1146 - 391. Is b a composite number?
False
Let n(z) = -3*z**3 + 2*z**2 + 8*z - 6. Let x = 4 + 0. Let k(w) = 4*w**3 - 2*w**2 - 9*w + 7. Let t(j) = x*k(j) + 5*n(j). Is t(3) a composite number?
True
Let y(d) be the second derivative of -d**5/20 + 5*d**4/12 + 2*d**3/3 - 7*d**2/2 - d. Is y(5) a composite number?
False
Suppose w - 4 = -0. Suppose 3*d - w*d + 4*i + 10 = 0, 3*i + 9 = 0. Is 21/d*4/(-3) a prime number?
False
Let g be -2 + 10/(4/2). Let i be (-1)/(g/(-2))*-3. Is 1 + -2 - -14 - i a prime number?
False
Suppose 0 = 3*t - 8*t + 1255. Is t a composite number?
False
Let l = -29 + 18. Let a(o) = -13*o + 2. Is a(l) composite?
True
Is ((-2)/(-2))/(15/2235) a composite number?
False
Let a be (-3)/3 + (-11)/1. Let n be (32/a)/((-4)/(-390)). Let w = -69 - n. Is w a composite number?
False
Suppose -y - 5 + 1 = -b, -4*y + 3*b = 14. Is 17*3/(y - -3) prime?
False
Suppose 0 = -4*y - 0*y. Suppose 742 = 4