c*h = -1665 + 120. Is h prime?
False
Let c(b) = 50*b**2 - 54*b + 303. Is c(8) prime?
False
Suppose o - 59 - 1902 = 0. Is o composite?
True
Let x be (1 - -3)/(-3 - -2). Is (354/4)/((-2)/x) composite?
True
Let i(c) = 647*c**3 + 2*c**2 + 2*c - 3. Let k be i(1). Let h = -127 + k. Is h composite?
False
Let w(y) = 16*y**3 + 10*y**2 - 17*y - 25. Is w(24) a composite number?
False
Suppose 37300 + 56118 = 13*p. Is p a composite number?
True
Is 300/9 + 46/6 + -6 composite?
True
Let y(f) = 22*f**2 + 11*f - 202. Is y(17) a prime number?
True
Let g(r) = -2*r - 11. Let m be g(-8). Let x be (2/(-6))/(m/(-75)). Let z(w) = 5*w + 9. Is z(x) a composite number?
True
Suppose 11 + 44 = 5*k. Suppose 16*a - 175 = k*a. Suppose q - f - 36 = 4, 0 = q + 4*f - a. Is q a prime number?
False
Let o(j) be the first derivative of -20*j + 7/2*j**2 - 3. Is o(6) a composite number?
True
Let v = 36868 + -22817. Is v a composite number?
False
Suppose -k - 864 = -5*k. Suppose -o + k = v + 4*o, 5*v - 1132 = o. Suppose 3*m + v = 5*m. Is m prime?
True
Suppose 5*l + 10 = -4*t, -3*t - 3*l - 23 = -7*l. Is (-1)/(t/4695) - -4 prime?
False
Let z be -1 + -4 + (8 - 3). Suppose -4*p + p + 1506 = z. Is p prime?
False
Let v = 50832 - 25819. Is v a prime number?
True
Suppose 69*p = 67*p + 24. Is 16404/13 - 1 - p/(-78) prime?
False
Let x(a) be the first derivative of 3*a**4/2 + a**3/3 - 2*a**2 - a + 9. Let b(d) = -7*d**3 + 5*d + 2. Let o(y) = 4*b(y) + 5*x(y). Is o(4) a prime number?
True
Let k(o) = 9*o**3 - 8*o**2 + 8*o + 5. Let b = -136 - -142. Is k(b) composite?
False
Suppose 0 = -b - d + 1041 + 107, 0 = 4*b + 5*d - 4593. Is b prime?
False
Let k(r) = 239*r**2 - 5*r - 11. Let y be k(5). Suppose -11*d = 516 - y. Is d a composite number?
True
Suppose 0*l = l - 3. Suppose 51 = s + 3*k - 172, 0 = -l*s - 4*k + 669. Is s a prime number?
True
Suppose 27*x - 3516 = 24*x. Suppose 36*w - x = 32*w. Is w composite?
False
Let q(v) = 2*v**2 + 12*v - 7. Is q(19) composite?
True
Let g = 13442 - 8611. Is g composite?
False
Let w(z) = 6*z**2 + 13*z - 760. Is w(39) prime?
False
Let a(d) = -96*d**3 + 9*d**2 - 6*d + 8. Is a(-5) prime?
True
Let y(h) = 7*h + 36 - 20 + 36*h. Is y(7) a composite number?
False
Suppose 0 = -66*p + 65*p + 2931. Is p composite?
True
Let m = 3709 + -2070. Suppose -z - 2*k + 320 = -0*z, -5*z = -3*k - m. Is z prime?
False
Let c(r) = 2*r**3 + 32*r**2 + 12*r - 25. Let d be c(-17). Let b = d + 1160. Is b prime?
True
Let i(u) = 2*u**2 + 62*u - 105. Is i(-47) prime?
True
Suppose -82615 = -5*a + 5*s, 2*a - 12*s = -15*s + 33061. Is a a composite number?
True
Let v(b) be the first derivative of 3*b**3 - 2*b**2 - b - 2. Let y(p) = -p**3 - 2*p**2 + 6*p + 5. Let x be y(-3). Is v(x) a composite number?
True
Let c(k) = -1899*k - 212. Is c(-9) prime?
True
Let c(p) = -p - 3. Let f(y) = y**2 + 6*y - 8. Let a be f(-6). Let z be c(a). Suppose 3*d - z*u = 406, d - u + 376 = 4*d. Is d a prime number?
True
Let k = -15 + 24. Suppose -k*b = -7*b. Is (b/2 - -1) + 466 a prime number?
True
Let t be 237/21 + (-2)/7. Is (1/1 - (t + -9))*-347 prime?
True
Let q(l) be the third derivative of l**5/60 - 5*l**4/12 - 4*l**3/3 + 5*l**2. Let t be q(11). Suppose -4*x + 2881 = 4*i - i, 2*x - 2879 = -t*i. Is i prime?
False
Suppose -h + 36 = 5*h. Suppose 2938 - 12976 = -h*t. Is t prime?
False
Let p = -17 - -37. Is (-2)/(-8) - (-101535)/p prime?
True
Suppose 4*v - 7461 - 23630 = 5*d, d = 4*v - 31079. Is v prime?
False
Let l(y) = -y**3 + 9*y**2 - 13. Let b be 720/70 + (-4)/14. Let o be l(b). Let m = o - -180. Is m prime?
True
Suppose 4*w = 2*l + 27114, 0 = -7*l + 6*l + 1. Is w composite?
False
Suppose 1139 = q - 656. Suppose -o + q = -2*g, 2 = -2*g + 8. Is o a prime number?
True
Let j be -3 - (460/(-4) - -4). Suppose -4*b + 4*o + j = -1844, 0 = o + 3. Suppose 2*q + b = 7*q. Is q a prime number?
True
Suppose -2*v + 2*o - 6*o = 24, 4*v = 4*o - 84. Let g = 67 - v. Is g composite?
True
Suppose 2*i + v - 10 = -2, -2*v = 2*i - 6. Suppose -i*a = -2*a - 96. Let n = a + 51. Is n a prime number?
True
Let l be 0/(-2 + 3 - -1). Suppose -4*u + l = -3*r - 8, -4*u = 4*r - 36. Suppose r*t - 657 = 187. Is t composite?
False
Let w = -11 + 10. Let i(l) = -6*l**2 + 6*l - 9. Let d(r) = -1. Let p(t) = w*i(t) + 4*d(t). Is p(7) a composite number?
False
Is (-1826732)/(-38) - -1 - 90/(-855) a composite number?
False
Is 263991/52 + (8/4)/8 composite?
False
Is (-37482)/12*(-2 + 0) prime?
True
Suppose -12*r - 48313 = -365821. Is r a prime number?
True
Suppose 43 - 1085 = -2*d. Suppose 0 = -z - 5*q + 91 + 35, -4*z - 3*q = -d. Suppose a = z + 756. Is a a composite number?
False
Let a(s) = 11 - 29*s + 9*s + 53*s + 61*s. Let d be a(4). Suppose -g + 4*f + d = 0, 4*g - g = f + 1106. Is g a prime number?
True
Suppose 7*s - 2*s - 190 = 0. Suppose 0 = 10*q + 1 - 1. Let j = s - q. Is j prime?
False
Let d(s) = 2*s**3 + 18*s**2 + 15*s - 9. Let u be d(-8). Is 6476/3 - (u + (-12)/(-18)) a prime number?
False
Let u be -7*-3*1*(-4)/(-28). Suppose 0 = -u*b + 6*b - 4*g - 2423, 5*b - 5*g - 4040 = 0. Is b prime?
True
Let v(u) be the first derivative of -u**3/3 - 3*u**2 - 6*u + 1. Let t be v(-4). Is 625 - t/(-4)*-4 composite?
True
Suppose 16 + 34 = -5*y. Let s = 140 + -235. Let p = y - s. Is p a prime number?
False
Let x = 40 - 68. Is (-16)/x + 143/7 composite?
True
Let f(x) = -5*x - 1. Let r be f(-1). Suppose 5*h + 5*v - 1295 = 275, -r*h + 1262 = 2*v. Is h composite?
False
Let g = 14839 + -9570. Is g a prime number?
False
Let d be 4*(141/2 - 3). Suppose -1380 = 5*q + d. Let y = 661 + q. Is y composite?
False
Suppose 5*n - 15 = 4*l, 2*l = -0*l + 3*n - 5. Let c be (-376)/(-10)*(-25)/l. Let a = c + 17. Is a a composite number?
True
Let t = -20 + 22. Let b(w) = 32*w**2 + 3*w - 5. Let h be b(t). Let s = -71 + h. Is s a composite number?
True
Let a be 2/6 + (-355292)/42. Is (a/22)/(1/(-2)) composite?
False
Let x = -708 + 405. Let k = x + 714. Is k composite?
True
Let s = 6 + -12. Is 184/(-12)*603/s composite?
True
Let p(s) = s + 1. Let a be p(2). Suppose -4*x + 21 = -a. Suppose -x*m = -4*m + 5*h - 315, -590 = -4*m - 2*h. Is m a composite number?
True
Let t(p) = -3*p + 6*p - 4 - 5*p + 5*p**2 - 4. Is t(-9) prime?
False
Let b = -25 - -13. Let y be (9/b)/(2/(-8)). Suppose y*p + 228 = -2*s + 883, -3*p - 685 = -2*s. Is s a prime number?
False
Suppose -4 = 2*i - 4*o, -5*i + 4*o + 0 = 4. Suppose -3*z - l + 2342 = i, -6*z - 4*l = -z - 3901. Is z a prime number?
False
Let r = -103 + 108. Suppose r*f - f - 1939 = k, -4*k - 966 = -2*f. Is f prime?
False
Suppose -3*a = 2*a - 40. Let n(m) be the second derivative of m**4/3 - 4*m**3/3 - 7*m**2/2 + 17*m. Is n(a) a prime number?
False
Let c(f) = -29*f**3 - f + 1. Suppose 0 = -4*t - 2*h + 5*h - 8, 5*t = -2*h + 13. Let l be c(t). Let d = l - -106. Is d prime?
False
Suppose 72*a - 4 = 71*a. Suppose 0 = 5*g + 5*j - 2475, 0*g + 5*j + 1944 = a*g. Is g a composite number?
False
Suppose 4*f - 2099 = 5*m, 0 = -3*f - 4*m + 1280 + 302. Suppose 5*r = x + 1261, -2*x + f = 2*r + 3*x. Is r a composite number?
True
Let b be (1 - 183)*((-8 - -5) + -4). Let o = -565 + b. Is o a prime number?
True
Suppose 10 = 5*f, 2*b - 2*f - 3*f + 12 = 0. Let l = b + -1. Is 65 - ((0 - l) + -2) composite?
True
Suppose -y - 2*k - 3*k = -6, -2*y + 4*k - 2 = 0. Let u be 0 + -227 + y + -1. Let r = u - -494. Is r composite?
True
Let z(b) = 2*b**2 - 37*b + 16. Let q be z(18). Let n(w) = -8*w**3 - 2*w**2 - 6*w + 1. Is n(q) composite?
True
Let l(q) = 116*q**2 - 14*q - 37. Is l(-5) composite?
True
Suppose -5*m = 4*b - 13859, -4*m - 2*b = -7*m + 8311. Is m a prime number?
False
Let d(p) = -p**3 + 7*p**2 - 4*p - 6. Let q be d(6). Let g be (4/q)/(2/9). Suppose g*l - l - 282 = 0. Is l composite?
True
Suppose 5*v - 280766 - 193089 = 0. Is v composite?
False
Suppose 40 = -2*c - 5*h, 0 = 2*h + 2 + 6. Is c/15*(-6852)/8 composite?
False
Let t(c) = -3*c**3 + 4*c**2 - 4*c + 4. Let p be t(4). Let v(j) = j**3 + 13*j**2 - 13*j + 7. Let n be v(-14). Let d = n - p. Is d a prime number?
False
Let n(l) = l**3 - 7*l**2 - 18*l + 4. Let y be n(9). Suppose g = 4*a + 1365, -y*a = -26 + 6. Is g a prime number?
False
Suppose 3*s - 21 + 3 = 0. Let c(z) = 36*z. Let l be c(s). Let d = l + -119. Is d prime?
True
Let i(v) = 87*v**2 - 13*v + 7. Is i(8) composite?
False
Suppose 10*x - 204746 = 6044. Is x a prime number?
False