 - 33.55. Is 0.1 equal to g?
False
Let y be (-2 - -2)/(-2) + 0. Suppose y = 3*l - 7*l - 12. Let v = l + 5. Is 3 greater than v?
True
Let k = -28 + 27. Which is bigger: -1/4 or k?
-1/4
Suppose -8*c + 4*c + 5*c = 0. Which is greater: 2/21 or c?
2/21
Let q(r) = r**2 + 5*r + 3. Let d be q(-4). Which is smaller: 2/41 or d?
d
Let t = 1.7 + 0.9. Which is smaller: 0.1 or t?
0.1
Let d = -4 + 3. Let n = 13.7 - 13. Is d at most n?
True
Let r = 8482/105 - 1456/15. Let y = r + 1012/63. Is y greater than -0.01?
False
Suppose w - 6*w = 5*n - 30, 12 = w - 5*n. Let p = w - 6. Is -1/7 greater than or equal to p?
False
Let s = -16/59 - 1390/531. Which is smaller: -2 or s?
s
Suppose 4*a + 26 = -6*b + b, 0 = 3*b + a + 10. Let h be ((-8)/(-16))/((-1)/b). Let s be 0 + 0 + 2 + -2. Which is smaller: s or h?
s
Suppose 0 = -2*p - 2*l - 128, 0*p - 3*l = 2*p + 126. Let v be ((-8)/p)/((-8)/72). Does v = -2?
False
Let m(c) = 7*c - 1. Let h(f) = 15*f - 1. Let a(k) = 6*h(k) - 13*m(k). Let n be a(7). Let z = -3 - -2. Which is greater: n or z?
n
Suppose -6 + 82 = -4*r. Do -19 and r have the same value?
True
Let b(k) = 5*k**2 + 22*k - 7. Let i be b(-6). Is i less than 41?
False
Let n(x) = -3*x**2 + 2*x + 8. Let d be n(4). Is d at most as big as -33?
False
Let t be ((-392)/(-68))/(-2) - -3. Which is greater: 1 or t?
1
Let f = 0.33 - 0.19. Is f at most -2/5?
False
Let k(l) = 8*l - 39. Let s be k(5). Which is smaller: -2/25 or s?
-2/25
Let w = 0 - 3. Let b = -6 + 3. Let p = w - b. Is p smaller than -1?
False
Suppose 5*g + 14 = 4*k, 3*g + 5*k + 0 + 1 = 0. Let o(m) = -m**2 + 2*m - 3. Let c be o(0). Which is smaller: g or c?
c
Let u be (16 + 5)*1/9. Which is smaller: u or 1?
1
Suppose 4*t - 6 = 5*n, 4*n = -2*t + 23 - 7. Let c(q) = q - 2. Let s be c(6). Suppose 2*w + 4 = s*l, 6*w = -2*l + 2*w + 22. Is n less than or equal to l?
True
Let h = -2658/13 - -204. Which is bigger: -1 or h?
h
Let a(i) = i - 5. Let f be a(6). Let l be (2 - (-2 + 4))/f. Which is smaller: l or -1?
-1
Let f = -219 - -4162/19. Is f smaller than 1?
True
Suppose 2*t + 11 = 5*x - 7, -x + 9 = 5*t. Suppose 46 = -x*s - 3*a, -5*a - 10 = -0*a. Is s at least -9?
False
Suppose d + 8 = 38. Let x = d - 187/6. Are x and -1 equal?
False
Let r = -56 + 9. Is -46 at least as big as r?
True
Let v = -3 + 0. Which is smaller: -0.3 or v?
v
Let u be (1 + -2)/1 + -1. Suppose 0 = 3*j + 2 + 4. Is j at least as big as u?
True
Let x(v) = 8*v - 3. Let q be x(-5). Let a = q - -257/6. Is -0.1 smaller than a?
False
Suppose 0 = -z + 2*z - 6. Let q be (1/z)/(0 + -1). Is q <= 1?
True
Let b = -3 + 3. Let m = b - 0. Let d = 0.1 - m. Which is bigger: 3 or d?
3
Let x(z) = z**3 + 7*z - 5*z - 8*z + 1 + 0*z + 5*z**2. Let g be x(-6). Let t be 2/(8/(-5)) + 2. Is g at least t?
True
Let o = -133 - -2528/19. Is 0 greater than o?
False
Let p = 6 - -3. Suppose -5*y + 3*k + 10 = -p, 4*y = 4*k + 12. Suppose -y*v + 0*v + 5 = 0. Which is smaller: v or 2?
v
Let r = -36 - -62. Is 26 greater than r?
False
Suppose -n - 2 + 0 = 0. Is 0 not equal to n?
True
Let b(h) = -h**2 + 18*h - 26. Let r be b(17). Are -29/3 and r equal?
False
Let k be (-49)/7 + (-49)/(-8). Let b = 1 + -1. Is k bigger than b?
False
Let t(d) = 2*d**2 - 6*d. Let p be t(3). Let m be (-1)/3 + 4/6. Is m at most p?
False
Suppose -23 = -r + 5*o - 4, 0 = 5*r - 5*o - 15. Is 4/61 at most as big as r?
False
Let w be (-7)/((-210)/8)*24/(-16). Which is bigger: w or -6?
w
Let u be ((-2)/13)/(-8 + 9). Suppose -2 - 3 = 5*l. Is u equal to l?
False
Let u = -64 + 194/3. Which is bigger: -13 or u?
u
Suppose 4*d = -d - 20. Is d greater than or equal to 0?
False
Suppose -6*n + 2*n - 56 = 0. Let g be (-3*n/3)/2. Suppose 3*a = g*a. Is a at most -3/8?
False
Suppose 0 = 11*z - 6*z. Let q(o) = o**2 - 2*o - 2. Let w be q(-2). Suppose -4*h + w*h = z. Which is smaller: -1/4 or h?
-1/4
Let c be 42/(-12)*(-12)/14. Suppose c*d = -4*b + 1, -3*b - 9 = 5*d + 4. Which is bigger: 3 or b?
b
Suppose -m = -4*p - 159, 3*m + 24 = 2*p + 101. Let i be (-4 - p/6)/1. Is i at least as big as 3?
False
Let f(k) = -k**3 + 3*k**2 + 2*k + 4. Let n be f(4). Let x = 2 + n. Which is bigger: 0 or x?
0
Suppose -f + 2 = 5. Let n be f/(-6)*(-2 + 2). Suppose 0*a = -a + 2*j + 9, n = -4*a - j. Are a and 1 unequal?
False
Let s = 37 - 36. Let u = 89 + -263/3. Is u not equal to s?
True
Let i = -5 + 8. Let w(h) = -h**2 + 3*h + 1. Let t be w(i). Which is greater: 7/4 or t?
7/4
Suppose 0 = n + 5*p - 13, 4*n - 13 = p - 3. Which is smaller: 6 or n?
n
Let n be 2/(-4) - (-2)/4. Suppose 3 = j - n. Let v be j/6 + 46/(-76). Which is greater: v or -1?
v
Let k = -78 + 45. Let b be 6/10 - k/(-30). Which is smaller: -1 or b?
-1
Let x be (1 - -1)/(-2 - 0). Let d be (1/(-2))/(-1 - -2). Is d greater than x?
True
Let q = 0 + -0.1. Let r = -263 + 263.2. Which is greater: q or r?
r
Let k(l) = -7*l**2 + l + 7. Let a be k(-2). Which is greater: a or -24?
a
Let j = -15 + 15.3. Let v = j - 0.4. Do v and 1 have the same value?
False
Let y be (-4)/(32/(-11))*-4. Which is bigger: -7 or y?
y
Let i(o) = o + 4. Let f be i(-2). Suppose 20 = 3*s + f*s. Which is greater: 3 or s?
s
Let m = 0.03 - 0.03. Let j = 1386 - 40188/29. Let t = 5/116 + j. Does t = m?
False
Suppose 2*s - 4 = 2. Let y be 1/((-10)/s + 3). Which is bigger: -13/4 or y?
y
Let l = 7 - 9. Let q = 2 + -3. Which is smaller: q or l?
l
Let d be 1/1 - (-4)/(-6). Let x be (-1)/(16/(-2))*-6. Which is smaller: x or d?
x
Suppose 12*a + 5 = -187. Which is bigger: a or -17?
a
Let x be (-18)/(-4)*64/12. Suppose -2*i - x = i. Let d be 6/i*6/18. Which is smaller: d or 0?
d
Let z = 9 - 9. Let b = -4 - z. Which is smaller: b or -3?
b
Suppose -3*a - 3*f = -30, 0*a + f = 3*a - 26. Let r be (1/a)/(10/(-12)). Is r equal to 1?
False
Let h = 14645 + -732279/50. Let b = -977/25 + 39. Let u = h - b. Which is bigger: -1 or u?
u
Let f = 0.4 - 0.4. Let j = 1 + f. Which is smaller: -0.01 or j?
-0.01
Suppose 17 = 6*f + 17. Let t be (3/(-14))/(3/16). Which is smaller: t or f?
t
Let n(o) = o**3 + 6*o**2 - 2*o - 6. Let u be n(-6). Let d(w) = w**3 - 5*w**2 - 6*w + 1. Let a be d(u). Which is bigger: a or 0?
a
Let i = -161 + 161. Let k = -9/7 + -3/14. Let u = k + 11/10. Is i greater than u?
True
Let v(y) = -2*y + 2. Let z be v(2). Suppose -3*w - 15 = -8*w. Let o = w + z. Which is smaller: 2/7 or o?
2/7
Let d = 19 - 32. Let w = d - -8. Which is greater: 0.2 or w?
0.2
Let p = 1 - 1. Suppose s + 4*d = -17 - p, 0 = 5*s - 3*d - 30. Suppose 3*g + 3 = s*n, 0 = -n - 3*n + 3*g + 3. Is 1 greater than or equal to n?
True
Suppose 4*j - 4*w - w + 10 = 0, -6 = 3*j - 3*w. Is 0 bigger than j?
False
Let v be (-5 - -4) + 0/(-1). Suppose -4*h + h + 6 = 0. Let k be (-2)/(-6)*h/(-1). Is k greater than v?
True
Let s be (-30)/(-4) - 4/(-4). Let r = s + -8. Which is smaller: -4 or r?
-4
Let t be (-7)/(2/2 + 0). Let w = 78 - 87. Is w greater than or equal to t?
False
Let p be ((-2)/(-36))/((-1)/(-3)). Suppose 9*f = 4*f. Let d = f - 0. Which is smaller: p or d?
d
Suppose -10*b + 7*b = 0. Let w be (40/(-276))/5 + b. Which is smaller: 0 or w?
w
Suppose -4*n - 4*w = -16, 0 = -5*n - 2*w + 8 + 3. Let u be (n - 1)/(-3) - 1. Let g = u + 1. Which is smaller: g or -3?
-3
Let z be (1 - (1 + 1)) + 8. Suppose -5*y - z = 4*r, 0*r + 2*r = -y - 5. Which is greater: 5 or y?
5
Let l = 562/5 - 113. Is l at most as big as -2?
False
Suppose -2*s + 18 = -0*b + 5*b, 4*b - 16 = -2*s. Suppose s*h - d + 1 = 5*h, 4*d = 3*h + 18. Is h equal to 0?
False
Suppose 18*p + 1176 + 1668 = 0. Which is bigger: -157 or p?
-157
Let q = 18 + -18. Let p be (1 - q) + (-12)/10. Let y(x) = -x**3 - 6*x**2 - 6*x - 5. Let c be y(-5). Which is smaller: p or c?
p
Let i = 18 - 17. Does 2/9 = i?
False
Let p be (18/(-2)*8/24)/1. Which is smaller: -1 or p?
p
Let p = 1.1 - 0.8. Let s = p - 0.5. Is 2/5 > s?
True
Suppose -24 = -3*s + 4*s. Which is bigger: s or -25?
s
Let v = 0.028 - 0.068. Which is greater: v or 3/4?
3/4
Suppose -4*r + 10 = -6*r. Let k be (r/140)/(1/(-2)). Which is smaller: k or 0?
0
Let y be ((-10)/(50/3))/(8/10). Is 0.1 at most as big as y?
False
Let o = 8 - 14. Let c = 4 + o. Is c < 0?
True
Suppose 10 = 5*d - 30. Let l be (-2)/9 - d/(-36). Let h be (-1)/(-2) - 1/4. Which is greater: l or h?
h
Suppose -4*g + 1 = 17. Let z = g - 1. Let d be z/4 - 4/(-16). Is d > -2/9?
False
Suppose 2*f + 0 - 4 = 0. Suppose m = r - 3, -1 = 5*r