/g)/((-4)/(-30)). Let t = 35 - 41. Is v smaller than t?
False
Let x be -252*((-15)/2 - -8). Which is smaller: -125 or x?
x
Let o be (-166)/232 - 12/(-16). Suppose 2*h - 15 = -2*h + 3*n, 2*n = -10. Which is smaller: o or h?
h
Let d = -47 - -36.9. Let b = 603.1 - 604. Let j = b + d. Are j and -2/7 equal?
False
Let x be ((-9)/69)/(19/38). Suppose 5*k + 0 = -5. Are k and x equal?
False
Let v be (40/(-12)*3)/(-8 - -7). Which is smaller: v or 37/4?
37/4
Let b = -174 + 175. Which is smaller: b or 3/8?
3/8
Suppose 3*n - 30 = -2*v, n - 20 - 68 = -5*v. Let j be (v + -16)*6/(-4). Let c be j/(-5) - (-252)/(-70). Which is smaller: -6 or c?
-6
Let v be (-6)/(1*-3) + 304/12. Let l = 27 - v. Is l not equal to -24?
True
Let r be (-138)/(-27)*156/364. Which is smaller: r or 1?
1
Let c be 6/4*20/15. Let z(b) = -b - 12. Let d be z(-16). Which is smaller: d or c?
c
Suppose -g + 5*k + 35 = -0*g, 3*g - 67 = -4*k. Suppose -g*c + 26*c = 5. Let v = 7 - 3. Is c at least v?
True
Let h = -10 - -7. Let k = -38675/9 - -4297. Which is greater: h or k?
k
Let r = -33 - -80. Suppose 49 = 4*u - r. Let w be (4/(-42))/((-16)/u). Which is greater: w or 1?
1
Let j(i) = -20*i + 4. Let w be j(-5). Suppose z = 2*a - 0*z - 66, z = -3*a + w. Suppose -4*u = -a + 22. Is u greater than or equal to 3?
True
Suppose 1 - 31 = 15*l. Which is bigger: -14/19 or l?
-14/19
Suppose g + 2*g = -45. Let f = 19 + g. Let n be -3 + (-2 - -18)/f. Are n and -2/25 equal?
False
Let t = -9 - -11. Suppose 0 = -2*c + 3*u - 12, -4 = 4*c + 3*u + t. Let d = -4 - -1. Is d at most as big as c?
True
Let a(i) = -5*i - 1. Let c be a(-1). Suppose p + 7 = c*o, -1 = 3*o - 0*p - 2*p. Let r = 11 + -6. Is o not equal to r?
True
Let y = 30 - 39. Let u be (y/(-30))/((-7)/(-4125)). Let o = u + -177. Which is bigger: 1 or o?
1
Let v = -10 - 4. Let b be (3 - (-4)/4*-2) + 55. Let t = b - 69. Which is greater: v or t?
t
Suppose 4*u + 105 - 337 = 0. Let s = -405/7 + u. Is -1/4 < s?
True
Let b(z) = z**3 + 4*z**2 - 5*z - 1. Let s be b(-5). Let o(i) = i**3 - 3*i**2 - 4. Let p be o(3). Let r be p/(-2)*(-6)/(-66). Do s and r have different values?
True
Suppose 3*g - 19*f = -23*f - 97, 4*g + 2*f + 146 = 0. Is g >= 0?
False
Let p be 1356/18 + (1 - -1). Let t = p + -108. Let o = -31 - t. Is 0 < o?
False
Let d = 4.43 + -2.43. Is d > -26?
True
Let z be ((-174)/(-8))/((-6)/16). Let k = z - -91. Is k at most as big as 32?
False
Suppose 0 = 5*d - 315 - 1650. Let z be (d/10)/((-18)/15). Let i = z + 33. Are i and 1 non-equal?
True
Suppose -5*z + 26 = 2*o, -z + 6*z - 4*o = 8. Suppose h = 1, -5*c - 6*h = -z*h + 3. Let f(j) = 2*j**2 + 2*j + 1. Let d be f(-1). Is c less than d?
True
Let d = -169 + 187. Is d bigger than 116/7?
True
Let h = -469 + 469.69. Which is bigger: h or 2?
2
Let o = -227 - -225. Which is greater: -14 or o?
o
Let b = 5419/16320 - 1/255. Which is greater: b or 1?
1
Let d be (4*2/408)/(-25). Let s = d + -20648/8925. Let v = s + -2/105. Which is smaller: v or -3?
-3
Let t = 420 - 327. Is 92 smaller than t?
True
Suppose -5*v = -5*q - 5, -5*q = 4*v - 16 + 3. Suppose -v*o = o - 15. Suppose 3*i + i - 20 = 4*m, -o*i = 5*m - 25. Which is smaller: 2/11 or m?
m
Suppose -8 = -3*m + 7, 64 = 3*n - 4*m. Let v = 27 - n. Is -2 bigger than v?
False
Let z = -32/9 + 131/36. Are z and 0.2 equal?
False
Let o be 7 + 3 + (3 - 8). Let j be (o - 2)/((-9)/(-6)). Suppose 5*t + 29 = -j*r, 0 = -2*r + 6*r - t + 25. Is -6 >= r?
True
Let n be 0/(3 + -3 + -2). Suppose -c + 3 + n = 0. Let y be 1 + (-18)/4 + c. Is y at least -0.4?
False
Let c = -1234 - -13587/11. Is c less than 1?
False
Let m be 10/(-15)*(-18)/12. Let u be (-12)/(-10)*(-5)/(-2). Suppose -o + u*i = 4 - 18, -2*i - 8 = 0. Which is bigger: o or m?
o
Let y(j) be the third derivative of j**6/120 - 2*j**5/15 + j**4/3 - 3*j**3/2 + 6*j**2. Let u be y(7). Let h be -3 + (u - (-1 + 3)). Are -7 and h non-equal?
False
Let s = -250.037 + 250. Which is smaller: -0.1 or s?
-0.1
Let d(q) = -3*q**2 - 57*q - 243. Let i be d(-12). Suppose 2*k - 3 = k + p, 2*p - 18 = -k. Is i at least k?
True
Suppose 3*y + 3 + 0 = 0. Let m = -16677 + 667083/40. Which is bigger: y or m?
m
Let q be 8*(3/1 - 2). Suppose a + 0 = -q. Let w be ((-2)/a)/(22/(-16)). Is 2 less than or equal to w?
False
Let x(p) = p**3 + 3*p. Let r be x(3). Suppose 12034*w - 11988*w = 0. Do r and w have the same value?
False
Let n = -11 - -14. Suppose -n*z = -2*z - 13. Let x be (3 - 1)/(z - 7). Which is bigger: -1 or x?
x
Let w = 0.21 + -0.41. Let a = w - -0.13. Which is bigger: 0.1 or a?
0.1
Suppose 0 = -3*v + 5*g, -5*v + 5*g = 9*g. Which is bigger: 19/82 or v?
19/82
Let m = 10 - 7. Let k(l) = -l**2 - 16*l + 22. Let s be k(-17). Suppose -s*o = o. Which is smaller: o or m?
o
Let u(q) = 4*q + 11. Suppose -65*f + 61*f = 12. Let n be u(f). Which is smaller: n or -9?
-9
Suppose -2*x - 4*s = -30, 5*x + s = -s + 115. Suppose h + 95 = -5*v, -v - x = -0*h - h. Which is bigger: v or 0?
0
Suppose 225 = -19*k - 364. Let y = -47 - -17. Which is smaller: y or k?
k
Let o be 8 + (8 - 774/48). Is o less than or equal to -11?
False
Let c = -21 - -24. Suppose 0 = -b - s - 13, 2*b + c*s + 26 = 8*s. Which is bigger: -11 or b?
-11
Let y be (-6)/(-27) + 0/1. Let j = 7 - 48. Let t = -42 - j. Which is greater: y or t?
y
Let a = 5.5 - 2.5. Let l = 2.8 - a. Is l smaller than -7?
False
Let u = -35 - -24. Let n(w) = -w**3 - 11*w**2 - 2*w - 34. Let q be n(u). Do 1/4 and q have the same value?
False
Let w = -0.116 - 105.884. Let i = 132 + w. Is 0.2 != i?
True
Let f be (-33)/(-18) + -2 + (-37168)/(-96). Is f at most as big as 387?
True
Let f(u) = u**2 - 3*u + 2. Let j be (0 + 1)*(1 + -2) + 3. Let p be f(j). Suppose 0 = -7*x + 2*x. Is x != p?
False
Let z = 191 - 190.8. Which is smaller: z or -0.095?
-0.095
Let x be (102/(-85))/((-3)/40). Which is bigger: 52/3 or x?
52/3
Let p be -3 + 9 - (5 + 2 + -2). Do 0.0508 and p have the same value?
False
Let j = 14 + -14.36. Let z = j + -14.64. Let a = z - -14.9. Is 5/4 <= a?
False
Let v = 130 + -133. Is -46 > v?
False
Let l(r) = -20*r**2 - 23*r + 20. Let o(u) = 7*u**2 + 8*u - 7. Let g(a) = 6*l(a) + 17*o(a). Let h be g(1). Let f be -50*h/52 - 2. Which is smaller: 1 or f?
f
Suppose -2*o = -18 - 10. Let x = o + -22. Let a be (-25)/10*x/(-110). Is 0 smaller than a?
False
Let s be ((-2)/9)/((-3)/27). Suppose f + 2*d + 6 = 0, 6*d + 12 = -f + s*d. Is 3/26 at most as big as f?
False
Let x be (32/3)/(39/(-117)). Is -16 at most as big as x?
False
Suppose 0 = 133*j - 176*j + 4214. Let m(d) = -d**3 + 7*d + 7. Let t be m(-5). Which is greater: t or j?
j
Let f be (1 + 0 - -2) + -57. Let z = -57 - f. Is z at most as big as 4?
True
Suppose -x + 4*x + 20 = d, -2*x - 10 = 0. Let u = 1034 - 1031. Which is bigger: d or u?
d
Let a(h) = h**2 - 2*h. Let s(p) = -p**2 + 3*p. Let b(k) = -5*a(k) - 4*s(k). Let u be b(0). Is -3 at least as big as u?
False
Let k(p) = p**3 - 14*p**2 + 22*p - 52. Let b be k(4). Is b greater than -1?
False
Suppose 5*j = -5*r + 3460 + 2200, 6 = -3*j. Which is greater: 1135 or r?
1135
Let s be (-5)/(-2)*76/95. Let w be ((-6)/10)/(s/4). Which is bigger: w or -2/7?
-2/7
Let h be (-2)/(-16) - 6/48. Suppose 43 = 4*w + l + 2*l, 2*l - 10 = h. Suppose 2*g + 8 = -v, w = -g - v + 2. Are g and -15/4 non-equal?
True
Suppose 3*l + 6*t = t - 3, -1 = l - 5*t. Suppose 3*o + 0*o = n + 75, -2*o = -2*n - 158. Let w = n - -1051/13. Is w bigger than l?
True
Let y = 936 + -935. Suppose 114 = 4*l + 22. Let s be l/39 + 4/(-6). Is s > y?
False
Let i = 0.1 - 29.1. Let j = 0.014 - -27.986. Let k = i + j. Are k and 0 non-equal?
True
Suppose -5*b + 10*b = -140. Let q be b/(-8) - (2 - 1). Let o = 27 - 25. Is q greater than or equal to o?
True
Let d = -91/6 + 38/3. Let k = 4 + d. Is k at least as big as 3?
False
Let d be 2 - 0 - (-11)/11*35. Which is bigger: 36 or d?
d
Let c(s) = -s + 5. Let x(n) = 1. Let p(l) = c(l) + 5*x(l). Let q be p(9). Let b be q*(-1 - -3)/(-2). Is 1/3 bigger than b?
True
Let t be -11*24/(-44)*(-10)/4. Which is bigger: -17 or t?
t
Let q be (-2)/(-5) + 92/20. Suppose 2*u = -q*k - 0*u - 73, k - 3*u + 1 = 0. Let i = 12 + k. Which is smaller: i or 1/4?
i
Suppose -h = 4*j + 25, 0 = 2*j - h + 1 + 4. Let z be (2/(-102)*2)/(j - -3). Are z and 1 equal?
False
Suppose 5*k = -2 + 7. Let x = 15 - 14. Let h be x*68/387 - 2/9. Which is smaller: h or k?
h
Let k = 98.2 + -98.2