s c(1) composite?
False
Let c(a) = a + 62. Let d be c(-15). Suppose m + 26 = d. Is m a composite number?
True
Is -4783*(140/(-77) - (-10)/(-55)) prime?
False
Suppose -m + 3*d + 11 = 0, -19*m = -22*m + 5*d + 21. Suppose -1547 = -f - 0*x + m*x, -4*f + 2*x = -6176. Is f a prime number?
True
Let a be 2 + 0 - (2 - -3). Let f be a - (-5 + 4)*9. Is (2 - 14840/15)/((-4)/f) a prime number?
True
Suppose -7*v = -16*v + 306. Suppose -1 - v = -z. Is z a composite number?
True
Suppose -6*x + 2074464 = -2*x - 5*u, -x + u = -518617. Is x a prime number?
True
Let f(i) = -3*i**2 + 30*i - 18. Let x be f(21). Let p be 4855/4 + 3/12. Let a = x + p. Is a a prime number?
True
Suppose 3*p = -d + 4*p + 4463, 2*d + 5*p - 8947 = 0. Let o = d + -2636. Suppose -4*b + 14882 = o. Is b prime?
False
Suppose 5*l - 6*z = -3*z + 189095, -4*l - 5*z = -151276. Is l a composite number?
True
Suppose -3*j + 197*k = 198*k - 1256308, -5*k - 2093840 = -5*j. Is j prime?
False
Suppose 157725 = 183*h - 174*h. Suppose 2*k + h = -5*d + 6*d, d = 4*k + 17531. Is d composite?
False
Let k = 1504 - 603. Is k a composite number?
True
Is -1 + 18 + 4222460/34 composite?
True
Let t(u) = 252*u - 407. Is t(50) prime?
False
Let m(f) = 5*f**3 + 6 + f - f**2 - 7*f - 4*f**2 + 2*f. Let u be m(6). Suppose -n - 4*b = -4*n + u, 2*n - 602 = -2*b. Is n composite?
True
Let t = 33 - 1499. Let w = t + 2704. Is w a composite number?
True
Let p(i) = 654*i**2 + 6*i + 1. Let s = 737 - 739. Is p(s) a prime number?
False
Let p(a) = -4*a - 10. Let g be p(-4). Let r be (-3)/2*(-8)/g + 2. Suppose -2*z - 383 = -r*z + 3*l, -4*z - 2*l = -742. Is z a composite number?
True
Let n(v) = -v**3 - 2*v**2 + 2*v + 183. Let k be n(0). Suppose -264 = -u + 4*s + k, 2*s + 1351 = 3*u. Is u + -2 - 9/6*2 a prime number?
False
Let c(k) = 5*k**2 + 6 - 4*k + 2*k**2 - 6*k**2 + 0 - 9*k**3. Let j be c(-3). Suppose 3*a - 2*u = -3*u + j, 5*u + 163 = 2*a. Is a a prime number?
True
Suppose -42*s + 68814854 = -7*s + 23*s. Is s a composite number?
True
Let o(i) be the second derivative of 1151*i**3/3 + 17*i**2/2 - 67*i. Is o(2) a composite number?
False
Let f(k) = 127*k**3 - k**2 + 2*k. Let p be 0 + 0 + -1 + 3. Let m be f(p). Suppose -m = -4*x - 4*u, 5*u - 198 = -x + 60. Is x a prime number?
False
Let r(u) = -11*u**3 + 3*u**2 + 5*u + 2. Let h be r(-1). Suppose 4*d + 8*j - 8633 = h*j, -4*j = -d + 2155. Is d a prime number?
False
Suppose -150*z + 148*z + 6 = 0. Is (-1)/(z + 34286/(-11428)) prime?
False
Let h(g) be the second derivative of 183*g**3/2 - 223*g**2/2 - 2*g + 13. Is h(6) a prime number?
False
Let m(w) = 1652*w**2 - 39*w + 3. Let h be m(-4). Suppose 5*f - 4*t - h - 14850 = 0, -5*t = -4*f + 33160. Is f prime?
False
Suppose 30 = l + 18. Suppose -17*v + l = -21*v. Is 4/v - (-8)/36*339 a composite number?
True
Let j = -391650 - -2852393. Is j prime?
True
Let i be (51 + -43)/((-1 + 2)*2). Is (26 - 3)/(i/3244) a composite number?
True
Suppose 0 = 3*s - 2*l + 5*l - 83421, 0 = -s + 3*l + 27795. Suppose -s - 15925 = -7*i. Is i a prime number?
True
Suppose 5*t = 19*u - 16*u - 102649, 5*u + 3*t - 171127 = 0. Is u a composite number?
True
Let h(p) = 49004*p + 5487. Is h(11) composite?
True
Let y be (-5)/((-105)/22141)*-18. Is (9/27)/((-2)/y) a composite number?
False
Suppose -4*c - 2*w = -5*c + 2*w + 127861, 3*w = 0. Is c composite?
True
Let l be 5 - (2 + 1 + (-40)/(-10)). Is (-29 - -35) + (-7774)/l composite?
True
Suppose -3*v + 5459 = -2*m, 2*m = 5*v - 0*v - 9097. Let h = 588 + v. Is h a prime number?
False
Let j(o) = 55*o**2 + 21*o - 1. Let z be j(-4). Suppose -z*y + 787*y + 82136 = 0. Is y a composite number?
False
Suppose -11*m + 1089440 = 29*m. Suppose -j = -2*g - 5445, -9*j + 4*j = g - m. Is j a prime number?
False
Let v(d) = 1198*d**3 - 18*d**2 + 53*d + 2. Is v(3) prime?
False
Suppose -4*p + 81 = -3*p - q, 2*q + 10 = 0. Let j = -1324 - -1331. Let b = p - j. Is b composite?
True
Let u(s) be the third derivative of -16*s**2 - 1/8*s**4 + 2/15*s**5 + 0 + 0*s - s**3. Is u(-5) a composite number?
True
Suppose 3*w = 8*w + 50. Let n be 7/3*(7 + w). Let p(a) = 22*a**2 + 9*a + 34. Is p(n) composite?
False
Is 670986/54*9*1/3 a composite number?
False
Let d be (-1 + (-5)/(-2))*(-9 - -11). Suppose 2*h = -d*h + 2080. Suppose -337 = -4*k - 5*w, 4*w = -5*k + 3*w + h. Is k composite?
False
Let l(x) = x**3 + 11 + 18*x + 6 - 15*x**2 - 7*x. Suppose -16*d + 12*d = -64. Is l(d) composite?
False
Let j(y) = 86*y**3 + 5*y - 4. Let r(f) = -f**3 - 6*f**2 + 3. Let w be r(-6). Let o be j(w). Let p = o - 856. Is p composite?
True
Let i(t) = 5*t**3 + t**2 - 27*t + 12. Is i(26) prime?
False
Suppose -5*v + 7*v = 0. Let o = 2688 - -1292. Suppose -5*p = -q - 4951, -2*p - 2*p - 4*q + o = v. Is p prime?
True
Suppose 3*q - 25 = -2*q. Let p be 1 + (5 - -3713)/2. Suppose q*r - p = 925. Is r a composite number?
False
Let m(v) be the first derivative of 4*v**3/3 - 4*v**2 + 3*v + 12. Let l be m(2). Suppose l*b - 561 = -0*b. Is b prime?
False
Suppose 18*g - 80 = 8*g. Let c be (3426/4)/(6/g). Let k = c + -501. Is k a prime number?
True
Let b(a) = -10*a - 3 + 66 - 151*a - 9. Is b(-7) composite?
False
Let a be 6/(-4)*(42 + 6). Let r = 50 + a. Let j = 0 - r. Is j composite?
True
Suppose -309 = 10*a - 6099. Suppose 5*b - 6011 = a. Is b a composite number?
True
Suppose 0 = -5*g - 2*j + 8999, -g + 6*g + 3*j - 8996 = 0. Is g a prime number?
True
Let d be (12/48)/((-1)/(-12)). Let a(q) = 11*q**2 - 5 + 5 + 2*q**d - 5 - 3*q**3. Is a(7) composite?
False
Suppose -5*k - 10 = 0, 1301476 + 589618 = 10*t - 2*k. Is t a prime number?
False
Let b(t) = -2*t**2 + 23*t + 13. Let g be b(13). Let s = g + 26. Suppose -4*r - 4*m + 3664 = s, 3*r + m = 1587 + 1167. Is r composite?
False
Suppose 4*u - 17697 = 4*o - 4981, -3*u + 5*o + 9547 = 0. Let g be (-2)/(-3) + (-4001)/3. Let p = g + u. Is p a prime number?
False
Suppose -72*j + 23934 = -66*j. Is (j/3)/((-6)/(-18)) a composite number?
False
Let z(j) = -42*j - 2357. Is z(-65) a composite number?
False
Let s be (2/(-6))/((-1)/12). Suppose 2*b = -f + 9, 2*f - s = 4*b - b. Suppose b*j - 3*j + 97 = 0. Is j a prime number?
True
Suppose -41 - 11 = -4*a. Let k = a + -13. Suppose -3*t + 101 + 136 = k. Is t composite?
False
Let c(l) = 8*l**3 - 6*l**2 - 34*l - 17. Is c(23) a prime number?
False
Suppose -7*b = -3*s - 8*b + 12, 5*s - 2*b = 9. Suppose -2*o + 3595 = -t, 0*o = s*o + 3*t - 5370. Is o composite?
True
Let a = -5301 + 2574. Let n = 805 - a. Let c = n - 2315. Is c composite?
False
Suppose 0*k + n = -k + 80, 3*k - 2*n - 230 = 0. Suppose 85*z - 4809 = k*z. Is z a prime number?
False
Let o be 14/7 + (-2)/(-1) + 1953. Suppose m - k - 654 = 0, -o = -3*m + 6*k - 4*k. Is m prime?
False
Suppose -r - 122697 = -3*a, -204473 = -5*a - 2*r - 0*r. Is a prime?
True
Suppose -152220 = 66*d - 63*d. Let n be (10/(-8) - -2) + d/(-80). Is (3 - 1) + -4 + n composite?
True
Suppose 9 + 16 = 5*z. Suppose p + 792 = z*p. Let s = p + -131. Is s composite?
False
Let t(w) = 17*w - 2860. Let u(j) = 6*j - 953. Let h(s) = -3*t(s) + 8*u(s). Let a be h(0). Suppose 6*n - 5*n + a = 3*c, 4*c - 1278 = -2*n. Is c prime?
False
Is ((-4)/1 + -1)*209331/(-135) a prime number?
True
Let h(p) be the first derivative of 4*p**3/3 + 2*p**2 - 15*p + 40. Is h(16) a prime number?
False
Suppose 52*f = 138*f - 9422246. Is f composite?
True
Is (-912258)/(-10)*1 + 50/250 prime?
False
Let j(b) = b**3 - 10*b**2 + 2*b - 8. Let l be j(10). Suppose -4*z + l*z = 2414320. Is z/90 - (-2)/(-9) composite?
True
Suppose -4*m = -18 + 6. Suppose 2*n - m = 7*n + d, n - 2*d + 5 = 0. Let u(q) = -2358*q**3 + 2*q**2 + 4*q + 3. Is u(n) composite?
True
Suppose 0 = 14*q - u - 3502367, 4*q - 3*u + 584925 = 1585604. Is q composite?
False
Suppose 2*n + 4*w = -50, -2*n + 4*n + 48 = -2*w. Let q be (-24)/(-18) - (-2)/(-18)*3. Is (n + q)*1233/(-18) a prime number?
False
Suppose 27 = -3*c - 9. Let m be 3/2 + c/(-24). Suppose -p + m = -9. Is p a composite number?
False
Let h be (2 - 4)*1 - 736/(-2). Suppose 3*p = 5*n - 34 - 145, 0 = 3*p - 3*n + 189. Let c = p + h. Is c a composite number?
True
Let d(h) = -21899*h + 417. Is d(-4) prime?
False
Let t(a) = 102*a - 47. Let d = -177 - -182. Is t(d) composite?
False
Let q = 286114 + -138513. Is q composite?
True
Is 43/430 - (-1550817)/30 a composite number?
True
Suppose -44*j = -662240 - 1505244. Is j a composit