20*v - 17338543 - 6719933 = 64*v. Is v a composite number?
True
Suppose -z = 2*t - 3974147, 198*z - 197*z - 3*t = 3974167. Is z a prime number?
False
Let a = -136 + 142. Suppose a = 12*u - 10*u. Suppose 2*p - 2231 = -t - u*p, 0 = t + 4*p - 2229. Is t prime?
True
Let r(z) = -2230*z + 125. Let g be r(-12). Suppose 0 = -5*h + 4*b + g, 5*b = 6*h - h - 26880. Is h a prime number?
True
Let q = -228 + 233. Let k(y) = y**2 + 6*y + 3. Let u be k(-6). Suppose q*z + 2*v - 484 = u*z, -2*v = -2*z + 472. Is z a prime number?
True
Suppose m + 5*v - 28 = 0, -2*m + 4 = m - 5*v. Let r be 6*m/(-84) + 946/14. Let o = 64 + r. Is o a prime number?
True
Suppose 5*m = 2*x - 24789, 2*x + 3*m = -2972 + 27801. Is x a prime number?
False
Suppose -138 = 9*p - 6*p. Let d = p - -50. Is d/(-22) + 58365/55 prime?
True
Let y(m) be the second derivative of -m**5/20 - 2*m**4/3 - 4*m**3 - 79*m**2/2 + m - 3. Is y(-18) a prime number?
True
Let u(m) = 27*m**2 - 2*m + 2. Suppose 4*g = 1 + 7. Let q be u(g). Suppose 7*s - 512 = -q. Is s a prime number?
False
Let t be 3/4*(-32 + -28084). Let u = t - -67420. Is u a composite number?
True
Let r be 32/(-8) + 5 + -195. Let c = 305 + r. Is c a prime number?
False
Let d = 24 + -19. Suppose -3*h - 2*x + 7629 = 0, -d*x - 14393 = -4*h - 4198. Is h composite?
True
Let a(x) = 9343*x - 431. Is a(10) a composite number?
True
Suppose -15*g + 6 = -12*g. Suppose 0 = -g*h - 50 + 56. Suppose 0 = -h*z - 0*z + 4689. Is z a prime number?
False
Suppose 602*c - 613*c = -3099547. Is c composite?
False
Suppose 2*d + c = 5553, 22*c + 11131 = 4*d + 19*c. Is d prime?
False
Suppose -5*p + 125*n - 124*n = -305629, -6 = -n. Is p composite?
True
Let p(d) = -d**2 - d + 1199. Suppose 0 = -7*f - 5*f - f. Is p(f) a composite number?
True
Suppose 49*t + 165 = 82*t. Let a(w) = w + 9. Let b be a(0). Suppose b*p - t*p = 632. Is p a prime number?
False
Let x(g) be the first derivative of -55*g**3/2 + 19*g**2/2 - 11*g - 4. Let o(a) be the first derivative of x(a). Is o(-6) composite?
False
Let t = -99 - -208. Suppose t*d - 105*d = 7204. Is d a composite number?
False
Let m be 3/2*299326/57. Let x = m - 3370. Is x composite?
False
Suppose 4*r + 4*b = -b + 14258, -b = -6. Is r prime?
True
Suppose -2*k + 10 = 0, 4*k - 9 = s + 12. Let i = 3 - s. Suppose 3*v = 4*v, 2*q - i*v = 62. Is q composite?
False
Suppose 2*h + 14 = 22. Suppose h*y - 17871 = 5*o - 3112, 3*y - 3*o - 11070 = 0. Is y prime?
True
Suppose 5*x + p - 1299259 = 0, 6*x - 1559100 = -9*p + 6*p. Is x prime?
False
Let b = 2861 + 13772. Suppose -9*w + b = -19268. Is w a prime number?
True
Suppose -11097 = -3*r + 11655. Let z = r - 3025. Is z prime?
False
Let f(m) = -m**3 - 18*m**2 - 22*m + 47. Suppose -2*w = t + 26, 6*t + 2*w - 46 = 9*t. Is f(t) a composite number?
False
Let r = 111 - 113. Let w be ((-4)/r - 3)/(1/1). Is -4874*(w + 4/8) a composite number?
False
Let g(n) = 1600*n**2 + 2*n + 7. Let f be g(-3). Let o = 8374 - f. Is ((-4)/6)/(14/o) a composite number?
True
Suppose 2*a - 600387 = -5*y, -y = -78*a + 80*a - 120079. Is y composite?
False
Suppose -26*s = -29*s - j + 188558, -25 = -5*j. Is s prime?
True
Is 6 - (-9)/(9/33566) - -2 a composite number?
True
Suppose -3*d + 6832 = -2*v, -d = -0*d + 4. Let w = 15223 + v. Is w a prime number?
True
Let z(k) = 2*k + 110. Let v be z(0). Let p = v - -77. Is p composite?
True
Suppose -5*o = q - 19, 2*o - 6*o + 18 = -2*q. Is -18 + 3472 - (-1 - 6*q) composite?
False
Let z(u) = 9*u**3 + 20*u**2 + 125. Is z(14) composite?
True
Suppose 7*o + 791 = -4515. Let t = o + 2523. Is t prime?
False
Suppose 48*v - 53*v + 1135 = 0. Suppose -195 = 2*p + 5*n, 3*n + 743 = -5*p + v. Let f = p + 296. Is f a prime number?
True
Suppose -105*j = 31*j - 310900 - 2207412. Is j a composite number?
False
Let w(x) be the second derivative of 4658*x**5/5 + x**4/2 - 3*x**3/2 + 2*x**2 + 25*x + 2. Is w(1) a composite number?
True
Suppose -1804759 = -25*u + 14*u. Is u a prime number?
False
Let w be ((-22)/8)/(4 + 132/(-32)). Let p(k) = -k**2 + 35*k - 69. Is p(w) prime?
False
Let q = 18317 + 2604. Is q a composite number?
False
Let u = -2304 + 6631. Is u prime?
True
Is ((4425903/4)/(-3))/(19*111/(-2812)) composite?
True
Is 16*(-15)/(-1080) + 939589/9 prime?
True
Let b = -156 - -926. Suppose 2*h - b = 2*z + 10, -4*h - z + 1585 = 0. Is h prime?
False
Suppose 192*z + 739458 - 22175682 = 0. Is z prime?
False
Suppose 15*o - 50068 - 45407 = 0. Suppose 0*j + j = 5*s + o, j + 2*s - 6393 = 0. Is j composite?
True
Let r(k) = k + 1. Suppose h = -5*v + 22, 3*v - 3 = h + 7. Let a be r(h). Is (-2)/(-2)*(a + 106) composite?
False
Let d = -331074 - -929437. Is d a composite number?
False
Let a(d) be the second derivative of 3*d**5/10 - d**3 + 7*d**2/2 + d. Let g = -4285 - -4294. Is a(g) a prime number?
True
Let o be 8/(-6)*(-10 - 14). Suppose o*r - 20*r = 20724. Is r a prime number?
False
Suppose 7532 = -17*o + 10*o. Let l = 1561 + o. Is l composite?
True
Let d(x) = -12376*x**2 + 4*x + 3. Let t(w) = 12375*w**2 - 3*w - 2. Let s(q) = 3*d(q) + 4*t(q). Is s(-1) a prime number?
True
Suppose 0 = 5*n - 8*n + 27. Suppose 13*b - 44 = n*b. Suppose b*y - 8*y = 246. Is y composite?
True
Is (-5)/20*1*(-37348)/1 prime?
True
Suppose b = 4*b - 4*d - 28, 4*b - 4*d - 32 = 0. Suppose 4*t + b*s - 2328 = 0, -12*t = -16*t + 2*s + 2322. Is t a prime number?
False
Let z be ((0 + 3)/(-6))/((-3)/(-28752)). Let f = z - -9955. Is f prime?
False
Let y = 712 + 184. Let u = y - -516. Suppose 0 = -2*r - 94 + u. Is r a prime number?
True
Suppose -4794*s + 4781*s = -404651. Is s prime?
False
Let y be 1*-1*102186/6. Suppose 5*x = -4*t + 147, -x + 5*t = x - 39. Is (-4)/(-18) - y/x composite?
False
Suppose -w + 71357 = 3*d - 204370, 4*w = -d + 91909. Is d composite?
False
Let k(d) = d**3 - 9*d**2 - 8*d + 1. Let j be k(10). Is (-479725)/(-175) - (2 - 36/j) prime?
True
Let g(l) = 6*l - 16. Let h be g(3). Suppose 0 = -h*q - c + 12, 0 = q + 3*c - c - 3. Suppose 3*v = q*v - 996. Is v prime?
False
Suppose -2145085 = 8*i - 3271954 - 4743235. Is i prime?
False
Let l = 14914 + -10280. Suppose -1 = -p - 5, -2*i - 5*p - l = 0. Is i*(26/(-6) + 4) prime?
True
Let y be 5 + 18/(-27) + 2/(-6). Is (-12)/(-48) + 4723/y + 0 a composite number?
False
Let i be (1 - -1)*34/4. Let b(h) = -4*h + 31 - 32 + 33*h**2 + i*h**2. Is b(-4) a composite number?
True
Let a = -45 - -67. Let t(k) = 41*k + 7. Let q be t(a). Let b = q - 563. Is b a prime number?
False
Suppose -5*n - 3*d = 106, d = 2*n + 23 + 26. Let a = -110 + n. Let s = 13 - a. Is s a prime number?
False
Let i(a) = 9379*a**3 + 3*a**2 - 2*a - 4. Let v be i(-2). Let t = 112711 + v. Is t a prime number?
True
Let t(r) = 1542*r - 13. Let l be t(-3). Let n = -2099 - l. Suppose 3*y - 1243 - n = 0. Is y prime?
False
Suppose 5*z - 5 - 5 = 0. Suppose -3*r - z*x = -4*r + 3, -4*r + 3*x = -7. Let y(h) = 634*h + 1. Is y(r) prime?
False
Let t be 2 + 36/(-16) + 12270/24. Suppose -t - 9624 = -5*k. Is k composite?
False
Let v = -71 - -160. Suppose 0 = -4*w - 5*m + 139, -2*m + 47 + 131 = 5*w. Let i = v - w. Is i composite?
False
Let h = -18674 - -32833. Is h a prime number?
True
Suppose 5*p - 8661588 = -p. Is p/195 - (-1)/(-15) composite?
True
Suppose -66*j = -71*j + 20. Let c(k) = 560*k - 37. Is c(j) prime?
True
Suppose -11*m = -7*m - 876. Suppose 0 = 3*x - m + 639. Let z = -94 - x. Is z a composite number?
True
Let l = 367637 + -49080. Is l composite?
False
Let h be (-3)/2 - (10210/(-20) - 0). Let l = h - -282. Is l a composite number?
True
Let s(d) = 4903*d + 167. Let z(b) = 2451*b + 84. Let g(j) = 4*s(j) - 9*z(j). Is g(-5) composite?
True
Suppose 10*m = 7*m - 1041. Let l = -156 - m. Is l prime?
True
Suppose -p - z + 89868 = 0, 7*z = -p + 3*z + 89871. Is p prime?
True
Is (39642 - 4)*1*(-10 + 11) a prime number?
False
Let j be ((-6)/(-4))/(9/2148). Suppose 23 + 34 + 15 = -36*o. Is (o + 1/1)*(-4 - j) composite?
True
Suppose -3*i + 561 = 129. Let k be 188*4/i + 2/(-9). Suppose 0 = -k*m + 18 + 267. Is m a composite number?
True
Let d = 1007 + -924. Is d prime?
True
Is ((-152)/(-342) - 38/(-36))*976214/3 a prime number?
False
Let h(x) = 3*x - 3. Let i(n) = n**3 - n**2 + n. Let p(a) = 2*h(a) - 4*i(a). Let g be p(-3). Let q = 505 - g. Is q a prime number?
True
Let j = 64971 + -17288. Is j a composite number?
True
Suppose 0 = 3*u - 5*d - 111858, -91*u + 