 u + 1478. Suppose -3*d + k = -0*d. Is d a composite number?
True
Let x = 39 + -35. Suppose x*s - 2*s + 3*t - 766 = 0, 3*s - 2*t - 1123 = 0. Is s a composite number?
True
Let z = -7395 - -11038. Is z a prime number?
True
Let n(o) = 10*o - 3. Suppose 6 = -2*h - 4*i, -4*i - 32 = 3*h + h. Let d = h - -26. Is n(d) composite?
False
Let f = 18525 - -36158. Is f prime?
False
Let y(f) = 3*f**2 - 25*f + 161. Is y(12) a composite number?
False
Is (-2)/(-11) + 11040/22 + -3 composite?
False
Let b = 94 + 3509. Is b prime?
False
Suppose -25*l = -34601 - 9524. Is l a prime number?
False
Let g be -1*2 - (-1)/((-2)/(-12)). Is 455 + g*2/(-2) composite?
True
Suppose 0 = 20*o - 17*o - 465. Is o a composite number?
True
Is -15598*15/(-26) + 18/117 composite?
False
Let x(c) = -56*c**3 + 2*c**2 + c - 2. Let p be x(-2). Let s be (-20 - -20)/(-1 + 2). Suppose s*n = 4*n - p. Is n a composite number?
False
Let o = -1555 + 4826. Is o a composite number?
False
Suppose -8210 = -2*g - 4*w, -85*g + 3*w = -81*g - 16453. Is g a composite number?
False
Let w = -4256 - -6359. Is w a prime number?
False
Let d(v) = 2001*v**2 - 8*v + 5. Is d(2) a prime number?
True
Let x be (30/1)/(7/(-21)). Let d be (x/24)/((-2)/8). Suppose 417 = -12*t + d*t. Is t prime?
True
Suppose -2 + 12 = 5*f. Suppose 2*i + f*d = -3*i + 175, i = 4*d + 35. Is i a composite number?
True
Let m(d) = -192*d + 11. Is m(-6) a prime number?
True
Suppose y = 4 - 12. Let s be 3/(-12) - 7778/y. Suppose -5*a + s = -83. Is a a composite number?
False
Is (13*-1)/(11/(-17479)*7) a prime number?
False
Let k = 56669 - 34942. Is k composite?
False
Is (35548/(-6))/(19/(-57)) composite?
True
Suppose 24*q = 22*q + 370. Is q a prime number?
False
Let i be (3 - 1)*7/(14/(-3)). Is i + (1086/8)/(12/64) a composite number?
True
Let v be 12/8*(-7016)/(-12). Suppose -x + 0*x + v = 0. Is x composite?
False
Suppose -18*s - 4*s = -22946. Is s a composite number?
True
Let n(f) = -50*f + 33. Is n(-13) a composite number?
False
Suppose 2*x = -o + 2539, -4*x = 8*o - 10*o + 5054. Is o a composite number?
True
Let b be 8/20*1*-171*-120. Suppose -l - 3289 + b = 0. Is l a prime number?
True
Suppose -24*y + 1681 = -21*y + 2*p, 0 = -2*y - 2*p + 1124. Is y composite?
False
Suppose -43*h + 2416134 = -h. Is h prime?
True
Let r = 1373 - 716. Suppose -5129 = -8*t - r. Is t composite?
True
Suppose 3*y + 4*b - 13 = 0, 0*b - b = 4*y. Is 232/6*(25/10 + y) composite?
True
Suppose 5*u = 2*l + 9, u = -0*l - 2*l + 9. Let o(m) = 4*m**2 - 5*m - 2. Let g be o(l). Let x = g - -28. Is x composite?
False
Let h(f) = 7*f + 4 - 3*f - 7*f + 0*f + f**2. Suppose -g = -5 - 0. Is h(g) prime?
False
Let z = 11668 + -7875. Is z a prime number?
True
Suppose 0*c + 3*c = 4*r + 19, 24 = 5*c + r. Suppose 0 = 3*u - 4 - c. Suppose 57 = 3*d - u*b, -38 = -d - d + b. Is d prime?
True
Suppose -5*w + p - 74 = -0*p, 3*w - 5*p = -40. Let f = -15 - w. Is 3 + f + -3 + 6 composite?
True
Let q = 657 + -208. Is q a composite number?
False
Suppose 3*l + 32 = 2*l. Let i = l - -34. Is (3/9)/(i/786) composite?
False
Let y(b) = -26*b + 9. Suppose -5 = -5*x + 10. Suppose x*l - 1 = -16. Is y(l) a composite number?
False
Is (17 - 15)*5579/2 a prime number?
False
Let g be -3*(-2 - (0 - 1)). Is (-3)/((-36)/2764)*g a composite number?
False
Let m = 32831 + 4860. Is m a composite number?
False
Is 6421*(-2 + 5 - 10/5) composite?
False
Let m(y) = -294*y - 2. Let x(z) = -z - 2. Let j(i) = m(i) - 5*x(i). Is j(-9) composite?
False
Let f = -17 + 31. Suppose 0 = 3*w + 2*w + 5*y + 95, 4*y + 62 = -3*w. Is (-2)/f - 660/w a composite number?
False
Let f(b) = 1 + 6 + 3*b + 2*b**2 - 2*b**2 + 3*b**3. Let h(s) = 8*s**3 - s**2 + 10*s + 20. Let p(z) = 11*f(z) - 4*h(z). Is p(-5) a composite number?
False
Let q = -2 + 4. Suppose q*t = -t. Suppose 17*x - 13*x - 3372 = t. Is x a prime number?
False
Let s(t) be the first derivative of 11*t**3/3 + 7*t**2/2 - 3*t + 10. Is s(5) a prime number?
True
Suppose 0 = -4*r + 155 - 1071. Let q = r + 405. Let h = q - 107. Is h prime?
False
Let q(n) = n - 4 - 2 + 0 + 7. Let y be q(3). Suppose -y*a = -0*a - 268. Is a a prime number?
True
Let b(d) = -52*d + 258. Is b(-8) a composite number?
True
Let o be (-19)/(-5) + 10/50. Suppose -2*p + o = -0. Is 79 - (p + (-5 - 0)) a prime number?
False
Let p = -20607 - -58016. Is p prime?
True
Suppose 2*s + 5*t = 1194, -332 = -s - 2*t + 263. Suppose 0 = -h + a + 391 + s, 974 = h + 3*a. Is h a prime number?
True
Let f be 1 - ((-8238)/(-8) - (-7)/28). Let m = -10 - f. Is m a prime number?
True
Let r be 248/24 + 2/(-6). Is 1418/3 - r/(-30) composite?
True
Let p(r) = 3*r**2 - 120*r**3 - 2*r**2 + 37*r**3 + 2*r + 1. Let x(n) = -11*n - 12. Let s be x(-1). Is p(s) composite?
False
Let x be -3 - (-4 + -2*289). Suppose -2*k - x = -5*k. Suppose p - k - 74 = 0. Is p a composite number?
True
Let b = 2953 + -632. Is b a prime number?
False
Is (-4)/(17375/(-5785) - -3) a prime number?
False
Let d(i) be the first derivative of 32*i**3/3 - 3*i**2/2 + 7*i - 3. Is d(-6) prime?
False
Let b = -49447 + 131654. Is b composite?
False
Let h(t) = -t**2 + 7*t + 10. Suppose 0 = -3*u + 18 + 12. Let q be h(u). Is 1/(-4)*5*q prime?
False
Suppose -3*i + 133 + 77 = 0. Let g be (-10)/5 - (221 + 2). Let q = i - g. Is q composite?
True
Let g = 16 + 138. Let x = g + 175. Is x a composite number?
True
Is 0 - 7/(35/(-13715)) a composite number?
True
Let c = -11725 + 29206. Is c a composite number?
True
Suppose 9 = 3*c - 4*j, -4*c + 16 = -j + 4. Suppose 2*k + c*r - 112 = -0*r, -5*r - 80 = -2*k. Is 1/5 + 20940/k prime?
True
Let y be 1 - 2 - -237 - -2. Suppose -753 = -b + y. Is b a composite number?
False
Let v(m) = 38*m**2 + 3*m - 17. Is v(6) composite?
True
Let n(d) = -2831*d**3 + d**2 - 2*d - 1. Is n(-1) prime?
True
Let q be 348 - (-18)/6 - (-1 + 4). Suppose 2*l - 6*l = -q. Is l composite?
True
Suppose -g - 3*g - 2*m - 18 = 0, -3*g = -4*m - 14. Is 361/(3 + g) + -3 a prime number?
False
Let g(d) = 67*d**2 - 59*d - 189. Is g(-33) prime?
False
Let k be ((-5)/3)/(3/(-9)). Suppose 236 + 209 = k*f. Is f composite?
False
Suppose -4*r + 10 = -2*r. Suppose -w + 2*b = 73, -r*w - 135 = -b + 275. Let x = -24 - w. Is x a composite number?
False
Suppose -3*n - 9 = -6*n. Let g(s) = 3*s + 5 - 7*s - 2 + 0 - 5*s**2 + s**n. Is g(8) a composite number?
False
Let g(h) = 5*h**2 + 13*h + 13. Let f be g(14). Suppose 4*l - z - 847 = f, 4*z = 4*l - 2016. Suppose -17*i = -19*i + l. Is i a composite number?
True
Suppose d + 3*d = 2760. Suppose -2*g + x + d = -4*x, -g = 3*x - 367. Is g prime?
False
Suppose -39*a + 228555 = -12*a. Is a prime?
False
Let x = -170 + 175. Let u = -36 + 51. Suppose -4*w + x*w - u = 0. Is w a prime number?
False
Let h be (1 - -2)*(-221)/(-17). Let x be 5*(h/15 + -3). Is (1314/(-4) + 2)*x a prime number?
True
Suppose -2*m - 26 = -3*l, -2*l - m = 2*l - 31. Suppose -l*d + 0*d = -1192. Is d a prime number?
True
Let b(w) = w**3 - 9*w**2 - 3*w - 6. Suppose 2*h + 2*l - 21 = 1, 2*l = -5*h + 70. Let k be (-3 + 1 - 1) + h. Is b(k) a prime number?
True
Let t(w) = -20*w**3 - 2*w**2 + 10*w + 10. Is t(-3) prime?
False
Let p = -105 + -11. Let x = -57 - p. Is x a prime number?
True
Let h(s) = -4*s**2 + 2*s. Let q be h(2). Is (2*-1)/(q/1434) a composite number?
False
Suppose -4*m + 0*m + 3*y + 38 = 0, y + 26 = 3*m. Suppose 830 = 3*g - m*g. Let q = -99 - g. Is q composite?
False
Let t be (-28)/(-13) + 10/(-65). Suppose 0 = -t*a - 5*y + 2140, -4*a = -0*a + y - 4298. Suppose -4*h + 2*h = -8, 3*c - a = -4*h. Is c composite?
False
Let b(d) = -19 + 3*d**2 + 21 - 4*d**2 + 8*d. Let a be b(8). Suppose -2661 = -a*w - w. Is w a prime number?
True
Suppose 130 = -9*q - 149. Let b = 444 + q. Is b composite?
True
Is (-1 - -2) + 7803 + 13 a composite number?
False
Suppose 0 = t - 3*t. Let o be 10/6*(t + 3). Suppose c - o - 2 = 0. Is c a composite number?
False
Suppose 3*x + 4*h + 1334 = -623, -x + h - 643 = 0. Suppose 1096 + 240 = -3*r + 2*a, 2*r + 894 = 2*a. Let t = r - x. Is t a prime number?
False
Suppose -14*y = -9*y - 11185. Is y a prime number?
True
Suppose -3*a + 1143 = -4*k, 3*a - k = 5*a - 762. Is a a composite number?
True
Let t be (-2)/3 + (-1180)/12. Let x = 160 + t. Let q = -30 + x. Is q composite?
False
Suppose -12119 = -5*b + 3*l, l + 4894 = 4*b - 4797. Suppose 0 = 5*j - b - 943. Is j a composite number?
False