lse
Let h = 40 - 21. Is h prime?
True
Suppose -5*o = -2218 - 1192. Suppose 124 = 2*s - o. Is s composite?
True
Let n = 153 + -72. Suppose 2*r - n = 25. Is r composite?
False
Suppose 7 - 1 = -3*i. Is 3/(3/i) + 13 a prime number?
True
Let o(y) = 26*y**2 - y. Let v be o(1). Suppose 128 = 3*t - v. Is t prime?
False
Let n be 4/6*(-297)/(-6). Suppose -k + 2*c = -5, -2*k - 5*c = 2*k - n. Is k composite?
False
Suppose 0 = -4*a - 6*i + i + 283, 0 = a + 5*i - 67. Suppose 0 = 2*p - a + 2. Is p a prime number?
False
Let h = -5 + 7. Suppose -4*c = h*d - 290, 0*d + 5*d = -5*c + 720. Is d a composite number?
True
Suppose 3*q + 4*z - 52 = -0*z, -3*q + 5*z = -16. Suppose -3*w + q = 3*u, -2*w + 2*u - 8 = -0*u. Suppose 3*j + j - 84 = w. Is j a composite number?
True
Let h be ((-1)/4)/((-2)/16). Suppose m + h + 0 = 0, 3*m - 28 = -i. Is i composite?
True
Is (-21)/14*6548/(-6) a prime number?
True
Suppose 0 = q - 3*q. Let y = 4 + q. Is y a prime number?
False
Is 2534/22 - 3*2/33 prime?
False
Suppose q = -2*v, 0*q + v - 14 = 3*q. Let z = 3 - q. Suppose 0 = 4*u - z*u + 273. Is u composite?
True
Is 98 - 10/15*6 prime?
False
Let u be 78/(-5)*1*-5. Let t = -29 + u. Is t composite?
True
Suppose -3*t + 1307 = -526. Is t composite?
True
Is 3/12 - ((-921)/12)/1 a composite number?
True
Suppose 2*g + 4*z + 196 = -22, g = 5*z - 74. Let r = 340 + g. Suppose 3*f + 4*c = 293, 3*f - 36 = 4*c + r. Is f prime?
False
Let s = 5669 + -1904. Suppose 0 = 5*c - x + 6*x - s, -1478 = -2*c + 5*x. Is c prime?
False
Suppose -5 = -0*r - r. Is 15099/35 + (-2)/r a composite number?
False
Let o(y) = -y**3 + 11*y**2 + 15*y + 1. Let c be o(12). Is 7/(-3)*c*-3 a prime number?
False
Let x(q) = -q**2 - 7*q - 1. Let g be x(-7). Let c(u) = -84*u + 1. Is c(g) prime?
False
Let g = 338 - -65. Let c = g - 216. Is c a prime number?
False
Let i = 24 + -12. Let w = i - -11. Let h = 36 - w. Is h a prime number?
True
Suppose k - 10 = -5*p + 5, 2*k - 14 = -2*p. Suppose i + p*i - 345 = 0. Is i composite?
True
Suppose -3*u = -492 - 387. Is u a composite number?
False
Let s = 511 - 249. Suppose -5*i + 353 = 4*t, i - s = -3*t - 0*i. Is t a prime number?
False
Let g = 230 - -129. Is g a composite number?
False
Let t = -116 + 225. Is t a prime number?
True
Suppose 3*u + 0*u - 15 = 0. Suppose u*h - 2*h = 0. Suppose -4*p - 440 = -8*p + 2*r, p - 4*r - 103 = h. Is p composite?
True
Suppose 0 = 3*c + 12, 4*h - 4 = -c - 0*c. Let y be (h + 1)*46/(-6). Let p = y + 81. Is p a prime number?
False
Suppose 5*n - 773 = 562. Let a = n + -170. Is a composite?
False
Let y(t) = -2*t**3 - t**2 + 4*t - 2. Let p be y(-4). Let z = p + -57. Is z prime?
True
Let k be (-2)/6 + 1/3. Suppose k = -4*y + 2*o + 226, 5*y + o + 3*o = 263. Is y a composite number?
True
Suppose -3*k + 4*k - 5 = -o, 2*k = 5*o + 17. Suppose k*f = 4*f. Suppose m - 2*s - 2 = f, 2*s + 0 = 4. Is m composite?
True
Let z be 3 + 1 + -2 - 0. Suppose -c - 84 = -z*c. Suppose -2*q = 5*r - 105, 5*r - r - c = 2*q. Is r a prime number?
False
Let k(m) = -m**3 + 4*m**2 + 5*m - 7. Is k(4) a prime number?
True
Let r(u) = 27*u - 1. Let w be r(1). Let a be (9/2)/(1/w). Suppose 4*z - z = a. Is z a composite number?
True
Let w = 14 - 23. Is ((-15)/w)/((-2)/(-18)) a prime number?
False
Let z(p) = 62*p**2 - 3*p - 1. Is z(-2) prime?
False
Let d(a) be the second derivative of a**7/840 - a**6/90 - a**5/20 - a**4/8 - a**3/3 - a. Let j(s) be the second derivative of d(s). Is j(6) prime?
False
Suppose -2*g + 3 = 5. Let f be 2/6 + g/3. Suppose 6*c - 2*c - 88 = f. Is c prime?
False
Let r be (-4)/(-14) - 180/(-7). Suppose -5*a = -2*o + r - 450, 0 = 4*a - 2*o - 338. Suppose -5*d = -2*q + a, -4*d = q - 0*q - 69. Is q a prime number?
True
Let w be -2*6/(-4) - 1. Suppose n = -2*m - 1, -5*m - n = w*n + 5. Suppose 4 = m*r - 66. Is r a composite number?
True
Suppose -4*w = 59 - 231. Suppose -h + w = u - 3, u + 3*h = 46. Is u a composite number?
True
Let q = -42 - -577. Is q prime?
False
Let j = 43 + -6. Is j a prime number?
True
Suppose 356 = -2*z + 4*z. Suppose 3*x + z = h, -652 = -4*h - 0*h - 3*x. Is h prime?
False
Let c(p) = -2 - 4 + p + 4. Let g be c(0). Is (1/g)/((-1)/74) prime?
True
Suppose 5*j = 43 - 8. Let x(r) = -r**3 + 7*r**2 + r - 4. Let h be x(j). Is 34 + (9 - h) + -3 composite?
False
Suppose -4010 = -3*f + 649. Is f composite?
False
Let s(m) = -12*m - 10. Let i be s(7). Let z = 159 + i. Is z a prime number?
False
Suppose -242 = -5*i + 193. Is i a composite number?
True
Let v be -1 + 1 - (3 - 88). Suppose -4*b + 5*b - v = 0. Is b a composite number?
True
Let k(w) = 2*w**3 - 2*w**2 + 7*w + 5. Suppose 5*v = 3*v - 12. Let l(x) = 5*x**3 - 4*x**2 + 15*x + 11. Let r(t) = v*l(t) + 13*k(t). Is r(-2) a prime number?
False
Let y(a) = a**2 + a. Let m be y(-1). Suppose 0 = -2*c + 13 - 5. Suppose -3*v + 2*l + 53 = m, c*v + 3*l - 82 = -0*l. Is v composite?
False
Is 28/(-14)*(-1498)/4 a composite number?
True
Let j(s) = s**2 - 5*s + 4. Let u be j(4). Suppose -3*a + 31 - 1 = u. Suppose -5*x + a*x = 1055. Is x composite?
False
Let w(n) = 96*n - 2. Is w(1) composite?
True
Is (0 + 14/1)*5129/46 a composite number?
True
Let t(f) = -23*f - 2. Let s(m) = -m + 2. Let c be s(0). Let a be t(c). Let y = -29 - a. Is y prime?
True
Let b(f) be the first derivative of -f**7/840 + f**6/360 - f**5/120 + 127*f**4/24 - 2*f**3/3 + 2. Let d(j) be the third derivative of b(j). Is d(0) composite?
False
Suppose -d - 2*d = -9. Suppose i = -d*i + 104. Suppose -i = -2*r + 12. Is r a composite number?
False
Let a = -1010 - -2328. Is a a composite number?
True
Let d = 73 - -124. Suppose -5*y = -h - 1012, -2*y + 2*h = -y - d. Is y a composite number?
True
Let h = -11 - -88. Suppose 2*o + 86 = 4*u, -4*o - h = 2*u - 5*u. Is u composite?
False
Suppose -5*l + 19 + 6 = 0. Suppose -l*d + 2204 = 509. Is d a composite number?
True
Suppose 2*w = -w - 5*r + 616, 2*r + 416 = 2*w. Suppose -4*c = 11 - w. Suppose -4*a + 211 = -c. Is a prime?
False
Let s(k) = 5*k + 7. Suppose -4*j + 80 = 4*p, 0 = -4*j + 2*p + 13 + 37. Let t = 21 - j. Is s(t) composite?
False
Let s(a) = 3*a**2 + 4*a + 5. Let d be s(5). Suppose -d = -5*h + g, -5*h - g = -3*g - 105. Is h a prime number?
True
Suppose 0 = 3*v - x - 200, 203 = 4*v + 3*x - 42. Is v a prime number?
False
Suppose -5*c + 3*y = -12, -5*y + 11 = 2*c - 0*c. Is -10 + 8 - -3*c a prime number?
True
Let o(q) = 24*q + 5. Let y(i) = 25*i + 4. Let v(k) = 2*o(k) - 3*y(k). Is v(-4) composite?
True
Suppose -4*k = -5*w - k + 29, -3*w + 3*k = -21. Suppose -4*t - 89 = -q, t + 271 = w*q + 2*t. Is q a composite number?
True
Suppose 2*t + 1 + 1 = 0. Let y be (3/(-6))/(t/108). Let j = -35 + y. Is j a prime number?
True
Let g = 0 - -2. Suppose 12 + 14 = g*x. Is x composite?
False
Let k be 4*(354/(-4) + 0). Let b = 50 - 547. Let n = k - b. Is n prime?
False
Let q = -260 - -167. Let m = 356 + q. Suppose -2*t + 3*b = t - 264, -3*t = -4*b - m. Is t prime?
True
Suppose -149 - 147 = -8*q. Is q prime?
True
Suppose 16 = 4*g - 3*z + 4*z, -4*g - 3*z + 24 = 0. Suppose 4*j - 2*a - 287 = g*j, -4*j + 2*a + 1160 = 0. Is j prime?
False
Suppose -4*c = -9*c - 165. Let z = 68 + c. Is z composite?
True
Let v(x) = x**2 - 3*x - 3. Suppose -2*d + 0*d + 10 = 0. Is v(d) a prime number?
True
Let o = 40 + -3. Is o a composite number?
False
Let d be (-4 + 2)*-263 - -1. Suppose -4*t = -s + d, 3*t = 3*s - 26 - 1573. Is s prime?
False
Let z = -6 + 4. Is ((-5)/(-10))/(z/(-156)) prime?
False
Let a(s) = 11*s - 6. Is a(5) prime?
False
Let i(y) = 6*y**3 - 3*y**2 - 2*y + 2. Let k(d) = 7*d**3 - 4*d**2 - 2*d + 3. Let q(l) = -6*i(l) + 5*k(l). Is q(-3) a composite number?
True
Let x = 57 - -41. Suppose 0 = -4*r + 3 + 5, -2*a - 98 = 2*r. Let n = a + x. Is n prime?
True
Let x = -76 - -115. Is x a prime number?
False
Let b be 4 - (-3 + (2 - 1)). Is (-3)/9 + 68/b composite?
False
Let k(c) = -3*c + 2. Let q be k(6). Let u be (-2)/8 - 1092/q. Suppose -2*x + 3*b = -116, -5*x + b = -345 + u. Is x a composite number?
True
Suppose 0 = -4*o - 10 - 2. Let u(k) = -4*k**3 - 5*k**2 - 4*k - 4. Is u(o) a prime number?
True
Let w = 8 - 5. Suppose -w*r = -0*r - 138. Is r prime?
False
Let d = -1 + 5. Is 6828/10 - d/(-20) a composite number?
False
Let y(t) = -t**3 + 6*t**2 - 6*t + 4. Let j be y(5). Is -284*j/6*3 composite?
True
Let y = 11 + -12. Is (-2)/y*1146/12 a composite number?
False
Let