176*i - 3192*i + 168592. Is i a composite number?
True
Let f(n) = 632*n**2 - 2*n + 1. Let o(s) = -s**2 - 7*s - 9. Let g be o(-2). Is f(g) a prime number?
True
Let n = 54 - 57. Is (n - (-10)/3)*42909 a composite number?
False
Let t = -187 - -187. Suppose 6*q - q - 20 = -p, q + 17 = 4*p. Is 1147 + (q - -1 - t) a composite number?
False
Suppose -7*b + 5865 = -1905. Let h = -479 + b. Is h a prime number?
True
Let r(d) = 22*d**2 + 43*d + 11. Let n be r(5). Suppose n - 2485 = -f. Is f a composite number?
False
Suppose 0 = 107*a - 182197616 - 120505942 - 249060239. Is a a composite number?
True
Let t(r) = -4*r - 12. Let i be t(-3). Let a(w) = -w**2 + 10*w + 5299. Is a(i) a prime number?
False
Let r be (42676/6)/((-2)/3). Let f = r - -18396. Is f a composite number?
False
Let q = -74 + 79. Let l be 589 - (9/15)/(q/(-25)). Is l - 3 - (0 - -2) composite?
False
Is (20924 - 74) + -15 + 2 prime?
False
Let s = -871 + 875. Suppose -3*y + s*h + 23775 + 29830 = 0, -4*y - 2*h + 71444 = 0. Is y a prime number?
True
Let t be (-3)/6 - 266556/24. Let u = 19476 + t. Is u a prime number?
True
Suppose 30*l - 4199728 = -31*l. Suppose 0 = 27*g - 85673 - l. Is g a composite number?
True
Let u = 66736 + -44495. Is u a prime number?
False
Is 1*((-13 - -8) + 11/((-44)/(-9936))) a prime number?
False
Suppose 30*a - 35851165 + 4250335 = 0. Is a composite?
False
Suppose -2*x - 2*p + 2 = 0, -10 = 2*x + 5*p + 3. Suppose -4*g - x = -3*a, -3*g = 2*g. Suppose 3*u - 6*i + a*i = 759, 2*i = 6. Is u composite?
False
Suppose 93 = -60*d + 63*d. Let k = 29 - d. Is (-1004)/4*-2*k/(-4) a prime number?
True
Let n = 57697 - 38259. Is n composite?
True
Suppose -14*j + 32*j = 21366. Is j a prime number?
True
Suppose -309 = -2*n + 245. Let d = -224 + 138. Let b = n + d. Is b a composite number?
False
Is 170544 + 35*17/(-85) prime?
True
Suppose 99 = -19*c + 536. Suppose -c*t + 25*t = 3314. Is t composite?
False
Is (14042072/66)/4 + (-6)/9 composite?
False
Let t(b) = b**2 + 13*b + 3. Let a be t(-13). Suppose -822 = -3*w - g, 3*w + a*g - 159 - 663 = 0. Is w a composite number?
True
Let v be ((-13)/26)/(1/2). Let r be -4 - (14 + -2)*v. Suppose -r*g + 3*g = -2255. Is g composite?
True
Is (0 + 3)/((-3)/(-14821)) composite?
False
Is (-628775 - 2*-1)*161/(-483) composite?
True
Suppose 16*d - 244 = -52. Let l(m) = 88*m + 61. Is l(d) prime?
True
Let o be -14 + (-3)/((-3)/3). Let n(l) = -5*l - 15. Let w be n(o). Is 16/w - 3016/(-10) prime?
False
Let c be (-2*(-10)/16)/((-25)/(-200)). Suppose -9*n + c*n - 1735 = 0. Is n composite?
True
Suppose -492 + 140 = -2*y. Let w = y + -127. Is w prime?
False
Let i(p) = 1 - 58*p**3 + 77*p**3 + 102*p**3 + p**2 - 2*p. Let t be 5/(-15)*(10 + -4 - 9). Is i(t) a composite number?
True
Let m = 40 + -22. Suppose -12*n = -18*n - m. Is 443*(n + 1 + 6/2) prime?
True
Let h(x) = -7*x**3 - 37*x**2 + 54*x + 145. Is h(-18) prime?
False
Suppose -16*l = -165518 - 1123298. Suppose l = 7*f - 1132. Is f prime?
False
Let w be (-3)/1 + 62840/(-10). Let n = 1272 - w. Is n composite?
False
Suppose 173066 = 47*q - 45*q + 4*a, 3*a = 3. Is q a prime number?
True
Let p = 13045 + -9110. Is p prime?
False
Let j = -3926 + 6049. Is j prime?
False
Let w be (3/(-2))/(18/960). Let x be w/6*(-16248)/(-16). Is ((-3)/(-2))/((-30)/x) a composite number?
False
Let q = -2323 - -411906. Is q a prime number?
False
Let d(u) = 20046*u**3 + 20*u**2 - 37*u - 105. Is d(4) a prime number?
True
Let t = -21 - -18. Let v(d) = -d**3 - 4*d**2 - d + 6. Let j be v(t). Suppose 6*x - 18*x + 4308 = j. Is x a composite number?
False
Suppose 192 = 7*i - 81. Suppose -2*d = -i + 45. Is (4924/(-24) + (-5)/(-10))*d prime?
False
Let v be 17/(204/(-16))*(-3303)/(-6). Let q = v - -2277. Is q a prime number?
True
Suppose c = -10*c + 192923 + 1614080. Is c composite?
True
Let b be (3 - (-18)/(-3)) + -13. Let n be 588/5 - b/40. Let u = 527 - n. Is u a prime number?
True
Let m(a) = 3*a**2 + 28*a + 147. Is m(-50) prime?
True
Suppose 0*l - 2*l - 218 = -j, -2*j + 418 = 2*l. Let k be -2 + j/18 - (-2)/9. Is -1*k*((-300)/8 - -4) a composite number?
True
Suppose 8855 = 5*b + 4*s - 6*s, -2*s = -b + 1779. Let v = -900 + b. Is v a prime number?
False
Let p = 2238880 + -1176411. Is p a prime number?
True
Let p(g) = g**3 + 8*g**2 + 9*g + 10. Let q be p(-6). Let l = q - 28. Suppose l*y - 4*d = -3*y + 65, -2*d = y - 15. Is y a prime number?
True
Let a(p) = p**2 - 9*p - 41. Let y be a(22). Let q be y*(1*-3 - (9 + -20)). Let b = -1049 + q. Is b a prime number?
True
Let i(q) = 48*q**2 - q - 3. Let o = -60 - -59. Let y be i(o). Let j = y + -20. Is j a composite number?
True
Let w = -9604 + 40659. Is w a composite number?
True
Suppose -2*v + 5*t = -5*v + 1, -t + 9 = 5*v. Suppose -5*o + 60818 + 59981 = -x, -48338 = -v*o + 5*x. Is o a composite number?
True
Let v(z) = -2*z**3 - 32*z**2 + 32*z - 29. Let a be v(-17). Suppose 0 = -2*t - 8, -a*n + 7725 = -2*t - 3618. Is n composite?
False
Let y(k) = -64*k**3 - 2*k**2 + 3*k + 2. Let z be y(-1). Suppose -z + 19 = -7*q. Suppose 1467 = q*d - 51. Is d a composite number?
True
Suppose 23*y - 20*y + 9435 = 0. Let r = y + 12984. Is r a prime number?
True
Suppose 3920 = 7*g - 11*g. Let c be 1/4 - g/(-16). Is c/1*(-9)/3 a composite number?
True
Suppose -10747 = -z + 4*c - 4, 3*c - 21563 = -2*z. Is z composite?
False
Let m = 324607 + -176906. Is m prime?
False
Let h(s) be the second derivative of -s**5/20 - 2*s**4/3 + 11*s**3/6 - 25*s**2/2 + 28*s. Is h(-11) a composite number?
True
Let z(y) = 20*y**3 - 8*y**2 - 13*y - 81. Is z(22) a composite number?
False
Let d(w) = -1 - 68*w - 121*w - 119*w. Let t be (-10)/(-35) + (37/(-7) - 1). Is d(t) prime?
True
Suppose -17*b = -16*b - 68. Let q = 57 - b. Is -2*q/(-4)*(8 - 42) a composite number?
True
Let u be 3412/1 + 0/2. Suppose -l - 5*k - 17 = 0, 2*l - 5*k - 10 = 16. Suppose l*j + 1045 = u. Is j composite?
True
Let i(w) = 4*w**2 - 4*w - 3. Let s(j) = -j**2 - 5*j - 7. Let g be s(-2). Let p be i(g). Suppose p*d + 127 + 93 = q, 4*d = q - 217. Is q prime?
False
Suppose -57*c - 14*c + 323860810 = 59*c. Is c prime?
False
Let s = 226855 + 219646. Is s a composite number?
True
Let l be (981 - (12 + -11)) + 1 + -6. Let y(k) = 117*k**2 + 3*k + 7. Let v be y(-5). Suppose 0 = -f - 2*z + l, -5*f - 4*z = -2*f - v. Is f a prime number?
True
Let s(t) = t**3 + 10*t**2 + 18*t + 2. Let z be s(-8). Is 84360/20 - z/(-2) prime?
True
Suppose 4556*z - 4580*z = -36480. Let h = 1086 + -2375. Let m = z - h. Is m composite?
True
Let q be (-1)/(-3) - (-2491)/159. Let g(a) = a**2 + 6*a - 13. Let l be g(-9). Suppose q*m = l*m + 314. Is m composite?
False
Suppose 8*v - 2*z = 3*v + 3725019, -4*z + 744973 = v. Is v a composite number?
False
Let j = -252 - -257. Suppose 0 = -j*h - 11674 + 46809. Is h composite?
False
Let y = 11 - 1. Suppose 5*b = 4*b + y. Suppose 8*n + 1738 = b*n. Is n a composite number?
True
Suppose -15*k + 20 = -10*k. Is (4/(-8))/(k/24) + 488 a composite number?
True
Let w(j) = -2*j - 23. Let o be w(-9). Let n(s) = -321*s - 8. Is n(o) a composite number?
False
Suppose 5*z - 219191 = -4*u, -5*z = 3*u - 3*z - 164395. Is u prime?
True
Let f = -84329 - -338743. Is f prime?
False
Suppose 0 = 2*k + t + 2, 0 = 4*k - 0*t + 4*t. Is ((-1)/k)/((-12)/(-21288)) composite?
False
Let q be 298405/3 - 1/3. Is (48/(-16))/(q/33159 - 3) composite?
True
Let a(p) = 2*p**2 + 6*p - 16. Let r be a(11). Suppose 0 = -4*z - 4*f + 1176, -z + 41*f - 44*f = -r. Is z a prime number?
False
Is (3/(-4))/(-3) + -4820*(-3498)/352 prime?
False
Let h be -1 - 2 - (10250/(-5) + -3). Let b = h + -981. Is b prime?
True
Let w = 40011 + -26048. Is w a prime number?
True
Let i be (12 + 3 - 0)/1. Suppose -i*b - 5092 = -19*b. Is b a composite number?
True
Suppose -306*w + 263118 = -300*w. Is w prime?
True
Suppose 0 = -23*f + 13*f + 5750. Let s = -156 + f. Is s a prime number?
True
Let h = -9387 - -13749. Let w be (-67186)/(-10) - (-22)/55. Let i = w - h. Is i a prime number?
True
Let c(h) = 121162*h**2 + 14*h - 17. Is c(1) composite?
True
Is (6 - 15) + 21 - -29989 a composite number?
True
Let a(y) = 13*y**3 - 2*y**2 - y. Let c be a(-1). Let i(o) be the second derivative of -o**3/6 + 17*o**2/2 + 139*o. Is i(c) a composite number?
False
Suppose -5*a + 7 = -2*a - 2*h, 0 = 3*a + 3*h - 27. Suppose 0 = -a*l - 0*l, 2935 = d + 2*l. Is d a prime nu