?
True
Is 2/(-4)*-32 - 1 a prime number?
False
Let u be (-11)/(-4) + 9/(-12). Suppose 0 = -u*v - 2*v + 1340. Is v composite?
True
Suppose -7*o + 99 = -4*o. Is o a composite number?
True
Is 18/36*(-1 + 1439) a composite number?
False
Let q(w) = -w**3 + 5*w**2 + 9*w - 7. Let v be q(6). Let s = v + 192. Is s prime?
False
Is (-3)/(-1) + 350/10 a prime number?
False
Let y(s) = s + 5. Let h be y(-7). Let z be h/((-4)/2) + -1. Suppose z = 3*p + p - 56. Is p a prime number?
False
Let t be (4/(-12))/((-3)/27). Suppose t*h - 8*h + 25 = 0. Suppose 2*n = -5*v + 7*n + 740, 0 = h*v + 4*n - 749. Is v a composite number?
False
Let h(n) = n**2 - n - 2. Let k = -3 - -5. Let j be h(k). Suppose 0 = 5*x - 3*g - 74, x - g + 4*g - 4 = j. Is x a composite number?
False
Let m(v) = v**3 - 7*v**2 - 6*v - 11. Let d be m(8). Suppose 0 = 4*g - d*n - 157, 3*g - 3*n + 0*n = 120. Is g prime?
True
Suppose 2*t + p + 168 = 7*t, -2*t - 2*p + 72 = 0. Let m = t - 15. Is m a composite number?
False
Suppose 0 = -4*o - 4*z + 15580, -o - 3*z = -0*o - 3903. Is o prime?
False
Let j(c) = 6*c - 32. Let n be j(13). Suppose -4*d + n = 3*i, -5*i = -d - 26 - 43. Is i a composite number?
True
Let h be ((-134)/4)/((-2)/4). Suppose -4*y = -l - 83, h = -3*y + 6*y + 4*l. Is y prime?
False
Is -7*(-2 + 2592/(-28)) prime?
False
Suppose 6 = 2*c + 2*y, -3*y = 2*c - 6 - 2. Let a be c + -2*(2 - 3). Suppose -a*i + 155 = d, -2*d = -2*i + 90 + 24. Is i composite?
False
Let z = -18 - -26. Let j = z + -5. Suppose -2*w + 27 + j = 0. Is w a composite number?
True
Suppose 2*y - 4*y = -2*d - 8, 16 = -4*d - 4*y. Let x = 2 + -10. Is (-12)/x + (-78)/d prime?
False
Let t(j) = -8*j + 1. Let p be t(-1). Suppose -p = -2*v - v. Suppose 17 = u - v*n - 6, 3*u = 3*n + 93. Is u prime?
False
Suppose 3*j + 0*j - 18 = 0. Suppose -3*u - 3 - j = -4*z, -2*z = -3*u + 3. Suppose 212 = -2*t + z*t. Is t composite?
False
Let k be (-6)/9 + 130/6. Let m = k - 31. Let u = m + 29. Is u composite?
False
Let o(f) = -2*f - 6. Let t(w) = 5*w + 18. Let h(y) = 8*o(y) + 3*t(y). Suppose -u = -0*u. Is h(u) a composite number?
True
Let c(q) = q**2 + 0*q + 6*q - 2*q - 4. Let x be c(-4). Is ((-53)/4)/(1/x) a composite number?
False
Let d(u) be the third derivative of -u**6/40 - u**5/12 - u**4/8 + 5*u**3/6 + 2*u**2. Let s be d(-4). Suppose -5*q + 934 = s. Is q prime?
False
Let h = -6 - 0. Let v(c) = -2*c**3 - 7*c**2 + c - 7. Is v(h) composite?
False
Let r = 585 + -328. Is r a composite number?
False
Let x = 805 - 446. Is x a composite number?
False
Let q = 5 - 5. Suppose q = -3*l + l + 118. Is l prime?
True
Let l = -4 + 6. Suppose -s + l*h = -23, h - 3*h = -4*s + 122. Is s composite?
True
Suppose 18 = -3*v - 3*c, 25 = c + 4*c. Let s = -8 - v. Suppose 3*n = b - 35, 0 = -b + s*b - 4*n - 62. Is b a prime number?
True
Is (19/(-38))/((-2)/1028) composite?
False
Suppose 6*i - 564 = -0*i. Is i a prime number?
False
Let w(y) = 2*y - 11. Let i be w(8). Let x be ((-16)/(-10))/(2/i). Suppose u + x*v - 25 = 0, 0 = -0*v + v. Is u a composite number?
True
Let g(m) = 4*m + 9*m**2 - 8*m - 6*m**2. Let o be g(-3). Suppose -o = -3*r - 0*r. Is r a prime number?
True
Suppose 5*q + q - 1422 = 0. Is q composite?
True
Let m be (-20)/(-6) - 2/(-3). Suppose -h - m*h = -20. Suppose 314 = h*z - 2. Is z a prime number?
True
Let b(t) = -8*t + 7. Suppose 4*o = 4*y - 28, -o + y = 6*y + 19. Is b(o) a prime number?
True
Suppose -3*c + 0*c + 3*n = -30, c = 3*n + 20. Let f = c - -8. Is f prime?
True
Let y(o) = 2*o + 83. Is y(0) composite?
False
Let h be 263/3 + 12/(-18). Suppose 3 = -4*r + h. Is r a prime number?
False
Let g be (7 - 8)/(1/(-4)). Suppose 27 = -5*v - 33. Is ((-915)/9)/(g/v) prime?
False
Suppose -2*o - o + 6 = 0. Suppose 6*n = n + 25. Suppose 630 = n*x + s, -3*x = o*s + s - 366. Is x composite?
False
Let r(l) = -10*l - 1. Let u be 3*(0 + 1) + 1. Suppose 13 = -u*c - 7. Is r(c) a prime number?
False
Let f(o) = 5*o + 5. Let j be f(5). Let c = 77 - j. Suppose -3*v + c = -46. Is v prime?
True
Suppose 0 = 21*q - 22*q + 191. Is q prime?
True
Is 2775/39 - (-6)/(-39) a composite number?
False
Let l(y) = y**3 + 10*y**2 - 12*y + 7. Suppose -4*m + m - 30 = 0. Is l(m) composite?
False
Suppose 2*i = 3*i - 5*g - 110, -5*g + 140 = i. Suppose 5*p - i = -2*h, -h - 64 = 4*p - 7*p. Is p composite?
False
Let n(o) = -4*o + 1 + 4 + 6*o + 5*o + 5*o**2. Let v be n(-4). Let t = v - 14. Is t a prime number?
True
Suppose 1114 - 11063 = -5*c + 4*l, -3*l + 9977 = 5*c. Is c prime?
True
Let o be ((-3)/(-2))/(2/12). Let g(u) = -u**3 + 10*u**2 - 8*u - 7. Let n be g(o). Is ((-9)/12)/(n/(-16)) prime?
False
Let o = 1 - -1. Suppose 2*s + 0*t = 2*t + 64, 5*s + o*t = 139. Let b = s + -20. Is b prime?
False
Let q be (3 - 10)*(-1 + 2). Let s = 0 - q. Let v(l) = l + 3. Is v(s) a composite number?
True
Suppose 157 + 1129 = 5*o - 3*q, 1027 = 4*o - 3*q. Is o a composite number?
True
Let d(u) = -u**3 + u**2 + u + 1. Let s(y) = -3*y**2 + y + 2. Let a(p) = d(p) + s(p). Let j be a(-2). Is (164 + j)*(-1)/(-1) a composite number?
False
Suppose -5*p + v = -375, 4*p + 0*v - v - 299 = 0. Suppose k + p = 203. Is k a prime number?
True
Suppose -4*z + 1 = 13. Let b be 1 - (1 - -2)/z. Suppose -5*k - 5*x = -1060, 0*k - b*k + x = -421. Is k composite?
False
Let a(t) = -3 + 4*t + 2*t - 5*t + t**2. Suppose -f = -3*g - 10, 3*g + 12 = -2*g - 3*f. Is a(g) prime?
True
Let k = 35 - -39. Is k a prime number?
False
Let o(l) = -l**2 + 8*l - 8. Let r be o(7). Is (-70 - -3)/(r*1) a composite number?
False
Let h be 0 + 0/3 - -1161. Let j = -746 + h. Is j composite?
True
Let y(s) = -s + 11. Let g(t) = -t + 5. Let v(m) = 9*g(m) - 4*y(m). Is v(-2) composite?
False
Suppose 5 = 3*p - 4. Suppose -3*l = -p*d + 1971, -359 = -4*d - 3*l + 2255. Is d composite?
True
Let a(p) = p - 7. Let i be a(12). Suppose -x - i - 1 = 0. Let v = x - -32. Is v composite?
True
Let v be (-4)/(-16) + 18/(-8). Let w be (v + 1)*(1 - 3). Is w/((-4)/(-74)*1) a composite number?
False
Let x = -876 - -1463. Is x prime?
True
Let k = 895 + -452. Is k prime?
True
Let i(g) = 458*g - 9. Is i(2) composite?
False
Is (466/(-6))/((-3)/9) composite?
False
Let n(y) = 187*y**2 - y + 1. Is n(1) prime?
False
Suppose 0 = 3*c - 10 - 101. Is c prime?
True
Let a(k) = 8*k**2 + 11*k - 7. Let w be a(7). Suppose -5*y - y + w = 0. Is y a composite number?
True
Let a(k) = -k + 1. Let n be a(-3). Suppose 5*x - 3*l - 442 = 0, -2*x + 133 = n*l - 49. Is x prime?
True
Suppose -3*w + 186 + 45 = 0. Is w a prime number?
False
Let l be 2/(3/15*-2). Let s be (l - -5)*1/(-2). Is 46 + (1 - s)/1 composite?
False
Let j(o) = 142*o**3 + o**2. Let s = 13 + -12. Is j(s) a prime number?
False
Let o(l) = 258*l**2 + 6*l + 11. Is o(-2) prime?
True
Suppose 3*w + 14 = q - 2, -3*w - 14 = q. Let r be 296 - 1 - (-1)/q. Let u = -105 + r. Is u prime?
True
Let z(i) = -i + 2. Let f be z(0). Suppose f*s = -2*o - 2*o + 38, 3*o = 3*s - 84. Is 765/s + (-2)/(-5) a composite number?
False
Let t(x) = -x**3 + 10*x**2 + 12*x + 14. Is t(9) composite?
True
Let q be (-1147)/(-3) + 4/6. Suppose 5*d + 3*p = 5*p + 495, -p = 4*d - q. Is d a prime number?
True
Let u = -7 - -13. Let z be (-30)/(-9) + 4/u. Suppose 413 - 65 = z*g. Is g a prime number?
False
Let u(o) = 674*o**2 - 2*o + 1. Is u(1) composite?
False
Let h be (-573)/(-27) - (-2)/(-9). Let u be (-288)/21 + (-6)/h. Is (-4)/u + (-290)/(-14) a composite number?
True
Suppose 0 = -48*o + 53*o - 2985. Is o a prime number?
False
Let v(b) = -2*b - 3. Let h be v(-3). Is (37/(-3))/((-1)/h) a composite number?
False
Let p = -14 + 5. Let t = 14 - p. Is t prime?
True
Suppose -3 + 5 = k. Suppose k*d - 275 = -h - 2*h, 4*h - d - 363 = 0. Is h a prime number?
False
Let m(a) = -38*a. Let p be m(-1). Suppose 0 = -5*o, 5*c - 5*o - 917 - p = 0. Is c a composite number?
False
Let t(m) = 2*m**2 + 12*m + 11. Let c = 12 + -21. Is t(c) a prime number?
False
Let v(o) = 5*o**3 - 2*o**2 - 1. Let t(b) = -b**2 - 5*b - 2. Let j be t(-3). Is v(j) a composite number?
True
Let n = 8 - -6. Suppose -n = -h + 5. Is h composite?
False
Let g(p) = -678*p + 1. Is g(-1) a prime number?
False
Suppose -2*p + 3*b + 1384 = 0, -3*b + 3439 = 4*p + p. Is p a prime number?
False
Let r be 9/((-9)/(-3)) + -3. Suppose r*n = -2*n - 2. Is 609/7 - (1 + n) a prime number?
False
Let x(a) = a**2 - 2*a - 1. Let p be x(-1). Suppose -884 = -p*o - m, -o