 7*r - b*r - 1025. Is r prime?
False
Suppose -f - 472 = 3*d, 0 = 2*d + 2*f - 6*f + 324. Is 6/(-21) - d/14 prime?
True
Suppose 8107 = -26*t + 37877. Is t prime?
False
Suppose 0 = 5*w + 2*y + 87, 69 = -4*w + y - 2*y. Let u = -12 - w. Suppose u*h = -4*q + 15, 4*h = 2*q + 19 - 7. Is h a prime number?
True
Suppose 1 = -5*t - 39. Let q be 2/t + (-22)/8. Is (5 + -26)*17/q prime?
False
Let g(c) = -c**2 + 6*c - 1. Let b be g(5). Let s be 3*(b + -3) + 5622. Is (-4)/14 + s/63 prime?
True
Let o = -574 + 1115. Is o prime?
True
Let x(t) = t**3 - 4*t**2 - 5*t + 2. Let w be x(5). Let f = -3 - -25. Suppose 2*q - 94 = -4*g, q - w*g - g = f. Is q a prime number?
True
Suppose 2*g - 9931 = -3*g + 2*d, -d = -2. Is g composite?
False
Suppose -4*z = -z + 33. Is (-1461)/z - (-26)/143 composite?
True
Suppose 0*j = 5*v - 2*j - 48, 5*j = -3*v + 4. Let o(i) = 0*i**2 - i**2 - 3 + 5*i + 6*i. Is o(v) a composite number?
True
Is 0 - (-3195)/3 - -2 prime?
False
Let y = 40 + -37. Let o = -6 + 8. Suppose 2*t + 200 = 6*t - o*n, 2*t = -y*n + 108. Is t a prime number?
False
Let k(j) = 15*j + 12. Let u be k(9). Is ((-3)/9)/((-1)/u) a prime number?
False
Suppose -2*q + 276 = 50. Is q prime?
True
Suppose 0*m + 8 = 2*m. Suppose -8 + 33 = 5*w. Suppose -w*z - 185 = -5*p, -138 = -m*p - z - 0*z. Is p a prime number?
False
Let j = 6 + -7. Let t(r) = -36*r - 1. Is t(j) a prime number?
False
Let s be 21/((-2)/((-444)/9)). Suppose 0*q + q = 3*w + s, 4*w = -3*q - 708. Let x = -25 - w. Is x prime?
True
Suppose 4 + 8 = -3*u. Let o be (-1)/u*2*4. Suppose m - o*r - 3*r = 36, 4*r - 72 = -4*m. Is m a prime number?
False
Suppose q - 45 = -3*f, 2*f + 73 = q - 2*f. Is q prime?
False
Let h(j) = -6*j**2 - 2 - j**3 - 1 - 6*j - 2. Let x be h(-5). Is (x - -4)*(-35)/(-20) composite?
False
Suppose 6*c - c = 2035. Is c prime?
False
Suppose -o = -4*s + 2*o + 850, 0 = 3*o + 6. Is s a prime number?
True
Suppose -13 = 3*g + g - n, -n - 15 = 3*g. Let m = g - -9. Suppose 0 = -2*p - 2*i - 2*i + 266, -m*i - 454 = -3*p. Is p a composite number?
True
Suppose n + 12 = -3*n. Is (419/4)/(n/(-12)) composite?
False
Let n(v) = v**3 + 9*v**2 - 11*v - 9. Let w(m) = m**2 - 6*m - 3. Let a be w(5). Is n(a) composite?
True
Suppose 2*x + 1011 = 5*q, 0 = 3*q - 0*q + 5*x - 588. Is q a prime number?
False
Suppose 2*i = -0*i - 104. Let m = -67 + i. Is (-1)/3*m*3 a prime number?
False
Let l be (8/(-14))/(10/(-35)). Is ((-10)/4)/(l/(-212)) a composite number?
True
Let t be (1/(-2))/(3/19110). Is 27/36 + t/(-4) a prime number?
True
Let x(o) = o**3 - 5*o**2 - 6*o + 6. Suppose -5*p = i - 25, 0 = -p + i + 10 + 1. Let y be x(p). Suppose -y*r = -2*r - 28. Is r a composite number?
False
Suppose -3*x + 9583 + 15272 = 0. Is x composite?
True
Suppose -20*g + 998 = -18*g. Is g a composite number?
False
Suppose -142 = -0*b - 2*b - 4*v, b = 2*v + 63. Suppose -b = 2*l - 3*l. Is l a composite number?
False
Suppose -2*i - 91 = -507. Suppose 2*s + a - i = 2*a, 0 = 3*s + 4*a - 323. Suppose s = d + 4*d. Is d a prime number?
False
Let a be 1/(-1)*4*4. Let q = a + 75. Is q a prime number?
True
Let a(k) = k**2 + 17*k + 12. Let f be a(-16). Is 2*2/f + 254 prime?
False
Suppose u = 5*r - 11, 5*u - 12 = 2*u. Suppose 0*w - 3*w = -r*p + 294, 5*p - 3*w - 498 = 0. Suppose 3*c - p = c. Is c composite?
True
Let r = -1 + 0. Suppose 5*b + 204 = 8*b. Is (r + b)/((-1)/(-1)) prime?
True
Let j(c) = -c**3 - 14*c**2 - 14*c - 15. Let p be j(-13). Let r = p + 7. Suppose -1018 - 277 = -r*v. Is v prime?
False
Let b be 2/(-3)*(-3 - 0). Suppose -b*g - 3*g + 1325 = 0. Is g prime?
False
Suppose 0 = -5*q - r + 2948 - 511, -4*q - 5*r = -1958. Is q a composite number?
False
Is 389*2/4*(8 + -6) a composite number?
False
Let d = 19 + 40. Is d a composite number?
False
Let n(w) = 2*w**3 + 4*w**2 + w + 5. Let u = 0 - 4. Let h be n(u). Let b = 20 - h. Is b composite?
False
Let v = 214 - -123. Is v prime?
True
Let r(p) = -p**3 - 4*p**2 + 6*p + 3. Let x be r(-5). Is 211/(-2)*(x + 0) a prime number?
True
Let c(k) = 2*k**2 + 8*k - 5. Suppose -f - 17 = -45. Suppose -5*g + f = -g. Is c(g) prime?
True
Let k = -225 - -620. Is k a composite number?
True
Let u(c) = -c**3 - c**2 + c + 69. Let z be u(0). Suppose -j - 2*j = -z. Is j a composite number?
False
Suppose 3*j - 2*y = -7*y + 419, -2*j = -y - 288. Is j prime?
False
Let y(i) = -12*i - 2. Let k be y(-5). Is (-1 + 3 - 2) + k a composite number?
True
Let a = -1034 + 2149. Is a a composite number?
True
Let y be (0 - 0) + 1 - -2. Let s be (3 + y)*113/(-2). Is (-6)/9 - s/9 composite?
False
Suppose -18997 = 11*n - 88814. Is n a prime number?
False
Is -2 - ((-292)/4 - -2) prime?
False
Let f(r) = r - 1. Let q be f(4). Suppose -5*d + 7*a - q*a = -437, a = d - 87. Is d a prime number?
True
Suppose 8 = 4*h - 0*h. Suppose -h*l - 2*l = -220. Is l composite?
True
Suppose -2*n = -5*k + 60, -2*k = 2*k - 4*n - 60. Is k a prime number?
False
Is (-141)/6*-4 + -3 composite?
True
Let c(k) = k**3 - 10*k**2 - 14*k - 28. Is c(15) a prime number?
True
Suppose 0 = 4*d + s + 78, 4*s + 39 + 53 = -5*d. Is 0 + -5*24/d prime?
False
Let h be 3*((-370)/6)/1. Let p = -814 - -198. Let x = h - p. Is x a prime number?
True
Let x(v) = 118*v**2 + 2*v - 1. Let c be (-57)/21 - (-6)/(-21). Let m = -2 - c. Is x(m) prime?
False
Let l(o) = 23*o**2 - 4*o + 8. Is l(-7) a composite number?
False
Suppose -2*v - 3 = v. Is 2508/16 + v/(-4) a prime number?
True
Let l be -15*-1*4/(-10). Is -46*((-15)/l)/(-5) prime?
True
Let a(l) = 15*l - 1. Let m(v) = -1. Let q(g) = -a(g) + 2*m(g). Let y be q(-4). Let c = y + -4. Is c composite?
True
Suppose -30*y - 223 = -31*y. Is y composite?
False
Let f(s) = 1152*s + 55. Is f(3) a composite number?
False
Suppose -4*i = -2*d - 26, 5 = 4*i + 2*d - 9. Let k(c) be the first derivative of 3*c**2/2 - 2*c - 1. Is k(i) composite?
False
Let l(g) = -115*g**3 + g**2 + g - 1. Let f be l(1). Let p be 2/((-4)/(-394) - 0). Let y = f + p. Is y a composite number?
False
Suppose 2*s - 270 = -4*l, -4*s = l - 0*s - 85. Is l composite?
True
Let u(f) = -f**3 + 37. Let j(g) = g**3 + 6*g**2 + 6*g + 5. Let i be j(-5). Is u(i) a composite number?
False
Is -762*7/28*(-4)/3 composite?
True
Suppose -2310 = -3*y + 456. Suppose 0 = -q - 2*o + 232, -3*q + y = q + 2*o. Let i = q + -109. Is i prime?
False
Let o = -14 - -105. Is o prime?
False
Suppose -104 = -2*j + 126. Is j prime?
False
Let i = 58 - -74. Suppose 2*g - i - 120 = 0. Suppose 2*a = 3*f - 117, 5*a + g = f + 2*f. Is f prime?
True
Let r(x) = x**3 + 9*x**2 + 7*x - 6. Let n be r(-8). Let a = 2 + -1. Let k = n + a. Is k prime?
True
Let t(w) = w - 4. Let b be t(8). Suppose j + 554 = 5*v + b*j, 2*v - 227 = -3*j. Let l = -32 + v. Is l a prime number?
False
Let f(j) be the second derivative of -j**5/20 - 5*j**4/6 + 2*j**3/3 + 3*j. Is f(-11) a composite number?
True
Is -2 + 432/(1 + 3) prime?
False
Suppose 3*l - 106 = 2. Let q be l/15*10/(-3). Is 1362/14 - q/(-28) a composite number?
False
Let o(m) = 24*m - 7. Let w be 4*(1 - 4/(-16)). Is o(w) prime?
True
Suppose -5*b - 3*c + 418 = 0, -b = 2*c + 37 - 122. Suppose 310 + b = 3*l. Is l a prime number?
True
Let b(m) = m**2 + 6*m - 11. Let l be b(-8). Suppose 0*i - 3*n + 36 = 5*i, -l*i - 5*n = -40. Let u = 29 + i. Is u prime?
False
Let q be 4 - 12/4 - -1. Suppose -2*i - q*j = -3*i + 119, -5*i - 3*j + 556 = 0. Is i a prime number?
True
Suppose -4*s + 5*n = -s - 679, n = -2. Is s a composite number?
False
Let l(d) = -138*d + 13. Is l(-16) a prime number?
True
Let j = -31 + 68. Is j prime?
True
Let z be 6/9 + 48/9. Suppose 2*v + z = 0, -4*l - 5*v = -l - 27. Is l a composite number?
True
Suppose 3*f = 4*l - 20, 0 = 4*l + 2*f - 7*f - 28. Suppose l*v - 520 - 18 = 0. Is v prime?
True
Let m = 7827 + -5148. Suppose m - 824 = 5*t. Is t a prime number?
False
Let u(v) = -5*v - 6. Let o = -24 - -19. Is u(o) composite?
False
Is 191*(-4)/(-12)*3 a prime number?
True
Suppose -524 = -5*m - 174. Suppose 5*h - 5*u + 7*u = 151, 4*u = 2*h - m. Is h a composite number?
False
Let q = -935 + 1864. Is q composite?
False
Suppose -3*v - 61 = -2*v. Let w = 437 + -297. Let a = v + w. Is a composite?
False
Let k = -4 + 0. Is 41 + (k - (-4 - 2)) prime?
True
Let v(k) = 2*k**2 - 3*k - 2. Let t(o) = -2*o**2 + 3*o + 2. Let h(s) = 6*t(s) + 7*v(s). Let w be h(-3). Suppose 4*x + 1 = w. Is x prime?
False
Is (-20)/(-5)*(-578)/(-8) a com