rime number?
False
Suppose 12*v = 21819 + 23697. Is v prime?
True
Let d = 4199 + -2368. Is d prime?
True
Let y be (-1 - -1 - 1/(-1)) + 16373. Suppose -6*v + y = -0*v. Is v a prime number?
True
Let n be (-1)/(-1 + (-18)/(-17)). Let b = n - -13. Is 288 + (-1 - 8/b) prime?
False
Let w(s) = s**3 + 4*s**2 + 2*s - 2. Let h be w(-2). Suppose 5*x - 3*x = -10, h*x = 3*d - 448. Is d a prime number?
False
Is (12 - 2)/(-20)*-110882 a composite number?
False
Let r(h) be the third derivative of -h**6/8 - h**5/30 - h**4/24 - h**3/6 + 21*h**2. Is r(-3) a composite number?
False
Let q = 2528 - 1167. Is q a prime number?
True
Suppose p - 5*p + 3*c = -80711, -5 = 5*c. Is p a prime number?
True
Suppose 2*t - 3*t = 3*m + 8568, 4*m = -2*t - 11424. Let n = 5269 + m. Is n composite?
True
Suppose -43624 - 67192 = -32*g. Is g composite?
False
Is 867144/9 + (-40)/(-24) a composite number?
True
Let o = 2247 + -88. Is o a composite number?
True
Let l = -76 - -35. Let g = -35 - l. Is g prime?
False
Let f = -46 + 73. Suppose 951 = -5*n + z, 4*n - 5*z + 0*z + 744 = 0. Is (-6)/f + n/(-9) a prime number?
False
Is 33050/10*15/25 prime?
False
Suppose -15482 = -0*n - 2*n - c, c = 0. Is n composite?
False
Suppose -4*q + 3*y = -25997, -4*y - 14435 = -2*q - 1449. Is q a composite number?
True
Let d(b) be the second derivative of -11*b**5/60 + b**4/24 - b**3/2 - 2*b. Let a(k) be the second derivative of d(k). Is a(-1) composite?
False
Suppose -1529 = -4*b - 5*k, 0*b + 2*k = 2*b - 760. Is b a composite number?
True
Suppose 0 = -5*l + 1797 - 682. Let k be (1/(-2))/((-2)/4). Is l + 0/(0 + k) a prime number?
True
Suppose 2*h + 5558 = -5*t, -2*t - 4*h - 1108 = -t. Is 0 + -1 - (t + -4) prime?
False
Let h = -217 + -135. Let x = -18 - h. Suppose -c = c - x. Is c composite?
False
Let h be (-113)/((-28)/(-12) - 2). Let u = 118 - h. Let b = u + -234. Is b a prime number?
True
Is 2 - 3705/(-2 - 3) a prime number?
True
Let h be (21/42)/(1/82). Suppose h + 13 = 6*i. Is i a prime number?
False
Let t = -1 - -8. Let b(i) = -i + 10. Let z be b(t). Let c(k) = 9*k**3 + 2*k + 4. Is c(z) a prime number?
False
Let w be (-12)/(-3) + 810/5. Suppose 5*x + 27 = 3*y, -16 = 4*x - 0*y - y. Let f = w + x. Is f composite?
False
Let g(z) = z**2 + 7*z - 16. Let n be g(-7). Is (-67)/(n/56 - (-1)/(-21)) a composite number?
True
Is (-5501)/4*180/(-45) a prime number?
True
Let n = 802 + -15. Is n composite?
False
Let h(a) = a**2 + 2*a - 7. Let c be h(3). Suppose -3*j + c*j = -5*d + 590, -5*d - j + 578 = 0. Is d composite?
True
Let i = -34 - -39. Let s = 312 - i. Is s a prime number?
True
Suppose o - 40 = -7*o. Suppose 4*r = -4*t + 1508, -t - 1520 = -o*t - r. Is t composite?
True
Suppose -6*d = -1143 - 2685. Let z = 200 - d. Let q = -11 - z. Is q a prime number?
False
Suppose 12*j - 24117 = -7329. Is j a prime number?
True
Let z = -23199 + 32626. Is z a prime number?
False
Let v(f) = 666*f + 191. Is v(30) a composite number?
True
Let c(a) be the first derivative of a**6/72 - a**4/24 + 7*a**3/3 + 9. Let m(b) be the third derivative of c(b). Is m(4) a composite number?
False
Let v(b) = b**3 + 15*b - 35. Is v(10) composite?
True
Let i(y) = 5*y**2 + 13*y + 4. Let g be (-3 - -2)*(1 + 5). Let w be i(g). Let t = w + -29. Is t prime?
False
Let s be (-44)/(-8) - (-3)/(-2). Suppose -1008 + 204 = -s*b. Suppose -7*j = -4*j - b. Is j composite?
False
Let n(h) = -h**2 + 4*h + 2. Let b be n(4). Suppose -b*u - 4146 = -8*u. Is u a prime number?
True
Is (-4)/(-14) - (-28)/((-2156)/(-285879)) prime?
False
Let d = 20452 + 22177. Is d composite?
True
Let v(q) = 54*q**2 - 11*q - 28. Is v(-3) composite?
False
Let m be 2/(-1) - (2 + -6). Suppose -339 = -m*a + 147. Let s = -6 + a. Is s prime?
False
Let j = 47 + -42. Suppose 5*r + 485 = j*x, -x + r + 97 = -r. Is x prime?
True
Suppose 0*d - 8 = -4*d, -s + 3*d = 1992. Is (-8)/28 + s/(-42) composite?
False
Let j(v) = 56*v**2 + 2*v - 5. Suppose 3*p - 5*p - 2 = -3*f, p - 3*f = -4. Is j(p) a composite number?
False
Let i = -6215 + 17262. Is i composite?
False
Suppose 58*m = 55*m. Suppose 4*k - 5*w - 789 = -m*k, 4*k + 3*w - 813 = 0. Is k composite?
True
Suppose 17923 = 7*j - 9888. Is j a prime number?
False
Suppose x - 1 - 1 = 0. Let k be (25/75)/((-2)/(-1902)). Suppose 3*m - k = x*m. Is m a prime number?
True
Let k = -30 + 10. Let t(f) = f**3 + 22*f**2 + f - 11. Is t(k) prime?
True
Let q = 5 - -1. Suppose -3*g + 0*g + q = 0. Is (-603)/6*g/(-3) a prime number?
True
Let a(x) = 6*x**3 - 18*x**2 - 15*x - 3. Let k be a(13). Suppose 8*h - k = 2*h. Is h composite?
False
Suppose 0*h - h + 2*l + 1161 = 0, 0 = -4*h + 5*l + 4656. Let g = h + -822. Is g composite?
False
Let x(a) be the second derivative of 3*a**5/20 + a**4 - a**3/6 - 10*a. Let m be x(8). Suppose -6*v = 2*v - m. Is v composite?
True
Let g be (-2 - -2) + 1/(-2)*-4. Is 2/4*(294 - g) a composite number?
True
Let d be (-39)/(497/1960 - 1/5). Let c = 1135 + d. Is c composite?
True
Let n(j) be the third derivative of j**7/840 + 2*j**6/45 + j**5/120 - j**4/24 + j**3 + 6*j**2. Let o(l) be the first derivative of n(l). Is o(-14) composite?
True
Suppose 0 = -4*w + 7*w - 40251. Is w prime?
True
Suppose 42 = 5*a - 68. Let c = 24 - a. Suppose -5*x - 88 = -c*d + 58, -x = -5*d + 411. Is d a composite number?
False
Let q be 20/(-2)*(-2 + 1584/(-30)). Let d = q + 83. Is d prime?
True
Is 11303/(-2)*(-5)/((-10)/(-4)) a prime number?
False
Let p(g) = 14*g**2 - 7*g - 9. Let q(a) = -4*a - 16. Let j be q(-6). Is p(j) composite?
True
Let q be -6*149*6/(-9). Suppose 14*g - 10*g = q. Is g a prime number?
True
Let z = -21 - -26. Suppose 2*a - 246 = -z*q + 2*q, q + 246 = 2*a. Is a a composite number?
True
Let z(s) = 2*s**2 - 12*s + 43. Let c be (35/(-10) + 5)*28/3. Is z(c) a composite number?
True
Suppose -3*z = -2*i + 12, -z + 2*i - 16 = 4*z. Let b(s) = 3*s + 2. Let c(l) = -4*l - 1. Let p(v) = z*b(v) - 3*c(v). Is p(6) a composite number?
True
Let i = -26 - -31. Suppose -g + 5*u = 2*g - 2036, g + i*u = 672. Is g prime?
True
Let w be 3/2 + -3 + (-7291)/(-2). Suppose -a - 7285 = -2*i, -7*i + w = -6*i + a. Is i composite?
False
Suppose -q + 188 = -0*q + 2*r, 0 = -5*q + 5*r + 970. Suppose 0 = 2*s + 5*x - 215 - q, 3*s = -2*x + 627. Is s composite?
False
Suppose -5*c = d - 57213, -10990 = -c + 2*d + 457. Is c a prime number?
True
Suppose 7*o = -40 + 222. Is 227 + 18/54 + o/(-6) a prime number?
True
Let o(z) = -z**3 - z + 789. Let b be 4/(-10) - 6/(-15). Is o(b) a composite number?
True
Let a be (-1)/(-3) - (-28)/6. Suppose -d = 2*c - 396, 30 - 461 = -d + a*c. Suppose 2*j = -0*j + d. Is j a composite number?
True
Let q(k) = 242*k**3 - k**2 - 19*k + 47. Is q(3) composite?
True
Suppose 0 = 5*t - 4*z - 78129, -4*z = t + z - 15649. Is t a prime number?
True
Suppose -f - 35 - 1 = 4*s, s - 3*f = 4. Let u = s + 13. Suppose -383 = -7*o + 3*o - 5*b, -u*o + 487 = -2*b. Is o prime?
True
Let z = 11 + -5. Let l(i) = 63*i - 7. Is l(z) composite?
True
Suppose 6*m - 3*m = -2*b + 6022, 0 = 2*b - 3*m - 6046. Is b composite?
True
Let k be 17/3 + ((-7)/(-3) - 2). Suppose -5 = -b, 3*l + 5281 = k*l + 2*b. Is l prime?
False
Let k(t) = -69*t + 50. Let z be (-3)/(-7) + (-320)/28. Is k(z) a composite number?
False
Let l(r) = 2*r - 5 + r - 3 - 2*r. Let z be l(5). Is ((-47)/z)/((-2)/(-6)) composite?
False
Let s = 6 + -3. Let l be 6*3/(-6) + 2 + 6. Suppose 3*f - 294 = -s*t - 0*t, l*t = -f + 118. Is f prime?
False
Is 4*1*8*238589/416 a composite number?
False
Suppose 193 - 877 = -18*y. Is y prime?
False
Suppose 0 = 11*g - 5*g + 4170. Is g/(-9) + (-8)/(-180)*-5 a composite number?
True
Let i(z) = -z**3 + 14*z**2 + 16*z - 10. Let k be i(15). Is (k/(-2))/(1/58*-1) a prime number?
False
Suppose 0 = 3*g + 3*f - 8*f - 1696, g - f - 562 = 0. Is g a composite number?
False
Suppose 0 = -9*x + x + 896. Suppose -2*n = -x - 1150. Is n a prime number?
True
Let d = -15885 - -31570. Is d composite?
True
Let n = 244 + 71. Let z = n - 193. Let k = z - 31. Is k prime?
False
Let h(p) be the first derivative of -23/2*p**2 - 1 - 7*p. Is h(-12) composite?
False
Let q = 143 - 137. Suppose -q*y - 2228 + 6554 = 0. Is y prime?
False
Let x be -1 - -6 - 6/3. Suppose 0 = 11*o - 5301 - 3290. Suppose 0 = -4*l + 2*l + 5*k + 498, k - o = -x*l. Is l a composite number?
True
Suppose 3*k - 1905 = -3*x, 3*k + 3*x = k + 1270. Is k composite?
Tru