 j a composite number?
True
Let k = 23938 + -23945. Let s(r) = 3*r**3 - 3*r**2 - 16*r - 17. Let u(o) = 7*o**3 - 5*o**2 - 32*o - 34. Let z(x) = -5*s(x) + 2*u(x). Is z(k) composite?
True
Suppose 22*j - 111632 - 49386 = 0. Is j a prime number?
False
Let y = 446 + -445. Is y + 1138 - (2 - 5 - -1) composite?
True
Suppose 3*y + 9 + 13 = 2*o, -5*y = 5*o - 30. Let v(t) = -32*t - o*t - 15 - 55*t - 3. Is v(-5) composite?
False
Let n(l) = -l**2 - 8*l - 1. Let k be n(-5). Is (990/8 - 1)/(k/56) prime?
True
Suppose 18*v = -9*x + 23*v + 9889686, -5*x = 2*v - 5494313. Is x a prime number?
False
Let m = 7489 - 5299. Suppose -4*w + 3642 + m = 0. Suppose -x + 1996 + w = 3*f, -3*x = 4*f - 4607. Is f composite?
False
Suppose 63553 = m + 2*o, 2*o - 4*o + 127094 = 2*m. Is m composite?
False
Suppose 0 = -5*b - 4*x - 31, 0 = -4*b - b + 3*x - 3. Let r be b/(-15) - 0 - 56/(-20). Is r/2*(1 - 1146/(-18)) a composite number?
False
Let j = -236 - -238. Let l(s) = 38*s**2 + s + 5. Is l(j) a prime number?
False
Suppose 0 = 3*n + 1312 + 6212. Let v = 785 - n. Is v composite?
True
Let l = -482 - -2501. Suppose 5*b - 15720 = 5*d, -2*d + 14625 - l = 4*b. Is b prime?
False
Suppose u + 5*p = -16, -3*p - 12 - 16 = -4*u. Suppose 3800 = -u*q + 9*q. Let w = q + -461. Is w a prime number?
False
Is ((-332)/(-5))/((-3)/(-1415)) + 3/9 a prime number?
True
Is 7 + (-160699 - -1)/(6 - 56/8) prime?
False
Suppose -105 = 773*a - 758*a. Let v(b) = 0 - 2 - 48*b + 1. Is v(a) prime?
False
Suppose -319*f + 13792287 = -302*f. Is f a composite number?
True
Is (19 + -31 - (-1 + 2)) + 757190 prime?
False
Let y = -397 - -403. Suppose -4*i = -3*g - 30908, -y*i + 4*g + 23181 = -3*i. Is i prime?
True
Let d = 3642 + -2347. Suppose 0 = -3*k + k. Suppose k = 74*a - 69*a - d. Is a composite?
True
Let m = 50 - 44. Suppose -2187 = -3*a + 5*v, -m*a + 10*a = 3*v + 2905. Suppose a + 199 = u. Is u a composite number?
True
Suppose -7*m = -11*m. Suppose i + 38 - 734 = m. Suppose -15*x = -7*x - i. Is x a prime number?
False
Let t be ((-4)/(-6))/(2/3 + 0). Let g(q) = 1375*q - 4. Is g(t) a prime number?
False
Let h(w) = -3*w**2 + 337*w + 338. Let l be h(-1). Let d = 1 + 0. Is (1 + d - (-746)/l)*-1 composite?
True
Let k = -1198356 - -2002945. Is k a prime number?
True
Is (1*(-16)/(-24))/((-26)/(-15660489)) prime?
True
Let h(u) = 3726*u - 12. Let t be h(7). Suppose 44823 = 9*k - t. Let v = k + -5262. Is v a composite number?
True
Suppose 0 = 9*y + 8360 - 1763. Let a = 2795 + y. Is a a composite number?
True
Let i be ((-7)/2 - -3)*(5 - 10611). Let m = i - 3072. Is m composite?
True
Let u(l) = -l**2 - 9*l - 1. Let a be u(-8). Suppose -2*k = -h - 1167, -2*k + 4*h = -a*k + 2950. Is k a prime number?
False
Let o be 50/(-1500)*-12 + ((-152)/10)/(-2). Let t = -1011 + 3354. Suppose 3*j + o*j - t = 0. Is j composite?
True
Suppose 4953*m - 2104207 = 4946*m. Is m prime?
False
Let s = -700 - -986. Suppose -54 + s = -4*g. Let t = 153 - g. Is t composite?
False
Suppose 100 = -2*f - 1082. Let m = f + 1002. Is m a composite number?
True
Let i(r) = -2*r**3 - 14*r**2 - 4*r + 19. Let h(o) = 13*o + 31. Let m be h(-6). Let p = -61 - m. Is i(p) prime?
True
Suppose -396623782 - 132340133 = -435*f. Is f a prime number?
True
Let m(f) = 707*f + 3. Let y be m(3). Let c = 3523 - y. Is c a composite number?
False
Let c be 4/10 - ((-24)/10)/4. Let l(f) = -12*f**2 + 3*f**3 - 5 + 13*f + 1 - c. Is l(7) a prime number?
False
Let u be (175/20)/((-4)/(-9) + 59780/(-135072)). Let i = 20739 + -14628. Suppose 0 = 7*a - u - i. Is a prime?
True
Let a(t) = -3*t**2 + 2*t + 4. Let n be a(0). Suppose -4*u = -0*c + 3*c - 64189, 106972 = 5*c - 3*u. Is c/20 - (1 - 1/n) composite?
False
Suppose -21200 = 10*m + 6*m. Let n = m + 3906. Is n prime?
False
Let b(s) be the third derivative of -s**4/24 + 1973*s**3/2 - 26*s**2. Let v be b(0). Suppose 2*m + m - v = 0. Is m a composite number?
False
Let p be -3 - 1*(-2)/4*22. Let q be ((-141)/(-4))/(3/p). Suppose 3*t - 5*f = q, -t = t - 3*f - 63. Is t a prime number?
False
Let s = -53 + 53. Suppose -2*a + 3*a - 4*o - 881 = s, -5*a + 4465 = -5*o. Let m = a - 560. Is m a composite number?
False
Suppose -6 - 1 = -5*b + 2*j, 0 = 3*b - 5*j - 8. Suppose 2*m - b = -3. Is (-11460)/(-10) - 1/m a composite number?
True
Let v(g) = -g**3 + 2*g + 2. Let a be v(2). Let k(c) = 150*c**3 + 7*c**2. Let z(m) = -151*m**3 - 6*m**2 + m + 1. Let x(r) = a*k(r) - 3*z(r). Is x(2) prime?
True
Suppose -4*p - 2*z + 83388 = -6490, 5*p + z = 112346. Is p a composite number?
False
Let g(t) = 4512*t**2 + 212*t - 625. Is g(3) a prime number?
False
Let j be -4 + (6 + 18549 - -1). Suppose -s - f = -6*s + 23183, -4*s + j = 2*f. Is s composite?
False
Suppose j - 15 = 4*j. Let k(t) be the first derivative of -t**4/2 - 7*t**3/3 + 3*t**2/2 + 7*t + 815. Is k(j) a prime number?
True
Let v(p) = -57*p**3 + 5*p**2 + 6*p + 5. Let b = 25 + -23. Suppose -b = -3*u + 2*u + 5*m, -2*u = 4*m + 10. Is v(u) composite?
False
Let y(q) = -493*q**2 + 2*q - 7. Let i(w) = -987*w**2 + 4*w - 14. Let p(d) = 4*i(d) - 9*y(d). Let l be p(-4). Let u = 11432 - l. Is u a prime number?
True
Let h(w) = 5*w**2 - 13*w + 5*w**2 - w**3 - 15 - 6*w + 12*w**2. Let r = -842 + 855. Is h(r) a prime number?
True
Let f be (-60)/25*(-145)/(-2). Let h be (-2)/(-1*(-1)/f). Suppose -43 = -i + h. Is i a composite number?
True
Suppose 4*y - 244 = p + 820, p = -y + 271. Is 15*y - ((2 - 5) + 1) composite?
False
Let m(t) = 20*t**3 - 8*t**2 - t + 3. Suppose -6*q = -3*q. Suppose 3*g - 9 = 3*j, 2*j + 2*j - 4 = q. Is m(g) prime?
True
Suppose -412*d - 16158198 = -454*d. Is d a composite number?
False
Let b = -67 + 63. Let d = b - -24. Suppose -u = v + 396 - 1077, d = 5*v. Is u prime?
True
Let w(m) = -29 - 15 - 147*m + 182*m - 67. Is w(50) a composite number?
True
Let b(u) = 222*u**2 - 25*u - 765. Is b(-16) composite?
False
Let o(m) = 84 - 31 + 247*m - 107. Let y be o(16). Suppose -3*r = -r - y. Is r a composite number?
False
Let k = 133 - 95. Let x = k + -36. Suppose 3*m - 5021 = -x*b, -5*m + 8367 = -6*b + 8*b. Is m a composite number?
True
Is (-3)/(-7) + 1320/(-105)*-1541 a prime number?
True
Let v be (80/(-56))/((-4)/14). Suppose 0 = -0*f + 4*f, -4*f = -v*d - 6005. Let q = d - -2096. Is q a composite number?
True
Let v = 197 - 137. Let i be -26*((-25)/20*-14 + -6). Let l = v - i. Is l prime?
True
Let f(b) = 2*b + 11. Let g be f(-4). Suppose 3*h - 972 = -5*j, 16 - 1 = 5*j. Suppose -q = -a + 319, g*a + 3*q = 2*a + h. Is a composite?
True
Let f = 10816 + 14085. Is f composite?
True
Is ((-4373)/(-2)*(-7)/(-14))/(1/236) a prime number?
False
Suppose -149*v + 46*v + 22297473 = -45959288. Is v a composite number?
True
Let p(o) = -o**2 - 8*o + 19. Let m be p(-10). Let u be 0/2*(0/3 - m). Suppose u = 6*y - 1279 - 707. Is y a prime number?
True
Let w(d) = -2*d**3 + 2*d**2 + 8*d + 945919. Is w(0) a prime number?
False
Let h = 48 + -53. Let s(n) = n**3 + 4*n**2 - n + 12. Let v be s(h). Let x(m) = -117*m + 1. Is x(v) a composite number?
False
Let r(q) = q**3 - 25*q**2 - 9*q + 33. Let j be (25/(-10))/((-3)/30). Let g be r(j). Let u = 670 + g. Is u composite?
True
Let l(z) = 491*z - 1. Let p = -37 - -41. Let f be l(p). Suppose 3*k - f = -202. Is k a composite number?
False
Let p = 983227 - 415782. Is p prime?
False
Suppose 5*z = -4*m + 56291, 297*m - 302*m = 3*z - 33798. Is z prime?
True
Suppose -18*z = -2*z + 16, r - 3*z - 270406 = 0. Is r prime?
False
Is 12736920/76 - (-6)/(-114) a composite number?
True
Let c(d) = 3*d**2 - 38*d + 29. Let h be c(12). Suppose -h*l = -10, -15924 = -5*w - 5*l + 37391. Is w prime?
False
Let h = -6182 - -114483. Is h composite?
False
Let o(d) = -413*d + 75. Let t(c) = -2*c - 2. Let b(i) = o(i) + 3*t(i). Is b(-16) a prime number?
False
Let n(b) = 7*b + 45. Let f be n(-6). Suppose -f*m + 1839 + 66 = 0. Let a = 902 - m. Is a a prime number?
False
Suppose 3*o = c - 3*c + 153, -25 = 5*o. Suppose 4*g + 151 = 27. Let l = c + g. Is l prime?
True
Suppose 1400593 = 108*d - 96*d + 139741. Is d composite?
False
Suppose 2*r = -0 + 8. Let m = r - 0. Suppose 5 = 5*x, y - m*x = -2*x + 849. Is y composite?
True
Suppose 5*i = 1 + 9, -4*i - 2872 = 5*w. Suppose 2*a = 39*a - 36667. Let k = a + w. Is k a prime number?
False
Let c = -86 + 88. Let n be -7 + 3 + (c - -3). Is ((-42)/(-24) - n) + 41/4 composite?
False
Suppose 0 = -5*h