t c = 164/7 - 23. Is -1 at most as big as c?
True
Let a(d) = -5*d + 39. Let f be a(12). Let z = 0 - 0. Let n = -0.1 + z. Which is greater: n or f?
n
Suppose 4*s + 324 = -2*m, 11*s = 15*s - m + 330. Which is smaller: s or -83?
-83
Let d = 1603 - 1573. Let q = 7.1 - -22.5. Let c = d - q. Is c at most as big as 2/7?
False
Let z = 1 + -1. Let g(a) = -a**2 - a + 5. Let v be g(z). Is v at least as big as 2?
True
Suppose 5*o - 4 = 1. Let j be 3/(-3 - (-15)/4). Let t be (-5 + 2)*(-1)/j. Is t less than o?
True
Suppose -5*v + 5 = 5*f, v = -4*f + 5 - 4. Which is greater: v or 1/94?
v
Suppose -2*f - 7 = -4*f - 3*d, 4*f - 5*d - 3 = 0. Suppose 0 = -f*s - 1 - 5. Let r be 2 + -1 + (-16)/6. Is r < s?
False
Let o be 1934/416 + (-780)/1690. Which is bigger: o or 5?
5
Let a = -32 - -18. Let c = -12 - a. Which is smaller: -2/3 or c?
-2/3
Suppose 3*k = 4*z + 179, 0*k + 177 = -4*z + k. Let o = z - -43. Let d = -79 + 543/7. Is d bigger than o?
False
Let a = -123/7 + 53/3. Let v = -11 + 10. Which is greater: v or a?
a
Let a = -4 - 8. Let o = a - -17. Is 5 smaller than o?
False
Let w = -32 + 37. Suppose 2*y - 6*y = w*u, 3*u - y + 17 = 0. Let b be -1*u*(-5)/(-30). Which is bigger: -7/2 or b?
b
Let d be 8*4/(-8) + -27. Let z(k) = -32*k**3 + k**2 - 1. Let r be z(1). Which is smaller: d or r?
r
Suppose -u - 10 = 4*u. Suppose -3*a + 6 = -6*a. Let r be a*((-7)/(-10) - 0). Which is smaller: r or u?
u
Suppose -51*k = -58*k + 392. Is k > 62?
False
Let y be (-72)/(-34) - (3 - 1). Let w(v) = -v**2 + 3*v + 4. Let s be w(5). Let t be 2/s*0/2. Which is bigger: t or y?
y
Suppose o - m - 133 = 4*m, -4*m - 296 = -2*o. Let l = -2999/19 + o. Is 0 <= l?
True
Let i = 32 + -35. Let n be 3 + (-275)/35 - (-2)/(-14). Are n and i equal?
False
Let r = 76 - 838/11. Is 0.3 less than or equal to r?
False
Suppose r = 1 + 2. Suppose -r*l + 1 = -2. Which is smaller: -6/35 or l?
-6/35
Let a = 19/3 + -7. Let o = -68 - -44. Let n = o + 25. Is a > n?
False
Suppose -16 = 5*c - 366. Let s be ((-12)/8 - -2)*c. Suppose -d + 5*t = -s + 8, -4*d = -5*t - 33. Is 1 smaller than d?
True
Let r be 6/(2/6*(-11)/(-11)). Is 19 equal to r?
False
Suppose -3*j + 2*w + 2*w = 39, -3*j - 3*w = 39. Let v = -216 - -115. Let i = 101.1 + v. Is i != j?
True
Let n be (2/(-3))/(-2*7/63). Suppose -13 = 4*i + 4*t + n, 2*i - 3*t = 17. Let p = -7 + 20. Which is smaller: p or i?
i
Let n(x) = x**3 - 6*x**2 - 2*x + 12. Let p be n(6). Do p and 2/75 have different values?
True
Let d(l) = l**3 - 4*l**2 - 4*l + 8. Let k be d(5). Suppose -k = -2*p - 4*u - 3, -2*u = -6. Do p and -7 have different values?
True
Let w be (-37)/(-3) - ((-315)/27 + 12). Does 0 = w?
False
Suppose -2*m + 3*i = -43 - 40, 4*m - 3*i - 163 = 0. Suppose 8*t = 3*t + m. Suppose -11*f = -t*f. Which is greater: f or -12?
f
Let q = -14 + 14. Let d be q + (-17 - 16/(-4)). Let i be 5/(-15) - d/3. Is 0.1 > i?
False
Suppose h = 4*f - 30, -4*h + 3*f - f - 148 = 0. Is -38 less than or equal to h?
True
Let d = -715 - -714. Is 2/1577 >= d?
True
Let b = 9998 + -4349128/435. Which is bigger: 1 or b?
1
Suppose -17*g = -10*g + 119. Is g > -306/19?
False
Suppose 4*z - 19 - 17 = 0. Suppose 5*y - z = -4. Suppose -5*d + y = 11. Are d and -1/5 non-equal?
True
Let c = 522 + -521. Is -522 > c?
False
Suppose -2*i + 2*f = -5*i - 50, 4*i + 40 = 4*f. Let a be (-480)/i + 8/(-28). Let w = a + -15. Is w > 19?
False
Let n = -3003 - -14948/5. Is n bigger than -13?
False
Let j be (-4)/(-26) + ((-284)/(-832))/(-1). Are j and -1 nonequal?
True
Let b be -166*(75/(-54))/5. Let p = b - 4385/99. Which is bigger: 1 or p?
p
Suppose -2*m = 4*y - 318, 0 = 5*y - 4*y + m - 81. Is y > 78?
False
Let g(s) = s - 10. Let x be (-70)/(-8) + 5/20. Let v be g(x). Let u be (-24)/20 + v/(-5). Which is smaller: u or -4/5?
u
Suppose -w + 80 + 22 = 0. Which is greater: w or 103?
103
Let n(c) = -c**3 + 3*c**2 - 4*c + 5. Let m be n(2). Let p = 19/70 + 8/35. Is p at most as big as m?
True
Let b = 1122 + -1124. Let g be ((-1)/(-1))/((-7)/2). Is b equal to g?
False
Let k be -19 + 17 - -1*2/1. Suppose -u - u - 2 = k. Let f = -1/28 - -2/7. Which is smaller: f or u?
u
Let h(u) = -u + 1. Let n(z) = z - 10. Let q be n(10). Let c be h(q). Which is smaller: c or 4/17?
4/17
Let n be 5 - -1 - (19 - 13). Are -10/41 and n non-equal?
True
Let c = -1.984 + 2.884. Is 1/3 at least as big as c?
False
Let p = -158264603/18 - -8789009. Let h = -3468 - p. Let g = h - 4/9. Which is bigger: 3/4 or g?
3/4
Suppose 6 + 19 = 5*y. Suppose w + 1 = -y. Let l(r) = r - 5. Let p be l(0). Which is bigger: p or w?
p
Let a be -3*44/231*1. Suppose 0*u - 2 = u. Which is bigger: a or u?
a
Let z = -0.059 + -0.061. Is 0.09 bigger than z?
True
Let c = -19064/616297 - 2/1969. Let v = -6330/2191 - c. Is -3 < v?
True
Let y(i) = -403*i - 2. Let n be y(-3). Let f = -9635/8 + n. Let b = 47/24 - f. Which is smaller: 5/6 or b?
b
Suppose 5*p - 35 = 5*f, -5 = 5*p + 4*f + 5. Suppose o - p*o = 17. Let s = o - -9. Is s less than -8?
False
Suppose -s + 8 = 3*u + 21, 0 = -5*s + 2*u - 14. Let y be ((-115)/(-35) - 3) + s/14. Which is smaller: y or -12/13?
-12/13
Let t = 4 - 4.4. Let c = t - 1.6. Let v = -1.9 - c. Is v smaller than -1/9?
False
Suppose 44*v + 5850 = 19*v. Do v and -234 have the same value?
True
Suppose 6*v = -58 - 146. Let p = 951/28 + v. Let w = -3 + 3. Which is smaller: w or p?
p
Suppose 2*r = -o - 7, o + 11 = 4*r - 2*o. Let c(y) = 5*y - 1. Let b be c(-1). Let s = b + 7. Are r and s equal?
False
Let c = -20.9 + 22. Let d = 5.1 - c. Let s = -1.6 + 1.5. Which is smaller: s or d?
s
Let y(w) = w**3 + 6*w**2 + 4*w - 8. Let d be y(-5). Let i = 7 + -65/7. Is d at least as big as i?
False
Suppose 0 = 3*z + y + 7, 5 = -4*z - 4*y + 9. Let s be (1 + 1 + 7 + -5)/1. Which is bigger: s or z?
s
Let m(i) = -3*i - 13. Let a be m(-5). Suppose 8 = 5*w + s, 4*s - 4 = -4*w + 2*s. Suppose 7*l + 28 = 2*l + q, 0 = -l + w*q - 2. Which is smaller: a or l?
l
Let f(g) = g**2 - 31*g - 99. Let m be f(35). Is 44 bigger than m?
True
Suppose -41 = -3*x - 215. Let r be x/(-4) + (-3)/(-2). Suppose 2*t + 5*o + 32 = -t, 0 = -4*o - r. Does -6 = t?
False
Let c be 5*18986/(-8635) + 11. Which is greater: c or -1?
c
Let y = -32 + 30. Let r be 42/12*(-8)/y. Is 15 at most as big as r?
False
Suppose -5*z - 2*v = 4 + 18, 3*z = -5*v + 2. Which is smaller: z or -136/23?
z
Suppose 0 = 2*x + 380 - 394. Let o be (-1)/(2/(-14)) + 1. Which is bigger: x or o?
o
Let g = 521/97186 - 172468609/301373786. Let o = -4969572/443 + 11218. Let y = o - g. Which is bigger: 3 or y?
3
Let q be (-1)/(-4) + (4015/(-132))/(-5). Is 7 <= q?
False
Let g = 1.5 - 1.74. Let m = 1.54 + g. Let j = 1 - m. Which is smaller: 2/7 or j?
j
Let j be 4*(-3)/(-18)*1*-9. Let p(t) = -2*t**2 - 11*t - 11. Let h be p(j). Let a = -4 + 4.1. Which is greater: a or h?
a
Let c(g) = 2*g**3 - 73*g**2 - 37*g + 1. Let m be c(37). Let v(q) = 0*q + 0*q - 4 + q. Let y be v(6). Which is bigger: m or y?
y
Suppose 5*c - 2*r = 371, -3*c - 235 = -6*c - 5*r. Is c smaller than 72?
False
Let q be ((-36)/15 + 6)*(-10)/21. Let h be ((-52)/(-65))/(4/(-10)). Is q less than h?
False
Let d(a) = 3*a - 4. Let s be d(3). Let b = -40 - -45. Is s <= b?
True
Let b(f) = -312*f**2 - 10*f - 10. Let w be b(-4). Let o = 44588/9 + w. Which is smaller: o or -9?
-9
Let m(x) be the second derivative of -x**5/20 - 4*x**4/3 + x**3/3 + 3*x**2/2 + 6*x. Let i be m(-16). Let g be 3/4 - i/4. Which is bigger: 7 or g?
g
Suppose 3*v + 2 = 2*v. Let g = 5/3 + v. Let a(o) = o + 5. Let j be a(-6). Which is greater: g or j?
g
Let h = 1233 + -1232. Is -95 != h?
True
Let u = -58 - -65. Let d be -4 + u/((-35)/(-15)). Is d bigger than -1/12?
False
Let w = -3.01 - -3. Let t = 94.89 + -95. Let r = w - t. Is 1/7 <= r?
False
Let t = -359 + 355.9. Is -0.02 > t?
True
Suppose -12 = -2*c + 6. Let i be 0/2 + c*1. Suppose -5*y + 27 = -2*y. Is i greater than y?
False
Let f(o) = 9*o**2 + 14*o - 12. Let m be f(2). Which is smaller: m or 53?
m
Suppose 135 = d + 2*d. Let k = -223/5 + d. Let z = -16.8 - -13.8. Are z and k nonequal?
True
Let x(j) = j**3 + 33*j**2 + 90*j + 1. Let o be x(-30). Do o and 78 have different values?
True
Suppose -6*l + 68 = 44. Which is greater: 48/13 or l?
l
Suppose 4*b + 5*s + 189 = 0, 0 = 4*s - 6*s - 10. Let z = b + 49. Are z and 7 equal?
False
Let m = 35166 + -667932/19. Which is smaller: m or 11?
11
Let c(