 16/40 + 4/15. Is b < q?
False
Suppose n = -2*y + 3*y - 10, -4*y = 2*n + 32. Let x be (-2 - 1)*8/n. Let w be x*1*(-4)/(-32). Which is smaller: 2 or w?
w
Let t = -203/4 - -51. Is t > -1?
True
Let g be -2 + 0 - (-6 - -4). Suppose -d - d = g. Which is greater: d or -5/2?
d
Let r = -0.6 + -0.4. Which is bigger: -8 or r?
r
Let g = 0.193 - 0.12. Let m = 4.173 - g. Let p = m - 4. Is p bigger than -5?
True
Let m be (2/(-6))/(83/(-6)). Let w be ((-1713)/1245 - -2) + -1. Let u = m - w. Which is smaller: 1 or u?
u
Let g be (-4 - (1 + (-117)/24))*1. Are -2/7 and g nonequal?
True
Let s = -4/33 - 6/11. Suppose -o - 3 = -2*v - 4*o, -v + 5*o = 5. Which is bigger: s or v?
v
Suppose 15 = 5*y - 5*q, 2*q = -2*y - y - 11. Let p = 1104139/11960 - 3681/40. Let g = p - 5/23. Is g at least y?
True
Suppose 14 = 2*k + 2*k + 2*n, 3*n = 4*k + 1. Is 2 at most as big as k?
True
Let f = 0.8 - 1. Let l = f + 0.4. Let j = l - 0.3. Is j >= -0.1?
True
Let j be ((-1)/2)/1 - 0. Suppose 4*p + 0 + 10 = -2*d, -4*d + 5*p = -6. Which is bigger: d or j?
j
Let g = 2/43 + -79/774. Let f(o) = -o**2 + 4*o - 3. Let p be f(3). Which is bigger: p or g?
p
Let c = -6 - -6.3. Let w = -0.1 + c. Let s = 0 - w. Which is greater: 1 or s?
1
Let b = 16 - 13. Suppose o = 4*n - 5 - b, 19 = -n - 5*o. Let l be 2/7 - (-13)/(-21). Which is greater: n or l?
n
Let k(q) = 2*q - 22. Let x be k(7). Which is smaller: 3 or x?
x
Suppose -j + 12 = -0*j. Let l = -27 + 39. Are l and j unequal?
False
Let n = 2 - 11. Let j = n - -9.3. Which is smaller: 1/3 or j?
j
Let f = -722.11 - -730. Let p = 0.11 + f. Which is bigger: p or -1?
p
Let i be 4/(-6) + (-5)/(-3). Let w be (-1733)/(-1245) + 3/(-3). Let b = w + 2/249. Which is bigger: i or b?
i
Let y = -0.04 - -1.44. Let h = 5.6 + y. Let r = -9 + h. Is 0.1 != r?
True
Let p be 18/(-12)*2 - (-10 - 1). Which is smaller: 9 or p?
p
Let o = 152/5 + -30. Let f = 97 - 98. Which is smaller: f or o?
f
Let b = -18 - -31. Let o = b - 9. Let k = o - 6. Is -4 <= k?
True
Let y be 0 + 2/5*1. Which is greater: y or 1?
1
Let t = 2 - 3. Let q = t + 2. Let r(i) = -i - 1. Let h be r(q). Is -1 at most as big as h?
False
Suppose 0 = 14*a - 12*a + 2. Let z be (-4)/(-6) + (-61)/87. Do a and z have the same value?
False
Let o = -15 - -19. Suppose -o*h = -16, -13 - 5 = -3*i - 3*h. Which is greater: -0.06 or i?
i
Let y = 407 - 3647/9. Is y at most 3?
True
Suppose -4*c + 5*g = -7, -8*g = -5*c - 3*g + 10. Let r be 7/c - (-5)/(-15). Let k be -2 - 5/(-2 + 1). Do r and k have the same value?
False
Let r(a) = -a**2 + 2*a. Let z be r(1). Which is bigger: z or -2/111?
z
Suppose 0 = -5*t + 3*t + 2. Suppose -t = 3*f + 2. Let s be 13/15 - 0 - 1. Which is bigger: s or f?
s
Let q be (-12)/(-9)*6/4. Let l = 1 - q. Let a be (-1 + 1)*(l + 2). Which is smaller: a or 2/5?
a
Suppose 2 = 2*z - 4*u + 46, 4*z - u = -116. Is -30 bigger than z?
False
Let h be ((-3)/1)/(3/(-2)). Suppose -3*c - 5*v = -6, c = -0*c - 3*v + h. Is 4/7 bigger than c?
False
Let l be (8/4 - 3)*-3. Are 2 and l non-equal?
True
Let z = 0 - 0. Let f = 15 + -16. Let u be f/(1/2) - 4. Which is smaller: u or z?
u
Let r = 3396/13 + -261. Which is bigger: 1 or r?
1
Let p be -3*-1*8/(-228). Which is greater: 0 or p?
0
Suppose -2*n - 8 = 2*k + n, -n = 2*k + 4. Which is smaller: k or -6/13?
k
Suppose -4 = -2*u + 2*r, -1 = 2*u - 5*r - 11. Suppose u*z - 16 = -4*z. Suppose z*j = -15 + 3. Is j not equal to -3?
False
Let a = -4 - 0. Which is bigger: a or -11/4?
-11/4
Let n be (4/96)/(4/8). Let d(w) = w**2 - 7*w + 6. Let x be (-19)/(-3) + 3/(-9). Let y be d(x). Which is bigger: y or n?
n
Suppose -j + 4*q - 6 = q, -j - 4*q = -1. Let l = 8 + -11. Is j <= l?
True
Let h = -6 - 20. Is -26 at most h?
True
Suppose -4*v + 18 = -2*v. Let l be (-2)/(-3) + 30/v. Are 4 and l equal?
True
Let a be 208/7 + 4/14. Suppose 2*f = -3*f + a. Is f >= 6?
True
Suppose 0 = -5*q + 74 - 24. Suppose -5*p = q - 0. Let v be -2*(5/p)/(-5). Which is greater: v or 0?
0
Suppose 9 = 2*m + 3*q + 2, 13 = 2*m - 3*q. Suppose 4*r + 3*g = -9, -4*r + 0*r = -m*g - 15. Which is bigger: 1 or r?
1
Let w = -0.7 + 9.7. Let l = w + -13. Let z = 0.1 - 0. Which is smaller: z or l?
l
Suppose -5*o + 20 = -5*a, 2*o - 23 = 5*a - 2*o. Let q = 9 + -16. Is q less than or equal to a?
True
Let f(o) be the first derivative of -o**2 + 2. Let t be f(-3). Suppose -3 = -2*b + y, 5*b + 0 = -2*y - t. Is 2/5 bigger than b?
True
Let x(h) = -h**2 - 3*h + 16. Let s be x(-3). Which is greater: s or 12?
s
Suppose -42 = -10*x + 13*x. Is -1 at least x?
True
Suppose 4*z = -1 - 3. Let f be (-130)/(-8) + z/4. Which is bigger: 17 or f?
17
Suppose 3 = -3*d + 4*d. Let o be 0*(-1)/d + 1. Let c be -2*1*o/2. Is c smaller than 0?
True
Let o be 304/100 - -1 - (2 - -2). Let c = -3 - -3. Which is smaller: o or c?
c
Suppose -3*f + 3*g - 48 = -12, 3*f + 4 = -5*g. Let l be f/(-4) + (-6)/(-2). Suppose -4*b - 16 = -4*i, -l*i + 8 = -2*i - b. Is i less than or equal to 2?
True
Let z = -727 - -3624/5. Let o be 2/2 + (-1 - 1). Which is smaller: o or z?
z
Let h be (-2)/8*3/((-9)/(-111)). Which is bigger: h or -8?
-8
Let k = 0.1 - 4.1. Let j = -1.4 - -0.2. Let d = 0.2 + j. Which is smaller: k or d?
k
Suppose 0 = -3*m - 3, -4*i + m + 13 = -20. Suppose 0 = 2*q - 4*o - i, 0*q - o - 16 = -4*q. Let n = q + -5. Is -2 smaller than n?
True
Let g = -382 - -5728/15. Suppose -8 = -c + 9*c. Are c and g non-equal?
True
Let t(a) = a**3 + 4*a**2 + 4. Let f be t(-4). Is 2 greater than f?
False
Suppose -16*l + l + 45 = 0. Suppose -s + 4 = -0*s. Is l bigger than s?
False
Suppose -7*k = -0*k. Do 3/20 and k have the same value?
False
Suppose 2*p - 2*l = 0, 3*p + 4 = 4*l - 0. Suppose -p = -0*d + 4*d. Suppose b + 2*b = 5*m - 23, -16 = -4*m. Is d < b?
False
Let b(g) = 2*g + 17. Let p be b(-8). Are p and 0 unequal?
True
Let k = 0.135 + -0.065. Which is bigger: -0.04 or k?
k
Let m(s) = s - 2. Let u be m(5). Let w be 4/(u/((-6)/(-4))). Let v = 2 - w. Which is greater: -1/6 or v?
v
Let r = -82 - -78. Which is bigger: r or -17?
r
Let l(m) = -m**2 - 4*m + 3. Let q be l(-5). Let w be ((-1)/(-6))/(q/(-9)). Suppose 0 = -3*i - 3 + 9. Which is bigger: w or i?
i
Suppose -9 = -2*d + 25. Let l be d/5 + (0 - 3). Suppose 2*b - 5*a = -20, a - 8 = b - 4. Do b and l have different values?
True
Suppose 0 = 6*h - 3*h - 9. Let o be h/(-6)*(1 - 1). Which is smaller: 1/18 or o?
o
Let y = 2 - 1.97. Let j = 0.7 - 0.6. Is y greater than or equal to j?
False
Let a be (-4)/18 + (-4)/(-18). Suppose a = -y - 3*u + 20, -y + u + 3*u = 8. Is 9 < y?
False
Suppose -3*d + 0*w = -5*w - 12, 2*d + w = -5. Do d and 5/13 have the same value?
False
Suppose 0 = -4*j + 76 + 4. Suppose 4*p - j = -p. Let b = -5 + p. Is b <= 2/7?
True
Suppose 15 = 5*f - 0. Suppose -d - 4*h + 1 = 5, 2*d = -f*h - 3. Which is smaller: 1/6 or d?
d
Let j = 89/280 - 3/10. Is 0 < j?
True
Suppose 0 = -h + z - 1, 4*h + 2 = z + 1. Which is smaller: -1/15 or h?
-1/15
Let t = -4593915/11 + 417094. Let o = t + 535. Is 0 equal to o?
False
Let v(y) = 2*y - 22. Let k be v(9). Let g be (14/k)/((-15)/6). Which is smaller: 1 or g?
1
Let g be (-580)/3 - ((-42)/18)/7. Is -194 > g?
False
Let o be 5*(0 - 2)/(-2). Suppose -10 = -2*z - o*s + 3, -4*z - 14 = 2*s. Let k be (-4)/z - 64/114. Which is smaller: 2/5 or k?
k
Let l = 2.7 - 2.8. Let r be 1/4*(4 - 0). Let f be r - (-1 + (-12)/(-7)). Is f greater than or equal to l?
True
Let a(v) = -v**3 + 12*v**2 + v - 12. Let y be a(12). Let z = 4 - 0. Which is bigger: y or z?
z
Suppose -4 = 4*z, -4*p - 7*z = -2*z + 1. Suppose 0 = -2*l + 1 + p. Which is greater: l or -2/21?
l
Let r = -148/365 - -2/365. Which is greater: r or -0.23?
-0.23
Let d = -2.3 + 24.3. Let f = -34 + d. Is 0 greater than or equal to f?
True
Let q be ((-8)/20)/(-1 - (-2)/5). Are 7 and q non-equal?
True
Let n = -6 + 5. Let i = n + 5. Is -2/7 at most as big as i?
True
Suppose -6*g + 4*g = 4. Suppose -5*b + 5 = -0*b, 3 = -5*w - 2*b. Which is smaller: g or w?
g
Suppose 5*x - 6 = -3*r, -4*r = 3*x - 0*x - 19. Suppose -5*w + 2*w - 3*i = -33, 3*w - 5*i - 73 = 0. Let j be -1 - -3 - w/r. Is j < 1?
True
Suppose 5*p = -5*u - 60, -8*u + 3*u = 3*p + 70. Which is smaller: u or -16?
u
Let d = 4 - -5. Let o be (d/2)/3*60. Let z be (-3)/2*8/o. Is 0 at least z?
True
Suppose 0 = -3*l - l + 52. Suppose -3*u + 1 = l. Is u > -4?
False
Suppose -4*r + 3 = -1. Is r > 3?
False
Let j be 35