-5). Suppose -5*i + o - 1 = 0, -o + 2 = -y*i + o. Suppose -3 + i = -r. Is r a prime number?
True
Let j(h) = 3*h - 5. Is j(5) composite?
True
Suppose 5*v + 3 - 28 = 0. Suppose 15 = v*m, 2*j - 5*j = 3*m - 186. Is j a composite number?
False
Suppose -3*v = -2*x + 379, 0*x - 490 = 4*v + 5*x. Let r = 342 - v. Is r prime?
True
Let q(x) = -x**3 - 6*x**2 - x - 3. Let r(h) = h**2 - h + 1. Let i be r(-4). Suppose 0*s - i = 3*s. Is q(s) prime?
True
Suppose 322 = 4*g - 138. Is g a prime number?
False
Let r(o) = -52*o**3 + 2*o + 1. Suppose 3*z = 2*i + 1, -4*z - 3*i = z + 11. Is r(z) a composite number?
True
Suppose -t + 4 = t. Let i(k) = -k**3 + 8*k**2 + 5*k - 6. Let u be i(8). Suppose 3*v - 4*z = 5*v - u, -t*z + 56 = 4*v. Is v a composite number?
False
Suppose -4 = -5*h + 6. Let m = h - -91. Is m a prime number?
False
Let g = 727 - 332. Is g a composite number?
True
Let g = 3946 - -61. Is g a composite number?
False
Suppose 0*h + h - 26 = 0. Is h composite?
True
Is 1259*((3 - -1) + -3) composite?
False
Let m be (-1)/((-12)/9 + 1). Suppose -3*h + 26 = 4*w - 72, m*h + 5*w - 103 = 0. Is h/5*(6 + -1) composite?
True
Suppose 0 = -5*b - 10 - 0. Let n(x) be the third derivative of -x**6/40 - x**5/60 + x**4/24 + x**3/6 + x**2. Is n(b) composite?
False
Let x be (0 - -5)*4/10. Is 19 - (2 - x)/2 a prime number?
True
Let k(h) = -13*h + 7. Suppose 5*y = 2 + 3. Suppose 13 = -4*t + t - 5*i, t + y = -5*i. Is k(t) prime?
False
Let j(t) = t**3 - 5*t**2 - 10*t - 1. Let l be j(7). Let w = l - 14. Is w composite?
False
Suppose -u = -19 - 108. Is u composite?
False
Let j = 16 - 5. Suppose 320 = -y - j. Is (-1)/(-4) - y/4 prime?
True
Let c = -120 - -431. Is c composite?
False
Let h be (-3 + -1)*62/8. Is 1 + (-1 - 0 - h) composite?
False
Suppose -5*d - 4*b = 16, -3*b = -5*d - 0*b + 12. Let z(v) = 316*v**2 - v. Let h be z(1). Suppose 4*w = -2*r + 104, -3*r - 2*r + w + h = d. Is r a prime number?
False
Let j(d) = 2*d**2 + 4. Let f be j(-5). Suppose -5*u = -4*v - 125, f = 4*u + 2*v - 20. Is u prime?
False
Suppose -3*a + 4*f = 86 - 1597, 1963 = 4*a + 5*f. Is a a prime number?
False
Suppose 3*u + 0*u = 6. Suppose 2*r - 176 = 3*j, -5*j + 56 = u*r - 136. Is r prime?
False
Let s(g) = 122*g**2 + 3*g - 3. Suppose -4*x = -5*x + 2. Is s(x) composite?
False
Let b(f) = 10*f**2 + 1. Let j be b(-1). Is (-2)/11 - (-717)/j prime?
False
Let j(p) = 53*p**2 - 16*p - 8. Is j(-5) composite?
True
Suppose 6*y - 2782 - 5972 = 0. Is y a composite number?
False
Let p = -340 + 636. Let s = p - 177. Is s prime?
False
Suppose -5*k - 25 = 0, 3*s + k - 2 = 4*s. Let l be s/(-1) + 6/(-2). Suppose -l*o = -2*q + 110, -q = 2*q - o - 165. Is q a prime number?
False
Let z = 36 - 33. Suppose 3*i = -2*y + 9 + 3, 0 = -y + i - 4. Suppose z*x + 34 = u, 4*x + 16 = -y*x. Is u a composite number?
True
Suppose 0*y - 3*y = d - 665, 4*y + 5*d - 894 = 0. Is y composite?
True
Let r = -409 + 592. Is r a composite number?
True
Let a = -2 - -5. Let l be a/9 + 281/3. Suppose l + 163 = k. Is k composite?
False
Suppose 1 + 7 = -4*s. Is (3/(-5))/(s/110) a composite number?
True
Suppose t + t = -2*f + 784, 2*f + 401 = t. Is t a composite number?
True
Is ((-382)/3)/(42/(-63)) a prime number?
True
Let a be 1/(-4) + (-36)/(-16). Suppose -p - 17 = -a*f, -4*f + 2*f - 4*p + 2 = 0. Is f composite?
False
Let r(g) = g**2 + 4*g - 3. Let l be r(-5). Let q(d) = d**3 - d**2 + 2*d - 3. Let y be q(l). Suppose 0*s - 15 = -2*s - 5*x, -5*x - y = 0. Is s composite?
True
Let r = -155 + 312. Is r a prime number?
True
Let p = -88 + 147. Is p composite?
False
Suppose -4*p + 0*q + 307 = 5*q, 0 = -5*p - 3*q + 400. Is p prime?
True
Let f = -1013 - -2100. Is f a prime number?
True
Suppose -388 - 697 = -5*s. Is s prime?
False
Suppose -3*w + 3*i = -363, -2*w + i + 69 = -171. Is w composite?
True
Suppose 0 = -5*l - 156 - 84. Let d = 9 - l. Is d prime?
False
Is ((3 + -2)*-1)/(4/(-1964)) a composite number?
False
Let b = 20 + -22. Let u(w) = -14*w**3 + w**2 - 1. Is u(b) prime?
False
Let w(k) = k**2 + 10*k + 11. Let n be w(-9). Suppose -2*t + 3*s + 131 = 0, n*s = -2*t - 2*s + 96. Is t a prime number?
False
Let p = 376 + -41. Suppose 4*d - a - 1041 = 0, -p - 447 = -3*d + 2*a. Suppose -3*b - 83 = -d. Is b composite?
False
Let j(n) = -n - 2. Let v be j(6). Let p(y) = y**2 - 8*y - 3*y - 11 + 13*y. Is p(v) prime?
True
Let r(h) = 5*h**3 + 3*h**2 - 2*h - 2. Let s be r(2). Let i = s - -10. Suppose i = -2*b + 322. Is b a prime number?
False
Let y(l) = -2*l**3 - l**2 - 3*l + 4. Is y(-3) composite?
True
Let g = -7 + 8. Let d(r) = 67*r**2 + r - 1. Is d(g) composite?
False
Let b(q) = -31*q + 12. Is b(-9) a composite number?
True
Is 3/((-9)/291)*-1 a composite number?
False
Suppose x = -5*i + 23, -i = -2*i + 4. Suppose -4*l + 216 = 4*s, x*s + 91 = 3*l - 41. Is l composite?
True
Suppose 0 + 3 = -b. Is ((-174)/6)/(1/b) composite?
True
Let a(c) = 9*c**3 + 11*c**2 - 10*c + 11. Let l(h) = -8*h**3 - 10*h**2 + 9*h - 10. Let m(w) = -6*a(w) - 7*l(w). Is m(3) composite?
True
Let a = 467 + -292. Suppose 5*s + 28 - 319 = -2*q, -3*s - q = -a. Is s a composite number?
False
Let k be (-4)/18 + 304/72. Suppose -d - k*d = -4075. Is d prime?
False
Suppose -s = s - 94. Suppose u - s = -0*u. Is u prime?
True
Is (2/4)/(5/5410) a composite number?
False
Suppose 14 = 4*x - 6. Suppose 0 = x*n - 4*n - 395. Is n composite?
True
Let p(s) = -24*s + 7. Is p(-24) a composite number?
True
Suppose 2*q = 3*q - 751. Is q composite?
False
Let z = 340 + -225. Is z a prime number?
False
Suppose 4*y - 364 = -4*t, 4*y = -2*t - 21 + 379. Suppose 3*j - y = 65. Is j prime?
False
Let z = -99 + 178. Is z composite?
False
Let y(p) = -p**3 - 13*p**2 + 7. Let u be y(-14). Let l = 216 + u. Is l prime?
True
Let l = -66 - -114. Let p = -34 + l. Is p a composite number?
True
Let d be -3 - ((-6)/(-2) + -459). Suppose -4*k + 301 = -2*k + h, 3*k - d = -2*h. Is k a prime number?
True
Suppose 0*q - 6 = -2*q. Let l(o) = -o - 5*o**2 - 2 + 3*o**3 + 5*o**2 - 3*o**2 - 2. Is l(q) a prime number?
True
Let a be (-7)/14 - 3/2. Let b(k) = -2*k**3 - 6*k**2 - 2*k - 5. Let p be b(-4). Let h = p - a. Is h a composite number?
False
Let h be 12/16 - (-22)/(-8). Let l be (1 + h + 1)/(-1). Suppose -5*g + 112 + 73 = l. Is g a composite number?
False
Let k = -11 + 7. Is (3 + k - -4) + 388 a composite number?
True
Let d = 41 + 44. Is d a prime number?
False
Suppose x + 1 = -1. Let c be -10*(-2 - x - 1). Let k = 61 - c. Is k a prime number?
False
Let z(w) = w**2 - 2*w + 6. Let k be 26/6 - 10/(-15). Is z(k) a prime number?
False
Let n be (6/(-5))/((-4)/10). Suppose d = -n*d. Is 14 + (d - (-2 - -2)) a composite number?
True
Let h = -68 - -289. Suppose 2*s - 3*s - 4*t + 55 = 0, -2*t + h = 5*s. Is s a composite number?
False
Suppose -4*g - 1383 = -i, -3*g + 5*g + 5588 = 4*i. Is i prime?
True
Suppose 0*h + h - 3*r - 226 = 0, -r = 5*h - 1082. Is h prime?
False
Suppose -1 = -3*l + 4*p, -4*l - 3*p + 48 = p. Let w = 74 - l. Is w a composite number?
False
Let g(m) = m**3 - 3*m**2 - 4*m + 2. Let w be 10/(-35) + 60/14. Let n be g(w). Suppose -b + 12 = n*b. Is b prime?
False
Suppose 8 = 3*a - 5*a. Let m(h) = -22*h - 5. Is m(a) a prime number?
True
Let h(v) = -233*v**3 - v**2 - 2*v - 1. Let m be h(-1). Suppose -2*x = -5 - m. Is x a composite number?
True
Let o = 5 + -2. Suppose -3*w = -u - 14, u = -o - 2. Suppose w*g + 88 = 379. Is g prime?
True
Suppose -2*h + 1327 = 3*h - 2*o, 5*h - 1347 = -3*o. Is h a composite number?
True
Suppose 0*l = -4*l + 104. Suppose -l = 4*k - 6*k. Is k a composite number?
False
Suppose 0 = -2*b - 100 - 50. Let u = 144 + b. Is u composite?
True
Suppose 0 = -5*j + 3*s - s + 11636, 2*j = 5*s + 4667. Is j a prime number?
False
Let i be 0/2 + 18 - 1. Suppose 57 = -5*t + i. Let l = t - -17. Is l composite?
True
Suppose s - k - 4*k = 64, 0 = 3*s + 2*k - 209. Is s composite?
True
Let m be 1 + -2 + 2 - 1. Suppose -267 = -m*u - 3*u. Is u a prime number?
True
Is 937/11 + (-34)/187 a composite number?
True
Suppose 50 = d + 5*p - 55, 4*d = -5*p + 345. Suppose 2*g = d + 94. Is g a prime number?
False
Let x(r) = -2*r**3 + r**2 + r. Let q be x(-1). Let a = q + 5. Suppose -4*g - 71 = -a*v + 4*v, -5*v + 4*g + 121 = 0. Is v composite?
True
Let x(m) = 29*m**2 - 4*m + 5. Is x(-4) a prime number?
False
Let w(r) = 29*r**2 + 8*r + 7. Is w(-8) prime?
False
Let h(k) =