et r = 310073 + -91494. Is r prime?
True
Suppose 4*m - 5*i - 2340787 = 5043149, 0 = 3*i + 12. Is m prime?
False
Let f(x) = 457*x**2 + 3*x - 11. Suppose 4*j + 8 = 8*j. Is f(j) composite?
False
Suppose 0 = 2*f + 5*z - 419038, -6*f - 209519 = -7*f - 4*z. Is f a composite number?
False
Let m(z) = 6*z**3 - 9*z**2 + 4. Let b be m(-6). Let i = b + 5727. Is i composite?
False
Is ((-4)/(-3))/((-540)/(-63349695)) prime?
True
Suppose 257*c - 1071955 = 252*c. Is c a composite number?
False
Is (43/28 - (-4)/(-14)) + 21385722/248 a composite number?
True
Let o(l) = -l - 5 + 526*l**2 - 18*l**3 - 12 - 525*l**2 - 92*l**3. Is o(-4) prime?
True
Suppose -5*z - 2*w = -698319, -5*z + 618015 = -w - 80283. Is z a prime number?
True
Let i(r) = -r**3 - 13*r**2 + 3*r - 45. Let x be i(-13). Is 24/x - 130358/(-14) a composite number?
False
Suppose -33 + 3 = -5*l. Suppose 0 = o + o + l. Let p(y) = -131*y - 20. Is p(o) a prime number?
True
Let s be (4 - 1) + (-2 - -3). Suppose -3*f - 26346 = -5*l - s*f, -2*l = 5*f - 10543. Is l a composite number?
True
Suppose -79*b + 11*b = 9*b - 5132666. Is b a composite number?
True
Let p be (-9)/(-2) + ((-14)/4)/7. Let r(d) = 114*d**2 + 2*d + 15. Is r(p) a prime number?
True
Let r = 135 + -132. Suppose -r*j + 0*b = 4*b - 12997, -2*j - 2*b = -8662. Is j prime?
True
Let u(z) = 1161*z**2 - 4*z + 1. Let d be 3 + (-8 - 56/(-8)). Is u(d) prime?
True
Let s be (-50)/(-4) - 1/2. Suppose 3*y - 11 = -5, y - s = -2*x. Suppose 0 = -0*c - c + 2*z + 213, x*c - 1058 = 3*z. Is c prime?
True
Let r(v) = -9*v - 15. Suppose -6*p - 410 = 4*p. Let o = p + 37. Is r(o) prime?
False
Let l(a) = 818*a**3 - 124*a**2 + 381*a - 6. Is l(3) a composite number?
True
Let k(y) be the first derivative of -y**4/2 + 5*y**3/3 + 5*y**2/2 - 35*y + 201. Is k(-16) prime?
False
Suppose 151094 + 137523 = 2*m + 53383. Is m a prime number?
True
Let w(y) = 22*y**3 + 33*y**2 - 23*y**3 + 51*y - 25 - 30. Is w(34) prime?
True
Let l(b) = b**2 - 4*b - 1. Let o be l(5). Is o - ((-1788)/18)/(8/852) a prime number?
False
Suppose -21*o + 151302 = -942609. Is o a prime number?
False
Let u be (-32 + 8)*1/(0 - 1). Is (8/u*-2)/(4/(-4614)) composite?
False
Let b(l) be the first derivative of 9*l**2 - 35*l + 42. Suppose 29 = -5*m + 84. Is b(m) a composite number?
False
Suppose -6 - 6 = -3*n. Suppose -15 = -5*j + 5*c, 0*c = -3*j - n*c + 2. Suppose 0 = p + 2*p - j*q - 1605, 2*q + 1072 = 2*p. Is p a prime number?
False
Let w(x) = x + 303. Let s(u) = 4*u + 1516. Let o(l) = -3*s(l) + 16*w(l). Let n be o(0). Let b = n + 331. Is b a prime number?
True
Let y be 7/(7/(-29)) - 6. Is 4/(-7) + (610280/y)/(-8) a composite number?
False
Suppose 2*f = -r - 2*r + 23951, -2*r + 2*f + 15974 = 0. Suppose -38*b + r = -33*b. Is b a prime number?
True
Let l(a) = 1313*a + 1. Let s be l(-1). Let r = s - -9497. Is r a prime number?
False
Let v be (22/33)/(1/3). Suppose 0 = f + v*q - 16551, 3*f = 3*q - 19812 + 69447. Is f composite?
False
Let u(n) = 3*n**3 - n**2 + 8*n - 10. Let p be u(2). Suppose 4118 = p*s - 27420. Is s a prime number?
True
Suppose 5*x + 3*y - 694270 = -5*x, 347135 = 5*x - 3*y. Is x a composite number?
False
Let h(b) = b**3 - 22*b**2 - 76*b + 27. Let p be h(25). Is p + 2257 + (0 - 1) a composite number?
True
Suppose 123*s - 3995311 - 29520150 + 4587460 = 0. Is s composite?
True
Let j(h) = 122*h**2 + 4*h + 119. Is j(-11) composite?
True
Let m be (1820/(-84))/(-1*1/915). Suppose m = 26*d - 14365. Is d a composite number?
True
Let k(t) = -3*t**3 + 3*t**2 - 3*t - 3. Let s be k(2). Let u = 21 + s. Suppose -l - 2*m + 157 + 54 = u, 2*l - 2*m = 422. Is l a composite number?
False
Let g be 18/81 + (-32)/(-18). Suppose -g*t - 5670 = -4*q, 5*t - 5705 = -4*q - 0*q. Let p = q + -649. Is p prime?
False
Let q(c) be the first derivative of -49*c**2/2 - 29*c + 15. Let j(h) = -h. Let l(k) = -j(k) + q(k). Is l(-11) a composite number?
False
Let w(s) = 144*s + 27. Let z be w(33). Let i = 9890 - z. Is i a composite number?
True
Let r = 551684 + -380421. Is r a composite number?
False
Is 110415*(-27)/(-12) + 3 - (-9)/36 a prime number?
False
Suppose 68*u - 70613850 = -43*u - 39*u. Is u prime?
False
Let d(x) = x**3 + x**2 + 2*x + 1. Let s(o) = -4*o**3 - o**2 - 33*o + 32. Let j(b) = -3*d(b) - s(b). Is j(24) a prime number?
False
Let a(f) be the first derivative of f**4/6 - 2*f**3 + 19*f**2/2 + 15*f + 3. Let z(l) be the first derivative of a(l). Is z(8) composite?
True
Let m = -3532 - -10311. Is m a composite number?
False
Suppose 68*p - 9 = 65*p. Suppose p*u - 3*q + 5*q - 119915 = 0, 3*u + q - 119914 = 0. Is u prime?
True
Suppose -2*j + 35 = j + 4*i, -4*i = -j - 15. Suppose -12 = -h - j*h. Is 734*h - ((-49)/(-7) + -4) a composite number?
True
Suppose -15*u + 73806 = -176769. Suppose u = 16*i - 7983. Is i composite?
False
Let d be (-3825)/(-51) + 3 + 10/(-2). Let s(a) = -315*a. Let b be s(-2). Suppose -c - d = -b. Is c a composite number?
False
Is 1/((-9 + 7)/(4 + -3 - 10379)) prime?
True
Let g(c) = 11633*c + 185. Is g(12) composite?
True
Let r = 9035 + -1426. Is r a prime number?
False
Suppose s + 3*s - 236 = 4*u, 153 = 3*s + 5*u. Suppose 2*m - s = -6*m. Is (6 - m) + 212/1 a prime number?
True
Let w be (0 - 93) + 3 - 2/(-2). Let d = 416 - w. Is d prime?
False
Let l(u) = 180*u**2 + u + 13. Let g(f) = -f**3 + 9*f**2 - 2*f + 15. Let k be g(9). Let i be l(k). Suppose -3*c - 2*c = -i. Is c a composite number?
True
Suppose -26 = 13*s + 52. Let r = 2218 - 1074. Is (s - -3 - -8) + r composite?
True
Let x(w) = 1 - 173*w**2 + 8 + 172*w**2 - 42 + 12*w**3 - 14 - w. Is x(6) a prime number?
True
Suppose -2*h + 11256 = 6*h. Suppose h = 10*f - 2783. Suppose -4*m + f = -4*l + 1131, -4*m + 899 = 5*l. Is l prime?
True
Let w(f) be the first derivative of -8*f**2 - 12*f - 3. Let j be w(8). Let l = 274 + j. Is l composite?
True
Let m(z) = -6*z + 18. Let n be m(3). Suppose n = 10*g - 7*g - 2640. Suppose -655 = -5*u + g. Is u composite?
False
Let h be (-3)/(5/((-20)/12)). Let p be (2 - (-4 + 2)) + (h - 2). Suppose -p*b - 5*k + 217 = 0, 0 = -0*k + k + 4. Is b a composite number?
False
Let f(m) = 108*m - 10. Let q(a) = 6*a + 33. Let g be q(-7). Let u be f(g). Let w = u + 2715. Is w a prime number?
True
Suppose 281*f - 29302915 - 5796277 = 33*f. Is f a composite number?
False
Suppose -4*h - 30*g = -32*g - 509502, g = -3*h + 382114. Is h a composite number?
False
Let y be 24/(72/(-6)) - (-2 + 0). Suppose -1790 = -3*q - o, -5*q - 4*o + 2981 = -y*q. Is q a composite number?
True
Let k(f) be the second derivative of 1/20*f**5 - 13/6*f**3 + 13*f - 1/4*f**4 - 5/2*f**2 + 0. Is k(10) a composite number?
True
Let f = -81 - -79. Let b be (-17470)/60 - -2*f/(-24). Is 35/(-25)*b + (-2)/5 a composite number?
True
Suppose 0*y - 177 = 3*y. Let j = y + 62. Suppose -5*u + 5497 = 3*v, -2*v = -7*u + j*u + 4380. Is u a prime number?
True
Let s = 7026 - 1478. Let n = -327 + s. Is n composite?
True
Let j be (-79 - 5)*4/6. Let k = j + 67. Suppose 332 = -7*z + k*z. Is z prime?
True
Let x(a) = -a**2 - 22*a + 21. Let j be x(-23). Let g(z) = -16*z - 1. Let q be g(j). Suppose q*l = 32*l - 967. Is l prime?
True
Let y(w) = 13*w - 43. Let t be y(10). Let p be t/(0/(-3) - (-2)/46). Suppose 2*g + g = p. Is g a composite number?
True
Is 91731 + 48/(-8) - 8 composite?
True
Suppose 6 = 70*p - 67*p. Suppose p*m + 3 = -7, -2*u = 4*m - 4328. Is u prime?
False
Let x(d) = -d**3 + 12*d**2 + 44*d + 20. Let s be x(15). Suppose g = -s*c + 2*g + 634, 0 = c + 2*g - 129. Is c prime?
True
Let b(l) = -l - 27. Let p be b(-26). Suppose -2*i + 2*y - 198 = -7*i, 2*y = i - 30. Is 19/i*(p - -711) composite?
True
Let w be (-7)/21*(-7260)/5. Let t = 649 + w. Is t a prime number?
False
Suppose 5*m = -2*l - 3*l + 28125, 2*m = -5*l + 11244. Is m a composite number?
True
Suppose t + 21*c = 22*c + 9780, 3*c = -t + 9784. Is t a composite number?
False
Let g be (-2 - (-3 - -2)) + 14 + -10. Suppose -22*j + 25*j - 31003 = -2*x, 3*j - g*x = 30978. Is j a prime number?
True
Let w = -293 + 280. Is w + 709 + 4 + 2/(-2) prime?
False
Suppose -3*k = 3*u + 2*k - 778539, 519026 = 2*u + 5*k. Is u a composite number?
True
Let a = 359 - 371. Is (-7766)/a - (-20)/(-120) prime?
True
Suppose 4*s + 768550 = 2*w, -39*w - 3*s = -37*w - 768571. Is w prime?
False
Let s(p) = 644*p - 693. Is s(16) a composite number?
True
Is (14 + -11)*(17