er?
True
Let d = -496 + 960. Suppose 108 = -4*c + d. Is c composite?
False
Suppose -36 = -3*u - 6. Let n = -6 + u. Suppose z - 45 = n. Is z a prime number?
False
Suppose -3*o + 3*l + 0*l + 1188 = 0, -2*l + 1987 = 5*o. Is o a prime number?
True
Let u(v) = v + 2. Let w be u(4). Let a(o) = 6*o**3 - 2*o**2 + 8*o - 13. Is a(w) composite?
False
Suppose 2*d + 5 = -5*i - 3*d, -d + 1 = 3*i. Suppose -3*s = 8 + i. Is (s + -1)*(-46)/8 a composite number?
False
Let q(t) = 6*t**2 + 5*t + 16. Let n be q(-14). Suppose 0*r - z - 1116 = -3*r, -3*r + 3*z + n = 0. Is r a prime number?
False
Let f = 10 + -8. Suppose -a + f = -2. Let z = 55 + a. Is z prime?
True
Suppose 1 = 2*g - 1. Is (g - 2)*1*-15 a prime number?
False
Let i be 0*1/3 - -3. Suppose -i*w - w = 0. Suppose w = -5*j + 80 + 95. Is j a composite number?
True
Suppose k + w - 10 - 120 = 0, -4*k - 2*w = -528. Suppose n - k = -n. Is n composite?
False
Suppose -3*k - 1312 = -a, -a = -3*a + k + 2629. Is a composite?
True
Suppose 2*g - 9 = 3*i, i = -2*g - 3*i - 12. Suppose z + 0*z - 15 = g. Is z a prime number?
False
Suppose -229 = -4*t + 31. Is t prime?
False
Suppose -1646 = -7*w - 15. Is w composite?
False
Let f = 4 - 11. Let o = 22 + f. Is o prime?
False
Let w be 4/((-12)/(-3))*0. Suppose 0 = 5*g - 2*c - 645, g - 2*c - 43 - 94 = w. Is g prime?
True
Let r = 566 + 1859. Suppose -3*l - h + 1455 = 0, 5*l - 4*h = -3*h + r. Is l a composite number?
True
Suppose -3*z = -3, 4*k = k - 3*z + 846. Let w = k - 148. Is w a composite number?
True
Let v = -970 - -2369. Is v a composite number?
False
Let m(a) = a - 1. Let h(u) = 13. Let k(j) = h(j) + 3*m(j). Is k(8) composite?
True
Let m(y) = 175*y - 47. Is m(6) a prime number?
False
Let i = -5 - 1. Is (-3)/9 + (-4796)/i a prime number?
False
Let z(d) = 13*d**3. Let k(l) = l. Let u be k(1). Is z(u) a composite number?
False
Suppose 2*t + 150 = 4*k, -4*k - 44 = t - 209. Suppose 0 = 3*z + b - 141, 0*b - k = -z + 2*b. Suppose 5*u - 3*u - z = -2*w, -w = -5*u + 109. Is u prime?
False
Let l be (-1)/(-3)*0 - -28. Is 2220/l + (-4)/14 a prime number?
True
Let r(x) = 22*x + 14. Is r(6) composite?
True
Suppose 20*b = 1041 + 339. Is b prime?
False
Let b(o) = 2*o**2 + o + 7. Is b(6) a prime number?
False
Let j = -310 - -626. Suppose 5*o = 4*y - j, -y + 2*o = 3*o - 79. Is y a composite number?
False
Let q(c) = 3*c - 4*c - 4 + 2*c. Let h be q(6). Is (-130)/(-4) - h/(-4) composite?
True
Let v = 848 - 261. Is v a composite number?
False
Suppose 2*b + 1843 = c + 11822, -20 = 4*c. Is b a composite number?
False
Suppose -20 + 824 = 6*o. Is o prime?
False
Let s = -115 + 218. Suppose b - 430 = 2*a - s, 0 = 5*a - 20. Is b a composite number?
True
Suppose -4297 = -6*x + 425. Is x composite?
False
Let i(u) be the first derivative of u**4/4 + 8*u**3/3 - 4*u**2 - 11*u + 3. Is i(-8) prime?
True
Suppose o + 19 = 3*q, -5*q - 2*o = 3*o - 25. Is q a composite number?
True
Suppose -p = -4*p - 78. Suppose -q - 5*g = -3*q + 122, g = -q + 61. Let z = q + p. Is z prime?
False
Let s = 1637 + -854. Let g = s - 304. Is g composite?
False
Let t = -116 - -199. Suppose -4*p + 2*x = -128, 5*p + 5*x = 2*p + t. Is p prime?
True
Is 1402/3 + (-2)/6 composite?
False
Let a(w) = -w - 1. Let m be a(-5). Is 2/(-1)*(-254)/m composite?
False
Let x(a) = 1212*a**2 - 2*a - 1. Is x(-1) a prime number?
True
Let l(n) = 22*n + 5. Let w(b) = 45*b + 11. Let m(k) = -9*l(k) + 4*w(k). Is m(-5) composite?
False
Let s = 1025 + -376. Is s composite?
True
Let q be (-10)/(-1*4 + 2). Suppose -q*j - 12 = 3*n, -9 = 2*j + 4*n + 7. Is j/(-2) - 149/(-1) a composite number?
False
Let j be -2 + 0 - (0 - 3). Let p be 4*j*(-2110)/(-8). Suppose 0 = z + 4*z - p. Is z prime?
True
Let u(h) = h + 71. Let r be u(0). Suppose -f = 5*z + 4*f + 35, 6 = -2*f. Is (1 + 0)*(r + z) a composite number?
False
Suppose 0 + 31 = m. Is m a prime number?
True
Suppose 0 = p - 127 - 496. Is p prime?
False
Let v = 2 - -65. Is v prime?
True
Let l(k) = k**3 + 7*k**2 - 6*k + 5. Let u be l(-8). Let j = u + 30. Is j a prime number?
True
Let c be 0 + -2 + 1*20. Let z be (-1)/(2/(-14)) - -1. Suppose y - z - c = 0. Is y composite?
True
Suppose -6 + 4 = -a. Let h be (-1 - a)*(-388)/(-6). Let p = h + 339. Is p a prime number?
False
Let z be (-1)/(10/12 - 1). Let d(t) = 7*t**2 + 448 + 2*t**2 - 4*t - 447 - t**3. Is d(z) prime?
False
Let v = -6 - -3. Let y be 3/v*37 + 0. Is 4/(-10) + y/(-5) prime?
True
Let a(z) = -z - 8. Let h be a(-8). Let t = -5 + h. Let d = 6 - t. Is d a prime number?
True
Let d be 6/9*(-3)/(-1). Suppose d*y - 20 = -2*y. Suppose -370 = -4*t + 5*v, y*t + 2*v - v - 477 = 0. Is t a prime number?
False
Let u(b) = 4*b**2 - 13*b - 6. Let a(v) = -2*v + v + 3*v**2 - 2*v**2. Let f(x) = 6*a(x) - u(x). Is f(-5) a prime number?
False
Let m be (-9 + -2)/((-1)/3). Suppose -2*k = 3*h - 3*k - m, h - 5*k - 25 = 0. Suppose -2*q + h = 3*v - 16, v + 8 = q. Is q a composite number?
True
Let k(l) = -19*l**3 - l**2. Let u be k(-1). Let j = u - 40. Let d = 53 + j. Is d a prime number?
True
Suppose 0 = -2*k - 1 - 13. Let t(c) = -c**2 - 7*c + 5. Let p be t(k). Suppose -3*m + 0*m + 19 = -p*j, 0 = -4*m + 2*j + 16. Is m a prime number?
True
Is (-3 - 0)*2743/(-39) prime?
True
Let i(h) = 4*h**3 + h**2. Let j be i(1). Suppose -2*m - 2*w = -4*m + 10, -m + 17 = -j*w. Suppose -d = -m*d + 79. Is d prime?
True
Let c = 27 + -14. Suppose 2*n + w = c, 4*w - 12 = -0*w. Suppose k = n*b - 3*b - 156, -5*b - k + 383 = 0. Is b prime?
False
Suppose 6*l - n = 4*l + 349, 694 = 4*l + 2*n. Suppose 2*v - 5*a - 343 = 0, 3*a = -2*v + 3*v - l. Is v a prime number?
False
Suppose -2*v = -4*y + 198, 0 = 5*y - 3*v - 0*v - 245. Let f = -31 + y. Is f a prime number?
False
Is (1511*4/(-12))/((-1)/3) a prime number?
True
Suppose -2*w = -15 + 5. Suppose -4*m - 15 = w*j + m, 2*j - 10 = 2*m. Is 44/8*14*j prime?
False
Let f = -4801 - -9012. Is f a prime number?
True
Let m(j) = 235 - j**2 - 2*j**2 + 159 + 2*j**2 - j**3. Let l be m(0). Let s = -141 + l. Is s a prime number?
False
Let d(j) = j**2 - 3*j + 82. Is d(0) a prime number?
False
Let i(c) = 14*c - 15. Is i(6) a composite number?
True
Let p(l) = l**3 - 2*l**2 + 2*l - 1. Let j be p(6). Let d = -98 + j. Is d prime?
False
Let x(f) = f**2 - f + 2. Let a be x(1). Suppose -a*y = 3*y - 170. Is y prime?
False
Let t = -2 - 13. Suppose 32 = -3*x + 23. Is (-19)/x - 10/t composite?
False
Is 3/7 + (-1)/((-14)/2500) a prime number?
True
Suppose 5*d = 466 + 844. Is d a composite number?
True
Suppose 0 = d + 4*i + 10, -d + 6*d - 2*i = 16. Is 120 - (d - 2) - 1 a composite number?
True
Let y = 1762 + 1171. Is y prime?
False
Suppose -3*s = -5*l - 4*s - 2716, 0 = 5*l + 3*s + 2718. Let z be (10/(-15))/(1/l). Suppose 3*m - z = -p, 364 = 2*m + 4*p + 106. Is m a composite number?
True
Suppose -223 = -q - 2*p, 0*p + 3*p - 446 = -2*q. Is q composite?
False
Suppose 4*d = -0*g + 5*g + 653, -4*g + 765 = 5*d. Let q = d - 102. Is q a composite number?
True
Let s(g) = -g**3 + 10*g**2 - 8*g - 3. Let p be s(7). Suppose -z - 98 = -4*k + 2*z, 4*k + 2*z - p = 0. Is k a prime number?
True
Let j = 26 - -183. Is j composite?
True
Let r(g) = g**2 - 5*g - 3. Let d be r(6). Suppose 0*n = n - 267. Is n/2 - d/6 prime?
False
Let f = 4 + -1. Suppose 4*k = -f*h + 155, 7*h - 213 = 3*h + k. Is h composite?
False
Suppose -m + 485 = r, 5*m + 2*r - 2425 = -0*r. Is m a prime number?
False
Let l = -68 + 164. Suppose -4*h - 1 + 188 = 5*t, 0 = -2*h - 2*t + l. Is h a prime number?
True
Let g(a) = -2*a**2 + 2*a + 2. Let p be g(-2). Is (-3 + p/(-3))*9 composite?
False
Let x(l) = 143*l**2 - l - 1. Let h be (-3 + -2 + 4)*1. Is x(h) a composite number?
True
Suppose -314 - 68 = -5*l + 2*k, -5*k = 3*l - 223. Suppose -4*u = -208 - l. Is u a composite number?
False
Suppose 6*g + 900 = 2478. Is g a composite number?
False
Suppose -20 = -4*q - 4*x, 0 = 4*q - 8*q + 4*x + 12. Let v = 4 - q. Suppose v = 5*r - 6*r + 58. Is r a prime number?
False
Is (615 + 0)*7/21 composite?
True
Let i = 15 - 9. Is 1150/15 - (-2)/i a prime number?
False
Let z(h) = 92*h**2 - 3*h + 17. Is z(4) composite?
True
Suppose 3*k + k = 4156. Let f = k - 534. Is f a prime number?
False
Suppose -2*x + 6*x - 8 = 0. Suppose -x*t - 3*t + 2*k = -379, 0 = -t - k + 80. Is t a prime number?
False
Suppose -4*n + 8 = -0*n. Suppose l + a = -1 + 11, 0 = -4*l - n*a + 34. Is l composite?
Fal