lse
Let s = -2275 - -4428. Is s prime?
True
Suppose 0*r - 5*f - 29 = -3*r, 3*r = 2*f + 26. Suppose -6*g = -r*g + 638. Is g composite?
True
Let s = 216 + -140. Suppose -2*d + s = f, 17 + 61 = 2*d + 2*f. Is d a prime number?
True
Let r be (16/12)/(2/3). Let u be 1 + 0 - (-5)/(-1). Is 47/r + u/8 a prime number?
True
Suppose 2 - 10 = 2*k, 1519 = 5*u + 4*k. Is u prime?
True
Let l = -4 + 6. Suppose -5*y + 26 = -2*o, -l*y - o + 7 = 2. Suppose y*n = -2*s - 2*s + 20, 5*s - 3*n = 41. Is s a prime number?
True
Is (-1004)/(-12) + 12/9 a composite number?
True
Suppose -5*g = -42 + 12. Let o be (-10)/(-6) + 2/g. Is (-8 - o)*(-15)/10 composite?
True
Is (9/(-27))/(0 - 1/1227) composite?
False
Suppose -3*v + 5 = -19. Let d be 9/(-2)*v/(-6). Suppose 26 = 2*g + d. Is g a prime number?
False
Suppose -3*c + 663 = -384. Suppose 350 + c = 3*m. Is m a prime number?
True
Let i(y) = -y**3 - 7*y**2 - 6*y + 5. Let n = -17 - -11. Let v be i(n). Suppose 285 = v*w + z - 3, 0 = 4*w - 4*z - 240. Is w prime?
False
Is -11 - -305 - (2 + -1) composite?
False
Let y(d) = 15*d - 7. Is y(6) composite?
False
Let p = -83 - -228. Is p a composite number?
True
Let t(o) = -821*o**3 + o**2 + 2*o + 1. Is t(-1) a composite number?
False
Let s(r) be the first derivative of 7*r**2/2 + 9*r + 5. Is s(6) prime?
False
Let l(h) = -90*h**3 - h**2. Let u be l(-1). Let r = -49 + u. Is (33/12)/(2/r) composite?
True
Suppose -8 = -4*j + 4. Suppose -u = j*u - 8. Suppose 3*p = -u*p + t + 261, 4*t = -2*p + 122. Is p a prime number?
True
Let d(n) = 20*n - 6. Is d(7) a composite number?
True
Let z(u) be the third derivative of u**6/120 - 11*u**5/60 + u**4/24 + 7*u**3/3 - u**2. Is z(11) composite?
True
Suppose 0 = 3*l - 2 + 8. Let u be (-4)/(l*1) + -19. Let w = -2 - u. Is w prime?
False
Let z(s) = 2*s + 5 + 34*s**2 + 56*s**2 - 4. Is z(-1) a prime number?
True
Suppose -5*d + 362 = -318. Suppose -d = -3*h - h. Is h composite?
True
Let g = 289 + -203. Is g a composite number?
True
Suppose 0 = -3*m - v + 164 + 842, -2*m = v - 669. Is m a prime number?
True
Suppose 5*o - 3*w - 34 = 0, -o + 3 = 2*o + 4*w. Suppose -2*d = -3*d + 5, 334 = 3*j + o*d. Is j a composite number?
False
Let l(k) = -k**3 + 7*k**2 + 8*k - 10. Let g be l(8). Let w be (12/g)/(12/(-30)). Suppose 8*n = w*n + 265. Is n composite?
False
Suppose -r + 47 = -3*z, 2*z = 3*r - 0*z - 113. Let k = 66 - r. Is k a prime number?
True
Suppose 2*o - 3*v = -2 - 0, 4 = 4*o - 2*v. Suppose 16 = 3*y - b, 3 = y + o*b - 0. Suppose -5*c + 2*t + 125 = 0, 31 = 2*c + y*t - 2*t. Is c composite?
False
Suppose a = -5*h + 1366 + 1322, -h = 5*a - 528. Is h/(-1)*5/(-10) a composite number?
False
Let q be 0 - (-3*3 - -3). Let o be 26/4 + (-3)/q. Is (9/6)/(o/184) a composite number?
True
Suppose 4*h + 14 = -350. Let f = 180 + h. Is f a prime number?
True
Suppose 0 = 2*m - b - 4 - 3, -m + 11 = -3*b. Suppose -5*i + m*i + 213 = 0. Is i composite?
False
Let o(m) be the third derivative of m**4/4 + 3*m**3/2 - 2*m**2. Let l be o(-6). Is (l + 5)*(-2)/4 a composite number?
False
Let m = -1 - -15. Let f = 163 - m. Is f a prime number?
True
Let w be (-43998)/(-54) + (-4)/(-18). Suppose -2*q - 3*q + w = 0. Is q a composite number?
False
Suppose 2*k - 102 = -2*l + 8, -5*l - 265 = -5*k. Let r = k - -1. Is r prime?
False
Is 3/((-9)/(-557)) + 20/(-30) prime?
False
Suppose -3*b = 5*s - 5500, 4*s + 2*b = 4*b + 4422. Is s a composite number?
False
Let v(l) = 33*l**2 - 4*l - 2. Is v(2) composite?
True
Let l = -2989 + 4386. Is l a prime number?
False
Let l = 12 - 6. Suppose 2*y + 27 = l*y + h, y = -5*h + 21. Suppose -32 + y = -2*s. Is s composite?
False
Let c be 6/4 + (-890)/(-4). Let g = c - 145. Is g composite?
False
Is 2/(5/(1610/(-318)) + 1) a composite number?
True
Suppose 3*v + 161 = 2*a, 2*v = 3 - 5. Is a a prime number?
True
Let k(n) = -n**3 + 5*n**2 - 7*n + 5. Let s be k(4). Let y = 28 - s. Suppose -3*u + 140 = y. Is u a prime number?
False
Let h be -1 + (11*5 - -2). Let d = h - 23. Is d a prime number?
False
Let j be (7/((-21)/18))/1. Let w = j + 13. Suppose -w - 147 = -2*s. Is s prime?
False
Suppose 0 = 3*j - f - 676, -5*j - 5*f = -6*f - 1126. Let l = j + -142. Is l composite?
False
Suppose -640 = -2*k + 246. Is k a prime number?
True
Let r(y) = 34*y**2 - y - 1. Is r(2) prime?
False
Is (154 - (4 - -1))*7 prime?
False
Suppose -2*k + 8 + 1 = -p, -4 = -4*k. Let l = 11 + p. Suppose -3*z + 5*z - 78 = -l*f, 5*z - f = 151. Is z a composite number?
False
Let l be (447/(-12))/(1/(-4)). Suppose u - 2*y = -3*u + 222, -3*u + l = 2*y. Is u prime?
True
Suppose 8 = 3*t + t - 2*d, 3*t = -5*d - 20. Suppose t*v + 106 = 2*v. Is v a prime number?
True
Let q(j) = 1991*j - 20. Is q(3) prime?
True
Let z = 13 + -27. Let s be 3/7 + (-9234)/z. Suppose s = 3*b - 669. Is b a prime number?
True
Let d be 164/14 - 12/(-42). Let a = 4 - d. Let u = 27 - a. Is u composite?
True
Let l be -136*(0 - -1 - 2). Suppose l = 2*x - 2*v, 5*v = 8*x - 4*x - 275. Suppose -4*i = -27 - x. Is i composite?
False
Let p = 203 + 480. Is p composite?
False
Let f be ((-15)/(-10))/(3/(-4)). Let y(x) = 96*x**2 - 3. Is y(f) a composite number?
True
Is 4/8*22*11 a composite number?
True
Suppose -14*p - 7610 = -41700. Is p composite?
True
Let m be 4/(-14) + (-58)/(-7). Let x = -5 + 8. Suppose -x*s - 2*h + m + 4 = 0, 16 = 4*s - 4*h. Is s a prime number?
False
Let s(c) = 0 - c**3 + 3 - c + 5*c**2 + 0 - 3*c. Let q be s(4). Suppose -q*o - 2*i + 103 = -70, 283 = 5*o - 2*i. Is o prime?
False
Suppose -n = -3*n + 10. Suppose 75 - 17 = 2*r. Suppose -4*b = 5*k - 8, b - n*k = -2 + r. Is b composite?
False
Suppose -2*n + 102 = -3*s - 431, -4*n + 2*s = -1046. Is n a composite number?
True
Is ((-5)/15)/((-1)/207) composite?
True
Let d(c) = -c**2 - 6*c + 1. Let t be d(-5). Let y(a) = 6*a**2 - 8*a + 10. Let f(g) = -g**2 - 1. Let z(s) = -5*f(s) - y(s). Is z(t) a composite number?
False
Suppose b = 2*b + o - 40, -5*o + 128 = 3*b. Suppose 248 = 4*q + b. Is q composite?
False
Let x(w) = -w**3 + 10*w**2 - 2*w - 6. Is x(4) composite?
True
Let v = -46 + 1719. Is v a prime number?
False
Suppose r + 3*i = 2696, -2*r + 4*i + 4353 = -1069. Is r a prime number?
False
Let t = -4 - -8. Let y = -5 - -9. Suppose 188 = y*h - t*o, 235 = -2*h + 7*h - 4*o. Is h prime?
True
Suppose 2*w - 4*z - 2 + 0 = 0, -4*z + 4 = 0. Suppose -w*t = -19 + 4. Suppose m - 15 = 3*f, -t*f - 10 = 10. Is m a prime number?
True
Let l(u) = u + 1. Let f be l(-8). Let z be 272/28 + (-2)/f. Let n = z + 13. Is n a composite number?
False
Suppose 0 = 2*o + 2*o + 48. Let t = -17 - o. Let u(b) = b**2 + b - 5. Is u(t) prime?
False
Suppose -2*m = -190 - 28. Is m a composite number?
False
Let m = 53 + -77. Suppose -66 = 5*j - 2*j + 3*n, j + 3*n + 32 = 0. Let w = j - m. Is w prime?
True
Suppose 0 = -4*v - a + 327, 0 = -v - 2*a + 42 + 38. Suppose v = 5*n + 3*r - 257, n - 5*r - 79 = 0. Is n a prime number?
False
Let p(m) = -m - 5. Let t be p(-5). Suppose -2*c - 2 = 5*l, t = 3*c + 2*l - 1 + 4. Is (1/(-2))/(c/154) prime?
False
Let z = 0 + 2. Suppose z*y - 3*y = -6. Is y composite?
True
Let g(l) = -5*l**3 + 2*l**2 + 6*l. Let w be g(-4). Suppose 3*x - w = -5*r, -4*r + 2*r + 109 = x. Suppose 3*b - 2*b = x. Is b prime?
False
Let l = 371 - 78. Is l a prime number?
True
Let m(g) = 672*g - 1. Is m(2) a prime number?
False
Let v(b) = b**3 + 8*b**2 + 8*b + 9. Let c(s) = -s + 3. Let t be c(9). Is v(t) prime?
False
Let n be ((-3)/(-6) - -1)*2. Suppose 5*j = i - 267, j + 773 = n*i - 0*j. Is i composite?
False
Let h be (-21)/(-28) + (-18)/(-8). Suppose -5*y = -h*y - 188. Is y a composite number?
True
Is (51/6 + -2)*2 a prime number?
True
Let x(p) = -p - p - 3 + p + 0*p. Let k be x(-5). Suppose 0*j - 6 = -k*j. Is j a prime number?
True
Let o be (90/(-8))/((-6)/16). Let r = o + -7. Suppose 4*h = -0*h + 16, k + 2*h - r = 0. Is k prime?
False
Let c be 540 + 2 - (-2 + 0). Suppose -5*a + 2*v + c = 0, 3*a + 4*v - 345 = -3. Suppose 3*p = -4*x + a, 4*p - 132 = 3*x - x. Is p composite?
True
Suppose -2*h + 4*q = -423 - 115, 4*h - 3*q = 1071. Is h prime?
False
Let g = 677 - 322. Is g a prime number?
False
Suppose 0 = -4*o + 3*i + i - 36, 1 = o + i. Let m = 149 + o. Is m prime?
False
Let i = 6 - 0. Let j be (2/6)/(2/i). Is 3*(j - 0 - -22) a composite number?
True
Suppose -2*r = -28 - 10. Let h = r - -76. Is h a prime number?
False
Let n(h) = -h*