er?
True
Suppose 4*s - 3*j - 114961 = 0, -2*s - 2*j + 61821 = 4337. Is s composite?
True
Suppose 0 = 18*j - 12*j - 7494. Is j prime?
True
Let p(a) = 19*a**3 - 7*a**2 - 6*a - 3. Let m be (-4)/(-28) - 40/(-14). Let y(z) = -9*z**3 + 4*z**2 + 3*z + 2. Let h(j) = m*p(j) + 5*y(j). Is h(3) prime?
True
Let c(u) = -2*u**2 - 14*u - 12. Let k be c(-5). Suppose k*t = 14*t - 17538. Is t composite?
True
Let a be (-1)/((-70)/(-18) - 4). Let j = a - 13. Is 7*(-4 - (-111 - j)) prime?
False
Let p be 24556/21*6/(-4). Let l = -1123 - p. Is l prime?
True
Let b(o) = -8*o**3 - 6*o**2 - o - 2. Let q be b(-6). Suppose -6*w + 1178 = -q. Is w a composite number?
False
Let w(d) be the second derivative of -d**3/6 + 21*d**2/2 - 7*d. Let x be w(15). Let z(u) = u**3 - 6*u**2 + 4*u + 1. Is z(x) composite?
True
Is 13/(260/152)*1180/8 a prime number?
False
Suppose 6*h - h = -245. Let y = h - -462. Is y a prime number?
False
Let f be 12 + -2*(-15)/(-6). Suppose -f*d = -4*d - 4*v - 915, 3*v = -4*d + 1220. Is d a composite number?
True
Suppose 3 = -2*c - 11. Suppose 2*o = m - 40, m - 4*o - 37 = o. Let i = c + m. Is i prime?
False
Suppose 0 = 6*j - 19*j + 37167. Is j prime?
False
Suppose -2*q = 3*u + 97, -q - 95 = 3*u - 0*q. Let i = -28 - u. Suppose -i*r - r = -1524. Is r a prime number?
False
Let j be (966/(-35))/((-3)/(-15)). Let x be (82/(-4))/((-1)/(-2)). Let v = x - j. Is v prime?
True
Suppose -5*g + i + 8 = 0, 0 = -6*g + 2*g + 3*i + 2. Let o = g + -5. Is 990/8 + o/4 a prime number?
False
Let y = 1699 - 694. Let m = y - 663. Suppose -m = -3*x - 0*x - 3*r, -x + 5*r = -120. Is x prime?
False
Let w be ((-24)/9)/((-2)/531). Suppose -6*v + w = -4*v. Suppose -a + v = a. Is a a composite number?
True
Let o be (1 + -7)*(-1)/2. Suppose -o*d + 108 = -345. Suppose -100 - d = -w. Is w a prime number?
True
Let t(r) = -123*r + 2. Let o(g) = -g**2 - 4*g + 3. Let f be o(-5). Let s be (1 - (-15)/6)*f. Is t(s) prime?
True
Let n(i) = 74*i**2 + 4*i - 2 - 3 - 9 - 3*i. Is n(3) a composite number?
True
Suppose 3*k - 16727 = -5*w, -39*w + 13384 = -35*w + 3*k. Is w composite?
False
Let t = -29854 - -43997. Is t composite?
False
Let z(h) = -h**3 + h**2 - 9. Let o be z(0). Let d(t) be the first derivative of -19*t**2/2 - 8*t - 30. Is d(o) a prime number?
True
Let w(x) = 9*x - 1. Let r be w(2). Let u = -504 + -153. Let v = r - u. Is v prime?
False
Let w(z) = -z - 2. Let t be w(-5). Suppose 4*k - t*d = 9259, -2*d - 6945 = -k - 2*k. Is k a composite number?
True
Let h(m) = -1201*m**3 + 7*m**2 + 5*m - 7. Is h(-2) a prime number?
True
Suppose 20842 = 2*b + 4*m, b + m + 3*m = 10431. Is b prime?
False
Is 37/(-74) + 3055/2 a composite number?
True
Is (-617160)/(-32) + 5/(-4) + 1 prime?
False
Let q = -7 - -14. Suppose -q*j + 2668 = -3*j. Is j a prime number?
False
Suppose 826 = 2*j - b, 5*b - 3*b = 3*j - 1239. Let h = j + -264. Is h prime?
True
Suppose 4*b - 5*h - 39 = 0, 2*h = -3*b - 2*b + 90. Let n = -13 + b. Suppose 3*i - 498 = -i - 2*s, 0 = 3*i + n*s - 366. Is i a composite number?
False
Suppose -2*o + 6958 = -4*v, o = 6*v - 9*v + 3499. Is o composite?
True
Suppose 11*j - 32300 - 821 = 0. Is j composite?
False
Suppose -14*c = -16*c - 104. Let p = 51 - c. Is p prime?
True
Is ((-7)/3)/(5 + (-5824)/1164) a prime number?
False
Suppose -16*j + 1458259 + 341245 = 0. Is j a composite number?
True
Suppose -7 = 2*k + 2*h + 57, 0 = 2*k + 4*h + 74. Let q = -26 - k. Is (q/(-2))/(7/(-826)) a composite number?
False
Is (52804/(-16))/((-1)/4) composite?
True
Suppose -2*b = -4*x + 24, -b = -0*b + 5*x - 16. Is ((-20579)/26)/(2/b) prime?
True
Is (14/21 - 1)*10359/(-3) prime?
True
Is 84/630 + 1652246/30 - 8 a prime number?
False
Let o = -25533 - -37922. Is o a composite number?
True
Is (89/3)/(((-12)/6)/(-30)) a prime number?
False
Suppose -4*d + 5 + 11 = 0. Let j(p) = -9*p + 3 - 11*p + d + 2*p. Is j(-14) composite?
True
Let m(n) = 83*n**2 + 2*n + 10. Let g(s) = 165*s**2 + 5*s + 21. Let r(q) = -6*g(q) + 13*m(q). Is r(3) prime?
False
Let c(r) = r**3 - r**2 - r + 1. Suppose 3*l + l = 0. Let m be c(l). Is 1*(m - 2)*-11 composite?
False
Let z(p) = -652*p - 13. Suppose -2 = -5*t + 6*t. Is z(t) a prime number?
True
Let t(b) be the second derivative of -114*b**5/5 - b**4/6 + b**2/2 - 3*b. Let j be t(-1). Let p = j - 252. Is p prime?
False
Let r = -6 - -8. Suppose -r*y - n = 2*n - 10, 0 = -3*y + 2*n + 28. Is (-4 + 2)*(-308)/y a composite number?
True
Suppose -2*d + 4*p = -10, 5 = 3*d + p + 3*p. Suppose -h = d*h - 2084. Is h composite?
False
Let v be -103 + (-2)/(-4)*-6. Let t(d) = -d**3 - 6*d**2 + 2*d + 7. Let m be t(-6). Is (m + v)*(-4)/6 a composite number?
True
Let c = 40 + -36. Let o(q) = 2*q**3 - q**2 - 7*q + 11. Is o(c) a prime number?
False
Let l(g) = -78*g**3 + 2*g**2 + 23*g + 29. Is l(-6) a prime number?
True
Suppose 3*r + 74700 = 3*n, 2*r - 4*r = -n + 24899. Is n a prime number?
False
Suppose 1277 = k - 3594. Is k prime?
True
Let o be 20/(-120) + 46/(-12). Is ((-590)/o)/((-2)/(-4)) a composite number?
True
Suppose t + 5*x = 280, -t = -3*t + 3*x + 573. Suppose 1573 = 4*h + t. Suppose -6*z + h = -4*z. Is z a prime number?
False
Let z(l) = -l. Let o be z(-6). Suppose o*d - 952 = 2*d. Suppose p = -p + d. Is p a prime number?
False
Suppose 0 = 3*o + q + 2092, 4 = -5*q + 29. Let p = 1400 + o. Is p prime?
True
Let u = 336 - -2143. Is u prime?
False
Suppose 11*o = -4681 - 1006. Suppose -4*m + d = 3*d - 4106, -4*m + 4108 = 4*d. Let h = m + o. Is h prime?
True
Suppose 4*l = l - 3*u, 4*u = -2*l - 8. Let b be 789/(-1) - (3 + -2). Is (l - b) + 1*3 a composite number?
False
Suppose 0 = 4*v - 30773 + 2305. Is v a composite number?
True
Suppose 2*m + 3*y = -7, -2*y = -3*m + 2*y - 53. Let h(c) = -322*c + 3. Let k be h(m). Suppose u = -4*u + k. Is u composite?
False
Let t be 141/6*(1 - -1). Suppose 10*d = -3*d - 182. Let c = t + d. Is c composite?
True
Let x(n) be the third derivative of -71*n**9/30240 + n**6/720 - n**5/60 + 3*n**2. Let i(g) be the third derivative of x(g). Is i(-1) a composite number?
True
Let i(l) = -67*l + 5. Suppose 2*y - 2 = -0*y. Let z(g) = -1. Let a(n) = y*i(n) + 3*z(n). Is a(-3) a prime number?
False
Suppose 14*a + 3612 = 18*a. Suppose 0 = 5*d - a - 712. Is d prime?
False
Let o = 4505 + -2985. Let f = o - 2784. Is 6/9 - f/3 composite?
True
Let y = -16 - 44. Let n = y - -311. Is n a prime number?
True
Let d(v) be the third derivative of v**4/24 - v**3 + 4*v**2. Let t be d(-4). Let c = 11 - t. Is c prime?
False
Suppose -3*l = -5*q - 15115, 5*l - 6*q + 3*q = 25213. Is l prime?
False
Suppose 0 = 4*h - 3*h - 2. Suppose -h*i = 2*o + 31 + 73, -158 = 3*o + i. Let d = o + 79. Is d composite?
True
Let w(r) = 3*r**2 - 9*r + 12. Let i be w(2). Suppose -5*k + 19 = -i, 3*t + k = 7424. Is t a composite number?
False
Let f = 20 - 18. Let b be 3 + (-7)/((-7)/f). Suppose 0 = -3*t + 4 + 2, -b*c + 5*t = -2475. Is c a prime number?
False
Let c = 106 - 94. Suppose c*k - 11*k = 521. Is k composite?
False
Suppose 0 = -7*o + 17*o - 273290. Is o a composite number?
False
Suppose -7*q = -8*q. Suppose -3*r - 10 + 52 = q. Let b = r - -23. Is b a composite number?
False
Let g(u) = -248*u + 79. Let q be g(-22). Suppose 4*f - 15053 = q. Is f prime?
True
Let s be (-4)/((-12)/3) - (57 - 1). Let o = s + 266. Is o composite?
False
Suppose -3*b = 2*b - 30. Suppose 4*o + 22 = b. Let x(s) = -21*s + 5. Is x(o) prime?
True
Is (-6 - (-53592)/(-16))*16/(-12) a composite number?
True
Let k(g) = g**3 - 23*g**2 + 28*g + 15. Is k(23) a prime number?
True
Let s = -49218 + 94171. Is s a prime number?
True
Let l(r) = -10*r + 6*r + 3 + 12*r**2 - 12*r. Let o be l(15). Suppose o = 2*q + 521. Is q a composite number?
False
Suppose -3*s - 9 = 0, 3*g + s - 5 = -g. Suppose -g*w - 3*l - 2*l = -241, -2*w = l - 237. Is w prime?
False
Let n be 282 + (6 - 4)*2. Let r = 8 + -5. Suppose r*o = n + 95. Is o composite?
False
Let i = -14 + 19. Suppose -3*g + 4*f + 12 = 0, i*f - 4*f + 4 = g. Suppose -2*z - 4*j + 22 = 0, -g*j - 37 = -3*z - 9*j. Is z a composite number?
False
Suppose 0*g = 2*g - 5*v - 135, 183 = 3*g - v. Suppose 0 = 3*r + 2*r + 2*m - 148, 0 = -2*r - m + g. Is 2366/r - (-6)/(-4) composite?
False
Suppose -o - v = 5, -4*o + 2*v - 12 = 8. Let g = o + 3. Let d(b) = -119*b - 3. Is d(g) prime?
False
Suppose o = -s - 1, -3*o + 0*o - 2*s = 1. Let i(r) be the first derivativ