 a prime number?
True
Let w be -2 - (20/(-12) - 2/6). Is (-1111)/(4 - 5)*(1 - w) a composite number?
True
Suppose 29 = 4*t + 3*n, -t + 1 - 2 = -2*n. Suppose 0 = 5*x - t, 2*b - x - 9942 = -5*x. Is b composite?
False
Suppose -5*c + 14*c = 20817. Suppose -c - 1290 = -3*q. Is q a prime number?
True
Suppose 0 = 2*i + 5*g - 1 + 2, -2*g = i - 2. Is 3*(5420/i - -2) composite?
False
Let q(t) = -t**2 - 4*t + 7. Let s be q(-5). Suppose k + 42 - s = 4*b, 2*k = 2*b - 62. Is (63/k)/((-6)/16) a composite number?
True
Is (6/9 - 0) + 944163/81 a composite number?
False
Let g = -2565 - -7712. Is g a composite number?
False
Suppose -c - 4*c = 0. Suppose c = -i + 4 - 2. Suppose -i*q + 1179 = 73. Is q composite?
True
Let l = 23714 - 11851. Is l a composite number?
False
Suppose 16 = 5*a + 6. Suppose 0 = -0*c - a*c + 406. Is c a composite number?
True
Let f(b) = -27*b**3 - 2*b**2 + 6*b + 64. Is f(-5) composite?
False
Is 12*14/21 - -1001 prime?
True
Let y = 2167 + -1308. Is y composite?
False
Let t(h) = 3*h**2 + 29*h + 97. Is t(-21) a composite number?
False
Let c(d) = -28*d**3 + 4*d**2 + 7*d - 4. Is c(-3) prime?
False
Let n(s) = -s. Let f be n(2). Let a be 4/6*(-12)/f. Is (-29704)/(-40) + a/10 a composite number?
False
Suppose 5*g - 7 = 38. Let j be 3/g*0/3. Suppose j = -5*a + 302 + 293. Is a a prime number?
False
Let u = 2620 - -6758. Suppose 14*a = 5*a + u. Is a a prime number?
False
Suppose 7*z - 2*z + 4*u = -32, -2*u - 6 = 0. Let w(c) = 113*c + 6. Let y(j) = -226*j - 11. Let p(r) = z*y(r) - 7*w(r). Is p(1) a prime number?
False
Is (11442/8)/(3/4) a composite number?
False
Let n = -4024 + 10623. Is n composite?
False
Let h = 14 + -10. Let q(v) = 0*v**2 + 3*v**2 + h*v + 4 - 9*v - v**2. Is q(6) a prime number?
False
Let k be (-6)/4 + (-1 - (-26)/4). Is k/(-6) - (-958)/6 prime?
False
Suppose -13859 = 65*g - 66*g. Is g a composite number?
False
Let a(p) = p + 9. Let y be a(-7). Suppose -y*k + 5*c + 29 = 0, -28 + 7 = 2*k + 5*c. Suppose -6*j = -k*j - 204. Is j composite?
True
Let z be 4/(-6) - 4245/45. Let n = 858 - z. Is n a composite number?
False
Let m(g) = 18*g**2 - 3*g - 2. Suppose 7*y + 6 = -29. Is m(y) a composite number?
False
Let m(a) = a**2 + 8*a - 3. Let y(q) = q**2 + 7*q - 3. Let u(h) = -3*m(h) + 4*y(h). Is u(16) a prime number?
True
Let x(n) be the second derivative of 0 + 3*n + 1/2*n**2 + 59/2*n**3. Is x(2) composite?
True
Let p(u) = 2545*u**2 + 3*u + 3. Is p(-1) a composite number?
True
Let w(d) = 4*d**2 + 3 - 5*d**2 + 0. Let n be w(0). Let v(a) = 4*a**3 - 5*a**2 + a + 3. Is v(n) composite?
True
Let x(t) = 100*t**2 + t + 11. Let g be x(-5). Suppose -3*l + 5*l - g = 0. Is l a prime number?
False
Let c(o) = o**2 + 9*o + 5. Let s be c(-8). Let j be (s + -319)/(2/(-3)). Let v = j - 342. Is v a composite number?
True
Let z(f) = 4*f**2 - f + 38. Is z(27) a prime number?
True
Let l(z) = -3*z**2 - 6*z - 7. Let y(c) = -3*c**2 - 6*c - 6. Let q(v) = 2*l(v) - 3*y(v). Let g be q(8). Let a = 405 - g. Is a prime?
False
Suppose 5*p - 12509 = -2*h, 37*h - 5*p + 18776 = 40*h. Is h a composite number?
True
Suppose l + 145 = 2*a, -5*l = 6*a - a - 325. Suppose -2*k + 5*r + a + 364 = 0, -434 = -2*k - 5*r. Is k prime?
False
Suppose 27*a = 28*a - 6389. Is a a prime number?
True
Let x = 623 - -128. Is x a prime number?
True
Let p(v) be the third derivative of 7*v**5/12 + 19*v**4/24 - v**3/2 - 11*v**2. Is p(4) composite?
True
Let f(x) = -x**3 + 8*x**2 - x - 6. Let l be f(8). Let q(g) = g**2 + 7*g - 18. Let v be q(l). Let j = 175 - v. Is j a prime number?
False
Let b = -4 - -6. Suppose 32 + 8 = b*r. Let u = 33 + r. Is u a composite number?
False
Let x(w) = 13351*w. Let t(h) = 75*h. Let y(k) = -711*t(k) + 4*x(k). Let a(i) = -i**2 + 5*i - 3. Let n be a(4). Is y(n) composite?
False
Is 37/6*(-9834)/(-11) a composite number?
True
Let h be 17800 + -2 - (3/1)/1. Suppose 5*v - h = -4*t, -17238 = -3*v - t - 6554. Is v composite?
True
Let x be 1 - (1 - 3 - 0). Suppose -u + 7815 = 5*g - 0*u, 5*g - 7815 = x*u. Is g a prime number?
False
Let c(y) = 578*y**2 - 25*y + 129. Is c(4) prime?
True
Suppose 0 = -3*m - 4*j + 37 + 12, 2*m + 4*j = 38. Let o(a) = 23 + 17*a + 3 - 10. Is o(m) prime?
False
Let o(r) = -670*r**3 + r**2 + 8*r - 1. Is o(-4) composite?
False
Let i = -2053 - -3840. Let g = -1246 + i. Is g a prime number?
True
Let t(q) = 21*q**2 + 19*q + 189. Is t(-8) prime?
True
Suppose 3*s - 5*w = 6169, s + 10292 = 6*s + 2*w. Let g = s - 1423. Is g prime?
False
Suppose -3*z = 9*z - 60. Suppose 0 = -2*f + 3*f - 2*y - 701, -4*f - z*y + 2739 = 0. Is f a prime number?
True
Let n be (-2)/3 + 1299/(-9). Let d = n + 232. Is d composite?
True
Let m = 7 + -24. Is (-9)/27 - (-16)/(-6) - m composite?
True
Let s be (-5 - 35/(-5))/((-1)/344). Let h be (-2)/(-3) - (-5404)/3. Let w = h + s. Is w a composite number?
True
Let f(o) = 21*o**2 + 41*o + 421. Is f(-9) prime?
True
Let n(b) = 11*b**2 + 8*b - 9. Let o be (-1 + (-11)/(-3))*(-66)/22. Is n(o) a composite number?
False
Let k(f) = 113*f**2 - 20*f - 109. Is k(-8) prime?
True
Suppose 2*h = -w + 3*w + 6856, 3*h - 10298 = -4*w. Suppose 14*y - h = 3584. Is y composite?
True
Let g(s) = 65831*s - 36. Is g(1) composite?
True
Let w(y) = -462*y - 65. Is w(-4) composite?
False
Let a = 11353 - 4814. Is a prime?
False
Let h be (1/2)/(4/48). Suppose -50 = -h*o + 4*o. Suppose y = o + 26. Is y prime?
False
Let n(a) = -4860*a - 77. Is n(-8) a composite number?
False
Suppose -3*d + 5*z = -1905, 3*d = d - 3*z + 1270. Suppose -17*b + 12*b = -d. Is b a prime number?
True
Let l(r) = -5*r - 155. Let t(n) = -11*n - 311. Let h(w) = 5*l(w) - 2*t(w). Let i be h(0). Let f = 228 - i. Is f composite?
True
Let u(d) = -11*d**3 - 23*d**2 + 7*d - 5. Let g(k) = 7*k**3 + 15*k**2 - 5*k + 3. Let x = -10 + 15. Let j(q) = x*u(q) + 8*g(q). Is j(4) prime?
False
Suppose 4*y + 4 = -0*y, 0 = q + y - 75162. Is q prime?
False
Let g(z) = 351*z + 4. Let r be g(-7). Let t = 4866 + r. Is t composite?
True
Let l(z) = 3*z**3 - 4*z**2 + 3*z + 5. Let v(d) be the second derivative of d**4/12 + 11*d**3/6 - 4*d**2 + 9*d. Let j be v(-12). Is l(j) prime?
False
Suppose -3*b = 5*h - 301, 3*h - 245 = -h - b. Let g be 2/(-7) - (-4274)/14. Let v = g + h. Is v composite?
False
Suppose 0 = -4*a + 11*a - 41867. Is a prime?
True
Let b = -79 - -81. Is 2118 + ((-4)/(-8))/(1/b) composite?
True
Is (1 + 13 + -13)/(2/10910) prime?
False
Is 20/15*45/20 + 1154 a composite number?
True
Let b(p) be the third derivative of p**6/60 - 11*p**5/60 + p**4/4 - p**3/3 + 3*p**2. Is b(7) composite?
True
Suppose -4*q + s + 0*s + 10 = 0, -2*s = 3*q - 13. Suppose t - q*p + 0*p = 475, 3*t + 4*p = 1399. Is t a composite number?
True
Let a(u) = u**2 + 7*u + 9. Let b(i) = -2*i**2 - 14*i - 18. Let r(y) = -5*a(y) - 3*b(y). Let p be r(-6). Suppose -p*z = -2*z - 131. Is z composite?
False
Suppose j - 12 = 5*p - 39, p = 5*j + 39. Let o(d) = d**3 + 8*d**2 + 6*d + 2. Let x be o(j). Suppose -4*a = -r - r + 406, 3*a - x = 0. Is r composite?
True
Suppose -2*m + 1280 + 1422 = 5*t, 4*m - 5404 = 3*t. Is m composite?
True
Let f(o) = 744*o - 329. Is f(17) prime?
False
Suppose 5*b - 2*b = 3*s, 0 = -3*b + 2*s + 3. Suppose 5*m - 73 = -b. Let a = 63 + m. Is a composite?
True
Let p be ((-3)/(-6))/(9/2826). Suppose -3*h + 3*l = -339, 5*h + 5*l - 408 = p. Is h a prime number?
True
Let f = 11716 + -4367. Is f prime?
True
Let f(o) = 3*o**2 - 5. Let l be f(3). Let t(c) = 4*c + 2*c**2 + l - 12 - 27. Is t(10) prime?
True
Let l = 26153 + -10584. Is l a prime number?
True
Suppose 0 = 139*s - 129*s - 28990. Is s a composite number?
True
Let x(b) = 12*b**3 + 3*b**2 - 1. Let t be x(2). Suppose -443 - t = -2*q + 5*p, -4*p = -3*q + 811. Is q composite?
True
Suppose 2*s = 3*s - 18889. Suppose 2*g = 5*j - s, 2*j + 2*g - 3127 = 4437. Is j composite?
False
Suppose -20 = 9*y - 13*y. Suppose -3*b - 1888 = y*x - 6335, 4*b - 16 = 0. Is x composite?
False
Let g = 8489 + -3628. Is g prime?
True
Let d(u) = 258*u**3 + 17*u**2 - 31. Is d(6) prime?
False
Suppose 2*i + 7 - 14 = -g, 3*i + 5*g - 21 = 0. Let q(u) = u**3 + 18*u**2 - 2*u - 36. Let k be q(-17). Suppose i*v - k = -45. Is v a prime number?
False
Let q = 8724 - 4013. Is q a prime number?
False
Suppose 0 = -2*w + 4, 0*x - 3*w + 24 = 2*x. Let s be (21 - 6)*(-48)/(-20). Is x/s + (-2707)/(-4) a composite number?
False
Let m(t) be the second d