 Let g = 1/207 - -5173/414. Let j = -117/10 + g. Do l and j have the same value?
False
Let m = -247 - -247. Do 2/183 and m have the same value?
False
Let y be ((-1365)/(-86))/(-7) - 10/(-4). Which is smaller: y or 1?
y
Suppose o = 3*o - 5*m - 5, -3*o - 5*m = -70. Suppose 0*c - 36 = 2*c. Let f = o + c. Which is bigger: -5 or f?
f
Let a be (-36050)/8 - 15/(-10). Let y = a - -4477. Let j = -28 - y. Is j >= -0.1?
False
Let d be (-28)/7 - (-1)/(1/(-3)). Let r be (0 + (-6)/(-14))/((-1)/d). Which is smaller: -1 or r?
-1
Let j = 77 + -158. Let z be 4/(-18) + (-1233)/j. Let a(h) = -h**2 + 17*h - 16. Let c be a(z). Which is bigger: c or 1?
c
Let a = -16.1 + 6.1. Let y = -0.17 + -8.83. Let l = a - y. Which is smaller: 0.03 or l?
l
Let u = -157.45 + 149. Let f = u - -8.4. Is -1/5 >= f?
False
Suppose -16 = 2*p - p. Let l be -7 + p/(-4) + -4. Which is smaller: l or -9?
-9
Let y = 0.065 - 38.065. Let v = -38.1 - y. Which is greater: v or 7?
7
Let k(x) = -23*x - 83. Let c be k(-4). Let j = 5/141 + 2105/282. Is j < c?
True
Let y(b) = -b. Let k(p) = -3*p + 5. Let f(o) = -k(o) + 2*y(o). Let d be f(7). Let v be 16/(-80) - 26/(-5). Which is greater: v or d?
v
Suppose 8 = u + 2*d, 0*u = u + d - 7. Suppose 4*t + 4*h = u*h - 6, -5*h = 2*t - 27. Is t bigger than -2/75?
True
Let z = -1174 - -390. Is z at least -784?
True
Let i be (14/21*-3)/2. Which is bigger: i or 2/283?
2/283
Let r = 2.3 - 2.1. Let j = 0.2 - r. Which is greater: j or 0.5?
0.5
Let q be (480/(-30))/((-1)/1*1). Let f(a) = 3 - 4*a - 7 + 0*a. Let t be f(-5). Is t smaller than q?
False
Let z(u) = 0*u**3 - 4*u**2 + 1 + u**3 - 2*u + 3*u. Let p(i) = 4*i + 4. Let k be p(0). Let d be z(k). Is d <= 6?
True
Suppose -4*o + 9 = n, 3*n + n = 20. Suppose o = -4*q + 3*s, -5*q + 1 = -4*s + 2. Is q at most -2/67?
True
Let j(o) be the third derivative of -8*o**5/15 + o**4/8 - o**3/6 + 2*o**2. Let z be j(1). Let r be (56/z)/(-1) - 2. Are r and -1 unequal?
True
Let h = -10 + 4. Let d be (0 - h/14)*-1. Which is bigger: -7 or d?
d
Let h(y) = 55*y + 6. Let c be h(1). Suppose -5*u + c = -8*i + 6*i, 0 = -4*i + 5*u - 107. Is i equal to -23?
True
Let x = 4 + -7. Let n = -1226.83 + 1227. Which is bigger: n or x?
n
Let t be ((-19)/48 + 4/12)/(-19). Let j = t + 275/8816. Does 1 = j?
False
Suppose 11 = 3*f - 4. Suppose 0*w + 2*w - f*b = -12, -5*b = -5*w. Let v(k) = 2*k**2 - 2*k + 1. Let x be v(2). Which is smaller: x or w?
w
Let m be (-29)/(-3) - 2/(-6). Suppose 0*k = -k + 11. Which is smaller: m or k?
m
Let z be 0 + (2/(-8) - 1). Let x(t) = t**3 + 6*t**2 + 6*t + 6. Let y be x(-5). Let s be (0/(12/4*y))/(-1). Is z less than or equal to s?
True
Suppose -27 = -4*s - q, -5 + 23 = 5*s - 4*q. Let t be (-1784)/2940 + s/10. Which is greater: t or -1?
t
Suppose 0*a = -5*j - a - 12, -2 = a. Let g be (8/60)/(0 + j). Is 0 greater than or equal to g?
True
Suppose m = 3*m - 4, -4*z = 2*m - 8. Let n be (3/(-9))/((-1)/3). Let g = 1 + n. Is g equal to z?
False
Let b be (-44)/110 + 44/10. Let l be (2 - 3)/(-2 + 3). Which is bigger: l or b?
b
Let y(p) = 3*p - 30. Let u be y(16). Suppose -u*r + 369 = -9*r. Which is smaller: r or 40?
40
Suppose 9 = 3*f - 0*f. Suppose 0 = 3*g + 4*r - 14, -5*r + 35 = -4*g + 2. Let w(t) = -2*t**3 - 4*t**2 - 2*t + 1. Let y be w(g). Is y less than or equal to f?
False
Let k = -1851164/15 - -123325. Let r = k + 86. Suppose -4*g = -0*g + 4. Are r and g nonequal?
True
Let q(n) = -2*n + 2. Let v(h) = h - 1. Let c(z) = 2*q(z) + 3*v(z). Let b be c(2). Is 1/18 less than or equal to b?
False
Suppose 0*k + 2*k - 3*g = 36, -4*k = 5*g - 94. Let t be 1/2 - 21/(-6). Let i = k + t. Which is smaller: i or -0.1?
-0.1
Let q = 1.5 - 112.5. Let b = 109 + q. Which is greater: b or -1/7?
-1/7
Suppose 1 + 0 = s. Which is smaller: s or -2/5?
-2/5
Let d be (213392/(-36))/(98/(-335992)). Let h = d - 20322584. Let v = h + 182/9. Is 0 > v?
True
Suppose -5*n = -4*c + 112, 77 = -4*n + 3*c - 4*c. Let w be 10/12*(-8)/n. Let v be 4/(0 - (-3)/3). Which is greater: v or w?
v
Suppose -2*v = 2*u + 598, -4*v - 67 = -51. Is -589/2 greater than u?
True
Let y = 1313 - 1310. Let i = -1 + -7. Is y greater than or equal to i?
True
Let l be (13 + 1484/(-98))/((-1)/(-7)). Let d = -7.9 - -7. Let n = -1 - d. Is l greater than n?
False
Let s = 12/1193 - -186048/5965. Is 32 bigger than s?
True
Let b(k) = 10*k**3 - 2*k**2 - 4*k + 2. Let x be b(3). Let m be 9/(-45) - x/(-10). Let t = m - 22. Is -6 less than or equal to t?
True
Let a be -3 - (1 - 339/84). Is -16 smaller than a?
True
Let d(x) = 3*x**3 + 16*x**2 + 3*x - 3. Let l be d(-5). Suppose 0 = -o + 1 + 1. Which is smaller: o or l?
o
Let n = 3377.94 - 3346. Let g = -32 + n. Are 2/3 and g unequal?
True
Let c be -2*4/(-16) - (-596)/(-1224). Let l = c + 43/612. Which is smaller: -1 or l?
-1
Let l = -0.12 + 10.12. Let i = 12 - l. Let x = i + -3. Which is greater: 0 or x?
0
Let k be (-3 + (2 - 1))/(2/40). Suppose -4*l - 124 = 40. Which is smaller: l or k?
l
Suppose -4*c - 54 = -5*f, 2*c - 7 = -2*f + 11. Suppose 4*g + 14 + f = 0. Is g at least -6?
True
Let m = 13 + -13.1. Let d = -1.8 + m. Is d equal to 0?
False
Let r be (3 - -2) + (-4 - 427/(-28)). Is 15 at least as big as r?
False
Suppose 0 = -2*k + 12*k - 180. Suppose 3*o + k = -12. Which is bigger: -13 or o?
o
Let w(c) = -c**2 + 2. Let p be w(0). Let t(g) = 10*g**2 + 2 + 6*g + 9 - g**3 - 3*g**p. Let l be t(8). Is l bigger than -3?
False
Let r = -141 - -254. Let f = r - 567/5. Is -1.6 not equal to f?
True
Suppose 24*y - 72 = 28*y. Let z be 39/37 + (y - -17). Let m be 1/1*(0 - -1). Which is bigger: m or z?
m
Let k = 2573 - 23213/9. Suppose -4*v - 10 = u, 4*v - 1 = 2*u + 7. Do k and u have the same value?
False
Let g = -239.5 + 248. Is g < 1?
False
Suppose -2432 = 20*w + 4008. Is w < -322?
False
Let j = -369 + 371. Which is greater: -109 or j?
j
Let m be (-10)/(-35) - 12/(-7). Suppose 4*s - m = 6. Let y be ((-3)/6)/(s/(-20)). Is y >= 3?
True
Let q = -1/1563 + 7817/3126. Which is greater: 60 or q?
60
Let n be (2 - 4)/((-196)/3010). Which is smaller: n or 32?
n
Let i = 1.1 - 2.1. Let n = -0.5 - -4.5. Is n not equal to i?
True
Suppose 211 = 4*y + 45*r - 50*r, -3*y = -3*r - 159. Which is smaller: 57 or y?
y
Let u(o) = o**3 - 15*o**2 - 2*o + 13. Let b be u(10). Is -505 != b?
True
Let r(t) = 11*t**2 + 29*t - 17. Let v(j) = -5*j**2 - 14*j + 8. Let p(x) = -3*r(x) - 7*v(x). Let u be p(-6). Is u not equal to 1?
False
Let f(b) = 2*b. Let y be f(-1). Suppose -4*i = -i - 9. Suppose c - i*c = 0. Is c less than y?
False
Suppose t + 286 = 3*j, 3*t + 894 = 8*j - 11*j. Is t less than or equal to -295?
True
Suppose o + 2*x - 1 = -5, -4*o + 4 = -2*x. Which is smaller: -52/35 or o?
-52/35
Let p be (-84)/20 + 4 + (-62)/(-270). Is 1 greater than p?
True
Let k be (-38)/(-9) + 12/(-54). Suppose 4*x = -0*x + k. Let i be (-3)/2 - x*-1. Which is smaller: i or 0.03?
i
Let o(v) = 9*v**2 - 6*v - 5. Let r(n) = 8*n**2 - 5*n - 4. Let b(t) = 4*o(t) - 5*r(t). Let y be b(1). Which is smaller: -2 or y?
y
Let l = 236 + -107. Let c be 2/(l/(15/(-3) + 4)). Is c greater than -1?
True
Let o(k) = 2*k**3 + 20*k**2 - 79*k - 7. Let g be o(-13). Which is bigger: 12 or g?
12
Suppose 217*f - 225*f - 5608 = 0. Which is bigger: f or -702?
f
Let p = -139 - -132. Let o be 22/(-6) + (-10)/30. Let v = o - 1. Which is greater: v or p?
v
Let v = 6.1 + -6. Let s = -8.8 - -9.2. Is v not equal to s?
True
Suppose 159 = 12*a - 21. Let p be 2/(38*20/a). Are 1 and p nonequal?
True
Suppose 6*u - 9*u + 7*u = 0. Which is greater: u or -2/73?
u
Suppose -a = -2*c - 2, 2*a = c - 0*c + 16. Suppose 5*g + i + 16 = 3*i, 3*g + 6 = 3*i. Which is greater: g or a?
a
Let k = 10/1237 + 1121/320383. Is k bigger than 0?
True
Let c = 25 + -18.5. Let y = 6 - c. Let j = 0 - y. Which is greater: j or 1/4?
j
Let j be 1/3 + 776/(-6). Let d be j/(-12) - (-1)/4. Suppose d = 5*m + 1. Which is smaller: 3 or m?
m
Let q be 989/(-495) - (-1 + 2 + -3). Is -1 less than or equal to q?
True
Suppose 6 = 7*l - 43. Let t = l + -31. Let x = -25 - t. Which is greater: -3 or x?
x
Let w = 158 + -113. Is -1 >= w?
False
Let w = -971/2 + 524. Which is bigger: w or 40?
40
Let d be (54/21)/((-3)/(-14)). Let w = -23 + d. Let l(i) = -11*i**3 - 3*i + 2. Let u be l(1). Which is greater: u or w?
w
Suppose -30*m = -2758 + 8668. Which is smaller: m or -196?
m
Let k = -92.05 - -94. Let y =