False
Is (-9)/63 - 40217054/(-70) - 1/5 a prime number?
True
Let z be (55/30)/11*-2*3. Is 716 - (-2 + 0 + 0 + z) a prime number?
True
Suppose -2*n - 351388 - 41547 = -3*q, 3*n + 589405 = 2*q. Is (-12)/40 + n/(-130) prime?
True
Let l = -97009 - -396270. Is l a prime number?
True
Let a = -44 + 46. Suppose -779 = -4*f - 3*r, -a*r + 3*r - 5 = 0. Is f prime?
True
Suppose 31856 = 4*a + 988*z - 984*z, 5*a + z - 39816 = 0. Is a a composite number?
False
Suppose i + 5 - 2 = 0. Let r be (i + 4 - 3)*(-2001)/6. Suppose -s = -r - 76. Is s composite?
False
Is ((-5)/2 - 0)*7112710/(-275) a composite number?
False
Let b(s) = -8*s**3 - 9*s**2 + 11*s - 6. Let o(j) = 3*j**3 + 4*j**2 - 5*j + 3. Let f(l) = -2*b(l) - 5*o(l). Is f(3) a composite number?
True
Suppose -14 = 5*q + w, -w - 19 = 4*q - 8. Is (-54)/(-15)*5615 + q a prime number?
False
Let b be 9/(-36) + (-51)/(-12). Suppose -3*y = 2*f - 8, -4*y = f + b*f - 13. Is f/(1/3) + 106 a prime number?
True
Let a be ((-4970)/4)/((-9)/18). Let m = a - 1348. Is m prime?
False
Let j be ((-444)/(-15))/(10/(-1550)). Is (-3)/8 - j/32 a composite number?
True
Let r(b) be the second derivative of 3737*b**5/20 + b**4/12 + b**2/2 - 113*b. Is r(1) a prime number?
True
Let p(n) = 65*n + 30. Suppose 2*l + 3*r - 8 = 0, 4 = 2*l - l - 3*r. Suppose -4*z = -3*v + 1 - 75, 3*z = -l*v + 43. Is p(z) composite?
True
Let p be 8/((-4)/2) + -37 + 8. Is -1*(-6)/p - (-92364)/44 composite?
False
Let h(p) = 12857*p**3 - 8*p**2 + 5*p - 1. Is h(1) composite?
False
Let f(j) = 19*j**3 - 10*j**2 + 10*j - 25. Let m be (-3 - 7)*(-88)/110. Is f(m) a prime number?
False
Let p(l) = 1726*l - 228. Let s be p(30). Let y = s + -30257. Is y a composite number?
True
Suppose 64967 = y + 101*s - 97*s, -3*s = 4*y - 259985. Is y a prime number?
True
Let r = 173378 - 47985. Is r composite?
True
Is 4/18 + (-20)/(2340/(-2457091)) a composite number?
False
Is (1/(-3) - 14/12)/(33/(-570394)) a prime number?
False
Let x(z) = -3*z**3 + z**2 + 5*z + 12007. Is x(0) composite?
False
Suppose 14*z + 16 = 10*z, 0 = 4*a + 5*z + 48. Let y(f) = 90*f - 39. Let s(t) = 60*t - 26. Let l(r) = -8*s(r) + 5*y(r). Is l(a) a composite number?
False
Let d be 0 - -5 - (5 - (0 + 4)). Suppose 0 = d*c + 2*b - 4146, c = -5*b + 519 + 495. Is c prime?
True
Let m(v) = 2*v**3 - 2*v**2 - v + 19149. Let o be m(0). Let g = o - 9016. Is g a prime number?
True
Let k(x) = -12*x + 9*x**3 - 1174*x**2 + 14 + 1174*x**2. Is k(7) a composite number?
True
Let a(w) = -3*w**3 - w**2 - 2*w - 1. Let i be a(-1). Let y(n) = -6*n**2 - 6*n + n**i + 12 - 3*n + 4*n. Is y(10) composite?
True
Is (-1202973 + -10 + -3)/(1 + -3) a composite number?
True
Suppose -29051 = -8*o - 3563. Let b = o + 191. Is b prime?
False
Let i be 2/(1/3 - 52/(-312)). Suppose 8*z - i*z + 26388 = 4*v, -2*z + 19801 = 3*v. Is v composite?
False
Let j be 2 + -2 + 34 + -3 + 5. Suppose 4*m - j = 3*p, 0 = 6*p - 2*p. Suppose -m*b + b = -20024. Is b prime?
True
Suppose 0*u - 301235 = -4*s - 5*u, -5*s + 6*u = -376507. Is s prime?
False
Let m be 12/28 + (544305/35 - 1). Let b = m + -5964. Is b a prime number?
True
Let t be -838*(-13)/(39/(-24)). Let p = -3837 - t. Is p composite?
True
Let r = 1794 - 2585. Let g = 8608 + r. Is g composite?
False
Let i(s) = s**2 + 34*s + 79. Suppose 0 = -12*v - 21*v - 1320. Is i(v) composite?
True
Let u be 13 - 9 - 40/8. Let o(g) = -280*g - 2 + 4 - 11*g. Is o(u) a composite number?
False
Suppose -j + 0*j + 4*o = -1042, -2*j - 3*o + 2139 = 0. Suppose -30382 = -8*q - j. Is q prime?
False
Suppose 0 = 32*r - 4571503 + 752399. Is r a prime number?
False
Let g = 28267 + 128118. Is g a composite number?
True
Let o = 73662 + -42377. Is o a prime number?
False
Suppose -1402910 + 6372610 = 20*a. Is a a prime number?
False
Suppose -3*a - 2*t - 7 = 0, 4*a + 0*t + 15 = 3*t. Let n be (-2)/(-3)*18/a. Let s(p) = 31*p**2 - 3*p - 5. Is s(n) composite?
False
Let s be 3/(-8) - (-45)/120. Suppose y - 29 = -5*j, 4*j - 12 = -3*y + 20. Suppose s = -j*h + 182 + 773. Is h a prime number?
True
Let k(j) = -23*j**2 - 6*j - 11. Let r be k(9). Let w = r + 3247. Is w composite?
False
Suppose -3*f - 2*f - 5*w + 430 = 0, -3*w = 4*f - 344. Suppose -2*z + 2808 = f. Is z a prime number?
True
Suppose -77*g = -52*g + 200. Let n(c) = 18*c**2 + 3*c - 19. Is n(g) a composite number?
False
Is (-5 + 3*-57614)*((-64)/(-8) + -9) a composite number?
True
Suppose 0 = 3*l - 2*z - 401, l = -l - 2*z + 264. Let v = l + -53. Let d = 171 + v. Is d a composite number?
False
Suppose -a - 43 = -5*k, -5*k + 16 + 21 = -4*a. Let l be (-4)/(k/12*8/(-12)). Suppose 9051 = 11*q - l*q. Is q composite?
True
Let f be (28 + -35)*(1 - (-13 - -1)). Suppose -q - 554 = -4*u - 4*q, 0 = u + 3*q - 143. Let k = f + u. Is k composite?
True
Suppose -5*g - 3730950 = -5*m, -4*g + 777383 = m + 31168. Is m a prime number?
False
Suppose 2*q - 40 = -4*u, 18 = 2*q + u - 34. Suppose q*z - 5444 = 3600. Is z prime?
False
Let u = -276908 - -511077. Is u prime?
False
Let r(k) = -4*k - 46. Let n be r(-19). Let d = n + -30. Suppose -11*q + 12*q - 331 = d. Is q composite?
False
Suppose -3*t = -5*g - 11261, 5*t = 2*g - 1141 + 5653. Let b = -632 + -718. Let h = b - g. Is h a composite number?
True
Let y(r) = r**2 - 5*r + 7. Let g be y(4). Suppose -5*z = 4*c - 3*c - 23, 0 = 3*c - 3*z + g. Suppose -5*d - c*d = -2344. Is d a composite number?
False
Suppose 1436 = 6*w - 7*w. Let l = -339 - w. Is l composite?
False
Let o be (0 + -1)*-3*(-50)/(-15). Suppose o*k = 66061 - 18551. Is k a prime number?
True
Suppose 4*a - 1206 = -5*x, 5*x - 738 - 464 = -3*a. Suppose x*m - 1304 = 230*m. Is m composite?
False
Let c = -60009 + 129304. Is c composite?
True
Let h(q) = -471*q**2 - 2*q + 7. Let w(z) = -941*z**2 - 4*z + 15. Let t(c) = -13*h(c) + 6*w(c). Let b be t(3). Suppose -b = -4*p - 894. Is p composite?
True
Suppose 2*r + 4*c = -18, 0 = -5*c - 16 - 9. Let t be (-3)/1 - (r + -7). Suppose -483 = 3*x + 3*q - 2829, 5*x = -t*q + 3920. Is x composite?
False
Let t(a) = 14*a**3 + 64*a**2 - 746*a + 27. Is t(15) a composite number?
True
Let o(y) = 14*y**2 + y + 7. Let i(s) = 21 + 11 - 3*s - 13 + 8. Let d be i(7). Is o(d) prime?
False
Let a = 3312 + -3308. Suppose 0 = -4*t + 4*x - 17 + 1, -t - 4*x - 24 = 0. Is 1014/a + (-4)/t a prime number?
False
Suppose 5*z = 20, -18*x = -22*x - 3*z + 185360. Is x prime?
True
Let m(w) = -146*w - 272. Let i be m(-5). Suppose 4*c - 5*k - 950 = 0, c + 5*k - 1165 = -4*c. Let g = i - c. Is g prime?
True
Let x(n) = -16056*n + 529. Is x(-113) a composite number?
True
Let s(f) = -3*f**3 + 10*f**2 - 2*f - 26. Let h(n) = -4*n**3 + 9*n**2 - n - 27. Let p(w) = -4*h(w) + 5*s(w). Is p(-11) prime?
False
Let c = 630026 - 280947. Is c a prime number?
True
Let y(c) = 145*c - 19. Suppose -d + b = -4 - 8, -2*d + 18 = b. Suppose -o + 2*r + 10 = -3*r, -3*o - 5*r = -d. Is y(o) a composite number?
True
Suppose -8*l + 659400 = 3*o - 11*l, -659394 = -3*o + 5*l. Is o a prime number?
False
Suppose 3*u - 462631 = -4*n, -5*n + 7*u + 578290 = 12*u. Is n composite?
False
Suppose 39*n - 1443806 = 13*n. Is n prime?
False
Let u = 384825 - 266962. Is u a composite number?
True
Suppose 5*l = 4*d + 155586, -l + 31*d = 32*d - 31119. Is l a composite number?
True
Suppose h = -5*s + 35, -2*s = -2*h + 93 + 37. Is 16854/21 - h/(-140) composite?
True
Let j = -46 - 9. Is 48 + j + -2 + 16280 prime?
False
Suppose 2*i + 80 = -4*v - 54, -5*i + 2*v = 347. Let n = -68 - i. Is 1039/((-2)/n - -3) a composite number?
False
Let m(a) = a**3 - 54 - a + 43 + 27 - 11*a**2 + a**2. Let w be m(10). Is w*5/150 - (-968)/10 composite?
False
Suppose k - m = 115, -242 = -7*k + 5*k - m. Suppose k = -6*o + 3221. Is o composite?
True
Suppose 23*k = 9*k - 42. Is 1/2*(-6618)/k a composite number?
False
Let w = 234329 + -164808. Is w a composite number?
True
Suppose 0 = 7*j - 28 + 7. Suppose 12*z = j*z + 2439. Is z prime?
True
Let v(q) = 269391*q + 1424. Is v(5) composite?
False
Let y = 4753 + -2789. Suppose -4*l - 2*w + 6640 = -y, -3*w = 12. Is l prime?
True
Let b(a) = 36*a**2 - 17*a + 2. Suppose 4*c + 0*r = -5*r + 42, -2 = -c + 3*r. Let o be b(c). Suppose -3*z + o - 277 = 0. Is z a prime number?
True
Let x(f) = -37*f - 60. Let b be x(16). Let s = -321 - b. Is s prime?
True
Let l = 181 - 183. Is (-4 + 44922/(-12))/(l/4) composite?
True
Suppose -5*x + 619 = 604. Suppose 0 = -x*