 prime number?
True
Is (-1152)/(-256)*((-97888)/(-6) + -2) a composite number?
True
Is 3*(-38092870)/(-990) - 2/(-33) a composite number?
True
Suppose 5*y + 485*c = 483*c + 283869, -5*y + 283863 = -c. Is y composite?
False
Let j(u) = -3*u - 24. Let h be j(-7). Let z(x) = -278*x**3 - 4*x**2 - 6*x - 3. Let y be z(h). Suppose 2*t + y = 5*t. Is t prime?
False
Suppose 5412 = -96*n + 102*n. Suppose 0 = -3*g + n - 149. Is g prime?
True
Suppose -g + 3*q - 2 = 0, -5*g + 3*q - 5 + 55 = 0. Is -1 - 0 - (g - 13171) a composite number?
True
Let b(n) = -48*n - 29. Let d(u) = 96*u + 57. Let o(h) = -5*b(h) - 2*d(h). Let m be o(-13). Let i = m - -990. Is i a composite number?
False
Let b(x) = 1075*x + 106. Let y be b(13). Let v = -7794 + y. Is v a prime number?
True
Let v be ((-2)/9 + (-22)/(-18))/1. Let m be (-13)/v*(-183)/(2 + -1). Suppose 2*q - m = -q. Is q prime?
False
Let d(s) = s**3 - 3*s**2 - 4*s + 5. Suppose -17*b = -20*b + 12. Let x be d(b). Suppose 2*p + 5*z = 120 + 387, p + x*z - 256 = 0. Is p composite?
False
Let y(l) = 30673*l**2 + 89*l - 93. Is y(-6) a prime number?
False
Let g(m) = 12*m - 61. Let y be g(5). Is (y*(-2714)/4)/((-68)/(-136)) a prime number?
False
Suppose t - 58 - 64 = 0. Suppose -t = -d + 734. Suppose f + 5*n = 1288, 0 = -4*f - 5*n + 4251 + d. Is f a composite number?
True
Suppose 2*s + 3*h - 54 = -9, 5*s - 3*h - 165 = 0. Let o be (-86)/s - 28/210. Is (6398/21)/((-1)/o) composite?
True
Let o(y) = -199*y - 1. Let n(w) = 222*w + 1. Let u(l) = -3*n(l) - 4*o(l). Let h = 14 - 8. Is u(h) composite?
True
Let o be ((-80)/8)/(-6 - -1). Let y = 4 + -2. Suppose -o*a = -3*j + 2092, -y*j + a + 2781 = 2*j. Is j composite?
True
Is (-299)/(-6279) - (-125012)/21 a prime number?
True
Suppose 3*p + y + 27845 = 3708, -32179 = 4*p + 5*y. Is (p/81)/((-3)/((-126)/(-4))) a prime number?
False
Let j(a) = -a**3 + 3*a**2 + 13*a + 14. Let m be j(6). Let y(u) = -71*u + 53. Is y(m) a composite number?
True
Is (6/(-9))/((-52)/99138) prime?
False
Let b(k) = 1518*k - 20. Let r be b(17). Suppose 2 = f, 6*f = -4*i + 11*f + r. Is i a composite number?
False
Suppose -l = -5*c - 0 - 3, 9 = 2*c + 3*l. Suppose 3*q - 15 = -c*q. Suppose 0 = 3*m - q*m + 230. Is m prime?
False
Let k(m) be the second derivative of -1/2*m**3 + 3/10*m**5 - 1/2*m**4 + 0 + 6*m - 2*m**2. Is k(5) composite?
True
Suppose -q = 5*f - 5693, -5*q = -f - 3*q + 1132. Let i(n) = 2542*n - 10. Let k be i(5). Suppose -6*t - f = -k. Is t composite?
True
Let p(t) = -t**3 + t**2 - t - 48. Let k be p(0). Let b = k - -59. Suppose -6*i - 1175 = -b*i. Is i a prime number?
False
Let d(p) = -10*p. Let n be d(0). Let m(k) = -2*k**3 - 2*k**2 + 3*k + 18217. Is m(n) composite?
False
Let f = 126204 - -139949. Is f prime?
True
Suppose 22756 = -q + 2*q + n, 3*n = -4*q + 91022. Is q + 2/3 + 63/27 a composite number?
True
Let f(a) = -38009*a - 1358. Is f(-9) prime?
True
Suppose t + 266498 + 74335 = 2*d, 4*d = -3*t + 681671. Is d a composite number?
True
Suppose 20 = -6*q + 8. Is 5/q*((-208744)/20 + 4) prime?
True
Let g(y) = 97*y**2 - 19*y + 12. Let i be g(4). Let q = i + 5726. Is q a composite number?
True
Let c(l) = -3*l**2 + 13*l - 9. Let t be c(3). Suppose 0 = -t*h - 687 + 5130. Is h a composite number?
False
Let f(m) = -m**3 + 7*m**2 - 14*m + 2. Let n be f(6). Let b = n - -46. Suppose -2*i = b, -q - 4*q + 16015 = -4*i. Is q a prime number?
True
Suppose -8*n = 13*n - n - 674540. Is n composite?
True
Suppose -8*g = 559749 - 2622941. Is g a prime number?
False
Suppose -f - 2*t + 32 = -0*f, -2*f - 5*t = -68. Let y(d) = d**3 - 25*d**2 + 23*d - 17. Let n be y(f). Let w = 162 + n. Is w composite?
True
Suppose -2*k - 8835 + 29027 = -5*p, -p + 10089 = k. Is k a composite number?
False
Is (10*7/140)/((-1630245)/407562 - -4) a prime number?
True
Suppose -18*k + 3*k + 900 = 0. Is (2371/(-2))/((-486)/k + 8) a prime number?
False
Suppose 15*x - 52023 = 14*x + 2*t, -2*t = 2*x - 104034. Is x a composite number?
True
Let a(i) = 228*i**3 - i**2 + 19*i - 10. Let z = 1017 - 1013. Is a(z) a prime number?
False
Let n(g) = -5099*g**3 - 13*g**2 - 30*g - 127. Is n(-4) a composite number?
True
Let a be (2 - 16) + 105/(-21). Is (-5)/15 - 350/15*a a prime number?
True
Suppose 272401 = q - 4*h, 5*h + 948329 = 5*q - 413676. Is q a composite number?
True
Let g(u) = 4*u**3 + 3*u**2 - 3*u + 4. Let f be g(3). Let t be 1/10 + (-533)/f. Is 3 - (2340/t + 1) a composite number?
False
Suppose 4*g + 3*d - 3032 = 2*g, 6084 = 4*g - 4*d. Let n = 5016 + g. Is n a composite number?
True
Let r(g) = 5*g + 61. Let d be r(-11). Suppose 14336 - 998 = d*w. Suppose -2*u = -1379 - w. Is u a prime number?
True
Let b be (756/(-16))/(-7) + 1/4. Suppose -14417 - 8032 = -b*r. Is r a composite number?
True
Suppose -139*m - 2*s + 28490 = -137*m, 4*m = -s + 56974. Is m a prime number?
True
Let z = 5871 - -4033. Let d = -5919 + z. Is d a composite number?
True
Let p(i) = -i + 13. Let s be p(-10). Suppose -82 = -7*d + s. Is ((-76)/(-12))/(1/d) a prime number?
False
Let r be (-410)/18 - 22/99. Suppose o + 3*u - 27 = 0, -o - 14 = -2*u - 56. Let h = r + o. Is h a composite number?
False
Suppose 3*o = 5*x - 135892, 81534 = 16*x - 13*x - 3*o. Is x composite?
False
Suppose -4*g + 5*s = -1627891, 1207954 + 12958 = 3*g - 5*s. Is g composite?
True
Suppose 0 = -y - 2*r, -3*y + 2 = -13*r + 18*r. Is (-2)/y*(9 + -4 - 7627) prime?
False
Let h(v) = 1097*v**3 - v - v**2 + 3 - 3 - 239*v**3. Let q be h(-1). Let k = q + 2051. Is k prime?
True
Let u(c) = c**3 + 16*c**2 + 18*c - 14. Let z be u(-15). Let k = 64 + z. Suppose 3*w - k*g + 10*g - 1746 = 0, -4*w = 2*g - 2342. Is w prime?
True
Suppose -3*i + 3129 = -2406. Let y = i - -2090. Is y prime?
False
Let g(r) be the second derivative of 304*r**3/3 - 41*r**2/2 + 57*r. Is g(6) prime?
True
Let i be (7/(-7) + (1 - 1))/1. Let g be 3*(9951/36 + i)*4. Suppose 8*c - 5*x - 8270 = 3*c, -2*c = -3*x - g. Is c a composite number?
False
Suppose 3*p = 9438 - 1140. Let y = p + -1663. Suppose -y - 973 = -4*s. Is s prime?
False
Let r = 505 + -1120. Let t = r - -1922. Let h = -720 + t. Is h composite?
False
Suppose 211594 = 5*h - 3*q, -75785 = -2*h + q + 8852. Is h prime?
False
Suppose -12*x = 13*x + 33*x - 709166. Is x prime?
True
Suppose -z + 3*d - 13 = 0, -4 = 2*z + 5*d - 22. Let i = 275 - 279. Is ((-92)/(-16))/((z/i)/1) a composite number?
False
Let a(s) = s**3 + s**2 + s + 4. Let v be a(0). Suppose 0 = 3*w, 3*r - 15 = -v*w + 9. Is (-10068)/r*(-6)/9 a prime number?
True
Let l = -12250 + 39260. Suppose 4*x - 7*g - 54008 = -8*g, -2*x - 2*g = -l. Is x prime?
False
Let t = 60 + -56. Let g be (6 - 5) + -1 + t. Suppose -r - 3453 = -g*r. Is r a composite number?
False
Let m(x) = 102*x + 21. Let i be m(11). Is ((-14)/(-6))/(3/i) a prime number?
False
Suppose -9*s + 2193616 = -5190281. Is s prime?
False
Is 2/((13/((-20258355)/10))/((-2)/6)) prime?
True
Let f(z) = 7*z + 26. Let x be f(-13). Let a = x - -72. Suppose -a*m = -9*m + 1030. Is m a composite number?
True
Suppose 1841*z = 1875*z - 210698. Is z composite?
False
Let z be 4/(2/((-1 - -5) + -5)). Let m(f) = 25*f - 3. Let w be m(-3). Is z/(-12)*-1 + (-2431)/w a composite number?
False
Let h(z) = 89*z**3 + 21*z**2 + 43*z - 728. Is h(15) a prime number?
True
Suppose 0 = -x - 2*d - 8, -6*x - d = -x + 13. Let y be (132/x)/(-1 - 72/(-73)). Suppose 10*j - 1512 - y = 0. Is j a prime number?
False
Let z = 105486 + 31319. Is z a prime number?
False
Let m be (-3 - (-27)/6)*-14 + 3. Let n(d) = -d**3 - 8*d**2 - 24*d - 31. Is n(m) prime?
False
Is 9 - (-6)/(-3)*-105299 a prime number?
False
Let x = 157 - 130. Suppose -18804 - 628251 = -x*y. Is y composite?
True
Suppose -5*h + 171222 = -5*w + 4502, -w = 5*h - 166708. Suppose -h = 218*d - 224*d. Is d prime?
True
Let m = 3 + -3. Let v = -754 - -756. Suppose -v*h + m*h = -5*n + 167, -2*n + 82 = 3*h. Is n composite?
True
Is 6/(-14) - (-95135040)/392 a prime number?
False
Let d(j) = 513*j**2 + 147*j + 41. Is d(-13) prime?
True
Suppose -4*i = 3*d - 256162, -72225 = -3*i + 3*d + 119928. Is i a composite number?
True
Suppose -50*z + 7553763 = -2950087. Is z a prime number?
False
Let i = -123 - -128. Suppose 3*b = i*b - 718. Is b composite?
False
Let j(t) = 14*t**2 + t - 23. Let z(h) = h**2 - h + 1. Let v(i) = j(i) + 6*z(i). Suppose y = -18*y + 114. Is v(y) prime?
True
Suppose 3*v + 3*v - 18 = 