t -2/59?
False
Let b = -0.22 - -0.3. Let f = 1.92 + b. Which is smaller: f or 1/5?
1/5
Let m = -2 + 3. Let o be (-1*(-2 - -5))/m. Let h be 4 + -6 - (2 + -2). Is o not equal to h?
True
Suppose 22 = 3*l + 1. Let g be l/3 + 20/30. Let p = g - 0. Is 3 less than or equal to p?
True
Let g be (5 - 1) + -2 + 0. Let i be ((-2)/(-3))/(g/3). Which is bigger: 2 or i?
2
Suppose -3*f + 4 - 16 = 0. Let v(c) = c**3 - 3*c**2 - 2*c + 3. Suppose -4*r = -0 - 8. Let q be v(r). Is q < f?
True
Let k = 469/10 - 95/2. Is 2 equal to k?
False
Let b(l) = 2*l**2 + 7*l + 6. Let p be b(-4). Suppose -2*u + 4 + 0 = q, u = 1. Suppose -3*f = q*f - p. Which is greater: f or 1?
f
Suppose 2 + 6 = 2*v. Let h(o) = o**3 - 3*o**2 - 6*o + 6. Let b be h(4). Let t = b - -7. Which is bigger: t or v?
t
Let g = 14.1 - 13. Let u = 0.1 - g. Is u smaller than -1?
False
Suppose 2*t = 5*t. Suppose t = 2*a - 5 - 5. Is 5 less than or equal to a?
True
Suppose 2*q - 15 = -q. Let p be (6/q)/(2/5). Is 1/2 at most as big as p?
True
Let n = -33 - -56. Is n <= 0.1?
False
Let y be 60/9 + (0 - 0). Is 7 smaller than y?
False
Let n = 0.337 - 0.137. Are -4/7 and n unequal?
True
Suppose -12*b + 36 = -8*b. Which is bigger: b or 3?
b
Let f be (-2)/(-6) + (-10)/(-6). Let l be 27/84 + ((-21)/12)/(-7). Which is smaller: f or l?
l
Let b be 1*-5 + -1 + 2. Suppose 0 = 2*v - 1 - 5. Let n = v + b. Is -1 less than n?
False
Let x(k) = -k**3 - 4*k**2 + 4*k - 6. Let r be x(-5). Which is bigger: r or -2/87?
-2/87
Suppose 5*h - 22 = -2. Suppose -2*g - 2*g - 20 = 0, -4*a + 4*g + 28 = 0. Let r = 0 + a. Is h bigger than r?
True
Suppose 2*n + 6 = 4*g, -3*g = g + 4*n + 24. Let j be 10*3/(-3 - 0). Let l be 4/j*(-3)/6. Is g <= l?
True
Let k(l) = l**3 + 2 + l**2 + 6*l**2 + l + 5*l. Let r = 18 - 24. Let m be k(r). Which is bigger: 3/5 or m?
m
Suppose 3*k - 2*k + 10 = 0. Let u = -7 - k. Suppose -3*s - u = -0. Is -2/5 at most as big as s?
False
Suppose -j + 1 = c - 2*j, -3*j = 6. Which is smaller: -4/7 or c?
c
Let w(q) = -23*q**2 - 1. Let b be w(-1). Let r = -418 - -883/2. Let j = b + r. Which is greater: 0 or j?
0
Let d be ((-4)/6)/(6/27). Is -4 equal to d?
False
Let k = 31/4 - 19/2. Is -5 < k?
True
Let h(u) = -6*u**3 - 2*u**2 + 2. Let s be h(1). Let d be (7/1)/1 - 1. Suppose 0 = -2*f - 2*n - d, -f - 2*n - 18 = 3*f. Do f and s have the same value?
True
Let b = 6 + -11/2. Let a be 2/6 + (-22)/(-6). Suppose 5*i + 12 + 3 = -4*l, a*i + 12 = -4*l. Which is bigger: l or b?
b
Let v = -1 + 1. Let l = 3 - 1. Suppose -l*j + 6*j = -4. Is j >= v?
False
Let h(w) = -w**2 - 6*w + 15. Let o be h(-6). Is 14 greater than or equal to o?
False
Let b = -5 + 4. Let w = 0.9 + b. Let c = 0 - w. Which is bigger: c or -2?
c
Let t = 1.1 - 1. Let x = -70 + 70. Which is greater: t or x?
t
Let l = 4 + -2. Suppose -l*q - 4*b + 4 = 16, -4*b - 4 = q. Let x be (-18)/q + (2 - 3). Which is bigger: 2 or x?
2
Suppose 5*d - 3*n - 10 = 0, 8*d = 3*d - 2*n + 35. Which is smaller: d or 7/2?
7/2
Let g = 97.91 - 84.7. Let u = -0.21 + g. Which is smaller: u or 0?
0
Let o = -0.4 - -0.5. Let b = -11 - -11.28. Let y = -0.08 + b. Is y smaller than o?
False
Suppose -8 = -4*y - 0*y. Suppose 6 = y*b + 4. Let p be (0/(1 - -1))/(-2). Is b > p?
True
Let j(f) = -f**2 - 8*f - 6. Let c be j(-7). Which is bigger: 5/13 or c?
c
Suppose 2*q + l - 5 - 6 = 0, 3*l - 9 = 0. Suppose n = -q*j + 17, 0*j + 3*j - 9 = -2*n. Let c be 2 - (-3 + 4 - n). Is -2 != c?
False
Suppose 0 = 2*m - 15*m + 9*m. Is -2/169 at least as big as m?
False
Let r = 0.89 + -0.19. Is r not equal to 1/4?
True
Let s(j) = -2*j - 2. Let d be s(2). Is d > -6?
False
Let s be (4/(-1488))/(44/(-8961)). Let u = -1/496 + s. Which is bigger: u or 2?
2
Let o(f) = -14*f + 4. Let n be o(4). Let d be 7/(-14) - 14/n. Is d less than 0?
True
Suppose 0*v = 5*v + 5. Let h = 39 + -24. Let q be 13/h - 8/12. Which is greater: v or q?
q
Suppose 4*t - 63 = -b, -5*t - 2*b - 18 = -6*t. Which is bigger: 17 or t?
17
Suppose 10 = -3*r - 4*t, 2*t = -5*r + t - 11. Let l(a) = 12*a**2 + 3*a - 2. Let c be l(1). Let h be 5/(-15)*c - -4. Do r and h have the same value?
False
Let g = -2 - -4. Which is smaller: 1/3 or g?
1/3
Let n(q) = -q - 5. Let o be n(0). Let a be o/((-5)/(-2))*-2. Let l = 5 - a. Is l > 2/17?
True
Let g = 460/27 - 17. Let v = -17/27 - g. Is -2 smaller than v?
True
Let g be (-3 + 2)*(5/(-1) + 2). Is g >= -2?
True
Let r be 2 - ((-1)/11 + 2). Suppose -2 = 12*y - 10*y. Is y <= r?
True
Let t = -9 - -19. Suppose 4*m - 2 = -t. Let v(f) = -2*f**2 + 3*f + 4. Let o be v(3). Which is bigger: o or m?
m
Let h = 7 - 10. Let o be ((-8)/(-5))/((-1)/(-5)). Suppose -4*u - o = 3*q - 2, u = 2*q - 7. Is h less than or equal to q?
True
Suppose 3*q + 5*p - 45 = 0, q - 5*p - 26 = 9. Suppose -2*s = -6*s + q. Which is smaller: 4 or s?
4
Let a be 405/2*14/6. Let u = a + -20795/44. Let r = -4/11 - u. Which is smaller: 1 or r?
r
Let o = -0.03 + 0.83. Let q = 0.8 - o. Which is smaller: -2 or q?
-2
Let u be (2/3)/((-5)/(-30)). Let j = 5 - 10. Let f = j - -4. Is u less than or equal to f?
False
Let s be ((-3)/6)/(2/(-8)). Let g be s - (-4)/(-2) - -1. Suppose d - g = -4. Is -5 <= d?
True
Let p = 2 - -4. Is p greater than 2/13?
True
Suppose 0*m - m + 4 = 0. Let x be 11/4 - (-1)/4. Suppose x*o = -m - 2. Which is bigger: o or 0?
0
Let m(o) = o - 1. Let p(x) = -x**3 - 6*x**2 + 2*x - 1. Let j(h) = -6*m(h) + p(h). Let s be j(-5). Is 1/8 > s?
True
Let i be -1 + ((-56)/52)/(-2). Is -1 at least as big as i?
False
Let p be 1 + (611/(-3) - -3). Let h = p + 202. Which is greater: 1 or h?
h
Let a be (-1)/47*32/(-36). Let d = a + -19325/423. Let f = 953/21 + d. Which is greater: 0.1 or f?
0.1
Let z = 3 + -2. Let l be z + -2 + -2 + 3. Let s = 342/5 + -68. Are s and l nonequal?
True
Suppose -3*w - 13 = -40. Let s be (w/150)/(12/10). Let a = s - -17/60. Is a less than 1?
True
Let l(f) = f**3 - 4*f**2 + f. Let j be l(2). Let d = 1 - 7. Is d <= j?
True
Let a = 46 - 35. Is 11 at least a?
True
Suppose 4*y - 6*y = 22. Do y and 1 have the same value?
False
Suppose 0*k = -3*a - 2*k - 5, -a + 2*k = -9. Let o = 5 + a. Let v be (-7)/o*2*3. Are -6 and v non-equal?
True
Let s = -2/417 - 1658/2085. Let j = 1 + -4. Let i = 2 + j. Which is smaller: s or i?
i
Let v = 0.07 + -0.17. Let m = -0.2 - v. Let n = m + 0. Which is bigger: n or 7?
7
Let m = 10 + -7. Let w be (-2)/(30/m + -1). Let j = 0.8 - -0.2. Which is greater: w or j?
j
Let g = 5 - 5. Let n be 1/(18/8 - 2). Suppose 2*f = -2*f - n*d + 8, 6 = 3*d. Is f bigger than g?
False
Let a be (-1)/4 - (-114)/392. Let q = a - -92/147. Is -1.6 smaller than q?
True
Let q = -4453/60 + 279/4. Let i = 19/5 + q. Which is smaller: -1 or i?
-1
Suppose -67 = -4*c - 27. Which is greater: 8 or c?
c
Let s = -4.7 - -5. Which is smaller: s or 5?
s
Let h(v) = v**3 + v**2 + 1. Let k(p) = -3*p**3 - 10*p**2 - 8*p - 2. Let x(o) = -4*h(o) - k(o). Let y be x(7). Are y and 4 nonequal?
True
Let u be 1 + (-4)/4 + -1. Which is smaller: -2/63 or u?
u
Let c = -31 - -30. Is c > 1/16?
False
Suppose c - w = -3*c + 3, 2*c = -3*w + 19. Let n = 9 - -1. Is n bigger than c?
True
Let b(c) = c**3 - 5*c**2 - 5*c - 4. Let p be b(6). Suppose -5*s + 12 + 18 = 0. Let q = s + -4. Is q at most p?
True
Let a = 5 - 5. Let t be 7 - (-3)/(3 + a). Which is smaller: 0.1 or t?
0.1
Suppose -2*n + 12 = 2*z, -5*z + 2*z - 22 = -5*n. Let y be z - 26*3/66. Is y bigger than -1?
True
Let z = 0.4 - 0.3. Suppose 2*q - 4 = -0*q. Suppose 0*r = r - q. Which is greater: z or r?
r
Suppose -2*z + 2 = -0*z - 2*c, 4 = 3*z - 4*c. Which is smaller: z or -6/7?
-6/7
Let n be (-4)/(9/((-18)/4)). Which is smaller: n or 24/11?
n
Suppose 0 = -w - 9 + 2. Is -7 smaller than w?
False
Suppose -2 = w - 5. Are w and 8/5 equal?
False
Let s be 4/(-10) - 564/(-510). Let c be ((-60)/714)/((-2)/10). Let u = c - s. Which is greater: 0 or u?
0
Let h(a) = -a**2 - 8*a - 5. Let y be h(-7). Suppose t - y*t = -2*r + 4, 12 = 4*r. Suppose -t*l - 5*d = 22, 3 = 3*l + 2*l - 2*d. Does 1/8 = l?
False
Let s(p) = p**2 + 2. Let f be s(3). Is 11 >= f?
True
Suppose k + 67 = g, -4*k = -g + k + 83. Let m = 316/5 - g. Is -1 < m?
True
Let d be -3 - (-602)/(-404)*-2. Which is smaller: 0 or d?
d
Let s = -21 - -22. Do -1/28 and s have the same value?
False
Suppose 0 = -6*t + 3*t - 24. Let g be 4/t*(1 + -3). Let p be 2 + g + -3 - 0. Which is greater: 1 or p?
1
Let q = -37/84 -