ue
Is (-58952)/12*(-3 + (-12)/(-8)) prime?
True
Suppose 77600 = 7*n - 1311. Is n a composite number?
False
Let k = -101 - -294. Suppose -5*v + 777 = -k. Is v prime?
False
Let q(o) = -o**3 + 7*o**2 - 6*o - 8. Let x be q(7). Let y be (-20)/x + 16/10. Suppose -6*b - v + 54 = -b, y*b - 8 = 3*v. Is b composite?
True
Is (-252982)/(-6) - ((-160)/(-24))/10 a prime number?
False
Let f(r) = -79*r**3 + 8*r**2 + 6*r + 13. Is f(-4) a composite number?
True
Suppose -9*t = -4*t - 3*r + 104926, -4*r + 20992 = -t. Is (-3 + t/40)*(-10)/4 composite?
False
Let r be -2*(-14)/(-12)*21. Let w = 18 + 77. Let a = w + r. Is a a composite number?
True
Let k = -12 + 17. Suppose 4*x + 1847 = k*x. Is x a composite number?
False
Let j(z) = 2*z + 1. Let b(o) = -3*o - 2. Let f(g) = -5*b(g) - 8*j(g). Let x be f(2). Suppose -w + 43 + 84 = x. Is w composite?
False
Let w(c) = 3*c**3 + 16*c**2 - c - 9. Let l(u) = 4*u**3 + 24*u**2 - 2*u - 14. Suppose -2*i - 28 = 2*i. Let m(q) = i*w(q) + 5*l(q). Is m(5) prime?
True
Suppose -5*a - 20 = 5. Let q = a - -6. Let m(s) = 73*s + 1. Is m(q) prime?
False
Suppose 0 = 12*d + 340538 - 1127846. Is d a composite number?
False
Let y(f) = -f**3 + 8*f**2 - 6*f - 7. Let z be y(7). Is (-1635)/(-3) - (4 - z) a prime number?
True
Suppose -3*c + 8*c = 10, 4*m - 18 = -5*c. Suppose -m*s + 3453 = -377. Is s a composite number?
True
Let c(o) = -44*o + 311. Is c(-15) prime?
True
Let s = -18489 - -31780. Is s prime?
True
Let u = 7970 + -5559. Is u a composite number?
False
Suppose 9 = 2*f + 1. Let t(b) = b**3 + 30*b**2 - 3*b - 20. Let w be t(-30). Suppose f*z - 78 = w. Is z a composite number?
False
Suppose 21*z = -29588 + 207521. Is z prime?
False
Let f(n) = 11*n**2 - 14*n - 299. Is f(-9) composite?
True
Let y be -5*-2*38/4. Suppose y = v - 0*v. Let a = -28 + v. Is a composite?
False
Let k(u) = u - 1. Let q(j) = 13*j + 1. Let g(o) = -4*k(o) - q(o). Is g(-2) prime?
True
Suppose -2*a + l - 3 = -0*a, -5*a + 4*l = 0. Let z(v) = -v**3 - 5*v**2 - 7*v - 10. Let m be z(a). Suppose 0 = 2*g + m*g - 188. Is g a prime number?
True
Let d be (-1)/3 + 26/6. Suppose -15*g + d = -14*g. Suppose 669 = g*i - i. Is i a prime number?
True
Suppose 0 = 12*v + 20725 - 168481. Is v prime?
False
Suppose -7*g + 12*g - 1895 = 0. Is g a prime number?
True
Let n(j) = 118*j + 1. Suppose -6*l + 5*l = 2*h - 18, 2*l = 3*h - 41. Let i(m) = -m**3 + 11*m**2 - m + 14. Let y be i(h). Is n(y) composite?
True
Let s be (-42)/(-70) - (0 + (-7)/5). Suppose 760 = s*d - 942. Is d composite?
True
Let r(a) = -6*a - 12. Let o be r(-5). Suppose -o = -h + 2. Suppose -2*n + 238 = h. Is n a prime number?
True
Let y = 361 + 512. Suppose 3*z - y = -3*q, 2*z + z = 5*q + 889. Is z a composite number?
False
Let x be -10*(72/20 - 4). Suppose g = 4*b + 191, x*b + 103 = 2*g - 291. Is g composite?
True
Suppose 0 = -4*j - 4, 4*t - 6 - 1 = -5*j. Let n be ((-2)/6)/(t/(-1773)). Suppose 2*i - 79 = -p, -4*i - i = 2*p - n. Is i composite?
True
Let d(k) = -139*k - 5. Let g(y) = 69*y + 3. Let h(p) = -4*d(p) - 9*g(p). Is h(-2) prime?
False
Let y(r) = -r + 5. Suppose -5*k + 5*d + 50 = 0, -2*k + d - 1 = -16. Let a be y(k). Suppose a = s - 4*h - 569, -1717 = -3*s - 0*s + 2*h. Is s a composite number?
True
Let s = 1498 - -687. Suppose -h = 4*h - s. Is h composite?
True
Let j be (-4 + -126)/(2/(-3)). Let r = -17 - 107. Let f = j + r. Is f a prime number?
True
Let p(u) = 10*u**2 + 4. Let k be p(-4). Suppose 13 - 535 = -2*l. Let f = l - k. Is f composite?
False
Suppose -72*i = -71*i - 673. Is i a composite number?
False
Suppose -11*o = -135177 - 84229. Is o composite?
True
Let h be 11/((-462)/12) - (-164)/(-14). Is 2930/(-15)*h/8 composite?
False
Suppose r - 46 = -5*v, -75 + 13 = -3*r + 4*v. Let n = r - 20. Let m(b) = -b**3 + 9*b**2 - 3*b - 5. Is m(n) composite?
True
Suppose -c - 4*c - 10 = 0, 0 = -4*b + 2*c - 27040. Is 16/(-72) - b/18*2 composite?
False
Let t be 55/10 + (-2)/(-4). Let h(c) be the first derivative of -c**4/4 + 13*c**3/3 - 2*c**2 + 5*c - 3. Is h(t) composite?
False
Suppose 10*p - 12*p + 3*r + 18 = 0, 3*p + 4*r - 44 = 0. Let j(m) = 61*m - 35. Is j(p) composite?
True
Suppose -t - 4*s + 252 = 76, 5*t - 795 = -3*s. Let o be (2/3)/((-2)/6). Is (o - t)/(6/(-21)) prime?
False
Let d be 63/(-18)*(-4)/7. Suppose -3*v - d = -v. Let c = 258 - v. Is c prime?
False
Suppose 3*r - 5*x + 3214 = 0, 3*r - 5*x = -4*x - 3206. Let j = -545 - r. Suppose -3*b = z - 472, 4*z = -3*b - 48 + j. Is b a composite number?
False
Suppose 288459 = 123*h - 114*h. Is h composite?
False
Let q(d) = 18*d - 19. Let l be q(4). Let m = l + -16. Is m a prime number?
True
Suppose 2028 + 9962 = 5*c. Suppose 4*s - c = q + 3647, -1508 = -s - 3*q. Is s composite?
False
Let n(x) = 6*x - 1. Let i be n(1). Suppose v - 4*m + 23 = 4*v, 0 = i*v - 2*m - 21. Suppose v*p = 10, -2*l - 3*p + 4*p + 60 = 0. Is l prime?
True
Let b(l) = -l**3 - 13*l**2 + l + 10. Let k(q) = 6*q + 5. Let w be k(-3). Let p be b(w). Is 1*((p - 1) + 413) prime?
True
Let p be (7 + -8)*(-1 - -2). Let j = p + 1. Suppose 2*o - 195 - 391 = j. Is o prime?
True
Let p(r) = r + 5. Let q be p(0). Let o = q - 1. Suppose 3*f - 9 = 0, 4*t + o*f - 2790 = -862. Is t a composite number?
False
Suppose -56*h + 1030504 = -48*h. Is h prime?
True
Suppose 61*d = 613131 + 835070. Is d composite?
False
Suppose -4*g = 585 - 2177. Suppose 4*x = 1174 - g. Is x a prime number?
False
Is 232344/30 - ((-105)/25 + 4) composite?
True
Let t be 1401/(-9)*(17 - 8). Let a = 2092 + t. Is a composite?
False
Let w(u) = 6*u**3 - 4*u**2 + 2*u - 13. Is w(6) prime?
True
Suppose d + 1 = 2*k - 0*k, 4*k - 4*d = -4. Is k + 154/(2/1) prime?
True
Let a = 16527 + -11072. Is a prime?
False
Suppose -5*z = -2*b + 4*b - 96016, -5*z - 95996 = -2*b. Is b composite?
True
Suppose 114*f - 4*x = 112*f + 14838, 3*x = 4*f - 29651. Is f prime?
False
Let m = 9458 + -3951. Is m composite?
False
Let l(g) = 2*g**3 - 3*g**2 + 1. Let v be l(2). Let q = v + -2. Suppose -5*z = -3*o - 33, -27 = -2*z - 2*z + q*o. Is z prime?
False
Let l(a) = 2*a - 20*a**3 + 28*a**2 - 57*a**2 + 30*a**2. Let m be l(-3). Let b = -365 + m. Is b a composite number?
True
Let v(l) = l**3 + 5*l**2 + 8*l - 3. Let q be v(6). Suppose 0 = k + 1, 2*k = 3*a - 1562 + q. Is a prime?
True
Let v be (-14)/(-4) + 24/(-16). Suppose -v*m = -m - 2. Suppose t + 3*t - 58 = -2*w, -4*t - 18 = -m*w. Is w prime?
True
Is (-7)/(49/(-21)) + 698 prime?
True
Is (104187/9 + 2)*(-7 - -10) composite?
True
Let n be (-78)/(-24) + (-6)/(-8). Suppose 11 + 13 = -n*a. Let g(o) = 2*o**2 + 2*o - 7. Is g(a) composite?
False
Suppose 7 + 2 = 3*s. Suppose 7*y - s*y + p - 7369 = 0, 0 = y + p - 1846. Is y prime?
False
Is ((-4162)/(-4))/((87/(-6))/(-29)) prime?
True
Let m(q) = 1179*q**2 + 6*q - 16. Is m(5) composite?
True
Is 3114/(0 + (-24)/(-16)) - -1 a prime number?
False
Let x(w) = 9*w**2 - 17*w**2 + 128*w**2 + 1. Is x(1) prime?
False
Suppose 5*u = -2*n + 8, -3*n + 8 = -4*u - 4. Let z(v) = -4 + 4*v**2 - 9*v - 5*v**2 + u*v. Is z(-6) prime?
False
Let k = -64307 - -118542. Is k a composite number?
True
Let b = -417 + 439. Is b a prime number?
False
Let y(z) = -23*z - 12. Let l(t) = 539*t + 451. Let n(f) = -18*f - 15. Let p(q) = 4*l(q) + 121*n(q). Let g(j) = 4*p(j) - 3*y(j). Is g(-5) a prime number?
False
Suppose -l = l - 2*a - 190, a - 390 = -4*l. Is l composite?
False
Let z = -7036 - -12902. Suppose -z = -15*d + 8*d. Is d a prime number?
False
Suppose 4 + 6 = 2*u. Is 5016/5 - 1/u a composite number?
True
Is -13 - -5 - -15436 - 7 composite?
True
Let a = -17 + 20. Suppose -2*z + 7876 = -5*m, -3*z + 2*z + a*m = -3937. Is z a composite number?
False
Suppose d = -d + 974. Suppose -d = -4*x + 25. Let q = x + -63. Is q composite?
True
Suppose 5*s - 2*v = -6*v + 2385, -2*v = -5*s + 2415. Suppose -9524 = -15*y + s. Is y a prime number?
False
Suppose i = -5*u + 6*i + 55150, -5*u + 55129 = 2*i. Is u prime?
True
Let w(b) = 4*b**2 - 9*b + 36. Let p be w(8). Suppose p = v + 9. Is v a prime number?
True
Suppose -3*k - 118 - 26 = -o, -2*k + 129 = o. Let m be (-1410)/(-25) + 6/(-15). Let l = o + m. Is l prime?
True
Let m = -2426 - -3500. Suppose 12*q + 222 = m. Is q composite?
False
Let f(y) = 518*y**2 + 8*y - 20. Let a be f(9). Suppose 5*k + a = -d + 6*d, 3*k + 42020 = 5*d. Is d a prime number?
False
Let l(k) = k**2 + 6*k - 16. Let n be l(-8). Suppose -5*b