9 - z/((-15)/6) prime?
True
Let j = -32 - -20. Let k be (12/8)/((-3)/(-54)). Let q = j + k. Is q a composite number?
True
Suppose 7*b - 2758 + 91 = 0. Is b a prime number?
False
Let t = -1518 + 2618. Suppose 3*b = 5*d - 4*d - t, -3*d - 2*b = -3355. Suppose 3*a + 2*a - d = 0. Is a prime?
True
Suppose -4*p + p + 5*r + 2398 = 0, 4042 = 5*p + 3*r. Suppose -3*s + 427 = 4*v - p, -4*s = 5*v - 1541. Is v a prime number?
False
Suppose 644 = 2*u + 2*u - 4*n, n + 322 = 2*u. Is u composite?
True
Suppose 173 - 52 = 5*y - p, p = 3*y - 73. Suppose -5*z + 317 = -2*h, -3*z = -8*z + h + 316. Let u = z - y. Is u prime?
False
Let t = 1 + -1. Suppose -4*k - k + 370 = t. Suppose 2*c = 4*c - k. Is c composite?
False
Suppose -2*a + 9 + 3 = 2*u, 0 = 5*u - 3*a - 22. Let l(i) = -105*i + 2. Let p be l(-2). Suppose -u*w + p = -63. Is w a prime number?
False
Is (-2 + 1)/(10/(-6290)) a composite number?
True
Let u(g) = 44*g**2 + 17*g - 11. Is u(8) prime?
False
Let x = 330 - 25. Is x a composite number?
True
Is (2 + -1)/(6/510) a composite number?
True
Let a be (-2)/2*22/2. Let m = 18 + a. Is m a composite number?
False
Let g(n) = 4*n**2 + n + 2. Let w be g(-2). Suppose x - w = -2*p, 135 = 7*x - 2*x - p. Is x composite?
True
Suppose -2*d = -z - 845, 0 = -d - z + 113 + 317. Suppose d = 5*b + 4*h, -20 = b + h - 104. Is b a prime number?
True
Suppose -2*a + 1249 = 3*n, 1576 = 3*a - 4*n - 289. Is a a composite number?
True
Suppose 0 = 2*b - k - 537, 0 = -3*b + 5*k - 6*k + 818. Let w = 393 - b. Is w a prime number?
False
Is (4 - 50)*(3 - 85/2) composite?
True
Let s = 4814 - 3355. Is s composite?
False
Suppose -a + 3*a - 4 = 0. Suppose 0 = -a*j + 6 + 20. Is j a prime number?
True
Let c be (2/6)/((-5)/(-30)). Suppose 0 = -4*b + 18 - c. Suppose 0 = -b*x - 0*x + 36. Is x a composite number?
True
Suppose -4*u - 4*m + 1152 = 0, 235 = u + 3*m - 43. Is u composite?
False
Let h(g) = -13*g + 5. Let u(j) = -25*j + 9. Let n(l) = 5*h(l) - 2*u(l). Is n(-8) a composite number?
False
Suppose 3*c + 1 = 13. Let y be c/(-7)*7/(-2). Suppose 0 = z - y*l - 1, 5*z + 4*l = 9 + 38. Is z composite?
False
Let d(o) = 676*o**2 + o. Is d(1) prime?
True
Let j(n) = 4*n**2 + 4*n + 7. Is j(-6) composite?
False
Suppose -6*u + 3*l = -u - 57, -4*u + 16 = 5*l. Is u a composite number?
True
Let x be (-2)/5 - 1899/15. Let f = 276 + x. Is f a prime number?
True
Is 2/(-3) - 62990/(-30) a prime number?
True
Let t(f) = f**2 + 5*f - 1. Let y be t(-9). Is (55 + 0)*21/y prime?
False
Let f = -117 + 62. Let u = 23 + f. Let s = 95 - u. Is s a composite number?
False
Suppose -3*x - 2*j + 11 = 0, -2*j = x - 1 - 0. Suppose 2*h + 556 = x*i + h, 2*h = -i + 109. Is i composite?
True
Suppose l - 2*a - 50 = -5*a, 3 = 3*a. Is l a composite number?
False
Let q = 5 - -4. Let v be (21/12)/(3/48). Let c = v - q. Is c a prime number?
True
Let u(g) = 0*g - g**3 - 2*g - 2 - 2*g**2 + 6*g. Let w be u(-4). Suppose 64 = 3*i - w. Is i a prime number?
False
Let u(x) = x**3 + 4*x**2 + 2*x + 1. Let k be u(-3). Is (k/(-12))/((-1)/201) prime?
True
Suppose -3*s - a + 5898 = 2*a, s + 4*a - 1957 = 0. Is s prime?
False
Let m(t) be the first derivative of -t**3/3 - 5*t**2 + 15*t - 2. Let j be m(-11). Suppose d + 483 = j*d. Is d prime?
False
Suppose 2*x + 102 = 424. Is x a composite number?
True
Suppose 5*i = -w + 25, -4 - 6 = -2*i. Suppose -4*h + 20 = -w*h. Suppose 5*g - 4*r - 89 = -r, h*g - 99 = -2*r. Is g composite?
False
Let m(t) = 6*t**3 + t**2 + 2*t + 1. Let y be m(3). Let p(i) = -i**3 - i**2 + 4*i + 7. Let s be p(-5). Let h = y - s. Is h a composite number?
True
Is 1/(-2) - (-666)/4 a composite number?
True
Let j(k) = 35*k + 3. Is j(4) prime?
False
Let n(y) = -85*y - 2 + 3 - 6 + 3. Let l be n(-2). Suppose -89 = -q + l. Is q composite?
False
Let h = 4 - -4. Let m = h - 4. Is (-1 + m)*43 - 2 a composite number?
False
Is 6/15*10 + (108 - 1) a composite number?
True
Suppose 5*y - 632 - 3 = 0. Is y a prime number?
True
Let z(n) = -n**2 - 14. Let v be z(0). Is ((-413)/v)/((-1)/(-2)) prime?
True
Let b(t) = t + 32 + 3*t + 3 - 3*t. Let v(a) = -a - 5. Let w be v(-5). Is b(w) composite?
True
Let g(d) = 5*d**2 + 11*d - 11. Is g(20) a prime number?
False
Let a = 16 - 11. Suppose -4*l - y + 38 + 235 = 0, l = -a*y + 92. Is l a composite number?
False
Let u(m) = m + 12. Let a be u(-10). Let j = a - -3. Is 37*1*j/5 a prime number?
True
Suppose -2*r = 2*r - 340. Is r prime?
False
Let b = 418 + -110. Let h = b - 181. Is h a composite number?
False
Let n be (-4)/14*56/(-8). Suppose s + n*s = -3*k + 1239, -4*k + 1620 = -4*s. Is k composite?
False
Suppose 0*q = -q + 12. Let b(z) = 5*z - 4*z + q*z**2 + 22*z**2. Is b(1) a composite number?
True
Suppose 0 = 3*v - 3*w - 480, -w - 13 + 16 = 0. Is v a prime number?
True
Suppose 4*c = -n - 0*n + 529, 2*c = -5*n + 287. Is c a composite number?
False
Suppose -17 = -4*m + 6*j - 3*j, 0 = -3*m - 2*j + 17. Suppose 2*v - 5 = -21. Let k = m - v. Is k prime?
True
Suppose 4*g - 4035 = -0*m - 3*m, 3*m - 2025 = -2*g. Suppose -3*b - 277 = -2*s + g, 3*s - 3*b - 1929 = 0. Is s prime?
True
Let p(j) = 237*j**2. Let v be p(1). Suppose -4*i + v = o, 4*i + 0*i - 238 = -2*o. Is i composite?
False
Let d(o) = -2*o**3 - 4*o**2 - 10*o + 6. Let m be d(-8). Suppose -3*n + 0*n - 5*c = -m, -4*n - 4*c + 1152 = 0. Is n a prime number?
True
Let q be 26/(-4) + (-6)/(-12). Let m(l) = -l**2 - 9*l - 9. Let u be m(q). Is (u/(-6))/((-1)/10) prime?
False
Suppose -6*k + 2*k + 1100 = 0. Suppose -3*x + k = 2*x. Is x a composite number?
True
Suppose 2*u + 5*y = 1365, 3*u + 0*u = 5*y + 2035. Suppose -f - 3*f = u. Let w = f + 249. Is w composite?
False
Let x = -118 + 152. Is x prime?
False
Suppose -4*g + 263 + 13 = 0. Let h = 270 - g. Is h prime?
False
Suppose y + 5*c = 2*y - 59, c + 2 = 0. Is y a composite number?
True
Let v = 2 + 1. Suppose 0 = -y - v*y + 124. Is y prime?
True
Suppose o - 2*o - 148 = 0. Is 6*-2*o/24 prime?
False
Let x(t) = t**3 - 5*t**2 - 3*t + 2. Let s(f) = f**2 + 3*f + 5. Let k be s(-4). Is x(k) a composite number?
True
Let z(u) = -u**3 - 13*u**2 - 8*u - 17. Is z(-13) prime?
False
Let u = 715 - 144. Is u prime?
True
Let p = -113 + 206. Is p composite?
True
Let a(f) = f**2 - 1. Let x be a(-3). Suppose -5*p + p = -x. Is 2/(-1)*(-19)/p composite?
False
Let i(c) = 3*c - 5. Suppose 5*g = -2*w + 10, 4*w = -5*g + w + 5. Is i(g) a prime number?
True
Suppose -4*a + 12 = -4*s, -4*a - s = 4*s - 12. Suppose -a*x - 317 = -2*v, -2*v - 4*x + 109 = -229. Is v composite?
False
Suppose 0 = -5*a - 3*x + 524, 7*x - 96 = -a + 2*x. Suppose 2*z - a - 12 = 0. Is z a composite number?
False
Let f(n) = 8*n**2 + 2*n - 5. Let w be f(4). Suppose 0 = -i - 5*y + w, -3*i + 5*y + 0*y = -313. Is i composite?
True
Suppose 2*p = 5*p. Suppose -2*v - 2*o - 3*o + 342 = p, o + 157 = v. Is v a prime number?
False
Let p be (-2)/(-3) + (-10)/(-3). Suppose 4*b = 5*n + 319 + 234, -p = 4*n. Let w = b - 60. Is w composite?
True
Let c(q) = 2*q**3 - 2*q**2 - 11*q + 8. Let f be c(6). Let b = f - 141. Is b a composite number?
True
Suppose 1233 = -3*i + 3975. Is i prime?
False
Is -15*4/12*-241 a prime number?
False
Suppose 5*s - 1196 = -3*d, d - 2*s + s - 412 = 0. Is d a composite number?
True
Suppose -i + 1 = 0, -3*i - 495 = -4*x - 62. Let u = -44 + x. Is u prime?
False
Let g(n) = -3*n**3 - 4*n**2 - n + 3. Let j(o) = 3*o**3 + 5*o**2 + o - 4. Let x(z) = 5*g(z) + 4*j(z). Is x(-3) a prime number?
True
Let x(a) = -a**2 - 5*a - 1. Let f be x(-4). Is (620/(-8))/(f/(-6)) a composite number?
True
Let i = -1089 + 1834. Is i a composite number?
True
Suppose 5*y + g - 4 = -2*g, 7 = -4*y + g. Let o be (-7)/((y + 4)/66). Let r = o - -269. Is r prime?
False
Suppose y + 1 = 0, -5*k - 3*y = -120 - 462. Let r be (-12 - -13)*3*1. Suppose -r*b - 6 = -k. Is b composite?
False
Let o(n) = -n**3 - 3*n**2 + 10*n + 1. Let b be o(-5). Is 750/9 + b/(-3) composite?
False
Let m(v) = v**2 - 5*v - 2. Let w be m(6). Suppose 2*g = g + 2, -w*g = -5*b + 87. Is b a prime number?
True
Let v(i) be the third derivative of i**6/120 + i**5/12 - 5*i**4/24 - i**2. Let h be v(-6). Is (-2 + 3 - 2)*h a composite number?
True
Let x(d) = 0*d**2 + 0*d**2 + 7*d + 10 + d**2. Suppose 6 = -3*k, 12 = 5*h - k + 45. Is x(h) prime?
False
Suppose -5*i + g + 81 = 0, i - 5*g = -3*i + 48. Let c = i - -58. Suppose -4*z + 4*d + 60 = 0, -5*z + 0*z + c = 3*d. Is z