lse
Suppose 3*p = x + 20 + 2, -2*x + p - 24 = 0. Let m be (-2 - 0)/(4/x). Suppose 0 = v - 18 - m. Is v a prime number?
True
Let b(p) = p**3 - 7*p**2 - 4*p + 5. Let y be b(6). Let j = y - -117. Is j prime?
False
Let y(s) = -s + 55*s**2 + s**2 + 42*s**2. Is y(1) composite?
False
Suppose -s - 2 = 0, -2*t + 0*t = -s - 284. Is t a composite number?
True
Is (1115/2)/(4 + 14/(-4)) composite?
True
Suppose -c = -16 - 26. Suppose -6*f = -4*f - c. Is f a prime number?
False
Let n = 177 + 103. Let q = -5 + 7. Suppose -q*j + n = 26. Is j composite?
False
Let o = -122 + 18. Is ((-33)/6)/(4/o) a composite number?
True
Suppose 3*l + 472 = -l. Suppose 6*x - 4*x - 406 = 0. Let t = x + l. Is t composite?
True
Suppose 364 - 34 = 2*i. Suppose 0 = q - 5*k - 4, -2*q - 2*k = -5*k - 8. Suppose -q*s + s = -i. Is s prime?
False
Let n(g) = 2*g + 1. Suppose 2*d + 4*h = 3*h + 9, 5*d = -4*h + 27. Suppose -c = -3*c + 5*v + 5, -d*c + 4*v = -11. Is n(c) prime?
True
Let n(r) = 2*r**2 - 14*r - 9. Let p(h) = -h**2 + 13*h + 9. Let f(v) = -2*n(v) - 3*p(v). Is f(-6) a composite number?
True
Let y(a) = a**3 - a**2 - a + 1. Let h be (0 - -1)/(2/4). Let t be y(h). Suppose 2*d + 83 = t*n, 3*n - 108 = -6*d + 3*d. Is n composite?
False
Suppose 0 = -6*r - 9 + 39. Let i = 160 - r. Is i a composite number?
True
Let m(s) = -4*s + 1. Let b be m(-1). Suppose 2*z + 5*j - 297 = -20, 0 = -z + b*j + 146. Is z a composite number?
True
Suppose 0 = 2*h, 3*b - 2*h - h - 9 = 0. Let a = b + 1. Suppose -2*m - 8 = a*t, -2*m - 20 = -6*m + t. Is m a composite number?
True
Let i(o) = -o**3 - 3*o**2 + 4*o + 3. Let g be i(-4). Let n = g - 10. Is (n/4)/((-2)/8) composite?
False
Let n = 6 + -4. Is (n/(-6))/((-1)/669) prime?
True
Let i(b) = b + 23. Suppose 11 = -2*s - 5. Let v be -1 + -1 + s/(-4). Is i(v) prime?
True
Let q = -3 - -5. Suppose -4*j + 132 = 4*p, -p + 4*j - 11 + 44 = 0. Let w = q + p. Is w composite?
True
Let q(r) = r**2 - 6*r + 2. Let j = -24 - -15. Let h be q(j). Suppose 5*w = 208 + h. Is w a composite number?
True
Is (-3937)/(-7) + (-48)/(-84) composite?
False
Let y(i) = -38*i + 2. Let g be y(-2). Let d = 74 + 9. Let t = g + d. Is t a prime number?
False
Let f be 2*4 - (-1 - 0). Suppose 3*r = -5*j - f, 5*r + 0*j - 13 = j. Is 1/(r + (-351)/177) composite?
False
Let q(z) = 115*z + 3. Let v be q(3). Suppose k + v = 2*k. Suppose 4*p - k = -4*j, 5*p + j = 3*j + 421. Is p prime?
False
Let g = 58 + -27. Let i = -10 + g. Is i a composite number?
True
Let d(l) = 7*l. Let w be d(7). Let x(g) = g**3 - 5*g**2 - 2*g - 2. Let h be x(4). Let s = w + h. Is s composite?
False
Let q(j) = -j**3 - 8*j**2 + 9. Let y be q(-8). Let z be (18/8)/(7/(-28)). Is (-1443)/z + 6/y a prime number?
False
Suppose 2*l + 2*l = 32. Let v = -3 + l. Suppose -144 = -3*u + v*m, -m + 63 = -5*u + 325. Is u a prime number?
True
Suppose 3*i = 7*i + 832. Let x = i - -357. Is x composite?
False
Let k(z) = -z**2 + 7*z + 5. Let p be k(7). Suppose p*f = 15, 82 = 5*s - 2*f - 37. Suppose -3*t = -6*t + 2*w + 59, t = -2*w + s. Is t a composite number?
True
Let w(g) = g - 1. Let h be w(3). Suppose -l + 4*a = -31, 3*l = 2*l + h*a + 21. Is l prime?
True
Suppose -5*k + 10*k = 0. Suppose k = m - 3*c - 64, 0 = 5*m + 2*c - 5*c - 380. Let y = 192 - m. Is y composite?
False
Let r(j) = -18*j - 5. Let h be 40/25 + (-4)/(-10). Let k = -7 + h. Is r(k) a prime number?
False
Let n be (184/(-5))/((-6)/45). Suppose 0 = l + 3, -2*l = 3*o - l - n. Is o a prime number?
False
Let l(o) = 3*o - 14. Let g = 14 - 3. Is l(g) prime?
True
Let o(y) be the second derivative of 13/6*y**3 + 0 - 5/2*y**2 - 4*y. Is o(4) composite?
False
Suppose k = 7*k + 36. Is (-1)/(-3)*(-6138)/k a prime number?
False
Let q(m) = -m**3 - 7*m**2 - 16*m + 7. Is q(-6) a composite number?
False
Suppose 3 - 1 = c. Suppose c*u = -u + 36. Suppose 0 = a - 3*a + u. Is a prime?
False
Suppose -2*y = -4*y + 8. Let c(d) = 5*d - 1. Is c(y) a prime number?
True
Suppose 6 = m - 3*t, -2*m + 7*m + 3*t - 12 = 0. Suppose -8 = 5*u - 4*w, -2*w + 7 = m*u + 3. Is 7*5 - -2 - u a prime number?
True
Is (-2)/(-14) + 14208/112 prime?
True
Let d be (3/4)/(4/16). Suppose h + 10 = d*h - 3*r, -5*r - 10 = -2*h. Is (-1 + 16)*(6 - h) a prime number?
False
Let o = -18 - -68. Suppose -5*t - 156 = -s, 4*t - 8*t - 129 = -5*s. Let y = t + o. Is y composite?
False
Is 3/24 + (-926)/(-16) composite?
True
Suppose 2*n - 302 = -2*a - 2*n, -5*n - 453 = -3*a. Suppose -5*z - 46 + a = 0. Is z/2*(-28)/(-6) a composite number?
True
Let v be ((-3)/(-6))/((-1)/(-14)) - 3. Suppose 14 + 4 = 3*g - 3*j, 3*j + 28 = 5*g. Suppose g*p + 141 = v*z, 0*z = 3*z + 5*p - 132. Is z a composite number?
True
Let x = -10 - -26. Let g = -5 + 5. Suppose -5*o - x + 201 = g. Is o composite?
False
Let c be ((-2)/(-2))/(3/(-15)). Let a = -3 + c. Let w = a - -11. Is w prime?
True
Let s(y) = -5*y - 8. Let m be s(-4). Let w(p) = 12*p + 5. Is w(m) a prime number?
True
Suppose s + 6 = n, 0*s = -5*n + 4*s + 26. Is n/(-10) + (-1104)/(-20) prime?
False
Let k(i) = 4*i - 1. Is k(5) a composite number?
False
Suppose 0 = -3*w + 10 - 1. Suppose -5*n + 182 + w = 0. Is n composite?
False
Suppose 4*a - r = -5 - 3, -4*a - r - 16 = 0. Let t(c) = -c + 4. Is t(a) composite?
False
Let w(d) = -3*d - 6. Suppose 5*p + 23 = -12. Let j be w(p). Is (-10)/(-1*6/j) a composite number?
True
Suppose -836 - 442 = -4*w - 2*i, 2*w + 5*i - 659 = 0. Is w a prime number?
True
Let s(i) = -11*i**3 + 9*i**2 - 8*i + 9. Let t(p) = -5*p**3 + 4*p**2 - 4*p + 4. Let x(q) = -6*s(q) + 13*t(q). Is x(5) composite?
False
Let r = 202 + -470. Is ((-39)/26)/(6/r) a composite number?
False
Suppose 0 = -2*h + 26 + 46. Let z = 73 - h. Is z composite?
False
Suppose -6 - 1 = -y. Let w = y + -4. Is w a composite number?
False
Let y(i) = i**3 - 2*i**2 - 6*i - 20. Is y(9) prime?
False
Let b = -462 - -869. Is b composite?
True
Let o(a) = 16*a**2 + a - 1. Is o(4) prime?
False
Let n = 555 - 118. Is n a prime number?
False
Is (28/(-4))/((-1)/3) a prime number?
False
Suppose 0 = u + 4 - 3. Let y = 0 - u. Is -1*(-89 - (y + -1)) a prime number?
True
Suppose -4*d = 3*a - 28, -2*d - 21 = -3*a + d. Let y = a - 0. Let k = 2 + y. Is k composite?
True
Let c be (-2)/8 - (-10)/8. Suppose y = -4*m - 11 + 5, 4*m - y = -10. Is c/((-3)/(-60)) - m a composite number?
True
Is (6457/(-22))/(0 + (-3)/6) composite?
False
Let b(f) = f**2 - f - 7. Let x = 4 + -3. Let h be x/3 + (-80)/(-12). Is b(h) composite?
True
Let p(u) = 8*u**2 + 2*u - 5. Let k be 22/(-4) - 2/(-4). Is p(k) a composite number?
True
Suppose a = 1 + 2. Let t(p) = 3*p - 3*p**2 + p + p**3 - 4 - 2*p. Is t(a) prime?
True
Let n = -2 + 2. Suppose n = 3*q + 4*g - 117, -2*q + 78 = -g + 4*g. Is q composite?
True
Let f(b) = b**2 - 5*b - 4. Let z be f(5). Let m = z - -6. Is 76 - m*9/(-6) a prime number?
True
Let r be 456/(-10) - 2/5. Let z = r - -79. Is z prime?
False
Suppose x = -5*b + 21, -6*b + 40 = -2*b - 5*x. Suppose 0 = -0*g + b*g - 1295. Is g composite?
True
Let q = 1570 - 1085. Is q a prime number?
False
Suppose 0 = 4*b - 3*s - 679, -2*b + 369 - 30 = -s. Is b composite?
True
Let o(y) = 632*y**2 - y. Is o(1) a composite number?
False
Is ((-2)/(-8))/((-18)/(-223848)) a composite number?
False
Let u be 73 - (0 - 4) - 1. Suppose u = c - 103. Is c a prime number?
True
Suppose 0 = -2*z + 3*z - 5079. Is z a composite number?
True
Suppose 18*y = y + 11917. Is y composite?
False
Let p = 304 + -81. Is p a composite number?
False
Suppose 5*j = s + 1, -2*j + 0*j = -2*s + 6. Suppose -3*i = -s*u - 15, -i + 2*u + 0 = -3. Is 31/3 - 3/i a composite number?
True
Let v(o) = o**3 + 4*o**2 + 4*o + 3. Let q be v(-3). Suppose 3*c + 2*c - 325 = q. Let x = -28 + c. Is x prime?
True
Let l(d) = -5*d - 2. Let c(k) = k - 1. Let t(h) = 6*c(h) + 2*l(h). Let x be ((-2)/(-4))/(2/(-32)). Is t(x) a composite number?
True
Let d(p) = 17*p**3 - p**2 - 2*p - 3. Is d(4) composite?
False
Let t be 15/6 + 3/(-6). Suppose c - 144 = -4*y + 3*c, -t = c. Is y prime?
False
Is 396/4 + 2 + -4 composite?
False
Suppose 4*i + 7 = 27. Suppose 2*z + i = 3*z. Suppose 5*a + 0*l - 108 = 2*l, a - 27 = -z*l. Is a prime?
False
Let o(b) = -15*b - 17. Is o(-9) composite?
True
Let h be (-3)/3 + 3 - 2. Let n = 3 + h. Suppose -n*c - 2*p + 0*p + 67 = 0, -5*p - 11 = -c. Is c prime?
False
Suppose -5*u + 5 = -5*w + w, 0 = -5*w + 2*u - 2. Let c(r) = r**2 + r - 57. 