lse
Let f(r) = -r + 4. Let v be f(2). Suppose 3*h - 12 = -2*j, -v*j + 5*h + 80 = 3*j. Is -3*(-3 - 112/j) a prime number?
True
Let v be -21 + 19 - (1 - (1539 - 0)). Let n = v - 517. Is n prime?
True
Is -3 + 59199 + 1 + 10 prime?
True
Let s(m) = m**2 - 16*m + 5. Let k be s(13). Let p be 1 - 1 - (-5)/(-5). Is ((-85)/(-34))/(p/k) a prime number?
False
Suppose 10*s - 6 = 8*s. Is (3/s - 1) + (-15815)/(-5) composite?
False
Suppose -10*p - 3579 = -13*p. Is p a composite number?
False
Suppose 2*m = -5*q + 16089, 5*q = -8*m + 7*m + 16087. Is q prime?
True
Let w = 5255 + 3798. Is w a prime number?
False
Let j = 7566 - 4933. Is j prime?
True
Suppose 6*m - 1160 - 2824 = 0. Suppose m = 2*i - 670. Is i a prime number?
False
Let v be 957110/374 + (-4)/34. Let u = v - -1430. Is u prime?
True
Suppose f + 3 = -3*g, 2*f + 11*g - 21 = 14*g. Is (60/85)/f + 1662/34 a prime number?
False
Is 1930 + (1 - 5 - -5) a prime number?
True
Let j be (-13 + 9)*1154/(-8). Suppose 4*q + j = 2213. Is q a prime number?
True
Let f(t) = -t + 1. Let n be f(-3). Suppose -q = 4*x + n*q + 132, q + 99 = -3*x. Let p = x + 66. Is p prime?
False
Let w(h) = -34*h + 877. Is w(0) a prime number?
True
Let d be (4/(-2))/((-4)/6). Let u(j) = 39*j. Let k(o) = 156*o + 3. Let w(q) = -2*k(q) + 9*u(q). Is w(d) composite?
True
Suppose 5*i - 1153208 = -51*i. Is i composite?
False
Let i = 2429 - -650. Is i a prime number?
True
Let k(b) = -92*b**3 - 2*b**2 + b + 5. Let w be k(-2). Suppose -5*m + 3051 = -g, -g = 2*m - 495 - w. Is m a composite number?
True
Let r be -3 + (-3)/(12/(-604)). Suppose r + 114 = 2*v. Is v composite?
False
Let z(i) = 26*i - 17. Is z(14) prime?
True
Suppose -3*h + 9 = a + a, 7 = h + 2*a. Let z(g) = 144*g**2 - g - 1. Is z(h) a composite number?
True
Let k(z) = 2*z - 8. Let p be k(10). Let j(a) = 2*a**2 + 6*a**2 + a + 4 - 6*a**2 + p*a**2. Is j(-3) a prime number?
True
Suppose -4*u = -1253 + 45. Suppose 5*y - 59 = 3*r - 512, -2*r + u = 5*y. Suppose 86 + r = 3*a. Is a composite?
False
Suppose 0 = -5*o - 33 + 13. Is 216 + (2 + o)/2 a composite number?
True
Suppose 9817 = 2*r - 1521. Is r composite?
False
Let t be (2 + 0 + -1)*5. Suppose -4*b + 4*b - b = 0. Suppose b = -8*j + t*j + 207. Is j a composite number?
True
Is (-200546)/(-9) - (-11)/99 composite?
False
Let x = 2708 + -1737. Is x a prime number?
True
Let u = 219 + 41. Suppose -272 = -4*f + u. Suppose 1372 = 3*w + f. Is w a composite number?
True
Let t(s) = 5611*s - 1201. Is t(20) a composite number?
True
Let q(i) = -i**2 + 6*i. Let k(g) = -2*g**2 + 13*g. Let r(b) = -2*k(b) + 5*q(b). Let s be r(4). Suppose 3*j - 1323 = -5*h, 2*h + j - 85 - 445 = s. Is h prime?
False
Let p(y) = 2*y**2 - 5*y - 11. Let z be p(5). Is (-4 - (-52)/z) + (-6855)/(-7) composite?
True
Let n be -2*(-44 - (2 + -3)). Let r = n - 40. Is r a composite number?
True
Suppose 6*w - 1398 = 3*w. Suppose -a + 32 = 5*p - w, a = -p + 478. Is a a composite number?
True
Let g(x) = x**3 - x**2 - 2*x + 3. Let d be g(2). Suppose -5*k + 35315 = d*q + 2*q, 2*q = 4*k - 28252. Is k composite?
True
Let d be (-114)/30 + 2/(-10). Is (-3 - d) + 2 + 146 prime?
True
Let i = 7 + 85. Let m = -678 + i. Is (9/(-18))/(1/m) composite?
False
Let m(s) = s**2 - 6*s + 3. Let p be m(5). Let f be (11 - (0 - p))*-1. Is (f/(-6))/(12/1072) prime?
False
Let k(o) = o**3 - 7*o**2 + 10*o - 3. Suppose 4*r - 33 = 5*n - 0*n, 0 = -2*r + 2*n + 16. Is k(r) a prime number?
True
Suppose -133 = 3*k + f, -3*f + 0*f + 173 = -4*k. Suppose h - 92 = -23. Let u = h - k. Is u prime?
True
Let w(d) = d**3 - 18*d**2 + 30*d + 32. Let k be w(16). Suppose -6*i + 14*i - 21656 = k. Is i a prime number?
True
Suppose -5*n + 16 - 1 = 0. Suppose 5*o - 1 = n*z, z + 5 = 4*o - 0*z. Suppose 3*j - 37 = o*j. Is j a prime number?
True
Let y(c) = -c**2 + 9*c. Let z be y(4). Suppose -3*t - 25 = h + h, -5*t = h + 2. Let v = z - h. Is v a prime number?
True
Suppose -6*x + 5*x = 0. Suppose 4*a - 4*v + 1680 = 0, x*v + 2100 = -5*a - v. Let t = a + 799. Is t prime?
True
Suppose -7*n + 4686 = -6*n. Suppose 0 = -2*d - 4*d + n. Is d prime?
False
Let k(q) be the second derivative of q**5/20 + q**4/8 - q**3/3 - 3*q**2/2 - 3*q. Let o(l) be the first derivative of k(l). Is o(-5) composite?
True
Let x(t) = 9*t**2 + 36*t**2 - t**2 - t + 8*t**2 + 1. Let m be (-14)/8 + (-1)/4. Is x(m) prime?
True
Let t(y) = -y**2 + 15*y - 3. Let u be t(14). Suppose -u*k + 30744 - 3563 = 0. Is k composite?
True
Suppose 3*p - 9*p + 24162 = 0. Let t = p + -2850. Is t composite?
True
Let a = 337 + -493. Let t be 34/(-4 - (-70)/17). Let v = a + t. Is v prime?
False
Suppose -4*i = -2*s - s + 2897, 0 = i - 1. Suppose -364 = 9*w - s. Is w a composite number?
False
Let f = -28 - -34. Suppose -f*i = i - 889. Is i prime?
True
Let c(y) = 3*y**3 + 2*y**2 + 45*y + 9. Is c(10) a composite number?
False
Let h(n) = -n**2 - 14*n + 15. Let b be h(-14). Is (-2)/(-6) + 6160/b a prime number?
False
Suppose 16*p - 96602 = -6*p. Is p a composite number?
False
Suppose -3*m - q + 56841 = 0, 0 = 4*m - 3*q - 74962 - 826. Is m a prime number?
True
Let q be 637 - -2*4/(-8). Suppose q = 2*l + 4*l. Is l a composite number?
True
Let x be 4/((-1)/((-4)/2)). Let u(z) = 2*z**3 - 10*z**2 - 7*z - 2. Is u(x) prime?
False
Suppose 3*y = 2*u - 2778 - 1702, -3*u = 5*y + 7454. Is y/(-28) + (-10)/35 prime?
True
Let d = 16 - -4. Let o be (d/(-30))/(4/(-738)). Let x = o + 40. Is x a prime number?
True
Let f = 16391 + 5030. Is f composite?
True
Is 6499/5 + 56/(-70) a composite number?
True
Suppose -2*r = -r + 16. Let j be 92/r + (-2)/8. Is j/(-9)*2820/8 a composite number?
True
Let f = -2407 + 4046. Let o = f - 930. Is o prime?
True
Let z = -39 + 33. Is 1*4 + z + 8 a composite number?
True
Is 112/140 - 6/((-60)/57722) composite?
True
Let r(o) be the third derivative of -o**6/120 - o**5/6 - o**4/8 + 25*o**3/6 - 10*o**2. Is r(-13) composite?
False
Let f(r) = -r**3 + r. Let u(q) = 4*q**3 + 10*q**2 - 16*q + 3. Let v(a) = -3*f(a) - u(a). Is v(-12) prime?
False
Suppose -318886 = -6*g + s - 2*s, -3*g + s + 159437 = 0. Is g a prime number?
True
Let w = -412 + 144. Let h = 379 - w. Is h a composite number?
False
Let a(u) = u**3 + 7*u**2 + 6*u. Let k be a(-6). Suppose 0*q - 3*r + 10 = 2*q, 4*q - 5*r + 2 = k. Suppose 3*f - 73 = -0*f - 2*t, -q*t = -10. Is f prime?
False
Let k(x) = -x**3 - 12*x**2 + 13. Let c be k(-14). Suppose 1218 + c = 3*y. Is y composite?
False
Is 2/(9*14/180243) composite?
False
Suppose 0 = 5*n - 2*n - 5*x - 1025, n + 3*x - 337 = 0. Let k = n + -127. Is k a prime number?
False
Is (51 + -43680)*(-21)/9 composite?
True
Suppose -18*j + 3*j = -892635. Is j prime?
True
Let z(m) = 16*m**2 + 19*m + 4. Is z(-18) a composite number?
True
Let t = 19641 + -11296. Is t prime?
False
Let q(k) = 79*k - 32. Let w(r) = -39*r + 16. Let j(c) = 2*q(c) + 5*w(c). Is j(-3) prime?
True
Let w(o) = -2 + 6*o + 2*o - 6*o. Let c be w(3). Suppose -2*h + 661 = 4*r + h, -c*h + 664 = 4*r. Is r a prime number?
True
Is 180466/65 - (-2 - (-21)/15) a prime number?
True
Let a(p) = -85*p + 16. Let z(s) = -s**3 - 6*s**2 + 5*s - 7. Let r be z(-7). Let l be a(r). Let h = -388 - l. Is h composite?
False
Let r = 30 - 21. Suppose i + 9745 = -4*z + r*z, 0 = i. Is z a prime number?
True
Is (-102005)/23*(-1 + 0) a composite number?
True
Suppose 2 + 3 = -3*b - 2*a, 2*b + 5*a = 4. Let l be b/(-5)*(-25)/(-5). Suppose -l*t + 0*t + 207 = 0. Is t prime?
False
Let z(h) = h**2 - 7*h + 8. Let a be z(7). Suppose a*p - 83594 = -17458. Is p prime?
False
Let x be 316 - 3/((-6)/(-4)). Let g(b) = -b**3 + 10*b**2 + 8*b - 46. Let l be g(11). Let u = x + l. Is u prime?
False
Let m(w) = 166*w**2 + 20*w - 19. Is m(3) a prime number?
False
Let l be (-8 + 14)/(6/(-284)). Let j = 1425 + l. Is j prime?
False
Let w(f) = 21*f + 6. Let m be w(-2). Let p = -280 - m. Is 4 + -1*p/4 a composite number?
True
Suppose 6 - 4 = o. Let v be (o - 5)*(-8 + 1). Suppose 2*l - v = 3*d, 0 = 3*l + l + 4*d + 8. Is l a prime number?
True
Let o(k) = -115*k**3 + 3*k**2 - 2*k - 5. Let b(u) = 115*u**3 - 4*u**2 + 2*u + 6. Let s(l) = 4*b(l) + 5*o(l). Let j be (-7)/5 - (-4)/10. Is s(j) prime?
False
Suppose 0 = 5*j + p - 175, 2*j + 70 = 4*j + p. Is j a prime number?
False
Suppose x + 4*x = 33095. Is x a composite number?
False
Suppose -3*l = -31 + 4. Suppose l*b = 8*b + 299. Is b composite?
True
Let z = 19 +