(-2427)/18*a a composite number?
True
Suppose 188379 = 5*n + 5*z - 7181, 4*n - 5*z = 156457. Is n prime?
True
Suppose 4*d - 171272 = 4*y, 204*d - 196*d + 5*y - 342583 = 0. Is d a composite number?
False
Let l = -185 + 202. Suppose -4773 = -20*i + l*i. Is i composite?
True
Suppose -3*a - 724583 = -5*x, -32354 = -2*x + 5*a + 257464. Is x a prime number?
False
Let y(f) = f**3 + 14*f**2 - 7*f - 91. Let l be y(-14). Let k(u) = 124*u - 150. Is k(l) prime?
False
Suppose -2*l + 66 = 4*n, -2*l = -5*l + 3*n + 144. Suppose -39484 = -l*j + 39*j. Is j a prime number?
True
Let q = -102630 - -179783. Is q composite?
False
Let o = 2406 - 4516. Let k = o + 4092. Is k a composite number?
True
Suppose 48 = 6*y, -3*n - 5*y - 11 = -9*y. Let f = -8 + 14. Suppose -n*x = f*x - 4407. Is x a prime number?
False
Let o(b) = 21310*b**3 - 13*b**2 + 63*b - 125. Is o(3) a prime number?
True
Let h(i) = i**2 - 2*i - 16. Let p be h(-4). Suppose 13*l - p*l = 30. Suppose -l*o = -11*o + 50. Is o a composite number?
True
Let z(u) be the second derivative of -631*u**3 + 55*u**2/2 + 55*u. Is z(-1) prime?
False
Suppose 3*c - 32 = -4*a, 0 = -3*c - 0*a - a + 17. Suppose c*b + b = -4*f - 26, 5*f = b - 18. Is (12/(-18))/((12/30681)/b) a composite number?
True
Let q = 2455 - 388. Suppose -q = -11*o + 34. Is o a composite number?
False
Let u(k) = 2*k - 18. Let y(b) = 18*b - 162. Let w(a) = 52*u(a) - 6*y(a). Let i be w(7). Suppose i*o - 2*g - 659 = 3*o, -2*o + 3*g + 268 = 0. Is o composite?
False
Suppose -18*i - 32 = -26*i. Suppose 0 = i*r - 3*r - 7. Is (0 - 3) + 0 + 12950/r a prime number?
True
Suppose 3*o = -5*y - 39, -8 = 4*o + 4. Is (6864 + 2)*y/(-12) a prime number?
True
Suppose 4*t = -0*t + 760. Suppose -2*d = -1052 + t. Suppose 0 = -4*b + 5*b - d. Is b a composite number?
False
Let t be 10/25*(-1 - 24). Let z(y) = -y**2 + y - 7. Let m(h) = 6*h**2 - 4*h + 33. Let v(k) = 2*m(k) + 11*z(k). Is v(t) a prime number?
True
Is -14669*134/(-67)*(1/(-2) + 1) a composite number?
False
Let s(x) = -1436*x + 35. Let n be s(-7). Suppose -4*t + n = -3*m, -23*t - 5*m - 12610 = -28*t. Is t prime?
True
Suppose 10 = r + 3*q - 0, 5*r + 3*q - 50 = 0. Suppose 11429 + 2181 = r*m. Is m composite?
False
Suppose -d - b = 7, 2 = 4*d + b - 3*b. Is (-22 + 24)*d/1 - -7407 composite?
True
Let m(p) = 267*p - 1. Let x = 146 + -142. Is m(x) composite?
True
Let k(z) = 3*z**3 - 7*z**2 - 14*z + 24. Let f(x) = x**2 - 9*x - 43. Let n be f(13). Let r be k(n). Let d = -977 + r. Is d prime?
True
Suppose -4*w + 0*w = 5*j + 46, -2 = j. Let x(f) = 10*f**2 - 10*f - 1. Let s be x(w). Suppose 2*v + s = 5*k + 4*v, -5*v + 10 = 0. Is k composite?
False
Let j(b) = -435*b - 671. Is j(-40) prime?
True
Let s(b) = -b**2 + 3*b + b**3 + b - 2*b + 1 - b. Let i(k) = -6*k**3 + 19*k**2 + 11*k - 6. Let h(d) = i(d) + 5*s(d). Is h(12) a prime number?
True
Let v(k) = k**3 - 10*k**2 + 15*k + 2. Let o(u) = -u**3 + 11*u**2 + 27*u - 5. Let r be o(13). Let j be v(r). Is 842 - ((-4)/10)/(j/15) prime?
False
Suppose 2*k = -3*p + 1960191, -p - 114*k + 113*k + 653399 = 0. Is p composite?
True
Suppose 5*m - 2*h = 34593, -3*m + 3*h + 2*h + 20771 = 0. Let s be (1815/(-60))/(-2*(-3)/(-96)). Suppose -7*j = s - m. Is j a prime number?
True
Suppose 0 = -i - 3*p + 8*p - 14, 0 = -5*p + 15. Is (3*(-3148)/36)/(i/(-3)) a composite number?
False
Suppose 4*k = -4*c + 398808, 263*k = -3*c + 266*k + 299100. Is c composite?
True
Is (-1796)/(-14)*(-350)/(-100) a composite number?
False
Suppose -2*p + 5*u = -2, -2*p + u - 1 = -3*p. Suppose -o + 2*h + 4 + 3 = 0, p = -o - 2*h. Let v(n) = 15*n + 6. Is v(o) prime?
False
Suppose 8*s - 16 = -5*p, 5*p = s - 6 + 4. Let g = 560 + -57. Suppose -1545 = -s*n - g. Is n prime?
True
Let q be (-20)/10*((-251415)/10 - -4). Suppose q = 9*u + 766. Is u composite?
False
Suppose 1276617 = -32*n + 4267526 + 7761059. Is n a composite number?
False
Suppose -1905 = -5*s + 2*s. Let r be 1 + -2 + 52 - 4. Suppose 42*q = r*q - s. Is q composite?
False
Let a(p) = 20*p**3 - 8*p**2 - p. Let v(i) = -19*i**3 + 7*i**2 - 1. Let m(s) = 3*a(s) + 4*v(s). Suppose -u - x = 0, 5*x + 11 = -u + 31. Is m(u) prime?
True
Suppose 0 = -2*q + 3*j + 1006 + 891, 4732 = 5*q + 3*j. Let l = q + 216. Is l prime?
True
Let x be (12/20)/((-2)/(-100)). Suppose x*q - 24*q = 12774. Is q prime?
True
Let k(s) = 260*s**2 - 97*s + 86. Is k(21) a composite number?
True
Suppose -2*i + 1051106 = 2*p, -27*p - 525523 = -i - 23*p. Is i prime?
False
Let w = 9085 + 9944. Is w a composite number?
True
Suppose -5*d + 5*g + 275 = 0, -g + 59 = d - 6*g. Suppose d = 4*c + 5*n, -c + 4*n + 9 = 3*n. Let v(t) = 3*t**2 - 18*t + 34. Is v(c) a composite number?
False
Let u = 29305 - 60784. Let v = u - -45880. Is v a composite number?
False
Let v(n) = 34*n + 82 + 258*n + 387*n. Is v(15) a prime number?
True
Let w(k) = 48*k**2 - 17*k - 26. Let s(l) = -2*l**2 + 2*l. Let t(a) = s(a) + w(a). Is t(-17) a prime number?
True
Suppose 13*c - 15624 = 21*c. Let a = -1190 - c. Is a a composite number?
True
Suppose h = 2*c - 708436, 5*c - 1771057 = 401*h - 404*h. Is c composite?
True
Suppose -321*u + 326*u - 57391 = -3*v, -3*v + 21 = 0. Is u prime?
False
Let n(v) = v**2 - 8*v - 17. Let p be n(10). Suppose -3*y + 4*b = -4065 + 1164, 1951 = 2*y + p*b. Is y a composite number?
False
Let v = 31 + -48. Is 53*93 - 17/(v/2) a composite number?
False
Let t be (-1)/(-2)*(-352)/(-16). Suppose -17895 = -3*y + 3*v, -2*y + t*v = 7*v - 11922. Is y a prime number?
False
Suppose 85 = -4*o - 59. Suppose -88 = q - 5*q. Let v = q - o. Is v composite?
True
Let h(t) be the second derivative of -t**3/6 - 3*t**2 + 17*t. Let c be h(-4). Is c - 60/(-35) - (-1108)/7 a prime number?
False
Let h(a) = -a**3 + 19*a**2 + 14*a - 45. Suppose 40 = 5*f + 3*g - 37, 0 = 4*f + 5*g - 72. Is h(f) composite?
False
Let q = 4061 - 18671. Let f = 10040 + q. Let z = 6963 + f. Is z composite?
False
Is 39421*7/7 - 12 a prime number?
True
Suppose -24*f + 21*f = 39. Let q(d) = -3*d - 34. Let y be q(f). Suppose y*u - 61 = -4*t + 460, -t + 3*u = -143. Is t a composite number?
True
Let r = 1 + -1. Suppose 2*i - 3*i + 300 = r. Let b = i + 39. Is b a composite number?
True
Let k = -1123 + -645. Let j = 2121 - k. Is j prime?
True
Is 54/(-12)*484370/(-45) composite?
False
Let n(q) = -21888*q + 5279. Is n(-43) composite?
True
Let w(i) = 7*i + 23. Let r be w(-3). Suppose -a + r = -1. Is ((-1)/(a/(-1906)))/(32/48) prime?
True
Suppose -1540 = -2*f - b, 18*f = 21*f + b - 2312. Is 12/8*f - -5 a composite number?
False
Let f(p) = 17 - 16*p**3 - 16*p**2 + 5*p**3 + 4*p**3 + p + 8*p**3. Is f(20) a composite number?
False
Is ((-137850036)/(-738))/((-2)/(-3)) a prime number?
True
Suppose -28*y = -30*y + 3*b + 208922, 4*y + 2*b - 417844 = 0. Is y a composite number?
True
Let b = 416 + -1. Suppose b*u = 406*u + 53829. Is u a composite number?
False
Suppose 4 = i + 2, -i = u + 3. Let r(j) = 1614*j**2 - 24*j - 17. Is r(u) a composite number?
True
Suppose 0 = 2*g + 2015 - 9445. Suppose -2*h - g = -5*u + 1084, 0 = 2*u - 2*h - 1922. Is u prime?
False
Suppose -5*r + 3*o + 290651 = 0, 5*r - 5*o - 215076 - 75579 = 0. Is r composite?
False
Suppose 0 = -3*j - 5*h - 16, -3*j + 34 = -0*j - 5*h. Suppose j*b = -b + 8220. Suppose -4*l - l = -b. Is l prime?
False
Let i be (-2)/(-1) - (-2 + 346/2). Let l = i - 124. Let j = 547 + l. Is j prime?
False
Let z = 1008958 - 394127. Is z composite?
True
Suppose -3 = -l, 5*w + 3*l + 72 = 2*l. Let r be w*((12/(-5))/(-3) + 0). Is r/(-12)*(634 + 1) composite?
True
Let d(b) = 16394*b**3 + 2*b - 2. Let o be d(1). Suppose -40*y - o = -42*y. Is y a composite number?
True
Let s(r) = 5015*r**2 + 22*r - 108. Is s(5) composite?
True
Let q = -41401 - -142400. Is q composite?
False
Is 11368068/36 + (-2)/6 + 4/(-12) prime?
True
Let r = 1769973 + -891442. Is r a composite number?
True
Let b(a) = -2*a**3 + 12*a**2 + 2. Let c(n) = n**3 - n**2 + n - 1. Let k(f) = b(f) + 3*c(f). Let l be k(-13). Let y = 1449 + l. Is y a prime number?
True
Let c(k) = 2*k**2 + 41*k + 20. Let g be c(-20). Suppose 5*i + 38 - 993 = g. Is i composite?
False
Let b be (-10)/2 - -8 - -24. Let w be 72/(-15)*-6*(-15)/b. Let a(o) = -2*o**3 - 20*o**2 + 9*o - 7. Is a(w) prime?
False
Suppose -2*q = 2*v + 2, -3*v = 5*q + v + 1. Suppose -30028 = -2*z + 2*a, -q*z + 4*a = 18373 - 63416. Is z composite?
False
Let y(v) = 46