omposite number?
True
Suppose 115*m - 2*d - 2941 = 110*m, -2*m - 3*d = -1184. Is m composite?
True
Let q be (-2)/(-12) + 5/6. Let c(n) = n**2 + 1 + q - 6. Is c(5) a prime number?
False
Let h = 572 - 197. Suppose h + 7 = 2*k. Is k composite?
False
Let t = 5914 - 2897. Is t a prime number?
False
Is -31281*7/(-84)*4 a composite number?
False
Let s(q) = -22 - 21 - 83*q + 90*q. Is s(20) composite?
False
Let q = 178 - -452. Suppose -4*s + q = s. Suppose 0 = 5*g + 16 - s. Is g prime?
False
Let c(y) be the third derivative of y**5/60 - 7*y**4/24 + 3*y**3/2 + 2*y**2. Suppose 0 = -2*p - 13 - 13. Is c(p) composite?
False
Let q(u) = u - 7. Let t be q(12). Suppose -r = 4*h - 8*h - 37, 115 = 4*r - t*h. Suppose -d + 112 = r. Is d composite?
True
Let m be (-30)/25*(-20)/(-6). Let d be ((-3324)/m)/((-2)/(-6)). Suppose -493 = -t + 3*q, 2*q + d - 521 = 4*t. Is t a prime number?
False
Let q = 590 + -391. Is q a composite number?
False
Let a be (-1 + -1)/((-1)/3). Let h be 1*-7*((-39)/(-7) + -6). Suppose 0 = -a*y + h*y + 1131. Is y a composite number?
True
Let u = 566 - 397. Let i = -136 + u. Is i a composite number?
True
Let y(c) = 4823*c + 137. Is y(12) composite?
False
Let w(r) = 2351*r - 3. Is w(2) prime?
False
Let m(p) = -4*p**3 - 8*p**2 + 2*p + 1. Let d(h) = -h**3 + 4*h**2 - 6*h + 5. Let l be d(3). Is m(l) prime?
False
Let r be 60284/21*((-3)/(-2))/(-1). Let z = -2593 - r. Is z composite?
True
Let g = 18 + -13. Suppose -5*u + 20 = 2*w, -2*u + 0*w + g*w + 8 = 0. Suppose -7*j = -u*j - 177. Is j prime?
True
Let n be -3*6/9 + 267. Suppose 10*s - 5*s = n. Is s a composite number?
False
Let w(l) = -l**3 - 10*l**2 + 11*l - 4. Let i be w(-11). Let p(k) = -12*k**3 - 2*k**2 - 5*k - 3. Let b be p(i). Let v = b + -424. Is v prime?
False
Suppose 0 = 5*i + 3*n - 7, 4 = 2*i + i + 2*n. Suppose r = -i*v + 9, -5*v = -5*r + 3 + 12. Suppose 0 = r*h - 529 - 1906. Is h prime?
True
Suppose 4*h + 20 = -8. Let y = h + 13. Let m(v) = v**3 - 3*v**2 - 4*v - 5. Is m(y) composite?
False
Let l = -496 + 929. Let y = -75 - 195. Let c = y + l. Is c a prime number?
True
Let a(p) = 430*p**3 - 4*p**2 + 5*p - 1. Is a(2) prime?
True
Let f(c) = -c**2 + 17*c - 15. Let b be f(19). Let u = b + 150. Is u a prime number?
True
Let x(i) = 2*i**2 - 5*i - 7. Let h be x(5). Is (-257 + 2)*(-6)/h a composite number?
True
Let p(s) = s - 1. Let l be p(5). Suppose 4*h = 4*o - 0*h + 8, l*o - 2*h + 4 = 0. Suppose u - 31 = 5*g - o*g, u = -5*g + 31. Is u prime?
True
Let i(c) = 104*c**2 - 81*c - 47. Is i(12) a composite number?
True
Let d be 2908 - 3/(-9)*(-3 - -3). Let q = d - 759. Is q composite?
True
Suppose 131*a + 434995 = 186*a. Is a prime?
False
Suppose -29951 = 7*x - 80470. Is x a composite number?
True
Suppose 0 = -13*q + 8*q + 4775. Suppose 25*c - 30*c = -q. Is c prime?
True
Let o(s) = 36*s**2 - 14*s + 27. Is o(7) a composite number?
False
Let y(d) = -3*d**2 + 6*d - 1. Let t(q) = -3*q**2 + 6*q. Let f(c) = 3*t(c) - 4*y(c). Suppose -j - 5 = -2*j. Is f(j) composite?
True
Is ((-703)/4 - (-52)/(-13))*-8 a prime number?
False
Let y(r) = -155*r - 23. Suppose 3*l + l + 28 = z, -2*l + 4*z = 28. Is y(l) prime?
True
Let y = 3430 + -1807. Suppose -g + 4*g = y. Is g a prime number?
True
Let w = 3714 - -5377. Is w a prime number?
True
Let c(y) be the first derivative of y**3 + 8*y**2 + 11*y - 10. Is c(-15) prime?
False
Suppose 0 = -s - 2*q + 9, -s = 4*q - 6*q - 1. Suppose s*i = 4*h - 2*h - 628, 3*i - 963 = -3*h. Is h a composite number?
True
Suppose -5*s + 2*h - 4 - 6 = 0, -6 = 3*s - 3*h. Is (-3)/s*1902/9 a composite number?
False
Suppose -n - 14428 = -5*n. Suppose -3*y + 2165 = -0*y + 2*p, 3*p - n = -5*y. Is y prime?
True
Let u = 6787 + 11962. Is u composite?
False
Suppose 410 + 1230 = w. Suppose -l - r + 414 = 0, 4*l - 11 = -3*r + w. Is l a prime number?
True
Let h(o) = 9*o**3 - 14*o**2 - 33*o - 75. Is h(16) composite?
True
Suppose 0 = -m - 3*m + 32. Suppose 4*a = -m, 2*a = -3*k + 7 - 2. Is (0 + 1/k)*573 a composite number?
False
Suppose -l = -b - 904, l - 6*l + 3*b = -4524. Suppose -2964 = -3*h + 3*j - l, -3*h + j + 2052 = 0. Is h composite?
False
Let w = 2179 - 1085. Is w a prime number?
False
Suppose 9 = 2*y + 5*l - 5, 5*y - l = 35. Let w(s) = 10*s**2 + s**3 - 5 - 1 - y + 4 - 13*s. Is w(-8) a composite number?
False
Let o be (-4)/(-6) - (-8)/6. Suppose 2*t = -2*i + 36, 3*i = -t + 4*t + 36. Is (-7*o)/((-10)/i) prime?
False
Let k(p) = 6*p**2 + 4*p - 2. Suppose 0 = 7*g - 6*g + 2. Let m be k(g). Suppose 9*f + 1685 = m*f. Is f composite?
False
Let d(r) = 23 - 89*r - 115*r - 20*r. Is d(-4) prime?
True
Let r be 11 + (0 + 1)*-1. Let j be r/(-75) - 2/(-15). Suppose -3*u + 2*w + 609 = j, 4*w - 5*w + 3 = 0. Is u prime?
False
Let m(t) = 69*t**2 + 6*t + 4. Let y(x) = 70*x**2 + 5*x + 3. Let z(c) = -5*m(c) + 6*y(c). Is z(3) prime?
True
Suppose 0 = -i + 3*l, i = 5*i + l. Suppose i = -3*x - 3*x - 750. Is 2 - 2/(2/x) composite?
False
Suppose -3*d = -1892 - 5449. Is d prime?
True
Let y be (-4*3)/4*(-16)/12. Suppose 1477 = -3*p + y*p. Is p composite?
True
Suppose 36 = -0*o - 9*o. Let j(y) = -y**3 + 7*y**2 + 6*y + 7. Is j(o) composite?
True
Is -1*-10762*1*2/4 a prime number?
True
Is 2 + ((-68610)/(-25))/(2/5) a composite number?
False
Suppose 6 = -2*n + 5*s + 31, 2*n - 4 = -2*s. Suppose 4*y + j = 1274 - 6, n*y = -2*j + 1585. Is y prime?
True
Suppose 0 = 4*t + 5 - 25. Suppose -d + 3*d + 4210 = t*i, 5*d + 2545 = 3*i. Suppose -165 - i = -3*w. Is w a composite number?
True
Let a(w) = w**2 + 37*w + 144. Let p be a(-25). Let i be 2/7 + 88/(-14). Is p/(-9)*i/(-4) a composite number?
True
Let s(x) = 247*x**2 + 2*x + 2. Let m be s(-1). Let h be -3 - (m + -3 + 4). Is h*2*4/(-8) composite?
False
Let v(i) = 15 - 8 + i - 5. Let m be v(-8). Is 2930/15*m/(-4) prime?
True
Suppose -8 - 1 = 3*z. Let y(j) be the first derivative of -104*j**2 - j + 78. Is y(z) a prime number?
False
Let y = -3328 - -5975. Is y a composite number?
False
Suppose 24 = -3*l - l. Suppose 0 = -2*m + 4, v = -v + 3*m + 56. Let n = l + v. Is n composite?
True
Suppose -5*w + 142570 = f, 4*f = 4*w - 67756 - 46276. Is w a prime number?
True
Let j(s) be the third derivative of s**6/120 + s**5/15 - s**4/12 + s**3/6 + 11*s**2. Let n be j(-4). Suppose 3*v + 42 = n*v. Is v prime?
True
Let p = -1047 + 2590. Is p a composite number?
False
Let k(v) = -v**3 + 8*v**2 - 9*v + 4. Suppose -4*t = -0*t + 48. Let y = -6 - t. Is k(y) prime?
False
Suppose 3*o + 13 = -x, 5*o - 4*x = -2*x - 7. Let h be 4/(-6) - (-70)/o. Let j = 77 + h. Is j prime?
True
Let y(t) = t**3 - t**2 + t - 1. Let i be y(1). Suppose -2*d = -i*d + 4. Is d/(-6) - 4014/(-27) a prime number?
True
Is ((-2)/((-4)/(-1186)))/((-17)/119) a prime number?
False
Suppose -2*a + 234469 = -42*v + 43*v, -2*v - 351721 = -3*a. Is a composite?
True
Let m = -289 + 132. Let z = 97 + m. Let y = -29 - z. Is y prime?
True
Let t(l) = l**2 - l + 2150. Let w be t(0). Suppose -4*f - 449 - 1147 = 3*j, 4*j - 2*f = -w. Let k = -345 - j. Is k prime?
True
Is (-11)/1*(-210178)/418 a composite number?
False
Is 1/(6 + 1186749/(-197793)) prime?
True
Let l(r) be the third derivative of r**5/60 + r**4/3 - 7*r**3/6 + r**2. Let c be l(-9). Suppose -c*q - 27 = -5*q. Is q a prime number?
False
Suppose -2*h = 10 - 20. Suppose 27 = h*x + 7. Let g(c) = c**3 + 2*c**2 + 4*c + 3. Is g(x) composite?
True
Let c(t) = t**3 - 14*t**2 + 12*t + 17. Let i be c(13). Suppose 3*m - 5*m + 442 = i*n, 5*n + m - 554 = 0. Is n prime?
False
Suppose 0 = -k + 47 + 112. Suppose 5*a - k = -r, 3*r + 5*a - 525 = 2*a. Suppose 2*b = r - 13. Is b a composite number?
False
Is 3*1/(-2) - 14788/(-8) a composite number?
False
Let p = 15 - 25. Let y(v) = 2*v**3 - 6*v**2 + 8*v + 10. Let u(n) = -3*n**3 + 13*n**2 - 16*n - 21. Let s(o) = -3*u(o) - 5*y(o). Is s(p) prime?
False
Suppose 147 = -4*p + 7495. Is p prime?
False
Let q = -2096 + 5031. Is q a prime number?
False
Let c be (10 - 1) + (-5)/(-5). Let l = -5 + c. Suppose 0 = -l*x - 4*t + 385, 3*t = x - 5*x + 308. Is x composite?
True
Suppose 3 = 3*a - 6. Suppose -a*p + 7*p - 16 = 0. Suppose 0 = -p*n + 12 + 172. Is n composite?
True
Let p(o) = -2*o - 28. Let y(k) = -15*k - 225. Let n(z) = -25*p(z) + 3*y(z). Is n(18) composite?
True
Is 1 - (-3286)/10 - (-42)/(-70) a composite number?
True
Let s(i) = -11*i - 44. Let q be s(-4). Suppose -2*y - 3*j - 308 + 1701 =