g = 18 - o. Let a = g - -10. Are a and 1 nonequal?
True
Suppose 24 = 6*d - 3*d. Suppose -d*k = -11*k. Let s = 60 + -64. Is k less than s?
False
Let j(b) = -b**3 + 2*b**2 + 2*b. Let o be j(2). Suppose -5*c - 387 = o*h, -3*c - 239 = -3*h + 2*h. Is -79 greater than c?
False
Let i = 134/59 - -5852/177. Let z = 35 - i. Let c = -4.9 - -5. Is z at least as big as c?
False
Let f(t) = t**2 + 4*t + 3. Let b be f(-5). Suppose -7*y + 4 = -b*y. Is -2 smaller than y?
False
Let a(m) = -20*m - 100. Let t be a(-5). Are t and 8/15 equal?
False
Let z = 6 - -67. Do z and 2 have different values?
True
Let r = -361 - -360. Is 2/829 != r?
True
Let n = -178 + 178. Which is greater: n or 6/121?
6/121
Suppose -3*r + 5*j - 629 = 0, 3*r - 82 = j - 731. Is -218 <= r?
True
Let t = -11.61 + 11.51. Which is smaller: t or -1638?
-1638
Let v = -12.98 + 13. Let p = v - 0.12. Is 1.8 > p?
True
Let i be (-21)/35 - (-24)/10. Let s = 18 + -16. Which is greater: s or i?
s
Let l = -107/158 + 14/79. Let w = 0.5 + -0.5. Which is bigger: l or w?
w
Let t(o) = 2*o**3 + 2. Let w(g) = 2*g**3 + 1. Let f(p) = -2*t(p) + 3*w(p). Let j be f(-1). Let q = -2 - j. Which is greater: 2 or q?
2
Let l(q) = q**2 - 2*q - 8. Let h be l(-4). Suppose -s + 4*r + h = 3*s, -8 = s + 2*r. Let c be (28/(-8) + 3)*s. Is 4/17 less than c?
False
Let r be (-2)/2 - (0 - 14). Let y be 63/r + 4/26. Suppose 5*g - y*h = 10, -3*g + 4*h + 4 = -g. Are g and 6/11 equal?
False
Let l be 12/21 - (-108)/(-189). Is l equal to 9/83?
False
Suppose 475 = -72*i - 389. Is -10 >= i?
True
Let s be 1 - (-2 - -2) - 3. Let l be (-14)/18 - 1 - s. Let u = 139/3 - 46. Which is greater: l or u?
u
Suppose -4*s + 9 = -7. Let m be (-20)/15*-3 - s. Suppose 2 = 2*x - m*x. Which is bigger: x or -2/91?
x
Let q be ((-24)/(-30))/((-2)/(-60)). Suppose -3*y = 4*t + 15 - 47, -q = -y - 4*t. Suppose -5*f - 16 = -10*f - s, 0 = f - s - 8. Is y at least f?
True
Let b = -34 + 34. Suppose -7*z + 0*z - 56 = b. Let y be (-240)/(-18)*(-18)/z. Is y >= 31?
False
Let c(r) = 1 + 0 + 1 - 3 + 4*r. Let n be c(2). Let p be (-10)/n + (-28)/(-49). Is -2 less than p?
True
Let o be 1*-2 - (1 + 77770/(-25914)). Is o less than or equal to -1?
False
Let k = 8377/4 - 2084. Which is bigger: k or 11?
11
Let z = -1.217 + 1.187. Is z at least 1.3?
False
Let q(p) = -p - 1. Let d(n) = n**2 - 7*n - 10. Let r be d(8). Let g be q(r). Let y be (-4)/13 + 0/2. Are y and g nonequal?
True
Let z = -18 + 85. Let c = z - 67. Is c at least as big as -108?
True
Suppose -1532 + 382 = 25*f. Let o(h) = -9*h + 9. Let x be o(6). Are f and x unequal?
True
Suppose 0 = 5*a + 163 + 407. Let o be 5 + -2 + a/(-3). Let k = 85/2 - o. Is -0.04 at most as big as k?
True
Let n(f) = 9*f**3 - f**2 + f + 1. Let s be n(-1). Suppose 147*l - 73*l - 7 = 75*l. Which is smaller: s or l?
s
Let c = -71473/21 + 3405. Let v = -5/3 + c. Let f be (-60)/(-20)*3/(-9). Are v and f nonequal?
True
Let p = -49.914 + 50. Let a = 0.314 + p. Is -12 equal to a?
False
Let r = 3189.82 - 3185. Is 0 <= r?
True
Let j = -3.7 + -3.1. Let r = j - 25.2. Is 0 greater than r?
True
Let x = 59 + -28. Let p = x - 32. Which is smaller: 1/5 or p?
p
Let a = -335 + 523. Which is bigger: a or 1/5?
a
Suppose 2*i = -0*i + 40. Let x be 1 - i/8 - (-9)/6. Let f be (-2)/(-1 + 3) + 3. Which is greater: x or f?
f
Let m be (-7 + 15 + -6)/(4/202). Do m and 100 have the same value?
False
Let y = 9 - 12. Let b be 228/36 - (-1)/y. Suppose -3*t + b*t + 45 = 0. Which is smaller: -16 or t?
-16
Let w = 4474 - 4536.29. Let d = w - -62. Let n = d + 0.09. Is 6 <= n?
False
Let n = -4594 - -9731/2. Let s = -281 + n. Is s equal to -9?
False
Let t = -4 - 2. Let l be 1/5*5*3. Let x be (-3 - (4 - l))/(1 + 1). Which is bigger: x or t?
x
Suppose -2*f = -3*r + 1, 2*r = -4*f + 5 + 17. Suppose -28 = f*l + 8. Let w = -1 - l. Which is smaller: -1 or w?
-1
Let n = -0.3 + 0.4. Let h = -0.4 - n. Let v = h + 0.6. Which is smaller: v or -2?
-2
Let c(f) = f**2 + f - 1. Suppose 0*i = i. Let r be c(i). Let k be (-21)/56 - (r - -1). Do k and 0 have the same value?
False
Let r = 711.1 + -711. Let g = 0.049 + 2.051. Which is greater: g or r?
g
Let p(g) = g**2 + 4*g - 3. Let c be p(-3). Let s be -2*(1/6 - 77/c). Which is smaller: -25 or s?
s
Let c = -4 + -2. Let h(a) = -a**3 - 9*a**2 - a - 4. Let s be h(-9). Suppose -s*b + x = 28, -3*b = -4*x + x + 12. Is b at most c?
True
Let d = 22 - 31. Let h(j) = -3*j + 3. Let b be h(5). Let k be (d/(-621))/((-2)/b). Which is greater: k or -1?
k
Suppose 25*k + 4*k - 290 = 0. Which is smaller: -4/9 or k?
-4/9
Let u = -45.019 + 0.019. Let f = -1.71 - -2.71. Which is smaller: u or f?
u
Suppose 5*u + 16 - 91 = -5*x, 4*x = -5*u + 58. Let d be 5/(-3)*(-8640)/800. Which is smaller: x or d?
x
Let q = 1.2 - 6.2. Suppose 6*y + 8 - 26 = 0. Which is smaller: q or y?
q
Let v(u) be the third derivative of u**6/120 + u**5/30 - u**4/24 - u**3/3 + 5*u**2. Let a be v(-2). Suppose a = -0*r + r - 1. Which is greater: r or -4/21?
r
Suppose -4*i = 2 + 18. Let n be (83 + -3)/4 - 3. Suppose 0 = 3*x - 2 + n. Is i less than x?
False
Let z(k) = -5*k + 2. Let n be z(0). Let u be (-1 + 0)/(n/26). Is u bigger than -13?
False
Let c be (-74)/1904 + 18/42. Let y = -1/68 + c. Which is bigger: 0 or y?
y
Let u = 5/10191 - 1029616/662415. Let m = u - -54/13. Let r = 0 + 0. Is m greater than or equal to r?
True
Suppose -k + 2 = 0, 2*s + 2*s + 3*k - 74 = 0. Suppose 2*l = 2*u + 2, -3*u + 0*l - 2*l = -s. Suppose 1 = -3*w + 5*z + 11, -u*z = -5*w + 6. Is w > -1/5?
True
Let l(b) = 8*b**2 + b - b**3 - 4*b**3 + 4*b**3 + 4. Let k be l(8). Is k >= 0?
True
Let n = 1.59 - 0.95. Let h = 0.36 + n. Which is smaller: -15/7 or h?
-15/7
Let c be (-3938)/(-18) + (-12)/(-54). Let y = c + -5471/25. Which is bigger: -1 or y?
y
Suppose -1695 + 75 = -6*c. Is c at least as big as 0?
True
Let j = 1/1328 + 2555/134128. Suppose -2*u + 3 = u. Is j less than or equal to u?
True
Suppose -5*f - 55 = -5*a, a - 4*f = 5*a - 12. Let b = 29/4 - a. Which is bigger: b or -2.4?
b
Suppose 370*w - 324*w = -46. Let g = -21547/38 + 567. Is w < g?
True
Let o(f) = -5*f**2 - 7*f + 14. Let w be o(-4). Is w equal to -38?
True
Let y = -0.01 + -0.89. Let q = 0.9 + -1.9. Let x = q - y. Which is greater: x or 0.4?
0.4
Let f = -4 + 1. Suppose 8 = -3*u + 4*g - 6, -3*u + 3*g = 12. Let s be -1 + u/((-4)/(-20)*-6). Which is bigger: s or f?
s
Let q be ((-6)/(-171))/(12 - (-110)/(-10)). Suppose l = -4*l. Which is smaller: q or l?
l
Let m be (-3)/(-2)*(-24)/(-9). Let p be 11/(-594)*m/(-2). Is -0.1 at most as big as p?
True
Suppose 0 = 9*b - 12*b + 12. Suppose 5*j = 3*d - 45, 0*j - b*d + 8 = 2*j. Let i be (-28)/j - (-8)/(-12). Which is smaller: i or 5?
i
Let j(s) = 18*s - 124. Let u(i) = -6*i + 41. Let g(o) = 3*j(o) + 10*u(o). Let t be g(10). Is -20 equal to t?
False
Suppose 4*b + 12 = -3*z + z, 4*z + 15 = b. Let v be (b - -10)/((-48)/(-32)). Let y(s) = s - 2. Let k be y(6). Do v and k have the same value?
False
Let f = 13 - 9. Let z be f/3*(-18)/(-4). Suppose 3*j - z = -3. Which is smaller: j or -2/39?
-2/39
Let d = 93 - 90.64. Let i = d + 0.54. Let r = i - 2.8. Is 16 at most as big as r?
False
Let o be (307389288/(-396))/(-15*1). Let a = 51749 - o. Let s = -4/55 + a. Do 0 and s have different values?
True
Let s = -16 - -16. Let c be (6/4)/((-10)/2*-21). Is c greater than s?
True
Let h = 16771904/19 + -881922. Let i = h - 810. Is 1 greater than i?
True
Let v = 1 + -3. Let x(b) = b**3 + 8*b**2 + 17*b + 69. Let i be x(-7). Do i and v have the same value?
False
Let s = 1223 - 1224. Is -0.1613 at most s?
False
Let w = -12870 - -12873. Let u(q) = q**2 + q + 1. Let m be u(-2). Is m greater than or equal to w?
True
Let l = -494514865/47 + 10520165. Let m = l + 1428. Which is bigger: 0 or m?
m
Let k = 1274 - 1274.2. Is -201 > k?
False
Let k = -21 - -32. Let u = -37 + k. Let v = u + 12. Is -13 >= v?
True
Let m be 895/25 - 3/(-15). Suppose -3*h + 52 = 5*r, 4*r - m = -3*h + 17. Which is bigger: h or 20?
20
Suppose 0*x + 3*x = -3*g, 2*g + 5*x + 9 = 0. Suppose 3*i + 78 = -5*k, 2 = g*i - 10. Which is bigger: k or -17?
-17
Let l be ((-392)/(-2))/((-12)/(-14 + 8)). Is l less than 100?
True
Suppose 7*k = 4*k - k. Suppose k*c = -4*c + 8. Is c less than 2/11?
False
Let q(o) = o**3 - 4*o**2 - 10*o + 39. Let u be q(4). Is u equal to -3/533?
False
Suppose 161 = -33*c + 10*c. Which 