lse
Let u = 1596 - 919. Is u prime?
True
Let i(x) = -x - 2. Let d be i(-4). Suppose -5*g + 145 = 4*b - 38, -2*b = d*g - 74. Is g a prime number?
False
Suppose 2*d + 2*h = -2, 0 = 7*d - 2*d + 4*h. Suppose 16 = -d*r, -3*n = 7*r - 2*r - 46. Is n a prime number?
False
Suppose -n + 54 = 2*n + 4*y, 2*y - 72 = -4*n. Is n/27 + 134/6 composite?
False
Let h(p) = 54*p - 10. Let j be h(10). Let b = j - 271. Is b a composite number?
True
Let p = 109 + -72. Is p a prime number?
True
Let z(k) = 6*k**2 + 7*k + 6. Let s = -2 + -3. Is z(s) prime?
False
Suppose -2*q + 478 = l, -3*q = 4*l - l - 714. Suppose 4*j - v + 20 = q, -5*v = j - 34. Let n = -31 + j. Is n composite?
False
Let n(x) = -10*x + 1. Suppose -r = -0*r + 9. Is n(r) composite?
True
Suppose 10 = -4*m - 2*h, 0 = -2*m + 3*m + 4*h + 20. Let d = m + 19. Is d a prime number?
True
Let w = -5 - -5. Suppose w = 5*q - 3*q - 180. Suppose -5*d + q + 295 = 0. Is d a composite number?
True
Let c be 8/2*3/4. Let b(t) = t - 5*t + 5*t**2 + c*t + 1. Is b(2) prime?
True
Suppose 0 = -2*q - q + 3582. Suppose -4*o - 5*n + 593 = -2*o, 4*o = -2*n + q. Is o a prime number?
False
Let m = -259 + 932. Is m prime?
True
Let y(b) = b + 4. Let u be y(-3). Let w be (4 + u)*(-3 + 8). Suppose r - 102 = w. Is r prime?
True
Let p be (-2)/(2/(-3)) + -1. Suppose -p*d + 555 = d. Suppose -2*x + d = 3*x. Is x composite?
False
Suppose -c = -4*q + 17, 5*q - 3*c = q + 19. Let b(x) = 2*x. Let m be b(2). Suppose 3*l + l = -16, q*o - m*l = 28. Is o prime?
True
Let o(f) = 1. Let b(d) = -46*d - 13. Let p(u) = -b(u) - 2*o(u). Is p(12) a composite number?
False
Let g = 4084 + -1905. Is g prime?
True
Is (13/3)/(1560/(-522) + 3) composite?
True
Is 5/((0 + 1)/(668/4)) a composite number?
True
Suppose 0 = -3*p - p + 8. Suppose 2*m + 5*t = 20, 0 = 3*m + 3*t - 4*t + 4. Suppose 0 = -p*i - m*i + 242. Is i prime?
False
Suppose 4 + 2 = 3*s. Let a(v) = 4*v**2 - 9*v + 3. Let z be a(6). Suppose 2*k - 56 = -s*q, 5*k + 3*q - 41 = z. Is k composite?
True
Let i(m) = -2*m**3 + m**2 - m + 2. Let l be i(3). Let g = -76 - l. Let r = g - -61. Is r a prime number?
True
Let s(n) = -2*n**3 - 2*n**2 + 2*n - 1. Let t be s(1). Let u = t + 36. Is u composite?
True
Suppose 5*v - 760 = -i + 2*i, -i = 3*v - 456. Let x(s) = -4*s**3 + s**2 - 1. Let t be x(-1). Suppose t*h + 0*o = o + v, o = -4. Is h composite?
False
Is 332*3*(-4)/(-48) composite?
False
Suppose 0*z = -2*v + z + 429, 2*v - 4*z - 426 = 0. Is v composite?
True
Let j be 4/(-6) - 68/(-12). Suppose 2*m + 141 = j*y + 50, -2*y + 44 = 3*m. Is y a composite number?
False
Let t(a) = 2*a + 1. Let n be t(-1). Let y(q) = -q - 3. Let x be y(-4). Is x + 13 + 2 + n a composite number?
True
Let y(s) = -s**3 + 2*s**2 + 3*s. Let n be y(3). Suppose n = -x - 4*h + 63, 0 = -3*x + 6*h - 3*h + 159. Is x composite?
True
Let c(m) = m**3 + 12*m**2 + 7*m + 9. Is c(-11) prime?
True
Let q(j) = 9*j**2 - 7*j + 8 - 1 - 3 + 0*j**3 - j**3. Is q(7) a prime number?
True
Let s(a) be the first derivative of -a**2/2 + 15*a + 2. Let j be s(8). Let c(d) = 2*d - 1. Is c(j) a composite number?
False
Let s be 319 - 2 - (1 - 3). Suppose -218 = -3*d + s. Is d composite?
False
Suppose -3*d + 6*d = 57. Let c(y) = y**3 + y**2. Let l be c(-2). Let w = d - l. Is w a prime number?
True
Suppose -48 = -3*m + 837. Is m prime?
False
Suppose 3*p - 4*x = x + 432, 0 = -4*p + 5*x + 571. Suppose 4*m - 791 = -p. Is m prime?
True
Let s(a) = -18*a + 29. Is s(-10) prime?
False
Let r = 19 + -16. Suppose -4*q + 0*q = -80. Suppose -r*b = 4*s - 98, 18 = 2*s - 4*b - q. Is s a composite number?
False
Suppose -2*w = -0*w - 146. Suppose a - 2*r - w = -0*r, a - 3*r - 71 = 0. Is a prime?
False
Suppose -2*g + 191 = -1647. Is g prime?
True
Suppose -248 = -5*r + 42. Suppose -5*u + 4 = -121. Let s = u + r. Is s a composite number?
False
Let t(r) be the first derivative of 179*r**2/2 - r - 4. Is t(1) composite?
True
Let v = -80 - 467. Let o be v/(-3) + 5/(-15). Is 6/3 + o/2 a composite number?
True
Let m = 737 + -291. Is m prime?
False
Let p be 581/7 + 1 + -1. Let v = p + 8. Is v prime?
False
Let o = 5 - 6. Let z = 5 + o. Let i(y) = 18*y + 5. Is i(z) a prime number?
False
Let p = -415 + 756. Is p prime?
False
Let x(a) be the first derivative of -a**3/3 + 9*a**2/2 + 2*a - 4. Let y be x(9). Suppose -y*u - 3*c = -8*c - 320, 3*u + 2*c - 461 = 0. Is u composite?
True
Suppose 0 = -4*h + h. Suppose -2*d + 118 = -h*d. Is d a prime number?
True
Let s(p) = 2*p**2 + 4*p + 8. Let l = 1 - 6. Is s(l) composite?
True
Is 2/4*1*2218 composite?
False
Suppose b - 632 = 5*s, 296 = b - 3*s - 344. Suppose -4*t = -9*t. Suppose t = 4*a - 168 - b. Is a prime?
False
Let z(p) = 305*p + 44. Is z(7) prime?
True
Let x(r) = -r**3 - 3*r**2 + 3*r + 2. Let u(m) be the third derivative of m**4/8 - m**3/6 + 4*m**2. Let g be u(-1). Is x(g) prime?
False
Suppose 2*w + 873 = 5*w. Is w prime?
False
Let w(o) = 2*o**2 - 2*o + 6. Let h be w(5). Suppose 0 = j + 2*i + 2*i + 16, -4*i = 3*j + 8. Suppose -234 = -j*p - h. Is p a composite number?
False
Let d = -976 + 2127. Is d a composite number?
False
Let t(k) = -85*k - 4. Let y be t(-3). Let z = 462 - y. Is z prime?
True
Is (1 - 1800)/(-1*1) a prime number?
False
Let x = -133 + 256. Is x a composite number?
True
Let w = -5 + 12. Suppose 2*i + 1 = -w. Is (-2)/i - 75/(-6) composite?
False
Let l(m) = m**3 - 23*m**2 + 6*m + 15. Let p be l(11). Let v = 1994 + p. Is v prime?
False
Let n(z) = z**3 + 8*z**2 + 4*z + 7. Suppose -c - 2*c - 26 = -4*f, 14 = -3*c - 2*f. Is n(c) prime?
False
Is (-110514)/(-21) + 16/(-28) - 1 prime?
True
Let t be (-100)/(-45) - 4/18. Suppose -t*a = 2 - 0. Let g(z) = -59*z**3 - z**2 + 1. Is g(a) composite?
False
Let y(l) = -3*l + 10. Suppose -8*q = -3*q + 35. Is y(q) prime?
True
Is ((-340)/(-8))/(1/2) prime?
False
Let x(w) be the second derivative of w**4/12 - w**3/3 - 2*w**2 - 2*w. Let r be x(-4). Let s = r + -1. Is s composite?
False
Let m(p) = p**2 - 9*p - 6. Let o be m(9). Is (-153)/(-2)*(-4)/o a composite number?
True
Let i be -3 + 1 + (14 - 0). Let a(q) = -q**2 + 15*q + 7. Let r be a(7). Suppose -u - i = -r. Is u a prime number?
False
Let x(d) = -239*d + 1. Is x(-2) a prime number?
True
Let f(q) = 64*q - 1. Is f(24) prime?
False
Let t = 54 - 147. Let v be (3120/32)/(6/8). Let k = v + t. Is k a composite number?
False
Suppose -6*u = -190 - 128. Is u a composite number?
False
Suppose 11*r - 6*r - 925 = 0. Is r composite?
True
Suppose -55*h + 4228 = -51*h. Is h a composite number?
True
Let b be 164/(-6) - (-22)/(-33). Let p = 50 + b. Is p composite?
True
Let o be 2*((-5)/2 - -1). Is (-4 - o)*(0 - 21) composite?
True
Let v = -341 - -192. Let x = v + 266. Suppose x - 452 = -b. Is b a composite number?
True
Let n = 1552 + -911. Is n a composite number?
False
Suppose -t = -3*g + 342, g - 27 = 3*t + 95. Is g a composite number?
False
Suppose -3*r + 9 = 0, -5*g + 3167 = 2*r + 2*r. Is g prime?
True
Let m(r) be the third derivative of r**4/12 - 4*r**3/3 - 4*r**2. Let f be m(6). Is f/(-6) - (-269)/3 prime?
True
Let q(v) = 101*v - 4. Is q(3) a composite number?
True
Is -8 + 4 - (-3 - 836) composite?
True
Let g = 516 - 137. Is g composite?
False
Let q be 2/3 + (-15424)/(-48). Let b = 76 + q. Is b a prime number?
False
Suppose -b + 0*x = -2*x - 1, 2*x = 6. Suppose 2*f - b*f = 0. Suppose 0 = -f*z + 5*z - 445. Is z composite?
False
Let f be 12/10*(-2 + 7). Suppose -18 = 4*b + f. Is (b - -16)*17/2 composite?
True
Let d(p) = -5*p**3 + 9*p**2 + 5*p - 13. Is d(-6) a composite number?
False
Let d be ((-318)/(-3))/((-2)/5). Let q = d + 392. Is q a prime number?
True
Let a(f) = -12*f**3 - 5*f**2 - 2*f + 5. Is a(-4) prime?
True
Suppose -15 = -3*u - 6. Let s(t) = u*t + 5 - t - 3*t. Is s(-6) a prime number?
True
Let k = -12 + 1. Let c = k - -19. Let b = c + 45. Is b composite?
False
Let i(z) = z**2 - 4*z + 2. Suppose 2*y = 4*u - 10, -4*u - 3 = -5*y - 4. Let c be i(u). Is (c + 35)*(2 + -1) a prime number?
True
Is ((-24)/16)/((-2)/1244) prime?
False
Let m(w) = 48*w**2 - 6*w + 17. Is m(6) composite?
False
Suppose u - 2*y = -6*y + 114, -2*u + 228 = y. Is 1/(u/111 - 1) prime?
True
Let a = 17 - 12. Suppose 4*z - 455 = -5*v, a*v + 5*z = 2*z + 455. Is v prime?
False
Suppose -1 = i - 3. Let w = i - 5. Is (-6)/9 - 35/w prime?
True
Suppose -2*v - v = -2553. Is v a composite number?
True
Suppose 3 = -3*c 