6*b. Is b composite?
False
Let b be ((-16)/3)/(-8)*12978/4. Let i = -1022 + b. Is i a prime number?
False
Let s be ((-13219)/(-4))/(5/20). Let g = s + -7238. Is g composite?
False
Suppose -49*m + 70837348 = 100*m - 27*m. Is m prime?
False
Let t(z) = -6*z + 858*z**2 - 2 - z + 905*z**2 + 157*z**2. Is t(3) composite?
False
Let l(o) = 2*o + 19. Let a = -9 + 3. Let i be l(a). Suppose -i*v - v + 26152 = 0. Is v composite?
True
Let z(c) = 2138*c - 555. Is z(4) composite?
True
Let m(q) = 349*q + 62. Let j(p) = p - 1. Let z(t) = 6*j(t) + m(t). Is z(3) prime?
False
Suppose 4670 + 6611 = -4*y - v, -3*y + 5*v = 8455. Let o = y - -6463. Is o prime?
True
Let k be 3 + (-63)/(-36) + (-1)/(-4). Suppose 0 = 5*q - x - 1586, -q + 2*q - 312 = -k*x. Is q composite?
False
Let f = 97 + -17. Suppose -2*r - f = -7*r. Suppose 1715 = 5*k - 5*q, k - 2*q + r = 363. Is k a prime number?
False
Let q be 1554/(-14)*(-11)/3. Suppose 3*r + q = 2*u, -4*r + 386 = 5*u - 3*u. Is u a composite number?
False
Suppose 3*m - 349921 = 4*f, -4*m + 312422 = 4*f - 154186. Suppose 6*x = m - 33673. Is x composite?
False
Let o = -596 - -8134. Suppose 0 = 9*a - o - 15673. Is a prime?
True
Let w be (-1 + (-12)/1)*-215. Let d(n) = 2*n**2 - 2*n - 2. Let q be d(2). Suppose q*h + 3*h - w = 0. Is h prime?
False
Is (71756/6)/(-10 - 3528/(-351)) a composite number?
True
Let x = 153 - 154. Is (x*1)/(10/(-15810)*3) a composite number?
True
Suppose 4*h - 10*h = 13*h. Suppose -5*j + 10294 = 3*z, -j + h*j = -5*z + 17166. Is z a composite number?
False
Suppose 16*w - 3564438 - 1272826 = 0. Is w prime?
True
Let x(s) = -1290*s + 503. Is x(-16) a composite number?
False
Let n(w) = -2*w - 16. Let c be n(-10). Suppose -4*k = -k - c*i - 34911, -k + 11642 = -3*i. Is k prime?
True
Suppose 8 = -3*d + 23. Let a(b) = -2*b + 15. Let t be a(d). Suppose -n - t*p = -599, -2 = 3*p - 4*p. Is n prime?
False
Suppose -3*k - 9*z - 205016 = -2538686, -k + 3*z + 777908 = 0. Is k prime?
False
Suppose 65159 = 5*c + 12524. Suppose c - 1012 = 5*z. Is z composite?
True
Suppose u + 5*d = 276258, -4*u + 2*d = -1859389 + 754379. Is u a composite number?
True
Suppose -w = -k + 4915, w = 4*k - 0*k - 19675. Suppose k + 5451 = 3*r. Is r prime?
True
Let t(n) = 11*n**2 + 5*n + 1. Let o be ((-1)/(-1))/(((-3)/(-3))/3). Suppose 0*h - h - 19 = -o*s, -4*s + 20 = 0. Is t(h) prime?
True
Let u(l) = -3613*l**3 + l + 3. Let n(h) = -3613*h**3 + 2*h + 3. Let r(q) = 4*n(q) - 3*u(q). Is r(-1) a prime number?
False
Let a(h) be the first derivative of 17 + 22*h - 1/4*h**4 - 11/2*h**2 - 7*h**3. Is a(-21) a composite number?
True
Let h(z) = -90*z**3 - z**2 + z - 7. Let i be h(3). Let l = 2170 - i. Let u = -2730 + l. Is u composite?
True
Let a = -2796 + 7234. Suppose -6*y + a + 1796 = 0. Is y a prime number?
True
Let h(c) = 78700*c**2 - 3*c + 7. Is h(2) prime?
False
Let v = -871 + 880. Suppose -3*u = 2*j - 25993, -5*u + 3*j = -0*j - 43309. Is 2*u/2 + (9 - v) a prime number?
True
Let u(r) = 2*r + 35. Let q be u(-12). Suppose -q*b - 3669 = -12*b. Suppose 0 = 2*v - c - 1839, 3*v + v = 5*c + b. Is v prime?
False
Let k(u) = 137*u**2 - 2. Let o be k(-1). Let v = -31 + o. Let g = 161 - v. Is g a composite number?
True
Let d(a) = -2073*a - 17. Let q(b) = -b + 21. Let p be q(27). Is d(p) prime?
True
Let p be (-1 - 4/1)*24/(-60). Suppose 0 = -5*m - p*w + 13049, -m - 7842 = -4*m + 3*w. Is m a composite number?
True
Let p(c) = c**3 + 3*c - 26. Let m be p(5). Suppose -34 = 16*n - m. Suppose 0 = -2*b - 4*g + 3848 + 3198, n*b = 5*g + 17645. Is b composite?
False
Let l be (12 + -14 + 153/2)*38. Let y(g) = 163*g**3 - g**2 - 2. Let u be y(3). Let h = u - l. Is h composite?
False
Suppose -a = -1, -19*a - 2189 = 4*c - 20*a. Let g be 5/(10/516)*7. Let r = g - c. Is r a composite number?
True
Let p be 2*10/(-4)*(-6)/5. Is 4313 - (p + -6)*1/(-2) a composite number?
True
Suppose 0 = 41*s - 3151213 - 997864. Is s prime?
True
Let y be ((-8)/40)/((-4)/(-10))*-4. Suppose -y*s - 2*r = 583 - 3501, 0 = -2*s - r + 2923. Let p = s + -203. Is p prime?
False
Suppose 320*d - 318*d = x + 44734, 4*x - 44734 = -2*d. Is d a prime number?
True
Let v(m) = -2*m**2 - 16*m - 10. Let f be v(-6). Let r(p) = -23*p - 24. Let z be r(f). Let i = -97 - z. Is i a composite number?
True
Suppose 5*i - 15022 = 5018. Suppose 5*r + i = 18998. Is r prime?
False
Suppose 2*k - k + 9 = 3*w, -20 = -5*w. Suppose 2*f + 5*u = u + 618, k*u = -2*f + 613. Suppose -m + 108 = -f. Is m prime?
False
Suppose -4*t + 17 = -5*g, 2*g + 9*t - 13 = 4*t. Is (25 - (g + 4))*226/4 a composite number?
True
Let r(a) = 1754*a - 1764*a + 2 - 9 + 715*a**2 + 1. Is r(-3) a prime number?
False
Let q(y) = 3700*y - 733. Is q(6) prime?
True
Let q(f) = -194*f + 3. Let y be q(5). Suppose -2*i + 2*o - 477 - 495 = 0, 0 = i - 4*o + 480. Let l = i - y. Is l prime?
True
Suppose 3*b - 91 = -31. Let f = -11 + b. Suppose f*z + 3*z = 18924. Is z prime?
False
Let d = 294 + -289. Suppose -j = -2*u - 5*j + 9486, -d*u + j = -23759. Is u composite?
False
Let d be 2/8*19 + 4/16. Suppose d*m = 5*g + 285, 3*g = -g + 3*m - 230. Let b = g - -144. Is b a composite number?
True
Suppose 3*b + 37 = d, 5*d + 0*b - 149 = 3*b. Let r be 17004/d + 6/(-21). Suppose 431 = 3*u - 4*g - 216, 3*u = -4*g + r. Is u a prime number?
False
Suppose -20*p = 110 - 410. Suppose -p*o = -239375 - 326830. Is o a composite number?
False
Suppose 0 = -2*c + 134 + 11242. Suppose l + c = 2*d, -d - l - 14217 = -6*d. Is d a composite number?
False
Suppose 4*n - 76100 = 4*y, -4*y = 32*n - 37*n + 95122. Is n composite?
True
Let c(l) = 294*l**2 + 128*l - 339. Is c(44) composite?
False
Suppose -2*m - 2930 = -23*q + 27*q, 5*q + 3661 = -2*m. Let w = q + 798. Is w composite?
False
Suppose -6*m + 24 = -12. Suppose 3*j = m - 9. Is (4 - 7)*(-66 - (j + 2)) composite?
True
Let w(x) = 1500*x**2 + 37*x + 124. Is w(-3) prime?
True
Suppose -96*z + 526117 = -3590075. Is z a composite number?
True
Let u(n) = -n**2. Let x(m) = -236*m**2 - 21*m - 120. Let a(o) = 4*u(o) - x(o). Is a(-5) a composite number?
True
Is -3788834*(1328/224 - 6) composite?
False
Suppose 5*b - 8*n + 6*n = 0, 3*b = -3*n. Suppose b = -6*i + 1669 + 1313. Is i a prime number?
False
Let y = -152 - -218. Let q = 77 - y. Suppose -q*g = -18093 - 2114. Is g composite?
True
Let t = -3281 + 3271. Let b(o) be the third derivative of 3*o**5/4 + 3*o**4/8 - 13*o**3/6 + o**2. Is b(t) prime?
True
Let x(k) = k**2 + 11*k - 8. Let c be x(-12). Suppose l + 3201 = c*l. Suppose -2*o - 2*p + 253 = -o, 3*p = 4*o - l. Is o composite?
False
Suppose 3*y = s - 6, s + 2*s - 26 = y. Is (-100680)/(-40)*39/s prime?
False
Suppose -250 = 10*q + 15*q. Is (q/(-10))/((-5)/(-67765)) composite?
False
Let s = 354 + -286. Suppose a = 0, -s = -2*q - 2*a + 2654. Is q a prime number?
True
Suppose -14*t = -10*t + 24, -3*a = -4*t - 86706. Is a composite?
True
Suppose 24431 = -3*w + 4*w + 4*b, 0 = -5*w - 2*b + 122137. Is w composite?
True
Suppose 3674260 = 176*j - 8391366 - 1905078. Is j a composite number?
False
Suppose -5*s + 140 = f, 0*s + 74 = 2*s + 4*f. Suppose -29*w + 2338 = -s*w. Is w a prime number?
False
Let j = 111 + -115. Is ((27088/(-6))/j)/((-64)/(-96)) prime?
True
Let k(n) = 220*n**2 + 2*n. Let d be k(-1). Suppose 0 = 2*t - 5*q + 3*q - 94, 4*t - 184 = 5*q. Let y = d + t. Is y prime?
True
Let o(m) = 40*m**2 - 13*m - 7. Let x(h) = 7*h - 97. Let r be x(13). Is o(r) a composite number?
False
Let a be 2/(-6) + 88/(-24). Let b be -2 + (-3 - (1 + a)). Is (b + 6/12)/((-2)/1796) a prime number?
False
Suppose 0 = -4*a + 120*o - 115*o + 415829, 5*a + o - 519750 = 0. Is a prime?
True
Is (-55854120)/(-140) - (1 + -11 + -1) a composite number?
False
Suppose -16*i = -115173 - 37611. Let f = i - 1050. Is f prime?
False
Let b = -274586 + 1458367. Is b a composite number?
False
Suppose -3*u + 2316 = 8406. Let a be 4/((-32)/4)*6354. Let p = u - a. Is p composite?
True
Suppose 0 = -76*p + 78*p - 16962. Let a = p + -6022. Is a a prime number?
True
Let o(l) = 35*l**2 - l + 88. Let q be o(-16). Suppose -5*z + q = -z - 4*h, 11337 = 5*z + 2*h. Is z a prime number?
True
Let f(l) = 1017*l**2 + 11*l + 7. Let r be f(-5). Is r/11 + -1 + -1 composite?
True
Let n be 2/8 - 2/((-8)/15). Suppose 43124 = -2*y + 6*y - n*q, -q + 21562 = 2*y. Is y composite?
False
Suppose 344 = -46*w - 24. Is (742/(-4))/(-5*w/(-80)) prime?
