a = h + -10. Is a a prime number?
True
Let l = -2223 - -4609. Is l composite?
True
Suppose j + 0*j = 2, j = 4*z - 4994. Is z composite?
False
Let i be (-24)/15*5*-1. Suppose -2*v = -5*s + 2*s - 27, -4*s = 2*v + i. Is v composite?
True
Let m(d) = d**2 - 11*d + 13. Let u be m(10). Is 88/1 + u + 0 a prime number?
False
Let j(b) = 84*b**3 - 1. Suppose -a + 1 = -0, 0 = -f - a + 2. Let g be 2/4 + f/2. Is j(g) composite?
False
Is ((-3)/9*74)/(4/(-42)) prime?
False
Is (1 - 1) + (-1788)/(-4) prime?
False
Let n = -5 - -4. Let k be (-537)/(-6) - n/2. Suppose 2*m = k - 4. Is m a composite number?
False
Suppose 2225 = 7*y - 1877. Is y a prime number?
False
Let l = 2278 - 837. Is l prime?
False
Let v(j) = 4*j**2 + 3*j - j - 9*j - 5. Let r be v(6). Suppose w = r - 18. Is w a prime number?
True
Is (124/6)/((6/423)/1) prime?
False
Suppose -123 = -i - 2*x, -514 = -5*i + 3*x + 101. Is i prime?
False
Is (-12)/(-3) + (-40)/(-4) prime?
False
Suppose -5*a = -d + 13, -3*d - 2*d + 45 = -5*a. Suppose 0 = 4*x + 3*p - 14, 5*x - 4*p - 1 - 1 = 0. Let b = d + x. Is b a prime number?
False
Let u = 23 - 13. Suppose -5*f + u = 0, -2*v = -0*v - 2*f. Suppose -3*o + 3*x = -90, -v*o + 7*x = 4*x - 55. Is o prime?
False
Let c(w) = -2*w**3 - 7*w**2 - 6*w - 6. Is c(-7) a composite number?
False
Suppose -3*j + 486 + 660 = 0. Suppose -j = -3*d + d. Is d a prime number?
True
Suppose -1 + 3 = m. Let x be (-2073)/(-27) + m/9. Let i = x - 28. Is i a prime number?
False
Let z(o) = 171*o**3 + 5*o**2 - 5*o - 4. Is z(3) prime?
True
Suppose 0 = -6*q + q + 2880. Let a = 1019 - q. Is a prime?
True
Let z = 600 + -331. Let c = z - 175. Is c a prime number?
False
Suppose -4*m + 32 = 1840. Is m/(-24) - (-1)/6 prime?
True
Let w(s) = -s. Let a be w(-2). Let l be (4/(-6))/(a/(-15)). Suppose -l*f = -i - 170, 0 = i + 4*i. Is f prime?
False
Let f = 143 - 81. Suppose 127 = 5*z - 3*t, -3*t + 11 = z - 0*t. Let b = f + z. Is b a composite number?
True
Let f be -33 - (5 - (0 + 2)). Let u be 2/9 - 3988/f. Suppose 0 = 2*s - 67 - u. Is s prime?
True
Suppose 3*q - 30015 = 2*m, 3*m + 27181 = 4*q - 12840. Is q prime?
False
Let y be -1 - (-2 - (2 + 3)). Is (-4)/y + 563/3 a composite number?
True
Suppose 3*d = d + 6. Suppose -6*v + 48 = -2*v + 2*f, -d*v + 5*f = -23. Is v prime?
True
Suppose 0*o - l + 10 = 4*o, -4*l = 8. Let d be 3/9 + (-7)/o. Is 178/(3/((-3)/d)) prime?
True
Let t(k) = 3*k**2 - k - 1. Let r(i) = -2*i**3 + 3*i**2 - i + 1. Let u be r(2). Is t(u) a composite number?
False
Let g(a) = a**2 - 2*a + 1. Let x be g(1). Let k be 2 + x*3/6. Suppose 2*r - 120 = -5*n, 2*r = 2*n - k*r - 24. Is n a composite number?
True
Suppose 0 = -2*i - k - 4*k - 109, -2*i = k + 113. Let h be 1/(2/4)*1. Is i/(h + (-21)/6) a prime number?
False
Let g(z) = 20*z - 1. Suppose -4*y + 2 = -2*y. Is g(y) a prime number?
True
Let l = 2 - 13. Let k be (2 + l)/((-2)/(-6)). Let f = 46 + k. Is f composite?
False
Suppose -2*b - 10 = -4*g, -6*b - 1 = -4*g - b. Let o = g - 2. Is o composite?
False
Suppose 6*m - 3584 = 1462. Is m a prime number?
False
Suppose 4*i + i = 3*j + 1896, 2*i - j = 759. Is i a prime number?
False
Let t(k) = 16*k**2 - 2*k - 1. Let f be (2/(-2) - 0) + -1. Is t(f) a prime number?
True
Is 4/6 + (0 - 3545/(-15)) prime?
False
Suppose 0 = -6*i + i. Suppose i*v - 801 = -3*v. Let w = v - 190. Is w prime?
False
Let s(o) = o**3 + 7*o**2 + 7*o + 8. Let r be s(-6). Suppose r*j = -51 + 1409. Is j prime?
False
Let a be (-4)/6 - 387/27. Let j = a - -52. Is j composite?
False
Suppose -4*b + 0*b = -20. Suppose 128 = 4*u + 2*y, -2*u = -b*u - 2*y + 94. Is u composite?
True
Let m(u) = u**2 - 5*u - 13. Let k(h) = h**2 - 3*h - 7. Let x(t) = 11*k(t) - 6*m(t). Let a(i) be the first derivative of x(i). Is a(4) a composite number?
False
Is 58*((-1)/2 + 3) prime?
False
Suppose -5*c + 1 = -9, 4*c = -4*o + 68. Let q(v) = 3*v**2 - 6*v + 5. Let n be q(4). Let f = n - o. Is f prime?
False
Is (-179)/(-5) - (6 + (-52)/10) composite?
True
Let u(f) = 230*f - 43. Is u(19) a prime number?
True
Let i = 5 + -3. Suppose 6*l - l - 5 = 0. Suppose i*x - 3*d = 3*x - l, 6 = -2*d. Is x a composite number?
True
Let u = -27 - -896. Is u prime?
False
Let r(u) = u + 2. Let k be r(0). Is (14/8)/(k/136) prime?
False
Suppose 3*y + 5 = l - 10, -3*l = 4*y + 20. Suppose 3*m - 1551 = -l*m. Is m prime?
False
Let i = 1821 + -403. Is i prime?
False
Let v = 2340 + -409. Is v prime?
True
Let x = 12 + -9. Suppose 3 = -x*s - 0. Is (-2)/s + (52 - -3) prime?
False
Let c(p) = p**3 - p**2 - 6*p + 7. Is c(8) a composite number?
True
Suppose 0 = -2*o - 4*b - 214, -2*o - 449 = 2*o + b. Let f = -34 - o. Is f prime?
True
Suppose 19*g - 7988 - 999 = 0. Is g a prime number?
False
Let i(a) = 17*a + 20. Let y be i(-14). Let t = -99 - y. Is t prime?
False
Suppose o + 3*f - 60 = 0, -3*o - 204 = -6*o + 3*f. Let u = o + 25. Is u composite?
True
Suppose 0 = -5*q - 2*k + 879, 0 = 4*k - 6*k - 6. Is q composite?
True
Let r = 81 - 158. Let s = 0 - r. Is s a composite number?
True
Suppose -4*y = -50 - 18. Let p = -10 + y. Is p a composite number?
False
Let y be ((-12)/(-9) + -1)*15. Suppose -v + 2*z + 46 = -3*v, -y*v = z + 95. Is (6/v)/((-1)/237) a composite number?
False
Is 2/(16/1070) + 12/48 a prime number?
False
Suppose 2*l + 3*l = -5. Let i be (-650)/l - -2 - -3. Let y = i - 404. Is y a prime number?
True
Suppose -2*v + 528 = -1250. Is v composite?
True
Let u = -253 + 632. Is u prime?
True
Let k = 1 - -2. Suppose 2*g = -c + g + 8, -k*c + 38 = -4*g. Is 10/4*16/c prime?
False
Is (-148)/(-2)*(81/(-18) + 5) a prime number?
True
Let r(z) = -4*z**3 - 4*z**2 + 16*z + 9. Is r(-6) a prime number?
False
Let k = 188 + -109. Is k composite?
False
Let l(c) = 11455*c**2 - 553*c + 553. Let y = -228 - 325. Let r(u) = -83*u**2 + 4*u - 4. Let g(f) = y*r(f) - 4*l(f). Is g(1) a prime number?
True
Let s be -3*(-1 - 0) - 2. Is -1 + s/(2/150) a composite number?
True
Suppose -110 = -8*f + 3*f. Let w = f + 31. Is w composite?
False
Let i(z) = 8*z**2 - 8*z + 3*z**3 - 5 + 0*z**3 - z**3 - z**3. Is i(-8) a composite number?
False
Let i = 6 + -3. Suppose -4*t + i*t + 191 = 0. Is t prime?
True
Suppose 2*k - 13 - 241 = 0. Is k a composite number?
False
Suppose -4*t - 4*r + 15 = t, -3 = -t - 2*r. Suppose -20 = -j - t. Let k = j - -38. Is k a prime number?
False
Let b(h) = 7*h**3 + 4*h**2 + 2*h + 2. Let j(z) = -6*z**3 - 3*z**2 - 2*z - 1. Let t(f) = 2*b(f) + 3*j(f). Suppose -1 = -3*n - 7. Is t(n) composite?
True
Let v = 47 + 860. Is v a prime number?
True
Suppose -4*q + 245 + 419 = 0. Is q composite?
True
Suppose 0 = 3*f - 4*f - 6. Let m be 9*(-1 + (-8)/f). Suppose a = -3*a + 2*q + 132, -5*q = -m*a + 99. Is a a prime number?
False
Let y = -10 - -15. Suppose -2*u + 3*c = y*c - 56, 2*c - 79 = -3*u. Is u a composite number?
False
Let l = -3 + 5. Let x be (-6)/10 + (-909)/(-15) + -2. Is l + 2 + -3 + x a prime number?
True
Let b(n) = n - 11. Let g be b(13). Is ((-306)/(-27))/(g/33) prime?
False
Suppose 5*j - 10 = 3*l + 2*l, 2*j + 2*l - 16 = 0. Suppose -3*m = -3*q, -2*q = m - j*q. Suppose 3*u - 5*g - 223 = -3*g, m = 2*u + 5*g - 117. Is u prime?
True
Suppose 0*r = -2*r. Suppose 5*l + 28 = 3, r = 3*c - 5*l - 118. Is c a composite number?
False
Suppose 3*m + 29 = a, -5*m + 5*a - 43 = 2*a. Let h(v) = 2*v**2 - 12*v + 7. Let l(t) = -6*t**2 + 36*t - 21. Let y(d) = m*h(d) - 4*l(d). Is y(10) a prime number?
False
Suppose -7*r + 2213 + 1196 = 0. Is r a composite number?
False
Suppose 7 = z - h, h - 3 = -4*z - 0*h. Is 40 + (1 - (z - -2)) composite?
False
Let y(k) = k**3 + 0*k**2 - 2*k**2 - 1 + 0*k**3 + 3*k - 4*k. Let c(z) = z**2 + 8*z - 4. Let f be c(-9). Is y(f) prime?
False
Is -4*63/(-45)*(-1565)/(-4) prime?
False
Let v = -72 - 2. Let m = v - -107. Is m prime?
False
Suppose 0 = -2*m - 2 + 12. Suppose 4*x + 174 = -m*c + 880, x - 5*c - 189 = 0. Is x prime?
True
Let v(x) = 12*x**2 - 7*x - 9. Let o be v(6). Suppose 0 = -5*b - 4*g + o, 3*b + 3*g = 2*g + 230. Is b a prime number?
False
Let m(x) be the second derivative of 85*x**4/12 + x**3/3 - x**2/2 - 7*x. Is m(-2) composite?
True
Suppose 455 = -3*q + 8*q. Is q prime?
False
Is (-1 + -477 + -1)*-7 a prime number?
False
Let g(z) be the third derivative of -z**5/60 + 5*z**4/24 + z**3/2 - z**2. Let r be g(5). Suppose r*u - 393 = -0*u. Is u prime?
True
Let u(r) = r**3 + 4*r**2 - 6*r - 4. Let s be u(-5). Is (1