)). Suppose 3*q + 0*q + z = 0. Which is smaller: q or -5/3?
q
Let h = 0.02 + 0.28. Let u = -0.1 + h. Let x = -695/9 - -77. Which is smaller: x or u?
x
Let t = -478/3 - -165. Which is bigger: 6 or t?
6
Let d = -2 - -3. Let f be (-4 + 2)/((-48)/9). Is f >= d?
False
Suppose 8*b - 3*b = 10. Suppose -b*c + 4*p = -c, 0 = -5*c - p. Is 1/12 smaller than c?
False
Let x be (-3)/(-1 - -3 - -2). Which is smaller: x or -2?
-2
Suppose -14*w + 405 + 113 = 0. Which is smaller: w or 38?
w
Let r be 2/(-21)*-3 - 133/(-49). Is r equal to -2/3?
False
Let u be 2*1*(1 - -1). Suppose 2*k - 31 - 1 = 0. Suppose 0*c = 4*c - k. Is c at most as big as u?
True
Suppose -4*z - 2*l + 12 = -2*z, -z - 4 = -l. Are 1 and z nonequal?
False
Let c = -0.5 - -1.5. Let j = 3.2 - 0.2. Let t = 1 + j. Do t and c have the same value?
False
Let d = 26 - 43. Which is smaller: 0 or d?
d
Let m = -5 - -6. Let r be (-3)/15 + (-1)/(-7) - 0. Is r > m?
False
Let b = 24 + -23. Are b and -7/31 non-equal?
True
Let w = -2.02 + 0.02. Let x = -324 - -973/3. Which is greater: w or x?
x
Suppose 4*v + 13 = -3. Let t be 6/64*v/6. Is -1 bigger than t?
False
Let g = 100 + -1698/17. Which is smaller: 1 or g?
g
Let d = -26 - -25. Suppose -2*l = 5*b - 3*l - 1, -b + 1 = -l. Which is greater: d or b?
b
Let r be 5/7 + 6/21. Is r at least as big as -2/31?
True
Suppose m + 14 = -5*d, -d - 2 = 1. Which is smaller: 1/23 or m?
1/23
Let q be (14/12)/(-7)*7. Let x = 5/3 + q. Suppose 6 = -5*m - 9. Which is smaller: m or x?
m
Suppose -3*t + 12 = 2*w, 4*t = 3*t + w - 1. Suppose t*p = -3 - 1. Which is greater: -4/7 or p?
-4/7
Suppose -3*f - 3*m = 2*f + 44, m + 8 = -f. Let t be (-1)/2*(f + 2). Suppose 0 = x + t*x - 15. Which is greater: x or 2?
x
Suppose 0*g = -8*g + 80. Is g greater than or equal to 31/3?
False
Let q(j) = -j**3 + 5*j**2 - 3*j - 4. Let s be q(4). Is 2/13 less than or equal to s?
False
Suppose 139 = -5*s - v, -3*s - 3*v - 81 = -0*s. Let j = -17 - s. Let b = -111/10 + j. Is -1 less than b?
True
Let d(w) = -w + 11. Let h be d(7). Let a = -4 - -7. Suppose 2*z = 4*z - a*m + 17, 9 = -h*z + m. Are z and 1 equal?
False
Let w(f) = 2*f - 1. Let h be w(3). Suppose -4*m + h = x - 2*m, 1 = -3*x - 2*m. Let s = -3 - x. Is 0 equal to s?
True
Let m(z) = z - 5. Let x be m(8). Suppose -x*r + 0 = -6. Is 1/2 >= r?
False
Let g = 38/63 - 8/9. Suppose 3*w = -w + 4. Which is bigger: g or w?
w
Let n be 97/2*(-4 + 5). Let o = 47 - n. Is -3 >= o?
False
Let i = 4 - 7. Suppose v + 4*v + 5 = 0. Which is bigger: i or v?
v
Suppose -g - 18 + 1 = 0. Which is bigger: -16 or g?
-16
Let w be ((-20)/12)/(4/(-36)). Is w != 15?
False
Suppose 5*z + 0*z - 2*a = -23, -2*a - 27 = 5*z. Let y = 5 + z. Let i be y + (-2 - 0) + 2. Is 3/4 less than or equal to i?
False
Suppose -6*s - 38 = -4*s. Which is smaller: s or -20?
-20
Let x(h) = -h - 1. Let u be x(-5). Suppose -u*m - 3 = -5*m. Suppose 6 - 9 = 3*n. Is m greater than n?
True
Let i(z) = -3*z**2 + 2*z - 1. Let r(t) = -t**2 + t - 1. Let p(s) = i(s) - 2*r(s). Let o be p(-1). Which is greater: 1/4 or o?
1/4
Let x = -49/2 + 24. Does 0 = x?
False
Let p be 0/2 - 13/(-13). Is p less than or equal to 2/51?
False
Let w = -2/3 + 1/3. Which is smaller: -3 or w?
-3
Let o = 0.043 + 0.657. Which is smaller: -0.2 or o?
-0.2
Let r = -6 - -5. Let c = -0.1 - -0.1. Let t = r - c. Is 2/11 smaller than t?
False
Let o be 2*1/2 - (-6 + 8). Is 2/73 at most as big as o?
False
Let u be 20/21 + (-4)/14. Suppose 0 = -d + 6*d + 10. Let g be ((-18)/(-27))/(d/(-3)). Is g bigger than u?
True
Let u be 140/18 - 4/(-18). Let n = u - 6. Let g = 0.4 + -0.6. Is n <= g?
False
Let f(j) = j. Let k be f(-4). Let q be k/6 + 4/(-48). Which is greater: q or 1?
1
Suppose 37 = -5*l + 2. Is -6 at most as big as l?
False
Let j be -2 - (-94)/(-44) - -4. Which is smaller: 0 or j?
j
Let g = 191/24 + -317/8. Is g at most -33?
False
Let d = 12 + -3. Let f be 2/d + (-16)/180. Are f and 0 non-equal?
True
Let p = -250/3 - -84. Let q(t) = -t**2 + 2*t - 3. Let u be q(2). Which is smaller: u or p?
u
Suppose 4*s + 0*s + 3*b + 70 = 0, -5*s + 2*b = 76. Let k = s - -10. Is k bigger than -6?
False
Let b(t) = -504*t**2 - 4*t + 6. Let w be b(-9). Let d = 1060497/26 + w. Let s = d + -13/2. Which is greater: -1 or s?
s
Let f(l) = l**3 + l**2 - 2*l - 1. Let b be f(-2). Let m = -37 - -36. Is m greater than or equal to b?
True
Let z(j) = -j**3 + 7*j**2 - 6*j. Let n be z(6). Which is bigger: 6/13 or n?
6/13
Let f = 12.8 - 13. Let c = -11 - -5. Let m be (2/(-16))/(c/12). Which is greater: m or f?
m
Let t be (-48)/(-15) - 2/10. Suppose z - 1 - t = 0. Suppose u = 3*u + z. Is -4 greater than or equal to u?
False
Suppose -117 = -s + 4*s. Let l be ((-9)/(-6))/(s/(-4)). Are l and 0 equal?
False
Suppose -2*i + 2 = 0, 2*w + 2*i - 14 = 4*w. Is w at least as big as -7?
True
Let z = 0.064 - 1.944. Let h = z - 0.12. Which is smaller: 3/8 or h?
h
Let r(d) = -d**3 + 5*d**2 - 6. Let y be r(5). Let l be ((-6)/4)/(27/180) - -4. Is l bigger than y?
False
Let d = 4871/490 - 99/10. Is 1 at least as big as d?
True
Let q = -80 - -85. Do 8 and q have different values?
True
Let d = 12.5 + -14. Which is smaller: 0 or d?
d
Let x(w) = -w**3 + 2*w**2 + 2*w + 3. Let k be x(3). Let z be (0 - 2) + 2 + k. Let b = 142/3 - 48. Is z < b?
False
Let f = 0.4 - 0.4. Which is smaller: 7 or f?
f
Let q = 0.9 + 31.1. Let u = q - 23. Which is smaller: 2/3 or u?
2/3
Let c = -159 + 137.8. Let h = c - -21. Which is smaller: h or 1/2?
h
Let k be (-4)/(-10) + (-12)/(-20). Let y = -2/933 + 1900/15861. Which is greater: k or y?
k
Let n = 0.92 + -1. Is 3/4 less than or equal to n?
False
Let t = 1.3 - 1.5. Do 9 and t have different values?
True
Let a = 5 - 5. Suppose 3*v + 3 = -a*v. Which is smaller: 0 or v?
v
Let m = -1 - 6. Suppose y = 9*o - 13*o + 6, 3*o = -2*y - 3. Is m equal to y?
False
Let h be (-4)/3 - 50/(-15). Suppose -h*u - 2 + 6 = 0. Which is smaller: 1 or u?
1
Suppose q - 4*j + 2*j - 3 = 0, -4*q = -4*j. Let v be (-8)/(-36)*q/(-2). Let y = -2 + 3. Do v and y have different values?
True
Let f = -75/4 + 19. Is 0 equal to f?
False
Suppose -s - 3 = 3*y + 1, 3*s = -3. Let t be ((-508)/28)/((-1)/9). Let m = t + -163. Which is bigger: m or y?
m
Let g be 180/99 - 2/(-11). Let s be 1/g + (-58)/100. Is s <= 0?
True
Suppose -4*h - 16 + 60 = 0. Is 11 equal to h?
True
Let o = 4 + -4. Suppose o = -v + 8 - 2. Suppose 0 = -3*r - 3*p + v, 3*r = -5*p - 3 + 15. Which is greater: -4/5 or r?
-4/5
Suppose 4*p - 3*p + 52 = 0. Which is greater: 1 or p?
1
Suppose -3*f = -f. Suppose -52 = 5*b - 3*h + 46, -20 = 5*h. Let q be 160/88 + (-4)/b. Which is smaller: f or q?
f
Let z = -44/105 - -2/105. Is -25 less than or equal to z?
True
Suppose -42*r = -40*r + 52. Which is smaller: r or -24?
r
Suppose 72 = 2*i + 2*i. Suppose -3*x + 5*y = 9 + i, -x - 4*y = -8. Let d(m) = -m**3 - 5*m**2 - 3*m + 2. Let c be d(x). Which is smaller: 0.2 or c?
c
Suppose g - 2*n - 4 = -2, -14 = -2*g - n. Let a be (-2 + 9/g)/(-2). Is -1 less than a?
True
Let d = 20 + -12. Suppose 0 = d*s - 5*s + 3. Which is smaller: -1/3 or s?
s
Suppose -3*j + 5 = 2*j + 5*h, 5*h - 5 = j. Suppose j*z = z. Suppose z = 2*x + x. Do -1/3 and x have different values?
True
Let r(q) = -q**2 + 2*q + 3. Let g be r(3). Let u be 0/(g + 2 + -1). Let j = 5 - 6. Which is bigger: j or u?
u
Suppose 2*j - 1 = 5. Suppose 2*w + 25 = 5*d, w - 5*d - j = -13. Let i be 2/(-3) - w/27. Which is greater: 0 or i?
0
Let r be (-10)/6 - 1/(-1). Let d = -8 + 5. Let o = d - -2. Which is smaller: r or o?
o
Let w = -6 + 4.7. Let k = -5.8 + 5.9. Is k > w?
True
Let l be (-4)/(0 + 8/4). Is -7/8 bigger than l?
True
Let o be 1*(2*3)/3. Let p be (o - 1/3) + -1. Is p at most 0?
False
Let t be 104/6 + (-7)/21. Which is greater: -1 or t?
t
Let w be (-6)/(-4) + 0 + -1. Suppose -3*n - 12 = -7*n. Suppose 8*z = n*z. Which is greater: w or z?
w
Let y = 2058444/779 + -16652589094/6298215. Let n = y - 2/1617. Do -1 and n have the same value?
False
Suppose 10 = a + 4*j, 5*j = 2*j + 6. Let p be (1/a)/((-8)/16). Do p and -2/3 have the same value?
False
Let a = 499/418 + 3/38. Which is smaller: 0 or a?
0
Let r = -116 - -115. Which is smaller: 36 or r?
r
Suppose -4*z + 25 = 61. Do 1 and z have the same value?
False
Suppose 5*y + 26 = -4. Let c be (-5 + -1)*2/y. Let f(i) = -i**2 + 6*i + 8. Let w be f(7). Which is bigger: c or w?
c
Suppose -d = -