osite number?
True
Let b(a) = 252*a - 283. Let c(u) = -251*u + 283. Let y(h) = -3*b(h) - 4*c(h). Is y(42) a prime number?
True
Suppose 158725 = 49*y - 14*y. Is (10/25)/(2/y) a prime number?
True
Let x(v) = v**3 - 21*v**2 + 68*v - 13. Suppose -23*u - 69 = -26*u. Is x(u) a composite number?
False
Suppose 5*n - 4*w = 589365, -610366 = -4*n + 4*w - 138878. Is n prime?
True
Let f(y) = -y**2 - 6*y + 3. Let j be f(-6). Suppose 72*l - 68*l - 2*q = 14, -3*l = -2*q - 11. Suppose -4*p = -j*c + 5465, 4*c - 674 - 6621 = -l*p. Is c prime?
True
Let s(m) be the third derivative of m**6/120 + m**5/60 + m**4/12 - 4*m**3/3 - 14*m**2. Let c be s(0). Let p(h) = 8*h**2 + 16*h - 3. Is p(c) composite?
True
Let c(f) = 157*f - 53. Let b be 0*(0 + 3 + -4) + 69. Let g = b - 57. Is c(g) prime?
True
Suppose 27*y + 14*y = 7*y + 4023662. Is y a prime number?
True
Suppose 44*d = 49*d + 7185. Let s = d - -5000. Let z = 6696 - s. Is z a prime number?
False
Let i = 4566 - -11420. Is i composite?
True
Let o(s) be the third derivative of 17*s**5/60 + 5*s**4/12 + s**3 - 4*s**2. Let v be o(-4). Let w = v + 1323. Is w prime?
False
Let a(g) be the third derivative of 0 + 0*g - 23*g**2 + 19/6*g**3 + 1/30*g**5 + 5/6*g**4. Is a(20) prime?
False
Let v(l) = 633*l**3 - 10*l**2 + 37*l + 185. Is v(12) a composite number?
True
Let m = 4 + -22. Let c be 3720/27 - 4/m. Suppose c = x + 25. Is x a prime number?
True
Let y = 159 - 60. Suppose -y*s = -102*s + 777. Is s a composite number?
True
Let h = 11159 + 558. Is h composite?
False
Suppose -36*u + 10*u + 7531908 = -14*u. Is u a prime number?
True
Suppose t = 3*s - 42, s - 2*s = t + 58. Let d be (t/45)/(2/(-15)*3). Is (-12)/6 + 131*d a composite number?
True
Suppose c = -3*f - 7 + 4, -3*c = -5*f - 19. Suppose -4*z - 30 = -3*z + c*k, -5*z - 108 = k. Is (-2)/7 - 8301/z composite?
True
Is 4315/1*((-4 - -2) + 3) a prime number?
False
Suppose 5*z = 4*g + 28394 - 383212, -g - 5*z + 88667 = 0. Is g composite?
True
Let h(f) = -27*f + 63. Let n be h(-21). Let q = 355 + n. Is q a composite number?
True
Let k = 585 + -577. Suppose -3679 = -k*f + 13753. Is f a prime number?
True
Suppose 17*b - 9*b = -20*b + 891380. Is b a composite number?
True
Let y be 2/2 + -3 + 6. Let f = 7 - y. Suppose -2*x = 3*i - f*x - 173, -3*x = 4*i - 248. Is i prime?
True
Suppose -2607894 = -4*n - 3*r - 2*r, 16*n = -r + 10431538. Is n a prime number?
True
Let r be -394*58*2/(-8). Let p = r + -1846. Is p a composite number?
True
Suppose -8495*r + 1031895 - 2914885 = -8497*r. Is r a prime number?
False
Is (-6)/(-16) + (-20304666)/(-144) composite?
True
Suppose 711 = -16*x + 535. Let l(d) = -10*d**3 + 10*d**2 + 9*d + 40. Is l(x) a prime number?
True
Let v be 256/8*1/4. Suppose 17*o - v*o - 2853 = 0. Is o a composite number?
False
Suppose 122 + 142 = 22*b. Suppose 12*c = -b*c + 85944. Is c a prime number?
True
Is (-308)/77 + (1 - 1) + 110766 a composite number?
True
Let r = 6 - 2. Suppose 0 = r*q - 5*p + 9, 0 = -4*q + 3*q - 4*p + 3. Is (-5)/20 - 4649/(-4) - q a composite number?
False
Suppose 2*m + 6956 - 50634 = -4*v, -2*v = -m - 21845. Is v composite?
True
Let y = 297038 - 192307. Is y prime?
False
Is 306158 - (-3)/(1/((462/(-18))/11)) a composite number?
True
Let l = -179043 - -309164. Is l a composite number?
False
Suppose -208161 = -3*a - 2*f + f, 2*f - 346937 = -5*a. Is a a prime number?
False
Suppose 21*v + 17*v = -18*v + 87926552. Is v prime?
True
Is 99645891/33 + -2 - 8/352*-24 a composite number?
False
Let y be ((-2 - -2)*3/6)/(-3). Suppose 2*q + y*g - 2650 = 4*g, 2*q + 3*g = 2664. Let a = q - 848. Is a a composite number?
True
Is (-2 + -2)/(1236/(-108176883)) prime?
True
Let f(d) = -2*d**2 - d - 11. Let r be f(0). Let k(i) = -29*i + 18. Is k(r) composite?
False
Suppose 5*g = 25, -4*g + 16947 + 1593 = 4*a. Is (-20 - -19)/((-2)/a) prime?
False
Suppose -32*q = -33*q + 99. Is ((-2956)/6)/(1*(-22)/q) a composite number?
True
Suppose 0 = 2*r + 5*m - m - 14656, 0 = -r + 5*m + 7300. Let n = -4126 + r. Is n a composite number?
True
Suppose 0 = 5*u + 4*j - 2009, -2*j = -2*u - 153 + 971. Suppose 147*c + 204 = 146*c. Let o = c + u. Is o composite?
True
Is (6 - 2) + (0 - -6) + 87697 + 6 a prime number?
False
Let j = -20275 - -34467. Suppose 4*s + 4*z = j, -7*z - 14189 = -4*s - 8*z. Is s a prime number?
True
Let s(n) = 16*n + 81. Let o(v) = -4*v - 20. Let i(j) = -22*o(j) - 6*s(j). Let r be i(-6). Suppose -1605 = r*q - 7*q. Is q a composite number?
True
Suppose u - 4*v + 8 = -u, -5*u + 4*v + 4 = 0. Let j = -304 + 563. Suppose u*t - j = 3*t. Is t a prime number?
False
Let l(r) = -r**3 + 4*r**2 - 4. Let b be l(2). Suppose -14 = -4*j - 2, k = -b*j + 1151. Is k prime?
False
Suppose -4*x + 288144 = -5*b, 144042 = 2*x + 31*b - 26*b. Is x a prime number?
True
Let u(j) = -4756*j + 4707. Is u(-92) a composite number?
True
Let r be 45744/8*10/75*5. Let g be 0/(-3 + -1 + 1). Is r/10 - (g + (-1)/(-5)) a composite number?
True
Let y(a) = 127*a - 90 - 85 + 3 + 41. Is y(10) a prime number?
False
Let m = 407313 - 257416. Is m prime?
False
Suppose -31 = d + 46. Let a = d + 79. Suppose a*l + 3683 = 5*o, -2*l = -6*o + 5*o + 735. Is o prime?
False
Let c(g) = -22*g**2 - 158*g - 66. Let z(k) = -8*k**2 - 53*k - 22. Let s(u) = -3*c(u) + 8*z(u). Is s(-25) composite?
True
Let k(z) = -5668*z + 329. Is k(-14) prime?
False
Let d = 32 + -33. Let a be 32/16*(-1)/d. Suppose 5*f - 5881 = -2*z, 2356 = 2*f - a*z + z. Is f composite?
True
Let t(l) = 679*l**2 - 27*l + 19. Is t(12) composite?
True
Let m = -40 + 28. Let o = m - -13. Is 16/(-1)*(-8)/1 + o prime?
False
Let b be ((-16)/6 + 2)*-54. Suppose 37*l = 39*l + b. Is (l - -22)*(-265)/(-4) composite?
True
Suppose 0 = 65*b - 51*b - 866516. Suppose 2*u = 16*u - b. Is u a composite number?
False
Let j be (-1)/(-3) - 4/(15 + -3). Suppose 5378 = 2*w - 3*a, j = -0*w - 3*w + 3*a + 8073. Let g = w - 540. Is g composite?
True
Let j = -1139 - -2001. Let u = j - 560. Suppose d - u = -51. Is d prime?
True
Suppose a + 5 = -2*p, 9*a - 6*a + 4*p + 9 = 0. Let f(x) = 1477*x**3 + x - 1. Is f(a) a prime number?
False
Let a = 12929 - 8716. Suppose 0 = d - f - 4198, -10*f + a = d - 6*f. Is d prime?
True
Let n be -1*(0/(-2 - -1))/(-4). Is 6 + 199 + (n - 2) composite?
True
Suppose -347*r = -163*r - 175*r - 155619. Is r a prime number?
True
Suppose 48 = 23*y - 31*y. Is 4368 - (y - -3) - (12 - 8) a composite number?
True
Let f = 597842 + -419181. Is f a composite number?
True
Suppose 4*h + 14521 = 3*n, 17*n - 16*n + h = 4852. Is n prime?
False
Let p = 16023 - -3880. Is p composite?
True
Suppose -3*q = 2*f - 57109, q - 5*q - 142784 = -5*f. Let r = f + -11035. Is r a composite number?
True
Suppose 24*f - 4*x = 26*f - 205882, -5*f + 4*x + 514789 = 0. Is f a composite number?
False
Suppose 517*a - 177*a - 1133068 = 60672. Is a a composite number?
False
Suppose -12 = -0*n - 4*n. Suppose 4*y + n*f + 3 = 11, -f + 4 = 0. Is (1515/(-3))/((-2 + 3)*y) a composite number?
True
Let n(r) = 2*r**2 + 86*r + 1. Suppose -4*o = -5*m + 148, 4*m + 4*o - 45 - 95 = 0. Is n(m) a composite number?
False
Suppose -118018 = 160*p - 161*p + 5*k, 2*p = 5*k + 236051. Is p prime?
True
Suppose -5*m = -3*t + 2197788, -10*m = 6*t - 5*m - 4395621. Is t a composite number?
False
Let q = -50398 + 132981. Is q composite?
True
Suppose 3*k - 2*h - 17 = 0, 11*k - 2*h = 7*k + 20. Suppose k*d - 4*c + 1331 = 4*d, -3*d + 4*c + 3945 = 0. Is d prime?
True
Let q = -162 - -229. Suppose 1096 = 3*r - 2*m, -r + q + 290 = m. Suppose 0 = -d - 4*n + 180 + 222, 4*n + r = d. Is d prime?
False
Is 238900/(-6)*369/(-82) - 8 a prime number?
True
Let h = 1149302 + -751053. Is h a composite number?
False
Is (-132)/(-18)*115044/8 a prime number?
False
Suppose -2*m + 32201 - 323818 = -f, 3*f - 2*m - 874855 = 0. Is f prime?
True
Let c(i) = 287*i**2 + 22*i + 26. Let x be c(-10). Is x/4*(-52)/(-78) prime?
True
Suppose 0 = -k - 4*h + 16, 10*k - 6*k - 5*h - 64 = 0. Is 2/k - 2*(-354159)/144 a prime number?
True
Is (-15 - -42697) + 9 + 4 a composite number?
True
Let a(u) = 8*u**2 - 5*u - 23. Let z(r) = -r**2 + 11*r - 23. Let q be z(7). Suppose -2*f - q*s + 0 - 4 = 0, -12 = -2*f - s. Is a(f) composite?
False
Is -3 - -80126 - (17/4)/(-17)*0 composite?
True
Is (-10)/(-30) + 2163917/21 + (-1 - 0) a prime number?
True
Let q be (4/(-3))/((-26)/312). Suppose -2*f = -6*f + 