rue
Let x be 10/2*632/20. Is x*((-35)/(-10) + -2) a prime number?
False
Let z be (225/(-10))/((-2)/4). Suppose 2*k = -3*k + 2*d + 254, -k - d + 55 = 0. Let v = z + k. Is v a prime number?
True
Is 1623 + -4 + -6 + (-25)/(-5) prime?
False
Let n = 2 + 5. Let j(q) = -q**3 + 8*q**2 - 6*q - 2. Let x be j(n). Suppose 2*d + 5*f - 239 = 0, x*d = 7*f - 3*f + 647. Is d a composite number?
False
Let q(s) = 202*s**2 + 2*s - 8. Let v be q(-4). Let p = -2251 + v. Is p composite?
True
Let m be (-340)/(-51) + (-2)/3. Suppose -5*d + 4*s = -314, 2*d - 4*s + 244 = m*d. Suppose v - 70 = -u + d, -v = 4*u - 129. Is v composite?
True
Let l(k) = -k + 3. Let g be l(-3). Let y be (-3)/g + (-17)/(-2). Suppose 39 = 2*o + b, 5*o + b - 94 = y. Is o a composite number?
True
Let l(r) = r**3 + 39*r**2 + 77*r - 35. Is l(-33) a prime number?
False
Let t(v) = 368*v**2 + 22*v - 64. Is t(3) a prime number?
False
Let p(d) = 18*d**2 - 137*d + 36. Is p(11) prime?
False
Suppose -797 = 3*t + 514. Let f = 978 + t. Is f composite?
False
Suppose -5*t + 11 = -3*a, -4*a + t + 2 = -2*a. Suppose a*y = 1232 + 2533. Suppose 18 = n - 5*c - 233, -4*c - y = -5*n. Is n a prime number?
True
Let v(k) = 345*k**2 - 17*k - 11. Is v(-5) prime?
True
Suppose -2*i + 134 = 4*p, 4*i + 0*i + 4*p = 284. Suppose -a + 6 = 5*s - 4*a, 5*s - a = 12. Suppose s*f = -b + 203 + i, 0 = 3*b - 4*f - 899. Is b a prime number?
True
Let y = -186 + 792. Suppose 2930 = 4*i + y. Is i a prime number?
False
Let y = 1610 + -604. Is y a composite number?
True
Suppose -4*l + 4526 = -9678. Is l prime?
False
Suppose -4*a + 5*a - 13499 = -5*w, 4*w - 10816 = -5*a. Is w composite?
False
Let h(m) = -3*m - 25. Let u be h(-12). Suppose -u*x = -7*x - 332. Is x prime?
True
Let h(o) = 57*o + 10. Let r(a) be the first derivative of -85*a**2 - 29*a + 7. Let z(g) = -17*h(g) - 6*r(g). Is z(5) composite?
True
Let o = -20 + 20. Suppose o = -g + 13 - 1. Is (14 - g)/(2/217) composite?
True
Suppose n - 6 = 4*n - 3*g, -4*n - 3*g = 1. Let c be (-24 + 21)*(n - 1). Is (-7 + c)*-1*19 a composite number?
False
Let h(n) = -n + 2. Let t be h(0). Suppose 1343 = t*x + f, 5*x - 2*f - 2731 = 604. Is x prime?
False
Let o be 8/(-4) + -9 - 1. Let t = o + 15. Suppose -w = t*x + 3*w - 621, 2*x - 2*w = 428. Is x composite?
False
Let d = 64 + -45. Suppose 6*f + 5707 = d*f. Is f composite?
False
Let q be 1592/3*((-28)/8 + 5). Suppose 2*y = 2*v + q, 4*v - 1556 = -4*y - v. Is y prime?
False
Let y(n) = 3*n + 3. Let b be y(0). Suppose -u + 611 = 4*i - 6*u, -450 = -b*i + u. Is i a composite number?
False
Suppose 0 = 20*o + 5310 - 21250. Is o a composite number?
False
Suppose 2*v + 331 - 943 = 2*i, -i = -2*v + 612. Suppose -v = -2*a + 676. Is a a composite number?
False
Let n(s) = -3254*s + 169. Is n(-5) composite?
True
Suppose -1812 = 3*j - 11310. Suppose 0 = -3*c + c + j. Is c a composite number?
False
Suppose 3*x + x - 2096 = 0. Let g be ((-6)/4)/((-6)/16). Suppose 0*j + g*j = x. Is j a composite number?
False
Let y be 1 + (-1 - (-5 - -3)). Suppose y*j - 295 = z + 236, 4*j - 5*z = 1053. Is j prime?
False
Let c(d) = -15*d - 50*d**3 + 5 + 26*d**3 + 2 + 26*d**3 - 21*d**2. Is c(15) a prime number?
False
Let y(p) = 12*p**2 + 50*p - 23. Is y(-39) prime?
False
Suppose 3003191 = 81*t + 482390. Is t composite?
False
Is 5*-1 + (-2 + 4902 - -2) a composite number?
True
Suppose 6*j + 4*s - 21 = 5*j, 3*j + 5*s = 42. Suppose -5*n + 1869 = 2*y, -4*y = -j*n + 4*n - 3753. Is y a prime number?
True
Let j(y) = -3356*y + 13. Is j(-3) a composite number?
True
Suppose -4*a - 30690 = -2*q - 91528, 0 = 2*a - 4*q - 30422. Is a a composite number?
True
Suppose -2*z + 3*h + 1 = -5, -14 = -2*z - h. Suppose -z*w + w = -1930. Is w composite?
True
Let y be 1 + -3 + 20*829*1. Suppose b + 2713 = -3*n + y, 2*n = 3*b + 9236. Is n a prime number?
True
Let j = -20957 + 40330. Is j composite?
False
Let k(m) = m**2 - 8*m + 3. Let h be k(8). Suppose -u - 2*o = -h*u + 2108, 5*u - 3*o - 5272 = 0. Is u a composite number?
True
Suppose 0*y + y = -5*l - 24, 7 = -l + 2*y. Let i(g) = -g**2 - 11*g - 1. Let w be i(l). Let n = -26 + w. Is n a prime number?
True
Let t be 4/(-6) + -2 + 8144/12. Suppose t + 328 = 4*f. Is f a composite number?
False
Suppose -19604 = -23*h + 9652. Let f = -361 - -678. Let j = f + h. Is j prime?
False
Is -9*-4*10871/84 prime?
False
Suppose f + 4*f = -3300. Let b(i) = -344*i**3 + 2*i**2 - 3*i + 2. Let d be b(1). Let q = d - f. Is q prime?
True
Suppose 5*x + 63 = -3*i, 3*x = 5*i + x + 74. Let b be (-1362)/i + (-10)/80. Let s = -54 + b. Is s prime?
True
Let x = -175 - -442. Suppose -15 = -9*i + 4*i. Suppose -i*g = -0*g - x. Is g a composite number?
False
Let u be (3 - 2)/(3/9). Suppose -o = -2*o + 5*d + 8, -5*d + 4 = u*o. Is 96/o + -2 + 1 composite?
False
Let z(a) = 11*a + 3*a - a**2 - 3 + 1 - 3*a. Let k be z(5). Is (-2 + k/(-12))*-39 prime?
False
Let w be (-43*3)/(-10 + 9). Let h = w + 49. Suppose -4*z + 0*m - 4*m + 192 = 0, 4*z = 3*m + h. Is z a composite number?
True
Let t(x) = -x**3 - x**2 - x + 1811. Let s be t(0). Let k = s - 2683. Is k/(-6) - 5/15 a composite number?
True
Let u be 3001*((-8)/20 - (-3)/(-5)). Let d = -1900 - u. Is d a composite number?
True
Let m(h) = 314*h - 345. Is m(8) a prime number?
False
Suppose -2*i - 3*c = -8675, 4342 = i + 2*c + c. Suppose -15*a - i = -37378. Is a a composite number?
False
Suppose -u - 4*w = -17351, 3*u - w = -0*w + 52118. Is u prime?
False
Let x = -465 + 4174. Is x composite?
False
Suppose 5*f - 20 = -2*l - 108, -5*l = -2*f - 12. Let k = -24 - f. Let r = 30 + k. Is r composite?
True
Let k be (32 + -5)*2/3. Suppose -2*p + 4 = -k. Suppose -3*y + 211 = b, p - 36 = 5*y. Is b a composite number?
True
Let r(q) = 204*q**2 + 4*q - 1. Suppose 19*w + 51 = 2*w. Is r(w) a composite number?
False
Let n be (8/10)/((-1)/(-95)). Suppose -n*q + 460 = -72*q. Is q composite?
True
Let g(p) be the second derivative of -p**5/10 + p**4/12 + p**3/3 - p**2 + 2*p. Let j be g(2). Let n = j + 14. Is n composite?
True
Let g = 13 - 11. Suppose -g*x + z - 885 = -6*x, -4*x + 880 = -4*z. Is x composite?
True
Let g be -1 - 8/(-2) - (29 + -28). Suppose g*y + 524 = 1470. Is y prime?
False
Let c(g) be the first derivative of g**2 - 13*g - 3. Let o be c(6). Let w(l) = 448*l**2 + l. Is w(o) a composite number?
True
Let p(i) = -210*i - 12. Let k be p(4). Let x = k - -1321. Is x a prime number?
False
Suppose -2*l + 742 = 5*l. Let r = 143 - l. Is r composite?
False
Suppose -3*o + 68264 - 14618 = -f, 5*f + 35777 = 2*o. Is o prime?
True
Let o(u) = 4872*u**2 - u. Is o(1) a prime number?
True
Let h = -17 - -3588. Is h a prime number?
True
Let f = 10 - 8. Suppose 2*y + 404 = 6*y - 5*o, 303 = 3*y - f*o. Is -2*(0 + -1)*y composite?
True
Suppose -6*b = -b + 4*c - 16, 5*b + 2*c - 18 = 0. Suppose 4*l = -5*g + l + 1793, -b*g - 2*l = -1434. Is g a prime number?
False
Suppose -4*z - 4*q = 116, z - 2*z + 4*q - 24 = 0. Let o = -18 - z. Let a = 64 + o. Is a composite?
True
Let f(b) = 2*b + 20. Let j be f(-7). Suppose 0 = -v - 3*z + 34, -j*v + 4*v + 75 = -z. Is v a prime number?
True
Let d = 175 + -77. Let g = 175 - d. Is g prime?
False
Let r(q) = 118*q + 1. Let m(p) = -5*p - 9. Let u be m(-2). Is r(u) prime?
False
Suppose 3*w + 7 = 10. Let h(u) = u**3 + 12*u**2 + 11*u + 5. Let y be h(-11). Suppose f + y*b = 393, b - 3 - w = 0. Is f composite?
False
Let r(l) = -12*l + 12*l**2 + 38*l**2 + 13 - 8*l + 15*l. Is r(4) a composite number?
True
Suppose v + 554 = 2*v. Is v prime?
False
Is ((-1)/(-3))/(4 + (-146985)/36747) composite?
True
Let x(o) = 6*o**3 - 4*o**2 + 5*o - 3. Let l(b) = -5*b**3 + 3*b**2 - 4*b + 2. Let j(a) = 7*l(a) + 6*x(a). Let k be j(3). Is -1*((-510)/k - 2) a composite number?
False
Let s = -28937 - -65528. Is s a composite number?
True
Let b = -1265 + 1893. Suppose 4*t = -4*d + 6*d - 2610, 3*d + 2*t = 3939. Suppose m - z = -m + d, m = -5*z + b. Is m a composite number?
False
Let y(g) = 3*g**3 - g**2 + 1. Let i be y(1). Let d be (-36)/(i/(-3) + 0). Suppose 0 = u - 61 - d. Is u a prime number?
True
Let l(s) = 5*s**2 - 8*s - 8. Let v = -17 + 24. Is l(v) a composite number?
False
Let j = -15311 + 22950. Is j composite?
False
Let b(w) = -w**3 - 3*w**2 - 2*w + 5. Let u = -9 + 2. Let c be b(u). Suppose -3*a = -2*a - c. Is a composite?
True
Suppose -5*o = 4225 - 15240. Is o composite?
False
Suppose -2*