lse
Let w(i) = 230*i - 4. Let z be w(-4). Let j(b) = b**3 - 5*b**2 + 42*b - 169. Let n be j(12). Let a = n + z. Is a a prime number?
True
Suppose 2*d = -3*x + 5*d + 588, 590 = 3*x - 4*d. Suppose 2*b - x = 168. Let v = b + 42. Is v a prime number?
True
Let u(m) = -116*m**2 + 18*m - 15. Let v be u(7). Let f = v - -7906. Is f prime?
True
Is (-12)/(-54)*-739209*9/(-6) a composite number?
False
Suppose -9*m + 3*m + 29016 = 0. Suppose -24*b + 30*b = m. Let v = b + -555. Is v a composite number?
False
Suppose 37 - 25 = 4*r. Suppose 0 = -3*l + 2*b + 45, r*l + b - 10 = 26. Suppose l*n - 3006 = 1960. Is n a prime number?
False
Let x = -63411 - -134798. Is x prime?
True
Let l = -5252 - -611. Let k = l - -7932. Is k a prime number?
False
Let g be (1779 - 28/4) + 7. Suppose -o + 2*i = -g, -2*o + 3556 = 2*i - 7*i. Is o composite?
False
Suppose 0 = 4*s - 93*i + 90*i - 1599871, s = -i + 399952. Is s prime?
False
Suppose -3*u + 0*u = -792. Let d = 11 + -9. Suppose b = d*o + 61, -4*b + 5*o = 2*o - u. Is b prime?
False
Let j(n) = -2098*n + 10. Let b(m) = -4195*m + 19. Let z(p) = 3*b(p) - 5*j(p). Let x be z(-2). Suppose 3*o - 3*q - x = 0, 0 = -3*q - 0*q - 6. Is o composite?
True
Let x = -2625 + 5570. Suppose 18*t - 23*t + x = 0. Is t composite?
True
Let w be 6 + 3 + (-10 - -5). Let q(u) = -149*u + 5. Let b be q(-2). Suppose w*y - b - 149 = 0. Is y a prime number?
True
Let c = -87036 - -162305. Is c composite?
False
Let f = 254812 - -96547. Is f a prime number?
True
Let n(f) = 7348*f - 58. Let y be n(4). Let o = y - 17717. Is o a prime number?
True
Suppose 143 = 5*q + 6*q. Suppose -q = -o + 4*s, 4*s - 14 = -4*o + s. Suppose 68 = o*m - 4977. Is m a prime number?
True
Let p(d) = 27*d**2 + 12*d + 8. Let j be p(-5). Let r = j + 165. Let u = r + -537. Is u prime?
True
Suppose -143*l + 435*l - 217*l = 38576625. Is l prime?
False
Let x(h) = 8*h + 15. Let w = -35 - -37. Suppose -r - w*u + 9 = 0, u + 0 + 18 = 4*r. Is x(r) a prime number?
False
Suppose 5*u + 26 = -0*u + 3*h, -3*u - 2*h = 27. Let y be (1/(-3))/(u/231). Let s(a) = -a**3 + 16*a**2 - 15*a + 13. Is s(y) composite?
True
Suppose -4*n + 2*z - 248 = 0, 3*z = -4*n - 0*n - 248. Suppose -547*b + 550*b = -93. Let y = b - n. Is y prime?
True
Suppose 0 = 5*h + 3*a - 11, 3*h - 1 - 2 = -3*a. Let w(c) = -8 + h + 3 - 22*c. Is w(-5) composite?
False
Suppose 60*l - 63*l - 2469 = 0. Let s = 2082 + l. Is s composite?
False
Is (-5 + 414892)/(-21 + 22) a prime number?
False
Suppose 124*m = 111*m + 1858363. Is m a prime number?
False
Let l(z) = 3439*z**2 - 22*z - 34. Is l(-3) a composite number?
False
Suppose 0 = -283*g - 45*g - 122*g + 8971650. Is g a prime number?
True
Suppose 4*g - 4567 = -0*q - 5*q, -3*q = 4*g - 4569. Let z = 804 - g. Let p = 98 - z. Is p a prime number?
False
Suppose 14*n + 7762257 = 119*n + 1174872. Is n composite?
True
Suppose -8*b + 118479 = -304345. Is b prime?
False
Let d be ((-34328)/(-35))/((-2)/(-5)). Let b = 3621 - d. Is b a composite number?
True
Suppose -461 = 4*u - 3*q, -5*q - 550 = 3*u + 2*u. Let x(f) = -16*f - 85. Let l be x(-5). Is u/2*l*10/5 a prime number?
False
Let t = 711660 + -353189. Is t prime?
True
Let j(v) = -296*v**3 - 4*v**2 - 3*v + 1. Suppose -8*n = -0*n - 3*n. Suppose -8 = 4*b + 4*s, 4*b + 8 = -n*b + 5*s. Is j(b) a composite number?
True
Suppose -a = 46 - 51. Suppose a*i - 5 = 5. Suppose 0 = -0*n + 4*n + i*c - 4566, -3*n - 3*c = -3432. Is n a composite number?
True
Let v(w) = 5739*w - 714. Is v(9) prime?
False
Let v(k) = -23*k + 5. Let n be v(-3). Let a be (37/n)/(1*2/(-4)). Is 2/(a*6/(-6117)) composite?
False
Is ((-281798)/6)/(5/(13 - 28)) composite?
True
Is (-10 + 13)*(-1 + 487268) + -81 + 73 prime?
False
Suppose 58*o = 2375417 + 2107925. Is o a composite number?
True
Let w = 14941 + -6902. Is w a prime number?
True
Is (-8653102)/(-8) + 882/(-56) + 17 composite?
True
Let p(s) = s**3 + 9*s**2 - 2*s - 12. Let i(r) = -10*r + 1. Let t be i(1). Let q be p(t). Suppose z - 259 = -q*z. Is z a prime number?
True
Let f be (-8)/(-6)*(-1 + -2). Let x = -4 - f. Suppose p - 4*t + 7*t = 62, x = 3*p - 5*t - 144. Is p composite?
False
Let t be (6864/(-117))/((-2)/18). Let u = -325 + t. Is u prime?
False
Let p be ((-26)/5 + 4)/((-6)/(-380)). Is (-11)/(p/(-20) + -4) a prime number?
False
Suppose -51 = -13*s - 25. Suppose -k + 6*k - f = 3090, 0 = -s*k + 4*f + 1218. Is k a composite number?
False
Let a = -56097 - -129308. Is a a composite number?
True
Let m(b) be the second derivative of -5*b**2 + 5/2*b**3 + b + 0 + 3/2*b**4. Is m(11) a prime number?
True
Let m = -816 + 756. Is (-12)/(m/92525) + -2 composite?
False
Let b = 5554 - 1928. Suppose 8*v - 3*v + 1323 = -2*l, -v - 4*l - 243 = 0. Let q = v + b. Is q a prime number?
True
Let k(w) = -w**3 + 28*w - 10. Let n(y) = -y**3 - y**2 - 2*y. Let z(q) = k(q) - 2*n(q). Is z(13) prime?
False
Suppose -593358 = -35*z + 1354567. Is z prime?
False
Let a = -91 - -42. Let t = a + 54. Suppose 3*w + u - 4068 = -0*u, t*w - 6770 = -5*u. Is w composite?
True
Let h(w) = 8570*w**3 - 6*w**2 - 22*w - 9. Is h(5) a prime number?
True
Let w be (-155319)/33*-5 + 28/(-154). Let b = -8040 + w. Is b a prime number?
True
Let n = -153 + 335. Let s = n + 1200. Suppose 2*p = s - 120. Is p prime?
True
Let o(j) = -18456*j**3 - 8*j**2 + 6*j + 15. Is o(-1) a prime number?
True
Let y(s) = 2*s**2 - s - 2. Suppose 2*m + 0 = 4. Let o be y(m). Suppose o*k - 1510 = 566. Is k a prime number?
False
Suppose -34*h = -56*h + 26*h - 2036. Is h composite?
False
Suppose 900199 = 42*d - 800843. Is d prime?
False
Suppose -5*x + 1519529 = 3*a, 0 = -2*x + 127*a - 125*a + 607818. Is x a prime number?
True
Let n(f) = f**3 - 4*f**2 + 2. Let u(v) = v**2 + 4*v - 6. Let j = 50 + -56. Let b be u(j). Is n(b) composite?
True
Suppose 10*s = 13*s - 12. Suppose 0 = -5*v - s*v + 18. Suppose 5*f - 1167 = m, 5*f - v*f - m - 701 = 0. Is f prime?
True
Let s(r) = -38*r - 71. Suppose -4*j = -2*l + 10, 6*j = -l + j - 2. Suppose 4*q - 2*x + 59 = l*x, -q - 17 = x. Is s(q) a prime number?
False
Let c = -189070 - -1179777. Is c a prime number?
True
Let v = -3775 + 7906. Suppose 0 = -3*i - v - 75309. Is (1/(-5) - i/25)/1 prime?
False
Let v(m) = 4*m - 4. Let a be v(-6). Let b = a + 26. Let d(u) = -562*u - 9. Is d(b) prime?
False
Suppose 0 = 30*u - 22*u + 24. Is 14876*(65/20 + u) prime?
True
Let m = 257768 - 84867. Is m a composite number?
True
Suppose -91035 = -12*t + 8013. Is t composite?
True
Suppose 8*f - 5*f - 88089 = 0. Suppose -4*u - 5607 = -f. Is u composite?
False
Is 1/28*8 + 12105618/98 prime?
True
Suppose 11208185 = 24*m - 2039503. Is m a prime number?
False
Let m(b) = -26236*b - 5. Let d be m(-1). Suppose -25*g + 8*g + d = 0. Is g a composite number?
False
Suppose -p + 28 = -5*d, -2*p + 11 + 1 = d. Suppose 0 = -p*r - 3*r + 27709. Is r a prime number?
False
Let a = 181439 - 121620. Is a a prime number?
False
Suppose -143 = -3*t + 5*i, 3*t + 0*t + 4*i = 107. Suppose 4*s = h + 21, 4*s - 5*h = -0*h + t. Suppose -s*w + 246 = -2*r, 6*r - 5 = 7*r. Is w composite?
False
Let l(k) = 10608*k**3 + 46*k**2 + 5*k - 3. Is l(2) prime?
False
Let c be (10/(-40))/(2/(-24)). Suppose -4 = -2*x + 2*v, 0 = -x - c*v - 4 + 14. Suppose 0 = -4*s + 2*l + 846, -x*l + 629 = 4*s - s. Is s a prime number?
True
Suppose 2368454 = -18*k + 4723162 + 2162626. Is k a composite number?
False
Let o = 4417 + -519. Is o prime?
False
Suppose 4*a - 12 = -2*s, -2*a = 3*a + 3*s - 13. Suppose a*h = -c + 25707, -3*h + 5*c + 5131 = -2*h. Is h composite?
True
Let s be (-704)/(-72) + 5 + (-4)/(-18). Let n be (-3)/(75/5) - (-78)/s. Suppose -n*q + 246 = -2*q. Is q composite?
True
Let f(u) = 251*u**2 + 738*u + 76. Is f(-45) a prime number?
True
Suppose -174*j - 173840 = -176*j + l, j - 3*l = 86905. Is j a prime number?
True
Is -13*52/(-1183) - 533445/(-7) prime?
True
Is (-1144)/(-104) - (-267007 + 1) a composite number?
False
Suppose -41 = -3*y - 14. Suppose 12 = 3*c - y*c. Is (-4 - 75)*c/2 a prime number?
True
Let v = -250 - -248. Let u(c) = 1616*c**2 + 5. Is u(v) prime?
True
Let p be (-7)/14*4 + 4. Suppose -p*x + 11756 = 1602. Is x prime?
True
Let k(x) be the first derivative of -2584*x**2 + 5*x + 13. Let z be k(-1). Suppose 2*w - 241 = z. Is w composite?
False
Let c(j) = 832*j**2 - 138*j + 31. Is c(22) a composite number?
True
Let w = 3 + 4. Suppose 0 = -w*p + 4*p -