s z prime?
True
Suppose -12*b + 595016 = 5*a - 377447, -4*a + 778034 = -b. Is a a prime number?
True
Suppose 5*j - 3927791 - 4166098 = -4*j. Is j prime?
True
Suppose 8*h + j = 4*h - 7, 4*j = h + 23. Is (h/12)/(2 - (-172470)/(-86232)) a prime number?
True
Let g be (-8)/(-14) + (-47788)/(-14). Suppose 3*j + 3*k = 7573 - 2428, 0 = -2*j + 2*k + g. Is j a prime number?
False
Let i = -167244 + 500227. Is i a composite number?
True
Let t(r) = -18*r + 114. Let s be t(6). Suppose -4*v + 5*q = s*q - 7848, -3*q + 7856 = 4*v. Is v a prime number?
False
Suppose -190*w + 587611 = -137*w. Is w a composite number?
False
Is (4 - 24558/(-9))*(-1392)/(-32) prime?
False
Let z(u) = 239*u**2 - 2*u - 21. Let b be z(5). Suppose 0 = 16*s - 8*s - b. Is s a prime number?
True
Let y = -12540 - -93735. Suppose 0 = 5*u - 0*u - 5*m - y, 4*m = -2*u + 32478. Is u composite?
True
Suppose 5*z = t - 15, 6*t - t + z - 49 = 0. Suppose -3*r = -y + 78 + 686, -2*r = -t. Is y prime?
False
Let u = 103572 - 2161. Is u composite?
False
Suppose -2*t + 2 = 0, 232151 + 85449 = 5*d - 5*t. Is d a composite number?
False
Let k(p) be the first derivative of 0*p**2 - 1/3*p**3 + 2*p + 33 - 333/2*p**4. Is k(-1) composite?
True
Let b(i) = 25*i**2 - 8*i**2 + 579*i - 602*i + 7. Is b(-8) a composite number?
False
Let n be (-24)/(-6) - (-805)/5*54. Suppose -5*l = 2*b - 12058, -2*l + 2669 = -b + n. Is b a prime number?
True
Let y = -65 - -74. Suppose -y*x = -19*x + 25910. Is x prime?
True
Let g be 8*2 - (-4)/16*-4. Suppose 5*i - 5*v - 13505 = 0, -2*v = v - g. Let d = i - 1307. Is d composite?
False
Let j(d) = 3*d**2 - 4*d + 9*d**3 + 5*d**2 + 0*d**3 + 25 - 2*d**3. Is j(6) a prime number?
True
Is (-48)/(-8) + (8803 - 6) prime?
True
Suppose 0 = -34*v + 35*v. Let l be 656 - (-9 - -9 - (v - 0)). Let u = l - 369. Is u a composite number?
True
Suppose l - i - 146752 = 0, -5*l - 2*i - i = -733800. Suppose -14184 = 21*v - l. Is v composite?
True
Let f(x) = -83*x**2 + 59*x - 36. Let p be f(-17). Let u = p + 49169. Is u composite?
True
Let w = 276 + -273. Is w/15 - (-66128)/10 a composite number?
True
Let s = -76 + 94. Is (-19886)/(-12) - 1/s*3 prime?
True
Let k(l) = 345*l - 90. Let x be k(16). Suppose 0 = -4*u - s + 11612, 4*u - 6182 = s + x. Is u composite?
False
Let g(r) = 6*r**3 - 56*r**2 + 48*r - 71. Let u be g(24). Let d = u - 30920. Is d prime?
True
Let n = -41350 + 80717. Is n a composite number?
False
Let q be (100/(-350))/(2/(-28)). Suppose g - 1473 = -q*f + 8238, -4*f + 9699 = -3*g. Is f a composite number?
True
Suppose -1641*u - 26765 = -1646*u. Is u prime?
False
Suppose 28 - 34 = 5*v + o, 0 = 4*v + 2*o. Is 18285 - -37 - (-6)/v a prime number?
False
Let d = 1303 - 660. Suppose -2*g - 4*c = -616, -g - g + 5*c = -d. Is g a composite number?
True
Let f be (-117)/(-5 + (-798)/(-161)). Let c = f - -1016. Is c composite?
True
Suppose -5565 = 2*j - j - 5*s, -5*j = -2*s + 27710. Let g = 4322 - j. Is g a prime number?
False
Suppose 0 = 5*k + r - 4, 0 = 2*k - 5*r + 3*r - 4. Is 4 - k/(-2*(-1)/(-2874)) a prime number?
False
Is (-30171660)/(-90)*(-12)/(-8) prime?
True
Suppose -4*n = 2*n. Let i = -11 + 13. Suppose -3*p + 1613 = -n*d - i*d, 1087 = 2*p + d. Is p prime?
True
Suppose 2108 = 2*u - 3*h, -3*h + 2084 = 4*u - 2*u. Suppose -3*g + 6 = 0, 2*s + 2*g + 0*g - u = 0. Suppose c = -s + 2323. Is c a composite number?
False
Suppose 6*l - 2010901 = -740047. Suppose l + 33457 = 14*v. Is v a composite number?
False
Let f(l) = -2*l + 10. Let u be f(-4). Suppose 17*n = u*n - 2. Suppose i - 277 = -4*r, 0 = 4*r - 10 - n. Is i prime?
False
Let b be -1*(320/5)/(-2). Suppose a + n = 6*a - 34, 4*n = -4*a + b. Suppose 0 = a*f - 4*f - 3183. Is f a composite number?
False
Let f = -87 + 114. Suppose -4*q - p = -f, -3*p + 0 - 23 = -q. Let y(z) = 12*z**2 + 13*z - 1. Is y(q) prime?
False
Let q = 36 + -22. Let d = 13 + q. Suppose -29*h + 246 = -d*h. Is h composite?
True
Let q(n) = 3*n - 385. Let y(u) = -u**3 + 10*u**2 + 2*u - 20. Let l be y(10). Let b be q(l). Let j = -198 - b. Is j prime?
False
Let o(h) = h**3 - 7*h**2 + 47*h - 12. Let t = 16 + -5. Is o(t) composite?
True
Suppose 142*j - 17510430 = 37*j + 63*j. Is j a composite number?
True
Let t(m) = 4503*m**2 - 84*m + 733. Is t(10) composite?
False
Suppose 5*n - 3*b - 3 = 0, 0 = 4*n - b - 9 + 8. Let y be 13/(13/48) - n. Is (-501 + -1)*y/(-32) a composite number?
True
Let n(h) = 6211*h + 2138. Is n(27) a composite number?
True
Suppose 0*x + 3*x - 2*a - 25 = 0, 0 = 4*x - 5*a - 31. Suppose 7*y + 8 = x*y. Suppose -11377 = -4*z + k, k = 3*z + y*k - 8514. Is z prime?
True
Let c = 29188 + 55371. Is c composite?
False
Suppose 0 = 28*t - 29*t + 3*l + 31409, 0 = 3*t + l - 94237. Suppose -m - 23559 = 6*q - 9*q, 0 = -4*q + m + t. Is q a composite number?
False
Let u be 7*(4 + -6*20/42). Let f be 4 + 22443/(1 - (-4)/u). Suppose -m - f = -15*m. Is m prime?
True
Let f(x) = 73*x**2 - 143*x - 517. Is f(41) prime?
False
Let b(n) = 41*n**2 + 6*n - 1. Let i(g) = 1. Let m(l) = b(l) + 2*i(l). Let u be -4 + 5 + 1*28/(-4). Is m(u) prime?
False
Suppose -3*k - 4*p = 2, -2*p + p = 2*k - 7. Let q be (-2 - k/2) + -11232. Let y = -3810 - q. Is y composite?
True
Suppose i - 4*i = -15. Suppose i*l - 3*c + 1602 = 0, -5*c + 8 = -12. Let t = l + 551. Is t composite?
False
Is ((-206)/412)/((-2)/382804) a composite number?
False
Is 69/115 + 82*(-282110)/(-50) composite?
True
Suppose i = w - 3*i - 12, 5*w + 3*i = -9. Suppose 20 = -17*b + 12*b. Is b + (569 - (w + 0)) a composite number?
True
Suppose 21*d - 14*d = 185080. Suppose -3*j - 2*v = j - 52862, -2*v - d = -2*j. Is j composite?
False
Is 674/8*12*(-2653)/(-21) a composite number?
True
Let p = 84 + -84. Suppose -z + 2 = 0, p = -2*g + 3*z - 109 + 3221. Is g a composite number?
False
Let c(w) = -18998*w + 901. Is c(-3) prime?
False
Let k(l) = 2*l + 2. Let u = -1 - 4. Let v be k(u). Is ((-2648)/12)/(v/12) a prime number?
True
Let r(i) = -8840*i**3 + 3*i**2 - 15*i - 51. Is r(-2) a composite number?
True
Let x = 1990310 - 729189. Is x a prime number?
True
Let l(o) = 45*o**3 - 2*o**2 + 4*o - 2. Let c be l(3). Let y be (3 - 6)/(6/(-10)). Suppose c - 391 = h + 3*v, -4165 = -y*h + 2*v. Is h a composite number?
True
Is 70*(-12)/(-120) - (-82124 - 2/(-1)) composite?
False
Suppose 30*i = 14*i - 83*i + 7319961. Is i a prime number?
True
Suppose -16*q + 8 = -18*q. Let a be -16*(q - 994)/2. Suppose 10*w = -a + 27194. Is w a prime number?
False
Let j = 14734 - 7355. Is j a prime number?
False
Let q be (-6)/(-1)*54448/(-32). Is -2*(3 - q/(-6)) composite?
True
Suppose -98*b = -187*b + 107*b - 10738242. Is b composite?
False
Let p = -44 + 46. Let y be p*(-1)/8 + 182/56. Suppose -4*i = -3*q - 1954, 0 = -2*q - y - 1. Is i composite?
False
Let i = -12 + 12. Suppose -11*h + 156 - 24 = i. Let c(y) = y**3 - y**2 - 6*y - 31. Is c(h) a prime number?
True
Is ((-2)/4)/((-1842136)/(-307024) - 6) composite?
True
Is ((-9)/12)/(16/((-1238208)/9)) a prime number?
True
Let b = 77 - 68. Let n be (-2)/b - (-120120)/108. Suppose 8*o = 16*o - n. Is o composite?
False
Suppose 2*b = -13 + 33. Suppose 2*q - b = -2*m, 14 = -0*m - 2*m + 4*q. Let u(f) = 70*f**3 + f**2 - f + 1. Is u(m) a prime number?
True
Suppose 2*z - 49 = -5*z. Is 4844/z + 5 + (-4)/(-1) a prime number?
True
Let y = 1621 + -3748. Let w = y + 5840. Is w composite?
True
Let g = 10769 + -1719. Let w = g + -5895. Is w a prime number?
False
Suppose 22*r = 23*r. Let w be (-4)/2 + (r - -4). Is -1*(w - 1576)/2 a composite number?
False
Let a(b) = -2408*b + 5. Let j(o) = -o. Let d(y) = a(y) + 6*j(y). Is d(-6) composite?
False
Let h(p) = 13507*p**2 - 81*p + 649. Is h(13) a composite number?
True
Suppose 0 = 10*a - 17*a + 36946. Suppose -a = -7*h - 833. Is h prime?
False
Let j(k) = 2*k**2 - 36*k + 37. Let l be j(18). Let u = 41 - l. Suppose g - u*g = r - 1090, r + 2*g = 1087. Is r prime?
False
Suppose -3 = -0*a + 3*a. Let l(f) = -221*f**2 - f + 4. Let q(m) = -m**2 - 1. Let v(t) = a*l(t) - 5*q(t). Is v(2) a prime number?
True
Let c = -76226 - -108865. Is c a prime number?
False
Suppose -16*d = -0*d - 7328. Suppose d = 2*o - 72. Is o composite?
True
Let b(q) be the first derivative of 7/2*q**2 - 3*q - 12 + 2/3*q**3 - q**4. Is b(-4) prime?
True
Let l(p) = -72800*p + 381. Is l(-1) a prime number?
True
Let i(g) = 4*g - 10. Let l be i(4). Suppose -26 = -4*