j composite?
False
Is 4774 + 1 + -2*(-8)/(-4) a prime number?
False
Let m be (12/(-16) - 0)*-4. Suppose -m*q - 429 = -2*d + 2*q, -d - 3*q = -220. Is d composite?
True
Let f be (-4954)/(-2) + -2 - 2. Let s = f - 1112. Is s composite?
False
Let n = -32 + 369. Is n composite?
False
Let m be 2/4*(9 + -9). Suppose 4*s - 31 = -11, 3*p - 5*s - 14 = m. Is p a prime number?
True
Let t(l) = 35*l**2 + l. Let m be t(1). Is (1 + -5)*(-171)/m composite?
False
Suppose 0*x - 3*x = -861. Is x prime?
False
Let l(x) = x**2 - 8*x - 3. Let n(w) = 7*w + 2. Let a(c) = 6*l(c) + 7*n(c). Is a(3) prime?
True
Let q = 2584 - 1419. Is q composite?
True
Suppose 153 = 5*i - 1042. Is i prime?
True
Suppose m + 2*m - 420 = 0. Suppose 307 + m = 3*d. Is d a prime number?
True
Suppose -3*h + 909 = 3*l, -l + 2*h = -33 - 264. Let w be (-14)/4*1*60. Let x = w + l. Is x a prime number?
False
Let s(z) = -192*z - 13. Is s(-3) composite?
False
Let j be (-74)/(-14) - (3 - (-76)/(-28)). Let q(a) = 4*a**2 + a. Let o be q(-2). Suppose 5 = -k - j*h - 2, -4*h = -2*k + o. Is k prime?
True
Let h(i) = -i**2 + i. Let k be h(0). Suppose 5*j - 2*l - 395 = 0, j - l + 15 - 94 = k. Is j prime?
True
Suppose -3*i + 2 = -2*b + 13, -4*b + 21 = -5*i. Suppose 0 = 3*s + 3*v, -2*s + 4*s - 3*v = -25. Is (-3 - s) + i + 110 prime?
False
Let s = -1084 + 2073. Is s a composite number?
True
Let u = -116 + -2. Is 5 - 3 - (u + 1) prime?
False
Let u(x) = 5*x**2 + 2 + 1 + 3 + x**3 - 5*x. Let t be u(-6). Suppose t*l - 9 = -l. Is l composite?
True
Let f(i) = i - 3. Let w be f(7). Suppose t + 3 = w. Is 38 - (t/(-1))/(-1) composite?
False
Let x(d) = d**2 - 9*d + 10. Let v be x(8). Suppose y = v*y - 215. Is y prime?
False
Suppose -5*n = -4*i - 459, -5*n - 5*i + 624 - 174 = 0. Is n prime?
False
Let k = -135 - -45. Suppose -132 = -a + 5*a. Let f = a - k. Is f composite?
True
Suppose -3*x + 577 + 200 = 0. Is x a prime number?
False
Let v(d) = 23*d + 1. Let n be v(-5). Let o = 63 + n. Let k = -32 - o. Is k prime?
True
Let r = 2020 + -261. Is r prime?
True
Let v be 3 - 6 - -1 - -290. Suppose -3*g = -78 - 243. Suppose -5*u = -g - v. Is u a prime number?
True
Let c be ((-12)/9*3)/(-1). Suppose -h + 221 = c*f, -3*h - 276 = -5*f - 4*h. Is f composite?
True
Suppose 0 = 3*u + 5*l + 13, 4*l = 1 + 3. Is (-549)/u + (-3)/(-2) a composite number?
True
Suppose -2*b + 5 = -4*x - 7, 0 = 5*b - 4*x - 12. Suppose -h + 6*h - 250 = b. Suppose -2*u + h + 36 = 0. Is u composite?
False
Let z be 2/9 - 94/18. Let n = 8 - 10. Is 13 + (-5)/(z/n) a composite number?
False
Let r(w) = w**2 - 1. Let t be r(-1). Let q be (-1 - t) + -19 - -2. Let g = -8 - q. Is g a composite number?
True
Let r(j) = 6*j**2 + j + 4. Let n be r(3). Let d(i) = -9*i - 18. Let f be d(-4). Let t = n + f. Is t prime?
True
Suppose -q = -4*q - j + 1014, 5*q + 2*j - 1691 = 0. Is q prime?
True
Suppose 4*p + 2*j + 2 = 0, -3*p + j + 11 = -0*p. Let g be 1 - 0 - (-3 - 1). Suppose g + 3 = p*v. Is v composite?
True
Suppose 5*t - 1952 = -4*c - 134, 3*t - 1822 = -4*c. Is c a composite number?
False
Suppose -16*g = -12*g - 1228. Is g composite?
False
Suppose z + 74 - 279 = 0. Is z a composite number?
True
Suppose p - 3 + 0 = 0. Suppose 0 = -0*f + p*f - 9. Suppose f*t - 75 = h, 2*t = h - 6 + 56. Is t prime?
False
Suppose -7*l = -22*l + 38985. Is l a composite number?
True
Let k be 2*(0 - (-34)/4). Is k - 3/((-9)/6) prime?
True
Suppose -3*i + 3 = -6*i, -5*p - 4*i + 6 = 0. Let q be (4 - p)*(1 + 0). Suppose 4*m - 376 = -4*c, -32 = -c + q*m + 65. Is c a prime number?
False
Let u = 8 + -4. Let q be (-1372)/(-5) - u/10. Let t = q + -195. Is t a composite number?
False
Let q be -1 - (3 - 66/3). Is 4/q - 439/(-9) composite?
True
Suppose 2*d - 24 = -2*d. Suppose -2*g - 2708 = -d*g. Is g prime?
True
Let v = 12 - 8. Let b(j) = 4*j**3 + j**2 - 3*j - 3. Let i be b(v). Is 4/14 + i/7 a prime number?
True
Let f(o) = -o**2 + 0*o**2 + 6 - o - 12*o. Let g be f(-8). Is (g - -3) + 4 + -2 composite?
True
Suppose -27*r + 21*r = -1842. Is r composite?
False
Is 1 + (87 - 0) + 1 prime?
True
Let n(a) = a**2 - 3*a - 2. Suppose -4*x = 5*o - 28, -o + 5*x + 2 = 2*o. Let b be n(o). Suppose b*v = -v + 117. Is v a prime number?
False
Let y be 24/10 - (-2)/(-5). Suppose 0 = y*p - 0*p + 8. Let l = 7 - p. Is l a prime number?
True
Let d(a) = -a**3 - 3*a**2 - a - 1. Let b be d(-3). Suppose 2*v - 76 = -2*m, 3*v = -b*m - 0*m + 111. Is v a composite number?
True
Suppose t + 135 = -4*t + 2*q, t - q = -30. Let j = 292 - t. Is j a prime number?
True
Let o(v) = v**2 + v + 2. Let x be o(-2). Let y be 3*(1 - (-28)/(-12)). Is (-1)/y - (-139)/x a prime number?
False
Suppose 0 = y + 5*y - 17178. Is y composite?
True
Let d be 4/(-6)*(-30)/4. Suppose 12 = d*f - f. Is 0 - (f + -2) - -4 prime?
True
Let z = -45 + 99. Suppose r + 7 - z = 0. Is r a prime number?
True
Suppose -9260 = -4*i - 2232. Is i a prime number?
False
Let m be (3 - (-24)/(-9))*0. Suppose 3*z + 2*z - 63 = -f, m = 4*f + 8. Is z a prime number?
True
Suppose -7*f = -f - 1212. Is f a prime number?
False
Let z(y) be the third derivative of 0*y - 1/8*y**4 + 7/60*y**5 + 0*y**3 + 0 - 2*y**2. Is z(2) composite?
True
Let n(s) be the first derivative of -3*s**4 - s**3 - 3*s**2/2 - s - 3. Suppose 4*t = 3*t - 2. Is n(t) prime?
True
Suppose 3*u + 2 = d, -2*u = -d + 6*d + 24. Let o(y) = 5*y**2 + 3*y + 1. Is o(u) a composite number?
True
Suppose v + 12 = -2*v. Is ((-238)/v)/(2/4) composite?
True
Let k be (-87)/18 - (-1)/(-6). Let x = k - -1. Is 35 - (x*1)/(-2) a prime number?
False
Let h(g) = 12*g + 1 - 5*g + 3*g. Let x be h(3). Suppose -4*v = -87 + x. Is v a composite number?
True
Suppose 0*b = -4*b. Let k(i) = -i**3 + i**2 + i. Let m be k(2). Is (5 + (b - m))*1 composite?
False
Suppose 5*o - 584 - 367 = -w, -5*o + 943 = 3*w. Suppose -l + 955 = 5*d, -4*l = -5*d + 4*d + o. Is d a composite number?
False
Let t be (-3)/((-3)/(-2)) - -24. Suppose -4*x = 2*f - t, -4*f - 4 = -4*x - 12. Suppose -x = y - 5. Is y composite?
False
Suppose 2*i = -10, 2*i = -2*c + i - 23. Let h be c*(-132 - (3 + -1)). Is 4/22 - h/(-22) a prime number?
False
Suppose 4*a = -q + 2*q - 601, 0 = -4*q + 2*a + 2334. Is q composite?
True
Let f(a) = a**2 + a + 1039. Is f(0) a prime number?
True
Let j be 0/(-3)*-1 - -4. Let g be 2 - ((-2 - -2) + 0). Suppose -g*m + 4 = -j*m, k = m + 41. Is k prime?
False
Suppose 2 = 3*z - 4. Suppose 3*r = -z*r - 10. Is (19/r)/((-6)/12) composite?
False
Let t be ((-25)/4)/((-2)/(-8)). Let d be ((-36)/42)/(2/168). Let y = t - d. Is y a prime number?
True
Let f = -1789 + 3188. Is f composite?
False
Let k(x) = -22*x**3 + 2*x**2 + 2*x - 2. Is k(-2) a composite number?
True
Let x be 2/(-1)*15/(-10). Is 274/3 - 1/x prime?
False
Suppose -4*g + 6*g - 370 = 0. Is g composite?
True
Let v(i) = i. Let h be v(2). Suppose -79 = -d - 3*q, 4*q - 162 = -h*d - 0*d. Is d composite?
True
Let j(p) = -3*p - 11. Let k be j(-8). Suppose 5*q - 4*n + k = -2*n, 5*q + 4*n = -19. Is ((-92)/(-6))/((-2)/q) composite?
False
Let m be 7 + 1 - (8 - 5). Suppose -448 + 78 = -m*r. Is r a composite number?
True
Let m(p) be the second derivative of -p - 2/3*p**3 - 1/2*p**2 + 0. Is m(-5) composite?
False
Suppose -2*t = -0*q + 4*q - 10, -t + 4*q = 13. Let g be (0 - (-2 + 2))*t. Suppose -3*k + x + 102 = 0, 2*k + 5*x = -g*k + 51. Is k a composite number?
True
Is (-63)/(-6)*(-2076)/(-18) composite?
True
Let g(l) = 14*l - 2. Let x be g(3). Suppose 0 = -2*k - x + 150. Is k a composite number?
True
Let k = -5224 - -7787. Is k prime?
False
Let t(l) = l**2 - 3*l - 5. Let o be t(4). Let b be 2 + 64 + (o - 1). Let k = -45 + b. Is k prime?
True
Let f(n) = -13*n + 1. Let i(w) = -2*w**2 - 11*w**3 + w**2 - 2*w + 4*w**3 + 1 + 3*w**2. Let g be i(1). Is f(g) a prime number?
True
Let r(x) be the first derivative of x**2/2 + 89*x - 1. Suppose -1 = 4*q - s, 5*q + 0 = -3*s + 3. Is r(q) a prime number?
True
Suppose -5*g = 5*k - 15, g - 2*g = -1. Suppose 15 = k*u - 15. Is u prime?
False
Let r be (-30)/(-45)*117/2. Let m = r - -76. Is m a composite number?
True
Let l(a) = 4*a - 1. Let v be l(5). Suppose -1 = 3*p - v. Suppose -t = 2*g - 20 - p, -5*t = -g + 24. Is g prime?
False
Suppose -5*t + 396 = -3*t. Let b = t + -77. Is b a prime number?
False
Suppose f + 0*h = -h - 173, -2*h = f + 168. Let x = f - 53. Is 2/(1 + x/237) prime?
True
Suppose -48 = 5*g - 5*w - 148, 4*