((-2)/(-4))/((5/(-2510))/(-1)) prime?
True
Suppose m + 4*f - 107 - 84 = 0, -936 = -5*m - f. Let o = -90 + m. Is o prime?
True
Suppose 3*c - 29 = -5. Is 276/c + 2/(-4) composite?
True
Let k be (6 - -1) + (1 - 2). Suppose -5*s + 135 = n, 2*n - k*s + 2*s = 214. Is n a composite number?
True
Is (-4)/36 - (-14050)/9 a prime number?
False
Let g(b) = b**3 + 13*b**2 - 14*b + 5. Is g(-11) a prime number?
True
Suppose -6*o - 142 = -b - 3*o, -4*o = b - 107. Is b a composite number?
False
Is (-4 - -2)*((-651)/6 + 3) a prime number?
True
Suppose 6416 - 2327 = 3*o. Is o a composite number?
True
Suppose w = 3*w - 136. Let m = 121 - w. Is m a composite number?
False
Is (20/15)/(4/(-6)) - -2961 a composite number?
True
Let n(j) = j**3 - 6*j**2 - 6*j - 2. Let v be n(7). Suppose -4*s + 2*l = -1272, 2*s = v*s + 4*l - 965. Is s composite?
True
Let z(j) = -3*j + 9. Let h be z(6). Let y = h + 14. Suppose 2*u + 5*w = 9, 0 = -2*u + w + y + 10. Is u a prime number?
True
Let i = 166 + -111. Is i a composite number?
True
Is 1 - 3/((-12)/1888) composite?
True
Suppose w + 4*r + 6 = 3*r, 0 = 3*w + 2*r + 15. Is 3/(-9) - 232/w prime?
False
Let x(b) = 2*b**2 - 8. Let t(g) = -1. Let r = 13 - 18. Let u(y) = r*t(y) + x(y). Is u(-5) a prime number?
True
Let f(p) = -p**2 + 10*p + 7 + 3*p**2 + 0. Is f(-7) a composite number?
True
Let u = 196 + -77. Is u composite?
True
Suppose -3*f - 178 = -2*z, -2*z + 237 = z + 3*f. Is z prime?
True
Let f(z) = 5*z**2 + 2*z - 3. Let b be (-49)/(-21) - (-2)/(-6). Is f(b) a composite number?
True
Let b be 6 + -5 + (2 - -40). Suppose -3 = 3*j, 5*j - 75 = -4*z + 4*j. Suppose -2*u + b = -z. Is u a composite number?
False
Suppose 4*h = 174 + 18. Suppose -4*a + 28 = -h. Is a a composite number?
False
Let v(z) = -33*z - 4. Let r(k) = -65*k - 7. Let h(a) = -2*r(a) + 5*v(a). Is h(-5) composite?
True
Suppose 4*a - 41 = 15. Is a composite?
True
Let t(p) = 12*p**2 + 5*p + 5. Is t(-2) composite?
False
Let w(x) = -x**3 + 3*x**2 - x + 1. Let v be w(2). Suppose -v*b + b = -38. Is b prime?
True
Suppose -2*t - 2*v + 376 = -5*v, -2*t - 5*v + 392 = 0. Is t a prime number?
True
Suppose 5*r = 0, 4*s - 3*r = -r - 20. Let n(f) = 6*f**2 + 7*f - 2. Is n(s) a prime number?
True
Let b(k) = 195*k + 2. Is b(7) a prime number?
True
Suppose 1272 = 9*u - u. Is u prime?
False
Suppose 0 = -0*o + 3*o - 3. Is (5/o)/((-9)/(-207)) prime?
False
Suppose 5*n - 4 = 3*n. Suppose s = 4*m - 137, 4*m - 4*s - 58 = n*m. Suppose 3*v - m = -b - v, -v = -4*b + 140. Is b composite?
True
Is (-2)/3 - 88/(-24) - -11236 composite?
False
Suppose 0 = 5*r + 5*t + 107 + 263, 5*r + 4*t = -367. Let q = r - -108. Is q a composite number?
False
Let g be 3/9 + (-16)/(-6). Let n(k) = -k**2 - 12*k - 2. Let s be n(-5). Suppose s - 108 = -g*a. Is a a prime number?
False
Suppose k = 5*q + 118, q = -0*k - 4*k + 430. Let m = k + 31. Is m composite?
False
Suppose 0*g - g = -2. Let t(j) = -41*j**2 - 9*j - 7. Let z(m) = 20*m**2 + 4*m + 3. Let q(y) = 2*t(y) + 5*z(y). Is q(g) a composite number?
True
Suppose 7 - 3 = z. Suppose 19 = z*a + 5*o, 4*a - 13 = -3*o + 8. Let b(k) = k**3 - 5*k**2 - k + 1. Is b(a) prime?
True
Let b = -113 + 172. Is b composite?
False
Let j(g) = 73*g - 8. Let a be j(-7). Let s = 777 + a. Suppose 2*c - 124 = -5*p, 5*c - s = c - 5*p. Is c composite?
False
Let h be 1*3*(1 - 0). Suppose h*p - 208 = -z, 5*z - 562 - 488 = -5*p. Is z composite?
False
Suppose 2*j + 4*k - 2751 = 5*k, -5*j + k = -6870. Is j a composite number?
False
Suppose -3*v - 4*l + 577 = 0, l - 8 = -l. Is v a prime number?
False
Suppose 0 = 3*p - 1311 - 1248. Is p prime?
True
Is (84/(-18) - -5)*1869/1 a composite number?
True
Let q = 102 + 157. Is q a prime number?
False
Let k = 21 - -102. Is k a prime number?
False
Suppose 3*c + 298 = c. Let p = 372 + c. Is p a composite number?
False
Let h = 22 - -559. Let b = -372 + h. Is b a composite number?
True
Let q(k) = k**3 + 1. Let d = 2 + -1. Let f be q(d). Is 162 - (-1 - -4 - f) composite?
True
Suppose -3*g + w = -7, -4 = 2*w - 2. Suppose 3*m - 65 = 2*l, -3*m + 107 = g*l + 22. Let c = 35 - m. Is c composite?
True
Suppose -5 + 41 = 2*o. Is ((-45)/o)/((-2)/116) composite?
True
Suppose 4*u = 10*u - 3810. Is u a composite number?
True
Let n(h) = -h**3 + 11*h**2 + 7*h - 6. Let l be n(12). Let w = -15 - l. Is w a composite number?
True
Suppose 0 = 7*b - 8*b + 11. Is b a prime number?
True
Let w(v) = 727*v + 1. Let d be w(1). Let t be d/21 + (-1)/(-3). Suppose -s = -f - 17 - t, 4*f - 163 = -3*s. Is s prime?
True
Let p(l) = 354*l**3 + l**2 + l - 1. Is p(1) a composite number?
True
Let t be 1 - -4 - (-2 + 5). Suppose 22 + 48 = t*k. Is k prime?
False
Suppose -2495 = 5*y + 1080. Let h = 1214 + y. Is h a composite number?
False
Suppose -3*t - 3*i = -i - 5895, -t - i = -1966. Is t prime?
False
Let i = 3 - -1. Suppose b - i*b + 90 = 0. Let p = b + 39. Is p a composite number?
True
Let f = 3 - 4. Let r(g) = -37*g**3. Is r(f) prime?
True
Let d be (-8)/12*6/(-1). Let g(k) = -d*k**2 - 3 - k**3 + 3 + 8*k - 5. Is g(-6) a prime number?
True
Is (-3 + 3761)/(-3 + 1 - -4) prime?
True
Let g(a) = 14*a - 3 - a + 12*a. Is g(4) a composite number?
False
Let w(q) = q**3 - 9*q**2 + 2*q - 9. Let v be w(7). Is ((-4)/(-6))/((-2)/v) composite?
False
Let a(q) = -5*q**3 - 2*q**2 + q - 2. Let u be a(-2). Suppose -u + 0 = -4*p. Suppose -p = -2*h + 71. Is h composite?
True
Let f be (-12)/(-10)*10/4. Let s be (4/(-3))/((-2)/f). Is (s/(-3))/(4/(-894)) prime?
True
Let r(i) = -2*i - 12. Let q be r(-8). Suppose 2*g - 128 = -q*l, 0*l + 2*l - 72 = 3*g. Is l composite?
True
Let k(l) = -l**3 - 2*l**2 - 3*l - 3. Is k(-2) prime?
True
Let w(o) = -3*o - 2. Let v be w(-3). Let g = v + -4. Suppose -4*f - 154 = -2*h + f, 2*h = g*f + 154. Is h prime?
False
Let g be 1*(2 - 11)*1. Let h = g + 60. Let a = h - 30. Is a a prime number?
False
Let i(k) = 3*k**2 + 9*k - 4. Let j(h) = 9*h**2 + 27*h - 11. Let p(d) = -8*i(d) + 3*j(d). Let l be (11/(-33))/((-2)/(-42)). Is p(l) composite?
False
Is (-58)/(-3)*(124/8 + 1) composite?
True
Suppose 3*z = 4*g + 16, 4*z - 5 + 1 = g. Suppose z = -2*y + 8, 0 = -a - y - 0*y + 83. Is a prime?
True
Let h be -1 + -4 - (-2 + 5). Is (-4)/2 - (h + -196) a composite number?
True
Let s be (-18)/81 - (-1919)/9. Suppose 2*y + y = s. Let r = y - -14. Is r a prime number?
False
Let h(a) = -a**3 - 11*a**2 - 10*a + 10. Let v be h(-13). Let z = -284 + v. Is z composite?
True
Suppose 24 = 5*b - 241. Is b prime?
True
Suppose 42 - 2 = -5*z. Let n(w) be the first derivative of w**4/4 + 10*w**3/3 - 5*w**2/2 - 7*w + 3. Is n(z) a composite number?
True
Let x = 681 - 296. Suppose 4*h + h - x = 0. Is h prime?
False
Let q = -5 + 6. Is (q - 0)*(78 - 1) prime?
False
Let f be -2 + (4 - (2 - 2)). Let v be (1 + 3)/(f/(-4)). Is (1 - 9)*6/v composite?
True
Let t(j) = 8*j - 5. Is t(9) composite?
False
Suppose -5*j = -3*m + 362, -1 = 3*j - 2*j. Is m composite?
True
Let a be -1 + 1*(-3)/(-1). Suppose 4*f - 2*t = 36, f + a*t + 1 = -0*f. Is (-2)/f - 400/(-28) a composite number?
True
Let d be ((-10)/(-4) - 3)*-454. Suppose -d = -z - t - 40, -4*t - 350 = -2*z. Is z a prime number?
False
Suppose 5*n + 3 = -3*o + 4, -4*o = -2*n + 16. Is 34 - (o - 0/1) composite?
False
Is (-2)/10 - 17384/(-20) prime?
False
Let a = 1349 - 715. Suppose 0*t = -3*t - 2*i + 1895, 0 = t + 3*i - a. Is t composite?
False
Suppose -2*n = 3*n - 295. Let y = 222 - n. Is y a prime number?
True
Let s(i) = -3 + 0 - i + 2 - 4 + 21*i**2. Is s(-4) a prime number?
False
Suppose -3*k - 221 = -2*l, 30 - 139 = -l + 2*k. Is l a composite number?
True
Let h = 3096 - 2203. Is h a prime number?
False
Let r be 2 - -758 - 5/5. Let a = -274 + r. Is a prime?
False
Suppose -41 + 1 = -5*w. Let x be -6*(-3 + w/6). Is (-5)/x*(0 - 94) composite?
False
Let l(w) = w**3 + 25*w**2 - 23*w + 20. Is l(-17) a prime number?
False
Is 6/(-9)*3738/(-4) a prime number?
False
Suppose -8 = -3*b - 2. Suppose k - 1 = 3*g - 181, 0 = -g - b*k + 53. Is g a prime number?
True
Is (422/5)/(6/15) a prime number?
True
Let x(b) = 42*b - 10. Let z be x(-9). Let o = -197 - z. Is o a prime number?
True
Let g(x) = x - 3. Let b be g(8). Suppose 2*m - 3*a - 511 = 0, -2*m + 503 = -b*a - 10. Is m a prime number?
False
Let s = -7 + 10. Let w(b) = -b**2 + 5*b - 2. Let d be w(s). Suppose -7*o + l + 335 = -3*o, 0 = d*o + 4*l - 360. Is o a composite