4*x - 118. Is u prime?
True
Let t(m) = 43*m**2 - 2. Let j(x) = 22*x**2 - 1. Let g(c) = -5*j(c) + 3*t(c). Let q(p) = -1. Let n(k) = g(k) - 4*q(k). Is n(2) a composite number?
False
Suppose 2*l - 2*r - 1859 = 2979, 4*l - 9676 = 5*r. Is l a composite number?
True
Let b(g) = 6*g**2 - 3*g - 1. Suppose -y + 3*y = -4*f, -4*f = -y - 6. Let v be b(y). Suppose -i = -4*n - 4 - 7, -i - 2*n = -v. Is i composite?
False
Let c(k) = 3*k**2 + 2*k - 5. Let g(f) = -f - 5. Let v be g(0). Let i be c(v). Let z = i + -39. Is z a prime number?
False
Suppose -2*v = -4*v + 206. Let k = v - 41. Suppose 3*a = -2*a + 4*j + 305, -j - k = -a. Is a composite?
True
Let l be ((-8)/10)/((-2)/5). Let g = l + 8. Suppose -2*j + g = -100. Is j a prime number?
False
Suppose 2*y = 2*a + y + 68, -134 = 4*a - y. Let j = 49 + a. Suppose 0 = m - 7 - j. Is m a prime number?
True
Suppose 0 = 2*t + d - 1, 3*t + 0*d - 4*d - 29 = 0. Let l(w) = w**2 - 3*w + 2. Let f be l(t). Is (301 + -3)*1/f composite?
False
Suppose 3 = -3*n - 0. Is 494 + (n - 2/1) composite?
False
Let s(k) = -k**2 - 7*k - 7. Let g be s(-5). Suppose -165 = -g*b - 2*y, 8 + 157 = 3*b - y. Is b composite?
True
Let q(v) = v**3 + 8*v**2 + 6*v - 2. Let c be q(-7). Suppose c*z = 13 + 7. Suppose -3*g = -z*g + 53. Is g composite?
False
Suppose 1201 = 3*x - 1016. Is x a composite number?
False
Let o = 13 - 8. Suppose 2*c - 217 = -4*d - 1, -5*d = -o*c - 285. Is d prime?
False
Let p = -151 - -270. Is p composite?
True
Let d(r) = 32*r + 4. Let x be d(-3). Let o = 159 + x. Is o prime?
True
Suppose 2*g = -2*m + 166, 0 = -2*g + 3*m + 102 + 64. Is g a prime number?
True
Suppose 0 = -5*f - 2*r + 3*r - 25, 4*r + 44 = -4*f. Let b = 59 + f. Is b prime?
True
Suppose 2*s - 331 = 291. Is s a composite number?
False
Suppose 5*w + 6*p = 2*p + 3393, -2*w = 4*p - 1362. Is w composite?
False
Suppose -4*s + k = -308, 7*s - 385 = 2*s + 3*k. Is s a prime number?
False
Suppose 0 = 2*v - o - 1583, 1882 = 3*v - 4*o - 495. Suppose -38 + v = 3*q. Is q composite?
False
Suppose 5 = f - 2*l + 3, -2*l + 8 = 4*f. Let c(y) = -7 - 3*y**2 + 8*y + 1 + 5*y**2 - 3*y**f. Is c(4) prime?
False
Let k be (10/(-4))/(2/16). Suppose 0 = -2*j + 50 + 8. Let w = j + k. Is w composite?
True
Let a be (2*-2)/(-1 + 0). Let j be (-5)/((-5)/3) - -66. Suppose 3*v + g + a = j, -109 = -5*v - g. Is v prime?
False
Suppose -15 = -4*p - 5*h, 0 = -5*p - 2*h - 2*h + 12. Let g be -2 + p - (-208)/2. Suppose x + w = 6*w + 73, 2*x - g = -w. Is x composite?
False
Suppose 18*g = 20*g - 822. Is g composite?
True
Suppose -7*h + 3*h = -3*n + 298, -2*n + 3*h = -200. Is n a prime number?
False
Let q be 11 + (-9)/6*-2. Is 4/(-6)*(-7833)/q a composite number?
False
Let b(g) = 4*g - 2. Let k(t) = -t**2 - 11*t + 7. Let x(l) = -8*b(l) - 3*k(l). Is x(4) a prime number?
True
Let s(o) = -o - 13. Let b be s(-7). Let g be b/4*(-12)/9. Suppose -153 - 1 = -g*x. Is x prime?
False
Suppose -2*v + 6*v - 1676 = 0. Is v prime?
True
Let p = -1 - -6. Suppose h - 44 = p*h. Let q = h + 24. Is q a prime number?
True
Is 3/(-3) - -3 - -1359 a prime number?
True
Suppose 0 = -4*h - 4*p + 644, -4*h + 5*p = -h - 499. Is h a prime number?
True
Let a = 6890 + -2055. Is a a prime number?
False
Is (-1 + 945/(-6))*-2 a composite number?
False
Is 4900/12 + (-6)/(-9) composite?
False
Let z = -6 - -9. Suppose -z*u + 641 - 68 = 0. Is u composite?
False
Suppose 5*i + 3*o = 12, -5*i = 4*o - 16 - 0. Suppose 4*l + 8 = i, l = 5*t - 77 - 30. Is t composite?
True
Let k = 448 - 179. Is k a prime number?
True
Let h be (2 - 4)*1/(-2). Let w(u) = 4*u - 1. Let g be w(h). Suppose -2*p = 3*y - 79, g*p + 0*y + 4*y = 117. Is p composite?
True
Let w = 15 - 10. Suppose -4*u + 0*u + 2*y + 210 = 0, -258 = -w*u + y. Is u a composite number?
True
Suppose y - 2 = -y, -2*r = -3*y - 111. Is r a composite number?
True
Suppose -2*l = -3*z + 1217, 2*z + 4*l + 164 = 954. Is z a prime number?
False
Let p(d) = -21*d**3 + d**2 + d - 1. Let g be p(1). Let h be 3*34 - (5 + -6). Let c = g + h. Is c a prime number?
True
Suppose 0 = 12*a - 2*a - 310. Is a composite?
False
Is 261 - (12/3 + -2) prime?
False
Let i be 1/((10/(-8))/(-5)). Suppose 3*n + s - 42 = -1, 59 = i*n - 3*s. Is n prime?
False
Suppose -4*f = -9*f + 20. Suppose -a = -f*a + 3*b + 222, -4*a - 5*b = -341. Is a prime?
True
Let l = -34 + 143. Is l a prime number?
True
Let c(r) = r**3 + 2*r**2 - 2. Suppose -5*k = 2*k - 14. Is c(k) a prime number?
False
Let g be (20/6)/(14/21). Let v(d) = -7*d - 3. Let l be v(g). Let j = 31 - l. Is j a prime number?
False
Let q = 147 + 67. Is (-4)/8 + q/4 composite?
False
Suppose -k - 2*s = 4*k - 5213, -3*s = 4*k - 4169. Is k a composite number?
True
Suppose -5*i + 2330 = -4*s - s, -5*i + 2*s = -2324. Suppose 3*n - 2*r - i = 0, -2*n - 4*r - r + 341 = 0. Is n a composite number?
True
Let z(l) = -4*l**2 + 18*l + 1. Let a(i) = -2*i**2 + 9*i + 1. Let j(x) = 5*a(x) - 3*z(x). Suppose 4*b - v - 3*v = 44, -2*v - 31 = -3*b. Is j(b) prime?
True
Let l(g) = 298*g - 7. Is l(2) prime?
False
Let l(y) = y**3 - y + 158. Is l(0) composite?
True
Let z = 1299 - 521. Is z composite?
True
Let h(u) = -7*u + 36. Is h(-25) composite?
False
Let q(h) = 65*h**2. Let n(m) = -7*m - 2. Let d(y) = -8*y - 3. Let a(z) = 5*d(z) - 6*n(z). Let t be a(2). Is q(t) prime?
False
Suppose 12*n = 3*n + 1827. Is n composite?
True
Let z = 14 - 9. Let n be -3*(16/3)/(-4). Suppose -n*h + x + 2*x = -11, -9 = -2*h + z*x. Is h composite?
False
Let s = -11 + 16. Suppose 0 = s*u - 42 - 828. Suppose -3*f + 39 = -u. Is f composite?
False
Let a be (-1)/(-2) - (-30)/4. Suppose -4*b + a*b = 1228. Suppose 4*m + l - b = 0, 320 = 3*m - 5*l + 84. Is m composite?
True
Let c(s) be the first derivative of 33*s**2/2 - 3*s + 2. Let t be c(3). Suppose -2*q + t = 4*x + 24, -5*x - 255 = -5*q. Is q prime?
False
Let f(c) = -c**2 - 5*c. Let m be f(-4). Suppose 0*s = -m*s + 16. Is 224/10 - s/10 prime?
False
Suppose 0 = -5*j - 4*m + 654, -6*j + 3*j = -3*m - 387. Let w = 0 + 4. Suppose w*q + t - 273 = 6*t, 4*t - j = -2*q. Is q composite?
False
Let g = 65 + -34. Is g composite?
False
Let c(w) = 43*w**2 - 6*w - 40. Is c(9) prime?
True
Suppose k = -0*k - 5*c + 556, 526 = k - 5*c. Is k a composite number?
False
Suppose -6*j = -9*j + 9. Suppose j*w - w - 114 = 0. Is w a composite number?
True
Suppose 4*x + 4 = 6*x. Let l be -78 + -2 + 3 + x. Is l/2*(-2)/3 prime?
False
Is 920 - ((-6)/(-6) + -4) composite?
True
Let a(k) = -k**2 - 6*k - 15. Let j be a(15). Let n = -164 - j. Is n a prime number?
False
Suppose -4*x = -2*c - c + 52, -x + 44 = 4*c. Let o(i) = -14*i**3 + 18*i**2 + 2*i + 13*i**3 + 11 - 6*i**2. Is o(c) a prime number?
False
Let p(b) = 144*b - 1. Let a be p(2). Let x(i) = -4*i + 4. Let u be x(-20). Let t = a - u. Is t prime?
False
Suppose -5*k = 2*l + 24, 5*k = -l - 14 - 8. Is (2/4 - l)*46 prime?
False
Let b(l) = 4*l**3 + 3*l**2 + 7*l + 4. Let j be b(-4). Let a(v) = -109*v - 2. Let i be a(3). Let o = j - i. Is o composite?
False
Let m = 134 - 188. Let z = 88 + m. Is z a composite number?
True
Let y be (-5)/(-1) - (4 + -2). Suppose -y*b + 226 = -5*t, -6*b + t + 384 = -b. Is b a composite number?
True
Suppose 14 = -d - 0*d. Let f = 29 + d. Is f composite?
True
Suppose 3*l = 4343 + 3490. Is l a composite number?
True
Suppose 0 = -3*j + 2*j + 7. Suppose 4*h + 16 = 0, 2*h + 8 = 4*v + 3*h. Suppose -z + v = -j. Is z prime?
False
Suppose -4*m + 0 = 20, -l = m + 6. Let p be (-1)/2*(-5 - l). Suppose -6*q = 4*c - 2*q - 60, -p*q = 5*c - 63. Is c a prime number?
True
Suppose -u + 0*u + 15 = 0. Let t be (u/(-9))/(1/27). Let z = -26 - t. Is z composite?
False
Let w = -133 + 207. Is w a prime number?
False
Let q be 8072/14 - (-6)/14. Suppose 0 = 4*d + w - q - 237, -4*d - 2*w = -816. Is d prime?
False
Let w(k) = -14*k**2 - 5*k + 2. Let u be w(3). Let r = -92 + 62. Let y = r - u. Is y a composite number?
False
Let x = 120 + -89. Is x prime?
True
Suppose -4*r - 2*v - 8 = -26, 0 = 5*r + 4*v - 27. Suppose -r*d = -4*h - 19, 0*h = -4*d - h + 57. Suppose -3*k = -172 + d. Is k composite?
False
Let w be 136/(-6) - (-5)/(-15). Let l = w - -76. Is l a prime number?
True
Let s(u) = 17*u**2 + 13*u - 11. Is s(-10) composite?
False
Suppose -38 - 229 = -3*q. Is q a prime number?
True
Let z(v) = v + 13. Let n be z(0). Let x be (n + 0)*-1*-1. Suppose 5*w - 4*l - 30 - 35 = 0, -w - 4*l + x = 0. I