s -1*(-3 - 21/s)*-614 a composite number?
False
Let s(v) = -v**3 - 21*v**2 - 20*v - 5. Let t be s(-20). Let x be (-9 + 12)*(-230)/(-3). Let k = x - t. Is k prime?
False
Suppose -7*w + 4096 = 652. Let i be (-4)/18 - (-5494)/18. Let q = i + w. Is q prime?
True
Let k be 40/100 + (-1 - (-7933)/5). Suppose 0 = 6*o + k + 622. Let z = 1245 + o. Is z a prime number?
True
Suppose -2*v = 2*r - 317962, -2*v = -29*r + 30*r - 158981. Is r a prime number?
True
Let p(z) = 15*z + 34. Let h be p(2). Suppose -2*r = 2*u - 11276, -3*u = 61*r - h*r - 16920. Is u a composite number?
False
Suppose 5*w + 5*v = 40, -3*w + 0*v + 18 = v. Suppose w*m - 32 = 3*s, -4*m + s + 4 = 4*s. Suppose -5*u = m*g - 333, 5*g - 2*u - 159 = 216. Is g composite?
True
Suppose 0 = a + 4*z - 979, -3115 - 801 = -4*a - 5*z. Suppose 3829 = 986*q - a*q. Is q a prime number?
True
Let x = 49237 - 3636. Is x prime?
False
Suppose -18*i + 76 = -56*i. Is (40/(-80))/(i/10316) a prime number?
True
Suppose -4*x + 9*x - 3*t + 78 = 0, 0 = 3*x - 4*t + 38. Let p = x + 23. Suppose 2*f = 2*h + 114, -f - 3*f - p*h + 210 = 0. Is f a prime number?
False
Suppose -3*z + 14 = 5, -3*z - 1573 = 2*s. Let g = s - -2592. Is g composite?
False
Suppose 5*c = 5*g, 2 + 1 = 5*c - 2*g. Let d be 3 + (-6)/3 + c. Suppose -3*y - 290 = -x, 4*x - d*x + 2*y = 620. Is x prime?
False
Suppose -4*r = -59 + 19. Let g be (r/(-4) - -6) + (-2)/4. Is 354*30/24*2/g a prime number?
False
Let r(p) = p**3 + 18*p**2 + 18*p - 4. Let l be r(-17). Is (-72)/84 - 51657/l a prime number?
True
Let c(t) = t**2 + 7*t - 15. Let q be c(21). Let b = q - -628. Is b composite?
False
Let k be -13 + 10 - (-45)/9. Let y(u) = 9*u + 9 + 3*u + 10*u. Is y(k) a prime number?
True
Let c = -21 + 36. Let n = c + -12. Suppose 89 - 267 = -2*y + x, 2*y - n*x - 186 = 0. Is y a composite number?
True
Is -11 + 18 + -20 - -144914 prime?
False
Is -8 - (-19 - 298380) - 10 composite?
True
Let j = -3463 + -22117. Let u = -8851 - j. Is u a prime number?
True
Suppose -9*l - 125 = -34*l. Let r(c) = 301*c + 8. Is r(l) composite?
True
Suppose 32*h - 6923232 + 909984 = 0. Suppose 26028 = -6*t + h. Is t prime?
True
Let x(v) = 9960*v**2 - 1290*v - 7. Is x(-11) a composite number?
False
Let y(b) be the third derivative of 47*b**7/2520 + b**6/144 - 23*b**5/120 - 17*b**4/24 - 35*b**2. Let a(m) be the second derivative of y(m). Is a(4) prime?
False
Suppose 0 = -0*q + q - l - 224, -q = 4*l - 244. Suppose -v + 5*z = -453, -1182 = -2*v - 2*z - q. Let n = -156 + v. Is n prime?
True
Let l(r) = -7*r**3 - 21*r**2 - 4*r - 3. Let d be l(-7). Let k = d + -306. Is k composite?
False
Is 142577/(21 - (-260)/(-13)) a composite number?
True
Suppose -4*z + 1106477 = 5*j, 1025*z = 1023*z + j + 553249. Is z prime?
True
Suppose -6 = -3*b + 3*m, 0 = 4*b - m - m - 8. Is b/10 + 553608/60 prime?
True
Let c = -9755 - -4438. Let j = -2519 - c. Is j composite?
True
Let j = -60 + 49. Is 2/j + (-11959)/(-11) composite?
False
Suppose 3*a + 30 = 39. Suppose a*t + 1496 = -961. Let u = t - -1370. Is u composite?
True
Let m = 16990 - 6835. Suppose m = 2*y - c, -2*y + 3*y - 5076 = -c. Is y a prime number?
True
Let x(t) = -t**3 + 4. Let p be x(-3). Let h = 33 - p. Suppose 5*k = 15, -h*k + 5*k - 2085 = -4*s. Is s a prime number?
False
Let x be -1 - (12/18 - (-2)/(-3)). Let v(r) = 2*r**2 + 2*r + 1. Let n be v(x). Is 7040/15 - n*(-2)/(-6) composite?
True
Let l(b) = 15*b + 339. Is l(12) a prime number?
False
Suppose -22721 = 2*q - 136609. Suppose 5*t - q = p, -p + 45557 = 4*t - 0*p. Is t composite?
True
Let p(q) be the first derivative of 5*q**3 + 161*q**2/2 - 19*q + 54. Is p(-24) composite?
True
Let d(s) = 39*s + 2. Let w(q) = -77*q - 3. Let n(v) = -7*d(v) - 3*w(v). Is n(-5) composite?
True
Let x = -4 - -9. Suppose 4*l - 5 = 5*k + l, -2*k + 5*l = 21. Suppose -m - k*m + 165 = -3*f, -2*m + x*f + 122 = 0. Is m a prime number?
False
Let h(c) = -37515*c + 165. Let w be h(-8). Suppose 0 = -20*j + w - 31385. Is j composite?
True
Let x = -188 + 184. Is (-3 - 0) + x + 5645 a prime number?
False
Let g(x) = 35731*x**2 + 15*x + 3. Is g(3) composite?
True
Suppose -2*s = -4*m - 46314, 19 = m + 24. Is s a prime number?
False
Let x(r) = 2833*r**2 + 116*r + 749. Is x(-6) a composite number?
True
Let q(k) = 196*k**2 - 5*k - 52. Is q(-3) a prime number?
False
Suppose 0 = 4*d + 5*z + 478 - 13174, -15870 = -5*d + z. Suppose 9*u + 1542 = -d. Let c = 1107 + u. Is c prime?
False
Let z = 421 - 869. Let f(v) = 109*v + 7. Let c be f(10). Let a = c + z. Is a composite?
True
Let n = 3549 - -291. Suppose 2*m = -4*m + n. Let x = m - 347. Is x a composite number?
False
Suppose 4*q = -2*n - 12, 5*n - 7*q - 45 = -2*q. Suppose k + n*k = -t + 984, -4893 = -5*t + 2*k. Suppose -6*h + 2543 = -t. Is h a prime number?
True
Let r be -1*10*(-13)/(195/42). Let a = r - 26. Is 198 - 0 - (3 - 8/a) a prime number?
True
Let a(s) = -5*s**2 - 2*s + 17. Let i be a(7). Let x = 42 - i. Suppose x = -y + 5*y. Is y prime?
True
Is (53/((-2067)/(-26)))/(207757/(-207759) + 1) prime?
False
Let o = 206374 + 166165. Is o composite?
False
Let x(r) = 309*r + 562219. Is x(0) a composite number?
True
Let v be 18/(-3)*-4*10/(-6). Let m = -35 - v. Suppose -3*d + d - 923 = -g, -m*g - 4*d = -4587. Is g prime?
True
Let h be ((-16865)/(-1 - -6))/1. Let j = h + 5530. Is j a composite number?
True
Suppose 3*c + 402 - 426 = -2*p, 12 = p + 5*c. Let g = -1 - -1. Is (-905)/2*p/(-6) - g a composite number?
True
Let g(m) = -m - 1. Let f be g(6). Let w(x) = -1218*x + 3. Let a(d) = 1827*d - 5. Let y(o) = f*w(o) - 5*a(o). Is y(-1) a prime number?
True
Let c = -10 + 16. Suppose -z - 110 = -c*z. Is (z/(-8))/(2/(-184)) composite?
True
Let b(z) = -9 - z + 5*z**2 + 7 - 10*z + 7. Is b(13) prime?
False
Suppose -84 = -17*y + 426. Let g(u) = 46*u + 17. Is g(y) composite?
True
Suppose -41*b + 26 = -220. Let t(p) = 1004*p + 17. Is t(b) a composite number?
True
Let q = -294 + -444. Let d(h) = -104*h - 41. Let t be d(-13). Let f = t + q. Is f prime?
False
Suppose 2*u = -3*k + 10, 0*u - u - k = -5. Suppose s = u*s - 4, 4*j + 4*s - 24 = 0. Suppose 4*l - j*d - 3954 = 329, 4*d = l - 1079. Is l a composite number?
True
Let a(q) = 4668*q - 10619. Is a(60) prime?
True
Suppose l - 14 - 4 = -j, 72 = 4*j - l. Is 50748/j*(21/6 - 2) composite?
False
Suppose -213*b + 28356266 = -67*b. Is b composite?
True
Let w(v) = v**2 - 8*v + 17. Let n be w(5). Let z(s) = s**n + 19*s + 25 + 3*s - 5*s. Is z(-20) composite?
True
Let r be (22/(-5))/((-1 - -5)/(-20)). Suppose -2*b = -1224 - 4156. Is 56/(-308) + b*19/r a prime number?
False
Let n = -25 + 59. Let d = n - 29. Suppose d*k - 1123 = 4*k. Is k a prime number?
True
Let v = 21806 + -15259. Suppose a - v = 4356. Is a prime?
True
Let c be ((-217)/42 + (-1)/(-6))*-1. Suppose 2*f + c = -4*r - 5, 10 = -2*r. Suppose 0*g + 4*g = -a + 506, 3*a = f*g - 641. Is g a composite number?
False
Let o be -1*(-1 + 5 - 13). Suppose -8*y - 8513 = -o*y. Is y a composite number?
False
Let g be 80/(-680) + 1478698/34. Is 0/1 + g/57 composite?
True
Let d = 8860 + -5201. Suppose -7*u + 18295 = -2*u - 2*v, -u = -2*v - d. Suppose 2*y - 5183 = u. Is y composite?
False
Let d(q) = -100*q - 17. Let g be ((-63)/12)/(-7) + (-402)/24. Is d(g) prime?
True
Suppose -17284 = -91*b + 87*b. Is b composite?
True
Let w(c) be the third derivative of 11*c**6/120 + c**5/4 + c**4/24 - 11*c**3/6 + 84*c**2. Is w(6) composite?
True
Let y(i) = -i**3 + 137*i**2 + 2737*i - 175. Is y(122) a composite number?
False
Let u(p) = 10*p - 58 + 37*p**3 + 35*p**3 + 17*p**2 + 7*p**2 - 73*p**3. Is u(23) prime?
True
Let m = -275 + 301. Is 6/39 - ((-112420)/m - 3) a prime number?
True
Suppose -145*t = -147*t + 54. Is (t/(-54))/(1/(-3802)) a prime number?
True
Suppose -3432 = 7*j + 1398. Is -3*20/(-15) - j a composite number?
True
Let i(l) = 21251*l + 91. Is i(18) a composite number?
True
Let r(b) = 0 - 2738*b - 5 - 10 - 8. Is r(-36) a composite number?
True
Let g be 12/30*(-15)/(-3). Let m be (-1185)/(-12) + g/8. Suppose 166 = 5*i - m. Is i composite?
False
Let c be (2 - 30)*((-109)/7 - -11). Let a(h) = 157*h + 1. Let l be a(2). Let o = c + l. Is o composite?
False
Let b(l) = -6601*l**3 - l**2 + l + 7*l**2 + 821*l**3 - 4*l**2. Let g be b(-1). Is -1*(g/(-3) - 4) prime?
True
Let y = 4 - -3. Let a = -140 - -140. Is (568 - (-5 + 4))*(a + y) a prime number?
False