prime number?
True
Let q be (-27)/6*6/(-9). Let x = 3 - q. Is (22/(-6) + x)*-3 a prime number?
True
Let o(d) = -2*d**3 + d**2 + d. Let f be o(-1). Suppose 0 = f*l - l. Suppose 5*k - 2*h - 272 = 125, l = 3*k + 3*h - 234. Is k composite?
False
Let i(q) = q**3 - 7*q**2 + 6*q + 4. Let z be i(6). Let c be (-304)/(-9) + z/18. Suppose -m = -2*m + c. Is m a composite number?
True
Suppose v - 643 = 4*o, -3*o = 2*v - 6*o - 1291. Is v composite?
False
Let z(c) = 375*c + 14. Is z(5) composite?
False
Suppose -3*g + 2 + 2 = v, -v = g - 4. Suppose g*t = -3*t + 99. Is t prime?
False
Suppose w + 848 = 4*n, -3*n - 255 = 5*w - 868. Is n a prime number?
True
Is 15/(-10)*316*1/(-2) a composite number?
True
Let n = 956 - 399. Is n a composite number?
False
Let z be -1*(-3)/9*9. Let h = z + -1. Is (223 + -2 + h)/1 prime?
True
Suppose 129 = w + 2*w. Suppose w + 211 = 2*j. Is j composite?
False
Suppose 2*c - 10*c = -4984. Is c composite?
True
Suppose 6*o - 18698 = 1060. Is o prime?
False
Suppose 0*g - 8 = -4*g, 3*x + 5*g + 578 = 0. Let q = -131 - x. Is q a prime number?
False
Let x be (14*(2 - 3))/1. Is 1208/9 + x/63 composite?
True
Let g = 15 + -5. Let h = -6 + g. Is 2*(22/h - -2) prime?
False
Let b(s) = s**3 + 1. Let m be b(-1). Let t(x) = 2 - 7 + 20*x + m. Is t(5) composite?
True
Suppose -5*k + 3131 + 1068 = 2*q, -3*k + 2525 = 4*q. Is k a composite number?
False
Let j(s) = -s + 3. Let y(u) = 2*u + 1. Let g be y(-4). Is j(g) a composite number?
True
Let i = -196 + 345. Is i a composite number?
False
Suppose 7*p - 7 = 4*p - 5*u, p + 4*u = 0. Suppose p*m - 2*m + 3*t + 4 = 0, -8 = -4*m - 2*t. Is m/2 + 0 - -29 a prime number?
True
Let d(f) = 224*f**3 - 2*f**2 + 3*f - 2. Is d(1) a composite number?
False
Is (-3)/12*-1 + 8216/32 a composite number?
False
Suppose -4*t + z + 13 = -2*t, -t = -5*z - 2. Let g = 5 - t. Is (9/(-6) + g)*-2 a composite number?
False
Let j be ((-10)/(-2))/(-3 - -4). Suppose -n = j*m - 64, -n + 0*m + 3*m = -104. Is n composite?
False
Suppose -p - 4*w + 43 = 4*p, 4 = -p - 5*w. Suppose a - 180 = p. Is a composite?
False
Let s = 0 + -3. Let w = s + 1. Is 246/18 - w/6 composite?
True
Let p(z) = -63*z - 10. Is p(-3) a composite number?
False
Let n(k) = 7*k**3 + 3*k**2 - 5*k + 2. Is n(3) prime?
False
Suppose 3*m = 7*m. Suppose a + 0*a = m. Suppose a = -4*i - 2*p + 366, 173 = 3*i - p - 99. Is i a prime number?
False
Let b be 793/(-5) - (-6)/(-15). Let o = b - -85. Let u = o + 107. Is u a composite number?
True
Suppose -3 = -c + 2*c. Is (-4296)/(-18) + (-1)/c composite?
False
Let p be 1 - (4 + -7)*1. Suppose 4*u - 6085 = -5*r, 0 = p*r - 3*u + 7*u - 4872. Is r a composite number?
False
Suppose 2*y - 2 - 8 = 0, 459 = 4*d - 5*y. Is d a composite number?
True
Suppose -3*a + 126 = 3*j, j - 39 = 2*a - 6*a. Is j a prime number?
True
Suppose -k - 2*k - 4*t + 145 = 0, 4*k - 5*t = 183. Is k a prime number?
True
Suppose 5*z + 20 = z, 3*f - z + 1 = 0. Let l be 4 + f + (0 - 159). Is (-4)/(-8) + l/(-2) composite?
False
Let n(t) = t**2 - 1. Let l(k) = -4*k**2 - 4 - 6*k**2 - 8*k + 0*k**3 - k**3. Let f(m) = l(m) + 3*n(m). Is f(-7) prime?
False
Let s be (0/(-1))/(1 - -1). Suppose 0*t - t + 191 = s. Is t a prime number?
True
Suppose 0 = 2*y - 8. Is 1/y + 2975/20 composite?
False
Suppose -2*s - 3*s + 25 = 0. Suppose -2 = 6*k - 4*k - 5*v, -s*v - 20 = 0. Let i = 72 - k. Is i a prime number?
True
Suppose 5*d + 20 = 5. Is d + (189 - -2) - -3 composite?
False
Let o(r) = -r**2 + 4*r + 3. Let f be o(6). Let l be (f/2)/(3/(-140)). Suppose 5*g + l = 1025. Is g composite?
False
Is ((-4)/10 + 4/60)*-6123 a prime number?
False
Suppose 4*s - 10 + 50 = 0. Let m = s + 195. Is m a prime number?
False
Suppose -3*t = 3*a, -t + 2*a = t + 12. Let o = 1 - t. Is 2/(-8) - (-149)/o a composite number?
False
Let p be 27/(-12) - (-3)/12. Is (-1 - p)/(4/124) a composite number?
False
Suppose -x - 2*j + 36 = 0, -x = -3*x + 5*j + 117. Is x a prime number?
False
Suppose 7*l - 4*l + t + 9 = 0, -3*l = -5*t + 27. Let g(o) = -58*o + 4. Let k be g(l). Suppose -2*i - 2*i + k = 0. Is i prime?
True
Is (-9510)/(-8) - (-16)/64 prime?
False
Suppose -5*n - 524 = 4*k, 0 = 2*k - k - 2*n + 131. Let x = k - -184. Is x a prime number?
True
Suppose 4*x = 5*j - 14, -4*x + 3*j = x + 11. Let h = x + 4. Suppose h*o + 2*n = -n + 186, 0 = -2*o + 5*n + 124. Is o prime?
False
Let k(u) = -34*u + 41. Is k(-12) a prime number?
True
Suppose -5*u = -4*h + 10, 2*h = -0*h + 3*u + 4. Suppose -5*b - 94 = -r, -105 + 327 = 3*r + h*b. Is r a composite number?
False
Let g(z) = -1260*z**3 - z**2 + z + 1. Is g(-1) a composite number?
False
Let s(b) = b**2 - b + 5. Let x = -15 + 33. Suppose 2*d - x = -d. Is s(d) prime?
False
Suppose 5*p = -3*w + 3510, -1153 = 2*w - 3*w + 4*p. Is w a prime number?
False
Suppose -3*j - 12 - 11 = -n, 4*n = j + 4. Let h = j - -12. Is 43/2 + h/(-8) composite?
True
Suppose -4*z = -0*d - 2*d - 2618, 4*z + 2*d = 2614. Suppose -1 = -2*q + 5. Suppose 6*f - z = q*f. Is f composite?
True
Let d be 2 - 0/(-3 - -1). Suppose 5*t - 101 = -2*f, 0*t - d*f = -t + 13. Is t composite?
False
Let a(g) = -65*g + 9. Let n(k) = 32*k - 4. Let y(x) = 2*a(x) + 5*n(x). Let j be y(3). Is (2/(-4))/((-2)/j) a prime number?
False
Let b = -22 + 81. Let a(r) = -b*r + 0 + 1 - 17*r. Is a(-1) a composite number?
True
Let u(d) be the first derivative of -d**4/4 + 4*d**3/3 - d - 14. Let m(k) = -k**2 + 2*k + 4. Let c be m(4). Is u(c) a composite number?
False
Suppose 2*d = -0*d + 3*c + 4396, 0 = 4*c + 8. Is d a prime number?
False
Let o = 9 - 3. Suppose -k + 129 = -4*d, 5*d + 527 = o*k - 2*k. Is k prime?
False
Let k be ((-4)/(-7))/(4/14). Suppose -k*d = -a + 47, 3*d + 44 = a - 2*d. Is a prime?
False
Let x be 3*3*(-10)/(-18). Suppose x*a + 4*y - 401 - 318 = 0, -a + 3*y = -140. Is a prime?
False
Suppose 0 = 2*l - 3*d + 131, 0*l - 2*l - 4*d = 124. Is (l + 2)/((-5)/5) composite?
True
Suppose -3*q - 3*t + 3152 = -8*t, 2099 = 2*q - t. Is q prime?
True
Let r = 25 + 138. Is r a prime number?
True
Let i be 156 - (2 - (-1)/(-1)). Suppose -4*t - 2*s - s = -245, 2*t = 5*s + i. Is t a prime number?
False
Let h(v) = -v**2 - 3*v + 3. Let m(g) = -g**2 - 2*g + 4. Let o be m(-4). Let x be h(o). Is x/(3/(-66)) + 0 a prime number?
False
Suppose 2*j + 3*x = 2*x + 46, 4*j - 92 = -4*x. Is j prime?
True
Is 748 + 3*2/(-2) prime?
False
Let c = -6 - -10. Let o(r) = -r**3 + 4*r**2 - 5*r - 3. Let j be o(c). Let f = j + 108. Is f a prime number?
False
Suppose 2*t - 238 = -i - 3*i, -t - i + 114 = 0. Suppose 2*g - j + 161 = -6*j, -4*g - 307 = -5*j. Let q = t + g. Is q prime?
True
Is 3 + -8*93/(-6) a prime number?
True
Suppose 5*j - 5*l = j + 148, 2*l - 50 = -j. Suppose 5*o = 3*u + j, o - 3*u - 14 = -u. Is o composite?
True
Suppose -1142 = -3*r + 481. Is r a composite number?
False
Suppose 0*a + 6 = -3*a. Let w(g) = g**3 + g**2 - 3*g + 1. Let j be w(-3). Is (-532)/j - 1/a a prime number?
True
Suppose -4858 = -3*w - 2*n, -2*n - 852 - 7234 = -5*w. Is w prime?
False
Let o = -68 + 955. Is o composite?
False
Let c(l) = l**3 + 9*l**2 - 5*l + 8. Let a(u) = -u**2 + 6*u + 7. Let v(x) = x**3 - 8*x**2 + 8. Let t be v(8). Let g be a(t). Is c(g) composite?
False
Let f = 88 + -52. Let j = 50 - f. Is j prime?
False
Suppose 13 = -2*j - 3. Let v = j + 4. Let m(z) = z**2 - 5*z + 1. Is m(v) composite?
False
Let n(v) = 24*v**2. Let x be n(-1). Suppose -2*j = s - x, 10 = -4*s - 4*j + 86. Is s composite?
True
Let l = 1884 - -1297. Is l composite?
False
Suppose 25 = 5*j + 5*s, s = 5*j - s - 11. Suppose 0*i = -j*i + 9. Is i prime?
True
Suppose -496 = -2*x + 3*f, 0 = -5*x + 2*f + 1589 - 338. Is x prime?
True
Let z(m) = 4*m**3 - m**2 + 2*m + 5. Is z(4) composite?
True
Let r = -4 - -7. Suppose -51 = -r*z - 3*d, d - 1 + 3 = 0. Is z composite?
False
Is 136/(-6)*(-3)/2 a composite number?
True
Let y be (-2 - 1)/(6/12). Is ((-236)/8)/(3/y) composite?
False
Suppose 0 = b + 4*p + 11 + 1, 0 = -5*p - 15. Is (b + 0 - -89)/1 prime?
True
Let n(d) = -7 + 0 - 10*d + 4. Is n(-4) prime?
True
Suppose 6*d + 1205 = 7*d. Is d prime?
False
Let y(t) = 105*t**2 - t. Let g(u) = -106*u**2 + u. Let k(l) = -6*g(l) - 5*y(l). Let a be k(-1). Suppose -n - 2*x = -43, x + a = 4*n - 3*x. Is n prime?
False
Suppose 3*n = -2*n - 70. Let j = 24 + n. Is 1266/j + (-4)/(-10) a prime number?
True
Let y = 112 + 405. Is y composite?
True
Let s(y) = 14