ose m*x = 8*x + 5. Which is smaller: 0 or x?
x
Let n = 94 - 95. Which is bigger: -2/235 or n?
-2/235
Let z = -3 - -18. Let k be ((-2)/5)/(9/z). Which is smaller: -2 or k?
-2
Let l = -41/4 + 279/28. Which is smaller: l or -24?
-24
Suppose 32 = 3*p + p. Let b be (-2)/(-20)*p/2. Is b not equal to 0?
True
Suppose -4*z + 4 = -2*z, 5*s - 2*z = 11. Let b = -2 - -6. Which is smaller: s or b?
s
Let w = -158 - -1108/7. Suppose 0*g + 2 = g. Do g and w have the same value?
False
Suppose 0 = -16*p + 12*p + 184. Does p = 46?
True
Suppose -2*k + k = 0, -2*l + 4*k - 4 = 0. Is 1 greater than l?
True
Let w(l) = -l**2 - 12*l + 14. Let r be w(-13). Which is smaller: 2/9 or r?
2/9
Let o be (-4)/8 - (-3)/2. Which is greater: -14 or o?
o
Let s = -71 - -70.9. Is s at most as big as 9/14?
True
Suppose -6*p - 3*v - 9 = -2*p, 3*v + 9 = -p. Let y be (1/4)/1*-2. Which is smaller: y or p?
y
Let w be (-6)/8 + (-392)/32. Which is bigger: -1 or w?
-1
Let v be (4 - 1 - (-58)/1)/(-1). Are -60 and v unequal?
True
Suppose 3*a = 5*g + 7, -5*g - 11 = -4*a - 0*g. Suppose a*r = r. Is r <= -2/9?
False
Let w = -487 - -5363/11. Which is greater: w or 0?
w
Let i(j) = -j**3 - 6. Let q be i(0). Let p = 4 + q. Is p not equal to -2/3?
True
Suppose 0 = -3*i - 0*i. Let t = i + 2. Let h = 0 - -3. Is t greater than h?
False
Let a(z) = 0 + z + 5 - 5 + 5. Let o be a(-6). Which is smaller: -2/43 or o?
o
Let x(m) = m**2 + 2*m - 8. Let r be x(-5). Let n be ((-2)/r)/(-7 + 6). Which is smaller: 22 or n?
n
Let a = 101 + -100.9. Which is smaller: a or 1/62?
1/62
Let i be (-58)/(-42) - 12/9. Which is bigger: i or 1?
1
Let q = -9.23 + 0.23. Let s = q + 18. Which is bigger: 1 or s?
s
Let f = -2/7 + 1/28. Let q(c) = c**2 + 5*c + 5. Let i(m) = 3*m + 17. Let b be i(-7). Let u be q(b). Is u greater than or equal to f?
True
Let l be 2/5 - (-7)/20. Suppose 2*r = -3*h - 3, 3*r = 4*r - 2*h - 2. Which is greater: l or r?
l
Let a be 9*1*(6 + -5). Which is smaller: a or 2?
2
Let x = -2155/3612 - -4/301. Which is smaller: 0 or x?
x
Suppose 2 + 3 = -5*s. Let y = -3.3 + 3.4. Is y not equal to s?
True
Let o = -0.4 + 0.4. Let i = o - -0.5. Let v = i + -0.3. Is -1 > v?
False
Let s be 6/2*(-9)/63. Let y = 12 + -7. Suppose 9*l - 4*l + y = 0. Which is greater: s or l?
s
Let n be 96/6 + 0 + 2. Let k be (-16)/6*n/(-12). Is 4 greater than k?
False
Suppose -3*k + 0 = -z + 1, 3*k = 5*z - 17. Let d = z - 4. Is d at most -1?
False
Let o = 2.06 - 2.6. Let p = o + -0.06. Let q = 0.8 + p. Which is greater: 0.3 or q?
0.3
Let s be 2/(-3) + (-14)/15. Suppose 9 = -11*o + 8*o, -5*o - 14 = -b. Which is bigger: s or b?
b
Let n be 6/(-8) + (-3759)/(-756). Which is smaller: n or 4?
4
Let g = -22 - -25. Is 0 less than g?
True
Let c = 91 + -85. Is 2 < c?
True
Let d(q) = -3*q**2 + 6*q**2 - 12 - 5*q**2 + 13*q - 3*q**2. Let f(w) = w**2 - w + 1. Let l(c) = -d(c) - 6*f(c). Let h be l(-8). Is -4 > h?
False
Suppose 6*o - 5*o = 15. Suppose -5*i + 9 = 4*j, 2*j + 3 = -4*i + o. Is j < -4?
False
Let t be -4 - ((-84)/18 + 1/6). Is t <= 1/7?
False
Suppose 2*n + 11 = 3*q, q + 11 = -4*n - 46. Which is greater: n or -14?
n
Let i be (-1 + 0)*2 + 37. Let b be ((-20)/i)/((-2)/7). Let u = -2.2 - -2. Which is greater: u or b?
b
Let m = 5.9 - 5.5. Is m <= -1?
False
Let l be (-1085397)/(-34620) + 1/4. Let r = l + -1/577. Let q = r - 32. Is -1 < q?
True
Let d = 12 + -23/2. Suppose 4*m + 6 = -2*u - m, -3*m = 5*u - 4. Is u at least as big as d?
True
Let f be (-2)/(-12)*40/(-85). Let r = -125/357 + f. Is 0 < r?
False
Let z(o) = o + 9. Let c be z(-9). Is 6/43 smaller than c?
False
Let w(k) = k**2 - 39*k - 10. Let n be w(0). Suppose o - 4*x + 4 = 0, 2*o - x - 4*x + 14 = 0. Is n less than o?
False
Suppose 3*d - 40 = 5*y - 10*y, -4*y = -2*d - 54. Is y < 13?
True
Suppose w - 6 = 2*w. Let l be -1 - (-3)/6*w. Which is greater: l or -5?
l
Let v = -5.94 + 6. Let c = v + -0.06. Which is smaller: c or 0.1?
c
Let p be 22/6 - (-10)/(-15). Suppose 5*u - 3*s + 112 = 0, -u - 28 = p*s - 2. Let y be 9/6 + u/18. Which is bigger: y or -1?
y
Let q(t) = -3*t + 2. Let o be q(1). Which is smaller: o or -2/13?
o
Suppose w - 4 = 0, 3*g - 1 = -4*w + 9. Let x = g + -1. Which is greater: x or -2?
-2
Let z(c) = 4*c**3 - c**2 - c + 1. Let g be z(1). Let l(f) = f**3 + 4*f**2 - 6*f + 7. Let n be l(-5). Suppose r = 5*r - n. Do g and r have the same value?
True
Let h = 230/3 - 78. Let j = 0 - 2. Which is bigger: h or j?
h
Let t(w) = -w**2 + w + 5. Let p be t(0). Let x be (12/(-10))/((-7)/105). Suppose -5*f - c + x = 0, 0 = -0*f + 3*f + p*c - 24. Are f and 3 equal?
True
Suppose 35*n + 11 = 24*n. Let m(q) = q**2 + 6*q + 3. Let o be m(-4). Let v be o*(2/5 + 0). Which is smaller: n or v?
v
Let i = -89 + 74. Is i greater than -49/3?
True
Let t be 6/3*-1 - -5. Let p be (t/6)/(2/(-24)). Which is bigger: p or -5?
-5
Suppose -9*h = -11*h. Let o = 19 + -130/7. Is h <= o?
True
Let k be ((-4 - -4)/3)/2. Is 2 less than k?
False
Let a = 8 - 5. Let u be -5 - (a + -1)/(-1). Let w = 3 + u. Do -2 and w have the same value?
False
Let n be ((-12)/(-8))/(2/(-8)). Let p = n - -10. Suppose -2*w + 0 = -p. Is -2/7 at most w?
True
Suppose -l = -0*l + 1. Let k = -2 - l. Let b be ((-1)/3)/(k/2). Is 1 bigger than b?
True
Suppose 0 = -7*a + 4*a. Suppose v + 6 + 1 = a. Is v less than -5?
True
Let j be 16/2*(6 + -4). Is 14 equal to j?
False
Suppose 5*f - x + 145 = 0, 4*f - x + 0*x + 115 = 0. Let c be 60/18*4/f. Is 0 less than c?
False
Suppose 5*a + 0*a - 2*i = -102, 4*i = 5*a + 94. Is -23 greater than or equal to a?
False
Let x = -41 + 38. Do x and 3 have different values?
True
Let v = -1.8 - -1. Let p = -0.7 - v. Is p >= -3?
True
Suppose 5*w + 39 = 2*n, -5*n - 4*w + 3*w = -30. Let x(p) = -p**3 + 6*p**2 + 5*p + 6. Let f be x(n). Which is bigger: -9 or f?
f
Let k = -6.04 - -0.04. Are k and -2/7 equal?
False
Let s(k) = k + 7. Suppose 0 = 5*g - 5, -5 = 2*y + 4*g + 1. Let l be s(y). Let d be 0*l/(-4) - -7. Is 6 at least as big as d?
False
Let r = 8 - 4. Let f = -11 + 2. Let d = f - -14. Do r and d have the same value?
False
Let y be ((-6)/12)/(6/(-92)). Let b = 101/12 - y. Which is smaller: b or 0?
0
Let c(r) = -r. Let z be c(0). Let s be (-4)/(-6) + (-4)/(-3). Suppose s*l + z*l = -4. Is l >= -2?
True
Let z = -13649/31460 - 457/1210. Let r = -7/20 - z. Which is greater: 1 or r?
1
Let u be 8*(-2)/(-4)*(-26)/(-8). Is 49/4 <= u?
True
Suppose 0 = 4*a + 8. Suppose 4*s + s + 2*l - 8 = 0, 4*l - 16 = s. Suppose -3 = h - s. Which is smaller: a or h?
h
Let w = -0.0715 + 18.1215. Let a = w + -18. Does a = -1?
False
Let y(a) = a + 1. Let q be y(-1). Suppose 2*s + 2 + q = 0. Which is greater: -1/4 or s?
-1/4
Let i = -17 - -33. Suppose -24*w = -5*w - 323. Which is greater: i or w?
w
Let c(k) = -106*k**3 + k**2. Let g be c(1). Let i = 2479 - 10339/4. Let d = i - g. Is d at most -2?
False
Let n = -3 + 3.4. Which is smaller: 0 or n?
0
Suppose -5*t = -2*v + 3, v + 5*t + 3 + 3 = 0. Let x(d) = -d**2 - d + 1. Let y be x(1). Let i = 0 + y. Is v > i?
False
Let l = 2 + -4. Let g(x) = -x**3 - 9*x**2 + x + 7. Let j be g(-9). Let h be l/(-8) - (-2 - j). Do 0 and h have the same value?
False
Let x = 17 - 19. Let w be x/4 + 2/(-4). Which is smaller: w or 3?
w
Let f(g) = -7*g + 1. Let s be f(-1). Which is bigger: -2 or s?
s
Suppose 3*n + d = 5*n + 29, 23 = -2*n - 5*d. Which is bigger: -12 or n?
-12
Suppose 18*v - 14*v = 20. Is 1/3 at least as big as v?
False
Let v be ((-466)/(-3))/(984/(-108)). Let m = 17 + v. Which is bigger: 0 or m?
0
Let j = -3.1 + 3. Let m = -108 + 108.07. Which is smaller: m or j?
j
Suppose -3*p + 5 = -4. Suppose -p*s + 5*u - 3 = 34, -4*u = s + 1. Is s at most as big as -8?
True
Suppose 3*o - 5*i = -2, -3*i = -4*o + o. Let w be (3 - (1 + 1)) + 1. Let l be o*-3 + 8/w. Is -2/9 <= l?
True
Let f = -1035 - -35187/34. Is f >= 1?
False
Let w be ((-2)/(1/1))/(-2). Let t = 2 + w. Suppose 0*q + t*q - 3*n = 9, n - 3 = -5*q. Does q = 8/7?
False
Let j = 0.9 + -0.5. Which is greater: 2 or j?
2
Let x be 4/(-22) + (-80)/(-2860). Is x at least -0.1?
False
Let b = -0.3 - -0.6. Let x = 0.4 + 0. Let c = b - x. Is c <= 0.1?
True
Let a = -11/6 + 7/6. Is -0.11 greater than a?
True
Let k = -1 + 1. Let l = -3/5 + 29/15. Is k not equal to l?
True
Let w = 2.2 + -1.9. Do 2/3 and w have the same value?
False
Let k(o) = o**3 - 14*o**2 + 16*o - 19. Let z be k(13). Which is bigg