i a composite number?
True
Suppose 4*b = -3*l + 4, -3*l + 18 = -l - 5*b. Suppose l*d = -16, -4*x - d + 4 = -0*x. Is x a composite number?
False
Let m(o) = -42*o - 10. Suppose -2*z = z - 4*g, -5*z + g = 17. Is m(z) composite?
True
Suppose 0*v = 4*v. Suppose 2*m - 7*m - 40 = v. Let d = 23 + m. Is d a prime number?
False
Suppose 5*g + 369 = 6184. Is g a prime number?
True
Let o(h) = 4*h + 7. Suppose 2*b = -2*b + 24. Is o(b) prime?
True
Suppose 5*y = 6 + 24. Is 316/6 - (-2)/y a prime number?
True
Let s(v) = 4*v + 39. Is s(25) a prime number?
True
Let o(b) = b**3 - 5*b**2 + 3*b - 2. Let f = -5 + 9. Let q be o(f). Is 1/(-3) + (-68)/q a composite number?
False
Let j be ((-8)/5)/((-20)/(-150)). Let k = j - -65. Is k a composite number?
False
Suppose 8*p - 2874 = 2*p. Is p a prime number?
True
Suppose 0*j = 3*j + 159. Let q = 75 + j. Is q composite?
True
Let x(t) = t**2 - 5*t. Let f be x(5). Suppose 0 = c - j - f*j - 8, 2*c = 3*j + 20. Suppose -c*y - 21 = -5*y. Is y a prime number?
False
Suppose -p + 2*l - 3 = 0, 6 = 2*p - l - 0. Suppose 131 + 54 = p*n. Is n a composite number?
False
Let y(d) = 205*d - 29. Is y(2) a composite number?
True
Let w(q) = 4*q. Let l be w(1). Let c = l - 2. Suppose -7*m + 35 = -c*m. Is m prime?
True
Let o(r) be the third derivative of 31*r**4/8 - 8*r**3/3 + 7*r**2. Is o(7) a composite number?
True
Is (-2 + -1929)/((-2)/1 - -1) a composite number?
False
Suppose 7 = 5*c - 3. Suppose c*z + a - 2*a = 3, -5*a + 21 = 2*z. Suppose z*y - 81 - 18 = 0. Is y prime?
False
Let f = -1999 + 3204. Let q = 944 + f. Is q a composite number?
True
Let z(u) = -u**2 - 7*u - 5. Let l = -13 + 7. Let v be z(l). Is v + -1 + (-22)/(-1) composite?
True
Let m(z) = -3*z - 8. Suppose 4*k - 7 = 5. Suppose -k*u + 7 = -4*o - 8, -o - 3*u = 15. Is m(o) prime?
False
Let q = 4 - -5. Let x = -3 + q. Is x prime?
False
Suppose -844 + 2709 = 5*x. Is x a composite number?
False
Suppose 6*t - 1245 = 153. Is t a composite number?
False
Let d(q) = -q**3 - 5*q**2 + 5. Let a be d(-5). Let i = -83 - -49. Let t = a - i. Is t a prime number?
False
Suppose 4*d - 4 = 4. Suppose -d*g + 65 + 11 = 0. Is g prime?
False
Let t = 8 - 3. Suppose 4*a = -l + 184, 2*a = a - 3. Suppose l + 139 = t*d. Is d prime?
True
Let j(l) = -4*l**3 - 6*l**2 + 8*l + 9. Is j(-5) prime?
False
Let p(i) = -2*i**3 - 2*i + i**3 + 2*i**2 + 1 + 0*i**2. Let x be p(2). Is 10 - (x/3 + 0) prime?
True
Let c(x) = 111*x**2 - 3*x + 3. Is c(1) a prime number?
False
Suppose 4*z - 3*z = 55. Is z a prime number?
False
Let i = 122 - 63. Is i prime?
True
Suppose -w + 6 = -0*w. Let c(k) = -k**3 + 8*k**2 + 2*k - 5. Is c(w) a prime number?
True
Let a(v) = -2*v + 409. Is a(0) a prime number?
True
Suppose 0 = -2*f + 3*f. Let c = f + 6. Is c a prime number?
False
Let u = 142 - 81. Suppose -5*b + 107 = -3*d - u, 5*b = 4*d + 169. Is b prime?
False
Let q be 4/5*(-15)/(-6). Suppose 2*i = -5*f + 103, 0 = -4*i + q*f + 30 + 164. Suppose 0 = -5*x - i + 444. Is x composite?
False
Let g(x) = 93*x**2 - 9*x - 17. Is g(-4) prime?
False
Suppose -5050 = -3*g + 5*g. Let u = -1554 - g. Is u composite?
False
Let u(q) = -q**3 - 3*q**2 + 13*q + 6. Is u(-11) a prime number?
False
Is -719*(-1 + -1)/2 a composite number?
False
Suppose -4*w - j - 238 = 0, 258 = -3*w + 3*j + 72. Let t = w + 85. Is t a composite number?
True
Is (4 - -42)*(-15)/(-6) prime?
False
Let y(u) = -50*u - 3. Let j be y(-2). Suppose q + 221 = -4*x, -2*x - j = -5*q + 30. Let p = 93 + x. Is p a prime number?
True
Let y(g) = -g**3 - 2*g**2 + 2*g + 2. Let s be y(-2). Let n(w) = -6*w**3 + w**2 - w - 1. Is n(s) prime?
True
Let z = 3 - -4. Suppose 0 = -5*t - f + 21, -5 = -z*f + 2*f. Is 93/t + 2/(-8) composite?
False
Let d be ((-6)/(-9))/(8/11676). Let f = d - 672. Is f composite?
True
Is (-4 + 315 - -2) + 4 composite?
False
Let s be 8 - (3 - (6 + -3)). Suppose s + 4 = -2*i. Is 136/6 - i/(-9) a prime number?
False
Let j(g) = g**3 - 2*g**2 + 3*g - 3. Let s be j(2). Suppose d + 3*q - 13 = s*d, 5*d + 45 = -5*q. Let h = d - -27. Is h a composite number?
False
Suppose k = 3*p + 4, -4 = 2*p - k - 2. Is 3/p*(-184)/12 a composite number?
False
Let n = -34 - -137. Suppose 4*d - n = -g, 5*d = g + 2*g - 258. Is g prime?
False
Suppose -3*k + 0*k + l = -137, -2*l = 4*k - 166. Let d = k - -9. Is d a composite number?
False
Is ((-11)/(-11))/(2/1114) a prime number?
True
Let v(p) = 6*p - 2. Let w be v(3). Suppose -2*d + 4*m + 10 = 0, -5*m = 2*d - 0*d + 17. Let g = d + w. Is g a composite number?
True
Suppose 282 = 2*z + z. Is z a prime number?
False
Suppose 3*c - 62 = 5*o + 35, 32 = c - 2*o. Is c a prime number?
False
Suppose 8*a = -5*n + 3*a - 235, 143 = -3*n - a. Let x = n - -113. Is x prime?
False
Is 328 - (4 - 3) - -4 a composite number?
False
Let m(c) = c**3 - 4*c**2 - 4*c + 5. Let z(f) be the second derivative of -3*f**5/10 - f**4/12 + f**2/2 + 3*f. Let p be z(-1). Is m(p) prime?
True
Let x(d) = -19*d - 34. Is x(-15) prime?
True
Let b be (-132)/(-28) + 2/7. Suppose -b*c + 30 = o, 172 = 5*o + c + 2*c. Is o composite?
True
Suppose 5*h - 5 = 0, 14 = -3*t - 3*h + 44. Suppose -3*j - n + 11 = -6, 0 = -j + 2*n + 8. Is t/j*8/6 a composite number?
False
Let k = 10 + 10. Suppose 128 = 4*x - 4*b, -4*x = -5*x + 5*b + k. Is x composite?
True
Suppose -1177 = -2*w + 613. Is w a composite number?
True
Let z = 113 + -67. Suppose -4*f + z = -78. Is f a prime number?
True
Let m = -5736 - -8315. Is m a prime number?
True
Suppose -b - 2*b = -306. Suppose 2*j - b = -0*j. Is j a composite number?
True
Let l = 609 - -26. Is l composite?
True
Let l(u) = 7*u**2 + u - 2. Suppose 0*g - 12 = 4*g. Is l(g) a composite number?
True
Suppose 5*y - 2 - 23 = 0. Suppose -y*d - 66 = -3*b, -d + 3*d = 0. Is b a prime number?
False
Let q be ((-2)/6)/(1/(-12)). Let l be (-15)/(-9) + q/(-6). Suppose -14 + l = -i. Is i a prime number?
True
Suppose 5*h = 5*l - 1095, -5*l - 3*h + 4*h = -1111. Is l a prime number?
True
Suppose 8 = -4*y + 6*y. Is 2/y + (-130)/(-4) a composite number?
True
Let r be 0/((-9)/3) - 0. Suppose -c + r*c = -42. Let h = 89 - c. Is h a composite number?
False
Suppose 3*s + 561 = 3*f - s, -179 = -f + 4*s. Is f a prime number?
True
Let i be (0 - 3)/((-9)/(-6)). Let f(l) = -35*l - 1. Is f(i) prime?
False
Suppose -2*b + b + 13 = 0. Is (1/(-2))/(b/(-182)) prime?
True
Suppose 3*r = -4*v + 26, r = 2*v + 2*v - 18. Suppose v*x - 318 = 2*x. Is x a composite number?
True
Let r = 6 + -2. Suppose -20 = -5*q + a + a, 3*q - 12 = r*a. Suppose 0 = -q*f + 221 + 303. Is f prime?
True
Suppose 3*h = d - 291, -6*d + 2*d + 3*h + 1164 = 0. Is d a prime number?
False
Let o be -3*10/(-12)*2. Let u = -3 + o. Suppose 2*p + u*p = 60. Is p composite?
True
Let g = 0 - -1. Let j = g + 32. Let o = -14 + j. Is o a prime number?
True
Let g(h) = 2*h + 13. Let y(f) = -3*f - 19. Let t(m) = -7*g(m) - 5*y(m). Let z be t(-6). Is 2/z*1 - -7 a composite number?
True
Let k be (-6)/9 + (-16)/3. Is 1/((k/2)/(-39)) a composite number?
False
Suppose o = 2*o - 4*n - 15, -3 = 4*o + 5*n. Let k(p) = -2*p - 3. Let h be k(-3). Suppose 3*q - 12 = 2*b, -o*q + 8 = -h*b - 1. Is q a composite number?
True
Suppose -2*o + 593 = 2*a - 7*o, -5*a - o = -1496. Is a a prime number?
False
Let r(u) be the third derivative of u**4/8 + u**3/2 + 2*u**2. Is r(4) prime?
False
Let k = 459 - -214. Is k a composite number?
False
Let z(l) = 13*l**3 + 9*l**2 - 6*l + 6. Let r(w) = w**3 + w**2 - w + 1. Let x(g) = 14*r(g) - 2*z(g). Let i be x(-2). Let t = i + 25. Is t prime?
False
Let n(d) = -d**2 + d + 324. Let a be n(0). Suppose 0 = 17*j - 18*j - 205. Let x = j + a. Is x a composite number?
True
Suppose -k + 860 = 5*z, 0*z + 5*k + 198 = z. Let g = 146 + z. Is g prime?
False
Suppose m + 356 = 5*m. Is m a composite number?
False
Let i(p) = 146*p - 69. Is i(7) composite?
False
Let k(r) = 7*r**2 + 22*r + 5. Is k(-12) composite?
True
Suppose -3*c = 2 - 14. Suppose 0 = t - 5*t - 4*u + 3068, -c*t + 5*u + 3068 = 0. Is t composite?
True
Let y(c) = -c**3 + 15*c**2 - 17*c - 1. Let m be y(12). Suppose -2*n - u + m = 2*u, n - 118 = -3*u. Is n prime?
True
Suppose -u = -p - 10, 3*u - 22 = -0*u + p. Is 3486/36 + 1/u composite?
False
Suppose -r + 1 = -1. Let z be (1 - r)*-13*6. Let j = -11 + z. Is j a composite number?
False
Let x(y) = 192*y**2 + 238*y**2 - 171*y**2. Is x(-1) prime?
False
Let g(a) = -a**2 + 4*a +