e 3*x - 84 - j = 0. Is x a prime number?
True
Let t(q) = 1 + 1 + 13*q + 10*q - 5*q. Is t(2) a composite number?
True
Let l = 406 - -16. Is l a prime number?
False
Let c be (2/6)/(4/24). Suppose 4*w = c*v - 19 + 1, -5*w - 9 = 2*v. Suppose -v*b = 17 - 128. Is b a composite number?
False
Let t = 11 - 8. Let d be ((-15)/9)/(t/(-9)). Let h(j) = 9*j + 6. Is h(d) composite?
True
Suppose 4*i - 96 = -4*j, 5*i - 17 + 2 = 0. Suppose 0*g = -4*n + g + j, 2 = -2*g. Suppose -n*y = 3*m - 146, -18 = 4*y + 3*m - 133. Is y a composite number?
False
Suppose -3*v + 26 = -4*r, 0 = 2*r + 5*v - 8 + 34. Is (r/12)/(2/(-573)) prime?
True
Let g(x) = 17*x - 1. Let q be g(1). Suppose -2*j + 0*j - 20 = 0. Let f = j + q. Is f composite?
True
Suppose 2*t = -150 + 372. Let g = 16 + t. Is g a composite number?
False
Let v = 89 + -12. Let f = 120 - v. Is f prime?
True
Suppose -191 - 59 = n. Let y = n - -363. Is y prime?
True
Let d = -61 - -188. Is d composite?
False
Suppose -5*w + 10 = 0, j + 5*w - 18 = 6. Is j composite?
True
Suppose -2*b + 577 = 3*b - 4*r, -230 = -2*b + 2*r. Let x = b - -10. Is x a prime number?
True
Let u(w) = -99*w**3 - w + 3. Is u(-2) a prime number?
True
Suppose -5*z + 5*j + 55 = 0, 4*z + 3*j - 26 = j. Is ((-131)/(-4))/(2/z) a composite number?
False
Suppose -4*w - 6 + 26 = 0. Suppose 3*g - w*v = 42 + 40, 3*v - 23 = -2*g. Is g prime?
True
Suppose 4*p - 5*s - 1530 = -p, -302 = -p + 5*s. Is p a prime number?
True
Let l(i) = -i + 1. Let c(d) = -13*d - 12. Let g(s) = -c(s) - 6*l(s). Is g(15) a composite number?
True
Let z(y) = 4*y**3 + y**2 + 3*y + 4. Let s = 3 - 7. Let d be z(s). Let v = d + 439. Is v prime?
True
Is (-4 + 2)*3052/(-8) composite?
True
Suppose -2*z = -5*z + 27. Suppose -655 = -z*j + 4*j. Is j prime?
True
Suppose 7*b - 1842 = b. Is b a prime number?
True
Let t(u) = -2*u**3 - 2*u**2 + 2*u - 5. Is t(-5) a prime number?
False
Suppose 0 = -2*b + 4*x + 982, b = 4*x - 154 + 651. Is b composite?
True
Let g(v) = 529*v + 6. Let u be g(6). Suppose -2*l = 4*q - u, -4*l = -3*q - l + 2403. Is q composite?
False
Suppose -22*r + 4111 + 7615 = 0. Is r composite?
True
Let j(i) = 265*i + 20. Is j(5) composite?
True
Suppose 3*a + n - 77 = 129, -3*a = -4*n - 211. Suppose 90 = 3*p - a. Is p a composite number?
False
Let j be 5/((-5)/(-2)) + 7. Suppose 5*n - j - 6 = 0. Suppose -r - 38 = -n*r. Is r a prime number?
True
Let i(h) = 2*h**2 + 4*h + 2. Let r(c) = c**2 + 7*c - 11. Let g be r(-8). Let k be i(g). Is 2/(-8) + 58/k a composite number?
False
Let d = 9 - 5. Let u be ((-18)/12)/((-2)/d). Suppose 2*h + 5*y = 75 - 20, u*y - 30 = -h. Is h prime?
False
Let h(g) = -4 - g**2 - 6*g + 1 + 0*g - 2*g. Let u be h(-5). Is (-297)/(-5) - u/30 prime?
True
Let j be (-2754)/(-42) - 4/7. Is 1/1 - -2*j prime?
True
Suppose s - 4*g = -3*s + 268, 2*s = g + 133. Suppose 2*r = -t + 54, 4*t - 3*t + 5*r - s = 0. Is t a prime number?
False
Suppose b + 1 = 0, -2*c - 5*b + 18 = -b. Let u = 60 - c. Is u prime?
False
Let n be (2/(-4))/(1/(-4)). Suppose -3*u + 29 = -2*v, 5*v - 58 - 7 = -5*u. Suppose n*r = 31 + u. Is r composite?
True
Let l = 94 + -37. Is (1 + 8/12)*l prime?
False
Let o be ((-21)/(-9))/(1/3). Suppose -2*l = 1 - o. Suppose 62 = -2*s + 6*s - 2*j, -l*j = 3. Is s composite?
True
Let b(f) be the second derivative of -25*f**3/3 + f**2/2 + f. Is b(-1) composite?
True
Suppose -2*o + 54 = -0. Let d be 60/o - (-4)/(-18). Is -1 + 24 + d - 2 a composite number?
False
Suppose -3*k = 0, 0*n - 7615 = -5*n + 4*k. Is n a prime number?
True
Suppose -3*n + 84 = 4*b, -68 = -b - 3*b + n. Suppose 0*i - 3*i + b = 0. Is i composite?
True
Let v(b) = b**3 - 2*b**2 + 6*b + 11. Is v(8) a prime number?
True
Let s(t) = -t**2 + 7*t - 6. Let k be s(6). Suppose k = -5*l + 15, a + 431 = 3*a - 5*l. Is a a composite number?
False
Suppose o + 246 = 4*o. Is o a prime number?
False
Let h(m) be the first derivative of -42*m**2 - 5*m - 5. Is h(-5) composite?
True
Suppose -4*d = 3*p - 46, -80 = -4*p - 2*d - 2. Is p composite?
True
Let k be 38/4 + 3/(-2). Let d = k + -6. Suppose -d*n + 7 + 1 = 0. Is n a prime number?
False
Suppose p - 2*p + 3*m + 7 = 0, m = -2*p + 14. Is p a composite number?
False
Let y = 337 + -8. Is y a composite number?
True
Let k be 2 - 106/(-4)*4. Let l = 161 - k. Is l composite?
False
Suppose 0 = q + 4*f + 130, -f + 5*f = -20. Let m = 47 - q. Is m prime?
True
Suppose 7*y = 2406 + 6001. Is y a composite number?
False
Let s(j) = -j**3 - 8*j**2 - 8*j - 9. Let g be s(-7). Is (-801)/(-6)*g/(-3) prime?
True
Let w = 5 - 6. Let u(r) = 294*r**2 + 1. Let t be u(w). Suppose 0 = d - 2*d + t. Is d composite?
True
Let n(z) = z + 2. Let v be n(5). Let f = 29 - v. Is f composite?
True
Is (-2)/(-11) - 122850/(-110) prime?
True
Suppose 6*n = n - 115. Is -2 + 0/3 - n a prime number?
False
Let t = -2 + 4. Let c(y) = -6*y**2 + 2*y. Let r be c(t). Is (-128)/r + (-4)/10 a prime number?
False
Let r(t) = -17*t + 18. Is r(-13) a prime number?
True
Suppose 5*h - k - 1852 = 0, 365 = h - 0*h - 2*k. Is h a prime number?
False
Suppose 18 = 2*g + 3*t + 5, 5*g - 7 = t. Let x be (1 - g)/(2/(-4)). Is 3 + 1 + -2 + x a prime number?
False
Let a(t) = 5*t**2 + t - 4. Is a(-3) a prime number?
False
Let i be 1 + (5 + -1 - 2). Suppose -i*v - c = 3*c - 366, -c = v - 121. Is v a prime number?
False
Suppose -2*h - 2*h + 20 = 4*k, 0 = 4*h + 12. Is ((-12)/k)/((-3)/212) composite?
True
Suppose 0 = -f - 5*s + 120, 295 = 2*f + 4*s - 5*s. Is f a prime number?
False
Suppose 5*g - 3*g = 3*w - 2155, -2*w + 2*g = -1436. Suppose 2*k + 5*z = w, z + 471 = k + 129. Is k a prime number?
True
Let x(d) = 12*d**2 + 5*d - 5. Let w be x(8). Suppose -5*s - 2*o + w = 0, -2*o + 61 = s - 98. Is s a composite number?
True
Let m be ((-4)/3)/(16/(-24)). Suppose 3*h - m*d - 487 = 0, -2*h = -h + 3*d - 166. Is h composite?
False
Let a(z) = z**3 + 8*z**2 - 2*z - 7. Let g be 14 + 0 - (-6 + 5). Suppose 0 = -3*d - 3 - g. Is a(d) composite?
True
Let u = 39 - -32. Let p = u - 36. Is p a prime number?
False
Let n(p) = 116*p - 6. Let y be n(5). Suppose -3*l + 12 = 0, 3*l = -t - 0*t + 14. Suppose 4*s - 1148 = 2*d + d, t*s - 4*d = y. Is s a composite number?
True
Suppose -5*w = -3*a - 3, -w + a - 3 = -2. Suppose -y + i + 228 = -4*i, 4*y - 797 = -w*i. Is y composite?
True
Suppose 4*p + q - 3*q = 454, 3*q + 566 = 5*p. Is p a prime number?
False
Let z(g) = -28*g**2 + 4*g + 3. Let l be z(-2). Is l/(-5) + 12/(-30) a prime number?
True
Let z(n) = n**3 - n**2 + 5. Let r be z(0). Is (r/(-3))/(4/(-84)) prime?
False
Suppose -r - 2*i = 4*r + 6, 0 = -2*r - 4*i - 12. Let d be (0 - 2)*-2 + 0. Suppose -d*j - m + 134 = -0*j, r = 4*j + 2*m - 132. Is j composite?
True
Suppose 5*k + 2*a = 3*a + 747, 755 = 5*k - 5*a. Is k composite?
False
Suppose 0 = 3*m + 1 + 2, -5*q + 17 = -2*m. Is -21*(1/q - 2) prime?
False
Let v = -27 - -494. Is v prime?
True
Let l(v) = 13*v + 5. Is l(4) a prime number?
False
Let m = 188 - 33. Is m prime?
False
Suppose -k + 0*k + 3*m + 733 = 0, -k + 733 = 5*m. Is k a composite number?
False
Suppose 534 = -3*x - 324. Let j = x - -432. Is j composite?
True
Suppose 0 = 2*t - 4 - 82. Let s(u) = u**2 + 3*u - 2. Let n be s(-4). Suppose 353 = 5*i - n*o, t = -i + 5*o + 109. Is i a composite number?
False
Let h(i) = 9*i**3 + 2*i**2 - i. Let a be h(1). Suppose 4*b - 1605 = -2*t - 3*t, 0 = -2*t + a. Is b a composite number?
True
Let g(q) = 85*q - 4. Is g(3) a composite number?
False
Let n be (-22)/11*3/2. Let x(g) = -5*g + 0*g - 2 + 0. Is x(n) a composite number?
False
Suppose 0 = -3*p - 3*h + 246, -4*p - 2*h + 341 = 7. Is p prime?
False
Is 4/12*3*34 prime?
False
Suppose -5*m - 47 = -2*n + 44, -5*n - 5*m = -280. Let v = n - 16. Is v prime?
True
Suppose -4*v = -2*b + 434, 4*b = -b + v + 1049. Is b composite?
True
Suppose -4*w = -u - 1156, 0*u + 1445 = 5*w + u. Is w - (-3)/(-6)*0 composite?
True
Suppose 6*a + 24 = 3*a. Let b = -17 - a. Is (-2)/b - 1479/(-27) a composite number?
True
Suppose -l - 7045 = -6*l. Is l composite?
False
Suppose 0 = 3*q - 5*j + 11, 2 + 3 = -5*q - 5*j. Let d be 3/6*q + 1. Suppose d = 5*n + 11 - 141. Is n a composite number?
True
Suppose 5*u - u = -4. Let x be 185 + u/1*2. Let m = -118 + x. Is m a composite number?
True
Let n(u) = 4*u - 27. Let j(q) = q + 1. Let c(g) = -5*j(g) + n(g). Let f be c(0). Let m = -21 - f. Is m composite?
False
Suppose -3*z - 812 = -4*z. 