umber?
True
Is 2*44056 - ((-240)/8)/6 prime?
True
Suppose 0 = h + h - 4*d - 16, -d + 41 = 4*h. Let b be 1274/h - 4/10. Suppose 3*o + 2*l = 576, o = 2*l + b + 73. Is o a prime number?
False
Is -3 + (-124036)/(-14) - (-20)/70 composite?
True
Let i(d) = 57*d + 17. Suppose 0*s + 4*c - 14 = s, -22 = -5*s - 3*c. Suppose -s*n = -7 - 29. Is i(n) a prime number?
False
Suppose 4*p - 60721 = 5*i - 5289, -16 = -4*i. Is p prime?
False
Let n(w) = 3*w**2 - 12*w + 1157. Is n(0) a composite number?
True
Let q(t) = -2*t**2 + 6*t + 2. Let l be q(4). Let n(j) = -4*j**3 - 2*j**2 - 4*j - 2. Let y be n(l). Suppose -3*r - 217 = -y. Is r a composite number?
False
Let g(j) = j**3 - 18*j**2 + 18*j - 17. Let d be g(17). Suppose d = 7*s - 5051 + 4. Is s a prime number?
False
Suppose -12*z + 210 = 2*z. Let g(m) = m**3 + 3*m - 2*m**3 + 2*m**3 - 20 - 15*m**2. Is g(z) a composite number?
True
Suppose -11*n = -14*n + 6. Suppose 0 = -3*f - 2*f - n*u + 2973, -4*f + 3*u + 2383 = 0. Suppose 2*i = 7*i - f. Is i a prime number?
False
Suppose 16*m - 6*m = 74990. Is m a composite number?
False
Suppose -37*h = -35*h - 10. Is h/((-5)/(-4)) + 130 composite?
True
Let z(u) = 6*u + 48 - u + 4*u**2 - 34. Is z(-9) a prime number?
True
Let l = -40100 - -82299. Is l prime?
False
Let b = -48 - -49. Let r(s) be the second derivative of 10*s**3 - s**2/2 + 5*s. Is r(b) prime?
True
Suppose 4*z - 613984 = -28*z. Is z a prime number?
False
Let g(s) = -30*s - 139. Is g(-13) a prime number?
True
Let a = 14461 - 7028. Is a prime?
True
Let b = 6 + -22. Let s = b + 15. Is 289 + (1 + s - 2) composite?
True
Suppose 6*i = -0*i - 984. Let n = i - -858. Is n prime?
False
Let z be (-1144)/110 - (-4)/10. Is (2566/(-10))/(2/z) composite?
False
Let f = 4 + -2. Let j(c) = -4*c**3 + 1 + c**3 + 5*c**f - 5*c + c**3 + 3*c**3. Is j(-5) a composite number?
True
Let a be (-7 - 255)/(-1*2/14). Let c = a - 1089. Is c a prime number?
False
Suppose -2*g + 26 + 22 = 0. Let j = g - 23. Let i = 18 + j. Is i a composite number?
False
Suppose 26 = -3*q + 86. Suppose -c + 9*i + q = 4*i, -i - 4 = -5*c. Let a = c + 123. Is a a composite number?
True
Let l be 728/40 - (-2)/(-10). Let u = l - 46. Is ((-3)/2)/(2/u) prime?
False
Let t = 4056 - -276. Suppose 0 = 2*m - 6, -q + 5*m - t = -4*q. Is q a composite number?
False
Suppose 7*a - 12*a = 20. Let m(y) = -4*y - 7. Let x be m(a). Suppose 5*n + 484 = x*n. Is n prime?
False
Let n(g) = g**2 + 2*g + 26. Let k(p) = p**2 + p + 1. Let t(q) = 3*k(q) - n(q). Is t(16) composite?
True
Let x(g) = 256*g**2 + 3*g + 13. Is x(6) a composite number?
True
Suppose 3*s - 2*y = 35, -4*s + 5*y + 13 = -43. Let r = 9 - s. Suppose -3*g - 6 = -0, r = d + 2*g - 327. Is d composite?
False
Suppose 5*x - 9*x + 213397 = 3*m, -4*m + 53333 = x. Is x a composite number?
False
Is ((-10)/(-4) + -2)/(36/53640) composite?
True
Suppose 0 = g + 2*p - 16421, -14801 = -g + 2*p + 1612. Is g a composite number?
False
Suppose 3*k - 2*s = -39, -2*k + 0*k - 15 = -5*s. Let d be k*((-134)/10 + 2). Suppose -3*t + 2*q + d = 2*t, 5*q = 5*t - 165. Is t composite?
True
Suppose -21322 = 7*l - 110271. Is l a composite number?
True
Let g = 1695 + 3824. Is g a prime number?
True
Let q(b) = -2*b + 3. Let x be q(-1). Let o(c) = -3*c + 2*c + c**3 - 5 - 6*c**2 + 2*c**2. Is o(x) prime?
False
Suppose -s + 5*s + 6936 = 0. Let f = 2432 + s. Is f prime?
False
Let w = 68 - -280. Suppose 2*f + w = 6*f. Is f composite?
True
Let v be (-2)/6*3*-31. Let y = 501 - 472. Suppose -y*r - 898 = -v*r. Is r a composite number?
False
Let f be (-3704)/(-10)*(-15)/(-6). Let x = f - -1503. Is x a composite number?
True
Let w(g) = -82*g**3 + 14*g**2 + 11*g + 49. Is w(-10) composite?
False
Suppose -30 = -4*v + 3*z, 2*z + 10 = v - 0*v. Suppose v*a - 2965 = a. Is a/4 - 21/(-28) a prime number?
True
Is (0 + -2)/((-2)/(-102605)*-5) a composite number?
False
Suppose 0 = 3*s - 779 + 239. Suppose -183*y + 99 = -s*y. Is y prime?
False
Suppose -30*a = -33*a + 132045. Is a composite?
True
Let z = -2500 + 3861. Is z a composite number?
False
Suppose 0 = 5*l - 2*l - 7308. Suppose 12961 - l = 5*p. Is p a composite number?
True
Is 20405/1 - (-42)/(-14 + 21) a composite number?
False
Suppose 5*l + 4*i - 8 = i, l + 4 = -2*i. Let s(u) = u**2 + u + 300. Let d be s(0). Suppose -3*p + d = p + 4*b, -p + l*b = -85. Is p a composite number?
True
Let f be (2 - 0)*(4 - (-18)/(-6)). Let m(v) = 100*v + 1. Is m(f) a composite number?
True
Suppose -3*o - 91 = -13. Let p be -15 - 2/1*(-3)/(-6). Let f = p - o. Is f prime?
False
Suppose 0 = -35*l + 40*l + 10. Is 1/2*(-7)/l*316 prime?
False
Suppose -75*w - 12 = -73*w. Let c(u) be the second derivative of u**4/4 - u**3/2 - 15*u**2/2 - 2*u. Is c(w) a prime number?
False
Let h(k) = -5*k**2 + 1. Suppose q + 8 = 2*d + 3, -5*d - 4*q = 7. Let y be h(d). Is -3 + 0 - (-640 + y) composite?
False
Let z = -426 + 845. Is z a composite number?
False
Suppose -5*h - x + 17 = 2*x, x = 4*h - 17. Suppose -q = 4*k - 3276, 4*k - 1811 = -h*q + 1477. Is k a composite number?
True
Is ((-42)/15)/(4/(-386390)) a composite number?
True
Suppose 2*k - d = 66, -3*d + 160 = 4*k + 2*d. Let f(u) = -5*u + 16. Let x be f(4). Let g = k - x. Is g a composite number?
True
Let i(s) = -631*s - 2. Let d be i(2). Let z = 1821 + d. Is z a composite number?
False
Let t = 1037 - -3234. Is t a prime number?
True
Let i(s) = s**3 - 6*s**2 - 3*s - 10. Let m be i(7). Suppose -2*n + m = -5*x, -5*x = 3*n + 34 - 11. Is x/(-22) + 9012/44 composite?
True
Suppose r + 2*i - 138 = -0*i, -4*i = -8. Is r composite?
True
Suppose -5*v - 29306 = -2*x, -x + 14654 = -v - v. Let n = x + -7640. Is 2/(-14) - n/(-77) a prime number?
False
Suppose 34275 = 2*h + 23*h. Is h prime?
False
Is ((-10324)/(-10))/((-10)/(-25)) a composite number?
True
Let d be (-1)/3*(-37 + 1). Suppose 4*l - d = 4. Suppose 0*t + l*t - 356 = 0. Is t prime?
True
Let t(p) = 222*p - 17. Is t(7) a prime number?
False
Let v(o) = 20*o**3 - o**2 + 3*o - 5. Let q be v(2). Suppose -4*u + 5*y + 462 + 98 = 0, -3*y = u - q. Is u a prime number?
False
Let n(q) = q**3 - 7*q**2 - 9*q + 11. Let j be n(8). Let g(a) = 16*a**3 - 4*a**2 + 5*a - 2. Is g(j) a composite number?
False
Suppose -3*o = -4*x - 50091 - 22370, -4*x + 24143 = o. Is o a composite number?
False
Suppose 23 = o - 4*c, 0*c = 2*o + 4*c - 10. Let w = 14 - o. Suppose w*q - 187 = 140. Is q prime?
True
Suppose -73*v - 107992 = -81*v. Is v prime?
True
Suppose 2*t - 5*k + 23 = 0, 4*k - 15 = 4*t + 13. Let n = 6 + t. Let y(x) = 105*x + 1. Is y(n) composite?
False
Suppose -171873 + 24047 = -14*o. Is o a composite number?
False
Let p be (-2)/(-8) - (-595)/4. Suppose -1595 = -4*g + p. Let m = -233 + g. Is m a prime number?
False
Let w = 0 - -7. Suppose -w*j = -2*j. Suppose -4*p - 2*k + 3*k + 1883 = j, 0 = -p + 4*k + 467. Is p a composite number?
True
Let y = 12 - 10. Suppose 153 + 144 = 2*j - 3*p, -299 = -y*j + 5*p. Is (20/(-30))/((-2)/j) composite?
True
Is ((-660)/(-40))/33 - 74173/(-2) composite?
False
Suppose 0 = 4*f + 3*r - 1281, 3*r = r - 10. Suppose -2*t = 3*p - 5 - f, 337 = 3*p + 4*t. Suppose -96 = -4*i + 2*m, -p = 2*i - 7*i - 4*m. Is i composite?
False
Suppose 3*f + f - 3*y = 332, 0 = 2*f + 2*y - 152. Suppose 3*p = 118 + f. Let a = 21 + p. Is a prime?
False
Let g(r) = -3*r**3 - 16*r**2 + 10*r - 4. Let q(z) = 7*z**3 + 33*z**2 - 21*z + 7. Let s(v) = -9*g(v) - 4*q(v). Is s(7) a prime number?
True
Let l(y) = 6*y**2 + 7*y + 1. Suppose 5*f = 2*h + 34 + 6, -3*h - 33 = -3*f. Is l(f) a prime number?
False
Suppose 37*t = 40*t - 6. Suppose -t*q + 5 = 1, -2*q - 4831 = -k. Is k prime?
False
Let r(n) = -1201*n**3 - 3*n**2 - 6*n - 9. Let q be r(-2). Suppose 0 = 2*h - 3*j - 3487, -2628 = 4*h - 5*j - q. Is h a prime number?
False
Let f(c) = -c**2 + 6*c - 2. Let d be f(5). Suppose 4*l - 1184 = -7*u + 3*u, 2*l - 885 = -d*u. Is u prime?
True
Suppose -5*a + h + 5312 = -h, -3*a = -2*h - 3188. Let s = -541 + a. Is s a composite number?
False
Let t(c) = 2*c**3 + 17*c**2 + 4*c + 10. Let r be -10 - 6*(-1)/2. Is t(r) prime?
False
Is (-6)/5 + 2964059/245 prime?
True
Let k(c) = 2*c**2 + 6*c - 8. Let o be k(-4). Suppose -4*x + 3*x + 253 = o. Is x prime?
False
Let l be -1*(4308/30)/(2/(-10)). Suppose f - l = -2*c, -4 = -4*f + 2*f. Is c composite?
True
Suppose 2*b = 4*n + 19134, 3*b - 155*n - 28699 = -151*n. Is b composite?
True
Let