i. Is q prime?
False
Is 2*(-438)/(-24)*2*37 prime?
False
Let d(c) = -13*c - 9. Is d(-7) composite?
True
Is (-2)/(-10)*3 - 11776/(-40) composite?
True
Is 2518 - (-6 + 4)/(-2) prime?
False
Let z(y) = 21*y + 5. Suppose 38 = 2*q - 2*v, 2*q - v - 41 = 2*v. Suppose -3*i + q = i. Is z(i) prime?
True
Let q = 6 - 0. Suppose -61 = -q*p + 215. Is p prime?
False
Let q(b) = b**2 - b - 24. Let s be q(6). Let i be (15 + 1)/(0 - -1). Let v = s + i. Is v a prime number?
False
Let f = -1725 - -2578. Is f a composite number?
False
Let y be (6 + 0)/(3/10). Suppose -p + 60 = d, -p + 37 = -2*d - 20. Let z = p + y. Is z a composite number?
False
Suppose -7*o = -4*o - 3579. Is o a composite number?
False
Let m(z) = 2*z - 2. Let s be m(-2). Is ((-4)/6)/(s/2979) composite?
False
Let h = 341 + -19. Is (1 + 1)*h/4 a prime number?
False
Let q = -636 - -1085. Is q a prime number?
True
Suppose -f - 18 = -3*f. Is 45/f*69/5 a composite number?
True
Suppose -g + 5*b = -2933, 3*g - 4*b = g + 5842. Is g a composite number?
True
Let n = -2796 + 4963. Is n a composite number?
True
Let s(j) = 82*j - 1. Is s(12) prime?
True
Suppose 24 = 5*l - 1. Suppose -3*a + 404 = l*p - 185, -a + 236 = 2*p. Is p a prime number?
False
Suppose -o + 3*k = -237, -4*o - 5*k + 637 = -379. Let x = -146 + o. Is x a prime number?
True
Let j = -2 - -2. Suppose 3*w + 0*w - 9 = 0, 4*u - 5*w - 245 = j. Is u prime?
False
Is ((-2)/(-8))/(3/9852) a prime number?
True
Suppose 4*u = -3*w + 530, u - 258 = -u - 5*w. Is u prime?
False
Let j(l) be the first derivative of 5/3*l**3 - 1 + l + l**2. Is j(2) composite?
True
Let v(m) = 104*m**3 - 2*m**2 + m. Is v(1) a composite number?
False
Let c = -114 - -207. Is c composite?
True
Let r(h) = -h**3 + 9*h**2 - 5*h + 4. Let w = 22 + -16. Is r(w) prime?
False
Let v(f) = f - 3 - 3 + f**3 + 4*f**2 + 0 - 4*f. Is v(-4) prime?
False
Let p = -11 - -12. Let l be (-1 - -3 - p) + -1. Suppose l*u + 382 = 2*u. Is u a prime number?
True
Let x(a) = -a**2 - 3*a + 2. Let w be x(-3). Suppose 5*r - 2*p - 477 = -p, -w = p. Suppose 8*l - 3*l = r. Is l composite?
False
Suppose -3*l = -i + l + 889, -2*i - 2*l + 1778 = 0. Is i composite?
True
Suppose 6*p - 1257 - 603 = 0. Let t = 220 - 1. Let v = p - t. Is v composite?
True
Suppose h + 197 = 786. Is h a prime number?
False
Let a(d) = -11*d**2 + 16*d**3 - 2*d - 8 - 3 - 17*d**3. Is a(-11) composite?
False
Suppose -5*z - 2*t = -4*z - 4, 0 = -3*z + 2*t + 4. Let l = 108 - z. Is l composite?
True
Suppose 0 = -g - 14 - 17. Let i = 68 + g. Is i composite?
False
Let k(a) = a**2 - 5*a - 2. Let b be k(6). Suppose b - 16 = 4*w. Is (-26)/(w/(1 + 2)) a prime number?
False
Let z(a) = -a**3 + 3*a**2 + 4*a + 4. Let p be z(4). Suppose 3*w - 345 = -p*l, -2*l + 0*w - 4*w = -170. Let h = 2 + l. Is h a composite number?
False
Let s(f) = -12*f**2 + 3*f. Let i be s(2). Let w = i + 119. Is w composite?
True
Let v be (-2)/(-7) - (-325)/(-35). Let r(h) = 2*h**2 + 3*h + 22. Is r(v) prime?
True
Let r = -699 - -1013. Is r a prime number?
False
Suppose 0 = 3*s - 7*r + 6*r - 320, -112 = -s + 3*r. Suppose -2*x - 550 = -4*k + s, 0 = -k + x + 165. Is k a prime number?
True
Suppose -2*f - 10 = 0, 5 = 4*x + x - 5*f. Let i(m) = -6*m**3 - 5*m**2 - m - 1. Is i(x) prime?
True
Suppose 5*a + 438 = 3*w + 1330, 5*w - 5 = 0. Is a a composite number?
False
Let j(f) be the third derivative of 0*f - 3*f**2 - 7/24*f**4 + 0 - 3/2*f**3. Is j(-6) prime?
False
Let p be (-12)/(-2) + (-2)/1. Suppose -p*q + 31 - 3 = 0. Is q a composite number?
False
Let d(i) = -i**3 + 6*i**2 + 4*i - 7. Let p(t) = -t**2 - t + 1. Let g(l) = -d(l) - 6*p(l). Let r(f) be the first derivative of g(f). Is r(7) composite?
False
Let r(i) be the first derivative of 125*i**4/2 + i**3/3 + i**2/2 - i - 2. Is r(1) a composite number?
False
Let a(r) = -21*r**3 - r**2 + 3*r - 2. Is a(-3) composite?
False
Let x = 64 - 31. Is x a prime number?
False
Suppose 2*i + 2*x = 0, 2*i + x = -i + 4. Let t be 16/12 + (-219)/9. Is (-3 + 1)/(i/t) composite?
False
Suppose -6 + 1 = -l, -5*b - 3*l = -650. Is b prime?
True
Let a be -4 + 2 - 0/(-1). Let t be (1 + a)*2/2. Is (2 + (t - 0))*521 prime?
True
Let g be (4 + 1 - 2) + -1. Is (15/(-6) + g)*-254 a composite number?
False
Let y = 23 - -83. Suppose 2*g = -q + y - 11, 0 = -4*g + 12. Is q prime?
True
Suppose 5*n = -4*t - 8, 2*n + t - 2*t = 2. Suppose n = -r - r + 514. Is r prime?
True
Let d = 7 - 5. Suppose 2*f - 108 = d*g, 63 + 38 = 2*f + 5*g. Is f prime?
True
Suppose -t - j = -371, t + 5*j = -0*t + 371. Is t a prime number?
False
Suppose 0 = -4*w + 3*h + 26 + 16, 3*h + 54 = 5*w. Let k be 2662/(-6) - w/(-18). Let q = -282 - k. Is q composite?
True
Suppose 4*x + 5*v - 13 - 9 = 0, -2*v + 4 = 0. Suppose x*j = -0*j + 6. Is j/7 + (-393)/(-21) prime?
True
Let y be -1 + 2/((-4)/(-38)). Suppose i + y = -2*i. Is (-1 - -66)*i/(-15) prime?
False
Let y be 6/(-12)*(-1 + 1). Suppose y = 2*h - 5*h + 5*p + 18, 3*p = -5*h + 30. Let a(s) = 23*s - 7. Is a(h) prime?
True
Suppose 0*f = -3*f. Suppose 2*s + s + 4*l + 14 = f, -3*s + 5*l = 23. Is (-122)/s - (-2)/3 a composite number?
True
Let d be (-18)/4*20/(-3). Let r be (-1)/3*3 + 6. Let h = r + d. Is h a composite number?
True
Suppose -6*p + 6286 = -6092. Is p a composite number?
False
Let o = 35 - 349. Let b(u) = 440*u**3 - 2*u**2 - 2*u - 1. Let x be b(-1). Let j = o - x. Is j prime?
True
Let m be (-11)/(-3) - 1/(-3). Suppose -m*s + 0*s + 720 = 0. Let z = s - 101. Is z a prime number?
True
Let l(u) = u**3 - 4*u**2 - 5*u + 6. Let c be l(5). Let r(f) = 2*f**3 - 7*f**2 - 2*f + 3. Let h be r(c). Is (h/12)/(-3)*-4 composite?
False
Let k = 5384 + -2663. Is k a composite number?
True
Suppose -2*b = u - 15, 3*b - 19 = -3*u + 5. Is (-2)/b + 21090/70 a composite number?
True
Let j be ((-10)/(-6))/(6/1656). Suppose -4*f + j = 2*n, -3*f + 34 = -4*n - 289. Is f prime?
True
Let y = 48 + -5. Is y a composite number?
False
Let t = -3 - -19. Let q be t/(-12)*(-3)/(-2). Is q/9 - (-303)/27 composite?
False
Let q = -9 - -9. Suppose -4*u + u + 153 = q. Is u composite?
True
Suppose 2*r = 2*o, -4*o + 15 = -2*r + 5. Suppose 2*z + 30 = o*z. Is 4/z - 1892/(-20) prime?
False
Let a(v) = v**3 - 4*v**2 + 7*v - 6. Suppose 3 = 3*h, 4*k + h + 2*h - 19 = 0. Is a(k) composite?
True
Let t be -2 + -3 + 3 + 7. Suppose 0 = t*o + 2*d - 3*d - 553, -2*o = -4*d - 214. Is o a composite number?
True
Suppose -20 = -5*z + 10. Suppose -q = x - 5, -z*q + 17 = x - 2*q. Is x*-1 + 312/6 a composite number?
True
Let i(v) = -58*v + 6. Let q be i(4). Let d = q + 777. Is d composite?
True
Let q = -92 - -136. Is q*5/((-40)/(-6)) a prime number?
False
Let o = 1506 - 877. Is o composite?
True
Suppose 0 = -0*b - b. Is 498/4*(2 + b) a composite number?
True
Suppose -4*f = 5*s - 9*f + 1585, -2*f + 1576 = -5*s. Let g = 447 + s. Is g composite?
True
Let n be (-24)/9*3/(-4). Is 65/((n + -3)/(-1)) composite?
True
Suppose 5*o + 276 + 31 = 4*w, -o = 3*w + 50. Let x(p) = -p**3 + 4*p**2 - 9*p - 10. Let c be x(7). Let i = o - c. Is i prime?
False
Let u(c) = -4*c - 5. Let h = -8 + 4. Let b be u(h). Suppose 0 = 3*k - b - 64. Is k a prime number?
False
Let h = 128 + -61. Is h composite?
False
Suppose -5*i + 4*s + 2501 = 0, -4*i + 798 = 4*s - 1210. Is i composite?
True
Let m(t) be the first derivative of t**4/4 - t**3 - 3*t**2/2 - 2*t + 2. Let n be m(4). Suppose -2*u - n*g + 112 = 0, 4*g = 5*g - 1. Is u a composite number?
True
Let f(r) = r - 7. Suppose -3*p = 2*p - 35. Let q be f(p). Suppose 2*o = -q*o + 14. Is o a prime number?
True
Suppose 35 = i - 0*i. Let f = -2 + i. Is f composite?
True
Suppose 4*x + 0 = 8. Suppose -x*t - 52 = -4*t. Is t composite?
True
Is 1102/5 + 12/20 composite?
True
Let s(y) = 26*y**2 + 5*y + 4. Suppose -k + 5*k = 20. Let f = k + -8. Is s(f) composite?
False
Suppose 66 = 3*i + 15. Suppose 2*c - h - 419 = 0, -3*h = 3*c + i - 659. Is c prime?
True
Suppose 0*o = -2*o + 12. Suppose 0 = o*i + 72 - 3078. Is i composite?
True
Let v(o) = -2*o**2 - 17*o - 3. Let c be v(-15). Let q = c + 409. Is q composite?
False
Let g(u) = 2*u + 69*u**2 + 3*u - 6*u + 1. Is g(1) a prime number?
False
Let n(b) = -58*b - 5. Let x(c) = -58*c - 6. Let l(q) = -3*n(q) + 2*x(q). Is l(5) a composite number?
False
Let v(f) be the third derivative of 49*f**4/24 - f**3/6 - 2*f**2. Let g be v(2). Let u = -50 + g. Is u a composite number?
False
Suppose 