site?
True
Let l(t) = 3*t**3 + 2*t**2 - 36329. Let n(k) = 4*k**3 + 3*k**2 + 5*k - 36329. Let o(r) = -3*l(r) + 2*n(r). Is o(0) composite?
True
Suppose 63*m - 1177656 = 3659431 + 888794. Is m prime?
True
Suppose 36*s - 45*s + 17505 = 0. Is s a prime number?
False
Let r(z) = -724*z + 6. Let g be r(6). Let f = 2106 + g. Let p = -835 - f. Is p composite?
True
Let j = 10314 + -6486. Let s = 9325 - j. Is s a prime number?
False
Let t(f) be the third derivative of 0*f - 5/24*f**4 - 10/3*f**3 - 12*f**2 + 0. Is t(-17) a prime number?
False
Suppose -237 = 4*j + 2*d - 1063, 5*d - 229 = -j. Let f be j*((-50)/(-15) + -3). Suppose 0 = -3*w + f + 73. Is w a composite number?
False
Suppose 9*v - 11*v - 16458 = 5*q, q = 0. Let b = v + 15787. Is b a prime number?
False
Let i(m) = -17*m**3 + m**2 + 374*m - 35. Is i(-17) prime?
True
Suppose -5*s + 38 = -2. Let u(z) = 23 - 3*z**2 + s + 19*z**2 - 15 - 5*z. Is u(-7) a composite number?
True
Let g = 86755 + 47716. Is g a prime number?
True
Let n be -5*16*(-3)/30. Is ((-31637)/(-51))/(-1 - n/(-6)) prime?
True
Suppose 0 = 5*n + 30, 536*d = 533*d + 4*n + 60822. Is d composite?
True
Let m be 22/6 - 2/(-6). Suppose -2*p + 4*z + 8892 = 0, p = -m*z + 2*z + 4434. Suppose -3*h = -3*o + p, -h + 2966 = 2*o + 3*h. Is o a prime number?
True
Let m be (15/6)/(6/12). Suppose m*o = -3*s + 6128, 0*o - o - 5*s + 1208 = 0. Suppose -6*u - o = -10*u. Is u composite?
False
Let f(v) = 2308*v**2 + 63*v + 542. Is f(-9) composite?
True
Suppose 2*s + 44 - 14 = 0. Is (s/(-45))/(2/69594) composite?
True
Let p(j) = 7*j + 64. Let z be p(-8). Is (-40271)/(-33) - z/6 a composite number?
True
Let t(c) = -5*c + 0*c**2 - 1 + 2*c**2 - c**3 - 2 - c. Let n be t(3). Is 6/(-10) + (-5988)/n a prime number?
True
Let f(b) = -b**2 + 27*b - 47. Let d be f(19). Let v = d - -473. Let k = v - 285. Is k a prime number?
True
Let l(u) = -18*u**3 + 2*u**2 - 126*u + 5. Is l(-12) a composite number?
False
Suppose -325932 = -3*q - 3*x, 8*q + 543217 = 13*q + 2*x. Is q a prime number?
True
Let a = 4843 - 7804. Let f = -6025 - a. Is f/(-10) + ((-24)/10 - -3) prime?
True
Is ((-52)/(-312))/(1/9)*(1453174 - -4) prime?
False
Let s(k) = 21*k**3 + 2124 - 6*k**3 + 3*k**2 - 5*k - 2119. Is s(3) prime?
False
Let k(i) be the second derivative of 265*i**3/2 - 97*i**2/2 - 147*i. Is k(6) a prime number?
True
Suppose -5*j + 25 = 0, 5*y - 265981 - 1938439 = -3*j. Is y prime?
False
Let u be 4*5 - (24 + -22). Let w(i) = 94*i - 131. Is w(u) a composite number?
True
Let f = -131 + 137. Is 3 + 6*812*4/f prime?
True
Suppose 4*h + 5*c = -0*c, 0 = -5*h + c. Suppose 3*m - 5*m = 3*n - 4622, 4*m - 2*n - 9260 = h. Suppose -5*f - 4*r + m + 3453 = 0, 2*f - 2308 = -2*r. Is f prime?
True
Suppose -137445 - 517208 = -97*k. Is k composite?
True
Let p(s) = s**3 - 15*s**2 - 4*s + 21. Let h(t) = -37*t - 21. Let a be h(-1). Is p(a) a composite number?
True
Let x be (19 - 38)/((-2)/(-146)). Let s = x - -2078. Suppose -8*n + 373 = -s. Is n prime?
False
Suppose 3*l = -5*p + 14803, 0 = p - 0*p - 2. Let z = 11230 - l. Is z composite?
False
Let h be (0 - 0) + (12 - 22 - 6109). Let a = -3586 - h. Is a prime?
False
Is 58918*(14/(-20) + 114/95) prime?
False
Let x = 2569505 + -1383168. Is x a composite number?
False
Let f = 1739 - 869. Suppose h + f - 3505 = -2*m, 2*h = -m + 1319. Is m a composite number?
True
Let j = 51943 - -189646. Is j composite?
False
Is 11/5*8/8*(33455 - 0) prime?
False
Suppose -2*o = f + 3*o - 57, 54 = f + 2*o. Suppose f*l - 4458 = 46*l. Is l composite?
False
Suppose 727493 = 13*z + 212524. Suppose 0 = 4*j + 3*u - 31696, u = -5*j - u + z. Is j a composite number?
True
Suppose 3 = -6*h + 15. Suppose 11657 = h*y - 3267. Is (y/21)/((-4)/(-6)) composite?
True
Let r(w) = -68*w - 2. Let t be r(-1). Let a = -65 + t. Suppose -2456 = -5*m - a. Is m composite?
False
Suppose 5*o - 10 = 0, -85*o + 89*o = 2*m - 255218. Is m composite?
True
Let i(s) = -37*s + 274. Let h(d) = -37*d + 274. Let x(v) = -6*h(v) + 5*i(v). Is x(9) prime?
True
Let k be -7 + (-24)/(-3) + 2766/(-2). Let l = 4681 + k. Is l composite?
False
Is 207498/(-2)*(-11948)/1236 prime?
False
Suppose -5*q + 5945 = -2*m - 1787, 2*q = -2*m + 3104. Let k(p) = 84*p + 31. Let i be k(-7). Let c = i + q. Is c a composite number?
False
Suppose 5*a - 6 = 2*l + 8, -5*l = -4*a + 18. Suppose m = 4*x + 915, -122 - 787 = -m - a*x. Is m a prime number?
True
Let k(q) = q**3 + 35*q**2 + 63*q - 1. Let p be k(-33). Suppose p*o + 20982 = 104*o. Is o a prime number?
False
Let i be 70/4 + 2*12/(-16). Suppose -7*c = -i*c. Suppose c = -7*o + 59633 - 19348. Is o prime?
False
Let s(v) = 431*v + 303. Let u(f) = -287*f - 202. Let g(i) = -5*s(i) - 7*u(i). Is g(-8) a composite number?
True
Let r = -34 - 30. Let m = r + 329. Let f = m + 22. Is f a prime number?
False
Let q = 332 - 332. Suppose -26*x + 5527 + 18445 = q. Is x a prime number?
False
Let s(a) = 505*a + 7 - 6*a**2 - 51*a**3 + 501*a - 1013*a. Is s(-4) a prime number?
True
Suppose 0 = 2*g - 14*q + 13*q - 606129, -3*g = 4*q - 909155. Is g a composite number?
True
Suppose -5*j = 12*j - 34. Suppose -j*d - 3 = -3*d. Suppose d*t + 4291 = 10*t. Is t prime?
True
Let l = -39 - -43. Suppose 12 + 4 = l*i. Suppose i*a + z - 606 = a, 0 = 3*z + 9. Is a a composite number?
True
Let x be (-1)/(3*1/8385). Let a = 4274 - x. Is a prime?
True
Suppose 24*a - 6*a = 2102076. Is a a prime number?
False
Let w = -33 + 24. Let u be (6/w - -1)/((-2)/6). Is (-19004)/u*(-5 + 42/8) prime?
True
Let q be (-8)/(-1) + -3 + 2 + 1. Suppose 3 = -3*z + 4*x, 2*x - 1 - q = -z. Suppose 1157 = z*m + 5*a, 5*a + 582 + 984 = 4*m. Is m prime?
True
Let p(g) = 7849*g**2 - 81*g - 1. Is p(-6) composite?
True
Let k = 113 - 87. Suppose -3*s - 5*r - 33 = 8, 3*r + k = -2*s. Is (2 + -3)/((21/3165)/s) a composite number?
True
Let c(w) = 642*w**3 + 3*w**2 + 10*w - 6. Let q be c(3). Let y = -10144 + q. Is y a prime number?
False
Suppose 4*r - 36*q + 35*q = 2655603, 4*r = -2*q + 2655582. Is r prime?
False
Suppose -6*q = 4*q - 2623814 - 688376. Is q a composite number?
True
Let b(g) = 98*g - 3. Let n be b(8). Suppose -12*x - 9287 + 1127 = 0. Let t = n - x. Is t composite?
True
Let b = -30 - -18. Let d be b - (-1 - ((-6)/(-2) + -2)). Is (-1)/(5/d) + 1 + 0 a composite number?
False
Let k = 155 - 149. Is (0/(-4) - -2084)*k/12 a prime number?
False
Let g(u) = 12*u**2 - 20*u + 17 + 126*u**2 + u - u + 46*u**2. Is g(6) prime?
True
Let g be (-9)/((-126)/(-4)) + 4/14. Let s be 0 + g + (-4)/(-4 - -3). Suppose -i + 5*v = s*i - 8475, 1683 = i + 5*v. Is i a composite number?
False
Let d(t) = -t**2 + 10*t - 27. Let m be d(4). Is 5514/(-12)*(m + (-3)/(-3)) a prime number?
True
Let p be 2/4*(5 + -3 + 4). Let b(f) = -263 - 13*f - 10*f**2 + 2*f**p + 300 - 3*f**3. Is b(-15) prime?
False
Let y(a) = 372*a**2 - 162*a + 31. Is y(13) prime?
True
Is (-104)/468 + (-338660)/(-36) a prime number?
False
Let x be 2 - -5*(35 + 2). Suppose -x*z - 27212 = -191*z. Is z a composite number?
False
Let j(l) = 3127*l**3 - 7*l**2 + 28*l - 13. Is j(3) a prime number?
True
Suppose 823507 = 5*v - 3*d, -61*v - 658826 = -65*v - d. Is v a prime number?
False
Suppose -31*i + 55393401 + 14799620 = 0. Is i prime?
False
Suppose h - 4*h = 5*m - 39013, 0 = 2*h + m - 25990. Is h a composite number?
True
Let w be 9/54 - (-964916)/24. Suppose 0 = -5*p - 4*l + 40175, 6*p - p = 2*l + w. Is p a prime number?
True
Let m(p) = 45479*p**2 + 13*p + 5. Is m(1) a composite number?
False
Let i(d) = -25*d - 24. Let z(q) = -2*q + 1. Let l(h) = -i(h) - 5*z(h). Is l(33) a composite number?
True
Suppose 0 = -u - 2*m + 17321, 3*u - 49165 = 5*m + 2776. Let i = u - 9948. Is i composite?
False
Let n = 470 - 466. Is (-793 - 1)*(n/(-2))/4 a prime number?
True
Suppose b - 5*p + p = -4, 2*p - 2 = 4*b. Suppose -3*y - 6 + 15 = b. Is (-2522)/((-6)/y) + (1 - 1) prime?
False
Let h(d) = -42*d**2 - 3*d - 20. Let n(b) = 2*b**2 + 2*b + 2. Let f(c) = -h(c) - 4*n(c). Is f(-15) prime?
False
Suppose -4 + 8 = 4*n, 0 = 4*d + 4*n - 2059736. Is d composite?
False
Let h(r) = -22745*r - 1454. Is h(-21) a composite number?
True
Let s be (-5 - 1701)*-2*(-2)/(-4). Suppose -3*g = -7781 + s. Let l = g + -1174. Is l a composite number?
True
Suppose 0 = -p + 4*w + 7824, 3*p + 11*w = 8*w + 23427. Suppose 2*x + g = -3*x + p, 2*x - 5*g - 3141 = 0. Is x composite?
True
Let b(q) = -151*q