 = 0, -4*b = -4*o - 10716. Is b a composite number?
True
Suppose 4*g + 8 = 0, 3*k + g + 265270 = -4*g. Is (k/30)/((-6)/63) prime?
False
Let x(r) be the second derivative of -95*r**3/2 - r**2 + 34*r. Let j be x(-1). Suppose w - 376 - j = 0. Is w a composite number?
False
Let h = -806 - -777. Let u(b) = -81*b - 40. Is u(h) a prime number?
True
Let l(c) = 6041*c + 0*c**2 - 6037*c + 13*c**2 - 9 + c**3. Is l(-7) prime?
True
Let d(z) = -323*z + 10. Let y(q) = 1. Let n(p) = -d(p) + 3*y(p). Let b be n(4). Suppose -b = -f - 324. Is f composite?
True
Suppose 0 = -193*x + 168*x + 2318425. Is x a composite number?
False
Let l(r) = 185*r + 13. Let w = -3 - 21. Let o = 30 + w. Is l(o) composite?
False
Suppose 9*m + 9*m = 198936. Suppose 5*j - d - 9413 = 9005, -d - m = -3*j. Is j prime?
False
Let n = 423019 + 5608. Is n prime?
False
Suppose -2*m + 3087 = 5*k, -3215 - 2894 = -4*m + 3*k. Is m a composite number?
False
Suppose -6*l = -8*l + b + 2967, 0 = 4*l - 4*b - 5940. Suppose 8*p - 3*x - l = 5*p, 1507 = 3*p + 2*x. Is p composite?
False
Suppose 2*f + 59765 = b, 77*b + 4*f = 80*b - 179301. Is b a composite number?
False
Suppose 158 = -13*u + 28. Is 25/u + 169350/20 composite?
True
Suppose -5654886 = -3*z - 908119 + 121984. Is z composite?
False
Let h(c) = -c + 1. Let u(l) = -6*l - 7. Let q(y) = 3*h(y) - u(y). Let k be q(-2). Suppose x - 733 = -x + 3*s, 5*s - 1499 = -k*x. Is x a composite number?
True
Is (-4)/40 + 28672854/140 + 15 a prime number?
True
Let t be (-1 + 1)/(-1) - -8. Suppose 2*u - 3*n = 7, 0 = -t*u + 3*u - 5*n + 80. Suppose -518 = -u*a + 1011. Is a prime?
True
Let q = -333 + 721. Let z = 285 + q. Is z a prime number?
True
Suppose -3*v - 5*p + 3*p + 6647 = 0, -11076 = -5*v - p. Let j = -555 + v. Let k = 2379 - j. Is k a prime number?
True
Let r(m) = m**3 - 10*m**2 - 4*m - 8. Suppose 3*c + 25 + 8 = 0. Let g = c - -22. Is r(g) a composite number?
True
Let f = 31 - 28. Suppose -3*w = -8*w + 4*t + 4212, -f*t - 2526 = -3*w. Suppose 706 = 10*h - w. Is h a composite number?
True
Suppose -2*v = 10, 105 + 10 = 4*m + v. Suppose -24*o = -m*o + 13422. Is o a composite number?
False
Let b(t) = -t**3 + 19*t**2 - 21*t + 40. Let j be b(18). Let a = j + 19. Suppose 2*g = -0*n - n + 110, a*n - 3*g - 524 = 0. Is n a prime number?
False
Suppose 12*k - 2*k = 2185330. Is k composite?
True
Let w(g) = -g**3 + 39*g**2 - 230*g + 371. Is w(-54) prime?
True
Let l = 104282 - 74380. Is l a prime number?
False
Suppose -18 = -227*c + 230*c. Is (33622/4)/(c*1/(-12)) a prime number?
True
Let q(k) = 3*k**3 - 82*k**2 + 2860*k + 49. Is q(48) composite?
True
Suppose 15*s = -17*s + 16*s + 214096. Is s a prime number?
True
Suppose z - 702233 + 273975 = -2*j, -2*z + 1070645 = 5*j. Is j a prime number?
True
Let d be 552/23 + (-3 - -1). Let r(y) = 6*y**2 - 27*y + 11. Is r(d) prime?
False
Let s = 545 - 1416. Let t = 2972 + s. Is t composite?
True
Suppose -2*b + 5*b = 1482. Suppose -5*s - 266 = 3*a - 897, 4*s - b = 3*a. Suppose 2*v - 1107 = -s. Is v prime?
True
Suppose 105*i - 2543639 = -75194. Is i a prime number?
True
Let b = 9134 + 12003. Is b prime?
False
Let p = 13033 - 4450. Suppose -44*t = -47*t + p. Is t composite?
False
Let g = -357369 - -524192. Is g a composite number?
False
Let g = 72031 + -10742. Is g a prime number?
False
Suppose 0 = -2*o + 5*s - 4, 0 = 5*o + 7*s - 12*s + 40. Is (-14 - o) + 5360 + 3 a composite number?
True
Let r(f) = -9*f + 90*f + 40*f - 21 + 73*f. Let b be r(-7). Let s = b + 2130. Is s composite?
False
Let v = -12322 + 66591. Is v composite?
False
Suppose 0 = a - 52*a. Suppose -4*n - 199 - 158 = -3*t, -2*t + 5*n + 238 = a. Is t a composite number?
True
Let h(p) be the first derivative of -2*p - 15 + p - 10*p**2 + 2*p - 43*p**2. Is h(-10) a prime number?
True
Let d = 225793 - -97148. Is d a prime number?
False
Suppose 235943 + 730813 = 14*x - 572026. Is x composite?
False
Let c be 15/9 - 2 - (-11490)/45. Is 3/2*576130/c prime?
True
Let a = -2991 + 2994. Let u(m) = -m**2 - 7*m - 4. Let n be u(-6). Suppose a*y - 1555 = -4*i, -2*y - 7*i + 1032 = -n*i. Is y a prime number?
True
Suppose 3*o = 3*u + 25446, -2*u + 972 - 970 = 0. Is o a prime number?
False
Suppose k + 2*w = 946 + 4840, -3*k + 3*w + 17349 = 0. Let h = k - 3623. Is h composite?
False
Let w(n) be the third derivative of -n**5/60 - 2*n**4/3 - 25*n**3/6 + 14*n**2. Let s(v) = -v**2 - 12*v + 3. Let q be s(-13). Is w(q) composite?
True
Suppose 147*h - 160*h + 2997163 = 0. Is h composite?
False
Let s be ((-3)/(-9))/((-2)/(-78)). Suppose 0 = -2*c - 69 + s. Is 331/4*c/(-7) prime?
True
Let o(i) = i**2 + 2. Let v(d) = -66*d**2 + 60*d - 15. Let l(s) = 4*o(s) - v(s). Is l(13) composite?
True
Suppose 0 = -28*d + 1124676 + 1068872. Is d a composite number?
False
Let q = -165059 + 279664. Is q a composite number?
True
Let w = 194 - 190. Suppose -t + 29246 = 5*a, -5*t + 146251 = 8*a - w*a. Is t composite?
False
Is 48078 + (210/126)/(5/3) a prime number?
True
Let u(j) = -2898*j**2 + 1. Suppose -11*d = -9*d - 2. Let a be u(d). Let h = a + 6034. Is h a prime number?
True
Let n = 148125 + -88322. Is n prime?
False
Let u be (6 + -22)/2 - -225. Suppose -207*q = -u*q + 378490. Is q a composite number?
True
Suppose 3*x - 5*n - 978211 = 0, 105*x + n = 107*x - 652122. Is x a prime number?
True
Suppose 224*f - 237*f = -52. Suppose -f*s + 1859 = -12345. Is s composite?
True
Is (-16)/(-40) + 144/40 - -296049 a composite number?
True
Suppose 0 = 11*t + r - 299984, t - 54551 = -t - 3*r. Is t composite?
False
Let j = 229728 + -142549. Is j a composite number?
False
Suppose -31*h + 612973 = -8*h. Is h a composite number?
True
Let n(a) = 277*a**2 - 9*a - 6. Let p be n(-2). Suppose p = 2*x - 4*u + u, 0 = -5*x + u + 2787. Is x a prime number?
True
Let k(r) = 6*r**2 - 9 - 5 + 1. Let o(u) = 13*u**2 - u - 26. Let y(w) = 7*k(w) - 3*o(w). Is y(10) a composite number?
False
Is (0 - -29629)*(36 + -47 - -12) a prime number?
True
Suppose 7*o - 18051 = -0*o + f, -2*f - 10312 = -4*o. Is o a composite number?
False
Let k be (-244804)/91*-1 + 2/(-13). Suppose 0 = 2*m - 5*r + 1961 + 3380, -m - 4*r = k. Let y = -205 - m. Is y composite?
False
Suppose -16 = -4*t, 2*w + 3*t = -3*w + 42. Suppose w*q = q - 45. Is q/(-6) + 787/2 a composite number?
True
Let j = -264 + 292. Is 5 + 6*64*j composite?
True
Suppose 0 = -6*d - 6*d + 6*d + 253254. Is d composite?
False
Let y = 34333 - -54516. Is y composite?
True
Let o(t) = 813*t**3 - t**2 + 1. Let j(p) = 813*p**3 - 3*p**2 - 3*p + 1. Let s(h) = 2*j(h) - 3*o(h). Is s(-3) a composite number?
True
Let a(s) = 1019*s**3 - 13*s**2 + 47*s - 74. Is a(7) prime?
False
Let y = 30757 - 15774. Is y a prime number?
True
Let s(n) = -4*n**3 - 3*n**2 - 8. Let t be s(4). Let d = 1053 + -382. Let r = d + t. Is r prime?
True
Let f be ((-9)/(-36))/((-2)/8). Is (-24)/64 + (-158025)/(-24) + f a composite number?
True
Suppose 2*p = 3*l + 1056, -l = -2*p - 3*l + 1066. Is (-68282)/(-18) - 236/p a prime number?
True
Let t be 546 - (-1 - -1)/(-1). Let s = -315 + 698. Let z = t - s. Is z composite?
False
Suppose -5*o = 3*n + 62, 2*o + o + 50 = -5*n. Let j be 4/o*-10*(-1)/(-4). Let c(a) = 14*a**3 - a**2. Is c(j) composite?
False
Is -7 + (15 - 8) - 9 - -22238 a prime number?
True
Let l(h) = -51*h**2 - 12*h + 6. Let v be l(-7). Let b be ((-2)/4 - -1) + v/(-2). Let q = 3624 - b. Is q prime?
False
Let v be -7 - (1 + (1 - 4)) - -2. Let u be -1 - 0/3 - v. Is (u/(-2))/(((-10)/415)/2) a composite number?
False
Let f(b) = -b**3 - 24*b**2 - 23*b + 15. Let s be f(-23). Let h be -1 + 24/s - 1902/(-30). Let k = h + -39. Is k composite?
True
Let w = -2984 + 13332. Let o = -537 + w. Is o a prime number?
True
Let a = 21 - 15. Suppose -3*u = -a*u + 30. Suppose -u*b - 6620 = -14*b. Is b composite?
True
Let k(w) = 4 - 36 - 2*w - 498*w + 3. Is k(-9) a composite number?
True
Let x(c) = 100*c**2 - c - 7. Let m be x(-2). Let b(t) = -12*t**3 - 2*t**2 + t + 2. Let n be b(-1). Suppose -10*u = -n*u + m. Is u prime?
False
Let q = -8 + 11. Suppose 2*g + g - 129 = 0. Suppose w = 5*y + 15, -q*y = -4*w - 0*w + g. Is w a composite number?
True
Let w(x) = -x**3 + 48*x**2 - 176*x + 4. Let o be w(44). Is 28425/6 + 14/o prime?
False
Let g(s) = -s**3 + s**2 + 8*s + 303. Suppose 4*h = i - 16, -11*i + 9*i + h = -4. Is g(i) prime?
False
Let q = 610 + -427. Suppose -187*u + q*u + 3