 r + -0.2. Which is smaller: g or m?
m
Let q(b) = -6*b - 3. Let l be q(5). Let x = -67/2 - l. Which is greater: x or -1?
x
Let l = -40 + 40.073. Which is bigger: 2/5 or l?
2/5
Let u be (-313)/(-44) - (-21)/(-28). Is u > 7?
False
Let n(c) = c - 1. Suppose -r + 16 = 3*r. Let x be n(r). Suppose -b - q = -x*b - 2, -4*b = -4*q + 8. Which is smaller: b or 2?
b
Suppose 1 - 7 = -3*i. Suppose q = -i*y + 12, 4*q - y = y - 2. Suppose -q + 9 = -3*k + 4*j, -1 = -4*k - 5*j. Which is smaller: 2/3 or k?
k
Let q = 7743696 - 1208023049/156. Let b = q + 482/13. Let a = -15/4 - b. Which is smaller: a or 0?
0
Let y be (-1)/2*(-1 - 5). Suppose 4 = y*c - 4*c. Let a(z) = -2*z + 7. Let x be a(6). Which is bigger: c or x?
c
Suppose -3*b = -4*w - 20, 5*b - 3*w = -2 + 17. Let i(x) = -9*x - 3. Let c be i(-3). Let y = c + -49/2. Is b smaller than y?
False
Let j = -88 + 157. Let u = j - 3103/45. Which is smaller: 0 or u?
0
Let a be (10/6)/(12/(-9)). Let z = -2982 - -59627/20. Let w = a - z. Do 0 and w have the same value?
False
Let l be ((-10)/3)/(-5)*3. Suppose -l*v = 2*s + 4 - 6, -4*s - 2*v = -4. Is 1/2 < s?
True
Let x be (-3)/6*2*-1. Let w be 7/x*12/(-14). Do -5 and w have different values?
True
Suppose 2*f - 10 = -3*p + 3*f, -5*p + 26 = -4*f. Suppose 0 = w - p*w. Suppose -5*z = 3*s - 7, 3 = -w*s - 3*s. Are 2 and z unequal?
False
Suppose -2 - 7 = -3*t. Let v be 31/(-11) + (-2)/11. Let y = v + 5. Is t <= y?
False
Let q(i) = i - 1. Let m be q(1). Suppose 3*v - 7 = -1. Let k be (v/(-6)*-1)/(-1). Which is greater: k or m?
m
Suppose -2*t + 2 = 12. Let p = t - -10. Suppose -4*z + 7*z = 2*q - 9, p*q - 5*z = 20. Is 4 at most as big as q?
False
Let m(y) = 2*y. Suppose 3*h = -2*w + 15, -5*w + 3*h = -0*w - 27. Let d be m(w). Suppose -6 = -2*k + 3*q - 4, k + d = -5*q. Which is smaller: k or -3/5?
k
Let m = 0.8 + -0.86. Let y = -0.34 + m. Let l be (3/(-6))/(-1 + -1). Which is smaller: y or l?
y
Let t = 394/7 - 1849/28. Let m = 265/28 + t. Let w = -1.3 - -1.2. Is m smaller than w?
True
Suppose -4*j = -8*j. Is -3/11 smaller than j?
True
Let j be 5/((-1725)/(-9))*5. Which is bigger: j or 0?
j
Let b be 1 + -2 + 0 - -6. Let v = 83 + -91. Let c = b + v. Is c less than -2?
True
Let g = 3.6 - 0.6. Suppose -8 = -5*t - 13. Is g bigger than t?
True
Suppose -x + 2*x - 8 = -2*g, x + 22 = 3*g. Suppose 4*r - 3*z = -6, 2*z + 2 = 3*r + g. Does r = 1/6?
False
Let r be (-7)/(-7) - (1 + -1). Is -2 < r?
True
Let f be (-44)/10 + (-2)/(-5). Let u be (10/(-3))/(18/27). Let p = u + 1. Is p < f?
False
Suppose 0*b - b - 1 = 0. Which is smaller: b or -4/9?
b
Suppose 0 = -4*m + 3*m + 25. Let l = m - 46. Let q be -2*(-2 - l/12). Is 2 smaller than q?
False
Let n(r) = -3 + r + 2 + 5. Let k be n(-3). Let m be (-32)/(-30) + 10/(-25). Which is smaller: m or k?
m
Let s = -4 + 6.5. Let y = s + -3. Let p = -0.3 - y. Is p >= 0.2?
True
Let x be (3/1)/((-63)/(-3)). Which is smaller: x or -1?
-1
Suppose 11 = -3*i + 233. Which is smaller: 72 or i?
72
Suppose 4*t = z + 8, -4*z - 8*t + 3*t = -10. Which is bigger: z or -1/30?
z
Let v be (-2)/30 + 4/6. Let i = v + -7/20. Let a(y) = -3*y**3 - 19*y**2 - 5*y + 6. Let k be a(-6). Is k > i?
False
Let r = -313 - -2519/8. Which is smaller: r or 0?
0
Let i(x) = -x - 7. Let j be i(-6). Let w = -6 - j. Which is bigger: w or 0?
0
Suppose -2*u = -4*u - 8. Which is smaller: 2/9 or u?
u
Let f(t) = -t**3 + t**2 - t + 2. Let o be f(2). Let d(r) = -r + 2. Let x be d(6). Is x smaller than o?
False
Suppose -3*k + 2*k - 8 = 0. Is -6 greater than or equal to k?
True
Suppose -3*d + 4*z - 11 = 0, d - 19 = -2*d - 2*z. Let r be d/5 + 6/(-15). Are 0 and r equal?
False
Let d = -2 - -3. Suppose -4*o = o - 45. Is o less than or equal to d?
False
Let w be (4/(-2))/((-2)/5). Let u be 10/w*(-2)/22. Which is smaller: u or 0?
u
Suppose -6*s + 3*s = -12. Are s and 8 non-equal?
True
Let a = -1 + 4. Let g be 3/(-1) + (2 - -2). Which is greater: g or a?
a
Suppose -x + 10 = 2*h, -2*x = -x - 4*h + 20. Let s be -102 + (2/(-1))/1. Let w = s - -729/7. Which is smaller: w or x?
x
Suppose h + 4 = -x, x - 1 = 2*h - 2. Let t be 1/(-2)*(x + 0). Let y(b) = -b**3 + 14*b**2 - 25*b + 9. Let d be y(12). Which is smaller: d or t?
d
Let w = 20 + -37. Let s = 7 + w. Which is smaller: s or -0.1?
s
Suppose -2*p + 5*x + 22 = 3*x, -x = -3*p + 31. Let l be (-42)/(-10) + (-2)/p. Let k = -27 + 29. Which is bigger: k or l?
l
Let p = 0.03 - 3.03. Let t = -3.2 - p. Let v = 0.2 + t. Which is bigger: v or 1/3?
1/3
Let z = 115.1 - 115. Is -25 bigger than z?
False
Let z = -15/7 + 89/35. Which is bigger: -0.24 or z?
z
Let t(l) = -l**3 - 4*l**2 - 2*l + 2. Let v be t(-2). Let n be (v - -3) + 11*1. Suppose -2*b = b - n. Is b smaller than 4?
False
Let p = -406/171 - -24/19. Which is bigger: -2 or p?
p
Let p be -7*(-3)/(9/(-3)). Is -6 > p?
True
Let u = 1 - -1. Let t = u + -3. Is -6/7 less than t?
False
Let m(s) = -s**2 - 4*s + 4. Suppose 2*w + 4 = -6. Let y be m(w). Suppose h = 6*h + 10. Is h at most y?
True
Suppose 5*w + 212 = -2*y, w - 2*w - 64 = -5*y. Is -44 bigger than w?
False
Suppose 4*f + 5*w - 13 = -36, -3*w = f + 11. Let p be (-3)/(-9)*0 - 0. Suppose p = 4*d + 9 + 3. Are d and f equal?
False
Let i = -57872/2261 + 486/19. Let c be 1/2 - 2182/2380. Let r = i - c. Which is smaller: r or -2?
-2
Let n be (-4)/(-10) + (-1635188)/1620. Let o = n - -1009. Are 0 and o equal?
False
Let g be (-38)/(-6) + 2/(-6). Suppose -5*v + 0*v = 10. Let d be v*(-1)/(g/(-27)). Is -9 >= d?
True
Let b(j) = 4*j**3 - j. Let u be b(-1). Let i be 0 + (2 - (-1 - u)). Let t be 0 - (2 + 9/(-4)). Which is greater: t or i?
t
Suppose -3*s - 18 = -5*m, 0 = 3*s - 7*s + 4*m - 16. Which is greater: 1/36 or s?
1/36
Let q be 1 + ((-27)/((-1)/1) - -4). Is q at most as big as 32?
True
Let k be 47/4 + (-4)/(-16). Suppose -1 = -4*p - 2*a + 5, -k = -p - 4*a. Let j be 1/2 - 13/10. Is p at most j?
False
Let u be (-12 - -4) + 4 + -3. Let l(z) be the second derivative of -z**3/6 - 7*z**2/2 + 2*z. Let q be l(u). Is q >= -4/9?
True
Let n = -1254 - -216944/173. Which is bigger: 0 or n?
n
Let g = -5 - -8. Suppose -2*v + 42 = v. Let k = 17 - v. Is k smaller than g?
False
Let i = -112/533 - 145007/7462. Let k = -39/2 - i. Let z = 0.1 - 0.1. Is k greater than or equal to z?
True
Let h be (-4 + 1 - 1) + 6. Let q = -17 - -27. Suppose 0 = -h*y + q - 4. Is y <= 4?
True
Let g be 4*(-17 - -2)/(-3). Is 20 at most as big as g?
True
Let i = -3/107 + 247/1177. Suppose -v + 3*b = 13, v + 2*v + b - 11 = 0. Suppose 0 = -4*l + v*l. Are l and i equal?
False
Let v(i) = -i**2 - 12*i + 8. Let m be v(-13). Do -6 and m have different values?
True
Let o(z) = -z**2 + 6*z + 7. Let w(b) = -2*b - 1. Let d be w(-3). Let t be o(d). Let a be (-5)/25 + t/10. Which is greater: -3 or a?
a
Suppose 4*r + 0*r - 20 = 0. Suppose -r*a = 4*y - 5, 5*a - 1 = 4*y + 4. Let b be 0/1*(-1 - y). Which is smaller: b or 1?
b
Let a = -2 - -1.1. Let m = a + 0.4. Which is smaller: m or 0?
m
Suppose -23 = -5*u - 2*r, -u + 5 = 2*r + 2. Is u at least 3?
True
Let i(u) = -u**3 - 2*u**2 - u. Let j be i(-2). Let q be 104/(-154) - j/11. Which is smaller: q or 2?
q
Let m = 8 + -30. Which is greater: m or -23?
m
Let w(j) be the second derivative of -j**5/20 - j**4/4 - 2*j**3/3 - 2*j**2 - 4*j. Let b be w(-2). Which is smaller: -3 or b?
-3
Let u be ((-4)/20)/(1*1/(-10)). Let j(o) = o**3 + o**2 - o + 2. Let a be j(0). Let x be 3/5 - a/(-5). Which is bigger: u or x?
u
Let w = -16 - -17. Is w at most as big as -0.14?
False
Let t = 2.7 - 2.5. Are -1.2 and t non-equal?
True
Let t = -50/39 + 8/13. Which is smaller: t or 26?
t
Let w be 4*1/(45/4). Let n = 11791/45 + -262. Let m = w - n. Is -1 smaller than m?
True
Let a be (-12)/3*(-51)/(-4). Let q = 7683 + -38669/5. Let f = q - a. Which is bigger: 1 or f?
1
Let y = -13 - -24. Are y and -1 non-equal?
True
Let c = 92/235 - -2/235. Let a = -2 - -2. Let d = -0.1 - a. Is d at least c?
False
Let t(y) = -2*y + 10. Let a be t(5). Let p be (-2)/4 - (-21)/24. Is a != p?
True
Let r = -49 - -440/9. Is 0 at least r?
True
Let h = -0.2 + -5.85. Let v = 6 + h. Which is smaller: 0.1 or v?
v
Let t = 2 - 2.1. Let p = -1 + -6. Let w be (-1 + -1 - 1)/p. Which is bigger: w or t?
w
Suppose -2*t - t = 24. Which is greater: t or -1?
-1
Suppose 2*f + 5*b = 0, -4*f + 22 = 3*b - 4*b. Suppose -5*q + 20 = -q. Is f <= q?
True
Let o = 122/77 - 32/2