se 16*t - 1113845 = -32229. Is t prime?
True
Let r(i) = i**3 - 15*i**2 - 32*i - 30. Let u be r(17). Suppose u*d = -0*d + 16. Suppose 1096 = d*k - 2*t, -2*t = -5*k - 0*t + 1370. Is k a composite number?
True
Let f(z) = -51*z + 108. Let v be f(2). Suppose -3*a = a - 12, 2*a = 2*o + 16. Is (-89)/v*-2*(8 + o) a composite number?
False
Let v = 107807 + 5024. Is v prime?
True
Let q(o) = -5*o - 98. Let j be q(-19). Is ((-2009)/21)/(1/j) a composite number?
True
Let r(s) = -3*s - 5. Let f be r(-2). Let w(z) = 745*z**3 + 2*z**2 - 1. Let n be w(f). Suppose -2*d + n = 132. Is d a composite number?
False
Let o be ((-2)/(-4))/(18/108). Suppose -2*f - 4*b + 2809 = o*f, 4*f = 3*b + 2272. Is f prime?
False
Suppose -3*i - 3 = -i - 3*w, i = -5*w + 5. Suppose -10*v + 21*v - 2585 = i. Is v a prime number?
False
Suppose -20*f + 7*f + 4*f = -139005. Is f a prime number?
False
Suppose 3*o = -3*k + 569265, -42*k - 759020 = -46*k - o. Is k composite?
True
Let q(g) = 1476*g - 11. Let r be q(-2). Let b = r - -9048. Is b a prime number?
False
Let r(k) = -3289*k**3 + k**2 - 19*k - 64. Is r(-3) composite?
True
Let b be (1 + 0)/((-3)/21). Let s(v) = 24*v + 12*v**2 - 3*v + 16 - 3*v - 21*v**3 + 20*v**3. Is s(b) a prime number?
True
Let y = -101 - -107. Let g(l) = 132*l**3 + 5*l**2 - 6*l - 13. Is g(y) a prime number?
True
Let f = 199719 - 91982. Is f a prime number?
False
Let j be (-13)/(-4) - (-2)/8*3. Let w be 17/j - 4/16. Suppose -w*z = 2*s - 4726, 1 = 5*z - 4*z. Is s a prime number?
False
Suppose 60*f - 1329224 - 77956 = 0. Is f composite?
True
Is 514492 - (228/(-12) + 12) prime?
True
Is -358 + 351 - (-1 + 99454/(-2)) composite?
True
Is (-2)/(-14) + 18330/(-1645) + 339528 a prime number?
True
Let f = -823 + 1661. Suppose 7*j - 4275 = -f. Is j a composite number?
False
Let q be ((-10)/15)/(2/12). Let r(b) = -b - 7. Let s be r(-5). Is s/q*9824/16 composite?
False
Let x = 236 + -238. Let n be (-22)/4*(-9 - 5). Is (70211/11 - x) + 14/n a composite number?
True
Let x = -387297 + 619484. Is x a prime number?
True
Let v(u) = -76 - 9*u + 2*u + 15*u + 0*u. Let b be v(10). Suppose -2*f - 25 = -7*f, 0 = 3*y - b*f - 6286. Is y composite?
True
Suppose -10*l - 12 = -6*l. Let u(n) = -15*n**3 - n**2 + 6*n + 1. Is u(l) a prime number?
True
Let b = 28244 + 16205. Is b prime?
True
Suppose -33816 + 521006 = 11*u. Suppose -7*n + u = 5559. Is n a composite number?
True
Let q(d) = -138*d - 5. Suppose 3*h = -h. Suppose -3*x + 10*x + 56 = h. Is q(x) a composite number?
True
Let z = -1559 - -35626. Suppose -z = -27*g + 16*g. Is g a prime number?
False
Let p = -210 - -211. Is 0/(-1) + 12448 + (p - 6) a prime number?
False
Let v be (-7)/(28/(-44))*-7. Let g = 1086 + v. Is g a composite number?
False
Let v(l) = -191 + 6*l**3 + 304*l - 5*l**3 + 24*l**2 - 338*l. Is v(-14) composite?
True
Suppose -3*x + 125792 = 5*p, -2*p - 37360 = 2*x - 121220. Is x prime?
False
Suppose -10*i - 25 = -225. Suppose i*p = -16*p + 854028. Is p prime?
False
Let a = 1060 - 9463. Let t = a + 12730. Is t composite?
False
Is (36/90)/(4/3710270) a prime number?
True
Let c(z) = -2*z**2 + 4*z + 1. Let x be c(3). Let b(d) = 540*d**2 + 18*d + 29. Is b(x) a composite number?
True
Let o = -38 - -23. Let z be (-5)/o - (-16)/6. Suppose -5*h + 66 = -z*h. Is h prime?
False
Suppose -23*q - 295936 + 749795 = 0. Is q a prime number?
False
Let l = 1965 + 4151. Let f = l + -3329. Is f prime?
False
Let j = 714 - 709. Suppose -115866 = -4*k + j*r, 0 = -4*r + 8. Is k a prime number?
False
Let m = -1 - 26. Let j = 37 + m. Let c(f) = 138*f - 19. Is c(j) a prime number?
True
Is (-172048)/88*11/(-2) a composite number?
False
Suppose 1004*n = 1041*n - 5034035. Is n prime?
False
Suppose 2*o + 2*u = 9338, 4*o = 2*o + 5*u + 9359. Let t = o + -3035. Is t a composite number?
False
Let q be 2*9/6 - -1. Suppose -5*y - 731 = -q*p + 2*p, 4*p = -2*y - 302. Let k = 274 + y. Is k prime?
True
Let r(d) = -d**3 + 4*d**2 + 7*d + 10. Let o(y) = -y**3 + 5*y**2 + 8*y + 11. Suppose -7*s - 6 = -5*s. Let p(u) = s*o(u) + 4*r(u). Is p(-3) composite?
False
Let z(t) = 155*t**2 + 140*t + 87. Is z(28) composite?
False
Let t be -6*(-4)/(-40)*-10. Suppose -394 - 182 = -t*r. Suppose 0 = 97*l - r*l - 67. Is l prime?
True
Let c = -170 - -355. Let k = c + -2349. Is (1 - (-3 - -3))/((-4)/k) a prime number?
True
Let k = 345777 - 161870. Is k a prime number?
True
Let a be (-12)/9*(35/10 + -2). Let w be (-9)/a - 2/4. Suppose -z - 715 - 514 = -2*u, w*u - 5*z - 2461 = 0. Is u a composite number?
True
Is (2 - -1)/((-163)/(-537737)) a composite number?
True
Let q(l) = -20*l**3 - 20*l**2 - 23*l - 410. Is q(-23) prime?
False
Suppose 3198 = n - 1289. Is n a prime number?
False
Suppose g = 2, 14*g = -3*n + 9*g + 46. Let h(m) = 10*m**2 + 8*m - 29. Is h(n) prime?
False
Let h(r) = 859*r - 669. Is h(4) a composite number?
False
Suppose -2*v = -5*x - 28, -4*x - 24 = -8. Suppose -v = n - 9. Suppose 0 = y + n*y - 28506. Is y composite?
False
Suppose 2*x + 2*w - 50 = 0, -4*x + 85 + 10 = 5*w. Let t(m) = 2*m**2 - 14*m + 9. Let q be t(11). Let j = x + q. Is j prime?
True
Let w be (4/(-6))/((-44)/549846). Suppose 81217 = 22*h + w. Is h a composite number?
False
Let c = 7252 + -2750. Suppose 219*n - c = 217*n. Is n a composite number?
False
Let i(j) = 4*j**3 + j**2 - 2*j + 2. Let o be i(1). Suppose -u + 0*r - r = -128, o*u = -r + 644. Let m = -38 + u. Is m a composite number?
True
Let u(b) = b**2 + 12*b - 525. Let t be u(-29). Let n(d) = -5*d**3 - 5*d**2 - 5*d - 2. Let i be n(-4). Let a = i + t. Is a composite?
True
Let h(t) = -1 - 1004*t**3 + 4439*t**3 + 3*t**2 + 4729*t**3 - t - 1252*t**3. Is h(1) composite?
True
Let g = -65 - -103. Let n(f) = -f**2 + 83*f - 17. Is n(g) composite?
False
Let l be (-1 - (-33)/9)*7476/16. Let k = 1748 - l. Suppose -r = 3, 0 = 3*x - 4*r + k - 3451. Is x a prime number?
False
Suppose 409808 = 141*i - 145*i. Is i/6*6/(-4) prime?
False
Suppose -q + 146186886 = 185*q. Is q a composite number?
False
Suppose 0 = -11*a + 8*a + 9. Suppose 5*q + 2619 = a*l - 35749, 2*q - 12771 = -l. Is l a composite number?
False
Suppose 5845*f - 340596 = 5833*f. Is f composite?
True
Let w(m) = -115*m + 15. Let y(p) be the third derivative of 29*p**4/3 - 5*p**3 - 9*p**2. Let j(c) = -7*w(c) - 3*y(c). Is j(12) a composite number?
True
Suppose -3*r + 25903 = 4*u, 5*u - 6481 = 4*u + r. Suppose 29457 + u = 5*l. Is l composite?
False
Suppose -5*x - 70 = 3*i, 2*x - 55 = 5*i - 2*x. Let g = 18 + i. Is 59/g - (-48)/(-72) a composite number?
False
Let i be (-84007)/(-6) + 4/(-24). Let z = i + -4078. Is z composite?
False
Suppose 3*l + 16*x = 15*x + 379939, 5*l + 3*x = 633229. Is l composite?
True
Let i = 61 + -101. Let v be 2*5095/i*-8. Let u = v + 279. Is u a prime number?
False
Suppose -5*j + 49368 + 11359 = 3*y, 3*j = 4*y - 81008. Is y prime?
True
Let w be (22/6)/(34/7446). Let t = w + 104. Is t a composite number?
False
Is (-14)/35 + (-108075308)/(-220) prime?
True
Let c = 25074 - 14587. Is c a prime number?
True
Suppose 5*k - 2*a - 9937 = 0, 0 = -4*a - 4. Is k a prime number?
True
Is -11*(-8311)/(-2)*-2 prime?
False
Let c be (1/(-2))/(34/204). Is (-82326)/(-15) - c/5 prime?
False
Suppose -5*k = -62*v + 64*v - 88643, -5*k - 177211 = -4*v. Is v a prime number?
False
Suppose -73 + 28 = -9*o. Suppose -1 = -v, o*q - v = 8364 + 1305. Is q a composite number?
True
Let v be ((-16)/10)/((-2)/5) - 150. Let a = v + 130. Is (-24)/a + -6*(-397)/4 a composite number?
True
Suppose -2*o + 4*y + 1594 = 0, y - 4*y + 3985 = 5*o. Suppose 0 = -2*j - o - 73. Let c = j + 776. Is c a prime number?
False
Suppose 3*y - r - 2*r - 15 = 0, -y = 2*r + 1. Suppose -242 = -4*k + y*d, 3*k + 0*k - 183 = 3*d. Suppose -c + 28 = -k. Is c a prime number?
False
Let z(m) = -m - 2. Let n be z(-7). Suppose 3516 = 2*f + 3*b + 671, 4*f - n*b - 5635 = 0. Suppose -4*h + 5*x = -5616, f = h - x - 3*x. Is h a prime number?
True
Suppose 5*s + 493045 = -2*d + 6*d, -4*s = 3*d - 369776. Suppose -5*b = 15*b - d. Is b composite?
False
Let y(t) = -4254*t - 173. Suppose -2*b - 6*r - 34 = 0, 2*r - 29 = 3*b - 0*b. Is y(b) prime?
False
Suppose 31*a = 28*a + 12. Suppose 4*i = -a*q + 3*q + 4608, -i + 1163 = 3*q. Is i composite?
False
Suppose 3*m = -x + 6*x + 28553, -4*x - 19038 = -2*m. Is m prime?
True
Let v(q) = 2*q**2 - 11*q + 6. Let n be v(7). Suppose 0 = n*y - 32*