lse
Let d be (-1)/(-2)*(7 + -3). Suppose -5*k - 4*j = -115, 2*k - d*j = 3*j + 13. Is (-2)/((-40)/k - -2) a prime number?
True
Is (-4)/6 + ((-14483)/3)/(-7) a prime number?
False
Let k(v) = -55*v - 9. Let l(n) = -111*n - 18. Let s(m) = 5*k(m) - 2*l(m). Is s(-10) prime?
True
Suppose -4*c - c = -95. Is c a prime number?
True
Let r(p) be the first derivative of p**3 + 3*p**2 - 5*p + 2. Let k = -3 + 7. Is r(k) composite?
False
Suppose 9*j = 4*j + 810. Suppose -2*b + j = 3*h - 13, -3*h + 181 = -4*b. Is h a composite number?
False
Is (0 + -4 - 3)/(-1) a composite number?
False
Let x(z) be the second derivative of z**6/360 - z**5/60 - z**4/8 - z**3/6 - 2*z. Let b(o) be the second derivative of x(o). Is b(-4) composite?
True
Is 462 + (-4)/((-2)/2) prime?
False
Let k be -2 - 1*(-2 - 363). Let z = 52 - 24. Suppose -z = 5*s - k. Is s a prime number?
True
Suppose 0 = -r - 1, 3*q + 0*q - 2*r - 20 = 0. Let k(m) = 13*m + 9. Is k(q) composite?
True
Let a be 6/(-27) + 38/9. Suppose -8*p - 19 = -9*p. Suppose 2*g + a*o = 54, -g - 2*o + 4*o = -p. Is g prime?
True
Let l(i) be the third derivative of 5*i**4/24 - i**3/6 - 2*i**2. Is l(10) composite?
True
Let q(v) be the second derivative of -v**6/120 - v**5/15 - v**4/8 - v**3 + 3*v**2/2 - 3*v. Let f(z) be the first derivative of q(z). Is f(-4) prime?
False
Suppose -4*h - 5 + 17 = 4*w, -5*h = w - 15. Suppose 0 = h*t - 56 - 37. Suppose -2*p + 61 = -x, x = p + 1 - t. Is p a composite number?
False
Is ((-1346)/(-5))/((-4)/(-10)) composite?
False
Let a(x) = -x + 12. Suppose 2*k - 46 = -3*k - y, -5*k + 38 = 3*y. Let p be a(k). Suppose -p*t - 28 = -4*t. Is t composite?
True
Suppose -3*p = -3, -4*p - 3 = t - 11. Suppose 0 = -i + t*h + 65, 5*h - 104 = 4*i - 331. Is i prime?
True
Suppose 10 = 2*h + 2. Suppose -3*o + 5*v + 2 = -4, 5*v + h = 2*o. Suppose -40 = -3*t - 5*m, -6 = o*t + 3*m - 33. Is t composite?
True
Let t = -71 - -322. Is t composite?
False
Suppose 2*s = -4*f + 28, 3*s + 4*f = -0*f + 34. Let t(b) = b**2 - 2*b - 3. Let c be t(s). Suppose -2*n + 59 = c. Is n a prime number?
True
Let k(y) = -6*y - 1. Let j be (-12)/8*4/3. Let w = -6 + j. Is k(w) a prime number?
True
Let j be 405/12 - 3/4. Suppose 2*w + 2*f = -j + 125, -3*f = -3*w + 138. Is w prime?
False
Let x = 67 + -33. Is x composite?
True
Suppose 0 = 3*k + 5*u - 3 + 4, -3*k + u + 11 = 0. Suppose a - k*a + 80 = 0. Is a/12*12/10 a composite number?
True
Suppose -2 - 10 = 2*q + 2*p, -p = -1. Let y = q - -12. Suppose -g + 5*w = 17 - 57, -y*g + 90 = -3*w. Is g a composite number?
True
Let f(i) = i**2 + 4*i. Let n be f(-4). Suppose n = 3*x + 2*x - 445. Suppose 21 = 2*w - x. Is w prime?
False
Let d(u) = -u - 4 - 7 + 0 - 2*u. Is d(-10) a composite number?
False
Let d = 70 + 27. Let y(p) = p**2 + 2*p - 1. Let a be y(-2). Is -1*d*a - 2 a composite number?
True
Let c = 7425 + -3068. Is c a prime number?
True
Let q(s) = -3 + s + 7 - 1. Let v be q(0). Is 18/v + (0 - 0) a composite number?
True
Let a = -3 - -11. Let z be (-47)/(a/6 - 1). Is (-1)/(0 + 3/z) a composite number?
False
Suppose -3*o = m + 225, 3*o = 2*m + 171 + 243. Let f = -140 - m. Suppose -5*l = -f - 172. Is l a composite number?
True
Let c = -28 + 28. Suppose c = -3*o + 1021 + 290. Is o composite?
True
Let z(n) = -2557*n. Is z(-1) a prime number?
True
Let s = 66 - -55. Is s a prime number?
False
Let j = 532 + -369. Is j composite?
False
Let f(g) = g + 4. Let v be f(-4). Let m be 3 - 2 - -1 - v. Let x = m + 12. Is x a prime number?
False
Let a = -467 - -884. Is a a composite number?
True
Suppose 0 = 5*n + t - 0*t + 178, t + 70 = -2*n. Let u = -15 - n. Is u composite?
True
Let m = -12 - -17. Suppose m*a - 289 = -2*s, -s + 618 = 3*s + 2*a. Is s a prime number?
True
Let t = 50 + -35. Suppose o = -4 + t. Is (2 - 0)*o/2 a composite number?
False
Let y(n) = -268*n**3 + 3*n**2 + 2*n. Is y(-1) a prime number?
True
Suppose 5*l = 4*q + 5, -3*q - 4 - 11 = 0. Is (-1 - -2) + l + 67 composite?
True
Let w(j) = 55*j + 15. Let z(a) = -11*a - 3. Let t(k) = 2*w(k) + 11*z(k). Is t(-2) prime?
True
Let l be 16050/18 - 4/6. Is l/15 + (-2)/5 a composite number?
False
Suppose 0 = -8*q + 6*q + 9242. Is q prime?
True
Let a(i) = -1 - 2*i**3 + 0*i**2 + 5*i - i**2 - 4*i**2 - 2*i. Let c(u) = -u**3 - 5*u**2 + 2*u. Let h(l) = -3*a(l) + 4*c(l). Is h(4) a prime number?
True
Let z(y) = 3*y**2 - 4*y - 8. Suppose 36 = -5*t + 3*f, -5*f + 2 - 44 = 3*t. Is z(t) prime?
True
Suppose -3*x = -5*c + 340, 5*c - 183 - 152 = 2*x. Suppose 3*j - c = -2*j. Is j a composite number?
False
Let k = 806 - -285. Is k prime?
True
Let y(o) = o - 9. Let t be y(6). Is t*14/(-6)*3 a composite number?
True
Let m(v) = -v + 14. Let d be m(9). Suppose -245 = -d*x + 560. Is x a prime number?
False
Let d(j) = -j**3 + 8*j**2 - 3*j + 5. Suppose 7*u - 2*u = g + 26, -30 = -5*u + 5*g. Is d(u) a composite number?
True
Let t be (2/5)/((-2)/(-10)). Suppose 0*d - t*d + 20 = 0. Let u = d + 9. Is u composite?
False
Let o(m) = -4*m**3 - 5*m**2 + 9*m + 9. Is o(-5) a prime number?
False
Suppose 5*o - 3*o - 10 = 0. Suppose 0 = -5*h - 3*s + 382, -90 = -3*h + o*s + 146. Is h composite?
True
Let h(z) = 63*z - 5. Is h(8) a prime number?
True
Is 177/12 + 1/4 composite?
True
Suppose -10*c = -11*c + 669. Is c a composite number?
True
Let x(h) be the third derivative of -h**6/60 - 2*h**5/15 + 5*h**4/24 - 4*h**3/3 + h**2. Is x(-7) prime?
True
Suppose -r - 16 = -123. Suppose 528 = 4*i + 4*o, i - 3*o = o + r. Is i prime?
True
Let z(f) = -f**2 - 9*f - 2. Let n be z(-9). Is (206 - -5)/((-2)/n) prime?
True
Suppose 3*l = 7*l - 1484. Is l prime?
False
Let d be (1 - 5 - 3) + 3. Is 4*-611*1/d prime?
False
Is -3 + (-1412)/(-16) + (-3)/12 prime?
False
Suppose 4*g + 0*g - 696 = 0. Suppose 4*x + 2*o = 206, -5*x + 5*o = -2*x - g. Is x composite?
False
Suppose k = 2*k - 12. Let r = k - 2. Is r prime?
False
Suppose n + 5*w = 18, -n + 2*w - 6 + 3 = 0. Is 4/(-4)*-188 - n a composite number?
True
Suppose 0 = -t - 4 - 3. Let u be (-2)/6 + t/(-21). Suppose 3*m - 50 = j + 107, u = -4*m - 5*j + 184. Is m a composite number?
True
Let v = -10 - -7. Is 78*-2*v/12 prime?
False
Let i be (-6)/(-15)*(1 - -9). Suppose i*g + g = -2*w - 390, -4*w - 5*g - 760 = 0. Is (w/15)/(2/(-6)) a prime number?
True
Let c(f) = -f**3 - f + 717. Is c(0) composite?
True
Let f be 4 - -1 - (-4)/(-2). Suppose n = 4*n - f. Is -3 + n + 26 + -2 composite?
True
Suppose a + 37569 = 4*s, -6*s = -2*s + 3*a - 37549. Is s composite?
False
Let m(l) = -l**2 + 1. Let v(h) = -1. Let w(x) = -m(x) - 4*v(x). Is w(4) composite?
False
Suppose 6*l - 321 = 4707. Is l prime?
False
Suppose 5*g = 34 - 4. Let s(k) = -k**3 - 5*k + 3 + 0*k + 3*k**2 + 5*k**2 - k**2. Is s(g) a prime number?
False
Let a = -10 + -4. Let u be 8/(4/10 + 0). Let l = u + a. Is l composite?
True
Let v = 0 - 4. Let r(u) = u**3 + 6*u**2 + 6*u + 2. Let c be r(v). Is (-10)/(-2)*c/2 a composite number?
True
Let s = -3323 + 6584. Is s a composite number?
True
Suppose 4*f = 3*f. Suppose 2*s + 2*o = -2, 5*s - 3*s - 3*o - 13 = f. Suppose x + 4*k - 87 = 0, -s*x = -k - 0*k - 156. Is x a prime number?
True
Suppose 2*s = -12 + 2. Is (s + 4)/(2/(-38)) composite?
False
Suppose -5*k + 0*s = -4*s - 257, 3*s = -9. Suppose -6*o = -4*o. Let b = k - o. Is b prime?
False
Let m = 3187 + 178. Is m a composite number?
True
Let v = 0 + -3. Let a(w) = -w**3 - 2*w**2 - 4*w - 2. Is a(v) prime?
True
Let o(u) = 8*u + 4. Let f(v) = 1. Let b(n) = 3*f(n) - o(n). Is b(-4) a prime number?
True
Let p(m) = -9*m. Let g be p(-1). Let x be ((-15)/g + 2)*15. Suppose 3*h = -4*q + 15, -4*q - 6*h + x*h = -13. Is q a prime number?
True
Suppose d - 1421 = -2*f + 260, -3326 = -2*d + 5*f. Is d a prime number?
False
Let g be 2 - (93 + 4/1). Let l = 174 + g. Is l a composite number?
False
Let m(d) = d**3 + 14*d**2 + 12*d - 14. Let a be m(-13). Let h(w) = 154*w**2 - w. Is h(a) a composite number?
True
Suppose 2*u + 5*z = 4639, 2*u - 5*z - 6946 = -u. Is u composite?
True
Let v = 5 - 1. Suppose v*y - 624 = -236. Is y a prime number?
True
Let h(g) = 13*g**2 + 6*g + 1. Let f be h(-6). Suppose -2*u + 173 = -w, -w = 5*u - 3*w - f. Is u a composite number?
True
Let o be (-1 - (0 + 0)) + 6. Is 368/o + 4/10 prime?
False
Let t be (2/4)/(1/(-282)). Let n be -240 + (-4)/(-12)*6. Let r = t - n. Is r prime?
True
Let y be (8/4)/(4/(-6)). Let m be 327 + 9/3 - y. Suppose