 17 = 3*w, v = -5*q - 2*w - 1 - 3. Suppose 3*h = -0 - 9. Is h < q?
True
Let h = 9 - 9.14. Is 0 greater than or equal to h?
True
Let m = 0.19 - -0.11. Which is smaller: m or 3?
m
Let w = 97/9 - 6. Let z = -5 + w. Which is smaller: 1 or z?
z
Let y be 3 - -13*(-5 + 2). Which is smaller: -37 or y?
-37
Suppose -4*j + 12 = -3*j. Is 13 > j?
True
Suppose t - 2 = 1. Suppose 12 = -3*o - t*z, 16 = -3*o - 4*z - 0*z. Is 2/23 less than o?
False
Let v = -6 + 6. Let u be (-3)/(-2) + 63/(-2). Let b be (-2)/5 - 2/u. Is v less than or equal to b?
False
Let x = 2.8 + -2.9. Let f = 2.9 + -3. Does f = x?
True
Suppose 0 = -3*j + 2*j. Suppose j = -5*w, 4*w = -2*h - w. Is -1/36 at least as big as h?
False
Let h be (-6)/8 - 15/220. Let k = h - -38/33. Is 1 < k?
False
Let s = -313/3 - -102. Let l = 3 + s. Which is greater: l or 2?
2
Suppose -3*w - 2*w + 5 = 0. Suppose 0 = -2*o, -5*s - 5*o = -4*s + w. Which is greater: s or 3/7?
3/7
Let w = 7.6 - 3.4. Let k = 4 - w. Which is smaller: k or -2?
-2
Let g = -11 - -9. Which is smaller: g or -11/4?
-11/4
Let w = -2 - 2. Let r(t) = -t**3 - t. Let s = -2 + 3. Let c be r(s). Which is greater: c or w?
c
Let p(r) = r**3 - 6*r**2 - r + 1. Let h be p(6). Let z be (-2)/((4 - 3)/(-2)). Let b = -8 + z. Which is smaller: b or h?
h
Let i = 55 - 51.07. Let t = i + 0.07. Let x = t - 3.9. Which is smaller: 0.4 or x?
x
Let q = -5.01 - -0.01. Are q and -3 equal?
False
Suppose -4*q + 4 = -4*o, 7*q + 28 = 3*q - 4*o. Suppose -j - 4*a + 16 = 0, 2 = -3*j + a - 15. Is q >= j?
True
Let v = 1 + 4. Suppose -a - 6 = -m + 6, 0 = -2*a - v*m + 11. Which is smaller: -8 or a?
-8
Suppose 0 = -0*q + 5*q + 25. Which is greater: -2 or q?
-2
Let l be (15/20)/((-6)/(-4)). Let c be (-10)/25 - 8/5. Let p be (1/c)/(5/(-4)). Which is greater: p or l?
l
Let s = 19 + -10. Which is smaller: s or 0?
0
Let i be (-13)/(-20) - 2/5. Let o be ((-12)/16)/((-10)/(-4)). Let l = 19/30 + o. Do i and l have different values?
True
Suppose -27*o = -30*o + 3. Which is smaller: -2/89 or o?
-2/89
Let v = 7218/19 - 380. Let f = -0.05 + 0.15. Is v equal to f?
False
Let b = -1.7 + -20.3. Let y = -15 - b. Let p = 6.5 - y. Are p and 1 equal?
False
Let g = 6 + -2. Suppose -w + g = w. Suppose h = -2*h - 2*l + 7, -5 = h - 3*l. Does h = w?
False
Let k = -1174/15 - -78. Which is bigger: -1 or k?
k
Let x be -1 + 2/5 - (-8)/(-20). Let z be 4/10 - (-7)/(-5). Is x greater than or equal to z?
True
Suppose w + 27 = 9. Which is bigger: -17 or w?
-17
Let k = -0.4 - -0.4. Let n = -0.1 + k. Which is smaller: 3/4 or n?
n
Let m be (-4)/(-12)*(-1 - -1). Suppose 2*y - 3 = 3*g, g + 1 = -m*y + 3*y. Suppose 2*q + q = y. Is 2/7 greater than q?
True
Let x be (-33)/88 - (-38)/16. Which is smaller: 3 or x?
x
Let j = 48/7 + -507/77. Which is smaller: -1 or j?
-1
Let c = -4 - -2. Let o = 0 + c. Let a be (2 - 0)/(18/(-27)). Is a less than or equal to o?
True
Suppose -2*h - 1 = -4*p + 23, 3*p = 4*h + 38. Let m = h - -7. Which is greater: 1/6 or m?
1/6
Let g be (48/(-64))/((-27)/8). Let p = -2 + 3. Is p not equal to g?
True
Let s = -67.99 + 15.94. Let l = 45 + s. Let a = l + 7. Do 0 and a have different values?
True
Let n = 14 - 19. Is n greater than or equal to 0?
False
Let o be (-5)/3 + (-2)/6. Is o >= -0.07?
False
Let g = -6 + 11. Let w = g - 5. Do w and 0 have different values?
False
Let u = 7 + 3. Suppose 23 = 3*k - u. Is 10 less than k?
True
Let n be (-3)/(-2) - 29/(-6). Let j = n - 17/3. Which is smaller: -3 or j?
-3
Let p = 71 + -68. Is -10 less than p?
True
Let c be (-4 + 1 + 3)*1. Which is smaller: 4/21 or c?
c
Let h be (-2)/40*4/(-3). Let b = h + 1/3. Let q(a) = a**2 + 3*a. Let d be q(-3). Which is greater: b or d?
b
Let j = 8.8 + -9.8. Is j at least -54?
True
Let y(p) = -p**3 + 15*p**2 - 14*p + 1. Let q be (-3)/1 - (-26 + 9). Let w be y(q). Does w = 1/3?
False
Let o be (-17)/((-4 + 1)/(-3)). Let v = o - -18. Which is smaller: 0 or v?
0
Let k = -50638/41 - -1235. Which is smaller: -2/5 or k?
-2/5
Let z(h) = h + 2. Let j be z(-10). Suppose 10 + 30 = 5*u. Let x be u/(-12) - (-66)/(-9). Is x at least j?
True
Let t(u) = -u - 3. Let p be t(-6). Let o = 3 - p. Which is bigger: o or -4/5?
o
Let t be ((-4)/(-12))/((-2)/6). Are -1/27 and t equal?
False
Let i = -14 - -16. Is i at least -1?
True
Let l = 1 + 3. Suppose -2 = -l*d + 6. Let x = -2 + d. Is 2/15 < x?
False
Let i be 26/(-65) + (-2)/(-4). Which is smaller: 1/4 or i?
i
Suppose -3*v = -5*v + 10. Let z be 4/(-6)*(-47 - 1). Suppose -3*b = -v*y - 32, 0 = 5*b - 0*b - 3*y - z. Is 5 <= b?
False
Let h = -1 - 23. Let m = -24.03 - h. Which is greater: -2 or m?
m
Suppose -u + 3 = -l - 4, 3*l + 37 = 5*u. Which is smaller: 2 or u?
2
Let s = 30 - 36. Let j be 120/28 + s/21. Is 1 equal to j?
False
Let o(f) = f**3 - 4*f**2 + 2*f + 2. Let h be 2/(-5) + 72/5. Let w be (-4)/h + 23/7. Let u be o(w). Which is greater: 1 or u?
1
Suppose 6*n + 3*n = 27. Which is bigger: 2 or n?
n
Suppose 26 = 2*y + 5*d, -5*d - 8 - 14 = -4*y. Is y > 9?
False
Let x = 12 - 4. Let m be 7/(-154)*x*1. Which is smaller: 0 or m?
m
Let t be 3 - (0 + (-24)/(-9)). Let r = -7.4 + 8. Let y = r + -0.2. Is t smaller than y?
True
Let q(f) = f**3 - 9*f**2 - 6*f - 11. Let n be (18/5)/((-8)/(-20)). Let h be q(n). Let l be 1/(-5) - h/(-175). Is l greater than or equal to -2?
True
Let q = 15 - 37. Which is smaller: -23 or q?
-23
Let s = 41 + -26. Let d = 432 - 416. Is d <= s?
False
Suppose -25 = -3*c - 5*j, -c - 4*j + 15 = -5. Let m = -30 + 28.7. Let s = -0.3 - m. Which is greater: c or s?
s
Suppose 3*l - 2*f = -37, -3*l - 6 + 4 = 5*f. Which is greater: -8 or l?
-8
Let y be (-20)/15 - 1/(-3). Which is bigger: 3/8 or y?
3/8
Let v = 90 + -811/9. Which is smaller: v or 0.8?
v
Let t(u) = u**3 + 7*u**2 - 5. Let i be t(-5). Let m = -134/3 + i. Is m less than -1?
False
Suppose 2*m + 3*y - 1 = -2, -5*m = 3*y + 7. Which is bigger: m or -9/5?
-9/5
Let h be -1 + (-1 - (-6 - -2)). Let t = -3 + h. Let l be -6*(-4)/(-30)*t. Which is smaller: l or 0?
0
Let r be (-1)/(16*(2 - 0)). Suppose 10 = -5*i + 5*h, 0 = -2*i + 3*h + 2*h - 13. Is r greater than i?
False
Let q be 28/6 - (-2 - (-3 - -2)). Which is bigger: q or 7?
7
Let o be 2/(-4)*60/6. Which is greater: o or -1?
-1
Suppose -4*h + 2 = -6. Let o(v) = -5*v**3 - 2*v**2 + 6*v - 5. Let f(u) = -11*u**3 - 4*u**2 + 13*u - 11. Let s(a) = 6*f(a) - 13*o(a). Let y be s(h). Is y != 0?
True
Let w = -18 + -18. Let b be w/(-28) - (-4)/(-14). Is 3/2 <= b?
False
Suppose 11 + 3 = t + 5*j, 0 = 3*t + j. Does t = -3/38?
False
Suppose 2*k - 6*k - 20 = 2*s, s - 5*k = 18. Let r = s - -8. Suppose 0 = -v - 0 + 5. Which is smaller: r or v?
v
Let f = -23 - -93/4. Suppose 4*w + 10 = -2*p, -3*p + 3 = -w + 18. Which is bigger: w or f?
f
Let f = 2/125 - 256/375. Let h = -1 + -2. Let v be 1/(-2)*h/6. Which is smaller: f or v?
f
Suppose -287 = -17*d + 24*d. Which is bigger: d or -42?
d
Let f = -0.4 + 0.2. Let x = 10 - 10.9. Let r = x + 0.9. Which is smaller: r or f?
f
Let k(y) = -5*y - 1. Let q be k(1). Let g be 2*(-7)/4*-2. Let r be (g/(-21))/((-4)/q). Do r and -2/5 have the same value?
False
Let o be (-28)/7*2/4. Is -4 less than o?
True
Suppose 0 = -h + 2 + 3. Suppose h = 7*t - 2*t + r, -26 = -3*t + 4*r. Is 2 smaller than t?
False
Let d = 47 - 39.9. Let f = 1.9 + d. Is 0.1 > f?
False
Let p = 14 - 40. Let n be ((-2)/3)/(p/(-9)). Which is greater: n or 0?
0
Let s be 8/16 - (-2 - (-10)/4). Is 30/29 != s?
True
Suppose -3 = f - 2*f. Suppose 2*w - 102 = -5*m, -m + 6*m - 2*w - 98 = 0. Let v be (-4)/(-3)*6/m. Is f equal to v?
False
Suppose -5*b - 5 = -4*b. Which is greater: -6 or b?
b
Let c = 56946 + -238205116/4183. Let r = -29137/301176 - c. Let s = 169/72 + r. Is 1 greater than s?
False
Let z = 6542/15 - 436. Suppose 0 = -5*v - 2*f + 3 - 9, 0 = 5*v - 2*f - 6. Is v at most as big as z?
True
Let s(z) = z**2 - 3*z + 3. Let i be s(2). Which is bigger: i or 12/7?
12/7
Suppose 2*o = -6*o - 8. Let c be o/9*(-4 + -8). Which is bigger: c or 2?
2
Let u(w) = -w**2 - 3*w - 1. Let a be u(-4). Let h be (1*-3)/((-24)/16). Suppose -f + 2*l + h = -3*f, l = 4*f + 14. Is a bigger than f?
False
Let d be (-2)/(-3) - 832/1272. Which is greater: -1 or d?
d
Suppose -6*o + 5 = -o. Is -1/3 at least o?
False
Let z be (1 - -1) + 3 + -9. Suppose -1 = -3*k - 13. Is z > k?
False
Let t = 13 + -11. Are 3/2 and t non-equal?
True
Suppose 3*y - 30 + 33 = 