73*m + 71*m, 0 = 2*m - 8. Is d a composite number?
True
Let x(b) = 2*b**3 + 82*b**2 + 2*b + 84. Let l be x(-41). Suppose 4*n - 72 = -4*f, -f + 14 = n + n. Suppose g - l*g + f = 0. Is g prime?
False
Let g = 23 + -21. Let w(x) = 93*x**2 - 102*x**2 - 3 + 6*x - 3*x + g*x**3. Is w(6) prime?
False
Is 4/6*584262/28 prime?
False
Suppose b - 1602386 = -33*b. Is b composite?
False
Is (-332538)/(-36) - 2/12 a prime number?
False
Let b = -28 - -67. Is (13/b)/(2/7914) a prime number?
True
Suppose 0 = -168*m + 115*m + 5092293. Is m composite?
True
Let f = 6434 + -405. Is f prime?
True
Let q = -576 + 955. Is q a composite number?
False
Let r(c) be the first derivative of c**4/4 + 2*c**3 - 7*c**2/2 + c - 12. Let v be r(-7). Let h(t) = 144*t + 1. Is h(v) prime?
False
Suppose 4*r + 467 = z, 3*z - r - 854 = 580. Is z composite?
False
Suppose 0 = -r + 2*j + 2, r + 4*r - j = 19. Suppose -3*l - 1655 = -5*s, 4*s - 1328 = -4*l - r. Is s a composite number?
False
Let d(q) = q**3 + 14*q**2 - 2*q - 1. Suppose -21 = 3*s - 6, -2*x + 5*s + 85 = 0. Let m be (x/8)/((-9)/24). Is d(m) composite?
False
Let x(w) = 20*w**2 - 2*w - 2. Let k be x(-1). Suppose -k = -0*l - 4*l, -t - 22 = -5*l. Suppose -t*j + 13 = s - 15, -3*j - 37 = -4*s. Is s a composite number?
False
Suppose -5*t + 4 + 6 = 0. Suppose -f + t*v + 6 = -2, 2*f = -v + 1. Suppose -3*l + 705 = -4*w, f*l + 2*w = 536 - 52. Is l prime?
True
Let t = -11 - -13. Suppose -531 = t*b - 3*b. Suppose 0 = -2*p - b + 1421. Is p composite?
True
Let m be (72/42)/((-2)/(-7)). Let u be -2 + (-3)/m*-3884. Let q = u + -1075. Is q a prime number?
False
Suppose -6*x + 95 + 7 = 0. Let t(u) = 2*u**3 - 22*u**2 - 25*u + 4. Is t(x) prime?
False
Let j(u) = -3*u**3 - u**2 - 2*u - 1. Let n be j(-1). Suppose 0 = n*y - 528 - 468. Let g = -43 + y. Is g a prime number?
False
Let a = -24 - -24. Suppose 0 = -l + 2*w + 1347, -l + a*w + 1344 = w. Is l a prime number?
False
Is 94806/12 - (-4)/8 composite?
False
Is (-133247)/(-95) + 17/5 + -3 a prime number?
False
Suppose -6*i + 4*i - 94612 = -2*k, 0 = -2*k - 2*i + 94600. Is k composite?
False
Suppose 3*g = 5*w + 4925, 5*w = g - 0*w - 1645. Let k = g - 831. Is k composite?
False
Let y(x) = x**3 - 7*x**2 + 12*x - 7. Let w be y(5). Suppose 0 = -0*r - 3*r - 2*m + 7737, w*r = -m + 7737. Is r a composite number?
False
Suppose 0 = t + 2*o - 2771, -2*o = -2*t + 2*o + 5502. Is t composite?
True
Suppose -2*v + 10 + 8 = -3*m, 4*v - 2*m = 20. Suppose 2*q = -3*y + 3 - 9, -5*y = q + v. Is (-1)/q + (-1992)/(-18) a prime number?
False
Let c(r) = 53*r**2 - 39*r + 347. Is c(16) composite?
False
Let d = -3431 - -5508. Is d prime?
False
Let d = 5 + -13. Let k = 107 - d. Suppose 2*p = -3*f + 69, 5*f = 3*p - 7*p + k. Is f a prime number?
True
Suppose 95*a - 36880 = 55*a. Is a composite?
True
Suppose -8*l = -3*l - 3625. Suppose -2*v + l = 5*q - 0*v, 725 = 5*q - 5*v. Is q a prime number?
False
Let q(f) = 30*f**2 + 7*f - 12. Let n be q(-5). Suppose -i + 2 + 1 = 0, 2*p = i + n. Is p composite?
False
Let w = 9438 - 3799. Is w prime?
True
Let x(l) = 68*l**3 + 2*l**2 - 19*l + 10. Is x(5) a composite number?
True
Let u be 14/(-4)*(-18)/21. Let c(f) = 2*f + u*f**2 + 8 - f**2 + 1 + 8*f. Is c(-6) composite?
True
Suppose 21107 = -4*c - 3385. Is c/(-104) + (-2)/(-16) a prime number?
True
Suppose 3*v + 5*l - 3*l = 143, 3*l + 6 = 0. Suppose 5*s + 3*f = -0*s + v, 3*s = -2*f + 30. Is (-12)/s + 142/4 a prime number?
False
Let y be ((-2)/(-4))/(3/24). Suppose 3*c - 42 = -5*b + 75, y*c - 5*b = 156. Suppose p = 3*t - 7*t + c, 3*p - t - 182 = 0. Is p prime?
True
Let a(b) = -36*b + 6. Let j(p) = -p**2 - 6*p. Let s be j(-7). Let u be a(s). Suppose -l + u = 2*l. Is l a composite number?
True
Let v = -11 - -11. Suppose 4*r - r = v, -5*r = -3*s - 45564. Is s/(-60) - 2/15 prime?
False
Let s be (-912)/(-20) + (-2)/(-5). Let w = 69 - s. Is w prime?
True
Let a(h) = 22*h + 1. Let g(r) = r - 1. Let p(o) = a(o) - 5*g(o). Suppose -f + 3*t - 1 = 0, -4*f - 3*t = -31 - 10. Is p(f) a prime number?
False
Let v(t) = -3*t**2 - 11*t + 5. Let p(f) = 3*f**2 + 11*f - 4. Let y(j) = -4*p(j) - 5*v(j). Is y(7) composite?
True
Suppose 8*x = 6*x + 24430. Suppose 8*u - 3*u - x = 0. Is u a prime number?
False
Let h(o) = 2*o**2 - 5*o + 3. Suppose 0 = 4*n + 15 + 13. Let r be h(n). Suppose -5*v - 275 = -2*d, -r = -0*d - d + 3*v. Is d prime?
False
Let h(q) = -q**2 + q. Let n be h(-3). Is 1*343 + n + 16 a composite number?
False
Suppose 2*d - 4*d = -1044. Let y = 1201 - d. Is y composite?
True
Suppose -3230 = -2*y + 464. Is y prime?
True
Let m be 12/(2 - 0) - -2. Let k(f) = -6*f - m - 12*f - 17*f + 4*f. Is k(-3) a composite number?
True
Let q be 4/(-12)*-3*2. Let r(d) = q - 3*d**2 - 253*d**3 + 2 - 2*d + 2*d**2 - 5. Is r(-1) a composite number?
True
Let s be (1/(-4))/((-6)/24). Let a = 3 - s. Suppose -a*y + 58 = -5*j, -2*y - 3*j = -6*y + 144. Is y a composite number?
True
Let l(b) = -5*b**3 + 3*b + 2. Let o be (2/(-6)*3)/1. Let u be l(o). Suppose -5*w - 1 = u, -1416 = -4*t + 4*w. Is t a composite number?
False
Suppose 5*s = p + 25355, -2*s + 19*p + 10142 = 22*p. Is s a composite number?
True
Suppose 1562 - 194 = -h. Let w = h - -3574. Let z = -1469 + w. Is z a composite number?
True
Let b(q) = -q**2 + 3*q. Let h be b(3). Suppose 4*v - 6*v = h. Suppose -3*y + 1 + 8 = v, -1255 = -2*d + 5*y. Is d a prime number?
False
Suppose 2*q - 3*t = 12, -2*q - t = -q - 11. Suppose 2*f = -2, -5 = -3*o - f + q. Suppose -4*y - 2*l + 54 = -o*l, -5*l + 25 = y. Is y a prime number?
False
Let p be ((-4)/(-5))/(4/10). Suppose p*m - 222 + 78 = 0. Suppose -4*g + m = -64. Is g a composite number?
True
Suppose -3*r = 5*i - 2667, -2*r - 5*i + 1776 = -i. Suppose -r = -5*q + 2*q. Is q composite?
True
Let d(w) = -57 + 11*w**2 + 9*w**2 + 52 - 4*w. Is d(6) a prime number?
True
Let w(f) = 19*f**3 - 3*f**2 + 10*f + 11. Is w(5) a composite number?
True
Let o(s) = 225*s**2 + 19*s + 11. Let w be o(-6). Suppose -q - 2208 = -w. Is q a composite number?
True
Suppose -3*k - 3 = 0, 3*k = 4*o - k. Let x(j) = -53*j. Is x(o) composite?
False
Let r(g) = 11*g**2 - 14*g + 20. Is r(-15) a prime number?
False
Suppose 9*f - 88 = 7*f. Suppose 0 = 3*i, -5*i = 6*v - 3*v + 12. Is (v - -1) + f/2 a composite number?
False
Let v = 14221 - 7436. Suppose 5*f + v = -3*j + 5*j, f - 4*j + 1339 = 0. Let o = -725 - f. Is o composite?
True
Let o(q) = 2*q**2 + 6*q + 7. Let m be o(-3). Let t(z) = -z**3 + 7*z**2 + 10*z - 5. Is t(m) composite?
True
Let d(r) = 3*r**2 + r + 1. Let c be d(-1). Let n be (-6)/5*(-10)/c. Suppose -6*p + 92 = -n*p. Is p a composite number?
True
Suppose -3*j + 524 = -2*j. Let o = -217 + j. Is o composite?
False
Suppose 0 = 3*w + r - 0*r - 84, 3*r = w - 28. Is ((-119)/w)/(2/(-24)) a composite number?
True
Let k(o) = 2*o**2 - 3*o - 6. Let w(g) = -7*g**2 - 3*g - 1. Let x(i) = -i**2 + i. Let c(t) = w(t) - 6*x(t). Let z be c(-6). Is k(z) a composite number?
False
Let j(z) = -365*z + 4. Let o be j(-2). Suppose 0 = -0*h - h + o. Is h a prime number?
False
Suppose -4*t + 16 - 224 = 0. Suppose 2*w - 2*p + 332 = 0, 3*w - w + 2*p + 348 = 0. Let x = t - w. Is x a prime number?
False
Let q(v) be the first derivative of -v**3/3 + 13*v**2/2 + 8*v + 1. Let b be q(13). Let p = b + -2. Is p a composite number?
True
Suppose -3*p - 7 = -16. Suppose o = -p*o + 5444. Is o a composite number?
False
Is -3*(-4 + 4389/(-36))*4 composite?
False
Let r be (0 + 1)/(((-14)/2121)/2). Let t(s) = -525*s - 1. Let a be t(-1). Let x = r + a. Is x composite?
True
Suppose 5*y - 7*y + u + 6164 = 0, -3*u + 6164 = 2*y. Let x = y - 1721. Is x composite?
False
Suppose 0 = 10*t - 25930 - 39680. Let a = -3352 + t. Is a a prime number?
True
Suppose -4*v - 23*v + 632583 = 0. Is v a composite number?
True
Suppose -2*d + 8217 = -k, 2*d + 4*k - 1809 = 6433. Is d composite?
False
Is (4430/15)/(16/12)*2 composite?
False
Suppose 0 = -10*r + 5*r + 15. Suppose 0 = -5*w + r*x - 557, -2*x + 3*x = 4*w + 447. Let z = w - -186. Is z prime?
False
Suppose -4*i + 52488 = 4*m, -57480 + 18112 = -3*i - 5*m. Is i a composite number?
False
Suppose 2 = -6*r + 20. Suppose -u + 3*u - 168 = -2*i, 4*i - 331 = -r*u. Is i a prime number?
True
Let d = -2008 + 3476. Suppose 0 = -v - 0*v - 5*m + d, -9 = 3*m. Is (v + 6/(-3))*1 a composite number?
False
Suppose -63 - 57 = -3*q. Suppose -x = 4*a - q - 252, 2*a