= -p. Suppose -3 = -n, 0 = -2*f - 2*n - 64 + p. Is f prime?
True
Suppose 4*t + 9 = t. Is -677*(2 + t - 0) prime?
True
Let j(m) = 4*m**3 - 4*m**2 + m - 4. Is j(11) a prime number?
False
Let j = -11 - -33. Is j a composite number?
True
Suppose 4 = -2*c + 3*v, -3*v + 5*v - 12 = -c. Suppose 111 = c*l - 165. Is l a prime number?
False
Let j = 6 + -3. Suppose 0 = -j*o + 4*o + 2. Let t = o - -11. Is t a composite number?
True
Suppose 0 = 4*q - 16, -4*f + q = -2*q - 2216. Is f prime?
True
Let w = 1091 + -681. Suppose 2*r - z = 155, -3*z - 2*z + w = 5*r. Is r a composite number?
False
Let v = 460 - 101. Is v a composite number?
False
Let z = 3 - 5. Let y = -3 + 4. Is 20 + y/((-1)/z) composite?
True
Let q(h) = h**3 - h**2 + h + 337. Suppose 0 = 10*w - 14*w. Is q(w) composite?
False
Let h = 5 + -2. Let y be 5/h*(-1 - -4). Suppose y + 72 = w. Is w prime?
False
Let o be ((-15)/(-3))/((-1)/(-1)). Suppose 4*r - 200 = 4*j, o*r - 2*j + 34 = 281. Is r a prime number?
False
Let p = -1159 + 1800. Is p a composite number?
False
Let s(o) = o**3 - 8*o**2 + 5*o + 10. Let q be s(8). Suppose -g + q = g. Is g prime?
False
Let q = 8 - 13. Let g = q + 9. Suppose 0 = -0*z + z + g*o - 63, -4 = o. Is z prime?
True
Let n(r) = r**3 - 2*r - 1. Let m be n(2). Let y be 5 + 0*(2 - m). Suppose y*c = c + 140. Is c a composite number?
True
Let d = 987 - 694. Is d a composite number?
False
Let k = -970 + 1788. Is k composite?
True
Suppose -7 = 5*f + 13. Is -2*f/(-8) + 252 prime?
True
Suppose 0 = -5*z - 5*h + 3 - 13, -2*h = 4. Suppose 3*d + 3*v = -2*v + 90, -5*v - 15 = z. Is d a composite number?
True
Is (-2238)/4*2/(-3) prime?
True
Let r = -1378 + 923. Is (r/10)/(1/(-2)) a composite number?
True
Let u(g) = 2*g**3 - g**3 - 2*g**3 + g**2 + g + 111. Let q be u(0). Suppose -k + q = 2*k. Is k a composite number?
False
Let y be 7*(8/(-7) + 2). Suppose 3*f - 4*o - 275 = 0, -y*f - 4*o + 348 = -2*f. Is f a composite number?
False
Let w be 1/(-5) - (-202)/10. Let g = w + -12. Suppose -q = -g - 5. Is q a composite number?
False
Suppose -a = a, m = 2*a + 111. Is m composite?
True
Let k(f) = 2*f**2 + 5*f - 5. Let m be (-2)/(-3) - (-20)/(-3). Is k(m) composite?
False
Let s(d) = -d**3 + 7*d**2 + 6*d + 4. Let a be s(7). Let c = a - 27. Is c composite?
False
Let n(m) = 7*m**2 + 7*m - 8. Let t be n(-6). Suppose j + 5*b - t = 0, -4*b = -j - 3*b + 184. Is j a composite number?
True
Let y(u) be the third derivative of 2*u**4/3 + u**3/6 - 3*u**2. Is y(2) composite?
True
Let p(b) = -5*b**3 + 28*b**2 - 41*b - 29. Let v(c) = -c**3 + 7*c**2 - 10*c - 7. Let n(k) = -2*p(k) + 9*v(k). Is n(-6) prime?
True
Is 2/14*-2 + (-1166)/(-14) a composite number?
False
Suppose -13339 - 1527 = -2*t. Is t a prime number?
True
Suppose -p + 1377 - 524 = 0. Is p composite?
False
Is 19 - (0/2)/1 a prime number?
True
Suppose 0 = -4*x - b + 4*b + 16, -27 = -x - 5*b. Let y(m) = 6*m - 14*m - m**2 - 5 - 2 + 3*m**2. Is y(x) a prime number?
False
Suppose 2*t - 4*y - 2 = 0, 2*t - 5*t = 5*y - 25. Suppose -t*h = p - 133, 3*h = -2*h + 4*p + 118. Is h prime?
False
Suppose -5 + 17 = 3*g, -3*g + 112 = 5*b. Suppose -5*n + b = 5. Is n prime?
True
Suppose 3*t - 72 = 3*l, 99 = -0*t + 4*t - 3*l. Suppose 3*x - 3*v + 21 = 0, 4*x + t = 3*x + 5*v. Is 1/1 - 236/x composite?
True
Let w = 1 - -3. Let c be 2/w + (-18)/4. Is c + 26 - (0 - 0) composite?
True
Is (1 + -2)/((-12)/5748) prime?
True
Suppose 7*r - 456 - 13 = 0. Is r prime?
True
Let p(s) = -2*s + 1. Let h be p(-1). Let z(n) = -n + h*n**2 + n - 2*n**2 + 51. Is z(0) composite?
True
Suppose 26 + 4 = -5*t. Let b(c) = -c**3 - 9*c**2 - 9*c - 7. Let k be b(t). Let v = k - -98. Is v prime?
True
Suppose b + 2*b = -5*n + 3670, -732 = -n - b. Is n prime?
False
Let s be (14/(-6) + 2)*-6. Suppose 2*d - 5*m - 1 = 0, 0*d + s*d + 5*m = 11. Suppose -2*n - 3*g - d = 0, -2*n - 3*g - 8 = g. Is n a composite number?
True
Let u be (-4)/8 + 66/4. Suppose 0 = 6*v - 2*v - u. Is (89/4)/(v/16) composite?
False
Let f(k) = -k + 11. Let d be f(9). Suppose -4 = -4*l + 6*l, 4*i + l = d. Is 130/4 + i/2 prime?
False
Suppose 5*u = 4*u + 12. Suppose -4*m + u = -8. Suppose 0*l - 5*l = -m*z + 445, -z + 4*l = -89. Is z a composite number?
False
Let w be (-3)/9 + 16/3. Suppose 22 = -4*b + w*b. Let d = b + 3. Is d composite?
True
Let i be (1 + -3 - 2)/(-2). Let g = 135 - i. Is g a prime number?
False
Let n(o) be the first derivative of o**2/2 - 8*o - 1. Let c be n(7). Let f = c - -4. Is f prime?
True
Let p(o) = 2 + 0*o**2 + 0*o - 2*o + 7*o**3 - 2*o**2. Is p(2) composite?
True
Let u be (-28)/21*3/2. Let s be 1/((-2)/236*u). Suppose p - s = 32. Is p a prime number?
False
Suppose 0 = -t + 2013 + 1674. Suppose -23 = -5*f + t. Suppose -107 = 5*q - f. Is q prime?
True
Is (0 - -1)/((4 - -2)/762) a composite number?
False
Let g be -2*2/12*-9. Let z be 226/6*g*1. Suppose 2*w + 89 = 3*t, -4*t = 4*w - z - 39. Is t composite?
True
Let l = -864 - -1271. Is l a prime number?
False
Suppose n = 2 + 1. Suppose -n*m + 245 = -202. Is m a composite number?
False
Suppose -4*i + 6*i = 108. Let u = i + -25. Let p = 72 - u. Is p prime?
True
Let n = -23 + 91. Let w = 279 - n. Is w a composite number?
False
Let h = 54 + -124. Is 1 + -1 - h/5 prime?
False
Let n be 3 + (54 + -3 - -3). Is (14/(-21))/((-2)/n) a prime number?
True
Let a(q) be the first derivative of q**3/3 - 5*q**2/2 - 9*q + 1. Is a(11) prime?
False
Suppose 4*w = 14 + 6. Is 1*(98 - (w + -2)) a prime number?
False
Let m(f) = 294*f + 59. Is m(6) a prime number?
True
Let h(v) = 1801*v. Is h(1) composite?
False
Suppose -s = s - 10. Suppose 3*j + 426 = -s*v + 1154, 0 = 3*v + j - 436. Is v a composite number?
True
Suppose n + 20 = 5*n, -3*n + 5050 = 5*a. Is a prime?
False
Suppose -2073 = 8*m - 11*m. Is m a prime number?
True
Let b = 18 - -35. Suppose 2 = 3*a - a. Is 4/4*b/a prime?
True
Let w(p) = 6*p - 1. Let o be w(2). Suppose 5*n + 1 = o. Suppose -k - 3*x = n*x - 37, x = 0. Is k composite?
False
Let a(w) = -w + 11. Let c be a(10). Let g(n) = 113*n**3 + n. Let d be g(c). Suppose -x + 151 + d = 0. Is x a composite number?
True
Let i(z) = z**3 - 2*z**2 + 2*z + 2. Let u be i(2). Let n(j) = 2*j**2 - 4*j + 5. Let v be n(u). Suppose -4*m + v + 103 = 0. Is m a composite number?
True
Suppose 4*p = -4*t + 716, 0*t + 5*p = -2*t + 364. Is t a composite number?
True
Let v be 62 + 9/(-3)*1. Suppose -2*d + 33 = -v. Is d a composite number?
True
Suppose -15 = 4*b - b. Let k = 12 + b. Suppose 2*l = k*l - 105. Is l a composite number?
True
Suppose -3*y + 252 = y. Is y - (-3 + 3 + -2) composite?
True
Let d be ((-66)/7)/(4/28). Let q = d - -119. Is q prime?
True
Let x(j) = -3*j**3 + 3*j**2 + 2*j + 4. Is x(-3) prime?
False
Suppose 4*y - 2*t = 2*t, y + 5*t = 24. Suppose -240 = -0*m - y*m. Suppose q - m = -3*q. Is q a prime number?
False
Let f = 119 - 82. Let y = f + 10. Is y composite?
False
Let i(n) = -n**2 - 7*n - 3. Let d be i(-6). Suppose -d*q + 6*q = 111. Is q composite?
False
Suppose -11744 = -3*m + 2*t, 3*m + 6425 = -4*t + 18181. Is m/24 + (-2)/12 a composite number?
False
Let r(f) = 7*f + 2. Let m(s) = -2*s**2 - 6*s**2 + 9*s**2 + s**3 + 8. Let x be m(0). Is r(x) a composite number?
True
Let z be -3*(-2)/18*0. Suppose 0*i + i + 15 = z. Let o = i + 28. Is o composite?
False
Let k(g) = g**2 + g + 4. Let o(z) = z**2 + z + 2. Let u(a) = -2*k(a) + 5*o(a). Let v be u(-9). Suppose 5*i - 3*i = v. Is i a prime number?
True
Let n be ((-2)/(-4))/((-1)/(-2)). Let m = n + -2. Is (35/20)/(m/(-20)) a prime number?
False
Let f(n) = -307*n - 12. Is f(-1) prime?
False
Is 68/102*(-267)/(-2) composite?
False
Let u(o) = 9 - 12 + 4 - 111*o. Is u(-2) prime?
True
Is (-6)/8 + (-3627)/(-52) a composite number?
True
Suppose -176 = -5*u + 2019. Is u a prime number?
True
Suppose -4*k - a = -8, 3*k = 3*a + 8 + 13. Suppose -k*d = -7*d + 4. Is 26/8 + d/(-4) prime?
True
Let u = 11 + 4. Suppose u = -3*b, -3*d = 3*b + b - 97. Is d prime?
False
Let f(g) = -g**3 - 3*g**2 + 2819. Is f(0) a prime number?
True
Is (2 + 0)*7352/16 composite?
False
Suppose 5*d - 363 = -4*t, -2*t + t - 3 = 0. Suppose 2*b = 3*b + 4*h - d, 0 = -4*b - 5*h + 311. Is b a composite number?
False
Let y = 510 + 1631. Let d = y + -1462. Let z = -392 + d. Is z a prime number?
False
Let r(l) be the first derivative of 5*l**3/3 - l**2/2 + 1. Let s be r(-1). Suppose s*c = 2*c + 88. Is c pri