16 = -5*m. Let r be (1 - (-1)/3) + g. Is 1 equal to r?
False
Let j be 3/9*1*-3. Which is greater: 4/29 or j?
4/29
Let g(q) = -2*q + 0*q + 0*q. Let v be g(-2). Let f be (v/(-70))/((-1)/(-5)). Is 1 greater than or equal to f?
True
Suppose 3*w + 2*w = 3*i - 16, 5*i = -5*w - 40. Is w greater than -2?
False
Suppose -5*t + 25 = 5*u, 0*t = 3*t + 5*u - 25. Let y = -15 - -17. Suppose -y*i - i = t. Do -1 and i have different values?
True
Let t be (-4)/20*(2 + -5). Which is bigger: 1 or t?
1
Let q = -0.4 - 0. Let s = q - -0.5. Which is smaller: s or -1/3?
-1/3
Let m be 18/4*1/15. Suppose 5*u + 75 = -5*b, -b = 4*u - 3*b + 36. Let w = u + 10. Which is smaller: w or m?
w
Let x(z) = -6*z**3 - z**2 - z - 1. Let s be x(-1). Suppose s*a - y = y + 41, -2*y = a - 1. Let j = -5 + a. Which is bigger: -1 or j?
j
Let b be (-14)/(-10) + (-4)/10. Suppose 1 = i - b. Is i <= 2?
True
Suppose -208 = -2*u - 2*u - 5*x, -4*u = -4*x - 172. Let n be 2 - (139/u + -1). Which is smaller: n or 0?
0
Let l = 60 - 62. Which is greater: -3 or l?
l
Let b = 6.06 + -6. Let j = b + -0.16. Let d be (-1)/2 + 1/2. Which is smaller: j or d?
j
Let y = -0.339 - -0.039. Is y at least as big as -5/8?
True
Let n = -0.5 + 0.47. Let d = 0.13 + n. Which is greater: 10 or d?
10
Let c = 15 + -21. Let p be (c/9)/(2/3). Let d(v) = -v - 4. Let h be d(-3). Is h less than p?
False
Let q = 0 + -1. Suppose -5*g = z - 14, -6*g = -2*g + 5*z - 28. Let j be (-8)/(-6) - g/1. Which is smaller: q or j?
q
Let o be (5/(-2))/(8/(-104)). Let d = -32 + o. Which is smaller: -3 or d?
-3
Let f be 4/3*(-537)/252. Let p = f + 23/9. Do p and 0 have the same value?
False
Suppose -5*d = -2*h + 7, -5*h + d + 1 = -5. Suppose 6*n + 98 = 86. Which is bigger: n or h?
h
Suppose -4*v = -6*v. Which is smaller: v or -1?
-1
Let k be 1*((-6)/14 + (-50)/(-35)). Which is greater: k or -0.047?
k
Suppose -o + 0*o = 5*c - 26, 3*o = -3*c + 66. Do o and 20 have different values?
True
Let k be (-4)/6*(0 - 6). Suppose -5*v + 2*d + 11 + 2 = 0, k*d = 4*v - 8. Suppose -v*o = -2 + 11. Is -3 greater than o?
False
Let w = 4 - 1. Let o = -1 - w. Which is smaller: o or -3?
o
Let n = 784258/35 - 22414. Let w = -31/5 - n. Does 0 = w?
False
Let a be ((-145)/70 + 2)*(0 + 2). Is 0 greater than a?
True
Let m = 4 - 4. Are -2/17 and m unequal?
True
Let i(f) = 0 - 1 + 3*f**2 - 2*f - 4*f**2. Let y be i(-1). Let v be 5/2*(-3)/15. Which is smaller: y or v?
v
Let n = -173/4 - -43. Let a = 2 + 2. Let b = a + -4. Is n less than b?
True
Let q = 7 - -4. Let z = 10 - q. Which is smaller: z or 0?
z
Let h = 13 + -12. Suppose -4*q - 4 + 18 = 2*l, -4*q = -l - 23. Suppose a = -q, 3*a - 1 + 20 = -2*s. Is h less than s?
False
Let i = -2/67 + 140/201. Which is bigger: -0.1 or i?
i
Let s be ((-4)/(-10))/(48/60). Is 0 <= s?
True
Let b be (-21)/2*(-8)/(-6). Let u = b - -15. Let k = 2.2 - 2. Which is bigger: k or u?
u
Let h(j) = -j**2 + 8*j + 3. Let p be h(8). Suppose p*c = c. Is c at least -1?
True
Let t = 125 - 109. Is 46/3 at least as big as t?
False
Suppose 20 = 4*j + 4*l, 3*l + 13 = 5*j + 2*l. Let r be 2/(-3) - (-5)/j. Suppose 2*v = -5*b - 10, b + 3*v + 3 = -12. Do r and b have the same value?
False
Let c = 10 - 14. Let y be 22/8 - c/16. Let z(b) = b - 1. Let j be z(y). Is j less than or equal to 1/2?
False
Let b = -115 - -82. Let a be b/7 - (-22)/(-77). Are a and -5 nonequal?
False
Suppose -3*y = -4*y + 5. Suppose y*i + 3 = b - 16, -b - 4*i - 17 = 0. Let u = 442/5 + -88. Which is smaller: b or u?
b
Let z = -0.17 + -2.83. Which is smaller: z or -2/7?
z
Let y = -13 + 18. Suppose -y*u = -3*c + c - 21, 4*c + u + 9 = 0. Is -1 < c?
False
Let c = -14 + 10. Which is bigger: c or 0.3?
0.3
Let k = 0.2 + -0.2. Let p = -0.8 + -0.6. Let r = p - -0.4. Which is bigger: r or k?
k
Let a = 9 + -9. Which is smaller: -0.17 or a?
-0.17
Let w be ((-1)/2)/((-2)/(-8)). Let q be 1/w + -6 + 7. Are q and -2/3 nonequal?
True
Let i be 25/4*(0 + -4). Let o = i - -35. Suppose -3*h + o = 2*h. Is 2/3 > h?
False
Let i = 112/9 - 38/3. Are 6 and i equal?
False
Let w = 0.04 + 0.06. Let q = -0.2 + 0.3. Let x = w - q. Which is bigger: x or -2/7?
x
Let w(c) = c**3 + 8*c**2 - 8*c + 9. Let p be w(-9). Is p < 1/2?
True
Let k = -1 - -6. Let p(q) = 2*q - 2. Let f be p(3). Suppose 0 = f*z + 1 - k. Is z not equal to 2?
True
Suppose 4*h = -h + 300. Let i be h/(-16) + (-2)/(-4). Which is bigger: i or -4?
i
Let a = -121551 - -403184615/3317. Let q = -890089/139314 + a. Let n = 46/7 + q. Is 0 equal to n?
False
Let u be 1200/(-510) + 2*2/2. Which is bigger: u or 1?
1
Let m = -105897/287300 - -4/4225. Let w = -2/17 - m. Which is bigger: w or -1?
w
Let j be (255/(-126) + 2)*9/2. Is -2/3 greater than or equal to j?
False
Let x = 13 - 10. Let f(v) = v**2 + 1. Let y(m) = -6*m**2 - 5*m - 2. Let u(j) = -5*f(j) - y(j). Let b be u(-6). Is b not equal to x?
False
Suppose 4*n - 10 = 2*n. Suppose -4*y = y + n. Is -1 less than y?
False
Let d be 4*3*1/2. Suppose -d*t + 1 = -5*t. Suppose -2*z - 4*g - 22 = g, g + t = 3*z. Is z less than or equal to -1?
True
Let y be (3/(-9))/((-1)/6). Let a(p) = 6 + y*p - 2*p - 2*p. Let q be a(5). Is q at least -3?
False
Let z be 136/14 - (-4)/14. Let j be (-6)/(-8) + (3 - 52/16). Is z bigger than j?
True
Suppose 0 = -4*n + 3*n - 3*g - 3, -g = -n - 15. Let q be (3*8/n)/(-6). Which is smaller: q or 1/4?
1/4
Suppose -29*m + 2 = -30*m. Is m bigger than 0?
False
Let n be ((-60)/(-25) - 2)*-1. Which is greater: 0 or n?
0
Let y be 5 + (0 - 2) + -21. Let a be (-1)/(-4) + y/8. Is a at most -1?
True
Suppose -2*x - 2*x + 16 = 0. Suppose x*n - 1 = 3*s, -2*n + 8 = n + 5*s. Which is bigger: n or -1/15?
n
Let a = -9/16 - -31/112. Suppose 8*p = 7*p. Which is smaller: p or a?
a
Let u = 20 + -8. Let b be 4/(-2)*u/(-8). Let d be -1 - b*(-3)/7. Does d = 0.1?
False
Let q = 4 - 3. Let n be (-4)/6*3/(-104). Let z = n - -49/156. Which is smaller: q or z?
z
Suppose 0 = -5*t + 15, 3 = -2*s - 5*t - 38. Do -28 and s have the same value?
True
Let u = 63 - 63.27. Let x = -0.07 - u. Is 0 > x?
False
Let v(g) = -g + 1. Let y be v(1). Suppose y = 2*d - 4*b + 14, -d + 0*d - 4 = -b. Let m be 7/2*d + 3. Which is bigger: 0 or m?
0
Let u = 0 - 0. Let t = -54 + 33. Let h be 4/6*9/t. Which is smaller: u or h?
h
Let s(g) = -g**2 + 6*g - 4. Let p be s(4). Let j = -3 + 6. Which is smaller: j or p?
j
Let u = 13.5 - 3.5. Which is bigger: 2/9 or u?
u
Suppose -2*m = 5*c, 3*c - 2*m + 31 = 3*m. Which is greater: c or -3?
c
Let s(y) be the first derivative of y**3/3 + 3*y**2 - 7*y + 2. Let a be s(-7). Let i be 156/54 + -5 + 2. Are a and i non-equal?
True
Let k be 2/(-3)*(-1829)/(-14). Let l = k - -556/7. Let t = 7 + l. Is -2 less than or equal to t?
True
Suppose 4*y = -5*f - 1 - 1, -5*y - 17 = -f. Let q(a) = a**2 - 12*a - 15. Let z be q(13). Which is bigger: y or z?
z
Let l be (0 - 1)/((-1)/(-15)). Let i = 16 + l. Let b = 0.4 + -0.2. Does i = b?
False
Let n be (-1 - 0)*7 - -3. Let t = n + 6. Let r be ((-5)/15)/(t/6). Which is greater: -1/3 or r?
-1/3
Let y(b) = b**3 + 3*b**2 - 3*b + 3. Let t be y(-4). Let w(a) = 6*a**3 + a**2 + 2*a + 1. Let s be w(t). Let x = -5 - s. Is x greater than or equal to 2/3?
True
Let i = -1 - -0.9. Let n = -15.07 + 15. Let y = -0.13 + n. Which is smaller: y or i?
y
Let w = -8 - -8.3. Let j = -11/52 - -6/13. Are w and j equal?
False
Suppose 2*u - 80 = 2*q - u, 2*q = 5*u - 88. Is -34 less than q?
False
Let w = -13 + 16. Suppose -m = -3, 3*a - 27 = -5*m - w. Which is bigger: 5 or a?
5
Suppose 18 = 3*i - 3. Let f be (i - 4) + 1 + -1. Let d(r) = -2*r**3 - 4*r**2 - r + 2. Let g be d(-2). Is g not equal to f?
True
Let u be ((-1)/(-2))/(2/(-24)). Suppose -3*t = -5*t. Let z = -6 + t. Is z smaller than u?
False
Let k(o) = o**2 - 2. Let s be k(-2). Suppose 0 = -2*r + r - s. Let y = -4 + 2. Is y not equal to r?
False
Suppose 3*m - 6 = -6. Let v be (20/11)/1 - 2. Which is smaller: v or m?
v
Suppose 4*t + 10 = -l, t - 5*l + l = -11. Suppose -1 = -4*o - 5. Let g be -1*(o - -3)*-1. Which is bigger: g or t?
g
Let w = 1/17575 - -124606739/193325. Let z = w - 644. Which is smaller: z or 1?
z
Suppose 4*i = 6 - 10. Which is bigger: -14 or i?
i
Let t = -22/15 + 109/30. Which is smaller: 2 or t?
2
Let k = 2.1 - 2. Let m = -0.39 - -0.66. Let g = 0.07 - m. Which is smaller: g or k?
g
Suppose -4*h - 3 - 1 = 0. Let g = 1 + h. Suppose 5*a + 0*a - 2 = 4*n, g =