 + 0. Is (-6)/g - (d - 1) prime?
True
Let l(u) = -u**3 + 4*u**2 + 4*u + 5. Let p be l(5). Let d(o) = -o + 37. Is d(p) a prime number?
True
Let c(j) = -j - 1. Suppose -5*l + 3*n + 0*n = 40, 5*l = -3*n - 10. Is c(l) a composite number?
True
Let i(d) = 34*d - 7. Let z = 16 + -11. Is i(z) prime?
True
Let r(z) = 4*z**3. Let o be r(1). Suppose -o*y + 22 = 2*i, -2*i + 3*i = 5*y - 31. Is y prime?
False
Suppose 0 = -3*l + 5*l - 502. Is l a composite number?
False
Suppose 0*w - 3*w = -18. Let m = w - 4. Suppose 0 = -4*g - 5*d + 112, -6 = m*d - 14. Is g a composite number?
False
Let p(a) = -2*a**3 - 8*a**2 + 3*a - 19. Is p(-10) a prime number?
True
Let n be (-4527)/(-33) - (-6)/(-33). Suppose 5*j - 4*d + 12 = -n, 2*d + 8 = 0. Is (-4)/22 - 1029/j a composite number?
False
Let g(a) = 4*a**2. Let d be g(-1). Suppose -f = d*j - 7 - 10, 0 = 2*j - 2*f + 4. Suppose 5*q - j*q + 10 = 0, -2*p = -5*q - 195. Is p prime?
False
Suppose 3*r = -5*d + 696, 0 = 4*d + 12. Is r prime?
False
Let a(d) = -d + 11. Let f be a(7). Suppose -f*y - 2*q = -q - 32, -5*y = 3*q - 33. Is y composite?
True
Suppose -159 = -5*z + 201. Let t = z + -26. Is t prime?
False
Let z = 16 - 10. Suppose -z + 0 = -2*n, -2*s - 4*n = -4. Is (5/s)/(3/(-84)) composite?
True
Let h be (-6)/(-3)*(2 + -3). Let g be h/3 - (-32)/3. Is 4/g + 549/15 composite?
False
Let n = -33 + 2. Let v = -67 - -129. Let y = n + v. Is y composite?
False
Let h(k) = k + 8. Let i be h(-6). Suppose -425 = -i*u - 3*u. Is u a composite number?
True
Is 33 + (0 - (0 - 4)) composite?
False
Let t(q) = 24*q + 4. Let i(b) = 36*b + 6. Let u(z) = -5*i(z) + 8*t(z). Is u(3) a composite number?
True
Suppose 5*l - 266 = -k, 5*k + l = 171 + 1087. Is k a prime number?
True
Let l(h) = h**3 + 7*h**2 - 2*h. Let k be l(-6). Let r = 34 - 51. Let w = r + k. Is w prime?
True
Suppose -8 - 4 = -2*y. Let q(f) = -f + 11. Let x be q(y). Suppose x*v - 2*l = l + 113, -5*v - 2*l = -133. Is v prime?
False
Suppose w - 82 = 29. Is w prime?
False
Let i = 154 - -353. Let v = i + -308. Is v composite?
False
Let g be 2 + 2*(2 + -3). Suppose -3*s + s + 12 = g. Is s a prime number?
False
Let c be 20/6 - (-6)/9. Let q be ((-3)/c)/(2/(-8)). Is 36 - q/(-1*3) composite?
False
Suppose k - 20 = -3*k. Suppose 25 = -0*g - k*g. Let p(w) = w**2. Is p(g) a composite number?
True
Let k be 64/14 - 3/(-7). Suppose 0*p + 2605 = k*p. Is p a composite number?
False
Suppose 0 = -4*w - 4, z + 0*z - 3*w - 36 = 0. Is z composite?
True
Suppose 3*t - 1592 = 301. Is t a composite number?
False
Suppose -757 = -9*g - 136. Is g a composite number?
True
Suppose -2*b + 4*b - 658 = 0. Is b composite?
True
Suppose -q - 2 = 0, -2*c - 2*q + 964 = 3*q. Is c a composite number?
False
Suppose 0 = 2*t + 2*r + 2, -3*t + r + 7 = -t. Let j = t + 3. Suppose 4*m - 41 = -5*x + 96, 5*x = j*m - 160. Is m a composite number?
True
Let l be (-2)/(-1) + -1 - -81. Is (-2)/3 + l/6 a prime number?
True
Suppose -5*k - v + 31 = -3*v, 4*k - 26 = 2*v. Suppose -5*m + 4 = -6. Suppose k = m*z - 21. Is z a prime number?
True
Let u(r) = -56*r - 21. Is u(-7) prime?
False
Let a = 688 - 147. Is a a prime number?
True
Let a be -1 + (7 - (0 + 2)). Suppose -f - a*f = 35. Let g = f - -28. Is g composite?
True
Suppose -2*o = 3*o + 30. Let d(j) = -2*j + j**2 - 5 + 4*j + 3. Is d(o) a prime number?
False
Let o(r) = -r**2 - 5*r - 7. Let t be o(-6). Let f be (-1 + t)*6/(-4). Suppose -f = -q - 0*q. Is q composite?
True
Suppose -1469 = -6*k + 265. Is k composite?
True
Suppose -u = -1 - 3. Suppose t - 97 = 4*z, -t - 2*t + u*z + 251 = 0. Is t a composite number?
True
Is 255 + (6/3)/1 composite?
False
Is (2 - (1 + 1846/8))*-4 a composite number?
False
Suppose 4*r + 3*g - 2*g - 1292 = 0, 0 = -g. Is r a prime number?
False
Suppose -q = q + 6. Let d be (q/(-6))/(1/4). Suppose 0*j - d*j + 12 = 0. Is j a prime number?
False
Let x be (3 - 6)/((-3)/9). Let s be (x - 0)*46/3. Suppose 2*g + 0*g = s. Is g a composite number?
True
Suppose 3*y + 0*y + 4*m - 343 = 0, 3*y - 335 = -2*m. Is y prime?
True
Suppose -3*q - 5*u = -4*q + 94, 0 = -4*q - 4*u + 280. Let d = -51 + q. Is d a composite number?
False
Suppose 0*k = 2*k + 8. Let z = 3 + k. Is (-2 - z)*74/(-2) composite?
False
Suppose 2*a + 25 = 7*a. Suppose -4*q + 611 = -a*c, 2*c + 74 = 3*q - 379. Is q a prime number?
True
Let q be (1/(-2))/((-3)/552). Is q/6*(-120)/(-16) a composite number?
True
Is 70 - ((1 - 0) + 2) a composite number?
False
Suppose -54 = -0*z - 3*z. Suppose 12 = -w + 4*k, -2*w + z = k + 6. Suppose 178 + 42 = w*h. Is h a prime number?
False
Suppose -3*q = -5*r + 10324, -4*q - 7553 = -4*r + 711. Is r a prime number?
True
Let r = -9 - 77. Let n = 47 - r. Is n a prime number?
False
Let z(s) = -4*s - 1. Let q be z(-2). Let v be (10/(-8) + 2)*16. Let u = q + v. Is u a prime number?
True
Suppose 4*q - 2*t + 3*t = 4, -2*q + 2*t = -12. Suppose -106 = r + q*d, -3*d - 626 = 5*r - 82. Let w = -51 - r. Is w prime?
True
Let c = 106 + 331. Is c a composite number?
True
Let o = 2 - 1. Let q(i) = 4*i + 1. Let f be q(o). Suppose 6*g - 20 = 2*g, -f*a + 5*g + 100 = 0. Is a prime?
False
Suppose a = 3 - 1. Suppose -4*v = -t - 0*t + 27, a*t - 4*v - 50 = 0. Is t prime?
True
Is (3 + (-5944)/12)/(8/(-24)) a prime number?
False
Let z = -5 + 8. Let c = 28 + z. Is c a composite number?
False
Let d be -10*(-1)/5*2. Suppose 6*u = d*t + u - 109, 2*t - 22 = -4*u. Suppose -5*l + t = 1. Is l a prime number?
False
Let o = -185 - -108. Let f = o - -116. Is f composite?
True
Let v(m) = 156*m**2 + 3*m - 2. Is v(1) prime?
True
Let r be 6/(-21) - (-443)/7. Suppose -b - x + r = 2*x, 0 = 5*x - 10. Is b a prime number?
False
Let a = -2 + 4. Suppose -5*w + 633 = -a*w. Is w a composite number?
False
Suppose -4*d = -3*d. Suppose d = a + 4*a - 925. Is a prime?
False
Let v = 10 + -7. Suppose -5*r - 5 + 25 = 0. Let s = v + r. Is s a composite number?
False
Let o = 26 - 17. Is (2 - 3) + -1 + o composite?
False
Suppose 2*s + 4 = 4*g - 4, 5*g = 5*s. Suppose -77 = -5*v - 4*u, g*v = -4*u + 46 + 18. Is v composite?
False
Let b = -171 + 408. Is b composite?
True
Let m be 2/(-4) + 27/(-6). Let j(q) = q**3 + 7*q**2 + 6*q - 7. Is j(m) prime?
True
Suppose -3*g + 344 = -16. Let u(n) = 40*n - 9. Let l be u(2). Let d = g - l. Is d a composite number?
True
Let a(g) = 2*g**3 - 6*g**2 - 8*g + 9. Suppose -5*i + 8*i - 54 = 0. Suppose -l - 2*l = -i. Is a(l) a prime number?
False
Let x(f) = -f**3 - 6*f**2 - 6*f - 1. Let l be x(-5). Suppose -o = -l*o + 390. Let p = o + -3. Is p a prime number?
True
Suppose g - 152 = -g - h, -4*g - h + 302 = 0. Suppose -5*p + g = 10. Is p prime?
True
Let j = 350 + 47. Let i = -158 + j. Is i a prime number?
True
Let r be (5 + -2)*1*1. Suppose j - r*s + 26 = 0, -5*s = -2*j - 0*s - 56. Let m = j - -64. Is m prime?
False
Let u = -6 + 16. Let p be u/4*(-84)/(-15). Is p*(2 + 0 + -1) composite?
True
Suppose -4*f = 1685 + 675. Let o = -379 - f. Is o prime?
True
Suppose -2*w + 6*w = 148. Let o = w - -46. Let v = o + 2. Is v a composite number?
True
Suppose -5*r + 4*b = -71, -5*r - b + 77 = b. Let g = r - -62. Is g a composite number?
True
Suppose -3*r - 1061 = -4*r. Is r a prime number?
True
Suppose 2*y - b = 3322, -5*b + 4*b + 1667 = y. Is y a prime number?
True
Let g = -2 - -39. Suppose -g = 5*v + 8. Is (-18)/4*30/v prime?
False
Suppose 4*g + 6 = 7*g. Is (-2*(-209 + -2))/g prime?
True
Let o = -5 + 9. Suppose -2*n - u = n - 167, -2*u = -o. Is n a prime number?
False
Suppose 5*u + 3786 = 8*u. Suppose 2*p - u = -0*p. Is p a prime number?
True
Suppose -23 + 3 = 2*n - m, -5*n = -4*m + 50. Let j be (2 + 24/n)*5. Is 1 + ((-6)/j - 1) composite?
False
Is 36/(-9)*((-411)/4 - -1) composite?
True
Suppose 3*m + 4172 = 4*d - 2*m, 0 = -d - 3*m + 1043. Is d a prime number?
False
Let a = 616 - -741. Is a composite?
True
Let m(s) = s**2 + s - 1. Let t(n) = -36*n**2 + 4*n - 3. Let a(i) = 4*m(i) - t(i). Is a(1) a composite number?
True
Let x be (-1)/1*-1*3. Suppose 0 = -x*b - 619 + 2116. Is b prime?
True
Let q = 45 + 66. Is q a prime number?
False
Suppose -6*c = -2*c - 2740. Is c a composite number?
True
Let a(r) = -6*r**3 - r**2 - 3*r - 1. Let h = -6 + 4. Is a(h) composite?
True
Let d(n) = -3*n - 3. Suppose 12 = -5*t + t. Let w be d(t). Is (-1595)/(-20) + w/(-8) composite?
False
Let b be (6/3 - -1) + 1. Suppose 2*q + 20 = 4*r, -5*r - 4*q + 8 + b = 0. 