(-4)/10 a prime number?
False
Suppose 4*c - 4366 = 2*c. Is c composite?
True
Suppose 3*y = -8*s + 7*s + 319, 0 = s - 4*y - 291. Is s a composite number?
False
Suppose 2*g - 5709 = 423. Let q = g - -305. Is q prime?
True
Let w = -71 + 64. Let y(n) = -2*n**3 + n**2 - 10*n - 3. Is y(w) a composite number?
True
Let q = 708 + 1056. Let d be q/(-6)*(-1)/3. Suppose -4*s + 61 = 3*v, 0*s - d = -4*v + 3*s. Is v prime?
True
Let b(r) = -r - 1. Let i be b(7). Let p be i/4*(-26)/(-4). Let o = 34 + p. Is o composite?
True
Is (5842/(-4))/((-17)/34) composite?
True
Suppose 5*m - 21 = -2*i + 4*i, m - 3 = i. Let s(w) = -2*w**3 + 2 - 3*w**2 + 5 - i*w**2 - 8*w - 5*w**2. Is s(-7) a composite number?
True
Let z(w) = -w**3 + 7*w**2 - 5*w + 5. Let k be z(6). Suppose -k*q - 5245 = -16*q. Is q a composite number?
False
Let q(v) = -2*v - 10. Let b be q(-8). Let n = -3 - b. Is -3 - n/(36/2552) prime?
False
Let i(z) be the first derivative of z**3/3 + 4*z - 1. Let g be i(4). Suppose 214 = m + g. Is m composite?
True
Let a be (40/(-60))/(((-4)/(-21))/(-2)). Suppose -a*c - 655 = -2433. Is c a prime number?
False
Suppose -10*p + 40992 = -9538. Suppose 0 = 6*l - p + 655. Is l composite?
False
Let s be -2 + 4/4*2. Let p be s - 0 - -82 - 1. Suppose 0 = w + w - 2*c - 156, -2*c + p = w. Is w a prime number?
True
Let u(q) be the first derivative of q**3/3 + q**2/2 + 79*q - 7. Let g(r) = -r**2 - 11*r - 10. Let n be g(-10). Is u(n) a composite number?
False
Let g(m) be the second derivative of -m**3/3 + 17*m**2/2 + 2*m. Let p be g(7). Is (-534)/4*(-4)/p prime?
False
Let v be 1/(-3) + (-26)/(-6). Suppose -v*u = 3*o - 21, u = -3*u + o + 9. Suppose 6*n = 2*n - 3*c + 696, u*c - 165 = -n. Is n a prime number?
False
Suppose 0 = 4*u + 90 + 210. Let b be (-10)/u - 506/(-30). Let i = 54 - b. Is i prime?
True
Suppose 5*w = w. Suppose -i + 4*v - 4 = -7, -3*i + v - 2 = 0. Is w - (i + (-140)/2) a prime number?
True
Suppose 3*g + 6 = g. Let z be 67 + (3 + g - 2). Is (-26)/z - 372/(-5) a prime number?
False
Let q(u) = -5*u - 26. Let v be q(-5). Let o(y) = 116*y**2 - 1. Is o(v) prime?
False
Suppose 0 = -9*g + 10*g. Suppose 2*o - 803 + 301 = g. Is o composite?
False
Let c = 6802 + -333. Is c prime?
True
Let g = 586 - 2047. Let i = 2422 + g. Is i prime?
False
Let i(q) = 104*q**3 + 3*q**2 + 4*q - 2. Let o be i(3). Suppose 4*y - o = 3*y. Is y prime?
False
Let z(d) = 44*d**2 - 13*d + 28. Is z(-17) a composite number?
True
Let h be 3/(-10)*2*-5. Suppose 0 = -4*d - h*w + 782 - 86, 5*w = -20. Is d prime?
False
Let v(t) = -125*t**3 + 8*t**2 + 8*t - 2. Is v(-3) a composite number?
True
Suppose 10 = -2*v + 16. Let r(c) = 2 - 3 + 20*c - 4. Is r(v) prime?
False
Suppose -143 = -u - 15. Suppose 267 = 5*k - 2*k. Suppose k = v - u. Is v a composite number?
True
Let c be (2 - 18/5) + (-4)/10. Is (c/(-6))/(-6 - (-11054)/1842) composite?
False
Let i be (2/1)/((-20)/30). Let o be (4 + (-1)/1)*i. Is 21/(-2)*246/o composite?
True
Let x(h) = 6 + 238*h + 7 - 10. Is x(4) a prime number?
False
Let v(d) = -2*d**2 - d. Let x be v(2). Let m(u) = -148*u + 1. Is m(x) prime?
True
Let o(x) = 14*x**3 - 21*x**2 - 11*x - 3. Is o(11) a prime number?
False
Let r = -2938 + 5271. Is r prime?
True
Let f(g) = -g**2 + 7*g + 5. Suppose 3*o = -4*v + 37, 0*o = -2*o + 3*v + 2. Let j be f(o). Suppose 4*l + 0*l - 478 = -5*z, -5*z + 460 = -j*l. Is z prime?
False
Suppose 12*l - 6*l - 1458 = 0. Suppose -3*b - 769 + 322 = 0. Let h = b + l. Is h composite?
True
Let l(c) be the third derivative of c**6/60 + c**5/20 + 5*c**4/24 + c**3/2 + 9*c**2. Is l(5) prime?
True
Suppose -5*l - 16*r + 11*r = -337660, r = 1. Is l prime?
True
Let l = 3 + -32. Let u = 27 + l. Is 3/u*(-4506)/9 composite?
False
Suppose 5*j - 4 = -n, n - 5 = 4*j - 1. Suppose 4*p = 4*a + 9*p - 7497, n*p + 5646 = 3*a. Suppose -a = -2*u - 100. Is u prime?
False
Suppose -2*z = -2 - 2. Suppose -z*c = c. Suppose c = 3*v - 16 - 50. Is v prime?
False
Suppose 3*m = -5*c + 955, 0 = -4*m - 5*c + 346 + 924. Let t = m + 716. Is t a composite number?
False
Suppose 4*g + 163 = j + 67, 4*g - 240 = -2*j. Is (12404/j)/((-1)/(-4)) a composite number?
False
Let j(i) = 2 - 3*i - 1 + 1 + i. Let s be j(1). Suppose s = -4*w + 235 + 25. Is w a prime number?
False
Suppose 5*v - 25 = 0, 3*d = d + v + 15. Suppose -d*a + 18686 + 3264 = 0. Is a a prime number?
False
Let u be ((-43)/(-2))/((-6)/(-12)). Let j = 290 - u. Is j composite?
True
Let q(a) = 5 - 1 - 6 + 13*a - 49*a. Is q(-1) prime?
False
Let j be ((-8)/(-16))/(2/12). Suppose 3*h = 5*w - 5485, 0 = 4*w + j*h - h - 4388. Is w a composite number?
False
Is 5/((-30)/(-14733))*(-572)/(-78) a composite number?
True
Suppose 3*x = 12, n - 4*n = -3*x + 12. Suppose 4*b - 15 = -4*o - o, n = b. Is -307*(-4)/(o + 1) prime?
True
Suppose -4*t = -16, 3*t - 75108 = -4*y + 5*t. Is y composite?
True
Let k be ((-28)/6 - -4)/(6/(-1287)). Suppose -18 = -d + k. Is d a prime number?
False
Let z = 15142 + -7755. Is z a composite number?
True
Suppose -o + 20 = 3*o. Suppose 46 = 2*g + 42. Suppose -357 = -g*r - x, o*r - 15 = 5*x + 855. Is r a prime number?
False
Let a be 1/(-7) + 2300/28. Suppose -79*w - 1338 = -a*w. Is w composite?
True
Let n(w) be the first derivative of -w**4/4 + 13*w**3/3 - 6*w**2 + 4*w + 5. Let b be n(12). Suppose -3*j + 304 = s + b*s, -2*j + 183 = 3*s. Is s composite?
False
Suppose 0 = 613*t - 632*t + 1680797. Is t prime?
True
Let f(y) = -y + 3. Let q be f(-16). Let c(w) = w**2 - 13*w + 47. Is c(q) prime?
False
Let t(g) = 66*g**2 + 3*g - 2. Let r(u) = u**2 - 3*u + 1. Let c be r(0). Is t(c) prime?
True
Suppose 4*w + 8876 = 3*o, 6*w = o + 2*w - 2964. Let r = -1226 + o. Suppose 0*v - 2*v + r = 0. Is v prime?
False
Let w(h) = h**2 - 4*h - 5. Let s be w(5). Suppose -5*x + 6560 - 1255 = s. Is x prime?
True
Suppose 4*j - 322 - 12282 = 0. Is j a composite number?
True
Suppose -4 = b - 10. Let z(u) = 21*u**2 - 8*u - 23. Is z(b) prime?
False
Is 2/(-12) - 284340/(-72) composite?
True
Let d be (60/(-35))/(2/(-4179)). Suppose 3*n + 3*k - d = 0, -5*n + n - 2*k = -4770. Is n composite?
True
Let p = -7 - -11. Suppose -69 = -p*o + o. Is o composite?
False
Let z(j) = j**2 - 3*j + 3. Let u be z(3). Suppose u*a = 2*y + 3185, -4563 + 1376 = -3*a + 4*y. Is a composite?
False
Let c(i) = i**2 + 16*i + 3. Let m be c(-16). Suppose z - 4*v - 126 = 0, -5*z - v + 540 = -m*v. Is z composite?
True
Let u(s) = -10*s**3 - 5*s**2 + 2*s + 3. Let x be u(-4). Suppose -3*n + 0*n + x = 0. Suppose -n = 4*i - 9*i. Is i a composite number?
False
Let m be 2/10 - 19/(-5). Suppose 10 = 2*q - m. Let p(c) = -c**3 + 9*c**2 - 3*c - 10. Is p(q) a composite number?
False
Let b be 1247/(-5) + -1 + 14/35. Let t = b - -379. Is t prime?
False
Let o(k) = k**3 - k**2 + k - 11. Let g be o(0). Let v(y) = y**2 + 14*y + 35. Let z be v(-15). Let j = g + z. Is j prime?
False
Suppose 0 = -5*r + 2*r - 4*y + 49, 3*r - y = 29. Suppose r*b = 8*b + 2763. Is b a composite number?
True
Suppose -u - 2*u - 4*c = 29, 5*c - 20 = 0. Is 10/u*6 - -1645 composite?
True
Let b be 162/39 - ((-4)/(-26))/1. Is ((-24)/(-21))/b - (-36550)/14 a prime number?
False
Let y = -23 + 25. Suppose -y*w = 3*w - 15. Suppose -51 + 228 = w*g. Is g prime?
True
Let u(t) = -13*t**3 - 3*t**2 - 4. Let o be u(-3). Suppose 3*x + 85 = 4*x + 3*l, 4*x - o = -2*l. Suppose -x = -i + 54. Is i prime?
False
Let f = 347 + 597. Let s = 98 + 367. Let p = f - s. Is p prime?
True
Let s = 21225 + -976. Is s composite?
False
Suppose -2*q + 5 = -7*q. Is (-3 - (1 + q)) + 356 composite?
False
Suppose 192311 + 147705 = 16*h. Is h a composite number?
True
Suppose 2*g = -3*g + 5*y - 20, g + 3*y + 16 = 0. Let a(d) = -2*d**3 - 7*d**2 - 5*d + 3. Is a(g) a prime number?
False
Suppose -8*u + 13*u - 2430 = 0. Let b = 851 + -598. Let y = u - b. Is y a composite number?
False
Suppose 0 = -2*j + 2*x + 14582, -4*j - 4*x + 40368 = 11180. Suppose 5*b - 2*d - 18235 = 0, -3*d = -2*b - 0*d + j. Is b a prime number?
False
Suppose -4*t + 112552 = 5*w - 5*t, -67545 = -3*w - 4*t. Is w a composite number?
False
Let f(c) be the third derivative of -41*c**4/24 - c**3/6 + 5*c**2. Let h be f(-3). Suppose -m - h - 325 = -5*u, -m - 91 = -u. Is u a composite number?
False
Let l(r) = -8*r**3 + 5*r**2 + 10*r + 30. Is l(-14) a prime number?
False
Suppose 95*b - 300 = 101*b. Let f be (-2)/(((-6)/139)/3). Let o = f + b. I