 number?
False
Suppose 328258 = 5*l + 9*l. Is l composite?
False
Suppose -5*p + 3349 = -2361. Suppose 0 = 6*n - p + 68. Is n a composite number?
False
Let r be 4/(4/32*4). Suppose 0*y + 6376 = r*y. Is y a prime number?
True
Let d(g) = -g + 2. Let n be d(0). Suppose -n*z + 6*z = 1924. Is z composite?
True
Suppose -2*q - m - 77 = -5341, 5*q - 13182 = 3*m. Suppose 2*d + 1050 = 2*u, -2*d = 5*u + 2*d - q. Is u a prime number?
False
Suppose 21*g = -9*g + 383910. Is g a composite number?
True
Let c = 1555 + -481. Let l = c - 573. Is l composite?
True
Let y(v) = -33*v + 10 + 15*v + 15*v. Is y(-24) prime?
False
Let a(g) = -g**2 + g - 6. Let o be a(0). Let z be (o/14)/(1/(-7)). Suppose -z*w + 43 - 4 = 0. Is w prime?
True
Let g(h) = 3*h**3 + 54*h**2 + 5*h + 51. Is g(-13) a composite number?
False
Let j(b) = 82*b**2 - 29. Is j(-7) prime?
True
Suppose 10 + 1 = -p. Let s = -8 - p. Suppose 545 = s*d + 2*d. Is d a composite number?
False
Let d = 74 + -68. Is d/8 + (-10248)/(-32) a composite number?
True
Suppose 0 = -2*p + 6 + 6. Is 232/p - 3/(-9) composite?
True
Let f = -5163 + 32110. Is f a composite number?
False
Suppose -5485 + 628 = -3*t. Let i = 4026 - t. Is i a composite number?
True
Is -6 - 70132/(-12) - (-2)/3 a composite number?
False
Suppose 4*y - 5*y - 2148 = -i, -2*y = 5*i - 10775. Suppose 2*b = -5*x + 8667, b = -x + i - 419. Is x a prime number?
True
Let a(g) = -1680*g**3 + 4*g**2 + 4*g - 7. Is a(-3) a prime number?
True
Suppose b - 2*b + 1637 = f, 2*b = 4*f - 6578. Let o = f + -753. Is o a composite number?
True
Let x be (58/10)/(7/35). Suppose 2*d - 177 + x = 0. Is d a prime number?
False
Let m be (3556/(-16) - -1)/(2/(-8)). Let d = m + -406. Is d composite?
False
Let y = -11074 + 15780. Suppose 6*a - y = 5656. Is a a prime number?
False
Let a(b) = -b**3 + 8*b**2 + 3. Let x be a(8). Suppose 0*g = 2*t + 3*g - 1709, -5*t + 4325 = -x*g. Is t composite?
True
Suppose l - 5*l = -8, -2*a + 3*l = 0. Suppose -2*b + 135 = 3*s - 4*b, -a*s - b + 144 = 0. Is s a composite number?
False
Suppose -v = -3*v + p + 2, 0 = -3*v + 3*p. Suppose -2*q = -v*j - 902, -2*q = -0*q - 4*j - 910. Is q a prime number?
False
Let c(h) = h**2 - 3*h - 3. Suppose 8*o - 3*o - 35 = 0. Let m be o + -4*1/2. Is c(m) a composite number?
False
Let x(a) = 2500*a + 3. Is x(1) a prime number?
True
Let o(j) = 5*j - 5. Let t be o(2). Suppose 5*g - 2*g + 5*q = 25, -20 = -t*g - 4*q. Suppose -5*x = 20, s - 2*s - 2*x + 299 = g. Is s composite?
False
Let i(t) = 1. Let b(p) = -15*p - 42. Let z(j) = b(j) + 4*i(j). Is z(-11) composite?
False
Suppose 631 = -s + 5489. Suppose -4*g = q - s - 181, -2*q = -4*g + 5030. Is g a composite number?
False
Suppose 0 = -j - 3*n + 8771, -3*n = 5*j - 5*n - 43787. Is j a prime number?
False
Let i = -60 + 67. Suppose -p + 0 = -i. Is p a composite number?
False
Suppose 5*i - 17 = -2. Suppose i*m - m + 208 = 0. Is (-3520)/m + (-4)/(-26) composite?
True
Let i = 11457 - 7864. Is i a prime number?
True
Suppose y - 8148 = -5*y. Let z(a) = 29*a**2 - 7*a - 1. Let u be z(5). Suppose 4*x - y = 2*q, -2*x + 3*q = -0*x - u. Is x a prime number?
True
Suppose -r + 2*g = 7*g - 178, -5*g + 652 = 4*r. Suppose 0 = -3*q + r + 244. Is q prime?
False
Let o(j) be the first derivative of j**7/840 - j**6/24 + 7*j**5/120 - 5*j**4/6 + 4*j**3/3 + 2. Let s(m) be the third derivative of o(m). Is s(15) composite?
True
Is 0/(-23) + 439*5 a composite number?
True
Let s(y) = -94*y**3 + y**2 - 1. Let f(a) = a**2 + 3*a - 2. Let l be -1*2/4*6. Let t be f(l). Is s(t) a prime number?
False
Let u = 40281 - 21178. Is u prime?
False
Let x = -17 - -19. Suppose x*u + 0*u - 66 = 0. Is u prime?
False
Let d = -1058 + 2173. Is d a prime number?
False
Suppose -2*s + 4*z = -5070 + 1784, -4*s + 4*z + 6568 = 0. Is s a prime number?
False
Let i(b) = 1633*b + 6. Is i(1) composite?
True
Is ((-196750)/75)/(2/(-3)) composite?
True
Suppose 0 = -0*b - 2*b + 8. Suppose -y + 54 = -5*x, b*y = y - 3*x + 234. Is y composite?
True
Let k(i) = 133*i**3 - 5*i**2 + 5*i - 4. Is k(3) a prime number?
True
Let y = -41 + 45. Suppose -510 = -y*s + 494. Is s prime?
True
Suppose -16*j = -40311 - 16601. Is j a prime number?
True
Let r(u) be the first derivative of 9*u**4/2 + 4*u**3/3 - u**2 - 7*u - 22. Is r(4) a prime number?
True
Let h(y) = y**3 - 7*y**2 + 7*y + 5. Let l be h(4). Let o = l + 17. Suppose -2*p - p + 473 = 2*g, -4*g - o*p + 942 = 0. Is g prime?
False
Let o(n) = -68 + 4*n + 65 - 3*n. Let w be o(3). Suppose 2*x - 2*r - 144 - 382 = w, 0 = 2*x + 3*r - 521. Is x a composite number?
True
Suppose -2*s = -4*s + 4. Let p(b) = 14*b + 3. Is p(s) prime?
True
Let f = -4 - -6. Is 5/(f*2*2/376) composite?
True
Is 130834/12 + (2 - 55/30) a prime number?
True
Suppose -12*g + 47*g = 620515. Is g a composite number?
False
Let b(g) be the third derivative of g**5/60 + g**4/3 + g**3/2 - 2*g**2. Let a be b(-8). Suppose 3*n - 4*k - 205 = k, -a*n + 189 = 3*k. Is n prime?
False
Let q = 1994 + -6733. Is (q/(-14))/(1/2) a composite number?
False
Suppose -9 = -6*b + 9. Suppose -x + b = 0, 3*x = 3*h + x - 2007. Is h composite?
True
Suppose 32*h - 25*h = 1799. Is h a prime number?
True
Let d = -1547 + 2188. Is d prime?
True
Suppose 42*g = -56*g + 154252. Is g prime?
False
Suppose 8 = n + 3*n. Let h be (265 - 0)/(3/3). Suppose n*g - h = -3*g. Is g composite?
False
Let g = 13 - 8. Let m(x) = -1 + 8*x**2 + g - 3 - 2 + 3*x. Is m(4) a composite number?
False
Let k(n) = 9*n**2 + 3*n - 4. Suppose -2*l - c = -5 - 4, c + 6 = 3*l. Suppose -2*v + l*y + 9 = 2*y, 4*v - y = 15. Is k(v) a composite number?
True
Suppose 0 = -2*j + 2*p + 1990, 0*j - j + 3*p = -1005. Suppose -2*u + 3*u = -3*b + j, 4*b - 1328 = -4*u. Is b prime?
False
Suppose -n + 31071 = 6070. Is n prime?
False
Let v(k) = 2*k**2 - 3*k + 10. Let x be v(4). Suppose -104 = -2*z + x. Is z a prime number?
True
Let c = -1205 - -1925. Suppose -c = -3*h - 51. Is h a composite number?
False
Let u be ((-634)/(-4))/(7/70). Suppose -3*d + 5043 - u = -n, 0 = 5*d - 4*n - 5775. Is d prime?
True
Let g = 10 + 14. Let o be 2/(-5) + g/10. Suppose 4*v - o*v - 68 = 0. Is v composite?
True
Let f be (-14)/(-35) - 9773/(-5). Let x = -1374 + f. Suppose 0*j - 5*j + 1461 = -4*g, -2*j = -5*g - x. Is j prime?
True
Let g = 2590 - 1732. Suppose 0 = 3*f - g + 72. Is 3/2*f/3 prime?
True
Suppose 2*f + 5*j = 5574, 2*f - 3*j + 4*j - 5582 = 0. Suppose 0 = -c - 49 + f. Is c a prime number?
False
Let h(y) = -121*y**3 - 11*y**2 - 31*y - 10. Is h(-3) composite?
False
Let q(s) = -290*s - 7. Let v be -1*(-2)/(-1 + 0). Is q(v) composite?
True
Suppose -3*j - 3*y + 294 = 0, 0 = 3*j - 2*y + 180 - 459. Suppose -j - 350 = -5*z. Suppose -3*m + z = -70. Is m a composite number?
False
Suppose 64*d - 63*d = 17647. Is d composite?
True
Let l be (-5 + 7)/(-3*(-2)/900). Suppose -3*b + 396 = -5*u, 4*b = -5*u + 193 + l. Is b a composite number?
False
Let n(m) = -m**2 + m + 178. Suppose y = 4*y - 21. Let l(r) = -r**3 + 7*r**2. Let w be l(y). Is n(w) a composite number?
True
Let j(a) = 2*a**2 + 4*a - 1. Let k be j(9). Suppose 1941 = 5*u - 3*o + k, 4*u - 1400 = 4*o. Is u prime?
True
Suppose 2*a + 3*a = -25, 8*t = 4*a + 200380. Is t a composite number?
True
Let g be (6/6)/(1/2). Suppose -6 = -n + 2*x, g = -5*x - 3. Suppose n*s - 489 = s. Is s a composite number?
False
Let w(x) = -4*x + 8. Let s be w(1). Suppose -r + s*n = -67, -256 = -4*r - 3*n + 107. Is r composite?
True
Suppose 0 = 5*t + 25, -4*a - t = -a - 7. Suppose 7*u - 18 = a*u. Suppose r = u*m - 5*m + 189, 5*r + m = 957. Is r composite?
False
Is 252/(-168) - (-98378)/4 composite?
False
Is (-4)/(-6)*263985/10 prime?
True
Let a(y) = -y**2 - 6*y + 6. Let m be a(-7). Let o be (2 + -2)/(m + -2). Suppose 74 = 2*s - o*s. Is s prime?
True
Let w be 1/(-5) + 3842/10. Let t be 232 + 1 + (3 - 1). Let o = w - t. Is o prime?
True
Let i be 3/(66/(-7792)) - 2/(-11). Is ((-4)/8 - -4)/((-3)/i) prime?
False
Let o = 3822 - 2153. Is o prime?
True
Let a = 1178 - 350. Suppose 0 = 3*f - 4*f - 5*x - a, 3*x + 824 = -f. Is (-15)/10*f/3 a composite number?
False
Suppose 0 = 3*c - l - 6480, -2160 = -4*c + 3*c - 5*l. Suppose -o = -i - c, -o + 2161 = i - 3*i. Is o composite?
True
Suppose -552 = -r - 5*r. Suppose 0 = 2*z + 2*z - r. Is z a composite number?
False
Let l be 0/1 - (-7 + 5). Suppose 5*k = 4*y - 2*y + 15, 0 = -l*y + 4*k - 10. Su