lse
Let r = -1831 - -2918. Is r prime?
True
Suppose -3*q = -15, 5*f - 2120 = -q - 4*q. Is f a prime number?
True
Let q(a) = -a**2 + 11*a - 12. Let v be q(9). Let m = 9 - v. Suppose -27 = -m*d - 0*d. Is d a prime number?
False
Let a(z) = 2*z**2 + z + 4. Suppose x + 2*o - 1 + 2 = 0, -4*x + 29 = -3*o. Is a(x) prime?
True
Let q(j) = -309*j**3 + 2*j**2 - j. Let i be q(1). Let v = i + 717. Is v a composite number?
False
Let d(g) = -2*g + 1. Let w(j) = j**3 + 8*j**2 - 10*j - 10. Let a be w(-9). Let t be d(a). Suppose 3*i - 153 = 3*u, t*u + 15 = 3. Is i a prime number?
True
Let g(o) = o**2 - 51*o - 7. Is g(-12) a composite number?
True
Suppose 0 = -g + 4, -2*t - 2*g = t - 23. Suppose -5*j - 4*i = -t, -11 + 31 = 5*j + i. Suppose -3*k = j*n - 30, 4*n - 17 = -k - 0. Is n composite?
False
Let q(a) = a**2 - 2*a - 5. Let b be q(4). Suppose h - 3*v + 8 = 0, 0 = 2*h + b*v - v - 24. Is h prime?
True
Let x(y) = 63*y**3 - 2*y**2 + y - 1. Is x(2) prime?
False
Suppose 5*v + 2 = 4*v. Let d be -3 - (v + 2/2). Is (5/(-15))/(d/636) a composite number?
True
Let c(k) = -9*k - 1. Suppose 0*z = -2*z - 6. Is c(z) prime?
False
Suppose -4*u - 18 = 3*a, 0 = -a + 5*u + 13. Is (-14750)/(-70) - a/7 a prime number?
True
Let q(t) be the third derivative of 0*t + 5/6*t**3 + 0 + 1/6*t**4 - 2*t**2. Is q(4) a composite number?
True
Suppose -c + 2*m - 3 = -1, -1 = 2*c - m. Suppose 0 = 4*v - c*l - 2*l - 596, v - 5*l = 149. Is v a composite number?
False
Suppose 18*t = 19*t - 301. Is t prime?
False
Let p = 281 - 18. Is p prime?
True
Suppose 0*f - 3783 = -3*h - 4*f, 4*h = 2*f + 5022. Is h a composite number?
True
Let l(p) = 3*p**2 - 9*p - 3. Is l(9) a prime number?
False
Suppose t + 3*d - 371 = 305, 0 = 2*t - 4*d - 1372. Let g be ((-1)/2)/((-1)/t). Suppose 2*u = 4*u - 3*z - 143, -g = -5*u + 2*z. Is u composite?
False
Suppose 3*n - 6 = n. Let u = -25 + 27. Suppose n*j = 32 - u. Is j prime?
False
Let s(i) = 20*i**3 - i**2 - i - 1. Let w be s(-2). Is -2 - 3/(3/w) a prime number?
False
Let f be -2*(113/(-2) - -1). Is f*(0 - 2/(-6)) a composite number?
False
Suppose 0 = p + p - 192. Let x = p + -28. Let v = x + -37. Is v a prime number?
True
Let a = 182 + -123. Is a a composite number?
False
Let r(p) = 11 - 3*p**3 - 8*p**2 + 2*p**3 + 2*p + 6*p + 2*p. Let g be r(-9). Suppose 5*t = -20, -g*s - t = -191 + 41. Is s a prime number?
False
Let t be 5/1 + 1 - -4. Let c(z) = 23*z + 7. Is c(t) prime?
False
Let i be 2 - 0/((-2)/(-1)). Is (i - -84) + (-2)/(-2) a prime number?
False
Let d = 5 - -8. Let y be (-31 - 1)/((-2)/d). Let i = -53 + y. Is i a composite number?
True
Let x(j) = j**2 - 6*j - 9. Let w be x(9). Suppose v + 4*c - w = -v, -3 = c. Is v a prime number?
False
Let v(y) = -8*y**3 - y. Let j be v(-1). Let s = j + -9. Suppose -3*n - 207 = -2*l, -5*l + s*n = 5*n - 580. Is l composite?
True
Suppose -h + 799 = -2*h. Let x = -548 - h. Is x a prime number?
True
Let j(w) = -6*w - 3 + 2 - 23*w. Is j(-2) a prime number?
False
Let c(w) = -90*w + 1. Suppose -3*p - 1 = u, -3*u + 0*u - p = -5. Suppose 0 = u*h + 2*h + 4. Is c(h) a composite number?
True
Suppose -9*u + 14*u = 1070. Is u composite?
True
Suppose 2*l + 0*l = -5*q + 4558, q = -l + 2279. Is l a composite number?
True
Let m be (-15228)/(-14) - 8/(-28). Is (-6)/(-10) + m/20 prime?
False
Suppose 0 = -2*h + 2*l, -4*l + 3 = -3*h - 0*l. Let r = 92 + 93. Suppose -2*z = h*z - r. Is z prime?
True
Let h = -11 - -15. Suppose -m + z + z = -25, -90 = -h*m + 3*z. Suppose n - m = -8. Is n a prime number?
True
Suppose -2*p + 0*p + 1604 = 0. Suppose m - p = -m. Let t = m - 186. Is t prime?
False
Let b(x) be the first derivative of -x**5/20 + 7*x**4/12 - x**3/3 - 3*x**2/2 - 2*x - 4. Let c(l) be the first derivative of b(l). Is c(5) a prime number?
True
Let c(q) be the third derivative of q**6/120 + 3*q**5/20 + q**4/4 - 5*q**3/6 - q**2. Suppose 5*i + 20 = -5*k, -5*k - 24 = 2*i + 2. Is c(k) a prime number?
True
Suppose -97 = -4*z + 547. Is z a prime number?
False
Suppose -3*z - 483 = -6*z. Is z prime?
False
Is ((-57)/9 - 0)/(2/(-174)) prime?
False
Let g(p) = p**2 + 7*p + 11. Let z(n) = 50*n. Let u be z(1). Let t be (-1)/(-3) + u/(-6). Is g(t) composite?
False
Let q = -774 + 1481. Is q a composite number?
True
Let l be 8 + 0 - (1 + 1). Is (2 + (-33)/l)*-22 a composite number?
True
Let r(d) = -2*d**3 - 9*d**2 - 6*d - 3. Is r(-6) composite?
True
Let x = 441 + -167. Is x composite?
True
Let t(k) = 56*k**2 - 3*k - 4. Is t(-5) a prime number?
False
Let o(l) = l + 1. Let u be o(4). Suppose -u*g + 5*b = -145, -44 = -3*g + 2*g - 2*b. Is g a composite number?
True
Suppose 384 = 3*q - 0*j - j, 4*q + 4*j = 496. Is q a prime number?
True
Is 1*3*(-25848)/(-108) a composite number?
True
Suppose 2*n - 107 = -3*m, m - 2*m = -4*n - 45. Suppose -2*s + m = -s + 2*z, 90 = 3*s - z. Is s composite?
False
Let g(l) = -7*l**3 + 13 - 5*l**3 + 8*l**3 + 3*l**3 + 14*l - 7*l**2. Is g(-9) composite?
True
Let p(w) = -w + 3. Let m be p(8). Is (-33)/m + (-4)/(-10) a prime number?
True
Suppose -2*h + 244 = -h. Suppose 5*f + 2*g + h = 0, 3*f - g = -89 - 64. Let u = -13 - f. Is u a composite number?
False
Suppose 11 + 59 = 2*b. Suppose 0 = 3*n - 112 - b. Is n composite?
True
Let i be (-6)/(-10) - (-14)/10. Suppose -i*a + 163 = v, v = a - 3*v - 104. Suppose 9 = s - a. Is s composite?
True
Is -2 + (-181)/(-3) - (-4)/6 a composite number?
False
Let a(p) = 6*p**2 + p + 1. Let k be a(4). Suppose -5*y = -3*g - 553, -3*g + 6*g + k = y. Suppose 5*w - y = 72. Is w a prime number?
True
Let u(w) = -w**2 - 11*w + 8. Let v be ((-1)/(-2))/(1/8). Suppose b + 45 = -v*b. Is u(b) a composite number?
True
Suppose 10*y - 7*y = 4191. Is y prime?
False
Let k(f) = f**3 - 6*f**2 - f + 4. Let c be k(6). Let y(n) = n**3 - 3*n**2 - 3*n - 3. Let q be y(c). Let b = q + 39. Is b prime?
False
Let a(t) = -t + 13. Let u be a(9). Suppose 9*c = u*c + 1535. Is c composite?
False
Suppose 5*m = 2*g - 1324, -m = -5*g + 3173 + 160. Is g a composite number?
True
Let f(y) = 82*y + 7. Is f(4) a prime number?
False
Suppose 1895 = 3*s - 112. Is s a prime number?
False
Let h(g) = g**3 + g**2 - g + 6. Let l be h(0). Is 4/12 + 340/l a prime number?
False
Suppose 0 = -0*u - 2*u - 516. Let c be (u/(-12))/((-1)/(-2)). Let o = -8 + c. Is o a composite number?
True
Suppose h = -5*m + 24, 2*m - 3 = -4*h + 3. Let r be (-1*10)/2 + h. Let i(b) = b**2 - 2*b + 1. Is i(r) composite?
True
Let p(g) = g**3 + 5*g**2 - 6*g + 4. Let t be p(-5). Suppose -s + 6*s = 4*u + 50, -4*s + t = -2*u. Let a = 13 - s. Is a prime?
True
Let z(k) = -2 - 1 - 7*k**2 + 5*k**3 - 2*k - 9*k**3 + 3*k**3. Is z(-7) prime?
True
Let z = -1 - -7. Suppose -2*r - z = -3*r. Is 160/6 + r/(-9) prime?
False
Is -1 - 3 - (-883 - 16) composite?
True
Let s = 170 - 331. Let q = s + 346. Is q composite?
True
Let v = -5 - -6. Let k(r) = 37*r**2 + r. Is k(v) a composite number?
True
Suppose 0 = -4*v - v - 2*u + 1983, 3*v - u = 1181. Is v composite?
True
Is 28/126 - 10483/(-9) prime?
False
Let v = -5 + 5. Let j(x) = -x**2 + 4. Is j(v) a prime number?
False
Let v(a) = -a**3 + 20*a**2 - 2*a - 7. Let r(c) = -7*c**3 + c**2 - c - 1. Let d be r(-1). Is v(d) prime?
False
Let z(j) = j**2. Let f(u) = u**3 + 9*u**2 + 6*u. Let m(w) = -f(w) + 3*z(w). Let s be m(-5). Let y = 28 - s. Is y a composite number?
False
Let p(w) = 2*w. Let q be p(2). Is q/1 - (1 - -1) prime?
True
Suppose 0*i + 3*i = -21. Let r = 12 + i. Is ((-76)/(-6))/(r/15) composite?
True
Suppose -2*g + 220 = -370. Is g a prime number?
False
Is -2 + 129 + (0 - 0) prime?
True
Let q be 6/1*(-15)/10. Let o be (-2)/q + (-2365)/(-9). Is o/5 - (-2)/5 a prime number?
True
Suppose i - 26 = -4*u - 1, 4*i - 15 = u. Suppose -139 = -w + 3*o, -793 = -u*w + 2*o - 150. Is w a composite number?
False
Suppose 805 = w - 556. Is w a prime number?
True
Let g = 5 + -2. Let k = g - 2. Is k - (1 - (-159)/(-3)) prime?
True
Let q(f) = f + 1. Let n(o) = -o**2 + 6*o + 9. Let w(m) = -n(m) + 6*q(m). Let l be w(3). Is 1/2 - (-33)/l prime?
False
Suppose -1889 - 199 = -4*d. Suppose -d + 5 = -n. Is n a prime number?
False
Let w(f) = -6*f + 1. Let d(c) = -c**3 + 3*c**2 + 6*c - 6. Let h be d(4). Let o = h - 8. Is w(o) a prime number?
True
Suppose -2*k + k - 4 = 0. Is (3/k)/((-4)/32) composite?
True
Suppose 3*b = -5*z + 1351, -4*b + 0*b + 5*z = -1813. Suppose 0 = -6*u + 10*u - b. Is u prime?