lse
Let q(g) = g**2 + 6*g - 7. Let c be q(-7). Suppose -9 = n - c*n. Is (-9)/n*(-1 + 140) prime?
True
Suppose -2*x = -4*v - 8162, 0 = -3*x + 4*v + 5932 + 6313. Suppose -5*p + 4*l = -x, l = -5*p - 4*l + 4065. Is p prime?
False
Is 3/(-6) - 4578/24*-2 composite?
True
Suppose 5*z + 4*w - 19 = 0, 4*z + 5*w = -8 + 25. Suppose 5*m - 5*l - 40 = -0*m, z*m - 16 = l. Suppose m*v - 140 = -0*v. Is v a composite number?
True
Let y(b) = -31*b + 1. Let x be y(-4). Let u = -35 + x. Let j = u - 39. Is j a composite number?
True
Is 72076/(-6)*(-23)/((-598)/(-39)) a prime number?
False
Let z = 130816 - 82883. Is z prime?
True
Suppose -3*f - 2*f = -25. Suppose -k + 2 - 9 = 3*x, -3*k - f*x - 9 = 0. Suppose -3*z + 4*z - 3*n = 20, k*n - 49 = -5*z. Is z a prime number?
True
Suppose 10*l - 151 = 9*l. Let q = l + 1696. Is q a composite number?
False
Let d be (0 - 1)/((-7)/14). Suppose -3*w - d = -4*w - 3*t, 3 = w + 2*t. Let o(p) = 2*p**3 + 6*p**2 - 5*p + 6. Is o(w) a prime number?
False
Let t(a) = -3 + 4*a - 5*a + 0*a - 4*a**2 - 2*a - a**3. Let r be t(-6). Suppose r = f - 114. Is f a prime number?
False
Suppose -3*t = 2*x - 1150, 3*x + 2888 = 8*x + t. Let p(r) = -167*r. Let u be p(-1). Let a = x - u. Is a a prime number?
False
Let r(l) = l**3 - 13*l**2 + 12*l + 3. Let o be r(12). Suppose -o*w = -2*g - 1474 - 1621, 4122 = 4*w + 2*g. Is w composite?
False
Let a(l) = l**2 + 15*l + 12. Let t be a(-15). Suppose -2*h + 4*g = -4*h + 518, -3*g = -t. Is h prime?
True
Let v = 114 + -110. Suppose 2*l + 388 = 2*s, 5*l - 452 = -v*s + 297. Is s prime?
True
Suppose -3*k - 5*r - 786 = 0, -5*k + 8*k = 2*r - 807. Let u = -62 - k. Is u a prime number?
False
Let m be (-8)/52 + 3282/39. Let c = -29 + m. Is c a prime number?
False
Suppose -16*o + 12*o = -5*a + 20905, -2*a + 4*o = -8374. Is a composite?
False
Is 202354/26 - (4 - (-270)/(-65)) composite?
True
Let n(f) = -2*f**3 - 3*f**2 - 8*f - 7. Suppose -2*q = 3*h - 0*h + 37, 3*h = -4*q - 29. Let u be 35/h*3 + -1. Is n(u) prime?
False
Is (3382/(-6))/(2*(-8)/48) composite?
True
Is (-27)/(-72) - 12975/(-24) a composite number?
False
Let x be 1*153/(12/4). Suppose -184 = -5*t + 126. Let b = t + x. Is b composite?
False
Suppose 2*a - 7495 = 10971. Is a prime?
False
Suppose 3*h + 14638 = 5*u, -4787 - 3997 = -3*u + 3*h. Is u a composite number?
False
Let w(x) = 6231*x - 476. Is w(5) composite?
True
Is 1/((-15)/(-35940)) + -3*1 composite?
False
Let q be 1/(-2)*(-2 - 0) - -434. Is (q/(-6))/((-2)/4) a prime number?
False
Suppose 0*l + 8 = 2*l, 2*t + 192 = 2*l. Let j = t - -645. Is j composite?
True
Is (58/(-8))/((-77493)/7748 + 10) prime?
False
Let x = -68391 - -115082. Is x composite?
False
Let d(n) = -3*n**3 + 50*n**2 + 17*n - 3. Let q be d(17). Let s be (-580)/(-3) + (-4)/(-6). Is -2*q/(12/s) a composite number?
False
Let f = -4304 + 13195. Is f a composite number?
True
Suppose 2*y = -2 - 4. Let l(b) be the first derivative of -b**4/4 - 2*b**3/3 - b**2/2 + 2*b + 1. Is l(y) composite?
True
Suppose 0 = -c + 3*q - 10, -3*q + 20 = -5*c + 2*q. Let p be (-4)/(-3)*18/(-12). Is (2*c)/(p/127) a prime number?
True
Let b = -657 + 1532. Suppose 386 = 2*u + 4*p, 4*u + p = b - 138. Is u a prime number?
False
Let v(a) = -18*a + 2 + 9*a + 4*a. Let q be v(-2). Suppose r - 25 = q. Is r a prime number?
True
Let k be (-209)/(-76) + 6/(-8). Suppose k*z - 66 = 4. Is z a composite number?
True
Let h(s) = -18*s**2 - 2*s + 8. Let b(f) = -2*f + 2*f - 17 + 37*f**2 + 5*f. Let t(p) = -3*b(p) - 7*h(p). Is t(3) a composite number?
False
Suppose -2*b = -y + 44, 5*b - 92 = -4*y + 123. Suppose y - 218 = 3*v. Is 0 + (3 + -2 - v) a prime number?
False
Suppose 44*i + 327928 = 923204. Is i prime?
False
Suppose 0 = -0*w + w + 4. Let i(t) = -26*t - 105 + 112 - 152*t. Is i(w) composite?
False
Let h(q) = 726*q**2 - 27*q + 43. Is h(6) a composite number?
False
Let u be (3 + 7/(-2))*30. Let b = -10 - u. Suppose b*c = -2*m + c + 42, 0 = 3*m + 3*c - 60. Is m a prime number?
True
Suppose 5*w - 3*n - 41 = n, -w = -5*n - 25. Suppose 2*c - 4 = 4, w*k - c = 3941. Is k prime?
False
Suppose 104 - 1252 = -3*z - h, 5*z + 3*h - 1916 = 0. Is z a prime number?
False
Suppose 28*m - 16662 = 22*m. Is m composite?
False
Let b = -1099 + 2048. Is b a composite number?
True
Suppose 3*z = -5*r + 58, -2*r - 2*z = -0*r - 20. Let m be r/4*(-40)/(-70). Suppose 295 = 3*c + m*c. Is c prime?
True
Let b(v) = 5*v**2 + 16*v + 22. Suppose 0 = 2*l, 3*f + 4*l = 2*f - 15. Is b(f) a composite number?
False
Suppose y - 5*y - 4 = 2*g, 3*g - 3*y = 30. Suppose -3*p = h - 3875, -3*p = -g*p + 4*h + 3895. Is p prime?
False
Let d(i) = 241*i - 11. Let s be d(-5). Is 1/3 + s/(-6) a composite number?
True
Is (20/(-30))/((12/(-95463))/2) a prime number?
True
Let f(s) = -s**3 - 30*s**2 - 30*s - 24. Let b be f(-29). Suppose 4*d + 5*l - 2*l = 767, b*l - 387 = -2*d. Is d composite?
False
Let t be 16/16 + (4 - 0). Suppose t*r + 348 = 3*q, -4*r = r. Let d = q + -83. Is d prime?
False
Let o(v) be the second derivative of v**8/6720 - v**7/360 + v**6/120 + v**5/30 + v**4/12 + 2*v. Let d(q) be the third derivative of o(q). Is d(7) composite?
True
Suppose -o + 210 = -4*m, -3*m + 0*m + 1165 = 5*o. Is o/4*18/9 prime?
False
Let b = 21 + -8. Let f(c) = 5*c + 7. Let k be f(b). Suppose -k = -2*r - 2*r - 4*n, 0 = -5*r + 3*n + 114. Is r prime?
False
Suppose 2*y + 4481 = 5*v, 2*v + 3*y - 1072 = 709. Suppose v = 4*a - 225. Suppose 16 + a = 4*k. Is k a composite number?
True
Let t(g) = g**2 + 16*g. Let y be t(-16). Suppose y = -7*j + 2*j, -3*v + 4869 = -4*j. Is v composite?
True
Let k = 30924 - 15809. Is k a composite number?
True
Is 5/((-5)/(-5206)) - (-1 - 0) a composite number?
True
Suppose -1539068 = -71*o - 21*o. Is o composite?
False
Let n(j) = 51*j + 9. Let x(d) = d + 7. Let g be x(3). Is n(g) prime?
False
Let g(l) = -l**3 - 15*l**2 - 2*l - 7. Let i be g(-11). Let c = -215 - i. Is c composite?
True
Let x = 16 - 13. Suppose x*r + 5 + 4 = -4*n, 4*r = -12. Is (0 - 2) + 37 + n prime?
False
Let n = 74 + 8. Suppose 3*z - 715 = -n. Is z prime?
True
Let f = 13 + 9. Suppose 0 = -23*z + f*z + 326. Is z prime?
False
Let l(p) = -p**2 + 10*p + 9. Let k be l(11). Let u(r) = -87*r**3 - 2*r - 1. Let o be u(k). Suppose -7*t + 5*t + 1165 = 5*q, -3*q + 5*t = -o. Is q prime?
True
Suppose 4*s - 46072 = 2*x, -x + 15530 = 3*s - 19029. Is s prime?
True
Let k = 5 - 24. Let v = 23 + k. Is 164 + -6*2/v a prime number?
False
Suppose -2*j - 2*v = -4*v - 10, -2*j = -4*v - 16. Suppose -2*y - j*z = -1064, 2*z = y - 176 - 371. Is y a prime number?
False
Let u be ((-4)/3)/((-4)/6). Suppose u*x = x. Suppose 4*m - o - 652 = 0, x*m - 815 = -5*m + o. Is m prime?
True
Let k(i) = -2*i - 7. Suppose -4*f - r = 15, 2*f - 4*f + 15 = 5*r. Let c be k(f). Suppose 0 = w + c*w - 100. Is w a composite number?
True
Suppose -311*j + 307*j = -22492. Is j prime?
True
Let x be (24/10)/(-2)*5. Let s be -4 - (x + 2 + 3). Is (17/s)/(6/(-234)) prime?
False
Let f(v) = 2*v + 19. Let y be f(-7). Let u(q) = 14*q**3 - q**2 - 4*q + 2. Is u(y) a prime number?
False
Is (-1 + 0)/(20/(-299380)) composite?
False
Let m(r) = -r**3 + 38*r**2 - r + 101. Is m(24) composite?
True
Suppose -y + 4*y = 0. Suppose y*w - 2*w = -2*h + 2, 3*w + 7 = 4*h. Suppose 0 = -c + 3 - 1, w*c + 702 = 4*o. Is o composite?
True
Let o(v) = -v**3 + 3*v**2 + 4*v + 1. Let j be o(11). Let b = 2170 + j. Suppose -3*t - b = -3*u + t, -4*t = 20. Is u a composite number?
False
Let w = -17 + 211. Is w a prime number?
False
Is (-18)/30 - (-222272)/20 prime?
True
Let z = -9423 - -40790. Is z a composite number?
True
Suppose -3*w = -15, 33*v + 4*w = 30*v + 4547. Is v a composite number?
True
Let q = 41 + -38. Suppose 2*k = -i + 307, -3*i = -q*k + 526 - 52. Is k a prime number?
False
Let c(z) = z**2 + 2*z - 9. Is c(-13) composite?
True
Let p(o) = -o + 3 + 42*o**2 - 7 + 6. Suppose g - 24 = -5*a - 6, -5*a + 3 = -4*g. Is p(g) a composite number?
True
Let u be (2/1)/(10/2125). Let r = u + -298. Let d = 22 + r. Is d a prime number?
True
Let g(k) = -k**3 - 6*k**2 + k - 3. Suppose 3*c - 5 + 26 = 0. Let v be g(c). Suppose q - 8 = 5*p + v, -61 = -3*q - p. Is q prime?
False
Suppose 3*j - 27 = -9. Suppose 0 = -2*k - 3*x + 232, 5*x - 4 = j. Is k composite?
False
Let k be (-4)/(-7) + (-8)/14. Let i(d) = k*d + d**2 + 3*d + 8 - 27 - 2*d. Is i(14) prime?
True
Let t be 865*(-