lse
Let p = 1517 - 1050. Is p a prime number?
True
Suppose 0*w + 5 = w. Suppose -2*y + 3*y = -w*j - 31, 2*y - 4*j - 8 = 0. Is ((-3)/y)/(1/62) a prime number?
True
Let x(n) = n + 4. Let w be x(0). Suppose w*z - 5*v - 13 = 5, 0 = -5*z - 5*v. Is z/9 - (-122)/18 a prime number?
True
Let c = -2 + -3. Let w(o) be the second derivative of -o**5/20 - o**4/4 + o**3/3 - 5*o**2/2 - o. Is w(c) composite?
True
Let d = 11 + -8. Let v(j) = 7*j**2 - 2*j - 2. Is v(d) prime?
False
Suppose -f = -6*f + 3*m + 27, 5 = -5*f - 5*m. Let o be 6/(-5 + f) + 36. Suppose 5*h - q - o = 0, -h - q = -2 - 7. Is h a prime number?
True
Let f(v) = 3*v**2 - 23*v + 6. Is f(-11) a composite number?
True
Let r(c) = -222*c + 3. Is r(-2) composite?
True
Suppose 5*z = 2*p + z - 14, -5*z - 18 = -3*p. Let s be (2 - p - 37) + -2. Is 2/((-4)/s + 0) a prime number?
True
Let o(n) = -16*n + 51. Is o(-5) a prime number?
True
Let f = 136 - -87. Is f composite?
False
Suppose 6*d = 5*d. Let n(c) = -c + 499. Is n(d) a composite number?
False
Let f = -204 + 1101. Is 0 + 0 - f/(-3) composite?
True
Suppose -33 = -u + 52. Is u a prime number?
False
Let k(n) = n**2 - 2. Let c be k(-9). Suppose v + 4*b = -0*b + c, 0 = -3*v + b + 198. Is v a composite number?
False
Let d(h) = -h - 3. Let p be 130/(-35) - 4/14. Let f be d(p). Is (-45 - 2)*f*-1 composite?
False
Suppose -5*p + 915 + 2240 = 0. Is p prime?
True
Let k(p) = -p**3 - 5*p**2 + 9*p - 2. Is k(-7) a prime number?
False
Suppose -o - 2*o + 36 = 0. Suppose -2*s + 200 = o. Is s a composite number?
True
Let z(d) = -d**3 + 26*d**2 - 8*d + 16. Is z(21) composite?
False
Let b(z) = -z**3 - 2*z**2 + 4*z. Suppose 6 = -5*m - 24. Let a = 1 + m. Is b(a) prime?
False
Suppose -3*r + 39 = -0*r. Suppose -y + 2*y = r. Is y composite?
False
Let c = 49 + -3. Is c a composite number?
True
Let h(l) = 7*l**2 - l - 1. Let d be h(-1). Let c(g) = d*g**3 + 3*g + 3*g**2 - 3 + g**3 - 5*g**2 - 3*g**3. Is c(2) a prime number?
False
Suppose -5*o + 4*b - 838 = 0, 0*b = -b - 3. Let l(z) = 10*z**2 + z + 8. Let h be l(-5). Let c = h + o. Is c prime?
True
Suppose 0 = -3*m - 3*h + 591, m - h = 3*h + 207. Is m composite?
False
Let o(a) = a**3 + 5*a**2 - 4*a + 7. Let m(r) = 5*r - 4. Let v be m(2). Is o(v) a composite number?
False
Let h(b) be the first derivative of -3 + b**2 - 3*b + 2/3*b**3. Is h(-4) composite?
True
Is 3*3/(-3) + 974 a prime number?
True
Suppose -2*t = 3*t - 175. Suppose -n + 58 = w, -3*n = 5*w - 257 - t. Is w a prime number?
True
Suppose 3*j - 2*w - 1495 = 0, 3*j + 2*j = -5*w + 2500. Is j a composite number?
False
Suppose -422 = -0*s - s. Is s a composite number?
True
Suppose 3*q - 3*j = 6, -2 = -3*q - 2*j + 7*j. Suppose 10 = o + o - 5*n, 20 = q*o - 2*n. Is 4/(-10) - (-97)/o a prime number?
True
Suppose r + 2235 = 4*r. Suppose 4*d - 435 = r. Is d prime?
False
Let x(t) = -2*t**2 + t. Let v be x(1). Let r = 10 - v. Is r composite?
False
Is 682/1 - (-6 - -5) a composite number?
False
Suppose 24 = 5*a - x, 23 - 7 = -4*x. Suppose a*q = 3*w - 0*w - 247, 4*w + q = 304. Is w prime?
False
Suppose t - 4 = -3*t. Let h be (2/t)/((-6)/(-429)). Suppose 0*f = f - h. Is f a composite number?
True
Let j be 27/(-12)*(-16)/6. Suppose -q + j*q - 285 = 0. Is q a composite number?
True
Let f(p) = -6*p - 3. Let v be f(-3). Let x = 5 + -3. Suppose -71 = -x*d + v. Is d composite?
False
Let f(h) = h**3 + 114. Let n be f(0). Let j = 257 - n. Is j a composite number?
True
Let h = 4179 + -2702. Is h prime?
False
Suppose -3*s + 4*h + 779 = 0, -2*h = -3*s + 275 + 500. Is s composite?
False
Let b(z) = z + 2. Let p be b(2). Let f be (618/p)/((-6)/12). Is (-6)/(-4) + f/(-6) a composite number?
False
Let a(j) be the second derivative of -12*j**3 - 3*j**2/2 + 4*j. Let b be a(-2). Suppose -5*z = -b - 124. Is z composite?
False
Suppose 4*d - 2*u - 5 = 3, 2*d + 4 = -u. Suppose c - 161 - 258 = d. Is c composite?
False
Suppose -s + 304 = 3*t + t, -3*s + 936 = 4*t. Let j = 3 - -2. Suppose -s = -j*r + r. Is r a prime number?
True
Suppose 298 = 5*w - 322. Suppose g = -3*g + w. Is g prime?
True
Let o(j) = 43*j**3 - 2*j**2 - j. Let l be o(-1). Let a be (-3 - -3) + 2*1. Is ((-9)/6)/(a/l) a prime number?
False
Suppose 4*f = 0, 3*f + 69 = -r + 272. Is r composite?
True
Suppose 0 = 5*p - 12 - 13. Let k = p - 5. Suppose -q + 3*l - 7*l + 53 = k, -5*q = -4*l - 241. Is q composite?
True
Suppose 5 = -2*g + 13. Suppose g*m = 5*m. Let b(r) = r**3 - r**2 + 6. Is b(m) prime?
False
Suppose 1 = -2*p + 5. Is (-10)/(p + (-16)/7) a prime number?
False
Suppose 5*j - 2*b - 227 = b, -4*j - b = -185. Is j a prime number?
False
Let n(b) = b**2 - b + 6. Let l be n(-6). Let p = l + -1. Suppose 2*u - u = p. Is u prime?
True
Suppose 13*a - 8*a = 2915. Is a a prime number?
False
Let w = 9 + -7. Let n = w - -2. Suppose n*h - 278 = 2*h. Is h a prime number?
True
Suppose 3*d + 2*d = 40. Let n = -4 + d. Suppose n*g - 73 = g + v, 4*g - 72 = -5*v. Is g prime?
True
Let n = 12 - 6. Let u(j) = j**3 + 5*j**2 - 8*j - 8. Let s be u(-6). Suppose n*k - 178 = s*k. Is k a prime number?
True
Is 9/36 - (-1526)/8 prime?
True
Suppose 5*x = 4*n + 3335, 4*x + 2*n - 1546 = 1122. Is x a composite number?
True
Is (-2)/(8/4198)*(-3 - -1) a prime number?
True
Let k(o) = 3*o - 3. Let h be k(-3). Let b be ((-1)/3)/(2/h). Suppose -b = -3*r + 1, -27 = -3*n + 3*r. Is n a composite number?
True
Let y = 582 + -331. Is y composite?
False
Let y(a) = 2 - 4*a**2 - 8*a**3 + 0*a - a + 9*a - 2*a. Let d be y(5). Is (-2)/(-8) + d/(-16) a composite number?
False
Suppose -5*g + 0*g + 2 = -4*d, 5*d - 16 = -3*g. Suppose -45 = d*t + 4*w - 415, 4*t - 729 = 3*w. Suppose -2*j + t = 5*q - 144, -3*q = j - 196. Is q composite?
True
Let p = 224 + -33. Is p prime?
True
Let y be (3 + -1 - 3) + 1. Let f be 0 + y/(-4 + 1). Suppose f = -2*t + 71 + 35. Is t a prime number?
True
Suppose -c + 69 = u, -c + 85 = -4*u + 1. Let w = 132 - c. Suppose -2*j - 3*x + 40 = 0, -4*j = 3*x - w - 26. Is j a composite number?
False
Let n(h) = h**3 - 7*h**2 + 2*h - 4. Let y(i) = i + 4. Let c be y(-4). Suppose 0 = -3*a - c*a + 21. Is n(a) prime?
False
Let c be 1*-1 - (-72 - -1). Suppose -2*l = 2*y - 79 - 13, -4*l = -4*y + 144. Suppose -u + v + y = -0*u, 2*u + v = c. Is u a prime number?
True
Let g = 7 - 3. Suppose 0 = g*h + n - 37, -4*h + h + 36 = -2*n. Is h prime?
False
Suppose -12598 = -6*o - 4420. Is o a composite number?
True
Let l be -5 + 13 - 1*2. Suppose 0 = 3*j - l*q + q - 899, -5*j + 5*q = -1485. Is j prime?
True
Let g = 5 + -1. Suppose g*s = -0*s + 572. Is s a composite number?
True
Suppose 0 = 2*c + 2*c - 12. Let s = c - 0. Suppose -9 = -2*i + s. Is i a composite number?
True
Let a(s) = 33*s - 17. Is a(7) a prime number?
False
Let n(d) = -3*d**3 + 2*d**2 - 2*d - 3. Let i be (1 + (-6)/10)*-5. Let k be i - (0 + 0/(-1)). Is n(k) a prime number?
False
Suppose 0 = -2*i - 2*p + 58, 9*p - 120 = -4*i + 4*p. Is i composite?
True
Let h = 10 - 18. Let b be 4/(-3)*12/h. Suppose 0*g = -b*g + 170. Is g a prime number?
False
Let t(b) = -568*b**2 + b + 1. Let x be t(2). Let d = -1126 - x. Suppose 3*h + 354 = d. Is h prime?
True
Let f(k) = -k**3 + 2*k**2 + 3*k - 2. Let t be f(4). Let s be 1/(-3) + t/(-3). Let v = 42 - s. Is v a prime number?
False
Let f = 4 + 0. Suppose -1 - 1 = -g, f*d = -g + 462. Is d a prime number?
False
Let p(a) = -6*a + 9. Let d be p(6). Let h = -5 - d. Is h composite?
True
Let i be -3*((-1131)/9 - -2). Suppose 2*p + i = 5*p + 4*y, -2*p + y = -240. Is p a prime number?
False
Is (1257/9 - -1)/((-8)/(-12)) a prime number?
True
Let g be (-570)/(-3)*(-2)/(-4). Suppose 0 = -2*c - 3*c + g. Is c prime?
True
Suppose 1 + 0 = -2*q - 5*j, -3*q + 3*j - 12 = 0. Is (-267)/9*q*3 composite?
True
Is 6112/(-16)*1/(-2) composite?
False
Let t(z) = -2*z**3 - 6*z**2 - 5*z + 6. Let y(k) = -k**2 + 11*k - 8. Let d be y(10). Suppose 0 = d*b - 5*i + 20, -2*b - 2*i = -0*b + 6. Is t(b) prime?
True
Let k(o) = -4*o - 1. Let x(p) = p**2 + 9*p + 3. Let h be x(-8). Is k(h) a prime number?
True
Suppose 2*k - 9*r = -5*r + 442, 3*r = 3*k - 660. Let p be -1 - (k*-6)/3. Suppose -p + 102 = -5*y + 3*v, -2*y = -5*v - 134. Is y a composite number?
False
Suppose -2*k = 3*u - 4631, k - 3*k + 2 = 0. Is u composite?
False
Suppose -222 = 5*q - 7*q. Is q a composite number?
True
Let t be (-1)/4 - (-34)/8. Suppose 0 = -0*a + 2*a - t. Suppose -a*v = -0