). Let o be ((-795)/162)/(-5) - 1. Let m = 223/378 + o. Is m != k?
True
Suppose -5*a + 2 + 3 = 0. Suppose -a + 3 = q. Which is bigger: -2 or q?
q
Let h = 631/6175 + 1/325. Let r = 38 + -151/4. Which is bigger: r or h?
r
Suppose -4*a - 2*m - 2 = -4, -9 = -4*a + 5*m. Which is bigger: -1/42 or a?
a
Let h be -5*(4/130 + 0). Let s(n) = -n**3 - 9*n**2 + 10*n + 3. Let y be s(-10). Let p = -2 + y. Which is smaller: h or p?
h
Let g = -39 + 29. Which is smaller: -9 or g?
g
Let f be 1/(-6) + (-549)/(-54). Let j = -15 + 25. Is f greater than j?
False
Let g = -30 - -5. Let s = -25 - g. Which is greater: s or -1.6?
s
Let u(r) = r**2 - 5*r. Let b be u(5). Is b > -2/311?
True
Suppose -4*h = -h. Let k(d) = -d + 12. Let q be k(0). Let y be q/(-8)*1/(-15). Is h bigger than y?
False
Let q = -0.03 - 8.97. Let b = q - -9. Is b >= 0.7?
False
Suppose -3*t - 3*n = 42, 5*n = -3*t + 2*t - 10. Is -15 at most as big as t?
True
Let h(a) = a**2 + 6*a + 9. Let p be h(-4). Are 37 and p non-equal?
True
Let i(v) = -2*v**3 + 4*v**3 - v**3 - 4*v**2 + v**2. Let y be i(3). Is -2 < y?
True
Let a = 1798/15 - 120. Is -1 less than or equal to a?
True
Suppose 3*j = 2*v - 59, -j + 5*v - 2 - 35 = 0. Which is smaller: -65/4 or j?
j
Let y be (-3)/1 - (0 - -5). Is y bigger than -8?
False
Let i = -11 + 13. Let v(b) = -b + 6. Let w be v(5). Which is smaller: w or i?
w
Let h be 2/(-8) - (1 - 2). Suppose -2*i - f + 0*f = 0, -f = 3*i. Are i and h nonequal?
True
Let c be -4 - -1*35/9. Is c >= 2/3?
False
Let b(j) = -3*j**2 + 4*j**2 - 5*j + 3 + 1. Let f be b(4). Let x = -4167/17 - -245. Which is smaller: x or f?
x
Let k = -0.1 + -3.9. Let c = 19.5 + -20.5. Are k and c equal?
False
Let v = -116 - -116. Does 4 = v?
False
Suppose -h + 2*h - 131 = -2*n, 0 = 2*n - 5*h - 149. Which is bigger: 68 or n?
68
Let b(k) = -k - 4. Suppose 0 = 2*r + 2*i + 12, -2*r = -5*r + 5*i - 18. Let a be b(r). Suppose -2*x + 2 + a = 0. Is 4/7 > x?
False
Let l = 0 + -1. Let p = 20 + -17. Which is smaller: p or l?
l
Let y be (-44)/(-16) + -3 + 33/36. Let k be (3 - 3)*1/2. Which is greater: y or k?
y
Let v be (6/9)/((-2)/6). Suppose 4*y - y + d + 7 = 0, -3*y + 3*d - 27 = 0. Is v less than or equal to y?
False
Let c(d) = d + 3. Let p be c(-1). Which is smaller: p or 5/7?
5/7
Let d(s) = -s - 28. Let u be d(-9). Which is smaller: u or 1?
u
Suppose 3*w - 16 = 5*w. Is -4 not equal to w?
True
Let a = 18 - 19. Let g be (-12 - 1*-2)/(-2). Suppose 5*m - 2*o + 5 = 3*o, -4*m - g*o + 41 = 0. Is m >= a?
True
Let l = 26 + -53/2. Let z = 3 + -1. Let r be (1 + -2 + 1)/z. Which is smaller: r or l?
l
Let z be 6/(-10)*(-4)/6. Are 5 and z nonequal?
True
Let l(o) = -2*o**2 + 9*o**2 - o**3 - 5 - 6*o + o**2. Let a(c) = -c**3 - 3*c**2 + 2*c - 1. Let m be a(-4). Let f be l(m). Are f and 2/3 equal?
False
Let d = 252 + -252.06. Let w = 0 - 0. Let c = -1 + w. Which is smaller: c or d?
c
Let b = -3.7 + 7.1. Let f = -4.7 + b. Let q = f + 0.9. Which is smaller: q or 1?
q
Suppose -3*j = -2*w - 12, -w = -2*j + w + 10. Suppose j*v - 3*v = 0. Which is smaller: v or -2/3?
-2/3
Let j = -0.5 - -0.5. Are -17 and j unequal?
True
Let u = -1.87 + -0.13. Which is smaller: 4 or u?
u
Suppose 3*r + 10 = -r - 2*i, -4*i + 12 = 0. Let p(o) = 2*o - 1. Let u be p(-1). Which is smaller: r or u?
r
Let y be -3 - ((-1 - 0) + (0 - 0)). Which is smaller: y or -5/3?
y
Let y be (769/14904)/(169/(-395913)). Let c = y - -2/104949. Let i = 121 + c. Which is smaller: i or 1?
i
Let f(p) = -p**2 - 4*p. Let l be f(-4). Suppose 4*z = -4*n - 20, -3*n + z + z = l. Let g = 529/4 - 133. Which is smaller: n or g?
n
Let s = 0 - -2. Let o = 82 + -80. Does s = o?
True
Suppose -3*p = -12, v + 4*p = -2 - 76. Which is bigger: -93 or v?
-93
Suppose 7*x = 2*v + 2*x - 19, -4*v = -x - 11. Suppose -v*w = -6*w. Is 4/13 smaller than w?
False
Let f = 13 + -26. Let d = f - -15. Is 2 equal to d?
True
Let q be -2 + 7 + -3 - 6. Which is smaller: 0 or q?
q
Let h = -0.11 - 16.89. Let p = 11 + h. Let x = 5 + p. Is x <= -0.3?
True
Let w(o) = -2*o**3 + 2*o**2 - o + 1. Let r be w(2). Is r less than -11?
False
Suppose 0 + 1 = -w. Let m be 1/(-6) + (-11)/(-30). Is w > m?
False
Suppose -5*a + 96 = 3*a. Is a <= 12?
True
Suppose -p - 1 + 0 = 0. Let x(n) = -n**2 - 1. Let t be x(p). Suppose -2*c + 10 = -7*c. Is t >= c?
True
Let f = -40 - -39. Let j be (-4)/6*3/(-2). Which is smaller: j or f?
f
Let b(z) = -3*z**2 + 11*z - 4. Let d(a) = 4*a**2 - 12*a + 3. Let j(h) = 5*b(h) + 4*d(h). Let p be j(-8). Which is smaller: p or -2/19?
-2/19
Let x = -2.2 - 2.3. Let u = x - -5. Is 1 at least u?
True
Let l be (-3 + (-28)/(-8))/((-65)/(-20)). Let i be 3*(-1 - 1) - -1. Which is greater: l or i?
l
Let k be (1/(-4))/(1/2). Let s = 4.38 + 0.62. Which is bigger: s or k?
s
Suppose 4*u - 15 = z, 2*u + u - 12 = 0. Let k be 8/(-54) - 0/(-1). Let p = k + 5/216. Does p = z?
False
Let v be -2 + ((-458)/(-585) - -1). Let i = 2/117 + v. Which is bigger: i or 0?
0
Let b(u) = -u**3 - u**2 + 4*u + 5. Let o be b(-2). Suppose t = -t. Is o at least as big as t?
True
Let u be (-6)/(-15) + 286/10. Suppose 0 = -2*s + 5 - u. Is s at most -11?
True
Let r = 0.01 - 1.01. Let x = 0.2 + -0.4. Which is smaller: r or x?
r
Let m = 162/5 - 32. Which is smaller: m or -88?
-88
Suppose v = 5 - 1. Suppose -3 = -3*t - 5*m - 0*m, 4*t - v*m = 4. Which is bigger: 2/13 or t?
t
Let a(r) = 2*r + 23. Let k be a(-6). Which is smaller: k or 13?
k
Suppose 2*a + 2 = -a + n, -a = 5*n + 6. Let c be 32/14 + 10/(-35). Let q be (3/(-3))/(c/14). Is a > q?
True
Suppose -8*u + 6*u = 0. Let q be (u - 0) + 2/(-17). Which is bigger: -1 or q?
q
Let n be ((-2)/((-8)/68))/((-28)/8). Are n and -5 equal?
False
Let t(j) = 4*j + 1. Let a = -5 - -6. Let y be t(a). Is y equal to 4?
False
Let l = 12 - 15. Which is smaller: l or -7?
-7
Let c = -635 + 636. Let f = -5 + 8. Let v = 2.7 - f. Which is greater: c or v?
c
Let r = 6 - 6.05. Let a = r + -0.05. Is a != -1?
True
Let p be ((-12)/(-10))/((-3)/(-20)). Are 6 and p nonequal?
True
Let n = 9 - 9. Let l = 5 - 37. Let c = 97/3 + l. Which is greater: n or c?
c
Suppose 4*k - 4*q = -20, 13 = -5*k - q + 3*q. Let w = 31/6 + -5. Which is greater: w or k?
w
Suppose 5*x + 5 = 7*d - 3*d, 5 = -5*x + 3*d. Let s be x*(16/26)/(-4). Which is bigger: s or 0?
s
Suppose 2*q + 0*h = 3*h - 9, 0 = -5*q + h + 10. Let s = 204362 + -24114543/118. Let n = s - -2/59. Does q = n?
False
Suppose 5*m = 7 + 3. Let q be 0 + 1 - m/3. Is -0.07 not equal to q?
True
Let w be ((-48)/(-20) - (-12)/(-30))/6. Is 52/5 greater than w?
True
Let b = -3.5 - -9.2. Let w = b - 0.7. Which is smaller: 2/7 or w?
2/7
Let a(f) = f**3 + 11*f**2 - f + 18. Let r be a(-11). Is 29 at least r?
True
Let v(g) = -5*g - 1. Let r be v(-1). Let n be ((-7)/(14/(-4)))/(-2). Let l = r + n. Do 3 and l have the same value?
True
Let y = -1272 - -8822/7. Are -12 and y non-equal?
True
Let s = -0.2 - -2. Let a = s - 2. Let x = -2 + 2.1. Is a equal to x?
False
Let c = -85 - -87. Let u = 0.1 - 2.1. Which is smaller: u or c?
u
Let k = -0.04 - 0.56. Let g = k - -0.3. Let c = 0.4 + g. Is 3/8 less than or equal to c?
False
Let m be 12/(-8) + (-7)/(-4). Suppose 2 = i + 3. Which is smaller: m or i?
i
Suppose x - 3*x = 2. Let b = 502/7 - 72. Do b and x have different values?
True
Let y(m) = m - 6. Let f be y(7). Suppose 34 - 184 = 5*l. Let q = 208/7 + l. Are q and f equal?
False
Let y(f) = f**2 + 4*f + 3. Let g(n) = -n**2 - 3*n - 3. Let b(o) = 6*g(o) + 5*y(o). Let k be b(3). Which is greater: -4 or k?
-4
Suppose 2*s - 1 = 7*s + 4*o, -3*o + 3 = 5*s. Suppose -7 + s = -4*m. Let r(f) = f + 7. Let x be r(-7). Do x and m have different values?
True
Let m = -39 + 67. Let c be m/(-147) + 2/6. Is c at least as big as -1?
True
Let t be (-49)/35 + 2/5. Let c be 64/(-126) + (-4)/(-18). Which is bigger: c or t?
c
Let u(q) = -q**3 - 2*q**2 + 4*q + 3. Let j be u(-3). Let i = j + 3. Suppose -2*c - 3*g - 1 - 3 = 0, -16 = c + 5*g. Is i <= c?
True
Let y be (-17 + -1)*(-15)/(-9). Which is smaller: -29 or y?
y
Let i = 1287 + -1262.92. Let j = i + -24. Which is smaller: j or 0.1?
j
Suppose -5*k + 1380 = -k. Let h be (-3)/18*(k - -1). Let x = 57 + h. Is x not equal to -1?
True
Let b be 1/(-2) - (-114)/12. Let m be (9 - b)/(0 - -1). Is 0 greater than m?
False
Let l = -1/817 - -1687/43301. Which is bigger: -1 or l?
l
Let y(q) = q - 17. Let x be y(11). Let l(r) = -2