d = 5*c - 2756407, -4*c + 2205119 = -107*d + 102*d. Is c composite?
False
Let i = -42472 + 114431. Is i prime?
False
Suppose 2*r = 3 + 5, -4*r = 5*j - 14036. Let i = j - 1853. Suppose -i = -l + 104. Is l composite?
True
Suppose 5*n + 76 = 226. Let y = -28 + n. Suppose -y*b - 388 = -2406. Is b composite?
False
Let q = -2253435 - -3953512. Is q a composite number?
False
Let z = -280 - -282. Suppose -5*b = -116 + 16. Is z + (-1102)/(-5) + 12/b a composite number?
False
Suppose 36*b - 41*b - 395890 = -r, -395893 = -r + 4*b. Is r a composite number?
True
Let b(f) be the first derivative of 45*f**2/2 + 37*f + 3. Let j be -5*4/30*-9. Is b(j) composite?
False
Let b(k) = 2. Let w(g) = -157*g**3 - g**2 - 2*g + 5. Let a(p) = -3*b(p) + w(p). Suppose 0 = 3*z + 1 + 2. Is a(z) a prime number?
True
Let u(z) = 238*z + z**3 - 17*z**2 - 239*z - 40*z**3 + 1. Is u(-4) composite?
True
Let b(v) = -26*v + 52. Let o be b(2). Suppose 64831 = 13*w - o*w. Is w composite?
False
Let t = 90795 - 53248. Is t a prime number?
True
Suppose -4247*o = -4250*o + 159927. Is o a composite number?
False
Let q(l) = 791*l + 17. Let x = 141 - 137. Is q(x) prime?
True
Let b(x) = 3*x**3 - 7*x**2 + 5*x - 1. Let t be b(4). Is (4126/(-12)*4)/((-66)/t) prime?
True
Suppose -33*u - 137 + 137 = 0. Suppose -2*a = -31 - 63. Suppose -a = -z - u*z - 2*w, -4*w = 5*z - 211. Is z a composite number?
True
Let k = 137273 - 20634. Is k composite?
False
Let u(f) be the third derivative of 2/5*f**6 + 0 - 1/60*f**5 + 0*f - 1/6*f**3 + 15*f**2 + 1/24*f**4. Is u(1) prime?
True
Is 592/(-74) + (-71474)/2*-1 composite?
False
Suppose -4*l + 2*t - 869 = 233, 2*t = 2. Let y = l + 364. Is y a composite number?
False
Let c = 29630 - 13249. Is c a prime number?
True
Suppose 7*w + 20 = -3*w. Is 778/(w/7 + (-112)/(-49)) prime?
True
Let r(z) = 14478*z**2 + 248*z - 2191. Is r(9) composite?
True
Suppose -b + 325 - 1036 = -3*o, 0 = 2*b + 6. Let q(c) = 91*c**2. Let v be q(1). Let y = v + o. Is y prime?
False
Let l be (0 - 1)*(1 + 2473). Suppose -3*s + 5*v + 3048 + 7580 = 0, s - v = 3542. Let q = l + s. Is q a prime number?
False
Suppose -19*t - 8*t = 1215. Is 9/t + 13612/10 a composite number?
False
Let y(z) = 3*z**2 - 14*z + 30. Let v(q) = -2*q**2 + 14*q - 30. Let w(m) = -4*v(m) - 3*y(m). Let u be w(-15). Let t(x) = 129*x + 32. Is t(u) prime?
False
Suppose 4*i = j + 883441 - 146602, -2*j + 921065 = 5*i. Is i composite?
False
Is -1*56/32 - (-4700291)/4 a composite number?
False
Suppose 48574 + 2776 = 13*y. Suppose 4*b - 5452 = -4*v, 4*v + y = 3*b - 146. Suppose 416 = 4*t + 2*g - b, 0 = 3*t - 5*g - 1335. Is t a prime number?
False
Let k(o) = -o**3 + 12*o**2 + 50*o + 22. Let s be k(-15). Suppose -2*b - 5*r + 5397 = 2*b, -4*b + 5*r = -s. Is b a composite number?
True
Let f = 2722 - 1811. Let y = 5 + 6. Is (f/3)/(y/33) a prime number?
True
Let p = 123173 + -68071. Is p prime?
False
Suppose 16028949 = 1316*v - 1157*v. Is v a prime number?
True
Let l(n) = 907*n**3 + 3*n**2 + n + 7. Is l(6) a composite number?
False
Let a = 189 + -184. Suppose -a*y + 3*y + 190 = 0. Is y prime?
False
Let z(j) = 63523*j - 318. Is z(1) a composite number?
True
Suppose -3*v + 4*u = -20, 2*u = -2*v - 5 - 5. Suppose v = 2*s + 204 - 15446. Is s a prime number?
True
Suppose v + 3*n - 4369 - 5776 = 0, -20278 = -2*v - 3*n. Is v a composite number?
False
Suppose -17*z - 20567 = 19*z - 83819. Is z prime?
False
Suppose 5*l - 1415 = 5*k, 0 = 4*l + k - 3*k - 1130. Let v = l + 469. Let w = v + -248. Is w composite?
False
Suppose -a - 5946456 = -25*a. Is a a prime number?
True
Is 181170 + ((55/10)/(-11) - 60/(-40)) a composite number?
True
Suppose -9*k + 14*k = -16505. Let m = k - -6888. Is m a prime number?
False
Suppose 0 = -5*x + 20*x + 60. Let y(l) = -13*l**3 + 2*l**2 - 5*l + 3. Is y(x) composite?
False
Let f(y) = 234*y**3 + 3*y**2 + 11*y - 35. Let h be f(4). Suppose 4*u + 5*l - 25683 = 0, 4*u - l - h - 10680 = 0. Is u a composite number?
False
Let l = 7697 - -3292. Let h = 38820 - l. Is h a composite number?
True
Let p(s) = -4*s + 60. Let o be p(15). Suppose o = -16*q - 2206 + 29838. Is q a prime number?
False
Suppose i - 3 = -m, 0 = -4*m - i + 19 + 2. Suppose m*x - 5295 - 1107 = 0. Is x composite?
True
Let v(d) = 290*d - 45. Is v(4) composite?
True
Let b = 15272 - -173829. Is b composite?
True
Let p = -39 + 35. Is (20*-184 - p)/(-2) a composite number?
True
Suppose r - 3*h - 24 = -3, -h = -4*r + 62. Suppose 20 = -r*c + 20*c. Suppose -c*y + 2431 + 3261 = 0. Is y a composite number?
False
Let i = -154 + 150. Let u(v) = -2335*v + 23. Is u(i) a prime number?
False
Suppose 0 = -m + 2*t + 175476, -4*t + 8 = -0*t. Is (3/(-2))/(m/175504 + -1) a composite number?
True
Let y = -31310 + 58181. Let f = y + -11890. Is f a prime number?
False
Let i be (-48)/(-9) - (-8)/(-6). Let m(b) = -107*b - 81. Let q(d) = -36*d - 27. Let w(t) = i*m(t) - 11*q(t). Is w(-22) composite?
False
Suppose -6*k + 8224 + 4712 = 0. Suppose -j + z = 3*z - k, 4*j - 5*z = 8572. Suppose c = -j + 6533. Is c a prime number?
False
Let i = 22949 - 7511. Suppose 8*l - 1802 = i. Is l prime?
False
Let g be 5 - 2/(1 - 0). Let i be ((-4)/(-2))/(g*(-4)/(-18)). Suppose -2 = -v, 5*p - 7115 - 246 = -i*v. Is p composite?
False
Suppose 0 = -5*i + 20, -138*i + 285389 = 3*q - 139*i. Is q composite?
False
Suppose -2*m - 2*i = -268952, 5*m - 3*m - 3*i - 268987 = 0. Is m composite?
True
Let l(z) = -183*z**3 - 4*z**2 + 5*z - 17. Let n be l(-5). Suppose 0 = -b - k + 3*k + n, 4*k = -b + 22733. Is b a prime number?
False
Let l be ((-3)/(-2) - 0)/(129/258). Is 7302/18 - (-4)/l prime?
False
Let g = -2016 + 4977. Let d = 1742 + g. Is d a prime number?
True
Suppose -4 = -4*o, 3*p = -6*o + 7*o + 460508. Is p a prime number?
False
Is 2 + (20695 - 19) - (-4 - -1) prime?
True
Let l(y) be the third derivative of 187*y**5/60 - y**4/12 - 2*y**3/3 - 7*y**2. Let t be l(-8). Suppose 2*j + q = 4789, t = 7*j - 2*j - 5*q. Is j composite?
True
Let f be 1 + -2 + (1 - 8/(-2)). Suppose -4612 = -f*n + 21060. Suppose n = 8*s - 4774. Is s composite?
False
Let m = 164 + -159. Suppose -5*r + 10820 = -10*a + m*a, 4*r = a + 8659. Is r composite?
True
Let h be ((-18)/(-8))/(-3)*-24. Let l(a) = -342 + 161*a - 320 + 627. Is l(h) a composite number?
True
Is ((-70253480)/(-176))/(3 - 15/6) composite?
True
Suppose -u + 12124 = -9150. Suppose 9*z - 7*z = u. Is z composite?
True
Let q = 144209 - 81418. Is q a prime number?
True
Let y(f) = 45*f**2 + 5*f - 35. Suppose -l + 3*x + 1 - 5 = 0, -2*l + 22 = 4*x. Is y(l) composite?
True
Suppose -4*o - 8 = -5*p - o, 4*p - 5*o + 4 = 0. Suppose 5*u = r - p*r + 7712, -5*u + 10291 = 4*r. Is r a prime number?
True
Suppose -347*t - 3 = -346*t. Is (t + (-55)/(-10))*-2 - -3042 a prime number?
True
Let c(a) = -a**3 + 7*a**2 + 14*a + 39. Let k be c(9). Suppose -2059 = 5*d - k*g - 22253, -g - 20188 = -5*d. Is d a composite number?
True
Is 3 + -2*6 + (434265 - 73) a composite number?
True
Is (15/30*-536306)/(-1) prime?
True
Is (-1644018)/(-54) - ((-245)/2520 + (-1)/8) a composite number?
True
Suppose 2*m = -m - 729. Let i = m - -587. Suppose 3*t + 42 + i = f, 0 = 5*f + 2*t - 1947. Is f a prime number?
True
Let d(a) = -38*a**3 - 8*a**2 - 17*a + 5. Let y be d(-6). Let r = 13528 - y. Is r prime?
True
Suppose 0 = -14*d + 235296 + 581506. Is d composite?
True
Suppose -19*h - 28 = -104. Is (2/h)/(3/(43690 - -8)) a prime number?
True
Suppose -4*q - 5*r = -73194, -8167 - 10132 = -q - r. Is q composite?
False
Let c(d) = -8811*d - 3176. Is c(-17) a prime number?
False
Let w = -464 - -474. Suppose 0 = -2*b - w*b + 59964. Is b a prime number?
False
Suppose -n = -t - 5, -3*n - 2*t = -8 - 7. Suppose -3*q = 2*f + 2*f - 22, -5*q = n*f - 30. Is q/2 + -3 + 1153 prime?
True
Let w(o) = 35*o**3 - 2*o + 4. Let r = 28 - 26. Let k be w(r). Let q = k - -13. Is q prime?
True
Suppose -2*t = 24 - 40. Let a be t/16 + 9/2. Suppose 728 = 4*n + 2*p - 1436, 2*n = a*p + 1094. Is n composite?
True
Suppose 338814 = 2*x + 4*n, 299*x - 300*x + 5*n + 169379 = 0. Is x prime?
True
Let o = 1810 - 3125. Let c = 2194 + o. Is c composite?
True
Suppose 0 = -2*x - 5*x + 56. Suppose -2*l + 79370 = x*l. Is l a composite number?
False
Let j = -234402 - -436909. Is j a composite number?
True
Let l be 18/(-8) + 2 - (-90)/8. Suppose l*o + 15 = 16*o. Suppose -4*u + 4559 = 5*q - 2*u