o + 2*o = 3. Is k a prime number?
True
Suppose 4*n = 6*n. Suppose n = m + m - 76. Is m composite?
True
Suppose -83 - 58 = -3*h. Let v be h - (2 - 2)/3. Let j = 66 - v. Is j a prime number?
True
Let m(f) = 8*f - 9. Suppose 0 = 2*h - 8, -4*q - h + 36 = -0*q. Let r be m(q). Suppose 2 = -2*p - 5*l + l, 5*p = 5*l + r. Is p prime?
True
Let v be (-85)/(-20) - (-2)/(-8). Let n be -166*(-2)/v*1. Suppose -21 = 2*a - n. Is a a prime number?
True
Suppose 2*t + 4*q + 4 + 0 = 0, -t - 5*q = 5. Suppose 5*a + 4*n - 571 = t, 4*n - 127 = -a - 0*a. Is a a prime number?
False
Suppose -3*h = 3*s + 63, -2*h + 3*h + 59 = -3*s. Let b = 112 - s. Is b prime?
True
Suppose 0 = -j - 5*v + 17, -v + 12 = 3*v. Suppose 4*g - 1470 = -2*w, w = j*w + 5*g - 720. Is w a composite number?
True
Let u(c) = -11*c + 5. Let j = -3 + 9. Suppose -j = h - 2. Is u(h) prime?
False
Let s = 1450 + -773. Is s a composite number?
False
Let l(n) be the first derivative of n**2/2 + n + 1. Let s be l(3). Suppose -s*d = -85 - 127. Is d prime?
True
Suppose 0 = -4*o - 38 + 954. Let x = 486 - o. Is x a composite number?
False
Suppose -10 = -8*i + 3*i. Suppose -5*w + i*b + 1583 = -2142, 3*b + 2235 = 3*w. Is w prime?
False
Let q(b) = b + 7. Let a be q(-9). Let c(p) = 15*p**2 - 2*p + 1. Is c(a) composite?
True
Let m = -244 + 356. Let n = m - 75. Is n composite?
False
Suppose 0 = 5*h - 2*h. Let a be h - -1 - -10 - 2. Suppose l = -a + 23. Is l a composite number?
True
Let z be (-47)/9 + 8/36. Let d(f) = -107*f + 10. Is d(z) a composite number?
True
Let s(v) = 7*v - 5. Suppose -2*y + 24 = 2*y. Let r = y - 0. Is s(r) a composite number?
False
Suppose -4*a = 5*y - 52 - 25, 3*a - 75 = 2*y. Is a a prime number?
True
Let a = 317 + 34. Suppose -n = n + 3*b - a, 2*n = -b + 353. Is n composite?
True
Let f = 0 + 0. Suppose f = 4*n + 1109 - 345. Let m = 588 + n. Is m prime?
True
Is (0 - (-1979)/(-2))*(9 - 11) prime?
True
Let y = -53 - -32. Let l = 32 + y. Suppose z - 5*u - l = -2, 0 = -z - 4*u + 18. Is z prime?
False
Let o(p) = 3*p**3 - 8*p**2 - 4*p - 5. Suppose -t + 0*t + 6 = 0. Is o(t) a composite number?
False
Let m be -227 - (-3 - (-20)/4). Is 3 - m - (-2 - -1) a prime number?
True
Let u(t) = -13*t + 1. Let j be u(1). Is ((-149)/(-4))/((-3)/j) composite?
False
Let x = -13 + 18. Let u(p) = 2*p**2 - 7*p + 7. Is u(x) composite?
True
Let i(h) = h**3 + 8*h**2 - 2*h + 14. Let p be i(-6). Let y = 51 + p. Is y prime?
True
Suppose -11 - 460 = -3*d. Is d a prime number?
True
Let v = 131 - 18. Let h(q) = -q + 1. Let k be h(-1). Suppose 3*d - 152 = i, -4*i = -k*d - i + v. Is d composite?
True
Suppose 3*r + 5*c - 5280 = 0, -5268 = 2*r - 5*r - c. Suppose r - 229 = 2*f. Is f prime?
False
Let t be 12/(-84) + (-72)/(-14). Let w(r) = -r**3 + 6*r**2 - 3*r - 4. Let z be w(5). Suppose -t*k + 17 = -j, -2*k + 2*j + 20 = z*j. Is k composite?
True
Let o be 237/(-1) + -6 + 8. Is (-3)/6*0 - o a prime number?
False
Is 305 + 6 - (0 - -4) a prime number?
True
Let c = 142 + -348. Let y = 288 + c. Is y a prime number?
False
Suppose -2*h + 2062 = 4*r, -3*h = -2*r + 2*h + 1013. Is r prime?
False
Suppose -11*v + 5*v + 288 = 0. Suppose 2*w + 2*d - v = 4*d, 0 = 3*d + 15. Is w a composite number?
False
Let r = 120 - 169. Suppose 54 = 2*f - 114. Let l = r + f. Is l composite?
True
Let w(k) = -k**2 - 11*k. Let j be w(-11). Suppose j*n + 20 = 5*n. Suppose 5*r = f - 2*f + 216, -789 = -n*f - 5*r. Is f a composite number?
False
Let i = 471 - -1696. Is i a composite number?
True
Suppose -y - 15 = 3*o, 3*o - 5*o - 3*y - 10 = 0. Let i(h) = h**2 + 3*h + 4. Let x(j) = -1. Let a(p) = o*x(p) + i(p). Is a(-7) a composite number?
False
Let g(n) = -106*n**3 + 5*n**2 + 9. Let o(m) = 53*m**3 - 3*m**2 - 5. Let s(q) = 4*g(q) + 7*o(q). Is s(-1) a composite number?
False
Let v(n) = -20*n + 7. Let r be v(-3). Let i = -10 + r. Is i a prime number?
False
Let r(t) = 10*t**2 + 3*t + 1. Is r(6) a composite number?
False
Let v = -35 + 102. Is v composite?
False
Is (298 + 0)*(-8)/(-16) a prime number?
True
Let k = -1 + 3. Suppose -f = -4*a - 22, -f - 6*a = -k*a + 10. Let m = f + -4. Is m prime?
True
Is 192/2 - (5 + -6) a composite number?
False
Is (2/2)/((-1)/(-47)) a composite number?
False
Let h(d) = -3*d**3 - d - 1. Let k be h(-1). Suppose 0 = 4*c - 5*y + 34, -y = k - 5. Is (-1)/(-3) - 304/c a composite number?
True
Let g = -2268 - -3611. Is g composite?
True
Let h = 61 + -12. Suppose 3*q - 2*q = h. Let m = 2 + q. Is m a composite number?
True
Let z be 4/10 - 28/(-5). Suppose 5*y - 18 = -2*r, -r - y + 6*y = z. Let t = r + 22. Is t prime?
False
Is (-1)/(-1)*-5482*(-2)/4 a prime number?
True
Let m = 1264 - -177. Is m prime?
False
Let z = 5 + -11. Let h = -4 - z. Let f(n) = 13*n**3 + 2*n**2 + 1. Is f(h) composite?
False
Is 1354/1*((-12)/8 + 2) prime?
True
Let i = -1079 + 1920. Is i prime?
False
Suppose 0 = j + c + 57, -5*j + 4*c = -3*j + 138. Let q = -4 - 20. Let i = q - j. Is i prime?
True
Is -1 + 3*(27 - 3) composite?
False
Suppose b + 2*b = 17445. Is b composite?
True
Let a(l) = l + 2. Let k be a(6). Suppose -3*s = -k*s + 15. Suppose 8*q - 395 = s*q. Is q prime?
True
Is 3 - 5/((-20)/(-24)) - -4990 composite?
False
Suppose 2*m = 2*w - 2*m - 354, w - 4*m - 183 = 0. Suppose 5*o - 39 + 254 = 5*p, 4*p - w = 5*o. Let k = 65 - p. Is k a composite number?
True
Suppose 0 = -4*l - 9 - 3. Let w = 0 - l. Suppose 5*h - 68 = -3*o, -3*o = -w*h + 15 - 75. Is o a prime number?
False
Suppose -p = -3*f - 85, f - 2*p + 5 = 3*p. Suppose -5*w + 3*j - 91 = 0, w + 4 + 23 = 5*j. Let d = w - f. Is d a prime number?
True
Suppose 0 = g - 3*g. Suppose g = -l + 8 + 23. Is l a prime number?
True
Is ((-5 + 1)/8)/1*-1838 composite?
False
Suppose -2 = 2*b - 4*b. Let w(p) = -56*p**3 + 3*p + 2. Let u(f) = 168*f**3 - f**2 - 10*f - 7. Let q(v) = -2*u(v) - 7*w(v). Is q(b) a prime number?
False
Suppose 4*r - 5*x - 473 = 0, -3*x = 2*r + 2*x - 229. Let c = r - 40. Is c prime?
False
Suppose -v + 424 + 417 = 5*n, -4*n + 671 = -v. Let h = n + -115. Is h composite?
False
Is (-4)/14 - 522/(-14) a prime number?
True
Suppose 3*y - 2 = -4*x, -4*x = -0*x + 4. Let g be (-1431)/18 - y/(-4). Is (g/2)/((-1)/2) prime?
True
Suppose -3*y + 5*c + 1086 = 0, 5*c + 58 = -3*y + 1174. Is y a composite number?
False
Suppose -6*g = -2*v - 2*g + 426, v - 3*g = 215. Let a = 558 - v. Suppose -3*j = -a + 76. Is j prime?
False
Suppose 2244 = a - 5*m, 3*a + 5*m - 325 = 6427. Is a composite?
True
Let z(s) = -s**2 + 3*s + 2. Let c be z(4). Let h be 10 + c - (-4)/(-2). Let u = 3 + h. Is u a composite number?
True
Suppose -3*s = 3, -5*u + 410 = -3*s - 2768. Is u a prime number?
False
Suppose 0 = -2*k - 4 + 8. Suppose 101 = -k*a + 607. Is a prime?
False
Let n(i) = -i**2 + 21*i + 9. Suppose -7 - 3 = -t. Is n(t) a prime number?
False
Let d(r) = r**2 - 5*r + 13 + 4*r - 2*r**2. Is d(0) prime?
True
Suppose -r + 357 + 230 = 0. Is r prime?
True
Suppose 6*k - 3*k = 408. Suppose 0*t + k = 4*t. Suppose 3*f = 4*c + 17, 5*f + c = 2*c + t. Is f a composite number?
False
Let v be (-6)/9*57/2. Let b = 4 - v. Is b composite?
False
Let w(g) = 2*g - 2*g + g**2 - 7 - 3*g. Let f be 4/(((-16)/6)/4). Is w(f) composite?
False
Let g(m) = -m**2 + 5*m + 3. Let x be g(5). Is (74/x)/((-2)/(-9)) prime?
False
Suppose -2*r + 169 + 117 = 0. Is r composite?
True
Let o(l) = -21*l**3 + 3*l**2 - 2*l + 2. Let j be o(2). Is (j/(-4))/((-2)/(-4)) composite?
False
Let x(a) = 6*a**2 + 4*a - 3. Is x(9) a composite number?
True
Let j = 166 + 27. Let k = -102 + j. Is k a composite number?
True
Suppose -3*l + 7 - 1 = 0. Suppose -2*h = -5*m + m - 40, l = 2*m. Is h composite?
True
Let d(s) = s**2 - 3. Let u be d(-5). Let h = -15 + u. Is h a composite number?
False
Is -2 - (2 - 990 - 3) composite?
True
Suppose -5*x + 30 = -6*j + j, -32 = -5*x + 3*j. Suppose z - 42 = 2*m - x*m, -4*z = -3*m - 145. Is z composite?
False
Suppose l = -5*a + 7, 2*l = 4*a - 7 - 7. Let q(x) = -a - 2*x - 2 + 0. Is q(-9) a prime number?
False
Is (-4 - (2429 + 1))*(-1)/2 composite?
False
Let g(x) = -x**2 + 6*x + 10. Let d be g(7). Let f be 2 + -68*(-2)/4. Suppose d*p = 309 + f. Is p composite?
True
Suppose 0 = 5*c + 4*s - 7 - 71, -3*s + 63 = 4*c. Let o = c + -8. Is o prime?
False
Let l be (-1)/(-1 + 6/5). Let p be (-38)/(l/3 + 1). Suppose 5*r - 2*g = p, -2*r = -g + 4*g - 19. Is r composite?
False
Suppose 4*x + 8*w - 18 = 3*w