mposite?
True
Suppose 0 = -5*t - c + 23915, 0 = -2*t - 5*c + 6048 + 3518. Is t a prime number?
True
Suppose 3*m = -5*z + 24143, 5*m - 4*z = -z + 40261. Is m a composite number?
True
Let x = 10985 - 6076. Is x a prime number?
True
Let x be ((-5)/(-15))/(3/3015). Let t = x - 156. Suppose 0 = 3*r + 2*z - 145, 2*z - t = -5*r + 60. Is r a prime number?
True
Suppose 4*p + 46 = 3*x, x + 2*p = -x + 40. Is 4/x - ((-28058)/9)/2 composite?
False
Let p(m) = m**3 + 45*m**2 + 46*m + 15. Is p(-22) a composite number?
True
Let i = 8585 + 9736. Suppose 0 = -6*m + i + 15657. Is m composite?
True
Let a(n) = -3*n - 12. Let u be a(-5). Suppose 114 = -u*j + 825. Is j a composite number?
True
Let c(m) = 2*m**2 + 13*m - 1. Let n be c(-7). Suppose n*l - 5499 = 567. Is l composite?
True
Suppose h = 6*h - 80. Let r be 6/4*h/(-6). Is (212 - 3) + 0/r composite?
True
Suppose -6*z = -32654 - 46864. Is z composite?
True
Let m be (8 + -3)*(-24)/(-10). Let q be 12/9*m/8. Is (-3 - -4)/(q/446) composite?
False
Let l be -2 + 7 - 12/6. Suppose -267 = -l*x + 9. Suppose x = 7*m - 3*m. Is m a composite number?
False
Let t(f) = -f**2 + 19*f. Let p be t(15). Let a = p + -1. Is a composite?
False
Let i(k) = -k + 6. Let r be i(6). Suppose r = -7*v + 3*v + 8. Is 4/v*(-446)/(-4) a prime number?
True
Let v be (-134)/12 - (-6)/36. Let i(t) = -t**3 - 9*t**2 - 11*t - 10. Is i(v) composite?
False
Suppose 3*a - s = 1191, 0 = -4*a + a - 5*s + 1191. Is a prime?
True
Let u = 382 - 45. Is u prime?
True
Suppose -64*q + 1766635 = q. Is q prime?
True
Is (-3)/4*2*3080/(-84) a composite number?
True
Suppose -4 + 0 = 2*d. Let c be (-13 + 4 - -3)/d. Suppose -522 = -9*h + c*h. Is h a composite number?
True
Suppose v = 2*j - 3*j + 14, -4*j - 19 = -v. Suppose -699 = 12*i - v*i. Is i a prime number?
True
Let c = 17 + -16. Suppose 4*u = 19 + c. Suppose u*y + 1348 = 9*y. Is y a composite number?
False
Let u(h) = -2*h - 8. Let g be u(-3). Let z be (-1 + 2)*(89 + g). Suppose 4*b = -z + 315. Is b a prime number?
False
Suppose 25*w - 6 = 24*w. Suppose -f + 520 = a, -2*f - 8 = -w. Is a a composite number?
False
Let y be (2 - 11)*12/(-9). Is 6/y + 8097/2 a composite number?
False
Suppose -4*t - 5*f + 12859 = 2267, 13285 = 5*t - 5*f. Is t a composite number?
True
Suppose -2*d + 5*v = 0, v + 4 = 5*d - 19. Suppose 3*k - d*y = 527, y = 5*k - y - 891. Is k a composite number?
False
Let f(g) be the second derivative of g**4/12 + 127*g**2/2 - 7*g. Is f(0) prime?
True
Let p = -9044 + 17193. Is p prime?
False
Let i(g) be the second derivative of -4*g**3/3 - 5*g**2/2 - 8*g. Let h be i(-6). Suppose h = -t + 184. Is t composite?
True
Is 41296/(-24)*3/(-2) composite?
True
Suppose 0 = -4*z - z - u + 15, -3*u + 1 = 4*z. Suppose -118 = z*q - 3234. Let c = -522 + q. Is c a prime number?
True
Let o(l) = l**3 + 7*l**2 - 2*l - 4. Suppose -2*r = -4*a + 3*r - 7, 3 = -3*a + 3*r. Let j be 5/(-10)*a + -6. Is o(j) prime?
False
Suppose 7*t = 21 - 0. Suppose 0 = -4*d + c + 1425, -t*c - 20 = c. Is d a composite number?
True
Let x be 6/4 + 3/(-6). Let y = x + -4. Let l(f) = -2*f**3 + 2*f**2 + 5*f + 2. Is l(y) a composite number?
False
Let m be (-26)/(-2) - 0/10. Let s = -83 - -301. Let k = s - m. Is k prime?
False
Suppose 4*p = 2*f - 54 + 808, -4*p = -5*f - 1915. Let g = 1444 - 2090. Let m = f - g. Is m composite?
True
Suppose 489 = 3*f - 6*f. Let w = -99 - f. Suppose w = 4*d - 4*a - 588, -a - 326 = -2*d. Is d a prime number?
True
Suppose 5*j - 4 = -2*q, 3*q + 1 + 6 = -j. Let p be 11*(j - (-19 - 2)). Is 3/(-6)*p*-2 prime?
False
Let j(c) = 2489*c**2 + 4*c + 19. Is j(-2) a composite number?
False
Let a = 4436 + 3905. Is a prime?
False
Let o be (425684/(-32))/(-7) + 9/(-24). Suppose 2*z - 3688 = 3*x, 4*z + x - 5462 = o. Is z prime?
False
Let k be (-23 + 1)/(2/(-46)). Suppose 0 = 2*y + 10, 3*y = t - 2*y - k. Is t composite?
True
Suppose 9 = l + 2*l. Suppose l - 15 = 3*w. Let i(u) = -8*u**3 + 2*u**2 + 7*u + 5. Is i(w) prime?
True
Let m = -5 - -10. Suppose -1757 = -3*l + 2*p, m*p = -l - 218 + 781. Is l a prime number?
False
Suppose 5*i - 4*v = -598, -184 = -5*i - v - 797. Let f be ((-28)/8 - -4) + (-69)/(-2). Let k = f - i. Is k composite?
False
Let t be (-100)/10 + (-6)/1. Suppose 0*z = -5*z + 5. Is ((-2552)/t)/(z/2) prime?
False
Suppose 0 = -2*j - 3 + 11. Let s(t) = -t - 9. Let o be s(j). Let k = -6 - o. Is k a composite number?
False
Suppose 0 = 5*t + 4*m + 3157, 0 = -3*t + 4*m - m - 1905. Let u = -1771 - t. Let h = -671 - u. Is h a composite number?
False
Let t(n) = 4*n - 17. Let o be t(8). Suppose -4*h + 2*h + 4*k = -930, 5*k = o. Is h composite?
True
Let q = 5 - 4. Is q/3 + -1 + (-18250)/(-6) a prime number?
True
Let m be (-12)/(-5) - 6/15. Let l be (-1 - (m - 2))*-2. Suppose 4*u = 3*y + 357, -177 = -l*u + 3*y - 2*y. Is u a prime number?
False
Let r = 15 + -12. Suppose 6 = r*l - m, l - 3*m = -l - 3. Suppose -4*n - l*k + 340 = 0, 0*n - 168 = -2*n - k. Is n composite?
True
Let q be 114/10 + 4/(-10). Suppose -q*f = -10*f - 141. Is f prime?
False
Let a(f) = 2*f**2 + 8*f + 1. Let n be a(-5). Let g(x) = 3*x**2 + 10*x - 19. Is g(n) a prime number?
False
Let y(s) = -4*s**3 - 94*s**2 + 30*s - 50. Is y(-34) composite?
True
Let i(h) = -h + 9. Let p be i(10). Let t be 3 + 4/p + 1. Suppose t*o - 763 = -3*x - 4*o, 4*x + 2*o = 1024. Is x composite?
False
Let t = 2062 + 6861. Is t prime?
True
Let t = -8 - -13. Suppose 5*o + t = 0, -2*o + 733 = r + 4*r. Suppose -r = -3*d - 0*d. Is d a composite number?
True
Let w(i) = 5*i**3 - 3*i - 3. Let u(p) = -4*p**3 + 2*p + 3. Let q(g) = -6*u(g) - 5*w(g). Suppose 5*r + 14 + 6 = 0. Is q(r) a prime number?
False
Suppose 22*w - 27726 = 69272. Is w prime?
True
Suppose -1393 = 3*c - 29626. Is c a prime number?
False
Let s = -39 + 196. Is s a composite number?
False
Suppose 6*f - 20 = 2*f + q, 0 = 2*f + 4*q + 8. Is (7973/(-34))/((-10)/f + 2) prime?
False
Let u = 73 - 63. Let g(s) = 13*s**2 + 9*s + 19. Is g(u) prime?
True
Suppose -x + 4*u = 6, -5*x + 4*u - 46 = -0*u. Let v(f) = -13*f + 12. Is v(x) a composite number?
True
Let y(d) be the first derivative of 2*d**3/3 + 6*d**2 - 5*d + 4. Is y(9) prime?
False
Let j = -705 - -58. Let o = j - -1020. Is o a composite number?
False
Let d be (83 + -3 - 0)*(-1136)/(-10). Suppose 4*j - d = 1228. Is j prime?
True
Let m be ((-14)/(-8))/(3/(-12)). Let b = m - -94. Is b composite?
True
Suppose a - 2*f = 2525, 3*a - 3*f - 8090 = -518. Let s = a - 1210. Is s a composite number?
True
Suppose -103*v = -94*v - 20637. Is v composite?
False
Let o = -8 - -11. Suppose -4*v + 1391 = -o*v. Is v a composite number?
True
Let k be 12/2 + (-3)/(-3). Suppose 844 = k*x - 199. Is x prime?
True
Let s(i) = 14*i**2 + 2*i + 3. Let c be s(3). Suppose 0 = -5*y + 254 + 1026. Let r = y - c. Is r a prime number?
False
Is (4/18)/2 + (-19227924)/(-3078) composite?
False
Let p(v) = -67*v - 7 + 7 + 604*v + 1. Let y be p(-2). Let j = y - -1792. Is j prime?
True
Suppose -110*o = -106*o - 194196. Is o a prime number?
False
Let p(x) be the first derivative of x**3/3 + 3*x**2/2 - 7*x + 13. Let j(i) = 8*i + 1. Let a be j(-1). Is p(a) composite?
True
Suppose 2*l + 31 - 33 = 0. Is l*(-2)/(-4) + (-39611)/(-22) composite?
False
Suppose -y + 50336 = c, -3*c + 2*y + 77619 = -73404. Is c composite?
True
Let t(j) = 7*j**2 - 32*j - 21. Is t(28) a composite number?
True
Suppose 18 = 3*l - 666. Suppose 4*a = l + 2776. Is a a prime number?
True
Suppose 4*p = 3*t + 11615, 3*p + 3*t - 5816 - 2890 = 0. Is p a composite number?
False
Suppose 0 = 51*i - 43*i - 134184. Is i composite?
True
Suppose 5086 = 2*w + 4*h, -4*h = -w + 4*w - 7621. Let i = w - -1058. Is i prime?
True
Let l = 21 - 18. Suppose -677 = l*b - 4*b. Is b composite?
False
Let d(y) = y**3 + 4*y**2 + 4. Let u be d(-4). Let w = -2 + u. Suppose -2*h - 3*m = -110, -6*m + w*m = 5*h - 275. Is h composite?
True
Suppose 0 = 2*b + 29 - 35. Let p = 203 + 9. Suppose p = b*g - g. Is g a composite number?
True
Let m be 9/15 + (-4)/(-10). Let o be m/((-3)/9*1). Let h = 64 - o. Is h prime?
True
Let i(t) = 50*t + 43. Is i(26) composite?
True
Let i = -7 - 9. Let r be (-102)/(((-30)/i)/5). Is -3*r/12 + -3 composite?
True
Is 125286/105 - 1/5 prime?
True
Suppose 5*r - 23 = 4*s + 6, s - 14 = -3*r. Suppose -399 + 82 = -2*m + 3*b, 2*m + r*b - 341 = 0. Is m composite?
False
Let i(u) = -u + 13. Let b be i