lse
Let s = -99 + 22. Let g = s + 83. Suppose -g*z = -4*z - 934. Is z prime?
True
Let b = -134426 - -204009. Is b composite?
True
Let g(c) = -488*c**2 - 15*c - 62. Let p be g(-12). Is p/(-4)*(-14 - -16) prime?
False
Let x(w) = w**3 + 2*w**2 - w + 3. Let b be x(0). Suppose -b*i - 156 = -171. Suppose -5*z - 3*t = -4*t - 3250, i*z - 4*t - 3265 = 0. Is z prime?
False
Suppose -4*p - 5*x + 3107 - 20579 = 0, 2*x = -4*p - 17484. Let h = 4248 - p. Is h prime?
False
Suppose 5*n - 51 - 479 = 0. Let l = -31 - n. Let p = l - -304. Is p composite?
False
Suppose -5*y - 15 = 0, -4*j = -9*j + y - 7617. Let k = 1205 - j. Is k a prime number?
True
Let p = -115914 - -210639. Suppose -17*z + p = -19702. Is z a prime number?
False
Let o(a) = 0*a**3 - 4*a**3 - 2 + 9*a**2 + 5*a**3 - 2*a + 15*a. Let g be o(-7). Is 9368/10 - 1*g/(-25) prime?
True
Is (-3)/12 + (4564465/20 - -6) composite?
True
Is ((-4327673)/(-357))/(1/3) a prime number?
False
Is -3 + 637447 + (861/492)/(2/(-8)) prime?
False
Let z be 1044/4*-2*3/(-9). Suppose -z*v + 179*v = 97435. Is v prime?
False
Let l(b) = b + 2. Let q be l(5). Suppose -q*p = -12*p + 28190. Let f = -3067 + p. Is f a composite number?
True
Let h = -9669 + 20940. Is 4 + 2/(6/h) prime?
True
Is 8/18 + (-7708010)/(-90) - (1 - -5) a prime number?
True
Suppose 14*c + 23*c - 35019091 = -30*c. Is c a prime number?
True
Suppose -20*y + y = 599545. Is 114/(-27) + 4 - y/45 a composite number?
False
Suppose 64*s - 952338 = 58*s. Suppose 576938 + s = 31*j. Is j a prime number?
False
Let y(u) = 4*u**2 - 6*u - 9. Let j be y(-3). Let f = -45 + j. Suppose f*d - 257 = -d. Is d a composite number?
False
Suppose -5968056 - 22523559 = -45*y. Is y a prime number?
False
Suppose -50*b + 18*b = 102*b - 14751926. Is b a prime number?
False
Let r = -25 + 1. Is r/4 + 2701 - -6 composite?
True
Let l = 8 + -3. Let t be 2 + l + -4 + -1. Suppose 0 = -4*q - 3*r + 6775, q = 5*r - t*r + 1690. Is q a composite number?
False
Is 866023/7 - 1830/(-1281) a prime number?
True
Suppose -6774 = -x - s + 13548, -101680 = -5*x + 5*s. Is x composite?
True
Let g be (51 - 1)*(343/(-14) + 1). Is (g + 3)/(-2) + -3 a composite number?
True
Suppose 4*x = 5*n, -3*n + 4*x - 2*x + 2 = 0. Let z = -2 + n. Suppose -3*s - 316 = -z*l + 103, -l - 4*s = -226. Is l composite?
True
Let l(n) = 324*n + 5. Let p(j) = -j - 6*j + 189*j**2 - 186*j**2 - 1. Let i be p(-1). Is l(i) prime?
False
Let o = 289981 - 91128. Is o a prime number?
False
Suppose -1571710 = -13*f + 36870 + 4478397. Is f composite?
True
Is (293/(-1172))/((-2)/1890088) a composite number?
False
Let r(y) = 198*y**3 + 2*y**2 - 3*y + 7. Let z be 14/4 - (-11)/(-22). Let q be r(z). Suppose -4*c + q = -1410. Is c prime?
True
Let g(w) = -6*w - 6. Let j be g(-1). Suppose 5*t + o - 5 = 0, j*t + 2*t + o - 5 = 0. Suppose 2*p = -t*c + c + 1843, -c - 5 = 0. Is p a composite number?
False
Let w(g) = 5*g**3 - 46*g**2 - 37*g - 49. Is w(63) a prime number?
False
Let m(d) be the first derivative of -6843*d**2/2 - 49*d - 93. Is m(-2) prime?
False
Suppose a - 526 = -4*w, 5*a - 2745 = -w + 4*w. Let t = 2522 - 1533. Let b = t - a. Is b a composite number?
False
Suppose -37 = 2*w - 7*w - 3*k, 12 = 3*k. Suppose w*t + 2*x = 2259, 0 = -t - 0*x - 2*x + 455. Is t prime?
False
Is (3*1)/(425/1543175) composite?
True
Let y be (13 - 13)*1/2. Suppose -p - 4*k - 9 = y, -5*k + 9 = 2*p - 6*k. Suppose -p*z + 6459 = 3*x, x - 3*z - 2161 = -0*z. Is x a prime number?
False
Let u(n) = 10*n**2 + 383*n + 1244. Is u(-147) a composite number?
False
Let a = 233 - 232. Is (3 - -2043) + (a - -4) a prime number?
False
Suppose 121*s - 45899228 = -163*s. Is s a prime number?
False
Suppose 41*f = 5*u + 43*f - 969659, -4*f - 387854 = -2*u. Is u composite?
True
Suppose -5*f = -6*f + 4*d - 19695, -2*d = -6. Let t = 34606 + f. Is t composite?
False
Suppose 4*k + 1332 = 10*k. Let g = 641 - k. Is g composite?
False
Let p(q) = -2614*q - 761. Is p(-28) composite?
False
Suppose 11*s + 7828 = -2743. Is -3 + s/((-444)/(-112) + -4) a prime number?
False
Suppose -5*c + 36 + 4 = 0. Let b be c/(-2) + 722 + -8. Suppose 2*w = b + 228. Is w a composite number?
True
Let b = 197 - 195. Suppose 5818 = b*t - 0*t. Is t composite?
False
Let u = -570952 - -1048109. Is u a prime number?
False
Suppose 4*o = 65 - 25. Suppose -5*b + 0*b = -3*a - 50, -b = -5*a - 32. Suppose -27 = b*d - o*d. Is d composite?
True
Let d(w) = 8*w**3 + 3*w**2 + 11*w + 26. Let s be d(-4). Let c = s - -3801. Is c prime?
True
Suppose 2*s - 4 = -p, 0 = -2*s + s + 2. Suppose p = -0*l + 9*l - 21159. Is l composite?
False
Let f = -10277 - -17432. Let b = f + -4937. Is b composite?
True
Suppose x + 84593 = 3*y - x, -2*x - 140995 = -5*y. Is y composite?
False
Let d(k) = 2*k - 4*k + 31 + 3*k + 0*k. Let n be d(-22). Suppose -3*t - n = -168. Is t a prime number?
True
Suppose -1344849 = -v - 559*s + 555*s, v + 2*s - 1344853 = 0. Is v composite?
False
Suppose 6*q - q + 2*b - 8534 = 0, 3*b = -3*q + 5115. Is ((-2)/(-1) - q)*3/(-6) a prime number?
True
Let x(d) = d**2 + 4*d + 2. Let u be (-1)/6 - 3/(-20 + 2). Let a be x(u). Is a*(-41)/(-3)*9/2 a composite number?
True
Suppose 8*r = 12*r - 1540. Let w = 858 - r. Is w composite?
True
Suppose -3*w = -2*b + 4, 3*w - 15 = -3. Let z be b*1882 + -3*5/5. Suppose -6*d = 3719 - z. Is d prime?
True
Suppose 9*u + 27*u - 7543830 = 6*u. Is u prime?
False
Let c = 3250 - -3788. Suppose -v = 17*v - c. Is v composite?
True
Let y(k) be the first derivative of 35*k**3/3 - 7*k**2/2 - 7*k + 1. Let s(v) = 5*v**2 + 1. Let d be s(1). Is y(d) composite?
True
Suppose 393*d + 27726156 = 86637170 + 41466295. Is d composite?
False
Let y = -717 - -730. Suppose r - 17*i = -y*i + 10590, -3*r = 2*i - 31826. Is r prime?
False
Let p = 1063285 + -621663. Is p composite?
True
Let v = 18200 + -9030. Let a = 1349 + v. Is a prime?
False
Let b = 2268 - 3410. Is 6/(-4)*3*b/9 prime?
True
Let p = 34186 + -4157. Is p prime?
True
Let s = -45 - -45. Let r be -1 + s - (-1 + 3) - -7. Suppose -3*i + v - 702 = -6863, -4*i - r*v + 8204 = 0. Is i a prime number?
True
Suppose 0 = f, 3*h - 27*f = -25*f + 34476. Let n = h - 7409. Is n a prime number?
False
Suppose 0 = d - 245607 - 188850. Is 4/(-6) - d/(-81) a composite number?
True
Let u(w) = 10*w**2 + 20*w**2 - 3*w - 16*w**2 + 0*w. Let j be u(3). Let y = 960 - j. Is y a composite number?
True
Suppose 5*c - 799 = -879. Let t(w) = -45*w - 97. Is t(c) a composite number?
True
Let q(s) = -133*s - 11 - 6*s - 90*s + 37*s - 117*s. Let z be (0 + -6)*14/6. Is q(z) composite?
True
Let b = 61 + -61. Let k(w) = -9*w**3 - 2*w**2 + 11*w - 1370. Let u(d) = -4*d**3 - d**2 + 5*d - 685. Let m(a) = 3*k(a) - 7*u(a). Is m(b) prime?
False
Is (-3 - ((-56)/(-42))/((-1)/3))*20777 a composite number?
True
Suppose -15*m + 13*m - 5*r = -39372, -3*m + 4*r = -59035. Is m a prime number?
True
Suppose 8 = 4*j + 36. Let v be (2 + j - 544) + (-3)/3. Let l = v - -881. Is l composite?
False
Suppose 74*i - 59734 = 73*i + 4*x, -4*x - 716720 = -12*i. Is i a prime number?
False
Let i(q) = q**3 + q - 7. Let c be i(2). Suppose -4*x + 5028 = 2*u, -c*x + 31*u - 27*u + 3771 = 0. Is x prime?
False
Let m(w) = -98*w**3 - w**2 + 70*w - 53. Is m(-8) prime?
True
Let z = 2053 + -4144. Let v = 9292 - z. Is v a prime number?
True
Let p = -1403910 - -2037089. Is p composite?
True
Suppose 5*x + 3*f - 15 = 0, -2*x - 4*f + 14 = -6. Suppose -2*z - o - 1172 - 936 = x, 0 = 4*z - 3*o + 4226. Let q = 2100 - z. Is q a composite number?
True
Let a = -23 + 61. Suppose -k = -2*y + 3*k + 18, 5*y - 3*k - a = 0. Suppose -y*l + 62667 + 368 = 0. Is l a prime number?
False
Let m = 56 - 50. Let b(j) = 2*j**2 - 13*j + 8. Let a be b(m). Suppose -f = 2*d - 3927, -d - 3*f - a*f + 1968 = 0. Is d a prime number?
False
Suppose n = -3*s + 14700, 4*s - 19616 = -7*n + 11*n. Suppose -7392 = -19*y + s. Is y prime?
True
Let p(x) = -863*x + 8. Let z be p(-17). Let o = z - -49084. Is o prime?
False
Let z(i) = -3*i - 32. Let c be z(-12). Let v(a) = 7*a - 26. Let r be v(c). Let y(m) = 152*m**3 - 4*m**2 + 5*m - 5. Is y(r) composite?
True
Suppose 89758 = -z + 3*z. Is z a prime number?
True
Suppose 5*x = 5*s + 159395, 8*s = 5*x + 11*s - 159427. Is x prime?
True
Let q = 526923 - 179306. Is q a prime number?
False
Let q(y) be the third derivative of -151*y**4/4 + y**3/6 + 14*y**2. Let u be q(-1). Su