rue
Suppose -4*u - 160 = 2*s, 0 = -5*u + 5*s - 106 - 94. Is u/(-260) + (-3872)/(-13) prime?
False
Suppose 3*b - 8 = -2, 0 = -2*l + 3*b - 4. Is (-3 + (l - (1 + 671)))/(-2) composite?
False
Suppose r + 3*g - 20 = -4*r, 3*g = -4*r + 13. Suppose 4*x = r*x - 1482. Is x - -1*(-1 - 2) composite?
False
Let x = 25772 - 39395. Is x/(-12) - -2 - (-2)/(-8) a prime number?
False
Let y = -15 + 20. Suppose -18 = -y*c - n, c + 3*n + 2 = -0*n. Suppose 5*j - 165 = -x + 26, c*x = 5*j + 764. Is x a prime number?
True
Let n(i) = 3*i + 2. Let g be n(1). Suppose -g*j + 3 = -4*j. Suppose -j*q - q = -724. Is q composite?
False
Suppose -67*n + 3454295 = -750960. Is n a composite number?
True
Let r be (0 - 3) + 3274 - -1. Is (2/1)/(4/r*4) composite?
False
Suppose -13*j = 5*i - 8*j - 4095, -2*i + j = -1626. Suppose 2*o + 0 - 10 = 0. Suppose o*c + 0*c = i. Is c prime?
True
Suppose -14*f + 81323 = -3*f. Is f composite?
False
Suppose 5*o - x + 2*x = 4457, 898 = o - 2*x. Let g = 1409 - o. Is g a composite number?
True
Let t = 206592 + -137459. Is t a composite number?
True
Is (-161106)/(-44)*4/(-18)*-3 a prime number?
True
Let b(l) = -l**3 + 4*l**2 + 4*l + 9. Let m be b(5). Suppose -6*a + 3*d = -2*a - 342, -m*a = 3*d - 354. Is a a prime number?
False
Suppose 487 = 2*f + 99. Suppose 3*c - 5*c = -f. Is c composite?
False
Let a(v) = v**2 - 5*v - 14. Suppose 0 = 5*i + 3*z - 58, 0*i - 2*z = -4*i + 42. Let f be a(i). Suppose 0 = 4*r + 4*l - 0*l - f, l = r - 7. Is r composite?
True
Let s be (-12)/15*(-45)/6. Suppose g - s = 2*v, 2*g = 6*v - 3*v + 11. Suppose 5*o - 4*k - 278 = 3*o, g*o = -3*k + 589. Is o a composite number?
True
Let o(h) = 865*h + 75. Is o(8) composite?
True
Let z = -9629 - -15580. Is z a composite number?
True
Suppose 8*f + 60 = 12*f. Let x(u) = -u + 11. Let y be x(f). Is ((-6)/(-9))/(y/(-3018)) prime?
True
Suppose 6*f + 537 - 675 = 0. Is f a composite number?
False
Suppose 4*t - 30 = -5*o + 7699, 5*t + 5*o - 9660 = 0. Is t composite?
False
Let g(k) = k**3 + 7*k**2 + k + 3. Let u be 5*3*(-2)/(-6). Suppose 0 = u*y + 3 + 27. Is g(y) a prime number?
False
Suppose 40 = 2*g - 0*g. Let m = 19 - g. Is 80 + (m + 3)/(-2) composite?
False
Suppose -57*a - 19432 = -65*a. Is a a prime number?
False
Let a(l) = -3*l**2 + 4*l - 5. Let i be a(1). Let r(v) = 67*v**2 - 4*v - 21. Is r(i) composite?
True
Let y(p) = -1003*p - 473. Is y(-24) a composite number?
False
Let p(x) be the second derivative of x**6/90 + 17*x**5/120 - x**4/4 - 7*x. Let g(l) be the third derivative of p(l). Is g(6) prime?
False
Let h = 33 - 26. Suppose -h*n + 4913 + 204 = 0. Is n prime?
False
Let h(m) = m + 2. Let v be h(0). Suppose v*g - 112 = 3*p - 5133, -4*g = 2*p - 3326. Suppose -d + 434 = -5*c + 2*c, 4*d + c = p. Is d a composite number?
False
Let s = -349 + 227. Is (s/4)/(12/(-168)) + 0 composite?
True
Let j be 180 - (3 + (-15)/3). Let z = j - 124. Is z composite?
True
Let m = 663 - 303. Let r = 188 - m. Let y = -119 - r. Is y prime?
True
Let x = -293 + 489. Let j = 7 + x. Suppose 3*z - 5*t = j, -5*z + 233 = -3*t - 116. Is z prime?
True
Suppose -366*v = -369*v + 48039. Is v composite?
True
Suppose 119*d - 6874 = 116*d - c, 3*c - 3 = 0. Is d composite?
True
Let c be (-3)/(9/60)*(-28)/5. Suppose -x - 17 + c = 0. Is x prime?
False
Suppose 5*j - 82755 + 1460 = 0. Is j a prime number?
False
Let t = 47 + -44. Is 7167/6 + t/(-2) a prime number?
True
Suppose 2*x - 6*x + 20276 = 0. Is x a prime number?
False
Let l = 197 + -89. Suppose 91 = -3*d + p, 8 = 3*p - 7*p. Let w = l + d. Is w a prime number?
False
Suppose 4*n = 20, -5*g - 2*n = n. Let l = 0 - g. Suppose -5*x + 1101 = l*v, v = x + 2*v - 221. Is x composite?
True
Suppose -4*z - 1248 = -4*q, 2*z + 1238 = 4*q - 0*q. Is q prime?
True
Suppose 3*o = -p + 6*p + 100, 0 = -3*o - p + 70. Suppose 40 = g - o. Is g composite?
True
Let k(g) = g**3 + 2*g**2 - g + 1. Let a be k(2). Let s be 15/25 + 21/a. Suppose 5*b = 2*p + b - 450, s*b = -2*p + 444. Is p prime?
True
Let f = -22 + 24. Suppose f*n - 5 = -1. Suppose -5*h = n*w - 139 - 146, -3*h + 182 = -w. Is h composite?
False
Let y(v) = -v**2 - 9*v + 8. Let a be y(-9). Suppose -a = -3*o + 7. Suppose o*x - 2403 - 752 = 0. Is x prime?
True
Let n(a) = 46*a**2 - a. Let i(x) = -x**2 + 7*x - 6. Let b be i(5). Suppose l + 5 = -b*l. Is n(l) a prime number?
True
Let v(w) = 5*w - 2. Let x(b) = -4*b - 4. Let t be x(2). Let s be v(t). Is s*((-6)/4 - -1) composite?
False
Let r(n) = -n**3 + 6*n**2 + 5*n - 23. Let a be r(7). Suppose -5*k = -2*f + 65, -k + 6*k + 3*f = -40. Let h = k - a. Is h a composite number?
True
Let c = 520 - 72. Let d be (-4)/18 - c/(-72). Is (-1 - d/(-4))*118 a prime number?
True
Let t(o) = -86*o**3 - 3*o**2 + 6*o - 2. Let h(d) = 258*d**3 + 8*d**2 - 17*d + 6. Let z(c) = 4*h(c) + 11*t(c). Is z(3) composite?
False
Let f(y) = -35*y**3 - 3*y**2 + y + 4. Let c be f(3). Let u be (0 - -1)/(1/c). Let d = u + 2218. Is d a prime number?
False
Suppose 32*v - 36*v = -20. Suppose m - v*m - 3*b + 656 = 0, -2*b + 326 = 2*m. Is m composite?
False
Let u(x) = 2*x**2 + 5*x - 19. Let n(w) = -2*w + 22. Let f be n(13). Let p(t) = t**3 + 5*t**2 + 7*t + 4. Let a be p(f). Is u(a) composite?
True
Let c = -2 + -162. Let j = -31 - c. Let g = -36 + j. Is g prime?
True
Is -8 + 20/5 + 8471 prime?
True
Let t = -9 + 6. Let y be ((t + 3)*1)/2. Suppose -3*u - 4*r + 969 = y, -3*u + 1292 = u + 2*r. Is u a prime number?
False
Let r be (14/(-6) + 1)/(4/36). Is (-3021)/(-12) - r/(-16) a composite number?
False
Let a = -13 - -15. Suppose -j + 7 + 5 = 3*q, 0 = -2*q - a*j + 4. Suppose -q*f = -5, 0 = -4*g - g - f + 156. Is g a prime number?
True
Is -11 + 2 + 18331 - (4 + -1) a prime number?
False
Suppose 2*p = -0*p - 5*q + 10993, 3*q + 22051 = 4*p. Is p a composite number?
True
Let b(i) = -i**3 + 13*i**2 + 5. Let n be b(13). Suppose k + 16 = -3*k, n*k - 1633 = -3*y. Is y prime?
False
Let v(r) = -r**3 + 4*r**2 + 2*r - 4. Let w be v(4). Suppose 4*d = 4*g + 748, d + 561 = 4*d - w*g. Is d prime?
False
Let y(v) = v**3 + 8*v**2 + 2*v + 1. Let h be y(7). Let d(n) = 310*n**2 + 5*n + 1. Let p be d(2). Suppose -z - 3*z - p = -5*k, -3*z = -3*k + h. Is k composite?
False
Let r = 5742 - 2574. Let q = -2026 + r. Is q a prime number?
False
Suppose 0 = -5*u + o - 93, 5*u + 8 = -5*o - 67. Let l(r) = r**3 + 17*r**2 - 18*r + 19. Is l(u) prime?
True
Suppose -4*u - 128 = 48. Let g be (-2 - -3)/2*u. Is 12/(-2)*g/4 a composite number?
True
Let c(a) = -a + 87. Let r be c(0). Suppose -r = -m - 28. Is m composite?
False
Let i(z) be the third derivative of -7*z**5/30 + z**4/12 - 5*z**2. Let w be i(2). Let u = w + 174. Is u a composite number?
True
Let a be 15/10*2/3. Let w be (a - -8) + 4 + -7. Is (2/w)/(1/471) a prime number?
True
Let n(s) = 57*s - 2. Let u be n(2). Let b = 325 - u. Is b a composite number?
True
Is ((-56664)/(-30))/12 - (-2)/(-5) a composite number?
False
Suppose 47 = 19*p + 9. Let i be (3/(-2))/((-4)/8). Suppose -i*y = p*y - 805. Is y a composite number?
True
Let z(w) = -4*w**2 - 32*w - 3. Let m be z(-9). Let g = m - -202. Is g prime?
True
Suppose -4*n + 5*n - 871 = -3*t, 4*t = -3*n + 1153. Let w = 479 - 476. Suppose 2*q = -2*s + 5*q + 197, -q - t = -w*s. Is s a composite number?
False
Is ((39822/1)/6)/1 a composite number?
False
Let b = -23 + 28. Suppose -3*v + 1261 = 4*a, -5*v = -v - b*a - 1671. Is v composite?
False
Suppose 4*g - b - 48 = 16, -3*g + 48 = -4*b. Let j = 16 - g. Suppose 2001 = -j*o + 3*o. Is o a composite number?
True
Let b(v) = -v**3 - 10*v**2 - 105*v - 41. Is b(-18) composite?
False
Let n = -94 + 133. Suppose -13 - 3 = m. Let y = n + m. Is y a prime number?
True
Suppose 0 = 5*l - 7*l + 10274. Is l prime?
False
Let f be (3 + 238 - -2) + -2. Suppose f = v + 4*p + 42, -5*p + 15 = 0. Is v prime?
False
Let f(i) be the second derivative of 7*i**6/720 - i**5/120 + i**4/6 - 3*i. Let z(d) be the third derivative of f(d). Is z(1) composite?
True
Let h = -10 + 1. Let y(c) = -c**3 - 10*c**2 - 10*c - 9. Let w be y(h). Suppose w + 155 = s. Is s prime?
False
Suppose 12 = -10*j + 16*j. Suppose 5*x - 1470 = -4*w, -x + 5*w - j*w = -313. Is x a prime number?
False
Let x = 54541 + -29280. Is x a composite number?
False
Let o = -1642 - -1155. Is o/(2 + (-9)/3) a prime number?
True
Let l(g) = 35*g**2 - 7*g + 7. Let n be l(-9). Suppose 3*j = -4*j + n. Is j prime?
Fal