e number?
True
Let y = 75 - 26. Is y a prime number?
False
Suppose 2*x + 174 = -x. Let k be x/(-4) + 1/(-2). Suppose -5*q = -81 - k. Is q a composite number?
False
Suppose -2*v + 3*c = -295, 0*v - 4*c = -2*v + 294. Is v composite?
False
Let c(f) = -f**2 - 4*f. Let b be c(-4). Suppose b = s + 16 - 1. Let o = s - -21. Is o composite?
True
Suppose 0*t = -c + 4*t - 7, 8 = -3*c - t. Is 89/(-3*1/c) a composite number?
False
Let t(r) = 2*r + 4. Let g be t(0). Suppose s = -g*y + 60 - 3, -263 = -5*s + 2*y. Is s prime?
True
Let u(d) = d - 5. Let w be u(10). Suppose r - 148 = -3*r + 4*z, r - 29 = w*z. Is r a prime number?
False
Let g(s) = 1966*s + 1. Is g(1) a composite number?
True
Suppose 4*l = l + 303. Suppose -l = -f + 2*b, -2*f + 214 + 13 = b. Is f a prime number?
False
Suppose 2*z + z + 1224 = -5*i, 732 = -3*i - 3*z. Let v = i - -395. Is v composite?
False
Let j(o) = o**3 - 9*o**2 + 2*o + 5. Suppose -15*f = -12*f - 27. Is j(f) composite?
False
Is 4/20 + 164/5 a prime number?
False
Let q = 16 - 12. Suppose -7*d + 129 = -q*d. Is d prime?
True
Suppose j + 4*s + 1607 = 4*j, 0 = -j + 2*s + 533. Is j a composite number?
False
Let l = 269 - 0. Is l composite?
False
Let h be 0 + (-9)/3 + 4. Let i be 3 - (h - -1) - -1. Suppose 5*a + c - 332 = 0, i*a - 129 - 11 = 2*c. Is a composite?
False
Let i = -370 + 582. Suppose 0 = j - 2*j + i. Suppose -3*k - k = -j. Is k a composite number?
False
Suppose -5*t = -2*t + 174. Let s = t - -91. Is s a prime number?
False
Suppose -6 = -2*r + 2. Suppose o - 515 = -r*o. Is o a composite number?
False
Let r = -19 + 33. Let a be r/8 + (-1)/(-4). Suppose h + 2*f = -2*f + 37, 3*h + a*f - 151 = 0. Is h prime?
True
Let v(o) = 356*o - 5. Is v(2) a prime number?
False
Let f be 4/10 + 13/5. Suppose -2*z + 9 = f. Is z a prime number?
True
Let i = 3 + -2. Suppose -l = 2*r, 0*l - 5*r = 4*l - 9. Suppose -s = -l - i. Is s a composite number?
False
Let w(p) = 2*p + 1. Let c be w(-2). Let i(q) = -2*q**3 + q**2 - q - 1. Is i(c) composite?
True
Let h(i) = -i**2 + 9*i - 11. Let o be h(8). Is (-9)/o - (-221 - -1) a prime number?
True
Suppose 2*v = -115 + 405. Is v composite?
True
Suppose -10*j + 644 = -6*j. Is j a composite number?
True
Let w(h) be the third derivative of -1/3*h**4 - 1/60*h**5 + 2*h**2 - h**3 + 0 + 0*h. Is w(-6) a composite number?
True
Let y = -894 + 1264. Suppose -2*u - 3*u + y = 0. Suppose -4*r + u = -2*x - 0*x, -4*r = 2*x - 94. Is r composite?
True
Suppose 3 = 3*w - 3. Let r(q) = -4*q + 4 - q**w - 2 + 5*q**2. Is r(2) a composite number?
True
Suppose 0*f + 4 = f. Suppose -311 = -f*l - 3*p, 52 = l - 4*p - 21. Is l a composite number?
True
Let p = -29 - -62. Is p composite?
True
Is (-1584)/(-20) - 2/10 a prime number?
True
Let w = -61 - -1484. Is w a prime number?
True
Suppose -4*p + 15 = 3. Suppose 4*g = 3*d - 111, 0 = 3*d - p*g - 49 - 65. Let q = d - 15. Is q a prime number?
False
Let f(i) be the first derivative of -3*i**4/4 - 2*i**3/3 + i**2 - 3*i - 2. Let z be f(-3). Let a = z + -17. Is a a prime number?
True
Let k be -1 - -11*2*16. Let h be k/6 - (-2)/(-4). Suppose -72 = -2*n + l, 0*n + h = n + 5*l. Is n a composite number?
True
Suppose -z + 128 - 33 = 0. Is z a composite number?
True
Is (1/(2/60))/1 + 1 prime?
True
Suppose 3*q - 30 = -0. Suppose 2*l = -5*k - 5, 11 = -4*k + 4*l - 7*l. Let n = k + q. Is n composite?
False
Let k = -7 - -10. Let f(m) = -3*m + m**3 - m**2 + 1 + k*m**2 - 4*m**2. Is f(4) composite?
True
Is ((-11811)/(-6) - -1)*(-20)/(-30) prime?
False
Is -2 + 1*(160 - 3) composite?
True
Let h(q) = -24*q. Let a be h(-2). Suppose -5*i = -5*j - 0*j - 190, 0 = j - 3*i + a. Let k = -2 - j. Is k prime?
True
Suppose -2*v = -u + 5, -6*u + 3 = -3*u - 2*v. Let j be -379*(-1 - u - 1). Suppose -c + 4 = 0, 4*c + j = m + 4*m. Is m a prime number?
True
Suppose -5*r + 0*r = n - 194, n - 4 = 0. Is r composite?
True
Suppose -2 = -f + 2. Suppose f*b = 3*b - 2. Is 0 + 0 + b + 163 prime?
False
Let b = 3541 - 2288. Is b a composite number?
True
Suppose -2*f - 15 = 5. Let z = 29 + f. Is z composite?
False
Suppose -84 = -2*g - 24. Suppose y - g = -2*y. Is y a composite number?
True
Let i(j) = -194*j + 2. Let l be i(-2). Suppose -3*m + 78 + l = 0. Let n = m + -77. Is n prime?
True
Let t be (6/9)/(3/531). Suppose -2*g = 4*k - t, -4*k - k - 2*g = -149. Is k a composite number?
False
Let n(o) = 23*o + 2. Let x = 9 + -6. Let y be n(x). Suppose -4*d = -y - 149. Is d composite?
True
Let k = 6 - 4. Suppose 10 = -k*p + 4*p. Suppose -36 = b - p*b. Is b a composite number?
True
Let r(q) = q**3 + 9*q**2 + 2*q - 3. Let n be r(-6). Let j = n - 62. Is j a prime number?
True
Suppose -4*p + 2512 = -0*p - 2*g, -3*p = -5*g - 1884. Suppose -p = -3*v - v. Is v prime?
True
Suppose 0 = -o - 2 + 15. Suppose -o = -5*d + w - 5*w, -w = -4*d + 2. Is 1 - (2 - (d - -97)) prime?
True
Suppose 5*b = -3*z + 5230, -4*b + 3*z + 173 = -4038. Is b composite?
False
Let m(c) = c - 8. Let w be m(6). Is w/10 - 56/(-5) a prime number?
True
Let o(y) = -9*y + 1. Let x(q) = 8*q - 2. Let c(h) = 7*o(h) + 6*x(h). Is c(-4) a composite number?
True
Is (-3 - -3) + -3 - -92 composite?
False
Let z be 6/4*(1 - -1). Suppose -y = -u - 15, -z*y = 5*u - 69 - 8. Is y a prime number?
True
Let r(k) = -4*k**2 - 11*k + 5 + 8*k**2 - k**2. Is r(9) composite?
False
Let a(o) = -76*o + 7. Is a(-3) composite?
True
Let x(y) = -22*y**3 + 2*y**2 + 4*y + 3. Is x(-2) composite?
False
Suppose -189 = -x + 5*i, -5*x - 241 = -2*i - 1301. Suppose 4*b - 795 = -5*l, 3*l - x = -b + 263. Is l a composite number?
True
Suppose 4*u = -3*f + 409, 5*f - 4*f - 2*u - 143 = 0. Is f a prime number?
True
Suppose 3*j = -2*c - j + 798, 4*c = -4*j + 1612. Is c composite?
True
Suppose -2*p - 8 = 0, n + 4*n = -3*p + 413. Is n prime?
False
Let w = -10 - -12. Suppose -w*a + 3*a = 22. Is a prime?
False
Let c(m) = 30*m**2 + m + 13. Is c(4) composite?
True
Is (278/(-4))/(2/(-4)) a prime number?
True
Let r = 14 - 12. Suppose -3*k = r*k - 295. Is k a prime number?
True
Let s(a) = -3*a**2 - 2*a - 1. Let i be s(-1). Let u = 7 + i. Suppose -u*b + 565 = -0*o + 2*o, -3*b + 339 = -2*o. Is b composite?
False
Let l = -65 - -556. Is l composite?
False
Let a(o) = 41*o**2 - 1. Let g = -15 - -13. Is a(g) prime?
True
Let k = 2 + 1. Suppose k*q = 81 - 6. Is q composite?
True
Let v(k) = 65*k. Let r be v(6). Suppose -238 - r = -4*s. Is s a composite number?
False
Suppose 6*d = 3*d + 9. Suppose 2*k + 20 = -d*l + 5*l, 5*l = k + 10. Let v = 16 - k. Is v composite?
True
Is (-9 - -10) + 406 + 2 a composite number?
False
Let g be (3 + 12)*10/6. Suppose -j = 4*j + g. Is ((-56)/(-10))/((-2)/j) composite?
True
Let y = 622 - 219. Is y a composite number?
True
Suppose 273 = 4*t - 5*m, 4*m + 485 - 155 = 5*t. Is t a prime number?
False
Suppose 2*f - 5*f + 9 = 0. Is 41 - (f + -3 - 2) composite?
False
Suppose 4*j - 24 = -0. Suppose -2*k - 1996 = -j*k. Is k a prime number?
True
Suppose 2*j = 26 - 4. Suppose y - j = 2*y. Let p = -8 - y. Is p a prime number?
True
Suppose 2*q + 8 + 54 = 2*g, -g + 5*q + 43 = 0. Is 12/g - (-1838)/7 a prime number?
True
Let v = 11 + -6. Suppose j = -3*x + 3, v*j - 9 = -x + 2*j. Suppose x = g + 2*g - 483. Is g a prime number?
False
Suppose -3*c + 4 = -8. Suppose t = -5*q + 189, q - t - c*t = 17. Is q a prime number?
True
Suppose v + 10 = -4*v. Let f(w) = 21*w**2 + 1. Is f(v) composite?
True
Let z(l) = l + 13. Suppose -2*f + 3*f = 0. Is z(f) a prime number?
True
Suppose 8*y - 728 - 1616 = 0. Is y composite?
False
Let o(n) = 14*n**2 - 1. Let s(t) = -t**3 + 2*t**2 + 5*t - 4. Let y be s(3). Is o(y) a composite number?
True
Let i = -1589 + 2704. Is i a prime number?
False
Let o(h) = -2*h + 2*h - 1 + 12*h**2. Suppose 0 = -4*n - 3*k - 16, -3*n + k = n. Is o(n) a prime number?
True
Let m = 6 + -3. Suppose -4*r = 5*i + 3, m*r = -2*i + 6*i - 10. Is 1 + 96/3 + r composite?
False
Let y(f) = 7*f - 4. Is y(5) composite?
False
Let w(u) = 4*u + 11. Let y(g) = 3*g + 7. Let q(k) = -5*w(k) + 8*y(k). Is q(3) a prime number?
True
Suppose f = -f. Suppose -j = 3, -2*b + 393 = -f*b + 3*j. Is b a composite number?
True
Let s = -45 - -121. Let f = 109 - s. Is f a composite number?
True
Suppose 5*g = 5*o - 30, -3*o - 4*g + 2*g = -13. Suppose -5*n = 2*k - 482, -o*k - 3*n + 1235 = 2*n. Is k a composite number?
False
Suppose 12 = 5*b - 3*b. Suppose 2*x = b*x - 80. Let