 g = -0.11 + -3.89. Let f = g + v. Which is smaller: 0.03 or f?
f
Suppose 17*g + 18 = 26*g. Are g and 13 non-equal?
True
Let r(h) = 5*h. Let u be r(1). Suppose u*l = -25, -28 = -3*d - 0*l + 5*l. Which is bigger: d or -1?
d
Let q = -3 + 3.1. Let c = -72/65 - 9/13. Are c and q nonequal?
True
Let p = -0.11 - -1.11. Suppose -17 - 19 = -4*d. Let f be -2 + d - (4 - 2). Is p at least as big as f?
False
Let a = -1 + 0. Is a <= 9?
True
Let s = -0.17 - 0.35. Let t = -0.5 - s. Let o = -0.02 + t. Which is greater: o or 3/5?
3/5
Let f = 1 + 0. Let p be -1 - (f - 60/21). Suppose -1 = -4*b + 3. Which is smaller: b or p?
p
Suppose 5*t = -182 - 18. Let q = -27 - t. Suppose q = c + 4*p, 3*p = 2*c - c + 8. Is 0 at most c?
True
Let d be 0/(1/(-2 + 1)). Let c = 50624/3 + -6581209/390. Let w = c + 4/65. Is w < d?
True
Let i(w) = w + 2. Let a be i(-5). Suppose -r - 6 = -2. Do a and r have the same value?
False
Let o be 21/18 - (-2 + 3). Is -1 equal to o?
False
Suppose -9*c - 1 = -8*c. Is c > -5?
True
Let r = 6 + -2. Suppose 5 = 5*z + 5*d, -2*d + r = -2*z - d. Let p be -1*z*(-9)/12. Is 0 less than or equal to p?
False
Let s = -2 + 4. Let n = 31/15 + -5/3. Is n <= s?
True
Let z be 2364/(-4)*(-2)/3. Let p = -5908/15 + z. Which is smaller: p or 0.1?
0.1
Suppose -5*d = -0*d. Which is bigger: -1/8 or d?
d
Let q = 0 - 1. Let l = 41 + -41.1. Which is bigger: l or q?
l
Let o = -18421/61 + 302. Which is bigger: 0 or o?
o
Suppose 0 = -v + 5*w, 4*v - 12 = -w + 9. Suppose 0 = -4*a - v*j - 9, j + 0*j = a - 9. Let m be -2 + a/3*2. Which is smaller: 0 or m?
0
Let y be 2/3 - (-3)/9. Suppose -2 - 8 = -2*u. Which is bigger: u or y?
u
Suppose -8 + 0 = -4*k. Let r be k/3 + (-1)/3. Is 0 not equal to r?
True
Let x = -45 - -43. Is x != 5/2?
True
Let a be (1 - 11)*(-1)/2. Suppose -6*d + d + a = 0. Let n(g) = g**2 - 7*g + 8. Let y be n(6). Which is smaller: d or y?
d
Suppose 6 + 4 = -5*b. Let u = -9 + 11. Suppose 0 = n + n + u. Is b <= n?
True
Let g be 8/6*(1 - 13)/(-4). Let k(m) = m**2 + 7*m + 6. Let v be k(-6). Suppose -2*n + v*n = -8. Is n at most g?
True
Let k be 4/6 - (-4 - (-60)/18). Let f be (-2)/4*(2 + -2). Are f and k equal?
False
Suppose -3*a = -2*u - 2*a + 5, -2*a - 10 = u. Suppose 6 = 2*f - u. Which is smaller: f or 0.2?
0.2
Suppose 0*y + 5*y + 2 = 4*l, -2*y - 5 = -3*l. Suppose -8*s = -3*s + 5*r - 30, 3*r + 14 = s. Let v be (-8)/4 - s/(-3). Which is smaller: y or v?
v
Suppose -x + 64 = -5*f, 4*f + 38 + 21 = x. Let n be 1 + (-114)/x + 2. Which is smaller: n or 1?
n
Let f = -54 + 45. Is -7 greater than or equal to f?
True
Let j = 3512/5 + -700. Which is bigger: 3 or j?
3
Let i = -2649 - -121847/46. Which is greater: 1 or i?
1
Suppose 0 = -2*t - 2*t - 40. Suppose 5*y - 37 = -7. Let r = t + y. Are r and -3 equal?
False
Suppose -a + 9 = 2*a, 5*a = -2*m + 15. Let i = 108 + -101.7. Let u = -6 + i. Which is smaller: m or u?
m
Let v = 5 - 10. Let s = v - -4. Is s <= -5?
False
Let h = -28 + 50. Which is smaller: h or 21?
21
Let h be (-8)/16 + 29/(-2). Which is smaller: h or -14?
h
Suppose -13*n + 3*n = 10. Is n greater than or equal to -3/19?
False
Let p(u) = u + 7. Let i be p(-8). Suppose 6*s - 3*s = -3. Is i equal to s?
True
Let j = 0.127 - 0.027. Do 9/8 and j have the same value?
False
Let l = 0.08 + 0.22. Let z = l - -1.7. Let g = 0.05 - -0.05. Which is greater: g or z?
z
Let d = -3 - -4. Let w(b) = b**2 + 4*b + 5. Let t be w(-4). Suppose 0 = -l + t - 4. Is l greater than d?
False
Let d(t) = -5*t + 1. Let w be d(-4). Suppose -w = -3*g - 9. Suppose -i - 8 = -g. Is -5 smaller than i?
True
Suppose 2*o - o + 5*g + 26 = 0, 32 = -2*o - 5*g. Let v(x) = 7*x + 6. Let z(h) = 13*h + 12. Let u(p) = -11*v(p) + 6*z(p). Let s be u(o). Are 0.2 and s nonequal?
True
Let x = -0.09 - -0.29. Which is greater: -5 or x?
x
Let f be 2/6 - (-323)/(-855). Is 0 less than f?
False
Let d be 3/(3/(-3 + 6)). Let p = d + -5. Let n be (2 + p)*(-1)/2. Does n = 0?
True
Let y(w) = 2*w**2 - w - 20. Let b be y(-3). Is -1/126 at least as big as b?
False
Suppose 15 = -2*j - 3*g, 4*g + 4 + 16 = -2*j. Suppose -3 = -3*h - 0. Which is bigger: h or j?
h
Let p = 39/5 - 37/5. Which is smaller: p or -0.2?
-0.2
Suppose -2*g - 20 = -7*g. Let v = 18 - 11. Suppose 0 = -3*n + 2 + v. Which is bigger: g or n?
g
Let v(r) = r - 1. Let a be v(-1). Let l be (9/66 - 0)*a. Let u = l - 5/22. Is u <= 0?
True
Let d = 24 + -13. Let o be d - -2*(-3)/(-6). Let p = 17 - o. Is 6 at least as big as p?
True
Suppose -z - h + 3 = -5*h, 3*z - h + 2 = 0. Which is smaller: z or 13?
z
Let w be (48/(-40))/(33/(-10)). Which is smaller: 1 or w?
w
Let d = 3 - 1. Suppose 30 = 5*a + 5*y, 3*a + a - 23 = -3*y. Suppose 0 = -3*z + 2*h - 6, -2*h = z - a - 1. Which is bigger: z or d?
d
Suppose -2 = -5*y + 4*k + 2, 4*k + 4 = -y. Which is greater: -1/8 or y?
y
Let r be (2/5)/((-2)/10). Let i be 3*((-38)/(-18) + r). Let u(o) = -o + 7. Let t be u(9). Is t <= i?
True
Let l = 9 - 6. Suppose 2*t - m - 5 = -t, 2*t - m - l = 0. Is -2 > t?
False
Let j = 0.1 - -1.9. Let r = 2.4 - 0.5. Let o = j - r. Is 0.1 greater than o?
False
Let j = -13 - -21. Let a = j + -7. Let q = 1 + -1.1. Is a less than q?
False
Let r(l) = l + 9. Let f = -25 - -17. Let p be r(f). Let g = 961/12 - 80. Which is bigger: g or p?
p
Suppose -2*r + 7*r = -w - 6, r - w + 6 = 0. Let t = 0 + r. Suppose 0 = 9*x - 2*x. Which is bigger: t or x?
x
Suppose -2*b = -3*b. Let m be 4 + -2 - (-6 + 9). Let u = m + b. Which is smaller: 1/6 or u?
u
Suppose 0 = -4*q - 9 + 33. Let j be q/21 + 52/14. Which is bigger: 3 or j?
j
Let k be 22/(-48) - (-12)/96. Which is bigger: 1 or k?
1
Suppose 0 = 5*m - 0*r + 2*r - 17, 5*r = -4*m. Do 7 and m have different values?
True
Let h = -403/48 + -5/48. Let z = h + 28/3. Do z and 1 have the same value?
False
Suppose -3*i - 1634 = -19904. Let m be (-6)/(-15) + (-4246)/i. Let p = m - -1/87. Which is greater: p or -1?
p
Let m = -10.13 + 10. Let h = 2.13 + m. Is h equal to 0?
False
Suppose -5*n + 11 = 2*o, 5*n + 3 = 4*o - 4. Let k = 2 - 2. Which is smaller: k or n?
k
Suppose 3*n + n + 2*u - 40 = 0, n + 4*u - 10 = 0. Suppose 0 = -2*r - n. Suppose 4*f + f = -25. Is r equal to f?
True
Suppose 0 = 4*r - 2*p + 18, -p + 5*p = 3*r + 1. Suppose -2*v - 8 = 0, -3*b - 2*b = -4*v + 19. Let i be 2/b - 9/r. Are i and 0 unequal?
True
Let b = -0.748 - -0.148. Is 1/11 greater than b?
True
Let b(t) = -2*t - 1. Let q be b(7). Which is smaller: q or -17?
-17
Let u = -6.78 + 7. Let w = u - 0.12. Do w and 3 have different values?
True
Let w = 31.1 - 31. Is w at least -0.3?
True
Let a = -11 - -19. Let g be (3/(-6))/(10/a). Let c = -223/9 + 25. Which is smaller: g or c?
g
Let l = -0.3 + 0.1. Let h = 0.5 + -2.5. Are l and h non-equal?
True
Let b be (-6)/(-21) + 4/(-14). Let n be (-2)/((b - 1) + -14). Are n and 1 equal?
False
Let l be (-1 - 1)/(0/5 - -4). Does l = 4/17?
False
Let b = 0.05 - 0.35. Is 0.3 greater than or equal to b?
True
Let f = 2.01 - 0.01. Let w = 47 + -56. Which is bigger: w or f?
f
Let u(b) = b**2 + 4*b + 2. Suppose 0 = 6*k - 2*k + 12. Let t be u(k). Are -1 and t unequal?
False
Let s = 6 - 8. Let h be -1*(s + -6)*-17. Let j = h - -954/7. Are -0.1 and j nonequal?
True
Let f be (-6)/3 + 2 - 2. Let j be (1 + 2 + f)*-3. Let m be (-4)/(-15)*j/(-2). Is m < -3/7?
False
Let f = -148 - -1926/13. Let g = 0.1 + 0. Which is smaller: f or g?
g
Let v = 3 - -1. Let f = v + -4.1. Are f and 1 equal?
False
Let l(q) = -q**3 + 9*q**2. Let u be l(9). Suppose u = 4*g - 0*g. Let d = 1/65 - 269/585. Are g and d equal?
False
Let r be (1/5)/((-12)/(-76)). Let n = r + -3/5. Which is greater: 1 or n?
1
Let k = 0.1 + -0.3. Let t be (-72)/63 - (-1)/7. Is k at least as big as t?
True
Let l = 2146/189 + -160/27. Which is smaller: l or 5?
5
Let n(j) = j + 3. Let z be n(-2). Let a(d) = 2*d**2 + 3*d. Let q be a(-2). Suppose 0*c + 1 = x - q*c, 5*c + 2 = 2*x. Are x and z unequal?
False
Let d(u) = u**2 + 12*u + 13. Let k be d(-9). Is -14 equal to k?
True
Let m be ((-3)/(-6) + -1)*1. Which is bigger: m or 0?
0
Let b = 1267/3 + -422. Suppose m - 4*j = -1, -5*j = -m - 2*j - 1. Which is smaller: m or b?
m
Let j = -16 + 10. Let q = 8 + j. Let i be 2*1*(-8)/(-20). Is i bigger than q?
False
Let b be (-1)/3*15/3. Suppose 3*u = -3*i + 9, u - 3*i = 5*u - 8. Is b at most as big as u?
True
Let o = -34 + 37. Is o at most 5?
True
Let v be (-108)/10*12/(-1