a prime number?
False
Suppose 4*a - 26 = -22. Is (-296)/(-2) - 3*a/(-3) a prime number?
True
Let a be (-24)/16*(-4)/(-3). Is a/(-6) - 2450/(-3) prime?
False
Is (-306)/(-12)*5/((-30)/(-764)) a composite number?
True
Let n(p) = -393*p - 1. Let s(g) = 394*g + 1. Let f(b) = -5*n(b) - 6*s(b). Is f(-1) a prime number?
False
Let h(v) = 21*v + 6. Let g(l) = l**2 - 106*l - 30. Let o(r) = 2*g(r) + 11*h(r). Is o(-16) composite?
True
Let k be 894/(-3 - -5) + -3. Suppose 2*l + k = 6*l. Let w = l + 124. Is w prime?
False
Let b be ((-10)/8)/((-5)/60). Suppose 5*l - 2*l + 3*q = 3786, 5*q = b. Is l a prime number?
True
Let a(w) = -w**3 + 14*w**2 - w + 17. Let h be a(14). Is (1767/9)/(1/h) prime?
False
Let i = -1659 - -3332. Let r = 3184 - i. Is r a prime number?
True
Let j(p) = 105*p - 56*p + 21*p + 39*p + 5. Is j(8) a composite number?
False
Suppose 2*b - 10324 = 2*o, b + 20*o - 17*o - 5158 = 0. Is b composite?
True
Suppose -2*k = 3*r + r + 650, 0 = 2*k + 3*r + 645. Is 14/(-21)*k/6 a composite number?
True
Suppose 5*p = -5*v + 30, -3*v - 5*p - 4 = -30. Suppose k - 2 = 2*s, -k + s + v = 2*s. Suppose -7*d + k*d = -370. Is d a prime number?
False
Suppose 12*i + 91124 = 8*i. Is (-3)/4 - i/44 a composite number?
True
Suppose 66998 + 52653 = 7*i. Is i composite?
False
Let c be (1 - 1258)*(-2 + 1 + 0). Suppose -3*s + 1257 = -3*w, 0*s - 2*w = 3*s - c. Is s a prime number?
True
Suppose -2944 = -z - 4*u + u, -20 = -5*u. Let b = -879 + z. Is b composite?
False
Let c be -2 + -552 + 1 + -3. Let k = c + 953. Is k prime?
True
Let m = 11 + -14. Let j be (-6)/2 - -1 - m. Let k(n) = 88*n**2 - n. Is k(j) a composite number?
True
Let i(v) = -v**3 + 2*v**2 + 5*v + 7. Let w be i(9). Let p = 233 + w. Let z = p + 541. Is z a composite number?
True
Suppose -2*w = -w - 5*q - 988, -2*w - 4*q = -1920. Let t = -549 + w. Is t a prime number?
True
Is 18/21*35062 + 19/(-133) a prime number?
False
Let h(b) = 44*b**3 + 15*b**2 + 35*b + 67. Is h(18) composite?
True
Suppose -q = 4*q - 3*q. Is 719 + (-1 - q) + 1 a prime number?
True
Suppose 0 = 5*k - k + 40. Let t(w) = w**3 + 15*w**2 + 2*w + 11. Is t(k) prime?
True
Suppose -3*b - 8 = -4*s - 0, 3*s + b - 19 = 0. Is 297/15 + ((-12)/s)/3 a composite number?
False
Suppose 31*v - 46227 = 39364. Is v a prime number?
False
Let p(i) = 5*i - 4. Let q be p(4). Let m(f) = -f**2 + f + 3. Let t be m(4). Is 0 + q - (6 + t) composite?
False
Suppose 0 = -2*a + 3*a - 4*t + 18, 0 = a + t - 7. Suppose 0 = o - 2*c - 474, -3*c = a*o + c - 988. Suppose -x + o + 1 = 0. Is x prime?
False
Let m(q) = -q**2 + q - 6. Let c be m(6). Is 51/2*c/(-27) a prime number?
False
Let b be (-2 - (0 + 1)) + (6 - 0). Suppose b*r - 4870 = 2129. Is r a composite number?
False
Is -4 - (-215526)/16 - 24/64 a prime number?
False
Let g = 472 - -2295. Let o = g - 1434. Suppose 3*p - o = 248. Is p composite?
True
Let l = -6 + 9. Suppose 0*s + 3*u - 756 = l*s, 2*u = -5*s - 1274. Is 0 + -2 - (1 + s) a composite number?
False
Suppose -5*x - 64 = -7*x. Let v = x - -102. Is v composite?
True
Suppose -3*w - 4*q = -0*w - 20, 2 = -2*w + 5*q. Suppose 4*n = z + 4, w*z = 4*n + z + 4. Let f(d) = 47*d**3 + 3*d - 3. Is f(n) prime?
True
Suppose 2*s + 3*k - 2 = -k, 0 = 3*s - 5*k - 14. Suppose i - a = 13, 0 = s*i - a - 44 + 15. Is 200 - 6/(i/(-4)) a composite number?
True
Suppose 0 = -2*b - 87 + 7. Let i be (-16)/b - 8/(-5). Suppose 0*s = s - 4*o - 51, o = i. Is s composite?
False
Suppose -7*m + 5595 = -2903. Is m composite?
True
Let a(b) be the third derivative of b**6/120 + b**5/15 - b**4/24 - 2*b**2. Let g be a(-4). Suppose 297 = x - g*u, -2*u - 519 = -3*x + 352. Is x a prime number?
False
Let k(i) = -i**3 - 11*i**2 + 8*i - 51. Is k(-20) a prime number?
True
Suppose -22*b + 15534 = -4*b. Is b composite?
False
Let v(n) be the second derivative of -69*n**5/2 - n**4/12 + n**3/6 + n**2/2 - n. Is v(-1) a composite number?
True
Let t be 10 + 2*6/(-4). Suppose -l - t*l = -1528. Is l composite?
False
Suppose 2*s = -1 + 7. Suppose -s*m - 4 - 19 = 5*h, -h - 2*m = 6. Is (-2)/(-4)*h + 60 composite?
True
Suppose 2*b - 354 = 2*a - 0*a, 0 = -5*b + 4*a + 889. Let k be -2 + 2 + (-2 - (3 + 94)). Let l = k + b. Is l a composite number?
True
Let i(r) = r**3 - 10*r**2 + 8*r + 11. Let h = -11 + 10. Let s be (-2)/((3/18)/h). Is i(s) a composite number?
True
Let p be -1 - (-3 + (-2 - 2)). Suppose -2*w + p*w - 8 = 0. Suppose w*n = m + 261, 224 = 2*n + 3*m - 57. Is n a composite number?
True
Let r = 133 - -141. Is r a composite number?
True
Suppose 2*s = 2*r + 358, 716 = 4*s + 6*r - 2*r. Is s a composite number?
False
Let q be 0 + 26 + -2 - 3. Suppose -2*z = -z - s + q, 0 = 3*z + s + 59. Is (5/z)/(3/(-636)) composite?
False
Let l(c) be the first derivative of 7*c**2/2 + 16*c - 5. Let v be l(7). Suppose 2*s + 5*z = 26 + 45, 2*s - v = z. Is s prime?
False
Suppose 5*c - 36201 = t + 6918, 4*c + t - 34488 = 0. Is c composite?
False
Suppose 0 = -5*r - f + 1050, -2*f + 427 = 2*r - 3*f. Is r a prime number?
True
Suppose 8 = 3*t + 5*i - 3, -4*t + 58 = -2*i. Let z be t/66 + (-31)/(-11). Suppose -4*b - 4*x = -5*b + 17, -5*b + z*x = -102. Is b a prime number?
False
Suppose l - 226 + 51 = 0. Let j = l - 64. Suppose 4*f = 3*f + j. Is f prime?
False
Let l(a) = -2*a**2 - 2*a + 5227. Is l(0) a prime number?
True
Let i(h) = -h**2 - 11*h - 13. Let a be i(-9). Suppose a*d - 1143 = 282. Let q = d + -194. Is q prime?
False
Suppose -12*f + 18 = -9*f. Suppose f*t + p - 12 = 3*t, 5*t = 5*p. Suppose 169 = t*r + 40. Is r a composite number?
False
Suppose -21 = -11*c + 4*c. Let m(b) = b - 5. Let v be m(5). Suppose v = -c*s - s + 232. Is s a prime number?
False
Let v = 123 - -5056. Suppose 5*l - v - 36 = 0. Is l a composite number?
True
Let k be (-162 + -2)*6/(-8). Let o = -113 - -183. Let l = k - o. Is l a composite number?
False
Let f = 23 - 8. Let n be 1595/f - 2/6. Suppose -3*z + 131 = -n. Is z composite?
False
Is (3 - 25190/4)*(-88)/44 a composite number?
False
Suppose 227*g + o = 231*g - 83111, 5*g = 2*o + 103885. Is g a prime number?
False
Let p = 11 - 24. Let w = -11 - p. Suppose 0 = w*c - c - 67. Is c a prime number?
True
Let w = 305 - 212. Suppose 0*s = -4*n - 2*s + 756, 4*s + 768 = 4*n. Let z = n - w. Is z a composite number?
False
Let l(s) = 7*s + 10. Let m be l(-2). Is m/6*(-444)/8 composite?
False
Let f(a) = a**2 - 20*a + 23. Let w be f(19). Suppose -x + w = -2*x, 2*n + x - 250 = 0. Is n prime?
True
Suppose 0 = 5*t + 4*y - 2*y - 49735, -29825 = -3*t + 2*y. Suppose -3*v - 2*c + 5965 = 0, 0*v - t = -5*v - 4*c. Is v a prime number?
False
Suppose -4*c = -2*o - 84238, -5*o + 45677 = 5*c - 59613. Is c composite?
False
Suppose 4*l = 20, -1 = -2*s + 3*l - 6. Suppose s*r = -19 + 69. Is (1*-2)/(r/(-2435)) a prime number?
True
Let b(y) = -2*y**3 + 7*y**2 - y + 4. Suppose 19 + 6 = -5*d. Let c be b(d). Suppose 0 = 4*l - 650 - c. Is l a prime number?
True
Suppose -31*r + 27*r - 16 = 0. Let j = -2 + r. Is (170/4)/(j/(-12)) a composite number?
True
Suppose -3*y + 15 = 0, -2*b + 2*y + 0*y = -18. Let j(k) = -56 + 12 + 27 + 47*k. Is j(b) a prime number?
True
Let j(a) be the second derivative of 158*a**3/3 + 9*a**2/2 - 31*a. Is j(4) composite?
True
Let q = 1332 - 73. Is q prime?
True
Let d(h) be the second derivative of 50*h**3/3 - 19*h**2/2 - 16*h. Is d(5) a composite number?
True
Let l(q) = -264*q - 197. Is l(-9) composite?
False
Let g(d) = d**3 + 5*d**2 + 3*d - 5. Let w be g(-3). Suppose 5*h + 0*h - 1943 = -4*v, 5*v = w*h + 2439. Is v prime?
True
Is -1*((-2)/(-3))/(28/(-181734)) prime?
True
Let i be (15/(-2))/((-12)/24). Let f be 132/i*475/10. Suppose -3*r - 37 + f = 0. Is r composite?
False
Suppose q - 2 = -u, -3*q - q + 2*u = -14. Suppose -2*s - 52 - 22 = m, -2*s - q*m - 82 = 0. Let d = s + 66. Is d composite?
False
Let d(k) = 4 + 18*k - 56*k + 3 - 129*k. Let t(z) = 83*z - 3. Let l(w) = 4*d(w) + 9*t(w). Is l(2) prime?
False
Is 880/120*(-921)/(-2) prime?
False
Let x(v) = 4*v**2 + 18*v + 11. Suppose -3*w = -6*w. Suppose y + 5*n = -2, -2*y + 4*n - 17 - 15 = w. Is x(y) prime?
False
Suppose 5*i = -1081 - 2389. Is i*((-5)/1)/5 a composite number?
True
Let d be (8 - 12335)*(-1)/3. Suppose 4*m = 3*n + d, 2*m - 191 = 5*n + 1846. Is m prime?
True
Is 2897/2*((-9 - -7) + 4) prime?
True
Suppose 3*g + 9116 = 4*z - 5901, 4*z - 15024 = -4*g. Is z prime?
False
Let a be 6/(-9