a composite number?
True
Let h = 128709 - 206100. Is h/(-12) + -7 + 27/4 composite?
False
Let h(f) = -27*f**3 + f**2 - 1. Let z be h(1). Let o be 4/(-2) - -3 - z/3. Is (-5)/o - 1545/(-6) composite?
False
Let s = 168 + -164. Suppose 4*a + m - 4301 = 4098, s*m - 6283 = -3*a. Is a composite?
True
Let j be (-4)/(-3) - 76/(-114). Suppose j*b - w - 14410 = -2*w, 21625 = 3*b - w. Is b composite?
False
Let d = 231289 + -87578. Is d prime?
True
Let w = -2673 - -30080. Is w a prime number?
True
Let y be (66/176)/((-1)/(-8)). Suppose -12*b = -y*b - 14427. Is b a composite number?
True
Let a be (16/3)/(3 + 40/(-12)). Is (2/a*284)/((-1)/326) a prime number?
False
Let w = -256 + 259. Suppose -3*m = -4*m + w, -8647 = -4*a - m. Is a a composite number?
False
Let x(h) = 374*h**2 - h. Let t be 1 - (0*1/6)/2. Is x(t) a composite number?
False
Let r = 1148 + -532. Let v = 2956 + -1501. Let q = v - r. Is q a composite number?
False
Suppose 3*s = 5*p + 365164, -s - 4*s + 608594 = -2*p. Is s composite?
True
Let b(l) = -l**3 - 40*l**2 + 40*l + 317. Is b(-64) composite?
True
Let v be (-2 - -3)/((-10)/(-6))*5. Suppose -6*s + v*g = -3*s + 54, -5*s = 5*g + 90. Is (-662 - 0)*s/36 a prime number?
True
Suppose 340*t = 312*t + 5454428. Is t prime?
False
Is (-36)/4 - -15 - 82627/(-1) composite?
False
Let j(z) = 6336*z**3 + 10*z**2 + 17*z - 48. Is j(2) a prime number?
False
Let w(s) = -371*s + 21. Let c be w(-15). Suppose n - c = -n. Suppose -2*a - 1451 = -3*j, 5*j - n + 380 = 2*a. Is j prime?
False
Suppose -4*j + 17388 = -4*d, -2*j + 30036 - 8292 = -5*d. Let z = d + 10087. Is z a composite number?
False
Let l(n) = 4*n**2 - 9*n + 1. Let r be l(11). Let p = r + 453. Is p prime?
True
Is 116/406 - (-2154717)/7 composite?
False
Suppose -i + 5 = -p - 0*p, 0 = -4*i + 20. Suppose -12 = -2*d - p*d. Is 226 - (d + -4 + 1) prime?
True
Suppose -3*n = -4*u, -2*u + u = 3*n. Suppose n = 4*y + c + 1902, y = 2*y - 3*c + 469. Let x = -264 - y. Is x composite?
False
Suppose 0 = -4*m - s - 52, 0 = -5*m + 3*s - 41 - 24. Is (m/(-39))/((-2)/(-17382)) prime?
True
Let t(h) = 2070*h**2 - 68*h - 347. Is t(-6) composite?
True
Suppose -2*u - 4*b - 16 = u, -4 = b. Let s(c) = -c**3 + 42. Let v be s(u). Suppose v*a = 46*a - 4444. Is a prime?
False
Suppose -766*p = -755*p - 2033686 - 103977. Is p prime?
False
Suppose 706 + 94 = 20*w. Is 1/4 + (-2)/(w/(-90255)) composite?
False
Is 32867/1 - 4298/(-307) composite?
True
Let t(h) = -h**3 - 16*h**2 - 7*h - 108. Let x be t(-16). Suppose x*d - u = 12889, 5*u + 16100 = -d + 6*d. Is d prime?
False
Suppose -205 = -11*x - 172. Is ((-3)/18*x)/((-4)/154216) composite?
True
Suppose -85*l - 20 = -95*l. Suppose -i = 5*d - l*d - 31770, -3*i + 31776 = 3*d. Is d composite?
False
Let j = 50785 - -158552. Is j a prime number?
False
Let i = 1089 - 739. Is (-10)/(i/(-15)) + (-5300)/(-14) composite?
False
Let a = 4007 - -3369. Suppose -3*j + a = 4*w, 4*w = w + 4*j + 5557. Is w prime?
True
Let y be -1987 - (-28)/(21/3). Let a = 598 - y. Is a composite?
True
Let a be ((-2)/25*-15)/(2/5). Suppose a*y + 4*q - 22 = 0, 5*y - 3*q - 35 = -8*q. Is 2/y*(2 + (-6267)/(-3)) a prime number?
False
Let q be (-74 + 9)/(-5)*-3. Suppose 0*x - 5*w = 4*x + 4188, 2*x + 5*w + 2104 = 0. Let n = q - x. Is n a prime number?
False
Suppose 66295 = 5*u - s, -64*s + 53036 = 4*u - 61*s. Is u a prime number?
True
Suppose -4*f + 2*k = -k - 1, 0 = 4*f - 4*k. Let i(u) = 135*u - 2. Let a be i(f). Let s = 275 - a. Is s a prime number?
False
Suppose -22*d = 24*d - 15*d - 24624881. Is d prime?
False
Let o(l) = l**2 + 15*l - 9. Let q be o(-16). Suppose -12*p = -q*p + 95. Let d = p + 180. Is d composite?
True
Suppose 942953 = 55*m - 575652. Is m a composite number?
False
Suppose 715507 - 60501 = 38*z. Is z prime?
False
Let m(y) = -32*y**3 + 2*y**2 - 20*y - 43. Is m(-22) composite?
False
Let l(b) = b**2 + 18*b + 13. Suppose 23*h + 119 = 16*h. Let d be l(h). Is 532/70*(-10)/d prime?
True
Let z = 1595 - 1031. Let m = 222 + z. Is (m/(-5)*1)/(84/(-210)) a prime number?
False
Suppose 5*l = 668160 + 84205. Is l a composite number?
False
Let t(y) = -y**2 + 4*y + 65. Let a be t(9). Suppose 13*x - a*x + 20993 = 0. Is x prime?
True
Suppose -k - 28 = -8*k. Suppose -7 = -k*z + 37. Suppose -z*q - 1550 + 16059 = 0. Is q a composite number?
False
Is (-18)/27*(-37340025)/50 a composite number?
False
Suppose -5*h + 36 - 56 = 0, -h - 10845 = -w. Is w prime?
False
Is -2 + (-5)/((-60)/197028) a prime number?
True
Is (-66302 - -1)*(24/(-54) - (-15)/(-27)) a prime number?
True
Suppose 2*w + 5*p + 314 = 0, -5*w + 2*p - 944 = -217. Is ((-388)/6)/(2 - (-308)/w) a composite number?
True
Let s(w) = 74*w**2 + 8*w - 1. Let l = -5 - -1. Is s(l) composite?
False
Let a = 235225 + 934252. Is a prime?
True
Suppose -4*h + 4*h = 4*h. Suppose -q + 1032 + 810 = h. Suppose q = 3*y - p, y + 5*p = -0*y + 598. Is y prime?
True
Is (-149)/(-745)*(-2436690)/(1 + -3) prime?
False
Is (-4)/(10/681645*-6) a prime number?
False
Let o be (2 + 58730/(-6))/((-5)/15). Suppose -g - o = -12*g. Is g a composite number?
True
Let r(m) = 2*m**3 + 7*m**2 + 8*m - 16. Let h(y) = -y**3 - 5*y**2 - 4*y + 5. Let u(f) = -f - 7. Let c be u(-3). Let q be h(c). Is r(q) prime?
True
Let i(g) = -12*g + 101. Let h be i(8). Suppose -5*s = -3*z - 1564, 1549 = h*s - 7*z + 9*z. Is s a composite number?
False
Let u be 2/(5 - 533091/106617). Let d = u + 51184. Suppose -d = -8*z - 3349. Is z a prime number?
False
Let i = 100057 - 59840. Is i a composite number?
True
Let g(b) = 1466*b**3 - 6*b**2 + 67*b + 32. Is g(7) composite?
True
Suppose 2*d = -10*d + 429060. Let f = d - 24138. Is f a prime number?
True
Suppose 5*v = -j + 55 + 32, -3*v + 60 = -2*j. Let n be 310/18 + 10/(-45). Suppose -993 = -v*p + n*p. Is p a prime number?
False
Suppose 5*g + 4*i - 2 = 30, 6 = 3*g - 2*i. Suppose -y - 4250 = -3*y - 3*t, 8 = g*t. Suppose 356 = -w + y. Is w prime?
False
Let n(c) = 402*c**3 + 6*c**2 - 17*c - 43. Let w(p) = 201*p**3 + 3*p**2 - 9*p - 22. Let h(z) = 3*n(z) - 7*w(z). Is h(-3) prime?
False
Let c(b) = b**2 - 4*b - 7. Let l be c(6). Let f(n) = -31*n**2 + 7*n + 4 - 6*n + 143*n**2 - 6*n. Is f(l) a composite number?
True
Let x(n) = -n**3 - 2*n**2 + n + 5. Let f be x(0). Suppose 3*y - 765 = l - 2453, 2*l = -f*y + 3431. Is l prime?
False
Suppose -k - 3*r = -419 - 2066, 4*k = 2*r + 9940. Suppose 3*z - 4*f + k = 0, 5*z = 2*f - 3197 - 940. Let o = z + 1249. Is o prime?
False
Let q(j) = 46*j**3 + 2*j**2 - 2*j. Let i(z) = -z + 1. Let b be i(0). Let s be q(b). Let h = 49 - s. Is h a composite number?
False
Let o(b) = -10*b**3 - b**2 - 2*b - 503. Let z be o(0). Let i be (-5008)/6*3/(-2). Let y = z + i. Is y prime?
False
Is (3 + 9/(-6))*5390984/228 a composite number?
True
Let u = -381927 - -795748. Is u prime?
False
Let k(f) = -1391943*f - 208. Is k(-1) composite?
True
Let s(y) = -9862*y + 79. Let z be s(-9). Let d = z - 62006. Is d prime?
False
Let r(c) = 37*c**2 - 4*c + 3. Suppose 22*q = 26*q + 12. Let f be 2 + (-4 + 4)/q. Is r(f) a prime number?
False
Suppose 4*o + 10 = -o. Let c(q) = 13*q + 119. Let y be c(-9). Is (-167)/o*(2 + 18)/y composite?
True
Let r(l) = -l**3 - 21*l**2 - 18*l + 46. Let g be r(-20). Is 1 - (-30)/g - -873 composite?
True
Suppose -4*b + 97885 = -4*a + 527017, 3*a = 4*b + 321851. Is a prime?
False
Suppose u = t + 1 - 0, -5 = -3*t - 5*u. Let r be ((-2)/(-3))/(2/12). Suppose t = -5*w + r*w + 791. Is w prime?
False
Let d be 2/(-7) + (-23740)/14. Let z = 433 - d. Is z a composite number?
False
Let l = 388 + -244. Let w = -139 + l. Suppose q = 5*j + 3153 - 14041, -j - w*q = -2162. Is j a composite number?
True
Suppose 2*i = 2*o + 30, 2*o - i + 5*i = -12. Let p be (-178871)/28 - 1/(-4). Is (-4)/(-6) + p/o prime?
False
Suppose 21*l + 12*l - 132 = 0. Let y(q) = 135*q**3 + 9*q - 13. Is y(l) prime?
True
Let w = 259450 - 132297. Is w a composite number?
True
Suppose -4*b - b = -10, 0 = -5*i + 4*b - 3. Let j be (i/((-2)/(-11)))/(1/2). Suppose 16*t = j*t + 3205. Is t prime?
True
Let y(w) = 1271*w**2 - 243*w - 1695. Is y(-7) prime?
False
Suppose -6450892 = -51*v + 515890 + 417559. Is v composite?
False
Suppose 9 = 4*y + 1. Let i(p) = -7 + 6*p**2 + 3*p**2 + 8*p**y - 4*p - 12*p**2. Is i(6) composite?
False
Suppose 11*n - 4*n = 56. Let f(c) be the third derivative of c**6/120 - c**5/20 + c**4/6 - 17*c**3/6 + 60*c