
True
Suppose 2*u + 2 = 6, t - 2*u + 8 = 0. Let c = -19 - t. Let p(g) = g**2 + 14*g - 11. Is p(c) composite?
True
Suppose 0 = -2*j + 3*r, 5*r = -8*j + 3*j + 25. Suppose -9 - 6 = -2*m + 5*x, 2*m + j*x - 39 = 0. Suppose -5*t + 984 = 5*k - 46, -3*t = m. Is k a prime number?
True
Suppose -j + 115 = -73. Let g = 1375 - j. Is g prime?
True
Suppose -107*v - 10 = -102*v. Let g(i) = 41*i**2 - 2*i + 1. Is g(v) a composite number?
True
Let b(j) = 3*j**3 - 7*j**2 + 65*j - 71. Is b(14) a composite number?
False
Let m be 2/18*4443*3. Let h = 2518 - m. Is h a composite number?
True
Let j(k) = 9*k**3 + 3*k + 6. Let m be j(-4). Suppose 45*u - 57*u - 1356 = 0. Let x = u - m. Is x a prime number?
False
Is (-3478)/(-4) - (3 + (-30)/12) prime?
False
Let x = 574 + -93. Is x a prime number?
False
Let v(s) be the second derivative of s**3/6 + 329*s**2/2 - 4*s. Is v(0) prime?
False
Is 46966 + (-7 - (8 - 6)) prime?
True
Let t = 81 + -45. Let x be 6/(-10) - t/(-10). Suppose 2*p + 3451 = x*k, -2*p - p + 1154 = k. Is k a prime number?
True
Suppose -4*j + 36 = 2*v, 2*j - v = -3*v + 20. Is (6 - j)*2461/(-2) composite?
True
Is -5*(-5)/25*(-2 + 5325) a composite number?
False
Let d be 8/(-6) + (-13)/((-273)/35350). Suppose 0 = i + 4, 5*l - 191 = -3*i + d. Is l a prime number?
False
Let o(c) = -42*c**2 + 4*c + 12. Let w be o(-6). Let s = w - -2461. Is s a prime number?
True
Let a = 25 - 21. Suppose v - 6901 = -5*r, v = a - 8. Is r prime?
True
Let m = -1564 - -1080. Let p = 460 - 311. Let a = p - m. Is a a prime number?
False
Let y(l) = l**3 + 21*l**2 + 18*l - 35. Let v be y(-20). Suppose 2*o - 2*p - 323 = o, 3*o - v*p = 969. Is o a composite number?
True
Let c = -42652 - -150061. Is c a composite number?
True
Suppose -137366 = -63*y + 104113. Is y a composite number?
False
Suppose 10*v + 131 = 11*v. Is v a composite number?
False
Let v be -9 + 9 - 1396/(-2). Suppose 5*t - 3*m = 1732, -t + 4*m = -3*t + v. Is t prime?
True
Let u be 1*2 + 49 + (0 - -2). Suppose 4*z - 3*z = u. Is z a composite number?
False
Let u = -7498 + 15007. Is u prime?
False
Let v be ((-12)/(-2) + -4)/1. Let t be 6/v + -5 + 5. Suppose 0 = t*b - 8*b + 95. Is b a composite number?
False
Suppose 4*z - 8*z = 3*y - 29, 2*y - 11 = -z. Suppose y*r - 4*r - 289 = -5*d, 0 = -4*d - 16. Let f = r - -856. Is f composite?
False
Let x be (1 + (2 - 5))/(8/(-20)). Suppose 0 = -x*z, -a + z + 4111 = -3*z. Is a a composite number?
False
Let m(r) = r**2 - 9*r + 15. Let n be m(7). Is (345/6 - n)*2 a composite number?
False
Let f = -2645 - -4122. Suppose -5*t + 0*q + 2485 = 2*q, -3*t - 4*q = -f. Is t composite?
False
Suppose -4*j - 248 = -2824. Suppose 3*x + 5*l = j, -9*x + 3*l = -6*x - 636. Is x a prime number?
False
Let b(x) = 163*x + 45*x + 10 + 9. Is b(4) a composite number?
True
Let h be ((-124)/10 + 2)*5. Is -2 - (-1 - h/(-1)) composite?
True
Suppose -3*n + 6 = -0. Is 1/n + (-1911)/(-6) prime?
False
Let v = 17 - 15. Is -10*v*(-295)/20 prime?
False
Is ((-33)/9 - -4)*(-15813)/(-3) prime?
False
Let d = 4 - 1. Suppose 5*u + 3*m = 45, -3*m + 7 = -u - 2. Suppose d = z - u. Is z a prime number?
False
Suppose -4*w + 4*i = -8608, -30*w - 4305 = -32*w + i. Is w composite?
False
Suppose 2*q = -4*v + 3*q + 6, 2*v = -4*q - 6. Let t(u) = -4*u**3 - u**2 + 4*u - 1. Let p(a) = a**3 - a**2 - 1. Let w(f) = v*t(f) + 3*p(f). Is w(-7) prime?
False
Let s(a) = 77*a**3 + a**2 - 2*a + 1. Let h = 22 + -19. Let d = 4 - h. Is s(d) composite?
True
Suppose 0 = -40*a + 42*a - 88594. Is a a composite number?
True
Suppose -2*n = -8, -3*w - 2*w = -n - 1651. Let i = 256 + w. Is i a prime number?
True
Let y = -12 + 24. Let r(s) = -s. Let b(m) = -20*m + 11. Let z(t) = -b(t) - 2*r(t). Is z(y) a prime number?
False
Is (-1 - -1 - -10033)/(20 - 19) a composite number?
True
Let p(s) = 5*s**2 - 6*s + 5. Let y be 3 - ((-9)/(-1))/(-3). Is p(y) a prime number?
True
Let a(p) = 16*p**3 - 4*p**2 - 4*p - 4. Let f be a(5). Suppose 1575 = 7*i - f. Is i a prime number?
False
Let u(f) = -171*f**3 + 3*f**2 - 2*f + 6. Let w(r) = -170*r**3 + 4*r**2 - 3*r + 7. Let k(h) = -6*u(h) + 5*w(h). Is k(2) a composite number?
False
Suppose 6*r - 10 = 2. Suppose 11081 = 9*o - r*o. Is o prime?
True
Let f(q) = 484*q**2 - 10*q + 27. Is f(5) a prime number?
False
Let w(n) = 20*n**3 + 2*n - 1. Let p(h) = -h**2 - 5*h + 8. Let t be p(-6). Let k be w(t). Suppose 19 = -4*u - 2*f + 243, f = 3*u - k. Is u a composite number?
True
Let k be (-5)/((-60)/8) + (-20)/(-6). Let n(u) = 75*u - 9. Is n(k) composite?
True
Suppose -313*n = -331*n + 87498. Is n composite?
False
Suppose -2*l = -3*l + 7. Suppose -l*o + 9*o = 290. Is o a prime number?
False
Let b(h) be the second derivative of 1/6*h**3 - 3/4*h**4 + 0 + 1/20*h**5 - 7*h - 2*h**2. Is b(13) a composite number?
True
Let h(q) = -5*q - 11. Let j be h(-5). Is j/49 - (-1354)/14 a prime number?
True
Let p be 2/(-4 - -2)*-5. Suppose 4*q - 4 = -3*t, 0 = -p*t + 3*q + 35 + 20. Suppose -t*m + 3*m + 1445 = 0. Is m a prime number?
False
Let l = -1162 - -9627. Is l a composite number?
True
Suppose -2*k + 5608 = -2*o, -5*o = 4*k - 6252 - 5009. Is k a prime number?
False
Let x(z) = 2*z**3 - 5*z**2 + 5*z + 9. Let p(w) = 5*w**3 - 10*w**2 + 11*w + 18. Let y(j) = 3*p(j) - 5*x(j). Let l be y(-8). Is (-12)/42 - l/7 composite?
False
Is (-19 - -11 - -12)*(-2399)/(-2) prime?
False
Suppose 72 = -2*w + 182. Suppose -5*n + 360 = -95. Suppose p = -4*o + w, 205 = 5*p - o - n. Is p a composite number?
False
Let u(x) = 6*x - 2. Let d be (9/(-5))/(24/(-80)). Let s be u(d). Is 1 - (-2 + 2 - s) prime?
False
Let v = 64 - 65. Is v/(-2) - (-9945)/34 composite?
False
Let i = 175 - -3118. Is i composite?
True
Let s = -11986 - -18749. Suppose -s = -6*x + 947. Is x prime?
False
Let i = 7 - -341. Suppose 3*q = -q + i. Suppose -3*v - s + q = s, -6 = 2*s. Is v a composite number?
False
Suppose -31318 = -164*l + 157*l. Is l composite?
True
Let g(i) = 58*i + 11. Let n(c) = c + 1. Let j(u) = g(u) - 5*n(u). Let o = -10 - -17. Is j(o) composite?
True
Suppose c + 9125 = -4*u, 5*u + 11422 = -2*c + 6*c. Let j = u + 3325. Is j prime?
False
Suppose 4*r - 6*r = -6. Suppose 4 = -2*u + 4*b - 4, -2*u - r*b + 6 = 0. Suppose 26*m - 23*m - 30 = u. Is m prime?
False
Let g(v) = 20*v**2 + 1. Let z(o) be the first derivative of -o**2/2 + 5. Let s be z(1). Is g(s) a composite number?
True
Suppose -2*v = 3*v + 2*d, 0 = -4*v - 2*d. Suppose 6*s - 3603 - 1515 = v. Is s a composite number?
False
Suppose 3*a + 3*y - 21719 = -5828, -3*a - y + 15883 = 0. Is a composite?
True
Let a(x) = x + 1. Let r(f) = 60*f + 51. Let k(b) = -306*a(b) + 6*r(b). Let g be k(-1). Let i = g + 267. Is i a composite number?
True
Suppose -11730 = -5*l - 5*f, -4*l - 9*f = -4*f - 9388. Is l prime?
False
Suppose 5*x + 3*l - 5 = -2*l, -4*l - 8 = -2*x. Suppose 0*g = x*g - 894. Is g prime?
False
Let k(y) = -35*y**2 - y. Suppose 3*q + 2 = q. Let l be k(q). Is 6012/51 - 4/l a composite number?
True
Let n(c) = -2*c**3 + 2*c**2 + 5*c + 5. Let v be (0 + -1)/((-7)/(-14)). Is n(v) a composite number?
False
Let z = -11 - -1. Is ((-370)/(-4))/((-5)/z) prime?
False
Suppose 2*x - 3*j = -x + 53883, 5*x - j - 89789 = 0. Is x a composite number?
False
Is 1529925/85 + ((-98)/(-119))/(-7) prime?
False
Suppose -2*a + l = -676, -4*a = -7*a - 4*l + 1014. Let f = a - 147. Is f a prime number?
True
Let p(c) = 30*c**3 + 3*c**2 + 4. Let s(f) = f - 13. Let a be s(10). Let m be p(a). Is m/(-3) - (-10)/(-15) composite?
True
Let d be 5 + 0 + -2 + (-6 - -5). Suppose h - 281 = -7*j + d*j, 5*h = -5*j + 1445. Is h a prime number?
False
Suppose 0 = -7*b + 6 + 8. Let u be 0/(0 + (-2)/b). Suppose u = q + q - 170. Is q composite?
True
Suppose 13 = 5*a - 442. Is a composite?
True
Suppose -14*r + 10765 = -9*r. Is r composite?
False
Is 10*9/(-72) - 32145/(-4) a composite number?
True
Let n(j) = 4*j**2 - 4*j + 5. Let y be n(-4). Suppose 85 = c + i, -4*c + i + y = -3*c. Is c composite?
True
Let u = 63 + 188. Suppose -4*n - 12 = 0, 2*n - 84 = q + 46. Let o = u + q. Is o prime?
False
Suppose -2049 = -11*j + 1372. Is j a composite number?
False
Suppose -2*t + 0*k - 5 = k, -5*k = 2*t + 25. Suppose -4*n + 3*n - 1 = t. Is 3 + -86*n/2 a prime number?
False
Let j(z) = 20*z**3 - z**2 - z + 1. Let i(u) be the third derivative of -u**6/120 + u**4/8 + u**3/2 + 9*u**2. Let f be i(2). Is j(f) prime?
True
Let