
Let l = 1292 + -783. Is l a prime number?
True
Suppose 4*t - 3 = 5. Let k(a) = 21*a**3 - 2*a**2 - 3*a + 3. Is k(t) prime?
True
Suppose -k + q = -0*q - 11, -k = -2*q - 16. Is k composite?
True
Suppose 179 - 7 = 2*q. Is q composite?
True
Let w(k) = k**2 + k + 9. Let n be (-6)/1 + -1 + 2. Let d(g) = g**2 + 7*g + 3. Let j be d(n). Is w(j) prime?
False
Let t(x) = 16*x**2 - 3*x + 4. Is t(-3) a composite number?
False
Let d(x) = 0*x + 3*x + 3*x**3 - 2 + 0*x**3 + 1 - 3*x**2. Is d(4) composite?
True
Suppose 3*c = -3*p + c + 6225, -4*p + c + 8311 = 0. Suppose -4*u = -t - 1113 - p, -3991 = -5*u + 3*t. Is u a prime number?
True
Let o be ((-27)/12)/((-2)/(-8)). Let i = 76 + o. Is i a prime number?
True
Let f = 13 - 8. Let q(t) be the second derivative of 7*t**3/6 + 2*t. Is q(f) composite?
True
Suppose 0 = 4*o + 5*v - 24, 0*v + 2*v - 3 = 5*o. Let z be o + -11 - (-1 + -1). Is -3 - -1 - z*1 a prime number?
False
Let y be 3211/(-3) + (-4)/(-12). Let z be (-4)/6 - y/(-6). Let p = z + 262. Is p composite?
False
Suppose -3*k = -4*i - 9 - 7, 8 = -2*i. Is 4 + -6 + (k - -33) prime?
True
Let h be (10/(-15))/(1/(-3)). Suppose -2*p + p = -3*f - 128, 0 = p - 4*f - 129. Suppose h*m + g - p = 0, -m = 3*m + g - 255. Is m composite?
True
Let z = 62 - 35. Is z - (0/(-2) - -2) a composite number?
True
Let j(g) = -2*g**3 + g**2 + g + 2638. Is j(0) a composite number?
True
Let b = 5 - 5. Let c = 3 - b. Is 1 + -2 + c + 33 prime?
False
Suppose -3*l - l - 2*y + 232 = 0, 0 = 3*l + 3*y - 174. Let x = 36 - 13. Let d = l - x. Is d a composite number?
True
Let q(m) = 3*m + 5*m**2 - 4 - m**3 + m**2 + 0*m**2. Let c be q(6). Let u = c - -45. Is u a composite number?
False
Let q = 23 - 20. Suppose q*k = -2*m + 337, 4*k + 0*m - m = 453. Is k a composite number?
False
Let b be 10/4*6/3. Suppose -n - b + 20 = 0. Is n a prime number?
False
Suppose -m + 2*m = -4. Is m/12 + 158/6 a composite number?
True
Suppose -4*v = 15 + 21. Is 57*1*(-51)/v a prime number?
False
Suppose 0*x - x = -3*a - 351, 682 = 2*x - 2*a. Suppose -5*s + 121 + 328 = -z, 4*s + 5*z - x = 0. Is s a prime number?
True
Suppose 0 = n - 5*n + t + 116, -2*t = 2*n - 58. Let a = 100 + n. Let b = a - 80. Is b prime?
False
Is ((-16)/32)/(1/(-142)) a composite number?
False
Let x be (-6)/(-3) - (-6)/(-2). Let q be x/(2 + -4)*326. Suppose 3*g - 86 = q. Is g composite?
False
Let n = 5 - 2. Suppose -n*u + 24 = g + 7, -9 = -2*g - u. Suppose 0 = g*k + a - 34, -5*a - 31 = -k - 2*a. Is k prime?
True
Let u(v) = 5*v**2 - 7*v + 1. Let f be u(5). Suppose -4*a - 155 = 21. Let h = a + f. Is h a composite number?
False
Suppose 3*q = -62 + 1043. Is q composite?
True
Let r(s) = s + 25. Let k be r(0). Let n(p) = 213*p - 1. Let x be n(1). Suppose 3*w - k = x. Is w prime?
True
Let q be (29 + 1)/(2/(-4)). Let f = -3 + q. Is f/(-5) - (-10)/25 composite?
False
Let r = 7 + -7. Let h = -1 + r. Is h/((-78)/75 - -1) composite?
True
Let y be (-1)/4*2*-4. Is y/(-1)*(-477)/6 composite?
True
Let s be (-304)/14 - (-4)/(-14). Let u = s - -16. Let q = u + 10. Is q prime?
False
Suppose -3*n = -6*n - 15. Let b(o) = -o + 4. Is b(n) composite?
True
Let y(t) = t**2 + 4*t - 7. Let p be y(-5). Let m be (-1)/((-2)/p) + 3. Is (-3)/m*(-106)/3 a prime number?
True
Let a be 1 + -1 - (0 - 0). Let v(q) = -q**3 + 9*q**2 + 9*q + 10. Let o be v(10). Suppose o*w + 5*w - 45 = a. Is w composite?
True
Let q = 9 + -14. Let y = q - -5. Suppose y*n = -4*n + 5*m + 135, 174 = 5*n - m. Is n a prime number?
False
Let n be 42 + -1*2 - 0. Let s = 151 + n. Is s a prime number?
True
Let y(t) be the second derivative of 5*t**4/12 - t**3/3 - t**2 - t. Let l = -8 + 11. Is y(l) a prime number?
True
Let y be (2 + -2 + -2)/(-1). Is ((-69)/y)/(2/(-4)) a prime number?
False
Suppose -2*h + 3*y + 99 = 0, 4*y + 52 = h + 3*y. Is h + (-1)/((-1)/2) a prime number?
True
Let j(i) = i**3 - i**2 + 5. Let t be j(0). Suppose -2*d + 102 = -4*p, 176 = t*d - 5*p - 84. Is d a prime number?
True
Let q be 4/18 - (-16)/9. Suppose h - q = 0, -2*f - 4*h = 23 + 43. Is 0 + 3/((-3)/f) composite?
False
Let m = 5 + -5. Suppose b + m*p - 157 = -2*p, -3*p = -5*b + 785. Is b composite?
False
Suppose -3*z - 3*v = z + 36, 3*z - 2*v = -10. Let k(i) = i**3 + 6*i**2 + 3. Let y be k(z). Suppose -532 = -4*c + y*s, 3*s = 7*s. Is c prime?
False
Suppose 3*h = 5*a - 177, -h = -4*h - 5*a - 177. Let r = -24 - h. Is r a composite number?
True
Suppose 3*r + r = 784. Suppose 2*j - 2*b - 7 - 7 = 0, -3*j + 5*b = -27. Suppose 0*o - r = -j*t - 4*o, -4*o - 281 = -5*t. Is t composite?
False
Suppose -2*u = t - 539, 4*u = 5*u + 5*t - 274. Is u a composite number?
False
Let t = -45 - -112. Is t prime?
True
Suppose -5*p + 2*h + 2545 = 3*h, -2*p + 1018 = 4*h. Is p prime?
True
Let c be (-1)/(-1) + 2870/7. Let q = c - -4. Suppose 3*b - 572 = q. Is b a composite number?
True
Is (-2506)/(-42)*(-6)/(-2) a composite number?
False
Is (1 + 18)/(1/7) a prime number?
False
Suppose 3*k - 13 = -5*i, 0 = -i - 0*k - 2*k - 3. Suppose i*u = -359 + 1654. Is u composite?
True
Suppose 2*s = -2*d + 662 + 1538, 4*d - 5499 = -5*s. Is s composite?
True
Suppose v + 4*q + 1286 = 8285, 0 = -v + 3*q + 6964. Is v composite?
True
Let j be 1/(-5) - (-46)/5. Suppose -268 = -j*c + 5*c. Is c a prime number?
True
Let n(s) = -s + 1. Let t be n(-2). Suppose 0 = -2*j - t + 77. Is j a prime number?
True
Suppose 0 = -27*m + 31*m - 1724. Is m a composite number?
False
Let u(j) = -61*j - 16. Is u(-5) a composite number?
True
Let g be 1 - -3*(-14)/(-6). Suppose -g = -2*i, 0 = 3*w + 2*i - i - 451. Is w a composite number?
False
Let i be (-3)/(-5)*(7 - 2). Let a(q) = q**3 - 2*q**2 - 3*q + 3. Let n be a(i). Suppose z + 358 = 5*b - 91, 5*b - 433 = -n*z. Is b prime?
True
Let w(r) = r**3 - 7*r**2 + 8*r - 9. Let t be w(6). Suppose 4*z - t*c - 2*c = 207, 0 = -5*z + 4*c + 270. Is z a composite number?
True
Let p = 3 - 1. Suppose 9 - 103 = -p*y. Is y composite?
False
Let v(q) = q**3 + 10*q**2 - 6*q + 10. Let o be v(-10). Suppose -3*g = -g - o. Is g composite?
True
Let n(h) be the third derivative of -h**4/24 + 2*h**3/3 - 2*h**2. Let t be n(0). Suppose -a + 93 + t = 0. Is a composite?
False
Let x(a) = a**3 + 7*a**2 - 3. Let s(v) = -v**3 - 6*v**2 - v + 4. Let u(y) = 3*s(y) + 2*x(y). Is u(-5) a prime number?
False
Let u(q) = q**2 - 3*q + 4. Let z be u(3). Is 0 - 2/z*-46 a prime number?
True
Let d(b) = 4*b**2 - 29*b + 22. Is d(11) a prime number?
False
Let v(s) = 6*s**2 + 3*s - 2*s + 2*s**3 - s**3 + s. Let x = 7 - 12. Is v(x) prime?
False
Let a = 304 - 166. Let c(r) = -4*r**2 - 4*r - 5. Let p be c(-5). Let m = a + p. Is m composite?
False
Let f = -19 - -10. Let z(l) = -l**3 - 10*l**2 - 8*l + 11. Let i be z(f). Suppose 19 = b + 4*m - 39, i*b = -m + 123. Is b a composite number?
True
Let n(p) = -p**3 - 8*p**2 + 24*p - 12. Is n(-13) a prime number?
True
Let g be (-2)/(-7) + 38/14. Suppose 8*o = g*o - 20. Is (-2)/3*(o - 2) composite?
True
Let t be (1/1)/((-1)/(-2)). Suppose -312 = -t*h - 0*h. Suppose 5*q - h + 46 = 0. Is q a prime number?
False
Let h = 3 + 1. Suppose l = -5*d + 62, 116 = -h*l + 7*l + d. Is l composite?
False
Let m(y) = 4*y**2 + 6*y - 10. Let w(l) = -3*l**2 - 5*l + 9. Let u(r) = 4*m(r) + 5*w(r). Is u(13) a prime number?
False
Suppose 3*z - 4*q - 122 = 0, 3*z + 180 = 7*z - q. Suppose 3*i - 17 - z = 0. Is i a prime number?
False
Let i be -2*(-3)/((-9)/12). Let x = -14 - i. Let m = x + 10. Is m a composite number?
True
Let t(k) = k**2 + 17 + 4*k + 110 + 0*k**2 - 3*k. Is t(0) a composite number?
False
Let b = 151 + 156. Is b a prime number?
True
Suppose 0*j + 5*j - 2035 = 0. Is j composite?
True
Let j = 1 + 2. Suppose -v + 17 = -2*s, 2*s - 6 + 19 = -j*v. Let u(z) = z**3 + 10*z**2 + 10*z - 11. Is u(s) a prime number?
True
Let z(g) = 14*g**3 - g**2 + 2*g + 1. Suppose -3*k - 5*n + n + 2 = 0, 5 = 4*k + 3*n. Is z(k) a prime number?
True
Let m be 0 + 11 + -2 - -1. Let f = -4 - 4. Is (f/m)/(6/(-45)) a prime number?
False
Suppose -434 = -27*v + 26*v. Suppose -q + 4*w = -205, -2*q + w + v = -w. Is q a composite number?
True
Suppose 4*i - 3*f = -i - 125, -i - 25 = -f. Let n = i + 45. Is (-5)/n - (-634)/8 a composite number?
False
Suppose t = -2*v + 3*v - 11, 4*v + 5*t = 26. Let h(j) = -j**3 + 10*j**2 - 10*j + 13. Let r be h(v). Suppose -r*x + 5*g + 231 = -x, -4*x + 308 = 5*g. Is x prime?
False
Suppose x + 6 = 4*x.