. Which is bigger: h or b?
h
Let q be -36 - 0*(-2)/4. Let o = 4083 - 4084. Does q = o?
False
Let i = -164.97 - -165. Let l = -5.5 - -1.5. Which is smaller: l or i?
l
Let n be (-2)/2016*698183 - -4. Let h = n + 253/336. Let r = h - -687. Is 0 at most r?
False
Suppose -6*l - 53 = -5. Which is smaller: l or -55/6?
-55/6
Suppose -2530*m + 21 = -2527*m. Which is smaller: 48/7 or m?
48/7
Suppose 13*i + 40 = 3*i. Which is smaller: 0 or i?
i
Let t = -299 - -555. Let f be t/6 + (-8)/12. Suppose -3*h = 24 - f. Are 6 and h equal?
True
Let h = 2362 - 2961. Is -1/2 bigger than h?
True
Let h(m) = -2*m**2 + 10*m + 3. Let n be h(8). Suppose -56 = 2*t + 4*k, 0*k - 7 = -t + 5*k. Let g be t/110 - (-9)/n. Is g > 2/5?
False
Let i = 51 - 38. Suppose -i*d - 7*d = -8*d. Which is smaller: d or 6/5?
d
Let d be 5*(-4)/(-60) - 0. Let s(g) = g**3 + 10*g**2 - 10*g - 10. Let m be s(-11). Which is smaller: d or m?
m
Let m be (2/(-6))/((405996/72)/23). Is -1 less than m?
True
Let l = 12 + 104. Let d = l - 115.9. Does d = 4?
False
Let b(k) = -k**2 + 19*k - 14. Let n be b(18). Let o be 8 - (-3)/((-6)/n). Which is smaller: 7 or o?
o
Let l = -193/24 - -75/8. Let m(k) = -6*k - 15. Let z be m(-3). Suppose -z*r + 4*q = r - 16, 0 = -4*r - 4*q - 16. Is r at most as big as l?
True
Let b = -347 - -345.84. Is b > -0.2?
False
Let p = -8 + 9. Let k = p - 5. Let a be 80/(-13) - 8/(-52). Do k and a have different values?
True
Let f be 4/58 + -1 + 1. Let k = f + 48/145. Let q = 657 - 658. Is q less than k?
True
Suppose 270 = 2*l + 3*l. Let n be (-1)/1 - l/(-51). Is n smaller than -1?
False
Suppose -6*f - 2*f + 3392 = 0. Is f > 425?
False
Let l(x) = x**3 + 18*x**2 - 7*x - 92. Let g be l(-18). Which is smaller: g or -4?
-4
Let r(h) = -h**2 + 6*h + 10. Let s be (0 - -6) + (-17 - -18). Let k be r(s). Is 13/6 <= k?
True
Let b = 22 + -52. Let c = b + 30.07. Let q = -2 + 1. Is c greater than q?
True
Let t = -65 + 46. Let l be 57/4 - ((-125)/(-20) - 6). Let o be 10/(-5) + -3 - l. Is t > o?
False
Let i(v) = 7*v - 2. Let c be i(1). Suppose -3*a - 3 + 1 = 2*x, -c*a + 4 = -4*x. Which is smaller: x or 6/17?
x
Let t be (-14)/(((-3)/(-12))/(-1)). Suppose 3*i + 10 = 7. Let m be i/(-5) - t/(-20). Are m and -3/5 non-equal?
True
Let n = -2264 - -2090. Which is smaller: -172 or n?
n
Suppose 3*n + 3*c = n - 4, 4*c = 3*n - 28. Suppose 0 = 21*o - 25*o + 36. Suppose -o*p - 6 = -11*p. Is n at most p?
False
Suppose -4*w - 100 = w. Let n = w - -32. Suppose 0 = -2*s + 4*j - 16, 4*j + 0*j = n. Is s <= -2?
True
Suppose -3*d - 32 = 4*j - 2*j, j + 37 = -3*d. Let w = 5/251 + -6285/502. Which is greater: d or w?
w
Let z = -96/7 - -981/70. Suppose -7*n + 2*n - 4*x = 11, -4*n - 2*x - 4 = 0. Which is smaller: n or z?
z
Let k(m) = -m**2 - 5*m - 3. Let u be k(-2). Suppose 44 = u*v + 2. Suppose -3*o = -t - 5, -3*o + 4*t - 3 = -v. Which is smaller: 7/6 or o?
o
Let g(a) = 13*a**3 - a**2 - a + 1. Let b(t) = t**2 - 13*t - 2. Let r be b(14). Suppose -5*l - r = 3*j, -7*j - 4*l = -3*j + 8. Let h be g(j). Is h equal to 12?
True
Let a(c) = -4*c**3 + 9*c**2 - 3*c + 8. Let s(i) = 3*i**3 - 8*i**2 + 3*i - 7. Let y(n) = 2*a(n) + 3*s(n). Let r be y(6). Which is smaller: r or 11?
11
Let o = 1053/4 - 263. Is o bigger than -104?
True
Let h(m) = m**2 - 8*m + 3. Let u = 2 - -6. Let b be h(u). Let s be b/(-4)*(-4)/30. Which is smaller: 1 or s?
s
Suppose 5*i - 39 = -34*i. Which is greater: 188 or i?
188
Let a = -4/97 + 145/1164. Is a > -0.125?
True
Let g be (-28)/(-140) - ((-68)/(-5))/(-2). Let z be 29/21 - g/(-21). Which is smaller: 2 or z?
z
Let g = -16769/5 + 3365. Let a = g - 331/30. Are a and -1 nonequal?
True
Suppose 112 = -4*a - 4*z, -2*a - 61 = 4*z - 3*z. Let c be (-30)/a*18/30. Is 1 at least c?
True
Suppose -2 = a + l, 1 = -5*a - 4*l - 8. Is -1/223 < a?
False
Let t be 87/2*16/36. Suppose 2*g + 44 = -2*w - 0*g, 0 = -w + 4*g - 12. Let c = t + w. Do c and 5 have the same value?
False
Let i be (-20)/(-6)*51/34. Suppose -5*g - 37 = -2*y, -1 = -i*y - 3*g + 14. Let w be 8/(-12)*y - 10. Which is smaller: w or -13?
w
Let g be 2/5 - (-78)/30. Suppose -n - 3*f - 6 = 0, -g*n + 4*f = f - 6. Is -2 not equal to n?
True
Let v = -0.325 - 35.875. Let r = v - -36. Is -0.5 greater than r?
False
Suppose s + 3*s = 16. Suppose s*w + 0*w = -16. Let r be ((-11)/w)/((-2)/(-8)). Which is smaller: 12 or r?
r
Let a be 3/6 - (-11)/(-14). Suppose 5*z - 3 = 27. Let p = z - 6. Which is smaller: a or p?
a
Let u = 93 - 91. Let o(n) = n**3 - n**2 - 3*n + 1. Let m be o(u). Are m and -13/7 non-equal?
True
Let j be (2 - 2)/(-10 + 14). Is -21/40 >= j?
False
Let z(w) = 11*w + 2. Suppose g - 3*f + 11 = 0, 15 = -g + 4*f - 0*f. Let h be z(g). Do h and -1 have different values?
True
Let n(v) be the second derivative of 3/2*v**2 + 4/3*v**3 + 0 + 7*v + 1/12*v**4. Let a be n(-8). Which is bigger: a or 5?
5
Let p = -1 + 2. Let b be 0 + 10 - (p + -1). Let d be b/(-33)*(-66)/(-55). Which is bigger: d or 0?
0
Let j(d) = d**3 - 8*d**2 + 3*d - 8. Let f be j(8). Suppose 15*g - 35 = 220. Is g != f?
True
Let s be 3 - 730/350*5. Which is smaller: s or -4?
s
Let s(v) = 179*v - 1. Let d be s(1). Which is bigger: d or 179?
179
Suppose 9 = 4*w + 1. Let i be (0/16)/((-4)/w). Which is greater: i or 1?
1
Let u be (-18)/99 - (24/44)/(-3). Is 3/137 != u?
True
Let u be -2 - (90/25 + -2). Let o(f) = -f + 5. Let t be o(-4). Suppose -t = 2*d - 3. Which is smaller: d or u?
u
Let b = -132964/43 - -3092. Let p = -139/516 - b. Suppose 2*n - 1 = -m - 0*m, -m = -4*n - 7. Is p bigger than n?
True
Suppose 5*m + 5*c = -20, -10*m + 6*m = -4*c - 24. Which is bigger: -15/46 or m?
m
Suppose 5*n + 2*v = -1, v + 1 - 5 = 2*n. Which is bigger: 1/416 or n?
1/416
Let t be ((-7)/21)/(3/2). Suppose 0 = -c - 3*s + 18, -c + 2*s + 4 = -2*s. Suppose 0 = b - 0*b - 3*z + 9, 4*b - 4*z = -c. Which is bigger: b or t?
b
Let h be -2 + (4/1 - 2). Let x be (h + 1)*(-7)/(-140). Let k(t) = -t**2 - 4*t + 1. Let b be k(-4). Which is bigger: x or b?
b
Let w be (-446)/60 - 8/(-60)*-3. Are w and -8 unequal?
True
Let d(h) = -16*h - 168. Let n be d(-31). Which is smaller: 327 or n?
327
Let b(s) = -s - 7. Let w be b(-8). Suppose 5*a + 14 = -w. Let q be (-2)/a + 16/6. Which is bigger: q or 2?
q
Let b(m) = -m**3 - 9*m**2 - m - 5. Let z be b(-9). Suppose x = z*x. Suppose 9*o = o. Does x = o?
True
Let c(x) = -8*x**3 - 10*x**2 + 14*x - 35. Let d be c(4). Which is smaller: d or -652?
-652
Let h be (1 - (-82)/(-86))/(11 + -9). Let w be ((-1)/(-8))/(43/94). Let t = h - w. Is t equal to -1?
False
Let f be (-2)/(-4) - (-3)/(-2). Let l be (f/(-3))/(2/27*-15). Is l bigger than -1?
True
Let u = -634 - -3857/6. Which is smaller: 8 or u?
8
Let r be (-2)/18*78/12*16. Which is bigger: -12 or r?
r
Let s(o) = -20*o + 80. Let t be s(4). Which is greater: 4/1461 or t?
4/1461
Let l be (-16)/(-10) + ((-35)/(-25) - 1). Suppose 3*z = 3*t + 66, -l*z = -4*t + t - 67. Are -23 and t equal?
True
Suppose 27 = 6*k + 3. Let v be -58*5/10*2/k. Does v = -15?
False
Let i(b) = 2*b + 6. Suppose 2*l + 1 = -f, 3*f = -4*l + 1 - 6. Let t be i(f). Suppose t*y + y = -2. Is y less than or equal to -8/9?
True
Let y(c) = 7*c**2 - 16*c - 7. Let x be y(8). Which is smaller: 314 or x?
x
Let t = 195.9 - 196. Let p = 0.2 + t. Let l = 13 + -22. Which is smaller: l or p?
l
Let o = 192/5 + -39. Which is smaller: o or 299?
o
Let w(h) = 2*h + 11. Let i(b) = -9 + 2 - b + 1. Let c(u) = 5*i(u) + 3*w(u). Let z be c(-5). Are z and -2 unequal?
False
Suppose n + 19 = -3*q + 5*n, -2*n + 13 = -5*q. Is q >= -1/202?
False
Suppose -3*p + 2*p = -2. Suppose 4*b + 2*o - 48 = -14, 26 = 3*b + 2*o. Let j(i) = -i**3 + 7*i**2 + 8*i + 5. Let a be j(b). Which is greater: a or p?
a
Let x(h) = -2*h**3 + 5*h**2 + 3*h + 3. Let t be 3/6 + 10/4. Let s be x(t). Which is greater: 0 or s?
s
Let l = 0.3 - 0.2. Let g = -22 - 93. Let y = 114 + g. Which is bigger: y or l?
l
Suppose 3*i + i = 8. Let v(y) = 2*y**2 + 12*y + 20. Let z be v(-6). Suppose -z + 26 = -3*n. Are n and i non-equal?
True
Suppose -4*d = -7*d + 12. Suppose 7 = -2*h - 5*n + 38, 4*h + d*n = 32. Let w be (-4)/(68/20 - h). Is w equal to -10?
True
Let i(s) = -6*s**3 - s**2 - s. Let u be i(-1). Let r be ((-8)/(-6))/2*u. Suppose 2*n + 6 = 5*x, 2*x + r = n + 7. Are n and -1 unequal?
True
Let k be -21*(6/2)/(-3). Suppose 9*f - 6*f + k = 0. Let t be 0 + (-2)/2*-2. Does f = t?
False
L