= -n*j + 507. Is j prime?
False
Suppose 0 = -5*u + 10, -2*u - 6703 = -i - 1566. Is i a prime number?
False
Let r be (-2)/4*(1 + -1). Suppose -5*a - 4*p + 22 = -0*a, r = 3*p - 9. Is 4/(-3)*(-69)/a prime?
False
Is (572/(-99))/13 + (-70941)/(-27) composite?
True
Suppose b - 1630 = 4*b + 5*l, -3*l - 1085 = 2*b. Let p = 1254 + b. Is p a composite number?
False
Let o(d) = -11*d**2 - 8*d + 1. Let p be -4*2/((-32)/12). Let s(k) = -10*k**2 - 9*k + 2. Let n(l) = p*s(l) - 4*o(l). Is n(5) composite?
True
Let o(u) = 9*u**2 + 11*u + 11. Let c be o(12). Suppose -c = -6*i + 7543. Is i a prime number?
False
Let v(c) = -29*c**2 + 4*c - 13. Let a(d) = -d**3 + 3. Let s be a(2). Let m(k) = -15*k**2 + 2*k - 6. Let h(u) = s*m(u) + 2*v(u). Is h(-3) a prime number?
True
Suppose -l - 63 = -238. Let u = l - 17. Is u composite?
True
Let w(m) = -30*m**2 - 2*m + 1. Let q be w(2). Let v = 89 - q. Is -4 - 1*(-3 - v) a composite number?
False
Let j = 19 + -17. Suppose j*h + 2*h = 1484. Suppose -h = -n - 6*n. Is n a prime number?
True
Is 64585/17 + (-102)/867 prime?
False
Let i(j) = 7*j**2 - 27*j - 25. Is i(-33) composite?
True
Suppose 5*k - 15 = -0*k. Suppose -2726 = -3*b + 2*c + 314, 3045 = k*b - 3*c. Suppose 2*n = -0*n + b. Is n a composite number?
True
Let z = -11167 - -19338. Is z a prime number?
True
Let o(t) be the first derivative of -27*t**2/2 + t - 2. Let q be o(-2). Let c = q + 4. Is c a composite number?
False
Let c(w) = 36*w**3 + w**2 - 3*w + 4. Let v be c(3). Suppose -v = -6*o - 2*o. Is o composite?
True
Suppose m + 2*m = -2*j, -5*m - 5 = 5*j. Let r be (-8)/m*2/(-4). Is (2 + -3)/(r/(-314)) a composite number?
False
Let q = 9067 - 5696. Is q composite?
False
Let y be (-1)/2*(-3 - -3). Suppose 5*w + 4*q + q - 180 = y, -3*q - 9 = 0. Is w composite?
True
Let d be ((-1)/(-2))/(6/(-12)). Let i(t) = 7*t**3 + 3*t**2 - 2*t - 5. Let x(f) = -f**2 + 1. Let c(y) = d*i(y) - 3*x(y). Is c(-3) a composite number?
True
Let p(x) = -x**3 - x**2 + x + 6. Let l be p(0). Suppose -s = -l*s - 1105. Let a = s + 512. Is a prime?
False
Is 2/((-6)/(-1773))*(-42)/(-18) composite?
True
Suppose -7*r + 26208 = -r. Suppose 0 = -8*z + 680 + r. Is z a prime number?
True
Suppose -2*z - 2*z = -1828. Is z a prime number?
True
Let i(d) = d**3 + 4*d + 7. Let z be i(0). Suppose 19566 = z*f - f. Is f a composite number?
True
Let m = -3 + 8. Let g be (10/m)/(2/104). Let i = g + 785. Is i a prime number?
False
Is (1 + 1 + -142871)*(-14)/42 prime?
True
Let c be 19168/(-3) + (32/(-12) - -3). Let k = -4410 - c. Is k a prime number?
True
Suppose 17739 + 12615 = 6*t. Is t composite?
False
Suppose 4*l - 26 = 186. Suppose -b + l = -44. Is b a composite number?
False
Suppose -5*b + 10*b = -2*n + 17, -3*b - 5*n = 5. Suppose -48 = -b*a + 482. Is a composite?
True
Let o(j) = 6*j**3 - 4*j**2 - 12*j - 5. Let c be o(7). Let f = c + -1186. Is f prime?
True
Let k(u) = u**3 - 14*u**2 + 11*u - 10. Let a(l) = -l**2 - 1. Let b(f) = 5*a(f) - k(f). Let h be b(-9). Let p = h + -513. Is p a composite number?
False
Let z = -33 - -30. Is (z - (-1956)/(-3))*-1 a prime number?
False
Suppose s - 5*k - 25 = -2*s, -15 = -s + 3*k. Suppose -5*m + 0*b = 2*b - 1347, -5*m - 4*b + 1349 = s. Is m prime?
True
Let c(b) = b**2 + 9*b + 16. Suppose 0 = t + n, -n - 6 = -t - 0. Let w be t + -6 + 0 + -8. Is c(w) composite?
True
Suppose -10*k = -57 - 53. Is -14 + k + 310/1 prime?
True
Let l be 152/6*(-27)/(-2). Is (1/(-3))/(682/l - 2) a composite number?
True
Let k(z) = 4*z**2 - 2*z + 4. Let a be k(-5). Suppose x = -4*n + 20 + 9, 3*x = -3*n + a. Suppose f + 4*l - x = -0*l, -2*l - 53 = -3*f. Is f composite?
True
Let h be (-3)/6 + (-7)/(-2). Let c(w) = 35*w - 7. Let j be c(h). Let i = 172 - j. Is i a prime number?
False
Let s = -615 + 1642. Is s a prime number?
False
Suppose -139950 = 10*v - 410540. Is v prime?
True
Suppose 3*v - v - 8 = 0. Suppose 2*d - d + 5*y = -29, 0 = 3*d + v*y + 76. Let x = d + 341. Is x prime?
True
Let r be (-4 + 89 - 1) + 3. Suppose 4*s + s + 41 = o, 3*s + r = 3*o. Is o composite?
True
Suppose -4*f + 14 + 26 = 0. Let b be 1*(-3 + 4*f). Suppose -30 - b = -h. Is h a composite number?
False
Suppose 1 = -5*m + 21. Let h(t) = 10*t + 15*t**2 - 40*t + 14*t - 3 + 20*t. Is h(m) a prime number?
False
Suppose 0*l = 3*l + 3. Let h be 10/l*(-12)/8. Suppose -3*y = -144 - h. Is y composite?
False
Let r(j) = 1 - 10*j - 2*j**2 + 5*j + 5*j + 75*j**3. Is r(1) prime?
False
Suppose 29 = 5*u - 21. Is ((-635)/u)/(3/(-6)) a composite number?
False
Is ((-254484)/(-108))/(1/3) composite?
False
Let a(w) = 4*w - 4. Let z be a(2). Suppose 0 = 3*n - 5*n - z*d + 106, 2*n - 2*d - 106 = 0. Is n composite?
False
Suppose 0 = 4*o - 7*o. Let m(q) = q**2 + 0*q**2 - 6 - 3 - 7*q + o*q**2. Is m(-5) composite?
True
Let l = -11 - -20. Suppose -6194 = -l*b + 2077. Is b a prime number?
True
Let d(m) = -m**3 + 5*m**2 - 4*m + 4. Let a be d(4). Suppose -x - a*y - 4 = 2*x, -14 = 4*x + y. Is x + 26 - (1 - 2) a composite number?
False
Let j be 22/8 - -2 - 3/(-12). Let x(f) be the second derivative of 3*f**5/10 + 7*f**4/12 - f**3/2 - 3*f**2/2 + 2*f. Is x(j) composite?
False
Let t(m) = 821*m**3 - 3*m**2 - m + 2. Is t(5) a prime number?
True
Is ((-6)/144*12)/((-2)/34244) a composite number?
True
Let m(z) = 1114*z**2 - z - 1. Is m(-1) a composite number?
True
Let r = 22665 + 6194. Is r composite?
False
Let u = 1592 - 709. Suppose -u = -5*k + 9592. Is k a composite number?
True
Is 129094/6 + (-40)/(-30) a composite number?
False
Let f be (-2)/9 + 66/297. Suppose f = -5*w + 10, -2*w - 19 + 699 = 4*n. Is n composite?
True
Let s(d) = -34*d**3 + 3*d**2 - 4*d - 3. Is s(-4) composite?
False
Let s(y) = -8*y**3 - y**2 + 3*y + 1. Let a be 27/(-12) + 2/8. Let b be s(a). Suppose 0 = -5*r + 5*u + 120, -u - 4*u + b = 2*r. Is r prime?
False
Let w = 299 - 491. Let f = -81 + w. Let m = f - -540. Is m a prime number?
False
Let r(a) = -a + 73. Is r(18) composite?
True
Let f = -45 + 53. Is ((-4)/f)/(6/(-804)) composite?
False
Suppose 0 = -18*j - 15546 + 573492. Is j composite?
True
Let s(t) = 224*t + 177. Is s(53) composite?
False
Suppose -12*o - 126 = -9*o. Let b be (o/4)/((-12)/600). Let m = b - 314. Is m composite?
False
Let v be 10263/39 + (-4)/26. Let a be 4/14 - (-2756)/7. Let u = a - v. Is u prime?
True
Let a be (0/(-12))/(-1 + -3). Suppose -2*g - 3*l + 1194 = a, 2*g - 416 = 5*l + 778. Is g a composite number?
True
Let y = 2257 - -1926. Is y prime?
False
Suppose -2*k = 5*h - 8, 2*h - 2*k = -3 - 5. Suppose h*o - 1511 = -o. Is o prime?
True
Is -3 - (-1101 + -3 + -2) a composite number?
False
Suppose 2*u = 5*u - 9. Suppose 4*r - 5*b - 31 = 0, 6*b - 3 = -u*r + 3*b. Is (-163)/(r/12*-3) a composite number?
False
Let t(g) = 4*g**2 - 5 - 3*g**2 - 5*g + g - 1. Let k be t(5). Let w(v) = -23*v**3 - v**2. Is w(k) prime?
False
Suppose -2 = -6*j + 5*j. Is 34/(4/j*(-2)/(-10)) a composite number?
True
Suppose -3*d = m - 128515 - 120835, -4*d + m = -332469. Is d prime?
True
Let b(t) = 1231*t**3 - t**2 - t + 1. Let w be b(1). Suppose -3*a = -8*a + w. Let z = a + -67. Is z prime?
True
Let q = 22101 + -11927. Suppose -2*z - 3276 = -q. Is z prime?
True
Is -970*((-15)/(-10) + -2) composite?
True
Is (-4*(-3)/12)/((-9)/(-49851)) a composite number?
True
Suppose -2*w + u = -2*u - 4231, 5*w - 10525 = -3*u. Let c = -1039 + w. Is c composite?
False
Let b = -1154 - -1631. Suppose -d + 1364 = -b. Is d a prime number?
False
Suppose -h = m - 1478, 0 = -m - 2*h + 1473 + 6. Is m a composite number?
True
Is ((-60674)/4)/((-24)/48) prime?
False
Let w be (5212 - -3) + 0/5. Suppose 3*l - w = -2*l. Is l prime?
False
Suppose x + 20 - 2 = 0. Let l be (12/x)/((-4)/30). Suppose -2*d + 4*g = -4*d + 14, -l = d + 5*g. Is d a prime number?
False
Suppose 162497 = -59*a + 939586. Is a prime?
True
Let j(k) be the first derivative of -k**6/120 + 2*k**5/15 - 7*k**3/6 - 3*k**2 + 2. Let d(q) be the second derivative of j(q). Is d(6) prime?
False
Suppose 0*i + i = -2*a + 5, -4*a = i - 5. Suppose -13544 = -i*f + 6401. Is f a composite number?
False
Suppose -2*h = 4*t - 2, 4 = t + t + 4*h. Suppose -4*u + 5*d = -1397, t*u - 3*u = 5*d - 1004. Suppose -27 + u = 4*f. Is f a prime number?
True
Let v(o) = -6*o**3 - 4*o**2 + 7*o + 1. Let r be v(-7). Let h = r - 1075. Is h composite?
False
Let t be ((-7)/7)/(1/(-5)). Suppose p = t - 3. Is 777*(-4)/(-24)*p 