number?
False
Let m = -13453 + 27626. Is m prime?
True
Let o(x) = 15*x**2 + 15 + 12*x - x**3 + x**3 - x**3. Suppose -8 - 102 = -10*h. Is o(h) a prime number?
True
Let t(a) = a**3 + 4*a**2 - 15*a - 15. Let j be t(-6). Suppose -j*r = -795 + 24. Is r a prime number?
True
Let q = 12933 + -6172. Is q prime?
True
Suppose 5*g - 4*g - 30273 = 0. Is g a composite number?
True
Let u(q) = q + 3. Let v be u(-1). Is ((-248)/(-3) + v)*3 prime?
False
Let j be -12*2*4/(-8). Let z = j + -10. Suppose -z*r = -3 - 59. Is r a composite number?
False
Let c = -8 + 8. Suppose -3*y - y - 12 = c, 0 = 5*o + y + 3. Suppose -2*h + s + 586 = o, 0*s - 1465 = -5*h + 3*s. Is h a prime number?
True
Suppose d + 3*l + 13 = 6*d, 30 = 2*d + 5*l. Suppose -549 = -d*o - 2*s, -3*s - 8 = -7*s. Is o composite?
False
Let y be 2*(2 - (-3)/(-6)). Suppose -o + 1988 = y*o - 4*n, 2*o = -n + 982. Is o a composite number?
True
Suppose -3*g = 3*f - 161751, -5*f = -2*g + 91177 + 16657. Is g prime?
True
Let r = -44 + 52. Suppose 0 = r*k - 12*k + 4460. Is k a prime number?
False
Suppose 0 = 201*n - 210*n + 249579. Is n a prime number?
False
Let i(s) = -s**2 + 6*s + 9. Let n be i(7). Let k = -64 - -67. Suppose k*w = n*w + 307. Is w prime?
True
Let a = 9690 - 16594. Let q = -3057 - a. Is q a composite number?
False
Suppose -z + 3 = -0. Suppose -z*g - 323 + 1879 = 5*q, 2*g + 3*q = 1037. Is g a composite number?
True
Let k(b) = -26*b**2 + 3*b + 17. Let c(o) = -13*o**2 + o + 8. Let t(h) = -7*c(h) + 3*k(h). Is t(4) a composite number?
False
Let k(y) = -274*y - 17. Is k(-9) composite?
True
Suppose 5418 = 5*x + 4*n, 2*x - 5*n - 2154 = -0*x. Suppose -2*c - 2*c - 4*o = -2164, 2*o = 2*c - x. Is c a prime number?
True
Suppose f = 2*m - 2607 - 1902, -3*f = -m + 2247. Suppose -m = -3*d + o, -2*d + 2*o = 7*o - 1487. Is d a prime number?
True
Let a(h) be the first derivative of 52*h**3/3 - 2*h**2 + 3*h - 17. Is a(-4) composite?
True
Let n = -51 - -56. Suppose z = -4*d + 38, n*z + d + 0*d - 114 = 0. Is z a prime number?
False
Let b = -3 - -4. Suppose -5*u = -2*u - i - 459, -5*u - i = -765. Suppose 2*t = b + 3, 3*t - u = -3*p. Is p a prime number?
False
Suppose -4*c - 192 = 2*f, 5*c + 22 = 2. Let b = 199 + f. Is b a composite number?
True
Let q be 46/184 + (-1203)/(-4) + -2. Let n(h) = 289*h**3 - 2*h**2 + h. Let y be n(1). Let k = q + y. Is k a composite number?
False
Suppose 3*l = 5*w - 4*w - 13, 0 = w + 4*l + 22. Is (1 + (-110)/4)/(1/w) composite?
False
Let r be -1948 - 4/(-6)*-6. Let u = r + 2761. Is u composite?
False
Suppose -14782 - 1762 = -11*c. Is (1 + c/12)/(4/12) composite?
False
Let v(b) = 5*b**2 + 69*b - 28. Let j(g) = -g**2 - 17*g + 7. Let n(d) = -9*j(d) - 2*v(d). Is n(7) composite?
True
Let l be (6/4)/(1/2). Suppose 5*s - 2*s = 3*x - 39, -2*s + l*x - 26 = 0. Let f(q) = q**3 + 13*q**2 - 11*q - 10. Is f(s) a composite number?
True
Let a(k) = k - 17. Let j be a(0). Let z = j - -20. Suppose 0 = l - 5*g - 232, -l - g - z*g + 277 = 0. Is l a prime number?
True
Suppose 0 = 6*h + 5*p - 51993, -2*p = 4*h - 5*p - 34643. Is h a composite number?
False
Let l(z) = -7*z**3 + 3*z**2 - 3*z + 1. Let n(r) = -r**2 + 5*r + 7. Let a be n(6). Let t be l(a). Is (0 - -3)/(t/(-226)) a prime number?
True
Suppose -5*t - 50 = -2*l, 2*t - 2*l + 20 = -0*t. Is t/(-20) + (-1821)/(-2) a composite number?
False
Let a(b) = 18*b**2 + 10*b + 1. Let p(z) = z**3 + 5*z**2 - 5*z. Let d be p(-6). Is a(d) a composite number?
True
Suppose 27*o + 7299 = 579942. Is o prime?
False
Suppose 605*q - 601*q = 201428. Is q prime?
False
Suppose 0 = 5*k - 4*d, -5*k = -8*k - 2*d. Let r(q) = q + 47. Is r(k) a prime number?
True
Let n = 24 - 24. Suppose -5*d - 5 = 3*b, n = -7*d + 2*d + 4*b + 30. Suppose d*u - 5*f - 664 = 0, -3*u = -f + 43 - 1026. Is u composite?
True
Let p(f) = 55*f + 9. Suppose -22*w - 15 = -25*w. Let y be p(w). Suppose 2*s + y = 946. Is s prime?
True
Let u = 20 - 18. Suppose 160 = u*b + 6. Is b prime?
False
Let h = -345 + 6192. Is h a prime number?
False
Suppose a - 196 = 672. Suppose 6*z = 2*z + a. Is z a composite number?
True
Suppose 97*n = 107*n - 19370. Is n a prime number?
False
Is 1/(0 - 2/(-11494)) a composite number?
True
Let h(y) = -3*y**3 - 6*y**2 - 10*y - 18. Is h(-7) prime?
True
Let t(n) = n**3 + 10*n**2 + n - 13. Let w be t(7). Suppose 0 = 5*y + 5*p - 4205, -2*p - 3 = 3. Suppose -3*d + w = -y. Is d a prime number?
True
Let w = 56 - 53. Suppose 1512 = w*g - 0*u + 5*u, 3*u = 3*g - 1488. Is g a prime number?
True
Let a(v) = v**3 + 2*v**2 - 2*v + 3. Let x be a(-3). Suppose 2*h + 5 + 7 = x. Let i(t) = -t**3 - t**2 + 5*t - 5. Is i(h) prime?
False
Let p(r) = -1805*r + 51. Is p(-8) composite?
True
Let z(s) = -s**3 - 20*s**2 - 20*s + 28. Is z(-21) composite?
True
Is 3 + (5/((-25)/(-53270)) - -4) composite?
True
Let q = 317 - 175. Is q prime?
False
Let s be 2 - (6 - 4)*-1. Suppose -4*g = -5*j - g + 1645, s*j - 3*g - 1316 = 0. Is j composite?
True
Suppose 12 = 5*m + 4*k, -2*m - 3*k - 3 + 12 = 0. Suppose m*j - 515 = j. Let g = 896 + j. Is g a composite number?
True
Let b = 7445 + -4254. Is b prime?
True
Suppose -5*u - 2*u - 14 = 0. Let j be u + 9 - 0/1. Let q(z) = 29*z + 8. Is q(j) prime?
True
Let n = -13 - -30. Suppose -16 = -3*y + n. Suppose s = i + 2 + 3, 3*s - 4*i = y. Is s composite?
True
Is 87/29 + 3352/4 a prime number?
False
Suppose -2*m - 3509 = -5*m - 5*j, -5*m + 4*j = -5799. Is m a composite number?
False
Let r = 3697 - 1364. Is r composite?
False
Let b(a) be the third derivative of 2*a**5/15 - a**4/8 + a**3 + 2*a**2. Suppose -2*d + d = -5. Is b(d) a prime number?
True
Let n(j) = 105*j**2 - 3*j + 3. Let k(q) = -314*q**2 + 10*q - 10. Let u(w) = 2*k(w) + 7*n(w). Let i be u(1). Suppose p + 1 - i = 0. Is p a prime number?
False
Let g be ((-16)/(-12))/((-16)/(-36)). Suppose -k = g*c - 1871, -c + k = 3*c - 2490. Is c a prime number?
False
Let o be (1 + -2)/((-13)/(-13)). Is (o - (-222)/2) + 1 prime?
False
Suppose -z + 0*z = -4*n + 8370, -5*n - 4*z + 10473 = 0. Let f = n - 592. Is f a composite number?
True
Suppose 4*s - 3*u - 67259 = 0, 4*u - 81432 + 31019 = -3*s. Is s composite?
False
Let n be 4/(-4) - (-10 - 0). Suppose n*y + 5673 = 12*y. Suppose 5*l - z - 3144 = 0, 0*z = 3*l + 4*z - y. Is l prime?
False
Let h(l) = 6*l**2 + l - 1. Let x be h(1). Suppose -x*d = 447 - 1713. Is d a composite number?
False
Let h(d) = 6*d + 31 + 8*d + 37*d**2 + 0*d**2 - 2*d**2. Is h(-8) a prime number?
False
Suppose -216 = 4*g - 6*g - h, 117 = g - 4*h. Is g a prime number?
True
Let u(r) be the first derivative of 23*r**3/3 + 2*r - 33. Suppose 4*h = 2*f - 20, h - 4 = -f - 3*f. Is u(f) a composite number?
True
Let k = 40 - 26. Suppose 8*h + 2130 = k*h. Is h a prime number?
False
Suppose 5 = -9*s + 4*s. Is (-2)/(s - (-65)/75) a composite number?
True
Let v be -3*(10/15 - 3). Suppose 2*j - 4*z + v*z = 632, 2*z + 4 = 0. Is j prime?
False
Suppose 5*j = -2*o - 0*o - 15, 5*j + 15 = 5*o. Suppose o = 2*q + 6, 4*a - 8*a + 2*q + 790 = 0. Let w = a - 69. Is w a prime number?
True
Suppose -2*l = -0*l + l. Suppose l = 6*y - 7*y + p + 657, 0 = 3*y + 5*p - 2011. Is y a prime number?
False
Suppose 0*w + 47180 = 10*w. Suppose 0 = 4*u + k - 14571 + 5141, -2*u - 2*k = -w. Is u a composite number?
False
Suppose -17 = -7*l + 11. Suppose z = l*q + 259, 5*z + 2*q = 1344 - 27. Is z a prime number?
True
Suppose -21870 = -144*n + 1481634. Is n a composite number?
True
Suppose -106*y + 165 = -103*y. Is (-7867)/(-5) - (-33)/y a prime number?
False
Let u = -29427 + 47744. Is u prime?
False
Let c = 41 + -37. Suppose c*d = 129 + 355. Is d prime?
False
Suppose v = -0*v + 631. Let c = v + -377. Let n = 457 - c. Is n a prime number?
False
Suppose 5*r = 2*i - 4308, 754 = i + 2*r - 1409. Is i composite?
True
Suppose 2*v = 4*s - 170, -5*v + 3*s + 46 = 464. Is 3 - (v - (-12)/3) a prime number?
False
Suppose -3*v - v = -5*p + 20, 3*v = -2*p + 31. Suppose 0 = p*k - 2824 - 3088. Is k a prime number?
True
Suppose -19 = -3*r - 4. Suppose 460 = r*l - l. Suppose 7*z + 3*c - l = 2*z, 4*z = -4*c + 84. Is z a composite number?
True
Let q(x) = -180*x - 10. Let j be q(6). Let u = j - -1701. Is u a composite number?
True
Is (-3691361)/(-426) - (-2)/12*-1 a composite number?
True
Let l(x) = -x**3 + 7*x**2 + 10*x - 4. Let n be l(8). Let u = -6 + n. Suppose 0 = -u*b + b + 1465. Is b composite?
False
Sup