Is k a composite number?
False
Let l be (-253)/3 + 30/(-45). Let a = l - -144. Is a a composite number?
False
Let p be 2 + (-2)/2*4. Let a = 5 + p. Suppose 186 = -g + a*g. Is g prime?
False
Let k(f) = 267*f - 2. Is k(1) a composite number?
True
Let a(l) = l**3 - l**2 - l - 2. Suppose 0*x - 5*x = 0. Let j be a(x). Let y(p) = -23*p + 1. Is y(j) composite?
False
Suppose 0*r - 5 = -r. Suppose 21 = -z + 4*o, -r*z + 2*o + 2*o = 25. Is z - -14 - -2 - 2 a prime number?
True
Suppose -8*b + 3*b = -4955. Suppose 0*x + b = 4*x + 5*t, -229 = -x - 5*t. Is x a composite number?
True
Suppose -4*j + 8 + 8 = 0. Let z be (61/j)/(1/4). Suppose -92 - z = -3*n. Is n composite?
True
Let z = 2 + 0. Suppose 0*n + 2*n + 82 = 2*a, -3*a = z*n - 103. Is a composite?
False
Let c be 2/4 + 126/(-4). Let r = 30 - c. Suppose -3*w - 2*s - 64 = -6*w, 0 = -3*w + 5*s + r. Is w prime?
False
Let n(d) = d**2 - 4*d - 1. Is n(-6) prime?
True
Let r(o) = 2*o + 3. Let n be r(4). Let h = n + -18. Is 537/7 + (-2)/h a composite number?
True
Let a = -174 + 3601. Is a a prime number?
False
Let w = 113 - -8. Is w composite?
True
Suppose -18 = -3*l - z, -l = -6*l + 3*z + 16. Suppose 0 = l*i + 2107 + 2683. Is 2/(-9) + i/(-18) composite?
False
Let z = -119 - -178. Is z prime?
True
Let w(s) = s**2 - s + 1. Let q be w(0). Is 75 + q + -3 + 4 a prime number?
False
Let z = 532 + -239. Is z composite?
False
Let d(g) = -g**2 + 5*g + 5. Let n be d(5). Suppose 2*m + 3*v = 367, n*m - 4*v = 2*m + 525. Is m composite?
False
Suppose f - 2041 = 2*s, 4*f - 14*s - 8164 = -18*s. Is f a composite number?
True
Let y be (-8)/2*(-2)/4. Suppose y*s = 98 + 12. Is s composite?
True
Let j(w) = -w**2 - 9*w - 5. Let l be j(-8). Suppose 0 = -l*i + 161 + 40. Is i prime?
True
Is 0 - (-542 - -1)*1 a prime number?
True
Is (-21)/2*102/(-9) a composite number?
True
Let o(w) = -w**2 - 4*w + 4. Let k be o(-4). Let h(b) = 5*b + 1 - 3 - k. Is h(5) prime?
True
Suppose 5*c = 9 + 11. Suppose 0 = -3*i - 13 + c, -3*k + 360 = i. Is k a prime number?
False
Let l = -44 - -150. Is l prime?
False
Suppose -3*q = q - 5*a - 988, -5*q - 2*a + 1235 = 0. Is q composite?
True
Let g be (-2)/(-5) - 6/15. Let z be (4/(-3))/(1/(-3)). Suppose 5*o - 4*p = -7*p + 335, -3*o + z*p + 201 = g. Is o a prime number?
True
Let f be (-2 - 2)*(-7 + 5). Suppose -a + 2 = -f. Is a composite?
True
Let g = -4 + 12. Let j(p) = -p**2 + 9*p - 5. Let x be j(g). Suppose 0*i - 222 = -x*i. Is i composite?
True
Let m = 229 + 202. Is m composite?
False
Suppose 5*q - 5*c = -0*q + 4775, -3*c = -4*q + 3823. Is q prime?
False
Let j = 14 - 5. Let u = -7 + j. Suppose -u*b + 53 + 81 = 0. Is b a prime number?
True
Let n(v) be the second derivative of 29*v**3/6 + 2*v**2 - v. Let h(x) = -30*x - 3. Let k(m) = -3*h(m) - 2*n(m). Is k(1) a composite number?
True
Suppose 37*q - 32*q - 7405 = 0. Is q a composite number?
False
Suppose 3*x + 0*n = 2*n + 18, -5*x + 30 = 2*n. Let t(g) = g**2 + 14*g + 5. Let r be t(-14). Suppose x*p - r*p = 67. Is p composite?
False
Let a(k) = 173*k - 1. Let d be a(1). Suppose 0 = -3*b + 2*i + 67 + 39, 4*b = -5*i + d. Suppose b = -2*s + 124. Is s prime?
True
Suppose 0*u + 1187 = 4*u - 5*x, 5*x = -4*u + 1157. Is u a composite number?
False
Let h be ((-7)/(28/(-7432)))/2. Suppose -r = 4*s - 1232, 3*s + 6*r - h = 4*r. Is s a composite number?
False
Let t(p) be the first derivative of -p**4/4 + 8*p**3/3 + p**2/2 - 4*p + 2. Let y be t(8). Suppose -y*c + 10 + 6 = 0. Is c prime?
False
Suppose 2*k = -3*k + 1375. Suppose -5*y = -k - 750. Is y composite?
True
Suppose 72*x = 75*x - 3951. Is x prime?
False
Let m(f) = -7*f + 6. Let o = -11 - -7. Let h(a) = -3*a + 3. Let v(p) = o*m(p) + 9*h(p). Is v(0) a composite number?
False
Let t be 12 + -1 + 3 + -1. Suppose -20 = 5*h, -5*h + t = -2*m + 359. Is m composite?
False
Suppose 0 = -9*r + 5*r + 7180. Is r composite?
True
Suppose -h - h = -4. Suppose 5*a = h*s - 199 + 58, 5*s = 4*a + 395. Is s a composite number?
False
Let h(x) = 3*x - 12. Let f be h(-10). Is (f/8)/((-2)/8) prime?
False
Suppose -4*d + 3*h = 36, 3*d = -h + 2*h - 32. Is (-152)/d*(-9)/(-6) a composite number?
False
Is (-15)/(-2)*(-74)/(-3) composite?
True
Suppose 64*h - 65*h + 389 = 0. Is h a composite number?
False
Let p(h) = 4*h**2 - 4*h - 9. Is p(7) a composite number?
True
Is (24/8)/((-3)/(-389)) a composite number?
False
Let z(i) = 2*i**2 + 11*i - 5. Is z(8) composite?
False
Let o(q) = q**3 + 6*q**2 + 5*q + 3. Let h be o(-5). Suppose n + g = 56, -h*g = -n + 77 - 29. Is (-1 - (-1 - n)) + -1 composite?
False
Let v = 107 - 52. Suppose 5*x + 0*x - v = 0. Let h = -5 + x. Is h composite?
True
Suppose 3*n = 2*q - 649, -q - 2*q - 3*n = -936. Is q a prime number?
True
Let u = 11 - 8. Suppose -5*l - 24 = 1, 0 = u*n + 5*l - 116. Is n a prime number?
True
Let c = -5 + 5. Suppose -6 + c = -3*j. Suppose 2 = p, 0 = x + j*x + p - 383. Is x a composite number?
False
Let o = 1023 + -410. Is o a composite number?
False
Suppose -2*i = 2*i - 12. Suppose 0 = i*m + 3*n - 15, 15 = 3*m + n - 3*n. Suppose -1 = -2*w + 3*w, -m*z + 189 = -4*w. Is z prime?
True
Let t(d) = -2*d + 5. Let h be t(-4). Suppose -20 = j + h. Let g = 26 - j. Is g a composite number?
False
Is -2*(172/(-8) - -3) a composite number?
False
Suppose s + 289 = 746. Is s prime?
True
Let v(s) be the first derivative of s**3 - 2*s**2 - 2*s + 6. Is v(5) a composite number?
False
Suppose 0 = 4*m - 2*y, 0 = 5*m + 5*y - 2*y - 22. Is (m - 3) + 9 + 2 a prime number?
False
Let g = 996 - 577. Is g a prime number?
True
Suppose -20*y = -16*y - 1948. Is y composite?
False
Let j = -8 + 13. Let m(l) = -l**2 + 6*l + 7. Let u be m(j). Let n = u + -5. Is n composite?
False
Suppose -2*w = -6*w. Suppose -20 = -3*j + 94. Suppose w = -2*s - 5*t + 72, 0*t + 3*t = -s + j. Is s a composite number?
True
Suppose 4*a - 7923 = -2*u + 1939, 2*u = -2*a + 4936. Is a prime?
False
Let c(f) = 2*f**2 + 14*f - 9. Is c(-10) a prime number?
False
Suppose -3*g = 2*n - 295, 2*n + 0*n - 292 = -2*g. Suppose -n + 4 = -k. Suppose 2*h - k = -4*s + h, -3*s = -5*h - 110. Is s a prime number?
False
Let m(r) = -3*r**2 + 3*r - 11. Let s(z) = -3*z**2 + 4*z - 10. Let o(g) = -5*m(g) + 6*s(g). Let c be o(6). Let p = c + 110. Is p a composite number?
True
Suppose 175 = 5*u + 3*s, u - 42 = 5*s + 21. Let m = -19 + u. Is m composite?
False
Let d be (-2)/8 - (-81)/(-12). Let l = d - -14. Let t(i) = 5*i - 4. Is t(l) composite?
False
Let w = -6 - 0. Let g = -2 - w. Let s = g - 2. Is s prime?
True
Let o(f) = -6*f - 2. Let k be o(-2). Let y = 29 - k. Suppose -d = -0*d - y. Is d prime?
True
Let z(r) be the second derivative of -9/2*r**2 - r - 4/3*r**3 + 0. Is z(-11) a composite number?
False
Let l(t) = 2*t**2 - t. Suppose -4*h = -w + 6, -3*w + 5*h = -6 - 5. Let j(d) = -1. Let s(y) = w*l(y) - 2*j(y). Is s(-4) composite?
True
Suppose -1069 - 3014 = -j. Is j composite?
True
Suppose -2*l + 0*l + 4 = 0. Suppose -3*v = l*v - x - 179, 3*v - 5*x = 125. Is v a composite number?
True
Let x(u) = 5*u**3 - u**2 - 10*u - 7. Let z be x(-6). Let y = z - -1604. Is y a prime number?
True
Let z be 4 + -3 - (0 - 23). Let o = 39 - z. Is o a composite number?
True
Suppose 6*p - 1245 = p. Is p a prime number?
False
Let a(h) = h**2 + 5*h + 3. Let s be a(-5). Suppose -15 = -2*r - s*r. Suppose r*m - 1 = 2*m - 4*j, 4*m = 4*j + 44. Is m a prime number?
False
Suppose -j + 6 + 4 = 0. Let x be 45/j - (-1)/(-2). Suppose 0 = -4*t - 2*m + 4*m + 42, -72 = -4*t - x*m. Is t prime?
True
Let h = 4 + -5. Let o be (3/3)/(h/3). Let c(i) = 11*i**2 - 2. Is c(o) a composite number?
False
Let v = -4 + 4. Suppose v = 4*n - 17 - 55. Let s = 57 - n. Is s prime?
False
Let b(a) = 5 + 33 + a - 3 + 42. Is b(0) a prime number?
False
Let y be (-12)/(-2) + 18/(-6). Is (-97)/(y/(-15) + 0) a prime number?
False
Suppose b - 118 - 136 = 0. Is b composite?
True
Suppose -75 = 5*k - 5. Let v = k - -10. Is ((-10)/8)/(v/48) composite?
True
Let q(l) = -3*l + 9. Let f(w) = 2*w - 10. Let s(i) = -4*f(i) - 5*q(i). Is s(8) prime?
False
Let b(h) = -13*h**3 + 1. Let q be b(-1). Suppose -q = -2*y + y. Let t = -4 + y. Is t a composite number?
True
Is (0 + -2 + 0)/((-8)/3548) composite?
False
Let l(c) = -41*c - 5. Suppose 5*b + 35 = -5*r, 4*r = -0*r - 16. Is l(b) a prime number?
False
Is 5/5 - 13/((-52)/10080) composite?
False
Let m = -89 + 124. Is m composite?
T