 number?
False
Suppose -j + 156 = -3*v, j - v - 79 = 85. Suppose 0 = -4*b - 4*x + j, 0*b - 3*b = -x - 134. Suppose -22*u - b = -24*u. Is u a composite number?
True
Let c be (-228)/(-1) - (9 - 14). Let n = c + 644. Is n a prime number?
True
Let i = 23 + -29. Let p be 48/(-36) - (-5002)/i. Is (p/(-2))/(7/14) prime?
False
Suppose 4*w = p + 260642 + 10413, w - 67770 = -p. Is w a prime number?
False
Suppose 0 = 4*l + x - 18791, -5*l + 2*x + x + 23510 = 0. Is l composite?
True
Suppose 0 = -19*i - 14*i + 139953. Is i a composite number?
False
Suppose f - 2*f + 3519 = 0. Suppose -f = -17*p + 8*p. Is p a composite number?
True
Let t be (-19)/(-2) - 63/(-42). Suppose 0 = -13*o + t*o + 70. Let k = o + 164. Is k a composite number?
False
Let a be (-18414)/(3/(-1)) - (-2)/1. Suppose 6*k - 8482 = a. Is k a prime number?
True
Let d(c) = c**2 - c + 140. Let g be d(0). Suppose -4*x + 10 = -2*w, -4*w = 2*x + w + 1. Suppose -g + 22 = -x*m. Is m a prime number?
True
Suppose -11482 = -5*i + 6053. Suppose 3*p - 2*d - i = 0, 4*p - 4*d = 3*p + 1159. Is p prime?
True
Suppose 8*j - 20 = 4*j. Suppose 0 = -a - j, 0 = 2*m + a - 2 + 15. Let i(o) = -75*o + 7. Is i(m) a composite number?
False
Suppose -r - 3*r = 0. Suppose r = 4*a + v - 6, -5*v = 2*a + 6 - 0. Suppose -314 = -a*t - 0*t. Is t composite?
False
Let d(f) = -f**2 + 3*f + 17. Let k be d(6). Let h(b) = -557*b**3 - b**2 - 2*b - 1. Is h(k) a prime number?
True
Let s(z) be the second derivative of -53*z**3/2 + 5*z**2 + 4*z. Is s(-3) a prime number?
True
Let o(d) = d**3 + d**2 + 2*d. Let r be o(0). Suppose r*z = -4*z + 4012. Is z composite?
True
Let j = -7371 - -11307. Is j/10 - (-33)/(-55) a composite number?
True
Let i be (4 + -2)*2/2. Suppose i*f = 0, f - 7509 = -3*v + 2*f. Is v a composite number?
False
Let c be (-7 + 6)/(1/(-2)). Suppose 2*h + 3487 = n + 2*n, 0 = -2*h + c. Is n a prime number?
True
Is (-5)/((-15)/2928) + -5 prime?
True
Let f = 523 - -3560. Is f a prime number?
False
Let s = 1779 - 479. Suppose -2*c = 198 - s. Is c prime?
False
Let k = 306 - 183. Let t = -70 + k. Is t a composite number?
False
Suppose 30 + 2 = -4*a. Is (-1)/(-2) - 12068/a a prime number?
False
Suppose 282*b = 275*b + 4669. Is b a composite number?
True
Suppose k - 1651 = -4*l - 2*k, 2*l - 836 = 2*k. Is l a prime number?
False
Let h = -1437 + 2740. Is h prime?
True
Let o(k) = -3*k**2 - 7*k - 11. Let q be o(8). Let b = q + 473. Is b prime?
False
Let f = 25 + -37. Is 42/f*(-1 + -45) composite?
True
Suppose 4*j - a = 62, -12 = 4*j - 5*j + 2*a. Suppose 50 = 6*c - j. Is c a composite number?
False
Let u = 26419 - 8118. Is u a composite number?
False
Let t be (15/9)/(-5)*9 + -3. Is 381 - (-2 - -1 - t/6) a composite number?
True
Let d = 6872 + -633. Is d a prime number?
False
Let s = -2765 - -1607. Let r = s + 1901. Is r composite?
False
Suppose r - 3*r + 1904 = 0. Suppose d - r = -0*d. Suppose -758 = 3*k - 7*k + 2*x, x + d = 5*k. Is k a prime number?
True
Suppose -30*s = -38*s + 66824. Is s composite?
False
Suppose -5*u = 3*c - 6, 3*u - 2*c + 4*c - 4 = 0. Suppose u = -0*l + 2*l. Suppose 2*n + n - 381 = l. Is n prime?
True
Let s = -134 - -190. Let g = 30 - s. Is (-4)/g + 1203/39 prime?
True
Let k(d) = -d**3 + 30*d**2 + 26*d - 43. Is k(30) composite?
True
Suppose a + 67 = -4*v + 11, 3*v = -12. Let p = -66 - a. Is (-3462)/p + 14/(-91) composite?
True
Suppose -44945 = -87*y + 82*y. Is y composite?
True
Suppose 1941 = n - 5*f, -5*f + 0 = 10. Is n composite?
False
Suppose -579 = -3*c - 2*i, -2*c = -3*i - 163 - 236. Suppose a + 3*a - 3*y - 1657 = 0, -y - 1239 = -3*a. Let f = a - c. Is f composite?
True
Let g(h) = -h + 15. Let c be g(13). Suppose -5*t + 4000 = 3*r, 2*r - 793 = t - c*t. Is t a prime number?
False
Suppose 26 = 39*m - 26*m. Let k = -2 - -2. Suppose -4*q - z + 3765 = k, -m*z = -0*q + 4*q - 3766. Is q prime?
True
Let y be -1 - (3 - 4 - 0). Suppose y = -5*t - 0*t + 3*r + 325, -2*r - 196 = -3*t. Suppose -t = 2*o - 4*o. Is o prime?
True
Suppose 4*r - 3*n - 14749 = 0, -5*n + 2795 + 921 = r. Is r a composite number?
False
Let c be (-12267)/145 - (-6)/10. Is (-4)/c*6 + (-257)/(-7) a composite number?
False
Let c(u) be the third derivative of 2*u**5/3 - u**4/12 - 7*u**3/6 + 20*u**2. Is c(3) prime?
True
Let u = -1844 - -6236. Suppose -h + 5*d = 2*h - u, 0 = 4*d + 12. Is h a composite number?
False
Let r be 10/12 - 1 - (-22476)/72. Let m = -19 + r. Is m a composite number?
False
Let h(g) = g - 2. Suppose 0 = -0*o + 2*o + v + 2, -o + 3*v - 1 = 0. Let w be h(o). Is ((-466)/6)/(1/w) prime?
True
Let w be (2/(-6))/(2/(-30)). Let b be (3 + -3 - 1641)*w. Is b/(-55) + (-2)/11 prime?
True
Suppose 4*a - 722 = 2*x, -3*a - 3*x = -8*a + 903. Let p = a - 77. Is p a composite number?
False
Let z(y) = 88*y**2 + 58*y - 3. Is z(10) prime?
True
Let a = -3 + 11. Let b(f) = -f**3 + 6*f**2 + 9*f - 11. Let s be b(a). Let i = 228 - s. Is i composite?
True
Let y = 3302 + 635. Is y a prime number?
False
Suppose -m + 20706 = 5*l, -3*m = -m - l - 41357. Is m prime?
True
Suppose -11*l = -10*l - 2059. Is l a composite number?
True
Suppose 4*y + 2*p - 13396 = 4130, -3*y = 3*p - 13152. Is y a prime number?
False
Is 6892 + (3 - (5 + -3)) prime?
False
Suppose -3*o = -2*d - 5*o + 3902, -2*o = -d + 1945. Is d a composite number?
False
Let z(a) = 4*a**3 - 2*a**2 - 3*a - 7. Let u be z(-5). Is u/(9/(135/(-6))) composite?
True
Let p = 8 + -20. Let m(y) = -13*y - 7. Is m(p) composite?
False
Let r = -151 + 2460. Is r a composite number?
False
Let o(s) be the second derivative of s**6/120 + s**5/30 + 211*s**3/6 - 7*s**2 + 6*s. Let l(r) be the first derivative of o(r). Is l(0) prime?
True
Let m(b) = 12*b - 6 + 3 - 13 - 17*b. Is m(-18) a composite number?
True
Suppose v - 1 = -5*r, 2 = r - 2*r. Suppose 1754 = -9*o + v*o. Is o prime?
True
Let z(n) = n**3 + 7*n**2 + 5. Suppose 0 = 4*k - 9*k - 20. Is z(k) a prime number?
True
Is ((-3)/4 + 1)/((-66)/(-1922712)) composite?
False
Let p(v) = 9*v - 12. Let b be p(13). Suppose 0 = l + b - 788. Is l prime?
True
Suppose 8*v - 7*v - 247 = 0. Suppose 45 = -4*j - v. Let w = 140 + j. Is w a composite number?
False
Let w = 3517 + -1349. Let m = 2201 + w. Is m a composite number?
True
Suppose -46461 = -4*g + 4663. Is g composite?
False
Let p(k) = 2830*k**2 - 2*k - 1. Is p(-1) prime?
False
Is (-1)/1*77/7*-2909 composite?
True
Let l(u) = -351*u - 17. Is l(-4) composite?
True
Let r = 19821 + 8294. Is r composite?
True
Suppose -5*f = 4*v + v + 15, 4*f - 2*v - 6 = 0. Suppose -4*h = f, 5*u + 0*h = -2*h + 15. Is (u + -1)/(-1) - -319 composite?
False
Let j(v) = -9*v**3 - 59*v**2 - 5*v - 68. Is j(-19) composite?
False
Suppose -5*a + 13 = -4*t + 35, 2*t + 3*a = 0. Suppose -5546 = -t*k - n, -2*n = 5*k - 4*n - 9225. Is k a prime number?
True
Let s(k) = k**3 + 3*k**2 - 4*k + 1. Let m be s(-4). Let t(f) = 1 + 19*f - 1 - m - 2. Is t(10) a composite number?
True
Suppose -4*o - 304 = 4*y, -4*o = 17*y - 12*y + 305. Suppose 0*v + 5*u + 32 = 3*v, u = -2*v + 4. Let b = v - o. Is b composite?
False
Let i = 4865 + -2286. Is i a composite number?
False
Let m = -11113 + 19334. Is m composite?
False
Let n(d) = 14*d**2 + 12*d + 4. Let o(u) = -u - 1. Let h(a) = n(a) + 5*o(a). Is h(-8) prime?
True
Suppose -2*v + 1333 = 3*u, 5*v - 8 = v. Is u composite?
False
Is ((-262618)/228)/(1/(-6)) composite?
False
Let x(i) = -12 - 7*i**2 - 2*i**2 + 14*i - 5*i**2 - i**3 - 1. Let q be x(-15). Suppose 2*l - 5*l + 267 = q*t, -356 = -4*l + 3*t. Is l a prime number?
True
Let o(n) = -25*n**3 + 3*n**2 + n - 23. Is o(-12) a composite number?
False
Let d = 51 - 57. Is ((4 - 4) + 1754)*(-3)/d prime?
True
Let l be ((-16)/12)/(2/(-3)). Suppose u + 2*u = 0, -l*c = 4*u. Suppose c = -2*t - 3*t + 2485. Is t composite?
True
Let x be (-3)/(-7) - (-3293)/(-7). Is ((-25)/(-50))/((-1)/x) a prime number?
False
Suppose 3288 - 1081 = m. Suppose -5*b - 4*u - 425 + m = 0, 2*b = -5*u + 706. Is b prime?
False
Suppose v - 3 = 0, 0 = 2*o - 0*o + 2*v - 14. Let b = 10707 - 6105. Suppose -c = a + 3*a - b, -a = -o*c - 1159. Is a prime?
True
Let a = 46 - 39. Suppose -a*j + 15*j = 3568. Is j a composite number?
True
Let j(p) be the first derivative of p**4/4 + 25*p**3/3 + 9*p**2/2 - 12*p + 24. Is j(-21) composite?
True
Suppose 11 = f - 2*f. Let x = 10 + f. Is -1 - (1*-28 - x) a composite number?
True
Suppose 118*t + 107108 = 1