9737. Is k a prime number?
True
Let o = 1299134 - 823717. Is o prime?
True
Suppose 4*z = 247 - 63. Let f = -44 + z. Let c = f + 209. Is c prime?
True
Let t = 2608043 + -1191492. Is t composite?
False
Suppose 0 = 4*r + 2*d - 4810, 2*d + 12 = 6*d. Suppose -5*w + 2*w = -19131. Suppose -w = -8*f - r. Is f a prime number?
True
Let l(u) = -563*u**2 + 2*u. Let v be l(-1). Let d = 270 - v. Is d prime?
False
Suppose 183036 = -56*w + 57*w. Suppose -w = -16*p - 12*p. Is p a prime number?
False
Let d be 46/(-11) + (-26)/(-143). Is ((-134)/d)/((-43)/(-1634)) prime?
False
Let x(g) = -3343*g + 665. Is x(-24) composite?
False
Let n(r) = 3*r**2 + 7*r + 3. Let y be n(-3). Suppose -o + 12 = -4*o + 4*q, -o = -3*q + y. Suppose o*t = 2*t - 158. Is t a prime number?
True
Suppose -x - 21 = -16. Let p be 8*(x + 443/4). Suppose d - p = u + 294, -d = -3*u - 1146. Is d a prime number?
False
Let y(p) be the third derivative of 181*p**4/3 + 73*p**3/6 + 56*p**2. Is y(8) a composite number?
False
Let h(x) = x**3 + 22*x**2 - 26*x + 65. Let c be h(-21). Suppose -11*y + 6681 = -c. Is y composite?
True
Let q(i) = 548*i + 31. Let c be q(14). Let u = c - 4012. Is u a composite number?
False
Suppose -x + 1 = 2*p - 1, -2*p = -5*x - 26. Let w(b) = 9*b**2 - p*b + 5*b**3 - 3*b**2 + 3 - 7*b**2. Is w(2) prime?
False
Let q = -10 + 12. Suppose -3*a + c = -114426, 0*a + q*a - c - 76283 = 0. Is a composite?
True
Suppose 0 = 583*g - 579*g - 1913356. Is g composite?
False
Is ((-473611)/8)/((-50)/400) a prime number?
True
Let y(q) = -5*q - 12. Let m be y(-3). Suppose m*h = 2*h + 119. Suppose -5*a - 2*o + 944 = -h, -o - 629 = -3*a. Is a composite?
False
Is (2/(-10) - (-4161873)/15) + 5 + 0 a composite number?
True
Suppose -28*s = 23*s - 816. Suppose -s*n + 184239 = -7*n. Is n composite?
True
Let r = -4203 - -6819. Let b = -433 + r. Is b a prime number?
False
Suppose 2*n + 16 - 6 = 0, n + 8 = y. Let r(a) be the third derivative of 73*a**4/6 + a**3/6 + 4*a**2. Is r(y) composite?
False
Let s(m) = m**3 + 65*m**2 + 155*m - 523. Is s(-62) a prime number?
True
Let s(u) = 2*u**2 + 27*u + 18. Let j be s(-13). Suppose -j*v = -13*n + 12*n + 8561, 8561 = n - 3*v. Is n prime?
False
Let y(t) = -t**3 - 4*t**2 + 9*t + 14. Let w be y(-5). Let h(u) = -u**3 - 3*u**2 - 7*u - 5. Let b be h(w). Let f = b + 262. Is f a composite number?
True
Let h be (-315108)/(-40) + (-21)/(-70). Suppose 0 = 17*l - h - 605. Is l composite?
False
Let g = -50 + 30. Let l(y) = -y**3 + 2*y**2 + 15*y + 5. Let s be l(5). Is 412/s + (-2)/g*-4 a composite number?
True
Let g(f) = 4*f**3 - 2*f**2 - 14*f - 6. Let n(z) = -z**3 - 1. Let h(t) = g(t) + 3*n(t). Let y be 9 - (4 - (3 - 0)). Is h(y) a composite number?
False
Let y = 171 - 169. Suppose -n + 3*j + 2268 = 4*j, -y*j - 11333 = -5*n. Is n a composite number?
False
Let a = -376 - -403. Suppose -4*z - 5*x + 611 = 0, -3*z + 477 - a = x. Is z a prime number?
True
Suppose 0 = 73*j - 76*j + 272211. Suppose -3*z + j + 37024 = 0. Is z composite?
True
Let p(h) = 117*h**2 + 4*h + 17. Let k be p(8). Let q = -5095 + -275. Let y = q + k. Is y a prime number?
False
Let f(m) = 76790*m - 201. Is f(2) composite?
False
Let k be 1*(1 - (-3 - 0)). Suppose 4*t + 0*v + 24 = 4*v, 6 = 5*t + k*v. Is (-775)/(-10) - (2 - (-3)/t) prime?
False
Suppose -3*y = -54*y + 123*y - 654552. Is y composite?
False
Is 6/8 + (-3)/(-14)*(-202328511)/(-342) a composite number?
True
Let a(j) = -j**3 + 7*j**2 - 5*j - 11. Let i be a(5). Let l = 14 - i. Suppose l = -2*c - 2*d + 1914, 4275 = 3*c + 2*d + 1408. Is c composite?
False
Let l(p) = -45*p**3 - 7*p**2 + 2*p + 7. Let o be l(-5). Suppose 3267 = 3*j - 2*b, -3*j - 2*j + 4*b + o = 0. Is j composite?
False
Let v(s) = 49*s - 32. Let g be v(-14). Let n = g + 1611. Suppose 0 = 5*z - r - n, -3*r - 173 = z - 2*z. Is z a composite number?
False
Let w be (-16)/112 + (-86)/(-14). Suppose -w*g = -9*g + 9. Suppose -g*o + 5*k = -2336, -k + 1 = -4. Is o a prime number?
True
Suppose 18 = 2*a + 4*b, 2*a - 4*b + 9 - 51 = 0. Is -3 + 3 - (-5)/(a/2031) prime?
True
Let i = -26 - -79. Suppose -55 = 9*n + i. Is n/4 - (-755 - -1 - 0) composite?
False
Suppose -2*d - 16 = 126. Let h = d - -64. Let n(y) = 7*y**2 - 2*y - 4. Is n(h) a composite number?
False
Let c = -95 + 111. Suppose -4*p = -c, -r + 3*p - 5 = 1. Suppose -3395 = -r*h + h. Is h composite?
True
Is 48376 + (1 - 4)/(-3) a composite number?
True
Suppose -5*b - v + 44 = 0, -2*b + 8 = -3*v + v. Suppose 2*m - b = -2*s, -5 = -4*m - 1. Suppose -s*q = -4*q + 379. Is q prime?
True
Suppose 0 = 2*z - t + 2*t - 997, -4*t = -2*z + 982. Suppose 0 = -490*m + z*m - 35623. Is m composite?
True
Let n be (5/(-2))/(1/(-2)). Suppose 3*v = -n*r - 29, -6 = 5*r + 14. Is v/(-3 - 0) + 390 composite?
True
Suppose 0 = 3*l, -5*l + 12 - 2 = 5*r. Is ((-127659)/(-14) + -4)*r prime?
True
Suppose 3*q + 30 = 2*b - 2*q, 3*q + 6 = 0. Let i be b/30 + (-22)/3. Is 398 - (i - -4)*-1 composite?
True
Let h = -481 + -1213. Let d = 3349 + h. Is d a prime number?
False
Let n = -158 + 112. Let y = n + 49. Is y prime?
True
Suppose 4*k = -4*j - 44748, 5*k + 11171 = 4*k + 3*j. Let r = k - -19240. Is r a composite number?
True
Let f(t) = 20917*t**2 + 24*t + 50. Is f(-3) prime?
False
Suppose 191107 - 980688 = -13*g. Is g a composite number?
False
Is (-4)/(-60) - 2963452344/(-3015) composite?
False
Let w(t) = -49*t + 107. Let r be w(13). Let q = r + 1599. Is q a prime number?
True
Let q be 12/9*6/4. Suppose -f + q*f = -33. Is -1655*(f/15 - -2) a prime number?
True
Let d = 854666 - 380878. Is d/42*-3*(-1)/2 prime?
True
Let n(a) = 5471*a**3 - 13*a**2 + 15*a - 14. Is n(3) a prime number?
False
Let g(q) = 10 - 3 - 2284*q + 482*q. Is g(-3) a prime number?
True
Let d(n) = -n**2 + 6*n - 6. Let x be d(6). Let p(m) = 0*m**2 + 14*m**2 - 5*m**2 - 13 - m**2 + 3*m. Is p(x) prime?
True
Let m(b) = 8*b + 17. Suppose -5*d - 25 = -4*z, -2*z + 39 = z + 3*d. Let l be m(z). Is 10/(3 - 1)*l prime?
False
Suppose -3*z - 23 = -d, 0 = -z + 4*d - 3 - 1. Let k be (z/(24/(-26827)))/(1/(-9)). Is -1 + k/(-21) + 6/(-14) a composite number?
True
Suppose -11*u = -679 - 1961. Suppose 0*g + 3*g - u = 0. Suppose 0 = 5*y - g - 2835. Is y a prime number?
False
Let q = 12 + 55. Let i = q - 65. Suppose -7*w = 3*u - 3*w - 443, -i*w = 5*u - 729. Is u a composite number?
True
Suppose -120964 = -2*z + 45352. Is z a prime number?
False
Let f = 2640738 + 304655. Is f a composite number?
True
Let j = -83 - -211. Suppose l - 1630 = -j. Suppose -q + 5*g = -383, 4*q - 3*g = 2*g + l. Is q a composite number?
False
Suppose 2*m + 5*o = 4*o + 6, -m + 14 = -5*o. Suppose 2*u + 3336 = 2*d, -10387 = -4*d - m*u - 3755. Is d prime?
True
Suppose 23 = 3*w + 8. Suppose -9 = w*a - 39. Suppose -l + a*l = 0, 4*l = 3*j - 762. Is j prime?
False
Let d(h) = -17*h**2 - 28*h - 34. Let q(p) = -16*p**2 - 31*p - 35. Let u(k) = -6*d(k) + 5*q(k). Is u(-14) composite?
False
Let b = 227 - 224. Let z(q) = 53*q**3 + 3*q**2 - 9*q + 6. Is z(b) a prime number?
False
Let a(o) = 47*o**2 - 4*o + 69. Let l be a(5). Let u be 534 + 1 - (-1 - -3). Let p = l - u. Is p composite?
False
Suppose -h - 2*v + 7*v = -12, -2*h = v - 2. Suppose 390 = h*p - 7*p. Is (-12570)/p - 6/39 composite?
True
Let a = -928214 + 1593661. Is a a composite number?
False
Let y = 994 - 705. Suppose -2724 = -295*u + y*u. Is u a prime number?
False
Let b(q) = 192*q**2 + 24*q + 1. Suppose 2*m = -4*z - 14, -z - 3*m - 2*m - 8 = 0. Is b(z) prime?
True
Let n(c) = 4*c**2 + 3*c - 1. Suppose -g + 5*a = 6*a + 1, -2*a = -4*g + 8. Let h be n(g). Is (-1 - -3)*-1*(-807)/h composite?
False
Let l be 1/((3 + 5/(-2))/1). Suppose -3*z - 3149 = -5*j, l*z + 621 = j - 3*z. Is j a prime number?
True
Let s = 155008 + 6355. Is s a prime number?
True
Let o = -47803 - -91500. Is o composite?
True
Suppose 0 = 2*t - 392 - 20. Suppose -19*m + 28 + 29 = 0. Suppose 3*n = 3*r + 753, 2*n + m*r = t + 311. Is n composite?
True
Suppose h = 3*i + 5*h - 399639, -3*i - h = -399648. Is i prime?
False
Is 3/(-6)*(-11 - 0 - 421559) prime?
False
Suppose -2*l + 3*l + 182 = -2*c, 0 = 2*c + 3*l + 174. Suppose 72 = 32*s - 28*s. Let d = s - c. Is d a prime number?
False
Let z be ((3 - 9) + 20)*1055/(-10). Suppose 3923 + 2815 = 3*v. Let h = z + v. Is h composite?
False
Let o be 8 + (-55)/7 + 73386/14. Suppose -2*g = -n + o, -18*n + 21*n - 4*g - 15718 = 0. Is n prime