w a composite number?
True
Suppose -3*s - 418 = -4*n, -420 = -4*n - 3*s + 7*s. Is n a composite number?
False
Suppose y - 114 = -0*x - 3*x, -151 = -4*x - y. Is x composite?
False
Let p(q) = -136*q - 5. Is p(-2) a prime number?
False
Let u = 5 + -3. Suppose -2*w = -u*r - 3*w + 24, 0 = 3*r - 4*w - 47. Is r a composite number?
False
Let l(j) = 2*j**3 - j**2 - 4*j + 2. Suppose 12 = -0*f + 4*f. Is l(f) prime?
False
Is 7364/6 + 4/(-12) a prime number?
False
Let d be (-1)/(1*(-2)/6). Is (-1)/((9/(-267))/d) a prime number?
True
Let d(x) = x**2 - 12*x + 11. Let j be d(11). Suppose j = 2*k - 0*k - 530. Is k a composite number?
True
Let y = -1 + 3. Suppose -2*k + 8 = y*k. Is 1/(k - (-58)/(-30)) a prime number?
False
Let k(s) = -s**3 + 9*s**2 - 8*s + 1. Let r be k(8). Is r/(-3) + 139/3 prime?
False
Suppose -n + 3 = 1. Suppose 3*p + p - n*x = 20, 3*p - 17 = 2*x. Suppose -92 = -p*u + 19. Is u a composite number?
False
Suppose 3*k = k + 4. Is (2/k)/((-8)/(-1160)) a prime number?
False
Let o(p) = -66*p - 5. Let u be ((-4)/14)/(1/7). Is o(u) composite?
False
Let l = 4 + -3. Suppose 13 - l = 2*r. Suppose -4*d = -34 + r. Is d a composite number?
False
Let p(w) = 47*w**3 - 3*w**2 + 5*w + 4. Suppose -7*s + 2*s + 25 = 0. Let h(g) = 48*g**3 - 2*g**2 + 4*g + 3. Let q(m) = s*h(m) - 4*p(m). Is q(1) a prime number?
True
Let i(o) = 15*o**3 - 2*o - 1. Suppose -2*s + 6 = s. Is i(s) prime?
False
Let v(b) = -b**2 + 4*b + 5. Let r be v(5). Suppose j - 4*s = -1, -j + r*j + 2*s = -7. Is j a prime number?
False
Let p = 6 - 5. Suppose -4*x - 3*z = p, 0 = -5*x + 7*z - 2*z + 25. Suppose -x*l = -123 + 17. Is l prime?
True
Let o = 1 + -1. Suppose o = 3*h - 6*h. Is 35*(2 + (h - 1)) prime?
False
Suppose z - b - 211 = b, 3*z - 623 = -4*b. Is z composite?
True
Let v(m) = m**2 - 1. Let j(c) = c**3 + 4*c**2 - 3*c - 3. Let g be j(-4). Suppose -3*h = -0 - g, 0 = -5*l - 2*h + 36. Is v(l) composite?
True
Let p = 76 + -119. Let o be -5 - ((3 - 7) + -123). Let d = o + p. Is d a composite number?
False
Let l(p) = -678*p + 1. Is l(-1) composite?
True
Let t(k) = -k**3 - 4*k**2 - 4*k - 8. Is t(-5) composite?
False
Is 4/6 - (-3080)/42 a composite number?
True
Let l = 17 - 35. Let o(i) = i**2 - 8*i + 3. Let r be o(5). Is 44/r*l/2 a prime number?
False
Suppose -s + 2*s - 4 = 0. Suppose 138 = -s*t + 6*t. Suppose 2*m = 5*x + t, -m - m + 104 = 2*x. Is m composite?
False
Suppose -d + z = 3 - 2, 4*z - 16 = d. Is ((-474)/d)/((-3)/6) a composite number?
True
Let j be (-2)/(1 - (-10)/(-6)). Let s be ((1 - 3) + j)*-2. Let f(p) = -8*p**3 + p**2 + 2*p + 3. Is f(s) a prime number?
True
Let i = -138 - -82. Let v = i + 87. Is v prime?
True
Let v be 22/3*45/2. Suppose -l + v = 2*l. Is l a prime number?
False
Let l be 3/(-6) - 2/4. Let n be (1/1)/(l/3). Is (-229)/n - (-20)/30 a composite number?
True
Let k be 24/10 + (-2)/5. Let h(g) = g**3 - 8*g**2 + 2*g - 13. Let i be h(8). Suppose 1 = -q + k*v + 2*v, -i*q + 4*v + 13 = 0. Is q composite?
False
Let k be ((-10)/8)/(1/(-4)). Suppose -48 = -5*t + 2*t + 3*h, 2*t + k*h + 3 = 0. Is t a prime number?
True
Suppose -3*i - 12 = -3*t, 4*t - 3*t - 5*i = 8. Suppose 4*l + 0*l + 5*x = 33, -5*x = -25. Suppose l*s + 19 = t*s. Is s a composite number?
False
Let k = -9 + -31. Let m = 189 + k. Is m composite?
False
Let h(r) = 2*r - 10. Let a be h(6). Suppose -3*l + 265 = -2*x, -l - a*x + 81 = x. Is l a composite number?
True
Suppose 9*c = 8*c. Suppose 0*k + 5*k - 2585 = c. Is k a composite number?
True
Let t be -1 + 1 + -1 - -12. Let k = 280 + t. Is k prime?
False
Let f(j) = j**3 - 5*j**2 - 5*j - 1. Suppose 2*i - 5*h = -4*h + 15, -i + 2*h = -12. Let s be f(i). Suppose -s*w + 112 = 7. Is w a prime number?
False
Let o(k) = -k - 3. Let x be o(-6). Is (x - 6)/(-3)*293 composite?
False
Let q = 81 - 40. Suppose 3*f = -3*o + 150, -f + 12 + q = 4*o. Is f composite?
True
Suppose 4*x = 2*l - 4*l + 4686, 2*x = -5*l + 11675. Is l a composite number?
False
Suppose a - 2*m = -2, -2*a = a + 4*m - 24. Is (-18)/(-36) + 2138/a a composite number?
True
Let z(j) = -2*j**3 - j**2 + 2*j - 1. Let f be z(-2). Suppose -6*o = -f*o + 127. Is o a composite number?
False
Suppose -5*o = -5*u + 85, -4*u - o - 3*o = -36. Suppose 0 = 2*b - q - 72, 4*b + q + u = 145. Is b composite?
True
Suppose -3*m + 2*c + 3616 = 0, 5*m - 3*c = -7*c + 5990. Is m prime?
False
Let g be 0 - -1 - (-14)/7. Suppose -2*x + a = -3, 0*x - 3*x + a = -g. Suppose x = -4*s + 45 + 103. Is s composite?
False
Let b be (-355)/20 + 1/(-4). Let a be b*((-6)/(-2))/(-6). Suppose a = 3*p, 2*o - 22 - 2 = 2*p. Is o a composite number?
True
Let w be 2/5 + (-58)/(-5). Let n = 51 + w. Let d = n - -160. Is d prime?
True
Let z(s) = 2*s + s**3 - 2 + 8*s**2 + 1 - 7*s. Is z(-7) a prime number?
True
Let g(k) = -k + 10. Let a be g(7). Suppose -a*f = 2*f + 85. Is -3 - (1 - 0)*f a prime number?
False
Let i(b) = -4*b**3 - 3*b**2 - 3*b + 6. Let l be i(-5). Suppose -7*r + 5*r = -l. Is r prime?
True
Let s(i) = -i**2 + 6*i - 2. Let y be s(4). Let a = -4 + -2. Is 3/a - (-549)/y prime?
False
Let g = -19553 - -27820. Is g a composite number?
True
Let h(u) = u**2 + u. Let x be h(-1). Suppose -5*k - 2*w = -93, k - 3*w + 4*w - 18 = x. Let r = 20 + k. Is r prime?
False
Let g = -26 + 52. Let n = g + 72. Suppose -4*j + 3*c = -n, 4*j + 2*c - 43 = 45. Is j a prime number?
True
Suppose 5*n + 3*f = 198 + 393, 0 = -5*n - f + 597. Suppose 4*g - n - 188 = 0. Is g composite?
True
Suppose -66 = -p + j, 4*p - 5 = -5*j + 286. Is p a composite number?
True
Let r = -46 + 224. Is r a prime number?
False
Suppose -405 = 4*i - 9*i. Is (-2)/(i/(-79) + 1) prime?
True
Suppose 2*b + 55 = v, -2*v + 3*b + 107 = 2*b. Suppose -f = -0*f - v. Is f composite?
False
Let y(r) = -r**3 + 5*r + 2. Is y(-4) a prime number?
False
Suppose -3*n + y + 12954 = 0, -3*y = 2*n - 4452 - 4195. Is n a composite number?
True
Is ((-2)/4)/((-1)/254) a composite number?
False
Suppose 0 = 2*h - 10 - 4. Let v be h/(-2) - (-1)/(-2). Is v/((-12)/(-49))*-3 a composite number?
True
Let k = 2797 + -1910. Is k a prime number?
True
Let a = -143 - -94. Let u = -14 - a. Is u a prime number?
False
Let z(w) = 21*w**2 - 3*w - 5. Is z(4) a composite number?
True
Let a(m) = 95*m**2 + m + 1. Let z = -6 - -4. Is a(z) a prime number?
True
Suppose 0 = -i - i + 12. Is 71 + 0 + 18/i prime?
False
Suppose 2*q = 5*q + 24. Let a = q - -11. Suppose b = a*b - 42. Is b composite?
True
Let j(n) = -7*n**3 + 8*n + 3. Is j(-5) prime?
False
Suppose -5*s - 133 + 48 = 0. Let w = -9 - s. Let x(k) = -k**3 + 11*k**2 - 11*k - 7. Is x(w) a prime number?
True
Let x = -103 + 50. Is (0 + -2 - x) + -2 a prime number?
False
Suppose 4*s - 4*g = 2*s, -s + 4*g - 2 = 0. Let y(k) = 12*k + 13 - 3*k + 3*k - s. Is y(11) a composite number?
True
Let b(l) = -l + 2. Let k be b(-4). Let d = 9 - k. Suppose 3*t = -5*a + 727, 4*a - 580 = t - d*t. Is a a composite number?
True
Suppose 2*u - 3*d - d - 11998 = 0, 30055 = 5*u + 5*d. Is u a composite number?
False
Suppose -340 = -2*d - 3*j, -2*d + 3*d - 170 = 3*j. Suppose 0*u - 2*u = 5*y - 105, 3*u - 5*y = d. Is u a composite number?
True
Suppose 3*q + 5*p = 120, -q + 5*p + 55 = q. Is q composite?
True
Suppose 3*a - 6 = 6*a + 5*h, -5*h - 4 = 2*a. Let d be (1 + 1)*19/a. Let b = 30 + d. Is b prime?
True
Suppose -4*p - p + 5*h = -40, p + 3*h + 4 = 0. Suppose n + 20 = 3*n + p*g, -3*g = 3*n - 39. Is n prime?
False
Is 4/(-18) + (-4)/((-72)/9742) a composite number?
False
Let b = 219 + -98. Is b prime?
False
Suppose -9 - 6 = -5*s. Suppose 0 = -2*g - 4*r, 1 = -2*g - 2*r - s. Is (-657)/(-21) - g/(-14) prime?
True
Let x(h) = 13*h**2 + 3*h + 2. Let y be x(-2). Let j = y - 27. Is j prime?
False
Let s be 6*4/8 + 24. Is 14860/36 + 6/s a prime number?
False
Let i be -1 - (10/(-1))/2. Suppose -i*p - 2*t + 49 = -p, -4*t + 3 = p. Is p composite?
False
Let n = 366 + 5. Is n a composite number?
True
Suppose -10*j + 2*j = -1048. Is j composite?
False
Let d(v) = 18*v**2 - 5. Is d(3) a composite number?
False
Let i be ((-15)/12)/((-3)/(-12)). Let a(x) = x + 7. Let c be a(i). Is 133*(0 + c) - 1 a prime number?
False
Let j(f) = -102*f. Let p be j(-1). Let l be (-2)/(p/(-98) + 1). Let y = -28 + l. Is y composite?
True
Let y = -92 - -732. Suppose -75 + y = 5*j. Is j prime?
True
Let g be 1/2 - (-22)/4. Suppose 0 = x + y - 4*y - 262, -260 = -x + 5*y. Suppose g*o - x = o