) a composite number?
True
Suppose 0 = -b + 5*n, 4*b - 4*n = 5 + 11. Suppose b*y = -4*z, 0 = 3*y + z - 11 + 4. Is (-14)/y*(-1 - 73) prime?
False
Let f = -297 - 2338. Let p = -1664 - f. Is p a prime number?
True
Let c(j) = 2*j - 2. Let g be c(4). Suppose -g*p + 1060 = -2*p. Is p a prime number?
False
Let j(o) = -o**3 + 9*o**2 - 9*o + 11. Let t be j(8). Suppose 2*l - 2225 = -5*w, -3*l = t*w - 765 - 579. Is w a composite number?
False
Let s = 19083 - 11098. Is s a prime number?
False
Suppose -57101 = 142*u - 153*u. Is u a composite number?
True
Suppose -4*r = -9*r + 10. Suppose 0 = r*k - 587 + 49. Is k a prime number?
True
Suppose s + 15 = 3*y, -5*s = -5*y + 23 + 12. Let q be (y/5)/((-4)/(-30)). Suppose -4*h + q*h = 102. Is h a composite number?
True
Suppose 100 + 300 = -4*n. Let q = -55 - n. Suppose -u = -q - 14. Is u a composite number?
False
Let a(g) = -g**2 - 4*g + 16. Let v be a(-7). Let w(y) = -112*y - 7. Is w(v) a composite number?
True
Let a(q) = -1 + 206*q**2 + 6 - 4. Let x be a(-1). Suppose 5*l + 2*c - 1080 = 3*c, l - x = 2*c. Is l a prime number?
False
Suppose -5*w + 1044193 = -4*j, 7*w - 2*j = 9*w - 417670. Is w composite?
False
Let x be 7/42 + (-87)/(-18). Suppose -2695 = -5*t - 5*p, x*p = -t + 429 + 102. Is t a prime number?
True
Let p(x) = 798*x**2 - 12*x + 5. Is p(-2) a composite number?
False
Let a(o) = 3848*o**2 + 90*o + 681. Is a(-7) a prime number?
True
Let s(r) = 6*r - 20. Let b be s(4). Suppose -b*a + 733 + 1183 = 0. Is a prime?
True
Let n = 5 - 0. Suppose 0 = -2*j - n*u + 15, 3*j = u + 48. Suppose j + 6 = y. Is y prime?
False
Suppose -5*m = -3*w - 14098 - 25413, -3*m + 23701 = w. Is m a composite number?
False
Suppose 128486 = -r + 35*r. Is r composite?
False
Let l = -1960 + 4394. Let t(h) = 2*h**3 + 3*h**2 - 2*h - 3. Let q be t(-3). Is l/6 + (-32)/q composite?
True
Let b(l) = l**3 + l**2 - l + 4. Suppose 0 = -10*h + 5*h. Let f be b(h). Suppose -3*n + 3*w + 1110 = 0, 1378 = 3*n - f*w + 269. Is n composite?
True
Let l(f) = 37*f - 3. Let z be (-11)/(-3) - 3/(-9). Is l(z) prime?
False
Let y(l) = -68*l**2 + 3*l + 3. Let q be y(-1). Let d = 359 - q. Is d a prime number?
False
Let u = 5580 - 3679. Is u a composite number?
False
Let b(l) = l - 7. Let t be b(9). Suppose -5*z + 177 = -t*z. Is z prime?
True
Suppose -5*q + 6*q - 1 = 0. Is (7 + -4 + 164)*q*3 a composite number?
True
Suppose 0 = 3*o - 2*l - 20, 5*o - o = 3*l + 28. Suppose t + x - 4646 = -2*x, o*x = -2*t + 9294. Is t prime?
True
Let f(r) be the first derivative of 134*r**3/3 + r**2/2 + r + 8. Suppose 3 = 5*a + 8. Is f(a) composite?
True
Let v(g) = -g. Let z(h) = -2*h**2 - 3*h. Let k(y) = -4*v(y) - z(y). Is k(5) composite?
True
Let s be -4*(-2)/4*4. Suppose s*o = 14*o - 4674. Is o composite?
True
Let r be (6/4)/((-12)/120). Is 3165/6*(-12)/r a composite number?
True
Suppose 3*q + 24169 = 5*i, -6*i + 4*q = -2*i - 19332. Is i a composite number?
True
Let g = 187670 - 112591. Is g a prime number?
True
Is (-51)/(-306)*1986*1 a composite number?
False
Let j(w) = -6*w - 4. Let t be j(-1). Suppose -1671 = -r - 3*r + z, -2*z = -t*r + 840. Is r a prime number?
False
Let q(d) = -5*d + 3. Let l(z) = -5*z + 3. Let j(n) = 2*l(n) - 3*q(n). Let v(a) = 2*a**2 - 4*a + 4. Let o be v(3). Is j(o) a composite number?
False
Suppose -4*y + 0*y = 3*v + 5, 0 = 2*v - y - 4. Let c(j) = -3*j. Let k be c(v). Is k*(-240)/9 + 3 a composite number?
False
Let y(i) be the first derivative of i**2/2 + 4*i + 13. Let c(f) = f + 3. Let a be c(0). Is y(a) prime?
True
Is 136992/22 - (-76)/836 a composite number?
True
Suppose 2*h - 33 - 317 = 0. Suppose -4*f - 3 = -h. Is f a composite number?
False
Suppose 18444 = 2*s - 5*s. Is (-1*2)/(s/1228 + 5) a composite number?
False
Suppose 3*y + 2*y - 4 = t, 3*t = -y + 4. Let j be y/(-2) + (-3)/6. Is 0 + j - 2052/(-1) a composite number?
True
Let f(k) = 10*k**2 + 4*k - 7. Let g be f(8). Suppose -2*u + g = 5*c, -4*c + u = -569 + 50. Is (c/5)/(11/55) a composite number?
False
Let d(i) = -i**2 - 14*i + 10. Let q be d(-11). Let a = 288 + q. Is a a composite number?
False
Suppose -1 = -d, 0*v + 3*d - 253 = -v. Let t = 591 - v. Is t a composite number?
True
Let d(q) = 1684*q**2 - 3*q + 1. Is d(2) a prime number?
False
Suppose 6*j - 7*j + 56 = 0. Let q = j - 247. Let c = q + 376. Is c prime?
False
Let w(k) = -k**3 + 26*k**2 + 12*k - 46. Is w(21) a prime number?
True
Suppose p + 259 = 5*x - 2*p, -4*x + 2*p = -208. Let z be ((-62)/(-8))/((-1)/(-4)). Let l = x - z. Is l a prime number?
False
Let y(z) = z + 7. Let r be y(-8). Is (-6)/(-6)*r*-1567 a composite number?
False
Let o = -2679 + 1448. Let t = 24 - o. Is t prime?
False
Let l(x) = -311*x - 5. Suppose -4*s - 14 = -6. Let c be l(s). Let h = c - 286. Is h a composite number?
False
Let u(z) = -624*z + 34. Is u(-12) composite?
True
Let f be (2 - 0)*2*(-9)/6. Let q(g) = -7 + 0 - 3*g + 0. Is q(f) a composite number?
False
Suppose -2 = v - 3. Let x = 247 - 564. Is 3/(-12)*(x + v) composite?
False
Let y(t) = t**3 - 4*t**2 - 5*t + 4. Let j be y(5). Suppose 3*n = -p - 0*n, 13 = 3*p - j*n. Suppose 5*d - 6*d = -l - 163, -p*l - 652 = -4*d. Is d a prime number?
True
Let b(l) = 7 - 2 + 15 - 9 - 133*l. Is b(-6) a composite number?
False
Let d = -8741 + 30590. Is d prime?
False
Suppose 0 = -5*q + 5*w, 6*w - w + 14 = -2*q. Let k = q + 7. Suppose -k*z + 83 = -252. Is z a composite number?
False
Let b = 20 + -59. Let y be (-26)/b + (-61)/(-3). Suppose y = -s + 112. Is s a prime number?
False
Suppose -4*s + 106 = -b, -s + b = 4*b - 33. Suppose s*a - 1825 = 22*a. Is a a prime number?
False
Let o = 41 - 38. Suppose -l = -5*c - 464, -o*l - c = 2*c - 1338. Is l a composite number?
False
Suppose -1 = a - 9. Suppose -15 + 39 = a*c. Suppose 0*q - 1227 = -c*q. Is q composite?
False
Let b be (14/(-4))/(6/(-852)). Let q = b - 286. Is q a composite number?
False
Is 7/((-63)/(-57678))*24/16 prime?
True
Suppose 0 = 5*f - 58 - 32. Suppose 189 = 3*t - f. Is t a prime number?
False
Let c(v) = 3*v**3 + 4*v**2 - 6*v - 11. Is c(8) prime?
True
Suppose -58*v + 53*v = -2*x - 24585, 14735 = 3*v + 2*x. Is v a prime number?
False
Let a(h) = 2534*h**2 + 3*h + 3. Is a(-2) composite?
False
Let c be (-2)/(-1)*(-4)/(-8). Let d be c/(-4) - (-117)/36. Suppose d*z + 14 = 83. Is z prime?
True
Let o be (2*15/3)/2. Suppose -3*d - 5*n + 5247 = 0, 2*d - o*d = -n - 5247. Suppose 4*p - 2332 = t, 4*t + 0*t = 3*p - d. Is p a prime number?
False
Suppose 56*h - 5*n - 4791 = 55*h, n = -2*h + 9538. Is h a prime number?
False
Let b = -1280 + 2537. Is -2*3/((-18)/b) prime?
True
Suppose -f = -w + 4*w - 14, w = -f + 6. Let g be 1405 - -1 - (1 - f). Let d = g - 712. Is d a prime number?
False
Let b(y) = 3*y**2 - y + 2. Let p be b(2). Let s = 16 - p. Suppose -s*g + 42 = -82. Is g prime?
True
Let h(b) = -13*b. Let m be h(1). Let d = m - -21. Suppose d = a - 14. Is a prime?
False
Let b be 16/(-24) - 4/(-6). Suppose -6*x + 4*t = -x - 3177, b = x + 4*t - 621. Is x composite?
True
Let n(g) = -g**3 + 16*g**2 + 19*g - 32. Let q be n(17). Suppose q*o + 2732 = 6*o. Is o prime?
True
Let o be 5/(20/(-12)) + 8. Suppose 3*q - 1117 = -2*q - l, 0 = -4*q - o*l + 902. Suppose 3*f + 176 = 4*y + 4*f, -5*y + q = 2*f. Is y composite?
False
Let i(k) = -396*k + 1. Let x(q) = 1. Let v(b) = b + 5. Let t(g) = v(g) + 6*x(g). Let o be t(-12). Is i(o) composite?
False
Let f be (-680)/28 - 6/(-21). Let k = 55 + f. Is k prime?
True
Is -5 + -1*(2 - 1) + 18269 prime?
False
Is ((-187)/33)/((-3)/3303) a prime number?
False
Suppose -26 + 126 = 5*j. Suppose 5*o = -2*w + 6, o = 5*w - j + 5. Suppose o = -2*p + 193 + 129. Is p composite?
True
Suppose -s - 14*s + 9495 = 0. Is s a composite number?
True
Suppose -15*f = -29*f + 1148714. Is f a prime number?
True
Suppose 8*g = 12*g + 44. Let m(i) = -i**3 - 10*i**2 + 4*i - 2. Let j(u) = u**3 + 10*u**2 - 5*u + 1. Let z(b) = 4*j(b) + 5*m(b). Is z(g) a composite number?
True
Suppose 5*v - 3374 = -2*r, 3*r + 17*v = 19*v + 5061. Is r a prime number?
False
Let h = -42 - -80. Suppose 18 = -0*o - o + 2*x, -5*x = -2*o - h. Is 97/1 - o/(-7) prime?
False
Let u = 2509 - 372. Is u a prime number?
True
Let t = -29 + 64. Let u be (-28)/t - (-58)/10. Suppose -m = -5*x + m + 159, 5*x - 165 = u*m. Is x composite?
False
Let q(g) = 24*g + 49. Is q(4) prime?
False
Is (2/(-16)*2)/(26/(-43576)) composite?
Fal