30)/i)/(2/(-5)). Suppose 3*m = s + 6. Is 4 bigger than m?
True
Let o = -185 - -571/3. Is o greater than or equal to 6?
False
Let m(c) = c - 5. Suppose 0*o - 4*o = -28. Let q be m(o). Is 2 <= q?
True
Let h = -0.14 - -0.04. Let x be (-2)/8*(18 + -15). Which is smaller: h or x?
x
Let p = -661 + 661.897. Let s = p - 0.037. Let x = 0.8 - s. Is x not equal to 0?
True
Suppose -f - 9 = 2*f + 3*y, 0 = 5*f + y + 7. Is f <= -1?
True
Let v be 20/(-12)*(0 + -3). Suppose 2*g = -0*f + v*f + 35, -5 = -2*g - f. Suppose 0*t + 10 = 4*n - 2*t, -5*n + 2*t + 15 = 0. Is g less than or equal to n?
True
Let z = 13 + -47. Let d be 3/15 + z/(-130). Which is greater: 0 or d?
d
Suppose -2*q - 20 = 18. Let b = 13 + q. Let i(o) = -o**3 - 5*o**2 - 3*o - 1. Let n be i(-2). Is n smaller than b?
True
Let y = -2101/4 - -522. Which is greater: y or -4?
y
Let v = -5.03 - -0.03. Which is smaller: v or 1?
v
Suppose 2*s + 12 = -2*r, 0 = 5*s - 0*s - r + 24. Let m be s/(-1 - (3 + -3)). Is 5 < m?
False
Let r be (-59)/(-57) - (4 + -3). Which is greater: r or 1?
1
Let k be (17/(-1666))/(-6*2/(-16)). Is 0.1 bigger than k?
True
Let z = 20 + -16. Let a = -8 + 11. Is z equal to a?
False
Let o be 1/((-9)/(-2))*-1. Let h = 14 - 16. Let r = 4 + h. Which is greater: o or r?
r
Let w = -12 - -22. Which is smaller: w or 9?
9
Let x = -1943/8 - -242. Let j be 1/(-6) - (-76)/96. Let d = x - j. Which is smaller: -2 or d?
-2
Suppose -2*v = 4*o - o, 0 = 2*o - 3*v + 13. Which is bigger: o or 2?
2
Let t(o) = -o**3 - 3*o**2 + 4*o + 3. Let g be t(-3). Let y = g + 9. Is y <= 2/53?
True
Let a be (-3 - 0)*(0 - -1). Let u be (-2)/8 - (-14)/(-8). Let l = a - u. Which is greater: l or 0?
0
Suppose -9*z + 2 = -7*z. Which is greater: z or 2/21?
z
Let t(k) = k**2 - 11*k + 10. Let u be t(10). Let p = 0.3 - 0.2. Is u smaller than p?
True
Let c(v) = -v + 5. Let n be (-6)/(-9) + 38/6. Let f be c(n). Which is smaller: f or -8/3?
-8/3
Suppose 7 + 1 = -4*n. Let w be (12/(-15))/n*-5. Is -1 at least w?
True
Suppose -3*s + 51 = 3*t - 6*t, -s = 4*t + 48. Is -14 at least as big as t?
False
Let x(n) = 2*n - 20. Let c be x(9). Is -2 at most c?
True
Let v = 27 + -21. Let t(z) = -z**3 + 6*z**2 + z + 4. Let i be t(v). Which is smaller: 11 or i?
i
Let m = -10 + 10. Is 2 >= m?
True
Let p = -11/3 + 41/12. Let o(s) = s**2 - 3*s - 3. Let y be o(4). Is y != p?
True
Let y be 0/(1/(-3)*-3). Do y and -5/7 have different values?
True
Suppose -3 - 1 = -4*j. Suppose -2 + 8 = 2*r. Let x = r - j. Which is greater: x or 0?
x
Suppose 14 = -3*a - 4*t - 1, 2*t = 0. Let i = -1 - a. Is i <= 2?
False
Let t = -5 - -3. Let u be t*1 - 20/(-4). Suppose 0 = -2*c + 4*n + 8, -3 = -u*c + 3*n + 3. Is 1/2 not equal to c?
True
Let t = -5/6 + 1/3. Which is greater: t or 9?
9
Suppose -6 = k - 20. Let d be 6/k - 23/21. Let b be (-2)/(-3) - (-8)/(-21). Is b at most d?
False
Let x = 0.16 - 9.16. Let q = 13 + x. Is q not equal to 2?
True
Let k = 139 - 138. Is -4/37 equal to k?
False
Let o(z) = -z**2 - 10*z - 12. Let t be o(-8). Is 0 smaller than t?
True
Let s = 47 - 46.85. Is s equal to -2?
False
Suppose -2*l - 284 = 632. Let z = -3659/8 - l. Which is greater: z or 0?
z
Let h(d) = d - 3. Suppose -4*n = b + 13, -2*n - 2*n - 1 = 5*b. Let i be h(b). Suppose 17 - 3 = 3*u - 2*p, -p = 3*u - 11. Which is smaller: i or u?
i
Let x(s) = s - 7. Let f be x(9). Which is smaller: f or 1?
1
Let f = 23 + -20. Suppose 7*n - 9 = 4*n - t, 11 = n + f*t. Is 3 < n?
False
Let z(o) = -o**3 + o**2 + 2. Let f be z(2). Let p be ((-30)/(-24))/(f/8). Let s = p - -5. Which is smaller: s or 1?
s
Let h(y) = -y**3 + 3*y**2 - y - 2. Let z be h(2). Suppose -i + 4*i = 6. Let p be (-12)/(-8) - i - -1. Is p greater than z?
True
Let t = -5086627/39465 - -3/4385. Let g = t + 129. Which is bigger: g or -1?
g
Let c be 12/(-8) - (-1)/2. Which is smaller: 1 or c?
c
Let m = -1 + 1.1. Let c = -11 + 11.5. Which is bigger: c or m?
c
Suppose 4*d - 35 = 7*d + 2*v, 4*v - 47 = 3*d. Does d = -11?
False
Let a = 27 - 15. Let v be a/(-8)*4/3. Let m be ((-15)/6 - v)*2. Which is bigger: m or -0.2?
-0.2
Suppose z - 2*t - 2*t + 2 = 0, 0 = t - 1. Suppose 12*r = 4*r + 32. Is z <= r?
True
Let r = -3.07 - -0.07. Let h = 3.1 + r. Let k = -7 - -10. Which is greater: k or h?
k
Let y = 21 - 17. Suppose -3*g + 4*r + 2 + 5 = 0, 0 = -y*g - 4*r. Is g at least as big as 1/12?
True
Let y be 4/(-6) - 1/(1/5). Is y <= -6?
False
Suppose -2*d - 19 - 1 = 0. Let m be (-2 - d/2) + 3. Which is greater: 5 or m?
m
Let d = -7 - -6. Let m be d + 2 - 6/2. Does -7/5 = m?
False
Let i be (3*1)/(12/(-16)). Let p = 133 + -407/3. Which is bigger: i or p?
p
Let o be -2 - 45/(-11)*-9. Let c = o + 39. Let p = c + 3/44. Which is smaller: 0 or p?
0
Let t = 133/60 + -32/15. Which is smaller: 0 or t?
0
Suppose -2*c + 2 = -2. Suppose p + c = 3*p. Which is bigger: p or -9?
p
Let q = -71 + 75. Which is smaller: q or -0.05?
-0.05
Suppose 0 = 3*m + 9 - 12. Which is smaller: 9/7 or m?
m
Let o = 2 + 0. Let f be (2/(-4))/(3/30). Let j = 7 + f. Is j <= o?
True
Let t = -1.15 - -0.15. Which is smaller: t or -26?
-26
Suppose 196 = 4*f + 4*r, 0*f = 3*f + 4*r - 150. Is 46 less than or equal to f?
True
Let d = -1.6 + 1.9. Which is bigger: 2/3 or d?
2/3
Let b = 36 - 73/2. Is 0.3 > b?
True
Suppose 0*m - 6 = -3*m. Suppose -m + 1 = k. Let u(p) = -3*p**2 + p. Let o be u(1). Which is bigger: o or k?
k
Let y = 34.2 + -34. Is 4/7 at most as big as y?
False
Suppose 2*r = -2*j - 14, -40 = 3*j + 4*r - 16. Which is greater: -1 or j?
-1
Let d be 1*12 - 0/(-3). Suppose a = -3*a + d. Let k be 6/(-4)*(-2)/a. Which is bigger: k or 2/13?
k
Suppose -9*v + 12*v - 9 = 0. Let a(l) = l**2 + 4*l + 3. Let c be a(-3). Suppose v*q = -c*q. Are q and 5/6 equal?
False
Let n be (7/2)/((-4 - -7)/(-6)). Is n less than or equal to -6?
True
Let k = 6 + -7. Are -2/3 and k non-equal?
True
Suppose -4*c + 12 = -8. Let y = 7 - c. Which is smaller: y or 3?
y
Let a(d) = -d + 5. Let k be a(6). Let u = -3/31 - 115/93. Is k greater than u?
True
Suppose 5*f = 17 + 3. Let q be (-2)/f*2*1. Which is smaller: q or 0?
q
Let p = 43 + -43. Which is bigger: p or 1/31?
1/31
Let c = 188 - 4326/23. Let i(j) = j**3 + 3*j**2 + 5*j + 6. Let k be i(-2). Which is bigger: k or c?
k
Let l be 1/(-2) - 1/(-2). Let b(x) = -x**3 + 14*x**2 + 16*x - 18. Let c be b(15). Let g be 2/3 + c/(-9). Is l greater than or equal to g?
False
Let s = -62640 - -2819186/45. Let a = 70/9 - s. Let q = -5 - -4. Do a and q have the same value?
False
Let c be ((-30)/2)/(28/(-6)). Let o = 7/2 - c. Which is smaller: 0 or o?
0
Let s be -2 + 1/((-3)/12). Let q be (-8)/s*(-24)/(-88). Which is greater: q or -1?
q
Let y(g) = g**2 - 1 - 6*g - g**3 + 5 + 6*g**2. Let b be y(6). Suppose 0 = t + 3*t + b. Which is bigger: 0.2 or t?
0.2
Let i be ((-18)/4)/((-36)/3). Is -8 <= i?
True
Suppose -2*v = -4*p - 0*v, 0 = -3*p - v. Which is smaller: -2/33 or p?
-2/33
Suppose 0 = -4*q - 1 - 19. Let c = q - -7. Which is bigger: 8/7 or c?
c
Suppose 12 = 4*d - 16. Suppose -d - 8 = -2*p - 3*c, 4*c = -5*p + 27. Are p and 1 equal?
False
Let b = -3.6 + 2.6. Let q = -28 - -113/4. Which is greater: b or q?
q
Let f be (6/(-8))/(36/8 + 0). Which is greater: f or 0?
0
Let a = -5 - -9. Which is smaller: 3 or a?
3
Let f = -1/11 - 97/22. Let j = f + 4. Which is smaller: j or -1?
-1
Suppose -y = -0 - 22. Is 25 equal to y?
False
Let l = -3 - 0. Suppose t = -3*t. Let d(f) = f**3 - f - 4. Let m be d(t). Is m less than l?
True
Let n(a) = 6*a - 4. Let s(u) = -u. Let d(v) = n(v) + 4*s(v). Let l be d(3). Do l and 3 have the same value?
False
Let y = 39 + -27. Does 0 = y?
False
Let l = -3 + 2. Suppose -5*x = -x - 2*z - 12, -5*z - 22 = -2*x. Let n be (x - (-12)/(-15))/(-1). Which is smaller: n or l?
l
Let h = 1/618 + -1271/21630. Is -1 >= h?
False
Let p be (-1 - -5)/(-8 + 1). Let t be (-7)/(294/(-16))*(-18)/24. Which is bigger: t or p?
t
Let j = 112 - 112.1. Which is smaller: j or -11.9?
-11.9
Let j be 2 - ((-4)/16*0)/(-2). Let r(w) = -w**2 - w + 4. Let m(s) = 1. Let v(b) = -3*m(b) + r(b). Let o be v(j). Which is bigger: o or -4?
-4
Let s be 2/3 - 146/6. Let w be 7/(252/(-872)) - 4/(-18). Let j = w - s. Is -1 at most as big as j?
True
Let v = 38 - 22. Suppose 3*d - v = -d. Suppose -d*q - 9 - 7 = 0. Which is bigger: q or -3?
-3
Let v = -88 + 84. Is -5 > v?
False
Suppose -5*m = -5*b - 135, -3*m - b - 3*b + 60 = 0. Sup