number?
False
Is 5593/21 - 2/(-3) a prime number?
False
Suppose -6 = -2*l - 2. Suppose -j = v + 6, l*j + 2*j - 5*v - 12 = 0. Let r(c) = -4*c + 2. Is r(j) composite?
True
Let o be (-2)/7 + (-328)/28. Let z = o + 17. Suppose -r + 40 = z. Is r a prime number?
False
Let r = 2608 + -1553. Is r composite?
True
Suppose -2*d - 2*d = 16. Let p be (-2)/d + 1/(-2). Is 3*5 + p/4 composite?
True
Suppose -3*i - 25 = 2*i. Let f = i + 8. Is 280/6 + 1/f composite?
False
Let u(z) = z**2 - 5*z + 1. Let g be u(6). Suppose 132 = 3*b - g*b. Let v = 4 - b. Is v prime?
True
Let k be (0/(-2) + -1)*1. Is 531/6 - k/2 composite?
False
Let x = 1158 + 85. Is x a prime number?
False
Let h(t) = t**3 + 4*t**2 - t - 5. Let w be h(-5). Let y = w + 16. Is (-3)/y*3*37 prime?
True
Suppose -12 = -2*i - 2*w, 4*w - 30 + 2 = -5*i. Suppose -4*d = -5*g - 464, -i - 4 = 2*g. Is d a prime number?
False
Let m(a) = -2*a**3 - 6*a**2 - 2*a + 8. Let f be m(-6). Let w = -45 + f. Is w composite?
False
Let v(i) = -i**3 + 5*i**2 - 4*i + 5. Let m be v(4). Suppose -2*y + 6*u = u - 39, -2*y - 11 = m*u. Is 262/14 - (-2)/y a prime number?
True
Let t = 856 - 549. Is t a prime number?
True
Let f be (-3)/6 - (-9)/6. Is (f/3)/((-3)/(-423)) prime?
True
Let a(c) = 147*c**2 + 4*c - 2. Is a(1) a composite number?
False
Let n(h) be the third derivative of 7*h**4/3 - h**3/2 + 2*h**2. Let c be n(3). Let b = 254 - c. Is b prime?
True
Suppose -g = 4*g - 115. Is g a composite number?
False
Let b be (-2 + 4 - 1) + 2. Let m be (b/(-4))/((-2)/(-8)). Is -53*(2 + (m - 0)) prime?
True
Let t be (-6)/(0 + 9/(-6)). Is t/10*3*5 a prime number?
False
Let q = -896 - -2357. Let w be (-35)/6 + (-2)/12. Is q/9 + (-4)/w a prime number?
True
Is 307/(-1 + (-8)/(-6)) a composite number?
True
Let x = 9 - -20. Suppose y - 4*y - 21 = -3*b, 3*b - x = 5*y. Is (b/6)/(1/18) composite?
True
Suppose -y + 2 = 0, -4*n + 675 = n + 5*y. Suppose -5*z - 266 = -2*i, i + 0*i + 5*z = n. Is i a prime number?
False
Let o(p) = -p**2 - 8*p + 12. Let d be o(-9). Suppose 2*x - 4*x = -d*f + 103, 2*x + 2*f = -78. Let q = 51 - x. Is q prime?
False
Let f(s) = 18*s**2 + 4*s**2 - s - 2*s + 3. Let c = 5 - 3. Is f(c) a composite number?
True
Let i(q) = q**3 + 3*q**2 - 2*q + 1. Is i(-3) prime?
True
Let v(d) = 45*d - 22. Is v(17) a prime number?
True
Suppose 0 = o - 3*u - 21, 5*o + 2*u + 3*u = 25. Suppose -2*w + 5*w = o. Suppose 0 = 3*m, w*a - 4*m = -2*a + 35. Is a composite?
False
Let t(m) = -m**2 - 4*m + 7. Let o be t(-7). Let r = 26 + o. Is (93/r)/((-2)/(-8)) composite?
False
Let w(t) = -8*t**2 + 11*t + 10. Let u be w(-7). Let h = u - -910. Is h a prime number?
False
Suppose 5*i - 3*s - 77 = 0, -s + 30 = 2*i - 3*s. Suppose -4*j = -0*j + i. Is (-15)/(-3)*(1 - j) a composite number?
True
Is 1 - ((4 - 978) + 4) a prime number?
True
Let s(l) = 6*l. Let w(h) = 7*h + 1. Let m(z) = -6*s(z) + 5*w(z). Let i be m(4). Is i/(-2) + 669/6 a composite number?
True
Let s(c) be the third derivative of c**5/12 - c**3/6 - 3*c**2. Let p be s(-1). Suppose -p*u = a - 55, -2*a + 67 = -2*u - 53. Is a a composite number?
False
Let w(l) = l**2 - 3*l - 5. Let k be w(5). Suppose -h - c = 8, 3 = k*h - 5*c - 7. Is (-110)/h - 3/(-9) prime?
True
Let g(d) = 64*d - 7. Let j be g(4). Suppose j = 3*p - 0*p. Is p a composite number?
False
Let o(q) = -q**3 + 10*q**2 - 3. Is o(6) a composite number?
True
Suppose 0 = -18*a + 17*a + 34. Is a a composite number?
True
Suppose 0 = 5*p - 2*p. Let k be (0 + p)/(-3) - 0. Suppose k*h + 203 = h. Is h composite?
True
Suppose -2*n + 5*n - 30 = 0. Suppose n = 4*j + j. Suppose j*w + 3*w + 2*s = 265, 0 = 2*w + 2*s - 106. Is w prime?
True
Let w be 12/(-18)*9/(-1). Suppose -5*l + w*l = 4. Is l prime?
False
Suppose -o + 2*y = -91, 5*o + 4*y - 422 = -23. Suppose -5*j + o = -32. Is j a composite number?
False
Let i(o) = -o**3 - 15*o**2 + o + 10. Let x be i(-15). Is (x/10)/(3/(-42)) prime?
True
Let o be 8/36 + 50/18. Let g be (o/(-4))/(2/(-8)). Suppose -g*s + 384 = 2*s - x, 5*s + 3*x - 388 = 0. Is s a prime number?
False
Let z(p) = -2*p**3 - 2*p**2 + 1. Is z(-2) a prime number?
False
Suppose 2*h + 869 = 3*k, 8*h = 2*k + 4*h - 590. Is k prime?
False
Let o(d) = -105*d. Let z(u) = -u - 1. Let f(a) = -o(a) - z(a). Let l be f(-4). Is 2/(-4)*(l + 1) composite?
False
Let x be 188/6 + (-3)/9. Let v = x - 9. Is v prime?
False
Let w(n) = 23*n**3 + 3*n**2 - 2*n - 1. Is w(2) composite?
False
Let a be (3*-1)/((-9)/21). Let s(j) = 4*j**2 - 6*j - 5. Is s(a) a composite number?
False
Let x = 4 + -1. Let y(q) = q**2 - 2*q - 2. Let d be y(x). Is 18*2*d/6 a prime number?
False
Suppose -10*a + 1524 = 2*a. Is a prime?
True
Suppose 51 = 2*l + 3*l + 3*b, 5*b = 10. Let q be (-262)/(-3)*l/6. Suppose 16 = -5*f + q. Is f composite?
False
Suppose s = 4206 - 29. Is s composite?
False
Suppose -4*t = -8, -5*b - 2*t - 968 = -3982. Suppose 3*a - b = -59. Is a a prime number?
True
Let b(s) = -s**3 + 5*s**2 - 3*s. Let p be b(4). Suppose -30 = k - p*k. Is k a composite number?
True
Let j(k) = k**3 + 11*k**2 + 9*k - 5. Let d be j(-10). Suppose 3*t + 0*y - 46 = -4*y, d*t = 3*y + 125. Is t composite?
True
Let l = -4 + 6. Is 1/l - (-942)/12 a prime number?
True
Let b = -16 + 101. Suppose 2*s = b + 97. Is s a composite number?
True
Let r(m) = -7*m**2 + 11*m + 6. Let g be r(-7). Is 1/5 + g/(-5) a prime number?
True
Suppose 3*y + 2*h - 12 = 0, 3*y + y - 20 = -4*h. Let g(t) = 6*t**2 - 3 + 2*t + 4 + 21*t**2 + 0. Is g(y) composite?
False
Let c = -1 + 5. Let t(d) = -4*d + 0*d + c*d + 12 + d. Is t(-6) a prime number?
False
Suppose p + 3*s - 12 = 0, -4*s = 4*p - 0*s - 72. Let i = p - 15. Let k = 25 - i. Is k prime?
True
Suppose -3*i + 0*i = 0. Suppose 6*d - 4*d = -o, -2 = 2*o + 5*d. Suppose -2*z + 57 = -z + 2*k, i = -o*z + 4*k + 288. Is z a prime number?
True
Let a = -1 + 1. Let i = a + -3. Is i*(-3)/9*37 a prime number?
True
Let t = -6 + 9. Suppose -6 = 5*p + 2*n, n = -5*p - 11 + t. Is (-59)/4*8/p a prime number?
True
Let g(y) = 3*y**3 - 5*y**2 + 2*y - 9. Is g(5) a composite number?
False
Let a = -6 + 43. Suppose -2*w + a = r, -2*w - 37 = -r - 0*w. Is r prime?
True
Suppose 2 = 2*a + p - 2, -3*a + 24 = -3*p. Suppose 180 = -a*f - 252. Let y = f + 151. Is y a composite number?
False
Let l(q) = -q**3 + q**2 + 1. Let t(d) = -5*d**3 - 6*d**2 + 8*d + 15. Let j(g) = 4*l(g) - t(g). Is j(-10) a prime number?
False
Let q(g) = -82*g. Let i(a) = -a. Let k(p) = 3*i(p) + q(p). Suppose -5*d - 7 - 10 = 2*b, 0 = -5*b + 5*d + 10. Is k(b) composite?
True
Suppose 4*x = 2*x + 4. Is x - 3 - (-40)/1 composite?
True
Suppose 4*g - 486 - 82 = 0. Let c = 200 - g. Is c composite?
True
Suppose 10 = q - 4*o, 5*o + 20 = 2*q + 6. Suppose -q*w + 54 = -4*s, 2*w + 2*s - 78 = -2*s. Suppose 0 = i - 0*i - w. Is i a composite number?
True
Let t(q) = q**3 + 8*q**2 + 5*q - 10. Suppose 0 = -s - 3*s - l - 31, 2*l + 13 = -s. Let m be t(s). Suppose 3*j - 1 = -m, -4*x - 3*j = -233. Is x prime?
True
Let r(s) = s**3 + 8*s**2 + 3*s - 6. Let o be r(-5). Suppose -o = 3*c - 813. Is c a composite number?
True
Let s = -152 + 405. Is s prime?
False
Suppose m - 5*a = -0*a + 2169, 5*a = 2*m - 4318. Is m prime?
False
Let p(o) = 20*o + 2. Let a be p(4). Suppose -5*w + a = -273. Is w prime?
True
Let v be (-70)/5*(-30)/4. Let k be (-8)/(-6)*9/(-2). Is (v/k)/(2/(-4)) a prime number?
False
Suppose -s = -3*p - 4, -3*s + 5*p - 2*p = -6. Let a = s - -2. Suppose 0 = -3*f - 4*h - a + 9, 0 = 5*f + 5*h - 10. Is f a prime number?
True
Suppose 0 = 5*m - 0*m + t - 3064, -3*m = -3*t - 1842. Is m prime?
True
Let n(l) = -l**3 - 10*l**2 + 16*l + 15. Let q be n(-12). Let x = q - -7. Is x prime?
False
Let o(r) = -10*r**3 + r**2 - 3*r - 3. Let a be o(-2). Is -3 + -3 + a/3 a composite number?
False
Let z(p) = -9*p**3 - 3*p - 1. Let i be z(-2). Suppose v - i = 6. Is v prime?
True
Let o(n) = 86*n**3 + n**2. Let u be o(1). Let y = u + 56. Is y a prime number?
False
Is 852/24 - (-1)/(-2) a prime number?
False
Let k(x) = 95*x**2 - 3. Is k(-2) a composite number?
True
Suppose -2*a + 3*a - 295 = 0. Suppose -2*v - a = -7*v. Is v a composite number?
False
Suppose m = 3*g + 2773, -5*m + 4*g = -7699 - 6144. Is m a composite number?
False
Suppose -8*q + 29 = -2315. Is q a composite number?
False
Let r(w) = w**2 - 8*w + 9. Let x be r(7). Let k = 105 - 42. Suppose x*q - k = -q. Is q prime?
False
Suppose -t = 3*