s prime?
False
Suppose 15 = 3*g, -3*b + b = 3*g - 37. Suppose 5*h - 1 = -b. Let f(k) = -5*k - 3. Is f(h) composite?
False
Suppose 0 = -3*v - 4*t + 10, -8 + 22 = 5*v + 4*t. Suppose 0 = -q - v*q + 2*b - 19, -25 = 4*q - 3*b. Let r = 28 - q. Is r a prime number?
False
Let m = 436 - 197. Is m composite?
False
Let x(c) = 46*c**3 + 2*c**2 + 3*c - 3. Is x(2) composite?
False
Suppose -11 - 5 = -4*u, 378 = 2*v + u. Is v composite?
True
Suppose -2*p + 4*g + 9 = 5*g, 5*p - 23 = -3*g. Suppose 152 - 20 = p*x. Is x a prime number?
False
Let v(c) = 0 + c + 2*c - 1 + 2*c. Is v(4) a composite number?
False
Let m(k) = k**2 - k - 12. Let x be m(-5). Let s(d) = d**2 - 12. Let v be s(0). Let b = x + v. Is b a composite number?
True
Suppose -7 = -3*n + l, 4*n - l - 20 = -5*l. Suppose -3*m + 5*f = -457, -f = -n*m + 3*f + 455. Is m a prime number?
True
Let c = 3267 - 1732. Is c a composite number?
True
Let d(l) = -l**2 + 8*l - 4. Let i be d(6). Let a(u) = u - 9. Let s be a(i). Is (6/3 + -13)/s a prime number?
True
Let r(p) = p**2 + 6*p + 1. Let n be r(5). Suppose 0 = -5*x + n + 69. Is x prime?
False
Let w be (-6)/3 - (-2 - 3). Suppose 0 = -w*s + 4*s - 387. Suppose 5*b - 2*x = s, b + 2*x = -12 + 99. Is b prime?
True
Suppose -5*g - 15 = -10*g. Let w be (1 + 2)/(6/4). Is 37/g*12/w a prime number?
False
Let w(s) = 3*s**3 - s**2 + 2*s - 1. Let o be w(1). Suppose -o*u - 330 = -8*u. Let d = -47 + u. Is d prime?
True
Suppose -2*h = 5*m - 6, -3*m + 12 = 4*h - 7*h. Suppose m*l + 2*p = 6*p - 4, -5*p = -5*l. Is (74/(-4))/(l/(-4)) a composite number?
False
Let j be 8/(-20) + (-14)/(-10). Let c(p) = 160*p + 1. Is c(j) a composite number?
True
Let z = 20 + 15. Let w(u) = -6*u - 2. Let y be w(3). Let x = z - y. Is x a composite number?
True
Let b be 4/14 - 724/(-14). Let m be 17*(9/(-27))/(2/6). Let n = b + m. Is n a prime number?
False
Let a be (-24)/5*(-75)/6. Suppose a = t - 23. Is t composite?
False
Let o be (4/4 + 0)*-38. Let k = o - -127. Is k composite?
False
Let a = 663 - 284. Is a composite?
False
Is 3453/6*(-4 - -6) composite?
False
Suppose -2*g - 3036 = -12574. Is g prime?
False
Suppose -3*k = -4*o - 56, -8*o = -k - 3*o + 26. Is k + -1 + 2 + -2 prime?
False
Let o(t) = -2*t - 4. Let b be o(-10). Suppose 3*y - b = 4*x, x = -3*x - 16. Suppose -66 = -2*r + 3*a, y = -4*r + 5*a + 151 - 15. Is r a composite number?
True
Let z be (-9)/6*6/(-9). Let t(c) = 212*c**2. Let o be t(z). Suppose 3*u + u - o = 0. Is u composite?
False
Suppose 4*v = -v + 2055. Is v a prime number?
False
Suppose a + 58 = -y + 201, 572 = 4*y - a. Let p = y - 30. Suppose w = p - 46. Is w composite?
False
Suppose -2*q + 3*o + 162 = -o, -2*q + 154 = 4*o. Is q composite?
False
Let w(u) = -12*u**3 + u**2 - u. Let p be w(1). Let h(n) = -n**2 + 20*n + 6. Let b be h(20). Is (1304/p)/((-4)/b) a prime number?
True
Let k = -46586 - -25257. Is 4/(-26) + k/(-143) a composite number?
False
Suppose -2012 = -6*l - 434. Is l prime?
True
Suppose -3*t - 15 = -6*t. Suppose -3*q = -t*q + 4. Suppose -106 = -q*v + b - 2*b, -2*v - 5*b = -106. Is v a prime number?
True
Let r(q) = 12*q + 5. Let l = 3 - -2. Is r(l) a prime number?
False
Let f(c) = -5*c - 5*c**2 + 5*c**3 - 2 - 2 - 6*c**3. Let i be f(-4). Suppose -4*l + i*l = -60. Is l a prime number?
False
Suppose p + 35 - 145 = 0. Suppose 50 + p = 4*d. Suppose 0*x - 45 = -x + 2*z, -z - d = -x. Is x a prime number?
False
Let l(n) = 1 + 1 - n - 4. Let w be l(-7). Suppose -2*z - 3*d + 158 = 0, z + w*d - 74 = 5. Is z a composite number?
False
Let a(b) be the second derivative of 2*b**4/3 - b**3/6 - 7*b**2/2 + b. Is a(-6) prime?
False
Let h(m) = -m**2 + 37*m - 27. Is h(11) composite?
True
Let m(i) = 195*i**2 - 2*i + 1. Let k be m(2). Suppose 3*p - k = -0*p. Is p prime?
False
Let w = -5 - -8. Let p be (-20 - -1)*w*-2. Suppose p - 35 = h. Is h a composite number?
False
Suppose 4 = -4*c + 4*a - 0*a, -4*c + 3*a = 3. Let u be (326 - (c + 0))/2. Let d = 230 - u. Is d a composite number?
False
Suppose 24 = 6*n - 2*n. Let c(u) = 2*u + 7 + 5*u - 2*u. Is c(n) a prime number?
True
Let p = -1 - -3. Suppose -p*t + 108 = 3*g - 10, 0 = -4*g - 3*t + 158. Suppose 2*h = g + 12. Is h prime?
False
Suppose -3*d + 6*d - 2211 = 0. Is d composite?
True
Is -1*((-771)/(-9))/((-1)/3) composite?
False
Let l = -587 - -1038. Is l a prime number?
False
Let x be 100/30*(-366)/5. Let m = x + 355. Is m a prime number?
False
Suppose -u = -3*f + 2, 4 - 14 = -2*f + 5*u. Suppose f*g = 2*g. Suppose -4*j + 7*j - 165 = g. Is j a composite number?
True
Let q(r) = r**2 - 3*r + 4. Let i(v) = 2*v**2 + 4*v - v**2 + v. Let a be i(-6). Is q(a) prime?
False
Suppose -4*b = -3*b - 59. Is b a composite number?
False
Suppose 0 = -3*q - 2*q + 465. Let r(s) = 2*s**3 + 2*s**2 + 4*s. Let g be r(4). Let z = g - q. Is z composite?
False
Let u = -14 - -24. Let d be u*(24/(-10))/(-4). Suppose 3*w - 7 = -r + 5, d = 2*r. Is w a prime number?
True
Let r = -19 - -29. Suppose 0 = -y + r + 37. Is y composite?
False
Let j be (-3 + (5 - -3))/1. Suppose 0 = j*k - 80 - 105. Is k a composite number?
False
Let w = -90 + 253. Is w prime?
True
Let w = 0 + 5. Let u(z) = z**3 + z**2 - z - w + 2 + 4. Is u(4) prime?
False
Let v(u) = 4*u - 3. Let s(z) = 13 - 2*z - 11*z - 2*z. Let q(k) = -2*s(k) - 9*v(k). Is q(-1) a composite number?
False
Suppose y - 635 = -0*y. Is y prime?
False
Suppose 0*j = 4*a - 4*j + 292, -2*a = -j + 145. Let w = a - -111. Suppose 4*z + 65 = 3*y, -4*z - w = -4*y + 45. Is y a prime number?
True
Let r(x) = -x**3 + 4*x**2 + 6*x + 3. Let s be r(5). Let h(l) be the second derivative of l**4/4 - 11*l**3/6 - l**2/2 - l. Is h(s) prime?
True
Let i(t) = 187*t - 28. Is i(9) composite?
True
Let s(u) = -u - 3. Let k(r) = -3*r - 10. Let y(b) = -2*k(b) + 7*s(b). Let n be y(5). Let v(g) = g**2 + 3*g - 3. Is v(n) composite?
True
Let a(h) = h**3 + 16*h**2 - 20*h + 12. Let m be a(-17). Is ((-46)/(-3))/(6/m) a composite number?
True
Suppose 4*f = 3*o - 339, -5*o + 668 - 92 = -3*f. Let w = -80 + o. Is w composite?
False
Let d(p) = 2*p**2 - p - 2. Let b(i) = -i + 1. Let g be b(6). Is d(g) prime?
True
Suppose 4*h = 0, -1347 = -7*n + 4*n - h. Is n a prime number?
True
Is (4/(-6))/((-12)/1998) composite?
True
Is (3502 + 6)*(-1)/(-4) prime?
True
Let z = -123 - -391. Suppose 0 = 2*g + 2*g - z. Is g composite?
False
Suppose -l + 3 = -2. Suppose -2*i - 3 = l, 3*x + 5*i = 487. Is x prime?
False
Suppose -13*g + 18329 = -3485. Is g prime?
False
Let i(p) = 4*p**2 + 8*p - 7. Let s be (-1)/(-3) - (-88)/(-12). Is i(s) a composite number?
True
Let r = 195 + 357. Suppose -4*m - m - t + 669 = 0, 4*m + 5*t = r. Is m a composite number?
True
Let r(w) = 4*w**3 + 11*w**2 + 2*w + 5. Let n(f) = 9*f**3 + 23*f**2 + 3*f + 10. Let c(b) = 3*n(b) - 7*r(b). Is c(-11) a composite number?
True
Suppose -3 = -3*a, -18 = -4*h + 4*a + 6. Let v be ((-12)/10)/(h/105). Is (-10)/(-4)*v/(-5) a composite number?
True
Let f = -482 + 733. Is f a composite number?
False
Let n = 66 + -139. Let l = 106 - n. Is l composite?
False
Is 14692/5 + (-6)/(-10) prime?
True
Let n(c) = 2*c**2 + 8*c - 5. Let f = -9 - -3. Is n(f) a composite number?
False
Suppose 0 = 4*m - 3 + 27. Suppose 3*u - 12 = -0*u. Let o = u - m. Is o a prime number?
False
Let i = 23 + -13. Suppose -i + 2 = -4*p. Suppose p*r = 1 + 5. Is r composite?
False
Let m = -7 - -11. Suppose -74 - 30 = -m*x. Is x a prime number?
False
Is ((-2)/1)/((-10)/1465) prime?
True
Suppose f - 125 - 120 = 0. Suppose 4*a + x = 2*x + f, 0 = 2*a - 2*x - 118. Is a a composite number?
True
Let k = 98 + -22. Let x be 1 + 1*(0 + 1). Suppose k = x*f + 26. Is f prime?
False
Let j = -209 + 432. Is j a prime number?
True
Suppose -3*f + 5 = -1, 0 = -4*j - 2*f + 20. Let v = -4 + -2. Is j/v*201/(-2) a composite number?
False
Suppose 3 - 79 = -4*z - 4*x, 88 = 4*z + x. Is z composite?
False
Let v = 360 + -645. Let x = -170 - v. Is x a composite number?
True
Let k(c) = -4*c - 3. Let v be k(-2). Suppose -1466 = -4*l - 2*g + 4*g, -1833 = -v*l + 2*g. Is l a prime number?
True
Let y be 2*(-3 + 2 + -1). Let h = 8 + y. Is ((-46)/h)/((-1)/2) composite?
False
Suppose 0 = -7*f + 3*f. Suppose f*o - 658 = -2*o. Is o a prime number?
False
Suppose 4*a + a = 0. Let b = a + 2. Is b*(-37)/4*-2 composite?
False
Let p be 1/2*-2 - -6. Suppose p*l + 147 = -3*j, 124 = -2*l - 2*l + 4*j. Let o = 43 + l. Is o a