 + 1 + -1). Is -142 greater than d?
False
Let o = 38 - 38. Let a be (-716)/(-10) + (-6)/(-15). Let k = -73 + a. Is k <= o?
True
Let p = -23.867 + 8.567. Is p >= 10?
False
Let g be -1*(1338/(-267) + 5)*-454 - -5. Which is smaller: -2 or g?
-2
Let o = 0.066 - -0.067. Let x = 2760 - 2762. Which is smaller: o or x?
x
Let c = -19999 + 19997. Are -109/79 and c equal?
False
Let b = 153519 - 274402. Let t be b/(-1065) - 17/51. Let p = -566/5 + t. Is p >= 0?
False
Let x(a) = -a + 7. Let p be x(6). Let k(f) = f**2 - 15*f - 46. Let v be k(17). Let t be v/(-4) - 5/p. Which is greater: t or -2/3?
-2/3
Let b be 4/2355*((-36)/42)/(32/(-42)). Which is smaller: -1 or b?
-1
Let f be (-16 - -4)/4 + 93 + -93. Is -77/20 equal to f?
False
Suppose 43 - 142 = 3*l. Let z = -10385 + 10350. Is l at least as big as z?
True
Suppose 3*c - 24 = b, 2*c + 30 = 6*c - 2*b. Suppose 3*t + 36 = c*t. Suppose 0 = 2*j + 4*v - 8, 5*j - v + t = 2*v. Are 0 and j unequal?
False
Suppose -12*p = -0*p + 42*p - 221508. Is 4103 < p?
False
Suppose 0 = -146*w + 141*w + 15. Suppose u + 25 = w*i + 6, i = -5*u - 15. Is i less than -16?
False
Let r = 10 + -7. Suppose -r*y + 1 = 13. Let z(i) = 2*i**3 + 3*i + 2. Let h be z(0). Does y = h?
False
Suppose 30*i - 37*i = 2338. Let c = i + 341. Are -8 and c nonequal?
True
Let v = -91.344 + 92.37. Is v less than -0.1?
False
Let p = -2138 - -1820. Is p less than or equal to -3502/11?
False
Let m = -1149 - -1237. Which is bigger: m or -20?
m
Let t(x) = -5*x**3 + 15*x - 32. Let w be t(3). Which is bigger: -109 or w?
-109
Let s(w) = -3*w - 42. Let r be s(0). Suppose 2*o - 2*m = -m - 444, -4*m = -5*o - 1110. Let d be -5 + o/r - (-4)/(-14). Is d less than -3/4?
False
Let h(d) = -8*d - 4. Let q be h(-8). Let u be (-11)/1 + q/(-15). Let f be (u/135)/((-35)/6). Is f greater than 0?
True
Let n = 50 + 164. Suppose 0 = 14*d + 430 + n. Is d at least as big as -44?
False
Suppose x - 86 = 6*x - 4*w, -5*w + 90 = -5*x. Let p(s) = -2*s**2 - 18*s - 5. Let j be p(x). Which is bigger: j or -144?
-144
Let f = 0 - 18. Let m(b) = -46*b + 20. Let p be m(-5). Let c = -268 + p. Is f != c?
False
Let u = 26/25463 + -315277/233954044. Is u less than -1?
False
Suppose -6481 + 6574 = -31*m. Let x(k) = -2*k - 3*k**3 - 3*k**2 + 7 - 2*k**2 + k**3. Let t be x(m). Is t less than 22?
False
Let w be 1/12*12 - (7 - 0). Suppose 0 = -3*y + 3 - 0. Let t = w + y. Which is bigger: -2 or t?
-2
Let w = 7808371/257554 - -9/11707. Which is smaller: 29 or w?
29
Let l(n) = 2*n - 130. Let h be l(65). Is 2/4193 less than or equal to h?
False
Let n = 84 + -163. Let y(v) = -9*v**2 + 2*v - 3. Suppose 6 = 4*g - 2*g. Let s be y(g). Which is bigger: s or n?
s
Let s = 698 + -1139. Let o be (-1 - 223/(-333)) + (-98)/s. Is o equal to -1?
False
Suppose 4*i - h = 6*i - 2044, 3*h = 4*i - 4118. Which is smaller: 1022 or i?
1022
Let n = 715/63 - 4435/252. Suppose -h - 11 - 2 = 0. Let k = h + 7. Is n at least k?
False
Let o be 2/10 - 8730/150. Let g = o - 14. Is 2 bigger than g?
True
Let d = 8452 - 8455. Let k = -2 + 4. Let z = 4 - k. Which is smaller: z or d?
d
Suppose -5*q - 26 = 4*r, -6817*q + 5*r + 35 = -6822*q. Let s = -4/27 - 11/108. Is s < q?
True
Let w = -35086 + 30689. Which is smaller: w or 0.5?
w
Let m = 1663 - 1380. Is -2/7 < m?
True
Let m(n) = 2*n**3 + 22*n**2 - 23*n + 15. Let y be m(-12). Suppose -4*k + 79 = y*f, 4*f + 4*k - 17 - 87 = 0. Let q be (-12)/(2/4 + -1). Which is smaller: f or q?
q
Let h(u) = 3*u - 224. Let r be h(24). Is r greater than or equal to -148?
False
Let v(d) = -d**3 + 13*d**2 - 7*d - 16. Suppose -3*z + z = -24. Let i be v(z). Let q = 43 - i. Is -2/99 at most q?
False
Let g be (-44)/110 - (-219096)/546390. Is 0 greater than g?
False
Let j be (9/84)/(((-11)/3)/(4/9)). Suppose 5*u + 0*x = -3*x - 8, -2*u = -2*x. Are j and u equal?
False
Suppose 0 = 32*z + 2474 - 2474. Is z greater than or equal to -40/141?
True
Let f(v) = 18*v - 62. Let m be f(5). Let w = -17 + m. Suppose 0 = -4*k - w + 3. Is -1/2 bigger than k?
True
Suppose -3*s + 2*c = -2*c + 97, -31 = s - 2*c. Let d be (-3552)/(-99) - (-5)/((-220)/24). Let w = s + d. Which is bigger: 1 or w?
1
Suppose 55*x = 30*x - 61*x + 14362. Suppose -3*u - 815 = -5*p, -4*p + 743 - 104 = -5*u. Which is smaller: x or p?
p
Let w = -1.1689 + 0.0909. Let y = 1.038 + -0.96. Let o = y + w. Do 1.8 and o have the same value?
False
Suppose -f - z - 10 = 0, z = 6*f + 4*z + 66. Do f and 17 have different values?
True
Let h be ((-8)/22)/(1296/(-203544)). Is h at least as big as 58?
False
Suppose 484*j - 503*j = -11 - 8. Let y = 0.05 + 1.95. Is j smaller than y?
True
Let a be 39000/(-27) - 12/(-27). Is a at most -1444?
True
Let s = 1642 + -577. Suppose 0 = -34*q + 39*q + s. Do 2/7 and q have different values?
True
Let m = 11108 - 11169. Which is smaller: m or -63?
-63
Suppose -c - 17 = -7. Let s = c + -60. Which is smaller: s or -71?
-71
Let c be (-348)/108 - (1 - 33/27). Suppose -3*v = -18 + 3. Suppose v*d + 22 + 3 = 0. Is d equal to c?
False
Let j = 2.862 + -2.962. Which is bigger: j or -57.1?
j
Let q(a) = 20*a**2 - 71*a - 333. Let v be q(-31). Which is greater: 21089 or v?
21089
Suppose 0 = -12*f - 24312 + 24960. Let z be (-3704)/(-70) - (-4)/14. Is z > f?
False
Let x(g) = 2*g**3 - 3*g**2 + 5. Let w(o) = -o**3 + 4*o**2 + o - 4. Let c(k) = -4*w(k) - 3*x(k). Let f be c(-4). Let h = 42 - f. Is 7 greater than or equal to h?
False
Let y(u) = -7*u + 30. Suppose -25*j + 31*j = -150. Let q be y(j). Which is smaller: q or 204?
204
Suppose 0 = -4*a - 12, 65 = 5*x + 5*a - 235. Let m be 779/(-78) + x/(-378). Is -9 greater than m?
True
Let p = -146069/170 + 4296/5. Which is greater: 1 or p?
1
Let q = -8232 - -8233.13. Is -32 less than q?
True
Let q = -8484 + 4794. Let i be 5 - ((-11068)/q + 2). Which is smaller: i or 1?
i
Let i = -4.4 + 4.4. Suppose 3*u + 0*u - 12 = 0. Suppose -2*z + 28 = 5*l, 0 = -5*l - 9*z + u*z + 40. Is i > l?
False
Let f be (-429)/(-26) - 14 - 4951/1982. Is 2 equal to f?
False
Let k = -43 + 44. Let b be (-1 + 1)/(12/6). Suppose -75 = -3*g - 3*r + 8*r, b = -5*g - 5*r + 85. Is g less than k?
False
Suppose -11*j + 16 - 5 = 0. Let c be ((-126)/12)/(j/2). Is -3 greater than or equal to c?
True
Suppose 8*y = 94 - 54. Suppose 11*o + 315 = -y*i + 15*o, o = 0. Which is smaller: -57 or i?
i
Let y be ((-32)/2)/(1/2). Let j be (-10 + 2)/(3 - (-26)/(-10)). Do y and j have the same value?
False
Suppose -3*d = 3, 4*d + 50 - 64 = f. Which is greater: f or 54?
54
Let s be (-169)/(-91) + (-24)/28. Suppose 2*q = -q - 363. Is s not equal to q?
True
Let j = -48058/267969 + -1/6871. Suppose 0 = 2*p - 4*r + 12, r + 3 = -5*p + 6. Which is smaller: p or j?
j
Suppose -197 = -8*s + 35. Let l be ((-1)/s)/(-1)*-1. Let w be ((-7)/35)/((-1)/5). Which is bigger: l or w?
w
Suppose -36 - 38 = 4*o + 5*h, 5*h = 10. Let a be ((-6)/4)/(o/(-28)). Is -23/18 equal to a?
False
Suppose 5*t - 1849 = 101. Suppose -437*g = -440*g + t. Which is greater: g or 128?
g
Let x be 6/(-14)*(-10 + 112/12). Let m = -7.02 - -0.02. Which is smaller: m or x?
m
Suppose -4*z + f + 16686 = 0, -134*z = -135*z + 2*f + 4182. Does z = 4171?
False
Let z be 1/2 + (-51)/2. Let h be (12/(-4) - z) + 4. Let j be 3/((-7137)/(-444)) - 4/h. Are -2 and j unequal?
True
Let p = 43/78 + -2/39. Suppose -4*v = -w + 12 + 14, -5*w = 2*v - 86. Suppose 0 = -7*g + 6*g + 4*z - 22, 2*z - w = g. Is g > p?
False
Let z be 6/(-27) + ((-940)/(-36))/5. Suppose -z*v = -v - 20, 5*w - 45 = 5*v. Let x be -2*(0 + -1 + -6). Do x and w have the same value?
True
Let k = 20805/269731 - -6/2387. Which is greater: 0 or k?
k
Let u(n) = n - 3. Let g(m) = -21*m - 55. Let r(h) = g(h) + 6*u(h). Let l be r(-6). Is l <= 17?
True
Let v be (-7)/((-49)/(-2)) - (-117352)/308. Let a = v - 381. Which is greater: 0.06 or a?
0.06
Let l = 1 - 10. Let o be (-14 + 9)*-1 - 685. Let a = -691 - o. Is a at least l?
False
Let c be (-6)/(-566)*(-4)/6. Suppose y - 35 = 7*g + 64, 0 = -5*y - g - 9. Is c less than y?
True
Suppose -4*q = 0, n + 13 = q - 0. Let l(s) = -2*s**2 - 32*s. Let d be l(-14). Suppose d = -4*v + 4*j, 3*j + 2 = -6*v + 5*v. Which is bigger: v or n?
v
Suppose 3*j + 4*m - 24 + 4 = 0, 16 = 3*j + 2*m. Let g be 2/3 - ((-50)/15 + j). Let a = 26/11 + -270/77. Is a at least as big as g?
False
Let t = -918 + 1221. Is t < 303?
False
Let o = -252 + 256.28. Let b = -4.2 + o.