 28036. Suppose 0 = -3*y - 2*b + u, -8 + 3 = -b. Is y prime?
True
Let p be (-295)/15*(-18 - 0). Let w = p + -134. Suppose 889 - w = 3*i. Is i prime?
True
Suppose 2*n - 8 = -y + 5, 6 = -2*y + 4*n. Suppose -3*k = y*t - 230, 3*t = 5*t + 10. Is k prime?
False
Suppose -3*i - 30 = -4*i. Let x be (4/(-3))/(i/(-135)). Is 54 - 7/(14/x) composite?
True
Suppose 0 = -13*w + 5*w + 9416. Is w composite?
True
Suppose 7*i - 2*i - 10925 = -5*a, -2*i + 10910 = 5*a. Is -3 - ((a*1)/(-4) + 1) prime?
True
Suppose -9*x - 3 = -10*x. Suppose -4*t + 2282 = 2*s + 572, 2545 = x*s - 4*t. Is s composite?
True
Let j(n) = 2*n**2 + 28*n + 4. Let a be j(-14). Suppose 0 = -a*p + h + 5037, 3*h = p - 0*h - 1262. Is p composite?
False
Suppose 2*o + 0*o = -b - 4, 2 = b. Is (69/12)/(o/(-12)) prime?
True
Let o = -925 + 5954. Is o a prime number?
False
Is (-20)/(-30)*(-415146)/(-4) composite?
False
Suppose 0 = -4*m - l + 3410, -m + 6*m - 5*l = 4275. Suppose -4*v + 2*a + 1524 = 0, 3*a = -4*v + m + 651. Is v composite?
False
Is (-2)/5*963545/(-22) a prime number?
True
Let u = -358 - -3476. Is u prime?
False
Let n(z) = 13*z**2 - z - 4. Let m(c) = -25*c**2 + 2*c + 7. Let i(a) = 3*m(a) + 5*n(a). Let r(h) be the first derivative of i(h). Is r(-1) composite?
True
Let w be 1/(2 + (-11)/6). Let d = -178 + 182. Suppose s = -d*y + 6241, -3*s - 15 = -w*s. Is y composite?
False
Suppose -8*w + 16 = -4*w. Let m be (0 - 95)*w/(-2). Suppose 3*l - m = 3575. Is l a composite number?
True
Suppose 4*u + 8 = 2*r - 6, 0 = 2*r + 4*u + 2. Is 66 - (r + (-4)/1) prime?
True
Let a be 10/(-6) + 56/84. Is (63/(-45))/((a/4045)/1) prime?
False
Let p = -23 + 27. Suppose -3*f = p*t - 4117, -2*f + 2*t + 1911 = -829. Is f composite?
True
Let f be 44/6*(-12)/4. Let a = -18 - f. Suppose -4*x + 1942 = 2*d, -2*x + 4*x - 986 = a*d. Is x composite?
False
Let k(u) = 433*u**2 + 24*u - 144. Is k(5) composite?
True
Let u = 80 - 78. Suppose 0 = 5*q + f - 5340, 3*q - u*f = -0*f + 3217. Is q prime?
True
Suppose 3*j - 5 - 1 = 0. Let s be (-3)/(-1)*j/3. Suppose 0 = 4*c - b - 120, -s*c - 3*b = -b - 70. Is c a composite number?
False
Let m be 4/8 - (-2682)/4. Suppose 4*h - m - 1578 = -5*i, -3*h - 1793 = -4*i. Is i a composite number?
False
Let z(g) = 199*g + 105*g - 4*g. Let t be z(2). Let b = 287 + t. Is b composite?
False
Let s(b) = b**2 + 6*b - 10. Let g be s(-10). Let o = g + -50. Let z = 55 + o. Is z a composite number?
True
Suppose 2*g - 900 = 4*x, 904 = -g + 3*g - 3*x. Let r(u) = -11*u**2 + 3*u + 1. Let c be r(5). Let l = c + g. Is l a composite number?
False
Suppose 5*r - 20*n - 23654 = -23*n, -r + 4726 = -n. Is r a composite number?
False
Let r be (-2)/(-8) - (-126)/72. Suppose 942 = r*k + 70. Suppose 2*j + k = 6*j. Is j composite?
False
Let f = 18333 + -12893. Suppose 5*x - 5*h - 6825 = 0, -3*h - f = -4*x - 4*h. Is x composite?
False
Let z(w) = 3*w**2 - 7*w - 6. Suppose -15 = a + 3*h, 2*h = -4*a + 3*h - 21. Let v be z(a). Suppose -v - 54 = -6*b. Is b prime?
False
Let y = 46 - 43. Suppose 0 = d - 5*v - 186, 3*v + 648 = y*d + 6*v. Is d a composite number?
False
Let y(o) = 5*o - 3 + 2*o + 23*o**2 - 16*o. Let k(q) = -46*q**2 + 17*q + 6. Let s(i) = -6*k(i) - 11*y(i). Is s(5) a prime number?
True
Let c(j) = j**2 - 9*j + 11. Let z be c(8). Suppose 3*u = -z, 0*u = 4*p + 5*u - 531. Is 6/(-4)*p/(-3) a composite number?
False
Suppose 5*z = -70 - 35. Suppose 4*n + 1075 = -61. Is (n/6)/(14/z) a prime number?
True
Suppose -w - 4*n = -4119, 0 = 13*w - 10*w + 2*n - 12337. Is w prime?
True
Suppose -12490 + 668 = -2*z. Is z composite?
True
Let u be (0 + -3 + 4)*-47. Let w = 291 - u. Suppose 0*c + w = 2*c. Is c a composite number?
True
Let h(m) = 20*m**2 + 2*m - 7. Is h(-4) a prime number?
False
Let b(w) = -11109*w - 10. Let f = -107 - -106. Is b(f) prime?
False
Let v(w) = -3*w - 4 - 1 + 2*w + 2*w - 2*w**2. Let c be v(6). Let h = c - -160. Is h prime?
True
Suppose 0 = -2*c - 0*n + 3*n + 7277, 0 = -2*n + 6. Is c a prime number?
True
Let g(h) = 475*h + 3. Is g(2) a prime number?
True
Let q(c) = 153*c**2 - 7*c + 6. Is q(7) prime?
False
Let h = 61 + -55. Suppose 0 = -4*x + 7*x + h, -5*x + 16875 = 5*v. Is v prime?
False
Suppose -2*z - 3794 - 2939 = -3*g, 2*z = 5*g - 11223. Is g prime?
False
Suppose 0 = -4*i - 1424 - 328. Suppose x = 5*x + 1244. Let d = x - i. Is d a composite number?
False
Let x(m) = -13*m - 9. Suppose -2*l = -l - 2. Suppose w - 3*o = -7*o - 20, -2*o + l = -w. Is x(w) composite?
True
Suppose -9*v + 48 = 12. Suppose w + 117 = -2*h + 2681, -2558 = -2*h - v*w. Is h prime?
True
Let k = -21 - -26. Suppose j = k*j - 5908. Is j prime?
False
Let u(t) = 57*t**2 + 29*t + 7. Is u(-25) a composite number?
True
Let j = 5 + -2. Let a be (-7074)/12*(-4)/j. Suppose r = 4*r + l - 474, a = 5*r + 3*l. Is r a composite number?
True
Suppose 3*w - 7 = 5. Suppose 0 = -5*u + w + 6. Let y(g) = 295*g + 3. Is y(u) prime?
True
Suppose y - u = 10, 3*u = -5*y - 2*u + 80. Suppose -5*a = y*a - 36954. Is a prime?
True
Let x(b) = -170*b**2 - 13*b. Let h(c) = -85*c**2 - 7*c. Let q(k) = 5*h(k) - 3*x(k). Let f = 52 - 55. Is q(f) a composite number?
True
Let z be (-4)/(-10) + 8904/15. Let q be (-8)/12*6474/(-4). Let h = q - z. Is h prime?
False
Let u be -1 + (-3 - -2) + 2. Suppose u*r - r = 3. Is (-4)/(7 + r) + 59 a prime number?
False
Suppose -25925 = -6*f + 2473. Is f a prime number?
True
Suppose 462 - 1205 = -p - 2*s, -5*p = -5*s - 3775. Is p prime?
True
Let t(z) = 4*z**2 - 51*z + 223. Is t(-32) a composite number?
True
Let f(r) = r + 14. Let h = 35 - 35. Is f(h) a composite number?
True
Let q(b) = 21 + 20 - 62 - 45*b + 17. Let l(i) = -i**3 + 7*i**2 + 8*i - 3. Let r be l(8). Is q(r) a prime number?
True
Let y(x) = -15*x**3 - 42*x**2 + 9*x + 37. Is y(-17) a composite number?
False
Suppose 2*v - 38410 = 5*z - 9002, -14691 = -v - 4*z. Is v a composite number?
False
Let n(u) = 21*u**2 + 2*u + 1. Let f be (-2)/4*(-23 - -7). Is n(f) prime?
True
Let k(f) = -76*f - 37. Suppose 17 = -4*n + 5. Is k(n) composite?
False
Suppose 0 = 4*w - 782 - 734. Suppose 5*s + 3*v + 17 + w = 0, 3*s + 230 = 2*v. Let y = s + 115. Is y a composite number?
False
Let x(t) = -7*t + 3*t**2 - 8 - 2 + 5. Let y = 24 + -31. Is x(y) prime?
True
Let u be (-21)/66*-10 - 10/55. Suppose -394 = -2*n - 3*d, 7*n = 2*n + u*d + 943. Is n a prime number?
True
Let t(c) = 16*c**3 - 2*c**2 + 5*c + 39. Is t(10) a composite number?
False
Let g(z) = 25*z - 3. Let m be g(2). Suppose w + m - 346 = 0. Is w a composite number?
True
Suppose -15812 = -10*n + 16698. Is n a composite number?
False
Let k(z) = 16*z**2 + 33*z - 71. Is k(-24) a prime number?
True
Let t(j) be the second derivative of 5/3*j**3 + 3*j + 0 + 3/2*j**2. Is t(11) a prime number?
True
Let u(o) = 55921*o - 50. Is u(1) a composite number?
False
Let k(a) = -a**3 - 4*a**2 + 13*a + 10. Let q be k(-6). Is -2 + (q/8)/(2/148) a composite number?
True
Let o = 499 - 828. Let w be (-21 + 4)*(2 + 37). Let b = o - w. Is b composite?
True
Let u(k) = k**2 + 19*k - 1. Let q be u(-13). Let i be (q/4)/((-12)/96). Suppose -6*w = -8*w + i. Is w composite?
False
Suppose -248*r = -253*r + 12595. Is r prime?
False
Let d = 766 - -22. Let g = d + -369. Is g prime?
True
Is (20/(-12))/(-5) + 995776/24 composite?
False
Suppose 5*j - 618 + 6048 = 5*z, -z + 1089 = 2*j. Is z prime?
True
Suppose -2*h = -n - 0*n - 5, -5*n = h - 19. Let b(m) = n + 0 + 10*m**2 + 7*m**2 + 3*m + 0. Is b(4) a composite number?
True
Suppose 0 = 4*l - 2*l + 19524. Is (l/36 + (-4)/(-6))*-2 a composite number?
False
Suppose -60 = -5*p - 3*w, 4*p - 2*w - 16 = 2*w. Suppose 2054 = p*y - 817. Is y a composite number?
True
Let g = -10629 - -25828. Let i = g - 5952. Is i prime?
False
Suppose 296153 + 381546 = 4*z + 3*l, -z = 2*l - 169421. Is z prime?
True
Suppose 3*q = -i - 54, 5*q + 4*i = -i - 90. Let u = q + 56. Suppose 3*d - 100 - u = 0. Is d a composite number?
True
Let a = 2929 + 1480. Is a a prime number?
True
Let t(b) = -b - 2. Let l be t(-2). Suppose 4*f = -l*o + 3*o + 609, -3*o = 4*f - 591. Suppose 3*p + z - f = 89, -2*p = z - 160. Is p a prime number?
True
Let x(g) = g**3 + 5*g**2 - 5. Let n be x(-5). Let b(p) = -21*p - 6. Let y be b(n). Suppose y = -0*m + 3*m. Is m composite?
True
Suppose 19*l = 27*l - 5064. Is l a composite number?
True
Is 6821 - -5 - 3/1 a composite number?
False
Suppose -4*w = 3*l - 6, 0 