rime number?
True
Let o(x) = -x**2 - x - 7. Let s(k) = k + 1. Let m(u) = -o(u) - 4*s(u). Suppose -12*d + 11*d = 3. Is m(d) composite?
True
Suppose 4*x - 12 = 2*b - 6*b, 9 = -b + 3*x. Suppose -3*l + b*l + 669 = 0. Is l a prime number?
True
Let d be 2/3 - (-4)/3. Let o(h) = 0 - 4885*h + 1 + 5014*h. Is o(d) prime?
False
Let d = 127 - 125. Suppose -4*o - 5*r = -2*o - 392, -d*r - 569 = -3*o. Is o prime?
True
Is (19/(1890/(-474) + 4))/1 a prime number?
False
Suppose -10 - 18 = -4*w. Let n = 13 - w. Suppose 4*h + 3*d - 577 = 448, -2*d = -n. Is h a prime number?
False
Suppose 0 = -5*m - 5 - 25. Let y be (-2)/m + (-260)/(-3). Suppose p - 104 = y. Is p composite?
False
Let y(w) = -2*w**2 + 42*w - 12. Let g be y(20). Suppose 0 = -i - 4*i + 10. Is -2 + i + g/4 composite?
False
Let j = 24 + -16. Suppose -5*t - 13 + j = 0. Is 0 - t - 5550/(-15) a prime number?
False
Suppose -52*r = -5*j - 49*r + 22120, 0 = -j + 5*r + 4446. Is j a composite number?
False
Is (2527/(-2) + 3)*-4 prime?
False
Let c be -1 - -3 - 2/1. Suppose -16 = -v + 4*l, c*l - 13 = -4*v - l. Suppose 0 = v*h - u - 861, u + 3 = -2. Is h a prime number?
False
Suppose 51636 = 10*a - 128714. Is a a composite number?
True
Let p(o) = -713*o + 13. Let x(g) = 714*g - 13. Let v(k) = -5*p(k) - 6*x(k). Is v(-6) prime?
True
Let y(k) = k + 8. Let l be y(-7). Let c(p) = 25*p**3 + p**2 - p + 1. Let f be c(l). Let h = -13 + f. Is h a composite number?
False
Let c be (6 + -8)*1/2. Let g = c + -8. Is 9363/27 + (-2)/g a prime number?
True
Suppose 0 = -10*u + 24*u - 86030. Is u composite?
True
Suppose -2*m + 0*m + 8 = 0. Suppose -5*p = 2*q + 2*q - 41, -m*q + 36 = 4*p. Suppose 2*c = -p*d - 2*c + 177, -2*c + 138 = 4*d. Is d a composite number?
True
Suppose 2*u - 10 = 0, 0 = -5*j - 4*u - 0*u + 30. Suppose 0 = j*a + 3*c - 248, 2*a - 5*a = 4*c - 373. Is a prime?
True
Let x(z) = z + 10. Let d be x(7). Suppose 0 = -4*k + d - 5. Is k/2 - (-2994)/12 a prime number?
True
Suppose -4*m - 5 = -m + 4*y, -2*y = 5*m - 1. Let j(l) = -6 + 1 - 5 + 16*l - m. Is j(5) prime?
False
Suppose -2*j = -4*g + 18, 7*g - 2*g = 5*j + 25. Is (-4)/(-8)*j*-410 - 2 prime?
False
Let o be 6/(-5)*(-9)/((-108)/(-40)). Suppose -5*k + o*j + 123 = -260, -2*j = -3*k + 231. Is k a composite number?
False
Suppose -y = -2 + 5, 5*c + 2*y = 4. Suppose c*w - 3587 = -0*w - 3*d, -4*w = d - 7199. Is w a prime number?
True
Suppose s - 3*h - 2195 = 0, 0*h + 3*h + 11011 = 5*s. Suppose -d + 5*d = s. Is d a prime number?
False
Let j = 102 + -48. Suppose -364 = 399*g - 403*g. Let h = g - j. Is h a composite number?
False
Suppose 27 = -3*p + 264. Let m = p + 502. Is m a composite number?
True
Let n = -21 - -36. Is n/5 - 174/(-1) a composite number?
True
Let v(b) = -5*b**3 - 2*b**2 - b - 3. Suppose -4*c - 8 + 0 = 0. Is v(c) a composite number?
False
Suppose 5*z - 2370 - 3885 = 0. Is 2 + 0 + z/3 composite?
False
Suppose u - 5*k = -14, -2*k + 13 = -2*u - 7*k. Is (-4911)/u - -2*(-2)/6 composite?
True
Suppose -4*h = 4*w - 53016, -5*h = w - 6*w - 66320. Is h prime?
True
Let b be ((-9)/6)/((-6)/(-1976)). Let d = b - -243. Let q = 462 + d. Is q prime?
True
Suppose -23*i - 362769 = -56*i. Is i a prime number?
True
Suppose 0 = 3*d + 4*w - 68 - 104, -50 = -d - 5*w. Suppose 0 = -2*p - 3*p - 60. Is (-10)/d + (-2330)/p a composite number?
True
Let j = 2 + 4. Suppose l + j = -4*n + 3*l, 4*l - 12 = -5*n. Suppose 3*x + x + 5*t - 807 = 0, 5*x - 4*t - 1019 = n. Is x a prime number?
False
Let s(p) = -539*p + 23. Is s(-4) prime?
True
Let p = 174 + -354. Let s = -47 - p. Is s prime?
False
Suppose -6*r = -r - 1505. Suppose -3*c + r - 45 = -2*a, -4*c = -5*a - 626. Let v = a + 213. Is v a composite number?
True
Suppose 3*g = -5*x + 29, -g - 2*x + 10 = -0*g. Let b be g/3 + 2/6. Suppose d - b*d = -574. Is d prime?
False
Let b = -17 - -19. Is (-877)/(-3) - b/(-3) composite?
False
Let s = 14170 - 7271. Is s a prime number?
True
Let d = -16 - -26. Suppose 2*t = -4*o + o + 10, t + 4*o - d = 0. Is ((-134)/4)/(t/(-4)) prime?
True
Let v = -1725 - -2984. Is v prime?
True
Suppose -529*r = -520*r - 747135. Is r a composite number?
True
Let d = -24 + 158. Let a = d - 81. Is a composite?
False
Suppose 3*n - 9 = -3*k, -4*n - 5*k + 19 - 8 = 0. Suppose -n*a - 15 = -0*o - 3*o, -4*a - 25 = -5*o. Is -4 + a + (1 - -296) composite?
False
Suppose -u + 2*f = 12, -5*u + 6 = -3*f + 38. Is 185/5 + 2 + u a composite number?
True
Is 7909 - (-2 + 4 + (-3 - -3)) prime?
True
Let g(f) = 1036*f - 61. Is g(18) a prime number?
True
Suppose -4*k + 1072 = -2*u, 0*k - 818 = -3*k - 2*u. Let z = -179 + k. Is z a prime number?
False
Let r = -78 + -580. Let x = -1125 - r. Is x/(20/(-5) + 3) prime?
True
Let a(v) = -1828*v + 171. Is a(-35) a prime number?
True
Suppose 1360 + 1000 = 4*z. Suppose -15 = -5*f, -2*s + 0*s = -4*f - z. Is s prime?
False
Let i(u) = u**3 + 7*u**2 + 6*u - 4. Let m be i(-6). Let l(f) = -257*f + 6. Let s be l(m). Is 2/14 + s/14 a prime number?
False
Let z be 6924/(-16) + 2 + 15/(-12). Let v = z + 725. Is v a prime number?
True
Suppose 5*k - 41 + 136 = 0. Let w = k + 25. Let j = w + 15. Is j a prime number?
False
Suppose -4 - 11 = -5*x. Suppose -3*z = -x*i - 18, 7 = z - 3*i - 5. Is 1070 - (z - (2 + 0)) prime?
True
Let b(c) = c - 4. Let q(s) = 1. Let d(n) = -b(n) - 3*q(n). Let r be d(7). Is 356/r*(-3)/2 prime?
True
Let z = 7 + -8. Let w be (-4 + -1)/(z/73). Suppose -4*p = 4*c - 290 - 38, -5*c + w = -4*p. Is c a prime number?
False
Let z = 202 - -1146. Suppose -9*n + z = -5*n. Is n a composite number?
False
Let i(q) = -803*q + 1. Let j(w) = -401*w. Let y(a) = -2*i(a) + 5*j(a). Is y(-1) a prime number?
True
Suppose d = 5*d - 4044. Let a = -694 + d. Is a composite?
False
Let w be (10/4)/(5/10). Suppose w*r - 11 = -0*r - 2*l, 3*r - 7 = -l. Suppose 0 = -2*v + r + 5. Is v a prime number?
False
Suppose -2*p - 8 = 0, -9 = q + 4*p + 8. Is (q + 3 + -1)*10 a composite number?
True
Let b be 1/1*(4 + -9). Let w be b/15 - 17/3. Is (1 + w)*(-627)/55 a composite number?
True
Let s = 2118 - -468. Let d = -829 + s. Is d prime?
False
Let n(b) = 90*b**2 - 14*b + 29. Let a(u) = 30*u**2 - 5*u + 10. Let r(w) = -8*a(w) + 3*n(w). Is r(-5) prime?
False
Suppose 0*w - 2*w - 1 = -g, -g = -5*w + 8. Suppose 11*b - 172 = g*b. Let z = b + -20. Is z a composite number?
False
Suppose 27*s - 2 = 25*s. Is s + (-8)/2 + 1784 a composite number?
True
Let q(t) = -22*t + 31. Let l be q(-19). Suppose l = 3*h - 472. Is h a composite number?
False
Suppose 22 = 5*b + 4*t, -3*b + 0*b + 2*t = 0. Suppose -b*c = 3*i + 200, 5*c + 4*i + 400 = c. Let w = c + 183. Is w a prime number?
True
Let a(i) = -i + 123. Let t be (4 + 8/(-2))/(-3). Suppose 2*x + t = 8, 3*r - 2*x = -8. Is a(r) composite?
True
Let f(l) = 3*l + 28. Let p be f(-9). Let k(o) = 232*o**3 - o + 2. Is k(p) composite?
False
Let q(g) = 92*g**2 + 6*g + 3. Suppose 5*n - 20 = 0, 5*l = -n - n + 33. Is q(l) prime?
True
Let d(o) = 8*o - 48. Let w be d(14). Let t be (-2)/4 + 7/2. Is (-1 - w)*t/(-3) composite?
True
Let m be (-3 - 1) + (10 - -610). Let g = 1485 + m. Is g a composite number?
True
Let o(b) = b**3 + 7*b**2 + 5*b - 6. Let c be o(-6). Suppose -4*n + 1 = 21, 3*p - n - 20 = c. Suppose -3*s + s - p*g + 741 = 0, g = 4*s - 1493. Is s prime?
True
Suppose -x + 6*x + 221 = t, -808 = -4*t + x. Suppose -4*n = -3*w + 475, -9*n + 13*n - 2*w + 474 = 0. Let o = t + n. Is o a prime number?
True
Let n be (1/(-2))/(-6 + (-535)/(-90)). Suppose -n*c + 1905 = -6*c. Is c a composite number?
True
Suppose -2*c = -c - 134. Let s = -77 + 80. Suppose -3*o = -m - 101, 4*o = -2*m + s*m + c. Is o a composite number?
True
Let y(b) = -b**3 - 6*b**2 - 6*b - 6. Let f be y(-4). Let q be f - (-1 + (4 - 3)). Is (-2 + 0)/(4/q) composite?
False
Suppose 0 = 3*q, -5211 = -2*y + 2*q + 16579. Is y a composite number?
True
Let i(m) = 2*m**2 - 34*m - 23. Let z(w) = -5*w + 8. Let s be z(6). Is i(s) composite?
False
Suppose 5*f - 52440 = -4*r, 3*r - 5*f - 65505 = -2*r. Is r a composite number?
True
Let k = -459 + 1261. Suppose -4*q + 2*b + k = 0, -b = -3*q + 2*b + 597. Is q prime?
False
Let j be 2*((-279)/6)/3. Let t = -42 - -150. Let n = t - j. Is n a composite number?
False
Suppose u - 2*q = 20210, -40396 = -2*u - 5*q + 3*q. Suppose 0*a - u = -7*a. Suppose -3*f + 731 - a = -5*o, -5*o = -4*f - 2155. Is o composite?
False
Suppose 2*f - 2 = -2*y, 2*y 