- 4. Which is smaller: q or -2/37?
-2/37
Let j = 9 + -9. Let i be 183/87 - 2/1. Let o = i + -56/261. Is o > j?
False
Let h = 27 - 12. Let m be -1 + (54/h - 2). Which is greater: m or 0?
m
Let s(h) = h - 4. Let y = 11 - 8. Let t be s(y). Which is bigger: -3 or t?
t
Let r = -11 - -11. Let k be r - ((-16)/20)/(-2). Which is greater: k or 0?
0
Suppose 24 = 2*l + 5*s, 1 + 1 = -l + s. Suppose -2*d = -v + 9, -v - 2*d = l*v + 5. Which is smaller: 5 or v?
v
Suppose 0 = 3*r + 2*i, -4*r - 3 = 5*i + 4. Suppose 6 - 16 = -2*p. Suppose -4*w = -17 + p. Which is smaller: r or w?
r
Let k = -22378/23 - -973. Let l be 2/4 - (-2)/4. Which is bigger: k or l?
l
Suppose 4*h + 7 = 3. Let i(p) = -p**3 - 13*p**2 + 12*p - 25. Let k be i(-14). Is k smaller than h?
False
Let x(c) = -c**3 + 10*c**2 - 10*c + 11. Let y be x(9). Suppose -3*b + b + y = 0. Is -2/9 at least b?
False
Suppose 5*j - 10*j = 0. Is -2/13 bigger than j?
False
Let l = -14/193 + -8366/1737. Which is greater: -4 or l?
-4
Let h(g) = -g**2 - 4*g - 1. Let v be h(-3). Let u = -3 + v. Is u > 1?
False
Let g(a) = -a**3 - 10*a**2 - 12. Let h be g(-10). Is h at least -11?
False
Let r = 0.1 - -0.1. Let c(h) = -h**3 - h**2 - 17*h + 19. Let q be c(1). Do q and r have different values?
True
Let x = 4 + 0. Let r = x - 4.1. Let d = r + 0. Are 0 and d equal?
False
Let j(m) = m + 1. Let v be j(9). Suppose 3*i + 11 = 4*g, -3*g + v = g - 2*i. Is g bigger than 2?
False
Suppose 5*s = 3*v - 68, 7*v - 5*v = 5*s + 52. Which is smaller: 14 or v?
14
Let x = -9 + 4. Let c be (-56)/35 + 2/x. Which is bigger: 0 or c?
0
Suppose 5*h + 46 = 3*n, 0*h + h = 3*n - 50. Suppose -4*g - n = 3*t, -18 = 4*t + 4*g - g. Is -3 less than or equal to t?
True
Suppose 4*g - 5 - 7 = 0. Suppose 0*l = -l - 29. Let o = -88/3 - l. Which is greater: g or o?
g
Let l be ((-18)/(-10))/(12/40). Which is bigger: 7 or l?
7
Let n = 33 + -43. Which is greater: n or -4?
-4
Let l = -4 + 16. Which is smaller: 11 or l?
11
Let z be (2/3)/(21/(-9)). Let k = 13 - 6. Suppose p = -2*j - k, 0*j - 2*p = 2*j + 12. Do j and z have different values?
True
Let j = -4 - -6. Let a be (1/j)/((-1)/(-6)). Suppose -3*u + 5 = t, -2*u + 2*t = -0*u - 6. Which is greater: u or a?
a
Let y(p) = p - 7. Let c be y(7). Suppose 0 = 3*h - 5*f - 20, -f - 2*f - 12 = c. Suppose -4*u + 2*j = 16, h*u + j - 2 = -u. Which is smaller: u or -4?
-4
Let v = -0.4 + -0.6. Let x = 0.6 - -0.6. Let b = x - 1. Is b less than or equal to v?
False
Let a = -3.4 - 2.4. Let w = a + 6. Which is greater: w or 0.1?
w
Let r be 1*(-1 + 0) - -2. Suppose 0*y = 4*y + 3*u + 31, 2*y - 2*u = -12. Let n be (-5)/y*(-4)/(-10). Which is smaller: r or n?
n
Let w = 1/333 - -655/3663. Suppose 0*f - f = 1. Is f greater than w?
False
Let s be (-96)/(-36)*(-3 + 0). Do s and -8 have the same value?
True
Let l = 5.4 + -5. Let j = 50 - 77. Let u be -1 + 3 + j/12. Which is smaller: u or l?
u
Let f = -1 + 1. Let m(v) = -v**3 - 3*v**2 + 6*v + 4. Let p be m(-4). Let i be (2/(-3))/(p/(-6)). Is f greater than or equal to i?
True
Let b = 13 + -6. Suppose p + 17 - 4 = -5*i, p + b = -3*i. Is 1 greater than or equal to p?
False
Suppose -5*w = -5*m + m - 28, -3*w = -3*m - 15. Let x = w - 61/8. Which is bigger: x or -2?
x
Let r = 5 - 14. Which is greater: 0 or r?
0
Let y be ((-2)/(-2) - 2) + 12. Suppose 0 = 4*w - 1 - y. Let i be ((-21)/5 - -4)*-5. Is i equal to w?
False
Let r be 104/(-80) - (-2)/(-10). Let b be 0 + 2 - (-6)/2. Suppose -l - 3 = -0*l + x, 6 = -2*l - b*x. Is r > l?
True
Let q = -19/5 - 157/10. Let s = q - -199/10. Which is greater: 0.2 or s?
s
Suppose -k - 10 = k, -2*r + k = -13. Are r and 17/6 unequal?
True
Let v = 663403/57 - 11638. Let c = -1/57 - v. Suppose x = 5*x. Which is smaller: x or c?
c
Let v = 7/16 - 67/80. Let w = 22 - 21. Suppose 4*o + w = -3. Is v bigger than o?
True
Let o be 4/(-10) - (-4 - -4). Suppose 0 = 5*u + 2 + 3. Is o >= u?
True
Suppose -v + 15 = 2*v. Is 2 less than or equal to v?
True
Let b = -0.33 + 16.33. Which is bigger: b or -0.1?
b
Suppose 0 = 7*t - 4*t. Suppose -i + 7 = -t*i. Which is smaller: i or 1/2?
1/2
Suppose -2*k - 9 = 2*l - 25, 0 = 5*l - 4*k - 76. Which is smaller: 13 or l?
l
Suppose 3*f = -3*c + c - 23, -f - 21 = 4*c. Is -2 at most f?
False
Let o be (-3)/(-4) + (-12)/(-16). Let y(v) = v**3 - 6*v**2 + 6*v - 2. Let a be y(5). Which is bigger: a or o?
a
Let f(g) = g**3 + 5*g**2 - 7. Let d be f(-4). Is -1 less than d?
True
Let n = -3 - -1. Let f = -22 + 65/3. Is f bigger than n?
True
Let n = 5497.5647 - 5494.7. Let z = -0.0653 - n. Let u = z - 0.07. Is u less than or equal to 0?
True
Let h = -18 + 28. Let w be 3/45 - 4/h. Which is greater: 0 or w?
0
Let o(w) = -13*w**2 - 2*w - 1. Let x be o(-1). Is x greater than -13?
True
Let o = -2.06 + 0.06. Let z = -5 - -5.2. Which is smaller: o or z?
o
Let w be (41 - -1)/(8/(-7)). Suppose 2*g = -v + 44, -3*v + 2*g - 80 = -5*v. Let b = w + v. Which is smaller: 0 or b?
b
Let i = -461 + 4153/9. Which is greater: i or 1?
1
Let i be 2 + (-2 - 9/12). Let w = -10 - -4. Let t be -1*3*(-4)/w. Is i at least as big as t?
True
Let j be (-16)/3*9/6. Let f be (-14)/8 - j/16. Let r be (-4)/2 - (-1 + 0). Which is smaller: r or f?
f
Suppose c - 5*c + 4 = 0. Let b be (1 + -4 - c)/2. Let z be ((-2)/(-6))/((-2)/6). Is z less than or equal to b?
False
Let a be (4/6)/((-12)/54). Suppose -t = -5*t - 8. Are t and a equal?
False
Let k = 0 - 4. Let p = -4 - k. Is p less than -1/2?
False
Let w(v) = -3*v - 6. Let m be w(-3). Suppose m*n + 1 = 31. Which is smaller: 11 or n?
n
Let o be (-1)/(-7)*2/1. Let v = -1 - -3. Let h be v/9 + 2/(-9). Is h at least o?
False
Let s(g) = g**2 - 10*g + 9. Let w be s(9). Let i = w - -2. Let o be (-2 - -3)/(-1 - i). Is -1/3 at least o?
True
Let h = 23/18 + -3/2. Suppose 3*y - 3 = 3*z, -4*z = 5*y - 0*z + 13. Let l be 0 + (y - 0) - 0. Which is smaller: h or l?
l
Suppose -5*a - 10 = 0, n = 3*n - 4*a - 22. Let t = 5 - n. Suppose -3*x = -4*q + 2*x + 6, -7 = 5*q + x. Which is smaller: t or q?
t
Let c = -118/315 + 4/45. Is 0.03 less than or equal to c?
False
Suppose 0 = -m - 2*p - p - 32, 2*p + 52 = -2*m. Which is smaller: -22 or m?
m
Let c = 33/5 - 7. Let x be (1 - 16/10) + 18/45. Which is smaller: c or x?
c
Suppose 2 = -2*x + 2*y, 4*x - 3*y = -0 + 1. Let g be 2/4 + x/(-24). Is g at most 1?
True
Let j(l) = 3*l**2 + l + 1. Let o be j(-2). Suppose 3*g - o = 2*m, 2*m - 5*g + 16 = -5. Let k be -3*3*m/6. Is k > -1?
False
Let x be (3 - 6) + 0 + 2. Suppose 5*t = -5*w - 25, 4*w - 5*t = 8*w + 24. Let h be -1*-1*(w + -2). Which is smaller: x or h?
h
Suppose -3*t = -3*c - 15, -t + 5 = -5*c - 6*t. Let b = c - -4. Which is greater: -2 or b?
b
Let a = -6.4 + -0.6. Let l = -7 - a. Let m = 2 + l. Is 0.1 at least m?
False
Let j = -12.01 + 12. Let i = 0.11 + j. Which is smaller: 2/11 or i?
i
Suppose -o - 29 = 2*t + 2*t, -4*t - 39 = 3*o. Let d be (-3)/t + (-10)/4. Which is greater: d or -3?
d
Let b(q) = -q**3 + 3*q**2 - q - 23. Let n be b(0). Are n and -24 nonequal?
True
Let y(t) = t**3 + 2*t**2 - t - 4. Let x be y(0). Let k be 1/(1 + 0 + -2). Let h = -3 - k. Is h bigger than x?
True
Suppose 19*n - 21*n - 8 = 0. Let l be 43/(-6) + n/(-8). Which is smaller: l or -6?
l
Let j = -299/10 - -151/5. Suppose 12 - 7 = -5*t. Which is smaller: j or t?
t
Suppose -5*x + 2 = -8. Suppose -a + q = -x, a = -q - 1 + 3. Is 9 smaller than a?
False
Suppose -4*b - 8 = -64. Let x be -2 - 12/b*-2. Let m = -201/4 + 50. Is x at least m?
False
Let z = -1.2 - -1. Let t = z - -0.2. Which is smaller: t or -0.5?
-0.5
Let b(a) = a**2 - 3*a + 3. Let o be b(2). Suppose -20 = -6*u + u. Is o not equal to u?
True
Let b be 2 + ((-880)/186 - -3). Let d = b - -2/31. Which is bigger: d or 1/5?
d
Let f = -99001058/225 - -440004. Let g = 12/25 + f. Let c be -1 - (1 - 2)*3. Is g greater than c?
False
Let n be 6/(-4) + 215/30. Is n less than 7?
True
Let i(a) = 11*a**2 - 62*a + 1. Let y be i(6). Which is bigger: y or 23?
y
Suppose 22 = -q + 5*y, 0*q - 14 = 5*q - y. Let u be (-33)/q*(-4)/(-6). Suppose 3*i - 5*j + u = 3, 3*i = -3*j. Which is bigger: i or 2/3?
2/3
Suppose 0 = -k + 7 - 4. Which is smaller: 1 or k?
1
Suppose 0 = 4*x + n - 2, -2*n = -x - 6*n + 8. Which is bigger: 6/5 or x?
6/5
Let f(s) = 8*s + 4. Let p be f(-4). Do -27 and p have different values?
True
Let g = -0.1 + 0.3. Let s = 0.4 - 0.4. Let b = g + s. Which is greate