x + s = -0*g, -5*x + 15 = 0. Is 1 > g?
True
Let d = 6 - 9. Which is smaller: 1/3 or d?
d
Let f = 55 + -16. Is f at least 39?
True
Let q be 2/(-6) + 74/6. Suppose q = c + 2*c. Is c greater than 5/2?
True
Let g = -7 - -5. Let v be (-3)/g + (-2)/(-4). Which is smaller: v or 3?
v
Suppose 2 - 6 = -m. Suppose m*c = -c. Suppose c = -4*z + 3*z. Do -2/27 and z have the same value?
False
Let l = 2 + 0. Suppose -1 = -3*g + l. Is 3 less than or equal to g?
False
Let p = -1.3 + 0.3. Is -2/13 <= p?
False
Let d(v) = 0*v**3 - 3*v**2 + 4*v**3 - 5*v - 3*v**3 + 3. Let y be d(4). Let j = y - -2. Is j equal to 1?
True
Suppose -3*z - 2*z + 20 = 0, 0 = -5*a - 5*z - 25. Let n = -5 - a. Let j(b) = -b + 3. Let u be j(n). Is u bigger than -2/11?
False
Let p be (-425)/(-195) - 2/6*1. Does 1 = p?
False
Let k = -315523/8 + 39316. Let a = k + 124. Are a and -2/7 equal?
False
Let w = -106.14 - -105. Let t = -0.14 - w. Is t less than 0.09?
False
Suppose -2*c + 6*c = 0. Suppose 0 = 3*p - 3, c = -3*k - 0*k + 5*p + 7. Suppose d + 11 = k*a, 1 = 2*a - 6*a - 3*d. Is a <= 4?
True
Suppose 5*n - 8 = -8. Do n and 63 have the same value?
False
Suppose -4*h + 16 = 2*r, -4*h + 3*h + 2*r - 6 = 0. Let f(j) = -j**3 + j**2 + 4*j**h + 1 - 3*j - 2*j. Let b be f(4). Do b and -3 have different values?
False
Let c = -541/147 - -2/147. Is c >= -4?
True
Let w be (-10)/2*1 + 3. Let q be w/(-10) - (-92)/(-260). Which is smaller: -0.2 or q?
-0.2
Let i be 32/40 - (-36)/5. Suppose -3*g + i*g = -5. Is 3/13 less than or equal to g?
False
Let l = -8 - -8. Let x = -0.02 - 0. Is x at most l?
True
Let g be (-5)/15 + (-52)/15. Which is bigger: g or -3?
-3
Let a be (-2)/12*0 - 2/(-1). Suppose 9 = 3*b - 0*b. Which is greater: a or b?
b
Let g be 9 + -2 + 4/(-2). Suppose -3*j + 7 + g = 4*y, -j = 3*y - 4. Let r be (2/(-10))/((-4)/(-10)). Which is smaller: y or r?
r
Let t be 2/2*(-5)/(-1). Suppose -t*r + 37 = 2. Which is smaller: 8 or r?
r
Suppose -7*b = -3*b. Suppose b = 4*r - 2*r + 204. Let s be r/(-15) + 2/10. Is s less than or equal to 6?
False
Let v be (0 - 2)*(-57)/(-6). Let u = v + 20. Is u greater than or equal to 1/7?
True
Let r be (2/8*13)/((-697)/164). Are r and 0 equal?
False
Let s(g) = -g**3 + 8*g**2 + 10*g - 8. Let h be s(9). Let m be 4/18 + 23/18. Is h greater than or equal to m?
False
Let l be (-16506)/(-2754) - (5 - -1). Is l <= 0?
True
Suppose -2*a = -3*r - 0*a + 13, 0 = -5*r - 4*a + 7. Suppose r*x + 4 = 10. Suppose 4*j + 5 = 13, 0 = -5*z + 5*j. Is x at least as big as z?
True
Let i = -34.1 + 34. Which is smaller: -0.09 or i?
i
Suppose 3*h - 27 = -3*t, 4*h - 3*h = -2*t + 9. Let y = -5/3 + 29/21. Is h > y?
True
Suppose 24 = 4*o - 2*u - 0*u, 5*o + 5*u - 60 = 0. Suppose 0 = -4*l - o + 24. Suppose -1 - 3 = l*p. Which is smaller: p or -2/3?
p
Suppose -5*q + 50 = 5. Suppose -3*a - 3*h + 15 = 0, 5*h = -3*a + 6*a + q. Do 3 and a have the same value?
False
Let w be (-49 - -6)/(-2 + 1). Is 45 at least w?
True
Let n = -7 - -7. Which is smaller: n or 3/19?
n
Let r(o) = -o**2 + 12*o - 2. Let y be r(10). Is y less than or equal to 17?
False
Suppose 0 = 5*m - 15, -3*v + 6 - 3 = 3*m. Let c be 4/10*(-10)/v. Let g be 2*(c + (-69)/36). Does g = 0?
False
Let o(k) = -4*k - 45. Let m be o(-14). Are 11 and m non-equal?
False
Let i be 3/(-3)*(-6 + -37). Is i < 43?
False
Let f be (204/(-42) + 5)*(-2)/(-7). Which is bigger: 1 or f?
1
Suppose h + 3*h - 2 = 2*f, 2*h + 2 = 2*f. Suppose -5*w + 5 = 5*o, -o + 3 = 2*w + 2. Which is smaller: f or w?
w
Suppose -2*t + 8 = 3*c - 2, 0 = 5*c - 2*t - 22. Suppose w = -c*z - 13, -5*w + 3*w - z = -2. Let d be w/((-15)/(-7)) + -1. Is d at least 1?
False
Let x(h) = -h. Let j(c) = -c**3 - 8*c**2 + 5*c - 8. Let y(b) = j(b) + 6*x(b). Let d be y(-8). Which is smaller: 1/5 or d?
d
Let m = 186.19 + -187. Let u = 1.14 + m. Let r = -0.03 + u. Is 2 equal to r?
False
Suppose -4*a + 5*h = 297, -2*a = -3*h - 0*h + 151. Let j = 206/3 + a. Suppose 0 = -2*w + 4*w. Is j at least w?
True
Let a be 4*(-4)/8 - -4. Which is smaller: a or 3/4?
3/4
Suppose 0 = g + u - 10, 2*u - 50 = -5*g - u. Let f = g + -9. Is -2/17 less than or equal to f?
True
Suppose 2*s + 6 = -s. Let d be 1/s + 15/10. Which is smaller: 0 or d?
0
Let n = -0.6 + -1.4. Let p = -36658/5 + 7281. Let c = p + 51. Is c at least as big as n?
True
Let k = 0.02 - -1.98. Let m(z) = z**2 + 6*z + 9. Let q be m(-4). Is k != q?
True
Suppose 5*g = 2*z + 24, 3*z + 0*g = 2*g - 25. Which is greater: -48/7 or z?
-48/7
Let k = 12 - -15. Let n be (-2)/3*k/2. Is n >= -9?
True
Let i be (-12)/54 - (-10)/18. Suppose -y = y. Let a = y - 1. Is i greater than or equal to a?
True
Let v(z) = -2*z**2 - z + z**3 + 1 + 2*z**2. Let r be v(0). Are r and -1/29 non-equal?
True
Let x = 0.7 + -0.4. Let c = 0.5 - x. Let f(b) = b**3 + 7*b**2 + 7*b + 3. Let i be f(-6). Which is greater: c or i?
c
Let g(x) = -x**2 + 8*x + 7. Let n be g(-8). Let o = -24851 + 173112/7. Let j = o - n. Which is bigger: j or -1/3?
j
Let v be (2 + (-44)/24)*-4. Let u = -1.1 - 2.9. Is v greater than or equal to u?
True
Let f be ((-10)/1)/(4/8). Let i = f + 27. Is 7 greater than or equal to i?
True
Let u be 2/(1 + 1)*(2 - 2). Which is greater: u or -10/17?
u
Let s = -100 - -100. Which is smaller: -2/305 or s?
-2/305
Let b = -1 + 3. Suppose a - b*y + 5 = -0*y, 0 = y - 1. Let d be a/4 - 7/(-20). Is d at least 0?
False
Let b(n) = n. Let o be b(1). Suppose -f + 2*i + 2 = -o, 0 = -4*i - 4. Is 2 less than f?
False
Let n = 0.048 - 0.048. Which is smaller: n or -16?
-16
Let u be (-8)/28 + (-200)/(-798). Is -1 >= u?
False
Suppose 0 = -5*r, -170 = -2*w + 7*r - 2*r. Let c be 4/6 + w/(-15). Let q be (-13)/(-5) + 15/c. Which is bigger: 0 or q?
0
Suppose m - 16 = 4*p - m, 22 = -5*p + 3*m. Let x be 186/(-99) - 8/(-6). Is p equal to x?
False
Let o be 0/(1*(-3)/3). Let g = 2 - 2.2. Let n = 0.1 + g. Is n not equal to o?
True
Let u = -14 + 15. Which is smaller: -0.24 or u?
-0.24
Let a = -7.1 + 9. Let b = 1.8 - a. Which is smaller: b or 10?
b
Let i = -0.12 + 0.07. Let l = i - -0.15. Which is bigger: -0.3 or l?
l
Suppose 13 = 4*k + 17. Suppose 0*l + 2*v = -l - 5, -2*v = -l + 11. Let z = l + k. Is z at most as big as 2?
True
Suppose -3*p = -2*p + 1. Is p != -1?
False
Let v = 1/168 - -125/168. Is 2 at most as big as v?
False
Let i(l) = -l**3 - 2. Let b be i(-2). Suppose r - b = 3*n + 8, -3*r = -n - 2. Which is smaller: -2/11 or r?
r
Let g = 18 + -16.9. Let s = -1 + g. Let b = 4.6 - 5. Which is smaller: s or b?
b
Let s = 41 - 62. Which is smaller: -19 or s?
s
Let l(w) = -4*w + 1. Let p = 2 - 1. Let s be l(p). Let o be (6/15)/(s/5). Is -2 > o?
False
Suppose 3*v + 4*n + 64 = 0, -4*v = -3*n + 5*n + 82. Let m = -20 - v. Which is greater: m or 3/10?
3/10
Let a be (-13)/(-4) + 2/(-8). Suppose -b = a*b. Which is smaller: -4/5 or b?
-4/5
Let t be ((20 - -1) + -3)*2. Let w be t/8 + 3*-1. Which is smaller: w or 2?
w
Let j(p) = p**3 + 4*p**2 + 2*p + 1. Let o be j(-3). Let z be (-5)/(-20) + (-1)/o. Let v = 124 - 1117/9. Is v at most as big as z?
True
Let n = 7 - -1. Let p(a) = -a + 9. Let l be p(n). Do -1 and l have different values?
True
Let s = -1.6 - -1.62. Let w = s + 0.08. Which is greater: w or 5?
5
Suppose -3*q = -2*s + 7, 4*q = -s - 3*s - 16. Which is bigger: s or 0.3?
0.3
Let b be (2 + (-34)/3)*(-1)/2. Is 5 bigger than b?
True
Suppose 5*m + 5*l + 45 = 0, 2*m - 2*l + 3 = m. Let q(c) = -c - 5. Let k be q(m). Is 1 bigger than k?
False
Let b be 2/28 - (-1)/(-2). Suppose 3*g + 5*n + 12 = 0, 3*g + 3 + 6 = -4*n. Do g and b have the same value?
False
Let x(n) = 5*n + 1. Let p(d) = -d. Let v(s) = -6*p(s) - x(s). Let o(q) = 3*q - 5. Let a(b) = o(b) - 2*v(b). Let c be a(4). Do c and -3 have different values?
True
Let u be (-2)/(-8) + (-13)/(-52). Which is smaller: -2 or u?
-2
Let q(u) = u**2 + 6*u. Let b be q(-6). Let s = -8 + 11. Let x be (0 + -1)*(-3)/s. Is x at most b?
False
Let d = -3.986 + 0.086. Let s = d + 4. Let j = s + -0.3. Which is greater: j or 0.2?
0.2
Let l be (14/(-4))/((-2)/4). Let j be l*3/9 + -3. Which is greater: j or 0?
0
Let i = -1441/2 - -696. Let a = i - -24. Let w = 0.3 - 0.1. Is w > a?
True
Let m = -3/11 + 31/33. Is m < 10?
True
Suppose -5*k + 19 = -16. Let p(j) = -j**3 + 8*j**2 - 6*j - 3. Let a be p(k). Is 0 not equal to a?
True
Let l be 3/(-7)*14/21. Suppose -z = z. Which is smaller: z or l?
l
Suppose 2*x - 3 = -b, 2*x