)/t + 18/5. Suppose -5*j = -n - 442, -n = -l*j + 120 + 144. Is j prime?
True
Let u(l) = -13*l - 49. Is u(-20) a composite number?
False
Suppose 3*b - 13 + 1 = 0. Let g(n) = 4*n**2 + 5*n - 2. Let f be g(3). Suppose b*w = 5*v + f, -3*v - v - 37 = -3*w. Is w a composite number?
False
Suppose t + t - 2310 = -4*g, 1726 = 3*g - 5*t. Is g composite?
False
Is 1065 - 16/((-20)/5) composite?
False
Suppose 1018 = 4*g - 2*g. Let r = g + -210. Is r composite?
True
Let u(i) = 2*i + 12. Let c be u(-6). Suppose -o - 2*o + 603 = c. Is o a prime number?
False
Suppose -2*w + w = 21. Let q = 2 - -1. Is 0/(q + 0) - w composite?
True
Let p(h) = -140*h - 1. Suppose 5*u - 4 = 2*o + o, -5*o = -2*u + 13. Is p(u) a prime number?
True
Suppose 0 = -3*w + 2*w + 1799. Is w composite?
True
Suppose 2*o = 6*o - 16. Is o/(-10) - 547/(-5) prime?
True
Suppose -3 = 4*i + 1. Let k = i + 3. Let t(x) = 4*x**3 + 2*x**2 - x - 1. Is t(k) composite?
False
Suppose 547 = 4*x + 3*i, 2*x - x = 3*i + 148. Is x a prime number?
True
Let k(z) = -z + 9. Let o be k(9). Suppose 3*d - 12 - 219 = o. Is d composite?
True
Let z = -189 - -410. Is z a composite number?
True
Let f be ((-20)/8 + 3)*12. Let h(z) = -z**2 + 5*z - 2. Let b be h(5). Is 22 - (-1 + b + f) composite?
False
Is -1082*(-5)/4*(-4)/(-10) composite?
False
Suppose -x + 185 = -a, 2*x - x + 4*a - 175 = 0. Let y = x + 8. Is y a composite number?
False
Suppose -o + 78 = -5*j, 33 = 2*o + 2*j - 123. Let r = -47 + o. Is r a composite number?
False
Suppose 0 = -4*b + 5*b. Let t be (-1 - -2) + b/4. Suppose -15 + t = -2*o. Is o a prime number?
True
Let i(r) = 8*r**3 - 12*r**2 - 8*r - 5. Is i(6) a composite number?
True
Let j = 12 - 15. Let w(x) be the third derivative of -19*x**4/24 + x**3/6 - x**2. Is w(j) prime?
False
Suppose 5*j + 433 = -2*k, -3*k - 866 + 179 = -5*j. Is (-7)/21 + k/(-6) composite?
False
Suppose 4*a - 30 = 2*a. Let y be (2 - 1)/(-1) + 5. Is y/10 - (-99)/a a composite number?
False
Suppose -2*a + 2*x + 1698 = -3176, -2*x = -3*a + 7311. Is a a composite number?
False
Let h = 1777 + -906. Is h composite?
True
Let l = -133 + 91. Let r = l + 97. Is r composite?
True
Let v = 21 + 70. Is v composite?
True
Let a(v) = 28*v**2 + 14*v + 11. Let j(f) = 9*f**2 + 5*f + 4. Suppose -4*g + 2*i = 26, -g + 2*g + 2 = 2*i. Let o(m) = g*j(m) + 3*a(m). Is o(-1) composite?
False
Suppose 3*a = -u + 7, -2*u - 4*a + 10 = -u. Let n = u - -8. Suppose 2*x = -5*o + 65, -n*x + 3*x = o. Is o composite?
True
Suppose 4*i - 407 = -j, 0*j + 5*i = -4*j + 1661. Is j prime?
True
Suppose -3*g = 2*g - 15. Suppose 44 = -g*w - 34. Let q = w + 59. Is q a composite number?
True
Suppose 2*q + 2*q = 412. Is (1 - q)*(-8)/16 prime?
False
Let f = -170 + 93. Is (-2)/11 - 96957/f prime?
True
Let o(i) be the first derivative of -i**4/4 - 7*i**3/3 - i**2 + 9*i - 1. Is o(-8) a composite number?
False
Let v = 140 + -65. Suppose 0 = 4*n - v - 9. Is n a prime number?
False
Let n(h) = -5*h**2 + 2*h + 1. Let f be n(2). Suppose -3*m - 3*z = -27, 3*m + 4 = z + 15. Is 716/m - (-3)/f composite?
True
Suppose 0*g = 2*g - 638. Is g prime?
False
Let o(b) = -2*b**2 + 1. Let k be o(2). Let t(d) be the second derivative of -d**5/20 - 5*d**4/12 + 3*d**3/2 - 5*d**2 - d. Is t(k) prime?
False
Let n be 0/11 - (-91 + 0). Suppose z + 24 - n = 0. Is z composite?
False
Suppose 4*i = -0*g - 4*g + 1300, 2*g - 1619 = -5*i. Is i a prime number?
False
Suppose -24 = 4*c - 5*z, 2*c + 10 = -z - 2. Let g(h) = -5*h - 4. Is g(c) a prime number?
False
Let a be (18/15)/(4/(-20)). Suppose 0 = -5*p + 25, s + 4*p = 2*p + 14. Is (-74)/3*a/s prime?
True
Suppose 4*v - 5 = 3. Suppose 4*l + 0*l - v*h - 996 = 0, l + 3*h - 235 = 0. Is l a composite number?
True
Suppose 0 = -s - 2*t - 12 + 67, 4*t + 175 = 3*s. Is s prime?
False
Let d = 9 + -28. Suppose 3*s - s - 100 = 0. Let q = d + s. Is q a prime number?
True
Suppose 3*f - 13 - 23 = 0. Suppose -3*u + 7*u - 31 = -3*t, 2*u + f = 4*t. Suppose -t*x - 195 = -580. Is x a prime number?
False
Let x(k) be the first derivative of k**2/2 + 4*k + 1. Let l be x(7). Is 4/22 + 207/l prime?
True
Suppose 4*n - 87 = 49. Is n prime?
False
Suppose 0*v - 13 = -5*v - m, -v = -m + 1. Suppose g = v*g. Suppose g*u - 50 = -2*u. Is u a prime number?
False
Suppose 5*o = 5, 2*o - 6 = u - 38. Suppose -3*l + u = -3*z + 7, -4*l = -2*z - 44. Is l composite?
False
Let f = -1680 + 4183. Is f a prime number?
True
Is (-2147)/(-15) - 4/30 prime?
False
Suppose -p - 2 = -4*h + 6*h, 4*h + 3*p = -2. Let j be (-2 - -32)/((-2)/h). Let s = 133 + j. Is s a prime number?
True
Let m(q) = 164*q - 1. Suppose 5 = 5*z, z + 3*z = a + 3. Is m(a) composite?
False
Suppose 5*y - 3*y - 2 = 0. Let s be ((-30)/(-1))/((-1)/y). Is (-978)/s - 2/(-5) a composite number?
True
Let l be 2 + (66*2)/3. Let r = 81 + l. Is r a composite number?
False
Suppose 977 = 5*p + 2*d - 6*d, 0 = -2*d - 6. Suppose 74 = 3*r - p. Is r prime?
True
Let v(z) = -14*z**2 + z - 2. Let i be v(1). Let y = 32 - -20. Let b = i + y. Is b a prime number?
True
Let t(c) = 26*c - 6. Suppose 0*z + 4 = -2*z - 4*s, -5*s - 20 = 0. Let x be t(z). Let f = x - 37. Is f composite?
False
Let g(c) = 6*c**2 - 6*c - 1. Let o(w) = 6*w - 8. Let b be o(6). Suppose 5*k = -2*n - b, 5*n + 15 = k - 1. Is g(n) a composite number?
True
Let a = 8 + -5. Suppose 0 = 6*i - 9*i + 120. Suppose -w = 3*y - 4*w - 90, a*w = y - i. Is y a composite number?
True
Let c(m) = 2*m**2 + 5*m + 5. Let n be c(-2). Suppose -g + 95 = 3*g + n*o, 2*g + 3*o - 49 = 0. Is g composite?
False
Let t = -39 + 385. Is t a prime number?
False
Let q = -8 + 11. Suppose -293 = -q*o + 376. Is o composite?
False
Let j(t) = 2*t**2 + 7*t - 7. Let v = -2 + 2. Suppose v = i + 9 - 3. Is j(i) composite?
False
Suppose -3*j = -8*j + 395. Is j prime?
True
Suppose 95 = -5*h + 5*t, 2*h + 41 = 5*t + 15. Let y = h + 60. Is y prime?
True
Suppose -8*j + 2*j + 2958 = 0. Is j prime?
False
Let y = 16 + -9. Let t = y + -8. Is -399*(t/(-1))/(-3) prime?
False
Suppose 1860 = 5*l - 4*l - n, 3*l - 5579 = 4*n. Is l composite?
False
Let l(t) = -14*t + 13*t - t**2 + 124*t**3 + 1 + 0*t**2. Let g(n) = n**3 + 4*n**2 + 2*n - 2. Let j be g(-3). Is l(j) prime?
False
Let l = -7 + 0. Let t(r) = -13*r - 2. Is t(l) prime?
True
Let w(y) = -2*y**3 + y + 1. Let l be w(-1). Suppose 205 = l*b + 4*x + x, 276 = 3*b - 3*x. Is b a prime number?
False
Let y(r) = 112*r**2 - 3*r + 12. Is y(3) prime?
False
Suppose 3*u - 902 = -5*p, 4*u = 2*p + 6*u - 364. Is p a prime number?
False
Suppose 0 = -4*j + 8, -2*j = -3*a - 2*a - 14. Let w = 3 - a. Suppose -w*n = -n - 232. Is n a composite number?
True
Is ((-56)/16 - -4)*(-8198)/(-1) prime?
True
Let x(f) = -f**2 + 7*f + 1. Let b be x(8). Let j be b/(14/(-88)) - 1. Suppose 4*w - j = 3*p, -7*p = -2*p - 15. Is w composite?
False
Let p = 11 - 6. Suppose -5*b - 1960 = -5*u, 0 = -3*u - p*b + 573 + 643. Is u a prime number?
True
Suppose v + 2*x - 1 - 4 = 0, 3*v - 26 = 5*x. Suppose 66 = -v*j + 9*j. Is j prime?
False
Let b be (-33)/(-15) - (-3)/(-15). Let r(q) = 0*q**2 - 223*q**3 + q**2 - 2 + 3 + b*q. Is r(-1) prime?
True
Suppose -3*z + 21 - 192 = 0. Is (24/(-18))/(2/z) composite?
True
Suppose -4*a = -7*a + 417. Is a a prime number?
True
Suppose 0*z + 12 = 3*z. Suppose 0 = 3*u - z - 8. Suppose -231 = -7*v + u*v. Is v prime?
False
Let m = -440 - -1413. Is m a prime number?
False
Is (-297 + -1)/(2/(-1)) prime?
True
Let l(j) = 2*j**2 - 9*j - 5. Is l(-6) composite?
True
Let b(m) = -51*m**3 - 2*m + 1. Is b(-2) prime?
False
Let y = -118 + 527. Is y prime?
True
Let z = 137 - -98. Is z a prime number?
False
Let l(x) = -8*x - 1. Let h(v) = -v**2 - 6*v. Let n be h(-5). Suppose -5*z = n*w + 5, 6*w = 4*w - 4*z - 2. Is l(w) prime?
True
Let i(z) = z + 436. Let d be i(0). Suppose -4*r + d = 4*t, -4*r + 4*t + 468 = -0*r. Is r a prime number?
True
Suppose -3*l + 393 = -2*l. Is l composite?
True
Let f = 10 - 7. Suppose 0 = f*g + 40 - 142. Is g prime?
False
Suppose 4*u + 3 = -1. Let p be u/3 + (-388)/(-12). Let t = p - -3. Is t a composite number?
True
Suppose 3*x + 6 = -5*a, 10*a - 4 = 5*a + 2*x. Suppose -4*c - 25 = -3*d - 0*c, 4*c + 16 = a. Suppose h - d*j = 2*j + 78, -174 = -2*h + 4*j. Is h a prime number?
False
Suppose 3*y = -456 + 1209. Is y a composite number?
False
Let t be -1*(-3 + (-3 - -1)). Suppose -35 = -t*z - 5*u, 0*z - u + 16 = 4*z. Suppose -8*y = -z*y