= 218 - b. Is a a composite number?
True
Suppose 0 = 113*h - 108*h - 77095. Is h prime?
False
Is 121759/3 - -5*(-20)/75 a composite number?
True
Is 3092148/468 - 4/26 composite?
False
Let i(q) = 1067*q**3 + 2*q. Is i(1) a prime number?
True
Let t be (-6)/4 + (-33)/(-22). Suppose t = -z - 4*z + 5. Is (1 - -21) + (-2 - z) composite?
False
Let u = 3788 + 5189. Is u a prime number?
False
Let u(g) = 7 + 0*g + 7*g - 18 + 14*g**2 - 5*g. Is u(-5) prime?
False
Let c be 27/18 - 26/(-4). Suppose -a = -c + 5. Suppose -s - a*s + 508 = 0. Is s a prime number?
True
Let i(r) = -r - 496. Let c be i(0). Let s be (-16)/(-28) - c/14. Is (-6456)/s*(-6)/4 composite?
False
Is (3/5)/((-57)/(-14573665)) composite?
False
Suppose 4*b - 5*m = 2, b + 0*m = -m + 5. Suppose 0 = 4*h - 2*h + 4*l - 326, -5*h + 763 = -b*l. Is h prime?
False
Let a be 152/6 + (-4)/(-6). Let y = -23 + a. Suppose y*h - 99 = 132. Is h prime?
False
Let w be (-18)/(-10) + (-6 - 124/(-20)). Is (-1813)/(-2) + w/4 a composite number?
False
Suppose -4*u + 2 = -6. Is 81 - -3*u/(-3) composite?
False
Let p = -212 - -2341. Is p a prime number?
True
Let f(v) = v**3 - 5*v**2 - 5*v - 5. Let w be f(6). Is (w/2)/((-4)/(-464)) a composite number?
True
Let x(c) = 12*c**2 + 37*c - 10. Is x(-7) a prime number?
False
Let g(v) = 5*v**3 + 15*v - 55. Is g(7) a prime number?
False
Let h(r) = -10*r**3 - 19*r**2 + 27*r - 11. Is h(-10) a composite number?
True
Let f = 2735 + 5528. Is f a prime number?
True
Let t be (19155/45)/((-1)/(-3)). Let i = t - 564. Is i a composite number?
True
Suppose 0 = -3*k - 4*c + 21, 0 = -2*k + 2*c - 0*c. Suppose 198 = 5*v + 3*f + 58, 2*v = -k*f + 47. Is v prime?
True
Suppose 0 = -2*v - 4*x, 4*v + 12 = 5*v - 2*x. Let a(o) = o + 7. Is a(v) a prime number?
True
Let j be 4226/(-8) - 4/(96/18). Let l = j - -860. Is l a prime number?
True
Suppose -2*i = -2*v - 28, -4*v - 7 = 3*i - 21. Suppose 700 = 15*l - i*l. Suppose 0 = 5*r + 5*g - l, -g = -r + 22 + 2. Is r a composite number?
True
Is 74/((-2637)/19341 - 3/(-21)) prime?
False
Let i be 23498/2 + -2 + (1 - 0). Is (i/8)/(-3)*-2 composite?
True
Let f be (6/(-1))/(8 - 10). Suppose 0*z + 2122 = f*w - z, 0 = w + 5*z - 734. Is w prime?
True
Let m = 65 - 39. Let p = -14 + m. Is 159/1 + (p - 12) composite?
True
Suppose 2*p - p - 2*y = -6, -3*y + 9 = -3*p. Let a be 2*(-1 + p + 3). Suppose -70 = -2*d - 2*r + a*r, 0 = r - 2. Is d a prime number?
True
Let z be 85570/50 - 2/5. Suppose v - z + 204 = 0. Let n = 3728 - v. Is n prime?
True
Let t = 140529 + -97144. Is t prime?
False
Suppose -3*a - y + 1142 = -0*a, 2*a - 3*y - 743 = 0. Is a a prime number?
True
Let t be (-30)/18 + 1/(-3). Let g be 12*(t + 16/6). Let h(x) = 2*x**2 - 6*x + 3. Is h(g) composite?
False
Let l(g) = -977*g**3 + 6*g**2 + 13*g - 7. Is l(-3) prime?
True
Suppose -2 + 11 = 3*m. Let f be 12 + -8 - m*3. Let d(y) = -48*y - 5. Is d(f) a composite number?
True
Let w(p) = 355*p**2 + p. Let v be w(1). Suppose -4*r + 56 = -v. Let n = 206 - r. Is n prime?
True
Suppose -z + 6282 = z - 4*m, -3*m = -z + 3145. Is z a prime number?
False
Let o = -24 - -21. Let v be ((-2)/o)/(2/21). Suppose -v*c + 6*c = -106. Is c composite?
True
Let j(l) be the second derivative of l**4/3 - 2*l**3/3 - 13*l**2/2 + 7*l. Is j(-7) a composite number?
False
Is 24*(-10)/(-80) - (-9088)/2 a prime number?
True
Let t(z) = 738*z - 31. Is t(3) prime?
False
Suppose 0 = 2*c + f + f, 5*f + 12 = -2*c. Suppose 0 = 2*a - 3*a - 2*b + 6241, 3*a + c*b = 18727. Is a composite?
True
Let d(a) = -355*a**2 - 1. Let v be d(-2). Let y = -626 - v. Suppose -961 = -4*g + y. Is g a composite number?
False
Let n = 537 + 1283. Suppose -8*h + n = -4652. Is h a prime number?
True
Let g = 32 - 34. Is g/(-2) - 234*-15 a prime number?
True
Suppose 4*d + 0*d - 10 = 3*b, -b = 3*d - 14. Suppose -392 = -4*q + d*c - c, -c = -4*q + 392. Suppose -67 = -3*v + q. Is v composite?
True
Suppose -2*g - 14 = q, 5*q - 3*g + 4*g + 70 = 0. Is q*(-4)/(-16)*-634 composite?
True
Let w(q) = 3*q - 34. Let l be w(10). Is (4 - 521)/(4/l) a composite number?
True
Suppose 3*o - 4 = 2. Is 226/3*3/o prime?
True
Let n(b) = -2*b**3 - 6*b**2 + 6*b - 4. Let o be n(-5). Let j = -191 + 147. Let x = o + j. Is x prime?
False
Let m be (-4)/(-10)*(-1567 + 2). Let j = -135 - m. Is j a prime number?
True
Let y(t) = -t**3 - 5*t**2 - 2*t - 9. Let w be y(-5). Let j = 5 - w. Suppose -j*o + o + 387 = 0. Is o a prime number?
False
Let m be (6 - -6)/(1*2). Suppose w = 4*w - m. Is 6/w + 2 + 196 prime?
False
Suppose -4*m - 5*n + 65 = 0, 5*m - 3*n + 0*n = 109. Let f = m + -15. Let u(o) = 6*o**2 - 2*o + 5. Is u(f) a prime number?
False
Let w = 149 + -83. Suppose 0 = 2*i + 4*s - w, -4*i + 0*i - 2*s = -126. Let f = 198 - i. Is f prime?
True
Suppose -x - 17179 = -5*u - 941, -4*u + 2*x = -12994. Is u prime?
False
Let n = -35764 + 72355. Is n composite?
True
Suppose -108 = 3*i + 1725. Let z be (-1)/(65/252 - (-13)/(-52)). Let q = z - i. Is q prime?
False
Let f(t) be the second derivative of -t**4 - 7*t**3/6 + t**2/2 - 3*t. Let n(w) be the first derivative of f(w). Is n(-8) a composite number?
True
Suppose 3*g + 4*r = -g, 5*r = -4*g. Suppose g = -3*i - l + 3 + 5, 2*l + 4 = -i. Suppose 3*h + 3*s - 99 = 0, i*h - 3*s - 51 - 67 = 0. Is h a prime number?
True
Let h = 9 + -7. Suppose 5*z - h*z = 291. Is z a prime number?
True
Suppose 1741 = -2*a - 5*p, -5*a - p = 3*p + 4310. Let o = 2551 + a. Is o composite?
False
Let y = 506 - 215. Suppose y = -i + 1282. Suppose -m + i = 5*f, -5*f - 2*m = -0*m - 987. Is f a prime number?
True
Let k(y) be the third derivative of -53*y**5/60 + y**4/4 + y**3/2 - 12*y**2. Let t be k(-4). Let b = t - -1452. Is b a prime number?
False
Suppose 2*u - 1 = 7. Suppose 5*q - 3 = -2*a - u, q = -2*a + 3. Suppose -a*k - 305 = -o + k, 4 = -k. Is o a prime number?
True
Suppose 4*f + 24 = 4*u - 0*f, 24 = -u - 5*f. Let s be u/1*(-3 - -2). Is (0 - s)*(24 - -7) a composite number?
False
Suppose 4*y = n + 28, -5*n = -2*n + 12. Let o be (5 - 13)/(y/(-57)). Suppose 0 = 4*p - 5*c - 261, -2*c + 150 = 4*p - o. Is p prime?
True
Is (-4836 - -1)*7/105*-21 a composite number?
True
Let p(h) = h**3 + 7*h**2 - 9*h - 3. Let z be p(-8). Suppose z*o - 4*a = -311, a = 3*o - 0*a + 181. Let g = -6 - o. Is g a prime number?
True
Is 24/4*(-28346)/(-6) composite?
True
Suppose -2 = -2*u, -u = -5*b + 3*u + 5316. Let a = b - 729. Is a a composite number?
True
Suppose 2*p + 0*p = -2*b + 10436, -2*p + 4*b + 10430 = 0. Suppose -m - p = -7*u + 2*u, 5*u - 5211 = -2*m. Is u a composite number?
True
Let i(r) be the first derivative of 7*r**3/3 - 2*r**2 + 10*r - 34. Is i(-9) a prime number?
True
Suppose -2*p = -5*t + 561161, -2*p = 6*t - 4*t - 224456. Is t a composite number?
True
Let r be (42/8)/(2/(-72)). Let c = 14 - r. Is c composite?
True
Let h(k) be the second derivative of k**5/20 - k**4/2 + k**3 + 3*k**2 - 4*k. Is h(5) prime?
True
Is (6686/6)/(1/3*1) composite?
False
Suppose 0 = 14*d - 21213 + 1473. Let q = d + -713. Is q composite?
True
Suppose 6*g + 3*x - 4755 = 2*g, 5*g - x - 5958 = 0. Suppose g = -2*c + 5*c. Is c a prime number?
True
Let b = 103269 + -70802. Is b a prime number?
True
Let u(d) = d**3 - 9*d**2 + 21*d - 14. Let j be u(6). Let h(f) be the third derivative of f**5/4 - 5*f**4/24 + f**3/2 - f**2. Is h(j) a composite number?
False
Let w = 7 - 9. Let g be w/(-11) + 72324/66. Let r = g + -715. Is r a prime number?
False
Suppose -l - 9 = 1. Is (-3 + 315/l)*-2 composite?
True
Suppose 7*v = -3540 + 17813. Is v prime?
True
Let y be (2/4)/((-7)/(-56)). Let h(b) = b + 1. Let d be h(y). Suppose -d*o - 3*u = -452, 2*o + u - 179 = -2*u. Is o a prime number?
False
Let o(t) = -25*t**3 + 3*t**2 + 8*t + 3. Is o(-5) a prime number?
True
Is (-32)/(-112) + 13305/7 a composite number?
False
Is 4854*9/(44 + 10) a prime number?
True
Let u(k) = k**2 + k - 1. Let f(i) = -i**3 + 4*i**2 + 10*i - 2. Let n(l) = f(l) - 6*u(l). Let s = 64 + -69. Is n(s) a composite number?
False
Suppose 0 = -h + 3, -4*h = -u - u + 20062. Is u a prime number?
True
Let x = 487 + 1976. Suppose -3*b = -8*b - 4*h + x, 0 = -b - 5*h + 501. Is b prime?
True
Suppose -4*d = -2*n + 184, -n = -6*n - 20. Let c be ((-170)/(-8))/((-9)/36). Let b = d - c. Is b prime?
True
Suppose -17 = -b - 0*f + 4*f, 0 = -b + 5*f + 20. Let j = 372 + -369. Suppose 5*i + 2*x - 1013 = 0, 4*x = b*i + 