28*h + 7. Is u(g) a composite number?
True
Let w(b) = 4*b**2 + 27*b - 23. Is w(10) composite?
False
Suppose b + 6 = 3*b. Is 1/(-2*b/(-534)) composite?
False
Let h = 62 + 25. Is h prime?
False
Let a(l) = 42*l**3 + 2*l**2 + 3*l - 3. Is a(2) a prime number?
True
Let x be (-65)/(-25) + (-6)/10. Suppose -458 = -x*z - 148. Is z prime?
False
Suppose 4*t + 0*i = -5*i - 5, -3*t + 2*i = -2. Suppose -2*d = -2, -5*x + 5*d + 419 + 861 = t. Is x a composite number?
False
Let a(u) = -149*u. Let n be a(-5). Suppose 4*v - n = -v. Is v a prime number?
True
Suppose 5*g = -5*d - 75, -2*d - 48 = -2*g - 2*g. Let s be (12/(-18))/(2/d). Suppose 0 = -z + s + 32. Is z prime?
False
Suppose 4*b + 52 = -2*s, -2*b - 3*s = b + 39. Let l = -9 - b. Suppose 2*a = l*t - 204, 5*t + 0*a + 2*a = 273. Is t a composite number?
False
Let c = -23 + 45. Is c a composite number?
True
Let x(y) = 8*y - 3. Let k(g) = g**2 - 2*g**2 - 6*g - 2 - 2*g. Let h be k(-7). Is x(h) a prime number?
True
Suppose 5*a + 15 = -5*m, m + m + 13 = 5*a. Let c be (a + 0)*(-15)/(-3). Suppose 0 = -c*w - 20 + 90. Is w a composite number?
True
Let n = 79 + 110. Suppose n = m + 3*r, 4*r - 587 = -2*m - m. Is m prime?
False
Suppose 2 = 5*x + 4*n, 8*x - 4*n - 16 = 4*x. Suppose x*p + 3*p = 1375. Suppose 5*t - p = -0*t. Is t prime?
False
Let g(y) = y**3 - 7*y**2 - 6*y - 2. Suppose -3*s = -s + 4. Let v be (-8)/(s - (2 + -3)). Is g(v) composite?
True
Is 998/4 + 2/(-4) composite?
True
Suppose 4*c - 1789 = 2959. Is c composite?
False
Let h(a) = -7*a**3 - 6*a**2 + 2*a + 6. Is h(-7) a composite number?
False
Suppose 4*q - 5*w = -3*w + 1608, 5*q - 2004 = w. Let a = q - 239. Is a composite?
True
Suppose -t + n + 129 = -515, 4*t - 2582 = 2*n. Is t composite?
False
Let n = 2398 - 1664. Is n a prime number?
False
Suppose 5*a = a - 16. Let t be a/(-18) - 75/(-27). Suppose -p = 3, t*m - 3*p - 60 = -2*p. Is m a prime number?
True
Suppose o + 673 = 3*b, 2*o + 1135 = 5*b - 3*o. Is b a prime number?
True
Let t(s) = 34 - s + 13*s**2 + 1 - 14*s**2. Let p be t(0). Let g = p - -4. Is g a composite number?
True
Is (14 - 16)*(-1 - 675/2) prime?
True
Let r = 31 + 36. Is r a composite number?
False
Suppose -5*v - 6 = 3*h + h, -h - 10 = -3*v. Let i = v + -1. Is i/(-2 - (-45)/21) a prime number?
True
Suppose q - 8 = -q. Suppose -w = -q*x + 1005, 4*x = -5*w + 267 + 732. Is x prime?
True
Let k(p) = 6*p**3 - 2*p + 1. Let o be k(-2). Let d = 74 + o. Is d a composite number?
False
Let y = -2 + -2. Let q(w) = w**3 + 6*w**2 + 6*w + 4. Let g be q(y). Is 1*(-33)/g*-20 composite?
True
Let y be (105/6)/(1/6). Suppose 5*m - 2*d = y, m + 3*d = 7*d + 21. Suppose 157 = 5*r - 2*t, r - 3*t = -0 + m. Is r a composite number?
True
Suppose -x - 110 = 4*x. Let r = x + 131. Is r composite?
False
Let y(h) = 6*h**2 + h + 2. Let d be y(-3). Let k = d + -31. Is k prime?
False
Suppose 2*l - 2 = 2. Let o(x) = -x - x - 4 + 5*x**l - 3*x - 7*x**2 - 2*x**3. Is o(-3) a composite number?
False
Suppose -3 - 1 = -5*c - 2*g, c - 17 = 5*g. Suppose -c*l = t + 3*l - 59, 10 = 5*l. Is t prime?
False
Suppose 7*l - 3323 - 1122 = 0. Is l a prime number?
False
Suppose 70 = -5*j - 4*m, 3*j + 42 = 6*m - 4*m. Suppose 3*k - 231 = -30. Let h = j + k. Is h composite?
False
Let w(t) = -t**3 - 6*t**2 - 6*t - 1. Let u(m) = m**3 + 5*m**2 - 5*m + 1. Let q be u(-6). Let c be w(q). Suppose -f = c*f - 455. Is f a prime number?
False
Let n = -24 + 66. Suppose -4 + n = a. Let d = -23 + a. Is d a composite number?
True
Let h = 10 - 10. Is h/(-1 + 5) - -185 a composite number?
True
Suppose -6 = i - 2. Let d be i/6 - (-40)/15. Suppose x = -2*g + 40, g - 30 = -0*g + d*x. Is g prime?
False
Let k = -184 + 972. Suppose 497 = 5*o - k. Is o prime?
True
Let q(j) = j**2 - 3. Let o be q(-5). Suppose -3*t - o = -4*m, 6 = m - 2*t - 2. Suppose 0 = 2*i - 4*w - 0*w - 234, 8 = m*w. Is i prime?
False
Let y be 4/14 - (-495)/7. Suppose y = 3*r - 22. Is r prime?
True
Let x be (1757/(-14))/(1/(-10)). Suppose 0*f = -5*f + x. Is f a prime number?
True
Suppose -5*m + 3740 = 8*q - 3*q, -5*q - 3019 = -4*m. Is m a prime number?
True
Let f = 18 - 16. Suppose 7*n = f*n + 745. Is n prime?
True
Let d(g) = -82*g + 1. Let z(v) = -410*v + 6. Let k(c) = -11*d(c) + 2*z(c). Is k(4) a prime number?
False
Let t(l) be the third derivative of 29*l**7/5040 - l**6/360 + l**5/60 - 2*l**2. Let w(k) be the third derivative of t(k). Is w(5) prime?
False
Suppose -2*k - k + 525 = 0. Suppose 2*c - 174 = -4*d, -5*c + k = -3*c + 3*d. Is c a prime number?
True
Suppose 391 = g - 4*v, -4*g + 2*g + v + 789 = 0. Let f(u) = -u**3 - 13*u**2 - 12*u. Let a be f(-12). Suppose a = -4*t - t + g. Is t a prime number?
True
Suppose -592 - 233 = -3*r. Suppose -5*l = 3*v - 250, 5*l + v = 3*v + r. Is l composite?
False
Let b be (-2 + 2)/(-2)*-1. Suppose -g + 159 = -b*g. Is g a composite number?
True
Let z(x) = 45*x**2 - x + 1. Is z(2) a composite number?
False
Suppose 9 = -3*d + 3*n, 2*d - 3*d + 2*n = 8. Is (538/(-8))/(d/(-8)) a prime number?
True
Suppose 11*n - 138 = 8*n. Is n a prime number?
False
Is 1 + (359 - (4 - 3)) a composite number?
False
Let j = -212 + 557. Suppose 4*t + 3*r = j, -r - 288 = -2*t - 113. Is t prime?
False
Let m(x) = x**3 - 5*x - 1. Let v be m(5). Suppose -5*z - 5*b + 3*b = 20, 3*b = -z + 9. Is v/z*6/(-9) composite?
False
Suppose -4*x = b - 20, -5*x + 7 + 8 = 0. Suppose b*o - 187 = 7*o. Is o composite?
True
Let v(t) = -t**3 + 4*t**2 - t - 4. Let r be v(3). Suppose -a + r*i = -30, 3*a + i = 20 + 35. Let q = a - -13. Is q composite?
True
Let v = 169 - -425. Suppose c = -0*c + v. Is (-4)/(-8) + c/4 a prime number?
True
Let q = 106 + -35. Let s = -50 - -53. Suppose -3*z - r + q = 4*r, -5*z + 113 = s*r. Is z a prime number?
False
Let g = -4 + 9. Suppose -4*k = k - 210. Let m = k - g. Is m a composite number?
False
Let o(q) = q**3 + 11*q**2 + 11*q + 7. Is o(-8) a composite number?
True
Suppose 4*o - 356 = -4*z - 0*o, -o - 178 = -2*z. Is z a prime number?
True
Suppose 0 = -10*q + 17*q - 16331. Is q a prime number?
True
Let y be (-7)/(-21) + 1/(-3). Suppose -2*r - 3*r + 95 = y. Is r prime?
True
Let i = 26 + -30. Is 19*((-20)/(-4) + i) a composite number?
False
Let p = 1685 + -1186. Is p composite?
False
Let z = 25202 + -39198. Is z/(-52) + (-4)/26 prime?
True
Let b be 112 - ((-1)/(-1))/1. Is (6/(-9))/((-2)/b) prime?
True
Let w be 3*2*3/9. Suppose x - w*i - 45 = -17, 5*x + 3*i - 127 = 0. Is x a prime number?
False
Let z(l) = 3*l**3 - 8*l**2 + 8*l - 6. Suppose 0 = -4*r + 21 - 1. Is z(r) composite?
True
Let p(c) = 3*c - 1. Let l be p(2). Suppose t - 8 = -4*b - 18, 2*t - l = -3*b. Suppose t = 4*d - 30. Is d composite?
True
Let s(x) = 7 + 2*x + 4*x**2 - 3 + 0. Is s(-3) prime?
False
Let z = -415 + 282. Let c = 23 - 31. Is (z/(-4))/((-2)/c) a composite number?
True
Suppose -896 = -5*k + 159. Is k a composite number?
False
Let t(j) = 5 - 2 - 2 - 92*j. Let m be t(-1). Suppose -s - 2*r + m = 0, 2*s - 83 - 101 = -3*r. Is s composite?
False
Let w = -13 + 9. Is (658/(-7))/(w/2) composite?
False
Suppose 200 = -2*i + 7*i. Suppose 2*n - 54 - i = 0. Is n a composite number?
False
Let a(l) = l**3 + 16*l**2 - 3*l + 7. Is a(-16) composite?
True
Suppose -3*h + 61 = -2*c, -3*c + h - 63 = 6*h. Let j be (-6)/(-9) - c/6. Suppose -j*s = -2*f + 108, 4*f = 2*s - 6*s + 244. Is f a composite number?
False
Let c(t) be the second derivative of t**5/10 - 2*t**4/3 + t**3/3 - t**2 + t. Let h be c(6). Is h/6 - 2/3 a composite number?
True
Let d = 10 + -18. Is (-77 + -1)/(d/4) prime?
False
Suppose 2*v - 2*s = -5*s + 7022, -3*v - 5*s = -10533. Is v prime?
True
Suppose -a + 141 = -92. Is a a composite number?
False
Suppose 4*s + f + 1 - 20 = 0, s = 2*f + 16. Let y(l) be the first derivative of l**4/4 - 5*l**3/3 + l**2 + l - 1. Is y(s) a composite number?
True
Suppose 0 = 3*n + 4*l - 305, -n + 6*n = -5*l + 500. Is n composite?
True
Let c(m) = m + 11. Let l be c(-7). Suppose l*t = 3*t + 143. Is t composite?
True
Let f(n) = -n**3 + 7*n**2 + 5. Let o be f(7). Suppose 2*p = o*x + 211 + 315, 2*p = x + 510. Is p composite?
True
Let a be 4/(-6)*75/5. Let x be (12/(-2))/((-4)/a). Let u = x + 25. Is u prime?
False
Suppose 0*x - x - 2 = 0, -2*z = 5*x + 24. Let j(a) = -2*a**2 - 9*a - 6. Let y be j(z). Let k = y - -75. Is k a prime number?
False
Suppose 2*y - 26 = y. Suppose l + y = 2*l. Suppose -9 = -5*t + 