 -1 + 93/25. Let q = 151/175 - x. Is w bigger than q?
True
Let u = -0.67 - -0.67. Which is smaller: -15 or u?
-15
Let s be (-4)/(68/(-18) + 4). Suppose -3*q = -4*q + 4. Let x be (q/6)/((-4)/s). Which is smaller: x or 2?
2
Suppose 0 = -h - 4*h + 25. Suppose m + 4*j + 16 = -0*j, -2*j = -h*m + 8. Suppose m = -5*l - 0*l. Which is smaller: l or 2/5?
l
Let n = 9 + -9. Let k be 4/(-26)*(n - 1). Which is smaller: 1 or k?
k
Let n be (-2)/(-8) + (-57)/(-12). Suppose -2 = -3*p - n. Which is greater: p or -5/3?
p
Let t = 5/13 - -107/26. Which is smaller: 6 or t?
t
Let i(y) = -y**2 - 18*y - 17. Let q be i(-17). Which is smaller: q or 2/79?
q
Suppose 5*l - 4 = 1. Let r = -9 + -3. Let x be ((-2)/8)/(6/r). Which is bigger: l or x?
l
Let y be 2/(-14) + (-176)/(-448). Is 0 < y?
True
Let a be -2 + (-4 - -237*2/80). Which is smaller: -1 or a?
-1
Let w = 0 - 1. Let s be 1*(1/(-2))/w. Let i = 0.153 + -0.153. Which is smaller: i or s?
i
Let c be ((-2)/3)/((-46)/69). Let a be 2*(-3)/14 - -1. Is a greater than or equal to c?
False
Let x = 0.6 - -8.2. Let a = x - 9. Let q = 1.9 + -2. Is q less than a?
False
Let l be (0 + 5/(-5))*0. Is -5/16 equal to l?
False
Let q = -1054/9 + 117. Let p = 18921/25 - 757. Let g = p - -78/175. Which is greater: g or q?
g
Let v = -38 + 26. Let h be (2/(-4))/(v/(-56)). Which is greater: h or -3?
h
Let y = 7 - 4. Let d = -2.8 - -0.8. Let x = y + d. Is x > 2/15?
True
Suppose o = -2*o + 3, -4*o - 1 = -a. Is 6 < a?
False
Let o = -15 - -16. Is 2/5 bigger than o?
False
Let s = 831 + -826.97. Let t = s + -4. Let u = -2.03 + t. Is -0.1 at most as big as u?
False
Suppose 2*u - 23 = 47. Is u >= 35?
True
Let y(g) = g**2 - 7*g + 7. Let w be y(7). Let c = w + -5. Suppose -1 = 2*x - 9. Is x less than c?
False
Let y = -1 - -4. Suppose -4*j + j = -y. Suppose 0*x = x + j. Do -6/7 and x have the same value?
False
Let g = -137/3 + 45. Which is smaller: g or -3?
-3
Let l = 34 + -36. Let u be 2 - (-2 - -1 - -3). Is u < l?
False
Let l(m) = m**2 + 6*m - 1. Let q be l(-6). Let z = q + 13. Suppose -5*j = z + 3. Which is bigger: 0 or j?
0
Let j = 33 - 68. Which is greater: j or -36?
j
Let a be (-3)/6*0/2. Let v(n) = -n + 3. Let g be v(a). Which is smaller: 0 or g?
0
Let y = -9 - 6. Let z = 7 + y. Let h be (-20)/(-6) - (-5 - z). Which is greater: 4 or h?
4
Let s(b) = 0*b**3 + 2*b**3 + 30*b - 31*b. Let n be 2 - ((-1)/(-1) - 0). Let v be s(n). Is v > 0?
True
Suppose r + 4*r - 20 = 0. Suppose j + 2*t - 3 = -4, 5*j - r*t - 51 = 0. Are j and 7 nonequal?
False
Suppose 0 = 2*o + 5*u + 40, 18 = -4*u + 2. Let r = 2.9 - 3. Which is greater: r or o?
r
Suppose -2*v + 1 = 3. Let g = v - -3. Let r = g - 1. Which is greater: r or -0.1?
r
Suppose -3*s = -y, -y + 4*y - 12 = 3*s. Suppose 0 = 2*w - 0 - y. Is w equal to 4?
False
Let z = -23/39 + -1/13. Let u be 0*(5/2 - 2). Is z at most as big as u?
True
Let o(d) = -d - 5. Let t be (-5)/1*(-3)/(-3). Let k be o(t). Let g be 6 + -5 - k/(-1). Is -1 < g?
True
Let b = -0.11 + 0.01. Let r = -0.9 - -1. Which is bigger: r or b?
r
Let c be (6/(-2) - -4)/(234/(-12)). Is c at most as big as 0?
True
Let p = 99 + -100. Let g = -3 - -2. Let v = p + g. Is v greater than -2?
False
Let d(z) = z**3 - 4*z**2 - 2*z + 1. Let i be d(4). Let o(g) = g + 10. Let c be o(i). Let w be 2*c/(-6)*1. Which is smaller: 1/4 or w?
w
Suppose 0 = 5*i - 20, -5*i = 2*w - 5 - 9. Suppose 3*s - 1 = 5*o, 5*s = -3*o - 0 + 13. Do o and w have the same value?
False
Suppose -2*w = -3*x - 7, 0 = -5*x - 0*w - 2*w - 1. Let q = 49/5 - 11. Is q <= x?
True
Let h be ((-3)/(-3))/((-1)/18). Let d be ((-6)/h)/((-8)/(-9)). Is d less than 0?
False
Let v(k) = -k + 1. Let h be v(0). Let s = 0 + h. Which is smaller: -9 or s?
-9
Suppose 0 = -0*i + 3*i. Suppose 0 + 5 = k + 2*d, i = 3*k + 4*d - 11. Suppose 15 = -g - 2*y - 2*y, 4 = -y. Is g <= k?
True
Let z be 1 + -2 + 4/3. Let a = -6.2 - -4.4. Which is smaller: a or z?
a
Let o = 6 - 4. Suppose 0 - o = -2*b. Is b less than -3/8?
False
Suppose -4*k - 16 = -0*k. Which is smaller: -2 or k?
k
Let l be -3 + 6 + (-3 - 0). Suppose 5*u + 3*y - 5 + 1 = 0, -4*u = 4*y - 8. Is u != l?
True
Suppose -2*d + 8 = 2*v, 6*d - 3*d - 4*v + 16 = 0. Let i = -6 - -4. Let s be i/2 + (-27)/(-21). Which is greater: s or d?
s
Let m(w) = -w**2 - 3*w + 3. Let i be m(-3). Let f be (-5)/(-15) + (-61)/i. Let p be f*((-5)/(-2) - 3). Is 10 greater than p?
False
Let w = 0.2 - 0.4. Let p = -0.06 + 0.16. Let v = w + p. Is v less than 1?
True
Suppose 2*m + 3*m = 75. Suppose -19 = a - m. Is a > -5?
True
Suppose -i - 1 = -3, i - 8 = q. Does q = -8?
False
Let s be (59 + 1)/((-3)/2). Let o = -94 - -60. Let v be 2/(-8) + o/s. Which is bigger: 1 or v?
1
Suppose 3*q + 13 = -v, -5*q - 19 = -v - 0*q. Which is greater: v or -2/3?
-2/3
Let x be 36/(-5)*15/2. Let s be 4/(-10) + x/15. Is s less than or equal to -3?
True
Suppose -2*p + 6*p + 8 = 0. Let t be (-1 + p)/(1 - 2). Is t < 0?
False
Let w = -7 - 0. Which is smaller: -5 or w?
w
Let g = -0.27 - -1.27. Let d = -1.8 + 2. Let l = d - 0.1. Which is smaller: g or l?
l
Let q = -47 + 41. Which is smaller: q or -0.1?
q
Let s = -3 + 4. Let o be 2/((-3)/(-6)*-2). Let u(p) = -p**3 - p**2 + p - 2. Let q be u(o). Which is smaller: s or q?
q
Suppose 2 = 5*g - 8. Let m = -10/97 - -719/388. Which is smaller: g or m?
m
Suppose -15 = 2*p - 5*p. Suppose 5*k + f - 12 + 2 = 0, -3*k + 2*f + 6 = 0. Suppose -p*s - 15 = 5*a, 5 = a - 5*s + k. Which is smaller: a or 2?
a
Let p = 5 + -4. Suppose -2*z + 59 = -5*u - z, z = -1. Let y be (u/(-8))/(3/2). Are p and y unequal?
False
Let y(l) = 8*l - 42. Let r(m) = -3*m + 14. Let i(x) = -11*r(x) - 4*y(x). Let s be i(-10). Which is smaller: s or 1?
1
Let y(r) = r**3 + 7*r**2 - r - 8. Let c be y(-7). Let d be (3 + -2)/(-6)*3. Are c and d unequal?
True
Let l be (-2 + (-7)/(-3))/((-5)/60). Suppose 5*u + 25 = 4*y, -2*y = -5*u - 8 - 7. Suppose -2*q + 3*q = 2*k - 11, 0 = y*q - 3*k + 34. Is l != q?
True
Suppose 3*w - 28 + 22 = 0. Which is smaller: 3 or w?
w
Let v = 3 + -5. Is 0 > v?
True
Let f = -2 + 2. Suppose 4*g + 10 - 2 = 0. Which is bigger: g or f?
f
Suppose 2*m + 8 + 0 = 0, -2*j = -2*m + 2. Is -4 less than j?
False
Let g(u) = u**2 - 8*u + 1. Let f be g(9). Let h = f + -10. Does 1/5 = h?
False
Let r(l) = 112*l**2 - l + 3*l - l - 110*l**2. Let f be r(-1). Which is bigger: f or -2?
f
Let s(r) = r**3 - 19*r**2 + 2*r - 43. Let a be s(19). Suppose -k - 3*k = 0. Let l be (k/(-1))/(10/a). Which is smaller: l or -0.06?
-0.06
Let j = 4 - 3.4. Do j and -0.1 have different values?
True
Let c = 2 + -2. Let g be 4*5/130 - (-11)/13. Does g = c?
False
Suppose 0 = 3*r + 21 + 3. Let g be 4*(2 + 10/r). Let f = -4 + g. Is -6/5 > f?
False
Let h be (-1 + 10)*6/9. Suppose -1 + h = -b. Do b and -5 have the same value?
True
Let x = -0.37 - -0.3. Is x < -0.3?
False
Let c be (18/12)/((-2)/12). Which is greater: -10 or c?
c
Let m = -14 + 13. Do 3 and m have the same value?
False
Let d(o) = o + 1. Let i(l) = 7*l + 14. Let m(g) = -6*d(g) + i(g). Let y be m(-9). Let f(k) = k + 4. Let p be f(-4). Is p at most y?
False
Let a(h) = h**3 - 6*h**2 + 2*h - 5. Let f be a(6). Is f <= 6?
False
Let m = 0.5 - 0.8. Let q = 0.1 + -0.3. Let l = q - m. Is -3 smaller than l?
True
Let z = -20/51 - -8/51. Which is greater: 2 or z?
2
Let q be 12/8*12 + -3. Let j = q + -16. Is j != -7?
True
Suppose -s - 4*y = 2 + 11, 0 = -s - 5*y - 16. Let j(c) = 7*c**2 + 2*c + 1. Let x be j(s). Which is greater: 5 or x?
x
Let u be 3*1/19 - 0. Is 0 < u?
True
Let x = 7 - -1. Suppose 0 = -0*n + 2*n - x. Suppose 0*c = -c - n*i - 1, -3*c - 5*i = 3. Which is bigger: c or 3?
3
Let f(b) = -1 + b + b - b**2 - 1 + 4. Let i be f(3). Suppose 3*z = -2 - 1. Is z > i?
False
Let p be -4 + 1 - (-1 + -2). Let h(u) = -u**2 - u + 6. Let m be h(p). Does m = 3?
False
Let s = 4.834 - 0.034. Let r = s + -5. Let j = -0.3 + 0.1. Is r <= j?
True
Suppose 0 = 3*b - 12, 4*r - 2*b = -14 - 6. Let v(w) = w**2 - 8*w + 7. Let o be v(8). Let d = 3 - o. Are r and d equal?
False
Let a = -28 + 42. Which is greater: 13 or a?
a
Let r be 9 + -6 + (2 - 1). Suppose -2 = r*k - c - 9, k = -3*c + 5. Is 1 greater than k?
False
Let m(r) = -r. Let k be m(2). Suppose a + 11*y = 15*y + 8, -4*a - 2*y - 4 = 0. Is k at most as big as a?
True
Let j be -1*-2*(-12)/(-8). Suppose -t = 5*z - 1 - 19, -j*t = 5*z - 30. Is 2 at most z?
True
Let j be (-117)/(