r?
True
Let l(q) = 1585*q**2 + 7*q + 13. Let o be l(-2). Let n = o + -1006. Is n prime?
True
Is (-21)/15 + (-44225676)/(-165) a composite number?
True
Let j(p) = 28568*p**3 + 2*p - 9. Is j(2) prime?
True
Let a(v) be the first derivative of 71*v**2 + 181*v + 90. Is a(31) a prime number?
True
Suppose -38*r + 15347899 = -10411047. Is r a composite number?
True
Suppose 3*g + 7494939 = -2*g + 14*g. Is g composite?
False
Let y = 22470 + -5162. Suppose 10*u + y = 14*u. Is u a composite number?
False
Let t = 144 - -61. Suppose 0 = 24*n - 904 - 968. Let v = t - n. Is v prime?
True
Let a(y) = 57*y**2 - 123 + 15*y - 24 - 50 + 47 - 59. Is a(13) a composite number?
False
Is ((5*32/(-120))/((-4)/54753))/1 prime?
True
Let i(s) = 974*s + 95. Let w be i(11). Suppose -4*m = 2*o - 43200, -12*o + w = m - 16*o. Is m a prime number?
False
Is 18 + (-990)/54 + (-3184)/(-3) prime?
True
Suppose -5*w - v + 291093 = -3*v, 3*w - 174649 = 8*v. Is w composite?
True
Suppose -4*w + 6 = 3*x - 70, 2*w = -5*x + 136. Let l be 39*(x/3 + 16/24). Suppose 4*f - l = 2590. Is f prime?
False
Let s(q) = -2988*q - 40. Let x(m) = -4481*m - 60. Let b(a) = 7*s(a) - 5*x(a). Is b(1) prime?
False
Let r = -12 - -16. Let x(m) = 5*m**2 - r*m**3 - 36*m**2 + 8*m + 2*m**2 + 34 + 6*m**3. Is x(15) a composite number?
False
Suppose -9 = -2*y + 3*y - 4*v, -4*y + 6 = -2*v. Suppose 0 = -9*d + y*d + 13086. Is d a prime number?
False
Let h be (-2)/6 - (-738)/27. Suppose -3*a - h = -5*x, 4 = -2*x - 3*a - 2. Suppose -66 = -x*y + 4*v + 55, -y + 5*v = -22. Is y composite?
False
Suppose 2*u - 5*g = 93880, 0 = 3*u + 11*g - 7*g - 140866. Suppose t = -5*n + 2*t + u, 0 = 5*n + t - 46960. Is n composite?
False
Let b(d) = -3*d - 1. Let s be b(-4). Suppose 7*n = s*n. Is (-4 + (-2394)/(-2 + n))*1 a composite number?
False
Let x(j) be the first derivative of -3*j**4/4 - 3*j**3 + 7*j**2 - j + 36. Is x(-11) composite?
False
Let g(k) = k**2 - 15*k + 10. Let j be g(15). Suppose 21490 = 20*n - j*n. Is n a composite number?
True
Suppose -33*v = q - 38*v - 110119, -550595 = -5*q + 5*v. Is q composite?
False
Suppose 2*m - 23443 = -o - 2*m, -117299 = -5*o + m. Is o a composite number?
False
Let w(o) = -o**2 + 48*o + 36. Let h = -49 + 74. Is w(h) a composite number?
True
Suppose 3*c + t = 498177, -37*t = -c - 33*t + 166033. Is c a composite number?
True
Let w(u) = -243*u - 27 + 36 - 56*u - 30. Is w(-16) a composite number?
True
Suppose -69*q + 140*q = 43*q + 7390852. Is q a prime number?
False
Suppose 17*b - 10481 + 41591 = 0. Let f = b + 3397. Is f a prime number?
True
Let h(l) = 64*l**2 + 25*l - 140. Suppose 4*s + 2*i = -70, -44*s = -42*s + 2*i + 40. Is h(s) prime?
False
Let a be (-4)/18 + 8/36. Let w be (-1 + 0 + -229 + a)/(-1). Suppose -8*y - w = -10*y. Is y a prime number?
False
Let k = -120 + 137. Suppose 2190 = -20*m + k*m. Let w = 1255 - m. Is w prime?
False
Let d(q) = q**2 + 13*q + 36. Let p be d(-9). Suppose p*c - 4*c = 2*u - 9798, 2*u = 3*c + 9770. Is u a prime number?
False
Suppose 9*f = 11*f - 5*s - 250103, s = -4*f + 500261. Suppose -5*a + f = -4*t - 80165, -164175 = -4*a - 5*t. Is a prime?
False
Let t = -49 - -4. Let y(d) = 4*d + 6. Let o be y(13). Let g = o + t. Is g a composite number?
False
Let k = 2464 + -249. Is k a composite number?
True
Let l = -27785 - -42274. Is l composite?
False
Suppose 6*j = -157809 - 144615. Let k = j - -82757. Is k a composite number?
False
Is (-2)/(-44) - 927563400/(-1584) a prime number?
False
Let h(p) = 12*p**2 + 0*p**3 - 1376 + 47*p - 26*p**3 + 1377. Is h(-4) prime?
True
Let m(l) = -12879*l - 3976. Is m(-31) prime?
True
Let t = -44 - -47. Suppose 0 = -9*s + t*s - 24. Is (8/s)/((-5)/(12945/6)) composite?
False
Let c(j) = -331*j + 29. Let y be c(9). Let q = -5477 - y. Let f = 4688 + q. Is f a composite number?
False
Suppose 34*z - 7953634 = 7616020. Is z composite?
True
Suppose 764722 + 5318133 = 59*z + 464226. Is z composite?
False
Let t(c) = -16 - 4 - 474*c - 645*c + 24 + 72. Is t(-3) prime?
True
Let v(l) = 3139*l. Let h be v(-1). Let r be -5121 - (-2 - (9 + 24/(-4))). Let n = h - r. Is n prime?
False
Let t be (-1 + 0)*(-8)/24*15. Suppose v + 763 = 2*o, 2*o - t*v - 534 = 233. Is o a composite number?
True
Let w be (-18)/30 + (-330)/(-50). Let r(k) = 5*k**3 + 5*k**2 + 11*k - 17. Let b(n) = -6*n**3 - 5*n**2 - 11*n + 17. Let u(s) = 4*b(s) + 5*r(s). Is u(w) prime?
False
Let x(l) be the third derivative of 5*l**4/3 + 71*l**3/6 - 203*l**2 + 2. Is x(18) composite?
True
Suppose -4*v + 52133 = 259393. Is v/(-65) - (-10)/(-65) a composite number?
False
Suppose -1249*a - 562970 = -1259*a. Is a a prime number?
False
Let w(k) be the second derivative of -107*k**3/3 - 11*k**2/2 - 3*k. Let s = 1713 + -1716. Is w(s) composite?
False
Suppose -31*v + 28*v = -6. Suppose -x - 3*b = -2*x + 218, -5*x - v*b = -1022. Is x a prime number?
False
Suppose 4 = -2*w + 4*o, o - 5*o = -w. Let g be (w/((-40)/2178))/(1/10). Let h = g + -1441. Is h a composite number?
True
Let i = 60475 - 34494. Is i prime?
True
Let t(f) = -85*f + 213. Let n(a) = 44*a - 106. Let d(l) = 5*n(l) + 3*t(l). Is d(-26) composite?
False
Let k(a) = 93*a - 6. Let c be k(-19). Suppose 14*y + 10540 = 4*y. Let u = y - c. Is u composite?
False
Suppose -3*g = -0*g + n + 5, -3*g - 2*n - 1 = 0. Let t(x) = -5226*x + 16. Let w be t(g). Suppose -11*o = 3*o - w. Is o a composite number?
True
Let d be (-3 - -5 - 5)*(-4)/(-6). Let v be 203 + (-18)/(-3) + 8/d. Let x = v + 514. Is x prime?
True
Let h(i) = -i**3 + 13*i**2 + i - 9. Let j be 13 - 1*(3 + -3). Let x be h(j). Suppose -4*l + 3*m + 883 = 0, m - 962 = -x*l - 67. Is l a prime number?
True
Let m = -204 - -211. Let p(w) = 65*w**2 + 36. Is p(m) a composite number?
False
Let y = 69 + -64. Suppose y*t - 192 = -3*t. Is t/(-16)*(-1)/3*596 prime?
False
Suppose -39*c + 1370276 + 6199042 = -5*c. Is c composite?
True
Let n = 2291 + -6486. Let f = 9182 + n. Is f composite?
False
Suppose -6*o + 20 = -o + 5*z, 2*o = -4*z + 8. Suppose o*y - 11276 = -168. Is y composite?
False
Let u(b) = -12*b**3 + 9*b**2 - 9*b + 1. Let r(v) = -2*v**3 + v**2. Let i(t) = -5*r(t) + u(t). Suppose s + 30 = -4*s. Is i(s) prime?
True
Let y(a) = -9256*a - 205. Is y(-6) a composite number?
False
Suppose -13 = i + 37. Is 16706/10 + (-20)/i a prime number?
False
Suppose 7*q - q = 30. Suppose -q*u + 4*u + 104 = 0. Let b = u + -85. Is b a composite number?
False
Let l = 33762 - 15163. Is l prime?
False
Suppose 0 = -5*g + 2*t - 37, 9*g = 4*g + 5*t - 25. Let r(i) = -73777*i + 1. Let z be r(1). Is z/(-54) - (-2)/g prime?
False
Suppose -5*s - 517 = g + 903, -s + 5*g - 258 = 0. Let t = s + 9588. Is t prime?
False
Suppose 33503251 = -32*c + 132*c - 24457849. Is c prime?
True
Suppose 10*g - a = 5*g + 5, -5*a = 5*g - 35. Suppose -g*m + 1016 = 262. Is m composite?
True
Let f be ((-6)/10)/((-2)/10). Suppose -f*z = h - 800 - 3102, -4*z + 3*h = -5194. Is (1 - -1)*(-4 - z/(-8)) a prime number?
True
Let x(o) be the first derivative of -3*o**4 + 2*o**3/3 + 9*o**2/2 + 5*o - 73. Is x(-6) composite?
True
Let o(z) = 1000*z - 108. Let l be o(-25). Is l/(-8) - (-3)/(-6) - 1 prime?
True
Suppose -18 = -0*n + 2*n. Is ((-3)/n)/((-2)/(-27186)) prime?
False
Let w(z) = -9*z + 25. Let t be w(4). Let g(n) = -3*n**3 - n**2 + 6*n - 2. Let f be g(t). Is (((-21)/12)/7)/((-3)/f) prime?
True
Suppose -4*y - 53*k = -56*k - 8461720, 5*y - 10577123 = -3*k. Is y a composite number?
False
Suppose 4*f = -4*h + 28, -3*h - 3*f - 2*f = -23. Suppose 0 = -k - 2*p + 2 - 8, -5*k + 4*p - 2 = 0. Is (-3 - (-1960)/(-12))/(k/h) prime?
True
Let i = 2354 + -1540. Let z = i + -5137. Let y = z - -6116. Is y prime?
False
Let d be (4 + 12/(-6))/(4/(-30)). Let l be (d/(-20))/((-2)/8). Is (l - 3676/(-16))*4 a prime number?
True
Let o(x) = -16867*x - 1186. Is o(-5) composite?
True
Let p = 2684 - 1059. Suppose 0 = -12*b + 7*b + p. Suppose 1031 + b = 12*i. Is i a composite number?
False
Suppose 2*k = 3*o - 5, 6*k - 4*o = 8*k - 30. Suppose -k*q - 7*t = -2*t - 8665, -1739 = -q + 2*t. Is q composite?
True
Suppose 5*o + h - 2040803 = -654949, o - 277175 = 4*h. Suppose 5*r = 36*r - o. Is r prime?
True
Let m = 1979 - 782. Suppose -17532 = -5*y - m. Let w = -1904 + y. Is w a prime number?
False
Let q(y) = 39*y**2 - 17*y - 23. Let b(v) = -2*v + 34. Let g be b(12). Is q(g) a composite number?
True
Let u(c) = -1538