e 0 = -r + s - 752. Is r a composite number?
True
Let t be (-350)/20*9/(-10)*-8. Is (-23610)/(-4)*12/t*-7 prime?
False
Suppose 4*w + 88*r - 85*r = 73597, -2*w + 36809 = 5*r. Is w a prime number?
True
Let x = -55671 - -96124. Is x prime?
False
Let k(g) = -g**3 + 35*g**2 + 35*g + 27. Let m be k(36). Suppose -4*v = -5*v + 2257. Is (-30)/(-135) - v/m composite?
False
Let i = -17899 + 27422. Is i composite?
True
Let i be (-2)/((-1)/((-13)/2)). Let s = 66 + i. Is s a composite number?
False
Let b = 27 + -25. Let y = b - -4. Is 38/y - 2/(-3) a composite number?
False
Suppose 18*i = 29*i - 35585. Is i composite?
True
Suppose -3*y + 416 = -3097. Is y composite?
False
Suppose 891 = d + 206. Is d prime?
False
Suppose 5*k + 20565 = 5*m - 1290, 2*m + 3*k - 8732 = 0. Is m a prime number?
False
Suppose 3*g + 2*g - 60 = 0. Suppose 0 = -14*w + g*w + 8. Suppose 0 = -w*b + 171 + 217. Is b composite?
False
Let t(k) = 7*k**3 + k**2 + 4*k - 5. Let s be t(-6). Let v = s - -690. Let a = v + 1516. Is a a prime number?
True
Let i(w) be the third derivative of 85*w**6/24 - w**4/24 - w**3/6 - 2*w**2. Let m be i(-1). Let p = m + 642. Is p composite?
True
Suppose -62*s + 61*s = -61859. Is s composite?
True
Let w be (-9)/(-6)*2/(-3). Let f(m) = 19*m**3 + m**2 - m - 1. Let a be f(w). Is (a/(-9))/((-2)/(-293)) a composite number?
False
Suppose 2*m = 4 + 6. Suppose 3*u = -t - m + 1, -5*u = 15. Suppose -146 = -t*p + 44. Is p prime?
False
Let v = 3506 + -1800. Is v a composite number?
True
Let s = -1709 + 47416. Is s composite?
False
Let w(u) be the first derivative of -40*u**3/3 + u**2/2 + 9*u - 2. Let l(h) be the first derivative of w(h). Is l(-2) composite?
True
Let h = -12401 - -33406. Is h a composite number?
True
Suppose 10 = y + 6. Suppose 0 = -2*o + y*o + n - 981, 0 = 3*o - n - 1464. Is o prime?
False
Suppose -27*q + 24 = -24*q. Suppose 4*m + 2253 = 5*c, -q*c = -11*c - m + 1345. Is c prime?
True
Let u(z) = -z**2 - 11*z + 3. Let a be u(-11). Suppose a*m = -0*m + y + 916, m = y + 302. Is m a composite number?
False
Let h be (58840/100)/((-1)/(-5)). Suppose g + g = h. Is g composite?
False
Let b(y) = -7*y**2 + y**3 + 12*y - y**2 - 9 - 2*y**2. Let t be b(9). Is 3/2*1236/t composite?
False
Let x be 3 + -4 + -3 + 33. Let c = x - 25. Let h(m) = m**3 - m**2 - 2*m - 3. Is h(c) a composite number?
False
Let m be (-6)/33 + (-260)/22. Is (m/4 - -5) + 509 a prime number?
False
Let f = -140876 + 217629. Is f composite?
False
Is (-2)/15 - 6/(270/(-462561)) a prime number?
False
Let q = -34 + 84. Let w = q + -18. Suppose 5*h - 107 = -4*f, 2*h - 6*f + 4*f = w. Is h composite?
False
Let t = 6344 + -3639. Is t a prime number?
False
Suppose 5*r + 11 = 6. Let x = 3 - r. Suppose -x*s - k + 139 = -0*k, -2*k + 68 = 2*s. Is s a prime number?
False
Let w = -29 + -40. Let m = w + 120. Is m composite?
True
Is (-4 + 3)*28012/(-4) a prime number?
False
Let d(r) = -93*r + 25. Let a(q) = 187*q - 51. Let k(s) = -6*a(s) - 13*d(s). Is k(8) prime?
True
Let x = -125 + 74. Let k = 88 + x. Is k a prime number?
True
Let p = 70431 + 48284. Is p a prime number?
False
Let k be (-6)/(-8)*(-10)/(-15)*0. Suppose -2*g + 7*g - 17075 = k. Is g a prime number?
False
Suppose 0 = -8*v + 7 + 25. Suppose -5*n - 4*u = -1689, 0*n - 2*n + v*u + 670 = 0. Is n composite?
False
Let n(q) = 0*q**2 + 4*q**2 + 2*q**2 + 5 - q**2 + 2*q. Let p(u) = -4*u**2 - 3*u - 6. Let i(w) = 3*n(w) + 2*p(w). Is i(-4) a prime number?
False
Suppose -5*h + a = -46462, -h - 37166 = -5*h + 2*a. Is h a prime number?
True
Let o = 3 + 9. Let m = o + -10. Suppose 0 = m*t - t - 119. Is t a composite number?
True
Let h = 109546 + 16989. Is h composite?
True
Let o = 66 + -19. Suppose 15 - o = -4*s. Suppose -s*g + 355 = -3*g. Is g prime?
True
Let i be -2*2*257 + 5 + -3. Let d = i + 1745. Is d a prime number?
True
Let h(o) = 28*o - 26. Let u be h(-4). Is u*(-5)/10 + -2*1 composite?
False
Let d(r) = -r**3 + 4*r**2 + 13*r + 5. Let j be d(6). Let s = j + -15. Is (s + (-1564)/(-12))*3 composite?
False
Let u(h) = h**3 - 98 + 93 + h**2 + 5*h**2 + 2*h. Suppose 0 = -5*k - 5*q - 30, 5*q + 1 = -k - 13. Is u(k) prime?
True
Suppose 0 = 4*d - 1197 - 731. Is -3 - (d + 3)*-1 composite?
True
Suppose 5*z = 10*z - 120. Let d be 3/(1 - z/28). Let f = 42 - d. Is f a composite number?
True
Let w(v) = v**3 - 3*v**2 - 3*v + 2. Let a = -17 - -20. Let d be w(a). Is d*-1*5/1 a prime number?
False
Let o = -58 + -201. Let d = o - -1104. Let v = d - 454. Is v composite?
True
Let k be ((-2)/6*0)/(-2). Suppose -2*p + w + 2*w = -15, -5*w = -5*p + 25. Suppose -x + 69 = -k*u + 4*u, -u - 5 = p. Is x prime?
True
Suppose -7*x + 3*x + 2*o + 2 = 0, 5*o = 15. Suppose x*s = -5*c + 402, -3*c - 116 = -2*s + 254. Is s prime?
True
Suppose 20*h - 751377 = -13*h. Is h a composite number?
False
Is (-1)/(((-2)/(-5637))/(4/(-6))) prime?
True
Let a(u) = -u**2 + 6*u - 3. Let s be a(4). Suppose -s*j + 276 = -59. Is j composite?
False
Let g(p) = -5*p - 2. Let k be g(-4). Suppose -3*l - 15 = 0, 5*b - 3*l = 4*b + k. Suppose b*y = -z + 1503 + 934, y = 0. Is z a composite number?
False
Suppose -d + 4*m + 45 = -6*d, -d = -2*m - 5. Let c be 3/3*(d + 3). Is c - (-1 - (-2 + 161)) composite?
True
Let h(t) = -78*t**3 + 4*t**2 + 3*t - 1. Let b be h(-2). Suppose r - 3*w = 3*r - 422, b = 3*r + 3*w. Is r prime?
True
Let i = -35 + 32. Is 6/8 - -9939*i/(-36) composite?
False
Is (-1)/(-1)*(-21959)/(-7) a prime number?
True
Suppose 0 = 27*l - 40745 - 233818. Is l prime?
True
Suppose -o + 0*r + 17 = 3*r, -3*o = -r - 11. Suppose o*u = -p + 31, -2*u - 22 = -4*p + 190. Is p a composite number?
True
Is (5322460/24)/13 + 1/(-6) prime?
False
Suppose 5*d - 2*d - 9 = 0. Suppose 6*h = d*h + 483. Is h prime?
False
Let t = -25 - -29. Suppose y - 2199 = -t*a, a - 434 - 92 = -5*y. Is a prime?
False
Suppose 432750 = 12*o - 152154. Is o a prime number?
False
Let o = -3736 - -5473. Suppose -4*x - 229 = -o. Is x a composite number?
True
Let d(s) = -54*s**3 + 3*s**2 + 2*s + 3. Suppose -2*z = 14 - 10. Is d(z) a prime number?
True
Let o = 2309 - -1124. Is o a prime number?
True
Suppose 4*y + 0*m + 68 = -4*m, -3*m = y + 25. Let r = 15 + y. Suppose -s + r*s - 169 = 0. Is s a prime number?
False
Suppose 4*s + 4*p - 6*p = 44062, -33041 = -3*s - 4*p. Is s a prime number?
False
Let w(k) = -34*k - 23. Let z(n) = -35*n - 21. Let h(a) = 5*w(a) - 6*z(a). Let o = 1 + 4. Is h(o) composite?
False
Suppose m + 4*m - 25 = 0. Is (15/m - -308) + -4 prime?
True
Let v(l) = -l**3 + 3*l**2 + 2*l - 6. Suppose -6*m + 12*m = 18. Let g be v(m). Suppose -2*o - 3*h + 314 = -o, g = 2*o + 5*h - 629. Is o a prime number?
True
Suppose h - 696 = 385. Is h a prime number?
False
Suppose 1 - 7 = -2*w. Suppose j = -3*j - 5*r + 35, -r - 31 = -w*j. Is j prime?
False
Let a(r) = 2*r**3 - 5*r**2 + 21*r + 29. Is a(24) a prime number?
True
Is (-18432)/(-20) + (-8)/(-20) - 1 a composite number?
True
Suppose 0 = -24*h + 22*h - 2664. Let r = h - -2051. Is r a composite number?
False
Suppose 19*r - 791712 - 314905 = 0. Is r a composite number?
False
Let u = -12622 + 28581. Is u a prime number?
True
Suppose 39 = -7*n + 8*n. Suppose 2*f + 5*v + 0*v = -n, -3*f - 4*v - 41 = 0. Is -2 - 7/(f/81) a composite number?
False
Let q = -1378 + 4425. Is q a prime number?
False
Let w(y) = -y**2 - y**3 + 2*y**3 - 7*y + 7*y**2 + 0*y**3. Let h be w(-6). Is ((-568)/12)/((-4)/h) composite?
True
Suppose s - z + 0*z - 8927 = 0, 8915 = s + 2*z. Is s composite?
False
Let a = 24976 - 16194. Is a composite?
True
Let p(w) = -w**2 - 44*w - 129. Let n be p(-41). Let b(h) = h**2 + 4 + 4*h + 4*h**2 + 1. Is b(n) a composite number?
True
Let y(g) = -g**3 + 26*g**2 - 39*g + 9. Is y(22) a prime number?
True
Suppose -5*p + 424 = -p. Suppose -526 = -n - p. Let o = n + -27. Is o composite?
True
Let v = -8 - -10. Let o(r) = -r + 3. Let t be o(0). Suppose 0 = -5*b - 3*s + 596, -b - v*b + t*s = -348. Is b prime?
False
Suppose u + 0*u = 4*k + 11, 4*u = -k + 10. Let f be (u/(-2))/(9/(-3828)). Suppose b - 4*o = 333, o = b + b - f. Is b composite?
False
Let y(n) = n**3 + 8*n**2 + 5*n - 6. Let o be y(-7). Let l = o + -23. Is 12612/15 + (-3)/l composite?
True
Let q = 10 - 6. Suppose 7*z = q*z. Suppose -5*b + 4*w + 1729 = -708, 3*b - 4*w - 1467 = z. Is b prime?
False
Let u = -58360 - -105083. Is u a prime number?
True
Let o(c) = 105*c + 2. Let 