3108 + r. Is j prime?
True
Let h = -152 + 156. Suppose 5*d - d - 11688 = -4*m, 5*d = -h*m + 11687. Is m a prime number?
False
Suppose -57*m + 1155048 = -5594721. Is m prime?
False
Suppose 0 = -3*y - 2104 - 863. Let x = y + 2743. Is (x/6)/(2/6) composite?
False
Let g = -135818 - -246807. Is g prime?
True
Let z(f) = -2096*f**2 + 4*f + 4. Let a be z(-1). Let t = -1217 - a. Suppose 2*k - 99 = t. Is k composite?
True
Let w(q) = -q**2 + 10*q + 5. Let t be w(10). Let a(c) = -33*c**3 - 6*c**2 + 4*c - 39. Let v be a(t). Let k = v + 12129. Is k a composite number?
True
Let l = 78 + -80. Let a be (l - 2 - -2)/((-1)/2). Suppose 21010 = 5*m + 5*j, -4*m - 6*j + 16818 = -a*j. Is m a prime number?
False
Suppose b + 5*s = 29197, b + 49*s = 52*s + 29165. Is b prime?
False
Let x = 74 - 69. Suppose -x*g - 1 = 3*u, -2*g - 2*u + 2 = -0*u. Let m(l) = 119*l**2 + 5*l + 7. Is m(g) a composite number?
True
Let f(m) be the first derivative of 73*m**3 + m**2 + 2*m + 6. Let u = 43 - 44. Is f(u) a prime number?
False
Suppose -20*x + 43*x = 2050130 + 1134887. Is x prime?
False
Let b be 1/(41/210 + 3/(-18)). Suppose 2160 = b*o - 32*o. Suppose 0 = 7*g - 771 - o. Is g prime?
False
Let g be -934*(7 + 66/(-12)). Let d = -722 - g. Is d a composite number?
True
Let i(k) be the second derivative of -403*k**3/6 + 25*k**2/2 + 121*k. Is i(-12) composite?
False
Let q(i) = i - 9. Let b be q(8). Let y(l) = -377*l + 3. Let c be y(b). Suppose -2*d + c = -734. Is d composite?
False
Let j be (-23 + 3)*2/(-4). Suppose -96*t + 105*t = 5742. Suppose 12*k - t = j*k. Is k a prime number?
False
Let v = 494 - 472. Is 57404/v + 216/(-792) a composite number?
False
Let i(x) be the second derivative of 4*x**3/3 + 499*x**2/2 - 56*x. Is i(0) composite?
False
Suppose 3*u + 700*r - 93529 = 701*r, 0 = -2*u + 3*r + 62348. Is u prime?
True
Let m(f) = 43*f**2 - 5*f - 17. Let i be m(11). Suppose -v = -5*d + 12819, 2*d + v + 2*v = i. Suppose 0 = -3*u + 7*u - d. Is u prime?
True
Let w be -1482 - (5*(-5)/(-25))/1. Let f = w + 12386. Is f a prime number?
True
Let p = 425465 - 218736. Is p a prime number?
False
Let l(a) = -9*a + 29*a**2 + 30*a + 10*a + 107 - 26*a**2. Is l(24) a composite number?
False
Let l = -276 + 280. Let d(k) = 196*k**2 + 5*k + 7. Is d(l) prime?
True
Suppose -150*d + 85*d = -87*d + 6495742. Is d a prime number?
False
Suppose -2*v - 15 = 3*v. Let a(w) be the first derivative of -5*w**4/2 - w**3/3 + w**2 - 2*w + 8. Is a(v) prime?
False
Let n be (-2 - 4)*(-2 - -1). Suppose 10*l = n*l + 160. Suppose -6*h + 422 + l = 0. Is h a prime number?
False
Let c be 32548 - (15/5 - -4). Suppose -9*n + 10847 = -8*n + 5*u, -3*n = -3*u - c. Is n composite?
False
Let d = -78147 + 121006. Is d prime?
True
Let q(z) = 106*z**2 - 9*z - 40. Let n = -200 + 197. Is q(n) a composite number?
False
Suppose 0 = -355*d + 378*d - 13140199. Is d prime?
False
Suppose 5*y = -5*j + 45, -2*j + 1 = -3*j + y. Suppose -5*z + 10654 = -2*r - 6977, 4*z - j*r = 14100. Is z a composite number?
False
Let t(f) = -f**3 + 24*f**2 - 60*f + 25. Let l be t(21). Suppose 0 = -l*h + 102*h - 183302. Is h prime?
True
Let d(q) = -6*q + 5336*q**2 + 3 + 4*q - 4 + q. Is d(2) prime?
True
Let f(m) = -357*m + 10. Suppose 2*r + 6 = -2*l - 4, -2 = 4*r - 5*l. Let x be f(r). Let k = x + -294. Is k a prime number?
True
Let j be (-4)/(-18) + (-7 - 1446/(-54)). Is (170416/12)/(j/15) a composite number?
False
Let i(t) = 116582*t + 1497. Is i(5) a prime number?
False
Let n be ((-70)/(-42))/((-1)/(-3)). Suppose n*p - 11 = 2*g, 5*p = -0*p - 5*g - 10. Is ((-13374)/30)/(p/(-5)) a composite number?
True
Let g(p) = 65*p**2 - p + 3. Let k(b) = -47*b**3 - 2*b**2 + 1. Let l be k(-1). Suppose -h = 49 - l. Is g(h) a prime number?
False
Suppose -b - b = 6, 4*d - b - 4903 = 0. Suppose 0 = 3*f - 2*y - 2522 - d, -3*f - y + 3747 = 0. Is f composite?
False
Let x(k) = -505*k + 14. Suppose 0 = 90*n - 95*n - 25. Is x(n) a prime number?
True
Suppose -6*v + 20 = -v. Suppose 26 = -v*w + 58. Suppose -w*x + 3695 = -3*x. Is x composite?
False
Let g = 87215 + 1564014. Is g prime?
True
Let b(t) = -120*t - 77. Let q(s) = -840*s - 537. Let z(j) = -27*b(j) + 4*q(j). Is z(-33) composite?
True
Let i(k) = 3*k**2 + 3*k - 9. Let o(n) = n**3 + 17*n**2 + 2*n + 41. Let j be o(-17). Let w be i(j). Let y = 988 - w. Is y a prime number?
True
Let m = -756 + 760. Suppose 182094 = m*t + 14006. Is t a composite number?
True
Suppose 3374*l = 3397*l - 3062243. Is l prime?
False
Let f = -53840 - -94813. Is f prime?
True
Let o be (-4)/(-30) - 3/((-90)/176). Suppose 2*f - o*z = -z + 3979, 0 = f + 5*z - 1982. Suppose 0 = -4*s - 5*c + f, 2*s - c - 121 - 890 = 0. Is s prime?
True
Suppose -3*j + 86 = -139. Suppose -3*d + j = 708. Let x = -102 - d. Is x a prime number?
True
Suppose 0 = -3*v - 5*b + 258, 18*b = -3*v + 14*b + 255. Let k = 2272 - v. Is k prime?
False
Let g = 832 - -526. Suppose 0 = 5*i + 9128 - g. Let f = 2227 + i. Is f prime?
True
Is (-8740304)/(-95) - 17 - 6/5 a prime number?
False
Let f be -4*1/(-4) - -3. Suppose -732 = f*o - 10704. Suppose 2*y + y - o = 0. Is y a composite number?
True
Let i(h) = -18361*h + 895. Is i(-4) a prime number?
False
Suppose -8*i = -9*i + 3895. Let w = 6204 - i. Is w prime?
True
Let m(d) = 267*d + 4. Let r be m(-3). Is -11 + 9 - r*5 prime?
False
Suppose -9*w = -7*w + 13*w. Suppose -i + 4*g + 931 = w, 31*i - 36*i - 4*g + 4727 = 0. Is i prime?
False
Suppose -70*l = -65*l. Suppose l = -7*w + 8791 + 17718. Is w composite?
True
Suppose 5*x = 20, -d - 10 = -5*x + 5. Suppose v + 319 = -2*v + d*l, -4*l = -5*v - 536. Let q = 586 - v. Is q prime?
False
Let f = -3180 - -5366. Suppose 13*g = 401 + f. Is g a prime number?
True
Let x(j) = 1619*j**2 - 46*j + 19. Is x(6) composite?
False
Let w(d) = 2*d**2 + 40*d + 4. Let b = -52 + 19. Is w(b) a composite number?
True
Suppose 8*i = 6828 + 1108. Let p = i + -1444. Is ((1 + 1)/(-4))/(2/p) a prime number?
True
Let z(k) = -31*k**3 + 9*k**2 + k - 1. Let i be (-4)/(-8) - 42/12. Is z(i) prime?
False
Let u(l) = -8*l**3 - 5*l. Let d be u(-6). Suppose -5*c - 7972 = d. Let p = -627 - c. Is p a composite number?
False
Let o = -93952 - -206954. Is o a composite number?
True
Let k(l) = -563352*l**3 - 3*l**2 + 279*l + 281. Is k(-1) a composite number?
False
Let k = 610229 - 369180. Is k a composite number?
False
Let z(s) be the second derivative of -s**5/10 - 2*s**4 + 4*s**3 + 31*s**2/2 - 51*s. Is z(-17) prime?
False
Let m(t) = 9*t - 15*t + 0 - 11*t + t**2 + 20. Let j(z) = -18*z + 21. Let q(x) = -3*j(x) + 4*m(x). Is q(18) prime?
True
Let d = -42 + 47. Suppose -459 = -d*c + 14*c. Let h = c - -178. Is h a composite number?
False
Suppose 126*x = -83*x + 57731861. Is x a prime number?
True
Let j(b) be the third derivative of 67*b**4/8 - 17*b**3/3 - 680*b**2. Let i = 6 - -1. Is j(i) prime?
True
Let c = 246 + -242. Suppose c*q - 5*f = -7*f + 4314, -q - 2*f + 1083 = 0. Is q a prime number?
False
Suppose 4*r - 14*b - 230 = -12*b, -5*b = -4*r + 239. Suppose 0 = r*d - 48*d - 68488. Is d a prime number?
False
Let n = 505 + -484. Is 19125 + (-1 - n/7) composite?
False
Suppose -8*s + 23 = -17. Suppose 0 = 4*w + w - 3*m - 104500, s*w + m - 104520 = 0. Is w prime?
True
Suppose 4*y + 1214630 = 42*x - 40*x, 5*x + 4*y = 3036477. Is x prime?
True
Let p(q) = 763*q**3 - 11*q**2 + 11*q + 1. Let v be p(3). Suppose 5099 = 3*j - v. Is j a prime number?
False
Suppose 242*y - 9 = 241*y. Suppose 0 = -5*o + 3*p + 16858, y*o - 4*o - 4*p - 16859 = 0. Is o a prime number?
True
Suppose 9*d - 3 + 12 = 0. Let p be (-1 + d)/(8/604). Let l = -62 - p. Is l a composite number?
False
Let a(v) = 1351*v**3 - 10*v**2 + 25*v + 41. Is a(6) prime?
True
Let f(j) be the first derivative of 9*j**5/20 + 5*j**4/12 - j**3/2 + 11*j**2/2 + 7*j + 20. Let q(x) be the first derivative of f(x). Is q(4) a composite number?
True
Suppose -8 = 4*c + 8. Let h be (c - 141/(-6))*-2. Let i = 148 + h. Is i a prime number?
True
Suppose -28544*v + 144176 = -28528*v. Is v a composite number?
False
Let n = -2376 - 1893. Is 140/30*n*2/(-4) a composite number?
True
Let h be (1029/9)/(6*5/1890). Let v = h - 3526. Is v a composite number?
False
Let u be (-12)/(6 + -2) + 13548. Let m = u + -5260. Is m composite?
True
Suppose 221*g - 214*g = 759283. Is g a prime number?
False
Let j(f) = f**2 - f. Let w(h) = 32*h**2 + 10*h - 49. Let