 Is 8 >= g?
True
Let f be (4/(-20))/((-1)/2). Is 4 at most f?
False
Let w = 0.23 - 0.03. Let v = w - 0.2. Are 0 and v equal?
True
Let i be ((-12)/(-9))/((-4)/(-9)). Suppose -i*z + 4 = -38. Suppose 2*s - z = -6. Which is smaller: s or 3?
3
Let a(s) = -s - 4 - 13*s**2 + 3*s + 14*s**2. Let p be a(-3). Which is smaller: p or 4/15?
p
Let i(k) = k + 15. Let x be i(-6). Is x less than or equal to 7?
False
Suppose -4*b = -7 - 1. Let x be (-24)/(-30) - b/(-10). Let o be 2/22*13 - x. Which is smaller: o or 0?
0
Let w(h) = h**3 + 6*h**2 - 6*h + 5. Let a be w(-7). Suppose -u + 3 + 1 = 0. Let n be u/a + 3/2. Is -1 > n?
False
Let d = -0.7 - 1.3. Let m = 0 - 0. Suppose 1 = -m*f - f. Is f at least d?
True
Let s = -5.3 - -6. Let h = s + -1.7. Which is greater: 4/5 or h?
4/5
Let w be (1/31)/((-2)/4). Let r be (-4 + 4)/5*(1 - 2). Which is smaller: r or w?
w
Suppose -3 - 7 = -5*u. Let a = u - 2. Let z be 3*(-4)/5 - -2. Is a > z?
True
Let w = 0 - -1. Which is smaller: 1/6 or w?
1/6
Let a = 0 + 2. Suppose -a*t = t. Let d be (-40)/(-75) + (-1)/3. Which is smaller: t or d?
t
Suppose -2 - 3 = -n. Suppose -n*j + 12 = -6*j - 5*u, u = 5*j - 18. Let c be 0 + (6/9)/(-1). Do c and j have different values?
True
Let c(h) = h**2 - 7*h + 5. Let n = -10 + 16. Let f be c(n). Do -3 and f have the same value?
False
Let j be (2/4)/((-4)/8)*2. Suppose -2*d = -6*d + 16. Suppose d = 5*m - 6. Is m less than j?
False
Let u = 4 - -2. Let n = 7 - u. Are n and 2/31 equal?
False
Let m be ((-136)/9 - -1) + (-16)/(-144). Is m at least -12?
False
Suppose 3*r + 2*r - 125 = 0. Suppose 3*i - r + 8 = 2*z, -2 = -2*i - z. Let m = 5 - i. Is m >= 2?
True
Let x = 0.26 + 5.74. Is x less than or equal to 2/13?
False
Let q(y) = -2 - 4 + y - y**3 + 0 - 3*y**2 + 9*y**2. Let h be q(6). Suppose 5*x - 3*k + 0*k = 5, 14 = -2*x - 2*k. Which is greater: x or h?
h
Let g = 1.3 - 12.5. Let d = g + 11. Is 5 less than d?
False
Suppose 2*y - z - 3 = -0, -5*z + 15 = 0. Suppose 4*o = -k - 3, 0 = y*k + k - 4*o - 8. Does 0 = k?
False
Let a be 3/(-1) - 543/(-189). Let z = a + 1/63. Is 0 != z?
True
Let x = -33 + 33.1. Which is smaller: x or 5.6?
x
Let k = 0.58 - 0.5. Let l = -1.08 + k. Let g = 0.1 + 0. Which is greater: g or l?
g
Let i = 7.1 + -7. Is i at most as big as -52?
False
Suppose 2*f - 30 = -4*x, -f - 3*x = 4*f - 40. Suppose 2*y + f = -1. Do -3 and y have the same value?
True
Let l be (-2)/((-150)/(-35) - 4). Which is smaller: -9 or l?
-9
Let i = -0.1 - -0.3. Let j be 2/5*(7 - 2). Suppose -m = -j*m. Is m less than i?
True
Let d = -7 - -8. Suppose 2*l - 9 = -5*x, -2*x - x + 1 = -l. Is l > d?
True
Suppose d = -3*d - 1316. Let v = d - 133. Let y be (-2)/7 + (-216)/v. Which is greater: y or 0?
y
Let a be (-3 - 62/(-22))/(-1). Which is bigger: 0 or a?
a
Let s be 4/(-18) - 94/(-18). Suppose -f + 1 = -s*k, -5*k - 1 + 5 = 4*f. Let q be 1*(f + (-3)/(-6)). Which is greater: q or 1?
q
Let c(b) = b - 12. Let j be c(4). Suppose 2*u - k + 4*k = -10, -3*k = -u - 14. Do u and j have the same value?
True
Let y be 8 + 1 + (2 - 2). Let b be 1/y*3*-3. Is -3 at least as big as b?
False
Suppose -5*m - 5*t + 5 = 0, 0 = -3*m - 5*t + 1 + 2. Which is bigger: -4/35 or m?
m
Let m(a) = a**3 + 3*a**2 - 4*a. Let j be m(-4). Suppose j = -3*u, 0*d - 4*u = -d. Is 1 >= d?
True
Suppose -6*l + 2 = -4*l. Is l at least 1/5?
True
Let z be (-15)/(-170)*(20/12 + -3). Which is bigger: z or 0?
0
Let q = 1 - 2. Let y = 8 - 5. Suppose -4*a = a + y*d + 10, 3*a - 3*d = -6. Which is bigger: q or a?
q
Suppose 0*l - 4*l + 8 = 0. Do l and 6 have different values?
True
Let h = 412/77 - 62/11. Are -12 and h equal?
False
Let i be (4/(-4))/(-1) + -3. Suppose -4*s - 6 = 2. Do i and s have different values?
False
Suppose 0 = -o - o - 3*q + 20, -o - 2*q = -12. Suppose -5*s + 66 = o*c, 3*c - c = 5*s - 42. Let m be (-4)/18 - s/(-45). Are 0 and m unequal?
False
Let s = 15 + -15. Does s = -2?
False
Let a be (-1)/(-4) - 28/(-16). Suppose 0 = -o - a*o + 12. Is 3 >= o?
False
Suppose 2*h + t = 3, 2*h - h + 4*t = 19. Is -3 < h?
True
Let k = -0.6 - -3.6. Let d(x) = 6*x. Let c be d(4). Let a = -49/2 + c. Is k < a?
False
Suppose -3*r - 10 = 4*p - 35, 3*r - 2*p - 1 = 0. Suppose k + 8 = r*k. Is k at least 4?
True
Suppose -g = -2*g + 10418. Let m = 312571/30 - g. Let i = -5/6 + m. Is -1 smaller than i?
True
Let g = -895/33 - -192/11. Do -11 and g have the same value?
False
Let m be 6 + (2 - 1) + 1. Suppose 4*s - m = -0. Let k be (4 - 7)/((-3)/s). Are 1 and k equal?
False
Let f(p) = 8 - 8*p + p**2 + p - 7. Let u be f(7). Let v be 0 + (-3)/(-2) + -1. Is v at most as big as u?
True
Let s = 2 + 0. Suppose 2*d - 11 = -3. Suppose d*r + a + 4*a = -21, 0 = 3*r + 2*a + 7. Is r less than s?
True
Let a be (-6846)/245 - (-2)/(-10). Let s = 28 + a. Let h be (0/2*1)/1. Which is smaller: s or h?
s
Let p(x) = -4*x - 29. Let w be p(-8). Which is smaller: 4 or w?
w
Suppose -54 = -8*u - 302. Are u and -29 unequal?
True
Let r = -1.2 - 4.8. Let a = 6 + -11. Let g = a - r. Is g at least 1?
True
Let o be 1*-1 - (-2)/6. Is 0 less than or equal to o?
False
Let k be ((-3)/6)/(3/(-30)). Suppose -j - 2 = -k. Is j equal to 2/7?
False
Let x be 50/(-164)*(-88)/(-195). Let a = -2/123 + x. Is a at least -1?
True
Let s = 15 + -18. Does s = -1?
False
Let x = -17 + 23. Which is greater: x or 0?
x
Let q be (-10)/65 + 4/26. Suppose q = -0*l + 5*l - 25. Which is greater: l or 1?
l
Let z(v) = -10*v**2 + v + 2. Let y be z(-2). Let m be (3/(-2))/(12/y). Do m and 7 have the same value?
False
Let p = 125/4 + -32. Let h(c) = -c - 1. Let b be h(-1). Suppose 3*j - 4*w - 9 = b, -4*w - 18 = -6. Which is smaller: j or p?
j
Let p be (-4)/(-18) + ((-210)/(-27) - 1). Which is bigger: 11 or p?
11
Suppose 0 = -5*a + 12 + 38. Are a and 8 equal?
False
Let b = 158/35 - 24/5. Let t = 4018/15 + -268. Is b < t?
True
Let h be (-2 - -1) + 7001/(-1). Let b = h + 441116/63. Let u = 8/21 + b. Is u at most -1?
False
Let v = 58 - 26. Is v at least as big as 32?
True
Let u be ((-5)/(-3) + 1)/(4/6). Suppose 0 = -5*s - 0*s + 15. Is s at most as big as u?
True
Let z be (11/3729)/(2/4). Which is greater: 1 or z?
1
Suppose 5*a - 17 = -m, 3*a + 2 - 1 = 5*m. Suppose 5*d - 9 = -2*n + 2*d, 0 = -n - a*d + 6. Suppose v - 9 = -5*o + 7, 3*v = n*o - 6. Is v at most as big as 1?
True
Let p = 8 + -4. Suppose 0 = -p*u + u. Is u > 0?
False
Let a = -3.2 + 18.2. Let y = a - 14. Which is smaller: y or -0.4?
-0.4
Let b(v) = -v**3 - 6*v**2 + 5*v - 9. Let t be b(-7). Suppose -t*j - 3*r - 5 = 1, 2*j + 5*r = -10. Which is smaller: 2 or j?
j
Let c = -53.34 - -53. Is c > -0.1?
False
Suppose -f + 2 = 4. Let r = -40 - -43. Let q be (0/f)/(1 - r). Do 0 and q have the same value?
True
Let i(k) = k - 2. Let f be i(1). Let c = -271/9 + 30. Is c <= f?
False
Let a be (-14)/21 - (-60013)/141. Let y = 425 - a. Is 1 >= y?
True
Let h = 916 - 966.08. Let b = 53 + h. Let w = -0.08 - b. Are 0.1 and w non-equal?
True
Let x = 35 + -15. Suppose -x = -2*g - a, -5*a = -5*g + 18 + 17. Let s be 2*(1 - g/(-6)). Which is smaller: s or 4?
4
Let v be 1/4 + (-33)/(-12). Let l = 2 - 13. Let t = l - -13. Are v and t non-equal?
True
Suppose 8 = 2*x + 2*x. Let w(f) = f**2 - 4*f + 1. Let g be w(x). Which is smaller: g or -4?
-4
Let b be (-1)/(-2)*(-1 + 3). Let r be -2 - -1 - 1/(-3). Is b at least as big as r?
True
Let w(y) = 51*y**3 - y**2 + 2*y - 1. Let m be w(1). Suppose 5*j - m = -4*o, 2*o = -2*j - 2*j + 36. Which is smaller: j or 1/4?
1/4
Let d(s) = 10 - 4*s**2 - 9*s**2 - 2*s + 13*s**3 - 12*s**3. Let n be d(13). Are -15 and n unequal?
True
Let j be 2 + 1 - 1 - 1. Let o = -13/3 + 49/12. Is j less than o?
False
Let p = 6 + -3. Let t(u) = -4*u - u**3 - 3 + 2*u**p - 6 - 5*u - 9*u**2. Let x be t(10). Which is smaller: -2/9 or x?
-2/9
Let b be ((-7)/21)/(3/117). Which is smaller: b or -15?
-15
Let j be (-12)/(-30) - (-68)/(-120). Is j at least -0.3?
True
Let q = 12 + -9. Let l = q + 1. Which is smaller: l or 1?
1
Let s = -68 + 68. Is 2/123 less than or equal to s?
False
Let n = -1361 - -72131/53. Is n smaller than 0?
True
Let d be 8*(2/(-12) - (-8)/12). Are d and 0 non-equal?
True
Let h = -0.54 - -0.04. Let x = -0.55 - h. Let i = -0.65 - x. Which is smaller: 0 or i?
i
Let g = 13 - 38/3. Suppose 0 = 2*j + j + 6. Let y = g + j. Which is bigger: y or -1?
-1
Let j(y) = -y**3 - 5*y**2 + 2*y. Let c be j(-5). Is -10 <= 