. Is g composite?
True
Suppose 0 = -4*x + 2*x + 478. Is x prime?
True
Let x = 6 - -142. Suppose -x - 128 = -2*a. Suppose 10 + a = 4*y. Is y prime?
True
Let y(x) = x**2 + 10*x - 13. Is y(12) a prime number?
True
Let g be (-3)/(((-30)/(-4))/(-5)). Suppose w = g*w - 191. Is w composite?
False
Let i(t) be the first derivative of 22*t**3/3 - t**2/2 - 2. Is i(2) a prime number?
False
Let g be (2 - 1) + 2/(-2). Let r be g/3 - (-274 + -2). Let s = r - 197. Is s prime?
True
Let u = 1 + 2. Let p(q) = -q**3 + 3*q**2 + 2. Let z be p(3). Is 139/u + z/(-6) composite?
True
Let g = -7 - -10. Suppose 5*y - 39 = -2*o, 2*y + g*o - 7*o = 30. Is y prime?
False
Let g(f) = -106*f**3 - 2*f**2 + 2*f + 3. Let o be g(-1). Let a(z) = -13*z - 2. Let u be a(2). Let i = u + o. Is i composite?
True
Let m be 10/(-2) - 3 - -3. Let u(d) = -55*d - 8. Is u(m) a composite number?
True
Suppose 2*s + 475 = -141. Is (5/10)/((-2)/s) a composite number?
True
Let o = 982 - 371. Is o a composite number?
True
Suppose -2*c - 2*c = -4*y, 5*y + c - 6 = 0. Let h be y - 1 - (2 - 16). Let d = 21 - h. Is d composite?
False
Let p be 48/(-4)*(-4)/6. Let w be (10/p)/(2/72). Suppose -g + w + 17 = 0. Is g composite?
True
Let z = -4 + 6. Suppose -m - 182 = -4*a - 3*m, 4*a - z*m - 194 = 0. Is a a composite number?
False
Let h(p) be the first derivative of -p**4/4 - 2*p**3/3 + 2*p**2 - 7*p - 2. Is h(-6) composite?
False
Let b = 515 + -66. Is b composite?
False
Let l(f) = -f**3 + 5*f**2 + 6*f + 2. Let o be l(6). Let m(j) = 2*j**o + 3*j + 5*j - 1 - 8*j. Is m(-7) prime?
True
Let u(c) = 809*c**2 + 4*c + 1. Is u(-2) a composite number?
False
Suppose 27 = 2*h - 0*h - g, 0 = -4*h - 4*g + 48. Suppose 0 = 4*z + h - 1. Is -31*(5 - 2)/z prime?
True
Let n(x) = 254*x**2 - 1. Let t be n(-1). Let o = t - 176. Is o a composite number?
True
Is ((-226)/(-10))/((-2)/(-10)) composite?
False
Let h be (4/3)/((-10)/75). Let n be ((-8)/h)/((-4)/30). Is (-233)/(-3) + n/9 composite?
True
Let r(z) = 5*z**2 + 5*z - 4*z + 9 - 3*z + 5*z. Is r(5) a prime number?
True
Is 18/(-135) + (-6257)/(-15) a composite number?
True
Let z = -241 + 111. Let u = -45 - z. Is u prime?
False
Let z(c) = 539*c + 3. Let l be z(4). Suppose -5*i + l = 504. Is i composite?
False
Suppose 2*p + 3 = -p. Is 3/((-3)/469)*p a prime number?
False
Let j(z) = -z + 3. Let o be j(5). Is 2/(o*(-3)/261) prime?
False
Let f(d) = 79*d**2 + 12*d - 63. Is f(-14) composite?
True
Let y = -11 - -15. Suppose 0 = -y*a - 4*v - 4, 0 = 4*v - 2 + 6. Suppose a = 3*p - 6, 4*p + 70 = 5*c - 27. Is c prime?
False
Suppose 10444 = 8*z + 6*z. Is z composite?
True
Let q(a) = -a**3 - 2*a**2 + 8*a - 7. Is q(-6) prime?
True
Suppose 0 = p + 2*p + 2*f - 34, 4*f = -5*p + 58. Let c = 17 - p. Suppose -38 = -3*w + c. Is w prime?
False
Suppose 2*i = -38 + 176. Is i composite?
True
Let z = 651 - 352. Is z a composite number?
True
Let m(i) = 37*i - 8. Let z be m(9). Suppose 5*j - 4*f - 325 = 0, z = 5*j + f - 3*f. Is j a prime number?
False
Let i = 494 + -183. Is i composite?
False
Let d be (100/(-15))/((-2)/3). Is d - 12 - (-181 - 0) a prime number?
True
Suppose 3*u + 4*x + 601 = 0, -x + 334 = -3*u - 247. Let n = -104 - u. Is n a composite number?
True
Suppose -2*b - 78 = -222. Let p = -10 + b. Suppose 4*a - p = -6. Is a a composite number?
True
Let l(z) = z - 5. Let a be l(5). Suppose a = -5*c + d + d + 1167, 932 = 4*c - 2*d. Suppose 4*f = 5*x - 235, -c = 3*x - 8*x + 5*f. Is x a prime number?
True
Suppose q - 52 = 327. Is q prime?
True
Suppose 2*m + 3*p = 18, -6*p = m - p - 16. Is ((-3)/m)/((-3)/138) prime?
True
Let p be 6/(-10) + 14/(-35). Is p/((-3)/168) - 3 a composite number?
False
Suppose 5*v - 3 = -18. Is (-3)/(v/65) + 2 composite?
False
Suppose 43 = -4*r + 11. Is ((-34)/(-8))/((-1)/r) composite?
True
Suppose 530 = -13*i + 18*i. Is i prime?
False
Let s be ((-8)/12)/(4/(-54)). Let c be 24*(1 + (-15)/s). Let b = -6 - c. Is b a prime number?
False
Let l(t) = -t - 1. Let g(h) = -h**3 + 9*h**2 + 5*h. Let x(b) = g(b) + 3*l(b). Let p(r) = r**2 + 3*r - 1. Let d be p(2). Is x(d) a composite number?
True
Let r(d) = d - 2. Let x be r(2). Suppose x*i + 2*i - 8 = 0. Suppose -5*t = -3*c + 378, 4*c = -0*c - i*t + 536. Is c composite?
False
Let k(x) = 24*x**2 - x - 2. Is k(-3) a composite number?
True
Is 2 + 3/(9/705) composite?
True
Let s(i) = 10*i**2 + 5*i - 2. Let t(a) = -51*a**2 - 26*a + 9. Let b(n) = 11*s(n) + 2*t(n). Let x = 5 + -8. Is b(x) a composite number?
False
Suppose 3*r - 1717 = -2*o, -r = -2*r + 5. Is o composite?
True
Let v be (-160)/15 + (-1)/3. Let x(k) = -15*k - 10. Is x(v) a composite number?
True
Let k = 11667 - 316. Is k a composite number?
False
Suppose u + 0*t - 449 = -5*t, u - 2*t - 449 = 0. Is u prime?
True
Let z be (3 + -2 - -23)*1. Suppose v + 94 = 5*n, 0 = -5*n - 3*v + z + 74. Is n a composite number?
False
Let a(f) = f**3 - 15*f**2 + 19*f + 8. Is a(15) a prime number?
True
Let p be 880/12 + (-4)/(-6). Suppose 9 + 18 = f - j, 2*f + 3*j - p = 0. Is f composite?
False
Let h(r) = -29*r**2 - 1. Let n be (2 - 2) + 1 + -2. Let t be h(n). Let s = 115 + t. Is s prime?
False
Let p(v) = v**3 + 2*v**2 - 2*v - 3. Let y be p(-2). Suppose 0 = -4*z + y + 27. Is z composite?
False
Suppose -9*d + 10*d = 10. Let h(g) = g**3 - 11*g**2 + 13*g + 5. Is h(d) a composite number?
True
Suppose -2*b - 4*b = -276. Is b a composite number?
True
Let k be (-1 - 3/2)*-2. Let p = k + 18. Is p prime?
True
Let g(f) = -630*f**3 - f**2 - 6*f - 4. Is g(-1) composite?
False
Suppose -h - 45 = -4*h. Is h a prime number?
False
Let h = 132 + 241. Is h a composite number?
False
Let j = 6 - -2. Suppose -j*g + 4*g = 0. Suppose -x + 96 - 13 = g. Is x composite?
False
Let v = -9 + 32. Suppose -3*t + 2*t = -v. Is t a prime number?
True
Suppose -4*r = -5*r + 5. Suppose -l + 0*s - 5*s = -95, -3*l + 325 = r*s. Is l a composite number?
True
Let s be ((-2)/(-3))/((-1)/(-198)). Suppose -3*d + 18 = 6. Suppose d*l + 0*l = s. Is l prime?
False
Suppose p + 3*v - 2 = 0, 0*v - 5*v = 4*p - 15. Suppose -332 = -4*k - 3*n - n, 5*n = p. Is k composite?
True
Let r be (-4)/(-18) + 11/(-9). Let b = r + 1. Suppose -24 = -l + k, b = 5*l - k - 23 - 85. Is l a prime number?
False
Let y = -7 - -20. Let j = 8 - y. Let k(p) = -6*p - 7. Is k(j) prime?
True
Is -20*(-1 - 74/8) a prime number?
False
Suppose -222 = -13*g + 11*g. Is g a prime number?
False
Let i(c) = 7*c - 7. Let n = 9 - 2. Let h(y) = -14*y + 13. Let a(w) = n*i(w) + 3*h(w). Is a(9) prime?
True
Let w(r) = 21*r + 54. Is w(19) composite?
True
Let j = -48 + 85. Is j composite?
False
Let w be 2*-6*-1*23. Suppose 4*i + 8 - w = 0. Is i a composite number?
False
Let i be 0/(-1) + 42 + -2. Suppose -2*k + 41 = 3*d, 3*d - 6*d = k - i. Let l = d - 6. Is l prime?
True
Let w(v) = 2*v**2 - 9*v + 6. Let l be w(6). Let x be 114/l + 1/4. Suppose -b + d = 2*d - 44, -103 = -2*b - x*d. Is b a composite number?
True
Let h(i) = 5*i**2 + 8*i - 2. Is h(-9) composite?
False
Let p(o) = 23*o - 25. Is p(6) composite?
False
Let v(r) = r**2 - 6*r + 2. Let z be v(6). Let j = z + 29. Is j prime?
True
Suppose 0 = 5*d - 4*l + 115 - 2346, -1340 = -3*d + l. Is d prime?
False
Let p(h) = h**2 - 4*h + 3. Let a be p(4). Let k = 12 - a. Let b = 40 - k. Is b composite?
False
Suppose 0 = -5*a - 2*l - 567, 356 = -5*a + 4*l - 235. Let u = a + 198. Is u prime?
True
Suppose 3*d - 1 + 7 = 4*g, 5*g - 4*d = 8. Suppose -5*f = -2*l - 292, 4*f + 5*l - 333 + 106 = g. Is f a composite number?
True
Let u = 574 + 2391. Is u a prime number?
False
Suppose -2*k + 7*k = 2*x - 83, -3*k + 9 = 0. Let l = x - 18. Is l a composite number?
False
Suppose 0*m + 42 = 7*m. Is (9/m)/((-1)/(-74)) prime?
False
Let s(y) = 7*y - 4. Let d = -14 - -22. Let b be 37/7 + d/(-28). Is s(b) a composite number?
False
Let k(v) = -v**2 + 9*v + 5. Let y be k(9). Let h be 104/(-20) - (-1)/y. Let t(p) = 5*p**2 + p + 7. Is t(h) a composite number?
False
Is (2/(-4))/(3/(-1842)) prime?
True
Let m be (-4936)/(-44) + 2/(-11). Suppose -3*r + 40 = -4*g - 135, -2*r - 2*g + m = 0. Is r composite?
True
Let c be 28/4*(-6)/(-7). Let m(u) = 5*u + 3. Is m(c) a composite number?
True
Let i(o) = o**2 - 5*o + 4. Let w be i(4). Suppose 4*r - 791 = -5*x + 5*r, -2*x + 2*r + 310 = w. Is x prime?
False
Suppose 0 = -3*d + j + 11941, 16*d + 11929 = 19*d + 2*j. Is d a composite number?
True
Let n(g) = -g**3