lse
Suppose -4*p = -2*x + 6, -2*x + 3 + 0 = -5*p. Suppose 0 - x = -3*j. Suppose j*d = -0*d + 3297. Is d a prime number?
False
Let r = 668 + -662. Let k = 1 + -1. Suppose 4*p - 34 + r = k. Is p prime?
True
Let f(b) = -b**2 - 15*b + 7. Let m be f(-7). Let p = 39 - -19. Let i = p + m. Is i composite?
True
Suppose -36 = -3*l + 4*r + 11, 2*l = 2*r + 28. Suppose -x + 62 = l. Is x a composite number?
False
Suppose -6*h + 42 = -3*h. Suppose -7379 = -h*b + 2183. Is b prime?
True
Let s(y) = y**2 - y - 10. Let h be s(-3). Suppose 4*c + h*d + 74 = 1386, 2*d = -4. Is c a prime number?
False
Let u(b) = 5*b + 727. Is u(0) a prime number?
True
Let b(s) = 43*s + 7. Let a be b(6). Suppose 6*z = c + z - 149, a = 2*c + z. Suppose c = 5*g - 3*g. Is g prime?
True
Let z(y) = -y**2 - 8*y - 5. Let a be z(-5). Let m = -8 + a. Suppose -o - 211 = -m*o. Is o a prime number?
True
Let m(t) = 4*t**3 + 19*t**2 + 14*t**2 + 6 - 5*t**3 - 41*t**2. Let v be m(-8). Let j(o) = 3*o + 3. Is j(v) composite?
True
Let a = 62242 + -27447. Is a composite?
True
Suppose 0 = 5*y + 5 - 15. Suppose 2*o - y*v - 752 = 0, -435 = -o - 5*v - 89. Is o a composite number?
True
Let t(u) be the second derivative of u**5/10 - 5*u**4/12 + 5*u**3/6 - 15*u**2/2 - 2*u. Is t(6) a prime number?
False
Let q = 2514 - 1047. Let z = q - 953. Suppose -2*o = -g - 636 + 138, -2*o - 3*g = -z. Is o composite?
False
Let n(z) = 2*z**3 + 3*z**2 - 1. Suppose -3 = 2*l + 2*o + 3, 5*l + 9 = o. Let h be n(l). Let q = 27 + h. Is q prime?
False
Let h = 24 + 2. Let r be (-2)/(-3 - (-2045)/685). Let c = r - h. Is c a composite number?
True
Suppose 3*p = -2*c - 1, -p = -8*c + 3*c + 6. Let a be (p*(-16)/(-4))/(-1). Suppose 0 = -a*q - 38 + 138. Is q composite?
True
Suppose 2245 = -12*j + 17*j. Is j prime?
True
Let i(m) = 7*m**2 + 2*m + 29 - 17 - 11. Let x = -7 - -9. Is i(x) a composite number?
True
Suppose -71*p - 9 = -68*p. Is ((-26)/4)/(p/354) a composite number?
True
Let y be (0 - -1)*-1 - -3. Suppose 0 = -y*r + 142 + 56. Let v = 188 - r. Is v composite?
False
Let r be (2 + (5 - 3))*(-6)/(-4). Is ((-12698)/r - 0)/(46/(-138)) composite?
True
Suppose -5*x + 157 = -4*q, 3*q + 159 = 6*x - x. Is 20829/x + (-4)/22 prime?
True
Suppose 6 = -5*b + 26. Let w = 35 + b. Is w prime?
False
Suppose -u + 2*l = -3 + 9, -4*u + 3*l = 4. Suppose -5*q - u*j + 3395 = -4*j, 0 = 2*q + 5*j - 1329. Is q a composite number?
False
Suppose -12*w = -7216 - 33812. Is w composite?
True
Let o(w) be the second derivative of -3*w**5/20 + w**4/6 + w**3/6 + w**2 - 5*w. Let b be o(2). Is 3 + 546/(b/(-4)) composite?
True
Let r(c) = -c**3 - 11*c**2 + 14*c - 6. Let q be r(-12). Let w = q + 49. Suppose o - 27 = w. Is o a composite number?
True
Let u = 4 - -2. Suppose -8 = -u*l + 2*l. Suppose 0 = r - 2*a - 84, l*r - 2*a = -7*a + 177. Is r prime?
False
Suppose 5*a - 28838 = y - 0*y, -y = 3. Is a composite?
True
Let u be -5 + (-4)/(6 + -2). Is (-239)/u*2*3 composite?
False
Let z(p) = -1 + 0*p**2 - 4 + 2*p**2 - 7*p - 3*p**2. Let w be z(-5). Suppose 1224 + 31 = w*x. Is x composite?
False
Suppose 39*g - 327528 = 3*g. Is g a composite number?
True
Suppose k = -2*w + 358, -5*k + 2*w + 1125 + 701 = 0. Suppose -2*q + k = 2*y - 0*y, 701 = 4*q - 5*y. Is q composite?
False
Let i = 8675 - 5620. Suppose 5*y - i = 2160. Is y composite?
True
Suppose 3*u - 2*b = 4, 3*b = -2*u + 1 + 6. Suppose -30 = -4*i - 3*k - u, 0 = 4*i + 4*k - 24. Is i composite?
True
Let a be -1427*(1 + 1 - 3). Let l = a - 1018. Is l a composite number?
False
Let n(m) = 3 + 3*m - 4 + 3*m**2 - 2 - 4. Let q(f) = f**2 - 4*f + 5. Let i be q(4). Is n(i) composite?
False
Let m(q) = 3201*q**3 + 3*q**2 - 5*q + 3. Is m(2) a composite number?
True
Suppose -2*j - 14 = -8. Is (4/8)/(j/(-6414)) composite?
False
Let o be -5 + ((-7)/1)/(-1). Is (0 + o)*2 - 137*-17 a composite number?
False
Is ((-1)/(-8))/((-2)/(-365072)) composite?
False
Suppose -4*v = -4*m - 8*v + 159924, v + 159904 = 4*m. Is m a composite number?
True
Let f be -3 + 735/(3 + 0). Let g = 365 - f. Is g a composite number?
True
Suppose q = -2*q + 3*v - 27, 3*q + 2*v + 32 = 0. Let p be q/(-5)*(-14 - 1). Is ((-18)/p)/((-2)/(-890)) a composite number?
True
Suppose -1020 = 18*d - 22*d. Suppose 3*k + d = 2*k. Let l = k + 529. Is l composite?
True
Let s = 18 + -18. Suppose s*o = -5*o + 955. Is o composite?
False
Let j(w) = 12*w + 40*w + 5 + 2. Let d(v) = 2*v**2 + v. Let u be d(1). Is j(u) prime?
True
Let q = 22275 + 9866. Is q prime?
True
Suppose 3*u + 5*s - 848 = 0, -2*u - 4*s - 580 = -4*u. Suppose -5*y - 11 = -u. Suppose 5*q - 508 = 2*c - y, 0 = -2*q - 4*c + 162. Is q composite?
False
Suppose -3*z = -6*z. Suppose z = -b - 4849 + 676. Is (-4)/(-14) - b/21 composite?
False
Suppose 0 = f - p - 5641, -3*f + p = -21303 + 4384. Is f composite?
False
Suppose 2359 = p + 3*g, 5*g = -15 - 5. Is p prime?
True
Let a = -7620 + 20959. Is a prime?
True
Suppose -980 = -403*j + 405*j. Suppose -3*i + 74 = 2*u, 3*u = i - 3*i + 101. Let x = u - j. Is x prime?
True
Let d = 4471 - 2234. Is d a composite number?
False
Suppose 3*y = -5*y - 144. Is 3*(-30)/y + 5082 a prime number?
True
Let x = 38649 - -19294. Is x a composite number?
False
Let b(l) = l**2 - 4*l + 1. Let p be b(5). Suppose -2*m + 2*q = 2, -3*q + 13 + p = m. Suppose -m*y + 11 = -809. Is y prime?
False
Let p(t) = -1 + 48*t + 23*t - t. Is p(6) prime?
True
Suppose 0 = 3*u - 2*j - 144, -2*u + 2*j = -61 - 37. Suppose u*l = 42*l + 652. Is l a prime number?
True
Let g = -823 - -1500. Let t = g - 312. Is t a composite number?
True
Let a = -12 + 17. Suppose a*m = -57 + 22. Let r(c) = -6*c + 17. Is r(m) composite?
False
Let m = 194 + -123. Suppose 5*f = 506 - m. Is f a composite number?
True
Let a(r) = 1287*r**3 - 6*r**2 + 10*r - 1. Is a(2) composite?
True
Let w = -16388 + 51733. Is w composite?
True
Let j(h) = -h**3 + 9*h**2 - 2*h - 17. Let g be j(8). Let m = -23 + g. Suppose m*f + 12 = 10*f. Is f a prime number?
False
Let k = -1032 + 100. Let h be k/((4 - -4)/(-4)). Suppose -5*r = 2*c - 1189 - h, 0 = c. Is r a prime number?
True
Suppose 2*g - 65 = s, -4*s - 6 - 299 = g. Is (-5055)/s + 2/(-5) prime?
True
Suppose 27204 = 40*o - 34*o. Is o prime?
False
Let h(g) be the second derivative of g**5/20 - 5*g**4/6 + g**3/2 + g**2 - 2*g. Let x be h(11). Let l = -71 + x. Is l a prime number?
False
Suppose 2 = -3*s - 4*i - 3, 5*s - 40 = 3*i. Suppose -x - 1377 = -n - s*x, 0 = -3*n - 2*x + 4091. Is n composite?
False
Let o(g) = -6*g + 4. Let i be (-2 + 3)/(-1)*11. Let a be o(i). Let x = 173 - a. Is x composite?
False
Suppose 0 = -5*x - 70 + 2465. Let q = 1280 - x. Suppose -2*h = h - q. Is h a composite number?
True
Suppose -4*s = 6*s - 13610. Is s composite?
False
Let y(z) = 30*z**3 + 1. Let i = 9 - 4. Suppose 0 = -3*w + q - 4*q, 4 = i*w + q. Is y(w) a composite number?
False
Let o be (-16)/2 + -1 + 0. Let p(l) be the second derivative of l**5/20 + 7*l**4/6 - 5*l**3/6 + l**2/2 - 70*l. Is p(o) a prime number?
False
Let l = 464 + -121. Suppose 0 = 18*i - 13*i + 920. Let t = i + l. Is t a composite number?
True
Let j = 20 + -4. Is (8/j)/(1/1002) composite?
True
Let f = 13535 - 9298. Is f composite?
True
Suppose -4*g + 1 = 2*r - 9, 3*g = 2*r + 18. Suppose -599 = g*t - 2043. Is t composite?
True
Let f = -4 + 3. Let t be (-1)/f*(4 + -8). Let w = 2 - t. Is w a composite number?
True
Let a = -14490 + 42561. Let n = a + -16814. Is n a composite number?
False
Let i = 5032 - 3015. Is i a composite number?
False
Suppose 0 = -20*h + 40*h - 22340. Is h composite?
False
Let y(z) = 593*z**2 - 25*z - 51. Is y(-2) prime?
True
Suppose 4*k - 17*z - 47838 = -22*z, 0 = -4*k + 3*z + 47854. Is k a composite number?
True
Let n(y) = -2*y**2 - 10*y - 3. Let l be n(-4). Suppose -8*g - 3665 = -l*c - 3*g, 3*g - 2205 = -3*c. Is c composite?
True
Let f(z) = -21*z**3 - 17*z**2 - 14*z + 30. Is f(-8) a prime number?
False
Let f(r) = -r**3 + 5*r**2 - r - 10. Let s be f(5). Let t(h) = -h**3 - 12*h**2 - 13*h + 11. Let g be t(s). Suppose -g = -d + 320. Is d a composite number?
False
Let k = 1 + -1. Let b be ((-354)/18 + -1)*-33. Suppose 393 = 3*d + 3*x, 5*d = -k*x + 4*x + b. Is d a composite number?
True
Let p be ((-2)/5)/((-3)/270). Let s = 165 + p. Is s composite?
True
Let o(n) be the third derivative of n**6/60 - n**5/60 + n**4/6 - 3*n**3/2 + n**2. Let z be o(8). Let i = z - 352. Is i 