 d. Is j a composite number?
True
Suppose n - 278 = 3*x + 24, -4*n - 4*x = -1288. Is n a prime number?
True
Suppose 3334 = -9*s + 18688. Is s composite?
True
Let k = -187 - -372. Is k a prime number?
False
Suppose 14*v - 2*v = 6744. Is v prime?
False
Let k = 4 + -2. Suppose 3*v = -1 - k, 4*c + 5*v - 7 = 0. Is c prime?
True
Let n be 3*2/(-18)*-213. Suppose -p + 0*m = 4*m - n, -5*p + 2*m + 465 = 0. Is p composite?
True
Suppose -5*h + 10261 = -4*q, -2*q = 5*h - q - 10266. Is h composite?
False
Let a = 39 + -60. Let r = 50 - a. Is r composite?
False
Let i be (-1)/(-5) + (-164)/(-5). Let u = i + 7. Let k = u - 21. Is k a prime number?
True
Suppose 5*t + 9 - 24 = 0. Suppose l + 5*s - 112 = 0, 476 = 5*l - 0*l - t*s. Is l a composite number?
False
Let x(g) = 282*g - 19. Is x(6) a prime number?
False
Suppose 4*q = -25 - 139. Let m = 88 + q. Is m composite?
False
Let r = 26 + -50. Let b = r + 109. Is b a prime number?
False
Is (-4 - -93) + 4/2 a composite number?
True
Let a(l) = -l**2 - 25*l - 10. Let d(f) = f**3 + 3*f**2 - 2*f - 4. Let o be d(-4). Is a(o) a composite number?
True
Is (-24631 - -4)*(-2)/6 a prime number?
True
Let j(h) = -h**2 + 8*h - 3. Let s be j(3). Is 49/2*s/6 a composite number?
True
Suppose -i + 3 = 1. Suppose 2*y + 12 = -y - 3*z, y - 5*z = i. Is -13*y/(-9)*-3 prime?
True
Let g = 130 - 65. Is g a prime number?
False
Suppose -2*v = -v + 124. Is (v/8)/((-1)/2) a composite number?
False
Let k be (-105)/(-20) - 6/(-8). Suppose 3*t = 4*m + 23, -14 = -2*t - m - k. Suppose -2*s + 179 = -t*u - 139, 3*s = -2*u + 439. Is s a prime number?
True
Suppose -5*h = -3*b - 4 - 35, -3*h - 9 = 0. Is 4/b + (-1426)/(-18) prime?
True
Is (15 + -9)*(-61)/(-2) composite?
True
Let u = -515 + 1986. Is u a composite number?
False
Let y(m) = 10*m**3 - m**2 - 4*m + 3. Let k be y(2). Let x be 22/6 + (-4)/6. Suppose 0 = -b + 4*s + 5, -s = -x*b - 3*s + k. Is b prime?
False
Let b(m) = -551*m + 8. Is b(-3) a prime number?
False
Let z(c) = 10*c**2 + 30*c - 51. Is z(10) prime?
True
Let t = 1522 + -415. Let w = t - 263. Is (-2)/(-8) - w/(-16) a composite number?
False
Suppose -25 = 4*o - 105. Suppose -3*y = 2*y + v - o, y = 3*v + 20. Suppose 0 = -p + y*p - 260. Is p a composite number?
True
Suppose 0 = 5*q + 2*f - 534, -4*q + 2*f = q - 526. Is q a composite number?
True
Let k = -637 + 1190. Is k a prime number?
False
Let s(h) = -h + 6. Let o be s(3). Let p = o - 4. Is 2 + (p - -1) + 11 a composite number?
False
Suppose 136 = -11*j - 238. Let a(i) = 2*i**3 - 6*i**2 + 5*i + 1. Let u be a(4). Let f = u + j. Is f a composite number?
False
Suppose y - 316 = -3*h + 3*y, 0 = -2*h + 5*y + 207. Let s = h + 162. Suppose -3*z + u = -s, -z + 358 = 3*z - 2*u. Is z a prime number?
True
Let s = -26 + 139. Is s a prime number?
True
Let h(b) = -7 - 9*b**2 + b - 3*b**3 + 1 + 5*b + b**2. Let q be h(-7). Suppose -q = -s - 2*s + 4*j, -5*j = 5*s - 935. Is s prime?
True
Let l = -13 - -18. Let m = -11 + l. Is (20/m)/(1/(-3)) prime?
False
Suppose -3*m + 1370 = 2*m. Is m prime?
False
Let c(j) = j**2 + j - 7. Let z be c(3). Suppose 3*y + 2239 = z*f, 4*f = 5*y + 868 + 918. Is f composite?
False
Let o = -122 + 373. Is o a prime number?
True
Suppose 0 = 2*k + k - 69. Is k a composite number?
False
Let k = -1857 + 2770. Is k a composite number?
True
Let p = -859 - -1487. Let l = -307 + p. Is l prime?
False
Let q be ((-110)/8)/(5/180). Let z = q + 850. Is z a composite number?
True
Let y(s) = 278*s + 19. Is y(5) a prime number?
True
Let n = 262 - 160. Suppose -n = -0*i - 2*i. Is i a composite number?
True
Suppose -493 = -5*j - 4*a + 97, 4*j = -a + 472. Is j composite?
True
Let t(d) = -2*d. Suppose -4*p + 14 = -b, 2*b - 3*p - 2*p + 19 = 0. Let m be t(b). Is 52 + -1 + -4 + m prime?
False
Let g(p) = p**3 + 13*p**2 - p - 12. Let u be g(-10). Suppose -t + 145 = -u. Is t prime?
True
Let j = -4 + 18. Is j a prime number?
False
Suppose 5*t = -3*s - s + 206, 4*t = -5*s + 172. Is t a prime number?
False
Suppose 0 = 5*o + 59 + 16. Let x = 24 + o. Is (-1 + 354/x)*3 prime?
False
Let t(j) = -12*j**2 + 6*j - 3. Let f be t(8). Is (f/(-3))/(2/4) prime?
False
Let i = 420 - 73. Is i a composite number?
False
Let a = 254 + -127. Is a composite?
False
Suppose 0 - 5 = -m. Suppose -3*p + m*p + 2 = 0. Is 8 - p/(2/4) a prime number?
False
Let x be (-19)/7 - 8/28. Let i be 1/(3/(-3)) - x. Is -2 - (-91 - (i - 0)) composite?
True
Let a(r) = 23*r**2 + 2*r - 1. Is a(-2) a composite number?
True
Is 7044/(4/(-1))*(0 + -1) a prime number?
False
Let r = -9 + 46. Is r a composite number?
False
Let l be (-152)/(-40) + 1/5. Suppose 5*x - 91 = -2*i, -12 + 1 = -x - l*i. Is x a prime number?
True
Suppose 0 = -a - a. Is (a - -52)/(-3 - -5) composite?
True
Let n(q) = -q**3 - q**2 + q + 55. Is n(0) a prime number?
False
Let x = -4 + 41. Is x prime?
True
Let f(h) = 54*h**2 + 5*h - 1. Let q be f(-5). Is -5*q/40*-2 a composite number?
False
Let b(m) = 2*m**2 + 4*m + 1. Suppose 4*n + 12 = 5*n. Let p = -8 + n. Is b(p) composite?
True
Let v = -64 - -121. Is v a composite number?
True
Let p be 4/(-18) - 101/(-9). Let j = 16 - p. Suppose b = 5*b + k - 57, j*b - k - 60 = 0. Is b a composite number?
False
Let b = -25 + 46. Is b a prime number?
False
Suppose 2*t - 8 = -2*t. Let g be 66 - (-1 + t/(-2)). Is g + (-4)/(-2) + -1 composite?
True
Suppose -5*c = 103 - 393. Let j = 96 - c. Let x = j + 29. Is x prime?
True
Let m = 13 + -9. Suppose 286 = m*v - 294. Is v a prime number?
False
Suppose -4*j = -5*j + 1067. Is j composite?
True
Let u(c) = c + 0*c + 0*c + 1. Let r be u(3). Is 186/r - (-3)/6 a prime number?
True
Suppose 3*y = -v - 2*y + 2, 0 = 3*v + 5*y - 6. Suppose -3*a = 3, 4*a - v = -3*t - 0*a. Suppose -13 = -i + t. Is i a composite number?
True
Is (-6)/(-15) - 4389/(-15) composite?
False
Let u be (-3 - -1)*3/(-2). Suppose -4 = -r + u*r. Is r/9 - 850/(-18) a prime number?
True
Suppose -4*s + 8*s + 3*i - 652 = 0, -3*i - 815 = -5*s. Is s prime?
True
Let t(q) = q**2 - 5. Let b be t(-5). Let f be 46/(-4)*(-8 + 2). Let j = b + f. Is j prime?
True
Suppose -3*n - 2040 - 667 = -4*s, 4*s = -2*n + 2722. Is s a composite number?
True
Suppose 165 - 10640 = -5*c. Is c a prime number?
False
Suppose -g = -0*g - 5. Suppose -5*c + 2*o = -g + 34, 4*c + 13 = 5*o. Is 4/14 + (-40)/c composite?
True
Suppose 5*m - 2*k = 271, 29 = m - 2*k - 30. Is m composite?
False
Let t = 7 + 19. Is t prime?
False
Let w(r) = r**2 - 1. Let n(a) = a**3 - 6*a**2 - 6*a + 2. Let j(t) = n(t) + 5*w(t). Is j(5) a composite number?
False
Let i be (24/14)/((-6)/(-42)). Let c = i - 7. Suppose 5*y = c*a - 190, -5*a = 4*y - 96 - 139. Is a a prime number?
True
Suppose 0 = 3*i - 7*i + 4*q + 32, 3*q = -9. Suppose -16 = 3*f + 4*w, -4 = 4*f - i*w + 7. Let y = f - -27. Is y composite?
False
Suppose 8*k - 3*k - 30 = 0. Suppose r - 3*a - 34 = -k, -5*r = -a - 98. Is r prime?
True
Suppose -4*d + 4*l = -2392, l = 5*l + 20. Is d a composite number?
False
Let c be (-5)/(5/(-33)) + -1. Let o = c + -26. Is o prime?
False
Let v(u) = 31*u**2 - 4*u + 4. Let q be v(3). Let k = 483 - q. Let f = -71 + k. Is f a composite number?
True
Is (-3)/(-9)*(2 + 3775) prime?
True
Suppose -x + 0 + 2 = 0. Suppose 27 = z + x*z. Is 0*(-3)/z - -127 composite?
False
Suppose 0*p = -3*p + 6. Suppose -5 + 17 = -p*y. Let a(o) = o**3 + 7*o**2 + 6*o + 6. Is a(y) composite?
True
Let u = 3 + -1. Let y(m) = 3*m**2 - 6*m - 2. Let k(n) = -5*n**2 + 12*n + 3. Let q(f) = u*k(f) + 5*y(f). Is q(5) a composite number?
True
Let m be ((-2)/(-4))/((-2)/12). Suppose -4*y - 2*h = 14, 0*y - 3*y - 8 = -h. Is 34/((y*1)/m) a composite number?
True
Let i(w) = w**3 + 6*w**2 - 5. Let y be i(-6). Let l(m) = -27*m - 7. Let r be l(y). Suppose -5*g - q = q - r, 4*q = -4*g + 100. Is g prime?
False
Suppose 0 = 4*z - 3025 - 4267. Is z composite?
False
Let f(p) = p**3 - 5*p**2 + p - 11. Let v be f(5). Let c(r) = 3*r**2 - 7*r - 5. Is c(v) a prime number?
False
Let b be (-16)/(-7) - 2/7. Suppose 2 = -q - 3*j, 3*j + 2 = j. Is (b/q)/(4/74) prime?
True
Let z = 8 - 4. Suppose -3*q + 337 = 2*l - 7*l, q + z*l - 135 = 0. Is q a prime number?
False
Let b(i) = 30*i**2 + i + 1. Let h = 2 + -4. Is b(h) prime?
False
Suppose 0*l + 44 = 4*l. Let a = l + -6. Suppose -a*m - 4*r + 241 = 0, 35 = m + 3*r - 11. Is m a composite number?
True
Suppose -3*o = -1090 + 97. Is o composite?
False
Suppo