umber?
True
Is (-3862)/((-12 - -11)*2) a composite number?
False
Let r(b) be the first derivative of 71*b**3/3 + 2*b**2 + 4*b - 55. Is r(-3) a prime number?
True
Let d(y) = 31*y**3 - 27*y**2 + 116*y - 23. Is d(17) prime?
True
Let t = 5792889 + -3862472. Is t prime?
True
Let v(d) = -2446*d**2 + 10*d - 6. Let c be v(3). Let l = c + 44759. Is l composite?
False
Let h = 2500 + 3234. Suppose q + d = h, -39*q - 17217 = -42*q + 2*d. Is q prime?
True
Suppose -6218788 - 474147 = -44*v + 6889909. Is v a composite number?
False
Let q(y) = 58*y**2 - 459*y - 89. Is q(-50) a composite number?
False
Suppose 0 = 42*z - 11040 - 678. Suppose -4*w = 2*d - 58, -5*w - 20 + 0 = 0. Suppose 34*x = d*x - z. Is x prime?
False
Let v(f) = 1164*f**3 + 3*f**2 - f - 1. Let a(z) = 4*z - 63. Let l be a(16). Is v(l) prime?
False
Let f = 16 - 14. Suppose 6*i = -p + 3*i - 18, f*p + 3*i = -42. Is 1706 - (1/6 - (-28)/p) composite?
True
Let b(u) be the third derivative of -14*u**2 - 1/4*u**4 - 5/6*u**3 + 0*u + 7/60*u**5 + 1/120*u**6 + 0. Is b(5) prime?
False
Let s = -29595 + 57268. Is s composite?
False
Suppose 4*l - 83*m + 80*m - 1444612 = 0, 1083453 = 3*l - 3*m. Is l a prime number?
True
Let m = -32 + 28. Let y(b) = -222*b**3 - b**2 - 3*b - 1. Is y(m) composite?
True
Suppose -5*f - 16*f = -12*f - 898767. Is f prime?
False
Let f = 15812 + 63857. Is f a prime number?
True
Suppose -3655946 + 12518613 = 140*u - 14434313. Is u prime?
False
Let s(h) = 29*h**2 + 4*h - 23. Let n(x) = 30*x**2 + 8*x - 24. Let f(v) = -2*n(v) + 3*s(v). Is f(30) a composite number?
True
Let s(n) = 6*n - 32. Let v be s(6). Let w(b) = b**2 - 8*b + 14. Let k be w(v). Is 1*((-4)/k - -221) composite?
False
Let t(n) = 26675*n**2 + 36*n - 30. Is t(1) a composite number?
False
Let d(l) = 9*l**2 + 5*l - 35. Let s be 0 + 76/(-8) + (-2)/(-4). Is d(s) a prime number?
False
Let d = -198 + 305. Let s = d + -83. Suppose 0 = 3*l + s - 1197. Is l a composite number?
True
Is 5 + -24 + 74120 - 23 a prime number?
False
Let h be (3/2)/((-2)/1844). Is 2/(-1) + (0 - h) a composite number?
False
Let m(q) = 48*q**2 + 8*q**2 + 35 + 48 + 5*q**2 + 6*q + 8*q**2. Is m(16) a composite number?
True
Let p(b) be the first derivative of b**4/2 + 2*b**3 + 6*b**2 - 25*b - 26. Let a be p(6). Suppose 3*i = 328 + a. Is i prime?
False
Let o = -4962 + 7191. Suppose 3*h = -4*d + 2223, -21*d = 3*h - 19*d - o. Is h a composite number?
True
Let f(z) = z**3 - 3*z**2 + 5*z - 36. Let h be f(4). Suppose h = -5*i - u + 484, u = -3*u - 4. Is i a composite number?
False
Suppose -2*m - 62 = 3*x, m + x = -3*m - 104. Let b be (m/(-10))/((-1)/(-1846)). Suppose -4*a + b = p, -a - a + 5*p + 2313 = 0. Is a a prime number?
False
Is (7095/(-154))/(4/(-8560)) + 2/14 composite?
True
Suppose 5*y - 13363 - 787 = 0. Suppose y = 15*w - 8315. Is w a prime number?
True
Suppose 4*g - 271*d = -270*d + 321224, -d = -2*g + 160614. Is g composite?
True
Suppose -721*x + 180468440 = -16982245 - 1259078. Is x composite?
True
Suppose 25 = 2*f - 7. Let g be 441/72 - 2/f. Suppose g*x - 7664 = -542. Is x a prime number?
True
Suppose -7*p + 192297 + 179 = -191117. Is p a prime number?
True
Let r(u) = 8*u**2 - 7*u - 38. Let h(q) = q**3 + 9*q**2 + q - 3. Suppose -6*l = -7*l - 9. Let n be h(l). Is r(n) a prime number?
False
Let t(z) = -503*z**2 - 5*z + 49. Let i be t(-8). Let q = -22030 - i. Is q prime?
False
Let q = 0 - -8. Suppose -q*f = -9*f. Suppose 2*o + v + 25 - 132 = 0, f = -4*o + 2*v + 210. Is o composite?
False
Let l = 325 - 306. Suppose -l*m = 7*m - 27092. Is m a prime number?
False
Let z(u) = -1847*u**2 + 6*u + 46. Let s(k) = 370*k**2 - k - 9. Let l(a) = 11*s(a) + 2*z(a). Is l(2) prime?
True
Let q(n) = 10*n**3 - n**2 + 2*n + 1. Let i be q(-2). Let x be (-34)/((-255)/i - 3). Suppose -v + 766 = -x. Is v prime?
True
Suppose 0*o - 77 = 11*o. Is o + 1 + 1 - 111656/(-17) a composite number?
False
Let j(i) = 2601*i**2 + 5*i + 375. Is j(-8) a prime number?
True
Let m(s) = s**3 - 12*s**2 - 44*s - 10. Let r be m(15). Suppose 2*t + t = -2*o + 16132, r*t + 24217 = 3*o. Is o prime?
True
Let b be 210/(-280)*(1 - 4 - 1). Let d be (32 - 5)*1/9*b. Suppose 0 = 12*m - d*m - 4497. Is m composite?
False
Suppose -21*h + 25*h = 0. Suppose -9*r + 5*r + 48 = h. Is (-2086)/(-3*(32/r - 2)) composite?
True
Suppose -49*c = -79*c + 2214570. Is c prime?
True
Suppose -3*w + 159 + 519 = 0. Suppose -114*t + w = -112*t. Is t composite?
False
Suppose -y - 7 = 1. Let a be 2*(0 + (-5252)/y). Let h = a + 56. Is h prime?
False
Let y = 40 - 40. Suppose y = -5*q + 5 + 10. Suppose q*l = -l + 28. Is l a prime number?
True
Let g = -1839 - -12940. Is g a prime number?
False
Let t = -59004 - -83456. Suppose 485*o - 481*o - t = 0. Is o prime?
True
Let o(r) = r**3 + 4*r**2 + 4*r. Let v be o(-3). Let t be ((-2)/v)/(-1)*-33. Let m = t + 52. Is m composite?
True
Let z(h) = -131*h + 61. Let m(a) = -130*a + 64. Let r(b) = 5*m(b) - 6*z(b). Is r(18) a prime number?
False
Let p(d) = d**3 - 3*d + 1. Let o be p(-2). Let x be (-2)/(-1) - (-1 - o)/3. Suppose -x*j + t + 130 = 0, 3*t + 155 + 168 = 5*j. Is j composite?
False
Let g(r) = 145*r**2 - r + 65. Let y be g(18). Suppose y - 300441 = -14*w. Is w a prime number?
False
Let z = 5 + -12. Let j be (-42)/z - (-2 - -1)*-3. Suppose 0 = 5*b - 5*w - 710, -3*b - j*w + 13 + 419 = 0. Is b a composite number?
True
Is 360/300 - 713487/(-15) a composite number?
True
Let z = 22377 - -35080. Is z composite?
False
Let q = 1 + 4. Let f(i) = q*i - 1 + 6 - 13 + 5. Is f(10) prime?
True
Let c = 17 - 16. Let z be c/((-20)/(-6) + -3). Suppose -3*r + 194 = -z*x + 26, 5*r + 2*x = 301. Is r a composite number?
False
Suppose -2*q - 1208 = -3304. Suppose 3*j = -562 - 977. Let v = q + j. Is v a prime number?
False
Suppose 10*k - 3*k + 43974 = 0. Let s be (-4)/(-6)*k/12. Let h = 906 - s. Is h a prime number?
False
Let w(y) = 20214*y**3 - 52*y**2 + 7*y - 16. Is w(3) prime?
False
Is (5 + -396283)*(-1)/2 a composite number?
False
Let o(l) = -l**2 + 22*l - 40. Let b be o(20). Suppose b = -2*y + 1899 + 13433. Suppose -8*p + 10*p - y = 0. Is p prime?
True
Suppose -37 = -4*z - 3*h - 9, 0 = -z - h + 8. Suppose g = z*g - 5382. Suppose -3*w = -g - 2304. Is w a prime number?
False
Let j be (-102)/1*(16/(-3) - -5). Let k(l) = 7*l + 36*l**2 + j*l**2 + 11*l**2 - 9. Is k(-4) a composite number?
False
Let y = -176213 - -286311. Is y a prime number?
False
Let w(k) = 82*k**2 - 5*k - 6. Let x be w(-9). Suppose -3*h - 7*s + 3*s + x = 0, -4477 = -2*h + 5*s. Is h composite?
True
Suppose -5*h = 2*o - 799549, o + 8*h = 107849 + 291964. Is o a composite number?
False
Let u(d) = 98*d**2 + 64*d + 6. Let w be u(10). Suppose -3988 = -14*v + w. Is v composite?
False
Suppose 4*w - 1812 = -0*w. Suppose -w = -3*l + 4536. Let c = -1049 + l. Is c a composite number?
True
Suppose 5*l = -3*g + 63312, -l + g = -12025 - 631. Is (-6)/1 + (-95)/(-19) + l composite?
False
Let t be (-3)/(-6) + 1 - 1/2. Let p(i) = 222*i**2 - 3 + 3 + 1. Is p(t) prime?
True
Let l(j) = 27*j**2 + 23. Is l(-7) prime?
False
Suppose 5*a = 5*s + 37425, -4*a + 39*s = 42*s - 29891. Is a a composite number?
True
Let x = 243 + -236. Let y(z) = 66*z**3 - 10*z**2 + 30*z + 9. Is y(x) prime?
True
Let d = 130 - 130. Suppose 4*i + n - 17077 - 9114 = d, 0 = -3*n + 9. Is i a prime number?
True
Let z = 98095 + -38922. Is z a composite number?
True
Suppose -5*q = 2*o + 72388, -3*o + 2*q + q - 108582 = 0. Let b = o + 51673. Is b a prime number?
False
Suppose 3*h - 4*y - 604233 = 133806, 6 = -2*y. Is h prime?
False
Suppose -3*h - 9*q - 8 = -4*q, 4 = -4*q. Let d be 613/h + 1 + -6. Let a = d - -887. Is a prime?
True
Let i(b) = -70*b - 143. Let h = -215 + 200. Is i(h) composite?
False
Let l be 5/5 - (-2 + 373). Let z be l/(-2) + 13 + -12. Let q = -101 + z. Is q composite?
True
Let a = -7131 + 19100. Is a a prime number?
True
Let m(v) = -1219*v - 1. Let f be m(2). Let d(s) = 14*s**2 + 56*s - 16. Let g be d(-19). Let x = g + f. Is x a prime number?
False
Suppose -907917 = -3*d - 3*n, 3*n - 79934 = -2*d + 525348. Is d a composite number?
True
Suppose 29*p - 1516218 - 236973 = 2*p. Is p prime?
False
Let s(d) = -27*d**2 - d - 31*d - d**3 - 10*d + 3*d - 35. Suppose -10*q + 216 = -18*q. Is s(q) a composite number?
True
Suppose 703*s - 705*s + 5*v + 82387 = 0, 5*s = -2*v + 206011. Is s prime?
True
Let i = -414