 composite?
True
Suppose -13*d - 28 = -17*d. Suppose 55 + 50 = d*u. Let a = -6 + u. Is a a composite number?
True
Let m(b) = -85*b**3 - 37*b**2 - 50*b - 13. Let y(a) = 42*a**3 + 18*a**2 + 25*a + 7. Let f(w) = -3*m(w) - 5*y(w). Is f(9) a composite number?
True
Suppose 2498689 - 63549 = 20*s. Is s a prime number?
False
Let z(h) = 64*h**2 + 22*h - 23. Let i be z(1). Suppose -6458 - i = -k. Is k prime?
True
Suppose -23*j + 4418607 = -1260609 + 821593. Is j composite?
True
Let g = 17 - 15. Suppose -c - 370 = -2*c + 4*l, 1868 = 5*c - g*l. Suppose -c = -2*a + 1928. Is a a prime number?
True
Let p(v) = -122*v + 1721. Is p(-33) prime?
False
Is 2948919 + ((-2)/5 - (-1064)/(-1140))*3 a prime number?
False
Suppose 4*v - 4960 = 8*v. Let q = -659 - v. Is q composite?
True
Let s(t) = 70487*t**2 + 67*t - 351. Is s(5) prime?
False
Let u(k) = -6*k + 101. Let f be u(16). Suppose -f*l = -7*l + 22934. Is l a composite number?
False
Let u = -48 - -53. Suppose -7 = -u*t + 3*d + 6, t - 1 = d. Suppose -t*z - 1253 = -2*g - 146, 2*g - z - 1087 = 0. Is g prime?
True
Suppose 2*l + 7313 = -28015. Let x = 33325 + l. Is x composite?
False
Let l = 8016388 + -4666335. Is l composite?
True
Suppose o - 46742 = 5*w - 184442, -5*o - 27564 = -w. Is w prime?
True
Suppose -20*t + 2094607 = -2216653. Is t composite?
False
Let i(z) = -z**3 + 2*z**2 - 2. Let v be i(2). Let c be (-6*3/(-6) + v)*210. Let t = 337 - c. Is t prime?
True
Suppose -324*y = 1211578 - 49355710. Is y a composite number?
True
Let h = 320 + -300. Suppose -21*x + 14585 = -h*x. Is x composite?
True
Let d(m) = -2*m**2 + 8*m. Let r be d(4). Let q(y) = -3*y**3 + 3*y + 2. Let k be q(-1). Suppose r = k*a - 454 - 48. Is a prime?
True
Suppose 0 = 74*o + 34*o - 22590148 - 15632888. Is o composite?
False
Let x = 39577 - 17000. Is x composite?
True
Suppose -6*w + 4*w = -2*n + 55986, n + w - 28001 = 0. Is n a prime number?
True
Is ((-2)/((-2)/(-438797)))/((-38)/(7 - -31)) a prime number?
False
Suppose 285311 + 7429612 = 51*h. Is h prime?
True
Let w(b) = -1339*b + 31. Let f be w(3). Let i = 8973 + f. Is i composite?
False
Suppose -6*m - 360 = -42*m. Suppose -y - 15994 = -5*v + 4686, 0 = -2*y - m. Is v a prime number?
False
Suppose -2*j + 3*t = -17, 4*j + 4*t - 4 + 0 = 0. Suppose -j*a - 3840 = -14*a. Suppose -a = -5*m + 941. Is m composite?
True
Let s(a) = 65*a**2 + 9*a + 15. Let f(x) = x**2 - x. Let c(o) = 4*f(o) + s(o). Suppose -12*v = 4*v + 64. Is c(v) a prime number?
False
Is ((-238938)/(-30) + (-4 - -7))/((-4)/(-10)) a prime number?
True
Suppose -775215 = 34*z - 2644297. Is z a prime number?
True
Suppose -74*r + 9673680 - 1869862 = 0. Is r prime?
False
Suppose -3*h - 2812 = -7*h. Suppose -2*d + 462 = 2*p + 2*d, -4*d = 3*p - h. Let r = 90 + p. Is r a prime number?
True
Let i = -38 + 7. Let o = i - -36. Suppose g = 3*q - 1892, 0*q - o*g + 2529 = 4*q. Is q composite?
False
Let v be (-3)/(-3)*7/1 + 4. Suppose 97660 = v*k + 9*k. Is k prime?
False
Let n(p) = -p**3 + p**2 - 30*p + 157363. Is n(0) a prime number?
True
Suppose -13*f + 757 = -12*f. Let d = f - 455. Is d a composite number?
True
Let a(w) = 2*w + 3. Let f be 5*5/25 - 1. Let r be a(f). Suppose 0 = -m + 2*m + h - 576, -9 = -r*h. Is m a composite number?
True
Let u = 676 + -15. Let d be (-4)/(-6) + 4/(-6). Suppose -l + u + 994 = d. Is l prime?
False
Suppose -k = -0*k - 13. Suppose k*q = 11*q + 724. Suppose -q - 337 = -3*f. Is f composite?
False
Let q be -2741 - -1 - (2 + 2)/1. Let c = q - -4271. Is c a prime number?
False
Let s(a) = -77 - 90 - 399*a + 120*a + 34. Is s(-26) a prime number?
True
Let a(l) = l**3 - 11*l**2 - 17*l - 11. Let z be a(12). Let y = z - -51. Is 1712/(-20)*y/8 composite?
True
Let q = 10522 + -6667. Suppose -3*r + 4440 + q = 0. Suppose -5*n + r = -5*m, -2*n = 3*n - m - 2781. Is n a composite number?
False
Let z(i) = 583*i**2 + 2*i. Let p be z(-1). Let t = p + 596. Is t a composite number?
True
Let b(c) = -c**3 + 37*c**2 - 21*c + 95. Is b(22) a prime number?
False
Let v(b) = 3*b**2 + 37. Let x(d) = -d**2 + d. Let q(o) = -v(o) - 6*x(o). Is q(-42) a composite number?
False
Let h be (-11 + 1)*9/(-18). Suppose -10 + 20 = -h*u, 0 = -5*k + 4*u + 251203. Is k a prime number?
False
Let l(f) = 2*f**3 - 69*f**2 - 23*f - 337. Let p be l(50). Suppose 11*n - 136826 - p = 0. Is n prime?
False
Suppose 4*n = -3*w - n - 505, 2*w + 3*n + 336 = 0. Let q = -55 - 25. Let x = q - w. Is x a prime number?
False
Let y(c) be the second derivative of c**3/3 + 25*c**2/2 - 19*c. Let q be y(-6). Suppose -q*d + d = -3804. Is d prime?
True
Let z be 2*((-54)/(-4) + -1). Let w(d) = -62*d - 960. Let q be w(28). Is (q/20)/((-10)/z) a composite number?
False
Suppose -4*a + 284 = 5*h + 74, 4*a - 5*h = 190. Let d = 255 - a. Is d a composite number?
True
Let j = 296 + -289. Suppose -2*a = 3*p - 4078, -3*a + 4*p = -j*a + 8156. Is a a prime number?
True
Suppose -11371231 = -43*q + 7335360. Is q a composite number?
False
Let g = 102727 - 43376. Is g composite?
False
Let m(x) = x + 10. Let j be m(-7). Let q(f) = 21*f**2 + 2739*f - 18*f**2 + 20*f**3 - 2744*f + 1. Is q(j) prime?
False
Let b = -312 - -362. Let a = 117 - b. Is a composite?
False
Let a(l) = 6*l**2 - 39*l - 9 + 29*l - 4*l**2 + 40. Is a(15) composite?
False
Let j = -121543 - -219414. Is j prime?
True
Let g = -11651 - -21285. Suppose 1778 = -8*d + g. Is d prime?
False
Let p(i) = -i**2 + 12*i + 2. Let w be p(12). Suppose 1 + w = u. Suppose 7679 = 10*t - u*t. Is t composite?
False
Suppose -5*w - 467 = c, -w - c = -0*w + 95. Let l = 281 + w. Suppose -2024 - l = -4*d. Is d prime?
False
Let o be 40/(-90) + (-360)/(-81). Suppose -5*m + o*d = -64277, 0 = 17*d - 21*d - 12. Is m a composite number?
False
Suppose 3*f = 5*g + 77991, 91*f - 88*f - 77991 = -4*g. Is f composite?
False
Suppose -4*s + 2*r = -194242, 2*s - 32*r + 34*r = 97136. Is s prime?
True
Let u = -10 - -14. Let z be u/(-8)*(-380)/5. Is z/(-3)*1*(-15)/10 a composite number?
False
Suppose 3*b - 4*y - 39701 = 0, 4*y + 11 + 9 = 0. Is b a prime number?
False
Suppose 25*s - 23*s - 37*s = -16132795. Is s prime?
True
Let f(m) = 2*m**2 - 27*m + 16. Let x be f(13). Let a = 11076 - 7716. Suppose 2*d + x = -3, -a = -3*z + 5*d. Is z a composite number?
True
Suppose 6*t = 3*t - 12. Let d(h) = -45*h**3 - 3*h**2 + 4*h. Let u be d(t). Is 2/(-6) + u/6 composite?
True
Suppose 0 = 14*m + 69 + 113. Let t(w) = 43*w**2 + 16*w - 14. Is t(m) a composite number?
True
Let m(l) = 6*l + 6 - 5*l**3 - l**2 - 7*l + 6*l - 2*l**2. Let y be m(-5). Suppose 0*a - y = -9*a. Is a composite?
False
Suppose -2*w + 5*c = -514152, -25*w + 21*w + 1028254 = 15*c. Is w a composite number?
True
Suppose -602 = 2*i + 280. Let n = i + 1244. Is n a composite number?
True
Suppose -3*j = -2*t + 4*t - 163, -45 = -j + 4*t. Let d = 54 - j. Is (7029/(-36))/(d/(-4)) a composite number?
True
Let d be (16818/(-12))/(3/(-900)). Is (-2)/(-14) - (-23)/(805/d) a prime number?
False
Let a(o) = 10*o**3 - 207*o**2 - 6*o - 82. Is a(30) composite?
True
Suppose -1134*f + 1132*f = q - 981643, -5*q + 4908299 = -4*f. Is q a composite number?
True
Let c = -429 - -68. Suppose 3*a - 3*s - 2049 = 0, 54*a - 56*a + 1371 = -s. Let u = a + c. Is u prime?
False
Let a(o) be the second derivative of -17/2*o**3 + 0 + 3*o + 0*o**2. Is a(-1) a composite number?
True
Let i(m) = -24*m - 3. Suppose 7 = -2*z + 13. Let u(f) = 24*f + 4. Let w(l) = z*i(l) + 4*u(l). Is w(13) composite?
True
Suppose 8*x - 99163 + 5059 = 0. Is x/15*225/27 a prime number?
False
Let t(m) = 60899*m - 12917. Is t(6) prime?
False
Suppose 9*c + 228 = 47*c. Suppose v - c*q + 4*q = 28875, v - 4*q = 28871. Is v composite?
False
Let m be 4/2 + ((-1114410)/10)/(-11). Let v = m + -4286. Is v composite?
True
Suppose 0 = -c - 4*c + 9385. Suppose -4*m + 183 = -n + 2015, -7295 = -4*n + 5*m. Let r = n + c. Is r prime?
True
Let i = 10 - 6. Suppose -4*r - 20 = -7*u + 3*u, 0 = r + i*u - 5. Is 734 - (3 + (-5 - r)) composite?
False
Suppose z = 1, -3*p + 2*p + 5*z + 5497 = 0. Suppose p + 7878 = 12*u. Is u a prime number?
False
Let o = 17422 - 13829. Is o a composite number?
False
Suppose 4*o - 5*o = -3. Let w be (o/(-5) - -1) + 171/(-15). Let m(u) = -u**2 - 24*u + 35. Is m(w) prime?
False
Let p be 0 - -9 - (-15 - -19). Suppose -4*y = 4*l - 6996, 8777 = 5*y - p*l + 2*l. Is y a prime number?
True
Let c(j) = 43*j**3 