pose -4*c = -r*b - 750, -3*c + 923 = 2*c + b. Is c composite?
True
Suppose -110786 = -9*m - 39389. Is m composite?
False
Suppose 6*o - o = -10. Let a = o - -909. Is a prime?
True
Is 61604/(-10)*295/(-118) prime?
True
Is ((-3240)/(-16) + -4)*1*26 a composite number?
True
Suppose -366*r + 347 = -365*r. Is r prime?
True
Let y(p) = 3*p - 2 - 3*p**2 - p + 5*p**2. Let o be (-6 + 150/(-40))/((-3)/4). Is y(o) prime?
False
Let f = -81 - -91. Let r(j) = 73*j**2 + 6*j - 17. Is r(f) a prime number?
False
Suppose h + 2 = -2. Is ((-211)/3)/(h/12) prime?
True
Let u = -13167 + 19156. Is u prime?
False
Let x(r) = r**2 + 6*r + 7. Let k(j) = -j - 2. Let i be k(3). Let o be x(i). Suppose -s = -5*z + 192 - 466, 0 = 5*s - o*z - 1301. Is s composite?
True
Suppose k = -3*k. Suppose k = 3*h - 2*h - 5. Suppose -5*i - 4*w + 2363 = 0, -4*i - h*w = -i - 1423. Is i a composite number?
True
Suppose f + 3*z = 306 + 469, -2301 = -3*f + 3*z. Suppose -4*y + 5*n = -f, -4*y + 761 = -0*y + 3*n. Is y a composite number?
False
Let o(h) = 464*h - 2. Let q be o(-2). Let p = q - -428. Is (p/(-5))/((-2)/(-5)) composite?
False
Is 18108084/184*(-2)/(-3) a prime number?
True
Let b(f) = -378*f + 1. Suppose -q + 5 = 2*n, 0 = -q - 4*q - 4*n + 7. Is b(q) composite?
False
Suppose 42*x - 36*x = 22926. Is x a prime number?
True
Let x(n) = -n**3 - 17*n**2 + 14*n - 9. Let p be x(-18). Is (-9)/p - (-44)/14 - -4508 a composite number?
True
Is 2/9 + (6 - 4750630/(-90)) prime?
False
Is ((-1537431)/(-6))/7 + (-60)/(-40) composite?
False
Let n = -16 - -18. Suppose 0 = -2*t + 3*t - n*a - 399, -2*a - 1955 = -5*t. Is t a prime number?
True
Suppose 0 = 3*u - 2*y - 16, -2*u + 5*y + 17 + 1 = 0. Suppose 0 = u*m - 20. Suppose -m*n + 925 = 2*g + 2*g, -4*g = n - 185. Is n prime?
False
Suppose 5*g - 12 = 3*g. Suppose f - 1 - 2 = 0, -3*p + 5*f = 27. Is (p/g)/(22/(-15411)) composite?
False
Let r(j) = -j**3 + 18*j**2 - 6*j - 5. Let p(l) = -8*l - 5. Let a be p(-2). Let g be r(a). Suppose 3*n = -n + g. Is n a composite number?
True
Suppose -6 + 25 = -m + 5*w, 0 = -m - w + 11. Suppose 16762 = m*s + 3004. Is s prime?
True
Let q(d) = -31*d - 14. Let g be q(3). Let r = 498 + g. Is r a composite number?
True
Let i = 1440 - 643. Is i prime?
True
Let l = -2003 - -5650. Is l prime?
False
Is (-1)/2*(-25)/(100/190856) a prime number?
True
Let x be 69/18 - (-2)/12. Suppose 4 = x*j - 2*j. Suppose 807 = 5*o - 2*g - 0*g, o - 171 = -j*g. Is o a composite number?
False
Suppose 0 = -5*r - 5*p, -3*r - 2*p + 3 = 1. Suppose r*f - 106 = -b, 173 = 3*f - 2*b - 0*b. Is f prime?
False
Let i(n) = n**3 + 9*n**2 + n + 15. Let j be i(-9). Suppose -g + j*g = 5945. Is g a composite number?
True
Let k be 46/(-10) + 2/(-5). Let d(b) = -2*b + 11 + 9*b**2 + 9 + 6*b - 8. Is d(k) a composite number?
True
Let b(n) = 2 + 1 - 4 + n - 148*n**3 - 3*n. Is b(-1) a composite number?
False
Let p(t) = t**3 - 41*t**2 - 23*t + 44. Let k(f) = -f**3 - f**2 - f - 1. Let j(c) = 3*k(c) + p(c). Is j(-22) composite?
False
Suppose -20 = 4*q, -4*q + 64 = 3*m - 168. Suppose j + m = 2*t + 21, -5*t + 2*j = -159. Is t a composite number?
True
Let q be (-3)/(-5) + 0 + (-3410)/(-25). Suppose -3*x = -q - 424. Is x composite?
True
Let v(d) = d**3 - 2*d**2 + 3*d - 2. Let t be v(2). Suppose -t*x + 12 = -0*x. Let s(i) = 12*i + 3. Is s(x) a composite number?
True
Suppose -48 = -8*i + 5*i. Let y = -16 + i. Suppose 0 = -4*c + j + 149, 2*c + c - 5*j - 116 = y. Is c prime?
True
Suppose -5 = -5*v, 4*m + 5*v = 10 + 11. Suppose -d - m*i = 3*d + 4, -3*d - 2*i - 2 = 0. Suppose -136 = -3*r - 5*l + 151, -2*r - 3*l + 190 = d. Is r prime?
True
Suppose -75044 = -9*i - 9875. Is i composite?
True
Suppose 9*b + 187 = -164. Is -289*(45/b + (-6)/(-39)) a composite number?
True
Let n = 649 - 198. Is n prime?
False
Suppose -6*c + 20 = -8*c. Let x = c - -92. Let j = 121 - x. Is j a prime number?
False
Suppose 2*r - 5*o - 6135 = 0, 3060 = r + 2*o + 3*o. Is r a composite number?
True
Let u(f) = 18*f - 346. Let m be u(18). Let n(l) = 21*l + 1. Let y be n(2). Let b = y - m. Is b a composite number?
True
Let p(z) = 5*z - 7. Let x be p(2). Suppose x*j = 0, 2*j - 2495 = -5*t - 2*j. Is t prime?
True
Suppose -16 + 8 = -4*m. Suppose -m*g = -6*g + 20668. Is g a composite number?
False
Let w(f) = -3095*f + 107. Is w(-10) a composite number?
True
Let y = -230 + 243. Let f be (78/5)/((-6)/(-20)). Is 1077/y - (-8)/f a composite number?
False
Let x(f) = f**2 - 4*f - 1. Let t be x(3). Is (-2)/t - (-3810)/4 a prime number?
True
Suppose 7371 = 7*p - 2114. Suppose -f - 4*m - p = -2*f, -1371 = -f - 4*m. Is f a composite number?
True
Let n(x) = 5*x - 178. Let i be n(0). Let p = 881 + i. Is p a composite number?
True
Let y = -6322 + 12291. Is y composite?
True
Let v = 325 - -552. Is v a composite number?
False
Let t be 1882/(-4 + (-6)/(-3)). Is t/(-4) + 6/(-24) a prime number?
False
Suppose -12*b + 52 - 196 = 0. Is b/(-8)*(-2062)/(-3) prime?
True
Let n = 10104 + -24371. Let y = n - -22557. Is y/25 - (-6)/(-10) a composite number?
False
Is (48007 + 123)*2/4 prime?
False
Suppose -3*n + 10 = 2*n. Suppose u = -4*l + 687, -2*l + 330 = n*u - 6*u. Suppose -2*t + 97 = -l. Is t prime?
False
Let i = -3965 - -9588. Is i a composite number?
False
Let f(b) = -525*b**3 + b**2 + b - 1. Is f(-2) a prime number?
True
Let k be (-2)/(-13) - 24/(-13). Suppose k*f + 2*r = 2, 5*f - 3*r + 2 = -r. Suppose -3*n + 5*u = -f*n - 767, u = 4*n - 1000. Is n a composite number?
True
Let n = -1646 + 2836. Suppose 8*b - n = 3*b + i, b = 5*i + 262. Is b composite?
True
Is 614/(33/(-66)*(-8)/74) a composite number?
True
Suppose 87 = j - 0. Let a = j - 73. Is a prime?
False
Let q = -25 - -29. Suppose -q*m = 8*m - 5352. Is m composite?
True
Let w(p) = p + 7. Let s be w(3). Let h = s - 6. Suppose -j + h = -3*j, -2*l - j + 364 = 0. Is l prime?
False
Let l be -8*((-5)/(-4))/(-5). Let o be ((-4)/6)/(l/9). Let v = 18 - o. Is v prime?
False
Let m(u) = u**3 + 4*u**2 + u - 1. Let j be m(-2). Suppose 0*t - 1058 = -t + i, j*i = 15. Is t composite?
False
Let f(l) be the third derivative of 138*l**5/5 + l**4/12 - l**3/6 - 11*l**2. Is f(1) a prime number?
True
Suppose -7*b + 10*b - 1056 = 0. Suppose 2*p = 4*p + b. Is (23/(-4))/(4/p) a prime number?
False
Let r(q) = 38*q**3 + q**2 - 7*q + 12. Let d be r(2). Suppose 0 = -5*y - 2*g - g + 518, 0 = 5*y - 3*g - 512. Let k = d - y. Is k a prime number?
False
Let g be (-2)/(-3) - 13916/(-6). Suppose 4*p - g = -k, 2320 = 4*p + 5*k - 3*k. Suppose 4*d = -3*h + 7*h + p, -145 = -d + 4*h. Is d prime?
False
Let x = -13476 - -22565. Is x composite?
True
Suppose 6*l - 7*l + 9 = 0. Suppose 0 = 6*d - 3 - l. Suppose -k = -d*k + 33. Is k a prime number?
False
Let f(m) = m**2 - m + 2. Let y be (-24)/18 - 8/(-6). Let o be f(y). Suppose -g + 43 = -0*g + 5*n, 0 = -5*g - o*n + 169. Is g prime?
False
Let q(y) = -y**3 - 3*y**2 - y - 2. Let b be q(-3). Suppose -4*s + b = a + 6, -5*s - 6 = a. Let u(r) = -161*r**3 + r**2 + r. Is u(a) composite?
True
Is ((-8)/40*3898)/((-4)/10) a composite number?
False
Suppose 14*m - 11*m + 5*z = 79207, 4*m - 3*z - 105648 = 0. Is m a prime number?
False
Let x be (-1)/4 - 142188/(-48). Let g = 7073 - x. Is g a prime number?
True
Let k = 13 - 1. Suppose k*v = 15*v - 1434. Is v composite?
True
Let q(f) = 129*f - 35. Is q(2) composite?
False
Let j(r) = -2*r - 4. Let b(t) = -2*t - 5. Let g(x) = 3*b(x) - 4*j(x). Let n be g(1). Suppose 0*h - 381 = -n*h. Is h prime?
True
Suppose -13*b + 65418 = -124655. Is b composite?
False
Let o = 34 - 29. Is (6692/8)/(o/10) a composite number?
True
Suppose 8067 = 9*z - 3687. Is z a prime number?
False
Suppose -n - 507 = 2*j, -j + n = 196 + 50. Let d = 86 - j. Is d a prime number?
True
Suppose -2*c = 3*c + 2*j - 31, 4*j - 12 = 0. Is ((-526)/4)/(c/(-30)) a composite number?
True
Suppose -51 = -4*l - 11. Is 4/l + (-32652)/(-20) + 4 a composite number?
False
Let s = 27 - 8. Let b(p) = p - 6*p - 2*p - s. Is b(-8) a prime number?
True
Let x be ((-15)/(-12))/((-1)/(-4)). Suppose -x*v - 30 + 955 = 0. Is v a prime number?
False
Suppose -13211 = -4*m + 5*j, 0 = -0*m - m + 4*j + 3289. Suppose 0 = -2*v + 2*b + 2206, -3*v - 4*b + m = -8*b. Is v a composite number?
False
Let s(c) = 43*c**3 - 3*c**2 + 14*c + 5. Let o be s(6). Suppose 9272 = 4*w + 4*b, b - o = -2*w - 2*w. Is w a prime number?
False
Is -3 - 5911*