))/(-1) a composite number?
False
Suppose 0 = -2*w + 1934 + 632. Is w prime?
True
Let c = 292 + 227. Is c composite?
True
Let c = -4 - 2. Let z be (9/c - -2)*0. Suppose -5*s - 5*w + 660 = z, -s + 5*s = 2*w + 534. Is s a composite number?
True
Suppose -2*m - 4 + 0 = 0, -5*y + 42 = -m. Suppose -3*g + g + y = 0. Let k = g + 29. Is k prime?
False
Suppose -4*n - 3*f + 20 = 0, -5*n + f + 14 = 2*f. Let r = n - -81. Is r composite?
False
Let j be (20/(-15))/((-2)/(-6)). Is (-6 - j)*-1*5 a prime number?
False
Let o be 0/3 + 1 - 3. Let w(s) = -23*s**3 + 2*s**2 - 1. Is w(o) prime?
True
Is ((-246)/(-4))/(9/42) prime?
False
Let n = 209 - 140. Is n a composite number?
True
Suppose 3*i + 4 = 4*i. Suppose -i*j + 1230 = 58. Is j a composite number?
False
Let j(o) = -2*o**3 - 5*o**2 + o - 5. Suppose 5 = -0*l - l. Is j(l) prime?
False
Suppose -3*k = 4*o - 377, o = -5*k + 334 + 300. Is k a prime number?
True
Let w be 39 - (-2 - -5 - 3). Suppose -126 - w = -3*f. Is f composite?
True
Let j = -4 - -8. Suppose -j*s - s = -335. Is s a composite number?
False
Let k(h) = 2*h**3 - 3*h**3 + 6*h**2 - h + 5*h + 5. Let v(g) = -g + 7. Let t be v(11). Is k(t) a prime number?
True
Suppose -n - 5*w = -149, -697 = 3*n - 8*n - w. Let h = n - 0. Is h a composite number?
False
Is -4 + (1 + -4 - -3690) prime?
False
Let u be -2 + 1 + (-10)/(-5). Let n be (-4)/2 - (u - 5). Is 0 + ((-132)/n)/(-2) composite?
True
Suppose 2*f + 569 = 5*x - 0*f, -444 = -4*x - 4*f. Is x prime?
True
Is (-157 + -1)/(((-8)/(-34))/(-2)) a composite number?
True
Let g be ((-8)/6)/(2/(-6)). Let i(x) = -x**2 + 9*x - 6. Let v be i(8). Suppose 8 = -v*b, -4*b + 8 + 0 = g*z. Is z a composite number?
True
Suppose 0 + 35 = 5*l. Suppose l*f = 2*f + 310. Is f composite?
True
Let h(w) = 2*w - 1. Let f(j) = -j**3 - 6*j**2 - 2*j - 9. Let y be f(-6). Let b = 1 + y. Is h(b) prime?
True
Suppose -2*y + 4 = -5*s, 3*y - 2*y = -2*s + 2. Suppose 0 = -y*l + 6 + 12. Is l a prime number?
False
Suppose 0 = -2*x + 5*x - 9. Suppose 4*y - x*q = 653, -3*y + 3*q + 241 + 251 = 0. Is y a composite number?
True
Is 2*1 - (-6 + -123) a prime number?
True
Let l(y) = 16*y + 9. Is l(5) composite?
False
Let n be 2/(-8)*2*-6. Suppose n*k - 679 = -214. Suppose -4*a + k = a. Is a prime?
True
Let n(z) = 11*z + 17. Is n(10) a prime number?
True
Let g be 114/15 + (-4)/(-10). Is g - 4/(-3 - -5) a prime number?
False
Let o = 0 + 1. Suppose o = -3*a + 7. Suppose -5*h - 42 = -a*z + 28, 4*z = -h + 96. Is z a prime number?
False
Let y be (0 + 0)/(12/6). Suppose 2*z + 0*z - 134 = y. Is z prime?
True
Let v(f) = f**3 - 4*f**2 - 5*f + 2. Let x be v(5). Is 89/(x + -2 + 1) a prime number?
True
Suppose 0 = -8*a + 6*a + 1130. Is a a composite number?
True
Let h(u) = 10*u**2 - 5*u. Let a be (-136)/(-36) - (-2)/9. Let f be h(a). Suppose -3*c = -7*c + f. Is c a composite number?
True
Let t(x) = -8*x**2 - 14*x - 17. Let g(a) = 3*a**2 + 5*a + 6. Let w(c) = 11*g(c) + 4*t(c). Is w(4) composite?
True
Suppose 0 = 5*v - 1 - 9. Let z(k) = k**3 - 10*k**2 + k - 8. Let w be z(10). Is w/(-2) + 44/v a prime number?
False
Let y(t) = 4*t**2 + 4*t + 7. Is y(-6) a composite number?
False
Let n = -2129 - -3486. Is n prime?
False
Let m = 666 - 466. Is 10/(-35) + m/14 a composite number?
True
Suppose y - 2333 = -2*q, 3*q = -2*y + 4074 + 592. Is y prime?
True
Suppose 3*h + 633 = 3*z - 0*h, 0 = 4*z + 3*h - 844. Is z a prime number?
True
Is 1969 + 4/(-8)*-8 composite?
False
Let l = 17 - 8. Suppose 4*h + 1 - l = 0. Suppose -h*p + 69 + 1 = 0. Is p prime?
False
Let d(k) = 17*k - 1. Is d(12) a composite number?
True
Let s(r) = -r**3 + 2*r**2 - 4*r - 5. Suppose -9 = -0*z - z - 5*x, -3*z = 3*x + 9. Is s(z) a prime number?
True
Suppose 3*s = -2 + 8. Suppose 0 = s*r - 5 - 105. Is r prime?
False
Let c = -14 - -12. Is c*(-532)/16*2 a prime number?
False
Let v = -6 + 6. Let i be (11 - v/1) + -2. Let r(j) = j**2 - 6*j - 2. Is r(i) a prime number?
False
Let i be 3/6 + 180/(-8). Let a = 31 + i. Is a a prime number?
False
Suppose a = 3*a. Suppose a = -2*i + 4*i - p - 971, 2*i + 2*p = 980. Is i prime?
True
Let f(u) = 137*u - 29. Is f(4) a prime number?
False
Let w = -9 - -14. Suppose -1172 = u - w*u. Is u prime?
True
Let l = -12 - -12. Is (1 - l)/((-3)/(-69)) a prime number?
True
Suppose 0 = l + l + b - 122, -l + 5*b = -39. Is l prime?
True
Suppose l - 337 = -3*o + 4, o + 333 = l. Is l prime?
False
Let o(s) = -9*s - 2. Suppose 15 = 4*j - j. Let m be (j/(-15))/((-2)/(-18)). Is o(m) composite?
True
Suppose 4*b = g + 26, -g = -2*b - 5*g + 22. Is b prime?
True
Let s(k) = 0*k**2 + 13 + 4*k**2 + k**3 + 5*k + 7*k**2. Is s(-6) prime?
True
Let b(y) = 2*y**2 - 1. Is b(-6) a composite number?
False
Suppose 0 = u + u - 68. Is u a composite number?
True
Is -6 - -3 - ((1 - 2) + -1563) prime?
False
Is (-14256)/(-63) - (-2)/(-7) a prime number?
False
Suppose -4*o - 21 = 2*f + 1, 0 = 3*o + 9. Let j(d) be the first derivative of -5*d**2/2 - 4*d - 3. Is j(f) composite?
True
Suppose 40 = 4*p - 2*c, -5*p + 4*p - 5*c = -21. Let h = p - 4. Is h prime?
True
Let h(o) = -2*o - 7. Let t be h(-5). Suppose t*i + 226 = 5*i. Let j = i + -46. Is j composite?
False
Suppose -4275 = -t - y, -2*y + 11249 + 10114 = 5*t. Is t prime?
True
Suppose -4*k - 5*q = 9, -2 = 2*k - 0*k + 2*q. Suppose 3*b = k*h - 634, -5*b = h - 0*b - 147. Is h a prime number?
True
Let k = -163 + 354. Is k a prime number?
True
Let y be (-4)/(8/(-82))*7. Suppose 3*d - y = -j, 2*d = 3*d + 2*j - 99. Is d prime?
False
Suppose -636 = -3*k + 1869. Is k a composite number?
True
Suppose 27 = p + 2*p. Suppose -2*l + 0*l - 4*j = 22, 3*l + p = 2*j. Is 1/l + 524/20 a composite number?
True
Suppose 844 = -2*q + 6*q. Is q a composite number?
False
Let t(j) = 5*j + 3. Let i be (-4)/8*(1 - 13). Is t(i) composite?
True
Suppose 21*r = 24*r - 6285. Is r a prime number?
False
Let b be (-36 + 2)*29/(-2). Let m = 752 - b. Is m composite?
True
Suppose 0 = -3*r + 2*z + 10 - 0, -5*r - z + 8 = 0. Suppose u = -o + 4*u + 226, 4*o + r*u - 834 = 0. Is o a composite number?
False
Let w = 28 + -25. Let q = 69 + 84. Suppose -5*m - r = -248, 0 = w*m + 6*r - 4*r - q. Is m prime?
False
Let q(z) = -4*z**3 + 3*z**2 - 6*z - 1. Let i(j) = 5*j**3 - 3*j**2 + 7*j + 1. Let a(p) = 3*i(p) + 4*q(p). Let b be a(3). Is (-105)/b*(-10)/(-3) prime?
False
Let d be ((-8)/(-20))/(1/(-5)). Is 213 - (3 - (d + 3)) a prime number?
True
Suppose 4*k + 0*k - 4 = 0. Let i(m) = 2*m**3 + m**2 + m - 1. Let d be i(k). Is 23/(3/d - 0) prime?
True
Suppose 3*v = -0*v. Suppose v = 2*f - 873 - 397. Is f composite?
True
Let d = 799 + -437. Is d a composite number?
True
Suppose -933 = -5*l + 1162. Is l a prime number?
True
Suppose d = -3*y + 2624, -7*d = -2*d + 5*y - 13110. Is d a prime number?
True
Is 102/8*-2*-2 a composite number?
True
Let w = -3 + 3. Suppose -4*a + 6*a - 24 = w. Let f = a + 23. Is f a composite number?
True
Suppose 2*u = -3*u + 25. Suppose -d = -3*d - u*t + 32, 92 = 4*d - 4*t. Suppose -d = -5*s + 29. Is s prime?
False
Let t(c) = -7*c**3 - 6*c - 6. Is t(-3) a composite number?
True
Suppose 5*b = 4*q + 2503, -3*b - 2*q + 633 + 882 = 0. Is b prime?
True
Suppose b + 83 = -a, -5*a - 411 = -b + 2*b. Is 3 - (-2 - -2) - a prime?
False
Suppose -2*v - h = -933, -3*v = 4*h - 1226 - 166. Suppose o + v = 4*j + 3*o, 2*j + 3*o = 226. Is j a prime number?
False
Suppose 2*x + 26 = 164. Suppose 3*j + 2*j - 5*r = 10, -4*j = -r - 8. Suppose -u + x = j*u. Is u a prime number?
True
Suppose 0*u - 7364 = -4*u. Is u composite?
True
Let w(t) = t**2 - 7*t + 2. Let v be w(7). Suppose -74 = -v*p - 0*p. Is p a composite number?
False
Let z = -2 + 3. Is (27 - -2)*2 - z a prime number?
False
Let o(b) = 3*b**2 - b + 7. Let l(a) = a**3 + 2*a**2 + 2*a - 1. Let k be l(-3). Let n be 1/4 + (-76)/k. Is o(n) a prime number?
False
Let n be 0 - 0 - (-50 + -4). Suppose -40 - n = -v. Is v prime?
False
Let g(d) = -6*d + 1. Let t be g(2). Let r = -17 - t. Let w = 5 - r. Is w a composite number?
False
Let v be ((-10)/4)/5*-6. Suppose -2*j = v*j - 345. Is j a composite number?
True
Suppose -5*m - 226 = 3*r, -4*m + 235 = -0*r - 3*r. Let o = r - -108. Suppose 4*y - 60 = 3*l + o, 0 = -3*y + 2*l + 67. Is y a prime number?
True
Let t be (3 - (-170)/3)*3. Let f = 535 - t. Is 12/(-8)*f/(-6) composite?
False
Let s(l) = 3*l + 7. Let z be s(-3). Is -1*(z - (21 - 0)) a prime numbe