lse
Is 1205 + (-3 - 10/(-2)) a prime number?
False
Let q(t) = -t**3 + 6*t**2 + 2*t - 9. Let n be q(6). Suppose 0 = -7*o + n*o - 4*v + 8612, -4*o + 5*v = -8612. Is o composite?
False
Let w be 1/(-4 + 2481/621). Let y = w + 848. Is y prime?
True
Suppose 5*d = 2*j - 6010, 6*j - 3*j - 8997 = 3*d. Is j composite?
True
Let a = -174 - 133. Let o = 512 + a. Is o a prime number?
False
Suppose 3*p - 8413 = -4*d + 9233, p = d - 4408. Suppose 0 = 2*g - 4*i - d, -5*i = -i + 20. Is g prime?
False
Let t(i) = i**3 + i + 31. Let p be t(0). Suppose q - 5*k - 88 = -p, -5*k = 3*q - 251. Let z = 108 - q. Is z composite?
False
Let d(s) = 199*s**2 + 7*s + 1. Let b(r) = -198*r**2 - 4*r - 8 + r - 5*r + 7. Let h(f) = 5*b(f) + 6*d(f). Is h(-1) composite?
True
Let m(s) = 4*s**2 - 40*s - 17. Is m(13) prime?
True
Let a(p) = -3995*p - 425. Let g(k) = -85*k - 9. Let r(j) = 4*a(j) - 187*g(j). Is r(-6) composite?
True
Suppose -87054 = -3*w - 14997. Is w a composite number?
False
Let a(q) = 2155*q + 1. Let d be a(-1). Let x = d + 4608. Suppose -y = 5*y - x. Is y a prime number?
True
Let g = 7 + -2. Suppose g*b + k - 2610 = 0, 5*b - 2620 = -k - 2*k. Is b a prime number?
True
Suppose 0 = -3*z + 3*u - 600, -2*u + 6*u = -3*z - 635. Let h(v) = 136*v + 96. Let q be h(-5). Let p = z - q. Is p a composite number?
False
Let a be 2 + 0 - (-3 + -2). Let n be -15*(a - (3 - 6)). Let q = 221 + n. Is q a prime number?
True
Let l = -2293 + 8511. Is l prime?
False
Let l be 10/(-4)*2*-1. Suppose 339 = -l*f + 8*f. Is f composite?
False
Let m = -4 - -2. Let d be ((-5)/2)/(1/(-6)). Is m - 30/(-2)*d a prime number?
True
Suppose 6*g = 7*g - 3219. Suppose 0 = 3*a - 4*a - t + 1072, g = 3*a + 4*t. Is a a composite number?
False
Let j(x) = 148*x**2 - 4*x + 71. Is j(15) prime?
True
Is (-92362)/(-18) + 50/(-225) a prime number?
False
Let t(c) = c**3 + 6*c**2 + 5*c + 2. Let i be t(-5). Suppose i*f = 7*f - 3215. Suppose -4*r = -3*a - 5*r + 631, -5*r = -3*a + f. Is a a composite number?
False
Suppose 0 = 18*r - 110698 - 90848. Is r prime?
True
Suppose 0 = 5*w + 2*j - 6, 3*w - j + 4 = -6*j. Suppose -11*b + 6111 = -w*b. Is b a prime number?
False
Let a be (-1)/4 + (-57665)/76. Is a/9*-3 - 0 a prime number?
False
Suppose -12*l + 5 = -17*l. Let a be l/(63/66 - 1). Suppose -7*c + 3*c + 3*y + a = 0, 4*c - 5*y = 18. Is c prime?
True
Let d(m) = -m**3 + 6*m**2 - 3*m - 5. Let f be d(5). Suppose 4*a + 0*a - 4 = 4*r, 4*r = a + f. Suppose -r*n + i - 6*i + 187 = 0, i + 535 = 5*n. Is n prime?
False
Let t be ((-8)/(-10))/(12/30). Suppose 0 = t*j - 5*v - 1 - 351, -j + v = -170. Is j composite?
True
Let s be (-4)/2 - (-32)/1. Suppose 6*p - s = -0*p. Suppose 955 = 5*j + g, -2*j + p*j = 2*g + 573. Is j a composite number?
False
Suppose -5*q = 5*b, -2*b - q - 3*q + 4 = 0. Let t be (72/(-90))/(b/5). Suppose t*p + 3365 = 7*p. Is p prime?
True
Let b(m) = -m**2 + 13*m - 21. Let q be b(11). Let g = q + 1542. Is g a composite number?
False
Let a(f) = -f**2 + 8*f - 12. Let c be -1*(3 + (-24)/3). Let x be a(c). Suppose 0 = x*r - 2*r - 106. Is r a prime number?
False
Suppose 2*n = 5*n - 72. Let j(p) = 6*p - 5. Let x be j(6). Suppose x + n = 5*s. Is s prime?
True
Suppose -5*x - 8 - 12 = 0. Let v(f) = 5 + 4778*f**2 - 2*f - 1 - 4742*f**2 - 1. Is v(x) a composite number?
False
Let i(d) = -d**3 - 2*d**2 + 1. Let m be i(-1). Suppose m = 5*b + 5754 - 14989. Is b composite?
False
Is (-1 + 5757)*(185/20 + -9) composite?
False
Suppose -2*v - 3*d = -6*d - 29, -4*v + 55 = -3*d. Let i = -12 + v. Is 291 + 6 + -5 + i composite?
False
Let b(w) = 49*w**2 - 4*w + 8. Let n be b(5). Let t = 1800 - n. Is t composite?
False
Suppose 5*b - 399 = 3*n - 4*n, 0 = -2*b - 8. Is n a prime number?
True
Let h be (-19)/5 + 1/(-5). Let m be h/(1 - (-2 - -2)). Let f(o) = o**3 + 8*o**2 - 5*o + 2. Is f(m) a composite number?
True
Let l = -1187 - -4540. Is l prime?
False
Let d = 3225 - -217. Is d a composite number?
True
Suppose 0 = 17*r - 21*r + 4108. Is r prime?
False
Suppose -6*u = -2929 - 6539. Let j = 2617 - u. Is j prime?
True
Let m(b) = 4*b**2 - b + 14. Suppose -6*p = -2*p - 28. Is m(p) prime?
False
Let l(q) = -q**3 + q**2 + 10*q + 19. Let h be l(-6). Let j = 2 + h. Is j a prime number?
False
Let m(o) = -4*o**3 + 10*o**2 - 2*o + 23. Is m(-6) composite?
False
Suppose -13*j = -1278 - 2999. Is j prime?
False
Suppose y + 1 = -2. Let o be (y/(-9))/(1/9). Suppose -2*r + 495 = o*d, 0 = 3*d - 5*r + 149 - 623. Is d prime?
True
Suppose -d + 2*l = 0, l = -4*l + 10. Suppose 5*v + 3*p - p - 18 = 0, d*p = 16. Suppose 2*r + v*u = 23 + 1, -5*u = 5. Is r prime?
True
Let b(s) be the first derivative of 2*s**3/3 + 3*s**2/2 - 11*s + 4. Let y be ((-10)/((-100)/(-15)))/(2/8). Is b(y) composite?
False
Suppose 0 = 7*u + u - 2336. Suppose 0 = -4*m + 6*l - l + 1167, l + u = m. Is m composite?
False
Let o = 2321 - 835. Is 1 + o/8 + (-14)/(-56) prime?
False
Let f = -3522 + 6227. Let v = 14 + f. Is v composite?
False
Let s = -7 + 11. Suppose 2*r = -2*j + 730, -s - 2 = 3*r. Is j composite?
False
Let i = 2030 + 1475. Is i composite?
True
Suppose -29507 = -5*g - 2*c + 233822, -4*g = 5*c - 210653. Is g a prime number?
True
Let l(q) = q**2 - 13*q - 12. Let v be l(14). Suppose -2*o - 3*x = -3023, -v*o - 873 + 3902 = 5*x. Is o prime?
False
Let p(k) = -86*k + 14. Let z be p(-8). Suppose 0 = h + 5*y - 220, h - z = -2*h - y. Is h prime?
False
Let y = 20109 - -12550. Is y prime?
False
Let u(s) = -s**3 + 3*s**2 - 30*s - 13. Is u(-16) a prime number?
False
Suppose 3*t - 26 = -5*z, 0 = -2*t - 4*z + 18 + 2. Suppose -t*j + 248 = -j. Let l = j + 9. Is l prime?
True
Let p = 17 - 29. Let m = -23 - p. Is m + 74 - (-1 - 1) a composite number?
True
Is 2762 + 1 - (-10 + 12) composite?
True
Suppose 4*f = 8*f - n - 19658, 5*f + 2*n - 24566 = 0. Suppose 330 = -8*p + f. Is p a composite number?
True
Let y(c) = c - 3. Let d be 1/(0 + 1/3). Let v be y(d). Suppose 6*i - 7*i + 51 = v. Is i a composite number?
True
Suppose z - 4127 = 11874. Is z a composite number?
False
Let s(f) = f**2 + 16*f - 2. Let b be s(-13). Let y = -328 - b. Let w = y - -418. Is w a prime number?
True
Let o(u) = u**2 - 1 + 57*u**3 + u**2 + 39*u**3. Let s be -4 + (-19 - -34)*(-1)/(-3). Is o(s) composite?
False
Let n(r) = -92*r + 401. Is n(-19) a prime number?
False
Let i(h) = -h**3 + 3*h**2 + 2*h - 1. Let z be 6 + (1 - 4)*1. Let d be i(z). Suppose 4*v = 7*v - 3*k - 570, -951 = -d*v + 4*k. Is v prime?
True
Suppose 0 = 2*f - 3*l - 5617 - 7906, -4*f + 27101 = 5*l. Is f composite?
True
Let g = -30 + 20. Let p = -5 - g. Suppose -j + 14 = -p*n, 2*j - 4*n + 0*n = 34. Is j prime?
True
Let n = 37 + 24489. Is n composite?
True
Let w = 26 + 25. Let k = w - 79. Is 2/(-8) + (-4963)/k composite?
True
Suppose -c = -3*n + 3*c, -n - 5*c = 0. Let m be (1 - -61) + n + 0. Suppose s + m = 3*s. Is s prime?
True
Let v be (5/4)/(3/12). Let g(w) = -w**2 + 14*w - 21. Let y be g(12). Suppose -3*i + 46 = -0*t - v*t, 5*i = -y*t + 122. Is i prime?
False
Let s = 27070 - 17381. Is s composite?
False
Let m(b) = 4*b**2 - 6*b + 3. Let a(p) = p + 19. Let l be a(-12). Let g be m(l). Let z = g + -99. Is z prime?
False
Let m = -130 - -419. Suppose -3*p = -k - m, -4*p - 34 = 2*k - 426. Is p composite?
False
Let w(q) = -2*q - 6. Suppose 0 = -0*r + 5*r + 25. Let c be w(r). Is c/((-12)/9) - -130 prime?
True
Let w = -70 - -11133. Suppose 3*d + i = 2*d + 2768, -4*d + 5*i + w = 0. Is d a composite number?
False
Suppose 211832 = -15*j + 23*j. Is j a composite number?
False
Let n(h) be the second derivative of h**5/10 + h**4/12 + h**3/2 - 7*h**2/2 - 11*h. Is n(6) a prime number?
True
Let s(u) = u**3 - 10*u**2 + 23*u - 25. Suppose -q - 2*q = 3*z - 15, 35 = 2*q - 3*z. Is s(q) prime?
False
Suppose -2*r + 6 = -0, 2*u - 4*r = 41696. Is u prime?
False
Let b be 1*3*90/(-27). Let o(d) = -2*d - 14. Let k be o(b). Suppose -2*f = 4*m - 26, -5*f + 4*m = k*m - 73. Is f composite?
True
Suppose 4*a - 3*v = 5*a - 5147, a - v = 5155. Is a composite?
False
Let l = -38 - -25. Let z be 1*-5*(l + 12). Suppose 0 = -5*u + z*t + 775, -2*u - 4*t = 2*u - 636. Is u a prime number?
True
Suppose -5030 = 15*f - 45515. Is f a prime number?
True
Let n be -1 - -4 - -1 - (3 - 4). Suppose n*r = 4*r + 149. Is r a prime number?
True
Is 96894 - -1*((4 - 7) + 2) composite?
False
Suppose 11*k - 15 = 8*k. Suppose k*h - 94 = 276. Suppose 