alse
Let h = 854 + 4185. Is h prime?
True
Let s(x) = 48575*x - 12. Is s(1) composite?
False
Suppose 2 + 4 = -r. Let y(q) = -2*q - 7. Let s be y(r). Suppose -h + 322 = -3*n, -h + 332 = -0*h - s*n. Is h composite?
False
Let m(d) = -83*d. Suppose -2*l = 2*l + 28. Let w be 5/l - (-8)/(-28). Is m(w) composite?
False
Let f = 18 + -9. Is 12943/3 + 6/f prime?
False
Suppose n - 48 = -2*n. Let o = n - 14. Suppose 0 = -4*f - x + 4*x + 61, -o*f - 3*x + 17 = 0. Is f prime?
True
Suppose 3*c + s - 40 = 6*s, -5*s = -4*c + 60. Let d = -11 + c. Is d/6*(-268)/(-3) a composite number?
True
Let d(x) = x**3 - x**2 + 14. Let u be d(0). Is 7 + (-26470)/(-35) - 4/u a prime number?
False
Suppose -20 = 5*i, 3*i = 5*a + 2*i - 14. Suppose 2*q + 26 = 4*c, a + 5 = c - q. Suppose -5*j = x - 75 + 5, -c = -2*j. Is x a prime number?
False
Let c(k) = 6*k**3 - 2*k**2 + 2*k - 1. Let v be c(1). Let r(l) = -29*l + 3. Let o(p) = -88*p + 9. Let q(d) = -3*o(d) + 8*r(d). Is q(v) a composite number?
False
Let b(r) = -r**3 + 4*r**2 + 2*r. Let k(l) = -l**3 + 5*l**2 + 2*l. Let d(s) = -6*b(s) + 5*k(s). Let m be d(-2). Suppose m*y - 5*y = -345. Is y prime?
False
Let a = 19744 - 8165. Is a a composite number?
False
Let o(k) = -46*k**3 - 13*k**2 + 11*k - 13. Is o(-12) a prime number?
True
Suppose 5*d + 18046 = 6*d. Suppose 5*b = -2331 + d. Suppose j - 625 = -2*v, -4*j = j + 4*v - b. Is j composite?
False
Suppose -2*t + 3 = t. Let a be t + 9/(36/8). Suppose z + 0*v - 4*v = 99, 253 = a*z - v. Is z prime?
True
Let k(s) = 23*s + 116. Is k(19) prime?
False
Suppose 150 = 4*u + 2*u. Let p = 28 - u. Suppose 0 = 2*v - x - 64, -2*x - 1 - p = 0. Is v a composite number?
False
Suppose 1317 = 3*b + 2*c, 17*c = 16*c. Is b composite?
False
Let l(a) = -a**3 + 14*a**2 + 18*a - 29. Let x be l(15). Is (-17 + x)*(-4*199 + -1) composite?
False
Is -29 + 73915 + (1 - 3 - 5) prime?
False
Is ((-5)/3)/(7/(300804/(-4))) composite?
True
Let s = -420 + 1220. Let y = 1729 - s. Is y composite?
False
Let o(w) be the third derivative of 89*w**4/4 - 5*w**3/6 + 31*w**2. Is o(6) a prime number?
False
Let f be 2/(-8) + 279657/84. Suppose 9*y + f - 9008 = 0. Is y composite?
False
Suppose -w = j + j - 74, 4*j + 16 = 0. Is w*(170/4)/5 prime?
False
Suppose 0 = -22*z + 5*z + 135847. Is z a prime number?
False
Let k(o) = 5*o**3 - 7*o**2 - 3*o + 5. Let v(j) = 26*j**3 - 35*j**2 - 14*j + 25. Let n(g) = -11*k(g) + 2*v(g). Is n(-6) a composite number?
True
Suppose 5*p - z + 13 - 1 = 0, 0 = -5*p - 5*z. Is 199 + 15 - 2/p a prime number?
False
Let q be 1 - (2 - -666)*-1 - 0. Suppose 15*h = 12*h + q. Is h a composite number?
False
Suppose 3*x + p - 12 = 0, 2*x - 1 = -5*p + 7. Let k be 16/56 - x/14. Suppose -r + 781 = 5*n - k*n, 0 = 3*n - 3*r - 483. Is n a composite number?
False
Let z = -129 - -329. Is 3*1/9 + z/3 prime?
True
Suppose 4*h = 5*h + 6. Let n(k) = 4*k + 6. Let v be n(h). Is v/(-12)*86/3 a prime number?
True
Suppose -3*b = a + 2*b + 8, -18 = -4*a + 5*b. Suppose -3*p + 15 = a*p, 5*y + 5*p = 90. Is y prime?
False
Suppose 283 + 2587 = 5*b + 3*f, 4*b + 3*f - 2299 = 0. Is b composite?
False
Suppose -y + 3*b = 26, 49 = -3*y + b - 21. Let l = -24 - y. Is (1/(-2))/(l/1754) a prime number?
True
Let w(k) = 670*k + 3. Suppose 0 = -4*f - 9 + 13. Is w(f) composite?
False
Let w be (-5)/(-2)*(-8)/(-10). Suppose n = 5*j - 3*n + 4, 0 = 5*j - w*n + 2. Suppose -3*l + 111 + 66 = j. Is l a composite number?
False
Let a be ((6 - 4) + 12)*44/8. Suppose -v = -4, 0*z = z - 3*v - a. Is z composite?
False
Let v = -16 + 19. Suppose 0 = -v*f + 17 + 262. Let b = f - 56. Is b prime?
True
Let u(b) be the third derivative of 1/30*b**5 + 1/12*b**4 + 0*b + 0 - 1/2*b**3 - 4*b**2 - 1/40*b**6. Is u(-4) a prime number?
False
Suppose -o = -4*m + 48569, -14*o + 3 = -13*o. Is m prime?
True
Suppose 3*y + 8*o = 3*o + 10764, 0 = -y + o + 3596. Is y prime?
True
Is (-526)/8*(-2988)/9 prime?
False
Suppose -5*s + 3*d = 5835, s + 2*d = -3*s - 4646. Let r = -617 - s. Is r a prime number?
True
Let q(l) = 1897*l**2 - l. Let p be q(-1). Suppose 2*w = w + u + 376, 5*w - p = -u. Is w composite?
False
Suppose -132*c + 179990 = -122*c. Is c a prime number?
False
Suppose 0 = -h + 3*q + 3453 - 984, -2*h + 4928 = -q. Let u = 3800 - h. Is u composite?
True
Is ((-10)/(-8))/(6/(-24)) - -1092 a prime number?
True
Let q(t) = 114*t - 257. Is q(12) a composite number?
True
Let y(p) = -83*p**2 + 3*p + 2. Let z be y(4). Let o = -175 - z. Is o a prime number?
False
Let l = 13773 - 7736. Is l prime?
True
Suppose -r + 2*r = -u - 6, 2*u - 3*r - 13 = 0. Let v(x) = -x**3 + 2*x**2 - 1. Let i be v(u). Suppose -2*t + 4*b = -502, -i*t + 6*b + 498 = b. Is t composite?
True
Suppose -7*t + 3*t + 12 = 0. Suppose 15 = t*h - 0*h. Suppose -3*j = 5*x - 2 - 11, 0 = -j - x + h. Is j a prime number?
False
Let b(p) = 9446*p**2 + 113*p + 431. Is b(-4) a composite number?
True
Suppose 3*y + 30 = -0*y. Let j = y + 10. Suppose j = -2*b + 10, -v + 3*b = -5*v + 107. Is v a prime number?
True
Let w(z) = 19*z**2 - 23*z + 3. Let s be w(12). Suppose -5*a = -s + 568. Is a a composite number?
False
Let w(x) = -24*x - 3. Let h be w(-7). Let d = h - 68. Is d composite?
False
Suppose 30 = 3*t - 5*t. Is (t/10 - -1)*-158 a composite number?
False
Suppose 0 = 2*p - 4, 22334 = 5*f + 5*p - 10411. Is f composite?
False
Let j(x) = -12*x - 23. Let k(r) = 11*r + 24. Suppose -12*l + 7*l = 20. Let a(u) = l*k(u) - 3*j(u). Is a(-15) a composite number?
True
Let n be (4 + -2)/(2 - 12/9). Suppose -n*j + 2524 = j. Is j prime?
True
Is 9791/2*(10 - 8) a prime number?
True
Suppose -4*v - 4*z + z = -338, 4*v + 4*z = 336. Suppose -v = -i - i. Suppose -5*a + 3*a + 3*n + 11 = 0, 4*a - i = -n. Is a a composite number?
True
Let q = -998 - -2253. Is q a composite number?
True
Let k be (2/3)/((-4)/(-564)). Let r = k + -51. Is r prime?
True
Let n(d) = 14*d - 138*d + 3 - 3 + 3. Is n(-5) a composite number?
True
Let b = -1320 + 2381. Is b a composite number?
False
Suppose -18*i = -63 - 27. Suppose -5*k = -5*d - 4615, i*d + 414 = -k + 1313. Is k a composite number?
False
Suppose t + 180 = 4*t. Is ((-87)/6)/(t/(-56) - -1) prime?
False
Suppose r + 145 = -3*l, 3*r + 116 = 3*l - 283. Let c = 227 + r. Is c prime?
False
Let s(l) be the first derivative of -2*l**2 - 1. Let d be s(1). Let g(q) = -11*q + 9. Is g(d) prime?
True
Let t(c) = 3*c**3 + c**2 - c. Let x = -13 + 17. Let h be 12/24*(x - 0). Is t(h) composite?
True
Let u(a) = 2*a**2 + 11*a + 2. Let j be u(-6). Let b(k) = 7 + 10*k**2 - j*k + 2*k - 2*k. Is b(6) a prime number?
False
Let p = 6 + -3. Suppose 2370 = p*f + r, -2*r = -5*f - 5*r + 3954. Is f composite?
True
Suppose 0 = 2*k + 39 + 3. Let s be (-8)/(34/38 + 2 + -3). Let r = s + k. Is r a prime number?
False
Suppose 8010 = 2*c + 3*c. Suppose -p + 793 = -2*q, c = 2*p - 0*q + 4*q. Is p prime?
True
Let p = 20 + -26. Let j(w) = 10*w**2 + 8*w + 11. Is j(p) a prime number?
False
Suppose -3*t + 5*h = -97015, -12*t + 9*t + 3*h + 97023 = 0. Is t prime?
False
Let l(q) = 1. Let m(x) = 4*x**2 - x - 4. Let k(p) = -4*l(p) + m(p). Is k(-5) a prime number?
True
Let d be 5/(-5) + (-153)/6*-178. Let n = 7287 - d. Is n prime?
True
Suppose -5*h + 26 = 1. Suppose h*j - 5*t = 585, -3*t + 235 = 2*j - 6*t. Is j*1*(-7)/(-4) composite?
True
Suppose 2*t + 0*p + 4*p = -8, -4*t + 5*p + 36 = 0. Suppose 5*l - t*l - 149 = 0. Is l a composite number?
False
Suppose -m = -2*m + 629. Is m a prime number?
False
Let h = -19771 + 29000. Is h prime?
False
Let x(d) = 434*d - 9. Let g be x(2). Let c = g - 428. Is c a composite number?
False
Suppose 4*o = -4*r + 18244, -4*o = -6*o - 2. Is r composite?
True
Suppose 0 = -3*z - 4*z - 14. Is 6/z - (-730 - 0) a prime number?
True
Let c(t) = -34*t**2 + t - 8. Let j(q) = 68*q**2 - q + 15. Let u(l) = -5*c(l) - 2*j(l). Is u(3) a composite number?
False
Let u be -6 + 6 + (-2 - -5752). Let g = u + -3993. Is g prime?
False
Let p = 37 + -133. Is 44453/8 + (-36)/p composite?
False
Let n = -1272 + 3600. Suppose 4*c + 7*j - n = 3*j, j = 4*c - 2313. Is c composite?
True
Let n(r) = -13*r**3 + 13*r**2 - 22*r + 55. Is n(-16) prime?
True
Let d = 4 - 18. Let m = -118 - -104. Is d/(-49) - 2362/m composite?
True
Let z(u) be the second derivative of -u**4/12 - 5*u**2/2 - 6*u. Let b be z(-10). Let s = b + 308. Is s prime?
False
Suppose 5 + 3 = -2*x, 2*v + 4*x - 152 = 0. Suppose v