
Suppose 0 = 5*a + 27 + 3. Let x(g) = -320*g + 17. Is x(a) composite?
True
Suppose 8*n + 5920 = 3*n. Let p = -483 - n. Is p composite?
False
Let g(j) = j - 1. Let c be g(3). Suppose -5*k - t + 884 = -2*t, -c*k - 5*t = -359. Is k composite?
True
Let j be (-10)/(-15)*(189/(-6))/(-7). Suppose 2*w - 2*q - 1794 = 2*q, -q = j*w - 2726. Is w composite?
False
Let i(l) = 37*l**2 - l. Let n be i(1). Let r = -9 + 4. Let x = r + n. Is x a composite number?
False
Suppose 624 = -29*q + 31*q. Let t = q - -17. Is t prime?
False
Suppose -9 + 17 = 2*z. Suppose -z*u = -2*u - 404. Is u a prime number?
False
Suppose -1122 = -3*j - 0*j. Is (27/6 + -4)*j prime?
False
Let s = -10 + 39. Suppose -s*u = -31*u + 1358. Is u a composite number?
True
Let j be (-4744)/(-10) - 9/(-15). Suppose 4*t - 31 - j = y, 2*t - 246 = 4*y. Is t composite?
False
Let x(k) = -k**2 + 8*k + 4. Let s be x(8). Suppose -n - 4*c + s = -20, 0 = -n - 2*c + 14. Suppose 177 = n*t - 91. Is t prime?
True
Let h be 2*(-1)/(-7)*7. Let k = 135 + -79. Suppose h*a = 350 + k. Is a composite?
True
Let v = -58 - -310. Suppose -3*r = r + v. Let u = 26 - r. Is u prime?
True
Let l = 32 - 32. Suppose -w + 1664 + 495 = l. Is w prime?
False
Suppose 9 = 4*w - 3. Is (-1 - (-1 - w)) + 264 prime?
False
Suppose -2*g + 5640 = 4*g. Let x = -489 + g. Is x a prime number?
False
Let g(z) = -62*z**3 + 2*z**2 - 1. Is g(-2) a composite number?
False
Let o = 29 + -20. Is 1 + 75 + (10 - o) a composite number?
True
Let p = -1976 + 2107. Is p a composite number?
False
Suppose -17*k = -15*k + 6. Let h(n) = 11*n**2 + 3*n + 7. Is h(k) prime?
True
Suppose -2*v - 5*n = 20, 3*v + v + 12 = -3*n. Suppose 0*c + c + 117 = v. Let a = 74 - c. Is a a composite number?
False
Let y = 17178 - -26975. Is y a composite number?
True
Let b be 42/(-10) + 3/15. Let r(o) = 5*o**2 - 4*o - 5. Is r(b) a composite number?
True
Let i = -1715 - -12342. Is i a prime number?
True
Suppose -26*l = -l - 165925. Is l a prime number?
True
Suppose -22*w = -46*w + 111288. Is w prime?
True
Suppose -2*i + 3 = 2*q - 1, -i = 2*q. Is ((-717)/q)/(-3)*-10 a composite number?
True
Let a(i) = 4*i**2 - 3*i - 2. Let x(j) = -j**2 + j. Let b = -10 + 13. Let r(f) = b*x(f) + a(f). Is r(9) a composite number?
False
Let z(u) = 4*u**2 + 7*u + 1. Let b be z(-2). Suppose -i + b*i - 3*q - 442 = 0, -i + 3*q + 227 = 0. Is i a prime number?
False
Let j = 77 - 15. Let s = j + 87. Is s a prime number?
True
Suppose -3*v = -2*t - 3 - 2, 10 = 2*t. Suppose 0 = v*w - 7961 + 2616. Is w prime?
True
Let d = -12 + 14. Suppose 2*q + d = -0*q - 4*r, r = -2*q + 4. Suppose 0*h = q*p - 2*h - 496, h - 1 = 0. Is p prime?
False
Suppose 4*p + 25 = -7. Is 10/(-80) + (-7097)/p prime?
True
Let y = 24 + 62. Suppose 3*j = 5*i + y, 58 + 46 = 4*j - 4*i. Let h = -8 + j. Is h composite?
True
Suppose -2*b = 2*x - 7592, 0 = -4*x + 4*b + 6701 + 8491. Is x a prime number?
True
Let c be 145/11 - (-20)/(-110). Let o = 13 - c. Suppose y = -o*y + 97. Is y a prime number?
True
Suppose 4*s - u - 8185 = 0, u = 5*s - 0*u - 10232. Is s prime?
False
Let f(n) = 66*n**2 + 4*n + 1. Let r be f(-5). Suppose -2*x + 2043 = 5*p, r = 8*p - 4*p + 5*x. Is p prime?
True
Let g(a) = 7 - 8*a - 2*a - 30*a - 5*a**2. Let d(c) = -3*c**2 - 20*c + 3. Let v(r) = 7*d(r) - 4*g(r). Is v(12) a prime number?
True
Suppose -4442 = c + 5*r, -2*r = -2*c - 8341 - 495. Is ((-3)/9*-2)/((-4)/c) a prime number?
False
Let n be (6 - 1)*12/30. Is ((n + -12)/5)/(6/(-4659)) a prime number?
True
Suppose 2*w - 11233 = -4*v + 61057, 4*v = w - 36121. Is w a composite number?
False
Let i(q) = -9*q**3 + 58*q - 42*q**3 - 59*q - 1 - 2*q**2. Is i(-3) a prime number?
True
Suppose -3*g + g - 5*s + 2 = 0, -4*g + 4 = 5*s. Let t = g - 12. Let v = 66 + t. Is v prime?
False
Let g(x) = -2*x**3 - 6*x**2 - 6*x + 4. Let t(d) = -3*d**3 - 7*d**2 - 7*d + 5. Let y(w) = 5*g(w) - 4*t(w). Let z be y(3). Let c = 189 - z. Is c composite?
True
Let m be (-10)/10*(-8)/(-2). Suppose -8 = -3*d + 4. Is 37/(2 + d/m) prime?
True
Suppose 3*f - 5*y = 22, 3*f - 5 = 3*y + 25. Suppose -k + 52 = f. Suppose -g + k = -a, 0 = -3*g - 2*a + 93 + 21. Is g a composite number?
True
Suppose -5*p - q + 2254 = -2*p, 0 = -3*p - 3*q + 2256. Is p a prime number?
True
Let d(z) = 3*z + 2. Let j be d(0). Suppose j*l - 79 = -4*f + 103, 5*f - 373 = -4*l. Is l prime?
True
Let m(t) = t**3 - 2*t**2 - t - 8. Suppose 0 = 3*g - 6 - 6. Let b be m(g). Suppose -3*n = -4*d - 593, -d - 4*d + b = 0. Is n composite?
True
Let k(f) = f**3 + 2*f**2 + 2*f + 3. Let b be k(-2). Is 102/(-12)*b/(2/20) prime?
False
Let x(z) = 5 - 2*z**2 + 3*z**2 + 6*z + 4*z**2 - 3*z**2. Is x(6) a composite number?
False
Is (-7962)/2*(-3 + 18/9) prime?
False
Is (19843 - (-15 + 15)) + (-4)/(-1) a composite number?
True
Let d = -17 - -18. Suppose -7 = -3*c - d. Suppose 4*m = k + 2036, 4079 = 5*m + c*k + 1534. Is m a composite number?
False
Let i = -2 + 4. Suppose i*t - 2*v - 207 = -t, -2*v = -4*t + 276. Is t prime?
False
Let k = 0 + 6. Suppose -4*t + k*t - 356 = 0. Is t a prime number?
False
Let s(o) = -o**2 + 16*o + 3. Let m be s(16). Let h(k) = k + 3*k + k - 1 + 8*k**2 + k. Is h(m) a prime number?
True
Is 3*12/6*2459/2 a prime number?
False
Let f(q) = 7 - q - 16 + 8. Let k be f(-3). Suppose 5*s = k*d + 417, -3*s + 2*d - 6*d + 245 = 0. Is s prime?
True
Let b(m) = 666*m + 29. Is b(2) prime?
True
Let s be 34/8 - (-4)/(-16). Suppose 5*m - 11 = 3*n, s*n - 24 = -m - 2*m. Suppose f - n*l - 104 = 0, 7*l = -4*f + 2*l + 501. Is f a prime number?
False
Is (-1596)/(-4)*8 + -1 prime?
True
Suppose -2*a = -2, -2*l + 4*a + 4227 + 12159 = 0. Suppose 26*j = 31*j - l. Is j prime?
False
Let u(x) = -1600*x + 6. Let g be u(-2). Suppose -4*j = -0*y - 4*y - 2560, y = -5*j + g. Is j a prime number?
True
Let h(z) = 4*z - 3. Suppose -3*y = -11*y. Suppose 0 = 5*b - 4*t - 19, 3*b = -y*b + t + 10. Is h(b) a composite number?
True
Suppose 22134 = 3*l - 2*c - 31634, 3*c = -5*l + 89645. Is l a composite number?
True
Let w(r) = r**2 + 10*r + 17. Let v be w(-8). Let f be (2 + 3)*(2 - v). Suppose -33 = -6*y + f*y. Is y composite?
True
Let o = 26977 + -11536. Is o composite?
True
Let u = -59881 + 89510. Is u prime?
True
Let o be 184/56 + (-4)/14. Suppose o*k - 24 = -0*k. Suppose -3*h = -k*h + 455. Is h a composite number?
True
Let t(v) = 0*v + 9*v - 5 + 4*v**2 + 9*v**2 + 9*v. Is t(-8) a prime number?
True
Suppose -9020 = -3*w - 5*k, 2*w - w - 4*k = 2984. Suppose 2*y - 2744 = -4*d + 256, 2*d + w = 2*y. Suppose -y = -3*o - 3*i, 4*o + 5*i - 2015 = 4*i. Is o prime?
False
Suppose 20 = -4*o, -o - 6 = -2*s + 3. Let y be 4*(6 + 22/(-4)). Is (y/6)/(s/894) a composite number?
False
Let m(y) = 3*y**2 + 1. Let v be m(-1). Suppose -4*n + 3628 = -3*i - i, 0 = v*n + i - 3628. Is n composite?
False
Let a(v) = v**3 - 7*v**2 - 9*v + 12. Let n be a(8). Suppose 3*h - 3*w = -9, 2*h + n*w - 35 + 11 = 0. Suppose -h*f + 186 = f. Is f a prime number?
False
Is (-23370*4)/(-4) - (-25)/(-5) composite?
True
Suppose 0 = -8*c + 1321 - 273. Suppose 0*g + c = g. Is g prime?
True
Suppose l - 2*l = -3. Suppose 0 = -2*m + m + l*w + 19, -w - 21 = -4*m. Suppose -3*u = -u + m*q - 228, -5*u = 2*q - 538. Is u composite?
True
Let a(k) = 136*k**2 + 13*k + 5. Is a(-4) prime?
True
Let h be 2/17 + 64/34. Suppose h*c - 5*d = 3559, d + d = 4*c - 7110. Is c composite?
False
Suppose -82*o - 3*l = -84*o + 7559, 3*o + 5*l = 11386. Is o composite?
True
Let a be 4 + (-8)/(-2) + 0. Let p be a/(-3)*(-30)/20. Is p*(-2)/(-2) + 114 prime?
False
Let a = 1189 - -3346. Is a a composite number?
True
Let x(m) be the third derivative of m**7/630 + m**6/720 - m**5/120 - m**4/12 - 3*m**2. Let v(h) be the second derivative of x(h). Is v(6) prime?
True
Let n(r) = -53*r - 17. Let z be n(-8). Let k = 350 + z. Is k composite?
False
Let s(v) = 27*v**2 + v - 1. Let z = -40 - -35. Is s(z) a prime number?
False
Suppose 4*k + 24 = 5*r, 0*k + 3*k = r - 7. Suppose 34 = 6*q + r. Suppose b = -q*w + 165 + 1345, -1500 = -5*w + b. Is w prime?
False
Suppose 0 = -4*v - 3*w + 30378, 0 = 4*v + v - w - 37963. Is v prime?
False
Suppose 4*z - 4*l + 96 - 600 = 0, -2*l = 3*z - 358. Let i = z + 755. Is i a composite number?
False
Suppose 38*r = 32*r + 24. Is -1*(r*6/8 + -2780) composite?
False
Suppose -m + 2*m = -3*m. Suppose m = -4*q, 0*q + 3*q - 596 = -4*a. Is a a prime number?
True
Let w(u) = -7*u