uppose -4*k + 22 = -5*l, -r*k + 3*l = l - 19. Suppose 4*u - 4 = 8. Is k less than or equal to u?
True
Let g = -1.9 + 11.9. Which is bigger: g or 2?
g
Suppose 4*s + 3 = r - s, 0 = -r + 4*s + 2. Suppose -i - 5 + 4 = 0. Let o = r - i. Are 2/7 and o equal?
False
Let d = -1 + 0. Let z be (-3)/d - 75/27. Is -3 smaller than z?
True
Let d = -358 + 6084/17. Let n = -5 + 6. Let k = -2 + n. Is d != k?
True
Let u = 1 + -0.7. Let g = 3 - 3. Let v = g + u. Is v bigger than 1/4?
True
Let v be (-1)/(-4) - 0/10. Do v and -2.4 have different values?
True
Suppose -3*h = -15, -2*y + 2*h - 35 = h. Let f = 9 + y. Let v be -2 - (2 + -1 + f). Is v != 3?
False
Suppose -3*l + 3*o = 2*l + 43, 0 = -5*l + 4*o - 39. Is -10 >= l?
True
Let j = -2 - -5. Suppose -j*v - v = 80. Let k be v/(-21) - (-4)/(-6). Which is smaller: 0.3 or k?
k
Suppose -4*y = -2 + 6. Let v be (1/y)/(2 - 1). Let h = -2.6 + 0.6. Is v greater than h?
True
Let d = 32.58 + -33. Let m = d - -0.22. Which is bigger: m or 2/5?
2/5
Let n be ((-4)/(-3) - 4)*(-2 - -1). Do 3 and n have different values?
True
Let u = 8 - 6. Suppose 0 = v + u - 0. Is v >= -1/2?
False
Let o = 8 + -7. Let w = -1 - o. Is w greater than -1?
False
Let d be -6*2/4 - -4. Let w = -4 - -3. Do w and d have different values?
True
Let s be (-1)/1 - (-4)/2. Let t be s + (-7)/3 + 1. Is -1 at most as big as t?
True
Let d = 175 + -183. Is -4 at most as big as d?
False
Suppose -22 = -3*g + 2*a, -2*g + 3*a = -a - 28. Suppose -3*u - 2*n = 6 + 2, -32 = 2*u - g*n. Is -6 at least u?
True
Suppose 0 = -l + 5*l + 4. Let i be l/((-12)/(-34)) - -2. Is i at most -1?
False
Suppose 50 = 2*j + 3*j. Suppose -6*v + j = -v. Let o = -1 + v. Are -2/5 and o equal?
False
Let v = -26 - -27. Which is bigger: v or 0.4?
v
Suppose -5 = v - 4. Let w(t) = -5 - 5 + 12 - 3 - 2*t. Let l be w(v). Which is bigger: -1/5 or l?
l
Let m = 63616/57 - 3364/3. Let l = m + 971/152. Let p = l - 19/24. Which is greater: 1 or p?
1
Let i be 3/(-1) + 141/35. Let d = -3/5 + i. Is 0 at most d?
True
Let w be 26*(-4)/(-72) + -1. Do w and 1 have the same value?
False
Suppose -5*n - 4*l = -3, 0 + 7 = n + 4*l. Let h be 3*((-12)/9 + 1). Is h greater than n?
False
Let s = -132 + 156. Which is smaller: 23 or s?
23
Suppose 0 = 68*g - 62*g - 36. Which is greater: g or 80/11?
80/11
Let j be -1*1*(-12)/6. Suppose 0 = -f + j*f + 6. Which is smaller: -3 or f?
f
Let i(q) = -q**3 + 15*q**2 - 5. Let n be i(15). Let t be (-37 + -1)/(n - -3). Is 19 at most t?
True
Suppose -4*m + 2 = -26. Let o be ((-32)/(-20))/(-4)*-5. Suppose 4 = -4*t - 0*t - o*n, -4*n = 3*t - m. Do t and -2 have the same value?
False
Let k = 12 - 26. Suppose -578*g = -582*g. Which is smaller: g or k?
k
Let l(z) = -3*z - 12. Let h be l(-13). Let b = h - 30. Is -2 at most b?
False
Let q be (-6)/(-20)*12/(-72). Which is greater: q or 1?
1
Suppose -4*f = -5*s - 280 + 72, 5*f - 223 = -3*s. Is f at least 46?
True
Let u = -0.46 - -0.38. Is 0.3 not equal to u?
True
Let j be 2/(-5) + 34/10. Let h be (7 + -1)/(0 - -1). Let k be h/(-10) - 92/(-20). Which is greater: j or k?
k
Let p = 1 + 7. Let b(w) = w**3 + w + 6. Let v be b(0). Let g = p - v. Which is smaller: 0 or g?
0
Let k = 16 - -15. Suppose 20 = 4*y - 4*w, 5*w - 6 + k = 2*y. Is 2/7 not equal to y?
True
Let o = 22 + -15. Let k(i) = -i**3 + 6*i**2 + 7*i + 3. Let s be k(o). Suppose 4*a = -s*g, 0*a - a = -4*g. Which is greater: -0.1 or g?
g
Suppose 0*u = 7*u - 7. Which is bigger: 2 or u?
2
Suppose -3*f = 3*x - 36, 2*x + 0*f - 2*f = 40. Let d = -17 + x. Is 1/16 smaller than d?
False
Let g = -352 + 3517/10. Which is greater: 1 or g?
1
Let f = -6/23 + 53/115. Which is smaller: 1 or f?
f
Let m = -2 - -8. Is 3 at least as big as m?
False
Let t be 2/(-9) + (-2)/9. Let z = -10/63 - t. Let m be (-3)/(-4)*(-2)/6. Which is smaller: m or z?
m
Let i = 61 - -70. Suppose 4*l - i = -3. Let y be l/12 + (-1 - 2). Are -3/7 and y non-equal?
True
Let p = -0.12 - -0.21. Let g = -0.01 - p. Is 4 > g?
True
Let s = -114 + 113. Is s greater than or equal to 1/27?
False
Let i(n) = n + 1. Let f be i(-5). Let a(y) = -y - 8. Let b be a(f). Do b and -4 have different values?
False
Let q = 0.4 - 6.4. Let j = -12 - q. Let a = -3 - j. Is -0.1 less than or equal to a?
True
Let g = 5 + 0. Let r = 4.9 - g. Which is bigger: 0 or r?
0
Let a be 13*(-3 + -2 + 6). Which is greater: 12 or a?
a
Let p = 0.3 + -0.2. Suppose 5*u + 11 = 2*h + 1, 0 = -3*h. Let b = u + -1. Which is bigger: p or b?
p
Suppose -8*m = -3*m + 30. Is m smaller than -20/3?
False
Let s = -18 - -13. Let u = -2 - s. Which is smaller: 0 or u?
0
Suppose 6*a = 2*a + 16. Suppose a = -2*j - 0*j. Let l be -1 - (j + 11/9). Which is smaller: l or 1?
l
Let s = 353/56 - 45/7. Is s greater than 0.1?
False
Let q = -6.969 + -0.031. Does 0 = q?
False
Let r be (-2)/((-4)/84*1). Is 42 < r?
False
Let s be (-8)/(-12) + (-6)/63. Let y be 1*((1 - 1) + 1). Is s less than y?
True
Let g be ((17 - 2) + -3)/2. Which is bigger: g or 7?
7
Suppose b + 2 - 1 = -2*r, -28 = -4*r + 4*b. Suppose -r*l - l = 0. Suppose l = d - 0*d - 1. Which is greater: 1/4 or d?
d
Let f = 19 - 17. Suppose -5 = 2*s - 7. Are f and s non-equal?
True
Suppose 136 = 2*u + 6*u. Which is smaller: u or 19?
u
Let o = -0.7 + 0.3. Let s = 7 - 7.3. Let y = s - o. Which is smaller: -2/5 or y?
-2/5
Let z be -1 - (0/1 + 1). Let r be ((-2)/z + -3)/(-6). Suppose -14*v = -13*v + 1. Is v at least as big as r?
False
Let b be (((-15)/42)/(-5))/((-3)/(-204)). Which is greater: 5 or b?
5
Suppose -5*c = -0*c. Suppose 2*o - 23 - 13 = 4*g, c = o. Is 0.1 >= g?
True
Let q = 2 - -1. Is q at least as big as 2?
True
Let x = 250524/2585 + -15/1034. Let k = 607/5 - x. Let m = k - 24. Which is smaller: m or 0?
0
Let z = -15.09 - -1.09. Which is smaller: z or 0?
z
Suppose 3*u + 2*u - 5 = 0. Suppose t - 12 = 5*t. Which is smaller: t or u?
t
Suppose -5*h + 27 = 3*o, 2*o = 7*h - 3*h - 4. Suppose o*b - 12 = 4*k, -4*k - 1 = -b - k. Which is bigger: b or 3?
b
Let k(l) = -6 + l - 3 + 0. Suppose -15 = 5*o, -o - 69 = -5*t + 2*o. Let j be k(t). Is j != 3?
False
Let y = -8 - -4. Let x = y - -6. Suppose 2 = 4*g - x*g. Which is greater: g or 2?
2
Let m(n) = n**2 - 3*n. Let s be m(4). Let t be (s/2 - 2)/(-2). Is t at most -1/7?
False
Let q = 4.8 + -5.8. Are q and -20 unequal?
True
Let p = -0.7 - -3.7. Let q = 4 - p. Let z = -7.15 - -0.15. Which is smaller: q or z?
z
Let a = -5213/59466 - 1/1749. Which is smaller: a or 0?
a
Let j = -109/144 - -5/16. Which is smaller: 0 or j?
j
Let c = -554/15 - -3436/93. Is 1 bigger than c?
True
Let j = 373/156 + -30/13. Which is greater: -1 or j?
j
Let y be 3 - 3/(434700/4313049). Let p = y - -4323/161. Let w = 1/100 + p. Is w greater than or equal to 1?
False
Let g be 6/2*-1 - -6. Let l be g/(-5) - 556/(-765). Let f = 1/153 + l. Is f less than 2?
True
Let o(p) = p + 3. Let c be o(-6). Let b = c + 8. Is b equal to 5?
True
Suppose -5*t = 5*x + 15, -5*t - 2*x = -0*x + 3. Let j = 129 - 1029/8. Do j and t have different values?
True
Let r = 11557559/80772 - 36/6731. Let c = r + -143. Which is bigger: c or 1?
1
Let x be (68/40)/(1/(-4)). Which is smaller: x or -6?
x
Let y = -5.5 - 0.5. Let j = y - -6.2. Let n be (-2)/(-42) - (-7)/(-21). Is n less than or equal to j?
True
Let c = -5.7 + 10.8. Which is bigger: c or -0.1?
c
Let k be (-2)/3 + 29/3. Is 10 bigger than k?
True
Let g = -6.1 - -6. Is g >= 2?
False
Let u(n) be the third derivative of -n**5/60 - 7*n**4/12 + n**3/6 - 4*n**2. Let j be u(-14). Which is smaller: j or 2?
j
Let q = -103 + 723/7. Which is greater: -0.77 or q?
q
Let j = 10 + -9.9. Which is bigger: 2 or j?
2
Let q = -0.1 - -0.4. Is q <= 1/6?
False
Let m be -2 - (1 + -1 - -1)*-6. Which is smaller: m or 5?
m
Suppose 0 = 2*p - 5*y + 9, -8 = 3*p - 5*y + 3*y. Suppose -2*k - 12 = 4. Let i be (12/(-32))/((-2)/k). Is p bigger than i?
False
Suppose -2*c = 2*c - 12. Do -6 and c have the same value?
False
Let h(z) = -z**3 + 8*z**2 - 7*z - 4. Let l be h(7). Suppose 0 = 3*v + 2*v + 10. Is l equal to v?
False
Let v = -12 + 30. Is v at most 18?
True
Let a be 1/(1 - (-3 - -3)). Suppose 4 = -5*p - 3*n - 0, 0 = -p + 3*n + 10. Let t be (-3)/((-33)/13) - p. Which is bigger: a or t?
a
Let v be ((-3)/(-9))/(4/24). Let l be v/(-8) - (-13)/20. Is l smaller than 0?
False
Let m = 51 + -51. Which is smaller: 3/26 or m?
m
Let d = -26/33 - -376/561. Let g = 115