lse
Suppose -3*b - 4*f = -5*f + 388, 2*f - 2 = 0. Is -3 + (-2 - b)*2 prime?
True
Suppose 3345 = 5*g - 2*g. Is g composite?
True
Suppose 50 + 169 = m. Let n = m - 92. Is n prime?
True
Suppose -1 = 6*x - 3*x - 5*i, 18 = x + 2*i. Let a(h) = -h**3 + 6*h**2 + 2*h - 9. Let q be a(6). Suppose -x - 25 = -q*z. Is z composite?
False
Let f(i) = -i**3 + 5*i**2 + 6*i. Let a be f(5). Suppose -5*u + 835 - a = 0. Is u a prime number?
False
Let b(u) be the third derivative of -u**6/720 + u**5/24 - u**4/24 - u**2. Let a(n) be the second derivative of b(n). Is a(-6) prime?
True
Let r(a) = 5 - 5 - 86*a. Let l(x) = 2*x + 3. Let g be l(-2). Is r(g) prime?
False
Suppose 5*l - 25 = -5*f, -3*l + 26 = -5*f - 13. Suppose 5*s - l = 6*z - 2*z, -4*s - 5*z = 10. Is (-1)/(1 + s)*-14 a prime number?
False
Let s be ((-8)/2)/(6/(-9)). Suppose -s*d + d = y - 23, d + 101 = 3*y. Is y a prime number?
False
Let j be (-2)/(-6) - (-357)/9. Suppose 0*u = -4*o - 4*u - j, 35 = -5*o - 2*u. Let d = o - -12. Is d a composite number?
False
Let x(f) = -3 - f**2 + 2 - 2 - 7*f. Let w be x(-6). Suppose w*g + 17 = 284. Is g composite?
False
Let a(s) = s**3 - 4*s**2 + s + 1. Let h be a(4). Suppose -h*g = -g. Suppose g = -3*c + 5*z + 48, 5*c + 0*z = 2*z + 61. Is c a prime number?
True
Let i(o) = 102*o**3 + 1. Suppose 8*v + 19 = 4*c + 3*v, -4*c = 2*v + 2. Let g be i(c). Suppose 0 = a + 2*a + t - g, 2*a - 78 = 4*t. Is a composite?
True
Let h(l) = 0*l + 22*l**2 + 2 - 3*l + 16*l**2 + 1. Let g be h(2). Suppose -4*v + 3*j + g = 0, 5*v - 76 = 5*j + 114. Is v composite?
True
Suppose -2*u + 529 = -x, 2*u + 3*u - 3*x = 1324. Is u prime?
True
Let h(q) = 2*q - 9. Let t be h(6). Suppose 0*z + t*z = 66. Let s = z + 13. Is s a composite number?
True
Suppose b + 0*b - 4 = 0. Let x = b + 0. Is ((-106)/(x - 2))/(-1) prime?
True
Let f(i) = i. Let o be f(6). Let q = -3 + o. Suppose 3*a = v - 2*a - 55, 0 = -q*a - 12. Is v a prime number?
False
Suppose -13*v = -5*v - 1528. Is v composite?
False
Let n be (-2)/((-4)/462 + 0). Suppose -r - n = -2*r. Suppose 3*o + c - 231 = 0, o = -2*o + c + r. Is o a prime number?
False
Let l(u) = u**3 - 13*u**2 - 66*u + 11. Is l(19) a prime number?
False
Let t(b) = 4*b**2. Let z be t(-2). Let o be z/(-4)*3/(-4). Suppose -o*v = 3 - 15. Is v prime?
False
Let l(n) = 350*n**2 + 3*n - 3. Let a be l(-3). Suppose 0 = 4*t + m - a, -m + 1562 = 2*t + 3*m. Is t prime?
False
Let a = -3 + 17. Let w = a - -1. Is w prime?
False
Let c(j) = j**2 - 6*j. Let k be c(6). Suppose 13 = x - k*x. Is x composite?
False
Let a = -184 + 407. Is a a prime number?
True
Let m(y) = 848*y - 99. Is m(6) prime?
False
Let b = -169 + 986. Suppose x = -5*k + b, -x - 935 + 285 = -4*k. Is k composite?
False
Let x be 2 - 3*(-2)/3. Suppose 0 = -f - f + x. Suppose 2*i = -8, -4*u - 263 = -7*u + f*i. Is u a composite number?
True
Let v(g) = 5*g + 5. Let l be v(-4). Let a be (-1 - 1)/(6/l). Suppose 8*p + 5*t - 620 = 3*p, a*p + 4*t - 623 = 0. Is p prime?
True
Let q(a) = -2*a**3 - a + 1. Let b be q(1). Is (-987)/14*b/3 prime?
True
Suppose -27 - 447 = -3*n. Is n a composite number?
True
Suppose 5*n = -28 + 208. Suppose 3*k - 2*k = 5. Suppose -l = -k*l + n. Is l composite?
True
Let o be (-214)/(-9) - 4/(-18). Suppose 90 = 3*m - o. Is m a composite number?
True
Let d(k) = -2*k**3 - 4*k**2 + 7*k - 8. Is d(-10) a composite number?
True
Is (-1910)/(-15)*6/4 a composite number?
False
Is (-669)/2*18/(-27) prime?
True
Let q = -376 + 609. Suppose 5*v + 402 = -q. Let y = -72 - v. Is y a prime number?
False
Suppose 4*p = -3*y + 2*p + 404, -4*p = 2*y - 256. Let g = y - -11. Is g/7 + 4/(-14) a composite number?
True
Is (-8)/(-14) + 5259/21 a composite number?
False
Suppose 0 = 3*b + b + 12. Is 1*b/3 - -215 composite?
True
Suppose 5*k = -0*k + 3*u + 33, -4*k + 27 = -3*u. Let y(r) = 6*r + 1. Is y(k) composite?
False
Let i(f) = 3*f + 6. Let w(s) = -3*s - 7. Let m(g) = -6*i(g) - 5*w(g). Let j be m(1). Is 1/2 - 218/j a composite number?
True
Let p = 1550 - 917. Is p a prime number?
False
Is ((-59)/3)/(7/(-21)) a prime number?
True
Suppose -4*c - 13 = -73. Is c a prime number?
False
Let i = 441 + -212. Is i + 4 - (0 - 2) prime?
False
Is -5 + (-53)/(-11) + 1069/11 prime?
True
Let d be 0/(-2) - (-892)/(-2). Let m = -225 - d. Is m prime?
False
Let h(w) = 39*w**2 + 3*w - 6. Let c(o) = -2*o - 9. Let x be c(-6). Let s(u) = -39*u**2 - 3*u + 7. Let i(f) = x*s(f) + 4*h(f). Is i(2) a composite number?
True
Let s = 31 - 59. Let r = 41 + s. Is r a prime number?
True
Suppose -2*l - 4*i + i = 7, -l = -i - 9. Is (19/2)/(l/8) a prime number?
True
Let g(p) be the second derivative of -p**6/120 - p**4/12 - p**3/3 + p**2 - 2*p. Let o(c) be the first derivative of g(c). Is o(-2) a composite number?
True
Suppose -53 = -4*b + 6071. Is b prime?
True
Let u be 4*(1 - 1/(-4)). Suppose -2*b - 207 = -u*b. Is (b - 0/1) + -2 a prime number?
True
Suppose 5*g + 1 = 4*v + 4, 0 = 5*v - 2*g - 9. Let z be -4 + v - -5*1. Suppose -2*d + z*d - 110 = 0. Is d composite?
True
Let h(o) = o**2 - 3*o - 2*o**3 + 2 - 3*o**2 - 7 + 7*o. Let m be h(-5). Is m/3 + (-4)/12 composite?
True
Is 265 + 1 - 3/1 a composite number?
False
Let w be 3/3*(-83 + 2). Let q = -28 - w. Is q prime?
True
Suppose 0 = 3*i - 5*z + 42, 4*i + 34 = -3*z - 51. Let t be 2/(-2) + (2 - i). Suppose -y - 2 + t = 4*j, -8 = -2*j. Is y a prime number?
True
Suppose 3*n - 12 = 0, -t - 14 = 2*t - 5*n. Is (-148)/20*(-3 - t) prime?
True
Suppose 4*u + u = 1535. Is u composite?
False
Let w = 13 + -8. Let s = w + -8. Let d(r) = -11*r**3 - 3*r**2 + 2*r + 1. Is d(s) a prime number?
False
Suppose 0 = -0*n + 2*n - 2402. Is n a prime number?
True
Let h(f) = f**2 + f - 13. Let l(a) = 5*a - 6 + 2 + a + a**2 + 0. Let o be l(-5). Is h(o) a prime number?
True
Suppose 0 = -2*l - 0*y - y + 1, l = -2*y + 5. Let z be (-127)/3 + 2/6. Is z/l - (-1 - 0) a prime number?
True
Suppose -2*h - h = -75. Suppose -g + h = -6. Is g a composite number?
False
Let d = 13 + -9. Let t = -10 + d. Is (t/4)/(6/(-40)) composite?
True
Let a(j) = -38*j**3 - j**2. Let r be a(-2). Let u = r + -173. Let s = u + -74. Is s a composite number?
False
Let v = 539 + -275. Suppose a = 5*l - 2709, 3*l - v = -4*a + 1343. Is l a composite number?
False
Is (-4)/(-2) - 63/(-3) prime?
True
Suppose 0*w = 3*w - 249. Is w composite?
False
Suppose -4*j - j + 8511 = -4*c, -5*c = -5. Is j composite?
True
Let i be 2 - 0 - (-6 + -2). Suppose -j = 5*k - 76, -k - 4*j = -9 - i. Is k prime?
False
Suppose 0*x = -2*x + 12. Let i = x - 4. Let n = i - -5. Is n a composite number?
False
Let s(o) = 53*o**3 - o**2 + 1. Suppose 3*u = -3*i - i + 20, 5*u = -4*i + 28. Suppose -4*a = 2*f - 8, 0 = -3*a - f + u + 1. Is s(a) a prime number?
True
Is 1/3 - 1/((-6)/14356) prime?
True
Let o(r) = r + 6. Let q be o(-3). Suppose -5*x = 3*x. Suppose -3*i - 24 = -m - x*m, -4*m - q*i = -51. Is m a prime number?
False
Suppose 13*v + 1270 = 15*v. Is v prime?
False
Let d(m) = 6*m - 5. Let x be d(6). Suppose -5*s + x = -364. Is s a composite number?
False
Is ((2275/28)/(-5))/(2/(-8)) a prime number?
False
Let w(k) = 2*k**3 - 8*k**2 + 3*k - 14. Let q be w(10). Is 1/3 + q/6 a prime number?
False
Suppose -3*z = -4*l - 17, -4*z = l - 5*l - 16. Suppose -4*f - f = 5. Is (-1)/(f/(-13))*z a prime number?
True
Let n = -2 - -5. Let m be -1*0/(2/(-1)). Suppose m = 5*z + x - 158, -77 = -n*z + z - 5*x. Is z a prime number?
True
Suppose 7*b = 3*b + 664. Suppose 0*t + 2*t = b. Is t composite?
False
Suppose -9 = -3*f, -5*j = -4*j + 4*f - 18. Is ((-1190)/(-21))/(4/j) a composite number?
True
Suppose 0*l + 925 = 5*l. Is l composite?
True
Suppose -9 = -4*g + 3. Suppose 0 = g*m - 9, -3*l + 3*m = 132 - 1041. Suppose -192 = -4*k - 2*b + l, -5*k + 4*b + 655 = 0. Is k a prime number?
True
Is (3 - 2)/(6/186) a composite number?
False
Is 1/((-10626)/3543 + 3) composite?
False
Suppose 0 = -2*v - 33 - 7. Let w = v - -105. Is w prime?
False
Let b(a) be the third derivative of a**5/4 - a**4/8 - a**3/6 - 7*a**2. Is b(-2) prime?
False
Let p be 0 + 0 + 0/(-2). Let b be 1*(3 + 2 - p). Suppose b*j - 25 = 0, -2*j = 5*v - 7*j - 720. Is v a prime number?
True
Let y = 99 - -310. Is y composite?
False
Let y be (3 + 0)*4/6. Is ((-1905)/(-2))/3*y composite?
True
Let t(j) = j**2 + 5*j + 4. Let v be t(-5). Suppose -2*q - 3*z = -q - 41, 0 = v*q + z - 142. Is q prime?
False
Let k