 Let r = -13 - g. Is r less than -7/8?
True
Suppose -56 + 1704 = 16*v. Is v at least 104?
False
Suppose -3*z = 1 + 2. Which is smaller: 1/27 or z?
z
Let b = -1141/510 - -34/15. Do b and 0 have the same value?
False
Suppose 8*j - 10*j = -6. Let a(i) = i**2 + 10*i - 2. Let n be a(-10). Which is smaller: j or n?
n
Let g(b) = -b**3 - 6*b**2 - 2*b - 9. Let r be g(-6). Suppose r*l - 8 = 1. Is 3 != l?
False
Let u = 2 - 5. Suppose 8 = -j + 5. Is u > j?
False
Suppose 0 = -3*r + 7*r + 448. Let a be (r/(-60))/(46/12). Let b = 2/23 - a. Which is greater: b or -1?
b
Let f be (-6)/(-28)*(-6)/3. Is f at least as big as -2?
True
Let q = 1 - 0. Let b = q + -5. Let c be (-3)/4 - (-1)/b. Is -1 != c?
False
Let g = -0.1 - -0.3. Let c = 1 - 0.9. Let a = g - c. Is a > 0.1?
False
Let z = 4552/13 - 350. Suppose 2*i = 7 + 1, 2*a - 10 = -3*i. Which is bigger: a or z?
z
Suppose 3*o + 2 = 4*f + 1, 2*f = 4*o - 2. Is -2/117 greater than f?
False
Let g = -7 + 19. Let a be 6/g + 5/(-2). Are a and -3 nonequal?
True
Let l be (0/(-1))/(-1 + 0). Suppose 0 = 4*n - 4 + 8. Let s be 1 - (3 + l/n). Which is greater: -4 or s?
s
Let r = 12 - 13. Is 4/9 not equal to r?
True
Suppose 4*q - 25 = 3*q. Is 23 at most q?
True
Let r = -53098/75 + 708. Do r and -1 have the same value?
False
Let p(a) be the second derivative of -a**4/12 + a**3 - 2*a**2 + a. Let m be p(5). Let z = 0 - m. Which is bigger: 2/7 or z?
2/7
Let x = -0.007 - 0.993. Which is bigger: 5 or x?
5
Suppose -4*z - 6 = -z. Let i be 2/(-1*3 - z). Let h = -2 + -1. Which is bigger: i or h?
i
Suppose -9*o = -19*o + 10. Which is bigger: o or 3/125?
o
Let n = 11 + -25. Are n and -14 nonequal?
False
Let y = -0.14 + -9.86. Let l = 10 + y. Is l greater than 1?
False
Suppose 0 = -2*h - 5*t - 15, -5*h - 3*t = 12 - 3. Let v be (-2*(-3)/(-8))/(-21). Does h = v?
False
Let u be 1/10 + 4/10. Let x be 7 - 1 - (-28)/(-7). Is u < x?
True
Let m = -4.04 + 4. Let s = m + 0.04. Are s and -1 equal?
False
Suppose -n = 5 - 4. Let q be 4*(0 - 201/(-18)). Let h = -45 + q. Is h at least n?
True
Let y = 658 - 16459/25. Let l be ((-4)/(-250))/(12/(-20)). Let h = l - y. Are h and -3 unequal?
True
Let f(p) = -2*p - 7. Let q be f(-5). Let m = 12.1 - 20.2. Let x = m - -8. Which is bigger: q or x?
q
Let k(g) = -g**3 + 6*g**2 + g + 3. Let f be k(6). Suppose 0 = -5*i + 70 - 25. Is i at least as big as f?
True
Let j(h) = -4*h + 3. Let i(k) = k + 1. Let v(b) = -5*i(b) - j(b). Let l be v(-8). Let x = l + 1. Is x <= -0.1?
False
Let s be ((-8)/84*-7)/(2/(-3)). Which is smaller: s or 4/9?
s
Let d(c) = c**2 + 10*c - 8. Let a be d(-12). Suppose -j - 63 = -4*p, 0*p + 4*p - 2*j - 62 = 0. Is p < a?
False
Suppose 5*z - w = -2*w + 6, -4*z + 5*w - 1 = 0. Let m = 0.22 + 0.08. Let i = m - 0.4. Which is greater: i or z?
z
Let t be (-1 + 1)/((-6)/6). Let n = -154 - -151. Is n at most t?
True
Let p = 0 + -2. Let u be 2/(-3) + 5/6. Is p greater than u?
False
Let v be 358/(-5) + (-4 - -5). Let t = v - -71. Is 0.4 at least as big as t?
True
Let f = -2/361 - -828/19133. Is 0 not equal to f?
True
Let v = 7 - 6. Suppose -v = c, 6*y = 3*y - c - 7. Is y <= -3?
False
Let r = -11 - -17. Which is greater: 5 or r?
r
Let n be (-500)/(-30) - (-2)/6. Let c = 10 - n. Let f(u) = -2*u - 10. Let v be f(c). Which is bigger: 5 or v?
5
Let w(x) = -x. Let c be w(8). Let r = c + 10. Which is bigger: r or 1?
r
Let j = 125/2 - 57. Is 6 not equal to j?
True
Let t(x) = -x**3 - 2*x - 1. Let q be t(-1). Is 1 at least as big as q?
False
Let x = -5653/29 - -195. Which is smaller: x or 1?
x
Suppose 5*s = 134 + 36. Let g be (-106 + 5)/((-3)/(-1)). Let c = g + s. Which is bigger: c or 1?
1
Let f be -32 + 0*(-1)/(-2). Let d be f/24*(-6)/(-14). Which is smaller: d or -2?
-2
Suppose u = 3*o - 3*u, 12 = -4*u. Let h = 3 + -3. Is h at most o?
False
Let b = 3/149 + -1461/5960. Let a = b + 179/440. Let n be 3/(-12) - 1/(-4). Which is smaller: a or n?
n
Let u be (0 + 0)/(2 - 1). Let v be (-4)/(-14) - 1825/42. Let f = v + 43. Is f at least as big as u?
False
Suppose 3*t = 18 + 6. Does t = 7?
False
Let y(d) = 2*d**3 - 2*d**2 - d - 1. Let m be y(2). Is 5 smaller than m?
False
Let b = 30 - 21. Suppose 5*f + 5*c + b = -6, 3*c + 9 = 5*f. Suppose 0*p = 4*p - 4*z - 8, -z = 2. Is p less than f?
False
Suppose 3*i + 2*m + 3*m - 26 = 0, 26 = 5*i + 4*m. Suppose 0*n + i*n = -20. Let x be (-24)/35 - 4/n. Are x and -1/2 unequal?
True
Let i = 376/3 - 124. Are 2 and i nonequal?
True
Let y(v) = v**2 + 3*v - 8. Let g be y(-4). Suppose h + h = -5*l + 17, -11 = -5*l + 4*h. Let k = g + l. Is k greater than or equal to -1?
True
Let o be (-3 - 0) + (-147)/36. Let p = -29/4 - o. Is 0.3 less than p?
False
Suppose 17 = j - 0*j - 2*v, 2*j = v + 22. Suppose 4*c - j = c. Let y be 1/c - 34/66. Which is greater: -1 or y?
y
Suppose 2*c = 7*c + 5. Is c less than -1?
False
Suppose -57 = 8*v - 5*v. Is -19 at most as big as v?
True
Let l = -1 - 3. Let z be (-2)/l - (-63)/(-150). Suppose 4*r = -3*k - 1, 2*k - 3 = 3*r + 2. Which is greater: z or r?
z
Let x be 222/(-60) - 1/(-2). Let s = x + 122/35. Are 1/4 and s nonequal?
True
Suppose -3*q + 3*f = -2*f - 19, 0 = -4*q + f + 14. Let l = 16 - 10. Let p = q - l. Is p <= -3?
True
Let s(q) = -q**2 + 4*q + 2. Let h be 4/3*(4 - 1). Let b be s(h). Is b bigger than 2?
False
Let n(f) = 14*f - 1. Let m be n(1). Suppose m*d - 8*d = -20. Is d > -1?
False
Suppose -2 = z - 4. Let s = 15 - 7. Let p be (s/(5 + -3))/2. Is z at least as big as p?
True
Let v = -4/1127 - 6/161. Are 1 and v equal?
False
Let y = 2 - 4. Let r be 110/(-100) + (-3)/(-6). Is y smaller than r?
True
Let w = 1 + -1.02. Let i = w + 0.03. Let t = 0.21 - i. Which is smaller: t or -2/7?
-2/7
Suppose 5*k + 1 = 6. Which is smaller: 0 or k?
0
Suppose b = -1 - 5. Let m(s) = s**2 - s - 4. Let f be m(4). Let l = f - 13. Is l bigger than b?
True
Let v(x) = -x**2 - x - 1. Let t(u) = 7*u**2 + u + 1. Let b(a) = -t(a) - 6*v(a). Let s be b(7). Which is smaller: -15/2 or s?
s
Suppose -p + 7*g - 3 = 2*g, -3*g + 1 = -p. Let x be 1 + (1 + -2)/(-1). Is x less than or equal to p?
True
Let h be 3/21 + (-250)/35. Suppose r + 0 = -5. Which is smaller: h or r?
h
Let q = -88 + 90. Let p = -81811/44 + 1859. Let m = -1/11 - p. Which is greater: q or m?
q
Let j = -51 + 50. Which is bigger: j or -2/69?
-2/69
Let p = 33/5 - 63/10. Is p bigger than -1?
True
Let r = 0.4 - 0.38. Let z = r + 0.98. Is -2/5 >= z?
False
Let y = -4.3 + 7.3. Which is smaller: y or -1?
-1
Let y = -3.7 - -6.8. Let x = y - 3. Let h = 0.4 - 0.4. Is h less than or equal to x?
True
Let n be 0/(-1) + (-5 - (6 + -11)). Is -2/43 > n?
False
Let j = -5 + 10. Let a(f) = 5*f - 12. Let g be a(j). Is g at most as big as 14?
True
Let o = -204 - -1254. Let v be 286/o*10/12. Let u = 1/210 - v. Which is smaller: 1 or u?
u
Let h be 0/1 + (-12)/(-16). Let v(u) = -u**3 - u**2 - 3. Let p be v(-2). Which is smaller: h or p?
h
Let h be (-16)/(-9) + -2 + 0. Let r(c) be the second derivative of -c**5/20 - c**4/2 - c**3/6 - 5*c**2/2 - 2*c. Let l be r(-6). Which is smaller: h or l?
h
Let n = -10/269 + 2228/45461. Which is smaller: n or 0?
0
Suppose 2*v - 4 = 4*v. Let l = v + 7. Suppose -4*j - j = l. Which is greater: j or 2/7?
2/7
Suppose 0 = -4*o - 48. Let u = o + 13. Is u < 3/10?
False
Suppose -90 = -5*g + 10*g. Which is smaller: g or -17?
g
Let b(f) = -f**2 + 4*f - 3. Let i be b(3). Suppose v - 4*v + 6 = i. Suppose v*p - 10 = 2*t, 4*t + 5*p - 2*p - 8 = 0. Is t < -2?
False
Suppose 0 = 7*h - 5*h - 8. Suppose 4 = h*w - 0*w. Let s be (-21)/27 + w/1. Are s and 1 unequal?
True
Let o be (-1 - (-6)/4)*2. Let j be -4*o + -4 + 8. Suppose 7*t - 5 = 2*t. Do j and t have different values?
True
Suppose -5*k - 4*i + 46 = 0, -2*i = -8 - 0. Is 0.07 at most as big as k?
True
Let q be (-10)/(-15)*60/(-8). Which is greater: q or -3?
-3
Suppose 6*c - 1 = 5*c. Let j = 2 - 2. Is j > c?
False
Let s be (-10)/(-15) - (-1)/3. Let c be (-1*9/6)/s. Let m = -1 - 1. Which is greater: c or m?
c
Suppose 0 = 2*c - 1 - 41. Which is bigger: c or 20?
c
Suppose 0 = 4*j - 7*j + 3. Is j bigger than -1/27?
True
Suppose 2*s = 4*u - 2, -u - 12 = -4*u + 5*s. Let a = 2 - u. Is 3 less than a?
False
Suppose 2 = o - 0*o. Which is greater: 4 or o?
4
Let v be (210/(-75))/(1/5). Let h be v/(-6) - (-8)/(-6). Is h > 3?
False
Let n = -100 - -95.9. Let s = n - -4. Let w = -0.04 - -0.34. Which is b