 y a prime number?
True
Suppose 82 = -10*i + 292. Let f be 1/3 - (-20)/(-6). Is (2954/i)/((-2)/f) prime?
True
Suppose 44 + 72 = 4*w. Suppose -q - w = m - 205, 0 = m + 4*q - 170. Suppose -5*g = -4*r - 349, 4*g = -r + 97 + m. Is g a prime number?
False
Suppose -2*u + 30790 = -5*t, -10*u = -15*u - t + 76975. Is u prime?
False
Let y = 50 - 45. Suppose -10737 = y*d - 14*d. Is d a composite number?
False
Suppose -48044 = -p + 5*c, -p - 2*c + 25244 + 22807 = 0. Is p composite?
False
Let x(d) = 2*d**3 - 14*d**2 + 13*d + 4. Is x(13) composite?
True
Suppose 2*q - 2 = 4*l, -4*q = 4*l + l - 4. Suppose 2*a - q - 205 = 0. Is a prime?
True
Let m(c) = 6*c**2 + c - 2. Let g be m(-3). Let b be (g/14)/((-2)/(-28)). Let l = 228 - b. Is l a prime number?
True
Let n = 503 - 224. Suppose -a + n = -274. Is a a composite number?
True
Suppose 8*d - 3*d = v + 26, -5*d = 5*v - 20. Suppose -5*s + 742 = 2*h + 2*h, d*s - h - 727 = 0. Is s prime?
False
Suppose -3*m + 53759 = 2*y - 18491, 2*y - 2*m = 72270. Is y a composite number?
False
Let b(l) = 2*l**2 - 4*l - 11. Suppose -3*s - s + 6 = 3*v, -2*v = 3*s - 4. Suppose -v*a - 1 = -31. Is b(a) composite?
False
Suppose 12*z + 773 + 943 = 0. Let d = 78 - z. Is d a prime number?
False
Suppose v - 2*k = 3*v - 2302, 2*v - 2302 = -k. Suppose 2*p - p - v = 0. Is p composite?
False
Let c = 28303 + -20156. Is c prime?
True
Suppose 8 = -5*h - 7. Let w = 6 + h. Suppose w*m = -0*m + 633. Is m a composite number?
False
Let s(j) = 92*j**3 - j**2 + 24*j + 24. Is s(7) prime?
True
Suppose 12 = 2*u + u. Let q = -5 + 7. Suppose -3*b = -12, -q*w + 9*b = u*b - 338. Is w prime?
True
Let k = -13556 - -19593. Is k a composite number?
False
Let u be (-270)/20*(-8)/6. Is -1*4/u - (-13198)/18 a prime number?
True
Let f = 9 + -11. Let n(d) = -2*d**3 - 2*d**2 + d - 1. Let k be n(f). Suppose -2308 - 117 = -k*s - 2*l, 4*l = 2*s - 970. Is s a composite number?
True
Suppose 4*z - q + 12 - 62 = 0, 0 = -z + 2*q + 16. Suppose 5*j = -15, -z = -3*b - 0*j + 5*j. Is (9 - b)*(-35)/(-10) composite?
True
Suppose 3*u - 12*a - 200530 = -7*a, 0 = 4*u - 5*a - 267365. Is u a prime number?
False
Let h be (-6)/((1*-3)/(-1 - -3)). Suppose -a + 530 = h*a. Is a a prime number?
False
Let t = 65318 + -29899. Is t a prime number?
True
Let z(r) = 4*r - 30. Let t be z(20). Suppose a - 3*y = 3*a + 47, y = -3*a - 74. Let f = t + a. Is f prime?
False
Suppose 0 = 3*a - 2*g - 23, a - 36 = -3*a + 4*g. Suppose -l = -a*l + 384. Suppose l = 2*z - 226. Is z a composite number?
True
Let y = 3 + -2. Let s(g) = -g. Let o(j) = 34*j**2 - 8*j - 4. Let m(z) = y*o(z) - 3*s(z). Is m(-3) a prime number?
True
Suppose -1707 = -14*x - 6159. Let v = -159 - x. Is v a composite number?
True
Let g(d) = -d**2 + 23*d + 28. Let s be g(24). Suppose -5*q - 5*c + 2105 = -0*q, q = s*c + 411. Is q a composite number?
False
Is ((-88)/(-28))/11 - (-32994)/14 composite?
False
Let b(d) = 75*d**2 + 3*d - 5. Let a(m) = -m + 1. Let t(i) = 6*a(i) + b(i). Is t(3) composite?
True
Let t(m) = m**2 + 8*m - 5. Let y be t(-7). Let c be y/(-30) + 3326/10. Suppose -5*z + 0*x + 455 = 4*x, -c = -4*z + 3*x. Is z a prime number?
False
Let z be ((-16)/(-12))/(4/(-162)). Let t be (10 + z)*10/(-8). Suppose 24 = m - t. Is m prime?
True
Let i(d) = d**3 - d**2 + 531. Suppose 0 = -3*x - 5*t + 20, -2*x + 5*t = 9 + 11. Let h be i(x). Is h/6*(-4 + 6) composite?
True
Let h = -275 - -174. Let c = h + 192. Is c a prime number?
False
Suppose f = 5*i + 5*f - 32361, -2*i + 12918 = -5*f. Is i prime?
True
Suppose 5*o - 81551 = 3*h, -o + 16*h + 16299 = 21*h. Is o prime?
False
Suppose -4*t + 43392 = -j, 4*j + 40672 + 13579 = 5*t. Is t a composite number?
False
Let f(a) = -10*a**3 - 5*a**2 - 3*a + 6. Let c(u) = u**2 + u - 1. Let w(p) = -5*c(p) - f(p). Let q(m) = m + 1. Let x be q(2). Is w(x) a prime number?
True
Suppose -5*n = -9 - 41. Let b be (-16)/(-20)*n/4. Is 603*((-8)/b)/(-12) a composite number?
True
Let i be (0/(-5) - -5) + -8. Is 7036 - 7/((-7)/i) composite?
True
Suppose 0 = 5*s - 12267 - 3768. Suppose 5*y + 2*z = -s, -2*z = -0*z - 8. Let j = y + 1180. Is j a composite number?
True
Let z = 716 + -121. Let a = 1468 + z. Is a composite?
False
Let a(q) = -1 + 10*q**2 + 0 + 0. Suppose -5 = 11*v - 12*v, v + 15 = -5*s. Is a(s) a prime number?
False
Suppose 2*t + 3*i = -33, 0*t - 2*i + 74 = -4*t. Let j = 32 + t. Is (-77)/j*(-26)/1 prime?
False
Let s(a) = a**3 - 3*a**2 + 2*a - 4. Let v be s(4). Suppose 4 = -2*g - 4*z, -3*g + 9 = -z - v. Suppose 5 + g = w. Is w a composite number?
False
Let u = -4 - -2. Is (72 - 1) + 2 + u a composite number?
False
Let d(y) = 166*y - 7. Let q be d(3). Is 6/24 - q/(-4) a composite number?
True
Suppose -41*c + 57*c = 5744. Is c prime?
True
Let x = -3 - -5. Suppose 6*a - x*a = 520. Let h = a - 83. Is h composite?
False
Suppose 3*r + 99 + 93 = 0. Let v be (-9418)/6*(2 - -1). Is v/(-4) + 16/r a prime number?
False
Let p(h) = 7*h**2 + 2*h - 11. Is p(4) prime?
True
Let o(g) = -7*g + 2. Let k be -3 - 2/(4/(-4)). Let r be o(k). Let t(d) = 7*d**2 + 12*d + 2. Is t(r) a composite number?
False
Let y be (64/4)/(-4) - -8. Suppose y*n + 2 + 18 = 0. Let i(m) = -42*m + 1. Is i(n) a composite number?
False
Let k = 1718 + -799. Is k composite?
False
Let n = 25 - 23. Let q(b) = n*b - 22 - b - 5*b. Is q(-12) prime?
False
Let k be (-52224)/(-22) + 6 + (-192)/33. Suppose 2*n - 500 = k. Is n a composite number?
True
Let a = -1571 + 2438. Suppose 3*m = -0*m + a. Is m prime?
False
Let d = -368 - -640. Suppose v = -285 - 26. Let w = d - v. Is w prime?
False
Let j(b) = -4263*b - 43. Is j(-10) a prime number?
False
Let y(c) = 290*c**3 - 5*c**2 - 7*c - 4. Let r be y(-2). Let p = -1323 - r. Is p a composite number?
True
Let v(k) be the first derivative of -k**4/4 - 5*k**3/3 - 3*k**2 - 5*k + 4. Let y be v(-5). Is 3/5 + 910/y a prime number?
True
Let t(q) = -5*q**3 - 3*q**2 - 2*q - 1. Let x be t(-1). Suppose 0 = x*o - 2551 - 7982. Is o prime?
True
Let m = -24 + -152. Suppose -91 = -3*n + 818. Let b = n + m. Is b a composite number?
False
Suppose -2*m - 48 = 3*w, m + 3*w + 27 = 6. Let l = m + -26. Is l/1*(-9)/3 composite?
True
Suppose 4*k - 5*y + 10 = 0, -5*y + 13 = -k + 3. Suppose -5*m + 21 = -0*h - 2*h, -2*h - 4*m + 24 = k. Suppose 0 = s - l - 151, 4*l - 272 = h*s - 4*s. Is s prime?
False
Let n(u) = 2*u**3 + 17*u**2 + 2*u - 33. Let s be n(-13). Suppose 2*g - 25 = -3*p, -2*g + 45 = 4*p + 3*g. Is p/(-2)*s/25 composite?
True
Is (1599/26)/((-6)/(-1228)) a composite number?
True
Suppose -d + 11 = 2*g - 0*d, 5*g = -d + 20. Let r be (-9)/g - -2*16. Let o = r + 342. Is o composite?
True
Suppose 4*w = -4*l + 38576, -2*w - 4*l + 4009 + 15271 = 0. Suppose w = 5*f + z - 3004, -4*f + 10121 = z. Is f prime?
True
Suppose -1152 = 4*y - 0*c + 4*c, y = -3*c - 298. Is 19/38 - (1 + y/2) composite?
True
Let z(s) = -s**3 + 4*s**2 + 4*s + 5. Let c be z(5). Suppose c = -l + 2*l - 249. Let m = l + -64. Is m a prime number?
False
Let y be 4*1*(-12)/24. Is (-1168)/(-3) - y/(-6) composite?
False
Let y = 2 + 12. Suppose -y*f = -10*f - 2052. Is 4/8 + f/2 composite?
False
Suppose f + 7*f = 32. Suppose -2302 = -f*c - 194. Is c a composite number?
True
Let g be 2/(16/(-6))*-564. Suppose 5*d = 847 + g. Is d a composite number?
True
Is ((-1082)/4)/(120/(-240)) composite?
False
Suppose -26*o + 160275 = -192103. Is o a prime number?
True
Let v = -7 - -19. Suppose 5*i - v = 433. Suppose 2*n - s - i = 0, 6*n - 5*s - 187 = 2*n. Is n a composite number?
False
Let x be 1*7*6172/4. Suppose -x = -13*z + 6*z. Is z prime?
True
Let v(m) = -5 + 5 - 137*m + 6 + 127*m. Is v(-10) a prime number?
False
Suppose -2*d - 548 = 4*f, -d - 305 = -f - 19. Let a = -137 - d. Is a a composite number?
True
Let z = 1155 + -290. Is z composite?
True
Suppose -2*h + 3*s - 980 = 0, s = 2 - 0. Let k be ((768/32)/((-2)/1))/2. Is k*h*3/18 composite?
False
Suppose -3*z = -5*z + 2*v, 3*v = 5*z - 4. Let k(l) be the second derivative of 23*l**5/10 + l**4/12 + l**2/2 - 4*l. Is k(z) prime?
True
Let a be 3 + -3 + 8/2. Let o be 1/2 + (-7770)/(-12). Suppose -3*q = a*z - 151 - o, -5*q = -3*z + 592. Is z composite?
False
Is 3/6 + 2188/8 prime?
False
Suppose -3*l = -3*g - 14052, 2*l - 3*g - 3923 = 5450. Is l a composite number?
False
Let k be (-2 - -4)*(-10)/(-4). Suppose -4 = k*s + 6. Is (-133)/(s - (-1 + 0)) a composite number?
True
