ue
Let n(p) = -2*p**2 + 13*p - 2. Let l be n(6). Let u be -242*(75/(-6) + l). Let o = u + -1348. Is o a prime number?
True
Suppose -6135 = -4*x + 7061. Is x prime?
True
Let l(a) = 74*a**2 - 30*a**2 - 9*a**2. Is l(1) a prime number?
False
Let d(t) = 164*t - 2. Let o(a) = a**3 + 13*a**2 - 14*a + 1. Let k be o(-14). Let u be d(k). Suppose -2*f + u - 56 = 0. Is f prime?
True
Let y(q) = -3*q**2 + 6*q - 17. Let c be y(8). Is 438/14 - (-46)/c a composite number?
False
Suppose 2*o = 2*z - 20, o = 1 - 4. Suppose 3*p - z*p + 35560 = 0. Is p/(-21)*(-6)/4 a composite number?
True
Let l = 10563 + -5006. Is l prime?
True
Is 5 + -6 + 6 + 12144 a prime number?
True
Suppose 2*s - 2548 = -34. Is s composite?
True
Let g(s) = 11*s - 5. Let h(v) = 1. Suppose 9 = 3*b - 0*b. Let d(x) = b*h(x) + g(x). Is d(11) a composite number?
True
Suppose -a = -4*z + 11, -2*a - 26 + 10 = -5*z. Suppose 0 = 2*k + z*k. Suppose k*l + 145 = l. Is l a prime number?
False
Suppose 0 = 29*d - 9229 - 50076. Is d a composite number?
True
Is (9 - 7)/4*5794 composite?
False
Suppose -5*q = 3*n - q - 7627, -3*n - 2*q = -7631. Is n/20 + (-1)/4 a composite number?
False
Let d(p) = -100*p**3 - 3*p**2 - 3*p - 3. Suppose -5*w + 25 = -5*t, 18 = -3*t + 6*w - 2*w. Is d(t) a prime number?
False
Suppose 4*v + 13742 = 4*o + 2*v, -4*v = -20. Suppose 0 = -l + 7*l - o. Is l a prime number?
False
Let d(x) = 175*x + 13. Let l(n) = 525*n + 40. Let q(a) = -8*d(a) + 3*l(a). Let h be q(8). Suppose -8*p + 14096 + h = 0. Is p a prime number?
False
Suppose -2*q + 3*p - 20 = 0, 3*q - 5*p + 39 - 8 = 0. Let g(x) = -x**3 - 4*x**2 - 6*x + 10. Is g(q) a prime number?
True
Let g = 150 - -89. Is g a prime number?
True
Let o(m) = 42*m**2 + 115*m - 31. Is o(24) a composite number?
False
Suppose -g - 45 = -4*g. Let o(b) = 10*b + 15. Let k be o(g). Suppose u - k = 46. Is u a composite number?
False
Let a(f) = f**2 + 1. Let g be a(1). Suppose -2*z = -4*z + 5*v + 294, g*v = 4*z - 620. Is z composite?
False
Let y = 35 - 22. Suppose -38 = -s - y. Is s prime?
False
Let t(u) = u**3 + 12*u**2 + 26*u + 23. Let q be t(-11). Let i(z) = -65*z**2 - 4*z - 3. Let s be i(-2). Let b = q - s. Is b prime?
True
Let k(u) = 158*u**3 + 23*u**2 + 4*u + 2. Is k(3) prime?
False
Let r = 1083 + 13616. Is r prime?
True
Let m = -36163 + 139530. Is m a prime number?
False
Let o = -3657 + 7624. Is o composite?
False
Suppose -2*f = 2*t + 16, -7*t - 23 = f - 3*t. Let v = 3 + f. Is (v + 2)*(0 + 3) composite?
True
Let h(v) = -606*v**3 + 3*v**2 + 8*v - 2. Let x be h(-4). Suppose -10 = n - 3*n, -3*s = -5*n - x. Is s prime?
True
Let x(n) = -79*n - 9. Let o be x(6). Let f = o + 1118. Is f prime?
False
Suppose 2*d - 3*d - 5 = 3*v, -3*d + 4*v - 28 = 0. Let k be (6/8)/(d/2848). Let w = -188 - k. Is w a composite number?
False
Let b = 866 - -13813. Is (-2 - 6/(-4)) + b/18 a composite number?
True
Suppose 9*q + 368 = 5*q. Let j = -61 - q. Is j prime?
True
Let f(p) = -p**3 + 40*p**2 + 433*p + 53. Is f(39) a composite number?
False
Let m(n) = -20*n**2 + 2*n + 1. Let d be m(-1). Is ((-1022)/d)/((-4)/(-222)) a prime number?
False
Suppose 0 = -0*u - 2*u - 122. Let g = u + -173. Let i = 20 - g. Is i a composite number?
True
Suppose 3*p - 61421 = -15374. Is p prime?
True
Let j be (2 + -1)/(3/15). Suppose -2*k = 2*v - 5*v + 7, v - j = -2*k. Suppose -5*g + 237 = v*s, -3*s - 2*g + 203 = -25. Is s a prime number?
False
Let y = 173 - 391. Let v = -127 - y. Is v a composite number?
True
Let w(h) = -5*h - 2. Let t be w(-1). Suppose q - 4*q - 2*y + 4639 = 0, 4609 = t*q - 4*y. Is q a prime number?
True
Suppose -4*s + 3*s + 4*p = 0, p = -4*s. Is s/7 - -13*2 composite?
True
Suppose 7*w - 18*w = -77143. Is w prime?
True
Let p = -56 + 40. Let o = -16 - p. Suppose o = -h + 67 + 306. Is h a composite number?
False
Suppose -4*h - h + 46005 = -5*u, -4*h - 5*u + 36813 = 0. Let z = -5267 + h. Is z a prime number?
False
Suppose 4*q + 5*n + 1 = 13, 5*q + 2*n - 15 = 0. Suppose -4*v + 9784 = -q*g + 2*g, -2*g - 4886 = -2*v. Is v composite?
False
Suppose 9 - 4 = -5*h. Is (h - 32)*2/(42/(-679)) a composite number?
True
Let d be (-2)/(-4) + 134309/14. Suppose 0*h + 3*h = d. Suppose 0*i - 2*i + 2107 = 3*t, -3*i + h = -3*t. Is i a composite number?
False
Let v be (-11 - -8)/(2 - 3). Let r be (9/3 - 6) + v. Suppose -3*u = -5*n - 452, u + r*n - 151 = 2*n. Is u a composite number?
False
Let x = 1812 + -1311. Is x prime?
False
Let u(b) = -b**3 - b**2 + 26*b - 11. Is u(-14) a composite number?
True
Suppose 34*r = 51893 + 139765. Is r composite?
True
Suppose -4*k + n - 969 = 0, -330 = 2*k - 5*n + 159. Let a = k - 563. Let d = 1340 + a. Is d a prime number?
False
Let l be 0/(1 + -2 + 0). Let t be l - (-54 - (3 + -3)). Let x = -23 + t. Is x a prime number?
True
Let a = 655 + 222. Suppose 5*n = 3*z - 2682, 5*n - a = -z + n. Is z composite?
True
Let u = 9701 - -3290. Is u prime?
False
Let p be 15280/(-35) + (-9)/21. Suppose 3*i - 2520 = -0*i. Let u = p + i. Is u prime?
False
Let y = 154 + -145. Is (y + -11)*(1 - 2726/4) composite?
False
Suppose -r + 708 = 2*o + r, 5*o - 1770 = -r. Suppose -3*l - v = -1138, 5*v + 399 + o = 2*l. Is l composite?
False
Let n = 7401 - 4159. Is n a prime number?
False
Is (-6 + 0 + -7)*(3 + -1042) a prime number?
False
Suppose -3*o + 4*v = 20, 11 + 4 = 4*o + 3*v. Suppose o = a - 8*a. Suppose h - 931 - 166 = a. Is h a prime number?
True
Let w be ((-14)/(-3))/((-56)/12 - -4). Let f(h) = -h**3 + 6*h**2 + h - 19. Is f(w) composite?
True
Let j = 3090 - 1811. Is j a composite number?
False
Let p = 14808 - 2751. Is p prime?
False
Suppose 0 = -9*u + 7*u + 2902. Is u composite?
False
Is (-6)/(-4)*(-4049656)/(-156) a prime number?
False
Let j(u) be the second derivative of 435*u**4/2 + 4*u**3/3 - 7*u**2/2 - 13*u. Is j(1) prime?
False
Let s(f) = -f**2 + f + 10. Let v be s(3). Is -1 - (-4 + (3 - v) + -253) composite?
False
Let g = -9884 + 17401. Is g a prime number?
True
Let t be 18/12*(-32)/(-6). Suppose -4*v - t = 2*m + 2*m, -m = -5*v - 22. Is ((-1076)/(-16))/((-1)/v) a composite number?
False
Let o be (3 - -1)*(-419)/(-8)*30. Suppose -16*s = -21*s + o. Is s prime?
False
Let s(u) = -86*u**3 - 14*u**2 + 16*u + 205. Is s(-9) prime?
False
Let z be (-18)/(-5) - (-2)/5. Suppose -28 + 8 = -z*h. Suppose 5*f - 1875 = -5*k, -945 = -2*f + h*k - 223. Is f a prime number?
False
Is (0 - -1663) + -40 + 34 prime?
True
Let j be -5 - (-2 + -2) - 362. Let y = j - -742. Is y composite?
False
Let j(o) = -2*o. Let m be j(-9). Let n be 50/m + (-16)/(-72). Suppose 0*x - 537 = -n*x. Is x prime?
True
Let c = 22 + -21. Suppose -2*v = -3*v. Is 202 + v - (-5 + c) composite?
True
Let f = 320 + -188. Suppose 27 = -5*c + f. Is c composite?
True
Let h(d) = d**3 + 4*d**2 + 6*d + 21. Let f be h(-4). Is f*(-1 + 2)*(-18136)/12 a prime number?
False
Suppose -j + 3478 = 3*o, 11*o - 17490 = -5*j + 16*o. Is j a prime number?
False
Let a = 112 - 19. Suppose -3*i - i - l = 212, 2*l + 208 = -4*i. Let m = a + i. Is m composite?
True
Let r = 1014 + 1165. Is r prime?
True
Suppose 5*u = j - 11, -3*j - u = j + 61. Is (-13909)/j - 2/4 composite?
True
Suppose -7*c = -0*c - 3451. Is (-4 + c)*5/15 composite?
False
Suppose -5*q + 3*n = -n - 7645, 5*q - 7645 = 2*n. Is q composite?
True
Suppose 0 = -c + 3*l + 57, -2*c + 135 = 4*l - 3*l. Suppose -4*o + c + 26 = 0. Is o a prime number?
True
Let f = 14094 - 1211. Is f composite?
True
Suppose -5*m - l + 1698 = -646, -2*m = 3*l - 935. Let v = 680 - m. Is v composite?
False
Suppose 13*r - 3802 = 11*r. Is r a composite number?
False
Suppose -3*j = -3*m + 2*m + 306, 0 = 2*m + j - 619. Is m a prime number?
False
Let b(n) = 10*n + 2. Let h be b(7). Suppose 0 = 4*k - 7*k - 5*p + 956, -630 = -2*k + 4*p. Let l = h + k. Is l prime?
True
Let k = 4794 + 3512. Is k a prime number?
False
Let p be ((-63)/14)/(2/8). Let u be p/30 + (-68)/(-5). Let x(q) = 23*q - 6. Is x(u) composite?
False
Suppose -3*m - 1514 = -0*m - 4*z, z + 493 = -m. Let f = m + 875. Is f a composite number?
True
Let n be 17/5 - 20/50. Suppose -n = -m - 2. Is -1 + 2 + 291 + m prime?
True
Let x(k) = -2*k**3 - 4*k**2 - 3*k + 15. Let r(l) = 2*l**3 + 4*l**2 + 2*l - 15. Let i(j) = -5*r(j) - 6*x(j). Is i(7) a composite number?
True
Suppose -z + k + 450 + 715 = 0, 3*z + 5*k - 3487 = 0. Let w = z + -577. Is w a composite number?
False
Let v = 8 + -6. Suppose