u(-9) a prime number?
True
Suppose 0 = -69*k + 23494661 - 12689852 + 19081092. Is k a composite number?
True
Suppose -6*k - 54166 = k. Let l = k + 11171. Is l prime?
True
Let q = 766950 + -239959. Is q a prime number?
False
Let l(g) = 38*g**2 - 7*g - 2. Let q(z) = z**2 + 8*z + 17. Let h be q(-4). Suppose -x = -v + 2, -5*x + v = h - 11. Is l(x) prime?
False
Let r be (32/(-56))/((-4)/14). Suppose -k = r*q - 10, 2*k - 3*k = q - 5. Suppose -q*m + 2583 = 4*m. Is m a composite number?
True
Let p(t) = 4*t**2 - 19*t - 51. Let l(f) = f**2 + f. Let i(m) = -3*l(m) + p(m). Let g be i(24). Is (-7*5/10)/(g/18) composite?
True
Is ((-217124)/8 - 3)/(8/(-80)) a composite number?
True
Suppose 0 = -10*c + 33 - 43. Let t(a) = -2362*a**3 - 3*a**2 - 2*a. Is t(c) composite?
True
Let y(m) = 139*m**2 - 31*m - 319. Is y(-16) a prime number?
False
Let o = -19436 + 44379. Is o composite?
False
Let a be (-3)/7 - (-289)/119. Suppose n - 42605 = -3*s, 2*s + s - 85204 = -a*n. Is n a composite number?
True
Is 26/2 - (-187631512)/193 composite?
False
Let s be ((-184)/(-20)*-1)/((-3)/1515). Let n be (748/(-6))/(18/(-135)). Let f = n + s. Is f a prime number?
True
Let s(p) = 8*p - 7 - 19*p**2 - 1 + 18*p**2. Let v be s(5). Is (-2)/v - 15930/(-42) composite?
False
Let a be 2 + (-11)/(11/16). Is ((-1852)/a)/(4/28) prime?
False
Let a(c) = 0*c**2 + c**3 - 186 + c**2 + 183 - 3*c**3. Let t be a(-2). Let j(q) = -q**3 + 18*q**2 - 12*q + 4. Is j(t) prime?
True
Suppose 2 + 4 = -2*b, 14306 = 5*p - 2*b. Suppose -4*v - 124 = -p. Suppose -u + v = k - 0*u, 0 = -3*k + 3*u + 2082. Is k a prime number?
False
Let o(f) = f + 1. Let g be o(-3). Let v(b) = b**2 - 3. Let a be v(g). Is (-1)/a - -8*25 a composite number?
False
Let p be (1 - 2/4) + (-489)/6. Let m = -7 - p. Is m composite?
True
Suppose -29*d - 13*d = -50922186. Is d prime?
True
Suppose 3*p + 1946 = 5*f + 15833, -2*p = -f - 2776. Is 32/4 - (f + 9) a composite number?
False
Let z(f) = 244*f**3 + 6*f - 1. Let j be (-9)/(-6)*-8*4/(-24). Is z(j) composite?
True
Is (-41180472)/(-45) + (-12)/20 composite?
True
Let u(z) = 44*z**2 + 30*z - 67. Let o be u(-17). Suppose 8*b = 94749 + o. Is b prime?
False
Suppose -92*v - 469*v + 15114474 = -17144709. Is v a composite number?
False
Let y = -82 - -78. Is (-1826)/y*(19 + -3)/8 composite?
True
Let u = 361 - 355. Suppose u*h = 17404 + 13022. Is h a composite number?
True
Suppose -25 = -13*p + 8*p. Suppose 4*m = 4*q + m - 1105, 2*q - 533 = -p*m. Is q a prime number?
False
Suppose 11*w - 12 = 5*w. Suppose y - 37 = z - 1433, -w*z = 3*y + 4198. Let q = 2869 + y. Is q a prime number?
True
Let y = 1217 - -3860. Let w = -3522 + y. Suppose -13*c = -18*c + w. Is c a prime number?
True
Let l = -247 - -238. Let f(w) = 500*w**2 - 63*w - 22. Is f(l) a prime number?
False
Let d = 261 + -261. Suppose -4*u + 3*h - 7*h + 25168 = 0, -5*u - h + 31448 = d. Is u prime?
False
Let b(x) = 2*x - 130*x**3 - x**2 + 1 - x**2 + 128*x**3. Let n be b(-2). Suppose 4*z = -n*h - 2248 + 6233, -3*z + 2391 = 3*h. Is h a prime number?
True
Let x = -228744 - -354557. Is x a prime number?
True
Suppose -p - 69780 = -5*q, p - 14617 + 655 = -q. Suppose 4*n - t - 18 = 0, 3*t + 7 = 13. Suppose n*l = 3078 + q. Is l a composite number?
False
Let b(q) = -145*q**2 + 6*q + 22. Let m(v) = -2*v**2 + v + 1. Let g(h) = -b(h) + m(h). Is g(-4) a prime number?
True
Suppose 11213592 = 196*s - 14940452. Is s prime?
True
Suppose -5*l + 0*l = -30. Suppose -4*o + l + 14 = 0. Suppose 4184 = o*c - 1011. Is c a composite number?
False
Let i(s) = -s**3 + 4*s**2 + 5*s - 5. Let f be i(4). Let z = 15 - f. Suppose 5*p - 25 = z, -j = 2*p - 6*p - 1067. Is j prime?
True
Let n = 34187 - 21586. Is n prime?
True
Let b be (-3 - 2 - -4)*1 - -5. Suppose -3*x + 38582 = b*c, 5*c - x + 27794 - 76031 = 0. Is c composite?
True
Let r(q) be the first derivative of 27*q**2/2 - 372*q - 37. Is r(19) a composite number?
True
Suppose 0 = -19*q + 17*q + q + 41794. Is q a prime number?
False
Let p(d) = -85*d**3 + d**2 + 3*d - 2. Let a be p(1). Let y = a - -85. Suppose 3*h - 874 = -y*j + j, 2*j - 1758 = -4*h. Is j a prime number?
False
Let a(p) = p**2 + 2*p + 10 - 30 + 18. Let i be a(1). Is (-94)/(i/((-335)/10)) prime?
False
Let i = -1428 + -133. Let b = -564 - i. Is b prime?
True
Let w be 1 - ((-24)/(-3))/2 - -2. Let r be (9/9)/((-1)/w)*9. Is (-1788)/r*-6 + -3 a composite number?
True
Let b be (162/(-6))/(3/(-4) + 0). Suppose -b = -2*m - 8. Let f(y) = 56*y + 5. Is f(m) a composite number?
True
Let o(g) = 3*g**2 + 47*g + 25. Let u(d) = -3*d**2 - 48*d - 25. Let i(a) = 5*o(a) + 4*u(a). Is i(21) a composite number?
False
Suppose -198780 = 16*b - 19*b. Suppose -3*f - 5*m + 10*m = -49711, 4*m = -4*f + b. Is f composite?
False
Let y = -45 - -58. Let n(k) = 54*k - 31 + 7 - y*k. Is n(7) a prime number?
True
Suppose -a = -n - 333, -5*n - 287 + 974 = 2*a. Suppose -7*k = -5*k + 3*v + 164, -4*k - 2*v - 336 = 0. Let u = k + a. Is u a composite number?
False
Suppose 0 = g - 19 + 17. Suppose -g*h - 2 + 6 = 0. Suppose 0 = h*v + 3*b + 2*b - 105, -b + 60 = v. Is v prime?
False
Suppose 5*u - 152764 = 5*j + 33931, 3*u + 4*j = 112003. Is u a prime number?
True
Suppose -281*f + 285*f + 1503236 = 4*d, -d - 2*f = -375833. Is d a composite number?
True
Let t = 38764 + -1497. Is t composite?
True
Let g(h) = -43*h**3 + 27*h**2 - 41*h - 446. Is g(-13) a composite number?
True
Is 13 - (16 + 278)*-11 a prime number?
False
Suppose 5*q + 7664957 = 25*q + 3*q. Is q a prime number?
False
Suppose -2*r = -3*x + 179951, -354*r - 15 = -357*r. Is x composite?
True
Suppose -48 + 63 = 5*f. Suppose 0 = 6*y - y - 5. Is 3 - f - -127*y composite?
False
Suppose 6*q + 30310 = 13*q. Let x = -2232 + q. Is x a composite number?
True
Let b(x) = -3*x**2 + 23*x + 23. Let c(g) = -g**2 + g - 1. Suppose -41 = -5*s + 4*a - 15, 0 = -s - a - 2. Let t(l) = s*c(l) - b(l). Is t(-13) prime?
False
Let r = 714 - 277. Let t = 2170 - r. Is t prime?
True
Let l = 64454 - -21699. Is l prime?
False
Suppose -3 = 4*j - 19. Suppose -4*m + j*q + 20 = 0, -4*m - 4*q = 8 + 12. Suppose 4*n - 3*n - 2269 = m. Is n prime?
True
Suppose 171*z + 4082035 = 19333354. Is z a prime number?
True
Let s = -292 + 300. Suppose 3*o - s*o = -2*v - 83009, 4*o = -2*v + 66418. Is o composite?
False
Let v(q) = 60*q**2 + 74*q + 73. Is v(-1) composite?
False
Let d = -212 - -101. Is ((-9166)/(-6))/((-37)/d) a prime number?
True
Let k be (-1 + 3)*7*7/49. Suppose -5 + 3 = -2*z, 0 = -4*v - k*z + 8670. Is v prime?
False
Let d(q) = -2*q - 42. Let l be d(-22). Suppose -l*m - 3*m - 45 = 0. Let r(h) = h**3 + 16*h**2 - 3*h - 7. Is r(m) prime?
True
Let a(i) be the first derivative of 43*i**2/2 - 5*i - 11. Let q be a(5). Is 28/q - (-28)/15 composite?
False
Suppose 8 = -2*z - 4*m, -4*z + 10*m = 6*m - 20. Suppose -5*r + z*l + 5333 = 0, 3*r - 4*l - 544 = 2653. Is r a composite number?
True
Suppose 3*q - 12 = 0, -w - 2*q + 1 = -2*w. Suppose -g + 2 + 3 = r, -g + w = 2*r. Suppose 647 = 2*z - 3*s, -6*s + s - 972 = -g*z. Is z a prime number?
False
Let q(k) = 3222*k + 1679. Is q(45) composite?
False
Let p(g) = 23*g - 12. Let v(s) = -70*s + 35. Suppose 5*n - 2*j = 0, -28 + 3 = 5*j. Let y(o) = n*v(o) - 7*p(o). Is y(-5) prime?
False
Let q be (-27)/(-3) + (3 - 2). Suppose -3*p - q = -8*p + 4*s, -4*s = -3*p + 14. Is (p + 2 - -2)*(-127)/(-2) composite?
False
Suppose 3*d - 75002 = -2*x, -40*x + 44*x - 49988 = -2*d. Let u = d - 17011. Is u prime?
True
Let d = -114 - -114. Suppose -5*t + h + 11660 = d, 1340 - 3648 = -t + 5*h. Is t a prime number?
True
Let b(g) = -g**2 + 2*g - 3. Let j be b(3). Let c(q) be the first derivative of -2*q**4 + 5*q**3/3 + 3*q**2/2 + 13*q - 1711. Is c(j) a composite number?
True
Let d = 187743 - -90694. Is d a prime number?
True
Let g(v) = 797*v**2 + 189*v + 131. Is g(-6) composite?
False
Let u be (-279510)/(-88) + ((-3)/(-4))/(-3). Suppose 5*p = -2*v + 3*p + u, -3*v + 3*p + 4740 = 0. Suppose -507 = 3*l - v. Is l composite?
False
Let w = -51135 - -241716. Is w prime?
False
Let y(x) = -13*x - 42. Let u be y(-5). Suppose 2*a = b + 3*b + 20, -u = 5*b - 3*a. Is (b - -5)*((-998)/4 + -2) a composite number?
False
Let t = -67533 + 147170. Is t a composite number?
True
Suppose 12*d = 10*d + 10488. Suppose -d = -5*t + 1616. Let y = 141 + t. Is y prime?
False
Suppose -g - 2*m = -9, -g + 3*m + 3 = -m. Supp