omposite number?
True
Let s(l) = l**3 - 3*l**2 - l + 5. Let m be s(4). Suppose -q - 5*d + m = 0, 5*d + 0*d = 4*q + 32. Let i = 149 + q. Is i a composite number?
True
Suppose -10 + 1 = -3*u. Let m(z) = -106*z - 57*z - 5 - u + 7. Is m(-6) composite?
False
Let u(q) = q + 13. Let l be 4/10 + (-215)/(-25). Is u(l) composite?
True
Suppose 4*h - 3*a - 31479 + 8670 = 0, h - 5706 = -3*a. Is h a composite number?
True
Suppose 0 = -a + 5*a - 16. Suppose 0*k + a*u = 2*k - 46, -2*u = 3*k - 53. Is k a prime number?
True
Suppose -4*q + 59596 = -3*r - 36072, 0 = -r. Is q prime?
True
Let u be (-2)/(-5) - (-13)/5. Suppose -k - 4*s = -u*k + 152, -5*k = -3*s - 373. Is k a composite number?
True
Let o(h) = h**3 + 12*h**2 - 2*h - 16. Let d(t) = -1 - t + 8*t**2 - 19*t**2 + 4 - 2. Let f be d(1). Is o(f) prime?
True
Let k be 22/(-4) + 5 + 4597/2. Let s = -1147 + k. Is s a composite number?
False
Suppose 3*m - 29 = -20. Suppose m*b = 196 + 311. Is b composite?
True
Is (1 + 3/(-6))/((-2)/(-98932)) composite?
False
Let q(a) = -a**3 + 8*a**2 + 4. Let g be q(8). Suppose 0 = 3*p - 3, 0*p - g = -4*o - 4*p. Suppose -3*c + 2*c + 295 = 2*u, o = -u - c + 146. Is u composite?
False
Let c = -27 - -40. Is (-1 + 2)/(c/1079) a composite number?
False
Suppose -5*j + 10 = -0. Suppose 2*p + p = -j*q, 3*q + 17 = 4*p. Suppose -3*w + 138 + 26 = -x, -116 = -2*w + p*x. Is w a prime number?
True
Let g be (1 - 2)*3 - -495. Is (-6)/(3*(-8)/g) prime?
False
Suppose -31*x + 32272 = -15*x. Is x a prime number?
True
Let a = 1880 - -5615. Is a a prime number?
False
Let x = -7062 - -15095. Is x prime?
False
Let h be 3/(-4) - 790515/(-20). Suppose 6*t - 7053 = h. Is t a prime number?
False
Suppose 15 = 5*p - 10. Suppose -4095 = -p*j - 5*n - 340, 2*j - 1487 = n. Is j a composite number?
True
Suppose -3*r - r + 4*y = 24, 3*r = -5*y - 18. Is (-1545)/(-2) - (-9)/r a prime number?
False
Let n = -36723 - -127018. Is n a composite number?
True
Suppose -9*o = 2*o - 1870. Let h = o - 59. Is h prime?
False
Suppose 0 = -0*o - 4*o - 396. Let b be 18/o - (-18440)/22. Suppose -4*a = 5*i - 430 - b, -2*i - 1585 = -5*a. Is a prime?
True
Let z(c) = 35*c**2 - 25*c - 17. Let d(g) = 18*g**2 - 13*g - 8. Let p(n) = -7*d(n) + 4*z(n). Is p(5) a composite number?
False
Let u = 5463 + -2768. Suppose -p = -u + 747. Suppose -4*v = -0*v - p. Is v a composite number?
False
Is 315212/((44 - 4)/10) prime?
True
Let r(l) = l - 4. Let g be r(-9). Let u be (1 + -1)/(14 + g). Suppose 0 = -q - y + 526, u*q = -2*q - 5*y + 1049. Is q a composite number?
True
Suppose -28*v + 30478 = -250558. Is v composite?
False
Let l = 2430 - 2399. Is l composite?
False
Let j(s) = 140157*s**2 - 9*s + 11. Is j(1) a prime number?
True
Is (3407 + 0)*(31 - 30) a prime number?
True
Let s(n) = -20*n**3 - n - 1. Let v be s(-1). Suppose -2*o + a + 3 = 0, -4*o - 3*a + 11 = -v. Suppose -o*f = -1652 - 24. Is f prime?
True
Is (-9)/12 + (-502328)/(-32) a prime number?
False
Let g(p) = 53*p - 17. Suppose v - 4*i - 4 = 6, 2 = 2*v + i. Let x be 7 + (-2 - (-6)/v). Is g(x) composite?
True
Let k(h) be the second derivative of -5*h**4/3 + 5*h**3/6 + 2*h**2 + h. Let l be k(4). Is (-1 - l) + 1 + -3 a composite number?
False
Let f be (-3441)/6 - (-3)/6. Suppose 1086 = 2*d - 5*d. Let t = d - f. Is t prime?
True
Let t(d) be the third derivative of d**4/24 - 85*d**3/2 + d**2. Let i(f) = -2*f + 509. Let n(q) = 4*i(q) + 7*t(q). Is n(0) prime?
True
Suppose -2*z - 3 - 1 = 0, 0 = -3*u + 4*z + 4157. Suppose -1500 = -2*c + 4*y, c - 754 = -0*c - 2*y. Let m = u - c. Is m a composite number?
False
Let w be -1 - (3 + -4 - -497). Let l = w - -929. Is 1/2*(-10 + l) a prime number?
True
Let d(k) = 2*k**3 + 8*k**2 - 2*k + 1. Let h(x) = -3*x**3 - 15*x**2 + 4*x - 2. Let c(r) = -5*d(r) - 3*h(r). Let y be (-20)/5 + (-2 - -9). Is c(y) composite?
False
Let n = -73 - -60. Is (-18)/(-117) + (-2741)/n composite?
False
Let b = -1693 - -2376. Let k = b - -223. Let u = 1471 - k. Is u a prime number?
False
Let g = -2062 + 3029. Is g prime?
True
Let m(j) = 4*j**3 + 6*j + 5. Let w be m(5). Let v = w - -55. Suppose 4*f = -f + v. Is f prime?
False
Let o be (3/9)/((-3)/(-45)). Suppose 30 = 5*s + 5*h, -2*s + 2 = -2*h + 6. Is ((-34)/o)/(s/(-10)) composite?
True
Suppose -5206 = -2*t - 0*t - 3*c, -3*t - 2*c + 7809 = 0. Is t composite?
True
Let b(i) be the first derivative of 6*i**3 + i - 3. Let r be (-1)/(-3) + (-16)/12. Is b(r) prime?
True
Suppose 0 = 3*x - 3*j - 24, -6*j = 4*x - 4*j - 20. Let k be 138/30 + x/(-10). Suppose -i = -k*i + 597. Is i a composite number?
False
Is (-4)/(-22) - ((-270064)/44 - 5) a composite number?
False
Let i be 137574/(-27) - (1/3)/(-1). Let z = i - -7428. Is z a composite number?
False
Suppose 2*y - 1706 = 5*g, 0*y - 3368 = -4*y - g. Is y prime?
False
Let r be 18/45 + 36/10. Suppose -k + 3*k = r. Suppose k*y = y + 1299. Is y a composite number?
True
Is 5*9127*(3 - 84/30) a composite number?
False
Suppose 0 = 60*f - 377964 - 968016. Is f a composite number?
False
Let r = -21 + 21. Let b(g) = -g**2 + 2*g - 4. Let j be b(r). Is j/(-6) + 976/12 composite?
True
Let d(f) = -f**2 + 1. Suppose -2 = n - 3*n. Let w be d(n). Suppose 2*m = -w*y - 5*y + 150, -3*m + 4*y + 271 = 0. Is m composite?
True
Let i = -5 + 10. Let z(b) = -7*b - 25. Let r be z(-4). Suppose 0 = -4*v + i*g + 696, 0 = -v + r*v - 5*g - 338. Is v a prime number?
True
Let i be 8/(-12) + 51/9. Let l(v) = -v**2 + 3*v + 12. Let c be l(i). Suppose 2*b + 5*m = b + 65, -c*b = -5*m - 190. Is b composite?
True
Let b(y) = 1039*y**2 + 3*y + 3. Is b(-2) a composite number?
False
Suppose -18782 = 3*n - 5*n. Is n composite?
False
Let a = -1789 + 19842. Is a composite?
True
Let d(f) = -f + 13. Let m be d(8). Suppose 0 = g + m - 2, 3*n = -g + 12. Suppose -4*i - 2*r + 152 = -0*i, -5*i + 195 = n*r. Is i composite?
False
Suppose -4 = -7*y - 88. Is (y/48)/((-2)/5048) prime?
True
Let h = -6 - 12. Let r be h*1*(-36)/(-4). Let b = r - -277. Is b a composite number?
True
Let i(o) = -o - 1. Let v(z) = -20*z - 14. Let f(m) = -12*i(m) + v(m). Let u be f(-4). Suppose u = w - 57. Is w prime?
False
Is ((-108344)/(-24) - -5)*(-3)/(-2) composite?
False
Suppose 0 = -12*d + 15*d - 12. Suppose 3*w + d*a + 6999 = 8*w, 3*a = w - 1402. Is w prime?
True
Let j = -3674 - -5605. Is j a composite number?
False
Let v(z) = z**3 - z**2 - 6*z - 65. Is v(22) composite?
False
Let f be (-1)/6 - (-3)/(16 - -2). Suppose 0*t + 469 = 3*t + 4*l, 4*l + 8 = f. Is t composite?
True
Let v be -3 - -7 - (-6)/(-2). Let r(u) = 1171*u. Is r(v) a prime number?
True
Let i be (-1)/(-3) + 452/12. Let l = -26 + i. Suppose l = 2*f - 626. Is f prime?
False
Let g be ((-4)/6)/(8/(-12)). Suppose 9 = 2*q - 5*d, -3*d + g = -q + 5. Let h(p) = 3*p**2 - 8*p - 4. Is h(q) prime?
False
Suppose -22 - 14 = -4*o. Is ((-4722)/o)/((-2)/3) a prime number?
True
Suppose 0 = -t - 3*h + 11981, -t + 9*h + 11985 = 13*h. Is t composite?
False
Suppose 9*m = 29*m - 58780. Is m prime?
True
Is 2 + (-2304570)/(-48) + 3/24 composite?
True
Let h = 87 + -87. Suppose -28*x + 27*x + 557 = h. Is x a composite number?
False
Suppose 56*a - 1213 = -149. Is a prime?
True
Suppose 3*k - z - 14 = 0, -4*z + 5 - 16 = 3*k. Suppose g - 1346 = -2*h - k*h, -2731 = -2*g + 3*h. Is g composite?
False
Suppose -21*i + 2996 = -14*i. Let h = i + 467. Is h prime?
False
Let t = 55 - -391. Is t a prime number?
False
Suppose 5306 = 7*a + 1197. Is a a composite number?
False
Suppose 14*t = -10*t + 135912. Is t composite?
True
Suppose 4*p + 17 - 5 = 0. Is (-186)/(-8) - p/(-12) a prime number?
True
Let f(n) be the first derivative of n**3 - 2*n**2 + 7*n - 3. Let c(g) = 2*g**2 - 21*g. Let j be c(11). Is f(j) a composite number?
True
Suppose -b - d = 2*d - 5564, -b - 4*d + 5569 = 0. Is b a prime number?
False
Let m(h) = -138 + 630 - 9*h + 1987. Is m(0) a prime number?
False
Suppose 101*p + 170364 = 113*p. Is p a composite number?
False
Suppose -13*x + 16*x = 16149. Suppose 4*i - x = -z, 3*i + 5*z - z = 4047. Is i a composite number?
True
Suppose 4*f - 2*i - 1180 = 0, 598 = 2*f + i - 0*i. Let s = 290 + f. Is s a prime number?
True
Let y(o) be the first derivative of -o**4/4 + 4*o**3/3 + 11*o**2/2 - o + 3. Let p be y(10). Let f = -330 - p. Is f a prime number?
False
Let s(m) = 47*m**2 + 8*m - 7. Is s(8) a prime number?
False
Let h = -31 + 36. Suppose 2763 = 3*i - 