
Let m be (-1)/(-3)*(-18 + -3). Let w be 1 - (-25)/(-2) - (-3)/(-6). Which is greater: m or w?
m
Let j = 51.93 - 52. Let a = j + -0.03. Are a and -82 unequal?
True
Let p = -129871/13 + 9995. Let v = 1203/247 - p. Which is smaller: 0 or v?
v
Let x(g) = -21*g + 997. Let j be x(47). Which is greater: j or 46?
46
Suppose 6 + 26 = 2*j. Let w = j - 0. Suppose 0 = -2*c - 4*p + w, -p + 2*p + 62 = 5*c. Which is smaller: c or -2/7?
-2/7
Let w be (-4)/80 - (3 - 52/16). Is w at most as big as 4?
True
Let l(o) = o + 3. Suppose 2*v - 4 - 4 = 0. Let g be (-4)/(5*v/30). Let n be l(g). Is 0 not equal to n?
True
Let t = 6 + -40. Let h = -29 - t. Suppose -b = h - 2. Do 2/7 and b have different values?
True
Suppose 3*m = -5*v + 65, -4*m + 2*v = v - 56. Let o be ((-36)/(-10))/(1 - 9/m). Which is greater: o or 8?
o
Let r = -9 - -391. Let s = r + -383.87. Let j = -0.13 + s. Is j at least as big as 2?
False
Suppose 4*b - 12 = 2*b. Suppose 11*x = 16*x - 53*x - 144. Is b != x?
True
Let x = -0.55 + -28.45. Let d = x - -30. Is d at most as big as 42?
True
Let h = -2.58 + 2.52. Which is smaller: -6 or h?
-6
Suppose 3*q = -21 - 27. Let l = -14 + 48. Let b = 17 - l. Which is smaller: q or b?
b
Let p be (-2 - -11 - 6) + -3*1. Let a be (-6)/24 + 69/292. Is a < p?
True
Suppose 8*o = -o + 1521. Let g = 158 - o. Is -13 smaller than g?
True
Suppose 99 = 67*l - 66*l. Suppose l*v - 101*v + 2 = 0. Which is greater: 9/5 or v?
9/5
Let y = 4 + -1. Suppose 0 = 7*l - 9*l + 92. Let z be l/24 - (-2)/(-12). Which is greater: z or y?
y
Let f(b) = -b**3 + 4*b**2 + 2*b - 5. Let d be f(4). Suppose -3*h = -6*h + d. Suppose -a = -3*o + h + 1, -5 = -2*a - 3*o. Is -2/5 bigger than a?
False
Let h = 101.2 - 101. Let v = 49.7 + -42. Let l = 8 - v. Which is bigger: l or h?
l
Let f be -7 + 9 - (-5)/((-225)/5). Is -0.1 at most as big as f?
True
Let m = 8.2 - 12. Let v = -3.6 - m. Which is bigger: v or -0.01?
v
Suppose 7*y + h = 4*y - 24, 0 = -y - 3*h. Let k = 23501/6 + -3925. Do k and y have different values?
True
Let h be 10/70*(-49)/84. Let l(z) = -z - 2. Let a be l(-3). Is h at least as big as a?
False
Suppose 6*g = 11*g + 4*n - 870, 5*g - n = 845. Is 170 < g?
False
Suppose -5*j + 4*q = -9*j - 24, 0 = 5*j - 4*q + 39. Let w = 0 + 10. Let a = w + j. Is a bigger than 3?
False
Let m be 1 + -1 - -10*15. Let k be 5/2*1735/m. Let o = 29 - k. Which is greater: o or 1?
1
Suppose 0 = -x + 31*f - 35*f - 5, 0 = -4*x - 5*f - 31. Are -10 and x non-equal?
True
Let k be (-897)/(-765) + -1 + 6/(-45). Let w(x) = -x**3 + 7*x**2 + x - 6. Let t be 2 - (-6 - (-2)/2). Let h be w(t). Is h at least as big as k?
True
Let v be -3 + 49911/27720 - (-12)/10. Which is bigger: -1 or v?
v
Let d = -18 - -27. Which is greater: d or 10?
10
Let b = 1028 + -1023.6. Which is smaller: b or -5?
-5
Let o be (-38)/95*-2*(-2)/(-24). Suppose -4*f = -2*t + 7 - 21, -f = -4*t. Are t and o unequal?
True
Let a = -7122 + 42833/6. Which is bigger: a or 16?
a
Let b = 23 + -19. Suppose 4*f - 1 = 3*f + b*k, 0 = 2*f + 4*k - 2. Let z be 14/(-4)*f/(-7). Which is bigger: -2/3 or z?
z
Let g be (2/3)/((-1)/15). Let d be (-75)/g*(-4)/3. Let p = d - -9. Is 2/13 smaller than p?
False
Suppose 4*a + 6 = -2*c, -4*a = -a + 3*c + 9. Is a smaller than -1/107?
False
Let m be (-166)/2573 - (-22777)/(-124). Which is smaller: m or -185?
-185
Let a = -58 - -87. Let j = a - 28. Let r(g) = -g + 3. Let b be r(4). Is j <= b?
False
Let u(b) = b**3 - 3*b**2 - b + 4. Let s be u(3). Let m = s - -4. Suppose m = 3*o - 13. Is o at most 0?
False
Let s(m) = 10*m**2 - 19*m - 13. Let h be s(4). Which is smaller: 66 or h?
66
Suppose 9 = 3*j - d - 2*d, -5*j = 4*d - 15. Suppose -6 = -j*o, -2*i - 4*o + 5 + 3 = 0. Are -2/447 and i equal?
False
Suppose 3*z - 18 = 5*z. Let d = z + 12. Let b = -2.2 + 0.2. Is d equal to b?
False
Suppose -5*c + 35 = -5*h, -11 = -2*c - 2*h - 13. Suppose -a + 2*s = -4, -3*s = -a - 0*s + 8. Let d be ((-30)/16)/(3/a). Is c equal to d?
False
Let h(n) be the third derivative of -n**5/30 + n**4/12 - 32*n**2. Let g be h(3). Which is smaller: 0.1 or g?
g
Suppose 0 = 2*c + 102 + 530. Let p = c - -4106/13. Suppose -187 = s - 186. Which is bigger: p or s?
p
Let u = -63.37 + 63. Let r = u - -0.2. Is r > 1?
False
Suppose b = 5*b. Which is smaller: -9/38 or b?
-9/38
Let u be (-118)/(-100) + (432/45)/(-8). Which is bigger: u or 2?
2
Let k = 2 + 0. Suppose 0 = -k*g + 7*g. Suppose z + g = 10. Which is smaller: z or 1?
1
Let k be (2 - (-30)/(-21))*3066/4. Is k bigger than 439?
False
Let v = 748.4 + -748. Does v = -131/3?
False
Suppose w + 9 = 5. Let f be 43/w + 3 - -3. Which is smaller: -4 or f?
f
Let u be (-5 + -3)/(-8) + -37*1. Let y be ((-1)/(-14))/(9/u). Is y smaller than 0?
True
Let g(d) = d**3 + 6*d**2 - d. Let f be g(-6). Suppose 0 = -2*p + f*p - 24. Suppose 40*x - 45*x + 15 = 0, 4*s - 17 = 5*x. Which is greater: s or p?
s
Let k be (3/(-9))/(50/395). Let a = -3/10 - k. Which is greater: 2 or a?
a
Let i(p) = -p**3 - 4*p**2 - 2*p + 1. Suppose -7*f = -2*f + 10. Let o be i(f). Let s = o - -3. Is s >= -1/3?
True
Let q(y) = 30*y - 577. Let l be q(15). Is 1 at most as big as l?
False
Suppose 5*l - 3*l = 162. Suppose l = 3*n + 138. Which is smaller: 0 or n?
n
Let z be ((-16)/(-10))/((-8)/(-20)). Let f be 4/8*(-4 + z). Is 13 > f?
True
Let u = 1.027 + -0.737. Which is bigger: -0.2 or u?
u
Let a = 4354 + -65342/15. Which is bigger: -2 or a?
-2
Suppose -n = 3*o - 14, 3*o - 4*n + 11 = -0*o. Suppose -c - 8 = -o*c. Let s be c*4*(-4)/(-96). Is -10 <= s?
True
Let v = -5/118 - -883/4130. Is 0 greater than or equal to v?
False
Let j(f) = -f**2 - 4*f + 1. Let y(x) = -3*x - 31. Let q be y(-13). Let g(o) = -o**3 + 8*o**2 - o + 4. Let z be g(q). Let u be j(z). Is 5/16 >= u?
False
Suppose 4*d - 159 = -f + 298, -3*d - 4*f = -333. Is 109 greater than or equal to d?
False
Let g = -11 + 9. Let d(n) = -4*n + 2. Let h be d(g). Suppose -r + h = 2*b, 0 = 3*r - 0*r - 3*b - 66. Which is smaller: 17 or r?
17
Suppose c - 5*s + 20 = 0, 0 = -c + s - 4 - 0. Let f(t) = t**3 - 2*t**2 + 45. Let x be f(c). Is x smaller than 44?
False
Let j = 26.1 - 17. Let x = -16 + 7. Let k = x + j. Is 2/21 bigger than k?
False
Let a be ((-88)/(-4092))/((-2)/(-57)). Do a and 1 have the same value?
False
Let j be (-102)/(-119)*-14 - 34. Suppose 10*x - 5*x = -230. Is j at most x?
True
Suppose 4*o + 1 = 3*r, 1 = -r - 4. Let p be 1 - (0 - (2 - 0)). Suppose -5*a - 15 = -5*l + 15, -p*l = a - 6. Are a and o equal?
False
Let g = -169 - -333. Suppose 4*d - 5*v - g = -59, 4*v + 40 = d. Is d greater than 21?
False
Let a(h) = -7*h**2 + 2*h - 10. Let x be a(10). Let s be 0 - 1/4 - x/(-184). Which is bigger: -6 or s?
s
Let g = -11.1 - 1.9. Let p = -3 - g. Let f = p + -10.4. Is 0 <= f?
False
Let o(n) = n**3 + 20*n**2 + 17*n - 33. Let s be o(-19). Suppose -s*r - 9 = 4*i - 33, -3*i + 3*r = 9. Is i greater than -1/4?
True
Let y be ((-12)/27)/(((-32)/(-36))/(-4)). Is y less than or equal to -185?
False
Let t = 784 + -782. Which is bigger: 3/2 or t?
t
Let q = 5.3 + -31.7. Let r = 26 + q. Is r > 2?
False
Let s = -1792 - -123646/69. Is s not equal to 0.4?
True
Let b = -254 - -255.79. Let l = b + 5.31. Let s = l - 7. Which is smaller: 0.04 or s?
0.04
Suppose 0 = 7*d - 1 + 8. Which is smaller: -1/161 or d?
d
Let x be (1007 + -1)*(-2)/(-4). Let w = x - 13579/27. Suppose l = 2*i + 3, -5*l - 1 = 2*i - 28. Is i less than w?
False
Let v = 1.1443 + -0.1143. Which is smaller: v or -2?
-2
Let n be 15/(3 + 7/(28/(-18))). Is -34/3 less than n?
True
Let i = 83 + -79. Let m be 0/(i*(-2 + 44/16)). Let z = -120 + 2879/24. Is m less than z?
False
Let n(l) = 2*l + 4. Let s be n(-3). Let v(t) = t**3 + 10*t**2 - 2. Suppose 5*o = 2*o - 30. Let y be v(o). Is y >= s?
True
Suppose w + 45 = 6*w. Let f(b) = 2 + 0*b**2 - b**3 - 4*b**2 + 2*b**2 + 6*b. Let q be f(-4). Is q less than w?
False
Let y = -0.113 - 0.196. Is -1/3 != y?
True
Suppose 0 = -2*s + 1344 + 2184. Which is smaller: 1763 or s?
1763
Let u be (24/(-10))/(3/10). Let b(t) = -8*t - 2*t**2 + t**2 + 2 + 2 - 3. Let g be b(u). Is g < 2/5?
False
Let y = -5031/4 - -1258. Which is smaller: y or -3/29?
-3/29
Let j = -685 + 684. Which is smaller: 61 or j?
j
Let k = -49.1 + 49. Is k less than 185?
True
Let l = 19 + -19. Suppose 2*m + 0*m + 3*h - 2 = l, m + h = 0. Let f be 1 + m - (-1 - -12). Is -11 greater than f?
True
Let u = -