ave the same value?
False
Suppose -7 = 5*n + 18. Let d(g) = -1 + g - 2*g + 4. Let q be d(7). Which is smaller: q or n?
n
Let t = 16 + -11. Let c = 4.9 - t. Let o = -4.2 + 4. Which is greater: c or o?
c
Let z = 1 + -1. Which is smaller: z or 20?
z
Let z = 2 - -4. Let h be -1*(-5 + -3 + z). Is h smaller than 4/7?
False
Suppose -30 = 45*s - 50*s. Is s at most 7?
True
Suppose 10*m = 4*m. Let x be 4/(-36) + 2/6. Which is bigger: x or m?
x
Let x = 21 - 75. Which is bigger: x or -53?
-53
Let z be 4*3*(-4)/24. Which is greater: -7/6 or z?
-7/6
Let h(w) = w**2 + 2*w + 6. Let o be h(-4). Let b = o + -12. Which is smaller: 3 or b?
b
Let x be 1/(-2)*(-6)/(-8). Suppose 4*n - 16 = 0, -n + 21 = -a + 4*n. Which is greater: x or a?
x
Let m = 8 - 12. Let q be 2*((-21)/(-6) + m). Which is smaller: 1/4 or q?
q
Suppose 5*n - 2 = 3. Let r = -12.7 - -14. Let l = 0.3 - r. Which is smaller: n or l?
l
Let r be 4/2 + (3 - 1). Suppose -4*n - 20 = -r. Which is bigger: n or -9/2?
n
Let b be 2/3 + (-4)/(-12). Let u = b + -1. Suppose 3*y + 26 = 3*h - 8*h, u = 5*y + 5*h + 30. Do -2/3 and y have different values?
True
Let i be 1/(-3) + 12/9. Which is greater: i or -4/9?
i
Suppose -3*l - 27 = 3*m, 5*m + 4 = 2*l - 6. Let h = m - -3. Let t be h - ((-4)/(-2) + -3). Which is bigger: -4/7 or t?
t
Let c(b) = -3*b**3 - b**2. Let y be c(-1). Let d = -2/191 - -1347/955. Which is greater: y or d?
y
Let l = -42 - -37.2. Let j = l + 2.9. Let i = 2 + j. Which is greater: i or -3?
i
Let i(o) = -o**3 - o + 4. Let a be i(0). Let q be (-2)/a*10392/22. Let c = q - -236. Is -1 bigger than c?
False
Let i = -4463/14 + 320. Let n be 8/44 + (-207)/231. Let f = i + n. Is f smaller than 2?
True
Let d = -1 - -1. Let w = -0.05 - 0.06. Let f = w - -0.11. Do f and d have the same value?
True
Let o(p) = 3*p + 4. Let s be o(-1). Let r = 10/21 + 4/21. Which is bigger: r or s?
s
Let t = 57 + -46. Which is smaller: 9 or t?
9
Let g be -4 - 5 - (-3 + -1). Let c(p) = p + 9. Let z be c(-4). Let n = z + g. Do n and -2 have the same value?
False
Let g be (-62)/4 + (-2 - -4). Let w = 143/10 + g. Is w at least 0?
True
Let a = -29650 - -1660465/56. Let o = -7/8 + a. Let c = -46/7 + 428/63. Which is bigger: c or o?
o
Let o(w) = -w + 1. Let q be o(-1). Let j = q - 0. Let l be 2 - (-1)/j*-3. Which is greater: l or 2?
2
Let u be (-2 - -7)*(-96)/(-5). Let g be (-136)/u - (-2)/3. Which is smaller: -4 or g?
-4
Suppose -3*s = 5*y + 6, 0 = -y - 5*s - 4 - 6. Let k be 1 + -1 - 2/(-16). Is y not equal to k?
True
Let g = 2 + -7. Let f = 5.4 + g. Which is smaller: -1 or f?
-1
Let k = -9 - -7. Suppose 0 = p - 0*p. Which is smaller: k or p?
k
Let d be -2 + -4 - (-5 - -2). Let l = 4 + d. Is l equal to 7/4?
False
Let b = -0.3 + 0.2. Let a = 2.9 - 3. Let m = a - b. Which is bigger: m or -1?
m
Suppose 0 = -5*a + 4 + 6. Suppose -5*v - 5*n - 5 = 0, -2*v - 7 = -v - a*n. Which is bigger: v or -4?
v
Let o = 32 + -127/4. Is -1 at most as big as o?
True
Let l = 46 - 229/5. Is l less than or equal to 0?
False
Suppose 6*k = 3*k + 12. Let p(u) = u**2 - 4*u - 8. Let b be p(6). Is k greater than b?
False
Suppose n + 3*n = 0. Which is smaller: 2/11 or n?
n
Let n(c) = 4*c**3 + 6*c**2 + 2*c - 1. Let m be n(-2). Is -13 greater than m?
False
Suppose 0 = 68*o - 73*o - 20. Is -24/7 at most o?
False
Let n(m) = -6*m**3 - 2*m**2 - 2*m - 2. Let y be n(-2). Let d = -27 + y. Let l be (d/(-10))/(6/(-8)). Is l smaller than 4?
True
Let v = 16 - 15.84. Let l = v - 0.26. Is 0.3 < l?
False
Suppose 0 = 3*t + 2*t. Which is smaller: -2/39 or t?
-2/39
Suppose 2*x + 1 - 11 = 0. Let p be (-2)/x + (-66)/(-15). Is p less than 4?
False
Let a(s) = s + 5. Let c be a(-5). Suppose 4*y + y = c. Which is greater: y or 3/7?
3/7
Let v be ((-3)/60)/(10/(-75)). Which is greater: v or 1?
1
Let k = 19 + -10. Suppose 2*w + k = 3*a, 3*w = -0*w + 9. Suppose 0*u = a*u. Is -1/6 at least u?
False
Let z be (-1 - -1)*(-2)/(-4). Let n = 2 + -2. Is n smaller than z?
False
Let y = -26 + 31. Which is smaller: 4 or y?
4
Let g = 1143/5 - 56017/245. Let n = -93 + 94. Are g and n non-equal?
True
Let n(u) = 14*u**3 + u**2 - 1. Let i be n(1). Let k = i + -10. Suppose 4*v + k = -0. Is v greater than -2?
True
Let o = 2.8 - 3. Let j = 2 - 1.8. Let x = j + o. Which is bigger: 0.1 or x?
0.1
Suppose -5*o - h = 0, h = 3*o - 3*h - 23. Let l be 1/((-8)/(-6)*-3). Is o less than l?
False
Let m = 4 + -3. Let x = -377 - -7165/19. Which is smaller: m or x?
x
Let s = 0 + 12. Let l = -11.9 + s. Let a = 0.2 + -0.2. Is a equal to l?
False
Let x be 2/4 + (-1)/2. Which is bigger: x or -2?
x
Let y be 1*1/(-1) + (10 - 1). Is y > 34/5?
True
Let v be (-2)/(-3)*-3 - -10. Suppose r = -r - v. Which is smaller: r or -5?
-5
Let l = -2743 - -496481/181. Is 0 at most as big as l?
False
Let m be (-2 - 0) + (-10)/(-5). Which is greater: m or -10/13?
m
Let q(b) = 2*b + 10. Let f be q(-7). Which is smaller: -1 or f?
f
Suppose -2*o + 12 = -3*o - 2*d, 2*o = 5*d + 12. Let u = o - -5. Let k be 2*3 - (3 - u). Is k less than 3?
False
Let v(i) = -i. Let p be v(0). Suppose -4*n = n - 415. Let j = 579/7 - n. Which is smaller: j or p?
j
Let a be -3 + 0*2/(-8). Is -3 bigger than a?
False
Let n be ((-74)/6)/(14/(-16)). Let z = 41/3 - n. Is 1 at least z?
True
Let d be (4/(-35))/(4/(-10)). Which is smaller: 1 or d?
d
Let d = -0.07 + -0.03. Let z = -5 - -8. Let g = z + -2.7. Which is greater: g or d?
g
Let s be 2/4 - (-1)/2. Let o be (3 - 2) + (4 - s). Let f be ((-2)/2)/(o/8). Is f >= -2?
True
Let m = -20.2 + 20. Is m <= 0.04?
True
Let s = -7 + 7. Does 3/5 = s?
False
Let u = 1 + -1.1. Let n = -0.3 + u. Let i = n + 0.3. Which is smaller: 1 or i?
i
Let x be (-3)/(1 + 0*4/12). Is x < -10/3?
False
Let l be 9/(-12) + 2/(-8). Are l and -1 non-equal?
False
Suppose 12 = -3*a - 18. Do a and -8 have different values?
True
Let y = -120 + 3002/25. Which is greater: y or -8?
y
Let f be (3*(-4)/(-60))/1. Suppose -2*v - 3 + 1 = 0. Which is bigger: f or v?
f
Suppose n - 4*o = 4*n + 9, -5*n + 3*o + 14 = 0. Let z be 2/4 + (-543)/2. Let r = z + 2979/11. Which is greater: n or r?
n
Let j = 12 + -18. Let q = -233 - -227.06. Let y = q - j. Which is bigger: -2/7 or y?
y
Let v = -0.7 - -0.8. Let b = v + -0.6. Let u = b + 0.3. Is u != 0?
True
Suppose 10 = 2*u + 2*m, -m + 12 = 2*m. Let p be (u/(-2))/(1/(-6)). Suppose 0 = -5*k + 2*k. Is k smaller than p?
True
Suppose 0 = -s - 0*s. Suppose 5*o - o + 3*r + 3 = s, 3*r + 3 = 0. Let q = 5/3 - 31/15. Is o bigger than q?
True
Suppose -15 = -3*s - 0*s. Suppose -4*g - g + 155 = 0. Suppose -4*c + g - 11 = 0. Are s and c equal?
True
Let j(z) = -z - 16. Let m be j(-10). Which is smaller: m or -3?
m
Let g = 8 + -13. Let i = 1 + g. Suppose 0 = -2*r - 0*r - 10. Which is smaller: r or i?
r
Let t = 0.7 + 0.9. Let w = t - 2. Let m = w + 0.6. Is m >= 1/5?
True
Let a = -0.01 - 8.99. Let r = -7 - a. Do -1 and r have the same value?
False
Let h be (-51)/(-6)*4/(-2). Let k be h/(-4) - 2/8. Let y be ((-14)/42)/(1/(-9)). Which is bigger: y or k?
k
Let p = -6 - -7. Let r = p - -1. Which is smaller: -2/3 or r?
-2/3
Let y = -17 - -169/10. Let d = -1 + 0. Which is greater: d or y?
y
Let s = 4.25 - 0.25. Is s greater than or equal to -10?
True
Let o = -14 - -13. Let u = 0.3 - 0.3. Let w = u + o. Which is smaller: -0.1 or w?
w
Suppose 18 = -2*n + 20. Let o = -21/20 + 107/140. Which is smaller: o or n?
o
Suppose -2*l - 5*j - 5 - 12 = 0, -l - 4*j = 16. Suppose -l*s + 2 - 6 = 0. Let z(c) = c**2 - c - 3. Let p be z(0). Which is bigger: p or s?
s
Suppose y + 123 = -3*h, -3*h + 0*y = 3*y + 129. Let j = h - -189/5. Which is greater: -3 or j?
j
Let c(x) = -x**2 + 8. Let z be 9 - 9 - (1 - 1). Let q be c(z). Which is smaller: 3 or q?
3
Let j be (336/(-117) - -3)*14/105. Which is greater: j or -1?
j
Let w = -263 - -135. Let v = w - -2690/21. Which is greater: v or -1/4?
v
Let r(k) = -k**3 + 15*k**2 - 14*k - 1. Let c be r(14). Let o be -4*(9/4)/(-1). Let x be (8/(-6))/(2/o). Which is smaller: c or x?
x
Let p = -90 - -90.32. Which is smaller: p or 0.2?
0.2
Let r = -2 - 3. Which is smaller: -3 or r?
r
Let x be 1 + (-7)/5 + 12/5. Let g(j) = -10*j - 1. Let s be g(-2). Suppose -x*r - 4*b = -8, -4*r - s = r - 3*b. Which is greater: -1 or r?
-1
Let f(p) = -p**3 - 6*p**2 + 4*p. Let i be f(-7). Suppose 2*b - g = -19, -3*b - i = -b + g. Is -10 less than b?
False
Let b = 20.6 + -21