)/1. Let w be (2/o)/(12/(-390)). Is w < -8?
False
Let j = 310 + -19843/64. Is j less than or equal to 0.2?
True
Let a = -4 + -240. Is a at least as big as -243?
False
Let v = 307 + -303. Is 30/11 less than v?
True
Let h(v) = 2*v + 4. Let i be h(-6). Suppose 11*r = -571 - 716. Let y = 109 + r. Is y at most as big as i?
True
Let i = 0.4 + -2. Let z = i - -3.7. Let u = 14.1 - z. Is 0 > u?
False
Let d(r) = -33*r + 93. Let w be d(3). Let n(z) = -z**3 + 2*z**2 + 5*z - 4. Let u be n(3). Suppose 3 = -k + 2*k + 3*l, u*k + 2*l + 2 = 0. Is w >= k?
False
Let t(p) = -4*p**3 + p**2 - 2*p + 2. Let v be t(1). Let k = -2 - -6. Let u = -2 + k. Is u at least as big as v?
True
Let l = 76/7 + -149/14. Let h be (0*3/6)/1. Which is smaller: h or l?
h
Suppose -2*w - 4*v + 185 = 43, -4*v = -3*w + 163. Are w and 0 nonequal?
True
Let q = -23.1 + 24. Let n = q - 8.9. Let u = n - -8. Is 0.13 bigger than u?
True
Let c = 23 + 10. Let b = c + -33. Is -1/2 smaller than b?
True
Let t = -0.331 - 8.669. Let c be (-35 + -2)*2 - 3. Let s = c + 541/7. Which is smaller: t or s?
t
Let o be ((-40)/12)/((-1)/6). Suppose o*m - 19*m + 5 = 0. Which is smaller: -1 or m?
m
Let a be 4 + (-5530)/(-50) - (-4)/10. Which is greater: a or 114?
a
Let m(i) = -i**3 - 2*i**2 + 7. Let f be m(0). Suppose -o - f = -4. Suppose -u = 3*x - 1, -u + 3*u = x - 5. Is o < u?
True
Let i be (-1 - -1)*-1*1. Let c be 0/(i - 0 - -2). Which is greater: 1/60 or c?
1/60
Let o be (3 + 1)*((4 - 8) + 32). Let f be 1/(-5)*2 - o/(-140). Let c = -4/7 - -23/28. Does c = f?
False
Let g = 1.1 + -1. Let j = 0.84 + -16.84. Are j and g nonequal?
True
Let p(i) = 11*i**3 + i**2. Let u be p(1). Let o(l) = l + 1. Let d(g) = g**2 + 6*g - 18. Let f(w) = d(w) + 5*o(w). Let y be f(-13). Which is smaller: u or y?
u
Let u = -8 + 2. Let o = 7 + u. Suppose 5 = 3*r - o. Is r at least as big as 4?
False
Suppose -4*d + 4*h = 27 + 41, -3*h - 21 = 3*d. Suppose 7*v + 55 = 2*v. Let o = d - v. Is o > -2?
True
Let x = -223/20 - -15633/1420. Is x equal to 0?
False
Suppose 96 = -66*z + 34*z. Which is bigger: 4/5 or z?
4/5
Suppose 4*l + 6*x - 8 = 8*x, -3*l + 4 = -x. Suppose 0 = 2*s - 235 - 315. Let k = s + -4127/15. Is l != k?
True
Let b(f) = -f**3 + 7*f**2 - 6*f + 10. Let a be b(7). Let o = a - -18. Is o bigger than -14?
False
Let g(t) = -t + 13. Let s(z) = 3*z - 25. Let b(v) = -5*g(v) - 2*s(v). Let d be b(-9). Are -15 and d unequal?
True
Let r = 28 + -13. Let b = -29 - -21. Let z be b*(r/(-4) + 3). Which is smaller: -1 or z?
-1
Suppose 3*b - 12 = -w + 2*b, -3*b = -4*w + 48. Is w <= 3?
False
Let s = 80 + -45. Which is bigger: s or 31?
s
Let s = 8018930/57 + -423956/3. Let g = s + 636. Which is smaller: -1 or g?
-1
Let w be 2/(4*(-2)/4). Let j be (-4)/21*(45/72 + -1). Which is greater: w or j?
j
Suppose -2*x = 700 - 692. Suppose 5*i + 7 + 23 = 0. Which is smaller: x or i?
i
Let f = -6201/7 - -886. Which is greater: f or -0.013?
f
Let x be 141/27 - (-6)/(-27). Suppose -2*i + 10 = -5*d + 49, 0 = 4*d - x*i - 21. Suppose 6 = -6*c + d*c. Which is greater: c or -4?
c
Let o = 27 + -43. Let q = -16 - o. Let a(y) = y**2 - 2*y - 2. Let l be a(3). Which is bigger: l or q?
l
Let n be (7/56)/((-2)/(-12)). Let u = 1.69 + -1.74. Is u < n?
True
Let f = -125 - -124. Let k be 0*(3 - (f + 5)). Which is bigger: -2/31 or k?
k
Suppose 5*b + 107 = -28. Let a be (-12)/(-4) + b/10. Are a and 0 equal?
False
Let c = -596 - -571.1. Let w = -23 - c. Let s = 1.1 - w. Which is smaller: 2/9 or s?
s
Let z(b) = -2*b - 12. Let h be z(9). Which is smaller: h or -31?
-31
Suppose -2*i = u, u - 4 = -2*u - 2*i. Suppose -18 = u*r - 12. Let k be 9/(4/(r - -15)). Are k and 26 nonequal?
True
Suppose 3*z - 19 + 61 = 0. Let c = 20 + z. Let l be 3/c*(-2 - 0). Which is greater: -4 or l?
l
Let i = 166 + -142.7. Let o = i + -23. Is o at least as big as 5?
False
Suppose 1 = 5*d - l - 1, 6 = 4*d - 3*l. Suppose -4*b + b = -5*g - 13, g + 2 = d. Let q = 139/3 + -46. Which is smaller: b or q?
q
Suppose -72*u = -5*u + 134. Which is bigger: -52/31 or u?
-52/31
Let j = -1.107 + -3.893. Is -0.27 not equal to j?
True
Let m(r) = -r - 9. Let f(w) = w - 7. Let c be f(-3). Let o be m(c). Let q be ((189/12)/9)/o. Is q bigger than 3?
False
Let d = 4 + -4. Let m = d - -0.5. Suppose -47 + 53 = -6*u. Which is smaller: m or u?
u
Let p = -146 - -154.8. Let d = p + -8.7. Which is greater: d or -31?
d
Let p = 1074 + -1073. Is -9/64 less than or equal to p?
True
Let a = -504 + 458. Which is bigger: -1 or a?
-1
Let a be (-177)/(((-315)/14)/(-9) + -7). Is -2/3 bigger than a?
False
Suppose n + 43 = 3*x - 4*n, -x - 9 = 3*n. Suppose -16 = 5*u - x. Is -2 greater than u?
False
Suppose u - 7 = -3*i - u, -7 = -5*i - u. Let p be (4/6)/(i/6). Suppose 2*h + 8 = 0, -v - p*h = -4 + 19. Which is greater: 2 or v?
2
Let l = 134 + -135. Which is bigger: -4/107 or l?
-4/107
Let z be (-3484)/(-30) - 9/(675/10). Which is smaller: z or 115?
115
Let v = -3/10880 - -2341379/10880. Is v less than 216?
True
Let d = -1210 + 1215. Let n(f) = f - 3. Let w be n(4). Is d < w?
False
Let z be 1/(-3) + (-399)/(-414). Let s = z + -3/23. Suppose -2*a = -4*a. Which is smaller: s or a?
a
Suppose 0 = 7*n - 0*n - 35. Suppose 0*w + 4*h = -w + 4, n*h + 63 = 3*w. Is w <= 16?
True
Let i = -1318 - -1327. Are i and 35/4 non-equal?
True
Let m = 72/43 - -1045/172. Is 7 smaller than m?
True
Let f(m) = -m - 7. Let s be f(11). Let w be (-4)/((-32)/s) - -2. Which is bigger: w or 0.2?
0.2
Suppose -o - 2*c = 2, -2*c + 31 = -3*o + 9. Let g be (o/(-2) - 6)*1. Let r = g + 3. Is -1/21 at least r?
False
Suppose 0*k - 25 = -5*k. Suppose -5*l - 9 = -3*b, 6 + 9 = 4*l + k*b. Which is smaller: l or -11/8?
-11/8
Let d(z) = -z**3 - 3*z**2 + 4*z + 6. Let u be d(-3). Let g be (-747)/18 + (-15)/u + -1. Is g at least -39?
False
Let w = -45.9 - -70. Let z = 24 - w. Is z less than 5?
True
Let y be (-1 - -2760)*18/(-29043). Let v = y - 2/461. Is v bigger than -1?
False
Suppose 3*y = -3*b - 9, 0 = -3*y + 4*b + 26. Let o = 0 - -6. Let g(r) = r**2 - 5*r - 4. Let d be g(o). Are y and d nonequal?
False
Let u = -12394/425 - -508/17. Is u not equal to 2?
True
Let g(a) = -15*a**2 + 9*a + 2. Let z be g(2). Let k be z - (-2 + 5)/(-3). Which is smaller: k or -41?
-41
Let r = -660.113 - -660. Which is smaller: -1 or r?
-1
Let h = -1130/9 - -126. Which is bigger: 1 or h?
1
Suppose 5*k - 2 = 23. Suppose -29 = 4*h - k*o, -4*h = o - 4 + 3. Let g(d) = d - 8. Let l be g(7). Are h and l equal?
True
Suppose -4*w - 11 = l, 3*l + w + 24 = -42. Let j = 15 + l. Which is bigger: j or -9?
j
Let z = 26 + -39. Let f = -5705/3 - -1922. Let l = f + -20. Is l at most z?
False
Let t = -1/528 + -1405/1584. Let u(a) = 3*a**2 - 4*a**2 + a - a - a. Let h be u(-1). Is t greater than or equal to h?
False
Let k(b) = b**3 - 3*b**2 + 2*b - 4. Let f be k(4). Let z be (3/f)/((-1)/(-4)). Let u(t) = t**3 + t**2 - 3*t. Let x be u(-2). Is z at least as big as x?
False
Let r(u) = -2*u + 1. Let f be r(0). Let v be 2 + -4*f/2. Let y be (-10)/45*9/(-24). Is y at least as big as v?
True
Suppose 14*v + 2*i + 3 = 9*v, i + 3 = -4*v. Suppose 4*t - 3 = t. Is t >= v?
True
Suppose 20*x = 12*x + 8. Let c be (x/2 + (-234)/104)*4. Suppose 8 = -3*i - v, -i - v - 7 + 1 = 0. Which is bigger: c or i?
i
Let n be (-4)/(-30) + 86/30. Suppose -k = n*q - 12, -9 = 5*k - q + 11. Let g be (2/12)/(-1)*k. Are 0.04 and g equal?
False
Suppose 3*w - 14 = -2*o, -5*o - 2*w + 27 = 3. Is o at least as big as 32/9?
True
Let r be (-8)/(-38)*3/(-2). Let c(s) = 2*s**2 - 69*s - 34. Let q be c(35). Which is greater: q or r?
q
Suppose 0 = -7*l + 31 + 67. Suppose 101 - 367 = -l*z. Which is bigger: z or 18?
z
Suppose 3*y = 5*n + 10, n = 2*y - 4 + 2. Let p be (8/(-42))/((-56)/12). Is y bigger than p?
False
Let r(j) = -4*j + 26. Let i be r(-12). Let b = i + -224/3. Let t = 0 - 1. Which is smaller: t or b?
t
Let x = 350 + -349.885. Which is greater: x or 0.3?
0.3
Let q = 2.27 - 2.28. Which is smaller: q or 27/5?
q
Let d = 303 - 302. Which is smaller: d or -0.7?
-0.7
Let v = 62.9 + -37.9. Is v at most 5?
False
Suppose -16*u = -5*u - 17897. Let r = u + -105757/65. Which is smaller: r or -2/13?
-2/13
Let k be 184590/(-23075) - 8*(-1)/1. Are k and 1 unequal?
True
Let k be (1 - 0)/(7/49). Let w = k + -13/2. Let d = -2 - -4. Which is bigger: d or w?
d
Let q(a) = a**3 - 9*a**2 - 10*a + 28. Let 