rime number?
False
Let d(j) = 2*j - 2. Let q be d(2). Suppose q*s + 296 = -390. Let a = s - -752. Is a a prime number?
True
Let c(y) = 3*y**2 - 3. Let d be c(3). Is (1932/d)/(1 - (-2)/(-4)) prime?
False
Is (-10)/((-2)/(-1)) + 3 - -489 a composite number?
False
Suppose 0 = a - 5*q - 75700, 2*a + 6*q - q = 151355. Is a a composite number?
True
Suppose -32 = -0*z - 2*z. Let d be (-23390)/(-22) + z/(-88). Suppose -5*f + d = -3*u, 4*u - 818 + 157 = -3*f. Is f composite?
True
Let h = 5 + 105. Let x(b) = b**3 - 2*b**2 + 5*b - 1. Let w be x(3). Let k = w + h. Is k a composite number?
True
Suppose 0 = 19*b - 8*b - 17193. Is b prime?
False
Let m be 7/28 + (5/(-4) - 2). Let c(v) = 291*v**2 + v. Let i be c(-1). Let k = i + m. Is k composite?
True
Let f = -22 + 26. Suppose 3 = m - 5*t, -4*m = -f*t - 4 - 8. Suppose -m*q + 1525 = 2*q. Is q prime?
False
Let v = 0 - -4. Suppose -v*s = 5*y - 1517, 3*y - 3*s + 611 = 5*y. Is y a composite number?
True
Let b = 28 - 25. Let m be (18/b)/((-15)/40). Is 1/((m/204)/(-4)) prime?
False
Let n(f) = -110*f + 8. Is n(-13) prime?
False
Suppose -2*l + 4*l = 6. Suppose 2 = -h - l*g + 7, -3*g - 3 = -3*h. Is (2/1)/h*237 a prime number?
False
Let m(l) = 4 + 5*l**3 + 4*l - 5*l**2 - 3 + 3*l**3 - 5. Is m(3) composite?
False
Suppose 0 = 5*b - 6*b - 4248. Let y = -1988 - b. Suppose 0 = 5*k - k - y. Is k composite?
True
Suppose -20*o = -254945 - 1094115. Is o composite?
False
Let c(l) be the second derivative of 5*l**4/12 + 2*l**3/3 - l**2/2 - 6*l. Let m(x) = -x**2 + 6*x + 4. Let v be m(6). Is c(v) composite?
True
Let m(i) = 22*i**2 + 19*i - 17. Is m(-18) composite?
True
Let z be ((-8)/6 - -1)*-12. Is (959/z)/((-5)/(-20)) prime?
False
Suppose -21*y + 5727 = 750. Is y a prime number?
False
Let x(i) = 2*i - 1. Suppose -a + 1 = 3. Let n be x(a). Is (-94)/(n/(15/6)) prime?
True
Let l = 24 + -20. Suppose 0 = -0*t - 4*t + l*u + 3912, 3*t - 2944 = u. Is t a prime number?
True
Suppose -5*d + 4*t = -31, -3*d = -2*d + t + 1. Suppose -2*c = 5*f - c - 1570, 0 = d*f - 2*c - 942. Is f composite?
True
Suppose -4*t - 3*x = 47, -2*t - 4*x - 4 = -4*t. Let f = 9 - 19. Is t/(-20) + (-366)/f a prime number?
True
Let h(n) = n**2 - 18. Let c be h(4). Is (c/6)/((-4)/5484) a prime number?
True
Suppose 4*b = 3 + 5. Suppose -7 + 4 = -c + b*l, -4*l - 4 = 0. Is -2*1/c*-37 a composite number?
True
Let o = 6090 - 2813. Is o prime?
False
Suppose -p - 3*a - 23124 = -77886, p = 4*a + 54755. Is p a composite number?
True
Suppose 4*o = -3*p + 426, 2*p - 139 = -2*o + 143. Suppose 8*m + p = 11*m. Suppose h + r = m, 4*h - r = -4*r + 181. Is h a composite number?
False
Let d(o) = -o - 6. Let p be d(-8). Suppose b + 4*q - 8 = -3*b, -3 = -b - p*q. Is (-3 + 5)*b*43 composite?
True
Let t(n) = -n**3 + 66*n**2 + 8*n - 39. Is t(16) prime?
True
Is (-50)/(-30) + (-143732)/(-6) prime?
True
Let j(a) = 8*a**3 + 6*a**2 - 6*a + 3. Is j(7) prime?
True
Suppose -q = -3*q + 6. Suppose 0*g = q*g - 30. Let h(y) = y**3 - 8*y**2 - 4*y + 9. Is h(g) a composite number?
True
Let g = -602 - -235. Let t = -218 - g. Is t prime?
True
Suppose -2091 = 3*l - 7884. Is l a composite number?
False
Suppose -64*b + 26*b + 744002 = 0. Is b a composite number?
True
Let z be 1/(-1) - (-2)/(-2). Let p(m) = -119*m**2 - m - 24. Let l(j) = 59*j**2 + j + 14. Let h(g) = -5*l(g) - 3*p(g). Is h(z) composite?
True
Let v = 832 - 343. Suppose r + 5*d = 3*r - v, 2*r - d = 477. Is r a composite number?
True
Let y be 6*3/15 - 3/15. Is 1/y*(3000/8 + 4) a prime number?
True
Let d = -178 - -285. Suppose 10 = -w + d. Is w composite?
False
Suppose 0 = 3*t - x - 10, 2*t = -t + 4*x + 4. Let v(w) = 8*w**2 - 2*w + 7. Is v(t) composite?
False
Suppose 6771 = 4*v + 151. Suppose -v = -0*a - 5*a. Is a a prime number?
True
Let n(t) = -2*t + 4*t**3 + 24*t**2 - 24*t**2 - 2 + 5. Is n(4) a composite number?
False
Let j(p) = -p**3 - 7*p**2 + p + 15. Let a be j(-7). Suppose -a - 4 = -4*z. Let u(b) = 7*b**3 + 4*b - 2. Is u(z) composite?
False
Suppose 4*l + 4*d = 28, d = 4*l - 0*d - 28. Let o(v) = v**3 - 8*v**2 + 6*v + 6. Let g be o(l). Is (3 + -137)/g - 1 a prime number?
False
Let d(m) = 44*m**3 - 4*m**2 + 7*m - 7. Let p(c) be the second derivative of c**4/12 - c**3/6 + c**2/2 - 7*c. Let q(x) = -d(x) - 5*p(x). Is q(-3) composite?
False
Suppose 207*g - 197*g = 57550. Is g a prime number?
False
Let s(g) be the third derivative of 37*g**4/6 - g**3/6 - 2*g**2. Let d be 2/(2 + -3 + 2). Is s(d) composite?
True
Let c(n) = -n**3 + 85*n**2 + 52*n + 37. Is c(62) prime?
True
Suppose 9*y - 6 = 7*y. Suppose 0 = -y*h - 10 - 20. Is ((-249)/6)/1*h composite?
True
Let f(r) = r**2 + r + 4. Let i be f(-3). Let m be 38/i + 2/10. Is 31/(2 + (3 - m)) composite?
False
Suppose -8733 = -7*j + 44194. Is j composite?
False
Let b = -3 - -3. Let r(g) = b*g + 1 + 0 - 10*g + 4*g. Is r(-6) prime?
True
Suppose -3*z + 19882 = -5*f, -4*f + 6633 = -z + 2*z. Is z a prime number?
False
Let o(l) = 9*l**2 - 11*l + 35. Let k(q) = 4*q**2 - 5*q + 18. Let s(h) = -5*k(h) + 3*o(h). Is s(4) a composite number?
True
Suppose -84*b + 79*b + 10 = 0. Suppose -6*g + 5*u + 14728 = -b*g, -18415 = -5*g + 5*u. Is g a composite number?
True
Let d(u) = -3*u + 1. Let v be d(-1). Suppose -5*w + 2*k = -5491, v*k + 209 = -2*w + 2415. Is w a composite number?
True
Let c(q) = q**3 - 5*q**2 + 3*q - 9. Let z be c(6). Let o = 31 - -1. Let b = z + o. Is b composite?
True
Let o(s) = s**2 - 2*s + 563. Let n = -30 - -30. Is o(n) a prime number?
True
Let t(a) = 191*a - 1. Suppose -14 = -4*y - 3*q + q, y + 4 = -3*q. Let w be y/25 + (-9)/(-5). Is t(w) prime?
False
Is (-1300494)/(-286) + (-6)/33 prime?
True
Let o = 70954 + -47805. Is o a prime number?
False
Let h = 3651 - -10870. Is h a prime number?
False
Let v be 0 + 1 - (4 - 8). Let j be 1 + -2 + v + -2. Is -11*(3 + j)*-1 a composite number?
True
Suppose -27*p - 17365 + 324706 = 0. Is p a composite number?
False
Let j be (-15202)/(-2) + 7 + -12. Let s = j - 4555. Is s a composite number?
False
Is ((-3942336)/30)/(-8) - 6/(-10) composite?
False
Suppose 0 = 2*v - 3*c - 5492, 5*c - 2306 = -2*v + 3170. Is v composite?
True
Let l = 13 + -10. Let t be (4 - l)/((-2)/(-260)). Suppose -t - 132 = -2*b. Is b a composite number?
False
Is 6/1 + -1 - (-9780 + 294) prime?
True
Let o(r) = 0*r**3 - 3*r - 2*r**2 + 2*r**3 + 1 + 3*r**3 - 10*r**3. Suppose -4*a + 0*a + 9 = -3*s, 0 = 5*a. Is o(s) a prime number?
True
Suppose -4*k - 12 = 0, -t - 5*k + 85636 = -0*k. Is t composite?
True
Let q be (6/(-4))/((-9)/12). Suppose -q*j = -0*j - 28. Is j a composite number?
True
Suppose 5*q + 5*g - 70850 = 0, 0 = q - 2*g + 5*g - 14164. Is q a composite number?
False
Let u(o) = o + 1. Let f(k) = 9*k + 68. Let q(g) = -f(g) - 4*u(g). Is q(-17) prime?
True
Suppose 25*q + 113330 = 39*q. Is q a composite number?
True
Suppose 2*x - 150285 = -5*v, -24*v = -22*v + 3*x - 60103. Is v prime?
True
Suppose 0 = -3*r + 17304 + 1743. Is r a composite number?
True
Let w = 9792 + 21977. Is w a prime number?
True
Suppose 2*c - 805 = 3601. Is c prime?
True
Suppose -4*l = l. Let f be ((-6)/9 - l)*849. Let o = 813 + f. Is o prime?
False
Let g(f) = -2*f**2 - 16*f - 31. Let c be g(-14). Let j = c - -358. Is j prime?
False
Suppose 4*r = 5*p + 4947, -2*p - 276 = -r + 960. Is r composite?
True
Is (-4)/(-10) + 485807/(-105)*-9 composite?
False
Is (88/(-22))/((-4)/1753) composite?
False
Let q(s) = -s**3 + 13*s**2 + 4*s + 9. Let c = -10 - -18. Let f be q(c). Suppose 0*h = -5*h - 3*t + 583, 3*h - t = f. Is h prime?
False
Is ((-30)/270)/((-1)/65277) a prime number?
True
Let w be ((-3)/6)/((-1)/(-28)). Let i = w + 18. Suppose -g = 2*q - 129, i*g - 481 = -q - 0*q. Is g a composite number?
True
Is 1/2*1 - (-535337)/82 a composite number?
False
Suppose 2*z - 13906 = a, 4*z - 2*z - 13906 = -5*a. Suppose z = 4*y + 13*y. Is y prime?
True
Let t = -583 - -415. Let c = -99 - t. Is c a prime number?
False
Let l(x) = x**3 + 4*x**2 + 2*x - 3. Let h be l(-4). Let i be (h/(-4) - 3)*-4. Is (2 - i)/(3/237) prime?
True
Let s(m) = 17*m**3 + 3*m**2 - 3*m + 8. Let r(p) = 35*p**3 + 6*p**2 - 6*p + 17. Let n(t) = -6*r(t) + 13*s(t). Let f = -134 + 137. Is n(f) composite?
False
Let q = 19 - 219. Let n be q/(-16) - (-1)/2. Let r(a) = 40*a + 17. Is r(n) a prime number?
False
Let j = 1278 + -860. Let c be 16/(-64) + j/8. Is (c/(-39))/(2/(-141)) prime?
False
Let