ppose s = 5*u - 252. Is u a composite number?
False
Suppose 0 = 5*p - b + 1100, -3*p - b = b + 660. Let r = p + 650. Suppose 4*h - j - 511 = 0, -3*h - 4*j = 61 - r. Is h composite?
False
Let r(g) be the second derivative of 685*g**4/12 - g**3/3 - g**2 - g. Let v be r(-1). Suppose -o = 5*d - 4451 + 1026, -3*o - v = -d. Is d prime?
False
Let s = 106 + -109. Let c be ((-11)/s - 4)*-1311. Let h = c - 252. Is h prime?
False
Let v be 1/(-2)*30/5 + 24. Is 114348/84 + (-6)/v a prime number?
True
Let k = -243 + 248. Suppose -5*o = -3*m + 46653, 0 = -k*m + 8*o - 3*o + 77755. Is m a composite number?
False
Suppose -3*r = -2*r - 4. Let u be r/(-20)*2*(7192 - 2). Is (u/8)/(2/(-4)) composite?
False
Suppose -16*c + 2958 = -10*c. Suppose -2*t = c - 4595. Is t a composite number?
True
Suppose -2*d - 4*v = -119530, 11*d = 7*d + v + 239087. Is d a composite number?
False
Let z(v) = -326*v**3 + 2*v**2 + 2*v. Suppose -2*f - 5*n = -13, -2*f = 3*f + 3*n - 4. Let y be z(f). Suppose 0 = -6*o + 5*o + y. Is o a prime number?
False
Suppose -650420 - 2540656 - 1067034 = -30*b. Is b a composite number?
False
Suppose 5*z + 0*o = 5*o + 7935, 4760 = 3*z - 2*o. Let t = 8049 + -2194. Let u = t - z. Is u prime?
False
Is 2053048/1765 - ((-2)/5)/(-2) a prime number?
True
Suppose 3*n + t = 10083, -8*t + 6700 = 2*n - 11*t. Is n composite?
False
Let o be 3/(-15) - 5/(100/56). Let h be 2 + 1 + o + 4. Suppose -h*n + 893 = -1439. Is n composite?
True
Suppose -3*s + 14 = -2*b, 4*s = -5*b - 36 + 1. Let a be (b + 0 + 5)*4*6. Is (341/4)/((-12)/a) prime?
False
Suppose -2*o + 5*g + 436 = 0, 3*o + 5*g = 118 + 486. Let c = -90 + o. Is c a composite number?
True
Suppose 6*f - 2*l - 78 = 2*f, 0 = -3*f - 3*l + 63. Suppose f = -4*v, -3*v - 905 = -0*i - 2*i. Suppose 0 = 5*h - 10*h + i. Is h a composite number?
False
Let o be (-1 - 6806)*84/(-252). Suppose 4*p - 1797 = -u, -u - p - 475 + o = 0. Is u a prime number?
False
Suppose 2*i + 2021 = -4*r + 245775, 2*r - 243756 = -2*i. Is i a prime number?
False
Let d = -8739 - -14716. Is d prime?
False
Suppose 0 = -2*y - 10, c - 2788 - 2035 = -y. Suppose -31*r = 21*r + 48308. Let w = r + c. Is w a composite number?
True
Let y(i) = -4971*i + 94. Is y(-29) a composite number?
False
Let v = 10 - 10. Suppose -37 = -k - 4*n - 9, 2*k + 9 = 5*n. Suppose v = -k*b + 9870 + 3114. Is b prime?
False
Suppose 3*r + 134758 = 37150. Let y be r/10 - (-4)/50*-5. Let v = -1861 - y. Is v a prime number?
False
Let i be 1 - (-2 + 1) - -1. Suppose 4*q - v - 4 = 2*q, 2*v + 1 = -i*q. Let u(x) = 366*x**3 - 3*x**2 + 2*x. Is u(q) a prime number?
False
Let f be -4 + (6 + (-21)/4)*4. Is 2174 - (-1 + (3 - 0 - f)) a prime number?
False
Let v = -175 + 195. Suppose -v*q = -16*q - 9748. Is q prime?
True
Let d(x) = -11*x - 162. Let i be d(-15). Let n(j) = 60*j + 5. Is n(i) a composite number?
True
Let q(s) = -262*s - 80. Let v be q(-5). Let g = v + 6577. Is g prime?
False
Suppose 5*k = -5*d + 496200, -1224*d + 1219*d - 2*k + 496179 = 0. Is d a prime number?
True
Suppose -6*z - 25 = -1. Let f be (-44)/(-10) + z/10. Suppose 0 = d + 5*s - 1292, 0*d + f*s + 6373 = 5*d. Is d a composite number?
False
Let u(c) = 3*c + 1. Let y be u(1). Let o(j) = 7*j - 2*j - 11*j + 8*j**2 + 12*j - 8 + 1 + 4*j**3. Is o(y) a prime number?
True
Suppose 10*d + 36 = 16*d. Suppose 0 = 2*f + d, -t - 2*f + 15 = 41. Is 11402/6 - t/30 a prime number?
True
Suppose 10*g + 2*a = 6*g + 328516, -3*g + 246375 = 3*a. Is g a prime number?
False
Let q be 221/65 - 3 - 126/(-10). Let d be -22*(-117 + -3 - -1). Suppose -q*w + 1503 = -d. Is w prime?
True
Let z = -136 + 139. Suppose -6*c + 5*y = -4*c - 2071, z*c - 2*y - 3123 = 0. Is c prime?
False
Let d = 5628 + -10623. Let c = -2776 - d. Is c prime?
False
Let r(y) = 253*y**2 + 13*y + 18. Let p(l) = 42*l**2 + 2*l + 3. Let n(v) = 39*p(v) - 6*r(v). Let s be n(-3). Suppose s = w - 2290. Is w a composite number?
True
Suppose -3085 = -3*w - 2*m + 8311, 3*w + m = 11395. Suppose 5*s = -s + w. Suppose s = -8*q + 11*q. Is q prime?
True
Let p(m) = 3161*m**2 - m - 1. Let d be p(4). Suppose 284486 - d = 11*i. Is i prime?
False
Let c = -448 - -2092. Let q = c + -947. Is q composite?
True
Is 780050/15*(-21)/(-14) composite?
True
Let y be (-9139)/(-2) - 2/4. Let a = -193 + 195. Suppose 0 = -2*c - 5*d + 1816, 0 = c + 4*c - a*d - y. Is c composite?
True
Suppose 8 + 10 = 6*y. Suppose y*k = 8 + 4. Suppose n = -5*w + 191, 3*n - 379 = -k*w + 194. Is n prime?
True
Let h(r) = -r**2 + 9*r - 15. Let b be h(6). Suppose -d - d + 5*y + b = 0, 4*d = 5*y + 11. Suppose -d*s + 1865 = -3*s. Is s composite?
True
Let p = 823811 - 536028. Is p a prime number?
True
Let z(i) = -11*i**3 - 6*i**2 - 3*i + 4. Let b be z(-4). Let r(a) = -10*a - 15. Let s be r(-2). Suppose 3*w = -s*h + b, -5*h + 3*w + 237 = -3*h. Is h prime?
False
Let s(t) = 255*t**2 + 559*t - 15. Is s(8) a composite number?
True
Suppose 0 = -j - 3*k + 15, -14*k = 2*j - 9*k - 28. Suppose -23*m + 73312 = j*m. Is m a prime number?
False
Let r(t) = t**3 - 6*t**2 - 3*t + 905449. Is r(0) a prime number?
True
Let l = -504 + 1488. Suppose -v + l = -806. Suppose v = -11*n + 13*n. Is n composite?
True
Suppose -5*w - 5*z = -310708 - 102757, -3*w = 5*z - 248067. Is w composite?
False
Let k = -57 + 63. Let w(s) = 27*s**2 - 8*s**2 - 10 - k*s**2 - 4*s. Is w(5) prime?
False
Let l = -102 - -183. Let v be (-3)/(((-38)/(-380))/((-2)/12)). Let b = v + l. Is b a prime number?
False
Suppose 40*q - 43*q - 9 = 0. Let g be (-1)/3 + 470/q. Is (3 + -5)*g/2 composite?
False
Suppose 4*f - 93864 = 5*a, -5*f + 4*a + 78413 = -38908. Is f a prime number?
False
Let w(a) = -18*a + 4*a**2 + 3*a - 110598475 + 110598458. Let i be (0 + 0 + -14)/(-1). Is w(i) prime?
True
Let i(v) = -v**2 + 8*v + 1. Let a be i(9). Is 61899/24 - (-1)/a prime?
True
Let k be (-1)/(10 + 205/(-20)). Let l(h) = h. Let r(p) = 46*p**2 - p - 5. Let c(a) = 4*l(a) + r(a). Is c(k) composite?
False
Suppose 66*k - 6 = 72*k. Is (-78)/13 - -1*(k + 10358) a composite number?
True
Let t = -1249 - -3962. Suppose 0 = 2*z + 5*m - t - 956, -2*m = 2*z - 3684. Is z a composite number?
False
Let o = 593 + 109. Suppose 2*s + s + a - o = 0, 3*a + 9 = 0. Suppose 100 = 2*j - i, 0*j = 5*j + 5*i - s. Is j composite?
True
Suppose -x + 2*h + 18 = 0, 6*x = 7*x + 4*h. Suppose x*d = d + 81521. Is d prime?
True
Suppose 69573 = 3*h + 282*t - 284*t, 4*h - 92744 = -4*t. Is h prime?
True
Suppose 4*u - 5*b - 43 = 35, -3*u - 3*b = -72. Suppose -u*p + 18796 + 17658 = 0. Is p a prime number?
True
Suppose -47 = -7*g + 37. Suppose 0 = -3*j + g, 0*j - j = -y + 4987. Suppose -6608 = -4*k + 4*f, y = 3*k + f + 3*f. Is k prime?
True
Let t = 921 - 929. Suppose u + 4*y - 3*y = -1152, 2*u + 2306 = -4*y. Is u*(t/4 - -1) prime?
True
Let z(v) be the first derivative of -v**4/4 + 7*v**3/3 - 4*v**2 + 16*v + 13. Let j be z(6). Suppose -j*d + i = -i - 4344, 0 = 2*d - 3*i - 2168. Is d composite?
False
Let f(w) = 9706*w**2 + 12*w + 41. Is f(-3) a composite number?
False
Is 25 + 106831 + (-18)/(-4)*(-4)/6 composite?
False
Suppose 0 = -4*v + 25 + 31. Suppose 4 = -2*r + v. Is 2/r - (-3)/30*10666 prime?
False
Suppose -30 = -2*s - s + j, -5*s + 2*j + 51 = 0. Let o(p) = 4*p - 30. Let d be o(s). Is 331/((d/(-3))/(-2)) composite?
False
Suppose 0 = -4*g + 16, m = -4*g + 18 + 2. Suppose f - 9 - 5 = -4*c, -7 = m*f - 5*c. Suppose 3*r = f*n - 341, n = r + 4*r + 188. Is n prime?
True
Suppose -12*h = 28*h - 1800. Is (-8)/60 - (3168561/h)/(-11) prime?
False
Let i be 3/18*-9 - (-6202)/(-4). Let r = -743 - i. Is r a prime number?
True
Suppose 18*b = 19*b - 5*u + 23, -4*b - u = 29. Let h(x) = -99*x - 1. Is h(b) composite?
True
Let j = -2187 + 492. Let h = j - -806. Is h*((5 - 5) + -1) composite?
True
Let z(c) = -7166*c**3 + 5*c**2 + 22*c + 48. Is z(-5) a composite number?
False
Let q(c) = 11*c**3 - 2*c**2 + 9*c - 9. Suppose 0 = -2*i + 4 - 10, 63 = 2*o - 3*i. Let k be 4*(o/12 + -1). Is q(k) composite?
False
Suppose 0 = -4*r, -4*j = -0*j + 2*r - 44032 - 3816. Is j a prime number?
False
Suppose -4*l = -17*l - 73918. Let b = l + 8427. Is b a composite number?
False
Let q be 1*(-3)/12 - (-9)/4. Suppose 0 = -2*m + 2*u + q*u + 4470, -5*m = u - 11120. Suppose -3*z - m = -8*z. Is z a prime number?
False
Suppose 12 = 2*s, -6*s - 586753 = -5*n - 4*s. Is n a prime number?
True
Let x(m) = -5746*m + 3011. Is x(-