se 77*x = -61*x - 15*x + 31399119. Is x composite?
False
Let m = 15 + -11. Let u(i) = 86*i - 15. Let w(f) = 29*f - 5. Let x(b) = 4*u(b) - 11*w(b). Is x(m) a prime number?
False
Let z(s) = -2*s + 34. Let t be z(18). Is 20 + -17 + (t - 0) + 1048 a prime number?
True
Let d = 93 + -48. Let x be 2853/54 - 3 - (-2)/12. Suppose 0 = -x*m + d*m + 1465. Is m prime?
True
Let b(v) = 83*v**3 - v**2 - 36*v + 275. Is b(12) a composite number?
True
Let z(w) = 698*w**3 + 11*w**2 + 271*w - 2109. Is z(8) prime?
False
Suppose 1821716 + 41951 = 3*a - 4*s, -a + 2*s = -621225. Is a prime?
True
Suppose 0*g + 379886 = 17*g + 9*g. Is g a prime number?
False
Is 3334141/4 + ((-17)/(-12) - 207/(-621)) composite?
False
Suppose -2*u + 429 = -5*y, -u - u = -2*y - 432. Is (2 - (-3 - -8)) + u a prime number?
False
Let u = 674 + -674. Suppose 2*v + u*v + z = 74346, 3*z + 111501 = 3*v. Is v composite?
False
Let x = -96 + 99. Suppose 2498 = 2*p - 4*r - 0*r, 0 = -x*r. Is p composite?
False
Suppose z - 28249 = 4*x, -5*z + 57966 + 83454 = 5*x. Is z composite?
False
Let l = 22125 - -139592. Is l prime?
True
Suppose 24*j = 29*j + 25, 2*t - 292254 = 4*j. Is t a prime number?
True
Let s(d) be the first derivative of 66*d**4 + d**3 + 3*d**2/2 - d - 8. Let g be s(2). Let n = 3476 - g. Is n prime?
False
Let k(y) = -5*y**3 - 13*y**2 + 4*y + 12. Let g be k(-7). Suppose r - 5*a - 1417 - g = 0, -r + 2*a = -2467. Is r a prime number?
True
Let u = -47 + 47. Let i be 4022 + -6 + (0 - 1 - u). Let t = i + -2644. Is t a composite number?
True
Let z be 1 - -835 - (7 - (-5 - -14)). Let n = z + -647. Is n composite?
False
Suppose l = -4*f - 5 + 98, 2*f - 2*l = 34. Let t be 11/f - 2/(8/(-14)). Suppose 0 = -2*g + 5*s + 4391, -t*g - 5*s = -3716 - 4991. Is g a prime number?
False
Let f(t) = 8*t**3 - 6*t + 6. Let d be f(1). Suppose 4*a = d*a + 7016. Let h = a - -2857. Is h a composite number?
False
Let n(g) = 8243*g - 4058. Is n(7) a prime number?
False
Let c(h) = -18731*h**3 + 2*h**2 - 25*h - 13. Is c(-5) composite?
True
Is (-111701)/(-7 - (15 + -21)) a composite number?
True
Let v be ((-24)/15)/((-2)/60). Let r = v + -43. Suppose 2*o - 31 = -r. Is o prime?
True
Suppose 4*t + 3*a = 74452, 0 = t + 4*a - 10016 - 8610. Suppose -5*j = -16500 - t. Let z = -4705 + j. Is z prime?
False
Let j(d) = -9*d**3 - 4*d**2 - 14*d + 11. Let r be j(-8). Suppose f - 5129 = -3*l, f - r = 4*l + 654. Is f prime?
False
Suppose 35*d - 37*d = -316. Suppose -d*o + 11816 = -150*o. Is o composite?
True
Let h = -16738 + 26265. Is h composite?
True
Let a(k) = k**3 - 14*k**2 + 25*k - 4. Let d(q) = -q**2 + 14*q - 1. Let t be d(13). Let h be a(t). Is h/(-12)*2*5466/(-8) a composite number?
False
Suppose 0 = -375*d + 195*d + 37141380. Is d prime?
True
Let l = 1067614 + -61867. Is l composite?
True
Suppose -5*x + w = -547436, 2*x + 133*w - 218970 = 129*w. Is x composite?
True
Let b = -949958 - -1416675. Is b a prime number?
True
Let c be (6/15)/(1/10). Suppose 8*s = c*s + 96. Is (-2 - -383)/(9*4/s) a prime number?
False
Let c(m) = 9*m**3 + m**2 + 6*m - 4. Let p be c(6). Suppose -14*n - p = -7150. Is n a prime number?
True
Suppose 4*u - 5 = -33. Is (-5)/((-15)/150172) - u/(-21) composite?
True
Is -6*1186/(-3) + -1 a prime number?
True
Let q = 4410 - -10282. Let l = q - 5199. Is l prime?
False
Is -4 + ((-446904)/(-20))/(40/500) a prime number?
True
Let o be (4/(-2))/(66/(-106491)). Let n = 4738 - o. Is n a composite number?
False
Suppose -9*n + d = -5*n - 17, 3*n - d - 14 = 0. Suppose 2*b - n*f - 964 = 201, -3*b + 1770 = 3*f. Is b composite?
False
Suppose 0 = -2*z + 8*z - 18. Suppose -s - 58 = -z*s. Suppose 25*y = s*y - 1388. Is y composite?
False
Let t(d) = -4*d - 16. Let s be t(-5). Suppose -2*g - 20 = -b, -3*b + g - 11 = -s*b. Is (32137/b)/(3/6) composite?
False
Let c(r) = -119*r**3 - 9*r**2 + 19*r + 200. Is c(-11) a prime number?
True
Suppose -2*q + 213240 = -3*c + 19265, c + 484944 = 5*q. Is q a prime number?
True
Let g = 37 + -16. Is ((-7)/63)/((-3)/2763)*g a prime number?
False
Let d(v) = 21005*v + 52. Let f be d(7). Suppose 2*l = -7*l + f. Is l composite?
True
Let g = -482 + -13. Let b(d) = -42*d - 10. Let v be b(7). Let k = v - g. Is k composite?
False
Let x = 8646 + 4961. Is x a prime number?
False
Let s(v) = 2162*v**2 + 15*v + 33. Is s(-10) a prime number?
False
Let v(s) = -2*s**3 - 8*s**2 + 8*s - 1. Let i be ((-4)/12)/((4/(-15))/(-4)). Let f be v(i). Suppose 15*x = f*x + 14946. Is x a composite number?
True
Suppose -4*w + 4*h = -3 - 5, 5*h + 10 = 0. Suppose i - 262 + 59 = w. Is i a composite number?
True
Let i = 29476 - 18107. Is i prime?
True
Is (116953 - -1)*(-299)/(-598) prime?
True
Is (1/8)/((-96)/(-27135744)) composite?
True
Let z be (-6)/10 - -1 - 1308034/(-65). Suppose 5*s - 2*u + 1165 - z = 0, u = -3*s + 11382. Is s prime?
True
Let f be 26/104 + 1/(-4). Suppose -z - 28 = -2*z. Suppose f = z*r - 21*r - 889. Is r composite?
False
Suppose -2*d + 4*b + 18 = 0, 0 = 4*d + 5*b - 5 - 5. Let s(h) = -h**3 + 6*h**2 - 3*h - 3. Let y be s(d). Suppose y*i = -5*i + 12732. Is i composite?
False
Let t(m) = -4*m**2 + 15 + 0 + 9*m**2 - 4*m**2. Let y be t(0). Suppose -y*z + 7*z = -6376. Is z composite?
False
Suppose -3*h - 7 = 7*o - 3*o, 0 = -h + 4*o - 13. Is 1727 + (-2 - (2 - 4))/h a prime number?
False
Suppose 8*l = -2*f + 9*l + 29, 5*l = 2*f - 17. Suppose -5*d + 7707 = f*d. Is d a composite number?
False
Let q be ((-9)/(-6))/(-4*(-2)/10672). Suppose -21 - q = -2*k. Suppose 1045 = 5*u - 4*l - 1490, -2*u = -l - k. Is u a composite number?
False
Suppose 0 = -22*z + 24*z + 12. Let b(a) = 7*a**3 + 17*a**2 + 5*a + 11. Let k(l) = -l**3 - l**2 - l - 1. Let o(j) = b(j) + 6*k(j). Is o(z) a prime number?
True
Let c(u) = -3*u**3 + 62*u**2 - 40*u - 1. Let m be c(20). Let b(s) = 4*s + 2. Let d be b(-3). Is (92/d)/((-3)/(m - -16)) composite?
True
Let q be 65502/(-36)*14/(-3). Let g = q + 6852. Is g a prime number?
False
Let r(f) = -468*f**2 + 3*f - 1. Let t be r(2). Let a = t - -5109. Is a a composite number?
True
Suppose -25 = -2*l - 5. Let m be (l/3)/((-39)/(-9) - 4). Suppose 16156 = -m*n + 14*n. Is n a prime number?
False
Suppose f - 3*l - 82917 - 111898 = 0, 6 = -3*l. Is f a prime number?
True
Suppose -35*c + 92964 = -31*c. Suppose -c = -4*n + 5147. Is n a composite number?
True
Let f = -24 - -26. Suppose -2*l + 6*l = -f*j + 41898, -l + j = -10470. Is l composite?
True
Suppose 0 = 36*z - 2419904 - 153052. Is z a prime number?
True
Suppose -141*n + 137*n + 2*t + 1384320 = 0, -n + 4*t + 346087 = 0. Is n prime?
True
Let f(o) = 143*o**2 + 7*o - 41. Suppose 2*v + 2 = 0, 14 = -2*c - 3*v - 9. Is f(c) a composite number?
True
Is (-5694)/(-6) + 324/18 a composite number?
False
Suppose 4*h = 2*z + h - 25, -5*z = 2*h - 91. Let r = z + 4686. Is r prime?
True
Let n(r) = 127*r**2 - r - 73. Is n(-9) composite?
False
Suppose -3*g + 38973 = 9309. Suppose -g - 2340 = -6*c. Is c composite?
True
Let m be (-72328)/(-14) + (-4)/14. Suppose 2*r - 14 = -3*z + 276, 0 = 3*r - 3. Suppose 6*w - z = m. Is w a composite number?
False
Is (-175778)/(-9) - 36/(-324) composite?
False
Let w = 113 - 110. Suppose -2*y + 13246 = -w*u, 4*y + 0*u = 3*u + 26480. Is y prime?
False
Let y be 634*(-2)/(-4) - -2. Suppose m + 3*n = 167 + y, 0 = m + n - 480. Suppose 23*a - m = 20*a. Is a composite?
True
Suppose -4*k + 114143 = 24383. Let l = k + -13807. Is l composite?
True
Suppose -7*z - 18 = -10*z. Suppose 12 = 3*d + 2*c - 3*c, 0 = d + 3*c + z. Suppose -3*y + d*b = -y - 493, y - 3*b = 239. Is y a composite number?
True
Let l = -104074 - -182025. Is l composite?
False
Let h = 1167 + -1765. Let d = h + 987. Is d prime?
True
Let k(g) be the second derivative of -g**4/12 + g**3/2 + 9*g**2/2 - 10*g. Let c be k(4). Suppose f + 0*f - o - 1116 = 0, c*f - 5572 = -3*o. Is f composite?
True
Is (-1198647)/2*8/(-36) composite?
False
Let z = -7558 + 24456. Suppose 26*v - 12*v - z = 0. Is v prime?
False
Suppose -345340 = -167*z + 666619 + 156540. Is z composite?
False
Let w(i) = i**3 - 3*i**2 - 13*i + 8. Let z be w(5). Let p(o) = 17 - 26*o + 15 + 0 - 3. Is p(z) a composite number?
False
Suppose -m = -5*z - 17, 7*m - 25 = 2*m + 5*z. Suppose -3561 = -m*c + 5401. Is c a composite number?
False
Suppose 2 = 3*w - 250. Let t = w - 81. Suppose 4*m - t*v - v - 1596 = 0, -3*v + 1173 = 3*m. Is m a composite number?
