number?
True
Let f(g) = 2*g**3 + 3*g**2 + 5639. Suppose 0 = y - 5*y - t + 5, 5*y = -3*t + 15. Is f(y) composite?
False
Let i = 242 - 168. Let v = -364 + 372. Suppose -14 - i = -v*z. Is z a prime number?
True
Let x be 0 + -1 + 1/(4/(-12)). Let z be x/30 + 1628/(-165). Is (-3344)/(-6) - z/(-30) composite?
False
Let s(w) = 3*w**2 + 41*w - 199. Is s(-62) a composite number?
True
Let m = -30666 + 14669. Let b = 10804 - m. Is b a prime number?
True
Suppose 3*p + 11 = -1, -156 = -4*a - 5*p. Let v be (33/a)/((-6)/4)*-4. Is (0 - (-5)/v)*(-398952)/(-180) composite?
True
Is (-104)/(-70) + (-570)/475 + 29061294/14 a prime number?
False
Suppose -3*d + 4*a = -23431, 8*a + 7792 = d + 3*a. Is d prime?
True
Let y be (-1 + -26)*(2 + -8). Let i(m) = 7*m**2 - 69*m + 3. Let r be i(13). Let d = r - y. Is d a composite number?
False
Let a be (2/8)/(((-1)/(-4))/1). Suppose -a = z + 1. Is 1398 + (2 + 2 + z - 1) a prime number?
True
Let j = -92 + -142. Let l = 705 - j. Let p = 1572 - l. Is p prime?
False
Let a be (26 - 27)*(-11)/1. Let b(z) = 7*z**2 - 12*z + 34. Is b(a) a prime number?
False
Suppose 28524276 = 159*y + 215*y - 338*y. Is y prime?
False
Let q = 7002 - -5227. Is q a composite number?
True
Let j(l) = 3*l**3 + 32*l**2 - 14*l - 21. Let v be j(-11). Is -9 - (-17810 - (-6 + v)) composite?
False
Suppose -g - 65 = -6*g. Suppose -g*a + 132517 = -91980. Is a a composite number?
True
Let q = -140321 - -361314. Is q a composite number?
True
Suppose 39 = 3*f + 5*t, -36 = -3*f - t - 3*t. Suppose -7*n + 50 = f. Let l(o) = 8*o**3 - 6*o**2 - 13*o + 7. Is l(n) a prime number?
False
Let h be ((-32)/(-4))/4 + 13. Let p = h - 10. Let c(m) = 16*m**3 - 5*m**2 - m - 3. Is c(p) prime?
True
Let t(j) = 3*j**3 + 2*j**2 - 11*j - 29. Let b be t(-5). Let d = b - -1570. Is d prime?
False
Let v = -353988 - -591553. Is v composite?
True
Suppose 5*t = x - 338983 + 3002320, 0 = 3*t - 3*x - 1598007. Is t a composite number?
True
Suppose 6*l - 752 = -278. Is (1 + 45)/(160/l + -2) prime?
False
Suppose -9*y = 27 - 54. Suppose -3*w = y*m - 15018, -m - 3*w + 20025 = 3*m. Is m a prime number?
False
Let i(k) = k**2 + 15*k + 38. Let l be i(-12). Suppose 0*n + l*r + 20 = 4*n, -n + 15 = -3*r. Suppose -2*m = n*f - 0*m - 3391, -1141 = -f + 2*m. Is f composite?
True
Let c = -181 + 185. Suppose -k + 6*d = 2*d - 6071, -24265 = -c*k - 3*d. Is k prime?
True
Suppose 40*g = 244069 + 219571. Is g a composite number?
True
Suppose 75 = -4*f + 99. Is (39651/f)/((-5)/(-10)) prime?
True
Let c = 6818 + -3219. Suppose 4*r + 532 = i - 181, 3*r + c = 5*i. Is i composite?
True
Suppose -16*s + 8*s + 25976 = 0. Is (3 - (3 - 1))*s composite?
True
Let g(n) = 108*n - 37. Let b(u) = 7*u + 117. Let j be b(-15). Is g(j) composite?
False
Let v = 95 - 92. Let m = -1496 + 2613. Suppose -4*p = v*o - 1157, -2*o - 4*p - m = -5*o. Is o a composite number?
False
Is 40176 + 2*50/20 a composite number?
True
Let a(x) = 220*x + 1927. Is a(10) prime?
True
Suppose -5*k = -0*a + 5*a - 81920, 8 = -4*a. Suppose -750 + k = -3*y. Is (-4)/20 - y/10 composite?
False
Is -1*(-153831 - (4 + 6)) prime?
True
Suppose -13*c + 183540 = -18*c. Is c/(-6) + (-8)/8 composite?
True
Let r(s) = 207548*s - 7123. Is r(6) composite?
True
Suppose 12 = -r + 4*u, 0*u = 3*r - 2*u - 4. Let n(y) = -y**2 + 2*y + 5. Let t be n(r). Let m(h) = -20*h**3 + 2*h**2 + 4*h + 7. Is m(t) composite?
True
Let g(f) = f**2 - f - 2. Let y be g(0). Let p be 0 - 0/(y + -1). Suppose p = 4*b - 2*b - 254. Is b a composite number?
False
Suppose -4 - 374 = -27*c. Suppose 0 = c*t - 117709 + 2951. Is t a prime number?
False
Let q(i) = 6*i + 1. Suppose -4*y - k = -0*y - 21, -4*k + 16 = -y. Let u be q(y). Suppose 5*c = -u, 4*c = -4*m + 1401 + 635. Is m a prime number?
False
Let y(n) = -15*n**2 - 27*n + 41. Let d(v) = -32*v**2 - 55*v + 81. Let j(r) = 4*d(r) - 9*y(r). Is j(-19) prime?
False
Suppose -76*b = -r - 73*b + 33742, -67479 = -2*r + b. Is r a prime number?
True
Let s(f) = 9742*f**2 - 198*f - 23. Is s(-9) prime?
True
Let x = 7775 + 48984. Is x a prime number?
False
Let k = 758 + -1425. Let b = 18 - k. Suppose -5*z + b = -270. Is z a prime number?
True
Suppose 13444 + 19658 = 6*h. Is ((-28)/(-42))/(6/h) a composite number?
False
Let n(g) = g - 5. Let u be n(5). Suppose 0 = -22*r + 27*r + 4*p - 6, 3*p = r - 24. Suppose l = h - 834, u = -2*l - r. Is h a composite number?
True
Let x = -88 - -108. Suppose -27973 = -31*k + x*k. Is k a composite number?
False
Suppose -2*d = -4*k + 75308 - 371674, -k = 5*d - 740860. Suppose -7*h + d - 29572 = 0. Is h prime?
True
Let z be (510/(-18))/((-2)/3)*2. Let h = -83 + z. Suppose -h*w + 790 = 4*s - 720, -5*s = 5*w - 3775. Is w composite?
True
Suppose 2*d + 70*l = 65*l + 1316942, -d + 4*l = -658510. Is d composite?
True
Let q be (-14)/(-10) - 35/25. Suppose q = -50*u + 54*u - 5*g - 15976, -u + 3985 = g. Is u composite?
False
Let v be 4/(-5)*5/(-2). Suppose p + 2*n + v = 1, 0 = 4*n + 8. Suppose p*q + 4411 = 4*d, 5*d + 2*q = 4*d + 1089. Is d a prime number?
False
Let a(d) = -d - 4. Let i be a(-6). Let t be 3/i*4/(-3). Is (0 + -1 - 1113)/t composite?
False
Let f = -121 + 123. Suppose -3*r - f*r - 2579 = -w, 0 = 5*w + 2*r - 12895. Is w prime?
True
Let u = 43040 - 13029. Is u a composite number?
False
Let f be (50/15 - 4)*18/(-4). Suppose -k - 2 = 3*p - 0*p, f*p = -3. Is 576/3 - (-1 + (k - -1)) prime?
True
Let g(w) = -w**2 - w - 1. Let r(i) = 43*i**2 + 10*i + 2. Let b(c) = 4*g(c) + r(c). Let u be b(2). Let m = u + -77. Is m composite?
False
Let x be ((-945)/(-10) + -3)*(-6)/(-9). Is 20584/2 + x + -52 composite?
False
Suppose 46*i - 267584 = 30*i. Suppose 0 = -5*v + 9*v - 4*a - i, 4*a - 20869 = -5*v. Is v composite?
False
Is -3*(-27)/(-324)*-3547436 a prime number?
True
Suppose 14*g - 24 = 22*g. Let w(r) = 530*r**2 - r + 8. Is w(g) a prime number?
False
Let g be 2*327/18 - 1/3. Suppose 4*i + g = -248. Let q = 249 + i. Is q composite?
True
Suppose -2*j = 19 - 27. Suppose 3 = -j*q - 3*a, 2*q - q + 4*a - 9 = 0. Is q/6*-2 + 0 + 1056 a prime number?
False
Suppose -10*o - 59510 = -5*o. Is (-4 + 5)/(-1)*o - -1 composite?
False
Suppose 48 - 62 = 7*n. Is n/4*(-680 + 46) prime?
True
Suppose -749*j + 748*j = -177. Let w = j - -82. Is w composite?
True
Let k be (14/35*5)/((-2)/(-3)). Suppose 6*r = 36210 + 29760. Suppose 2*n + 5*l - r = -k*n, 6613 = 3*n - l. Is n composite?
False
Let z = -39 - -42. Suppose z*j - 3 = -a - j, 5*a - 90 = 5*j. Let c = a + 42. Is c a prime number?
False
Let d = -2867 + 7872. Let s = 8438 - d. Is s prime?
True
Let q = -42 - -47. Suppose 2*j + 400 = z - q*z, -2*z + 5*j = 176. Is 21/(-42)*(z + -1 - -1) prime?
False
Let m(j) = 373*j**3 - 11*j**2 + j + 3. Let p(c) = -374*c**3 + 13*c**2 - c - 3. Let u(q) = -5*m(q) - 4*p(q). Is u(-2) prime?
True
Let o(d) = -23*d**3 - 30*d**2 - 8*d - 152. Is o(-13) composite?
False
Let f(z) be the first derivative of -11/3*z**3 + 1/4*z**4 + 6 + 14*z - 17/2*z**2. Is f(13) composite?
False
Let i(q) = -q**3 - 13*q**2 - 7*q + 23. Let o be i(-10). Let w = 3926 - o. Suppose -6*r + 1333 + w = 0. Is r prime?
True
Suppose 3*d - 4338575 = -2*t, 53*t - 51*t - 3*d - 4338533 = 0. Is t composite?
True
Let q(t) be the first derivative of 19*t**2 + 47*t**3 + 34 - 17*t**3 - 21*t**3 + 13*t - 6*t**2. Is q(8) prime?
True
Let d be ((-2)/(-4))/(8/752). Let o(i) = 200 - d + 195 - 9 - 2*i. Is o(0) composite?
True
Let b = 8 - 8. Let g(z) = -2343*z**3 + 5*z**2 + 6*z + 2. Let t be g(-1). Suppose 4*n - t - 532 = b. Is n a prime number?
True
Let l = 263 - 248. Is (-3837 - (l + -26))*1/(-2) a composite number?
False
Suppose 4*x - 852 = 5*s, 5*x - 934 = 5*s - 79. Let q = s + 318. Let v = q - -269. Is v composite?
False
Let u(q) = 61*q - 7. Let o be u(-3). Let m = o - -109. Let r = -48 - m. Is r a prime number?
False
Let r = 291 + -291. Suppose -82*k + 73*k + 29943 = r. Is k a prime number?
False
Let t(d) = -2*d**2 - 29*d + 9. Let z be t(-15). Let o(v) = -3*v**3 - v**2 + 5*v + 8. Let i be o(z). Suppose 9487 = 3*b - i. Is b a composite number?
False
Let k be (-3603)/12 + (0 - 9/12). Let a = k + 992. Is a prime?
True
Suppose -25 = -5*k, r - 103 = 19*k - 24*k. Is 1626/(-4)*(-1508)/r composite?
True
Let c = -204774 - -377743. Is c prime?
True
Suppose 5*g - 4 = g. Let j be -1*(-2 - 0)*g. Suppose 3355 = 5*a + 2*x + j*x, -2*a + x + 1329 = 0. Is a composite?
True
