 Is x(9) prime?
True
Is (-5958)/(-9)*101087/98 a prime number?
False
Let p(l) = -2*l**2 + l + 2. Let z be p(2). Let c be 7/((z/(-142))/2). Suppose 0 = q + 3*t - c - 26, 0 = q - t - 543. Is q composite?
True
Let q(z) = -49472*z - 4499. Is q(-36) a prime number?
True
Let a = 49 + -56. Let x be 2/a + (-64)/(-28). Suppose 0 = s - y - y - 147, -719 = -5*s + x*y. Is s prime?
False
Let a be 4 - 3 - 4/(-1). Let z(u) = -u**3 + 10*u**2 - 9*u + 2. Let v be z(9). Suppose -5927 = -3*h + 2*w, 2*w = a*h - v*w - 9881. Is h composite?
False
Let b = -17 - -16. Let v(n) = -1901*n**3 - 2*n**2 + 4*n - 1. Let m(i) = i**2 - i + 1. Let w(d) = 3*m(d) + v(d). Is w(b) composite?
True
Let u(d) = d**2 - 7*d + 9. Let k be u(3). Is -4 + (-5 - k) - -31933 prime?
False
Suppose -795*k + 797*k - 4*s = 181130, 90592 = k - 5*s. Is k a composite number?
False
Let s(z) = -8*z - 33. Let h be s(4). Is 2*(-12598)/(-20) - (-52)/h composite?
False
Suppose -54*k = -56*k - 4. Let x be (k - (3 - -2296))/(-1). Suppose 3*g - 3*t = -185 + 3689, -x = -2*g - 5*t. Is g composite?
False
Suppose -82*m + 6 = -85*m. Let v be (-5)/(m*2/(-232)*-2). Let r = 564 - v. Is r composite?
False
Let n = -20328 - -33613. Is n composite?
True
Let f be 7/(-4) + 1005/60. Is (-2 + 40/f)/(20/1109190) a prime number?
True
Suppose -5*z = 4*b - 8672, 0 = z + 5*b - 2507 + 760. Let m = -1149 + z. Is m composite?
True
Let q be 3 - (-44)/(-14) - (-10137)/7. Suppose q = 3*x - 7249. Is x composite?
True
Is 103214/14 - (570/105 + -6) prime?
False
Is 2824/(-14120) - (15122/(-3))/((-10)/(-258)) prime?
False
Suppose 4 = -6*r + 8*r. Suppose 2*x - 564 = -r*l, 2*x - 6*x = 3*l - 847. Let s = l + 156. Is s a prime number?
False
Let r(b) = -18702*b + 601. Is r(-25) prime?
True
Let i(c) = 1974*c. Let g be i(6). Let x = g + -5423. Is x composite?
False
Suppose -3798 = -2*s - 88*z + 89*z, 4*s = -z + 7608. Is s composite?
False
Suppose t - 9*t + 7360 = 0. Let i = t - 78. Suppose 13*a = 14*a - i. Is a a prime number?
False
Suppose 0 = 2*v - 10, 4*j - 5*j + 2*v = 7. Suppose 3*o + 20 - 7 = r, j*r = -4*o. Suppose 0 = r*m - 3099 - 1705. Is m composite?
False
Let o(t) = 43*t + 35. Let f be 28 + (-2)/2 + -3. Is o(f) a composite number?
True
Let f = 62 + -59. Suppose -3*k + 3801 = 5*u - 4*k, -f*u - 5*k + 2275 = 0. Let j = u - 273. Is j a composite number?
False
Suppose 2*o = 4*s - 1605706, o - 612467 = 5*s - 2619589. Is s prime?
False
Let q(c) = 424*c**2 - 3*c + 8. Let v(f) = 1272*f**2 - 10*f + 24. Let g(m) = -17*q(m) + 6*v(m). Is g(3) composite?
False
Suppose -22*g - 2303 = 3*f - 170907, -5*g = 5*f - 280975. Is f a prime number?
False
Suppose 4*w = d - 2, -d + 0*w = 3*w - 16. Suppose 2*s + 0 = d, s + 119 = 2*u. Suppose l - 5*n - u - 56 = 0, -547 = -4*l + 5*n. Is l composite?
True
Let f = -902 + 2043. Suppose 2*p = y - f, 4*y - p - 4128 = 450. Is y composite?
True
Let u = 7 + -5. Let t(k) = 193*k**3 - 11*k + 15. Is t(u) composite?
True
Let q = -313 - -315. Suppose 3506 = j + q*b + 3*b, 5*j = -5*b + 17550. Is j a prime number?
True
Suppose 3*a - 3361284 = -12*z, -z + 2*a = -14410 - 265688. Is z a composite number?
True
Let j be (-30526)/8 - (-6)/(-24). Let p = j + 9595. Is p composite?
False
Let s(f) = 354*f**2 - 2*f - 3. Let r(v) = v**2 + 6*v + 8. Let p be r(-3). Let b be (3 - 1)/(-1 + p). Is s(b) a composite number?
False
Let u = -6 - -8. Let o = -6 - -17. Is 190/20*u*o prime?
False
Suppose -5*k - 3*r = r + 27185, -21748 = 4*k - 4*r. Is (32/4)/(-8)*k composite?
False
Let y be (-1490)/15*-6 - -1. Let c(k) = -3040*k + 12. Let m be c(-1). Let b = m - y. Is b composite?
True
Let c(p) = 14*p**2 + 13*p + 22. Suppose 0 = k + 10*k + 88. Let h be ((-6)/k)/((-13)/156). Is c(h) prime?
True
Suppose -3*w - 2*g - 4 = 0, -w + 2*g - 3 = 3*g. Suppose -10913 = -4*l - 5*d, w*d - 1607 = 4*l - 12513. Suppose -3*c + 5430 = -l. Is c composite?
False
Let b(g) = -3377531*g + 168. Is b(-1) a composite number?
True
Let z = -22 + 46. Let w be (0 - -3)/(z/(-16)). Is (-3 + (-3028)/16)*(-10 + w) a composite number?
True
Is ((-4952110)/(-80))/(0 - 2/(-16)) composite?
False
Let t = 9 + -7. Is (1533/3 + -9)/(t/11) a composite number?
True
Let w be ((-74837)/(-14))/((-2)/4). Let a = w + 15724. Is a composite?
True
Let v(r) = 144*r - 52 + 10 + 143*r - 28. Is v(7) composite?
True
Is 1367630/(-88)*36/(-15) composite?
True
Let z(o) = -o**2 + 86*o + 7. Let k be z(37). Suppose 3*i = 11887 + k. Is i a prime number?
False
Suppose 189*x - 232065232 = -83*x. Is x a prime number?
False
Let r(y) = -448*y**2 + 2*y + 3. Let c be r(-2). Let w = 335 + c. Let x = 3151 + w. Is x composite?
False
Suppose 41 = 3*n - 55. Let p = n - 44. Is (-1851 - p)*(-1)/3 composite?
False
Let r(b) = -41*b - 29. Let j be (-114)/14 - (-2)/14. Let w be r(j). Suppose s + 0*s - w = 0. Is s a prime number?
False
Suppose o + 3*z - 235336 = 103944, 3*z - 9 = 0. Is o a composite number?
True
Let i(b) = -94*b**2 - 6*b - 14. Let l be i(-6). Let c = -1845 - l. Is c prime?
False
Let z = -17498 + 4991. Let k = -7474 - z. Is k a prime number?
False
Let t(s) = -572*s - 59. Let h = -168 + 159. Is t(h) a composite number?
True
Is 3*(-14)/6 + 496605 + -13 a composite number?
True
Let m be ((-7581)/(-14) - -2)*2. Let p = 12 - 7. Suppose -5*v - 5*f = -1265, p*v - 182 = -f + m. Is v prime?
False
Is 0 + 55096 + (-6 - -5) + 8 a composite number?
False
Let b(f) = 6*f**3 + 38*f**2 - f - 77. Is b(18) a prime number?
False
Let a be (-3*4 - -2)*-5. Suppose 70 = 10*d - a. Is ((-27)/d - -2) + (-2571)/(-12) a composite number?
True
Let x(m) = 306*m**2 + 4*m - 2. Let s = 33 - 35. Is x(s) prime?
False
Let p be 0/((7/14)/((-2)/(-4))). Let h be p/(-8) - (-6)/(-2). Is (1/1)/(8060/2686 + h) composite?
True
Let z(f) = 22 - 47 - 490*f + 97*f + 23. Suppose -3*w + 2*b = 2*w + 7, 5*w + 4 = -b. Is z(w) prime?
False
Let p = 116512 + -57443. Is p a prime number?
True
Is -9 - ((12 - 6) + -104482) a prime number?
False
Is 732/2*(-17434)/(-276) a composite number?
True
Suppose 2*y + 5*g - 34 + 3 = 0, 5*y + 3*g - 30 = 0. Is ((-21342)/(-30))/(y/15) prime?
True
Is 3 + -1 + ((-80)/10 - -23563) a composite number?
False
Suppose 0 = 178*p - 200*p + 3388. Suppose -15 = -n - 2*n. Suppose 4*w - 221 = -u + p, 5*w + n = 0. Is u a composite number?
False
Let d(x) = 11*x**2 + 52*x + 19. Let j(z) = 5*z**2 + 26*z + 10. Let u(q) = -2*d(q) + 5*j(q). Let m be (-1)/((-55)/(-300) - 1/4). Is u(m) a composite number?
True
Let i(q) = 7*q**2 - 6*q - 8. Let w be i(6). Suppose w = -6*t + 52. Let b = 123 + t. Is b prime?
True
Let n be (-5)/(-2)*(2 + 0). Suppose 5*p = 5, -w - n*p = -4*w + 397. Is w a prime number?
False
Suppose -4666*j = -4669*j + 281217. Is j a composite number?
False
Suppose 5*y - 24188 = -k, 24*k - 25*k = 4*y - 24185. Is k prime?
False
Suppose 0 = -9*s - 14*s + 46. Suppose s*f - 101 = -5*j - 0*f, -3*f = -9. Is j a composite number?
False
Is 809385/21 + (54/(-7))/(-9) prime?
True
Let a(l) = -3*l + 2. Let x(m) = 4*m - 3. Let n(r) = 3*a(r) + 2*x(r). Let h be n(-22). Let v = h - -1345. Is v prime?
True
Let a = -8 + 17. Let i(t) = 3*t**3 + 43*t**2 - 14*t - 15. Let g(m) = -5*m**3 - 65*m**2 + 22*m + 23. Let h(d) = 5*g(d) + 8*i(d). Is h(a) composite?
False
Let o(a) = 2*a**3 - 44*a**2 + 43*a - 18. Let i be o(21). Suppose -12300 = -5*r - s, 14*s = i*r + 10*s - 7357. Is r a prime number?
True
Let t = -43 + 43. Let j(x) = x**2 - 3*x + 4. Let p be j(t). Is ((-3506)/p)/((-2)/(-8)*-2) a prime number?
True
Suppose 1410256 = -47*c + 49*c + 3*u, c - 2*u - 705149 = 0. Is c prime?
True
Suppose -5*p = -4*a - 6*p - 314, 5*a = 3*p - 401. Let j = a + 82. Suppose 5*m - 12901 = -3*b, 12941 = 3*b - 2*m - j*m. Is b prime?
False
Suppose s + 13453 = -3*y, -4*y - 17934 = -2*s + 5*s. Let x be (-26)/(-10) - 4/(-10) - y. Suppose -14513 + x = -5*d. Is d a prime number?
False
Let o(f) be the third derivative of f**5/15 - f**4/12 + 55*f**3/6 - f**2. Suppose 690 = -144*p + 2854 + 860. Is o(p) prime?
True
Suppose 0 = o + o - 8. Suppose -5*x - o*z + 172 = 0, -2*x + 4*z + 52 = -0*z. Suppose -f + 455 = -x. Is f prime?
True
Is (-47777)/(-2)*(-21 - (-16 + -7)) prime?
True
Is (176/(-24))/11*44751384/(-48) a prime number?
False
Let j(p) = 251*p - 128. Let h be j(8). Is (h - 50) + (0 - -7) prime?
False
Let t = 68 - 60. Let b(v) = 92 + 67*v - 43 + 61*v. Is b(t) prime?
False
Suppose p + 5*j - 302764 = 10*j, 2*p -