+ -3. Let v = h - -10/51. Is -1 bigger than v?
False
Suppose 3*h + g - 5 = 4*h, 3*h + 55 = -5*g. Let s be 15/6*(h - -2). Let b be (-5)/s + (-1)/(-12). Which is bigger: b or 2/5?
2/5
Suppose a - 50 + 16 = -5*q, 5*a = 4*q + 25. Let h be (-8)/(-6)*a/(-4854). Let j = h - 4808/18607. Which is greater: 1 or j?
1
Let w be (-270)/(-162) - (-16)/(-6). Is w greater than or equal to 3/59?
False
Let l(g) = 3*g - 26. Let d be l(10). Suppose -d*y = 4*r + 15 - 79, 3*r - 48 = 3*y. Is r greater than -3?
True
Suppose 4*n + 5*i - 3 = 5*n, -3*n = -3*i - 15. Suppose n*t = 2*t + 45. Suppose -t = -x - 4. Is x equal to 5?
True
Suppose -32*h - 105 = 2*b - 35*h, 5*h + 129 = -2*b. Which is smaller: b or -2?
b
Let f = 0.13 - 0.03. Let q = -0.9 - f. Let o be (-8)/4 + 8/10. Is q bigger than o?
True
Let u = -674.2 - -676. Which is bigger: 4/11 or u?
u
Let v(u) be the third derivative of -u**6/120 + 7*u**5/60 - 11*u**2. Let c be v(7). Suppose 3*t - 20 = -5*b, -b + 24 = 3*b + 4*t. Which is smaller: c or b?
c
Suppose -3*a + 4*v = -0*a + 72, -5*a = -3*v + 120. Let n be ((-4)/6)/(2/a). Let p = n - 10. Which is smaller: 5 or p?
p
Suppose 3*n - 5*s = 6, -3*n + 3 = -2*s - 3. Suppose -40 = -2*p - 4*g, n*p - p = -3*g + 25. Let a = -17 + p. Is a smaller than -8?
False
Let m(d) = -8*d + 14. Let n(i) = 9*i - 14. Let g(l) = 6*m(l) + 5*n(l). Let t = 14 - 9. Let a be g(t). Is a at most as big as 0.15?
True
Let f = -12/89 + 820/801. Let v(w) = w**3 - 14*w**2 + 64*w - 341. Let y be v(11). Is y <= f?
True
Let x be ((-54)/315)/(18/(-14)). Which is smaller: x or -100?
-100
Let b = -25743/1415 + -2/283. Is b != -19?
True
Let a = 0.1 - 0.02. Let n = a + -0.08. Let g = 125.1 + -124. Is g greater than n?
True
Suppose -f - 4 = 5*j, -12 = -3*j + 5*f + 8. Suppose j*t = -t + 44. Which is smaller: t or 46?
t
Let k = -9.53 - -7.33. Is -20 >= k?
False
Let b = 0.033 + -0.773. Let o = -1.14 - b. Which is greater: o or 0.15?
0.15
Let q be 7/(-2) + 4/8. Suppose 0 = -6*x + 9*x - 21. Suppose -2 + 16 = -x*s. Which is bigger: q or s?
s
Let m(s) = 2*s - 12. Let h be m(0). Let v be 209/9 - h/(-54). Let y = 36 - v. Is 13 > y?
False
Let k be (-110)/(-7) + -1 + (-342)/(-1197). Which is smaller: -10 or k?
-10
Let c(p) = -p**2 + 7*p - 8. Let b be c(3). Suppose 52 = -4*z - b*h, 3*h = -4*z - z - 57. Is -3 greater than z?
True
Let q = 39 + -39. Suppose q = 3*h + 2 - 5. Is h smaller than -2/33?
False
Suppose -45*p - 45006 = 16599. Are p and -1369 non-equal?
False
Let g(f) = -1 - 6*f - f**2 + 4 - 3 + 5. Let l be g(-7). Let h be 69/(-66) + 1/2. Is h <= l?
False
Let u(s) = -4*s**2 - 11*s + 1. Let o(q) be the first derivative of -q**3/3 - 2*q**2 + 5. Let h(v) = -7*o(v) + 2*u(v). Let y be h(5). Are 0 and y non-equal?
True
Suppose 616 = -61*d - 604. Let z = 18 - 39. Which is bigger: z or d?
d
Let v = 185/49 + 89382/245. Let x = v + -373. Which is bigger: x or -5?
x
Let j(k) = 2 - 16*k - 16 + 4*k + k**2 - 2. Let t be j(13). Let q be 4/14 + (t - -3). Is q greater than 3?
False
Let h be 4 - (2 - (-48)/22). Let c = -8 - -12. Let w = c - 9. Is h less than or equal to w?
False
Let i(r) = -r**3 + 13*r**2 - 8*r - 70. Let b be i(11). Is b < 83?
False
Let i = -474 - -473. Is 8/23 >= i?
True
Suppose -z - 130 = -6*z. Suppose b - 4*x = -35, -5*b - z = x + 44. Which is smaller: -14 or b?
b
Let r be 69/2*4/(324/(-63)). Which is greater: -26 or r?
-26
Let g = 0 + 5. Suppose 0 = 2*c + g*w - 212, c + 0*w + 4*w - 103 = 0. Let n be ((-12)/(-8))/(c/4). Are n and -1 equal?
False
Let h = 51 + -258/5. Is -2 bigger than h?
False
Suppose -3*s + 2*s + 12 = 0. Suppose 3*k - 20 = -n, 2*n = 4*k - 0*k + 30. Suppose 2*b - 7 = n. Is s less than b?
False
Let b = -0.134 - 77.866. Let h = -77.59 - b. Let j = 0.31 - h. Which is greater: 6/5 or j?
6/5
Let k = -125445/2 - -64874. Let z = k + -2087. Which is smaller: z or 64?
64
Suppose -v = -17*v - 80. Let k be 8/6*v/(-30). Is 3.2 at least as big as k?
True
Let b = -419.11 + 417. Let r = -0.11 - b. Is 1 greater than r?
False
Let x be ((-5)/10)/((-294)/(-136) - 2). Is -2 greater than x?
True
Let f(i) = -5*i**3 - i**2 + i. Let d be f(1). Let v = 49 + -34. Suppose -5*n + 31 = -h, 0 = 4*h - 5*n - v + 64. Which is bigger: d or h?
d
Let x be -342*(12 + -9)/(-6). Is 169 <= x?
True
Let z = 6.83 - 6.63. Let g = -3.86 - -4.2. Which is greater: z or g?
g
Suppose 0 = 3*o - 776 - 4672. Let r = 221551/122 - o. Which is smaller: r or -1?
-1
Let n = -35 + 36. Is -1/97 != n?
True
Let h be (-1 - (-35)/5) + 7*(-4)/(-14). Let i = -1 - -2. Which is smaller: h or i?
i
Let x(m) = -2*m. Let d be x(-1). Let w be 3 + (-5 - -1) - 685. Let b = w + 4810/7. Are d and b nonequal?
True
Let p = 1/9 + -38/99. Let a = 6 + -7. Is p <= a?
False
Suppose 4*h - 3*h = 3*h. Is 3/179 not equal to h?
True
Suppose -29*p = -126 - 1556. Which is greater: 57 or p?
p
Let n be 1/4 - 14/(-8). Let o = -42 - -42. Let g be 42/12*(12/21 + o). Is n less than g?
False
Suppose -8*y - 243 = -3*s - 9*y, 0 = -s - y + 83. Let k = 234 + -156. Are k and s nonequal?
True
Let f = 0.15 - -0.45. Let c = 1.4 + f. Let q = c - 1.9. Are q and 3 unequal?
True
Let m = -644 - -4500/7. Let z = 4 - -16. Suppose -3*j = p + 7, 2 = 2*j + 4*p + z. Is m equal to j?
False
Let n = 215.804 + -216. Is n not equal to 0.1?
True
Let z be 32/(-6)*(10/20 - -1). Is -74/9 <= z?
True
Let j be 378/45 + 2/(-5). Suppose 3*h - j*h = 0. Suppose 2*o = -5*m + 13, h = -2*o - 4*m + 6 + 4. Is -1 >= o?
True
Let a = -239 - -356. Let k = 116.9 - a. Is -57 at least as big as k?
False
Let s = 10922/5 - 2200. Is s < -15?
True
Let i be (62 - -7) + 3 + 6/(-3). Let r be (2 - 2) + 90/i. Which is bigger: 0.02 or r?
r
Let h = 776/105 + -36/5. Which is greater: -3 or h?
h
Let r = 1813 + -1796. Is r less than or equal to 34?
True
Let j = 2/47 - 65/423. Let s = 2/9 - j. Let g = 5 - 4. Is s < g?
True
Let r = -393 + 646. Is r != 252?
True
Let p = -11534 - -11533.7. Let i = -7.97 - -8. Is p at most i?
True
Suppose 8 = -4*g - 4*m, 3*g + 14 = -m - 4*m. Is g > -2?
True
Suppose -43*v - 12 = -31*v. Which is smaller: -1/266 or v?
v
Let l(s) = -96*s + 481. Let n be l(5). Is -19/51 less than or equal to n?
True
Let y be ((-66)/18)/(-11) + (-82)/210. Is y equal to 1?
False
Suppose -5*h + 5 = -2*g - 3*g, 4*h - 6 = 5*g. Is -2/147 at most as big as h?
False
Let i be ((-56)/32)/(1/(-4)). Let h = -3 + i. Suppose x = l + 2*l + 1, h = 4*x. Is l less than or equal to 0?
True
Let k be (2/15)/((-6)/10). Let h = 2813 + -2816. Which is smaller: k or h?
h
Suppose a + a + 15 = 5*h, 5*h - 15 = -a. Let l be ((-2)/(-6) - a)*114. Which is smaller: l or 37?
37
Suppose m - 52 = 5*m. Let t = m - -4. Let n(l) = l + 10. Let v be n(t). Which is smaller: 3 or v?
v
Let g = 364.0679 + -0.0679. Which is bigger: 0 or g?
g
Let u = 158 + -230. Which is smaller: -2 or u?
u
Let w be (1/3)/(3/18). Suppose 6 = g - 3*g. Let q be ((-1)/1*2)/(30/g). Is w <= q?
False
Let a = -69.4 + 69. Let t = 1.4 + a. Which is greater: t or -2.2?
t
Let d be (-3)/(-4) + 146/(-24) + 6. Which is bigger: d or 263?
263
Let v = 37 - 29. Suppose 4*b + v = -2*j, 4*j = -b + 2*b + 11. Which is smaller: j or 12/13?
12/13
Let r = -2144 - -868. Are r and -1275 equal?
False
Let q be 2/10 + 24/30. Let k be 36*q/(-6)*3. Let w be 28/k - 4/(-2). Which is smaller: w or 2?
w
Let i(n) = 2*n + 5. Let f be i(0). Suppose -308 = -f*m + 4*o + 82, -4*m + 308 = -4*o. Let g be 9/27 - m/(-6). Are g and 15 equal?
False
Let r = -315 + 302. Which is bigger: r or -12?
-12
Let g(f) = f**3 - 26*f**2 + 26*f - 11. Let a be g(25). Are a and 7 equal?
False
Let j(k) = -14*k + 13. Let h be j(1). Which is bigger: h or 0.362?
0.362
Let v be (-70)/(-250)*(-48)/(-42). Which is greater: -1 or v?
v
Let d = 6.13 + -5.13. Do -18.9 and d have the same value?
False
Let x = 23/399 - 2/399. Let l be 9/6*-4*(-2)/4. Suppose 0 = -l*f + 10 - 13. Which is greater: x or f?
x
Let z = 155 - 313. Which is greater: z or -157?
-157
Let x = -4.04 + 0.04. Let p = -0.15 - -1.25. Is x smaller than p?
True
Suppose 190 = -4*f - 7*p + 2*p, 4*p = f + 37. Is -45 at least f?
True
Let u = 750.5 + -750. Is 0.107 at least as big as u?
False
Let w = -13.72 - -1.72. Which is smaller: 2/3 or w?
w
Suppose 4*k - 17 = 83. Suppose 4*h + h - k = 0. Suppose 0 = d + 2*q - 6, -h*d + 4*q = -3 + 15. Which is smaller: d or -1/6?
-1/6
Let k = -769 + 829.9. Let c = -61 + k. Is c at most