0)/((-11)/39017) a composite number?
True
Suppose 0 = 2*r - j - 10260, 0 = 5*r - 3*j - 101 - 25550. Is r composite?
True
Let v(i) = -6*i**2 + 36*i - 7. Let m be v(6). Is 18/42 - 1740/m a composite number?
True
Is (2 - (13 - 15))*(4 - (-2316)/8) composite?
True
Let o(l) = -l**3 - 43*l**2 - 93*l - 42. Let w be o(-39). Let p = 5886 + w. Is p prime?
False
Let i(m) = 6360*m - 1417. Is i(42) composite?
False
Suppose -4*o = -3*y + 1, -5*o - 5 = y + 1. Let a be -3 - (-2 - o/(3/(-177))). Let z = a - -613. Is z a prime number?
False
Suppose 338565583 = 273*p + 16287172. Is p composite?
False
Let j = -132700 - -251737. Suppose 9*o = j + 9600. Is o composite?
False
Suppose f = -3*u + 107 + 23, 0 = 4*f + 5*u - 527. Let x = f - -7216. Is x a composite number?
False
Let w(x) = 7*x**3 + 3*x**2 + 2*x - 4. Suppose 5*t - 19 = 3*a + 4*t, 13 = -a + 2*t. Let k(p) = -p**3 + 1. Let d(b) = a*k(b) - w(b). Is d(-2) a prime number?
True
Suppose 0 = -5*c, q + 3*c = -0*c - 29. Let r = 34 + q. Suppose 4*n + 2*m - 84 = 0, 4*n + r*m = 4 + 92. Is n composite?
False
Let n(g) = 351*g**2 - 19*g - 10. Let k be n(-4). Let x = k + 20359. Is x a prime number?
True
Suppose -5*n + 12 = 4*f, -f = 38*n - 43*n - 28. Is 103212/f + (-4)/(-40)*5 prime?
False
Let a = -83324 + 273351. Is a a prime number?
True
Let v be (-5771304)/32 - 2/(-8). Let d = -126334 - v. Is d a prime number?
False
Is ((-488690)/25)/(42/(-105)) a composite number?
False
Let a be (0 + -15)*(-4)/12. Suppose 0 = 3*m + a*h + 18, 13 + 3 = -4*m - 4*h. Is 1657*1*(-1)/m prime?
True
Let c = 136 + -130. Let n be ((-9)/c)/((-6)/(-5128)). Is (n/(-4))/(10/(-4) + 3) a prime number?
True
Let n = 28 - 23. Suppose -5*g + y - 2*y = -26552, -4*g = n*y - 21229. Is g a composite number?
True
Let g = -192 + 215. Suppose 5*q - 1125 = 4*i, 2*q - 460 = -i - g. Is q prime?
False
Let q be (3 + 3)/6 + 14*1. Suppose -q + 12 = -y. Is 1794 + (y - 2) - 0 a composite number?
True
Let w(g) = -g**2 - 5*g + 1. Let j be (-130)/35 - (8/(-14))/(-2). Let r be w(j). Suppose 3*d = -d - r*p + 3687, 3*p = -3. Is d a prime number?
False
Suppose -212 + 7 = 4*n + 5*h, h = n + 49. Let o = n + 56. Suppose 0 = -o*i + 6460 - 1198. Is i a composite number?
False
Let l = -196860 - -299297. Is l prime?
True
Suppose 4*o - 12 = 0, -1613 + 49 = -5*r - 3*o. Let a(m) = m**3 + 16*m**2 - 19*m - 15. Let n be a(-17). Suppose 20*s = n*s + r. Is s composite?
False
Let g = 40 + -37. Suppose 0 = -g*x - 2*d - 59, 0 = 2*d + 5 + 3. Is (x - -19) + 453*3 composite?
False
Let c(r) = 41*r**2 - 3*r + 23. Let k be c(-8). Suppose k = 2*b - 10035. Is b a prime number?
True
Let k be 2 + (328248/32 - 9/12). Suppose -2*n + 40766 = 4*t, 10112 + k = 2*t + 5*n. Is t prime?
True
Let r = -12 - -17. Let n(y) = -11 + 57*y + 170*y - 3*y + 58*y. Is n(r) prime?
True
Let l(y) = -149*y + 522*y + 259*y + 3. Is l(1) prime?
False
Let j(t) be the first derivative of t**3/3 + 3*t**2/2 - 13*t + 5. Let c be j(-6). Suppose -2657 = -c*o + 1378. Is o composite?
True
Suppose -2*o - 2*o - 40 = -4*l, -2*l - 3*o - 5 = 0. Is (2/l)/(96/53520) composite?
False
Let a(j) = j**3 - 9*j**2 - 9*j - 17. Suppose 0 = 7*q - 114 + 44. Let b be a(q). Let n = b + 870. Is n composite?
False
Let u(r) = -r**2 + 16*r + 150. Let f be u(22). Let h(s) = 43*s**2 + s - 121. Is h(f) composite?
False
Let o = 47 - 27. Let w be ((-24)/(-10))/(6/o). Let a(s) = 231*s + 19. Is a(w) a composite number?
False
Let f(i) = -4*i**3 + 39*i**2 - 148*i + 1. Is f(-44) a composite number?
False
Suppose 4*y + 2*h - 181 = -545, -4*h + 16 = 0. Let f = -90 - y. Suppose -f*x = -5*x + 3022. Is x a prime number?
True
Suppose 24 = -8*f + 40. Suppose -5*o + 78160 = 5*h, 2*h + f*h - 62510 = 2*o. Is h a composite number?
False
Suppose p - 5197 = o, p = -o - 0*o + 5201. Suppose 3*t - 4*b - 3121 = 0, 0 = -5*t + 8*b - 4*b + p. Is t a composite number?
False
Let l(s) = 11*s**2 - 244 + s - s + 243. Let f(v) = -4*v - 2. Let c be f(-2). Is l(c) a composite number?
True
Let p be (1*-2)/((-2)/12788). Suppose 9390*y = 9403*y. Suppose -4*u = -y*u - p. Is u prime?
False
Let l be 2/8 + 6*20/32. Suppose -3*z - 6 = -g, l*z - 3 + 16 = 3*g. Is g/2 - (-1337)/14 composite?
False
Let t(z) = 12*z**2 + 5*z + 44. Let u(r) = r**3 + 10*r**2 + 22*r + 3. Let w be u(-6). Is t(w) prime?
True
Suppose -4*x + 63 = 4*w - 89, x = w + 46. Suppose -4331 - 18391 = -x*c. Is c a composite number?
False
Let t(a) = -a**3 - 3*a**2 + 6*a - 3. Let z be t(-5). Let k = 8 - z. Is 6/k - 730/(-6) prime?
False
Suppose -9550 = -3*r - 1159. Suppose 6*n = 1925 + r. Is n prime?
True
Let o(v) = -6*v + 4. Suppose 8*p - 2 = 6. Let q be o(p). Is 82 + (-1*(q - 0) - 1) a composite number?
False
Let n(x) = 3*x**3 + 5*x**2 - 41*x - 29. Let w be n(10). Suppose 2*h + 5*b - w = 0, 5*h + 4*b = 3*b + 7710. Is h a prime number?
True
Suppose 2*l = -3*x + 2431, -4*l + 3*x - 4*x = -4837. Let i be (((-50)/(-6))/(-5))/(1/24). Is 3 + i/12 - l/(-6) prime?
False
Let o = 603189 + -404882. Is o a prime number?
False
Let r(f) = 600*f**3 - 4*f**2 - 4*f - 2. Let n be r(-2). Suppose 3*y + 5*i + 19 = 0, 2*y + 4*i + 11 = -3. Is (1 + n/15)*y a composite number?
True
Let v(r) = 40*r - 13 - 142*r - 13 - 158*r. Let h be v(-10). Let u = h - 115. Is u prime?
True
Suppose 0 = 5*o - 5237 - 7718. Suppose o = 12*u - 4765. Is u prime?
True
Let d(j) = -3347*j**3 - 6*j**2 - 4*j + 2. Let f be d(-1). Suppose k - 2*p + 3329 = 6*k, -4*p - f = -5*k. Is k a prime number?
False
Let c be -24*(75/(-20))/5. Suppose g - 9 = -g - s, g + c = 4*s. Suppose 0 = a - g*p - 136, -3*p = 3*a - p - 448. Is a composite?
True
Let h = 224 - 317. Let j = -60 - h. Suppose -j*v = -31*v - 1614. Is v prime?
False
Let t = 1217901 + -562346. Is t a prime number?
False
Suppose -531 - 399 = -5*b. Suppose 0 = -b*x + 185*x + 487. Is x prime?
True
Suppose -3*w - 26*a + 22*a + 107558 = 0, 5*w = -3*a + 179245. Let b = 51339 - w. Is b composite?
False
Let f(l) be the first derivative of -l**4/2 - l**3 + 3*l**2 - 5*l + 26. Let v be f(-4). Suppose 1338 = -v*p + 54*p. Is p a prime number?
False
Is ((-887)/(-4))/((-38811)/116892 + (-2)/(-6)) composite?
True
Let t = -3912418 + 5898107. Is t a prime number?
True
Suppose -3*s = -4*b + 3772, 9*s + 943 = b + 5*s. Is b prime?
False
Suppose 0 = -4*h + 4*c - 46296, 0 = 2*h - 7*c + 4*c + 23145. Let v = h + 16988. Is v prime?
False
Let x(t) = 3*t**3 + 2*t**2 - 21*t + 189. Is x(20) a prime number?
False
Suppose c - 5*d - 20 = 0, -3*c + 22 = -c - 4*d. Let z be (-4)/(20/(-68501)) + (-1)/c. Suppose 2759 = -3*f + z. Is f a composite number?
True
Let d = -3149 + 3149. Let v(t) = -4*t**2 - 2*t - 729. Let n(r) = -5*r**2 - 2*r - 728. Let g(f) = 5*n(f) - 6*v(f). Is g(d) a prime number?
False
Suppose -640554 = -2*v - 19*y + 15*y, -4*y - 640490 = -2*v. Is v a prime number?
False
Suppose 36*k - 8*k - 343439 - 111813 = 0. Is k composite?
True
Is 670405/3 - ((-6)/(-4))/((-639)/284) prime?
True
Let u = -379987 - -640970. Is u composite?
False
Let p be 1 + 165 + 4 + -3. Let q = p - -84. Suppose -4*y + 2847 = q. Is y prime?
False
Suppose 3*v = 5*v. Suppose -4*t - s - 1293 = 4*s, 5*t - 2*s + 1575 = v. Let p = 730 + t. Is p prime?
False
Suppose 118*a - 109*a = 52641. Let m = 1478 + a. Is m a prime number?
False
Let g(x) = 95*x**3 - x**2 - 58*x + 715. Is g(9) a prime number?
False
Suppose 844790 - 1120395 = 206*u - 2941451. Is u a prime number?
True
Suppose 3*y - 4*g + 7 = 155, 2*y - 4*g = 104. Suppose -y + 0 = -4*o. Suppose 7*l = o*l - 940. Is l a prime number?
False
Let f = -138 + 141. Suppose n - f*a - 9850 = -4*n, -n + 1963 = -2*a. Is n a composite number?
False
Let p(s) = s**3 - s**2 - s + 1. Let a(j) = -9*j**3 - 11*j**2 + 6*j - 8. Let m(f) = a(f) + 3*p(f). Let h(u) = -6*u + 18. Let x be h(4). Is m(x) composite?
False
Let b(x) = 7*x**2 - 11*x - 1. Let l be b(2). Suppose -l*i + 754 + 4011 = 0. Is i composite?
False
Suppose 4*s - 251238 = -216*c + 217*c, -5*c + 314035 = 5*s. Is s a composite number?
True
Suppose -4*v = 13*i - 12*i - 485015, 606265 = 5*v + 2*i. Is v composite?
True
Let z = 356 + -227. Is 392246/z*6/4 composite?
False
Suppose -7*z + 514765 + 387277 = 24501. Is z composite?
True
Let f = 235 - 230. Suppose v - 1287 = -f*o, 3*v - 6391 = -2*v - 3*o. Is v composite?
False
Let d = -16 + 19. Suppose 2*l = l + 3, 4*l - 12 = d*a. Is 1*23*(-2 - (a + -7)) composite?
True
Is (-16548)/