 + m. Is x composite?
False
Is 315 + ((-6)/1)/(-3) composite?
False
Let c(l) = 240*l - 3. Let w be c(6). Suppose -a - 3*t + 9 = -275, -5*a + 2*t = -w. Is a a prime number?
False
Suppose 10 = i - 10. Suppose 0 = -n - 4*n + i. Suppose n*x - 134 + 34 = 0. Is x a prime number?
False
Let f(h) = -2*h**3 - 5*h**2 - 2*h + 6. Is f(-4) composite?
True
Let m be (-70)/5*1/2. Let k be 2/m + 37/7. Suppose -76 = r - k*r. Is r composite?
False
Suppose -4*d + 3*k = -763, -3*d + 5*k = -4*d + 208. Suppose -y - j + d = j, -5*j = -4*y + 733. Is y a composite number?
True
Let n = 3533 + -1516. Is n a prime number?
True
Let x be (420/49)/(3/(-21)). Let h = x - -237. Is h a prime number?
False
Let b(z) = z**3 + 2*z**2 - z. Let w be b(2). Let n = 5 + w. Is n a prime number?
True
Suppose 0 = 4*t - 4, -y + 2*t + 12 = -0*t. Is y prime?
False
Suppose 4*v = 3*r - 89 - 1250, 1806 = 4*r + 5*v. Is r prime?
True
Suppose 0 = 5*d + 4*k - 1013, 2*k - 268 - 136 = -2*d. Is d a prime number?
False
Let h(t) = -t**3 - 9*t**2 - t + 13. Let w be h(-9). Suppose a = 43 + w. Is a a prime number?
False
Suppose -4*o = -3*o. Suppose -4*r + 14 = 2, o = 3*g + 5*r - 246. Is g composite?
True
Is (159/15)/(7/35) a prime number?
True
Suppose 3*o + 15 = -4*w + 49, o = 3*w - 19. Let i(x) = 3*x**3 - 2*x**2 + 3*x + 7. Is i(w) composite?
True
Let m be (4*-1)/(8/(-52)). Let u = -15 + m. Let l = u - -108. Is l prime?
False
Let y = -115 + 192. Is y a composite number?
True
Let o(u) = 17*u**2 + u + 11. Let c(h) = -h. Let p be c(5). Let m(z) = -9*z**2 - z - 5. Let q(k) = p*m(k) - 2*o(k). Is q(4) prime?
True
Let i(v) = v**2 + 9*v + 3. Let k be i(-9). Let y(b) be the second derivative of 7*b**5/20 - 5*b**4/12 + b**3/6 + b**2 + b. Is y(k) a composite number?
False
Let l(h) = 3*h - 1. Let f be l(-4). Let i(p) = -p**2 - 14*p - 6. Is i(f) prime?
True
Is (-3848)/(-12) - 2/(-6) composite?
True
Suppose 5*n - 5960 = -5*m, -275 - 3266 = -3*n + 4*m. Is n a prime number?
True
Is (1 - 4)/((-9)/4659) composite?
False
Let j(t) = t - 15. Let s be (5 - 0) + 8/4. Let o be j(s). Is (140/16)/((-2)/o) prime?
False
Suppose -3*q + 4991 = 4*q. Is q prime?
False
Let v = -2 + 61. Let h(o) = -2 - 1 + v*o**2 + 89*o**2 + 2 + 2*o. Is h(1) prime?
True
Is ((-17)/(-6))/((-1)/(-3))*118 prime?
False
Let p(n) = -n**2 - 1. Let d(y) = -45*y**2 - 2*y + 2. Let u(m) = -d(m) - p(m). Is u(1) a prime number?
True
Let i(m) be the first derivative of -m**3/3 + 15*m**2/2 + 3*m - 1. Let c be i(12). Is c/3 - 0 - 2 composite?
False
Suppose 0 = 3*g - 1565 + 98. Is g composite?
True
Suppose -323 = -8*p + 7*p. Is p a composite number?
True
Let j(b) = -b**3 + 4*b**2 + 5*b + 5. Let t be j(5). Suppose -t*d - 3*h + 32 = 0, -d + 6*d + h = 34. Is (-1)/3 - d/(-3) a prime number?
True
Let v = 148 - 72. Suppose 2*d = -2*d + v. Is d a composite number?
False
Suppose -2*a = 3*a - 25. Let q = 13 - a. Suppose 5*f = q*f - 105. Is f a prime number?
False
Let f = 3 + 8. Suppose 2*i - f = i. Is i a composite number?
False
Suppose -3*w = 2*w + 2*x - 78, -5*w = -2*x - 82. Let h = 50 - w. Is h a composite number?
True
Suppose 4*s = 3*s. Let b be 6/(-3 - s) + 1. Let c = b - -38. Is c prime?
True
Suppose 0*s = 2*s. Is (-4 - -287) + (4 - s) a composite number?
True
Let q = 75 + -33. Suppose -5*y + 5*c = -90, -3*c - 6 + q = 2*y. Let r = y - 11. Is r prime?
True
Let i = 0 - -2. Is 72 + (-6 - (-6)/i) composite?
True
Let z(h) = -h + 11. Let x be z(9). Is ((-12)/x)/3 - -28 prime?
False
Let g(b) = b - 145. Let k be g(0). Is k/(-10) + (-1)/2 composite?
True
Let o(f) = -f**3 + 32*f**2 - 36*f - 14. Is o(30) prime?
False
Let u(c) be the third derivative of 7*c**4/12 + c**3/6 + c**2. Is u(6) prime?
False
Suppose 178*b - 173*b = 2435. Is b composite?
False
Suppose -3*n - 925 = -301. Let k = 461 + n. Is k a composite number?
True
Suppose 4*s - 41 = -5*b + 6, -2*b + s + 11 = 0. Is 838*-1*b/(-14) prime?
True
Suppose 0 = -5*w - 0*w + 10. Suppose -u - 4*c + 2 = -4, -w*c + 24 = 4*u. Is 608/12 - (-2)/u composite?
True
Let o = -30 + -8. Let v = o - -59. Is v a prime number?
False
Let a = -33 + 10. Let h = 186 + a. Is h a prime number?
True
Let w be 3 + -3*(-1)/3. Suppose 2*m = -2*n + 38, -50 = 2*m - w*m + 2*n. Suppose 0 = 2*h - 16 - m. Is h prime?
True
Suppose -5*o + 92 = -o. Let u = 8 + o. Suppose -3*m = -g - 0*m + u, 0 = 5*m. Is g a composite number?
False
Let m(h) = 335*h**2 - 1. Let x be m(-1). Let f(w) = -9*w**2 - 2*w + 5. Let y be f(-4). Let u = y + x. Is u composite?
True
Suppose 4*v = -r + 416 + 58, 5*r + 462 = 4*v. Is v a prime number?
False
Suppose 2*m - r = 3*m - 7, 3*m - 25 = -4*r. Suppose -5*d + 290 = -m*d. Suppose -n + o = -4*o - 57, 3*n - 2*o = d. Is n a composite number?
False
Let k(b) = b**2 - 2*b + 2. Let i be k(2). Suppose 2*r - 372 = -i*r. Is r a composite number?
True
Let z(f) = 4*f - 1. Let t be z(1). Suppose -36 - t = -v. Is v prime?
False
Suppose 3*k - 1090 = k. Is k composite?
True
Let d = -6 + 10. Suppose d*n - 3*i + 34 = 477, -2*n - 5*i + 241 = 0. Is n a composite number?
False
Let x(m) = m + 2 + 4*m - m. Let a be x(-3). Is 1/(-5) - 312/a composite?
False
Suppose 0 = 15*h - 16*h + 74. Suppose k - h = -k. Is k a composite number?
False
Let l(o) = -47*o - 6. Is l(-16) a prime number?
False
Let l(u) = u**2 - u + 671. Is l(0) prime?
False
Let g(z) = -4*z**2 + 3*z + 1. Let a(f) = 5*f**2 - 4*f. Let v(q) = -3*a(q) - 4*g(q). Let j = 13 - 18. Is v(j) prime?
False
Let u = 3 - 2. Let v be ((-1)/2 + u)*4. Is 17 - v*(-1 + 0) a prime number?
True
Let s(b) = 2*b - 1. Let n be s(3). Let w be n/((-15)/(-72))*10. Suppose 5*u + w = 5*h, -3*u - 45 - 50 = -2*h. Is h a composite number?
True
Let f(o) = 59*o**3 + o. Let k be f(-1). Let j = 7 - k. Let p = j + -48. Is p a prime number?
True
Let i = 123 - -37. Suppose c + i = 26. Let l = 211 + c. Is l a composite number?
True
Let g = 3040 - 1923. Is g prime?
True
Suppose -232 = p + 290. Let n be 1/(((-4)/p)/2). Suppose 3*u = 3*h + n, 0 = h + 2*h - 12. Is u prime?
False
Let b = 1 - -3. Suppose -g - m + 14 = -b*m, 2*m = 3*g - 14. Suppose -3*o = g*o - 235. Is o composite?
False
Let s be 12/10*(-10)/(-3). Is (-4)/8 - (-62)/s prime?
False
Suppose 3*s - 3*q + 20 = 5, 0 = 5*q - 25. Suppose s*v + 154 = 2*v. Is v a prime number?
False
Let x = 43 + -14. Suppose -3*z - 2*z + 80 = 0. Let v = x - z. Is v a composite number?
False
Let v = 3 - -2. Suppose v*b - 69 = 366. Is b a composite number?
True
Let b(d) = d + 9. Let z(q) = -q - 9. Let k(t) = -2*b(t) - 3*z(t). Let g be k(-7). Suppose -5*x - v - v + 528 = 0, -211 = -g*x - v. Is x a composite number?
True
Suppose -m + 2*m = 0. Suppose m = -n + 4*n - 12. Is ((-7)/n)/((-1)/4) composite?
False
Let i be 1 - (-1*2)/(-2). Suppose 5*v - v - 4 = i. Let c(x) = 32*x**2 + 2*x - 1. Is c(v) a composite number?
True
Let n(u) = 6*u**2 - 5*u - 3. Let i be n(4). Suppose -i = -b + 96. Is b prime?
False
Suppose 0*x - 4*u - 946 = 2*x, -2*u = 2. Is 3/(-18) + x/(-18) prime?
False
Let i be (-7 + 3)*(-3)/(-2). Let d(c) = 3*c**2 - 2*c + 7. Is d(i) a composite number?
False
Suppose -165 = t - 6*t. Let k = t - 23. Let s = 3 + k. Is s prime?
True
Suppose 3*l = -2*g + 19, 8 = l + 3. Let w be (-6)/(-42) - (-370)/7. Suppose -4*y + 79 = f, -3*f + w = -g*y - 142. Is f prime?
True
Let u(o) = o**3 + 7*o**2 + 6*o + 4. Let f be u(-6). Suppose -f*p + 299 = 79. Is p a composite number?
True
Suppose 4*q = g - 1293, 2*g - g - 1289 = 3*q. Is g prime?
True
Suppose 0*y + 5*y = 15. Suppose 3*z = -4*w + 3, 0 = 3*w + 2*w - 5*z - 30. Suppose g - 24 = -n + y, w*n - 3*g - 57 = 0. Is n a composite number?
False
Suppose -5*f + 2*f = -1563. Is f a composite number?
False
Suppose 4*k = -i - 76, -k + 60 = -3*k + 5*i. Let a = k - -14. Let m(d) = -27*d - 3. Is m(a) composite?
True
Let i be (6/4)/((-2)/(-4)). Suppose 0 = k + i*j - 45, -157 = -2*k - k + 2*j. Is k a prime number?
False
Suppose -42 = 2*o - 5*o. Suppose -o*d + 13*d + 134 = 0. Is d composite?
True
Let a(v) = v**2 + 2*v - 3. Let n be a(2). Suppose -n*q + 322 - 1557 = 0. Let o = -128 - q. Is o a prime number?
False
Suppose -5*v + 2 = -3. Let p be 2*v/(-2)*-9. Suppose -4*t - 11 = -2*w + 13, -3*t = p. Is w a prime number?
False
Let p be -1 + (4 - 1) - -1. Suppose 4*o - o - 5*i = -319, -4*o = -p*i + 418. Let t = o - -192. Is t prime?
True
Let z(i) = 16*i - 1. Let r(c) = -c. Let x(o) = -4*r(o) - z(o). Let f = 