rue
Let l be (1 + -1)/(-1)*-1. Suppose 0 = -5*x - l*x. Suppose -5*n + 6*d = 2*d - 130, x = 2*n - 3*d - 59. Is n a composite number?
True
Suppose -5*x = -12*x - 1470. Let c = x - -359. Is c prime?
True
Suppose 3*m + 2*i + 112 = 3*i, -2*i - 118 = 3*m. Let b be m/((0 - 3) + 2). Let f = -25 + b. Is f composite?
False
Suppose -629 = -t - 4*v, 3*v + 1596 = 5*t - 1618. Let l = 918 - t. Suppose -2*s - 5*d + l = 0, s - d = d + 125. Is s prime?
True
Is 39 + (-31)/62*(-1 - -3) a composite number?
True
Suppose -3*v + 35 + 10 = 0. Is v composite?
True
Let z = -13 + 19. Let u be 1254/z + (-2)/(-1). Suppose -3*r + 134 + u = 0. Is r composite?
True
Suppose 3*h = 6620 + 2149. Is h a prime number?
False
Suppose 3*c + 27 + 6 = 3*p, 37 = 2*p + 3*c. Suppose -5*b = -p - 1. Suppose 0 = -3*o - 2*i + 331, -b*o - i + 2*i = -334. Is o composite?
True
Is 1826 + (4 - 1) + 2 a prime number?
True
Let h = 140 - 137. Suppose g + 692 = 4*j - 1228, -1431 = -3*j + h*g. Is j composite?
True
Is ((-20)/16)/((-3)/(-12)) - -11488 a prime number?
True
Let j be (2 - (1 + 1)) + (225 - 4). Suppose j - 147 = 2*p. Is p prime?
True
Is (-9243 - -1)*(-3)/6 a prime number?
True
Let a be (-4 - -157 - -4)/(-1). Let t = a - -306. Is t a prime number?
True
Suppose -7*o + 1373 - 288 = 0. Suppose 2*d = 7*d - o. Is d a composite number?
False
Let s(n) = 9*n**3 - 2*n**2 + 1. Let o be s(3). Is (o - 4) + 3/3 prime?
True
Suppose g - 9 = 4*s, 3*s + 0*g - 5*g + 11 = 0. Let f be s/6*(-9)/3. Let q = f + 2. Is q a composite number?
False
Let c = 25 + -26. Let h(y) = -359*y**3. Is h(c) prime?
True
Suppose 0 = -l + 5*l. Is 1261 + (-2 - l - 0) composite?
False
Suppose 11462 = -5*j + 16*j. Is (j/(-5))/((-5)/25) - -1 a composite number?
True
Let v = 12 - 16. Let y = v + 3. Is y + (166 - (1 + 1)) a composite number?
False
Let q be 4 + 2/(1 + 1). Suppose -q*b + 3393 = -2612. Is b composite?
False
Let g = 130220 - 54954. Is g a prime number?
False
Suppose p - 3*t + 2 = -0*p, 4*p = 4*t + 8. Suppose 2*g = -p*y + 4602, -2*y + 5*y + 2*g - 3451 = 0. Is y composite?
False
Let t(m) = 90*m + 0 - 3 + 4. Is t(9) composite?
False
Let q = 4296 - -2381. Is q a composite number?
True
Suppose 5*b = -2*f - 2*f - 13, -4*f + 3*b - 37 = 0. Let g(w) = -5*w**3 + 4*w**2 + w + 9. Is g(f) prime?
True
Let d(s) be the second derivative of s**4/12 - s**3/6 - s**2 - 6*s. Let y be d(3). Suppose -y*b + 1059 = -b. Is b a prime number?
True
Let p(m) = 54*m - 1 - 24*m + 45*m - 3. Is p(9) composite?
True
Is 2/(-5) - 15740/(-100) a composite number?
False
Suppose 5*w = -5*h + 20, 4*w - 4*h - 2 = -h. Let m(k) = 18*k**3 + 2*k - 3. Is m(w) a prime number?
False
Suppose -3*o = v - 38, -4*v = -4*o + 30 - 6. Let h = -1 + o. Is ((-83)/5)/((-2)/h) composite?
False
Suppose 3 = -m, -5*m + 2 = 2*c - 3. Let a = 14 - c. Suppose 0*u + u - 3*w = 275, 0 = a*u - 4*w - 1084. Is u prime?
True
Let g(l) = -120*l**3 + 10*l**2 + 11*l + 10. Is g(-5) a composite number?
True
Let c be 1 - (-3 + 3 - 0). Let m be c + -2 + 4 + 1. Suppose 4*f + 51 = y, -y + f = m*f - 65. Is y a composite number?
False
Let u = -15 + 19. Suppose x - 784 = -u*x + m, 3*x - 2*m = 469. Let k = x - -150. Is k a prime number?
True
Let a be -1 + 2073 + 30/6. Suppose -k + a - 230 = 0. Is k prime?
True
Let y(i) = 11 + 0*i**2 - 25*i + 28*i + 2*i**2 + 1. Suppose -2*w + 45 = 3*w. Is y(w) a composite number?
True
Let m(n) = n**2 + 118*n - 21. Is m(34) prime?
True
Let v(f) = f**2 + 16*f + 19. Suppose -9*l - 75 = -4*l. Let i be v(l). Suppose 1490 = 5*m + d, 0*d - i*d = -m + 319. Is m composite?
True
Let l = -74 + 80. Suppose -l*y + 2637 = -5421. Is y a prime number?
False
Suppose 4*m - 2977 = 4967. Suppose m = -b + 7*b. Is b prime?
True
Suppose 8*u = 7*u + 747. Suppose y + 3*g - u = 686, 2*g - 7191 = -5*y. Is y a prime number?
True
Suppose 0 = 5*n + 3*x - 9530, -5*n + 5904 = -x - 3646. Let q = -20 - -22. Suppose -393 - n = -q*y. Is y a composite number?
False
Is -69 + 33136 + (-1 - -1) prime?
False
Suppose 9 = -5*h + 24. Let w(y) = -131*y + 10. Let l be w(-6). Suppose 0 = -p - h*p + l. Is p a composite number?
False
Is -11481*(133/(-21) + 6) prime?
False
Let l(o) = -3*o**3 + 4*o**2 + 10*o - 4. Let q(k) = -k**3 + k - 1. Let m(v) = -l(v) + 6*q(v). Is m(-5) composite?
False
Let y be (8/14)/(4/42). Suppose 0 = y*n + n - 23555. Is n composite?
True
Suppose -5*k + 3*p - 3 = 4*p, 12 = 5*k - 4*p. Suppose -25*j + 21*j + 1164 = k. Is j prime?
False
Suppose 7*b - 18150 - 9157 = 0. Is b prime?
False
Is 1 + (-12)/20 + 166412/20 prime?
False
Let w(l) = 62*l**3 + 6*l**2 + 2*l - 7. Is w(6) a prime number?
True
Is 18/15*(-65)/(-26) + 5504 prime?
True
Let a be 2/(8 + -2)*0. Suppose -2*l + 6 + 4 = a. Suppose l*m - 196 = m. Is m prime?
False
Suppose 0 = 3*p - x - 243, -3*x = -2*p + 102 + 60. Let c = p + -43. Let t = c - -11. Is t composite?
True
Let p(k) = 3*k**3 - 27*k**2 - 32*k + 5. Is p(14) a composite number?
True
Suppose 0 = -5*a - 15, -o + 5*a - 4815 = -3*o. Suppose 0*d + o = 3*f + 3*d, -3*f = d - 2423. Is f prime?
True
Let r = -24 - 144. Let y = r + 295. Is y composite?
False
Let x be (-44)/2*154/(-14). Let p = -108 + x. Suppose 0 = 2*q + 3*d - p, -q + 3*q - 134 = -5*d. Is q composite?
False
Let m = 7 + 0. Suppose 0 = -5*n + 2*f + 16, 4*n - 5*f + 10*f + m = 0. Is n composite?
False
Suppose 250 = v - 5*t, -v + 0*v - 3*t + 250 = 0. Suppose -s + v = 4*d - d, 5*s = 5*d - 450. Is d a composite number?
True
Let a(w) = -21*w + 17. Let c(h) = 10*h - 9. Let y(k) = -6*a(k) - 13*c(k). Suppose -5*g - 19 = -p, 4*p - 5*g + 2 - 3 = 0. Is y(p) composite?
True
Suppose 0 = 5*z - 3*x - 89215, 5*z + 35702 = 7*z + 2*x. Is z a composite number?
True
Let z(v) be the first derivative of 17*v**3/3 - 3*v**2 - v + 18. Is z(-6) composite?
False
Suppose 0 = -4*u - 2*q - 10, -1 + 8 = -3*u - q. Is ((-414)/u + 4)*1 a prime number?
True
Suppose -9 = -7*s + 19. Suppose 0 = s*j - 397 - 255. Is j prime?
True
Let w = -1795 + 2877. Suppose 2*a - 852 = 4*q, -2*q + w = 4*a - 672. Suppose -h + a = 3*m, 4*h + h - 5 = 0. Is m composite?
True
Let c = 19 + -14. Suppose 3*m = -c*s - 0*m - 50, -5*s = 4*m + 55. Is (-1260)/s - 2/2 a composite number?
False
Let u = -374 - -636. Let k = 111 + u. Is k composite?
False
Suppose 2*g + 443 = 3*c, 0 = 5*c + 382*g - 384*g - 741. Is c a prime number?
True
Let q = 24 + -15. Let n(c) = 10*c**2 + 23*c - 8. Is n(q) a prime number?
True
Let k(v) = -8*v**3 + 2*v**2 + 5*v + 4. Suppose n + 0*n + 3 = 0. Is k(n) a composite number?
False
Let o(n) = -5*n - 19. Let a be o(-8). Let t be a/84 + (-7)/(-4). Suppose -t*j = -2*h - 0*j + 110, 0 = 5*h + j - 251. Is h a composite number?
True
Suppose 13 - 4 = 3*m. Suppose -m + 6 = u. Suppose 0 = 4*y, 2*x - 565 = -u*x + 4*y. Is x prime?
True
Let o(g) = 2*g - 6. Let d = 34 + -30. Let n be o(d). Suppose -k + 369 = -y, n*k + 3*y - 7*y - 746 = 0. Is k a composite number?
True
Is 2521/1 - -8*2/(-4) prime?
False
Is 7033*(7 + -1 + -5) a prime number?
False
Suppose -4*s + 37 = 4*o + 5, 0 = -2*o + 2*s. Suppose -y - 3*x = 13, x + 28 = o*y - 3*x. Suppose y*m = 7*m - 125. Is m composite?
True
Let w(j) = -484*j - 4. Let x be w(6). Let z = 4563 + x. Is z prime?
False
Suppose 9*q + 5*q - 16114 = 0. Is q prime?
True
Let p(j) = -j**2 - 7*j - 4. Let z be p(-6). Let n(g) = 128*g - 2. Is n(z) prime?
False
Let x(u) = 6*u**3 + 2*u**2 - 1. Let q be x(1). Suppose 2*a = -4*m, -2*m - q*a - 16 = -2*a. Suppose 4*i + 3237 = 5*y, 4*y - 5*i + m*i = 2590. Is y prime?
False
Let g(x) = x**2 - 12*x + 57. Let t be g(6). Let f(n) = 23*n - 82. Is f(t) prime?
True
Let x be (4/(-18) - 1490/180)*-2. Suppose 4*w = -0*w + 492. Let y = w - x. Is y a composite number?
True
Let d(o) be the first derivative of 7*o**2/2 - 21*o - 6. Let q be d(6). Is q + 5 - (0 - -1) a composite number?
True
Suppose -3*w = -19 + 4. Suppose 2*b - 66 = -w*a + 29, -3*b - 2*a + 159 = 0. Is b prime?
False
Let v(o) = -62*o**2 + 5*o - 1. Let k(c) = -186*c**2 + 16*c - 4. Let h(n) = 2*k(n) - 7*v(n). Suppose -8 = a - 6. Is h(a) a prime number?
False
Let z = 1131 + -1767. Is (-1 - -3) + -3 - z a composite number?
True
Is (-6)/(-39) + (-4)/(104/(-132258)) composite?
False
Suppose -243 = 4*u + h, -5*u + 2*h = 199 + 95. Let m be (108/u)/((-2)/10). Suppose -5*o = -m*o + 708. Is o composite?
True
Let j = 76 - 74. Is (-3 + 1549/j)/(4/8) a prime number?
True
Suppose -u + 0*u = -3*s -