07 = -5*r + a. Is r composite?
True
Suppose 0*t = 2*t - 54. Let k = -25 + t. Suppose -k*d = -6*d + 444. Is d a composite number?
True
Suppose -1100 = -3*r + 3397. Is r composite?
False
Suppose -4*q - 5*a = -3377 - 2283, q - 1404 = -4*a. Suppose -27*f + 23*f = -q. Is f prime?
False
Let d be (-2)/10 + (-41960)/(-50). Let i = -546 + d. Is i composite?
False
Suppose -5*s + 5 + 135 = 0. Suppose 0 = -2*a + s + 218. Suppose -k - 231 = -3*x, -108 = -3*x - 4*k + a. Is x prime?
False
Let x be (-4496)/(-8) - (1 + 1). Suppose c - 50 - 63 = 0. Let a = x - c. Is a a composite number?
True
Is 4*3/(-28) - (-395888)/56 composite?
False
Let k(b) = -b**3 + b**2 + 4*b + 4. Let h be k(-2). Is (-2)/(h/(-4692)) + 4 a prime number?
False
Suppose j + 12*j = 3*j. Suppose -b + 8*b - 1337 = j. Is b composite?
False
Let i(p) = 9*p + 17. Let d(l) = -1. Suppose -10 = 2*f, -5 = 2*m + 4*f + 3. Let w(a) = m*d(a) + i(a). Is w(6) a prime number?
False
Let g(d) = d**3 - 4*d**2 - 7*d - 2. Let u be g(5). Let f be 9/(-18)*u/(-2). Is (1*f)/((-3)/521) composite?
False
Let k be (-1 - -1)/(-11 + 9) + 1860. Suppose 4*g - 7413 = 2*o + o, -g = -3*o - k. Is g prime?
False
Suppose 5*g - 1762 = 158. Suppose g = -0*k + 2*k. Let b = k - 109. Is b a composite number?
False
Let l(h) = 920*h**2 - h - 7. Is l(6) prime?
True
Is 0 + ((-29204098)/(-210) - 2/15) a composite number?
False
Let f = 12661 - -18. Is f a prime number?
False
Let g(q) = q**2 - q + 7. Let a be g(0). Let n = -52 + 60. Suppose 0 = -2*w + n, -2*x + 334 = -a*w + 2*w. Is x prime?
False
Let n(m) = -58*m**2 - 2*m. Let f be n(-1). Is ((-1983)/2)/(42/f) a prime number?
False
Suppose -18557 = -5*f - 3412. Let h = f - 1912. Is h composite?
False
Is 6 - ((-9461 - 0) + -2) composite?
True
Let y(k) = 9*k**2 + 41*k - 7. Is y(15) prime?
True
Suppose -3*z = j - 9, z - 3*j = -0*z + 3. Suppose -5*i = a - 5173, 5*a - z*i = -4*i + 25769. Is a a prime number?
True
Is 13/(-39)*(-211230)/10 a composite number?
True
Suppose -97 = 2*g + 699. Suppose -m + 1214 = 2*k, 0 = -k - 9*m + 7*m + 601. Let o = k + g. Is o a prime number?
True
Let s be (-9*1)/((-18)/1140). Suppose 4*q = -q + s. Let t = -23 + q. Is t prime?
False
Let v = -59373 - -100744. Is v prime?
False
Suppose -23202 = -y - 5*k, -5*k + 69616 = -4*y + 7*y. Is y prime?
False
Let k(s) = -4492*s - 73. Is k(-6) a prime number?
True
Suppose 5*t + 5*r + 85 = -0*t, 4*t = 4*r - 28. Let g be -6*((-28)/t - 3). Suppose -345 = -g*h - h. Is h prime?
False
Suppose 3*y - 28 = -4*y. Suppose -4*r + 10 = b + y*b, 2*r + 8 = 4*b. Suppose -5524 = -4*m - 2*i, b*m - 2*i - 6887 = -3*m. Is m composite?
True
Suppose 0 = 3*v - 4*m + 4, 5*v + m - 1 = -0*m. Suppose v = -4*a + 2*a + 4*q + 20530, -2*a + 20533 = -q. Is a composite?
False
Let m(l) = -l**3 - l**2 + 89. Suppose 0 = -4*q - 4, 0 = -2*w + 6*w + q + 1. Is m(w) composite?
False
Suppose -464*z - 18007 = -475*z. Is z composite?
False
Let i be ((-36)/(-15))/(4/930*3). Let k = 983 - i. Is k prime?
True
Let c = 619 + -157. Suppose -6*i + 3*i + 1326 = 3*s, -3*s - c = -i. Is i prime?
False
Suppose 0 = -3*q + 5*r + 2844, -1862 - 1006 = -3*q - 3*r. Is q a prime number?
True
Suppose 2*q - 33 = 5*w, -q - 4*q + 4*w + 91 = 0. Let x = 26 + q. Suppose -j - x = -4*j. Is j a prime number?
False
Suppose 5*f = -4*w + 15, 2*w + 6 = 2*f - 0*f. Suppose w*s + s - 365 = 0. Is s composite?
True
Suppose -5*k + 18218 + 39487 = 0. Is k composite?
True
Suppose 0*u + 36 = 4*u. Let a be ((-24)/u)/((-4)/204). Suppose -c = 3*h - 192, 3*h - h - 2*c - a = 0. Is h composite?
True
Let s = -54 - 200. Let j = 547 + s. Is j a composite number?
False
Let o(t) = 134*t - 34. Let q be o(27). Suppose -5*m + q = -491. Is m a prime number?
False
Suppose -20*c + 25*c - 2515 = 0. Is c a composite number?
False
Is 5/(-3) - 1506780/(-270) a prime number?
False
Let y be 0 + -1 + (1 - 5)/(-1). Suppose -y*i = -14*i + 979. Is i a composite number?
False
Let n(u) = 1125*u. Let t be n(1). Let b = 1558 - 2352. Let o = t + b. Is o a prime number?
True
Is 3816 - (-35)/14*2 a composite number?
False
Let o(w) = -9*w**3 + w**2 - 18*w - 79. Is o(-8) a composite number?
True
Suppose 0 = 3*g + 13 + 2. Let t be 2/g - 27486/(-15). Is (-1)/(-2) - t/(-16) a composite number?
True
Let z = -8827 + 67146. Is z prime?
False
Let p be -2 + (-3)/(342/340 + -1). Let a = -153 - p. Is a prime?
True
Suppose 5*i + 2 - 17 = 0. Suppose -i*q - 119 = -2*w + 3*w, 2*q - 114 = w. Let m = 327 + w. Is m a composite number?
False
Is 1069/((-2)/21 - (-184)/168) composite?
False
Let t(k) = -2*k**2 + 758. Let s = 28 + -28. Is t(s) composite?
True
Let x(m) = 1. Let n(q) = -q**2 + 4*q. Let u(f) = n(f) + 3*x(f). Let p be u(4). Suppose b = -4*j - 0*b + 896, -4*j - p*b + 904 = 0. Is j a composite number?
False
Suppose 23484 = -15*u + 27*u. Is u prime?
False
Let g(o) be the first derivative of 5*o**3 + 1/4*o**4 - 13 + 7/2*o**2 - 16*o. Is g(-11) prime?
False
Let s = 28 + -26. Suppose 4*o - 5*j - 27 = 3*o, s*o - 70 = 2*j. Let r = o + -15. Is r prime?
False
Let j be 2*(-2)/(-2)*2. Suppose f = -3*v + 1, -3*f = 3*v - j*f - 11. Is ((3 - v)*-586)/(-2) a composite number?
False
Suppose 0 = -2*d - 0*d + 4*u + 4392, 5*u + 2181 = d. Is d a composite number?
True
Let l(t) = -137*t + 4. Suppose 3*v - 2*a = 2*a - 21, -5*v - 24 = -3*a. Is l(v) composite?
True
Let w(p) = 3874*p**2 - 6*p + 1. Is w(-1) a prime number?
True
Let x = 52674 - 27661. Is x prime?
True
Let k(c) = c**3 + 46*c**2 - 48*c + 5. Is k(-22) composite?
True
Suppose 2*c - 5*f - 49 = -12, -2*f + 20 = 5*c. Suppose 288 = -c*b + 48. Let z = -5 - b. Is z a composite number?
True
Let v = 16 - 12. Suppose 3*w - v = 5*w. Is 109/3 - w/3 composite?
False
Suppose 7*l = 31935 - 8464. Is l a prime number?
False
Suppose -4*p = -d - 2*d, 3*p + d - 13 = 0. Suppose p*t - 6 = t. Suppose 3*c - 270 = -t*w, 36 = c - 4*w - 59. Is c a prime number?
False
Let h(c) = -c**3 - 5*c**2 - 4*c. Let l be h(-4). Suppose -4*m - 2*d + 954 = l, 4*d - 952 = -3*m - m. Is m a prime number?
True
Suppose -5*z = -5*t - 35, -t - 2 = 2*z - 1. Suppose 4*x - 820 = z*m, 0 = 5*x - 2*m + 6*m - 1025. Is x a prime number?
False
Let v = 11 - 14. Is 1057 + (v - (-1)/1) a composite number?
True
Let s be (12/(-20) + 1)*-5. Let w be (-7)/s*44/77. Suppose -717 = -m - w*m. Is m a prime number?
True
Suppose 0*a + a = 4*h + 17, 5*a = 2*h + 31. Let p(i) be the third derivative of 5*i**4/6 - i**3/2 - 22*i**2. Is p(a) prime?
True
Is 3456 + -1*(-4 + -1 - -8) a composite number?
True
Let j = 46 + -45. Is j*(3 - 2) - (23 - 243) a composite number?
True
Let c(v) = v**2 + 2*v + 1. Let x be c(6). Let z = x - -208. Is z a prime number?
True
Suppose -66909 - 1106527 = -44*a. Is a prime?
True
Let s(u) = -207*u + 1. Let c = -44 - -41. Is s(c) a prime number?
False
Let m(h) = -h**3 - 6*h**2 - 16*h + 1. Let q = 8 - 20. Is m(q) a prime number?
False
Let y(v) = -950*v + 7. Let z be y(14). Is (-1)/(-6)*-2*z/3 composite?
True
Let k = 5633 + -3970. Is k a composite number?
False
Let k be (-29)/(-5) - 5/(-25). Is -1*((-6312)/9 - (-2)/k) prime?
True
Is 9412 - ((-7 - -16) + -10) composite?
False
Let v(y) = -210*y**3 + 4*y**2 + y + 4. Is v(-3) a prime number?
False
Suppose 0 = 5*y + 4*i - 32, -y + 29 = 4*y + 3*i. Let t be (-6)/y*8/(-6). Suppose 44 = 3*j + t. Is j a composite number?
True
Let w = 168190 + -111759. Is w prime?
True
Suppose 2*g = -2*u + 2, 4*u + g - 6 = -g. Suppose -2*x = 4*p + 22, 2*p + u*p - 5*x = -1. Is (-82)/p + (-21)/14 a prime number?
True
Suppose 0 = -3*x - 5*p + 16, 2*p - p = x. Suppose -6 = -x*o + 5*o. Is (2 - o)*958/8 prime?
True
Let r be 9*(1 + 4/6). Suppose 2*z + 3*z + r = 0. Is 4 + -3*73/z a composite number?
True
Suppose -4*r - 16*r + 147860 = 0. Is r composite?
False
Let s(o) = o + 11. Let n be s(-9). Suppose n*x + p + 23 = 0, 3*x - 5*p = -10*p - 52. Is (18/x)/(4/(-102)) a prime number?
False
Let i = -48467 + 69274. Is i prime?
True
Let n(j) = 1743*j + 19. Is n(2) prime?
False
Let o(d) = -2*d**2 + 10*d - 1. Let c = 11 - 2. Let x be o(c). Let l = x - -104. Is l composite?
False
Let w(g) = g - 19. Let r be w(0). Let i = r + 113. Is i prime?
False
Suppose 0 = d - 4*n - 324 - 2705, 3*n + 3031 = d. Is d a composite number?
False
Let o = -60964 - -122651. Is o composite?
False
Suppose 0 = -m - 0*m + 3. Suppose -5*h - 1 = -3*n - 3*h, 0 = n + m*h - 4. Is (n/3)/(2/36) prime?
F